2 commits

Author	SHA1	Message	Date
Kjell Tore Guttormsen	cde4c1d3ed	fix(red-proof): the judge skips other rounds' ids and reports an unreadable tag ... Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-26 12:19:36 +01:00
Kjell Tore Guttormsen	5476a36782	test(red): prove every id of round 4.5a red at ab6b32c, with a judge that is tested to go red ... Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-24 19:23:59 +02:00