Manuscript X-H-ST@1 · X-H-ST.tex · proposition · 943aa27e
Proposition: No acquisition or physical-cohomology inference
Complete destructive instruments for the two dictionaries › The encoded report is not a field observable · lines 1564–1587 · proof included or linked
X-H-ST@1#prop:noacquisition
The instrument above does not measure an unknown continuum master residual, select a physical BRST state, or turn a ghost-number-one expression into a self-adjoint field operator.
Proof. Its input has only the declared finite factors. Its Kraus maps contain the installed table but no map from continuum configurations to those factors. Two hypothetical continuum inputs attached to the same finite preparation therefore give the same output.
The only self-adjoint observable constructed for the report is the finite diagonal operator in (eq:reportobservable). Coefficient extraction from an exterior algebra is not a positive field representation. No physical cohomology or such representation has been specified.