band 6-8 · mission — · seed —boxes \u00b7 walk \u00b7 gates
Missions
Invariant witness
boxes—
walk—
gatesone branch, once
A program is boxes and a walk: each box holds one value that assignment replaces, the walk runs line by line in order, and every gate reads the boxes once, at its own line, and takes exactly one branch.
0 events · chain 00000000
Boxes, a walk, and a gate
A program bench where blocks snap into lines, a tiny interpreter walks them one line at a time, and every box's contents print after every line. Commit a prediction before every walk.