Consider a Levy process $L(t)$ with linear drift $-1$, no Brownian motion component, and Poisson jumps at rate 2 with size Uniform($0, 1$), and with $L(0)=0$. This process has zero mean drift.
Let $\tau_n$ be the stopping time corresponding to the first time $t$ when either $L(t) \ge n$ or $L(t) \le -n$.
I'm interested in the distribution $X_n := [L(\tau_n) - n | L(\tau_n) \ge n]$, the amount by which $L$ jumps over the upper limit $n$. I call this the "exceedance distribution", I don't know if it has a name in the literature.
Question: In the $n \to \infty$ limit, does $X_n$ converge to a limiting distribution? If so, what distribution?
In simulation, $X_n$ appears to converge to the following distribution: