Two Human Gates and Everything Between Is Machine-Checked

Eight phases, exactly two mandatory human moments, deterministic gates between everything, and a spend curve shaped like a barbell.