remove weights (formatting)
add missing abort transitions
add done states

Transitions to done states generally don't do anything, and are
triggered by errors that cannot reasonably be handled.
add state machine details to spec