Scope, provenance, and the Enter discipline

The three source manuscripts address different interfaces. VIII-A concerns finite affine matching and observation boundaries; VIII-B supplies a variable-deficit geometric dictionary and a promised source-table restriction; VIII-C supplies guarded composition and a computational support theorem CheungVIIIA,CheungVIIIB,CheungVIIIC. I-B provides the prescribed-spacetime operational pattern CheungIB. This paper proves the mathematical interfaces used in their local assembly rather than treating documentary relationships as theorem premises.