crash-simultaneous-takeover
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
The daemon and the watchdog try to take over at the same moment; exactly one wins the flock and the other backs off.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | invariants: I15; journal_agrees: true; lease_epochs_strictly_increasing: true; owners_per_epoch_max: 1 | fake: PASS; VM: not run in this build |