Module Tezos_dal_node_lib.Accuser

val inject_entrapment_evidences : (module Dal_plugin.T with type attestation_operation = 'attestation_operation and type dal_attestation = 'dal_attestation and type tb_slot = 'tb_slot) -> ('tb_slot * 'attestation_operation * 'dal_attestation option) list -> (int * (Tezos_crypto.Signature.public_key_hash * int Tezos_base.TzPervasives.trace)) Tezos_base.TzPervasives.trace -> Node_context.t -> Rpc_context.t -> attested_level:int32 -> ('tb_slot -> int) -> unit Tezos_base.TzPervasives.tzresult Lwt.t

inject_entrapment_evidences plugin attestations node_ctxt rpc_ctxt attested_level processes and injects trap evidence retrieving traps from a specific published level according to the attested_level, filtering them to identify injectable ones. It then injects an entrapment evidence for each injectable trap that is actually attested in attestations.

Guarded by proto_parameters.incentives_enable.