Manuscript Oai279-A@1 · Oai279-A.tex · section · a1abc73f
A small implementation budget is not exactness
Stage 2: price the comparisons, not a missing algorithm › A small implementation budget is not exactness · lines 1243–1248
A constant-error synthesis or diamond-distance certificate may bound failure. It does not prove it is zero. No implementation claim about an existing device is made.