Domain Markov property of a percolation exploration
= Domain Markov property of a percolation exploration
Conditioned on the sites revealed by an exploration interface, every unrevealed site retains its independent Bernoulli law. The explored boundary supplies boundary conditions for subsequent crossing events.