Manuscript En08-B@1 · En08-B.tex · section · 23cac52a
Small error is not exact causal containment
Implementation errors and their boundaries › Small error is not exact causal containment · lines 1212–1222
Thus implementation closeness alone is not a support theorem.
Exact locality for noisy gates follows when their actual complete
maps remain on the permitted blocks. Without that structural
assumption, only an approximate observational statement follows.
This is consistent with the approximate certificate distinctions
in En05-A and En05-C
CheungEn05A (Proposition prop:approx)
CheungEn05C (Proposition prop:approx).