2071 — Double-Slit Distinguishability Requires Ordered Closure
The frozen QND instrument generates the record-difference operator , with
Its unordered algebra cannot distinguish from . Physical distinguishability requires the positive operator norm,
Hence the double-slit readout is generated only by the complete ordered -coefficient structure: star pairing generates intensity, while the positive cone and norm generate distinguishability.
The sectoral DPC test passes because this structure was frozen with the QND instrument before evaluating the readout. The Carrier-level test remains open: the shared Carrier has not yet generated the QND interaction or its ordered coefficient lens.
Verification: dependency-free exact checker, 6/6 gates.
Epistemic event: ev-000000002837-da0245d6-733b-449b-b2c0-43127952de18.
Sequence claim: seqclaim-8f4769d9d40b356819b1eea1.