Repository navigation
Implement complete fixed-tape low-type commit and cache retirement - #5487
Open
JoyboyBrian wants to merge 2 commits into
Open
JoyboyBrian wants to merge 2 commits into
JoyboyBrian wants to merge 2 commits into
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.
The helper462/frame506
low_type_commithad no physical complete-payload implementation after the carry frontend. This adds a literal fixed-tape consumer that permutes all low-type blocks, preserves complete high/spectator fibers, installs the output into the original source owner and retires old-cache/private storage. Unary nested loops build the runtime fiber extent without free arithmetic or addressing.For V=T Q^D Z and old-cache length K, the reviewed commit bound is 128(T+D+1)V+16K+16+128D transitions; visited space is (D+8)V+2K+64(D+1). Literal cache preparation adds at most5K+16 transitions. The K1000,T=D=V1 control records12,250 commit transitions, rejecting the earlier undercount.
Validation covers both directions on the complete48-type GL2(F3) domain, complete high/spectator payloads, translated origins, independent interpreters, actual S8 modular bindings and failure controls. Python3.12 normal/optimized, source-history and20-file Git-free export checks pass. Peer review additionally checked an independent random full3888-bit payload with both interpreters.
This is a scoped physical consumer, not the full physical route or a new kappa. Actual per-fiber carry/high linking, runtime descriptors, the cell0 two-OLD-swap repair, caller/cache-layout integration and P3 remain explicit obligations. Source-specific constants are finite but enormous; no practical/full-supplier admission is claimed.
Credit David Arias PR2776, Charles Bethin, the PR4989/5019 and carry frontend work, Chris R/Clear1nsight, ai-nanachi and the retained ROW/native/tape lineage. JoyboyBrian with substantial OpenAI Codex assistance; Apache-2.0. Canonical investigation: #4945 (comment)