From 172f4535ce8dcff79f626410af845f757c1563be Mon Sep 17 00:00:00 2001 From: Jerry Jiaheng Chen <80299683+CubeJerry@users.noreply.github.com> Date: Thu, 12 Nov 2026 11:36:33 +0800 Subject: [PATCH] Lower the current selected quadratic Gaussian phase to a fixed tape table with complete owner return --- .../BINDING-OPTIMIZED.json | 17 + .../BINDING.json | 17 + .../ENVIRONMENT.json | 9 + .../literal-native-quadratic-phase/NOTICE | 11 + .../PR-DESCRIPTION.md | 76 ++++ .../PR-TITLE.txt | 1 + .../literal-native-quadratic-phase/PROOF.md | 336 +++++++++++++++++ .../literal-native-quadratic-phase/README.md | 103 ++++++ .../RECIPE.json | 130 +++++++ .../RESULT-OPTIMIZED.json | 19 + .../RESULT.json | 19 + .../SOURCES.json | 71 ++++ .../literal-native-quadratic-phase/TASK.json | 40 ++ .../VERIFY.json | 86 +++++ .../bind_selected.py | 76 ++++ .../independent/README.md | 38 ++ .../independent/dense_check.py | 144 ++++++++ .../native-phase-dense-result.json | 33 ++ .../native-phase-source-bindings.json | 71 ++++ .../independent/peer/RESULT.json | 262 +++++++++++++ .../independent/peer/REVIEW.md | 212 +++++++++++ .../independent/peer/check.py | 322 ++++++++++++++++ .../inputs/controller_reference.py | 112 ++++++ .../literal-native-quadratic-phase/phase.py | 335 +++++++++++++++++ .../reference/clifford_exact.py | 149 ++++++++ .../reference/native_verify.py | 277 ++++++++++++++ .../reference/outer-phase.py | 343 ++++++++++++++++++ .../reference/selected-native-catalogue.py | 97 +++++ .../reference/selected-native.json.gz | Bin 0 -> 350722 bytes .../reference/sequential-phase-PROOF.md | 167 +++++++++ .../reference/sequential-phase.py | 125 +++++++ .../literal-native-quadratic-phase/verify.py | 201 ++++++++++ 32 files changed, 3899 insertions(+) create mode 100644 research/literal-native-quadratic-phase/BINDING-OPTIMIZED.json create mode 100644 research/literal-native-quadratic-phase/BINDING.json create mode 100644 research/literal-native-quadratic-phase/ENVIRONMENT.json create mode 100644 research/literal-native-quadratic-phase/NOTICE create mode 100644 research/literal-native-quadratic-phase/PR-DESCRIPTION.md create mode 100644 research/literal-native-quadratic-phase/PR-TITLE.txt create mode 100644 research/literal-native-quadratic-phase/PROOF.md create mode 100644 research/literal-native-quadratic-phase/README.md create mode 100644 research/literal-native-quadratic-phase/RECIPE.json create mode 100644 research/literal-native-quadratic-phase/RESULT-OPTIMIZED.json create mode 100644 research/literal-native-quadratic-phase/RESULT.json create mode 100644 research/literal-native-quadratic-phase/SOURCES.json create mode 100644 research/literal-native-quadratic-phase/TASK.json create mode 100644 research/literal-native-quadratic-phase/VERIFY.json create mode 100644 research/literal-native-quadratic-phase/bind_selected.py create mode 100644 research/literal-native-quadratic-phase/independent/README.md create mode 100644 research/literal-native-quadratic-phase/independent/dense_check.py create mode 100644 research/literal-native-quadratic-phase/independent/native-phase-dense-result.json create mode 100644 research/literal-native-quadratic-phase/independent/native-phase-source-bindings.json create mode 100644 research/literal-native-quadratic-phase/independent/peer/RESULT.json create mode 100644 research/literal-native-quadratic-phase/independent/peer/REVIEW.md create mode 100644 research/literal-native-quadratic-phase/independent/peer/check.py create mode 100644 research/literal-native-quadratic-phase/inputs/controller_reference.py create mode 100644 research/literal-native-quadratic-phase/phase.py create mode 100644 research/literal-native-quadratic-phase/reference/clifford_exact.py create mode 100644 research/literal-native-quadratic-phase/reference/native_verify.py create mode 100644 research/literal-native-quadratic-phase/reference/outer-phase.py create mode 100644 research/literal-native-quadratic-phase/reference/selected-native-catalogue.py create mode 100644 research/literal-native-quadratic-phase/reference/selected-native.json.gz create mode 100644 research/literal-native-quadratic-phase/reference/sequential-phase-PROOF.md create mode 100644 research/literal-native-quadratic-phase/reference/sequential-phase.py create mode 100644 research/literal-native-quadratic-phase/verify.py diff --git a/research/literal-native-quadratic-phase/BINDING-OPTIMIZED.json b/research/literal-native-quadratic-phase/BINDING-OPTIMIZED.json new file mode 100644 index 0000000000..203898de18 --- /dev/null +++ b/research/literal-native-quadratic-phase/BINDING-OPTIMIZED.json @@ -0,0 +1,17 @@ +{ + "basis_states": 512, + "frames": [ + 3, + 99 + ], + "native_event_index": 24472, + "negative_controls": [ + "changed absolute phase" + ], + "note": "Retained exact compiler and independent interpreter, plus new XOR-parity phase oracle. No full native catalogue replay.", + "owner": 415, + "rank": 1, + "side": "right", + "source_files": 8, + "status": "PASS_CURRENT_SELECTED_QUADRATIC_RECIPE_BINDING" +} diff --git a/research/literal-native-quadratic-phase/BINDING.json b/research/literal-native-quadratic-phase/BINDING.json new file mode 100644 index 0000000000..203898de18 --- /dev/null +++ b/research/literal-native-quadratic-phase/BINDING.json @@ -0,0 +1,17 @@ +{ + "basis_states": 512, + "frames": [ + 3, + 99 + ], + "native_event_index": 24472, + "negative_controls": [ + "changed absolute phase" + ], + "note": "Retained exact compiler and independent interpreter, plus new XOR-parity phase oracle. No full native catalogue replay.", + "owner": 415, + "rank": 1, + "side": "right", + "source_files": 8, + "status": "PASS_CURRENT_SELECTED_QUADRATIC_RECIPE_BINDING" +} diff --git a/research/literal-native-quadratic-phase/ENVIRONMENT.json b/research/literal-native-quadratic-phase/ENVIRONMENT.json new file mode 100644 index 0000000000..3ece38706a --- /dev/null +++ b/research/literal-native-quadratic-phase/ENVIRONMENT.json @@ -0,0 +1,9 @@ +{ + "python": "3.12.14 (main, Aug 25 2026, 14:00:49) [Clang 22.1.3 ]", + "platform": "linux", + "dependencies": "Python standard library only", + "normal_optimized_author_receipts_identical": true, + "relocated_independent_dense": "PASS, exact receipt equality", + "relocated_peer": "PASS_B3_INDEPENDENT_STRUCTURE", + "human_or_kernel_review": false +} diff --git a/research/literal-native-quadratic-phase/NOTICE b/research/literal-native-quadratic-phase/NOTICE new file mode 100644 index 0000000000..7a1f1da9c5 --- /dev/null +++ b/research/literal-native-quadratic-phase/NOTICE @@ -0,0 +1,11 @@ +Prepared for Jerry Chen / CubeJerry with substantial OpenAI assistance. +Apache-2.0. New contribution: literal local lowering, scoped proof and package. +Ali Romman/#5375 supplies the incremental phase and repeated constant. +The retained reference files preserve original source text. +#7000 and its native/Gaussian lineage supply the selected source and engines; +credit DreamingOfClouds, Ali Romman, Cinna Davis, zxv, unpaidmoon, icekylinx, +CubeJerry and earlier authors named by the retained source. +C2 literal-layer-phase supplies Gamma and signed staging/return. B1 literal- +layer-egress supplies owner staging, and #7349 the retained literal machine. +Exact original/copy source pins are in SOURCES.json. No predecessor identity, +compiler, source construction or general monomial theorem is claimed as new. diff --git a/research/literal-native-quadratic-phase/PR-DESCRIPTION.md b/research/literal-native-quadratic-phase/PR-DESCRIPTION.md new file mode 100644 index 0000000000..1775e78a85 --- /dev/null +++ b/research/literal-native-quadratic-phase/PR-DESCRIPTION.md @@ -0,0 +1,76 @@ +## Result and purpose + +This package lowers the diagonal phase of an actual current #7000 native +monomial to a fixed local tape table. The source is MOVE index 24472, owner 415, +frames 3→99, rank 1, right factor, at main +`e54523517d0f03e58352e647c403a5af3e525a57`. Its nonzero constant, linear and +quadratic terms are retained, including the constant once per column. + +The graph has **8,211 locations, 23 tapes and four symbols**, using only +local reads, one-cell writes, unit moves, fixed jumps and halt. For every +positive supplied five-Gamma `(f,r,P,S,w)` descriptor and complete packed +`[P] × [2^f]^9 × [S]` payload, it phases every Gaussian field and commits to +the original owner. Success restores every head and private window. Exact +signed range rejection preserves the public payload; failure cleanup and +reuse are not claimed. + +With `Q=2^(9f)`, `N=PQS r`, `V=2Nw` and descriptor length E, the proved bill +is `65536[E+10f+r+P+S+w+100PQ+V+1]`, hence O(V) on this supplied interface. +A separate historical bound retains prior backing K0. + +## Novelty and predecessors + +#5375 already proves the multicounter update and repeated constant phase. +Structured physical Gaussian monomials and selected record lists remain +predecessors. The new contribution is the current recipe's literal table +and complete owner contract, not a phase identity or full monomial theorem. + +The [outer phase package](https://github.com/CubeJerry/integer-mult-bounds/tree/8b549ca6557ccbb3017b104b27ea35051f990416/research/literal-layer-phase) +supplies Gamma and signed staging/return; the +[egress package](https://github.com/CubeJerry/integer-mult-bounds/tree/51ab0539059214fcfa044938c36a0b6017232be5/research/literal-layer-egress) +supplies whole-owner staging, and #7349 supplies the machine. Exact source +pins and copied original notices are retained. + +## Reproduction and checks + +Python 3.11+ and standard library only, from the repository root: + +```sh +python3 -I -W error -B research/literal-native-quadratic-phase/bind_selected.py +python3 -I -W error -O -B research/literal-native-quadratic-phase/bind_selected.py +python3 -I -W error -B research/literal-native-quadratic-phase/verify.py +python3 -I -W error -O -B research/literal-native-quadratic-phase/verify.py +``` + +Normal/optimized receipts agree. Source binding checks the actual event, +exact lowering, retained independent kernel, all 512 monomial basis inputs +and a phase fault. The separate arithmetic/address oracle checks 376 +complete packets, 11,991,714 transitions, all 336 width 1–3 endpoint pairs, +53 exact range rejections and four semantic controls. Four packets use +actual m=9,f=1; smaller fixed dimensions cover multiple columns. The author +replay does not claim a complete actual f=2 packet. + +## Independent verification + +The lead's separate dense CPU/XOR-popcount oracle passes 16 cases and +6,428,358 transitions, including explicitly incomplete selected f=2,3,4 +prefixes; eight exact Git source bindings pass. A complementary reviewer +accepts the universal proof and complete bill. Their separate interpreter +checks 11 complete successes, 9,362 records and 6,786,145 transitions, plus +three mutations. A functionally correct full-width rewind is rejected by +an independently derived exact movement census. Copied sources, reviews +and receipts are in `independent/`; the relocated copies also pass. + +## Limitations and kappa + +**No new kappa.** Descriptor/layout production, gapped-layout conversion, +affine routing, exterior scalars, recursive C and joined lifetimes remain +open. No complete native word, selected layer or multiplier is admitted. +All five foundational assumptions remain in the full conditional theorem. +The next obligations are the actual descriptor/layout bridge, affine/child +composition, and complete caller grid/headroom admission. + +Prepared for **@CubeJerry (Jerry Chen)** with substantial OpenAI assistance. +Credit Ali Romman/#5375, #7000's retained native/Gaussian authors and the +B1/C2/#7349 predecessors. Independent AI checks are not human or formal +kernel acceptance. Apache-2.0. diff --git a/research/literal-native-quadratic-phase/PR-TITLE.txt b/research/literal-native-quadratic-phase/PR-TITLE.txt new file mode 100644 index 0000000000..8af5d76e24 --- /dev/null +++ b/research/literal-native-quadratic-phase/PR-TITLE.txt @@ -0,0 +1 @@ +Lower the current selected quadratic Gaussian phase to a fixed tape table with complete owner return diff --git a/research/literal-native-quadratic-phase/PROOF.md b/research/literal-native-quadratic-phase/PROOF.md new file mode 100644 index 0000000000..46a43bf214 --- /dev/null +++ b/research/literal-native-quadratic-phase/PROOF.md @@ -0,0 +1,336 @@ +# A literal quadratic phase for a current selected native recipe + +**Scoped enabling lemma; no new kappa.** Prepared for Jerry Chen / @CubeJerry +with substantial OpenAI assistance. Canonical base: +`e54523517d0f03e58352e647c403a5af3e525a57`. + +## 1. Exact claim, source and novelty + +Fix the nine-coordinate right monomial in the lowering of the actual retained +#7000 native `MOVE` at zero-based program index **24472**: +`["MOVE",415,3,99,false]`. Its before/after frames are 3 and 99 and its +proper-width central child has rank 1. The source is +`research/shared-wire-split-composition/data/final.json.gz`, compressed SHA256 +`2b94953dc14a122e3ef089633f05b58ec689ec5156feb7c784ed3e137dc01883`, +with canonical uncompressed JSON SHA256 +`91429a6b96729292a8764836e00c87a6f7cd3b76f05159033f4867f69a98d097`. +This is a current selected source event, not the historical event8814 fixture. + +`RECIPE.json` retains the whole exact lowering, including both monomial +recipes. The right factor has constant phase 1, linear coefficients +`(3,3,3,3,0,3,3,2,0)`, and symmetric quadratic row masks +`(111,111,111,111,0,111,111,0,0)`. Diagonal entries are already included in +the linear coefficients; only strictly upper matrix entries contribute +quadratic terms. With `J={0,1,2,3,5,6}`, its input-coordinate phase is + +\[ +q(x)=1+3\sum_{i\in J}x_i+2x_7+ + 2\sum_{i