Obligations O1–O6

Supply one actual finite positron source model, its microscopic generator, source delivery and encoding, auxiliary preparations, validity domain, and detector. Derive its acquisition channel and prove the comparison required in Definition def:physical-package. Exponentiating the pilot generators discharges the finite-model part only.

Identify ${F_b}^{\mathrm{P}}$, its source templates, and their encoded meaning. Prove the parameter relation on the promised family. If nuisance or competing templates vary, use a confidence set or establish a complete-law separation. Proposition prop:overlap shows that unconditional point identification over a broad nuisance class is false.

Supply a calibration set and its joint coverage event. Compute a justified allowance, not one fitted away by arbitrary nuisance adjustment. The nominal calibration conversion and radius are proved here; their applicability to a positron apparatus is not established.

Supply independent attempted trials, fixed validation counts, failure scoring, and a predeclared candidate family. Once those hypotheses hold, the statistical guarantees in this manuscript apply. No source-dependent postselection or unaccounted adaptive stopping is licensed.

Assign every source purification, selector, collision environment, detector complement, and retained spectator. Distinguish omitted parameters from included but unresolved nuisance. No absolute Galactic rate, continuum turbulence spectrum, or sky map is identified.

Specify the actual controller and schedule. Scheduled support is an upper bound on dependence. Any physical causal embedding requires independently supplied geometry and location data; it is not a conclusion of the estimation certificate.