Tag
This paper introduces invalidation contracts as a protocol for LLM agents to manage cached recovery suggestions across episodes, addressing server-side data drift and improving token efficiency by evicting stale entries while maintaining high compliance rates.
The article identifies 'tree mapping'—the challenge of representing general graphs as hierarchical structures—as a third hard problem in computer science, alongside naming things and cache invalidation, and explores its manifestations in file systems, writing, architecture, and biology.