MMoletariat

Release record 001 · evidence published

The covering number C(13,6,3) is 21

A finite, certificate-backed proof closing the recorded interval from 20–21 to one exact value.

Published

Current placePreprint publishing

The training result and its evidence release are complete. The manuscript is now moving through preprint publication.

See the publication pipeline
Exact resultC(13,6,3)= 21

What is claimed

Cross-platform replay passed

Twenty blocks cannot cover every triple.

The lower bound exhausts the complete finite frontier left by a forced degree-nine pair and excludes every residual with exact integer certificates. A known 21-block construction supplies the matching upper bound.

Star boundary
0 eight-block · 107 nine-block orbits
Residual frontier
188,540 exact classes
Certificate closure
182,542 direct · 5,998 branched
Upper-bound witness
286 / 286 triples covered
Cross-platform replay
Byte-identical on the release machine and Ubuntu / WSL2 x86-64
Read paperBrowse evidenceRelease assets

Exact identity

The bytes behind this record.

These hashes identify the associated paper and evidence artifacts. Any byte change creates a different artifact.

Paper SHA-256
f99505402e0fd139a0583d909f6b01348dab2689eb81d5acf9f2887ab79e072a
Proof archive SHA-256
8c135939325fbf415d5748428c0f668bab689d1d6202c0b3d8cb5944b4dd7495
Theorem manifest SHA-256
e17d927ce4ffcca5582097605251b43bab305996d94861a395e1eeebc0602052
Canonical replay output (both machines) SHA-256
3f59f268f80cc7aeffaa8ce1c9089121b5ca677f34f5813fbcbb2e536488b7a1
Reviewer packet SHA-256
05b2ed5727ba90b5e05529a4f876e9969833aa98adb5eb00ea388e4475bf9497