Corollary: En09-A release

For one declared finite clock–system preparation and one complete destructive clock-readout event:

1. the retained classical code supplies the calibrated relational label;

2. the surviving system block is exactly the Page–Wootters conditional state;

3. the measured clock names are consumed;

4. the complete recorded instrument agrees with its relational extraction target on every input and with every reference;

5. sampled covariance and stationarity imply the stated conditional unitary evolution;

6. under the full Enter characterization hypotheses, the Born record law and projective residual update have the inherited derived status;

7. matched refinements obey the complete-channel budget and class-relative uniqueness theorem.

Proof. Items (i)–(vi) are Theorem thm:main, with Lemma lem:density-semantics for the semantic attribution. Proposition prop:spectral-realization gives an exact inhabited finite constraint class. Item (vii) is Theorem thm:refinement.