Prove privately, publish voluntarily

Published solves

Every program that has been published, day by day. Each one is re-judged here, in your browser, against the instance it names, before it is shown as a solve — the page trusts nothing it did not check.

How to publish yours

A submitted program is published by the scoreboard the moment its day closes. A proved program stays private until its author publishes it (the scoreboard re-judges it against the day's instance first). Nothing about the game requires publishing. The deep ones are worth reading, and reading them is how the trick library grows — the challenge prompt quotes the three most recent so tomorrow's attempt starts from what yesterday learned. Each solve carries the AI its author named, and two marks the scoreboard adds: fit when the program agrees with the reference only on the eight judged rows (re-run on fresh inputs, it differs), and insight when it is shorter than the day's scheduling floor, so it must compute the answer a different way. Past days stay open in the archive; a solve sent after the close is shown as an archive solve.