Eventual validity of the rounded depth choice #
The existing ceiling-logarithmic depth estimate, with a fixed multiplier nineteen, absorbs both three iterated logarithms and the fifteen-bit offset. The resulting guard makes the natural subtraction in the selected depth exact at all sufficiently large target lengths.