Repository navigation
Conversation
Carry the exact documentation and pinned historical replay repair at d2e54af. The scientific package is byte-identical.
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 scope
NO VERIFIED GAIN. Exact conditional κ change 0%. The four Type A QUERYs at clocks 1516, 1580, 1659 and 1721 share source role 1, destination role 0 and exponent −1. Their arbitrary-input source rows are pairwise nonproportional on the exact #7113 caller. Two independent rational replays at q=−1 and q=+1, with all body values one, exclude all six original-clock scalar-reuse pairs. Zero cases remain unresolved in this scope.
The comparator is #7334 at
aaeec8c0acf01e99a5f331ef363a698d9c084ace, κ0.00364665195644. The complete signed price grants 96 raw units for one eliminated query across 96 ports and 288 for an optimistic three-use stock. The productive invoice stays fixed. A physical cache would still require setup, routing, ownership, restoration, precision and tape charges. No pair reached that build gate.Replay
From a clean checkout with CPython 3.12:
The commands passed locally, including a clean Git-free export. Replay rebuilds price first, compares all four receipt hashes, verifies both signs' six determinants, and rejects an altered caller before decoding. The optional navigation suite has one baseline failure because main's CI guide still refers to #6030 after #7000 selection. This package does not edit those files.
Credit and open question
#7113 supplies the signed caller and QUERY lowering, #7334 the comparator, #7298 the directed tariff, #7198 and #5803 the request-rank and chronological compression precedents, #6975 and #3965 ownership and delivery precedents, and #7309 and #7310 related exclusions. OpenAI Codex and subagents materially assisted. Encoded or updated caches, multiple source rows, and changed clocks remain open. Price one explicit alternative and verify its signed source and consumer contracts before building. Round 75 is tracked in #7111.