durable execution

A GitHub repo for checking recorded agent runs against a TLA+ specification of the surrounding protocol. It models retries, acknowledgements, approvals, budgets, and can validate JSONL runs against the same spec.

Open-source local-first contract layer and runtime for canonical data, retrieval, durable execution, and agent-facing AI. The repo includes a quick start, capability boundaries, client/runtime notes, and examples for running locally and inspecting providers.