Manuscript IX-C-ST@1 · IX-C-ST.tex · section · 892f50c4
Complete destructive readout
Shared finite clock, certificates, and regular transport › Complete destructive readout · lines 742–747
The construction agrees with the I-B and En09-A interface IB,En09. Consumption concerns the clock encoding, not , , the lapse, or the prescribed cone.