crash-jobs-tagged-unknown
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
jobs_tagged returns None for an unacknowledged OpId (the backend cannot say). Recovery writes RecoveryFailed instead of proceeding.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | must-pass | interlock: set; txn: RecoveryFailed ApplyChange | fake: PASS |
What it exercises
No invariant by name.