LLM claims validated against real data — never invented. Kremis ingests EAV signals, builds a deterministic graph, classifies every response: FACT (direct edge), INFERENCE (derived path), or UNKNOWN (not in data). No confidence scores. No probabilistic gaps. Built in pure Rust (no async, no floats in core), with ACID persistence via redb, HTTP API, CLI, and MCP bridge for Claude/Cursor. Apache 2.0. v0.17.8 — alpha, functional, tested. 354 tests passing.