@@ -1248,8 +1248,25 @@ raw-increment certificate ~20× (certify what the ODE consumes, post-Schur, inst
12481248Frobenius core floor was derived for ideal ξ ~ ψ^|m|/2 and has no justification for kinetic
12491249increments that grow toward the axis.
12501250
1251- Pending: dense_off (psi_accuracy 3e-4, ~ 2× auto grid) — is the full-grid et[ 1] itself converged
1252- with respect to the equilibrium grid?
1251+
1252+ ### Convergence check closes the loop: the full-grid reference is converged, and the certificate's blind spot is identified
1253+
1254+ dense_off (psi_accuracy 3e-4 → 367-knot auto grid): et[ 1] = 1.005671 − 0.259474i — ** 1.6e-4 from
1255+ the 288-knot value** (steps 225,127, unchanged; structure-driven, confirmed a third time). The
1256+ full-grid DIII-D kinetic answer is therefore converged in kernel tolerance (2.7e-7) AND
1257+ equilibrium grid (1.6e-4); the certified grid's 14–17% deviation is unambiguously certification
1258+ error.
1259+
1260+ ** Why the certificate is blind to it (the design flaw, now precisely identified)** : the residual
1261+ test is ` max-element residual ≤ tol · max|T| ` with max|T| the family's GLOBAL maximum. For G that
1262+ scale is 6.7e6 (edge/rational-dominated), while the near-axis increment is ~ 1e3 — only 1.6e-4 of
1263+ scale, far under any practical tol, so the core passes the certificate while being grossly
1264+ under-resolved. But the EL ODE responds to LOCAL derivative structure, and 94% of its work is
1265+ exactly there. The auto grid resolves it only coincidentally (its ideal-driven core packing lands
1266+ where the kinetic divergence lives). Fix candidates, pending the physics decision on near-axis
1267+ validity: a local (per-region or solution-amplitude-weighted) certificate scale, certifying the
1268+ post-Schur f0/K/G the ODE consumes, and dropping the ideal-derived Frobenius core floor for
1269+ kinetic increments.
12531270
12541271## Implications / ranked follow-ups
12551272
0 commit comments