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

valid {
    input.Body.artifact == STRING
    input.Body.assertion == STRING
    input.Body.challenge == STRING
    input.Body.limitedUse == BOOLEAN
    input.ReqMap.app == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.attestationStatement == STRING
    input.Body.challenge == STRING
    input.Body.keyId == STRING
    input.Body.limitedUse == BOOLEAN
    input.ReqMap.app == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.debugToken == STRING
    input.Body.limitedUse == BOOLEAN
    input.ReqMap.app == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.STRING == STRING
    input.ReqMap.app == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.names == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.name == STRING
    input.Body.tokenTtl == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.displayName == STRING
    input.Body.name == STRING
    input.Body.token == 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.displayName == STRING
    input.Body.name == STRING
    input.Body.token == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.names == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.keyId == STRING
    input.Body.name == STRING
    input.Body.privateKey == STRING
    input.Body.tokenTtl == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.artifact == STRING
    input.Body.assertion == STRING
    input.Body.challenge == STRING
    input.Body.limitedUse == BOOLEAN
    input.ReqMap.app == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.attestationStatement == STRING
    input.Body.challenge == STRING
    input.Body.keyId == STRING
    input.Body.limitedUse == BOOLEAN
    input.ReqMap.app == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.customToken == STRING
    input.Body.limitedUse == BOOLEAN
    input.ReqMap.app == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.debugToken == STRING
    input.Body.limitedUse == BOOLEAN
    input.ReqMap.app == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.deviceToken == STRING
    input.Body.limitedUse == BOOLEAN
    input.ReqMap.app == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.limitedUse == BOOLEAN
    input.Body.playIntegrityToken == STRING
    input.ReqMap.app == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.limitedUse == BOOLEAN
    input.Body.recaptchaEnterpriseToken == STRING
    input.ReqMap.app == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.recaptchaToken == STRING
    input.ReqMap.app == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.limitedUse == BOOLEAN
    input.Body.recaptchaV3Token == STRING
    input.ReqMap.app == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.safetyNetToken == STRING
    input.ReqMap.app == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.STRING == STRING
    input.ReqMap.app == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.STRING == STRING
    input.ReqMap.app == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.names == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_GoogleFirebaseAppcheckV1PlayIntegrityConfigDeviceIntegrityMinDeviceRecognitionLevel := [ "DEVICE_RECOGNITION_LEVEL_UNSPECIFIED", "NO_INTEGRITY", "MEETS_BASIC_INTEGRITY", "MEETS_DEVICE_INTEGRITY", "MEETS_STRONG_INTEGRITY" ]

valid {
    input.Body.accountDetails.requireLicensed == BOOLEAN
    input.Body.appIntegrity.allowUnrecognizedVersion == BOOLEAN
    input.Body.deviceIntegrity.minDeviceRecognitionLevel == enum_GoogleFirebaseAppcheckV1PlayIntegrityConfigDeviceIntegrityMinDeviceRecognitionLevel[_]
    input.Body.name == STRING
    input.Body.tokenTtl == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.names == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.minValidScore == NUMBER
    input.Body.name == STRING
    input.Body.siteSecret == STRING
    input.Body.tokenTtl == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.names == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.name == STRING
    input.Body.riskAnalysis.minValidScore == NUMBER
    input.Body.siteKey == STRING
    input.Body.tokenTtl == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.names == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.minValidScore == NUMBER
    input.Body.name == STRING
    input.Body.siteSecret == STRING
    input.Body.tokenTtl == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.names == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.name == STRING
    input.Body.tokenTtl == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

enum_GoogleFirebaseAppcheckV1ServiceEnforcementMode := [ "OFF", "UNENFORCED", "ENFORCED" ]

valid {
    input.Body.requests[_].service.enforcementMode == enum_GoogleFirebaseAppcheckV1ServiceEnforcementMode[_]
    input.Body.requests[_].service.name == STRING
    input.Body.requests[_].updateMask == STRING
    input.Body.updateMask == 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_GoogleFirebaseAppcheckV1ServiceEnforcementMode := [ "OFF", "UNENFORCED", "ENFORCED" ]

valid {
    input.Body.enforcementMode == enum_GoogleFirebaseAppcheckV1ServiceEnforcementMode[_]
    input.Body.name == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

enum_GoogleFirebaseAppcheckV1ResourcePolicyEnforcementMode := [ "OFF", "UNENFORCED", "ENFORCED" ]

valid {
    input.Body.requests[_].resourcePolicy.enforcementMode == enum_GoogleFirebaseAppcheckV1ResourcePolicyEnforcementMode[_]
    input.Body.requests[_].resourcePolicy.etag == STRING
    input.Body.requests[_].resourcePolicy.name == STRING
    input.Body.requests[_].resourcePolicy.targetResource == STRING
    input.Body.requests[_].updateMask == STRING
    input.Body.updateMask == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

enum_GoogleFirebaseAppcheckV1ResourcePolicyEnforcementMode := [ "OFF", "UNENFORCED", "ENFORCED" ]

valid {
    input.Body.enforcementMode == enum_GoogleFirebaseAppcheckV1ResourcePolicyEnforcementMode[_]
    input.Body.etag == STRING
    input.Body.name == STRING
    input.Body.targetResource == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

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

enum_GoogleFirebaseAppcheckV1ResourcePolicyEnforcementMode := [ "OFF", "UNENFORCED", "ENFORCED" ]

valid {
    input.Body.enforcementMode == enum_GoogleFirebaseAppcheckV1ResourcePolicyEnforcementMode[_]
    input.Body.etag == STRING
    input.Body.name == STRING
    input.Body.targetResource == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.appCheckToken == STRING
    input.ReqMap.ProjectID == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}