Proof Fails At System Boundaries

Proof does not travel intact across system boundaries. When execution stops, claims degrade into evidence.