Skip to main content

verify

mimir_cli

Function verify 

Source 
pub fn verify(log_path: &Path) -> Result<VerifyReport, VerifyError>
Expand description

Read-only integrity check on a canonical log.

Checks:

  1. Every record decodes cleanly until a trailing-bytes boundary.
  2. Every memory record’s SymbolId references resolve against the symbol table reconstructed by replaying the log’s SYMBOL_* events.

The report distinguishes “clean log + trailing orphans” (a recoverable state per write-protocol.md § 10) from “dangling symbol reference in committed data” (a corruption signal).

§Errors