DH-CONTROL-001CLOSED_CLASSICALCONTROL
MuncyNautics Recovery Certificate · negative control, executed cold 2026-08-31 · author of every MN concept: Derrick E. Muncy
WHAT THIS CERTIFICATE RECORDSTHE NEGATIVE CONTROL for the whole zeta programme. Davenport–Heilbronn (1936) is the canonical function that carries a Riemann-type functional equation — verified here to 1.2e-14 — and Hardy reality on the line (b at machine floor, Q = 1.000000000), yet has a PROVEN zero off the critical line, self-located by this run at sigma = 0.808517185635, t = 85.699348483137 with |f| = 4.2e-15, both arms dying coincident. The {a=0}∩{b=0} crossing that has never been observed for zeta OCCURS for DH. The one structural difference: DH’s 5-periodic coefficients [1, ξ, −ξ, −1, 0] are not multiplicative — no Euler product. VERDICT: the certificate system correctly refuses to certify line-boundness from the mirror alone; the forbidder must come from the primes. This control CONFIRMS the corpus honesty contract (symmetric-about ≠ on) by exhibiting the exact function the distinction exists for.
THE FORBIDDEN INFERENCE — WHAT THE CONTROL KILLS
“functional equation + Hardy reality ⇒ zeros on the line” — the WRONG inference the control exists to kill:
Λ(s) = (5/π)^{(s+1)/2}Γ((s+1)/2) f(s) = Λ(1−s) (holds, verified 1.2e-14)
b ≡ 0 on the line (holds, machine floor) — and yet the conclusion FAILS.
THE EXECUTED CONTROL — WHAT ACTUALLY HOLDS
f(s) = 5^{−s}[ζ(s,1/5) + ξζ(s,2/5) − ξζ(s,3/5) − ζ(s,4/5)], ξ = (√(10−2√5)−2)/(√5−1) = 0.284079043840412
EXECUTED: off-line zero at s = 0.808517185635 + 85.699348483137i, |f| = 4.2e-15 (Newton on both arms);
mirror zero present at 1−σ (|f| = 1.2e-7 residual at coarse step) — the all-t closure forces the PAIR, not the line.
The repaired inference: functional equation + Hardy reality + EULER PRODUCT (multiplicativity) is the
minimal hypothesis set — DH withholds exactly the third channel and the line-binding fails.
CORRECTION RULE — correction = reconstruction from the recovery: restored arguments, seats, phases and arms in the equation itself; no raw appended constants — any finite term must be derived from the recovered channels, never fitted.
| record_id |
DH-CONTROL-001 — Davenport–Heilbronn negative control, run cold 2026-08-31 |
|---|---|
| species |
CONTROL — the certificate system’s refusal test |
| executed |
functional equation 1.2e-14; on-line Q = 1.000000000 at t = 15/30/60; off-line zero self-located to 12 decimals; both arms 1.0e-15 and 4.1e-15 at the death; mirror seat confirmed |
| what_it_proves |
the mirror (functional equation) and Hardy reality are DETECTORS, not forcings — exactly the corpus’s standing distinction; the line-forbidder for zeta must be supplied by the primes (Euler product), which DH lacks |
| what_it_forbids |
any future certificate claiming line-boundness from the functional equation + reality alone must be REFUSED — this control is the standing counterexample |
| falsifier_status |
the control PASSES by the system refusing: no MN certificate in this registry claims the forbidden inference; GARDEN-001/Riemann standing (detector vs forcing) re-confirmed |
| precision |
IEEE double + Lanczos logΓ + Euler–Maclaurin Hurwitz (B₂–B₁₂); zero location stable under mesh halving |
| standing |
CLOSED_CLASSICAL — Davenport & Heilbronn 1936 (existence proven); zero location executed this run |
| promotion_authority |
GREEN_CLASSICAL — negative control, entered as the registry’s standing refusal witness |
| source_records |
Davenport & Heilbronn 1936; Spira 1994 (off-line zero computations); run executed in-project 2026-08-31, phase kept, both arms carried |