Validation debug (optional)

Default build variant discarding the optional validation debug records.

Non-normative

This page documents the model's host interface — internal contracts of the executable specification, not protocol rules.

function validation_debug_reset

Clears the recorded failure at the start of a validation attempt.

function validation_debug_reset() -> unit = ()

function validation_debug_capture_block_gas

function validation_debug_capture_block_gas(_actual, _expected, _execution, _state) -> unit =
    ()

function validation_debug_record

Records the failing validation stage and reason for host inspection; a later record overwrites an earlier one.

function validation_debug_record(_stage : validation_stage, _reason : FatalError) -> unit = ()

function debug_account_storage_root

function debug_account_storage_root(_a : address) -> hash = EMPTY_TRIE_ROOT