2 commits

Author	SHA1	Message	Date
Kjell Tore Guttormsen	7566b71674	refactor(red-proof): the 4.5a script is a wrapper over the shared one; add the 4.5b wrapper ... Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-26 12:58:23 +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