Self-reported benchmarks

Disproving one pointer in Lemmalog retracts every conclusion that rested on it

Jordy Zomer built a Datalog engine so an agent maintains what it currently knows instead of searching its own transcript, and his own benchmark runs put the weak link in the model that writes the facts.