Repository navigation
Treat the selected record as provenance in 99 replay checks (no new κ) - #5410
Merged
Merged
Conversation
Each verify.py asserted the working-tree selected kappa (60403/20000000, 23/10000 or older), and four hashed provenance rows against the working tree. SOURCES.json already marks certificates/selected-result.json as provenance, which scripts/research_package.py checks at base_commit, so every frontier change broke these replays. Results, pins and evidence are unchanged. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Mister-Meeseeks
pushed a commit
that referenced
this pull request
Oct 24, 2026
rank7-v45-margin and selected-record-parse-cache were missed by #5410 because their TASK.json author field is "jwr". Both pinned the selected record (and rank7 the family-status page) as live inputs, so every frontier change broke them. The pins become provenance, checked at base_commit by scripts/research_package.py. The parse-cache payload is still the live record; its one-digit mutation no longer hard-codes the old decimal. Results are unchanged. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
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.
What changes
99
verify.pyfiles in research packages I authored. No other file changes.selected = json.loads(... certificates/selected-result.json ...)pluskappa == "<old value>"is removed. A one-line comment replaces it.usage: "provenance"rows against the working tree. Those files now skip non-inputrows, matching the other 95.Results,
RESULT.json,SOURCES.json,VERIFY.json, pins and evidence are all unchanged.Why
docs/research/research-package-guide.mdsays the selected record is historical provenance, "so future priority changes do not invalidate a package". Each of these packages already pinscertificates/selected-result.jsonasusage: "provenance", andscripts/research_package.pychecks it atbase_committhrough Git. The verifiers asserted the live κ anyway, so every frontier change broke them. On main 1ec1119:60403/20000000and broke at the Conditional κ = 0.0030217758: joint helper interfaces and Lean compiler tightening #4610 admission.23/10000era.836330098538459/500000000000000000.Re-pinning to the new κ would break again at the next frontier change, so this removes the live dependency instead.
Validation
On this branch (main 1ec1119 + this commit), CPython 3.12:
python3.12 -I -B <package>/verify.py: 99/99 pass. All 99 failed before this change.python3 -B scripts/research_package.py --package <package> --check-only: 99/99PASS_PACKAGE_METADATA_AND_PINS. This includes the base-commit provenance check of the selected record.CI will replay all 99 packages because they changed. The heaviest is
two-three-cycle-additivity, with a 600 s budget. The total declared budget is 8,280 s.Scope
This is replay maintenance only. No mathematical claim, κ or frontier changes. Other contributors' packages with the same pattern are not touched.
🤖 Generated with Claude Code