{"case_id": "stale_replica", "setup": "A worker resumes from a state snapshot that is older than the canonical ledger.", "expected_invariant": "detect stale revision; refuse silent overwrite; reconcile explicitly", "labels": ["synthetic", "continuity", "boundary"]}
{"case_id": "duplicate_writer", "setup": "Two workers believe they both hold write authority.", "expected_invariant": "single canonical authority or conflict receipt; no last-write-wins silence", "labels": ["synthetic", "continuity", "boundary"]}
{"case_id": "interrupted_handoff", "setup": "Worker A records intent but crashes before completion reaches Worker B.", "expected_invariant": "handoff has explicit incomplete state and can be resumed/rejected without invented completion", "labels": ["synthetic", "continuity", "boundary"]}