crash-withheld-job-reply
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
The backend accepts an activation job but its reply is withheld, and the owner is killed before the job id is journaled. Recovery must discover the job by its OpId, or fence it, before making any conflicting mutation.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | must-pass | invariants: I6, I15; journal_agrees: true; no_overlap: activate_live(candidate), activate_live(revert_to); quiescence_includes_tagged_jobs: true | fake: PASS |