Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

revert-fails-interlock-survives-compaction

planarian @ a924e09 · Spec v4.6 · snapshot main · all versions

A failed revert, then forced compaction, then both processes restart. Autonomous mutation stays blocked until the resolution is durably recorded.

HarnessScoringExpectsLatest verdict
fake, vmmust-passinterlock: set; no_autonomous_txn: true; replay_equivalent: true; units: service:gym-cache Failedfake: PASS; VM: not run in this build

What it exercises

No invariant by name.