Property-based fuzzing framework for stateful specifications

Event sourcing directly on S3-compatible object storage — no database, no server. Optimistic concurrency via conditional writes; compaction; crypto-shredding erasure.

Transaction isolation, implemented and convicted. An MVCC engine with four isolation levels including Cahill's SSI, and a dependency-graph checker that finds G0, G1a, G1b, G1c, G-single and G2-item in observed histories.

Raft consensus in TypeScript, held up by deterministic simulation: seeded partitions and crashes, the paper's five safety properties checked continuously, and every client history verified linearizable.