HUNT-002CLOSED_CLASSICALS3
Toolchain hunt 2026-09-01 · target hunted from the live literature, run through MN-TOOLCHAIN v2 · every MN concept: Derrick E. Muncy
WHAT THIS CERTIFICATE RECORDSHigh-value divergence hunted: the perturbation series of QED ITSELF is divergent (Dyson 1952) — the theory behind the log’s tightest COD matches has a factorially divergent ledger. Door-2 execution: the model Σn!αⁿ has its smallest term at N* = 137 = 1/α exactly as predicted (run cold), then diverges factorially. Dyson’s argument is the seam’s physical face: ordinary convergence would make QED analytic at −α, where the vacuum is unstable — so the SUM reading must fail. The carrier reading: the series is ASYMPTOTIC to the finite theory (the Borel–Laplace lane of INET-DIVERGENCE-003); optimal truncation leaves e^{−1/α} ≈ 3×10⁻⁶⁰ — beyond any experiment ever. Every QED number in this log (g−2 at 1.8e-6, the α-ladder) is a CARRIER value, and the door-2 verdict is the registry’s standing rule executed at the theory’s root: divergence = missing information (the lane), never disproof.
THE SEAM — THE SUM READING
a = Σ c_n αⁿ read as a convergent sum — FAILS: c_n ~ n! (Dyson 1952); convergence would imply stability at −α
THE CARRIER — EXECUTED
smallest term at N* = 137 (= 1/α) ✓, size 9.0e-59; truncation floor e^{−1/α} = 3.1e-60
the series is asymptotic to the finite theory — the Borel–Laplace lane; the working numbers are carrier values
CORRECTION RULE — correction = reconstruction from the recovery; no raw appended constants; the toolchain refuses any stamp it cannot earn.
| door |
2 — divergent series → exact carrier lane |
|---|---|
| species |
S3 — lane |
| standing |
CLOSED_CLASSICAL — Dyson 1952 (the divergence), asymptotic-series theory (the carrier) |
| promotion_authority |
GREEN_CLASSICAL |
| source_records |
Dyson, Phys. Rev. 85, 631 (1952); INET-DIVERGENCE-003 (the same lane); this log’s COD-AUDIT-001 (the carrier values matching experiment) |