enum_GoogleCloudRecaptchaenterpriseV1AnnotateAssessmentRequestAnnotation := [ "ANNOTATION_UNSPECIFIED", "LEGITIMATE", "FRAUDULENT", "PASSWORD_CORRECT", "PASSWORD_INCORRECT" ]
enum_GoogleCloudRecaptchaenterpriseV1AnnotateAssessmentRequestReasons := [ "REASON_UNSPECIFIED", "CHARGEBACK", "CHARGEBACK_FRAUD", "CHARGEBACK_DISPUTE", "REFUND", "REFUND_FRAUD", "TRANSACTION_ACCEPTED", "TRANSACTION_DECLINED", "PAYMENT_HEURISTICS", "INITIATED_TWO_FACTOR", "PASSED_TWO_FACTOR", "FAILED_TWO_FACTOR", "CORRECT_PASSWORD", "INCORRECT_PASSWORD", "SOCIAL_SPAM" ]
enum_GoogleCloudRecaptchaenterpriseV1TransactionEventEventType := [ "TRANSACTION_EVENT_TYPE_UNSPECIFIED", "MERCHANT_APPROVE", "MERCHANT_DENY", "MANUAL_REVIEW", "AUTHORIZATION", "AUTHORIZATION_DECLINE", "PAYMENT_CAPTURE", "PAYMENT_CAPTURE_DECLINE", "CANCEL", "CHARGEBACK_INQUIRY", "CHARGEBACK_ALERT", "FRAUD_NOTIFICATION", "CHARGEBACK", "CHARGEBACK_REPRESENTMENT", "CHARGEBACK_REVERSE", "REFUND_REQUEST", "REFUND_DECLINE", "REFUND", "REFUND_REVERSE" ]

valid {
    input.Body.accountId == STRING
    input.Body.annotation == enum_GoogleCloudRecaptchaenterpriseV1AnnotateAssessmentRequestAnnotation[_]
    input.Body.hashedAccountId == STRING
    input.Body.reasons[_] == enum_GoogleCloudRecaptchaenterpriseV1AnnotateAssessmentRequestReasons[_]
    input.Body.transactionEvent.eventTime == STRING
    input.Body.transactionEvent.eventType == enum_GoogleCloudRecaptchaenterpriseV1TransactionEventEventType[_]
    input.Body.transactionEvent.reason == STRING
    input.Body.transactionEvent.value == NUMBER
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

enum_GoogleCloudRecaptchaenterpriseV1EventFraudPrevention := [ "FRAUD_PREVENTION_UNSPECIFIED", "ENABLED", "DISABLED" ]

valid {
    input.Body.accountVerification.endpoints[_].emailAddress == STRING
    input.Body.accountVerification.endpoints[_].phoneNumber == STRING
    input.Body.accountVerification.languageCode == STRING
    input.Body.accountVerification.username == STRING
    input.Body.event.expectedAction == STRING
    input.Body.event.express == BOOLEAN
    input.Body.event.firewallPolicyEvaluation == BOOLEAN
    input.Body.event.fraudPrevention == enum_GoogleCloudRecaptchaenterpriseV1EventFraudPrevention[_]
    input.Body.event.hashedAccountId == STRING
    input.Body.event.headers[_] == STRING
    input.Body.event.ja3 == STRING
    input.Body.event.requestedUri == STRING
    input.Body.event.siteKey == STRING
    input.Body.event.token == STRING
    input.Body.event.transactionData.billingAddress.address[_] == STRING
    input.Body.event.transactionData.billingAddress.administrativeArea == STRING
    input.Body.event.transactionData.billingAddress.locality == STRING
    input.Body.event.transactionData.billingAddress.postalCode == STRING
    input.Body.event.transactionData.billingAddress.recipient == STRING
    input.Body.event.transactionData.billingAddress.regionCode == STRING
    input.Body.event.transactionData.cardBin == STRING
    input.Body.event.transactionData.cardLastFour == STRING
    input.Body.event.transactionData.currencyCode == STRING
    input.Body.event.transactionData.gatewayInfo.avsResponseCode == STRING
    input.Body.event.transactionData.gatewayInfo.cvvResponseCode == STRING
    input.Body.event.transactionData.gatewayInfo.gatewayResponseCode == STRING
    input.Body.event.transactionData.gatewayInfo.name == STRING
    input.Body.event.transactionData.items[_].merchantAccountId == STRING
    input.Body.event.transactionData.items[_].name == STRING
    input.Body.event.transactionData.items[_].quantity == STRING
    input.Body.event.transactionData.items[_].value == NUMBER
    input.Body.event.transactionData.merchants[_].accountId == STRING
    input.Body.event.transactionData.merchants[_].creationMs == STRING
    input.Body.event.transactionData.merchants[_].email == STRING
    input.Body.event.transactionData.merchants[_].emailVerified == BOOLEAN
    input.Body.event.transactionData.merchants[_].phoneNumber == STRING
    input.Body.event.transactionData.merchants[_].phoneVerified == BOOLEAN
    input.Body.event.transactionData.paymentMethod == STRING
    input.Body.event.transactionData.shippingAddress.address[_] == STRING
    input.Body.event.transactionData.shippingAddress.administrativeArea == STRING
    input.Body.event.transactionData.shippingAddress.locality == STRING
    input.Body.event.transactionData.shippingAddress.postalCode == STRING
    input.Body.event.transactionData.shippingAddress.recipient == STRING
    input.Body.event.transactionData.shippingAddress.regionCode == STRING
    input.Body.event.transactionData.shippingValue == NUMBER
    input.Body.event.transactionData.transactionId == STRING
    input.Body.event.transactionData.user.accountId == STRING
    input.Body.event.transactionData.user.creationMs == STRING
    input.Body.event.transactionData.user.email == STRING
    input.Body.event.transactionData.user.emailVerified == BOOLEAN
    input.Body.event.transactionData.user.phoneNumber == STRING
    input.Body.event.transactionData.user.phoneVerified == BOOLEAN
    input.Body.event.transactionData.value == NUMBER
    input.Body.event.userAgent == STRING
    input.Body.event.userInfo.accountId == STRING
    input.Body.event.userInfo.createAccountTime == STRING
    input.Body.event.userInfo.userIds[_].email == STRING
    input.Body.event.userInfo.userIds[_].phoneNumber == STRING
    input.Body.event.userInfo.userIds[_].username == STRING
    input.Body.event.userIpAddress == STRING
    input.Body.event.wafTokenAssessment == BOOLEAN
    input.Body.privatePasswordLeakVerification.encryptedUserCredentialsHash == STRING
    input.Body.privatePasswordLeakVerification.lookupHashPrefix == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.actions[_].allow.STRING == STRING
    input.Body.actions[_].block.STRING == STRING
    input.Body.actions[_].includeRecaptchaScript.STRING == STRING
    input.Body.actions[_].redirect.STRING == STRING
    input.Body.actions[_].setHeader.key == STRING
    input.Body.actions[_].setHeader.value == STRING
    input.Body.actions[_].substitute.path == STRING
    input.Body.condition == STRING
    input.Body.description == STRING
    input.Body.name == STRING
    input.Body.path == 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.Body.actions[_].allow.STRING == STRING
    input.Body.actions[_].block.STRING == STRING
    input.Body.actions[_].includeRecaptchaScript.STRING == STRING
    input.Body.actions[_].redirect.STRING == STRING
    input.Body.actions[_].setHeader.key == STRING
    input.Body.actions[_].setHeader.value == STRING
    input.Body.actions[_].substitute.path == STRING
    input.Body.condition == STRING
    input.Body.description == STRING
    input.Body.name == STRING
    input.Body.path == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.names[_] == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

enum_GoogleCloudRecaptchaenterpriseV1TestingOptionsTestingChallenge := [ "TESTING_CHALLENGE_UNSPECIFIED", "NOCAPTCHA", "UNSOLVABLE_CHALLENGE" ]
enum_GoogleCloudRecaptchaenterpriseV1WafSettingsWafFeature := [ "WAF_FEATURE_UNSPECIFIED", "CHALLENGE_PAGE", "SESSION_TOKEN", "ACTION_TOKEN", "EXPRESS" ]
enum_GoogleCloudRecaptchaenterpriseV1WafSettingsWafService := [ "WAF_SERVICE_UNSPECIFIED", "CA", "FASTLY", "CLOUDFLARE" ]
enum_GoogleCloudRecaptchaenterpriseV1WebKeySettingsChallengeSecurityPreference := [ "CHALLENGE_SECURITY_PREFERENCE_UNSPECIFIED", "USABILITY", "BALANCE", "SECURITY" ]
enum_GoogleCloudRecaptchaenterpriseV1WebKeySettingsIntegrationType := [ "INTEGRATION_TYPE_UNSPECIFIED", "SCORE", "CHECKBOX", "INVISIBLE" ]

valid {
    input.Body.androidSettings.allowAllPackageNames == BOOLEAN
    input.Body.androidSettings.allowedPackageNames[_] == STRING
    input.Body.androidSettings.supportNonGoogleAppStoreDistribution == BOOLEAN
    input.Body.displayName == STRING
    input.Body.iosSettings.allowAllBundleIds == BOOLEAN
    input.Body.iosSettings.allowedBundleIds[_] == STRING
    input.Body.iosSettings.appleDeveloperId.keyId == STRING
    input.Body.iosSettings.appleDeveloperId.privateKey == STRING
    input.Body.iosSettings.appleDeveloperId.teamId == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.testingOptions.testingChallenge == enum_GoogleCloudRecaptchaenterpriseV1TestingOptionsTestingChallenge[_]
    input.Body.testingOptions.testingScore == NUMBER
    input.Body.wafSettings.wafFeature == enum_GoogleCloudRecaptchaenterpriseV1WafSettingsWafFeature[_]
    input.Body.wafSettings.wafService == enum_GoogleCloudRecaptchaenterpriseV1WafSettingsWafService[_]
    input.Body.webSettings.allowAllDomains == BOOLEAN
    input.Body.webSettings.allowAmpTraffic == BOOLEAN
    input.Body.webSettings.allowedDomains[_] == STRING
    input.Body.webSettings.challengeSecurityPreference == enum_GoogleCloudRecaptchaenterpriseV1WebKeySettingsChallengeSecurityPreference[_]
    input.Body.webSettings.integrationType == enum_GoogleCloudRecaptchaenterpriseV1WebKeySettingsIntegrationType[_]
    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.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.Body.skipBillingCheck == BOOLEAN
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

enum_GoogleCloudRecaptchaenterpriseV1TestingOptionsTestingChallenge := [ "TESTING_CHALLENGE_UNSPECIFIED", "NOCAPTCHA", "UNSOLVABLE_CHALLENGE" ]
enum_GoogleCloudRecaptchaenterpriseV1WafSettingsWafFeature := [ "WAF_FEATURE_UNSPECIFIED", "CHALLENGE_PAGE", "SESSION_TOKEN", "ACTION_TOKEN", "EXPRESS" ]
enum_GoogleCloudRecaptchaenterpriseV1WafSettingsWafService := [ "WAF_SERVICE_UNSPECIFIED", "CA", "FASTLY", "CLOUDFLARE" ]
enum_GoogleCloudRecaptchaenterpriseV1WebKeySettingsChallengeSecurityPreference := [ "CHALLENGE_SECURITY_PREFERENCE_UNSPECIFIED", "USABILITY", "BALANCE", "SECURITY" ]
enum_GoogleCloudRecaptchaenterpriseV1WebKeySettingsIntegrationType := [ "INTEGRATION_TYPE_UNSPECIFIED", "SCORE", "CHECKBOX", "INVISIBLE" ]

valid {
    input.Body.androidSettings.allowAllPackageNames == BOOLEAN
    input.Body.androidSettings.allowedPackageNames[_] == STRING
    input.Body.androidSettings.supportNonGoogleAppStoreDistribution == BOOLEAN
    input.Body.displayName == STRING
    input.Body.iosSettings.allowAllBundleIds == BOOLEAN
    input.Body.iosSettings.allowedBundleIds[_] == STRING
    input.Body.iosSettings.appleDeveloperId.keyId == STRING
    input.Body.iosSettings.appleDeveloperId.privateKey == STRING
    input.Body.iosSettings.appleDeveloperId.teamId == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.testingOptions.testingChallenge == enum_GoogleCloudRecaptchaenterpriseV1TestingOptionsTestingChallenge[_]
    input.Body.testingOptions.testingScore == NUMBER
    input.Body.wafSettings.wafFeature == enum_GoogleCloudRecaptchaenterpriseV1WafSettingsWafFeature[_]
    input.Body.wafSettings.wafService == enum_GoogleCloudRecaptchaenterpriseV1WafSettingsWafService[_]
    input.Body.webSettings.allowAllDomains == BOOLEAN
    input.Body.webSettings.allowAmpTraffic == BOOLEAN
    input.Body.webSettings.allowedDomains[_] == STRING
    input.Body.webSettings.challengeSecurityPreference == enum_GoogleCloudRecaptchaenterpriseV1WebKeySettingsChallengeSecurityPreference[_]
    input.Body.webSettings.integrationType == enum_GoogleCloudRecaptchaenterpriseV1WebKeySettingsIntegrationType[_]
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.accountId == STRING
    input.Body.hashedAccountId == STRING
    input.Body.pageSize == INTEGER
    input.Body.pageToken == STRING
    input.ReqMap.ProjectID == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

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

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