Manuscript X-A@1 · X-A.tex · section · dc7f5c0a

Decision table

Decision, X-B handoff, and what not to add › Decision table · lines 1978–2002

Evidence	Release
Equations, regulator, data, and observable identities proved through $κ^{2}$ (Sections sec:preflight–sec:tests)	{Classical covariance at fixed $ε$ : reached}
Explicit nonzero switch or regulator defect on the frozen group	Not the case; the only proved defect (Proposition prop:edge) is outside the frozen algebra
Regulator unspecified, uniqueness missing, or second-order cancellation unfinished	Not the case

The gauge algebra was not shrunk after a defect appeared: the condition $U \subset {t > ε}$ is in the sheet of Section sec:sheet, and Proposition prop:edge shows it is not removable.