dillona · Nov 10, 2026
diff --git a/research/p104-chart120-peer-composition/APPLICATION.md b/research/p104-chart120-peer-composition/APPLICATION.md
@@ -0,0 +1,29 @@
+# Conditional application to the chart-120 native and signed caller
+
+This applies Rohan Arun's #7113 component proof and #7116–#7119's changed-native adaptation to the exact chart-120 native. ToikY supplies the reported chart-120 pattern; this independently constructed current-source word is proved in PROOF.md, and PEER-CREDIT.json records the public finding. The original peer artifact is not imported. Both artifact hashes and public heads are in README.md. The five inherited assumptions and selected completed BIT predecessor are retained. The source-specific proof template is the [#7000 application review](https://github.com/CrocSwap/integer-mult-bounds/blob/e54523517d0f03e58352e647c403a5af3e525a57/docs/research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md), including its BIT ambient 134 repair. Its generic root/storage and scalar/physical arguments require the substitutions below; a predecessor's numeric receipt alone is insufficient.
+
+## Native and caller operator substitution
+
+The new constructor preserves every arbitrary-input native endpoint while splitting helper 1447's rank-eight target into 4+4. It subdivides one paid rank-seven move into 4+3, checking its complete contact-free interval and exact Counters. The initial helper frame 597 has dimension 1, chart 120 has dimension 5, and final frame 127 has dimension 9. Exact prefix/suffix relations use c=d=e1447, so the boundary basis is identity; four unit ADDs and their four inverses implement the cut basis. Its complete forward and adjoint replays include every owned row. All 3,049 current paid/helper chart pairs and 104 main boundary pairs are then rebuilt with the pinned compiler and distinct signed-Pauli/absolute-phase interpreter. For these Clifford maps, the signed Pauli action fixes the operator up to global phase, which the exact Gaussian check fixes. Thus every column of each chart map is determined. The fresh replay includes a deliberately wrong absolute phase.
+
+The unchanged 17-stage caller has five noncommuting quarter turns and twelve padding turns in inverse pairs. Its grouped idle bases lie over Z[1/30]. Its exact rational and integer Laurent engines agree on all 72 output fields for every formal central/body variable. In the physical substitution, seventeen disjoint eight-axis stage blocks and nine central axes use ambient 145. For each invocation, exchange the eight native complement axes with the fresh stage block while fixing the routed central axis and spectator axes. The phase-polynomial checks verify both directions. Literal A and B routes then apply commuting body operators on disjoint stage blocks.
+
+A signed rank-nine idle uses one positive rank-nine recursive request plus the charged ordinary conjugation/phase implementing the inverse on the protected central axis. Current finite signed-child checks cover widths 1,2,3; the symbolic phase geometry supplies the disjoint-axis substitution. The ordered occurrence digest is recomputed from the literal caller and current native geometry. It binds 13,600 native contact boundaries, 110,723 paid positions and 22,257 productive fields. Main-owner aliasing is rejected. Allocate 18,513 distinct (stage,helper) public inputs and 867 reserved native owned banks, plus the retained serial query/LAMBDA bank. The surplus is 1,424. The ownership discipline and owned-erasure hypothesis remain explicit.
+
+## Common-grid and fixed-root induction
+
+Scale each of the 3,744 raw caller main input fields by 675 and divide each completed caller main output by 675. The independent integer Laurent replay checks the necessary valuations 3³ and 5², rejects a lower exponent of either prime, and uses safe binary valuation 381. Every normalized main coefficient and pre-ADD product is integral on that odd grid. Substituting actual binary Clifford address operators introduces only powers of two, so the odd-divisibility invariant transfers to whole arrays and all spectators.
+
+Within each native invocation, scale all 1,489 public fields by 1125 and unscale the completed returns. The separate exact prefix/pre-product derivation and integer replay establish the native grid at fractional height 24. Fresh helpers receive their own independent inputs. The exact native endpoint ensures these helper inputs do not perturb the normalized main caller invariant. Both odd scales are included simultaneously in the unfinished-context mass allowance.
+
+The fresh forward/adjoint envelope has height 405 and context mass exponent 1171, giving c=2342. This is recomputed from the current word and caller; #7119's previous allowance was 2342. It remains below 4096. The same conservative ambient 153 compiler threshold funds it: Kstar has 14,100 bits and c·Kstar has 14,111 bits, below H=172444000000000000000000. The new compiler gap is 1/1000000000000000000 (previous 1/10^17); the regenerated outer and fixed-tape gates use this gap and H. The independent inequalities check every rounded caller bound as well. Apply the retained full-root common-format induction with fixed padding, signed width p+h+2D+3, fractional width p+D, and 26 temporary bits. Completed child returns preserve this format. Exact finite-state odd division retains the reviewed carry/remainder invariant.
+
+## Physical upper-cost substitution
+
+The source-unit ordinary bound 777,741,264 includes the caller and native conversion services. It is distinct from the physical-machine bound. The fresh raw-occurrence counts give 1,145,477 native scalar macro inputs, 117,856 caller macro inputs and 58,114 conversions. The retained conservative factor 32 gives 42,286,304 scalar services; with the reviewed 2²⁰ service constant this is 44,340,403,503,104 times the root scalar-width envelope. Numerators of all actual native/caller instructions and both conversion scales fit 24 bits.
+
+The current occurrence count gives 298,808 monomial map slots. At actual ambient 145, the retained elementary bound 4(145+1)² is 85,264 records per map, hence at most 25,477,565,312 elementary records per raw occurrence. Use actual owner widths and these finite coefficients in the same fixed-tape stock and movement envelopes from the selected review. The positive compiler/outer slack permits enlarging the eventual cutoffs. This is a conditional asymptotic substitution, not an enumerated machine trace.
+
+The recomputed complete recurrence has the bracket and claim in README.md; both exact price engines, the compiler and 54 strict plus 4 functional outer inequalities pass. These checks establish the stated conditional component application under the five assumptions. Independent mathematical review, formal-kernel validation and maintainer admission are separate obligations.
+
+Credit Rohan Arun for the #7113 proof and implementation, Douglas Colkitt and the #7000 application reviewers, the retained compiler/precision/source authors, and the complete lineage in README.md. Adapted for this exact chart-120 composition, with ToikY credited for the reported pattern by dillona with substantial OpenAI Codex assistance. Apache-2.0.
diff --git a/research/p104-chart120-peer-composition/DISCOVERY.json b/research/p104-chart120-peer-composition/DISCOVERY.json
@@ -0,0 +1,104 @@
+{
+  "scope": "Current7119 composition nomination only; peer original pattern credited in PEER-CREDIT.json.",
+  "source_head": "bd244b0e5034cb1b9f72641494c3421f757ec2e4",
+  "frame": 120,
+  "groups": [
+    593,
+    594,
+    597
+  ],
+  "paid_window_filter": "Every nonneutral path must replace rank7 by ranks4+3; neutral paths remain available.",
+  "method": "Attributed complete helper kernels and pairing decision plus basis nominations; no exhaustive rational cost optimization.",
+  "stats": {
+    "593": {
+      "systems": 0,
+      "saved": 0,
+      "pairs": 0,
+      "hits": 0,
+      "classes": {},
+      "rescued": 0,
+      "budget_reject": {},
+      "best_budget": null
+    },
+    "594": {
+      "systems": 0,
+      "saved": 0,
+      "pairs": 0,
+      "hits": 0,
+      "classes": {},
+      "rescued": 0,
+      "budget_reject": {},
+      "best_budget": null
+    },
+    "597": {
+      "systems": 57,
+      "saved": 46,
+      "pairs": 12,
+      "hits": 9,
+      "classes": {
+        "F1zero": 34,
+        "witness": 12
+      },
+      "rescued": 0,
+      "budget_reject": {},
+      "best_budget": {
+        "cut": 39067,
+        "frame": 120,
+        "cost": 0.017296064511916676,
+        "gain": 0.020052845524537233,
+        "paths": [
+          {
+            "role": 962,
+            "lo": 39055,
+            "hi": 39094,
+            "frame": 120,
+            "old": 597,
+            "new": 207,
+            "moves": [
+              39055
+            ],
+            "old_paid": [
+              7
+            ],
+            "new_paid": [
+              4,
+              3
+            ],
+            "cost": 0.017296064511916676,
+            "private": false,
+            "neutral": false
+          },
+          {
+            "role": 650,
+            "lo": 39066,
+            "hi": 39067,
+            "frame": 120,
+            "old": 120,
+            "new": 852,
+            "moves": [
+              39066
+            ],
+            "old_paid": [
+              1
+            ],
+            "new_paid": [
+              0,
+              1
+            ],
+            "cost": 0.0,
+            "private": false,
+            "neutral": true
+          }
+        ],
+        "paid_roles": 1
+      }
+    }
+  },
+  "legal_nominations": 9,
+  "full_native_checked_indices": [
+    7
+  ],
+  "selected_index": 7,
+  "selected_reason": "Identity boundary basis and shortest nominated middle basis (four ADDs).",
+  "remaining": "Other8 nominations were not built. Groups593/594 had no eligible helper pivot under this contact-window contract; no arbitrary-carrier impossibility claim. Search code/results remain local; selected exact witness and complete replay are public."
+}
diff --git a/research/p104-chart120-peer-composition/ENVIRONMENT.json b/research/p104-chart120-peer-composition/ENVIRONMENT.json
@@ -0,0 +1,14 @@
+{
+  "initial_python": "3.14.7",
+  "initial_platform": "macOS-27.0.1-arm64-arm-64bit-Mach-O",
+  "registered_replay": {
+    "python": "3.12.16",
+    "platform": "macOS-27.0.1-arm64-arm-64bit",
+    "result": "PASS both complete commands; every native and composition receipt field matched"
+  },
+  "dependencies": "Python standard library",
+  "interpreter_origin": "Official Astral python-build-standalone release20261026; isolated /tmp installation",
+  "interpreter_archive_sha256": "fbf4afef53c2a6b72bb741bc06d5671a9dfaf87bd84e5aa73ac9b3d0d589f14e",
+  "hosted_ci": "Not yet published; no hosted scientific pass claimed.",
+  "completed_utc": "2026-11-10T19:41:31.953630+00:00"
+}
diff --git a/research/p104-chart120-peer-composition/INPUTS.json b/research/p104-chart120-peer-composition/INPUTS.json
@@ -0,0 +1,159 @@
+{
+  "head": "bd244b0e5034cb1b9f72641494c3421f757ec2e4",
+  "pr": 7119,
+  "prefix": "research/p104-funded-reciprocal-split",
+  "archive": "inputs/pr7119.tar",
+  "archive_sha256": "4b00a38b97ca6eb717ba238a2b69b07256b74c51064c6c74a8ed429f4155cc63",
+  "files": [
+    {
+      "path": "research/p104-funded-reciprocal-split/APPLICATION.md",
+      "size": 6913,
+      "sha256": "d7d5953acd92719a776a621fbc4da4ba9d4de7f5bc760708b2087b01590c7920",
+      "git_blob": "cc69cdeb0e468f088520657ee6e73674d3571465"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/DISCOVERY.json",
+      "size": 3386,
+      "sha256": "c2c483b262d72f0bef23a576e82834df0631fe298ff313d0e737cbd878a56db0",
+      "git_blob": "1632c6cf852f12fc595c907005a1957465e5fbec"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/ENVIRONMENT.json",
+      "size": 676,
+      "sha256": "25ceb243dc15765ade646aed2bf7d549eac9bdc2ef1f917247325c6cbe62f740",
+      "git_blob": "699fd4f4a61619c20ab065feffe7c68e449bdfe2"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/INPUTS.json",
+      "size": 6357,
+      "sha256": "8a1de1fc4c906d6f35e73a7ad865bd9a4a0d05fa58918252fbb5bb53353d78a6",
+      "git_blob": "4f93e75b6b02ea32e2d6a29528a644f262137c46"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/NATIVE-RESULT.json",
+      "size": 74133,
+      "sha256": "e76c5382885d278ef54ea49e1f2a7a3d60a2fff8ba3d63f693a118c73d392164",
+      "git_blob": "94413ac6aa3522e44e9ae0ade0967dcaa5904c08"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/PROOF.md",
+      "size": 4796,
+      "sha256": "f6ca6ac6a262936dcfaf49376e87a4bce04dd06893b7e187f8899aa49c12c498",
+      "git_blob": "9ef4c3198c6c3b0397a2dd5422b6d5306648e554"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/README.md",
+      "size": 6065,
+      "sha256": "87f36a12dde9d7ed300138b8db4a366249be9f74c8774706d4dac46267764cd0",
+      "git_blob": "7c07b8291464bb72238d6a000e75a04463ac7936"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/REPLAY.txt",
+      "size": 3793,
+      "sha256": "5fca00ac4f0bfbcc011515a8839b3f321e7620cd578dda1d01146d597b8d2ac6",
+      "git_blob": "dc4a99d8eb9d7530cbea973717b9d541524f4add"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/RESULT.json",
+      "size": 75502,
+      "sha256": "e73282a76ca4ac23a4a91f6fcbe28413adb6981a1dce932ee0ba8121e910dbe1",
+      "git_blob": "2643914c982f1f68045beda0a68cdd414d69809c"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/SOURCES.json",
+      "size": 856,
+      "sha256": "8b58a30ae55396b8d108de4ee2c7c6ac75dc1096948c9ac3796c20b21b1c9372",
+      "git_blob": "c4150ae39789502a4adf89e8f5235995d458a72e"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/TASK.json",
+      "size": 10024,
+      "sha256": "ccc89bffddb1c508f2c98b503efd4bb5a8226b880de4fdcdfa92fd641f974cc9",
+      "git_blob": "ef5ba799308fdea07949ab379816d83b1c43cfd8"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/VALIDATION.md",
+      "size": 1904,
+      "sha256": "f0e7ac225a437011d9347bd5165390332dd4cabd64f35633a660151f04bed0ce",
+      "git_blob": "4b9a3b9d6a867253dcf1aa7c6b0019bf7a3b10ee"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/VERIFY.json",
+      "size": 1056,
+      "sha256": "3c11b84b455c830f71723d91d08879c7af771725d4325b8c03545c8faf35fc0a",
+      "git_blob": "f4934f15ea9c9338bedec50ae7d941e3157cf52a"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/WITNESS.json",
+      "size": 1418,
+      "sha256": "90bb2a3c6729dea4a5d8bed0be276252e5dee1cd3ca766292348a667ea3a47c8",
+      "git_blob": "cd703c2d9f0cf9e3df1749496def934bcd2a2494"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/WORD.json.gz",
+      "size": 364535,
+      "sha256": "c235220e7ab86ccc7bbd01a90e6967bfb6c73e38a636f4ff0d1c2d4c4d8ea5a1",
+      "git_blob": "588ab2c656e8d69de734873a80664fc7258d91a0"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/adapt.py",
+      "size": 2163,
+      "sha256": "b75b5c599ac060be79661f9825e633620213e91bf3ec1d1dd014558cd69c8af3",
+      "git_blob": "46afc04a144200c9ce6e4a8f401fc03ddb344228"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/construct.py",
+      "size": 3061,
+      "sha256": "42ffab76b8664088f444ba7d815537a541af72c5fa5eef897989b90399b9e564",
+      "git_blob": "748bfe2be2e5fffc1dfa9bdfa261bfcc8da16088"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/derive_grid.py",
+      "size": 1510,
+      "sha256": "ceb7a44ef19d72a16db7b43c65c85910d965499d1715436011de32af5d39dbb0",
+      "git_blob": "f8cb37f00bcd197d77bbb205dae3c1a40c0aa680"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/inputs/pr7118.tar",
+      "size": 6871040,
+      "sha256": "d07c3ebc0fd4f6b067bb0053c39520e9ab61fde144a133b34d4991b7e95eabd1",
+      "git_blob": "d7f203754e69ebd16c01186c40bd394bdf06e6b5"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/price.py",
+      "size": 3642,
+      "sha256": "03705b1f2b057ee5cd838492fc41360a8b6f4988b0fea40b880ffd361be2c796",
+      "git_blob": "72eee9b06edc6cb6c193833b6c9bf20a6c72737b"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/source.py",
+      "size": 3320,
+      "sha256": "6a9e921302c14f190eb42c0f2b840bbc733c6387568231918e4a74618fde46d1",
+      "git_blob": "712b79652c9a7402f646cda859411a76316b28ed"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/split.py",
+      "size": 6432,
+      "sha256": "3d529d78994504ad591a3afade4dab094751c1c221edbab10165290314cf0894",
+      "git_blob": "5407e8959b8723464aee68eea6ffcf2ee75cc3b7"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/support.py",
+      "size": 606,
+      "sha256": "f3e6eeb879480715c5c32c1a390a63c57d26ea1c9a9cbdb89b83ca34260e47f6",
+      "git_blob": "192cd38d27e4b732981b98730459a041dcfb52e7"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/verify.py",
+      "size": 3450,
+      "sha256": "caf7ed09aa871bfaa6f1edca04527ea36ba5291e1490c97c5bfb23ce575d704b",
+      "git_blob": "1ab5c7afa95f0a64a45a32ac5e4d468b4b88f35e"
+    },
+    {
+      "path": "research/p104-funded-reciprocal-split/verify_native.py",
+      "size": 13022,
+      "sha256": "9b1fcdc14b29af02adfbe76095a4e10a20350544bd802f6bff3b32e82cd4f868",
+      "git_blob": "29f76eb3ea3b09f077df4f004a1b97fa094bb2c5"
+    }
+  ]
+}