anchor.diff:           merkle_sync        = []                                     :: [merkle_sync()],
            misc               = []                                     :: [{atom(), term()}], % any optional parameters an algorithm wants to keep
            kv_list            = []                                     :: db_chunk_kv(),
  +         k_list             = []                                     :: [?RT:key()],
            stats              = rr_recon_stats:new()                   :: rr_recon_stats:stats(),
            to_resolve         = {[], []}                               :: {ToSend::rr_resolve:kvv_list(), ToReq::[?RT:key()]}
            }).
  
positive.code: 
  %% @doc De-compresses a bitstring with indices of SigSize number of bits
  %%      into a list of keys from the original KV list.
  -spec decompress_k_list(CompressedBin::bitstring(), KVList::db_chunk_kv(),
                           SigSize::signature_size(), AccPos::non_neg_integer())
          -> ResKeys::[?RT:key()].
  decompress_k_list(<<>>, _, _SigSize, _AccPos) ->
      [];
  decompress_k_list(Bin, KVList, SigSize, AccPos) ->
      <<KeyPos:SigSize/integer-unit:1, T/bitstring>> = Bin,
      [{Key, _Version} | KVList2] = lists:nthtail(KeyPos - AccPos, KVList),
      [Key | decompress_k_list(T, KVList2, SigSize, KeyPos + 1)].
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  % SHash specific
  
negative.code:    State = #rr_recon_state{stage = resolve,           initiator = Initiator,
                             method = RMethod,
                             dest_rr_pid = DestRRPid,   ownerPid = OwnerL,
                             k_list = KList,          stats = Stats})
    when (RMethod =:= trivial andalso not Initiator) orelse
             ((RMethod =:= bloom orelse RMethod =:= shash) andalso Initiator) ->
      ?TRACE1(_Msg, State),
      IdxSize = bits_for_number(length(KList)),
      NewStats =
          case decompress_k_list(BinReqIdxPos, KList, IdxSize, 0) of
              [] -> Stats;
              ReqKeys ->
                  SID = rr_recon_stats:get(session_id, Stats),
  