Machine Space I: Weak exponentials and quantification over compact spaces (Logical Methods in Computer Science, 2026)