State_transitions (p.octez-protocol-017-PtNairob-libs.19.1.doc.octez-protocol-017-PtNairob-libs.baking.Tezos_baking_017_PtNairob.State

Source

val do_nothing : 
  Baking_state.state ->
  (Baking_state.state * Baking_actions.action) Lwt.t

Sourcetype proposal_acceptance =

| Invalid
| Outdated_proposal
| Valid_proposal

Source

val is_acceptable_proposal_for_current_level : 
  Baking_state.state ->
  Baking_state.proposal ->
  proposal_acceptance Lwt.t

Source

val make_consensus_list : 
  Baking_state.state ->
  Baking_state.proposal ->
  (Baking_state.consensus_key_and_delegate
   * Tezos_protocol_017_PtNairob.Protocol.Alpha_context.consensus_content)
    list

Source

val may_update_proposal : 
  is_proposal_applied:bool ->
  Baking_state.state ->
  Baking_state.proposal ->
  Baking_state.state Lwt.t

Source

val preendorse : 
  Baking_state.state ->
  Baking_state.proposal ->
  (Baking_state.state * Baking_actions.action) Lwt.t

Source

val extract_pqc : 
  Baking_state.state ->
  Baking_state.proposal ->
  (Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Kind.preendorsement
     Tezos_protocol_017_PtNairob.Protocol.Alpha_context.operation
     list
   * Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t)
    option

Source

val handle_proposal : 
  is_proposal_applied:bool ->
  Baking_state.state ->
  Baking_state.proposal ->
  (Baking_state.state * Baking_actions.action) Lwt.t

Source

val round_proposer : 
  Baking_state.state ->
  (Baking_state.consensus_key_and_delegate * Baking_state.endorsing_slot)
    Tezos_baking_017_PtNairob.Baking_state.SlotMap.t ->
  Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t ->
  (Baking_state.consensus_key_and_delegate * Baking_state.endorsing_slot)
    option

Source

val propose_fresh_block_action : 
  endorsements:
    Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Kind.endorsement
      Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Operation.t
      list ->
  dal_attestations:
    Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Kind.dal_attestation
      Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Operation.t
      list ->
  ?last_proposal:Baking_state.block_info ->
  predecessor:Baking_state.block_info ->
  Baking_state.state ->
  Baking_state.consensus_key_and_delegate ->
  Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t ->
  Baking_actions.action Lwt.t

Source

val propose_block_action : 
  Baking_state.state ->
  Baking_state.consensus_key_and_delegate ->
  Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t ->
  Baking_state.proposal ->
  Baking_actions.action Lwt.t

Source

val end_of_round : 
  Baking_state.state ->
  Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t ->
  (Baking_state.state * Baking_actions.action) Lwt.t

Increase the current round and propose at the new round (same level), if the baker has a proposer slot.

Source

val time_to_bake_at_next_level : 
  Baking_state.state ->
  Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t ->
  (Baking_state.state * Baking_actions.action) Lwt.t

Propose (if possible) for the first time at a new level.

Source

val update_locked_round : 
  Baking_state.state ->
  Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t ->
  Tezos_protocol_017_PtNairob.Protocol.Block_payload_hash.t ->
  Baking_state.state

Source

val make_endorse_action : 
  Baking_state.state ->
  Baking_state.proposal ->
  Baking_actions.action

Source

val prequorum_reached_when_awaiting_preendorsements : 
  Baking_state.state ->
  Operation_worker.candidate ->
  Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Kind.preendorsement
    Tezos_protocol_017_PtNairob.Protocol.Alpha_context.operation
    list ->
  (Baking_state.state * Baking_actions.action) Lwt.t

Source

val quorum_reached_when_waiting_endorsements : 
  Baking_state.state ->
  Operation_worker.candidate ->
  Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Kind.endorsement
    Tezos_protocol_017_PtNairob.Protocol.Alpha_context.operation
    list ->
  (Baking_state.state * Baking_actions.action) Lwt.t

Source

val step : 
  Baking_state.state ->
  Baking_state.event ->
  (Baking_state.state * Baking_actions.action) Lwt.t