Manuscript XVI-M@1 · XVI-M.tex · lemma · 7346c909
Lemma: Reported computation for work package A
M.2 Numerical-kernel relations and Gate S-bv › Kernel identification: Gate S-bv certified (work package A) · lines 874–879
XVI-M@1#lem:wpA-comp
wpA/kernel_identification_checks.py exits with status (about \,s) and prints ALL CHECKS PASSED.
It checks: the radial Laplace integral and the damped closed form of (symbolic, with numerical spot checks); the sign of ; the cancellation of and the coefficients and ; and on ; off-cone normalization at points; numerical spatial Fourier integrals against the closed form; the null-cone chart on both sheets; the variable regulator of Lemma lem:wpA-varreg (numerical pairing for and at , error decreasing linearly in ; audit 3); , homogeneity, transposition, propagator normalization; and .
The output is deterministic (fixed seeds) and is re-generated and compared byte-for-byte by regression_M.py.
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
- remark: Remark: What remains open after work package A