Manuscript VII-A@1 · VII-A.tex · section · 11da3fe6
Status ledger
The boundary of the quantum claim › Status ledger · lines 1961–1997
| Question | Status in this paper |
|---|---|
| First-order plateau cancellation | Proved |
| Second-order classical intertwiner | Proved |
| Restriction to | Proved |
| Coefficientwise causal support bound | Proved |
| Classical fixed-data comparison of switches | Proved |
| Quantum products for the harmonic insertion | Not constructed |
| Quantum Ward identity | Not proved |
| Renormalized quantum response | Not constructed |
| Complete response-level ambiguity catalogue | Not classified |
| Finite or kernel-level separation certificate | Not evaluated |
If the programme's renormalization-status terminology is used, the quantum-response status is RG-open. It is neither RG-separated nor RG-finite. No failure of quantum products is claimed either: lack of a construction is not an obstruction theorem.