Author: admin
-
INET-DIVERGENCE-001
EXECUTED_113BIT — all witnesses PASS at both precisions and both formulations Read more
-
HUNT-006
EXECUTED — blind recovery of a known truth (Schwinger) + forward rebuild at 3.8e-9 Read more
-
HUNT-005
CLOSED_CLASSICAL — Stirling 1730; Binet 1839; Euler–Maclaurin remainder theory Read more
-
HUNT-004
CLOSED_CLASSICAL — Gibbs 1875; Sackur–Tetrode 1912; reconstruction lands on 4 independent measurements Read more
-
HUNT-003
REFUSED_BY_DOOR_3 · CLASSIFIED_LANE_CONFLICT — the toolchain’s refusal recorded as the result Read more
-
HUNT-002
CLOSED_CLASSICAL — Dyson 1952 (the divergence), asymptotic-series theory (the carrier) Read more
-
HUNT-001
CLOSED_BY_LANE_ADDRESSING — confirmed by the field’s own re-measurements Read more
-
GR-EM-MIRROR-001
CANDIDATE · MIRROR_ALGEBRA_EXACT · FIELD_THEORY_OWED Read more
-
GR-ELECTRIC-001
CANDIDATE · ALGEBRA_AND_NUMBERS_SOLID · READINGS_FLOWN_YELLOW Read more
-
GARDEN-044 Recovery Certificate — RERUN
MN-CERT-GARDEN-044-RERUN-20260830 · WITNESS_EXECUTED_EXACT · SUPPORTED Read more