Repository navigation
Pin the historical selected replay to its inspected commit - #7257
Open
Clear1nsight wants to merge 2 commits into
Open
Clear1nsight wants to merge 2 commits into
Clear1nsight wants to merge 2 commits into
Conversation
This is the exact documentation prerequisite retained by CrocSwap#7156. It points the onboarding check to the selected CrocSwap#7000/CrocSwap#7001 review. Credit to Rohan Arun and the source authors.
The PR CrocSwap#6292 rejection census and package plan are statements about 2485805. Load its exact sources and planner in a private sparse checkout, keeping all source hashes, 19 expected rejections, nine package selections and the empty-plan control. Subsequent edits to the live Makefile and CI guide no longer invalidate this historical check. The original audit is by unpaidmoon, building on Dennis’s historical replay gate. The pinned repository view follows the precedent of Matarener’s PR CrocSwap#5434. Repair prepared with substantial OpenAI Codex assistance.
This was referenced Nov 11, 2026
This was referenced Nov 11, 2026
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
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.
Change and mathematical scope
The registered #6292 audit compared the current Makefile against a historical source pin. On #7245, the scientific package passed and the historical job stopped at
working source drift: Makefile.Run the historical audit in a private sparse checkout of its inspected commit,
2485805a6d47f36ea83ddde6327d453ac82d44dc, using that commit's authenticated inputs and planner. Preserve all 19 rejection cases on seven paths, the nine-package plan, and its empty-diff control. The separate navigation prerequisite points onboarding to the current #7000/#7001 replay using the exact #7147/#7156 documentation patch.Task and overlap
Canonical base
e54523517d0f03e58352e647c403a5af3e525a57. This extracts the existing historical replay repair from #7161, #7164, and #7244 for separate review. The two commits touch the CI guide and the historical package. The archived audit inputs and the selected result stay at their pinned records.Validation
At
d2e54af81f9dda6487636b79d4964a2385d89b2bwith CPython 3.12.3:The registered replay passed with 19 rejections on seven paths and the nine-package historical plan. All six navigation tests passed. The affected-package plan selects just this historical replay. The same repair bytes passed the historical job on #7244. This PR verifies the historical audit and onboarding route.
Credit
Credit unpaidmoon for #6292, Dennis for the historical replay gate, Matarener for the pinned-checkout precedent in #5434, and the #7147/#7156 navigation lineage. Prepared for Clear1nsight with substantial OpenAI Codex assistance. Apache-2.0.
Open next questions
Review the shared repair on its own. Branches that already carry the navigation fix can use the historical commit by itself.