I accidentally turned LLM memory into program analysis

Jordy Zomer’s fix for agents that forget facts and revive ruled-out hypotheses: treat it as incremental program analysis, not memory. His Datalog engine, Lemmalog, tracks provenance so retracting one fact invalidates everything derived from it, using 38x fewer tokens.