Manuscript XVI-M@1 · XVI-M.tex · remark · 7346c909
Remark: What remains open after work package A
M.2 Numerical-kernel relations and Gate S-bv › Kernel identification: Gate S-bv certified (work package A) · lines 867–872
XVI-M@1#rem:wpA-open
The predecessor is globally defined (XVI-J); what is not established here is its position-space identification at the origin. (Gate S-bv concerns only.)
The massive formulae ( in XI-E, eq:W) are not needed for the massless edge kernel of XVI-K/J.
Quoted predecessor displays (XVI-K, eq:S and eq:W-fam; XVI-J, eq:step; XI-E, eq:h) are reproduced in wpA/kernel_identification.tex and wpA/kernel_conventions.json.
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: Downstream impact
- lemma: Lemma: Reported computation for work package A