Octez_riscv_nds_disk.VerifyVerify mode: registry, database, and verify entry point.
Operations are replayed against a proof. A divergence from the proof (data absent from it) raises Nds_errors.Verification_failed, to be caught at the Nds.with_verification boundary.
module Database :
Octez_riscv_nds_common.Intf.DATABASE with type registry := Registry.tval start_verify : Proof.t -> Registry.tstart_verify proof creates a verify-mode registry that replays operations against proof to validate the recorded state transition. Mismatches raise Nds_errors.Verification_failed from the operation that first hits the divergence.