Manuscript XVI-M@1 · XVI-M.tex · scope · 7346c909
Status (XVI-M, this draft).
Front matter · lines 71–82
(XVI-M, this draft).{
M.0–M.3: Constructed as stated (M.1 unconditional; M.2/M.3 use Input (S-bv), now certified; Lemma lem:bv(c) by same-sign BV product).
Gate S-bv: certified (Theorem thm:wpA-Sbv: , boundary side , including across the nonzero null cone); a written check of XVI-J, eq:rational; the Euclidean motivation (Remark rem:Sbv-motivation) is not the certification; the predecessor is globally defined (XVI-J), and its position-space identification at the origin is not established here; not discharged by matching.
M.4: Constructed (Gate V) in the formal, -plateau, preparation-plateau, double-plateau and time-only readings (the formal, preparation-plateau and time-only readings are universal formal-jet readings). Stage 2: fixed-data criteria, universal region comparisons and the time-only classification constructed; actual-data transfer on only as a proposition with explicit hypotheses; non-constant- regions and transitions Unresolved.
M.5: Functional ledger with named theorem PlateauCurvatureSquareMatching; ledgers (1)–(2) filled; (3)–(4) Unresolved (EOM/redefs undefined).
M.6: dilation identity and for all Constructed; residue Constructed; top-order residues exact and -independent; lower-order values Unresolved ( not fixed by XVI-L). In the double plateau, the cutoff-independent component is variational and Lorentz covariant, but not linearized-gauge invariant. The full scale tensor has cutoff-dependent lower-degree components and need not be variational (Section sec:wpB).
M.7: Constructed after audit (Gate V for the SA items; (S-bv) certified) for the exactly verified items: Lorentz action on and on with explicit intertwiner and boost check; equivariant dims ; exact () with projections and intersections; linear divergence identities. Obs Unresolved. See the audit log, Remark rem:M7-audit.
M.8–M.9: light stubs (Target II / BV Unresolved; M.8 should wait for XVI-N).
Release ladder: M-A Constructed (presentation unconditional on the punctured space); M-B Constructed in the formal reading (Gate V convention); {M-C} (curvature-ledger scaling criterion, Definition def:MCcurv) Proved obstructed, graph-specific (Corollary cor:wpB-MC); broad M-C not achieved (Unresolved: unspecified by XVI-L, thm:L6); {M-C} Satisfied; M-D/M-E not claimed.
XVI-L is a frozen dependency.
No , no loop-as-result, no UV claim, no interacting BRST/Ward identity as proved.
}
Nearby in this section
- abstract: Abstract
- scope: Programme arrow (domains/images/kernels/intersections/compatibility).
- section: Front matter
- figure: The top component is not the broad criterion
- figure: The top component is not the broad criterion
- figure: Reading downward is not a transfer
- figure: Frozen scale family is not Broad matched-scale criterion
- figure: Three statuses stay separate