Repository navigation
Compile a 172-T eight-address field decoder and certify coupled-axis requirements - #269
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.
The field route had a paid four-address decoder, while the next recursive recoupler still had unpriced controlled coordinate maps. This adds a complete eight-address native intertwiner: 172 T gates, at most 83 T bands, eight arbitrary wires, and no extra helpers. Its forward word has 1,234 elementary gates; the actual inverse has 1,286. Projective homogeneity, an unconditional Clifford baseline, and paired-reflection phase cancellation remove the finite unpaid operation, including the entire zero fiber.
The construction is a finite calibration. Enumerating projective lines is exponential in bank width, so it supplies no uniform compiler or improvement to R96. The next construction obligation is joint synthesis across projective factors and recursive levels, allowing the complete probe's commutant freedom.
The same revision adds three independently audited restrictions with separate proof homes:
2m-2for at least three address bits. The robust radius issqrt(2)/6with arbitrary Clifford helper motion, sharpened to1/3for identity or residual-field helper actions. Independent finite cells fail even after arbitrary joint outer Clifford walls.sqrt(1-1/sqrt(2))/2. Partial bands, enlarged fields, and moving Clifford helpers are included; overlapping spans and the weaker probe contract remain open.1/2, or original-copy error at least1/4through a selected output dual. This does not exclude arbitrary Clifford duals or the field query itself.Validation is complete on head
1d477dd658ec5433526c89d879473831e4f8dcd3, tree37e229dd37c99c78c94665d6b18405cede886047.PR jobs checked out synthetic merge
ebd5067d12149c7d478de15975347fbe48efd7d3, whose tree exactly matches the reviewed head and whose parents are the expected base156f2cd4f5bc2e3c3d1f4afec17b31d0627764d3and head. Push jobs checked out the exact head.Focused presentation checks covered 12 pages, 5 SVGs, 464 unique mathematical expressions and 578 protected occurrences, with zero failures. Five desktop/narrow viewports were manually inspected. Full presentation CI passed all nine steps; artifact
12830143050is bound to the final head, with digest43c4de588314a6136bc40723913090bbb6d6f153d17ff89eda49efd82aa75456.Review receipt SHA-256 identifiers:
8338a30c77dc76e8344ac6ca61054fe552d2310adbd3494301aaf841187afbc3.0868bbf9118f8055e2253d5d14d3458db2c495c24eb87d6537c0469543ba1377.7d5b76a80b6d1e0088e75495c252800490df8c2c925e3dcb618c94718affd0e3.c940ac203913b28dc9de5319e25f217e673d898785ad392846898e1f721a5011.fd41a4284e1bf31a561a02c7afcae28fddbf45408eba2b3b498c3fb971f36189.Full numerical log SHA-256 identifiers:
70fac6fa82ef6d70cdadf4b02108ba7ea8db3ed2931a3b4bf40834330bf9d073.648d602ffc62349ec80e23d91693a64c0be3be1a72366069aaed0a5c5399cc5f.295868d6b9368f54e71c71763beb96c7d0aa55a9df7875e892e64ef485728efe.36c795067a86ed18cfbca11d3587cfbfad7b1b8e1babbc0f088571a31a60f31e.Routing pages and the 220-line continuing workspace are updated. Existing proof homes, unique attempts, anchors, and the general resource frontier are preserved. R96 and selected Result D are unchanged.
A separate unmerged continuation checkpoint preserves the subsequent six-helper finite allocation, weak-probe bounds, and augmented recoupler. Those follow-up claims are not part of this PR and have focused checks rather than a new full integration gate. The checkpoint also retains compact qualification receipts for this merged revision.