Conditional κ = 0.003642408496869 (+1.89212232e-7 over #7130): compose output rechart

docs/ci-verification.md

@@ -1,8 +1,25 @@
 # CI verification
 
-## Current selected-family replay: #6030
+## Current selected-family replay: #7000 with #7001
 
 The [selected record](../certificates/selected-result.json) binds conditional
+κ = 0.00363005817 to the [application review](research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md),
+[validation receipts](research/pr-intake-evidence/pr7000-application/VALIDATION.json),
+and [explicit source closure](../certificates/frontier7000-source.json).
+`make frontier7000-verify` follows that exact-source selected replay. The review
+reuses eleven authenticated preceding executions and records seven fresh serial
+application, scalar and complete native-catalogue executions. The earlier
+monolithic timeout is retained separately and is not completed coverage.
+Consult the receipts for exact commands, source heads and limits.
+
+The five inherited framework assumptions remain. No complete uniform word,
+literal multiplier execution, independent human proof or formal-kernel proof
+is asserted. Routine research submissions do not need to rerun this
+selected-family replay. The sections below preserve historical checkpoints.
+
+## Historical selected-family replay: #6030
+
+The [historical checkpoint](../certificates/checkpoints/frontier6030.json) binds conditional
 κ = 0.003125804 to the [proof review](research/pr-intake-evidence/pr6030-audit/PROOF-REVIEW.md),
 [validation receipts](research/pr-intake-evidence/pr6030-audit/VALIDATION.json),
 and [explicit source closure](../certificates/frontier6030-source.json).

research/p104-nonunit-output-composition/APPLICATION.md

@@ -0,0 +1,24 @@
+# Complete conditional composition
+
+The source is exact PR7130's nonunit-pivot split and complete nested closure.
+The construction applies the output rechart mechanism of PR7124, retaining
+all scalar coefficients/order, main endpoints, owned operations and the exact
+signed 17-stage caller from PR7113. Every changed helper promise and public
+transport is recounted. The normalized-coordinate proof is in PROOF.md.
+
+The early exact native adjoint and both complete directed prices passed.
+Full native/application and registered isolated CPython 3.12.14 replay passed,
+matching every frozen receipt field. See NATIVE-RESULT.json, RESULT.json and
+REPLAY.txt. The complete application has 110,400 paid positions, 22,308
+productive fields, surplus 1,424, ordinary work 778,867,208 and precision
+context 2,362. All 3,038 catalogue checks and 104 main boundaries passed.
+These checks reconstruct all physical chart maps, absolute phase, main boundaries,
+owner bindings, native/caller integer grids, error envelopes, ordinary work,
+fixed-tape substitution and all compiler/outer inequalities. The source's native
+1125/F25 grid is independently rederived and explicitly used in both precision
+paths; stale F24 reuse is rejected.
+
+The assumptions native_all_columns, owned_erasure, compiler, precision_tape and
+analytic_recovery remain. Owned erasure keeps its nonzero-content premise.
+Source-aware finite verification is not independent human/formal acceptance,
+maintainer admission or literal compiled top-level multiplication execution.