anchor.diff:             % note: the actual P1E(phase1) may be different from what the non-initiator expected
              P1E_p1_real =
                  shash_worst_case_failprob(SigSize, OrigDBChunkLen, MyDBSize1, ExpDelta),
  -           P1E_p2 = calc_n_subparts_p1e(1, P1E, (1 - P1E_p1_real)),
  +           P1E_p2 = calc_n_subparts_p1e(1, P1E, P1E_p1_real),
              Stats1  = rr_recon_stats:set([{p1e_phase1, P1E_p1_real}], Stats),
              CKidxSize = mymaps:size(OtherDBChunk1),
              StartResolve = NewKVList =/= [] orelse CKidxSize > 0,
  
positive.code:                 end,
              Stats2  = rr_recon_stats:set([{p1e_phase1, P1E_p1}], Stats1),
              % NOTE: use left-over P1E after phase 1 (ART) for phase 2 (trivial RC)
              P1E_p2 = calc_n_subparts_p1e(1, P1E, (1 - P1E_p1)),
              
              Stats3 = rr_recon_stats:inc([{tree_nodesCompared, NComp},
                                           {tree_compareSkipped, NSkip},
  
negative.code:     % P1E_p1_real = 1 - (1 - P1E_p1_bf_I_real) * (1 - P1E_p1_bf_NI_real),
      P1E_p1_real = P1E_p1_bf_I_real + P1E_p1_bf_NI_real - P1E_p1_bf_I_real * P1E_p1_bf_NI_real,
      % NOTE: use left-over P1E after phase 1 (bloom) for phase 2 (trivial RC)
      P1E_p2 = calc_n_subparts_p1e(1, P1E, P1E_p1_real),
      ?ALG_DEBUG("I:~.0p, P1E_bf=~p~n"
                 "  Bloom1: m=~B k=~B BFCount=~B Checks=~B P1E_bf1=~p~n"
                 "  Bloom2: m=~B k=~B BFCount=~B Checks=~B P1E_bf2=~p~n"
  