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 $\ell_p^n$ 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 $\ell_5^{56}$ inside the specified rational box; since $58>57=n+1$, 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