verify_consistency
Confirm a store is a consistent forward-extension of an out-of-band anchor by re-deriving chain tips. Detect rollbacks, rewrites, or re-signed history, returning consistency status and problems.
Instructions
Detect an APPEND-ONLY VIOLATION against a prior_anchor an auditor recorded out of band: re-derive each
chain's tip and confirm the store is a consistent forward-extension of the witnessed anchor (nothing was
rewritten, rolled back, or re-signed away). Returns {consistent, problems}. This is the operator-adversarial
check verify_writes() cannot do on its own — it catches a store operator who forged history and re-signed it,
because the forged tip won't reconcile with the tip an outsider already pinned. Deterministic, no LLM.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| prior_anchor | Yes |