Manuscript XVI-M@1 · XVI-M.tex · remark · 7346c909
Remark: Downstream impact
M.2 Numerical-kernel relations and Gate S-bv › Kernel identification: Gate S-bv certified (work package A) · lines 858–865
XVI-M@1#rem:wpA-M6
M.2–M.4, M.7. The numerator relations, the graded presentation and everything built on it use only and the single side ; they are now unconditional on (statements that also use Gate V stay relative to that convention).
M.6. Theorem thm:M6-S2 gives ; with ,
.
The boundary side is , so the angular integral of scaling_anomaly.py is unchanged in sign; the counterfactual would conjugate that integral and flip , and it is excluded by Theorem thm:wpA-Sbv.
The top-order scale-residue unit of Section sec:wpB is .
Nearby in this section
- scope: Status (work package A).
- section: Kernel identification: Gate S-bv certified (work package A)
- section: Kernel identification: Gate S-bv certified (work package A)
- section: Kernel identification: Gate S-bv certified (work package A)
- lemma: Lemma: Variable regulator near a nonzero null point (audit 3)
- theorem: Theorem: Certified identification for Gate S-bv
- remark: Remark: What remains open after work package A
- lemma: Lemma: Reported computation for work package A