anchor.diff:  -spec merkle_resolve_retrieve_leaf_hashes(
           Hashes::bitstring(), P1E::float(), MyMaxItemsCount::non_neg_integer(),
           BucketSizeBits::pos_integer())
  -        -> {NHashes::bitstring(), OtherBucketTree::kv_tree(),
  +        -> {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,
  
positive.code: %%      Inner(NI)-leaf(I) mismatches will work with the compressed KV-List from
  %%      the initiator.
  -spec merkle_resolve_req_keys_noninit(
          Sync::[merkle_sync()], Hashes::bitstring(), BinKeyList::[[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(), BinKeyListNonEmpty::boolean())
          -> {HashesReq::[[bitstring()]], NewStats::Stats}
      when is_subtype(Stats, rr_recon_stats:stats()).
  merkle_resolve_req_keys_noninit([{leaf, leaf, LeafNode} | TL], Hashes,
                                  [_ReqKeys | _] = BinKeyList, DestRRPid,
  
negative.code: %% @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()],
          ResolveNonEmpty::boolean(), LeafNodesAcc::non_neg_integer(),
          Initiator::boolean())
          -> {HashesReq::[bitstring()], NewStats::Stats}
      when is_subtype(Stats, rr_recon_stats:stats()).
  merkle_resolve(DestRRPid, Stats, OwnerL, ToSend, ToReq, ToResolve,
                 ResolveNonEmpty, LeafNAcc, Initiator) ->
  