anchor.diff:      case intervals:is_empty(SyncI) of
           false ->
               case RMethod of
  -                trivial -> fd:subscribe(DestRRPid);
  -                bloom   -> fd:subscribe(DestRRPid);
  -                merkle_tree -> fd:subscribe(DestRRPid);
  -                _ -> ok
  +                art -> ok; % legacy (no integrated trivial sync yet)
  +                _   -> fd:subscribe(DestRRPid)
               end,
               % reduce SenderI to the sub-interval matching SyncI, i.e. a mapped SyncI
               SenderSyncI = map_interval(SenderI, SyncI),
  
positive.code:                       util:tc(fun() ->
                                        compress_kv_list_p1e(
                                          NewKVList, FullDiffSize,
                                          bloom:item_count(BF), ?BLOOM_B * get_p1e())
                                end),
                    ?DBG_ASSERT(DBChunk =/= <<>>),
                    
  
negative.code:                VersionShort =:= OtherVersionShort ->
                     get_full_diff_(Rest, MyIOtKvTree2, FBItems,
                                    ReqItems, SigSize, VMod);
                 true -> % VersionShort < OtherVersionShort
                     get_full_diff_(Rest, MyIOtKvTree2, FBItems,
                                    [Key | ReqItems], SigSize, VMod)
              end
  