Conditional κ = 0.003642959019031 (+5.50522162e-7 over #7131): causal-history buffer split

research/p104-causal-buffer-split/APPLICATION.md

@@ -0,0 +1,65 @@
+# Complete signed 17-stage application
+
+All direct CPython 3.14.7 certificate, native and application commands passed.
+Final registered isolated Python 3.12.16 comparison passed all three commands; every frozen receipt field matched. This is finite
+conditional evidence; the selected frontier and five assumptions are unchanged.
+
+The complete application has **110417 paid positions**,
+**22325 productive fields**, rank surplus **1424**
+and zero empty-root credit. Both source and candidate invoices are reconstructed
+from their actual native words and the exact unchanged signed caller.
+The claim is κ=.003642959019031, an increase of .000000550522162 over #7131.
+Both directed price engines reject the predecessor invoice at this claim.
+
+| Fresh check | Result |
+|---|---:|
+|Ordinary source-unit work|779064884 < 1000000000|
+|Precision context c|2362|
+|Context height / mass exponent|406 / 1181|
+|Native scale / fractional bits|1125 / 25|
+|Owned banks per raw occurrence|901|
+|Scalar service bound|42819968|
+|Scalar step coefficient|44899990765568|
+|Monomial map slots|298332|
+|Elementary record bound|25436979648|
+|Actual ambient / compiler cap|145 / 153|
+|Maximum scalar numerator bits|24|
+|Kstar / context-bound bits|14093 / 14104|
+
+The 17 native calls reserve all 53 owned labels each, **901 banks**, including
+the two new buffers. Ordinary accounting uses all 56 native owned lifetimes;
+the exact peak is 44. Every new INIT, CLEAR, ADD, SCALE, MOVE, independent
+public input and conversion is included in the recorded service and route bills.
+These are source-unit bounds and compiler substitutions, not measured machine
+instruction counts or a top-level compiled benchmark.
+
+The unchanged caller has 4,783 symbolic events and its rational and integer
+replays both pass. Its SHA256 remains
+`255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc`. Every one of the **3,039 paid/helper chart maps and 104
+main boundaries** is checked, with phase and owner bindings. The native check
+separately covers five sets of 512 exact Gaussian columns and finite physical
+routes. Newly used pair (734,237) is explicitly included.
+
+The fresh grid has maximal scaled mass
+`814448574117075/8192` and fractional height 25; F24 is
+rejected. Both precision paths use the new exact lifecycle census (56,44,53).
+Every rounded native and caller envelope is recomputed with the added buffer
+operations. Old receipts are not reused as evidence for the changed word.
+
+The complete gate has H=16502900000000000000000, written log power 2236,
+and compiler gap 1/100000000000000000. All **54 strict and four functional**
+outer conditions pass. The probe at the lower crossing is rejected; the written
+claim and its accepted probe stay strictly below the crossing. No empty credit
+is used. The separately checked 18-stage ingredient has ordinary work
+852879688 and claim 182117753321/50000000000000; that is
+not the final 17-stage application claim.
+
+`RESULT.json` stores every full application field. `NATIVE-RESULT.json` and
+`CERTIFICATE.json` store the native and causal-observation evidence. The
+registered hook compares all fields and authenticates the complete predecessor
+closure. It does not establish independent human/formal acceptance, maintainer
+admission, or a compiled top-level multiplication theorem.
+
+Prepared for dillona with substantial OpenAI Codex assistance. Apache-2.0.
+Credit Rohan Arun, Ali Romman, CubeJerry, Matarener, ToikY and every retained
+source author; see NOTICE and the full frozen input closure.

research/p104-causal-buffer-split/CERTIFICATE.json

@@ -0,0 +1,36 @@
+{
+  "boundary_pairing": "1",
+  "candidate_sha256": "81f9b2e0a170aa3ab0cd4bb1056c834ebe0b98eaf37abe5986c6e53abd1257ea",
+  "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": 45280,
+  "gather_count": 7,
+  "injection_count": 1,
+  "latest_gather": 40066,
+  "neutral_paths": 7,
+  "paid_paths": 1,
+  "retirement_cut": 40066,
+  "source_sha256": "9557c4682056ab7cc7cda89aa73865bef0e3948cc10b3c3061b0a944af05b96a",
+  "status": "PASS_EXACT_TIMED_OBSERVATIONS",
+  "vectors": {
+    "c": {
+      "320": "-1/2",
+      "331": "-1/2",
+      "335": "-1/2",
+      "411": "-1"
+    },
+    "d": {
+      "331": "-2"
+    }
+  }
+}

research/p104-causal-buffer-split/DISCOVERY.json

@@ -0,0 +1,44 @@
+{
+  "source_commit": "666fd749ec465de7238633a0c2fd5ee3081477e0",
+  "native": "9557c4682056ab7cc7cda89aa73865bef0e3948cc10b3c3061b0a944af05b96a",
+  "optional_search": {
+    "status": "EXACT_TEMPORAL_NOMINATION",
+    "counts": {
+      "observations_0": 14574,
+      "neutral_observations_0": 10436,
+      "observations_1": 22311,
+      "neutral_observations_1": 10436,
+      "frames": 1093,
+      "helpers": 621,
+      "prefix_pure": 127,
+      "suffix_pure": 103,
+      "basis_pairs": 47,
+      "causal_pairs": 47,
+      "causal_nonzero_pairs": 1,
+      "resident_pairs": 1,
+      "paid_paths_total": 7687,
+      "paid_paths_processed": 150
+    },
+    "frame_counts": [],
+    "seconds": 27.865705966949463,
+    "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": [
+    182,
+    185,
+    2563,
+    2573,
+    2583,
+    2642,
+    2671
+  ],
+  "retained_paid_path_id": 149,
+  "scope": "Local exact one-paid-path nomination stopped at first positive. The public checker reconstructs the temporal certificate and entire word without trusting discovery. Full search code and unvisited paths are not required proof inputs."
+}

research/p104-causal-buffer-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 certificate/native/application receipt field matched"
+  },
+  "source_pins": "INPUTS.json and nested source manifests",
+  "parallelism": "No subagents; serial scientific replays; isolated worktree",
+  "completed_utc": "2026-11-11T00:00:38.265037+00:00"
+}

research/p104-causal-buffer-split/INPUTS.json

@@ -0,0 +1,230 @@
+{
+  "head": "666fd749ec465de7238633a0c2fd5ee3081477e0",
+  "prefix": "research/p104-output-rechart-composition",
+  "archive": "inputs/previous-composition.tar",
+  "archive_sha256": "efa1c93816997998dd61d214aa7c4e312a43e131b30a374ffccce2d5ccc91f71",
+  "files": [
+    {
+      "path": "research/p104-output-rechart-composition/APPLICATION.md",
+      "size": 7341,
+      "sha256": "b1b3dc73d7804734f90d6ccd921f51b6b7dd6e1b5049bd9f40a3949045d303a3",
+      "git_blob": "6d999f62672a09fa6c10734f9afdb1f4baa3e5be"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/CHANGES.json",
+      "size": 7072,
+      "sha256": "75a32db6a3c73fbcf0e7e3ec5f2fa87ee21adbc0275f8ebdebec88d92cdd9d59",
+      "git_blob": "ec40963230ad56a2de886bb8001e4f3ef788ccc2"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/DISCOVERY.json",
+      "size": 983,
+      "sha256": "94552397ba27622be90755f7bab2e7cde14b8a9316665b2dc89baa609fe30ec8",
+      "git_blob": "25cd364abad03a6de4f68111b0c92331e8df4f8e"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/ENVIRONMENT.json",
+      "size": 673,
+      "sha256": "64e965248522f2d04c6c4c8d17c5c118833a640c61d86195b1ba362a3ef66eab",
+      "git_blob": "0fedc8fa56ec411dfc954c1cc1ae0ee8d191f81f"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/INPUTS.json",
+      "size": 6307,
+      "sha256": "3b0417e3f932fad96ff9c9c51510f7333d0e7c8dc7a0c0f4ffa3b97484437be5",
+      "git_blob": "6d7da5dadc3d2bf7620e5ebfa46ef367415789ef"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/NATIVE-RESULT.json",
+      "size": 75052,
+      "sha256": "c203566a32162b7c2aaee0bd132578ce58d243b2064a48152b800e7c22f3a313",
+      "git_blob": "5c0ba841f226c3ea5a2cf22b9b2606e1f10a6b1f"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/OVERLAP.md",
+      "size": 1556,
+      "sha256": "7940dc065f58e37771b0590f0a3c814ccdbb4f67237553a1e83585687abad0d5",
+      "git_blob": "b1612e2ce9a7baed7081f75effd36854eb80e440"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/PEER-SOURCES.json",
+      "size": 2641,
+      "sha256": "5b7440aa03bcf3b2c1886ada4fed1413424023a28393c8253bae0630406319e8",
+      "git_blob": "ca5294883c0e11e98997f9df6a035048b8003f87"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/PROOF.md",
+      "size": 6173,
+      "sha256": "f2d527d17240eb213dff00699511b1b6484d3b3fbdb9793971b93f3a8547fd0c",
+      "git_blob": "c9685a8a7b1597686e2b154b6f4643342f99ae12"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/README.md",
+      "size": 5843,
+      "sha256": "197b9d52c1366f30a2bf2d5304813823f47ec7f0ac2486f6e8d68c20abd0371d",
+      "git_blob": "c5e55e42b2011d97ad075f944c638086145bc190"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/REPLAY.txt",
+      "size": 4169,
+      "sha256": "03fd08a366955cbead236e6eaf857688d18f5289a243c688da3f138f6ad91837",
+      "git_blob": "73522f362302574a00928e6960dd5eebf3eeb86d"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/RESULT.json",
+      "size": 76806,
+      "sha256": "e4ae0c1cfa809cd780a6e22ce32528e7ca4b4e57f90abf91ad0bde97d30446ab",
+      "git_blob": "59ab2af00fd9e60f7027fbbb2a29c53f6143359e"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/SOURCES.json",
+      "size": 856,
+      "sha256": "8b58a30ae55396b8d108de4ee2c7c6ac75dc1096948c9ac3796c20b21b1c9372",
+      "git_blob": "c4150ae39789502a4adf89e8f5235995d458a72e"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/TASK.json",
+      "size": 12460,
+      "sha256": "56743e84c4d6db8ca9d62ecfe677f86a107d7794bf12f8f2de2481e4580685ae",
+      "git_blob": "ce00c6197c18cb8e168f4c0aa40814d7886c1f0e"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/TRANSFER-RESULT.json",
+      "size": 529,
+      "sha256": "3c51294b757de86fdf1fc16b6958257bc1b4e885f7f6ef4650b4deb4948b294d",
+      "git_blob": "7df85ba693ca75076035f703d6ba6f1035a1a8ea"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/TRANSFER.json",
+      "size": 29915,
+      "sha256": "c197f64cab6cd1ee542833d8f098103b5c3bfceb2e62231650cd49dc1e7dac81",
+      "git_blob": "a7fd6488446538e053987cbb34177117c77eeec8"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/VALIDATION.md",
+      "size": 3295,
+      "sha256": "4655fca62201a9ad6544df70145af5512844d46f423c768f54f888f0d22fc60e",
+      "git_blob": "756cd49b191dac2c38de05fa3e14f179eabfcd0c"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/VERIFY.json",
+      "size": 1543,
+      "sha256": "7889591feee7e96c3bf41074489525016aac4e4216198458a2baef0b660a6d56",
+      "git_blob": "dab71535b6a19267a0ab5cd6f43137cc5aba1975"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/WORD.json.gz",
+      "size": 370819,
+      "sha256": "2b9b9712addc38f441b434e8b2eca0cfefe5b54fdc1e174beed7f0c3435fa42d",
+      "git_blob": "5e2ae510e532e87a8888c739ab58fd6cba588c70"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/adapt.py",
+      "size": 3163,
+      "sha256": "7adb4ef927c75cdcb3e17aeef975b42aae7192a9ad5cc6e61e2b3160405e0768",
+      "git_blob": "4ec6f06e63e5833c041ad76b337c1145321e1075"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/construct.py",
+      "size": 2132,
+      "sha256": "56792894cff0607b2801b7ddc519e1f5ec1af8b70ce304a118e4b9467a939f10",
+      "git_blob": "70b54635320b3d705582a7b6569737d815f5c2bc"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/derive_grid.py",
+      "size": 1510,
+      "sha256": "ceb7a44ef19d72a16db7b43c65c85910d965499d1715436011de32af5d39dbb0",
+      "git_blob": "f8cb37f00bcd197d77bbb205dae3c1a40c0aa680"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/inputs/pr7130.tar",
+      "size": 10455040,
+      "sha256": "585abeb047f4c4b2d84a9a74c167fe9845850ed7521ea9f560031d5d5c82d084",
+      "git_blob": "5723c5b3657d820f9aaa01255617417a85ea858c"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/peer/CHANGES.json",
+      "size": 7072,
+      "sha256": "e645aaa73a169d74d83d93fa31e4fc0eb951b74d40be23e6fe41aee759c5e800",
+      "git_blob": "e1d530f9a5a76209a3bd504384246cab3d7e0752"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/peer/INPUTS.json",
+      "size": 5711,
+      "sha256": "a03561366baa758fbf81dddbaf5e84f10662273e207f543ba6b9065bf0575bbe",
+      "git_blob": "d7231ac870f4b529734fd6bb3b25ae8fe2d49d1b"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/peer/NATIVE-RESULT.json",
+      "size": 74965,
+      "sha256": "b0badb901d4b8d7e28a5fae4bae3b19bc87401b41fe39a830b1227de07b4ecbe",
+      "git_blob": "0b3bd194187d84acaf21a92b87f431b01a1abf9f"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/peer/PROOF.md",
+      "size": 3993,
+      "sha256": "80e648b5c1aa3a1a46d5264641a002ec29111ab5cfce4a47f6434740867317e6",
+      "git_blob": "2e17b59387477288f5f94d6e363dff00868c5af3"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/peer/README.md",
+      "size": 1873,
+      "sha256": "54d23d90492983ab764616ea9931c20125141c8df6f71130e7e6b74cf3be98e8",
+      "git_blob": "c848acf3f2a6f6615eaceab02645f870c4a21b32"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/peer/RESULT.json",
+      "size": 78679,
+      "sha256": "e6692aaeee16f7309bf6155e84f9b6b7f2e932ea3b31518834d5bd38db7465c5",
+      "git_blob": "1c91263862094c6fd73abc17253263c9a34f0f60"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/peer/WORD.json.gz",
+      "size": 365562,
+      "sha256": "26f4f14e42c22c4c88376a1581654a6c0e143fe5c0522b0475d826b3f76a4040",
+      "git_blob": "beb9a56b48bbf1e10c323db29dd6b793bd4b026d"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/peer/construct.py",
+      "size": 2132,
+      "sha256": "56792894cff0607b2801b7ddc519e1f5ec1af8b70ce304a118e4b9467a939f10",
+      "git_blob": "70b54635320b3d705582a7b6569737d815f5c2bc"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/price.py",
+      "size": 3642,
+      "sha256": "49deac5dcd265ad2ccdaffb53823fef1a4e5e450f8b11779d590da7376b403e7",
+      "git_blob": "aad42958ea47a381cbe3f58512ddd86c702ce7d6"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/source.py",
+      "size": 4784,
+      "sha256": "24123ca57918ad68cfc2a8a953dec33c93e166dff868e6ef8dc638fbd43b62d3",
+      "git_blob": "d3c35d14da65c7dd5a34dca03c7b1c82be66ce61"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/transfer.py",
+      "size": 1804,
+      "sha256": "2dedfaba6f7197f26db7983f14263a3771ed9e8bd99a2930b741d525443a1a00",
+      "git_blob": "e13e20a4bdaadde24e09277cce5638e107c162ca"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/verify.py",
+      "size": 3453,
+      "sha256": "d757c654b3ca666de47a17aeb4a15a779ae6d4cbea8f55af55528cab8bcfc4c0",
+      "git_blob": "b0bd280e44936a835af2ca6636b7e7e855746264"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/verify_native.py",
+      "size": 9956,
+      "sha256": "a8bfb0f3e6b582c0ab0dc2469f8761c3d1cf9061d5d03dd5c57e638739d0b55f",
+      "git_blob": "06ace4f351b61f84383e3718bfe8b0db386a6370"
+    },
+    {
+      "path": "research/p104-output-rechart-composition/verify_transfer.py",
+      "size": 3664,
+      "sha256": "bcb9b9da59002462df9c9a4a5a868cf69055e1e5c549abd505e9382e3e986951",
+      "git_blob": "867e34fec8c563533c3f997a598e2aece36e7389"
+    }
+  ]
+}