Repository navigation
Bind port9 low-cache digits to the complete-owner carry leaf - #6241
Merged
Mister-Meeseeks merged 2 commits intoOct 30, 2026
Merged
Conversation
This was referenced Oct 30, 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.
PR5849's complete-owner carry leaf receives an already formed descriptor; its actual low-cache producer remained unconnected. This package binds the released port9 inverse column1 at q5 to the unchanged PR5332 frontend and unchanged generic PR5849 rotation through literal tape/symbol translation, followed by owned-descriptor erasure.
The fixed program physically scans a supplied64-digit cache, derives the seven possible carry codes, preserves the cache, returns all work/heads and retains the declared three-bit new-low output. No runtime host-selected offset is used. A written composition argument includes the complete leaf allowances
393V+600L+30000transitions and43V+8L+500visited cells, withV=PQS,L=bit_length(Q), oddQ>=3.Evidence: native Windows CPython3.12.11 registered normal/optimized runs recompute the same receipt;125 influential low triples,20 complete compositions in each of two literal interpreters, every source/consumer instruction, all cells/heads/per-tape visited intervals, and8 exact-reason rejecting controls. Metadata and18-file committed-byte/source-history preflight pass. Each sign has51,350 fixed instructions. Root source/proof review strengthened rejection reasons and per-tape interval comparison before registered acceptance.
This is one supplied-cache/supplied-owner leaf interface. The actual64-coordinate owner at cell1 has
P=Q,S=Q^62*Z; Q125 with P=S1 is a small leaf fixture, not its materialization. Cache formation, whole-T selection/staging, homogeneous routing, low-type commit/retirement, ROW installation, a favorable complete supplier invoice, hosted CI and human/kernel acceptance remain open. The negative sign reverses this carry only, not the full opposite matrix route. No new kappa or selected-frontier change.Only
research/port9-low-cache-carry/is added from refreshed maina5bff3bf133e482541c09eba4e773884bdb2b1b7, revision8, selected #6030. Live overlap through03:55UTC covered357 open PRs,5977 Discussion records and all HEAD notes; the extra matches were this claim/package. Canonical coordination: #4945 (comment). The broader released R17 join remains open.Credit JoyboyBrian/PR5332 (
8e96c889b924957c599687be56b19fce9161cad3), Ali Romman/PR5849 (35ee8364ccfe54d6d5ec154fbf74993624b0a0d4), David Arias/PR2776, Charles Bethin, Jose Manuel, Nick Petalas, Tekalign, ToikY and the retained G20/native/ROW lineage. Frozen sources are unchanged. AAAmirinu with substantial OpenAI Codex assistance, including parallel proof/implementation/checking and root review. Apache-2.0.Reproduce:
python3.12 -B scripts/research_package.py --package research/port9-low-cache-carry;python -B scripts/check_research_commit.py --package research/port9-low-cache-carry --check-source-history.