Repository navigation
Conversation
Reuse the exact documentation blob carried by CrocSwap#7161 at bb36fc6, following CrocSwap#7147 and CrocSwap#7156.
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 scope
The exact #7001 paired BIT caller still gives the prescribed arbitrary-input diagonal if the second LOCAL of every stage changes to
(x,y) → (D_s qx,D_s(x+y))and QUERY 349 becomes an ordinary ADD. All 1,444 coefficients pass in each direction. This is a formal caller identity and raw price preflight. κ change is 0%. The exact comparator #7161 is 0.003644890067940. A full physical provider, fixed-tape admission and a compatible complex supplier remain open.Inputs and price
Canonical base
e54523517d0f03e58352e647c403a5af3e525a57, exact #7001 caller and #6726 native word. The source pins cover the literal caller, full predecessor ledger and retained native word. Reconstruct all native and caller rank invoices from these inputs. Removing QUERY 349 frees 111 paid rank-one jobs. At κ = 10018846261809/2500000000000000, charging 36 new rank-one jobs across the 18 changed calls leaves +14.89610078085 raw moment. Charging 54 misses by −3.10389921915. The price is conditional on constructing and fully charging the new provider.Task scope changes the BIT helper card to an exact caller phase reassignment. #7001 and #6980 provide the retained query-only schedule. The changed LOCAL and matching diagonal are new within this checked scope. The Round 12 checkpoint records the first physical pilot and its price gap. The separate documentation-only prerequisite reuses the selected replay navigation from #7161 to pass the repository's hosted planning check.
Clean replay
CPython 3.12 with assertions and no external packages.
Local registered replay, metadata and commit-byte/mode/source-history checks passed. The old endpoint passes. Reverting one changed LOCAL and keeping QUERY 349 fail in both directions, and a changed caller byte is rejected. Six navigation tests pass with the documented prerequisite. The changed all-width provider, compiler, complete application and historical cold replay were outside this package's verification scope.
Credit and next test
Credit #6726 for the native word, #6834 for the paired invoice, #6980 for the query-only schedule, #7001 for the exact E-free caller, and #7113 for directed-cost precedent. OpenAI Codex and subagents materially assisted. Start the next provider test at a live nested frame in the port-0 source and backup path. It must preserve the exact source response, all helper rows and physical output gauges, and fit the fully charged allowance.