Amendment (mavryk-protocol-alpha.Mavryk_raw_protocol

val may_start_new_voting_period : 
  Alpha_context.context ->
  Alpha_context.context Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

If at the end of a voting period, moves to the next one following the state machine of the amendment procedure.

val get_testnet_dictator : 
  Alpha_context.context ->
  Mavryk_protocol_environment_alpha.Chain_id.t ->
  Alpha_context.public_key_hash option

Return the registered testchain dictator, if any. This function will always return None on mainnet.

val is_testnet_dictator : 
  Alpha_context.context ->
  Mavryk_protocol_environment_alpha.Chain_id.t ->
  Alpha_context.public_key_hash ->
  bool

Check whether the given public key hash corresponds to the registered testchain dictator, if any. This function will always return false on mainnet.

Application of voting operations

There are two kinds of voting operations:

Proposals: A delegate submits a list of protocol amendment proposals. This operation is only accepted during a Proposal period (see above).

Ballot: A delegate casts a vote for/against the current proposal (or pass). This operation is only accepted during an Exploration or Promotion period (see above).

val apply_proposals : 
  Alpha_context.context ->
  Mavryk_protocol_environment_alpha.Chain_id.t ->
  Alpha_context.Kind.proposals Alpha_context.contents ->
  (Alpha_context.context
   * Alpha_context.Kind.proposals Apply_results.contents_result_list)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

Update the context with the effects of a Proposals operation:

Its proposals are added to the source's recorded proposals.

The recorded proposal count of the source is increased by the number of proposals in the operation.

Note that a Proposals operation from a testnet dictator (which may be set up when a test chain is initialized) has completely different effects:

If the operation contains no proposal, then the current voting period is immediately and forcibly set to a Proposal period.

If the operation contains exactly one proposal, then the current voting period is immediately and forcibly set to an Adoption period for this proposal.

validate_proposals must have been called beforehand, and is responsible for ensuring that apply_proposals cannot fail.

val apply_ballot : 
  Alpha_context.context ->
  Alpha_context.Kind.ballot Alpha_context.contents ->
  (Alpha_context.context
   * Alpha_context.Kind.ballot Apply_results.contents_result_list)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

Update the context with the effects of a Ballot operation:

The couple (source of the operation, submitted ballot) is recorded.

validate_ballot must have been called beforehand, and is responsible for ensuring that apply_ballot cannot fail.