anchor.diff:  %%      Request responds with a list of {Key, Value} tuples.
   %%      The mapping to DestI is not done here!
   -spec send_chunk_req(DhtPid::LPid, AnswerPid::LPid, ChunkI::I, DestI::I,
  -                     MaxItems, Reconcile::boolean()) -> ok when
  +                     MaxItems::pos_integer() | all, Reconcile::boolean()) -> ok when
       is_subtype(LPid,        comm:erl_local_pid()),
  -    is_subtype(I,           intervals:interval()),
  -    is_subtype(MaxItems,    pos_integer() | all).
  +    is_subtype(I,           intervals:interval()).
   send_chunk_req(DhtPid, SrcPid, I, _DestI, MaxItems, true) ->
       ?ASSERT(I =:= _DestI),
       SrcPidReply = comm:reply_as(SrcPid, 2, {reconcile, '_'}),
  
positive.code: 
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec build_recon_struct(Method, DB_Chunk) -> Recon_Struct when
        is_subtype(Method,       method()),
        is_subtype(DB_Chunk,     {intervals:interval(), db_chunk_enc()}),
        is_subtype(Recon_Struct, sync_struct()).
  build_recon_struct(bloom, {I, DBItems}) ->
      Fpr = get_bloom_fpr(),
      ElementNum = length(DBItems),
      HFCount = bloom:calc_HF_numEx(ElementNum, Fpr),
      BF = ?REP_BLOOM:new(ElementNum, Fpr, ?REP_HFS:new(HFCount), DBItems),
      #bloom_recon_struct{ interval = I, bloom = BF };
  build_recon_struct(merkle_tree, {I, DBItems}) ->
      merkle_tree:new(I, DBItems, [{branch_factor, get_merkle_branch_factor()},
                                   {bucket_size, get_merkle_bucket_size()}]);
  build_recon_struct(art, {I, DBItems}) ->
      Branch = get_merkle_branch_factor(),
      BucketSize = merkle_tree:get_opt_bucket_size(length(DBItems), Branch, 1),
      Tree = merkle_tree:new(I, DBItems, [{branch_factor, Branch},
  
negative.code: 
  -spec get_chunk_filter(db_entry:entry()) -> boolean().
  get_chunk_filter(DBEntry) -> db_entry:get_version(DBEntry) =/= -1.
  -spec get_chunk_value(db_entry:entry()) -> {?RT:key(), db_dht:version() | -1}.
  get_chunk_value(DBEntry) -> {db_entry:get_key(DBEntry), db_entry:get_version(DBEntry)}.
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  