tezos-baking-013-PtJakart 14.0

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

type proposal_acceptance =

| Invalid
| Outdated_proposal
| Valid_proposal

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

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

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

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

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

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

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

val round_proposer : 
  Baking_state.state ->
  (Baking_state.delegate * Baking_state.endorsing_slot) Baking_state.SlotMap.t ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Round.t ->
  (Baking_state.delegate * Baking_state.endorsing_slot) option

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

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

val end_of_round : 
  Baking_state.state ->
  Tezos_protocol_013_PtJakart.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.

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

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

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

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

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

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

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