Manuscript En05-B@1 · En05-B.tex · section · 8b626460
Adaptive padding
The declared finite-experiment class › Adaptive padding · lines 1191–1199
This is complete-channel accounting, not postselection. It is the finite-interface setting compared with En04-A and En02-C CheungEn04,CheungEn02C. A syntactic Enter-calculus implementation would require the additional compositional and gate-library hypotheses of En05-A; no exact compilation of arbitrary instruments is asserted here.