MICROSOFT.COGNITIVESERVICES

Accounts_Create

enum_AccountPropertiesPublicNetworkAccess := [ "Enabled", "Disabled" ]
enum_EncryptionKeySource := [ "Microsoft.CognitiveServices", "Microsoft.KeyVault" ]
enum_IdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned" ]
enum_MultiRegionSettingsRoutingMethod := [ "Priority", "Weighted", "Performance" ]
enum_NetworkRuleSetBypass := [ "None", "AzureServices" ]
enum_NetworkRuleSetDefaultAction := [ "Allow", "Deny" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium", "Enterprise" ]

valid {
    input.Body.kind == STRING
    input.Body.sku.name == STRING
    input.Body.sku.tier == enum_SkuTier[_]
    input.Body.sku.size == STRING
    input.Body.sku.family == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.Body.properties.migrationToken == STRING
    input.Body.properties.customSubDomainName == STRING
    input.Body.properties.networkAcls.defaultAction == enum_NetworkRuleSetDefaultAction[_]
    input.Body.properties.networkAcls.bypass == enum_NetworkRuleSetBypass[_]
    input.Body.properties.networkAcls.ipRules[_].value == STRING
    input.Body.properties.networkAcls.virtualNetworkRules[_].id == STRING
    input.Body.properties.networkAcls.virtualNetworkRules[_].state == STRING
    input.Body.properties.networkAcls.virtualNetworkRules[_].ignoreMissingVnetServiceEndpoint == BOOLEAN
    input.Body.properties.encryption.keyVaultProperties.keyName == STRING
    input.Body.properties.encryption.keyVaultProperties.keyVersion == STRING
    input.Body.properties.encryption.keyVaultProperties.keyVaultUri == STRING
    input.Body.properties.encryption.keyVaultProperties.identityClientId == STRING
    input.Body.properties.encryption.keySource == enum_EncryptionKeySource[_]
    input.Body.properties.userOwnedStorage[_].resourceId == STRING
    input.Body.properties.userOwnedStorage[_].identityClientId == STRING
    input.Body.properties.amlWorkspace.resourceId == STRING
    input.Body.properties.amlWorkspace.identityClientId == STRING
    input.Body.properties.publicNetworkAccess == enum_AccountPropertiesPublicNetworkAccess[_]
    input.Body.properties.apiProperties.qnaRuntimeEndpoint == STRING
    input.Body.properties.apiProperties.qnaAzureSearchEndpointKey == STRING
    input.Body.properties.apiProperties.qnaAzureSearchEndpointId == STRING
    input.Body.properties.apiProperties.statisticsEnabled == BOOLEAN
    input.Body.properties.apiProperties.eventHubConnectionString == STRING
    input.Body.properties.apiProperties.storageAccountConnectionString == STRING
    input.Body.properties.apiProperties.aadClientId == STRING
    input.Body.properties.apiProperties.aadTenantId == STRING
    input.Body.properties.apiProperties.superUser == STRING
    input.Body.properties.apiProperties.websiteName == STRING
    input.Body.properties.dynamicThrottlingEnabled == BOOLEAN
    input.Body.properties.restrictOutboundNetworkAccess == BOOLEAN
    input.Body.properties.allowedFqdnList[_] == STRING
    input.Body.properties.disableLocalAuth == BOOLEAN
    input.Body.properties.restore == BOOLEAN
    input.Body.properties.locations.routingMethod == enum_MultiRegionSettingsRoutingMethod[_]
    input.Body.properties.locations.regions[_].name == STRING
    input.Body.properties.locations.regions[_].value == NUMBER
    input.Body.properties.locations.regions[_].customsubdomain == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Accounts_Delete

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Accounts_Get

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Accounts_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Accounts_ListByResourceGroup

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Accounts_ListKeys

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Accounts_ListModels

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Accounts_ListSkus

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Accounts_ListUsages

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Accounts_RegenerateKey

enum_RegenerateKeyParametersKeyName := [ "Key1", "Key2" ]

valid {
    input.Body.keyName == enum_RegenerateKeyParametersKeyName[_]
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Accounts_Update

enum_AccountPropertiesPublicNetworkAccess := [ "Enabled", "Disabled" ]
enum_EncryptionKeySource := [ "Microsoft.CognitiveServices", "Microsoft.KeyVault" ]
enum_IdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned" ]
enum_MultiRegionSettingsRoutingMethod := [ "Priority", "Weighted", "Performance" ]
enum_NetworkRuleSetBypass := [ "None", "AzureServices" ]
enum_NetworkRuleSetDefaultAction := [ "Allow", "Deny" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium", "Enterprise" ]

valid {
    input.Body.kind == STRING
    input.Body.sku.name == STRING
    input.Body.sku.tier == enum_SkuTier[_]
    input.Body.sku.size == STRING
    input.Body.sku.family == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.Body.properties.migrationToken == STRING
    input.Body.properties.customSubDomainName == STRING
    input.Body.properties.networkAcls.defaultAction == enum_NetworkRuleSetDefaultAction[_]
    input.Body.properties.networkAcls.bypass == enum_NetworkRuleSetBypass[_]
    input.Body.properties.networkAcls.ipRules[_].value == STRING
    input.Body.properties.networkAcls.virtualNetworkRules[_].id == STRING
    input.Body.properties.networkAcls.virtualNetworkRules[_].state == STRING
    input.Body.properties.networkAcls.virtualNetworkRules[_].ignoreMissingVnetServiceEndpoint == BOOLEAN
    input.Body.properties.encryption.keyVaultProperties.keyName == STRING
    input.Body.properties.encryption.keyVaultProperties.keyVersion == STRING
    input.Body.properties.encryption.keyVaultProperties.keyVaultUri == STRING
    input.Body.properties.encryption.keyVaultProperties.identityClientId == STRING
    input.Body.properties.encryption.keySource == enum_EncryptionKeySource[_]
    input.Body.properties.userOwnedStorage[_].resourceId == STRING
    input.Body.properties.userOwnedStorage[_].identityClientId == STRING
    input.Body.properties.amlWorkspace.resourceId == STRING
    input.Body.properties.amlWorkspace.identityClientId == STRING
    input.Body.properties.publicNetworkAccess == enum_AccountPropertiesPublicNetworkAccess[_]
    input.Body.properties.apiProperties.qnaRuntimeEndpoint == STRING
    input.Body.properties.apiProperties.qnaAzureSearchEndpointKey == STRING
    input.Body.properties.apiProperties.qnaAzureSearchEndpointId == STRING
    input.Body.properties.apiProperties.statisticsEnabled == BOOLEAN
    input.Body.properties.apiProperties.eventHubConnectionString == STRING
    input.Body.properties.apiProperties.storageAccountConnectionString == STRING
    input.Body.properties.apiProperties.aadClientId == STRING
    input.Body.properties.apiProperties.aadTenantId == STRING
    input.Body.properties.apiProperties.superUser == STRING
    input.Body.properties.apiProperties.websiteName == STRING
    input.Body.properties.dynamicThrottlingEnabled == BOOLEAN
    input.Body.properties.restrictOutboundNetworkAccess == BOOLEAN
    input.Body.properties.allowedFqdnList[_] == STRING
    input.Body.properties.disableLocalAuth == BOOLEAN
    input.Body.properties.restore == BOOLEAN
    input.Body.properties.locations.routingMethod == enum_MultiRegionSettingsRoutingMethod[_]
    input.Body.properties.locations.regions[_].name == STRING
    input.Body.properties.locations.regions[_].value == NUMBER
    input.Body.properties.locations.regions[_].customsubdomain == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CheckDomainAvailability

valid {
    input.Body.subdomainName == STRING
    input.Body.type == STRING
    input.Body.kind == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

CheckSkuAvailability

valid {
    input.Body.skus[_] == STRING
    input.Body.kind == STRING
    input.Body.type == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

CommitmentPlans_CreateOrUpdate

enum_HostingModel := [ "Web", "ConnectedContainer", "DisconnectedContainer", "ProvisionedWeb" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium", "Enterprise" ]

valid {
    input.Body.kind == STRING
    input.Body.sku.name == STRING
    input.Body.sku.tier == enum_SkuTier[_]
    input.Body.sku.size == STRING
    input.Body.sku.family == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.Body.properties.commitmentPlanGuid == STRING
    input.Body.properties.hostingModel == enum_HostingModel[_]
    input.Body.properties.planType == STRING
    input.Body.properties.current.tier == STRING
    input.Body.properties.current.count == INTEGER
    input.Body.properties.autoRenew == BOOLEAN
    input.Body.properties.next.tier == STRING
    input.Body.properties.next.count == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.commitmentPlanName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CommitmentPlans_CreateOrUpdateAssociation

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.accountId == STRING
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.commitmentPlanName == STRING
    input.ReqMap.commitmentPlanAssociationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CommitmentPlans_CreateOrUpdatePlan

enum_HostingModel := [ "Web", "ConnectedContainer", "DisconnectedContainer", "ProvisionedWeb" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium", "Enterprise" ]

valid {
    input.Body.kind == STRING
    input.Body.sku.name == STRING
    input.Body.sku.tier == enum_SkuTier[_]
    input.Body.sku.size == STRING
    input.Body.sku.family == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.Body.properties.commitmentPlanGuid == STRING
    input.Body.properties.hostingModel == enum_HostingModel[_]
    input.Body.properties.planType == STRING
    input.Body.properties.current.tier == STRING
    input.Body.properties.current.count == INTEGER
    input.Body.properties.autoRenew == BOOLEAN
    input.Body.properties.next.tier == STRING
    input.Body.properties.next.count == INTEGER
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.commitmentPlanName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CommitmentPlans_Delete

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.commitmentPlanName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CommitmentPlans_DeleteAssociation

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.commitmentPlanName == STRING
    input.ReqMap.commitmentPlanAssociationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CommitmentPlans_DeletePlan

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.commitmentPlanName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CommitmentPlans_Get

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.commitmentPlanName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CommitmentPlans_GetAssociation

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.commitmentPlanName == STRING
    input.ReqMap.commitmentPlanAssociationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CommitmentPlans_GetPlan

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.commitmentPlanName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CommitmentPlans_List

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CommitmentPlans_ListAssociations

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.commitmentPlanName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CommitmentPlans_ListPlansByResourceGroup

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CommitmentPlans_ListPlansBySubscription

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

CommitmentPlans_UpdatePlan

enum_SkuTier := [ "Free", "Basic", "Standard", "Premium", "Enterprise" ]

valid {
    input.Body.sku.name == STRING
    input.Body.sku.tier == enum_SkuTier[_]
    input.Body.sku.size == STRING
    input.Body.sku.family == STRING
    input.Body.sku.capacity == INTEGER
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.commitmentPlanName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CommitmentTiers_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

DeletedAccounts_Get

valid {
    input.ReqMap.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DeletedAccounts_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

DeletedAccounts_Purge

valid {
    input.ReqMap.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_CreateOrUpdate

enum_DeploymentPropertiesVersionUpgradeOption := [ "OnceNewDefaultVersionAvailable", "OnceCurrentVersionExpired", "NoAutoUpgrade" ]
enum_DeploymentScaleSettingsScaleType := [ "Standard", "Manual" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium", "Enterprise" ]

valid {
    input.Body.sku.name == STRING
    input.Body.sku.tier == enum_SkuTier[_]
    input.Body.sku.size == STRING
    input.Body.sku.family == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.tags.STRING == STRING
    input.Body.properties.model.format == STRING
    input.Body.properties.model.name == STRING
    input.Body.properties.model.version == STRING
    input.Body.properties.model.source == STRING
    input.Body.properties.scaleSettings.scaleType == enum_DeploymentScaleSettingsScaleType[_]
    input.Body.properties.scaleSettings.capacity == INTEGER
    input.Body.properties.raiPolicyName == STRING
    input.Body.properties.versionUpgradeOption == enum_DeploymentPropertiesVersionUpgradeOption[_]
    input.Body.properties.currentCapacity == INTEGER
    input.Body.properties.capacitySettings.designatedCapacity == INTEGER
    input.Body.properties.capacitySettings.priority == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_Delete

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_Get

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_List

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_ListSkus

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Deployments_Update

enum_SkuTier := [ "Free", "Basic", "Standard", "Premium", "Enterprise" ]

valid {
    input.Body.sku.name == STRING
    input.Body.sku.tier == enum_SkuTier[_]
    input.Body.sku.size == STRING
    input.Body.sku.family == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

EncryptionScopes_CreateOrUpdate

enum_EncryptionKeySource := [ "Microsoft.CognitiveServices", "Microsoft.KeyVault" ]
enum_EncryptionScopePropertiesState := [ "Disabled", "Enabled" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.state == enum_EncryptionScopePropertiesState[_]
    input.Body.properties.keyVaultProperties.keyName == STRING
    input.Body.properties.keyVaultProperties.keyVersion == STRING
    input.Body.properties.keyVaultProperties.keyVaultUri == STRING
    input.Body.properties.keyVaultProperties.identityClientId == STRING
    input.Body.properties.keySource == enum_EncryptionKeySource[_]
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.encryptionScopeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

EncryptionScopes_Delete

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.encryptionScopeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

EncryptionScopes_Get

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.encryptionScopeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

EncryptionScopes_List

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Models_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Operations_List

valid {
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

PrivateEndpointConnections_CreateOrUpdate

enum_PrivateEndpointServiceConnectionStatus := [ "Pending", "Approved", "Rejected" ]

valid {
    input.Body.properties.privateEndpoint == {}
    input.Body.properties.privateLinkServiceConnectionState.status == enum_PrivateEndpointServiceConnectionStatus[_]
    input.Body.properties.privateLinkServiceConnectionState.description == STRING
    input.Body.properties.privateLinkServiceConnectionState.actionsRequired == STRING
    input.Body.properties.groupIds[_] == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.privateEndpointConnectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateEndpointConnections_Delete

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.privateEndpointConnectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateEndpointConnections_Get

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.privateEndpointConnectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateEndpointConnections_List

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateLinkResources_List

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RaiBlocklistItems_CreateOrUpdate

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.pattern == STRING
    input.Body.properties.isRegex == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.raiBlocklistName == STRING
    input.ReqMap.raiBlocklistItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RaiBlocklistItems_Delete

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.raiBlocklistName == STRING
    input.ReqMap.raiBlocklistItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RaiBlocklistItems_Get

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.raiBlocklistName == STRING
    input.ReqMap.raiBlocklistItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RaiBlocklistItems_List

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.raiBlocklistName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RaiBlocklists_CreateOrUpdate

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.description == STRING
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.raiBlocklistName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RaiBlocklists_Delete

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.raiBlocklistName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RaiBlocklists_Get

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.raiBlocklistName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RaiBlocklists_List

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RaiContentFilters_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

RaiPolicies_CreateOrUpdate

enum_RaiPolicyContentFilterAllowedContentLevel := [ "Low", "Medium", "High" ]
enum_RaiPolicyContentSource := [ "Prompt", "Completion" ]
enum_RaiPolicyPropertiesMode := [ "Default", "Deferred", "Blocking" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.mode == enum_RaiPolicyPropertiesMode[_]
    input.Body.properties.basePolicyName == STRING
    input.Body.properties.promptBlocklists[_].blocklistName == STRING
    input.Body.properties.promptBlocklists[_].blocking == BOOLEAN
    input.Body.properties.completionBlocklists[_].blocklistName == STRING
    input.Body.properties.completionBlocklists[_].blocking == BOOLEAN
    input.Body.properties.contentFilters[_].name == STRING
    input.Body.properties.contentFilters[_].enabled == BOOLEAN
    input.Body.properties.contentFilters[_].allowedContentLevel == enum_RaiPolicyContentFilterAllowedContentLevel[_]
    input.Body.properties.contentFilters[_].blocking == BOOLEAN
    input.Body.properties.contentFilters[_].source == enum_RaiPolicyContentSource[_]
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.raiPolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RaiPolicies_Delete

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.raiPolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RaiPolicies_Get

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.raiPolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RaiPolicies_List

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ResourceSkus_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Usages_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}