Returns a map where each endorser's pkh is associated to the list of its endorsing slots (in decreasing order) for a given level.

Returns a map where each endorser's pkh is associated to the list of its endorsing slots (in decreasing order) for a given level.

Missing pre-computed map by first slot. This error should not happen.

endorsement power ctx returns the endorsement power of the current block.

Initializes the map of allowed endorsements and preendorsements, this function must be called only once and before applying any consensus operation.

record_endorsement ctx ~initial_slot ~power records an endorsement for the current block.

The endorsement should be valid in the sense that Int_map.find_opt initial_slot allowed_endorsement ctx = Some (pkh, power).

record_preendorsement ctx ~initial_slot ~power round payload_hash power records a preendorsement for a proposal at round with payload payload_hash.

The preendorsement should be valid in the sense that Int_map.find_opt initial_slot allowed_preendorsement ctx = Some (pkh, power).

get_preendorsements_quorum_round ctx returns None if no preendorsement are included in the current block. Otherwise, return Some r where r is the round of the preendorsements included in the block.

set_preendorsements_quorum_round ctx round sets the round for preendorsements included in this block. This function should be called only once.

This function is only used in Full_construction mode.

locked_round_evidence ctx returns the round of the recorded preendorsements as well as their power.