anchor.diff:           dest_recon_pid     = undefined                                 :: comm:mypid() | undefined, %dest recon process pid
            method             = undefined                                 :: method(),
            dest_interval      = intervals:empty()                         :: intervals:interval(),
  -         struct             = {}                                        :: struct() | {},
  +         struct             = {}                                        :: parameters() | {},
            stage              = req_shared_interval                       :: stage(),
            initiator          = false                                     :: boolean(),
            stats              = rr_recon_stats:new()                      :: rr_recon_stats:stats()
  
positive.code:          interval = intervals:empty()                       :: intervals:interval(),
           bloom    = ?required(bloom_recon_struct, bloom)    :: ?REP_BLOOM:bloom_filter()         
          }).
  -type bloom_recon_struct() :: #bloom_recon_struct{}.
  
  -type internal_params() :: {reconPid, comm:mypid()} |
                             {art, art:art()}.
  
  -type struct() :: bloom_recon_struct() |
                    merkle_tree:merkle_tree() |
                    art:art() |                        
                    [internal_params()] |
                    [merkle_tree:mt_node()].
  -type recon_dest() :: ?RT:key() | random.
  
  -record(rr_recon_state,
  
negative.code:             rr_recon_stats:set(
                [{tree_compareLeft, ?IIF(Initiator, 1, 0)},
                 {tree_size, merkle_tree:size_detail(SyncStruct)}], Stats);
          bloom when Initiator =:= false ->
              send(DestRRPid, {continue_recon, comm:make_global(OwnerL), SID,
                               {start_recon, bloom, SyncStruct, true}}),
              send_local(self(), {shutdown, {ok, build_struct}}),
              Stats;
          art ->
  