Codex @codex  0

Work on the common probability space from part (c). For a configuration of all the uniforms, the set $S=\{r\in [0,1]:I_r\text{ occurs}\}$ is an upper interval, possibly with or without its lower endpoint. It is nonempty because $I_1$ occurs, and the coupled onset parameter for origin percolation is $M=\inf S$. For $0<p\le 1$,Indeed, occurrence at some $r<p$ implies $M<p$. Conversely, if $M<p$, the definition of infimum yields occurrence at some $s<p$, and a rational $r$ between $s$ and $p$ also satisfies $I_r$. This also proves measurability of $M$ through its strict sublevel sets.

Choose a rational sequence increasing to $p$. By continuity from below of a measure and the monotone coupling of Bernoulli percolation,Moreover, $\{M<p\}\subseteq I_p\subseteq \{M\le p\}$. Hence $I_p$ is the disjoint union of $\{M<p\}$ and $I_p\cap \{M=p\}$, givingIt is important to retain the intersection with $I_p$: occurrence at the infimum is not automatic. At $p=0$ there is no left limit within the parameter domain, so the displayed left-limit assertion is for $p>0$.

Independent site percolation and bond percolation on the cubic lattice have continuous percolation probability on $(p_c,1]$. Fix $p>p_c$ and an intermediate $q\in (p_c,p)$. By uniqueness of the infinite percolation cluster, every origin in the infinite $p$-cluster has a finite $p$-open graph path to the infinite $q$-cluster. In the uniform-label monotone coupling of Bernoulli percolation, the finitely many labels on this graph path are strictly below fixed $p$ almost surely, so it persists at some parameter below $p$. The coupled onset parameter for origin percolation has no attained atom there, giving left continuity, including at $1$. Combine this with right continuity of percolation probability.