Manuscript X-H-ST@1 · X-H-ST.tex · section · 943aa27e
Instrumenting only what exists
Stage D: the first quantum correction remains conditional › Instrumenting only what exists · lines 1769–1800
A finite chosen local counterterm contribution , once defined and supplied with a real coefficient extraction and enclosure, is routed through the same instrument architecture (eq:instrument). Its quantity tag says .
If the full and the corrected residual in (eq:quantumcriterion) are later constructed, their finite supplied evaluations can be added as separately tagged entries.
Until then, an entry for the total corrected residual must say , not zero, PASS, or “quantum symmetry restored”. This is metadata about a missing construction, not a numerical value for an undefined expression.
A complete channel can report that status. Its existence does not construct the missing quantity. Consequently Stage D has a conditional criterion and an instrument interface, not a quantum lift.
Positive powers of also cannot remove the classical reciprocity witness or the leading switched-scalar breaking. Equality of formal series is coefficientwise.