Conditional κ = 0.003643716168305 (+2.77661886e-7 over #7145): temporal chart-595 split

research/p104-temporal-chart595-split/APPLICATION.md

@@ -0,0 +1,69 @@
+# Complete normalized 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 claim is conditional; selected records
+and five inherited assumptions are unchanged.
+
+The application has **110,468 paid positions**, **22,376
+productive fields**, surplus **1424**, and zero empty credit.
+Both directed prices give **κ=.003643716168305**, +.000000277661886 over #7145.
+The complete source and normalized invoices are reconstructed from their words.
+The new invoice crossing is strictly bracketed by
+
+```
+(0.0036437161683053639514518829222626,
+ 0.0036437161683053639514518829222627).
+```
+
+| Fresh substitution | Result |
+|---|---:|
+|Ordinary source-unit work|781483168 < 1000000000|
+|Precision context c|2430|
+|Context height / mass exponent|406 / 1215|
+|Native odd scale / fractional bits|1125 / 25|
+|Owned banks per raw occurrence|969|
+|Scalar service bound|43650112|
+|Scalar step coefficient|45770459840512|
+|Monomial map slots|298536|
+|Elementary record bound|25454373504|
+|Actual ambient / compiler cap|145 / 153|
+|Actual maximum scalar numerator bits|24|
+|Kstar / context-bound bits|14093 / 14104|
+
+Every call reserves all 57 owned labels, **969 banks** over 17 calls. The actual
+native census is **60 lifetimes, peak 45, rise mass 56**. Both precision paths
+retain this exact assertion. All 815 additional ADDs, four SCALEs, one MOVE,
+two INITs and two CLEARs are charged, including the four scalar refinements.
+The inherited **bits<=24** compiler assertion remains unchanged and passes.
+Temporary padding remains the original 26. These are source-unit and compiler
+bounds, not a measured top-level machine-instruction benchmark.
+
+The unchanged caller has 4,783 symbolic events and SHA256
+`255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc`; rational and integer replays pass. All **3,038
+paid/helper maps and 104 main boundaries** pass phase and ownership checks.
+The native checker separately rechecks 5 sets of 512 Gaussian columns:
+(3, 127), (3, 595), (3, 603), (595, 127), (595, 603).
+All 18 native controls pass, including the ten timed-certificate controls;
+these overlapping counts are not added. Finite physical execution also passes.
+
+The freshly derived normalized grid is 1125/F25, with scaled maximum mass
+`841374570120675/8192`. F24 and insufficient odd scale
+are rejected. All rounded envelopes are recomputed after scalar splitting;
+the interrupted raw-word run is not evidence for the final word.
+
+The gate uses H=16502900000000000000000, written log power 2236 and compiler
+gap 1/100000000000000000. All 54 strict + 4 functional outer conditions pass. The
+lower-crossing probe is rejected; the claim and its accepted probe are strictly
+below the crossing. The separately checked 18-stage ingredient has ordinary
+work 855,440,224 and claim 1821552964521/500000000000000.
+
+RESULT.json, NATIVE-RESULT.json and CERTIFICATE.json retain every field.
+NORMALIZATION.json and construct.py state the four exact ADD refinements.
+The registered hook authenticates both complete archives and six unchanged
+implementations before reconstructing and comparing every receipt.
+Human/formal acceptance, maintainer admission and compiled top-level execution
+remain open. See PROOF.md and VALIDATION.md for exact limits and commands.
+
+Prepared for dillona with substantial OpenAI Codex assistance; no subagents.
+Credit Ali Romman, CubeJerry, Matarener, Rohan Arun, ToikY and every retained
+author. Apache-2.0.