anchor.diff:  %% @doc Helper for the final resolve step during merkle sync.
   -spec merkle_resolve(
           DestRRPid::comm:mypid(), Stats, OwnerL::comm:erl_local_pid(),
  -        ToSend::[?RT:key()], ToReq::[?RT:key()], ToResolve::[[bitstring()]],
  +        ToSend::[?RT:key()], ToReq::[?RT:key()], ToResolve::[bitstring()],
           ResolveNonEmpty::boolean(), LeafNodesAcc::non_neg_integer(),
           Initiator::boolean())
  -        -> {HashesReq::[[bitstring()]], NewStats::Stats}
  +        -> {HashesReq::[bitstring()], NewStats::Stats}
       when is_subtype(Stats, rr_recon_stats:stats()).
   merkle_resolve(DestRRPid, Stats, OwnerL, ToSend, ToReq, ToResolve,
                  ResolveNonEmpty, LeafNAcc, Initiator) ->
  
positive.code: -spec merkle_resolve_leaves_init(
          Sync::[merkle_sync()], Hashes::bitstring(), DestRRPid::comm:mypid(),
          Stats, OwnerL::comm:erl_local_pid(), Params::#merkle_params{}, P1EOneLeaf::float())
          -> {HashesReply::bitstring(), HashesReq::[[bitstring()]], NewStats::Stats}
      when is_subtype(Stats, rr_recon_stats:stats()).
  merkle_resolve_leaves_init(Sync, Hashes, DestRRPid, SID, OwnerL, Params, P1EOneLeaf) ->
      BucketSizeBits = merkle_max_bucket_size_bits(Params),
  
negative.code:      MaxLeafItemsCountDiff::non_neg_integer() % = MaxLeafCount * BranchFactor - MaxItemsCount
      } |
      {resolve_req, Hashes::bitstring()} |
      {resolve_req, Hashes::bitstring(), BinKeyList::[bitstring()]} |
      {resolve_req, BinKeyList::[bitstring()]} |
      % dht node response
      {create_struct2, {get_state_response, MyI::intervals:interval()}} |
      {create_struct2, DestI::intervals:interval(),
  