Manuscript XVI-M@1 · XVI-M.tex · scope · 7346c909

Status (XVI-M, this draft).

Front matter · lines 71–82

Back to manuscript

(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