[RFC-0005] Implement SimDisk

[copyleftdev]

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