III.D79 — Physical Realizability Predicate

Formal predicate Phys(M) characterizing physically realizable TMs. Satisfies all three conditions of a host-level property (III.D70): it quantifies over all possible physical instantiations, requires E₃ vantage, and is not capturable at E₂. ZFC cannot internalize this predicate.