For injective 2D PEPS specified by finite-precision tensors, establish checkable boundary-mixing and conditioning promises that allow normalized bounded-support expectation values to be computed to additive error ϵ in time polynomial in input length and 1/ϵ. State whether a uniform parent gap suffices within the chosen class.