Manuscript X-J-ST@1 · X-J-ST.tex · section · 8f0d1a36
Debugging and quantifier audit
Debugging and quantifier audit · lines 2306–2395
{@{}p{.36}p{.59}@{}}
Potential overstatement & Correction used here
Potential overstatement & Correction used here
“Second” means the missing convolution reference &
The new second coefficient belongs to a named pair of
action-derived moments. No convolution identification
is asserted.
A compensating number is an independent coefficient &
Independent variations and the rank-two charge matrix
are explicitly exhibited.
Ghost number zero means uncharged &
Charge is defined as a specified scalar variation,
not ghost number or a conserved electrical charge.
An order-three insertion has a visible charge in
&
Its first variation is order four. The coefficient is
charged, while the insertion is closed only at the
retained truncated order.
Formal can be replaced by a real signal gain &
The encoding uses a separate real gain. No nonzero
real specialization of a nilpotent element is used.
One matching direction proves full gauge invariance &
The independent direction changes the
purported relational difference.
Scalar comparison flows prove interacting solution
transport &
They are off-shell scalar comparisons. No Euler
solution or free-shell identification is claimed.
A positive classical value gives a positive gap for
every instrument &
Visibility is proved for explicit named instruments.
Erasing instruments remain possible.
A first-derivative test detects all dependence &
The Hadamard example has a nonzero quadratic response.
The encoding-level higher-order test is proved.
A successful branch is the complete experiment &
Failure probability and every declared residual
are retained.
A task label may reveal the tested hypothesis &
The compared labels and all fixed control data are
identical; the coefficient enters the amplitude.
A phase difference is an exact real-number decoder &
The phase instrument sees a cosine and has aliases.
A coarse invariant failure outcome guarantees
invariance of a raw failure log &
Exporting the raw Bell failure distinction enlarges
the boundary and can break the invariance.
An injective one-parameter response is tomography &
The effects omit Bloch directions, and the field
moments have an infinite-dimensional kernel.
Reference preservation means fixed conditional
reference states &
A conditional reference may be steered. The
unconditional channel acts as the reference identity.
Finite adaptive completeness preserves every gap &
A later replacement channel erases it. A retained
prefix record gives the stated lower bound.
A channel error validates a numerical coefficient &
An enclosure needs its own analytical or numerical
justification.
The clock may be reused after destruction &
Every new quantum input needs a separately supplied
factor and resource charge.