Manuscript Oai227-A@1 · Oai227-A.tex · section · 7f45f607
A generator allowance, not an imported diamond budget
Stage 2: price only specified finite operations › A generator allowance, not an imported diamond budget · lines 885–890
A nominated quantum-channel distance budget cannot specify the classical generator by itself. Proposition prop:perturbation states the actual classical comparison interface needed here.