[RFC-0005] Implement SimDisk #88
Description
TASK-003: Implement SimDisk
RFC: RFC-0005 - Deterministic Simulation Testing
Component: Simulated Disk
Estimate: m
Description
Create SimDisk with in-memory file storage. Track pending writes separately from committed. Implement crash() that loses pending writes.
Acceptance Criteria
- AC-005: Checksums detect all simulated disk corruption
- Verification: Inject corruption, verify read returns ChecksumMismatch error
- AC-006: Unfsynced writes lost on simulated crash
- Verification: Write without fsync, crash, verify data not present after recovery
- AC-008: Fault injection covers: node crash, network partition, slow disk, disk corruption
- Verification: API supports all fault types, simulation tests use each type
Dependencies
Depends on: TASK-001