Implement the outer layer phase sweep from its actual encoded header with a fixed finite tape program

research/literal-layer-phase/JOIN-RESULT.json

@@ -0,0 +1,191 @@
+{
+  "cases": 10,
+  "coefficients": 316,
+  "limitations": [
+    "Exact C and its common-grid format preparation are test oracles, not implementations.",
+    "Only the two phase tables and pinned egress execute as literal programs."
+  ],
+  "rows": [
+    {
+      "coefficients": 2,
+      "egress_steps": 4152,
+      "final_phase_steps": 1409,
+      "initial_phase_steps": 1409,
+      "parameters": [
+        1,
+        2,
+        1,
+        1,
+        1,
+        1,
+        1,
+        1,
+        3
+      ],
+      "physical_tapes": 36
+    },
+    {
+      "coefficients": 4,
+      "egress_steps": 9184,
+      "final_phase_steps": 2392,
+      "initial_phase_steps": 2392,
+      "parameters": [
+        1,
+        3,
+        1,
+        2,
+        1,
+        1,
+        1,
+        1,
+        3
+      ],
+      "physical_tapes": 36
+    },
+    {
+      "coefficients": 8,
+      "egress_steps": 19746,
+      "final_phase_steps": 4207,
+      "initial_phase_steps": 4207,
+      "parameters": [
+        1,
+        4,
+        1,
+        3,
+        1,
+        1,
+        1,
+        1,
+        3
+      ],
+      "physical_tapes": 36
+    },
+    {
+      "coefficients": 16,
+      "egress_steps": 43388,
+      "final_phase_steps": 7574,
+      "initial_phase_steps": 7574,
+      "parameters": [
+        1,
+        5,
+        1,
+        4,
+        1,
+        1,
+        1,
+        1,
+        3
+      ],
+      "physical_tapes": 36
+    },
+    {
+      "coefficients": 2,
+      "egress_steps": 3947,
+      "final_phase_steps": 1746,
+      "initial_phase_steps": 1746,
+      "parameters": [
+        2,
+        1,
+        1,
+        1,
+        1,
+        1,
+        1,
+        1,
+        4
+      ],
+      "physical_tapes": 36
+    },
+    {
+      "coefficients": 4,
+      "egress_steps": 8430,
+      "final_phase_steps": 3015,
+      "initial_phase_steps": 3015,
+      "parameters": [
+        2,
+        2,
+        1,
+        2,
+        1,
+        1,
+        1,
+        1,
+        4
+      ],
+      "physical_tapes": 36
+    },
+    {
+      "coefficients": 8,
+      "egress_steps": 19085,
+      "final_phase_steps": 5153,
+      "initial_phase_steps": 5153,
+      "parameters": [
+        2,
+        3,
+        1,
+        3,
+        1,
+        1,
+        1,
+        1,
+        4
+      ],
+      "physical_tapes": 36
+    },
+    {
+      "coefficients": 16,
+      "egress_steps": 42154,
+      "final_phase_steps": 9461,
+      "initial_phase_steps": 9461,
+      "parameters": [
+        2,
+        4,
+        1,
+        4,
+        1,
+        1,
+        1,
+        1,
+        4
+      ],
+      "physical_tapes": 36
+    },
+    {
+      "coefficients": 128,
+      "egress_steps": 282261,
+      "final_phase_steps": 60257,
+      "initial_phase_steps": 60257,
+      "parameters": [
+        2,
+        3,
+        2,
+        2,
+        2,
+        2,
+        2,
+        1,
+        4
+      ],
+      "physical_tapes": 36
+    },
+    {
+      "coefficients": 128,
+      "egress_steps": 282698,
+      "final_phase_steps": 60366,
+      "initial_phase_steps": 60366,
+      "parameters": [
+        2,
+        3,
+        2,
+        2,
+        2,
+        2,
+        2,
+        2,
+        4
+      ],
+      "physical_tapes": 36
+    }
+  ],
+  "status": "PASS_LITERAL_PHASE_EGRESS_JOIN"
+}

research/literal-layer-phase/NOTICE.md

@@ -0,0 +1,29 @@
+# Attribution and source notices
+
+Prepared for Jerry Chen / @CubeJerry with substantial OpenAI assistance.
+New package material is Apache-2.0. Exact predecessor files retain their
+original notices and license statements.
+
+The canonical header and simultaneous-layer definitions are frozen from
+`e54523517d0f03e58352e647c403a5af3e525a57`. The algebraic phase identity,
+Gamma encoding, Gaussian unit phases and binary-counter amortization are
+credited methods; no broad mathematical or literature priority is claimed.
+
+Ali Romman authored the retained sequential monomial producer in
+CrocSwap/integer-mult-bounds#5375, following Jose Manuel's #2250 Gaussian
+source, JoyboyBrian's #5329 recipe, Cinna Davis's cached chirp work and
+Ryanson Jonathan's #4325 odometer audit. The two exact reference files are
+included for scope and provenance and are not imported by the new sweep.
+
+The literal Builder/Machine export is pinned to CubeJerry's commit
+`9dfe6747b8553fd11b408f2b045c5954ef1e6eaa`. Gamma, trace, staging and
+cleanup patterns follow the literal layer egress package at CubeJerry's
+verified commit `51ab0539059214fcfa044938c36a0b6017232be5`. Its exact
+source is included as a reference and compiled, with an exact graph digest
+check, solely by the optional finite join verifier.
+
+The parent research agent independently implemented `independent/dense_check.py`
+with a separate dense interpreter and Cartesian-address arithmetic oracle.
+The separate `compiler_exits` agent reviews the universal geometry, costs
+and history. These are independent AI-assisted checks; human or proof-kernel
+acceptance is not represented by either review.

research/literal-layer-phase/OVERLAP.md

@@ -0,0 +1,32 @@
+# Bounded overlap and precise new scope
+
+Base: `e54523517d0f03e58352e647c403a5af3e525a57`, checked for this second wave
+by the orchestrator. This task was assigned explicitly; no catalogue reroll.
+
+Canonical research tree metadata identifies `sequential-monomial-phase`.
+Its exact PROOF.md and phase.py were retrieved at the base and authenticated
+against Git blobs `42ffd4007c1416eb4a45e47d181194d3e87742bb` and
+`26126045289a3dceeb8d096c984d536613e5345f`. Live metadata confirms
+#5375 merged from `9b1aa6b75515a2767fdab6b80eda3284bd1f5809` by Ali Romman.
+Its proof explicitly retains supplied-mask production, one-coefficient
+grammar, same-owner preservation, mixed packing and literal-table lowering.
+
+Targeted all-state PR queries for `"sequential-monomial-phase"`,
+`"phase sweep" "header"`, and `"phase" "Gamma"` were read during this
+wave. The exact-package query returns #5375; the other bounded results did
+not provide this actual nine-Gamma fixed-table sweep. The orchestrator also
+checked literal/phase leads and active claims before assigning this scope.
+These are bounded metadata/body checks, not complete historical diff coverage
+or a guarantee against unpublished overlap.
+
+The preceding egress contribution is verified on CubeJerry's remote at
+`51ab0539059214fcfa044938c36a0b6017232be5`, branch
+`research/literal-layer-egress-20261112-0132`. Its runtime source is included
+as an exact reference and its emitted table is checked in the finite join.
+It explicitly leaves both S_D sweeps supplied. No upstream PR is invented.
+
+The new claim is restricted to the linear outer phase of canonical
+`05-layers.tex`, with generated identical K-bit masks at a common rho,
+variable D, complete P/S/r grammar, literal MSB integer rotations, original
+owner commit, successful cleanup and retained backing. It does not claim
+the #5375 general quadratic recipe or a complete C/layer/multiplier.

research/literal-layer-phase/PR-DESCRIPTION.md

@@ -0,0 +1,90 @@
+## Result and why it matters
+
+The canonical simultaneous layer still needs two diagonal S_D phase sweeps.
+The pinned [literal egress](https://github.com/CubeJerry/integer-mult-bounds/tree/51ab0539059214fcfa044938c36a0b6017232be5/research/literal-layer-egress)
+supplies b^D and the final toward-zero projection but explicitly leaves these
+sweeps supplied. This package implements that actual boundary in one fixed
+2,146-location program on twenty tapes.
+
+It reads the nine-Gamma header, constructs the selected-bit mask, enumerates
+implicit `[P] x [2^K]^D x [S]` addresses, repeats phases over r coefficients,
+and returns exact w-bit MSB Gaussian rotations on the original DATA owner.
+Every parameter, counter and payload operation executes through local-symbol
+branches, one-cell writes, unit moves and fixed jumps. No runtime address,
+decoded parameter, supplied mask or input-sized lookup is used.
+
+For E header bits, N=Mr coefficients and V=2Nw payload bits:
+
+```
+T <= 65536(E+p+d+DK+Nw+1)
+private historical backing <= K0+4V+32(E+p+d+DK+w+1).
+```
+
+These include all setup, source reads, coefficient work, repetition,
+staging, original-owner commit, returns and erasures. Carry-prefix work is
+O(P*2^(DK)); unary r/P/S acquisition is paid because each is at most N.
+The complete boundary is O(V) in the selected source bands. Success returns
+all heads and private banks; numerical range rejection preserves the full
+public input before commit. No rejection cleanup is claimed.
+
+## Novelty and predecessor credit
+
+Ali Romman's #5375 proves sequential monomial phases with a supplied active
+mask, fixed recipe dimension, source-level counter/consumer and one Gaussian
+coefficient per record. It leaves geometry production, packed repetition,
+literal lowering and complete caller binding open. The new result supplies
+header-produced geometry, variable D on a fixed inventory, r/P/S grammar,
+literal MSB rotations and same-owner cleanup for the specific outer S_D.
+Counter amortization and Gaussian phase algebra remain credited methods.
+
+The egress and new sweep can use distinct private banks plus two public
+tapes: 36 fixed tapes total, with the phase bank reused for the final pass.
+An exact C service and its paid common-grid conversion remain explicit
+premises. No complete layer or multiplier is claimed.
+
+Credit @CubeJerry / Jerry Chen; Ali Romman #5375; Jose Manuel #2250;
+JoyboyBrian #5329; Cinna Davis; Ryanson Jonathan #4325; the canonical
+header/layer authors; and CubeJerry's pinned literal controller and egress
+packages. Substantial OpenAI assistance contributed construction, proof,
+implementation and separate agent review. Human/proof-kernel acceptance
+is unclaimed. Apache-2.0; predecessor notices are retained.
+
+## Exact source and checks
+
+Base `e54523517d0f03e58352e647c403a5af3e525a57`. Exact paths, commits, Git
+blobs and SHA256 values are in SOURCES.json. Only
+`research/literal-layer-phase/` is added; frozen source and selected records
+are unchanged.
+
+```sh
+python -I -W error -B research/literal-layer-phase/verify.py
+python -I -W error -O -B research/literal-layer-phase/verify.py
+python -I -W error -B research/literal-layer-phase/compose.py
+python -I -W error -O -B research/literal-layer-phase/compose.py
+```
+
+Expected: `PASS_LITERAL_LAYER_PHASE` and `PASS_LITERAL_PHASE_EGRESS_JOIN`.
+The main run covers 319 packets / 29,586 coefficients, 52 geometries, all
+256 signed three-bit pairs isolated at four phases, 31 range rejections,
+five invalid controls, seven detected actual-program mutations and stable
+history reuse after growth and shrinkage. The separate join executes both
+literal phase sweeps and the pinned egress around a clearly labelled
+**test-only exact C oracle**: ten disk-grid tensors / 316 coefficients
+match a direct normalized Walsh tensor and one final projection.
+
+Independent review and a separately implemented dense interpreter are
+recorded in REVIEW.md and the included review receipts. The dense review
+passes 24 packets and three semantic mutations. The separate universal and
+structural review accepts the proof and checks 15 successful runs, 2,084
+record entries and the exact counter movement census; its three controls
+include a numerically correct full-width scan that violates the cost claim.
+Universal claims rest on the written proof; finite checks corroborate them.
+Hosted CI and formal proof-kernel acceptance are separate.
+
+## Limits and open obligation
+
+**No new kappa. All five global assumptions remain.** An executable exact C
+consumer, canonical-order return, common-grid conversion, owner allocation,
+compiler/native admission, packed permutations and integer recovery remain
+unimplemented by this package. The next useful join should supply C at this
+precise header/owner/width interface with a complete physical invoice.

research/literal-layer-phase/PR-TITLE.txt

@@ -0,0 +1 @@
+Implement the outer layer phase sweep from its actual encoded header with a fixed finite tape program