{"scenario": "unguarded-counterexample-exit", "actual": 12, "expected": 12, "pass": true}
{"scenario": "unguarded-named-invariant-violated", "actual": true, "expected": true, "pass": true}
{"scenario": "trace-contains-two-commitments", "actual": true, "expected": true, "pass": true}
{"scenario": "trace-shows-two-stale-readers", "actual": true, "expected": true, "pass": true}
{"scenario": "protected-exhaustive-exit", "actual": 0, "expected": 0, "pass": true}
{"scenario": "protected-no-error", "actual": true, "expected": true, "pass": true}
{"scenario": "protected-state-space-finished", "actual": true, "expected": true, "pass": true}
