Debugging and quantifier audit

{@{}p{.36}p{.59}@{}} Potential error & Correction
Potential error & Correction

Using one symbol for the chart and state encoding & The chart is $\iota$; the encoding is $\mathsf{Enc}$.

Treating $c_{\epsilon }$ as the varying orbit coordinate & It is the fixed positive charge. The input coordinate is $a=\lambda c_{\epsilon }$.

Claiming that the instrument is constant on every state & Only its composite with the scalar encoding is forced to be constant.

Using support as a gauge-amplitude bound & Real scaling preserves support; a bounded comparison requires new data.

Treating an unbounded coefficient orbit as a uniform finite-coupling expansion & The orbit is coefficient-level. Perturbative assertions are pointwise in gauge amplitude.

Claiming a continuum of orthogonal values in one qubit & The amplitude states are nonorthogonal members of a two-dimensional family.

Promoting an installed rotation to field acquisition & No field-to-register preparation map is constructed.

Checking only the first derivative at zero & Hadamard–Enter has a nonzero second-order response.

Equating constant outcome law with complete invariance & Every returned quantum factor belongs to the output comparison.

Treating amplitude-family erasure as universal quantum erasure & The unseen $Y$ direction need not be erased.

Using finite sample agreement as an orbit certificate & Universal constancy needs an analytic or complete matrix certificate, not a finite coincidence.

Exporting a gauge-dependent task label for free & It is part of the complete input/output and cannot evade the orbit theorem.

Calling the fixed charge report an acquired orbit value & It is supplied calibration data, not an evaluation of an unknown $a(\lambda )$.

Replacing the failure merger by postselection & Failure has probability $1/2$ and remains reported.

Claiming invariance of every possible raw apparatus log & Only the declared coarse record and returned quantum interface have the proved identity.

Using a carried qubit as the charged classical reference & An independently defined coefficient and its charge remain missing.

Inferring whole-algebra invariance from one orbit & Equation (eq:matching) is additionally required.

Claiming global real-number decoding from the phase circuit & It sees $\cos \theta$ and therefore has aliases.

Identifying the ramp edge integral with the convolution gap & Their operators, tests, and admissible algebras differ.

Using a supplied ramp reserve to localize every convolution dependence & A source-specific support certificate is separately required.

Using a Green operator on the regular cone & Global analytical operators remain on the declared Minkowski completion.

Consuming geometric time & Only measured finite clock names are consumed.