Manuscript XVI-M@1 · XVI-M.tex · section · 7346c909
Scale derivative versus dilation defect at every grade (work package B)
M.6 Dilation identity, residues, and matched scale variation › Scale derivative versus dilation defect at every grade (work package B) · lines 1859–1883
.
wpB/higher_grade_scaling.py ( checks; output higher_grade_scaling_out.txt), scale_derivative_coefficients.json, dilation_defect_coefficients.json, scale_defect_difference.json, full_scale_collapse_certificates.json, matched_scale_ledger.txt, _wpB_state.json, _wpB_sectionD.json.
The script keeps symbolic; its status strings “CONDITIONAL on Input (S-bv)” predate Theorem thm:wpA-Sbv and are superseded by it.
.6 status.
Dilation identity and for : Constructed (Proposition prop:M6-dil).
() for all and every admissible : Constructed (Theorem thm:wpB-B0).
residue : Constructed (Theorem thm:M6-S2, with Theorem thm:wpA-Sbv).
Top-order residues, all grades: Constructed, exact and -independent (units ); lower-order values: Unresolved (depend on , ; not fixed by XVI-L; the radial comparison is a separately named specialization).
anomaly component (higher-grade coordinates set to zero for this probe): Constructed (Definition def:M6-Canom).
Collapse of the component: Constructed (Theorem thm:M6-collapse); it contributes no nonzero plateau matching (Corollary cor:M6-compat).
Collapse of the full scale tensor: Constructed in all readings. In the double plateau, the cutoff-independent component is variational and Lorentz covariant, but not linearized-gauge invariant; it lies outside (Theorem thm:wpB-dp, Proposition prop:wpB-sep). The full scale tensor has cutoff-dependent lower-degree components and need not be variational; its Lorentz covariance is not established. Time-only readings non-variational (Corollary cor:wpB-timeonly).
Release: {M-C Proved obstructed} (graph-specific); broad M-C not achieved (Unresolved; unspecified by XVI-L, thm:L6); {M-C Satisfied} (Corollary cor:wpB-MC); not a claim about gravity generally.
Archives: scaling_anomaly.py, scaling_anomaly_out.txt, scaling_anomaly_cert.json, scaling_anomaly_cert.txt; wpB/.
Nearby in this section
- scope: Status (work package B).
- section: Scale derivative versus dilation defect at every grade (work package B)
- lemma: Lemma: Complete scale derivative of the subtraction functions
- theorem: Theorem: Scale derivative equals dilation defect at every grade
- section: Scale derivative versus dilation defect at every grade (work package B)
- section: Scale derivative versus dilation defect at every grade (work package B)
- theorem: Theorem: Double-plateau scale tensor: top component and full tensor
- proposition: Proposition: Exact separating functional for the displayed scale functional (audit 3)