Manuscript Hawk02-A@1 · Hawk02-A.tex · section · 7fbae745
Stopping and completion are different claims
Stage 6: endpoint, keys, and residual accounting › Stopping and completion are different claims · lines 1476–1482
Any physical use of this example must also include its dilation environment. The point is that testing every visible residual marginal separately is already insufficient; the certificate must refer to the full joint complement.