valid {
    input.ReqMap.name == STRING
    input.Qs.languageCode == STRING
    input.ProviderMetadata.Region == STRING
}

enum_EnterpriseEnabledNotificationTypes := [ "NOTIFICATION_TYPE_UNSPECIFIED", "ENROLLMENT", "COMPLIANCE_REPORT", "STATUS_REPORT", "COMMAND", "USAGE_LOGS" ]
enum_SigninDetailAllowPersonalUsage := [ "ALLOW_PERSONAL_USAGE_UNSPECIFIED", "PERSONAL_USAGE_ALLOWED", "PERSONAL_USAGE_DISALLOWED" ]

valid {
    input.Body.appAutoApprovalEnabled == BOOLEAN
    input.Body.contactInfo.contactEmail == STRING
    input.Body.contactInfo.dataProtectionOfficerEmail == STRING
    input.Body.contactInfo.dataProtectionOfficerName == STRING
    input.Body.contactInfo.dataProtectionOfficerPhone == STRING
    input.Body.contactInfo.euRepresentativeEmail == STRING
    input.Body.contactInfo.euRepresentativeName == STRING
    input.Body.contactInfo.euRepresentativePhone == STRING
    input.Body.enabledNotificationTypes[_] == enum_EnterpriseEnabledNotificationTypes[_]
    input.Body.enterpriseDisplayName == STRING
    input.Body.logo.sha256Hash == STRING
    input.Body.logo.url == STRING
    input.Body.name == STRING
    input.Body.primaryColor == INTEGER
    input.Body.pubsubTopic == STRING
    input.Body.signinDetails[_].allowPersonalUsage == enum_SigninDetailAllowPersonalUsage[_]
    input.Body.signinDetails[_].qrCode == STRING
    input.Body.signinDetails[_].signinEnrollmentToken == STRING
    input.Body.signinDetails[_].signinUrl == STRING
    input.Body.signinDetails[_].tokenTag == STRING
    input.Body.termsAndConditions[_].content.defaultMessage == STRING
    input.Body.termsAndConditions[_].content.localizedMessages.STRING == STRING
    input.Body.termsAndConditions[_].header.defaultMessage == STRING
    input.Body.termsAndConditions[_].header.localizedMessages.STRING == STRING
    input.Qs.agreementAccepted == BOOLEAN
    input.Qs.enterpriseToken == STRING
    input.Qs.projectId == STRING
    input.Qs.signupUrlName == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

enum_WipeDataFlagsParameter := [ "WIPE_DATA_FLAG_UNSPECIFIED", "PRESERVE_RESET_PROTECTION_DATA", "WIPE_EXTERNAL_STORAGE" ]

valid {
    input.ReqMap.name == STRING
    input.Qs.wipeDataFlags == enum_WipeDataFlagsParameter[_]
    input.Qs.wipeReasonMessage == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

enum_CommandErrorCode := [ "COMMAND_ERROR_CODE_UNSPECIFIED", "UNKNOWN", "API_LEVEL", "MANAGEMENT_MODE", "INVALID_VALUE", "UNSUPPORTED" ]
enum_CommandResetPasswordFlags := [ "RESET_PASSWORD_FLAG_UNSPECIFIED", "REQUIRE_ENTRY", "DO_NOT_ASK_CREDENTIALS_ON_BOOT", "LOCK_NOW" ]
enum_CommandType := [ "COMMAND_TYPE_UNSPECIFIED", "LOCK", "RESET_PASSWORD", "REBOOT", "RELINQUISH_OWNERSHIP", "CLEAR_APP_DATA", "START_LOST_MODE", "STOP_LOST_MODE" ]

valid {
    input.Body.clearAppsDataParams.packageNames[_] == STRING
    input.Body.createTime == STRING
    input.Body.duration == STRING
    input.Body.errorCode == enum_CommandErrorCode[_]
    input.Body.newPassword == STRING
    input.Body.resetPasswordFlags[_] == enum_CommandResetPasswordFlags[_]
    input.Body.startLostModeParams.lostEmailAddress == STRING
    input.Body.startLostModeParams.lostMessage.defaultMessage == STRING
    input.Body.startLostModeParams.lostMessage.localizedMessages.STRING == STRING
    input.Body.startLostModeParams.lostOrganization.defaultMessage == STRING
    input.Body.startLostModeParams.lostOrganization.localizedMessages.STRING == STRING
    input.Body.startLostModeParams.lostPhoneNumber.defaultMessage == STRING
    input.Body.startLostModeParams.lostPhoneNumber.localizedMessages.STRING == STRING
    input.Body.startLostModeParams.lostStreetAddress.defaultMessage == STRING
    input.Body.startLostModeParams.lostStreetAddress.localizedMessages.STRING == STRING
    input.Body.stopLostModeParams.STRING == STRING
    input.Body.type == enum_CommandType[_]
    input.Body.userName == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ApplicationEventEventType := [ "APPLICATION_EVENT_TYPE_UNSPECIFIED", "INSTALLED", "CHANGED", "DATA_CLEARED", "REMOVED", "REPLACED", "RESTARTED", "PINNED", "UNPINNED" ]
enum_ApplicationReportApplicationSource := [ "APPLICATION_SOURCE_UNSPECIFIED", "SYSTEM_APP_FACTORY_VERSION", "SYSTEM_APP_UPDATED_VERSION", "INSTALLED_FROM_PLAY_STORE" ]
enum_ApplicationReportState := [ "APPLICATION_STATE_UNSPECIFIED", "REMOVED", "INSTALLED" ]
enum_ApplicationReportUserFacingType := [ "USER_FACING_TYPE_UNSPECIFIED", "NOT_USER_FACING", "USER_FACING" ]
enum_CommonCriteriaModeInfoCommonCriteriaModeStatus := [ "COMMON_CRITERIA_MODE_STATUS_UNKNOWN", "COMMON_CRITERIA_MODE_DISABLED", "COMMON_CRITERIA_MODE_ENABLED" ]
enum_DeviceAppliedState := [ "DEVICE_STATE_UNSPECIFIED", "ACTIVE", "DISABLED", "DELETED", "PROVISIONING", "LOST", "PREPARING_FOR_MIGRATION" ]
enum_DeviceManagementMode := [ "MANAGEMENT_MODE_UNSPECIFIED", "DEVICE_OWNER", "PROFILE_OWNER" ]
enum_DeviceOwnership := [ "OWNERSHIP_UNSPECIFIED", "COMPANY_OWNED", "PERSONALLY_OWNED" ]
enum_DeviceSettingsEncryptionStatus := [ "ENCRYPTION_STATUS_UNSPECIFIED", "UNSUPPORTED", "INACTIVE", "ACTIVATING", "ACTIVE", "ACTIVE_DEFAULT_KEY", "ACTIVE_PER_USER" ]
enum_DeviceState := [ "DEVICE_STATE_UNSPECIFIED", "ACTIVE", "DISABLED", "DELETED", "PROVISIONING", "LOST", "PREPARING_FOR_MIGRATION" ]
enum_DisplayState := [ "DISPLAY_STATE_UNSPECIFIED", "OFF", "ON", "DOZE", "SUSPENDED" ]
enum_KeyedAppStateSeverity := [ "SEVERITY_UNSPECIFIED", "INFO", "ERROR" ]
enum_MemoryEventEventType := [ "MEMORY_EVENT_TYPE_UNSPECIFIED", "RAM_MEASURED", "INTERNAL_STORAGE_MEASURED", "EXTERNAL_STORAGE_DETECTED", "EXTERNAL_STORAGE_REMOVED", "EXTERNAL_STORAGE_MEASURED" ]
enum_NonComplianceDetailInstallationFailureReason := [ "INSTALLATION_FAILURE_REASON_UNSPECIFIED", "INSTALLATION_FAILURE_REASON_UNKNOWN", "IN_PROGRESS", "NOT_FOUND", "NOT_COMPATIBLE_WITH_DEVICE", "NOT_APPROVED", "PERMISSIONS_NOT_ACCEPTED", "NOT_AVAILABLE_IN_COUNTRY", "NO_LICENSES_REMAINING", "NOT_ENROLLED", "USER_INVALID", "NETWORK_ERROR_UNRELIABLE_CONNECTION", "INSUFFICIENT_STORAGE" ]
enum_NonComplianceDetailNonComplianceReason := [ "NON_COMPLIANCE_REASON_UNSPECIFIED", "API_LEVEL", "MANAGEMENT_MODE", "USER_ACTION", "INVALID_VALUE", "APP_NOT_INSTALLED", "UNSUPPORTED", "APP_INSTALLED", "PENDING", "APP_INCOMPATIBLE", "APP_NOT_UPDATED", "DEVICE_INCOMPATIBLE" ]
enum_NonComplianceDetailSpecificNonComplianceReason := [ "SPECIFIC_NON_COMPLIANCE_REASON_UNSPECIFIED", "PASSWORD_POLICIES_USER_CREDENTIALS_CONFIRMATION_REQUIRED", "PASSWORD_POLICIES_PASSWORD_EXPIRED", "PASSWORD_POLICIES_PASSWORD_NOT_SUFFICIENT", "ONC_WIFI_INVALID_VALUE", "ONC_WIFI_API_LEVEL", "ONC_WIFI_INVALID_ENTERPRISE_CONFIG", "ONC_WIFI_USER_SHOULD_REMOVE_NETWORK", "ONC_WIFI_KEY_PAIR_ALIAS_NOT_CORRESPONDING_TO_EXISTING_KEY" ]
enum_PasswordPoliciesContextPasswordPolicyScope := [ "SCOPE_UNSPECIFIED", "SCOPE_DEVICE", "SCOPE_PROFILE" ]
enum_PasswordRequirementsPasswordQuality := [ "PASSWORD_QUALITY_UNSPECIFIED", "BIOMETRIC_WEAK", "SOMETHING", "NUMERIC", "NUMERIC_COMPLEX", "ALPHABETIC", "ALPHANUMERIC", "COMPLEX", "COMPLEXITY_LOW", "COMPLEXITY_MEDIUM", "COMPLEXITY_HIGH" ]
enum_PasswordRequirementsPasswordScope := [ "SCOPE_UNSPECIFIED", "SCOPE_DEVICE", "SCOPE_PROFILE" ]
enum_PasswordRequirementsRequirePasswordUnlock := [ "REQUIRE_PASSWORD_UNLOCK_UNSPECIFIED", "USE_DEFAULT_DEVICE_TIMEOUT", "REQUIRE_EVERY_DAY" ]
enum_PasswordRequirementsUnifiedLockSettings := [ "UNIFIED_LOCK_SETTINGS_UNSPECIFIED", "ALLOW_UNIFIED_WORK_AND_PERSONAL_LOCK", "REQUIRE_SEPARATE_WORK_LOCK" ]
enum_PostureDetailSecurityRisk := [ "SECURITY_RISK_UNSPECIFIED", "UNKNOWN_OS", "COMPROMISED_OS", "HARDWARE_BACKED_EVALUATION_FAILED" ]
enum_PowerManagementEventEventType := [ "POWER_MANAGEMENT_EVENT_TYPE_UNSPECIFIED", "BATTERY_LEVEL_COLLECTED", "POWER_CONNECTED", "POWER_DISCONNECTED", "BATTERY_LOW", "BATTERY_OKAY", "BOOT_COMPLETED", "SHUTDOWN" ]
enum_SecurityPostureDevicePosture := [ "POSTURE_UNSPECIFIED", "SECURE", "AT_RISK", "POTENTIALLY_COMPROMISED" ]
enum_SystemUpdateInfoUpdateStatus := [ "UPDATE_STATUS_UNKNOWN", "UP_TO_DATE", "UNKNOWN_UPDATE_AVAILABLE", "SECURITY_UPDATE_AVAILABLE", "OS_UPDATE_AVAILABLE" ]

valid {
    input.Body.apiLevel == INTEGER
    input.Body.applicationReports[_].applicationSource == enum_ApplicationReportApplicationSource[_]
    input.Body.applicationReports[_].displayName == STRING
    input.Body.applicationReports[_].events[_].createTime == STRING
    input.Body.applicationReports[_].events[_].eventType == enum_ApplicationEventEventType[_]
    input.Body.applicationReports[_].installerPackageName == STRING
    input.Body.applicationReports[_].keyedAppStates[_].createTime == STRING
    input.Body.applicationReports[_].keyedAppStates[_].data == STRING
    input.Body.applicationReports[_].keyedAppStates[_].key == STRING
    input.Body.applicationReports[_].keyedAppStates[_].lastUpdateTime == STRING
    input.Body.applicationReports[_].keyedAppStates[_].message == STRING
    input.Body.applicationReports[_].keyedAppStates[_].severity == enum_KeyedAppStateSeverity[_]
    input.Body.applicationReports[_].packageName == STRING
    input.Body.applicationReports[_].packageSha256Hash == STRING
    input.Body.applicationReports[_].signingKeyCertFingerprints[_] == STRING
    input.Body.applicationReports[_].state == enum_ApplicationReportState[_]
    input.Body.applicationReports[_].userFacingType == enum_ApplicationReportUserFacingType[_]
    input.Body.applicationReports[_].versionCode == INTEGER
    input.Body.applicationReports[_].versionName == STRING
    input.Body.appliedPasswordPolicies[_].maximumFailedPasswordsForWipe == INTEGER
    input.Body.appliedPasswordPolicies[_].passwordExpirationTimeout == STRING
    input.Body.appliedPasswordPolicies[_].passwordHistoryLength == INTEGER
    input.Body.appliedPasswordPolicies[_].passwordMinimumLength == INTEGER
    input.Body.appliedPasswordPolicies[_].passwordMinimumLetters == INTEGER
    input.Body.appliedPasswordPolicies[_].passwordMinimumLowerCase == INTEGER
    input.Body.appliedPasswordPolicies[_].passwordMinimumNonLetter == INTEGER
    input.Body.appliedPasswordPolicies[_].passwordMinimumNumeric == INTEGER
    input.Body.appliedPasswordPolicies[_].passwordMinimumSymbols == INTEGER
    input.Body.appliedPasswordPolicies[_].passwordMinimumUpperCase == INTEGER
    input.Body.appliedPasswordPolicies[_].passwordQuality == enum_PasswordRequirementsPasswordQuality[_]
    input.Body.appliedPasswordPolicies[_].passwordScope == enum_PasswordRequirementsPasswordScope[_]
    input.Body.appliedPasswordPolicies[_].requirePasswordUnlock == enum_PasswordRequirementsRequirePasswordUnlock[_]
    input.Body.appliedPasswordPolicies[_].unifiedLockSettings == enum_PasswordRequirementsUnifiedLockSettings[_]
    input.Body.appliedPolicyName == STRING
    input.Body.appliedPolicyVersion == STRING
    input.Body.appliedState == enum_DeviceAppliedState[_]
    input.Body.commonCriteriaModeInfo.commonCriteriaModeStatus == enum_CommonCriteriaModeInfoCommonCriteriaModeStatus[_]
    input.Body.deviceSettings.adbEnabled == BOOLEAN
    input.Body.deviceSettings.developmentSettingsEnabled == BOOLEAN
    input.Body.deviceSettings.encryptionStatus == enum_DeviceSettingsEncryptionStatus[_]
    input.Body.deviceSettings.isDeviceSecure == BOOLEAN
    input.Body.deviceSettings.isEncrypted == BOOLEAN
    input.Body.deviceSettings.unknownSourcesEnabled == BOOLEAN
    input.Body.deviceSettings.verifyAppsEnabled == BOOLEAN
    input.Body.disabledReason.defaultMessage == STRING
    input.Body.disabledReason.localizedMessages.STRING == STRING
    input.Body.displays[_].density == INTEGER
    input.Body.displays[_].displayId == INTEGER
    input.Body.displays[_].height == INTEGER
    input.Body.displays[_].name == STRING
    input.Body.displays[_].refreshRate == INTEGER
    input.Body.displays[_].state == enum_DisplayState[_]
    input.Body.displays[_].width == INTEGER
    input.Body.enrollmentTime == STRING
    input.Body.enrollmentTokenData == STRING
    input.Body.enrollmentTokenName == STRING
    input.Body.hardwareInfo.batteryShutdownTemperatures[_] == NUMBER
    input.Body.hardwareInfo.batteryThrottlingTemperatures[_] == NUMBER
    input.Body.hardwareInfo.brand == STRING
    input.Body.hardwareInfo.cpuShutdownTemperatures[_] == NUMBER
    input.Body.hardwareInfo.cpuThrottlingTemperatures[_] == NUMBER
    input.Body.hardwareInfo.deviceBasebandVersion == STRING
    input.Body.hardwareInfo.gpuShutdownTemperatures[_] == NUMBER
    input.Body.hardwareInfo.gpuThrottlingTemperatures[_] == NUMBER
    input.Body.hardwareInfo.hardware == STRING
    input.Body.hardwareInfo.manufacturer == STRING
    input.Body.hardwareInfo.model == STRING
    input.Body.hardwareInfo.serialNumber == STRING
    input.Body.hardwareInfo.skinShutdownTemperatures[_] == NUMBER
    input.Body.hardwareInfo.skinThrottlingTemperatures[_] == NUMBER
    input.Body.hardwareStatusSamples[_].batteryTemperatures[_] == NUMBER
    input.Body.hardwareStatusSamples[_].cpuTemperatures[_] == NUMBER
    input.Body.hardwareStatusSamples[_].cpuUsages[_] == NUMBER
    input.Body.hardwareStatusSamples[_].createTime == STRING
    input.Body.hardwareStatusSamples[_].fanSpeeds[_] == NUMBER
    input.Body.hardwareStatusSamples[_].gpuTemperatures[_] == NUMBER
    input.Body.hardwareStatusSamples[_].skinTemperatures[_] == NUMBER
    input.Body.lastPolicyComplianceReportTime == STRING
    input.Body.lastPolicySyncTime == STRING
    input.Body.lastStatusReportTime == STRING
    input.Body.managementMode == enum_DeviceManagementMode[_]
    input.Body.memoryEvents[_].byteCount == STRING
    input.Body.memoryEvents[_].createTime == STRING
    input.Body.memoryEvents[_].eventType == enum_MemoryEventEventType[_]
    input.Body.memoryInfo.totalInternalStorage == STRING
    input.Body.memoryInfo.totalRam == STRING
    input.Body.name == STRING
    input.Body.networkInfo.imei == STRING
    input.Body.networkInfo.meid == STRING
    input.Body.networkInfo.networkOperatorName == STRING
    input.Body.networkInfo.telephonyInfos[_].carrierName == STRING
    input.Body.networkInfo.telephonyInfos[_].phoneNumber == STRING
    input.Body.networkInfo.wifiMacAddress == STRING
    input.Body.nonComplianceDetails[_].currentValue == ANY
    input.Body.nonComplianceDetails[_].fieldPath == STRING
    input.Body.nonComplianceDetails[_].installationFailureReason == enum_NonComplianceDetailInstallationFailureReason[_]
    input.Body.nonComplianceDetails[_].nonComplianceReason == enum_NonComplianceDetailNonComplianceReason[_]
    input.Body.nonComplianceDetails[_].packageName == STRING
    input.Body.nonComplianceDetails[_].settingName == STRING
    input.Body.nonComplianceDetails[_].specificNonComplianceContext.oncWifiContext.wifiGuid == STRING
    input.Body.nonComplianceDetails[_].specificNonComplianceContext.passwordPoliciesContext.passwordPolicyScope == enum_PasswordPoliciesContextPasswordPolicyScope[_]
    input.Body.nonComplianceDetails[_].specificNonComplianceReason == enum_NonComplianceDetailSpecificNonComplianceReason[_]
    input.Body.ownership == enum_DeviceOwnership[_]
    input.Body.policyCompliant == BOOLEAN
    input.Body.policyName == STRING
    input.Body.powerManagementEvents[_].batteryLevel == NUMBER
    input.Body.powerManagementEvents[_].createTime == STRING
    input.Body.powerManagementEvents[_].eventType == enum_PowerManagementEventEventType[_]
    input.Body.previousDeviceNames[_] == STRING
    input.Body.securityPosture.devicePosture == enum_SecurityPostureDevicePosture[_]
    input.Body.securityPosture.postureDetails[_].advice[_].defaultMessage == STRING
    input.Body.securityPosture.postureDetails[_].advice[_].localizedMessages.STRING == STRING
    input.Body.securityPosture.postureDetails[_].securityRisk == enum_PostureDetailSecurityRisk[_]
    input.Body.softwareInfo.androidBuildNumber == STRING
    input.Body.softwareInfo.androidBuildTime == STRING
    input.Body.softwareInfo.androidDevicePolicyVersionCode == INTEGER
    input.Body.softwareInfo.androidDevicePolicyVersionName == STRING
    input.Body.softwareInfo.androidVersion == STRING
    input.Body.softwareInfo.bootloaderVersion == STRING
    input.Body.softwareInfo.deviceBuildSignature == STRING
    input.Body.softwareInfo.deviceKernelVersion == STRING
    input.Body.softwareInfo.primaryLanguageCode == STRING
    input.Body.softwareInfo.securityPatchLevel == STRING
    input.Body.softwareInfo.systemUpdateInfo.updateReceivedTime == STRING
    input.Body.softwareInfo.systemUpdateInfo.updateStatus == enum_SystemUpdateInfoUpdateStatus[_]
    input.Body.state == enum_DeviceState[_]
    input.Body.systemProperties.STRING == STRING
    input.Body.user.accountIdentifier == STRING
    input.Body.userName == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

enum_EnrollmentTokenAllowPersonalUsage := [ "ALLOW_PERSONAL_USAGE_UNSPECIFIED", "PERSONAL_USAGE_ALLOWED", "PERSONAL_USAGE_DISALLOWED" ]

valid {
    input.Body.additionalData == STRING
    input.Body.allowPersonalUsage == enum_EnrollmentTokenAllowPersonalUsage[_]
    input.Body.duration == STRING
    input.Body.expirationTimestamp == STRING
    input.Body.name == STRING
    input.Body.oneTimeOnly == BOOLEAN
    input.Body.policyName == STRING
    input.Body.qrCode == STRING
    input.Body.user.accountIdentifier == STRING
    input.Body.value == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ViewParameter := [ "ENTERPRISE_VIEW_UNSPECIFIED", "BASIC" ]

valid {
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.Qs.projectId == STRING
    input.Qs.view == enum_ViewParameter[_]
    input.ProviderMetadata.Region == STRING
}

enum_MigrationTokenManagementMode := [ "MANAGEMENT_MODE_UNSPECIFIED", "WORK_PROFILE_PERSONALLY_OWNED", "WORK_PROFILE_COMPANY_OWNED", "FULLY_MANAGED" ]

valid {
    input.Body.additionalData == STRING
    input.Body.deviceId == STRING
    input.Body.expireTime == STRING
    input.Body.managementMode == enum_MigrationTokenManagementMode[_]
    input.Body.policy == STRING
    input.Body.ttl == STRING
    input.Body.userId == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

enum_EnterpriseEnabledNotificationTypes := [ "NOTIFICATION_TYPE_UNSPECIFIED", "ENROLLMENT", "COMPLIANCE_REPORT", "STATUS_REPORT", "COMMAND", "USAGE_LOGS" ]
enum_SigninDetailAllowPersonalUsage := [ "ALLOW_PERSONAL_USAGE_UNSPECIFIED", "PERSONAL_USAGE_ALLOWED", "PERSONAL_USAGE_DISALLOWED" ]

valid {
    input.Body.appAutoApprovalEnabled == BOOLEAN
    input.Body.contactInfo.contactEmail == STRING
    input.Body.contactInfo.dataProtectionOfficerEmail == STRING
    input.Body.contactInfo.dataProtectionOfficerName == STRING
    input.Body.contactInfo.dataProtectionOfficerPhone == STRING
    input.Body.contactInfo.euRepresentativeEmail == STRING
    input.Body.contactInfo.euRepresentativeName == STRING
    input.Body.contactInfo.euRepresentativePhone == STRING
    input.Body.enabledNotificationTypes[_] == enum_EnterpriseEnabledNotificationTypes[_]
    input.Body.enterpriseDisplayName == STRING
    input.Body.logo.sha256Hash == STRING
    input.Body.logo.url == STRING
    input.Body.name == STRING
    input.Body.primaryColor == INTEGER
    input.Body.pubsubTopic == STRING
    input.Body.signinDetails[_].allowPersonalUsage == enum_SigninDetailAllowPersonalUsage[_]
    input.Body.signinDetails[_].qrCode == STRING
    input.Body.signinDetails[_].signinEnrollmentToken == STRING
    input.Body.signinDetails[_].signinUrl == STRING
    input.Body.signinDetails[_].tokenTag == STRING
    input.Body.termsAndConditions[_].content.defaultMessage == STRING
    input.Body.termsAndConditions[_].content.localizedMessages.STRING == STRING
    input.Body.termsAndConditions[_].header.defaultMessage == STRING
    input.Body.termsAndConditions[_].header.localizedMessages.STRING == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

enum_AdvancedSecurityOverridesCommonCriteriaMode := [ "COMMON_CRITERIA_MODE_UNSPECIFIED", "COMMON_CRITERIA_MODE_DISABLED", "COMMON_CRITERIA_MODE_ENABLED" ]
enum_AdvancedSecurityOverridesDeveloperSettings := [ "DEVELOPER_SETTINGS_UNSPECIFIED", "DEVELOPER_SETTINGS_DISABLED", "DEVELOPER_SETTINGS_ALLOWED" ]
enum_AdvancedSecurityOverridesGooglePlayProtectVerifyApps := [ "GOOGLE_PLAY_PROTECT_VERIFY_APPS_UNSPECIFIED", "VERIFY_APPS_ENFORCED", "VERIFY_APPS_USER_CHOICE" ]
enum_AdvancedSecurityOverridesMtePolicy := [ "MTE_POLICY_UNSPECIFIED", "MTE_USER_CHOICE", "MTE_ENFORCED", "MTE_DISABLED" ]
enum_AdvancedSecurityOverridesUntrustedAppsPolicy := [ "UNTRUSTED_APPS_POLICY_UNSPECIFIED", "DISALLOW_INSTALL", "ALLOW_INSTALL_IN_PERSONAL_PROFILE_ONLY", "ALLOW_INSTALL_DEVICE_WIDE" ]
enum_ApplicationPolicyAlwaysOnVpnLockdownExemption := [ "ALWAYS_ON_VPN_LOCKDOWN_EXEMPTION_UNSPECIFIED", "VPN_LOCKDOWN_ENFORCED", "VPN_LOCKDOWN_EXEMPTION" ]
enum_ApplicationPolicyAutoUpdateMode := [ "AUTO_UPDATE_MODE_UNSPECIFIED", "AUTO_UPDATE_DEFAULT", "AUTO_UPDATE_POSTPONED", "AUTO_UPDATE_HIGH_PRIORITY" ]
enum_ApplicationPolicyConnectedWorkAndPersonalApp := [ "CONNECTED_WORK_AND_PERSONAL_APP_UNSPECIFIED", "CONNECTED_WORK_AND_PERSONAL_APP_DISALLOWED", "CONNECTED_WORK_AND_PERSONAL_APP_ALLOWED" ]
enum_ApplicationPolicyCredentialProviderPolicy := [ "CREDENTIAL_PROVIDER_POLICY_UNSPECIFIED", "CREDENTIAL_PROVIDER_ALLOWED" ]
enum_ApplicationPolicyDefaultPermissionPolicy := [ "PERMISSION_POLICY_UNSPECIFIED", "PROMPT", "GRANT", "DENY" ]
enum_ApplicationPolicyDelegatedScopes := [ "DELEGATED_SCOPE_UNSPECIFIED", "CERT_INSTALL", "MANAGED_CONFIGURATIONS", "BLOCK_UNINSTALL", "PERMISSION_GRANT", "PACKAGE_ACCESS", "ENABLE_SYSTEM_APP", "NETWORK_ACTIVITY_LOGS", "SECURITY_LOGS", "CERT_SELECTION" ]
enum_ApplicationPolicyInstallType := [ "INSTALL_TYPE_UNSPECIFIED", "PREINSTALLED", "FORCE_INSTALLED", "BLOCKED", "AVAILABLE", "REQUIRED_FOR_SETUP", "KIOSK" ]
enum_ApplicationPolicyWorkProfileWidgets := [ "WORK_PROFILE_WIDGETS_UNSPECIFIED", "WORK_PROFILE_WIDGETS_ALLOWED", "WORK_PROFILE_WIDGETS_DISALLOWED" ]
enum_BlockActionBlockScope := [ "BLOCK_SCOPE_UNSPECIFIED", "BLOCK_SCOPE_WORK_PROFILE", "BLOCK_SCOPE_DEVICE" ]
enum_CrossProfilePoliciesCrossProfileCopyPaste := [ "CROSS_PROFILE_COPY_PASTE_UNSPECIFIED", "COPY_FROM_WORK_TO_PERSONAL_DISALLOWED", "CROSS_PROFILE_COPY_PASTE_ALLOWED" ]
enum_CrossProfilePoliciesCrossProfileDataSharing := [ "CROSS_PROFILE_DATA_SHARING_UNSPECIFIED", "CROSS_PROFILE_DATA_SHARING_DISALLOWED", "DATA_SHARING_FROM_WORK_TO_PERSONAL_DISALLOWED", "CROSS_PROFILE_DATA_SHARING_ALLOWED" ]
enum_CrossProfilePoliciesShowWorkContactsInPersonalProfile := [ "SHOW_WORK_CONTACTS_IN_PERSONAL_PROFILE_UNSPECIFIED", "SHOW_WORK_CONTACTS_IN_PERSONAL_PROFILE_DISALLOWED", "SHOW_WORK_CONTACTS_IN_PERSONAL_PROFILE_ALLOWED", "SHOW_WORK_CONTACTS_IN_PERSONAL_PROFILE_DISALLOWED_EXCEPT_SYSTEM" ]
enum_CrossProfilePoliciesWorkProfileWidgetsDefault := [ "WORK_PROFILE_WIDGETS_DEFAULT_UNSPECIFIED", "WORK_PROFILE_WIDGETS_DEFAULT_ALLOWED", "WORK_PROFILE_WIDGETS_DEFAULT_DISALLOWED" ]
enum_DeviceConnectivityManagementConfigureWifi := [ "CONFIGURE_WIFI_UNSPECIFIED", "ALLOW_CONFIGURING_WIFI", "DISALLOW_ADD_WIFI_CONFIG", "DISALLOW_CONFIGURING_WIFI" ]
enum_DeviceConnectivityManagementTetheringSettings := [ "TETHERING_SETTINGS_UNSPECIFIED", "ALLOW_ALL_TETHERING", "DISALLOW_WIFI_TETHERING", "DISALLOW_ALL_TETHERING" ]
enum_DeviceConnectivityManagementUsbDataAccess := [ "USB_DATA_ACCESS_UNSPECIFIED", "ALLOW_USB_DATA_TRANSFER", "DISALLOW_USB_FILE_TRANSFER", "DISALLOW_USB_DATA_TRANSFER" ]
enum_DeviceConnectivityManagementWifiDirectSettings := [ "WIFI_DIRECT_SETTINGS_UNSPECIFIED", "ALLOW_WIFI_DIRECT", "DISALLOW_WIFI_DIRECT" ]
enum_DeviceRadioStateAirplaneModeState := [ "AIRPLANE_MODE_STATE_UNSPECIFIED", "AIRPLANE_MODE_USER_CHOICE", "AIRPLANE_MODE_DISABLED" ]
enum_DeviceRadioStateCellularTwoGState := [ "CELLULAR_TWO_G_STATE_UNSPECIFIED", "CELLULAR_TWO_G_USER_CHOICE", "CELLULAR_TWO_G_DISABLED" ]
enum_DeviceRadioStateMinimumWifiSecurityLevel := [ "MINIMUM_WIFI_SECURITY_LEVEL_UNSPECIFIED", "OPEN_NETWORK_SECURITY", "PERSONAL_NETWORK_SECURITY", "ENTERPRISE_NETWORK_SECURITY", "ENTERPRISE_BIT192_NETWORK_SECURITY" ]
enum_DeviceRadioStateUltraWidebandState := [ "ULTRA_WIDEBAND_STATE_UNSPECIFIED", "ULTRA_WIDEBAND_USER_CHOICE", "ULTRA_WIDEBAND_DISABLED" ]
enum_DeviceRadioStateWifiState := [ "WIFI_STATE_UNSPECIFIED", "WIFI_STATE_USER_CHOICE", "WIFI_ENABLED", "WIFI_DISABLED" ]
enum_InstallConstraintChargingConstraint := [ "CHARGING_CONSTRAINT_UNSPECIFIED", "CHARGING_NOT_REQUIRED", "INSTALL_ONLY_WHEN_CHARGING" ]
enum_InstallConstraintDeviceIdleConstraint := [ "DEVICE_IDLE_CONSTRAINT_UNSPECIFIED", "DEVICE_IDLE_NOT_REQUIRED", "INSTALL_ONLY_WHEN_DEVICE_IDLE" ]
enum_InstallConstraintNetworkTypeConstraint := [ "NETWORK_TYPE_CONSTRAINT_UNSPECIFIED", "INSTALL_ON_ANY_NETWORK", "INSTALL_ONLY_ON_UNMETERED_NETWORK" ]
enum_KioskCustomizationDeviceSettings := [ "DEVICE_SETTINGS_UNSPECIFIED", "SETTINGS_ACCESS_ALLOWED", "SETTINGS_ACCESS_BLOCKED" ]
enum_KioskCustomizationPowerButtonActions := [ "POWER_BUTTON_ACTIONS_UNSPECIFIED", "POWER_BUTTON_AVAILABLE", "POWER_BUTTON_BLOCKED" ]
enum_KioskCustomizationStatusBar := [ "STATUS_BAR_UNSPECIFIED", "NOTIFICATIONS_AND_SYSTEM_INFO_ENABLED", "NOTIFICATIONS_AND_SYSTEM_INFO_DISABLED", "SYSTEM_INFO_ONLY" ]
enum_KioskCustomizationSystemErrorWarnings := [ "SYSTEM_ERROR_WARNINGS_UNSPECIFIED", "ERROR_AND_WARNINGS_ENABLED", "ERROR_AND_WARNINGS_MUTED" ]
enum_KioskCustomizationSystemNavigation := [ "SYSTEM_NAVIGATION_UNSPECIFIED", "NAVIGATION_ENABLED", "NAVIGATION_DISABLED", "HOME_BUTTON_ONLY" ]
enum_NonComplianceDetailConditionNonComplianceReason := [ "NON_COMPLIANCE_REASON_UNSPECIFIED", "API_LEVEL", "MANAGEMENT_MODE", "USER_ACTION", "INVALID_VALUE", "APP_NOT_INSTALLED", "UNSUPPORTED", "APP_INSTALLED", "PENDING", "APP_INCOMPATIBLE", "APP_NOT_UPDATED", "DEVICE_INCOMPATIBLE" ]
enum_PasswordRequirementsPasswordQuality := [ "PASSWORD_QUALITY_UNSPECIFIED", "BIOMETRIC_WEAK", "SOMETHING", "NUMERIC", "NUMERIC_COMPLEX", "ALPHABETIC", "ALPHANUMERIC", "COMPLEX", "COMPLEXITY_LOW", "COMPLEXITY_MEDIUM", "COMPLEXITY_HIGH" ]
enum_PasswordRequirementsPasswordScope := [ "SCOPE_UNSPECIFIED", "SCOPE_DEVICE", "SCOPE_PROFILE" ]
enum_PasswordRequirementsRequirePasswordUnlock := [ "REQUIRE_PASSWORD_UNLOCK_UNSPECIFIED", "USE_DEFAULT_DEVICE_TIMEOUT", "REQUIRE_EVERY_DAY" ]
enum_PasswordRequirementsUnifiedLockSettings := [ "UNIFIED_LOCK_SETTINGS_UNSPECIFIED", "ALLOW_UNIFIED_WORK_AND_PERSONAL_LOCK", "REQUIRE_SEPARATE_WORK_LOCK" ]
enum_PermissionGrantPolicy := [ "PERMISSION_POLICY_UNSPECIFIED", "PROMPT", "GRANT", "DENY" ]
enum_PersonalApplicationPolicyInstallType := [ "INSTALL_TYPE_UNSPECIFIED", "BLOCKED", "AVAILABLE" ]
enum_PersonalUsagePoliciesPersonalPlayStoreMode := [ "PLAY_STORE_MODE_UNSPECIFIED", "BLACKLIST", "BLOCKLIST", "ALLOWLIST" ]
enum_PolicyAndroidDevicePolicyTracks := [ "APP_TRACK_UNSPECIFIED", "PRODUCTION", "BETA" ]
enum_PolicyAppAutoUpdatePolicy := [ "APP_AUTO_UPDATE_POLICY_UNSPECIFIED", "CHOICE_TO_THE_USER", "NEVER", "WIFI_ONLY", "ALWAYS" ]
enum_PolicyAutoDateAndTimeZone := [ "AUTO_DATE_AND_TIME_ZONE_UNSPECIFIED", "AUTO_DATE_AND_TIME_ZONE_USER_CHOICE", "AUTO_DATE_AND_TIME_ZONE_ENFORCED" ]
enum_PolicyCameraAccess := [ "CAMERA_ACCESS_UNSPECIFIED", "CAMERA_ACCESS_USER_CHOICE", "CAMERA_ACCESS_DISABLED", "CAMERA_ACCESS_ENFORCED" ]
enum_PolicyCredentialProviderPolicyDefault := [ "CREDENTIAL_PROVIDER_POLICY_DEFAULT_UNSPECIFIED", "CREDENTIAL_PROVIDER_DEFAULT_DISALLOWED", "CREDENTIAL_PROVIDER_DEFAULT_DISALLOWED_EXCEPT_SYSTEM" ]
enum_PolicyDefaultPermissionPolicy := [ "PERMISSION_POLICY_UNSPECIFIED", "PROMPT", "GRANT", "DENY" ]
enum_PolicyEncryptionPolicy := [ "ENCRYPTION_POLICY_UNSPECIFIED", "ENABLED_WITHOUT_PASSWORD", "ENABLED_WITH_PASSWORD" ]
enum_PolicyKeyguardDisabledFeatures := [ "KEYGUARD_DISABLED_FEATURE_UNSPECIFIED", "CAMERA", "NOTIFICATIONS", "UNREDACTED_NOTIFICATIONS", "TRUST_AGENTS", "DISABLE_FINGERPRINT", "DISABLE_REMOTE_INPUT", "FACE", "IRIS", "BIOMETRICS", "SHORTCUTS", "ALL_FEATURES" ]
enum_PolicyLocationMode := [ "LOCATION_MODE_UNSPECIFIED", "HIGH_ACCURACY", "SENSORS_ONLY", "BATTERY_SAVING", "OFF", "LOCATION_USER_CHOICE", "LOCATION_ENFORCED", "LOCATION_DISABLED" ]
enum_PolicyMicrophoneAccess := [ "MICROPHONE_ACCESS_UNSPECIFIED", "MICROPHONE_ACCESS_USER_CHOICE", "MICROPHONE_ACCESS_DISABLED", "MICROPHONE_ACCESS_ENFORCED" ]
enum_PolicyPlayStoreMode := [ "PLAY_STORE_MODE_UNSPECIFIED", "WHITELIST", "BLACKLIST" ]
enum_PolicyPreferentialNetworkService := [ "PREFERENTIAL_NETWORK_SERVICE_UNSPECIFIED", "PREFERENTIAL_NETWORK_SERVICE_DISABLED", "PREFERENTIAL_NETWORK_SERVICE_ENABLED" ]
enum_PolicyPrintingPolicy := [ "PRINTING_POLICY_UNSPECIFIED", "PRINTING_DISALLOWED", "PRINTING_ALLOWED" ]
enum_PolicyStayOnPluggedModes := [ "BATTERY_PLUGGED_MODE_UNSPECIFIED", "AC", "USB", "WIRELESS" ]
enum_SystemUpdateType := [ "SYSTEM_UPDATE_TYPE_UNSPECIFIED", "AUTOMATIC", "WINDOWED", "POSTPONE" ]
enum_UsageLogEnabledLogTypes := [ "LOG_TYPE_UNSPECIFIED", "SECURITY_LOGS", "NETWORK_ACTIVITY_LOGS" ]
enum_UsageLogUploadOnCellularAllowed := [ "LOG_TYPE_UNSPECIFIED", "SECURITY_LOGS", "NETWORK_ACTIVITY_LOGS" ]

valid {
    input.Body.accountTypesWithManagementDisabled[_] == STRING
    input.Body.addUserDisabled == BOOLEAN
    input.Body.adjustVolumeDisabled == BOOLEAN
    input.Body.advancedSecurityOverrides.commonCriteriaMode == enum_AdvancedSecurityOverridesCommonCriteriaMode[_]
    input.Body.advancedSecurityOverrides.developerSettings == enum_AdvancedSecurityOverridesDeveloperSettings[_]
    input.Body.advancedSecurityOverrides.googlePlayProtectVerifyApps == enum_AdvancedSecurityOverridesGooglePlayProtectVerifyApps[_]
    input.Body.advancedSecurityOverrides.mtePolicy == enum_AdvancedSecurityOverridesMtePolicy[_]
    input.Body.advancedSecurityOverrides.personalAppsThatCanReadWorkNotifications[_] == STRING
    input.Body.advancedSecurityOverrides.untrustedAppsPolicy == enum_AdvancedSecurityOverridesUntrustedAppsPolicy[_]
    input.Body.alwaysOnVpnPackage.lockdownEnabled == BOOLEAN
    input.Body.alwaysOnVpnPackage.packageName == STRING
    input.Body.androidDevicePolicyTracks[_] == enum_PolicyAndroidDevicePolicyTracks[_]
    input.Body.appAutoUpdatePolicy == enum_PolicyAppAutoUpdatePolicy[_]
    input.Body.applications[_].accessibleTrackIds[_] == STRING
    input.Body.applications[_].alwaysOnVpnLockdownExemption == enum_ApplicationPolicyAlwaysOnVpnLockdownExemption[_]
    input.Body.applications[_].autoUpdateMode == enum_ApplicationPolicyAutoUpdateMode[_]
    input.Body.applications[_].connectedWorkAndPersonalApp == enum_ApplicationPolicyConnectedWorkAndPersonalApp[_]
    input.Body.applications[_].credentialProviderPolicy == enum_ApplicationPolicyCredentialProviderPolicy[_]
    input.Body.applications[_].defaultPermissionPolicy == enum_ApplicationPolicyDefaultPermissionPolicy[_]
    input.Body.applications[_].delegatedScopes[_] == enum_ApplicationPolicyDelegatedScopes[_]
    input.Body.applications[_].disabled == BOOLEAN
    input.Body.applications[_].extensionConfig.notificationReceiver == STRING
    input.Body.applications[_].extensionConfig.signingKeyFingerprintsSha256[_] == STRING
    input.Body.applications[_].installConstraint[_].chargingConstraint == enum_InstallConstraintChargingConstraint[_]
    input.Body.applications[_].installConstraint[_].deviceIdleConstraint == enum_InstallConstraintDeviceIdleConstraint[_]
    input.Body.applications[_].installConstraint[_].networkTypeConstraint == enum_InstallConstraintNetworkTypeConstraint[_]
    input.Body.applications[_].installPriority == INTEGER
    input.Body.applications[_].installType == enum_ApplicationPolicyInstallType[_]
    input.Body.applications[_].lockTaskAllowed == BOOLEAN
    input.Body.applications[_].managedConfiguration.STRING == ANY
    input.Body.applications[_].managedConfigurationTemplate.configurationVariables.STRING == STRING
    input.Body.applications[_].managedConfigurationTemplate.templateId == STRING
    input.Body.applications[_].minimumVersionCode == INTEGER
    input.Body.applications[_].packageName == STRING
    input.Body.applications[_].permissionGrants[_].permission == STRING
    input.Body.applications[_].permissionGrants[_].policy == enum_PermissionGrantPolicy[_]
    input.Body.applications[_].workProfileWidgets == enum_ApplicationPolicyWorkProfileWidgets[_]
    input.Body.autoDateAndTimeZone == enum_PolicyAutoDateAndTimeZone[_]
    input.Body.autoTimeRequired == BOOLEAN
    input.Body.blockApplicationsEnabled == BOOLEAN
    input.Body.bluetoothConfigDisabled == BOOLEAN
    input.Body.bluetoothContactSharingDisabled == BOOLEAN
    input.Body.bluetoothDisabled == BOOLEAN
    input.Body.cameraAccess == enum_PolicyCameraAccess[_]
    input.Body.cameraDisabled == BOOLEAN
    input.Body.cellBroadcastsConfigDisabled == BOOLEAN
    input.Body.choosePrivateKeyRules[_].packageNames[_] == STRING
    input.Body.choosePrivateKeyRules[_].privateKeyAlias == STRING
    input.Body.choosePrivateKeyRules[_].urlPattern == STRING
    input.Body.complianceRules[_].apiLevelCondition.minApiLevel == INTEGER
    input.Body.complianceRules[_].disableApps == BOOLEAN
    input.Body.complianceRules[_].nonComplianceDetailCondition.nonComplianceReason == enum_NonComplianceDetailConditionNonComplianceReason[_]
    input.Body.complianceRules[_].nonComplianceDetailCondition.packageName == STRING
    input.Body.complianceRules[_].nonComplianceDetailCondition.settingName == STRING
    input.Body.complianceRules[_].packageNamesToDisable[_] == STRING
    input.Body.createWindowsDisabled == BOOLEAN
    input.Body.credentialProviderPolicyDefault == enum_PolicyCredentialProviderPolicyDefault[_]
    input.Body.credentialsConfigDisabled == BOOLEAN
    input.Body.crossProfilePolicies.crossProfileCopyPaste == enum_CrossProfilePoliciesCrossProfileCopyPaste[_]
    input.Body.crossProfilePolicies.crossProfileDataSharing == enum_CrossProfilePoliciesCrossProfileDataSharing[_]
    input.Body.crossProfilePolicies.exemptionsToShowWorkContactsInPersonalProfile.packageNames[_] == STRING
    input.Body.crossProfilePolicies.showWorkContactsInPersonalProfile == enum_CrossProfilePoliciesShowWorkContactsInPersonalProfile[_]
    input.Body.crossProfilePolicies.workProfileWidgetsDefault == enum_CrossProfilePoliciesWorkProfileWidgetsDefault[_]
    input.Body.dataRoamingDisabled == BOOLEAN
    input.Body.debuggingFeaturesAllowed == BOOLEAN
    input.Body.defaultPermissionPolicy == enum_PolicyDefaultPermissionPolicy[_]
    input.Body.deviceConnectivityManagement.configureWifi == enum_DeviceConnectivityManagementConfigureWifi[_]
    input.Body.deviceConnectivityManagement.tetheringSettings == enum_DeviceConnectivityManagementTetheringSettings[_]
    input.Body.deviceConnectivityManagement.usbDataAccess == enum_DeviceConnectivityManagementUsbDataAccess[_]
    input.Body.deviceConnectivityManagement.wifiDirectSettings == enum_DeviceConnectivityManagementWifiDirectSettings[_]
    input.Body.deviceOwnerLockScreenInfo.defaultMessage == STRING
    input.Body.deviceOwnerLockScreenInfo.localizedMessages.STRING == STRING
    input.Body.deviceRadioState.airplaneModeState == enum_DeviceRadioStateAirplaneModeState[_]
    input.Body.deviceRadioState.cellularTwoGState == enum_DeviceRadioStateCellularTwoGState[_]
    input.Body.deviceRadioState.minimumWifiSecurityLevel == enum_DeviceRadioStateMinimumWifiSecurityLevel[_]
    input.Body.deviceRadioState.ultraWidebandState == enum_DeviceRadioStateUltraWidebandState[_]
    input.Body.deviceRadioState.wifiState == enum_DeviceRadioStateWifiState[_]
    input.Body.encryptionPolicy == enum_PolicyEncryptionPolicy[_]
    input.Body.ensureVerifyAppsEnabled == BOOLEAN
    input.Body.factoryResetDisabled == BOOLEAN
    input.Body.frpAdminEmails[_] == STRING
    input.Body.funDisabled == BOOLEAN
    input.Body.installAppsDisabled == BOOLEAN
    input.Body.installUnknownSourcesAllowed == BOOLEAN
    input.Body.keyguardDisabled == BOOLEAN
    input.Body.keyguardDisabledFeatures[_] == enum_PolicyKeyguardDisabledFeatures[_]
    input.Body.kioskCustomLauncherEnabled == BOOLEAN
    input.Body.kioskCustomization.deviceSettings == enum_KioskCustomizationDeviceSettings[_]
    input.Body.kioskCustomization.powerButtonActions == enum_KioskCustomizationPowerButtonActions[_]
    input.Body.kioskCustomization.statusBar == enum_KioskCustomizationStatusBar[_]
    input.Body.kioskCustomization.systemErrorWarnings == enum_KioskCustomizationSystemErrorWarnings[_]
    input.Body.kioskCustomization.systemNavigation == enum_KioskCustomizationSystemNavigation[_]
    input.Body.locationMode == enum_PolicyLocationMode[_]
    input.Body.longSupportMessage.defaultMessage == STRING
    input.Body.longSupportMessage.localizedMessages.STRING == STRING
    input.Body.maximumTimeToLock == STRING
    input.Body.microphoneAccess == enum_PolicyMicrophoneAccess[_]
    input.Body.minimumApiLevel == INTEGER
    input.Body.mobileNetworksConfigDisabled == BOOLEAN
    input.Body.modifyAccountsDisabled == BOOLEAN
    input.Body.mountPhysicalMediaDisabled == BOOLEAN
    input.Body.name == STRING
    input.Body.networkEscapeHatchEnabled == BOOLEAN
    input.Body.networkResetDisabled == BOOLEAN
    input.Body.oncCertificateProviders[_].certificateReferences[_] == STRING
    input.Body.oncCertificateProviders[_].contentProviderEndpoint.packageName == STRING
    input.Body.oncCertificateProviders[_].contentProviderEndpoint.signingCertsSha256[_] == STRING
    input.Body.oncCertificateProviders[_].contentProviderEndpoint.uri == STRING
    input.Body.openNetworkConfiguration.STRING == ANY
    input.Body.outgoingBeamDisabled == BOOLEAN
    input.Body.outgoingCallsDisabled == BOOLEAN
    input.Body.passwordPolicies[_].maximumFailedPasswordsForWipe == INTEGER
    input.Body.passwordPolicies[_].passwordExpirationTimeout == STRING
    input.Body.passwordPolicies[_].passwordHistoryLength == INTEGER
    input.Body.passwordPolicies[_].passwordMinimumLength == INTEGER
    input.Body.passwordPolicies[_].passwordMinimumLetters == INTEGER
    input.Body.passwordPolicies[_].passwordMinimumLowerCase == INTEGER
    input.Body.passwordPolicies[_].passwordMinimumNonLetter == INTEGER
    input.Body.passwordPolicies[_].passwordMinimumNumeric == INTEGER
    input.Body.passwordPolicies[_].passwordMinimumSymbols == INTEGER
    input.Body.passwordPolicies[_].passwordMinimumUpperCase == INTEGER
    input.Body.passwordPolicies[_].passwordQuality == enum_PasswordRequirementsPasswordQuality[_]
    input.Body.passwordPolicies[_].passwordScope == enum_PasswordRequirementsPasswordScope[_]
    input.Body.passwordPolicies[_].requirePasswordUnlock == enum_PasswordRequirementsRequirePasswordUnlock[_]
    input.Body.passwordPolicies[_].unifiedLockSettings == enum_PasswordRequirementsUnifiedLockSettings[_]
    input.Body.passwordRequirements.maximumFailedPasswordsForWipe == INTEGER
    input.Body.passwordRequirements.passwordExpirationTimeout == STRING
    input.Body.passwordRequirements.passwordHistoryLength == INTEGER
    input.Body.passwordRequirements.passwordMinimumLength == INTEGER
    input.Body.passwordRequirements.passwordMinimumLetters == INTEGER
    input.Body.passwordRequirements.passwordMinimumLowerCase == INTEGER
    input.Body.passwordRequirements.passwordMinimumNonLetter == INTEGER
    input.Body.passwordRequirements.passwordMinimumNumeric == INTEGER
    input.Body.passwordRequirements.passwordMinimumSymbols == INTEGER
    input.Body.passwordRequirements.passwordMinimumUpperCase == INTEGER
    input.Body.passwordRequirements.passwordQuality == enum_PasswordRequirementsPasswordQuality[_]
    input.Body.passwordRequirements.passwordScope == enum_PasswordRequirementsPasswordScope[_]
    input.Body.passwordRequirements.requirePasswordUnlock == enum_PasswordRequirementsRequirePasswordUnlock[_]
    input.Body.passwordRequirements.unifiedLockSettings == enum_PasswordRequirementsUnifiedLockSettings[_]
    input.Body.permissionGrants[_].permission == STRING
    input.Body.permissionGrants[_].policy == enum_PermissionGrantPolicy[_]
    input.Body.permittedAccessibilityServices.packageNames[_] == STRING
    input.Body.permittedInputMethods.packageNames[_] == STRING
    input.Body.persistentPreferredActivities[_].actions[_] == STRING
    input.Body.persistentPreferredActivities[_].categories[_] == STRING
    input.Body.persistentPreferredActivities[_].receiverActivity == STRING
    input.Body.personalUsagePolicies.accountTypesWithManagementDisabled[_] == STRING
    input.Body.personalUsagePolicies.cameraDisabled == BOOLEAN
    input.Body.personalUsagePolicies.maxDaysWithWorkOff == INTEGER
    input.Body.personalUsagePolicies.personalApplications[_].installType == enum_PersonalApplicationPolicyInstallType[_]
    input.Body.personalUsagePolicies.personalApplications[_].packageName == STRING
    input.Body.personalUsagePolicies.personalPlayStoreMode == enum_PersonalUsagePoliciesPersonalPlayStoreMode[_]
    input.Body.personalUsagePolicies.screenCaptureDisabled == BOOLEAN
    input.Body.playStoreMode == enum_PolicyPlayStoreMode[_]
    input.Body.policyEnforcementRules[_].blockAction.blockAfterDays == INTEGER
    input.Body.policyEnforcementRules[_].blockAction.blockScope == enum_BlockActionBlockScope[_]
    input.Body.policyEnforcementRules[_].settingName == STRING
    input.Body.policyEnforcementRules[_].wipeAction.preserveFrp == BOOLEAN
    input.Body.policyEnforcementRules[_].wipeAction.wipeAfterDays == INTEGER
    input.Body.preferentialNetworkService == enum_PolicyPreferentialNetworkService[_]
    input.Body.printingPolicy == enum_PolicyPrintingPolicy[_]
    input.Body.privateKeySelectionEnabled == BOOLEAN
    input.Body.recommendedGlobalProxy.excludedHosts[_] == STRING
    input.Body.recommendedGlobalProxy.host == STRING
    input.Body.recommendedGlobalProxy.pacUri == STRING
    input.Body.recommendedGlobalProxy.port == INTEGER
    input.Body.removeUserDisabled == BOOLEAN
    input.Body.safeBootDisabled == BOOLEAN
    input.Body.screenCaptureDisabled == BOOLEAN
    input.Body.setUserIconDisabled == BOOLEAN
    input.Body.setWallpaperDisabled == BOOLEAN
    input.Body.setupActions[_].description.defaultMessage == STRING
    input.Body.setupActions[_].description.localizedMessages.STRING == STRING
    input.Body.setupActions[_].launchApp.packageName == STRING
    input.Body.setupActions[_].title.defaultMessage == STRING
    input.Body.setupActions[_].title.localizedMessages.STRING == STRING
    input.Body.shareLocationDisabled == BOOLEAN
    input.Body.shortSupportMessage.defaultMessage == STRING
    input.Body.shortSupportMessage.localizedMessages.STRING == STRING
    input.Body.skipFirstUseHintsEnabled == BOOLEAN
    input.Body.smsDisabled == BOOLEAN
    input.Body.statusBarDisabled == BOOLEAN
    input.Body.statusReportingSettings.applicationReportingSettings.includeRemovedApps == BOOLEAN
    input.Body.statusReportingSettings.applicationReportsEnabled == BOOLEAN
    input.Body.statusReportingSettings.commonCriteriaModeEnabled == BOOLEAN
    input.Body.statusReportingSettings.deviceSettingsEnabled == BOOLEAN
    input.Body.statusReportingSettings.displayInfoEnabled == BOOLEAN
    input.Body.statusReportingSettings.hardwareStatusEnabled == BOOLEAN
    input.Body.statusReportingSettings.memoryInfoEnabled == BOOLEAN
    input.Body.statusReportingSettings.networkInfoEnabled == BOOLEAN
    input.Body.statusReportingSettings.powerManagementEventsEnabled == BOOLEAN
    input.Body.statusReportingSettings.softwareInfoEnabled == BOOLEAN
    input.Body.statusReportingSettings.systemPropertiesEnabled == BOOLEAN
    input.Body.stayOnPluggedModes[_] == enum_PolicyStayOnPluggedModes[_]
    input.Body.systemUpdate.endMinutes == INTEGER
    input.Body.systemUpdate.freezePeriods[_].endDate.day == INTEGER
    input.Body.systemUpdate.freezePeriods[_].endDate.month == INTEGER
    input.Body.systemUpdate.freezePeriods[_].endDate.year == INTEGER
    input.Body.systemUpdate.freezePeriods[_].startDate.day == INTEGER
    input.Body.systemUpdate.freezePeriods[_].startDate.month == INTEGER
    input.Body.systemUpdate.freezePeriods[_].startDate.year == INTEGER
    input.Body.systemUpdate.startMinutes == INTEGER
    input.Body.systemUpdate.type == enum_SystemUpdateType[_]
    input.Body.tetheringConfigDisabled == BOOLEAN
    input.Body.uninstallAppsDisabled == BOOLEAN
    input.Body.unmuteMicrophoneDisabled == BOOLEAN
    input.Body.usageLog.enabledLogTypes[_] == enum_UsageLogEnabledLogTypes[_]
    input.Body.usageLog.uploadOnCellularAllowed[_] == enum_UsageLogUploadOnCellularAllowed[_]
    input.Body.usbFileTransferDisabled == BOOLEAN
    input.Body.usbMassStorageEnabled == BOOLEAN
    input.Body.version == STRING
    input.Body.vpnConfigDisabled == BOOLEAN
    input.Body.wifiConfigDisabled == BOOLEAN
    input.Body.wifiConfigsLockdownEnabled == BOOLEAN
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

enum_WebAppDisplayMode := [ "DISPLAY_MODE_UNSPECIFIED", "MINIMAL_UI", "STANDALONE", "FULL_SCREEN" ]

valid {
    input.Body.displayMode == enum_WebAppDisplayMode[_]
    input.Body.icons[_].imageData == STRING
    input.Body.name == STRING
    input.Body.startUrl == STRING
    input.Body.title == STRING
    input.Body.versionCode == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

enum_WebAppDisplayMode := [ "DISPLAY_MODE_UNSPECIFIED", "MINIMAL_UI", "STANDALONE", "FULL_SCREEN" ]

valid {
    input.Body.displayMode == enum_WebAppDisplayMode[_]
    input.Body.icons[_].imageData == STRING
    input.Body.name == STRING
    input.Body.startUrl == STRING
    input.Body.title == STRING
    input.Body.versionCode == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

enum_WebTokenEnabledFeatures := [ "FEATURE_UNSPECIFIED", "PLAY_SEARCH", "PRIVATE_APPS", "WEB_APPS", "STORE_BUILDER", "MANAGED_CONFIGURATIONS", "ZERO_TOUCH_CUSTOMER_MANAGEMENT" ]
enum_WebTokenPermissions := [ "WEB_TOKEN_PERMISSION_UNSPECIFIED", "APPROVE_APPS" ]

valid {
    input.Body.enabledFeatures[_] == enum_WebTokenEnabledFeatures[_]
    input.Body.name == STRING
    input.Body.parentFrameUrl == STRING
    input.Body.permissions[_] == enum_WebTokenPermissions[_]
    input.Body.value == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.callbackUrl == STRING
    input.Qs.projectId == STRING
    input.ProviderMetadata.Region == STRING
}