memory_verify
Verify a memory's stored claims against the live filesystem and git state, confirming paths, versions, and configurations remain accurate.
Instructions
Bump last_verified_at to now after spot-checking that a memory's claims still match reality (file paths exist, version still matches, configuration still what it says).
Orthogonal to content edits: this tool does NOT bump updated; memory_update does NOT bump last_verified_at. A typo fix bumps updated only; a verify call bumps last_verified_at only. Idempotent — calling twice slides the timestamp forward.
Parameters:
id: memory id.note(optional, ≤500 chars): what was checked, for the event log.verified_paths(optional list of strings): the ONLY attestation the drift legs read — checked against the memory's own worktree, and the anchor narrowing commit drift. Prefer it when the memory cites paths. Paths absent here are REFUSED.verified_commits/verified_versions(optional lists): audit trail only; nothing on the read path resolves them.verified_absent_paths(optional): attest paths INTENTIONALLY absent here (remote host, other platform, not-the-location) — reported underexpected_absent, notmissing. Never for real drift.claims(optional): memory_write's claim syntax; checked NOW, false ⇒ refused. Stored claims re-check on every verify — a false one blocks the stamp; memory_update first. All five lists are REPLACE, not append —Nonepreserves the prior attestation,[]clears it, a populated list supersedes it. Attest the full set each time.
After memory_update on a memory you later spot-check, verify again — memory_update clears last_verified_at because the prior verification was for prose that no longer exists.
Returns status="stale" when another agent verified first; the hint says to re-fetch and re-attest.
Also resolves an unresolved record_use(contradicted) flag in memory_health when the body still matches reality.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| id | Yes | ||
| note | No | ||
| claims | No | ||
| verified_paths | No | ||
| verified_commits | No | ||
| verified_versions | No | ||
| verified_absent_paths | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||