anchor.diff:              % start a (parallel) resolve
               ?TRACE("Sync (NI):~nsend:~.2p~n rcv:~.2p", [SyncNewSend, SyncNewRcv]),
               send(DestReconPid, {?check_nodes_response, FlagsBin, MyMaxItemsCount}),
  -            % resolve the leaf-leaf comparisons's items with empty leaves on the initiator as key_upd:
  +            % resolve the emptyLeaf-* comparisons's items with empty leaves on the initiator as key_upd:
               NStats1 = send_resolve_request(NStats, SyncDRK, OwnerL, DestRRPid, false, true),
               NStats2 = rr_recon_stats:inc([{tree_leavesSynced, SyncDRLCount}], NStats1),
               % allow the garbage collector to free the SyncDRK list here
  
positive.code:                              SyncAccDRK, SyncAccDRLCount,
                               SyncIN, AccCmp + 1, AccSkip,
                               NextLvlNodesActOUT, HashCmpI_OUT, HashCmpL_IN);
         (not IsLeafNode) andalso IsLeafHash ->
             % don't compare hashes -> this is an exact process based on the tags
             {MyKVItems, LeafCount} = merkle_tree:get_items([Node]),
             Sync = {MyMaxItemsCount, MyKVItems, LeafCount},
             merkle_check_node(TK, TN, SigSizeI, SigSizeL,
                               MyMaxItemsCount, OtherMaxItemsCount, Params, Stats,
                               <<FlagsAcc/bitstring, ?recon_fail_stop_inner:2>>, RestTreeAcc,
                               SyncAccSend, [Sync | SyncAccRcv], 
                               SyncAccDRK, SyncAccDRLCount,
                               SyncIN, AccCmp + 1, AccSkip,
                               NextLvlNodesActIN, HashCmpI_IN, HashCmpL_IN);
         IsLeafNode ->
  
negative.code:           {OtherMaxItemsCount::non_neg_integer(),
             MyKVItems::merkle_tree:mt_bucket(), MyItemsCount::non_neg_integer()}.
  -type merkle_sync_direct() ::
            % emptyLeaf-* mismatches with an empty leaf hash on the initiator
            % -> these are resolved directly by the non-initiator
            {MyKItems::[?RT:key()], LeafCount::non_neg_integer()}.
  -type merkle_sync() :: {[merkle_sync_send()], [merkle_sync_rcv()], merkle_sync_direct()}.
  