List view

• #4 v0.1 – Docs & Release

  Documentation, examples, and v0.1 tagging. Focused on clarity, reproducibility, and onboarding.

  No due date
  0% complete0 open0 closed

• #3 v0.1 – Proof via Reference Engine

  Reference storage engine (toy WAL / append-only log) used to demonstrate FIRST finding real crash-consistency bugs deterministically.

  No due date

  •5/5 issues closed
  100% complete0 open5 closed

• #2 v0.1 – Public Test API

  User-facing FIRST API (first::test, first::crash_point, env.path) for writing crash-consistency tests without exposing internals.

  No due date

  •7/7 issues closed
  100% complete0 open7 closed

• #1 v0.1 – Deterministic Crash Core

  Core runtime for deterministic crash injection and restart. Includes crash points, SIGKILL termination, restart loop, and filesystem state preservation. No syscall interception. Single-threaded.

  No due date

  •5/5 issues closed
  100% complete0 open5 closed