anchor.diff:    when is_bitstring(Hashes) ->
       ?TRACE1(_Msg, State),
       P1EOneLeaf = calc_n_subparts_p1e(length(MerkleSync), P1EAllLeaves),
  -    {HashesReply, BinKeyList, NStats} =
  +    {HashesReply, BinIdxList, NStats} =
           merkle_resolve_leaves_init(MerkleSync, Hashes, DestRRPid, Stats,
                                      OwnerL, Params, P1EOneLeaf),
  -    comm:send(DestRCPid, {resolve_req, HashesReply, BinKeyList}),
  +    comm:send(DestRCPid, {resolve_req, HashesReply, BinIdxList}),
       NewState = State#rr_recon_state{stats = NStats, misc = [{one_leaf_p1e, P1EOneLeaf}]},
       % do not shutdown if HashesReply is non-empty!
       case HashesReply of
  
positive.code:         _ -> NewState
      end;
  
  on({resolve_req, Hashes, BinKeyList} = _Msg,
     State = #rr_recon_state{stage = resolve,           initiator = false,
                             method = merkle_tree,      merkle_sync = MerkleSync,
                             params = Params,
                             dest_rr_pid = DestRRPid,   ownerPid = OwnerL,
                             dest_recon_pid = DestRCPid, stats = Stats,
                             misc = [{one_leaf_p1e, P1EOneLeaf}]})
    when is_bitstring(Hashes) andalso is_list(BinKeyList) ->
      ?TRACE1(_Msg, State),
      BucketSizeBits = merkle_max_bucket_size_bits(Params),
      {BinKeyListReq, NStats} =
          merkle_resolve_req_keys_noninit(
            MerkleSync, Hashes, BinKeyList, DestRRPid, Stats, OwnerL, BucketSizeBits,
            Params#merkle_params.bucket_size, P1EOneLeaf, [], [], [], false, BinKeyList =/= []),
      case Hashes of
          <<>> -> ?DBG_ASSERT(BinKeyListReq =:= []),
                  ok;
          _    -> comm:send(DestRCPid, {resolve_req, BinKeyListReq})
      end,
      shutdown(sync_finished, State#rr_recon_state{stats = NStats});
  
  
negative.code:                     end, {[], 0}, LeafNodes),
      {ToSend1, ToReq1, OBucketTree1} =
          get_full_diff(MyBuckets, OBucketTree, ToSend, ToReq, SigSize, VSize),
      ToResolve1 = [compress_k_list(OBucketTree1, OBucketHashes, SigSize, VSize,
                                    0, []) | ToResolve],
      ResolveNonEmptyAcc1 =
          ?IIF(gb_trees:size(OBucketTree1) =/= 0, true, ResolveNonEmptyAcc),
      {NHashes, ToSend1, ToReq1, ToResolve1, ResolveNonEmptyAcc1, NLeafNAcc}.
  