Lemma. Finite stopping bound [ftip-00F3]

Under the rule in Definition [ftip-00F2], a run that reaches its depth cap emits at most \(D-1\) wrapped layers. If it stops earlier, it emits no more than this many. This bound is combinatorial and does not imply convergence of scores.