Release and the three endings

Three endings are available:

1. Constructed. The named admission condition, retarded map, support, and stated-order gauge identity are proved.

2. Proved obstructed. An inadmissible joint wavefront set or a nonzero defect blocks a claimed construction on the frozen algebra.

3. Unresolved. Field content, insertion domain, normalization, or an essential map is unspecified.

The ending reached is (1), precisely within the release box. A missing higher-order map is not a no-go. An incomplete second-order expression is not an invariant. A defect cannot be removed by shrinking the frozen algebra after the calculation, or by selecting a contact afterward.

Here $\kappa$ counts background perturbation order and $\hslash$ counts quantum contractions. Both are formal. Equality modulo ${\kappa }^3$ means coefficient equality, not a numerical remainder estimate. Admission through ${\kappa }^2$ and covariance through ${\kappa }^1$ are deliberately different statements.