dillona · Nov 11, 2026
diff --git a/research/p104-endpoint-temporal-composition/APPLICATION.md b/research/p104-endpoint-temporal-composition/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 replay passed all three commands and every frozen receipt field. The selected frontier and five framework
+assumptions are unchanged.
+
+The complete application has **110,451 paid positions**,
+**22,359 productive fields**, surplus **1424**
+and zero empty credit. Both directed price engines give **κ=.003643438506419**,
++.000000221683943 over completed #7142 and +.000000257834774 over #7143.
+The #7143 baseline and combined invoices are rebuilt; the #7142 comparison
+uses its authenticated published receipt.
+The combined invoice crossing is strictly bracketed by
+
+```
+(0.0036434385064194522455189967132841,
+ 0.0036434385064194522455189967132842).
+```
+
+| Fresh check | Result |
+|---|---:|
+|Ordinary source-unit work|779890268 < 1000000000|
+|Precision context c|2380|
+|Context height / mass exponent|406 / 1190|
+|Native scale / fractional bits|1125 / 25|
+|Owned banks per raw occurrence|935|
+|Scalar service bound|43201312|
+|Scalar step coefficient|45299858931712|
+|Monomial map slots|298468|
+|Elementary record bound|25448575552|
+|Actual ambient / compiler cap|145 / 153|
+|Maximum scalar numerator bits|24|
+|Kstar / context-bound bits|14093 / 14104|
+
+The 17 calls reserve all 55 owned labels each, **935 banks**. Every existing
+INIT/CLEAR and every added ADD/SCALE/MOVE is charged. Native ownership remains
+58 lifetimes, peak 44, rise mass 56. Both precision paths preserve the exact
+(58,44,55) assertion and reject an extra uncharged lifetime. No predecessor
+receipt substitutes for recomputing the changed word's costs or envelopes.
+These are source-unit bounds and compiler substitutions, not a measured
+machine-instruction count or compiled top-level benchmark.
+
+The unchanged caller has 4,783 symbolic events and SHA256
+`255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc`. Its rational and integer replays pass. The full
+catalogue covers **3,038 paid/helper maps and 104 main boundaries**, with
+phase and owner bindings. The native check separately covers 5 sets
+of 512 exact Gaussian columns: (3, 127), (3, 529), (3, 595), (529, 127), (595, 127).
+All eleven native corruption controls and finite physical routes pass.
+
+The fresh minimal grid remains 1125/F25, with maximal scaled mass
+`814656664575075/8192`. F24 and an insufficient odd scale
+are rejected. Native and caller rounded envelopes are recomputed, including
+the source temporal buffers and new dense boundary operations.
+
+The full gate uses 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 remain strictly below the crossing. The separate 18-stage
+ingredient has ordinary work 853753624 and claim
+3642830572909/1000000000000000; it is distinct from the final 17-stage application.
+
+RESULT.json, NATIVE-RESULT.json and EARLY-RESULT.json retain all receipts.
+The registered hook authenticates both full predecessor packages and five
+unchanged implementations, then compares every frozen field. Human/formal
+acceptance, maintainer admission and compiled top-level execution remain open.
+See PROOF.md, VALIDATION.md and NOTICE for scope and retained attribution.
+
+Prepared for dillona with substantial OpenAI Codex assistance; no subagents.
+Rohan Arun supplied the endpoint construction; Ali Romman, CubeJerry, Matarener,
+ToikY and all retained authors remain credited. Apache-2.0.
diff --git a/research/p104-endpoint-temporal-composition/DISCOVERY.json b/research/p104-endpoint-temporal-composition/DISCOVERY.json
@@ -0,0 +1,28 @@
+{
+  "scope": "Single composition, not search",
+  "build": {
+    "shift": 24,
+    "cut": 44638,
+    "source": "c38b79279f665d46d795501de6645a8a16d9324c22199fa615313b6abfdc3e2f",
+    "candidate": "8f5c08866c50070c8579d0dc230bc2941ec3669d643ba373ac4b1d59b423446d",
+    "events": 75326,
+    "public": 1495,
+    "owned": 55,
+    "native_delta": {
+      "paid": {
+        "1": 1
+      },
+      "helpers": {
+        "2": 1,
+        "7": 1,
+        "8": -1
+      }
+    },
+    "scope": "Exact source reconstruction and adjoint only; forward/full costs pending"
+  },
+  "boundary_translation": {
+    "c": "unchanged; exact prefix checked",
+    "d": "coefficient -349/32 moved from retired648 to1449; all other coefficients unchanged"
+  },
+  "predecessor_proofs": "Complete parent archives; both code and new identity independently checked at runtime"
+}
diff --git a/research/p104-endpoint-temporal-composition/EARLY-RESULT.json b/research/p104-endpoint-temporal-composition/EARLY-RESULT.json
@@ -0,0 +1,194 @@
+{
+  "gate": {
+    "BIT_margin": "12325149358093/100000000000000000",
+    "BIT_pin": "376669/100000000",
+    "H": "16502900000000000000000",
+    "alpha": [
+      0.9999999999999994,
+      0.9999999999999994
+    ],
+    "claim": "3643438506419/1000000000000000",
+    "compiler_gap": "1/100000000000000000",
+    "delta": [
+      0.9039741879388162,
+      0.9039741879388162
+    ],
+    "derivative_upper": -381840.11816935183,
+    "gamma": [
+      0.9408312632714679,
+      0.9408312632714679
+    ],
+    "input_lift": {
+      "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+      "interval_kappa_cap": "376669/100000000",
+      "margins": {
+        "3643438506419/1000000000000000": [
+          "124308750480146442858982923466237173329677867709268713704750315349719266412759/100000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "24861750096029288571796584693247434665935573541853742740950063069943853282937/20000000000000000000000000000000000000000000000000000000000000000000000000000000"
+        ],
+        "364343850641907/100000000000000000": [
+          "12430875048014872930234496221764083719424170212456801560465695359832448437313/10000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "124308750480148729302344962217640837194241702124568015604656953598324484375099/100000000000000000000000000000000000000000000000000000000000000000000000000000000"
+        ]
+      },
+      "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+    },
+    "minimum_log_power": 2235,
+    "moment_margin_float": {
+      "18217192532097261227594983566421/5000000000000000000000000000000000": [
+        -3.4748482405737836e-29,
+        -3.4748482405737836e-29
+      ],
+      "364343850641907/100000000000000000": [
+        1.4828050908809391e-10,
+        1.4828050908809391e-10
+      ],
+      "36434385064194522455189967132841/10000000000000000000000000000000000": [
+        4.0434724292824225e-30,
+        4.0434724292824225e-30
+      ]
+    },
+    "moment_margins": {
+      "18217192532097261227594983566421/5000000000000000000000000000000000": [
+        "-1737424120286891784777410885313126494363989447401301/50000000000000000000000000000000000000000000000000000000000000000000000000000000",
+        "-1737424120286891784777410885313126494363989427958887/50000000000000000000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "364343850641907/100000000000000000": [
+        "7414025454404695726878415004828547502127517164478399092131101262410579/50000000000000000000000000000000000000000000000000000000000000000000000000000000",
+        "14828050908809391453756830009657095004255034328956798184262202563688811/100000000000000000000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "36434385064194522455189967132841/10000000000000000000000000000000000": [
+        "404347242928242241440156806668550030095078265159027/100000000000000000000000000000000000000000000000000000000000000000000000000000000",
+        "404347242928242241440156806668550030095078304098549/100000000000000000000000000000000000000000000000000000000000000000000000000000000"
+      ]
+    },
+    "outer": {
+      "BIT_just_below_effective_rejected": true,
+      "functional_count": 4,
+      "minimum_margin": "1/1000000000000000000",
+      "strict_count": 54
+    },
+    "raw_bracket": [
+      "36434385064194522455189967132841/10000000000000000000000000000000000",
+      "18217192532097261227594983566421/5000000000000000000000000000000000"
+    ],
+    "tested": "364343850641907/100000000000000000",
+    "written_log_power": 2236
+  },
+  "invoice": {
+    "P": {
+      "1": 68299,
+      "16": 416,
+      "2": 14518,
+      "24": 416,
+      "3": 14076,
+      "32": 416,
+      "4": 3825,
+      "40": 416,
+      "48": 416,
+      "5": 5814,
+      "56": 416,
+      "6": 255,
+      "64": 208,
+      "7": 170,
+      "8": 758,
+      "9": 32
+    },
+    "S": 1424,
+    "T": {
+      "1": 272,
+      "137": 208,
+      "17": 416,
+      "2": 357,
+      "25": 416,
+      "3": 799,
+      "33": 416,
+      "4": 3740,
+      "41": 416,
+      "49": 416,
+      "5": 1292,
+      "57": 416,
+      "6": 731,
+      "65": 416,
+      "7": 323,
+      "73": 208,
+      "8": 578,
+      "9": 10939
+    },
+    "empty_root_credits": 0
+  },
+  "native": {
+    "bad_inputs": [],
+    "events": 75326,
+    "helpers": {
+      "1": 16,
+      "2": 21,
+      "3": 47,
+      "4": 220,
+      "5": 76,
+      "6": 43,
+      "7": 19,
+      "8": 34,
+      "9": 619
+    },
+    "lifetimes": 58,
+    "owned_peak": 44,
+    "paid": {
+      "1": 3995,
+      "2": 854,
+      "3": 828,
+      "4": 225,
+      "5": 342,
+      "6": 15,
+      "7": 10,
+      "8": 6
+    },
+    "public": 1495,
+    "rises": {
+      "1": 10,
+      "2": 4,
+      "3": 1,
+      "4": 6,
+      "5": 1,
+      "6": 1
+    }
+  },
+  "native_delta": {
+    "P": {
+      "1": 1
+    },
+    "T": {
+      "2": 1,
+      "7": 1,
+      "8": -1
+    }
+  },
+  "pending": [
+    "fresh integer grid",
+    "all affected physical chart maps",
+    "complete caller replay",
+    "ordinary and precision bounds",
+    "full source application"
+  ],
+  "price": {
+    "baseline_rejects_new_claim": true,
+    "candidate_margin_at_old_upper": [
+      "10001920197202549748424403380436754469271446704819303547145859487833544042172137/100000000000000000000000000000000000000000000000000000000000000000000000000000000",
+      "80015361577620397987395227043494035754171573638554428377166875902668352613199/800000000000000000000000000000000000000000000000000000000000000000000000000000"
+    ],
+    "claim_decimal": "0.003643438506419",
+    "gain": "2.57834774E-7",
+    "gain_exact": "128917387/500000000000000",
+    "independent_raw_bracket": [
+      "0.00364343850641945224551899671328411",
+      "0.00364343850641945224551899671328412"
+    ],
+    "previous_claim": "728636134329/200000000000000",
+    "raw_bracket": [
+      "0.0036434385064194522455189967132841",
+      "0.0036434385064194522455189967132842"
+    ]
+  },
+  "status": "PASS_EXACT_NATIVE_AND_PRICE_ONLY",
+  "word_sha256": "8f5c08866c50070c8579d0dc230bc2941ec3669d643ba373ac4b1d59b423446d"
+}
diff --git a/research/p104-endpoint-temporal-composition/ENVIRONMENT.json b/research/p104-endpoint-temporal-composition/ENVIRONMENT.json
@@ -0,0 +1,11 @@
+{
+  "python": "3.14.7 (main, Aug  5 2026, 10:29:49) [Clang 21.0.0 (clang-2100.1.1.101)]",
+  "registered_replay": {
+    "python": "3.12.16",
+    "result": "PASS all three isolated commands, every frozen receipt field"
+  },
+  "source_pins": "INPUTS.json and PEER-INPUTS.json complete archives",
+  "parallelism": "Serial scientific runs; no subagents",
+  "platform": "macOS-27.0.1-arm64-arm-64bit-Mach-O",
+  "completed_utc": "2026-11-11T00:56:22.034845+00:00"
+}