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

Back to manuscript

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