Manuscript VI@1 · VI.tex · figure · b5b60afb
Certificate robustness requirements
Static audit of the proposed quantum certificate › Interval evaluations · lines 2913–2928
VI@1#fig:VI-certificate-audit
metric / coordinatescalarswitching defectconditional quantumsupport / uncompleted
on a selected subcatalogue
extra allowed column with
true submatrix identity; invalid complete-catalogue separatorredundancy allowed; coverage required
small but nonzero row a small residual is not uniform robustness without coefficient bounds
A rigorous nonzero enclosure for is not by itself exact counterterm annihilation. No tolerances, interval endpoints, or computed minors are shown.
Certificate robustness requirements. An omitted allowed response direction can invalidate the interpretation of a left-kernel row from a selected subcatalogue. Likewise, a nonzero annihilation residual can be amplified without bound when counterterm coefficients are unrestricted. Rigorous target nonvanishing and complete response annihilation are separate requirements.