write-ahead-log
Deterministic proof-carrying decision core with replay verification, WAL, and fixed-point budget proofs
Make any Python function crash-proof in 3 lines. The zero-daemon durability kernel for AI agents & scripts.
Append-only handoff format for multi-session AI threads. Linear write cost at depth, full audit lineage. Any AI family.
A LSM-Tree key/value database in Python.
