Repository navigation
Implement the complete source-specialized cell-zero carry layer - #5497
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.
Closes the actual helper462/frame506 whole-array cell0 carry layer without its two completed OLD adapters. Exact source columns make the carry0/1 forward and0 inverse; the implementation reuses PR3343 bounded rotation geometry and joins the real cache selector to literal finite control. It pays for nested suffix construction, markerless contiguous-T fiber staging, global append, same-owner installation and cleanup, while preserving the old cache and retaining low0 outputs.
The proof gives transition/visited-space bounds for the complete layer, and an explicit signed replacement invoice. No universal speed gain, changed selected recursive profile, full LOW route, supplier or kappa is claimed. Remaining high/carry/low-commit composition and backing/P3 obligations stay explicit.
Validation:40 complete-array fixtures in two interpreters (668689 transitions),3 literal actual-T initializers,7 rejecting controls, and a default f4/D1024 compiler control. Actual-depth64/256 runtime checks use Q1 and are explicitly structural, not full odd-q GL8 execution. Normal/optimized registered and read-only Git-free replay, source-history/committed-byte and18-file explicit-input export checks pass. Independent AI peer review corrected compiler recursion and retained bucket maxima; no independent human/formal acceptance.
Credit Tekalign/PR3343, Jose Manuel/PR2915, David Arias/PR2776, PR5332/5487 and retained BIT/ROW lineage. Prepared by JoyboyBrian with substantial OpenAI Codex assistance.
Canonical claim: #4945 (comment)