Provides AI agents with verified memory by decomposing insights into atomic claims, each with an executable falsifier, and re-verifying them against reality to ensure recall returns fresh facts.