Manuscript VII-E-ST@1 · VII-E-ST.tex · section · d28d9c5d
The exact sharp-measurement criterion
Contract E: readout, records, and residuals › The exact sharp-measurement criterion · lines 562–569
For injective , record compatibility already suffices. For one coarse outcome, the criterion is . These are finite instrument identities, not field-instrument constructions.