Shuo Zhou
Author directory2026
Validity Is Not Visibility: A Lifecycle FSM for Agent Memory
Shuo Zhou | Pengcheng Xu | Shaotong qi | Li Que | Ming Sun | Han Li
Proceedings of the 2026 Conference on Empirical Methods in Natural Language Processing
Shuo Zhou | Pengcheng Xu | Shaotong qi | Li Que | Ming Sun | Han Li
Proceedings of the 2026 Conference on Empirical Methods in Natural Language Processing
Long-term memory for LLM agents must answer two questions for every stored fact: whether the fact is still true and whether it should be surfaced for a given query. We refer to these two dimensions as validity and visibility, respectively. Existing memory systems often collapse these two decisions into a single scalar score. However, current and historical queries may require opposite retrieval decisions for the same fact: a superseded fact should be hidden for a current-intent query but surfaced for a historical-intent one. This creates a structural failure mode: superseded and expired facts are collapsed onto the same validity axis. To address this problem, we propose MemFSM, a training-free retrieval-side layer that separates validity from visibility through a memory-lifecycle finite-state machine. Along the validity axis, a four-state FSM tracks whether each fact has been superseded and expired. Along the visibility axis, an intent-aware router decides whether to surface or hide a fact based on its state and the query intent. By decoupling visibility from validity, MemFSM improves performance across heterogeneous memory benchmarks and diverse LLM backbones. To evaluate memory systems under fact conflicts and diverse query intents, we further introduce ValidMem, a benchmark that annotates each fact with both supersedure and expiry labels and pairs each memory store with both current-intent and historical-intent queries.