Local deterministic memory and safety kernel for AI agents. Replaces vector RAG with STRATA, a cryptographically signed, append-only ledger, so every agent state carries proof. Uses causal_walk engine to trace execution failures back to their root cause, and Operator Lite to block destructive terminal terminal commands before they ever run

Local-first cross-session long-term memory for DeepSeek Harness: dual-scope SQLite stores, hybrid FTS5 + local-vector retrieval with RRF, an evidence gate, provenance audit and SM-2 spaced repetition. 23 narrow tools, zero external services, zero API keys