anchor.diff:                                   {resolve_started, Resolves}], NStats),
       CompLeft = rr_recon_stats:get(tree_compareLeft, FStats),
       if CompLeft =:= 0 ->
  -           %ct:pal("MERKLE - ~p", [FStats]),
              comm:send(DestReconPid, {shutdown, sync_finished_remote}),
              comm:send_local(self(), {shutdown, sync_finished});
          true -> ok
  
positive.code: -define(fail_inner,  4).
  -define(omit,        9).
  
  -type merkle_cmp_result() :: ?ok_inner | ?ok_leaf | ?fail_leaf | ?fail_inner.
  -type merkle_cmp_requst() :: merkle_tree:mt_node_key() | ?omit.
  
  -type request() :: 
      {start, method(), DestKey::recon_dest()} |
  
negative.code:     when
        is_subtype(RestTree,  [merkle_tree:mt_node()]),
        is_subtype(Stats,     rr_recon_stats:stats()),
        is_subtype(Requests,  [merkle_cmp_request()]),
        is_subtype(Resolve,   [merkle_tree:mt_node()]).
  process_tree_cmp_result(CmpResult, Tree, BranchSize, Stats) ->
      Compared = length(CmpResult),
  