-
Notifications
You must be signed in to change notification settings - Fork 1
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Two evidence classes are unproducible, and a run may still be told it satisfied them
evidence-inflationA claim was graded higher than its evidence supportsA claim was graded higher than its evidence supportssilent-failureA failure that recorded itself as a successA failure that recorded itself as a successStatus: Open.#13 In krapcys1-maker/nullius;The largest file in a repository is always skipped, and it is the likeliest place for the mechanism
good first issueSelf-contained, with the evidence and file paths you need to startSelf-contained, with the evidence and file paths you need to starthelp wantedWe would genuinely like outside help on this oneWe would genuinely like outside help on this onerecallThe agent failed to find prior art that existsThe agent failed to find prior art that existsStatus: Open.#12 In krapcys1-maker/nullius;Code inspection is invisible to the report, and to the model that concludes no candidate exists
good first issueSelf-contained, with the evidence and file paths you need to startSelf-contained, with the evidence and file paths you need to starthelp wantedWe would genuinely like outside help on this oneWe would genuinely like outside help on this oneStatus: Open.#11 In krapcys1-maker/nullius;A run can lose every memory record it wrote and report "Retained 18/18"
help wantedWe would genuinely like outside help on this oneWe would genuinely like outside help on this oneinfrastructureOperational and concurrency issuesOperational and concurrency issuessilent-failureA failure that recorded itself as a successA failure that recorded itself as a successStatus: Open.#10 In krapcys1-maker/nullius;Recall reports "the bank had nothing" when it was the resolver that dropped everything
help wantedWe would genuinely like outside help on this oneWe would genuinely like outside help on this onerecallThe agent failed to find prior art that existsThe agent failed to find prior art that existssilent-failureA failure that recorded itself as a successA failure that recorded itself as a successStatus: Open.#9 In krapcys1-maker/nullius;The inspection depth field records the verdict, not the depth — and is false every time it is set
evidence-inflationA claim was graded higher than its evidence supportsA claim was graded higher than its evidence supportshelp wantedWe would genuinely like outside help on this oneWe would genuinely like outside help on this onesilent-failureA failure that recorded itself as a successA failure that recorded itself as a successStatus: Open.#8 In krapcys1-maker/nullius;The query-leak audit misses 2 of 12 known leaked strings
good first issueSelf-contained, with the evidence and file paths you need to startSelf-contained, with the evidence and file paths you need to starthelp wantedWe would genuinely like outside help on this oneWe would genuinely like outside help on this onetest-infrastructureMakes defects cheaper to findMakes defects cheaper to findStatus: Open.#6 In krapcys1-maker/nullius;Replay recorded model responses, the way provider responses are already replayed
help wantedWe would genuinely like outside help on this oneWe would genuinely like outside help on this onetest-infrastructureMakes defects cheaper to findMakes defects cheaper to findStatus: Open.#5 In krapcys1-maker/nullius;Recall finds mechanism families reliably and specific systems unreliably
help wantedWe would genuinely like outside help on this oneWe would genuinely like outside help on this onerecallThe agent failed to find prior art that existsThe agent failed to find prior art that existsStatus: Open.#4 In krapcys1-maker/nullius;Relevance gate admits documents that share only mechanism vocabulary
help wantedWe would genuinely like outside help on this oneWe would genuinely like outside help on this onerelevance-gateTopical relevance filteringTopical relevance filteringStatus: Open.#1 In krapcys1-maker/nullius;