anchor.diff:  -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}
  +        -> {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),
  
positive.code:         Sync::[merkle_sync()], Hashes::bitstring(), DestRRPid::comm:mypid(),
          Stats, OwnerL::comm:erl_local_pid(), BucketSizeBits::pos_integer(),
          MaxBucketSize::pos_integer(), P1EOneLeaf::float(), ToSend::[?RT:key()], ToReq::[?RT:key()],
          ToResolve::[[bitstring()]], ResolveNonEmpty::boolean(),
          LeafNodesAcc::non_neg_integer(), HashesReplyAcc::bitstring())
          -> {HashesReply::bitstring(), HashesReq::[[bitstring()]], NewStats::Stats}
      when is_subtype(Stats, rr_recon_stats:stats()).
  merkle_resolve_leaves_init([{leaf, leaf, LeafNode} | TL],
                             Hashes, DestRRPid, Stats, OwnerL, BucketSizeBits,
  
negative.code: -spec merkle_resolve_retrieve_leaf_hashes(
          Hashes::bitstring(), P1E::float(), MyMaxItemsCount::non_neg_integer(),
          BucketSizeBits::pos_integer())
          -> {NHashes::bitstring(), OtherBucketBin::bitstring(), OtherBucketTree::kv_tree(),
              SigSize::signature_size(), VSize::signature_size()}.
  merkle_resolve_retrieve_leaf_hashes(Hashes, P1E, MyMaxItemsCount, BucketSizeBits) ->
      <<BSize:BucketSizeBits/integer-unit:1, HashesT/bitstring>> = Hashes,
  