Manuscript VI@1 · VI.tex · section · b5b60afb
Closed and unclosed statements
The problem and the corrected logical order › Closed and unclosed statements · lines 289–323
| Object | Status here |
|---|---|
| Second-order Einstein–scalar coefficient equations | Defined with action normalization |
| Finite-time harmonic relational functional | Constructed classically |
| Descent under the named formal gauge group | Proved |
| Sourced nonzero second-order example | Constructed classically |
| Naively switched first-order realization | Explicit gauge gap |
| Four-term interacting expansion | Algebraic identity, conditional on products |
| Quantum switched Ward identity | Not constructed |
| Complete action and composite counterterm catalogue | Not constructed |
| Evaluated radiative vector and response matrix | Not constructed |
| Quantum finite-renormalization certificate | RG-open |
The unresolved entries are not filled by assigning them theorem names. The obstruction branch gives a definite result without claiming the unperformed radiative calculation.