ReadGlim
SafeCommit: Certifying When Memory-Grounded Agents May Safely Act — ReadGlim