Manuscript Hawk04-D@1 · Hawk04-D-v1.tex · section · 39b16f67
Stability and dimension-explicit conversion
Stage 2: controlled comparison, fixed codes, and growing codes › Stability and dimension-explicit conversion · lines 897–904
This is the certificate of Hawk04-A/B with its normalization and continuum-lift distinction retained CheungHawk04A,CheungHawk04B. The dimension factor multiplies the normalized Choi discrepancy, not an allowance already expressed in diamond distance.