Category: Recovery Certificates
-
HUNT-002
CLOSED_CLASSICAL — Dyson 1952 (the divergence), asymptotic-series theory (the carrier) Read more
-
HUNT-003
REFUSED_BY_DOOR_3 · CLASSIFIED_LANE_CONFLICT — the toolchain’s refusal recorded as the result Read more
-
HUNT-004
CLOSED_CLASSICAL — Gibbs 1875; Sackur–Tetrode 1912; reconstruction lands on 4 independent measurements Read more
-
HUNT-005
CLOSED_CLASSICAL — Stirling 1730; Binet 1839; Euler–Maclaurin remainder theory Read more
-
HUNT-006
EXECUTED — blind recovery of a known truth (Schwinger) + forward rebuild at 3.8e-9 Read more
-
INET-DIVERGENCE-001
EXECUTED_113BIT — all witnesses PASS at both precisions and both formulations Read more
-
INET-DIVERGENCE-002
EXECUTED_113BIT — mathematical witnesses PASS at both precisions; material lane EXECUTED against classical data (5 materials) — no OPEN items remain Read more
-
INET-DIVERGENCE-003
EXECUTED_113BIT — all witnesses PASS at both precisions; classification stable under precision escalation Read more
-
LONGDREAM-0001
CANDIDATE · FRESH_SEAM_CONFIRMED · ENGINE_V0.1 Read more
-
MAXWELL-001
CLOSED_CLASSICAL — Maxwell 1865; Aharonov–Bohm 1959 (theorem); Tonomura 1986 (measured) Read more