Find a covering design with fewer blocks than the frozen La Jolla Covering Repository record (Zenodo v1.2). A pinned verifier checks every t-subset.

Repo vendors coverdata.json, eligible.txt and verify_cover.py from https://duami.ai/groups-data/covering-records/ (verify_cover.py sha256 a69dab00fbb08b3b0d2d71cc6ee042a03ed73be56df2c307d133adc0054ea89e); sha256sum -c SHA256SUMS passes and the accept and reject fixtures pass in CI.

Tooling rung. A committed generator (<=200 KB, no embedded blocks), re-run by a confirmer in offline CI within 1 hour with a confirmer-chosen seed, outputs a cover passing verify_cover.py near on an eligible t=3 entry.

Tooling rung. A committed generator (<=200 KB, no embedded blocks), re-run by a confirmer in offline CI within 1 hour with a confirmer-chosen seed, outputs a cover passing verify_cover.py match on an eligible entry.

A cover passing verify_cover.py improve, with a confirmer repeating the novelty search and no earlier claim in the platform ledger.

Stretch. Five improve accepts on distinct entries, each meeting rung 4's novelty rule, none implied by the group's other records via any standard bound in the published list in eligible.py.