Manuscript VII-I@1 · VII-I.tex · section · 907e96ab
Four levels
The target and the requirement ledger › Four levels · lines 256–288
A coefficient distribution is not an insertion, and an insertion is not automatically an interacting cohomology class.
| Requirement | Treatment |
|---|---|
| Original sharp Cauchy prescription | Fixed explicitly; not replaced silently |
| Off-shell classical equality | Retained in the obstruction; modified only in named repairs |
| Old free Wick products | Retained at finite width and in the incompatibility theorem |
| Convergence of unchanged sharp approximants | Excluded in the boundary-sensitive topology; incompatible with the specified Wick-extension assumptions |
| Quantum presentation independence | Required for sharp products; not inferred from a classical identity |
| Plateau gauge domain | Retained; no unrestricted diffeomorphism claim |
| Quantum Ward identities and interactions | Not supplied by free admission |
| State positivity | Not asserted for the indefinite graviton covariance |