Tape out of duration and state via spec tests