Module Validate_errors.Consensus

Errors that may arise while validating a consensus operation.

type consensus_operation_kind =
  1. | Preattestation
  2. | Attestation
type Mavryk_protocol_environment_alpha.Error_monad.error +=
  1. | Forbidden_delegate of Mavryk_protocol_environment_alpha.Signature.Public_key_hash.t
  2. | Consensus_operation_not_allowed
  3. | Consensus_operation_for_old_level of {
    1. kind : consensus_operation_kind;
    2. expected : Alpha_context.Raw_level.t;
    3. provided : Alpha_context.Raw_level.t;
    }
  4. | Consensus_operation_for_future_level of {
    1. kind : consensus_operation_kind;
    2. expected : Alpha_context.Raw_level.t;
    3. provided : Alpha_context.Raw_level.t;
    }
  5. | Consensus_operation_for_old_round of {
    1. kind : consensus_operation_kind;
    2. expected : Alpha_context.Round.t;
    3. provided : Alpha_context.Round.t;
    }
  6. | Consensus_operation_for_future_round of {
    1. kind : consensus_operation_kind;
    2. expected : Alpha_context.Round.t;
    3. provided : Alpha_context.Round.t;
    }
  7. | Wrong_payload_hash_for_consensus_operation of {
    1. kind : consensus_operation_kind;
    2. expected : Block_payload_hash.t;
    3. provided : Block_payload_hash.t;
    }
  8. | Unexpected_preattestation_in_block
  9. | Unexpected_attestation_in_block
  10. | Preattestation_round_too_high of {
    1. block_round : Alpha_context.Round.t;
    2. provided : Alpha_context.Round.t;
    }
  11. | Wrong_slot_used_for_consensus_operation of {
    1. kind : consensus_operation_kind;
    }
  12. | Conflicting_consensus_operation of {
    1. kind : consensus_operation_kind;
    2. conflict : operation_conflict;
    }

Errors for preattestations and attestations.