III.D70 — Host-Level Property

A host-level property quantifies over the totality of a VM's execution histories, is not representable as the output of any single execution, and is determinable only from E₃. Consistency, halting, and completeness are host-level properties.