Block_handler (tezos-dal-node-lib.Tezos_dal_node_lib.Block

val new_finalized_head : 
  Node_context.t ->
  Rpc_context.t ->
  Crawler.t ->
  Tezos_crypto_dal.Cryptobox.t ->
  Tezos_base.TzPervasives.Block_hash.t ->
  Tezos_base.TzPervasives.Block_header.shell_header ->
  launch_time:float ->
  (unit, Tezos_base.TzPervasives.tztrace) Stdlib.result Lwt.t

new_finalized_head ctxt cctxt l1_crawler cryptobox block_hash shell_header ~launch_time processes a new finalized L1 block. It performs cleanup of old DAL data, updates the committee cache, re-registers the gossipsub message validation hook, and triggers block-level processing (e.g. slot header storage, shard publishing to Gossipsub, attestation analysis). This function is expected to be called for every finalized head.

val store_skip_list_cells : 
  Node_context.t ->
  Rpc_context.t ->
  Tezos_dal_node_services.Types.proto_parameters ->
  attested_level:int32 ->
  (module Dal_plugin.T) ->
  (unit, Tezos_base.TzPervasives.tztrace) Stdlib.result Lwt.t

store_skip_list_cells ctxt cctxt proto_parameters ~attested_level plugin extracts and stores the skip list cells from block_info at block_level, using the encoding from the corresponding plugin. It is used to support DAL refutation.

val remove_old_level_stored_data : 
  Tezos_dal_node_services.Types.proto_parameters ->
  Node_context.t ->
  int32 ->
  unit Lwt.t

remove_old_level_stored_data proto_parameters ctxt current_level removes all stored DAL data (slots, shards, statuses, skip list cells) associated with the level determined by the GC logic for current_level.