An explicit record-only separation

These completions are not claimed to be realizations of the source QFT or its null cuts. They specify the quantifiers of the record-only nonidentification claim.

With

every decoder of the bad completion has error at least $1-d^{-2}$: its Bell-input output is a replacement product, with Bell overlap $d^{-2}$. Thus the failure is reference-sensitive, not merely a distinguishability convention.