2070 — The Born Readout Requires Star-Pairing Closure
Born intensity is absent from the linear closure of amplitude probes: linear maps scale as , whereas intensity scales as .
It is generated canonically when the source coefficient object supplies addition, conjugation, and multiplication:
The interference term is then its polarized cross term. The physical readout is therefore a derived probe of the coefficient -pairing, not a fitted external lens.
This supports the corrected conjecture but sharpens its falsifier: coefficient enrichment must be frozen independently before the readout is inspected. Otherwise “full typed closure” is circular.
Verification: dependency-free exact checker, 6/6 gates.
Epistemic event: ev-000000002835-9a277f17-e314-45ff-b04e-d5815e705bb0.
Sequence claim: seqclaim-e9092fe62acb283c60ef226e.