anchor.diff:          ],
       MissingFileSummary.
   
  -append_file_dict(Proxy, FLU_name, D) ->
  +get_file_lists(Proxy, FLU_name, D) ->
       {ok, Res} = machi_proxy_flu1_client:list_files(Proxy, ?DUMMY_PV1_EPOCH,
                                                      ?SHORT_TIMEOUT),
       lists:foldl(fun({Size, File}, Dict) ->
  
positive.code: 
                D = dict:new(),
                D2 = lists:foldl(fun({FLU, Proxy}, Dict) ->
                                         append_file_dict(Proxy, FLU, Dict)
                                 end, D, ProxiesDict),
                MissingFileSummary = make_missing_file_summary(D2, OurFLUs),
                io:format(user, "MissingFileSummary ~p\n", [MissingFileSummary]),
  
                %% Repair files from perspective of Src, i.e. tail(UPI).
                RepairMode = proplists:get_value(repair_mode, Opts, repair),
                Ds =
                    [{File, make_repair_directives(
                              ConsistencyMode, RepairMode, File, Size,
                              proplists:get_value(verbose, Opts, true),
                              Src, OurFLUs, ProxiesDict, ETS)} ||
                        {File, {Size, _MissingList}} <- MissingFileSummary],
                %% TODO: for CP mode, any file missing from the Src FLU
                %% must be deleted on all repairing FLUs
                io:format(user, "Ds ~P\n", [Ds, 20]),
                todo_yo_not_quite_ok
            catch
                What:Why ->
  
negative.code:             T_a =< T_b
      end.
  
  make_repair_directives(ConsistencyMode, RepairMode, File, Size, EpochID,
                         Verb, Src, FLUs0, ProxiesDict, ETS) ->
      true = (Size < ?MAX_OFFSET),
      FLUs = lists:usort(FLUs0),
      C0 = [begin
                %% erlang:garbage_collect(),
                Proxy = orddict:fetch(FLU, ProxiesDict),
  