Manuscript XVI-M@1 · XVI-M.tex · section · 7346c909
Release ladder
M.0 Dependency, normalization, gates, and target ledger › Release ladder · lines 310–326
| Level | Target claim | Status in this draft |
|---|---|---|
| M-A | General- coefficients and an explicit presentation of the admissible span | Constructed (M.1 unconditional; the presentation depended only on (S-bv) and is now unconditional on the punctured space, Theorem thm:wpA-Sbv) |
| M-B | Contact freedom local collision tensors, with variational-integrability conditions | Constructed in the formal reading (M.3, M.4) under the Gate V convention; no longer conditional on (S-bv). Time-only classification constructed (Section sec:to-timeonly); actual fixed-data dimensions unresolved (Stage 2) |
| M-C | Matched-scale criterion (Definition def:MCcurv): (i) proved functional matching; (ii) explicit and a functional representation of the entire collapsed scale variation | Not achieved (Unresolved). Criterion (i) holds (e.g.\ , Theorem thm:wpB-dp); criterion (ii) fails because XVI-L leaves unspecified (thm:L6). Their numerical values and the variationality of the resulting full tensor are not determined for the unspecified cutoff. {M-C} (matching + explicit prescription-dependent scaling formulas) is Satisfied. {M-C} (curvature-ledger scaling criterion, Definition def:MCcurv): Proved obstructed (graph-specific). For the specified two-edge graph, the XVI-L prescription and any admissible , the full collapsed scale variation does not lie in the span of the M.5 curvature targets, because its fixed component already lies outside (Theorem thm:wpB-dp, Proposition prop:wpB-sep, Corollary cor:wpB-MC); not a claim about gravity generally |
| M-D | Ward/BV compatibility for a diagrammatically closed sector | Not claimed |
| M-E | Full renormalization for a specified EFT truncation and order | Not claimed |