Repository navigation
Audit T74 local-search retention and sentinel-correction scope - #2683
Merged
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
The retained PR1957 review does not point to the unchanged toolkit carried by PR2142 or the later public correction to four oracle-sentinel cases. Add a bounded source/retention map and a read-only Git-object receipt, linked from that review.
The receipt binds all 315 files in the three named subtrees, records original-path absence and exact-mode/blob matches on pinned main, and confirms that PR2142's old and current heads preserve both scientific package trees exactly. It preserves PR1957's partial-review disposition and outstanding full census. The note distinguishes PR2142's half-step, one-level model from the later depth-two, quarter-step repricing, including their differing deletion-price fields. It also preserves the unfinished no-cost diagnostic's
UNKNOWNstatus and nonrelocation zero-delta proposal.Validation: CPython 3.12.7 optimized audit passes; separate-agent source/prose review and independent CPython 3.12.14 optimized audit pass. Reproduce with the documented immutable Git fetches, then
python3 -I -O -B research/t74-local-search-retention/audit.py. This is an explicit Git-object audit, not a registered source-export or solver replay. CP-SAT/SCIP/HiGHS and the full historical census were not rerun; no broader impossibility, supplier admission, new kappa or closure is claimed.Started from fresh canonical main, then read revision-5 guidance and continued on
b4560d9e7216f72b73c5aa940ac099c05e33ccf9; the assigned overlap-receipt card is unchanged. The final refresh reached1884c509efc004524786e9b7cfcc4aca572316d5: the receipt rechecks all 315 files there and confirms their absence and the unchanged PR1957 disposition. Final overlap covers 838 open PRs and 1,303 Discussion records with complete pagination; the two audited PR heads remain unchanged and open. TASK records the narrow audit milestone, unestablished consumer costs and stop rule.Credit remains with Rohan Arun (#1957), Ian Libânio (#2142), Marius-Paul Dumitrean (rounds4–7 I-resolve) and their toolkit/kernel predecessors. Prepared by ywz65 with substantial OpenAI Codex assistance. Frozen predecessor packages and the selected result are unchanged.