Executable specs only help when the verifier runs in CI. I treat the spec as a failing test until the automation proves the same path twice.