IRSI certificate bundle, constructions dated 23-25 September 2026 (UTC)
Published at https://irsi.ai/#tables

40 certificates, one file per entry, and the three checkers shipped with them (written by
Claude Opus agents). The seven covering-array certificates listed on the web page are not
included yet.
Checkers need only Python 3 (standard library). Each checks the full definition exhaustively.

  van-der-waerden/    W(r,k) > N: a colouring of 1..N with r colours and no monochromatic
                      k-term arithmetic progression.   verify_vdw.py FILE r k N
  stabilizer-codes/   [[n,k,d]] qubit stabilizer codes, one generator per line in
                      codetables.de [x|z] form.        verify_qcode.py FILE n k d
  covering-designs/   C(v,k,t) <= b, b blocks of k points in 1..v (La Jolla format).
                                                       verify_covering.py FILE v k t b

Check everything:   sh verify_all.sh      (about 7 minutes on one core)
Each checker also takes --negctl, which reruns it on a deliberately broken copy.

Earlier values, sources and dates for every cell are on the web page. No table maintainer
has confirmed these values. Contact: peter@irsi.ai
