 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.