dillona · Nov 11, 2026
diff --git a/research/p104-temporal-chart120-split/APPLICATION.md b/research/p104-temporal-chart120-split/APPLICATION.md
@@ -0,0 +1,70 @@
+# Complete signed 17-stage application
+
+All three direct CPython 3.14.7 commands passed. Final registered isolated
+Python 3.12.16 comparison passed all three commands and every frozen receipt field. These are conditional finite checks;
+the selected frontier and five framework assumptions are unchanged.
+
+The full application has **110434 paid positions**, **22342
+productive fields**, surplus **1424**, and zero empty-root credit.
+Both invoices are reconstructed from the exact native words and unchanged
+signed caller. The claim **κ=.003643180671645** improves #7140 by
+**.000000221652614**. Both directed price engines reject the predecessor invoice
+at the new claim. The current invoice crossing is strictly bracketed by
+
+```
+(0.0036431806716457592014331762194701,
+ 0.0036431806716457592014331762194702).
+```
+
+| Fresh check | Result |
+|---|---:|
+|Ordinary source-unit work|779260044 < 1000000000|
+|Precision context c|2362|
+|Context height / mass exponent|406 / 1181|
+|Native scale / fractional bits|1125 / 25|
+|Owned banks per raw occurrence|935|
+|Scalar service bound|42835744|
+|Scalar step coefficient|44916533100544|
+|Monomial map slots|298400|
+|Elementary record bound|25442777600|
+|Actual ambient / compiler cap|145 / 153|
+|Maximum scalar numerator bits|24|
+|Kstar / context-bound bits|14093 / 14104|
+
+The 17 calls reserve 55 owned labels each, **935 banks**, including both new
+buffers. Ordinary accounting includes all 58 native owned lifetimes; peak
+simultaneous ownership is 44. Every added INIT, CLEAR, ADD, SCALE, MOVE,
+arbitrary public input and conversion is charged. These are source-unit bounds
+and compiler substitutions, not measured machine-instruction counts or a
+compiled top-level benchmark.
+
+The unchanged caller has 4,783 symbolic events; its rational and integer replays
+pass, and its SHA256 remains `255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc`.
+Every one of the **3,038 paid/helper chart maps and 104 main boundaries** is
+checked with phase and owner bindings. The native check separately covers
+six sets of 512 Gaussian columns: (3,120), (3,127), (120,127), (120,207),
+(597,120), (597,207). No previously absent native pair is introduced, but the
+affected pairs are explicitly rechecked. Finite physical routes also pass.
+
+The freshly derived grid has maximal scaled mass
+`814448574117075/8192` and fractional height 25; F24 is rejected.
+Both precision paths preserve the exact lifecycle assertion at (58,44,55).
+Rounded native and caller envelopes are recomputed with every new operation;
+predecessor receipts are not evidence for the changed word.
+
+The full gate has H=16502900000000000000000, written log power 2236,
+and compiler gap 1/100000000000000000. All **54 strict and four functional**
+outer conditions pass. The lower-crossing probe is rejected; the claim and its
+accepted probe lie strictly below the crossing. No empty credit is used.
+The separate 18-stage ingredient has ordinary work 853086328
+and claim 3642574878947/1000000000000000; it is distinct from the full 17-stage claim.
+
+RESULT.json, NATIVE-RESULT.json and CERTIFICATE.json retain the full receipts.
+The registered hook authenticates the complete predecessor closure and six
+byte-identical implementations, then compares every frozen receipt field.
+It does not establish human/formal acceptance, maintainer admission or a
+compiled top-level multiplication theorem. See PROOF.md, VALIDATION.md and NOTICE.
+
+Prepared for dillona with substantial OpenAI Codex assistance; no subagents.
+Credit Ali Romman, CubeJerry, Matarener, Rohan Arun, ToikY and every retained
+source author. Apache-2.0.
diff --git a/research/p104-temporal-chart120-split/CERTIFICATE.json b/research/p104-temporal-chart120-split/CERTIFICATE.json
@@ -0,0 +1,33 @@
+{
+  "boundary_pairing": "1",
+  "candidate_sha256": "c38b79279f665d46d795501de6645a8a16d9324c22199fa615313b6abfdc3e2f",
+  "controls": {
+    "gather_after_retirement": true,
+    "incomplete_paid_path": true,
+    "injection_before_retirement": true,
+    "omitted_gathers_observation": true,
+    "omitted_injections_observation": true,
+    "omitted_paid_midpoint_cost": true,
+    "retirement_before_last_gather": true,
+    "wrong_gathers_coefficient": true,
+    "wrong_injections_coefficient": true,
+    "wrong_productive_ranks": true
+  },
+  "earliest_injection": 39280,
+  "gather_count": 2,
+  "injection_count": 6,
+  "latest_gather": 39225,
+  "neutral_paths": 7,
+  "paid_paths": 1,
+  "retirement_cut": 39225,
+  "source_sha256": "81f9b2e0a170aa3ab0cd4bb1056c834ebe0b98eaf37abe5986c6e53abd1257ea",
+  "status": "PASS_EXACT_TIMED_OBSERVATIONS",
+  "vectors": {
+    "c": {
+      "1449": "1"
+    },
+    "d": {
+      "1449": "1"
+    }
+  }
+}
diff --git a/research/p104-temporal-chart120-split/DISCOVERY.json b/research/p104-temporal-chart120-split/DISCOVERY.json
@@ -0,0 +1,44 @@
+{
+  "source_commit": "a95783a8c861248a759136d4285ea725499cf231",
+  "native": "81f9b2e0a170aa3ab0cd4bb1056c834ebe0b98eaf37abe5986c6e53abd1257ea",
+  "optional_search": {
+    "status": "EXACT_TEMPORAL_NOMINATION",
+    "counts": {
+      "observations_0": 14593,
+      "neutral_observations_0": 10438,
+      "observations_1": 22345,
+      "neutral_observations_1": 10438,
+      "frames": 1093,
+      "helpers": 620,
+      "prefix_pure": 126,
+      "suffix_pure": 99,
+      "basis_pairs": 100,
+      "causal_pairs": 100,
+      "causal_nonzero_pairs": 1,
+      "resident_pairs": 1,
+      "paid_paths_total": 7667,
+      "paid_paths_processed": 715
+    },
+    "frame_counts": [],
+    "seconds": 27.674129247665405,
+    "scope": "One complete contact-free path may pass through an existing intermediate frame, paying the exact two-leg histogram. All other observations come from neutral original-path retiming. Exact full rational baseline plus one outside-projected prefix/suffix vector; finite alphabet/basis nomination. Source group(3,127). All paid support, chronology and owned stock need constructive replay."
+  },
+  "controls": {
+    "outside_cancellation": true,
+    "coefficient_reconstruction": true,
+    "contamination_rejected": true,
+    "earliest_collection_latest_delivery": true,
+    "paid_outside_projection": true
+  },
+  "retained_neutral_path_ids": [
+    4793,
+    4794,
+    4799,
+    9513,
+    10178,
+    10179,
+    10325
+  ],
+  "retained_paid_path_id": 714,
+  "scope": "First positive on exact7140 after715 of7667 individually affordable one-path candidates. Public exact certificate and full native/application do not trust discovery."
+}
diff --git a/research/p104-temporal-chart120-split/ENVIRONMENT.json b/research/p104-temporal-chart120-split/ENVIRONMENT.json
@@ -0,0 +1,12 @@
+{
+  "python": "3.14.7 (main, Aug  5 2026, 10:29:49) [Clang 21.0.0 (clang-2100.1.1.101)]",
+  "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 all three commands; every frozen receipt field matched"
+  },
+  "source_pins": "INPUTS.json and nested manifests",
+  "parallelism": "No subagents; serial scientific runs; isolated worktree",
+  "completed_utc": "2026-11-11T00:32:12.219433+00:00"
+}
diff --git a/research/p104-temporal-chart120-split/INPUTS.json b/research/p104-temporal-chart120-split/INPUTS.json
@@ -0,0 +1,188 @@
+{
+  "head": "a95783a8c861248a759136d4285ea725499cf231",
+  "prefix": "research/p104-causal-buffer-split",
+  "archive": "inputs/previous-causal-buffer.tar",
+  "archive_sha256": "66f517dd17dbdf1f3963dd183981b3e83129e6d6e80904aa73d8a8b83f22ffe0",
+  "files": [
+    {
+      "path": "research/p104-causal-buffer-split/APPLICATION.md",
+      "size": 3522,
+      "sha256": "7e126cb20880b49f6408015b748556975efdbd412a7b2241020ec77bd7c1c8ee",
+      "git_blob": "09060b813a60fa3872cb3bbb2f71db1524028475"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/CERTIFICATE.json",
+      "size": 993,
+      "sha256": "059b6e2aa6e82a0a8356e67b59bcfec84b8a5fdbd97a84b5a2f966c6b0f7f258",
+      "git_blob": "a710f2790a6ee0c08e5120818becb7662bdf3e00"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/DISCOVERY.json",
+      "size": 1712,
+      "sha256": "862c2178233005aef75765ade36b6af09ddcb134855fd587c7e9c18a9667bad0",
+      "git_blob": "ef8a50579b7e986a633d4d5ceb99d22627b8aa41"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/ENVIRONMENT.json",
+      "size": 541,
+      "sha256": "cbbd3573bd8579344838f4e3cd3ef52611de741490176961d322fbc74e6f61b7",
+      "git_blob": "c27ce4dbd82622a158cdb5808511c6fde5322509"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/INPUTS.json",
+      "size": 9540,
+      "sha256": "eb67979e3bf5bb98a3c8ff46c00fd5f94f8826f4867f155e653841e57f0f1361",
+      "git_blob": "8142bf678337763a445beaffbecff2683356d5c2"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/NATIVE-RESULT.json",
+      "size": 74498,
+      "sha256": "afec1967fbfd9f964e54dae666d172b052e9dc965a1f5cce93732e09d8b3b58a",
+      "git_blob": "f970721a2f50b1f49b821b491ff3b35cfb54a6b5"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/NOTICE",
+      "size": 826,
+      "sha256": "ca74f81c158d44fd8816984f9c59b022067b4ec3c99eb437c8e25ee970b4eb53",
+      "git_blob": "780b4f6e390051c8a095c5d8419e2bebdba72cd7"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/PATHS.json",
+      "size": 1086,
+      "sha256": "de30460f010e7799c71fe95dc81f0073982c5f3ec89323d4e580d9050d51cd4f",
+      "git_blob": "c4e97f5b6f64b1397d8234c7823ecd7df2c7b686"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/PROOF.md",
+      "size": 6917,
+      "sha256": "5216f9d71fa2911c82607d10ff359924edc43b438ed76e3cb751317338476696",
+      "git_blob": "74745ea81370048c1440e0d5c2e3b504052a76ed"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/README.md",
+      "size": 5242,
+      "sha256": "527252fc7d813f5ad00173957b76cdd0cca392b032c0fe228e322e3aea18ce42",
+      "git_blob": "39d808ae7d583fcdbf950850e41fa2fc565a619e"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/REPLAY.txt",
+      "size": 4068,
+      "sha256": "45a18764bd25b7059ca36baecf571d9ae55c6300bb6538f82ff343f753b86f9f",
+      "git_blob": "89287f3c495162cbccf623e1afa0c3ee12ab9caa"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/RESULT.json",
+      "size": 77060,
+      "sha256": "e061d124849b9f29595bf1ab5fda12c3bd923d5fee1b119813ae0c771048e65e",
+      "git_blob": "b7f91ee924d4cc74cea61fbc5f5827f3eee888d2"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/SOURCES.json",
+      "size": 856,
+      "sha256": "8b58a30ae55396b8d108de4ee2c7c6ac75dc1096948c9ac3796c20b21b1c9372",
+      "git_blob": "c4150ae39789502a4adf89e8f5235995d458a72e"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/TASK.json",
+      "size": 12796,
+      "sha256": "eb3c2861c57be4a380be1294ad52800dd0f0cbb94d53d5dd03ffd674bce4df7d",
+      "git_blob": "69188d722f1c794137985eb85c302abbf206ae83"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/VALIDATION.md",
+      "size": 3763,
+      "sha256": "1c390af21b3b4176132ce90bf3f4b0c2fa5d88d30182e537e637addc7860927e",
+      "git_blob": "a2e1acb1f0fa1b1236e7e09637aabdc6a37995e5"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/VERIFY.json",
+      "size": 1476,
+      "sha256": "19f86066c089225b77bb649e28c98026e10926261afbf9eeb23fcbeb7035b0ff",
+      "git_blob": "202c7785da2e68839369f417f50e184e9ad1f192"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/WITNESS.json",
+      "size": 1609,
+      "sha256": "edced97c758ad82b32ee1e1e0013622ea8ac3d88070a77b7a37d519060793bfc",
+      "git_blob": "ea95b5954bb254ba3cd6081091efa47a288ce768"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/WORD.json.gz",
+      "size": 370998,
+      "sha256": "222851b3fa368e669fca09bfc7515bb19df1ad8690d49ff52cfa04e9776a6e1b",
+      "git_blob": "821002fe4b3444f28cdbdc605cd09c7812994f32"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/adapt.py",
+      "size": 3381,
+      "sha256": "bb0f103584e3fe5fa9866c1b2a3342848651f9aba12d8807f5474635c418ae84",
+      "git_blob": "b336903ac0a2df13cc91b8109f1af819da48daba"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/certificate.py",
+      "size": 5067,
+      "sha256": "15581732d5e07550a2fea1dcb17a1eb106a053ef69223c4c861d4e322149ce86",
+      "git_blob": "99f017221ffb972e55d8dd72ca61510d2569209f"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/construct.py",
+      "size": 7156,
+      "sha256": "2e07135e9c733bd0a6d61eb1d9c2bfbf5b482f599dcb6f82238e15ee9bd93018",
+      "git_blob": "0e1fc67ac51f6a87843dc3772a39e746836ee183"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/derive_grid.py",
+      "size": 1510,
+      "sha256": "ceb7a44ef19d72a16db7b43c65c85910d965499d1715436011de32af5d39dbb0",
+      "git_blob": "f8cb37f00bcd197d77bbb205dae3c1a40c0aa680"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/inputs/previous-composition.tar",
+      "size": 11683840,
+      "sha256": "efa1c93816997998dd61d214aa7c4e312a43e131b30a374ffccce2d5ccc91f71",
+      "git_blob": "754ba970c2c5cb694c670842f4c5f30f1155fd11"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/price.py",
+      "size": 3653,
+      "sha256": "e0c3d20e9c90f2eb7366e740b93c71360fe32121f68f6631da91541b69c321b5",
+      "git_blob": "b1d1697f73ec257f84b602b4552686bdcf7fc7c2"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/source.py",
+      "size": 3009,
+      "sha256": "dac1e3953bf62732fccdb050838a369f35490b27a0377362cdc42b800ad2d4fc",
+      "git_blob": "0ec9bdf861d5143955075f776ec234a00335e795"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/split.py",
+      "size": 6551,
+      "sha256": "999b9eeabe5cd1a7e3ec014d1a449f850b4ac9bfb19749cddef41ae12cd0b405",
+      "git_blob": "f1c76096534a7aea45a2f4b994d9de483695140d"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/support.py",
+      "size": 606,
+      "sha256": "f3e6eeb879480715c5c32c1a390a63c57d26ea1c9a9cbdb89b83ca34260e47f6",
+      "git_blob": "192cd38d27e4b732981b98730459a041dcfb52e7"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/verify.py",
+      "size": 3446,
+      "sha256": "2afce5cf164366755c39c2a3cfd29ef067695c6123912306391d55ca363d9f8a",
+      "git_blob": "638bdf0bf7a5bf00b5abf8cf07f5fecc234392de"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/verify_certificate.py",
+      "size": 1618,
+      "sha256": "0c79decfe1c0286e2aea72706579ccdd480dee8c31a50bda80bc52e44d1ea478",
+      "git_blob": "482d940bd3f6c4192d551c9901db9f7155626994"
+    },
+    {
+      "path": "research/p104-causal-buffer-split/verify_native.py",
+      "size": 12357,
+      "sha256": "87e17930da8d6e01f917eae8a180ee1730c896a19e9d99e45a374799bb12a885",
+      "git_blob": "e7949017d7f4bd89ce5281bd78226fde7ee864e9"
+    }
+  ]
+}