 Solution

Write the residual process asFor $s<t<1$, the filtration tells us whether each $U_i$ has arrived by time $s$, and its exact arrival time if it has. On $\{U_i>s\}$, its conditional law is uniform on $(s,1)$. Independence of the original $U_i$ means that the histories of the other arrivals do not alter this law. HenceThis conditional identity can also be checked against products of bounded functions of the censored arrival times and extended to ${\mathcal{F}}_s$ by the Monotone class theorem. Summing the identity gives $\mathbb{E}[M_t\mid {\mathcal{F}}_s]=M_s$.

Each $M_t$ is adapted and integrable, withIts paths are smooth between the finitely many arrival times and have downward jumps of size ${\theta }_i/(1-U_i)$ at arrivals before time one. The indicators use $U_i>t$, so the value at a jump is the post-jump value: paths are right continuous with finite left limits on $[0,1)$. Thus $M$ is a càdlàg martingale, specifically the uniform-arrival residual mass martingale.