晨露未晞,花已上路
SafeCommit: Certifying When Memory-Grounded Agents May Safely Act - CloudYume