Add crash-tested segment-store recovery - #67

Merged

flyingrobots merged 49 commits into

mainfrom

feature/crash-recovery-matrix

Jul 30, 2026

Commits on Jul 29, 2026

Add stable durability crash points
flyingrobots
committed
38661f8
Order store initialization transitions
flyingrobots
committed
8ad009d
Add: Admit Linux ext4 store initialization
flyingrobots
committed
c60def9
Fix: Refuse replaced writer lock handles
flyingrobots
committed
5350d93
Fix: Retain root writer exclusion
flyingrobots
committed
67c2939
Add: Bound deterministic recovery inventory
flyingrobots
committed
0f0af60
Fix: Stop recovery counts at the ceiling
flyingrobots
committed
b2dffe8
Add: Read bounded filesystem recovery inventory
flyingrobots
committed
13122de
Add: Classify canonical recovery names
flyingrobots
committed
0042423
Add: Fingerprint bounded recovery stages
flyingrobots
committed
7df129b
Add: Bind recovery stages to pinned filesystems
flyingrobots
committed
8596ce4
Add: Classify retained segment stages
flyingrobots
committed
17fa15f
Add: Classify retained publication stages
flyingrobots
committed
02f761b
Add: Bind recovery stage assessments
flyingrobots
committed
b5856f7
Add: Execute idempotent stage discard
flyingrobots
committed
73c1f15
Add: Bind recovery discard to filesystem
flyingrobots
committed
9c24b77
Add: Execute complete stage recovery
flyingrobots
committed
65d41b2
Add: Bind complete stage recovery to filesystem
flyingrobots
committed
61ff6c6
Add: Define exact next-head finalization
flyingrobots
committed
a021b30
Add: Finalize recovery heads on filesystem
flyingrobots
committed
d6dbd1b
Add: Resume reusable recovery segments
flyingrobots
committed
6e00a03
Add: Resume recovery segments on filesystem
flyingrobots
committed
e4c83f6
Add: Define deterministic crash matrix cases
flyingrobots
committed
1831367
Add: Kill crash cases at deterministic readiness
flyingrobots
committed
6e3ada0
Fix: Retain crash readiness through termination
flyingrobots
committed
92d4282
Add: Verify Golden Worldline crash states
flyingrobots
committed
bfdd443
Add: Run crash matrix in CI profiles
flyingrobots
committed
fbb2667
Fix: Format crash matrix workflow contract
flyingrobots
committed
c0984e5
Docs: Record the process-death crash matrix
flyingrobots
committed
a90b2f0
Fix: Report precise crash-state mismatches
flyingrobots
committed
55b87c9
Fix: Freeze the crash matrix CLI command
flyingrobots
committed
c8cdc84
Fix: Track the crash process-group contract
flyingrobots
committed
88d447a
Fix: Gate crash contracts on repository tasks
flyingrobots
committed
b0ea839
Fix: Lock writer roots on Linux
flyingrobots
committed
c47a6f6
Fix: Open a lockable writer root handle
flyingrobots
committed
8514705
Fix: Reopen root for durable synchronization
flyingrobots
committed
1f9da85
Fix: Reopen capability directories before synchronization
flyingrobots
committed
090d0b0
Fix: Exercise production protocols in crash tests
flyingrobots
committed
1fc1ad0
Fix: Revalidate recovery stages before removal
flyingrobots
committed
3deee9d
Fix: Reopen published stores through platform admission
flyingrobots
committed
ecf4f7e
Fix: Validate protocol child filesystem profiles
flyingrobots
committed
0f7fa3d
Fix: Revalidate bytes before writable recovery handoff
flyingrobots
committed
4c26dc5
Fix: Refuse corrupt partial recovery framing
flyingrobots
committed
430b4fb
Fix: Use canonical truncation in discard fixtures
flyingrobots
committed
069d7d1
Fix: Use canonical finalization truncation fixture
flyingrobots
committed
4015d8d
Fix: Use canonical completion truncation fixture
flyingrobots
committed
19dd003
Fix: Use canonical discard truncation fixtures
flyingrobots
committed
8a26b6c
Fix: Synchronize fuzz dependency lock
flyingrobots
committed
f88ab38
Fix: Borrow Linux profile test results
flyingrobots
committed
1c8937d