Manuscript Hawk01-B@1 · Hawk01-B.tex · section · cfa976f1
Single-reference diagnostics
Exact and approximate residual-leakage certificates › Single-reference diagnostics · lines 592–597
This reproduces the Bell-projection witness reported in Em05-B, with its normalization and proof explicit CheungEm05B.