Tezos_protocol_plugin_alpha.Block_validationtype Tezos_protocol_alpha.Environment.Error_monad.error += | Sc_rollup_inbox_proof_claimed_level_mismatch of {claimed_level : Tezos_protocol_alpha.Protocol.Alpha_context.Raw_level.t;proven_level : Tezos_protocol_alpha.Protocol.Alpha_context.Raw_level.t;}Raised by check_block_operation when a refutation Proof move carries an inbox proof whose claimed level differs from the inbox level actually proven by its inclusion proof (the inbox level-confusion mitigation). Exposed so the rejection can be asserted precisely in tests.
Raised by check_block_operation when a refutation Proof move is played, during the Dissecting phase, on a distance-one section whose agreed start state is absent (None): no PVM proof can start from None, so the move traps the game in an indefensible Final_move that resolves as a Draw and burns the honest player's bond. Exposed so the rejection can be asserted precisely in tests. Carries the tick of the section's start chunk.
val init_block_validation_state :
Tezos_protocol_alpha.Protocol.validation_state ->
block_validation_stateval check_block_operation :
block_validation_state ->
Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation ->
block_validation_state Tezos_base.TzPervasives.tzresult Lwt.t