Global-Check: Deterministic Compliance for AI Agents