Module Octez_riscv_nds_common.Nds_errors

Common error types shared by both the in-memory and on-disk backends.

Each variant is registered once with the error monad so that callers can match on a single constructor regardless of the backend.

type invalid_argument_error =
  1. | Key_not_found
  2. | Key_too_long
  3. | Io_request_too_large
  4. | Offset_too_large
  5. | Value_size_too_large
  6. | Database_index_out_of_bounds
  7. | Registry_resize_too_large
type Tezos_base.TzPervasives.error +=
  1. | Proof_deserialisation_error of string
type verification_error =
  1. | Not_found
type Tezos_base.TzPervasives.error +=
  1. | Verification_error of verification_error
type verification_argument_error =
  1. | Verification_invalid_argument of invalid_argument_error
  2. | Verification of verification_error
type Tezos_base.TzPervasives.error +=
  1. | Verification_argument_error of verification_argument_error
exception Verification_failed of verification_error

Raised by Verify-mode backends when a host-function operation diverges from what the proof recorded. Consumers (notably the WASM PVM's verify_proof) catch this at the boundary of the kernel-step replay via Lwt.catch, turning a mid-stream proof-mismatch into a clean rejection.

Lives in the common layer so both memory and disk backends raise a single, uniformly-catchable exception.