Discrete forest height oscillations and regeneration

The public interface collects the measurable height modulus, vanishing adjacent jumps, running-maximum and path-law tightness, and the joint walk/height limit. The proofs use discrete regenerated crossings, survival and passage estimates, finite-grid convergence, Arzelà-Ascoli, and subsequential identification.