Pads synchronize epochs — they do not compute new Boolean function. Public rule: k = nlong − nshort on the short path. Overhead costs area, bias, clock leaves, and latency.
Clock style does not cancel k. Concurrent or counter-flow still needs matched epochs at the merge. Recount depths after each merge — balancing is global, not a one-sticker fix.