Manuscript En10-B@1 · En10-B.tex · theorem · a1105bad
Theorem: En10-B release
The six physical obligations and the exact remaining gap › Mathematical release versus physical realization · lines 1734–1781 · proof included or linked
En10-B@1#thm:release
On the explicitly defined interfaces:
The finite synthetic generator produces a complete, reference-stable destructive acquisition instrument.
Its likelihood and fixed-nuisance Fisher-information ledger are explicit.
Calibration uncertainty and complete-law allowances yield the finite-shot source-weight certificate.
Predeclared competing families admit complete-record compatibility and discrimination certificates under their stated separation margin.
Different source weights can have identical complete records under allowed finite nuisance variation.
A supplied physical acceptance package implies the physical source-observable certificate of Theorem thm:main.
The unconditional physical positron acquisition-and-identification target is not established in this release.
Proof. Theorem thm:derived proves (i). Lemma lem:law and Proposition prop:FI prove (ii). Theorem thm:calibrated proves (iii). Theorem thm:competition proves (iv). Proposition prop:overlap proves (v). Theorem thm:main proves (vi) under its explicitly stated package.
No physical source templates, positron generator-to-register correspondence, complete physical detector derivation, or certificate (eq:physical-comparison) has been supplied for the intended positron experiment. The finite-model construction does not produce those missing physical data. Consequently (vi) cannot be instantiated as an unconditional physical identification on the supplied evidence. This is a boundary of the release, not a universal nonexistence theorem.