Implement the positive rank-one native C tensor leaf with complete literal control and retained workspace accounting

research/literal-positive-c-leaf/.gitignore

@@ -0,0 +1,5 @@
+__pycache__/
+RESULT-OPT.json
+SOURCE-GATE-OPT.json
+BIG-RESULT-OPT.json
+BIG-TIMING-OPT.txt

research/literal-positive-c-leaf/BIG-RESULT.json

@@ -0,0 +1,98 @@
+{
+  "actual_f2": {
+    "accepted": true,
+    "data_writes": 2621440,
+    "exteriors_preserved": true,
+    "header_preserved": true,
+    "header_writes": 0,
+    "heads_returned": true,
+    "input_bits": 2621440,
+    "output_sha256": "d74e7771c2007ef7e2e49c43cade4ee0a72bfb2ac6e8f711671d88c27aac5216",
+    "private_blank": true,
+    "private_history": 13369462,
+    "shape": [
+      2,
+      1,
+      1,
+      1,
+      5,
+      2
+    ],
+    "steps": 704382528
+  },
+  "compiler_flags": [
+    "-std=c++17",
+    "-O2"
+  ],
+  "controls": [
+    "skip every axis after the first while preserving data length, owner, heads and private retirement"
+  ],
+  "f1_cross_interpreter": {
+    "accepted": true,
+    "data_writes": 3072,
+    "exteriors_preserved": true,
+    "header_preserved": true,
+    "header_writes": 0,
+    "heads_returned": true,
+    "input_bits": 3072,
+    "output_sha256": "598cc9a4e58b97ec53e8e9acf5bb1a11540656844a98fce6afc61fa2d57780ab",
+    "private_blank": true,
+    "private_history": 15965,
+    "shape": [
+      1,
+      1,
+      1,
+      1,
+      3,
+      1
+    ],
+    "steps": 514892
+  },
+  "f2_endpoint_only_reject": {
+    "accepted": false,
+    "data_writes": 0,
+    "exteriors_preserved": true,
+    "header_preserved": true,
+    "header_writes": 0,
+    "heads_returned": false,
+    "input_bits": 1048576,
+    "output_sha256": "951a3fc0fc429662a4f46c011dea531ee4b13f11cf6da97b5e83525daab4ebda",
+    "private_blank": false,
+    "private_history": 2752608,
+    "shape": [
+      2,
+      1,
+      1,
+      1,
+      2,
+      2
+    ],
+    "steps": 36898051
+  },
+  "f2_one_axis_mutant": {
+    "accepted": true,
+    "data_writes": 2621440,
+    "exteriors_preserved": true,
+    "header_preserved": true,
+    "header_writes": 0,
+    "heads_returned": true,
+    "input_bits": 2621440,
+    "output_sha256": "5dc2b69c5029846c0f93217a80419f1535749a54809dfd334bd2cec5e7d44701",
+    "private_blank": true,
+    "private_history": 10616950,
+    "shape": [
+      2,
+      1,
+      1,
+      1,
+      5,
+      2
+    ],
+    "steps": 401212870
+  },
+  "interpreter_sha256": "b6180d3b12f7bb9142c146c57a0e868a74d3d7e3653c7264fb890c57f85cc08b",
+  "program_sha256": "bb46c1a55f1119957a52cd61f2cd957f3f7ad1e9b818c54a852bde09a0773744",
+  "scope": "Actual fixed m=9 table, complete 262144-address f=2 array; no reduced dimension or record subsampling.",
+  "status": "PASS_ACTUAL_M9_F2_LITERAL_C",
+  "table_sha256": "ac8f5e05a4e0264e94eacb7887b568bead2cce5583607b5047ac560aaf434dc9"
+}

research/literal-positive-c-leaf/BIG-TIMING.txt

@@ -0,0 +1 @@
+Wall seconds f1/full-f2/mutant/endpoint-reject: 0.011 6.818 4.364 0.305

research/literal-positive-c-leaf/NOTICE.md

@@ -0,0 +1,34 @@
+# Attribution and license
+
+Prepared for Jerry Chen / @CubeJerry with substantial OpenAI assistance.
+New material is Apache-2.0; copied predecessors retain their original notices.
+
+Jose Manuel (jmbarrancoml), CrocSwap/integer-mult-bounds#3091, supplies the
+Gaussian C numerator rows, exact carry/parity/signed-fit argument, physical
+complete-axis strategy and direct tensor tariff. Credit its #3055/#3087
+physical lineage, Alejandro Zarzuelo Urdiales's #45 Gaussian tensor reserve
+and norm results, James Chang's #1869 ripple arithmetic, AAAmirinu's #2327
+prefix audit, and Nick Petalas's #2772/#3089 prefix/capacity work.
+
+@CubeJerry's #6967 current-coded leaf supplies the earlier source/format/
+lifecycle binding and explicitly leaves literal numerical export open.
+#6978, #6986 and #6989 provide distinct all-source, cutoff-transport and
+rounded wrappers. Their stronger failure-retirement and old coded interfaces
+are not silently inherited by this packed component.
+
+The actual #7000 source, Clifford compiler and retained independent Gaussian
+verifier are credited to DreamingOfClouds, Ali Romman, Cinna Davis, zxv,
+unpaidmoon, icekylinx, CubeJerry and the earlier authors named by the retained
+sources. The construction, lowering and matrix identities are not claimed anew.
+
+The packed ABI is published at
+`172f4535ce8dcff79f626410af845f757c1563be`. Unary/Gamma/trace patterns follow
+literal-layer-phase at `8b549ca6557ccbb3017b104b27ea35051f990416`, which credits
+literal-layer-egress at `51ab0539059214fcfa044938c36a0b6017232be5`. The exact
+Builder/Machine originates in #7349, head
+`9dfe6747b8553fd11b408f2b045c5954ef1e6eaa`.
+
+The parent's dense execution/oracle and literal_layer_boundary's independent
+source/Gaussian/universal-cost review are separately attributed in REVIEW.md.
+Their artifacts are unchanged. Independent AI work is not human approval or
+formal proof-kernel acceptance.

research/literal-positive-c-leaf/OVERLAP.md

@@ -0,0 +1,57 @@
+# Bounded source, novelty and complete-cost gate
+
+Canonical base: `e54523517d0f03e58352e647c403a5af3e525a57`.
+Wave 4, tracks 20/85. The parent refreshed canonical state and active claims;
+this worker performed targeted source/PR checks, not a full archive rescan.
+
+The exact claim is one fixed literal positive rank-one C tensor leaf on the
+complete supplied packed field, including f>1, encoded cutoff, generated
+axis geometry, original-owner commit and retained private histories.
+
+## Predecessors checked
+
+| Source | Actual established scope | Outstanding seam addressed here |
+| --- | --- | --- |
+| #3091 `physical-gaussian-leaf` | C/inverse scalar carry proof, exact prefix guards, complete physical axes, O(fV) structured source | A fixed local instruction graph at an encoded packed entry |
+| #6967, head `61edc4fe348f0aeadc82a3b642a802cbfb03aed8` | Actual old current-coded/23-field rank-one leaf, 349 ports, stronger named-failure cleanup | Its proof explicitly leaves literal numerical export open |
+| #6978 | All-source rank metadata transport around that numerical provider | Metadata literalization is not a literal numerical leaf |
+| #6986 | Private f/cutoff rank transport for the old provider | Does not lower its C payload; the present rank-one guard does not replace global cutoff production |
+| #6989 | Literal dynamic lift/round codecs around the unchanged exact positive leaf | Central exact C service remains the inherited structured source |
+| #6974 | Protected old-source MOVE composition with numerical-provider premises | Different source/format lifecycle composition, not this fixed graph |
+| Published literal-native-quadratic-phase | Five-Gamma packed common-grid diagonal phase | Supplies the compatible raw ABI; does not perform C mixing |
+
+Live metadata and body search used `Gaussian literal leaf`, followed by exact
+canonical reads of both leaf proofs and the later wrapper claims. The actual
+selected #7000 word, compiler and independent Gaussian verifier were reused
+from shared authenticated source data, not cloned repeatedly. SOURCE-GATE.json
+records exact MOVE24472, rank one, the two positive C columns and complete
+source-recipe equality. No algebraic C identity or tensor reserve is new here.
+
+## Full budget and source format
+
+The gate required `O(fV+E)` at the new packed boundary, including actual
+parameter decoding, helpers, source returns, every full-axis split/merge,
+whole-field banks, numerical work, normal retirement and original-owner
+commit. Unary guides are bounded by the real field volume; cutoff stays
+binary because its represented value need not be so bounded. Explicit
+per-role caps retain historical backing after erasure and on shrinkage.
+
+The old current-coded ABI is LSB oriented with three physical bits per
+virtual symbol and a different 23-value header. The new MSB packed entry is
+not silently substituted for it. The caller must provide the exact semantic
+format/packing/header bridge with a complete bill. The source operator join
+is exact; the entire old physical provider interface is not newly exported.
+
+The direct-leaf domain remains f<=cutoff, checked on encoded words. Rank one
+still requires f C axes. Actual m=9,f=2 full-field execution and a first-axis-
+only mutant check that distinction. Nonleaf replacement and global producer
+admission are not inferred from this local bill.
+
+## Decision and limits
+
+The bounded searches found no matching complete literal C tensor leaf on
+this boundary. The exact normalization gate and full budget passed. Scope
+was kept separate from the concurrent selected SCALE wrapper and translation
+descriptor work. The supplied old-format bridge, incomplete failure cleanup,
+whole-source composition and all five global assumptions remain explicit.
+A repository-wide novelty claim or exhaustion of unpublished work is not made.

research/literal-positive-c-leaf/PR-DESCRIPTION.md

@@ -0,0 +1,107 @@
+## Result and motivation
+
+The physical positive Gaussian leaf already has exact arithmetic and a direct
+O(fV) source proof, but its literal numerical-table export remains open.
+This package implements one fixed 6,826-location, 29-tape graph for the
+positive rank-one central factor of the actual selected #7000 MOVE24472,
+`["MOVE",415,3,99,false]`.
+
+Its exact kernel is `C=[[1+i,1-i],[1-i,1+i]]/2`, applied as `C^(tensor f)`
+over all f columns. Rank one does not set f=1. The source binder recomputes
+the actual lowering, both positive C columns and the complete local recipe,
+including normalization and phase.
+
+## Exact scope and full cost
+
+The explicitly supplied packed field is `[P]x[2^f]^9x[S]`, with r Gaussian
+coefficients per address on a common grid and w signed MSB bits per component.
+Its six Gamma parameters are `f,r,P,S,w,cutoff`; the first five agree with the
+published literal native phase ABI. The graph checks w>=2, f<=cutoff, every
+Gaussian half, signed output range and exact complete cardinality.
+
+All variable axis strides are generated on tapes. Full suffix splitting,
+four-row finite-carry arithmetic, MSB restoration and full-array merging
+execute for every f axis. A protected private field remains separate from
+public DATA until all axes succeed. Successful commit uses the original owner
+and returns every head, private body/guard and opaque exterior.
+
+For `V=2PSr2^(9f)w` and header length E, the complete bill is
+`T<=65536(fV+E+1)`, with private historical backing
+`K_entry+64(V+E+1)`. Every helper, source return, copy, staging pass, install
+and retirement is charged. Cutoff stays binary, so an arbitrarily large
+threshold costs its encoded length. Shrinking clean calls do not rescan old
+blank tails; histories are retained per actual owner/origin.
+
+The accepting domain requires integral signed outputs at every executed
+axis. Final-image fit alone is insufficient: `[1,0,0,1]` maps finally to
+`[0,1,1,0]` under the two-axis tensor but fails the first exact half. Public
+DATA is preserved on these named rejections. Private failure cleanup/retry
+is not claimed and is weaker than the structured #6967 lifecycle.
+
+## Novelty and predecessor credit
+
+#3091 supplies the Gaussian rows, carry/parity/range proof, tensor reserve,
+physical axis strategy and direct tariff; none is claimed new. #6967 binds
+that structured kernel to the old coded interface. #6978/#6986/#6989 add
+different source, cutoff and rounding wrappers while retaining the literal
+numerical seam. This contribution supplies a fixed local graph and complete
+ownership/history proof at the named packed boundary.
+
+The packed ABI is credited to
+[literal native quadratic phase](https://github.com/CubeJerry/integer-mult-bounds/tree/172f4535ce8dcff79f626410af845f757c1563be/research/literal-native-quadratic-phase).
+Header/return patterns follow
+[literal layer phase](https://github.com/CubeJerry/integer-mult-bounds/tree/8b549ca6557ccbb3017b104b27ea35051f990416/research/literal-layer-phase)
+and its egress/#7349 lineage. All copied files have exact repository,
+commit:path, blob and byte hashes in SOURCES.json. Frozen predecessors are
+unchanged. No upstream PR number is invented for these review branches.
+
+## Reproduction and verification
+
+Tested base: `e54523517d0f03e58352e647c403a5af3e525a57`.
+
+```sh
+cd research/literal-positive-c-leaf
+python -I -W error -B bind_source.py
+python -I -W error -B check.py
+python -I -W error -B check_big.py
+```
+
+Optimized-Python runs use `-O` and reproduce the same structured receipts.
+The last command requires a C++17 compiler named `c++`; it compiles the
+included dense local-table interpreter in a temporary folder. No external
+library or network download is needed.
+
+The author checks execute seven complete m=9,f=1 successes, six rejection
+controls, a 2049-bit cutoff and three same-owner grow/shrink/regrow calls.
+The actual unchanged m=9,f=2 graph executes all 262,144 addresses and
+2,621,440 bits in 704,382,528 counted transitions, matching a direct tensor
+polynomial oracle with all normal-retirement checks. A first-axis-only mutant
+still retires correctly but fails that oracle; the endpoint-only witness
+rejects without DATA writes. The local cutoff2 fixture is not a certified
+global selected-producer packet.
+
+Separate root execution and mutation checks, including smaller fixed-dimension
+fixtures, are explicitly distinguished from that author's full actual f=2
+trace. A separate peer independently authenticates sources, proves the
+Gaussian spectral/geometry interface, checks 17,528 scalar components and
+27 isolated axis cost cases, and derives exact scalar and whole-axis costs.
+Unchanged reviews, portable commands and exact receipts are in independent/,
+REVIEW.md and VERIFY.json. AI-assisted cross-review is not human or kernel
+verification.
+
+## Limitations and kappa status
+
+**No new kappa; the complete multiplication bound remains conditional and
+all five global assumptions remain.** This is a concrete direct-leaf
+lowering, not an accelerated nonleaf or complete source caller.
+
+The old 23-value/three-bit-coded LSB interface and strided native placements
+require an explicitly supplied, paid format/packing/header bridge. The two
+surrounding monomials, full MOVE/compiler composition, failure retirement,
+global cutoff/stock/precision admission and analytic recovery remain open.
+Matching the local source operator does not discharge those obligations.
+
+Prepared for Jerry Chen / @CubeJerry with substantial OpenAI assistance.
+Credit Jose Manuel, Alejandro Zarzuelo Urdiales, Nick Petalas, James Chang,
+AAAmirinu, the selected native/compiler authors and all retained predecessors
+in NOTICE.md. New material is Apache-2.0.

research/literal-positive-c-leaf/PR-TITLE.txt

@@ -0,0 +1 @@
+Implement the positive rank-one native C tensor leaf with complete literal control and retained workspace accounting