Manuscript X-J-ST@1 · X-J-ST.tex · section · 8f0d1a36
What the construction adds
Purpose, terminology, and the Enter discipline › What the construction adds · lines 176–209
The plan requires a second coefficient, a positive selective total-variation gap, and complete instruments. These are different requirements.
A nonzero number chosen to cancel another number is not an independently defined coefficient. A nonzero classical coefficient need not be visible in every encoding. A positive outcome-law gap does not determine the surviving quantum output. Finally, matching charges along one direction does not establish invariance under an entire gauge algebra.
The construction below addresses these points separately:
two compact moments are obtained by finite polarization of the already specified X-I-ST vertex;
their values and their charge directions are explicitly constructed rather than assumed;
a fixed amplitude readout gives a positive finite-task gap, with all failure probability included;
the complete selective maps, references, finite composition, and prescribed transport are proved;
the precise failure of whole-algebra charge matching is exhibited.
The scalar moment construction is elementary. The general theory of classical BV and finite-dimensional instruments is not new FRBV,DaviesLewis,Watrous. The contribution is the supported assembly and the exact distinction between its positive result and the stronger reference construction that it does not provide.