pointlock-store

Pointlock's event-sourced RunLog, SQLite/WAL checkpoints, evidence store, and read-side projections.

The durability layer. An append-only RunLog folds into SQLite/WAL checkpoints (with a verify_checkpoint invariant), a content-addressed evidence store, and the read-side projection DTOs.

Part of Pointlock — compile natural-language tasks into a typed, capability-bound, crash-safe flow IR. See the architecture spine for how this crate fits in.

Writer liveness

WriterLease is the advisory per-run writer lease (design 07 §3.3 rule 5): a non-blocking exclusive flock on <root>/locks/<run>.lock that every writing segment takes before its first append and holds until it returns. A held lease is a live writer (StoreError::WriterBusy); a free lease under a running status is a crash residue and the run is resumable. The lease is advisory and unreliable on network filesystems (NFS/SMB) — keep stores on local disks.

License

Licensed under the Apache License 2.0.