executable certificate · passed
Artifact ↗SHA-256: 28ee7bae32c3a06b75c4ed46aab523eaafad17423fee331782facab134828031
Verifier: verify.py Zenodo record 21911503; Python 3.10.15, NumPy 2.0.2, python-flint 0.6.0
Replayed
Exact Kusner counterexample certificate replay passed
The Zenodo archive matched its published checksums. Its quick check covered all 1,653 point pairs, and the full FLINT-backed verifier passed exact claims C1-C6 in 80 seconds. The result is recorded as an artifact replay, not peer review.
Exact FrontierDelta
Prior state unknown→Exact rational-box certificate replay passed for 58 equilateral points in l_5^56
Scope and record
Occurred: Aug 29, 2026
Delta type: Not quantified
Canonical aliases: Kusner's Conjecture on Equilateral Sets in $\ell_p^n$ · Kusner equilateral sets
Confidence: 99%
Attribution
MFN independent verifier
system · event recorded by
Logan R. Chalmers
human · claimant · attributed to
MFN reproducibility audit
registry · attributed to
Artifacts and verifiers
witness · passed
Artifact ↗SHA-256: 72741213df16384d8d13ac8d8cb01328925475bccb4291f64d3f618c29855b9d
Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to Logan R. Chalmers
Kusner's Conjecture on Equilateral Sets in parent of this event
This event attributed to MFN reproducibility audit
The archived exact certificate satisfies all six stated contraction conditions for a unique exactly equilateral configuration of 58 points in inside the specified rational box; since , this configuration is a counterexample to Kusner's conjecture. parent of this event
This event derived from A counterexample to Kusner's conjecture on equilateral sets
This event reproduces A counterexample to Kusner's conjecture on equilateral sets
Archived exact contraction certificate for 58 equilateral points in l_5^56 evidence for this event
MFN Kusner certificate replay report evidence for this event
Act on this frontier