Repository navigation
Close paid CRT source updates for uninterrupted row execution - #5625
Merged
Merged
Conversation
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.
This construction closes the paid CRT source-update and row-reentry boundary. The existing physical query's returned coordinate stream now updates the same owned axis-record tape and feeds the next row without host serialization. Complete forward and reverse levels execute on that tape. The new source-relative proof covers any admitted fixed-node row sequence. Complete kappa is unchanged; whole-tree and exceptional-key composition remain open.
Implementation, proof and complete bill, receipt, verifier, source pins. Base: canonical main 6cf7a68, priority 7. The unchanged joined query is JoyboyBrian's PR #5496, source head a99afd7 (consumed archived proof). The handoff and exact bank formula are from commdata2338's PR #5519, source head 53a0344 (consumed archived proof).
A paid temporary stream preserves the result while the old query closes, so the source borrow ends before its coordinate fields change. Every added scan and copy is charged. Distinct row workspaces remain retained and their capacities are summed. The predecessor's exact 52-role ROM-bank count is used for each active row. The two-target round trip retains 24314 work cells against a 27620-cell bound; source and protected input backing are additional.
Normal and optimized registered checks pass: four uninterrupted forward/reverse fixtures, 40 row invocations, 30 unchanged physical ROM calls and five adapter mutants. Each fixture has one initial serialization. Checks cover actual padded intermediates, two targets, a nonroot node, all-idle rows, invalid-left disabling, source identity/extent, protected dirty words, every retired bank, staging erasure and complete bills. Committed-byte, export-integrity and Git-free optimized replay checks pass.
Python 3.12 and the standard library suffice. Expected markers:
PASS_CRT_PAID_ROW_REENTRY rows=40 producer_calls=30 controls=5andPASS_REGISTERED_RESEARCH_PACKAGE.The numerical Entry, joined query and ROM producer theorems remain inherited hypotheses. The retained logical Caller is the test oracle and supplies no runtime values. Initial encoded-source production, arbitrary dirty workspace acquisition, cross-row bank reuse, changing-precision whole-tree entry, complete three-epoch keys, global key transport, binary numerical lowering and full E/native/ordinary/outer admission remain open. No selected cold replay, full source-history ancestry, independent human or proof-kernel acceptance is claimed. The checkout is shallow; hosted CI is separate. The selected frontier and all predecessor files are unchanged.
Credit Ali Romman's PR #5353 RowEntry; JoyboyBrian's PR #5092, PR #5219 and PR #5053 ROM and numerical components; ToikY's PR #4195 explicit-width caller and PR #4192 arena refinement; Hiroki KUMAZAKI's PR #4716 current-state contract; and Cinna Davis's PR #4100 CRT construction. Retain Tekalign, Jose Manuel, Ryanson Jonathan, unpaidmoon, Douglas Colkitt, John-Michael Smith and the source notices. Coordination. Ali Romman with substantial OpenAI Codex assistance; Apache-2.0.