inspeximus: a zero-dependency Python agent-memory library with provable erasure and provenance-gated influence

inspeximus is an open-source Python agent-memory library with no third-party dependencies in its core, an MCP server, and ten framework adapters. Its focus is what happens when a memory is WRONG rather than how much it can recall: a fact corrected once stays corrected (deterministic keyed supersession plus an echo guard, with no LLM on the write path); an erasure produces a content-free, signed certificate, so a deletion can be verified rather than asserted; and recall(influence_only=True) gates what a memory may DRIVE on provenance rather than content. Measured, with runnable probes in the repository: a delete that reported success left the data recoverable in five of six places the application had put it; influence gating took action-hijack to 0.00 across three retrievers at a stated utility cost. Honest limits are documented next to the code: the corroboration check counts distinct source strings, which are forgeable, and the residue scan is a literal case-sensitive byte match. 1,797 tests. MIT.