Truncate execution tail after state transition failure