■ FILLED — MEASURED by a run
■ DECLARED — typed when the row was walked; NOT executed
■ CLOSED — not owed, the gate completes as a switch
■ OWED — empty or not in format
every cell is a gate · a row is COMPLETE only when all 20 pass ·
a COMPLETE row is still UNPROVEN until something has RUN it