FIRST v0.1.0 – Deterministic Recovery Correctness Prototype

FIRST v0.1 is an early functional prototype for deterministic crash
and recovery testing of storage engines and WAL-based systems.

What this release provides

• Deterministic crash orchestration (EXECUTION → SIGKILL → VERIFY)
• Explicit crash point enumeration
• Reliable user-space state loss simulation
• Recovery logic and invariant verification

What this release does NOT provide

• Power-loss accurate durability simulation
• Guaranteed detection of missing fsync under all kernels
• Syscall interception or concurrency testing

FIRST v0.1 should be viewed as a recovery correctness framework,
not a hardware-level durability verifier.

Intended audience

• Storage engine authors
• WAL and persistence library developers
• Engineers writing recovery code

Status

• Linux only
• Rust-only
• Prototype (v0.1)

Feedback welcome.