Scoring

Everything boxing does once play starts, as one document: the commands it accepts, the rules that judge them, the fold that produces what those rules read, and the rows it writes. A draft saves half-typed; publishing runs the gate and freezes it.