Suggested Is Not Superseded: A Pre-Registered Evaluation of a System-One Model as a Memory-Retirement Gate
Organizations: Dimension Gate · New York University.
Abstract
Long-term memory for assistants needs a gate that decides when a new utterance retires an old stored claim. Benchmark labels for this step mark a pair as changed or not, so they cannot tell a gate that acts on established change from one that acts on a hint. We write a task contract that separates the two (SUPERSEDED vs. NEEDS-CONFIRMATION vs. COMPATIBLE), label 500 test pairs built from STALE (change pairs plus same-user controls) with three LLM annotators and two human adjudicators (one author and a second annotator; provenance reported), and evaluate Jev, a typed "System One" decision model, under pre-registered hypotheses. Of the 179 test pairs STALE marks as changed, 72 meet the contract's bar for an established change. Jev never retired a claim on 141 same-conversation non-changes. Its failure is premature retirement: the binary gate retires 39.2% of claims whose change is only suggested. A three-way decision cuts this to 15.5% at a 15.3-point detection cost, which misses our pre-registered 10-point budget, and it lands on the binary gate's own threshold frontier; these verdicts hold under three readings of the gold labels. On a held-out vault scored against a second annotator's labels, a cascade that escalated uncertain cases to a reasoning model and looked best on development data was indistinguishable from simply raising the threshold (premature retirement 26.8% vs. 6.5% on dev). Part of the gap comes from the gold labels: relative to that annotator's reading, LLM-majority gold shares most of its errors with a same-family escalation model, and an identity for binary labels says how much such shared errors hide. The rest is small-sample selection on development data. For builders this means a binary score should not be wired to delete: route suggested changes to pending evidence, and do not trust a cascade selected on development data of this size.
Figures & tables
| System | Detection | Premature | False inv. | Within-sess. | AUROC |
|---|---|---|---|---|---|
| S0 Rule: overlap | 33.3 [23.5, 44.8] | 21.6 [14.6, 30.8] | 5.1 | 8.5 | – |
| S1 MiniLM cosine | 19.4 [11.9, 30.0] | 5.1 [2.2, 11.5] | 9.7 | 21.3 | 0.542 |
| S2 Jev Noul, | 93.1 [84.8, 97.0] | 39.2 [30.0, 49.1] | 1.2 | 0.0 | 0.963 |
| S3 Jev Choice (rubric names) | 77.8 [66.9, 85.8] | 15.5 [9.6, 24.0] | 0.9 | 0.0 | 0.957 |
| S3n neutral names | 69.4 [58.1, 78.9] | 15.5 [9.6, 24.0] | 0.9 | 0.0 | 0.966 |
| System (selected on dev) | Dev det. / prem. | Vault detection | Vault premature | Vault false inv. |
|---|---|---|---|---|
| S2 Jev Noul, | 94.4/38.7 | 100.0 [83.9, 100.0] | 43.9 [29.9, 59.0] | 0.9 |
| M5 Jev Noul, | 77.8/9.7 | 95.0 [76.4, 99.1] | 26.8 [15.7, 41.9] | 0.9 |
| M4 Noul + Sonnet on | 94.4/6.5 | 95.0 [76.4, 99.1] | 26.8 [15.7, 41.9] | 0.9 |
Appendix figures & tables3 assets
Supplementary material from the paper’s appendix.
Appendix
| A1-A2 ( , ) | A1-A3 ( , ) | A2-A3 ( , ) | |||||||
| row col | SUP | NC | COMP | SUP | NC | COMP | SUP | NC | COMP |
| SUP | 56 | 17 | 0 | 40 | 33 | 0 | 71 | 35 | 0 |
| NC | 50 | 77 | 8 | 35 | 86 | 14 | 5 | 96 | 10 |
| COMP | 0 | 17 | 3 | 1 | 13 | 6 | 0 | 1 | 10 |
| A1 | A2 | A3 | majority | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| second annotator col | SUP | NC | COMP | SUP | NC | COMP | SUP | NC | COMP | SUP | NC | COMP |
| SUP | 12 | 25 | 0 | 36 | 1 | 0 | 30 | 7 | 0 | 31 | 6 | 0 |
| NC | 15 | 11 | 0 | 18 | 8 | 0 | 3 | 23 | 0 | 9 | 17 | 0 |
| COMP | 3 | 2 | 0 | 3 | 2 | 0 | 0 | 4 | 1 | 1 | 4 | 0 |
LLM Agent Memory
Large language model agent memory lets agents retain, organize, retrieve, and update information across interactions and long-running tasks.
See all 376 papers