Evaluation boundary
What should an agent memory evaluation isolate?
An agent memory evaluation should isolate memory-module quality, agent behavior, environment outcome, and operated-system behavior. Correct retrieval can still produce a bad answer. A correct decision can still meet host or worker failure. No layer stands in for another, so each case records the earliest divergence.
| Target | Observe | Do not infer |
|---|---|---|
| Memory module | Writes, versions, retrieved IDs, ranks, and source links | That the agent used returned evidence correctly |
| Agent behavior | Answer claims, citations, abstention, tool choice, and arguments | That a proposed tool call changed external state |
| Environment | Independent state readback after an attempted action | That every internal component stayed healthy |
| Operated system | Queue, retries, latency stages, resource use, and failure state | That a behavior score explains an outage |
Failure attribution should follow the owned boundaries in the agent memory architecture guide. Record expected state before a run, then name the first component whose observable output differs.
Synthetic conformance fixture
Downloadable LANTERN-1 fixture
Download LANTERN-1 as JSON
Media type: application/json. Suite:
LANTERN-1-20260828. Released-byte SHA-256:
ff2551ea54b0065ea778eaf990ddaacdddc213d926a15c5b6eed89add22d6afc.
Fixture duties in execution order
- Reset the adapter and start the virtual clock.
- Ingest scoped synthetic events and record formation operations.
- Recall and answer current, valid-time, stale, and foreign evidence probes.
- Decide before confirmation, record one scoped attestation, then decide again.
- Execute with scope, actor, action, decision, expected state, and one retry key.
- Read downstream state independently after the committed effect.
- Report a receipt with that independent state, then verify receipt truth.
- Delete one superseded record with its own idempotency key.
- Erase one scope and scan every declared lifecycle surface.
| Boundary | Cases | Expected contract |
|---|---|---|
| Formation | noop-filler, draft-address, late-correction |
NOOP, ADD, and UPDATE with source, target, valid time, and version state |
| Isolation | foreign-canary |
Scope B retrieves BLUE-CANARY-7Q9 while Scope A cannot |
| Write retry | write-replay, write-conflict |
An identical retry reuses the result while changed payload reuse conflicts |
| Action | before-confirmation, scoped-attestation, after-confirmation |
Ask before execution, record an attestation, then permit host checks |
| Effect and receipt | effect-retry, receipt-retry |
One authorized effect, independent readback, and truthful receipt after response loss |
| Deletion | targeted-delete, scope-erasure |
delete_record uses its own key, then scope erasure preserves Scope B |
Compact valid JSON excerpt
{
"schema_version": "1.0",
"suite_id": "LANTERN-1-20260828",
"adapter_contract": {
"execute": {
"input": ["scope", "actor", "action", "decision_id", "expected_state", "idempotency_key"],
"output": ["effect_id", "authorization_result", "state_check_result"]
},
"read_state": {
"input": ["scope", "actor", "resource", "read_at"],
"output": ["independent_state"]
},
"report_receipt": {
"input": ["scope", "effect_id", "host_report", "independent_state", "idempotency_key"],
"output": ["receipt_id", "receipt_truth"]
},
"delete_record": {
"input": ["scope", "actor", "record_id", "expected_version", "idempotency_key"],
"output": ["operation", "deleted_record_id", "retained_record_ids"]
}
}
}
Reproducibility record
Illustration Pin the fixture hash, adapter version, model ID, prompt, retrieval and context budgets, judge anchors, exclusions, seed, and virtual-clock policy. Retain raw outputs and operational failures with the metric vector. A changed model, index, policy, dependency, or host path creates a new run identity.
External research The peer-reviewed Datasheets for Datasets article motivates dataset documentation E17. Pineau's peer-reviewed JMLR article reports NeurIPS reproducibility practices E18. Neither source defines LANTERN fields or run identity.
Formation metrics
How should memory formation be scored?
Score memory formation by comparing expected and observed ADD, UPDATE, DELETE, and NOOP decisions, then inspect candidate content and binding. Operation macro F1 averages class-level scores across those decisions. It cannot show whether a retained fact has the correct source, target, time, privacy treatment, or downstream value.
| Metric group | What it checks | Failure example |
|---|---|---|
| Operation | Per-class precision, recall, and macro F1 for ADD, UPDATE, DELETE, and NOOP | Content-free filler becomes a stored record |
| Atomic content | Atomic-fact precision and recall, target binding, and source-span support | An address is attached to the wrong order |
| Admission | Unsupported candidate rate, duplicate rate, and sensitive-data capture | A derived guess is stored as a sourced statement |
| Time and resources | Temporal normalization, formation latency, model calls, tokens, and write cost | Delivery time replaces the earlier event time |
NOOP matters because an indiscriminate writer should not gain credit for retaining every turn. Report class support and a confusion matrix beside macro F1 so rare DELETE cases do not disappear inside an aggregate.
Retrieval and answer metrics
How should retrieval and answers be scored separately?
Score retrieval against required, stale, and forbidden evidence before scoring its answer. A correct answer can hide poor retrieval, while correct retrieval can yield unsupported claims. Grounding links claims to cited evidence, but it does not prove that evidence is true, current, or authorized for action.
| Layer | Measures | Diagnostic question |
|---|---|---|
| Candidate set | Recall at k, recall-all at k, precision at k, stale at k, forbidden at k | Did the bounded result contain every required item without superseded or foreign evidence? |
| Ranking | Mean reciprocal rank and normalized discounted cumulative gain | How early did the first useful item appear, and was graded relevance ordered well? |
| Grounding | Atomic-claim support and citation completeness | Does each answer claim point to evidence that supports it? |
| Answer | Correctness, temporal validity, authorization validity, and abstention | Did the response use the right time and scope, or decline when support was absent? |
External research A peer-reviewed ACM Transactions on Information Systems article grounds normalized discounted cumulative gain E01. Peer-reviewed NAACL work on KILT couples answers with provenance in its benchmark E02.
External research Rashkin and colleagues' peer-reviewed Computational Linguistics article defines AIS as Attributable to Identified Sources E03. AIS evaluates whether output has identified support. It does not establish source truth. Peer-reviewed EMNLP work on FActScore demonstrates atomic decomposition in its published setting E04.
Lifecycle and security
How should updates, isolation, and erasure be tested?
Test updates, isolation, and erasure at named checkpoints after writes, corrections, conflicts, retries, deletions, restarts, and restores. State checkpoint accuracy compares observed with expected memory after an event. An end-state pass can miss earlier leakage, stale answers, duplicate versions, or over-erasure.
| Checkpoint | Expected state | Blocking divergence |
|---|---|---|
| After draft ADD | Address v1 is sourced, scoped, and not actionable | Action proceeds without the required attestation |
| After Scope B canary | Scope B can retrieve it and Scope A cannot | A foreign read or write crosses scope |
| After late UPDATE | Address v2 is current and v1 remains historical for its valid time | V1 appears in a current answer |
| After replay and conflict | The version stays fixed and changed payload reuse does not mutate state | A duplicate version or conflicting write appears |
| After targeted DELETE | V1 is unavailable while v2 remains | The current address is erased with the old value |
| After scope erasure | Declared Scope A surfaces contain no recoverable content and Scope B remains | Residue or over-erasure appears |
Add corrections, same-time conflicts, expiry, suppression, cross-scope reads and writes, reindexing, cache refill, worker restart, and backup restore. A physical-erasure claim reaches no farther than the declared surfaces and deadline that were scanned. The agent memory security guide covers the related threat model.
Action and operations
How should action and retry failures be measured?
Measure action and retry failures at decision, host, environment, retry, and receipt boundaries. When a system exposes act, ask, and abstain, score their confusion matrix separately from tool choice and arguments. Those outcomes do not establish authorization or execution. The host must check permission, live state, and business rules.
| Boundary | Measure | Fault to inject |
|---|---|---|
| Decision | Outcome confusion, required evidence, tool choice, and arguments | Stale evidence or missing attestation |
| Commit | Authorization at commit time and final environment state | Permission revocation or changed live state |
| Retry | Duplicate effects and conflicting payload rejection | Failure before commit or response loss after commit |
| Receipt | Receipt truth against independent downstream readback | Receipt loss, false status, or an unlinked effect ID |
| Operations | Queue and stage latency, model calls, tokens, storage growth, and cost per safe success | Rate limiting, delayed visibility, or worker death |
Retry the same key with equal and conflicting payloads. Receipt truth means agreement between a host-reported receipt and an independent state read within the declared check. Report operational error as a distinct non-pass state so a timeout cannot be counted as either safe behavior or a behavioral regression.
Benchmark coverage
Which public benchmark fits each memory question?
Choose a public benchmark by its measured ability, then add a private fixture shaped like the deployed workload. Results remain bounded by dataset version, model, prompts, retrieval budget, judge, and task environment. No listed benchmark covers formation, retrieval, lifecycle, isolation, action, operated recovery, and erasure together.
| Public work | Directly measures in its published task | Outside that boundary |
|---|---|---|
| LoCoMo | Long-conversation questions, event summaries, and multimodal dialogue | Operated actions and erasure scans |
| LongMemEval | Extraction, cross-session reasoning, updates, time, and abstention | Host effects and physical deletion |
| MemoryAgentBench | Retrieval, test-time learning, long-range understanding, and selective forgetting | Proof of storage-surface erasure |
| PM-Bench | Delayed intentions, cues, cancellation, and monitoring | General memory lifecycle quality |
| MemOps | Proposed operation traces for remembering, forgetting, updating, reflecting, and composition | Physical erasure, with preprint status retained |
| Memora | Downstream penalties for obsolete-memory reuse | Inspection of every retained surface |
| Mem2ActBench | Memory-grounded tool selection and arguments | Real side effects and independent receipts |
| tau-bench | Final environment state and repeated task success | Memory formation, as it is not a memory benchmark |
| PerMem-Bench | Session-level worth-storing decisions in a proposed setup | Operated isolation and recovery, with preprint status retained |
| LongMemEval-V2 | Proposed state, workflow, premise-awareness, and query-latency evaluation | Release fitness, with preprint status retained |
Pin the MemoryAgentBench artifact commit beside the paper terminology when reproducing that work. External research E08
Release gates
How should memory tests block a release?
Memory tests should block releases through explicit gates tied to risk, ownership, and cadence. Deterministic safety assertions fail independently of baseline comparison. An unchanged baseline cannot excuse foreign-scope access, unauthorized action, stale answers, duplicate effects, false receipts, or erasure residue. Operational failure remains a separate non-pass state.
| Clock | Coverage | Gate output |
|---|---|---|
| Pull request | Deterministic fixtures and absolute safety assertions | Pass, behavioral fail, or operational error |
| Nightly | Real models, paraphrases, repeated seeds, and anchored judges | Metric vector with variance and raw cases |
| Weekly | Concurrency, faults, erasure and restore, privacy probes, and load | Boundary failures assigned to owners |
| Release | Selected public tasks and a deployment-shaped private holdout | Signed decision with setup and exceptions |
Store the earliest failing boundary, reproduction inputs, affected scope, and owner with each result. NIST AI Risk Management Framework 1.0 supports documented measurement practice, but it defines no agent-memory score or release threshold. External research E16
Bounded product mapping
Current ContextDB mapping
Current ContextDB behavior
At repository snapshot d59c1b9, the Memory CI command-line package is Available and hosted Memory CI is Hosted Alpha. Memory CI runs bounded deterministic recall and action cases against a pinned baseline. It is a customer regression tool, not a public scientific benchmark.
This neutral guide covers formation scoring, retrieval, grounding, lifecycle checkpoints, public benchmark selection, faults, receipts, latency, cost, and erasure assertions. The product Memory CI page owns its current workflow and behavior. Current hosted operation does not establish scale, availability, formation scoring, physical erasure, downstream side-effect truth, or cross-vendor comparability. LANTERN-1 is not a ContextDB contract.
Evaluation FAQ
Questions about agent memory evaluation
Which metric catches missing evidence in a multi-hop answer?
Recall-all at k checks whether every required evidence item appears within the first k results. Pair it with atomic-claim support and citation completeness. Retrieval may contain every item while an answer omits a reasoning step. A supported answer may still use stale or unauthorized evidence, which needs separate checks.
How should stale memories be scored?
Report stale at k as the count or rate of superseded or invalid items in the first k results. Add a blocking assertion when an obsolete item changes the current answer. Preserve historical evidence for valid-time queries because a past item may remain correct for an earlier interval.
When is an LLM judge appropriate for memory evaluation?
A large language model judge can help score semantic qualities that deterministic rules cannot express cheaply. Pin its model, prompt, rubric, anchors, and seed. Calibrate against human review, retain raw outputs, and report disagreements. A judge is not ground truth and cannot replace deterministic isolation, retry, receipt, or erasure assertions.
Which baselines show whether memory helps?
Useful baselines include no memory, eligible full history, a recency or keyword method, oracle evidence, and the deployed configuration. Hold model, prompt, context budget, and task inputs fixed where possible. A gain against one baseline explains that setup and does not establish general memory quality.
How should retry and receipt tests inject faults?
Inject pre-commit failure, post-commit response loss, duplicate delivery, receipt loss, visibility lag, and worker death. Retry an equal payload with the same key, then a conflicting payload. Count effects independently and compare each host-reported receipt with independently observed downstream state rather than trusting it alone.
Can a public benchmark prove tenant isolation or erasure?
No. A public benchmark can test isolation or forgetting inside its environment, but it cannot inspect another deployment's authentication, authorization, indexes, caches, logs, exports, provider copies, or backups. Use synthetic foreign-scope canaries and a declared surface scan on the operated system, then report its tested scope and deadline.
Source ledger
Primary sources and maturity
Each entry states publication maturity and its use here. Benchmark descriptions remain bounded to published tasks and artifacts.
- External research Järvelin and Kekäläinen, Cumulated Gain-Based Evaluation of IR Techniques, 2002. Peer-reviewed ACM Transactions on Information Systems article. Grounds normalized discounted cumulative gain.
- External research KILT, Petroni et al., 2021. Peer-reviewed NAACL paper. Couples downstream answers with provenance in its tasks.
- External research Rashkin et al., Measuring Attribution in Natural Language Generation Models, 2023. Peer-reviewed Computational Linguistics article. Supports the Attributable to Identified Sources human evaluation protocol. AIS does not establish source truth.
- External research FActScore, Min et al., 2023. Peer-reviewed EMNLP paper. Supports atomic factual precision as one answer diagnostic.
- External research LoCoMo, Maharana et al., 2024. Peer-reviewed ACL paper. Covers its long-conversation tasks, not operated action or erasure.
- External research LongMemEval, Wu et al., 2025. Peer-reviewed ICLR paper. Covers extraction, reasoning, updates, time, and abstention in its setup.
- External research MemoryAgentBench, Hu et al., 2026. Peer-reviewed ICLR paper. Selective forgetting does not prove physical deletion.
- External research MemoryAgentBench artifact. Research artifact. Pin its commit with the paper terminology.
- External research PM-Bench, 2026. COLM conference paper with linked arXiv record. Covers delayed intentions in its synthetic task.
- External research MemOps, Hao et al., 2026. External preprint. Proposed operation traces do not establish physical erasure.
- External research Memora, Uddin et al., 2026. Peer-reviewed Findings of ACL paper. Penalizes obsolete-memory reuse in its setting.
- External research Mem2ActBench, 2026. Peer-reviewed ACL paper. Evaluates memory-grounded tool choice and arguments, not real effects.
- External research tau-bench, 2025. Peer-reviewed ICLR paper. Evaluates environment state and repeated task success, not memory formation.
- External research PerMem-Bench, 2026. External preprint. Proposes session-level worth-storing evaluation.
- External research LongMemEval-V2, 2026. External preprint. Proposes state, workflow, premise-awareness, and query-latency tasks.
- External research NIST AI Risk Management Framework 1.0. Final voluntary framework. Supports documented measurement practice, not an agent-memory score.
- External research Datasheets for Datasets, Gebru et al., 2021. Peer-reviewed Communications of the ACM paper. Supports dataset documentation.
- External research Improving Reproducibility in Machine Learning Research, Pineau et al., 2021. Peer-reviewed JMLR paper. Supports reproducibility reporting, not product release thresholds.