anchor.diff:  % type definitions
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   
  --type method()         :: bloom | merkle_tree | art | undefined.
  +-type method()         :: bloom | merkle_tree | art | iblt | undefined.
   -type recon_stage()    :: req_shared_interval | res_shared_interval | build_struct | reconciliation.
   -type exit_reason()    :: empty_interval | {ok, atom()}.
   
  
positive.code: 
  -spec fork_recon(state(), rep_upd:round()) -> {ok, pid()}.
  fork_recon(Conf, {ReconRound, Fork}) ->
      State = Conf#ru_recon_state{ sync_round = {ReconRound, Fork} },
      comm:send_local(Conf#ru_recon_state.ownerLocalPid, {recon_forked}),
      gen_component:start(?MODULE, fun ?MODULE:on/2, State).
  
  
negative.code:          }).
  -type state() :: #ru_recon_state{}.
  
  -type tree_cmp_response() :: ok_inner | ok_leaf |
                               fail_leaf | fail_node |
                               not_found.
  