Finalized main_fsm interface spec