Repository navigation
Restore selected #5599 evidence links in CI documentation - #5659
Merged
Mister-Meeseeks merged 1 commit intoOct 26, 2026
Merged
Conversation
This was referenced Oct 26, 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 shared research CI planner fails
test_current_ci_section_matches_selected_recordafter the #5599 promotion because the current section ofdocs/ci-verification.mdomits the selected proof-review and source-manifest links. Add those two links so readers and the existing regression test can resolve the evidence named bycertificates/selected-result.json.Task and overlap
Scope unchanged: this one-file documentation repair follows aliromman's CI handoff, with coordination here. Base: canonical main
df0137efd35e11b4445734bf612bdd4c7ebc330c; fresh all-state PR searches found no overlapping repair. The selected result, source evidence and workflow behavior are unchanged.Validation
Validation on CPython 3.12.14, macOS:
Before the change, the six-test module failed exactly the
reviewandsource_manifestsubcases. After the change, all six tests pass, including checks that both destinations exist and match the selected record. No scientific replay or full shared suite was run for this navigation-only repair; hosted CI remains to be checked.Credit
Credit @aliromman for diagnosing and reporting the failure. Prepared by apoursh with substantial OpenAI Codex assistance, including separate agent checks of the diagnosis and overlap. Apache-2.0.