initial commit of state machine spec