Scope, Enter philosophy, and the two targets

VII-J separates scheduled dependencies, intervention influence, and an independently supplied causal structure CheungVIIJ. I-B equips a prescribed conical product with finite names, accessible algebras, clock calibration, and communication permissions CheungIB. We retain those distinctions and prove the interfaces needed for their local combination.