Research: Leaf cutoff transport

research/current-leaf-cutoff-transport/CHECKPOINT.json

@@ -0,0 +1,26 @@
+{
+  "active": "Committed bytes/modes and export checks before lead publication",
+  "branch": "research/current-leaf-cutoff-transport-20261109",
+  "canonical_base": "7c49fe32c55de02c2c873655c804b16e4c3fef0a",
+  "completed_numeric": {
+    "actions": 481525381,
+    "cap_seconds": 120,
+    "elapsed_seconds": 73.691,
+    "event": 9934,
+    "global_producer_claim": false,
+    "private_ports": 388,
+    "rank": 2,
+    "records": 4096
+  },
+  "next": "Freeze verified package; no more full numeric run.",
+  "scope": "LEAF-only (f,t)->(r*f,r*t); public global threshold unchanged; no new kappa.",
+  "source_sha256": {
+    "check_leaf.py": "d9fb3b831bad209c2eedd3b0bfc73bb82be028fb12784de666184dcc17293608",
+    "check_transport.py": "152b1a313588fe7cf29febf1406fa3e99c88966f4a6f69da2fdcd6082a9ef972",
+    "cutoff_sources.py": "b6ce5ee6e5aefbda833d0d53de99651c624999dba40a511a37123baef83ea39f",
+    "cutoff_view.py": "adaa63290c204655a7e689724de83a319846c7b84d529eb1207841fea908dc10",
+    "source_audit.py": "d033c2e0317c65a9fab43d1d41ed09a7c39157ddc8750cdbb7be242ed5f8fdcf"
+  },
+  "status": "All four registered gates and complete bounded local positive-child witness passed; lead source/proof review found no blocker.",
+  "worktree": "/workspace/scratch/a365d332d434/native-w5-cutoff"
+}

research/current-leaf-cutoff-transport/EVIDENCE-RESULT.json

@@ -0,0 +1,11 @@
+{
+  "byte_mutant_detected": true,
+  "global_producer_claim": false,
+  "legacy_rejection_actions": 317821,
+  "manual_complete": true,
+  "old_cutoff_reject_reexecuted": true,
+  "physical_actions": 481525381,
+  "saved_output_bytes": 73728,
+  "saved_parent_bytes": 151,
+  "scope": "One actual positive child; saved success evidence audited, not numerically rerun."
+}

research/current-leaf-cutoff-transport/FINAL-CHECKS.json

@@ -0,0 +1,63 @@
+{
+  "canonical_base": "7c49fe32c55de02c2c873655c804b16e4c3fef0a",
+  "complete_private_ports": 388,
+  "corrected_verification_issue": "Initial receipt comparison treated integer table keys and JSON string keys as different. Canonical JSON comparison fixes this verifier-only serialization issue; all four gates then passed. Production and manual numerical source unchanged.",
+  "exact_header_growth_bound": 12,
+  "gates": "PASS_REGISTERED_RESEARCH_PACKAGE research/current-leaf-cutoff-transport outcome=completed",
+  "global_assumptions_discharged": 0,
+  "lead_review": "Full proof/table and unchanged leaf prepare/run reviewed; cutoff isolation, geometry, E+12, carry invariant and paid header ceiling checked. Shared-context AI review, not human/kernel.",
+  "literal_private_header_ports": 39,
+  "metadata_cases": 120,
+  "no_new_kappa": true,
+  "numeric": {
+    "actions": 481525381,
+    "cap_seconds": 120,
+    "elapsed_seconds": 73.691,
+    "exit_code": 0,
+    "global_producer_claim": false,
+    "source_event": 9934
+  },
+  "receipt_files": [
+    {
+      "bytes": 324,
+      "path": "receipts/EXECUTION.json",
+      "sha256": "1cefb14d3f72a5a79867620498631788f6e6adf5f2caf92ec53d6a2d7977d758"
+    },
+    {
+      "bytes": 3732,
+      "path": "receipts/RESULT.json",
+      "sha256": "49bea24788e8c0cb6e6a6b923ebe4948120a76005e856c2fb9f7eeefb123b256"
+    },
+    {
+      "bytes": 277,
+      "path": "receipts/START.json",
+      "sha256": "ee42e474a731b8c2bd148b2226e0338c103969d428e71987c84705e24155b936"
+    },
+    {
+      "bytes": 2167,
+      "path": "receipts/execution.log",
+      "sha256": "2dbf367c080069163127b9f2abebd2aea1911f09f04e833a9a4d2a23b9fc821c"
+    },
+    {
+      "bytes": 73728,
+      "path": "receipts/returned-field.bits",
+      "sha256": "15fa6acdaf6550b7697afd7641f5d14c2d7b7d8b14fe2625c095035689e688c2"
+    },
+    {
+      "bytes": 151,
+      "path": "receipts/returned-parent.bits",
+      "sha256": "4b9c34cd91a158c6bf61b53153c4eae6811be3c119f5020c9cf6fdbba0806732"
+    }
+  ],
+  "source_files": 165,
+  "source_rank_cases": 8,
+  "source_sha256": {
+    "check_leaf.py": "d9fb3b831bad209c2eedd3b0bfc73bb82be028fb12784de666184dcc17293608",
+    "check_transport.py": "152b1a313588fe7cf29febf1406fa3e99c88966f4a6f69da2fdcd6082a9ef972",
+    "cutoff_sources.py": "b6ce5ee6e5aefbda833d0d53de99651c624999dba40a511a37123baef83ea39f",
+    "cutoff_view.py": "adaa63290c204655a7e689724de83a319846c7b84d529eb1207841fea908dc10",
+    "source_audit.py": "d033c2e0317c65a9fab43d1d41ed09a7c39157ddc8750cdbb7be242ed5f8fdcf",
+    "verify.py": "2496f42ad851f1364f1d471d4441b467568a43107419c92e79a220f671667ebe"
+  },
+  "status": "all four registered normal/optimized gates passed; separate lead source/proof review found no blocker"
+}

research/current-leaf-cutoff-transport/NOTICE.md

@@ -0,0 +1,27 @@
+# Credit and license
+
+Prepared for @CubeJerry. New proof notes, source and checks are Apache-2.0.
+Substantial OpenAI assistance supported the research, implementation,
+experiments, documentation and separate source review. AI checks sharing
+context are not human or formal-kernel verification.
+
+Credit the complete positive-child package at
+12e58dfdad9371a26f9978c814779da344fd80b4, positive Gaussian leaf at
+61edc4fe348f0aeadc82a3b642a802cbfb03aed8, current monomial at
+7d1ff23714e6f9182c1d0ff9214f65def2f30e04, literal native header at
+772198276518065c6ae42ef4bafc77df9c3c73b3, protected source interface at
+41b67c290c1533de25bfba19d4dec27e1aaf0970, and row stock dispatcher at
+5c59d247d51c6e1fca0dead3ed2139b6802b3a15. All165 retained files are unchanged
+and retain their original source-specific notices.
+
+Earlier Gaussian arithmetic and normalized leaf work includes
+CrocSwap/integer-mult-bounds#3091 and its credited lineage. The selected
+source is CrocSwap/integer-mult-bounds#6030; physical codec/row work and
+precision predecessors include CrocSwap/integer-mult-bounds#6293 and
+CrocSwap/integer-mult-bounds#6901. The rank view, source census, Clifford
+identity and numerical kernel are predecessor results. The new contribution
+is the exact cutoff-consumer isolation, literal two-field private transport
+and its complete budget/restoration interface.
+
+No selected certificate changes, unconditional theorem, faster nonleaf
+tariff or new multiplication kappa are claimed.

research/current-leaf-cutoff-transport/OVERLAP.json

@@ -0,0 +1,69 @@
+{
+  "recorded_at": "2026-11-09 during wave5 orientation",
+  "queries": [
+    "repo:CrocSwap/integer-mult-bounds is:pull-request cutoff in:title,body updated:>=2026-11-08",
+    "repo:CrocSwap/integer-mult-bounds is:pull-request \"rank\" \"leaf\" in:title,body updated:>=2026-11-08"
+  ],
+  "results": [
+    {
+      "query_index": 0,
+      "total_count": 2,
+      "incomplete_results": false,
+      "items": [
+        {
+          "number": 6920,
+          "title": "Conditional BIT saving = 0.00380058610508 on merged #5708 native: chain-root caller",
+          "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/6920",
+          "updated_at": "2026-11-09T06:43:10Z"
+        },
+        {
+          "number": 6898,
+          "title": "Integrate exact FFT scalars into the physical Full caller (no new κ)",
+          "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/6898",
+          "updated_at": "2026-11-09T00:25:26Z"
+        }
+      ]
+    },
+    {
+      "query_index": 1,
+      "total_count": 4,
+      "incomplete_results": false,
+      "items": [
+        {
+          "number": 6922,
+          "title": "Record that one F2 thin map misses the three-leaf paired star.",
+          "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/6922",
+          "updated_at": "2026-11-09T07:34:07Z"
+        },
+        {
+          "number": 6896,
+          "title": "Prove recursive native-bank capacity at every allocation prefix (no new κ)",
+          "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/6896",
+          "updated_at": "2026-11-09T00:24:15Z"
+        },
+        {
+          "number": 6881,
+          "title": "P104 surplus bound, hub rank law and form-capacity lemma with a hypothesis ledger (no kappa)",
+          "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/6881",
+          "updated_at": "2026-11-08T17:48:27Z"
+        },
+        {
+          "number": 6870,
+          "title": "Freeze all six verification changes in a compatible complete source selection",
+          "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/6870",
+          "updated_at": "2026-11-08T07:16:56Z"
+        }
+      ]
+    }
+  ],
+  "scope": "No matching LEAF-private two-field cutoff transport found in these bounded searches. This is not an exhaustive novelty proof. Lead allocated the distinct exact scope; other agents own precision and enclosing caller work.",
+  "predecessor_obligation": "Public 12e58df PROOF section2 explicitly retained parent cutoff and required r*f<=t; this package transports that private threshold while preserving the public global cutoff.",
+  "excluded_hits": {
+    "6870": "Scientific verification source-freeze selection.",
+    "6881": "P104 surplus/hub hypothesis ledger.",
+    "6896": "Historical dimension64/rank42 allocation inventory, not current selected cutoff delivery.",
+    "6898": "Physical Full FFT scalar service cutoff, unrelated private positive-axis threshold.",
+    "6920": "Different conditional BIT source cutoff/floor and empty-field question.",
+    "6922": "F2 thin-map star obstruction."
+  }
+}

research/current-leaf-cutoff-transport/PR-DESCRIPTION.md

@@ -0,0 +1,83 @@
+## Result
+
+Remove the rank-only positive child's stronger `r*f<=parent cutoff` admission
+condition. For every actual selected PAID rank1..8, a literal private header
+maps `(f,t)` to `(r*f,r*t)`, so the unchanged numerical leaf accepts precisely
+when the original parent has `f<=t`. Its other21 values, complete field,
+owner/token, parent header and reserved geometry remain unchanged.
+
+The source audit proves that this numerical consumer uses cutoff only for
+positivity and admission; it never reaches the axis kernel, recursive work
+or allocation. The original global cutoff remains unchanged for row/root
+consumers. An actual row-table control demonstrates the incorrect branch
+change caused by mutating that public cutoff alone. The translated header
+is exclusively a positive-leaf view, not a general native descriptor.
+
+Both products and complete restore/erase work are paid. The same39 metadata
+plus349 numeric ports suffice. The two changed self-delimited values grow
+the physical header by at most12 bits. Complete cost remains
+`F_template+O(r*f*V+(E+13)^4+388)`, retaining source delivery, copying,
+normalization, cleanup and historical backing. **No new kappa; all five
+global selected assumptions remain.**
+
+## Novelty and sources
+
+The predecessor's source-complete positive child intentionally left cutoff
+unchanged and required `r*f<=t`; parent `f<=t` did not suffice. This package
+supplies the missing private cutoff transport and proves why the public
+global threshold cannot be changed. It reuses the predecessor's rank
+geometry, exact Gaussian arithmetic and source binding without reproof.
+
+Base: `7c49fe32c55de02c2c873655c804b16e4c3fef0a`.
+Immediate source:
+[12e58df](https://github.com/CubeJerry/integer-mult-bounds/commit/12e58dfdad9371a26f9978c814779da344fd80b4).
+Row consumer provenance:
+[5c59d24](https://github.com/CubeJerry/integer-mult-bounds/commit/5c59d247d51c6e1fca0dead3ed2139b6802b3a15).
+All165 retained files have exact paths, blobs and hashes. Frozen predecessors
+and the selected certificate are unchanged.
+
+## Verification
+
+```sh
+python3 -B scripts/research_package.py --package research/current-leaf-cutoff-transport
+```
+
+Four bounded normal/optimized gates execute120 literal metadata cases over
+all8 ranks, exact complete-header oracles, long f/cutoff syntax, shrinking
+retained-history reuse, source-use checks, real public row comparisons and
+zero/rank/grant/old-table/numeric-cutoff-leak controls. The original f-only
+provider's cutoff rejection is re-executed, preserving its complete input.
+
+One separate actual rank-two leaf at source event9934 completed all4096
+records with original f=t=1 and private f'=t'=2:481525381 literal actions,
+388 private ports, complete field/header correctness and physical retirement,
+in73.691 s under120 s. Full returned bytes and receipts are retained and
+rechecked by the bounded evidence gate; that gate does not rerun the long
+successful numeric call. The normalized Gaussian-character oracle is an
+unchanged credited predecessor check.
+
+## Limits and next questions
+
+The numeric fixture uses a local cutoff1 and is **not** a global t>=145
+producer witness. Very long metadata cases prove no huge numerical admission.
+The theorem retains original geometry, common-grid/signed-prefix conditions,
+physical disjointness and inherited numerical source-to-machine contracts.
+Changing cutoff supplies none of those premises. All row/stock/owner delivery
+costs and preexisting erased backing remain charged. Materialized numerical
+array extents are distinguished from visited space.
+
+No full MOVE, enclosing product/remap caller, global recurrence or nonleaf
+tariff is installed. Next: join this exact private interface to an actual
+typed caller while retaining its original global descriptor; prove that
+caller's f<=t, precision and stock domain; and complete literal numerical
+lowering and remaining global assumptions.
+
+## Credit and assistance
+
+Prepared for @CubeJerry. Credit the exact public packages above, selected
+CrocSwap/integer-mult-bounds#6030, Gaussian work in
+CrocSwap/integer-mult-bounds#3091, physical predecessor
+CrocSwap/integer-mult-bounds#6293 and precision work in
+CrocSwap/integer-mult-bounds#6901, with all retained notices. Substantial
+OpenAI assistance supported proofs, code, experiments, review and documentation.
+Shared-context AI checks are not human or proof-kernel acceptance.

research/current-leaf-cutoff-transport/PR-TITLE.txt

@@ -0,0 +1 @@
+Transport positive native leaf cutoffs privately without changing global branching