Manuscript XVI-M@1 · XVI-M.tex · definition · 7346c909
Definition: Scaling criteria M-C, M-C data and M-C curv (final verification)
M.0 Dependency, normalization, gates, and target ledger › Two separate targets · lines 220–229
XVI-M@1#def:MCcurv
M-C (broad) is the release-ladder matched-scale criterion: it requires (i) at least one proved functional matching (Target I), and (ii) an explicitly specified cutoff together with a functional representation of the entire collapsed scale variation in a stated reading. {M-C} is the weaker data criterion: at least one proved functional matching together with explicitly specified, prescription-dependent scaling formulas (residues, , top-order coefficients) for the collapsed scale variation; it does not require a fixed numerical cutoff. {M-C} is the curvature-ledger scaling criterion: the scale variation of the graph is matched inside the span of the M.5 curvature-ledger targets (the Euler tensors at , and the lower-degree curvature targets of the ledger), with the matched-scale data of (ii). M-C implies broad M-C, not conversely; M-C is satisfied in this draft (Theorem thm:wpB-B0, Theorem thm:wpB-dp, Section sec:wpB), while broad M-C remains Unresolved because XVI-L leaves unspecified (XVI-L, thm:L6; Remark rem:Lressretch). Enlarging the target ledger by non-gauge-invariant quadratic representatives (for example of Theorem thm:wpB-dp) changes the matching domain of M-C but may remain within broad Target I; gauge-fixing/ghost or further graph contributions are a different, independent enlargement and are not the only one.