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

valid {
    input.Body.gcsBucket == STRING
    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
}

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

valid {
    input.Body.backupId == STRING
    input.Body.ttl == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

enum_AOFConfigAppendFsync := [ "APPEND_FSYNC_UNSPECIFIED", "NO", "EVERYSEC", "ALWAYS" ]
enum_AutomatedBackupConfigAutomatedBackupMode := [ "AUTOMATED_BACKUP_MODE_UNSPECIFIED", "DISABLED", "ENABLED" ]
enum_ClusterAuthorizationMode := [ "AUTH_MODE_UNSPECIFIED", "AUTH_MODE_IAM_AUTH", "AUTH_MODE_DISABLED" ]
enum_ClusterNodeType := [ "NODE_TYPE_UNSPECIFIED", "REDIS_SHARED_CORE_NANO", "REDIS_HIGHMEM_MEDIUM", "REDIS_HIGHMEM_XLARGE", "REDIS_STANDARD_SMALL" ]
enum_ClusterPersistenceConfigMode := [ "PERSISTENCE_MODE_UNSPECIFIED", "DISABLED", "RDB", "AOF" ]
enum_ClusterTransitEncryptionMode := [ "TRANSIT_ENCRYPTION_MODE_UNSPECIFIED", "TRANSIT_ENCRYPTION_MODE_DISABLED", "TRANSIT_ENCRYPTION_MODE_SERVER_AUTHENTICATION" ]
enum_ClusterWeeklyMaintenanceWindowDay := [ "DAY_OF_WEEK_UNSPECIFIED", "MONDAY", "TUESDAY", "WEDNESDAY", "THURSDAY", "FRIDAY", "SATURDAY", "SUNDAY" ]
enum_CrossClusterReplicationConfigClusterRole := [ "CLUSTER_ROLE_UNSPECIFIED", "NONE", "PRIMARY", "SECONDARY" ]
enum_RDBConfigRdbSnapshotPeriod := [ "SNAPSHOT_PERIOD_UNSPECIFIED", "ONE_HOUR", "SIX_HOURS", "TWELVE_HOURS", "TWENTY_FOUR_HOURS" ]
enum_ZoneDistributionConfigMode := [ "ZONE_DISTRIBUTION_MODE_UNSPECIFIED", "MULTI_ZONE", "SINGLE_ZONE" ]

valid {
    input.Body.authorizationMode == enum_ClusterAuthorizationMode[_]
    input.Body.automatedBackupConfig.automatedBackupMode == enum_AutomatedBackupConfigAutomatedBackupMode[_]
    input.Body.automatedBackupConfig.fixedFrequencySchedule.startTime.hours == INTEGER
    input.Body.automatedBackupConfig.fixedFrequencySchedule.startTime.minutes == INTEGER
    input.Body.automatedBackupConfig.fixedFrequencySchedule.startTime.nanos == INTEGER
    input.Body.automatedBackupConfig.fixedFrequencySchedule.startTime.seconds == INTEGER
    input.Body.automatedBackupConfig.retention == STRING
    input.Body.clusterEndpoints[_].connections[_].pscAutoConnection.network == STRING
    input.Body.clusterEndpoints[_].connections[_].pscAutoConnection.projectId == STRING
    input.Body.clusterEndpoints[_].connections[_].pscConnection.address == STRING
    input.Body.clusterEndpoints[_].connections[_].pscConnection.forwardingRule == STRING
    input.Body.clusterEndpoints[_].connections[_].pscConnection.network == STRING
    input.Body.clusterEndpoints[_].connections[_].pscConnection.projectId == STRING
    input.Body.clusterEndpoints[_].connections[_].pscConnection.pscConnectionId == STRING
    input.Body.clusterEndpoints[_].connections[_].pscConnection.serviceAttachment == STRING
    input.Body.crossClusterReplicationConfig.clusterRole == enum_CrossClusterReplicationConfigClusterRole[_]
    input.Body.crossClusterReplicationConfig.primaryCluster.cluster == STRING
    input.Body.crossClusterReplicationConfig.secondaryClusters[_].cluster == STRING
    input.Body.deletionProtectionEnabled == BOOLEAN
    input.Body.gcsSource.uris[_] == STRING
    input.Body.maintenancePolicy.weeklyMaintenanceWindow[_].day == enum_ClusterWeeklyMaintenanceWindowDay[_]
    input.Body.maintenancePolicy.weeklyMaintenanceWindow[_].startTime.hours == INTEGER
    input.Body.maintenancePolicy.weeklyMaintenanceWindow[_].startTime.minutes == INTEGER
    input.Body.maintenancePolicy.weeklyMaintenanceWindow[_].startTime.nanos == INTEGER
    input.Body.maintenancePolicy.weeklyMaintenanceWindow[_].startTime.seconds == INTEGER
    input.Body.managedBackupSource.backup == STRING
    input.Body.name == STRING
    input.Body.nodeType == enum_ClusterNodeType[_]
    input.Body.persistenceConfig.aofConfig.appendFsync == enum_AOFConfigAppendFsync[_]
    input.Body.persistenceConfig.mode == enum_ClusterPersistenceConfigMode[_]
    input.Body.persistenceConfig.rdbConfig.rdbSnapshotPeriod == enum_RDBConfigRdbSnapshotPeriod[_]
    input.Body.persistenceConfig.rdbConfig.rdbSnapshotStartTime == STRING
    input.Body.pscConfigs[_].network == STRING
    input.Body.redisConfigs.STRING == STRING
    input.Body.replicaCount == INTEGER
    input.Body.shardCount == INTEGER
    input.Body.transitEncryptionMode == enum_ClusterTransitEncryptionMode[_]
    input.Body.zoneDistributionConfig.mode == enum_ZoneDistributionConfigMode[_]
    input.Body.zoneDistributionConfig.zone == STRING
    input.ReqMap.parent == STRING
    input.Qs.clusterId == STRING
    input.Qs.requestId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.requestId == 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_AOFConfigAppendFsync := [ "APPEND_FSYNC_UNSPECIFIED", "NO", "EVERYSEC", "ALWAYS" ]
enum_AutomatedBackupConfigAutomatedBackupMode := [ "AUTOMATED_BACKUP_MODE_UNSPECIFIED", "DISABLED", "ENABLED" ]
enum_ClusterAuthorizationMode := [ "AUTH_MODE_UNSPECIFIED", "AUTH_MODE_IAM_AUTH", "AUTH_MODE_DISABLED" ]
enum_ClusterNodeType := [ "NODE_TYPE_UNSPECIFIED", "REDIS_SHARED_CORE_NANO", "REDIS_HIGHMEM_MEDIUM", "REDIS_HIGHMEM_XLARGE", "REDIS_STANDARD_SMALL" ]
enum_ClusterPersistenceConfigMode := [ "PERSISTENCE_MODE_UNSPECIFIED", "DISABLED", "RDB", "AOF" ]
enum_ClusterTransitEncryptionMode := [ "TRANSIT_ENCRYPTION_MODE_UNSPECIFIED", "TRANSIT_ENCRYPTION_MODE_DISABLED", "TRANSIT_ENCRYPTION_MODE_SERVER_AUTHENTICATION" ]
enum_ClusterWeeklyMaintenanceWindowDay := [ "DAY_OF_WEEK_UNSPECIFIED", "MONDAY", "TUESDAY", "WEDNESDAY", "THURSDAY", "FRIDAY", "SATURDAY", "SUNDAY" ]
enum_CrossClusterReplicationConfigClusterRole := [ "CLUSTER_ROLE_UNSPECIFIED", "NONE", "PRIMARY", "SECONDARY" ]
enum_RDBConfigRdbSnapshotPeriod := [ "SNAPSHOT_PERIOD_UNSPECIFIED", "ONE_HOUR", "SIX_HOURS", "TWELVE_HOURS", "TWENTY_FOUR_HOURS" ]
enum_ZoneDistributionConfigMode := [ "ZONE_DISTRIBUTION_MODE_UNSPECIFIED", "MULTI_ZONE", "SINGLE_ZONE" ]

valid {
    input.Body.authorizationMode == enum_ClusterAuthorizationMode[_]
    input.Body.automatedBackupConfig.automatedBackupMode == enum_AutomatedBackupConfigAutomatedBackupMode[_]
    input.Body.automatedBackupConfig.fixedFrequencySchedule.startTime.hours == INTEGER
    input.Body.automatedBackupConfig.fixedFrequencySchedule.startTime.minutes == INTEGER
    input.Body.automatedBackupConfig.fixedFrequencySchedule.startTime.nanos == INTEGER
    input.Body.automatedBackupConfig.fixedFrequencySchedule.startTime.seconds == INTEGER
    input.Body.automatedBackupConfig.retention == STRING
    input.Body.clusterEndpoints[_].connections[_].pscAutoConnection.network == STRING
    input.Body.clusterEndpoints[_].connections[_].pscAutoConnection.projectId == STRING
    input.Body.clusterEndpoints[_].connections[_].pscConnection.address == STRING
    input.Body.clusterEndpoints[_].connections[_].pscConnection.forwardingRule == STRING
    input.Body.clusterEndpoints[_].connections[_].pscConnection.network == STRING
    input.Body.clusterEndpoints[_].connections[_].pscConnection.projectId == STRING
    input.Body.clusterEndpoints[_].connections[_].pscConnection.pscConnectionId == STRING
    input.Body.clusterEndpoints[_].connections[_].pscConnection.serviceAttachment == STRING
    input.Body.crossClusterReplicationConfig.clusterRole == enum_CrossClusterReplicationConfigClusterRole[_]
    input.Body.crossClusterReplicationConfig.primaryCluster.cluster == STRING
    input.Body.crossClusterReplicationConfig.secondaryClusters[_].cluster == STRING
    input.Body.deletionProtectionEnabled == BOOLEAN
    input.Body.gcsSource.uris[_] == STRING
    input.Body.maintenancePolicy.weeklyMaintenanceWindow[_].day == enum_ClusterWeeklyMaintenanceWindowDay[_]
    input.Body.maintenancePolicy.weeklyMaintenanceWindow[_].startTime.hours == INTEGER
    input.Body.maintenancePolicy.weeklyMaintenanceWindow[_].startTime.minutes == INTEGER
    input.Body.maintenancePolicy.weeklyMaintenanceWindow[_].startTime.nanos == INTEGER
    input.Body.maintenancePolicy.weeklyMaintenanceWindow[_].startTime.seconds == INTEGER
    input.Body.managedBackupSource.backup == STRING
    input.Body.name == STRING
    input.Body.nodeType == enum_ClusterNodeType[_]
    input.Body.persistenceConfig.aofConfig.appendFsync == enum_AOFConfigAppendFsync[_]
    input.Body.persistenceConfig.mode == enum_ClusterPersistenceConfigMode[_]
    input.Body.persistenceConfig.rdbConfig.rdbSnapshotPeriod == enum_RDBConfigRdbSnapshotPeriod[_]
    input.Body.persistenceConfig.rdbConfig.rdbSnapshotStartTime == STRING
    input.Body.pscConfigs[_].network == STRING
    input.Body.redisConfigs.STRING == STRING
    input.Body.replicaCount == INTEGER
    input.Body.shardCount == INTEGER
    input.Body.transitEncryptionMode == enum_ClusterTransitEncryptionMode[_]
    input.Body.zoneDistributionConfig.mode == enum_ZoneDistributionConfigMode[_]
    input.Body.zoneDistributionConfig.zone == STRING
    input.ReqMap.name == STRING
    input.Qs.requestId == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

enum_RescheduleClusterMaintenanceRequestRescheduleType := [ "RESCHEDULE_TYPE_UNSPECIFIED", "IMMEDIATE", "SPECIFIC_TIME" ]

valid {
    input.Body.rescheduleType == enum_RescheduleClusterMaintenanceRequestRescheduleType[_]
    input.Body.scheduleTime == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_InstanceConnectMode := [ "CONNECT_MODE_UNSPECIFIED", "DIRECT_PEERING", "PRIVATE_SERVICE_ACCESS" ]
enum_InstanceReadReplicasMode := [ "READ_REPLICAS_MODE_UNSPECIFIED", "READ_REPLICAS_DISABLED", "READ_REPLICAS_ENABLED" ]
enum_InstanceSuspensionReasons := [ "SUSPENSION_REASON_UNSPECIFIED", "CUSTOMER_MANAGED_KEY_ISSUE" ]
enum_InstanceTier := [ "TIER_UNSPECIFIED", "BASIC", "STANDARD_HA" ]
enum_InstanceTransitEncryptionMode := [ "TRANSIT_ENCRYPTION_MODE_UNSPECIFIED", "SERVER_AUTHENTICATION", "DISABLED" ]
enum_PersistenceConfigPersistenceMode := [ "PERSISTENCE_MODE_UNSPECIFIED", "DISABLED", "RDB" ]
enum_PersistenceConfigRdbSnapshotPeriod := [ "SNAPSHOT_PERIOD_UNSPECIFIED", "ONE_HOUR", "SIX_HOURS", "TWELVE_HOURS", "TWENTY_FOUR_HOURS" ]
enum_WeeklyMaintenanceWindowDay := [ "DAY_OF_WEEK_UNSPECIFIED", "MONDAY", "TUESDAY", "WEDNESDAY", "THURSDAY", "FRIDAY", "SATURDAY", "SUNDAY" ]

valid {
    input.Body.alternativeLocationId == STRING
    input.Body.authEnabled == BOOLEAN
    input.Body.authorizedNetwork == STRING
    input.Body.availableMaintenanceVersions[_] == STRING
    input.Body.connectMode == enum_InstanceConnectMode[_]
    input.Body.customerManagedKey == STRING
    input.Body.displayName == STRING
    input.Body.labels.STRING == STRING
    input.Body.locationId == STRING
    input.Body.maintenancePolicy.description == STRING
    input.Body.maintenancePolicy.weeklyMaintenanceWindow[_].day == enum_WeeklyMaintenanceWindowDay[_]
    input.Body.maintenancePolicy.weeklyMaintenanceWindow[_].startTime.hours == INTEGER
    input.Body.maintenancePolicy.weeklyMaintenanceWindow[_].startTime.minutes == INTEGER
    input.Body.maintenancePolicy.weeklyMaintenanceWindow[_].startTime.nanos == INTEGER
    input.Body.maintenancePolicy.weeklyMaintenanceWindow[_].startTime.seconds == INTEGER
    input.Body.maintenanceVersion == STRING
    input.Body.memorySizeGb == INTEGER
    input.Body.name == STRING
    input.Body.persistenceConfig.persistenceMode == enum_PersistenceConfigPersistenceMode[_]
    input.Body.persistenceConfig.rdbSnapshotPeriod == enum_PersistenceConfigRdbSnapshotPeriod[_]
    input.Body.persistenceConfig.rdbSnapshotStartTime == STRING
    input.Body.readReplicasMode == enum_InstanceReadReplicasMode[_]
    input.Body.redisConfigs.STRING == STRING
    input.Body.redisVersion == STRING
    input.Body.replicaCount == INTEGER
    input.Body.reservedIpRange == STRING
    input.Body.secondaryIpRange == STRING
    input.Body.suspensionReasons[_] == enum_InstanceSuspensionReasons[_]
    input.Body.tier == enum_InstanceTier[_]
    input.Body.transitEncryptionMode == enum_InstanceTransitEncryptionMode[_]
    input.ReqMap.parent == STRING
    input.Qs.instanceId == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.outputConfig.gcsDestination.uri == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

enum_FailoverInstanceRequestDataProtectionMode := [ "DATA_PROTECTION_MODE_UNSPECIFIED", "LIMITED_DATA_LOSS", "FORCE_DATA_LOSS" ]

valid {
    input.Body.dataProtectionMode == enum_FailoverInstanceRequestDataProtectionMode[_]
    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.Body.inputConfig.gcsSource.uri == 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
}

enum_InstanceConnectMode := [ "CONNECT_MODE_UNSPECIFIED", "DIRECT_PEERING", "PRIVATE_SERVICE_ACCESS" ]
enum_InstanceReadReplicasMode := [ "READ_REPLICAS_MODE_UNSPECIFIED", "READ_REPLICAS_DISABLED", "READ_REPLICAS_ENABLED" ]
enum_InstanceSuspensionReasons := [ "SUSPENSION_REASON_UNSPECIFIED", "CUSTOMER_MANAGED_KEY_ISSUE" ]
enum_InstanceTier := [ "TIER_UNSPECIFIED", "BASIC", "STANDARD_HA" ]
enum_InstanceTransitEncryptionMode := [ "TRANSIT_ENCRYPTION_MODE_UNSPECIFIED", "SERVER_AUTHENTICATION", "DISABLED" ]
enum_PersistenceConfigPersistenceMode := [ "PERSISTENCE_MODE_UNSPECIFIED", "DISABLED", "RDB" ]
enum_PersistenceConfigRdbSnapshotPeriod := [ "SNAPSHOT_PERIOD_UNSPECIFIED", "ONE_HOUR", "SIX_HOURS", "TWELVE_HOURS", "TWENTY_FOUR_HOURS" ]
enum_WeeklyMaintenanceWindowDay := [ "DAY_OF_WEEK_UNSPECIFIED", "MONDAY", "TUESDAY", "WEDNESDAY", "THURSDAY", "FRIDAY", "SATURDAY", "SUNDAY" ]

valid {
    input.Body.alternativeLocationId == STRING
    input.Body.authEnabled == BOOLEAN
    input.Body.authorizedNetwork == STRING
    input.Body.availableMaintenanceVersions[_] == STRING
    input.Body.connectMode == enum_InstanceConnectMode[_]
    input.Body.customerManagedKey == STRING
    input.Body.displayName == STRING
    input.Body.labels.STRING == STRING
    input.Body.locationId == STRING
    input.Body.maintenancePolicy.description == STRING
    input.Body.maintenancePolicy.weeklyMaintenanceWindow[_].day == enum_WeeklyMaintenanceWindowDay[_]
    input.Body.maintenancePolicy.weeklyMaintenanceWindow[_].startTime.hours == INTEGER
    input.Body.maintenancePolicy.weeklyMaintenanceWindow[_].startTime.minutes == INTEGER
    input.Body.maintenancePolicy.weeklyMaintenanceWindow[_].startTime.nanos == INTEGER
    input.Body.maintenancePolicy.weeklyMaintenanceWindow[_].startTime.seconds == INTEGER
    input.Body.maintenanceVersion == STRING
    input.Body.memorySizeGb == INTEGER
    input.Body.name == STRING
    input.Body.persistenceConfig.persistenceMode == enum_PersistenceConfigPersistenceMode[_]
    input.Body.persistenceConfig.rdbSnapshotPeriod == enum_PersistenceConfigRdbSnapshotPeriod[_]
    input.Body.persistenceConfig.rdbSnapshotStartTime == STRING
    input.Body.readReplicasMode == enum_InstanceReadReplicasMode[_]
    input.Body.redisConfigs.STRING == STRING
    input.Body.redisVersion == STRING
    input.Body.replicaCount == INTEGER
    input.Body.reservedIpRange == STRING
    input.Body.secondaryIpRange == STRING
    input.Body.suspensionReasons[_] == enum_InstanceSuspensionReasons[_]
    input.Body.tier == enum_InstanceTier[_]
    input.Body.transitEncryptionMode == enum_InstanceTransitEncryptionMode[_]
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

enum_RescheduleMaintenanceRequestRescheduleType := [ "RESCHEDULE_TYPE_UNSPECIFIED", "IMMEDIATE", "NEXT_AVAILABLE_WINDOW", "SPECIFIC_TIME" ]

valid {
    input.Body.rescheduleType == enum_RescheduleMaintenanceRequestRescheduleType[_]
    input.Body.scheduleTime == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.redisVersion == STRING
    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
}

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.name == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}