verifier · passed
Artifact ↗SHA-256: b7110055a372ff57934b30ab948c0624491adb2007b8ecad6b39e2102cd7e49e
Verifier: capstone/independent_audit.py commit d047359e7892106021022b0401554f56eb4e4d8a; CPython 3.13.7
Replayed
Exact maxout (3,5) certificate suite replay passed
The pinned public repository passed 132,869 checks with zero failures in its generation-independent upper-bound audit. Certificate transport passed 2,220 exact group-item checks, and the rational 42-vertex witness passed. The record remains scoped to artifact replay pending an independent audit of the geometric reductions.
Exact FrontierDelta
Prior state unknown→Exact certificate replay supports a reported maximum of 42 vertices under stated reductions
Scope and record
Occurred: Aug 30, 2026
Delta type: Not quantified
Canonical aliases: None recorded
Confidence: 97%
Attribution
MFN independent verifier
system · event recorded by
Reuel Lee
human · claimant · attributed to
MFN reproducibility audit
registry · attributed to
Artifacts and verifiers
executable certificate · passed
Artifact ↗SHA-256: 49ac162de0e8e7743902bdca820f22b9d005f8c30f3a16a7bb76567472e56297
Verifier: verify_c66_new_cases.py commit d047359e7892106021022b0401554f56eb4e4d8a; CPython 3.13.7
code · passed
Artifact ↗SHA-256: 4afcb9a962fba87a61c754f123f01e31615315251b6d1e655fd0f691c9518d42
Verifier: capstone/check_transport.py commit d047359e7892106021022b0401554f56eb4e4d8a; NumPy 2.3.3, SciPy 1.16.2, SymPy 1.14.0
witness · passed
Artifact ↗SHA-256: 3babbb640c38bf2aa28d8af1d6434feb08cf6e54a6415f89d6d72e61956c2324
Compute record
No linked compute attempts recorded.
Lineage and corrections
MFN maxout (3,5) certificate replay report evidence for this event
This event attributed to MFN reproducibility audit
Pinned exact rational 42-vertex witness evidence for this event
This event derived from The maximum number of vertices of a (3,5)-zonoboxtope is 42
This event reproduces The maximum number of vertices of a (3,5)-zonoboxtope is 42
Maximum vertex number of a (3,5)-zonoboxtope parent of this event
Pinned exact certificate-transport checker evidence for this event
Pinned generation-independent maxout (3,5) upper-bound audit evidence for this event
At pinned commit d047359e7892106021022b0401554f56eb4e4d8a, the exact certificate suite passes its complete replay: 132,560 cell-wide Gordan certificates establish the source's upper-bound computation, and an exact rational witness has 42 vertices. Under the source's stated row model and reduction arguments, the maximum number of vertices is 42 rather than the conjectured 44. parent of this event
This event attributed to Reuel Lee
Next verification tasks
Check the prose arguments outside the executable certificate suite, including the row-model derivation, combinatorial reductions, non-generic cases, and parity exclusion.
statement audit · priority 94 · open
Open race →