anchor.diff:  %%           util:ceil(
   %%             util:log2(
   %%               % note: see TODO above for P0E precision!
  -%%               1 / (1 - math:pow(1 - P1E / (2 * BucketSize), 1 / L))
  +%%               1 / (1 - math:pow(1 - P1E_L / (2 * BucketSize), 1 / L))
   %%                      )), 1, 160),
       % approx (Puiseux Series of the above):
       NextSigSizeL =
           min_max(
             util:ceil(
  -            (math:log(2 * BucketSize * L) - math:log(P1E)) / math:log(2) +
  -                (1 - L) * P1E / (BucketSize * L * math:log(16))
  +            (math:log(2 * BucketSize * L) - math:log(P1E_L)) / math:log(2) +
  +                (1 - L) * P1E_L / (BucketSize * L * math:log(16))
                      ), 1, 160),
   
  -    ?DBG_ASSERT(NextSigSizeL >= NextSigSizeI),
  -%%     log:pal("P1E: ~p, \tSigSizeI: ~B, \tSigSizeL: ~B~n"
  +%%     log:pal("P1E_I: ~p, \tP1E_L: ~p, \tSigSizeI: ~B, \tSigSizeL: ~B~n"
   %%             "Buckets: ~B, \tMyMI: ~B, \tOtMI: ~B, \tMyML: ~B, \tOtML: ~B",
  -%%             [P1E, NextSigSizeI, NextSigSizeL,
  +%%             [P1E_I, P1E_L, NextSigSizeI, NextSigSizeL,
   %%              BucketSize, MyMaxItemsCount, OtherMaxItemsCount, MyMaxLeafCount, OtherMaxLeafCount]),
  -    {P1E, NextSigSizeI, NextSigSizeL}.
  +    {P1E_I, P1E_L, NextSigSizeI, NextSigSizeL}.
   
   -compile({nowarn_unused_function, {min_max_feeder, 3}}).
   -spec min_max_feeder(X::number(), Min::number(), Max::number())
  
positive.code:         {[_|_] = RTree, MerkleSyncNew, NStats, MyMaxLeafCount, MyMaxItemsCount} ->
              NStage = reconciliation,
              OtherMaxItemsCount = OtherMaxLeafCount * BucketSize - MaxLeafItemsCountDiff,
              {P1E, NextSigSizeI, NextSigSizeL} =
                  merkle_next_signature_sizes(Params, P1ETotal, MyMaxLeafCount, MyMaxItemsCount,
                                              OtherMaxLeafCount, OtherMaxItemsCount),
              Req = merkle_compress_hashlist(RTree, <<>>, NextSigSizeI, NextSigSizeL),
              send(DestReconPid, {?check_nodes, Req, NextSigSizeI, NextSigSizeL - NextSigSizeI})
      end,
      NewState = State#rr_recon_state{stats = NStats, struct = RTree,
                                      misc = [{signature_size, {NextSigSizeI, NextSigSizeL}},
                                              {p1e, P1E}],
                                      merkle_sync = MerkleSyncNew, stage = NStage},
      if RTree =:= [] andalso MerkleSyncNew =:= [] ->
             %send(DestReconPid, {shutdown, sync_finished_remote}),
  
negative.code:             MyItemCount = merkle_tree:get_item_count(MySyncStruct),
  
              OtherItemsCount = OtherLeafCount * BucketSize - LeafItemsCountDiff,
              {P1E_I, P1E_L, NextSigSizeI, NextSigSizeL} =
                  merkle_next_signature_sizes(Params, P1ETotal, MyLeafCount, MyItemCount,
                                              OtherLeafCount, OtherItemsCount),
  
  