Repository navigation
Prove the full-prefix P104 two-source entrance - #3466
Merged
Mister-Meeseeks merged 1 commit intoOct 18, 2026
Merged
Conversation
This was referenced Oct 18, 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.
Summary
This isolated package closes PR3449's noncone admission question for its fixed two-source correlation. A written necessity/sufficiency argument reduces exact scalar ADD products and native C-factor outputs to 24 explicit Gaussian congruence maps. Exact finite elimination certifies elementary multiplicities
68,153,177,95,19for pi exponents zero through four, leaving relative index2^1180over independent4B9. These are algebraic indices, not resource savings or a supplier invoice.An explicit slice-admitted nine-term source first fails the full prefix at event 1190's D10 quarter read, with requested value
(-1+i)/2. A separate seven-term source outside4B9passes the entire prefix. A literal 2,040-event fixture includes nonzero dirty reference inputs and exact first-collector private erasure. Individual floor halves may round; exactness is defined at completed C factors and scalar ADD products.Scientific base and final compatibility checkpoint are canonical main
6f100d4bb5083f8c35d96fd95a539811c62f245c, priority revision 6. Canonical investigation. This is distinct from Clear1nsight's active general 58-bank/257-event cone classification and encoder. None of its provisional claims is a premise.Credit PR3449/3426/3406/3416, Clear1nsight's PR3382/3423, ywz65/PR2586, Arham Tahir/PR2665, Tekalign/PR3025, Ross Richardson/PR3068 and the retained native, geometry and compiler lineage. Frozen proof bytes and original notices are retained unchanged, with origins and hashes. No pending predecessor Git commit is a runtime dependency.
Evidence
After: all 512 Gaussian Newton columns reconstruct the complete full-prefix matrix. A separate forward-dependency/direct-butterfly implementation matches every matrix row and a separate subgroup-order algorithm reproduces images
868,424,133,19.Use an owned external TMPDIR for temporary CLI fixtures. SOURCES.json pins the two unchanged main-branch inputs. PROOF.md, RESULT.json, FIXTURES.json, VERIFY.json and ENGINEERING.md separate the quantified reduction, exact finite certificate, literal fixture and implementation limits.
Merge Danger
Door: two-way
Blast Radius: research
Only one scoped package is added. The Newton-alphabet/native physical semantics retain their predecessor premises. Actual preparation, physical ownership/routing/restoration, a complete paid consumer, the remaining word, arbitrary multi-source correlations, tensor depth and all-size transfer remain open. The unchanged-profile supplier stop remains. No supplier, new kappa or selected-frontier change is claimed. Independent human/formal review, Lean, Docker and the full selected cold replay are unclaimed.