Compose the complete balanced CRT state tree across changing precision with 127 stable owned roles (no new kappa)

research/crt-whole-tree-state/NOTICE.md

@@ -0,0 +1,16 @@
+# Attribution and scope notice
+
+New changing-node controller, proof, exact tariff summation and verification
+prepared for Jerry Chen / CubeJerry with substantial OpenAI assistance,
+2026. Apache-2.0.
+
+`workspace.py` retains JoyboyBrian's #6100 implementation and its notice,
+with exactly the declared one-line geometry guard change. Numerical/ROM
+query and source-update algorithms are imported unchanged from their
+authenticated predecessors. All inherited license notices remain
+unmodified at their original paths.
+
+The runtime and proof depend on the source-relative numerical/ROM contracts
+named in PROOF.md. AI-assisted verification is not independent human
+review or formal-kernel verification. No global multiplication theorem
+or selected-frontier update is asserted.

research/crt-whole-tree-state/OVERLAP.md

@@ -0,0 +1,40 @@
+# Exact scope and overlap record
+
+Canonical main at assignment: `e54523517d0f03e58352e647c403a5af3e525a57`.
+The selected record is #7000/#7001 at kappa `.00363005817`; catalogue
+revision 8 still records the older #5599 context. The contextual task
+picker reported that discrepancy, and the current selected record was
+used for scientific status.
+
+Initial scope was the actual fast CRT control/payload boundary after
+the #6993/#6995 recovery/extraction work. Source inspection showed that
+the balanced CRT route is a payload-permutation construction; its
+schoolbook control arithmetic and CRT identities were already covered
+by #4100/#4377/#4409. No circular-multiplication or algebra result was
+claimed from that already resolved question.
+
+The exact new question is the changing-node/precision ownership and
+current-state composition of the actual #6100/#5625 row consumer.
+The parent orchestrator approved this narrower source interface before
+implementation.
+
+| Predecessor | Existing result | New boundary here |
+| --- | --- | --- |
+| #4195 | Logical whole tree and mixed-width rows | Actual physical row providers are composed |
+| #5496/#5519 | Physical current-row ROM query and multi-target bank audit | Same query bytes and provider contracts retained |
+| #5625 | Paid source update at a fixed node | Complete level/node/row traversal and changing precision |
+| #6100 | 118 stable roles at fixed geometry | Same bank across every node plus current-width protected words |
+| #5486 | Binary repair in fixed u2/t2/y8 geometry | Neither fixed-key compilation nor replay is repeated |
+| #6993/#6995 | Recovery/extraction seams | Motivation only, no hidden runtime dependency |
+
+Targeted live PR searches on 2026-11-10 for CRT, Benes, 6100,
+whole-tree CRT and three-epoch returned the predecessor chain and
+explicit unresolved whole-tree/key boundaries. The direct #6100 search
+returned #6100 itself; #5625/#6100 README/proof text explicitly excludes
+changing-node precision. This was supplemented by canonical research-root
+metadata and exact relevant source reads. These bounded searches do not
+certify absence of unpublished work or arbitrary text outside coverage.
+
+The run uses a local allocation manifest because no supported Discussion
+mutation connector is available. No placeholder issue or upstream PR was
+created. No central priority/status file is altered.

research/crt-whole-tree-state/PR-DESCRIPTION.md

@@ -0,0 +1,25 @@
+## Change and mathematical scope
+
+Compose the actual numerical and ROM row pipeline across the **complete balanced CRT state tree**, reusing one physical source and the same 127 owned roles as the node and numerical precision change. This extends the explicit fixed-node boundary of #5625 and #6100. The precise claim is source-relative and covers every admitted dyadic axis count, near-equal declared widths and padded coordinate tuple. **No new kappa.**
+
+The only copied-workspace change is an authenticated geometry guard. The controller retains the unchanged current-row query and retire-before-source-update consumer. Eight additional owned zero words are physically prepared at each node's exact precision, satisfying the numerical entry contract without treating a previous-width dirty word as a valid current-width word. These eight words contain no header or context. The actual numerical context and ROM headers stay within the inherited 118-role workspace; one additional staging role completes the 127 owned roles. The supplied source is separate, and this is not a total binary-machine tape count.
+
+The proof sums the actual row-provider bills over the balanced tree, rather than multiplying a worst-node charge by a node count. For address width at most p it gives a loose within-interface source-operation bound `2^34 * 2^(3ell) * (p+2)^8`, and a rolewise historical-storage envelope `O(2^ell p ell^2+p^2)` independent of traversal count. Complete forward/reverse traversal restores every source byte and its entry head. #4195 already proves the CRT algebra and logical order; those results are inherited, not claimed as new.
+
+## Sources and verification
+
+Base: `e54523517d0f03e58352e647c403a5af3e525a57`. `SOURCES.json` authenticates all 41 consumed predecessor files and the task-catalogue provenance. The selected conditional kappa `.00363005817` from #7000/#7001 is unchanged.
+
+```sh
+python3.12 -B scripts/research_package.py --package research/crt-whole-tree-state
+```
+
+Expected marker: `PASS_CRT_WHOLE_TREE_STATE four_axis_rows=30 producer_calls=28 retained=7176 controls=11`. The four-axis fixture executes 30 node-row commands at precisions 7, 5 and 11, with 28 actual unchanged ROM producer calls and **500,394,012 producer instructions**. A second physical fixture checks invalid-left disabling and padded targets. An independent defining CRT formula checks the valid forward endpoint; observer values never enter runtime state. All 127 roles plus source retain 7,176 cells in the changing-precision fixture.
+
+Eleven controls cover live-owner reentry, premature source mutation, changed global shape, historical-tail contamination, unretired word resizing, the actual predecessor boundary, malformed topology, an omitted subtree, crossed historical capacity peaks and a false geometric-series coefficient found in independent review. 182 exact tariff cases and a separate moment challenge corroborate the quantified proof. Both registered normal and optimized replays passed in 237.070 seconds total. A separate reviewer independently checked 744 invoice/moment domains and nine actual guard growth/shrink lifecycles, and rederived the source-state induction. `VALIDATION.md` records the exact scope and environment; these checks are not formal-kernel acceptance.
+
+## Limits and credit
+
+The supplied topology/source boundary remains explicit: complete cost is `T_topology + T_source + T_traversal`. Topology production and its encoded traversal belong to `T_topology`; idle trace entries do not imply cost-free runtime decoding. The source-operation count is not silently converted to binary TM steps. Uniform encoded topology, initial descriptor/axis production, the variable-geometry three-epoch repair key, complete payload routing and the common machine tariff remain open. No whole `analytic_recovery` discharge, unconditional multiplication theorem or selected-frontier change is claimed; all five selected assumptions remain.
+
+Prepared for **@CubeJerry (Jerry Chen)** with substantial **OpenAI assistance**, including separate model-assisted review. Credit Ali Romman's #5353/#5625 source interfaces; JoyboyBrian's #5053/#5219 numerical lifecycle, #5092 ROM producer, #5496 query and #6100 workspace; commdata2338's #5519 bank audit; ToikY's #4195 caller and #4192 arena; Hiroki KUMAZAKI's current-state lineage; Cinna Davis's #4100 construction; and all retained source notices. The package includes the proof, exact seam, source pins, deterministic receipts and open next questions.

research/crt-whole-tree-state/PR-TITLE.txt

@@ -0,0 +1 @@
+Compose the complete balanced CRT state tree across changing precision with 127 stable owned roles (no new kappa)