MICROSOFT.MACHINELEARNINGSERVICES

BatchDeployments_CreateOrUpdate

enum_BatchDeploymentConfigurationType := [ "Model", "PipelineComponent" ]
enum_BatchLoggingLevel := [ "Info", "Warning", "Debug" ]
enum_BatchOutputAction := [ "SummaryOnly", "AppendRow" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_ReferenceType := [ "Id", "DataPath", "OutputPath" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.kind == STRING
    input.Body.properties.compute == STRING
    input.Body.properties.deploymentConfiguration.deploymentConfigurationType == enum_BatchDeploymentConfigurationType[_]
    input.Body.properties.errorThreshold == INTEGER
    input.Body.properties.loggingLevel == enum_BatchLoggingLevel[_]
    input.Body.properties.maxConcurrencyPerInstance == INTEGER
    input.Body.properties.miniBatchSize == INTEGER
    input.Body.properties.model.referenceType == enum_ReferenceType[_]
    input.Body.properties.outputAction == enum_BatchOutputAction[_]
    input.Body.properties.outputFileName == STRING
    input.Body.properties.resources.STRING == STRING
    input.Body.properties.resources.instanceCount == INTEGER
    input.Body.properties.resources.instanceType == STRING
    input.Body.properties.resources.locations[_] == STRING
    input.Body.properties.resources.maxInstanceCount == INTEGER
    input.Body.properties.resources.properties.STRING.STRING == STRING
    input.Body.properties.retrySettings.maxRetries == INTEGER
    input.Body.properties.retrySettings.timeout == STRING
    input.Body.properties.codeConfiguration.codeId == STRING
    input.Body.properties.codeConfiguration.scoringScript == STRING
    input.Body.properties.description == STRING
    input.Body.properties.environmentId == STRING
    input.Body.properties.environmentVariables.STRING == STRING
    input.Body.properties.properties.STRING == 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.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.endpointName == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BatchDeployments_Delete

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

BatchDeployments_Get

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

BatchDeployments_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.endpointName == STRING
    input.Qs.api-version == STRING
    input.Qs.$orderBy == STRING
    input.Qs.$top == INTEGER
    input.Qs.$skip == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BatchDeployments_Update

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

BatchEndpoints_CreateOrUpdate

enum_EndpointAuthMode := [ "AMLToken", "Key", "AADToken" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.kind == STRING
    input.Body.properties.defaults.deploymentName == STRING
    input.Body.properties.authMode == enum_EndpointAuthMode[_]
    input.Body.properties.description == STRING
    input.Body.properties.keys.primaryKey == STRING
    input.Body.properties.keys.secondaryKey == STRING
    input.Body.properties.properties.STRING == 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.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.endpointName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BatchEndpoints_Delete

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

BatchEndpoints_Get

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

BatchEndpoints_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.Qs.count == INTEGER
    input.Qs.$skip == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BatchEndpoints_ListKeys

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

BatchEndpoints_Update

enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING.STRING == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.endpointName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CapacityReservationGroups_CreateOrUpdate

enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.kind == STRING
    input.Body.properties.offer.offerName == STRING
    input.Body.properties.offer.publisher == STRING
    input.Body.properties.reservedCapacity == INTEGER
    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.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.groupId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CapacityReservationGroups_Delete

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

CapacityReservationGroups_Get

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

CapacityReservationGroups_List

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

CapacityReservationGroups_ListBySubscription

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

CapacityReservationGroups_Update

enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

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

CodeContainers_CreateOrUpdate

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

CodeContainers_Delete

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

CodeContainers_Get

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

CodeContainers_List

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

CodeVersions_CreateOrGetStartPendingUpload

enum_PendingUploadType := [ "None", "TemporaryBlobReference" ]

valid {
    input.Body.pendingUploadId == STRING
    input.Body.pendingUploadType == enum_PendingUploadType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CodeVersions_CreateOrUpdate

valid {
    input.Body.properties.codeUri == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CodeVersions_Delete

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

CodeVersions_Get

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

CodeVersions_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.Qs.$orderBy == STRING
    input.Qs.$top == INTEGER
    input.Qs.$skip == STRING
    input.Qs.hash == STRING
    input.Qs.hashVersion == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CodeVersions_Publish

valid {
    input.Body.destinationName == STRING
    input.Body.destinationVersion == STRING
    input.Body.registryName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ComponentContainers_CreateOrUpdate

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

ComponentContainers_Delete

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

ComponentContainers_Get

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

ComponentContainers_List

enum_ListViewTypeParameter := [ "ActiveOnly", "ArchivedOnly", "All" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.Qs.$skip == STRING
    input.Qs.listViewType == enum_ListViewTypeParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ComponentVersions_CreateOrUpdate

valid {
    input.Body.properties.componentSpec.STRING == STRING
    input.Body.properties.stage == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ComponentVersions_Delete

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

ComponentVersions_Get

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

ComponentVersions_List

enum_ListViewTypeParameter := [ "ActiveOnly", "ArchivedOnly", "All" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.Qs.$orderBy == STRING
    input.Qs.$top == INTEGER
    input.Qs.$skip == STRING
    input.Qs.listViewType == enum_ListViewTypeParameter[_]
    input.Qs.stage == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ComponentVersions_Publish

valid {
    input.Body.destinationName == STRING
    input.Body.destinationVersion == STRING
    input.Body.registryName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Compute_CreateOrUpdate

enum_ComputeType := [ "AKS", "Kubernetes", "AmlCompute", "ComputeInstance", "DataFactory", "VirtualMachine", "HDInsight", "Databricks", "DataLakeAnalytics", "SynapseSpark" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.location == STRING
    input.Body.tags.STRING == 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.properties.computeType == enum_ComputeType[_]
    input.Body.properties.computeLocation == STRING
    input.Body.properties.description == STRING
    input.Body.properties.resourceId == STRING
    input.Body.properties.disableLocalAuth == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.computeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Compute_Delete

enum_UnderlyingResourceActionParameter := [ "Delete", "Detach" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.computeName == STRING
    input.Qs.api-version == STRING
    input.Qs.underlyingResourceAction == enum_UnderlyingResourceActionParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Compute_Get

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

Compute_List

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

Compute_ListKeys

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

Compute_ListNodes

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

Compute_Resize

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

Compute_Restart

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

Compute_Start

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

Compute_Stop

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

Compute_Update

valid {
    input.Body.properties.properties.scaleSettings.maxNodeCount == INTEGER
    input.Body.properties.properties.scaleSettings.minNodeCount == INTEGER
    input.Body.properties.properties.scaleSettings.nodeIdleTimeBeforeScaleDown == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.computeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Compute_UpdateCustomServices

enum_EndpointProtocol := [ "tcp", "udp", "http" ]
enum_EnvironmentVariableType := [ "local" ]
enum_ImageType := [ "docker", "azureml" ]
enum_VolumeDefinitionType := [ "bind", "volume", "tmpfs", "npipe" ]

valid {
    input.Body[_].name == STRING
    input.Body[_].image.type == enum_ImageType[_]
    input.Body[_].image.reference == STRING
    input.Body[_].image.version == STRING
    input.Body[_].environmentVariables.STRING.type == enum_EnvironmentVariableType[_]
    input.Body[_].environmentVariables.STRING.value == STRING
    input.Body[_].docker.privileged == BOOLEAN
    input.Body[_].endpoints[_].protocol == enum_EndpointProtocol[_]
    input.Body[_].endpoints[_].name == STRING
    input.Body[_].endpoints[_].target == INTEGER
    input.Body[_].endpoints[_].published == INTEGER
    input.Body[_].endpoints[_].hostIp == STRING
    input.Body[_].volumes[_].type == enum_VolumeDefinitionType[_]
    input.Body[_].volumes[_].readOnly == BOOLEAN
    input.Body[_].volumes[_].source == STRING
    input.Body[_].volumes[_].target == STRING
    input.Body[_].volumes[_].consistency == STRING
    input.Body[_].volumes[_].bind.propagation == STRING
    input.Body[_].volumes[_].bind.createHostPath == BOOLEAN
    input.Body[_].volumes[_].bind.selinux == STRING
    input.Body[_].volumes[_].volume.nocopy == BOOLEAN
    input.Body[_].volumes[_].tmpfs.size == INTEGER
    input.Body[_].kernel.argv[_] == STRING
    input.Body[_].kernel.displayName == STRING
    input.Body[_].kernel.language == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.computeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Compute_UpdateDataMounts

enum_ComputeInstanceDataMountMountAction := [ "Mount", "Unmount" ]
enum_ComputeInstanceDataMountMountMode := [ "ReadOnly", "ReadWrite" ]
enum_ComputeInstanceDataMountMountState := [ "MountRequested", "Mounted", "MountFailed", "UnmountRequested", "UnmountFailed", "Unmounted" ]
enum_ComputeInstanceDataMountSourceType := [ "Dataset", "Datastore", "URI" ]

valid {
    input.Body[_].source == STRING
    input.Body[_].sourceType == enum_ComputeInstanceDataMountSourceType[_]
    input.Body[_].mountName == STRING
    input.Body[_].mountAction == enum_ComputeInstanceDataMountMountAction[_]
    input.Body[_].mountMode == enum_ComputeInstanceDataMountMountMode[_]
    input.Body[_].createdBy == STRING
    input.Body[_].mountPath == STRING
    input.Body[_].mountState == enum_ComputeInstanceDataMountMountState[_]
    input.Body[_].mountedOn == STRING
    input.Body[_].error == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.computeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Compute_UpdateIdleShutdownSetting

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

Compute_UpdateSchedules

enum_ComputePowerAction := [ "Start", "Stop" ]
enum_RecurrenceFrequency := [ "NotSpecified", "Second", "Minute", "Hour", "Day", "Week", "Month", "Year" ]
enum_RecurrenceScheduleWeekDays := [ "Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday" ]
enum_ScheduleStatus := [ "Enabled", "Disabled" ]
enum_TriggerType := [ "Recurrence", "Cron" ]

valid {
    input.Body.computeStartStop[_].status == enum_ScheduleStatus[_]
    input.Body.computeStartStop[_].triggerType == enum_TriggerType[_]
    input.Body.computeStartStop[_].action == enum_ComputePowerAction[_]
    input.Body.computeStartStop[_].recurrence.frequency == enum_RecurrenceFrequency[_]
    input.Body.computeStartStop[_].recurrence.interval == INTEGER
    input.Body.computeStartStop[_].recurrence.startTime == STRING
    input.Body.computeStartStop[_].recurrence.timeZone == STRING
    input.Body.computeStartStop[_].recurrence.schedule.minutes[_] == INTEGER
    input.Body.computeStartStop[_].recurrence.schedule.hours[_] == INTEGER
    input.Body.computeStartStop[_].recurrence.schedule.weekDays[_] == enum_RecurrenceScheduleWeekDays[_]
    input.Body.computeStartStop[_].cron.startTime == STRING
    input.Body.computeStartStop[_].cron.timeZone == STRING
    input.Body.computeStartStop[_].cron.expression == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.computeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Compute_getAllowedResizeSizes

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

ConnectionRaiBlocklistItem_Create

valid {
    input.Body.properties.isRegex == BOOLEAN
    input.Body.properties.pattern == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.connectionName == 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
}

ConnectionRaiBlocklistItem_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.connectionName == 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
}

ConnectionRaiBlocklistItem_Get

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

ConnectionRaiBlocklistItems_List

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

ConnectionRaiBlocklist_Create

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

ConnectionRaiBlocklist_Delete

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

ConnectionRaiBlocklist_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.connectionName == 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
}

ConnectionRaiBlocklists_List

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

ConnectionRaiPolicies_List

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

ConnectionRaiPolicy_Create

enum_AllowedContentLevel := [ "Low", "Medium", "High" ]
enum_RaiPolicyContentSource := [ "Prompt", "Completion" ]
enum_RaiPolicyMode := [ "Default", "Deferred", "Blocking" ]
enum_RaiPolicyType := [ "UserManaged", "SystemManaged" ]

valid {
    input.Body.properties.basePolicyName == STRING
    input.Body.properties.completionBlocklists[_].blocking == BOOLEAN
    input.Body.properties.completionBlocklists[_].blocklistName == STRING
    input.Body.properties.contentFilters[_].allowedContentLevel == enum_AllowedContentLevel[_]
    input.Body.properties.contentFilters[_].blocking == BOOLEAN
    input.Body.properties.contentFilters[_].enabled == BOOLEAN
    input.Body.properties.contentFilters[_].name == STRING
    input.Body.properties.contentFilters[_].source == enum_RaiPolicyContentSource[_]
    input.Body.properties.mode == enum_RaiPolicyMode[_]
    input.Body.properties.type == enum_RaiPolicyType[_]
    input.Body.properties.promptBlocklists[_].blocking == BOOLEAN
    input.Body.properties.promptBlocklists[_].blocklistName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.connectionName == STRING
    input.ReqMap.raiPolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConnectionRaiPolicy_Delete

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

ConnectionRaiPolicy_Get

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

Connection_CreateOrUpdateDeployment

valid {
    input.Body.properties.failureReason == STRING
    input.Body.properties.type == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.connectionName == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Connection_DeleteDeployment

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

Connection_GetDeployment

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

Connection_GetModels

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

Connection_ListDeployments

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

DataContainers_CreateOrUpdate

enum_DataType := [ "uri_file", "uri_folder", "mltable" ]

valid {
    input.Body.properties.dataType == enum_DataType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataContainers_Delete

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

DataContainers_Get

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

DataContainers_List

enum_ListViewTypeParameter := [ "ActiveOnly", "ArchivedOnly", "All" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.Qs.$skip == STRING
    input.Qs.listViewType == enum_ListViewTypeParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataVersions_CreateOrUpdate

enum_DataType := [ "uri_file", "uri_folder", "mltable" ]
enum_ProtectionLevel := [ "All", "None" ]

valid {
    input.Body.properties.dataType == enum_DataType[_]
    input.Body.properties.dataUri == STRING
    input.Body.properties.intellectualProperty.protectionLevel == enum_ProtectionLevel[_]
    input.Body.properties.intellectualProperty.publisher == STRING
    input.Body.properties.stage == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataVersions_Delete

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

DataVersions_Get

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

DataVersions_List

enum_ListViewTypeParameter := [ "ActiveOnly", "ArchivedOnly", "All" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.Qs.$orderBy == STRING
    input.Qs.$top == INTEGER
    input.Qs.$skip == STRING
    input.Qs.$tags == STRING
    input.Qs.listViewType == enum_ListViewTypeParameter[_]
    input.Qs.stage == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataVersions_Publish

valid {
    input.Body.destinationName == STRING
    input.Body.destinationVersion == STRING
    input.Body.registryName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Datastores_CreateOrUpdate

enum_CredentialsType := [ "AccountKey", "Certificate", "None", "Sas", "ServicePrincipal", "KerberosKeytab", "KerberosPassword" ]
enum_DatastoreType := [ "AzureBlob", "AzureDataLakeGen1", "AzureDataLakeGen2", "AzureFile", "Hdfs", "OneLake" ]
enum_ProtectionLevel := [ "All", "None" ]

valid {
    input.Body.properties.credentials.credentialsType == enum_CredentialsType[_]
    input.Body.properties.datastoreType == enum_DatastoreType[_]
    input.Body.properties.intellectualProperty.protectionLevel == enum_ProtectionLevel[_]
    input.Body.properties.intellectualProperty.publisher == STRING
    input.Body.properties.description == STRING
    input.Body.properties.properties.STRING == STRING
    input.Body.properties.tags.STRING == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.Qs.skipValidation == BOOLEAN
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Datastores_Delete

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

Datastores_Get

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

Datastores_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.Qs.$skip == STRING
    input.Qs.count == INTEGER
    input.Qs.isDefault == BOOLEAN
    input.Qs.names == ARRAY
    input.Qs.searchText == STRING
    input.Qs.orderBy == STRING
    input.Qs.orderByAsc == BOOLEAN
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Datastores_ListSecrets

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

EndpointDeployment_CreateOrUpdate

valid {
    input.Body.properties.failureReason == STRING
    input.Body.properties.type == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.endpointName == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

EndpointDeployment_Delete

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

EndpointDeployment_Get

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

EndpointDeployment_GetInWorkspace

enum_EndpointTypeParameter := [ "Azure.OpenAI", "Azure.Speech", "Azure.ContentSafety", "Azure.Llama", "managedOnlineEndpoint" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.Qs.endpointType == enum_EndpointTypeParameter[_]
    input.Qs.$skip == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

EndpointDeployment_List

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

Endpoint_CreateOrUpdate

enum_EndpointResourcePropertiesEndpointType := [ "Azure.OpenAI", "Azure.Speech", "Azure.ContentSafety", "Azure.Llama", "managedOnlineEndpoint" ]

valid {
    input.Body.properties.associatedResourceId == STRING
    input.Body.properties.endpointType == enum_EndpointResourcePropertiesEndpointType[_]
    input.Body.properties.endpointUri == STRING
    input.Body.properties.failureReason == STRING
    input.Body.properties.name == STRING
    input.Body.properties.shouldCreateAiServicesEndpoint == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.endpointName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Endpoint_Get

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

Endpoint_GetModels

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

Endpoint_List

enum_EndpointTypeParameter := [ "Azure.OpenAI", "Azure.Speech", "Azure.ContentSafety", "Azure.Llama", "managedOnlineEndpoint" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.Qs.endpointType == enum_EndpointTypeParameter[_]
    input.Qs.includeInferenceEndpoints == BOOLEAN
    input.Qs.$skip == STRING
    input.Qs.$expand == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Endpoint_ListKeys

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

Endpoint_RegenerateKeys

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

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

EnvironmentContainers_CreateOrUpdate

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

EnvironmentContainers_Delete

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

EnvironmentContainers_Get

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

EnvironmentContainers_List

enum_ListViewTypeParameter := [ "ActiveOnly", "ArchivedOnly", "All" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.Qs.$skip == STRING
    input.Qs.listViewType == enum_ListViewTypeParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

EnvironmentVersions_CreateOrUpdate

enum_AutoRebuildSetting := [ "Disabled", "OnBaseImageUpdate" ]
enum_OperatingSystemType := [ "Linux", "Windows" ]
enum_ProtectionLevel := [ "All", "None" ]

valid {
    input.Body.properties.autoRebuild == enum_AutoRebuildSetting[_]
    input.Body.properties.build.contextUri == STRING
    input.Body.properties.build.dockerfilePath == STRING
    input.Body.properties.condaFile == STRING
    input.Body.properties.image == STRING
    input.Body.properties.inferenceConfig.livenessRoute.path == STRING
    input.Body.properties.inferenceConfig.livenessRoute.port == INTEGER
    input.Body.properties.inferenceConfig.readinessRoute.path == STRING
    input.Body.properties.inferenceConfig.readinessRoute.port == INTEGER
    input.Body.properties.inferenceConfig.scoringRoute.path == STRING
    input.Body.properties.inferenceConfig.scoringRoute.port == INTEGER
    input.Body.properties.intellectualProperty.protectionLevel == enum_ProtectionLevel[_]
    input.Body.properties.intellectualProperty.publisher == STRING
    input.Body.properties.osType == enum_OperatingSystemType[_]
    input.Body.properties.stage == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

EnvironmentVersions_Delete

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

EnvironmentVersions_Get

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

EnvironmentVersions_List

enum_ListViewTypeParameter := [ "ActiveOnly", "ArchivedOnly", "All" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.Qs.$orderBy == STRING
    input.Qs.$top == INTEGER
    input.Qs.$skip == STRING
    input.Qs.listViewType == enum_ListViewTypeParameter[_]
    input.Qs.stage == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

EnvironmentVersions_Publish

valid {
    input.Body.destinationName == STRING
    input.Body.destinationVersion == STRING
    input.Body.registryName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Features_Get

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

Features_List

enum_ListViewTypeParameter := [ "ActiveOnly", "ArchivedOnly", "All" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.featuresetName == STRING
    input.ReqMap.featuresetVersion == STRING
    input.Qs.api-version == STRING
    input.Qs.$skip == STRING
    input.Qs.tags == STRING
    input.Qs.featureName == STRING
    input.Qs.description == STRING
    input.Qs.listViewType == enum_ListViewTypeParameter[_]
    input.Qs.pageSize == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FeaturesetContainers_CreateOrUpdate

valid {
    input.Body.properties.isArchived == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FeaturesetContainers_Delete

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

FeaturesetContainers_GetEntity

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

FeaturesetContainers_List

enum_ListViewTypeParameter := [ "ActiveOnly", "ArchivedOnly", "All" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.Qs.$skip == STRING
    input.Qs.tags == STRING
    input.Qs.listViewType == enum_ListViewTypeParameter[_]
    input.Qs.pageSize == INTEGER
    input.Qs.name == STRING
    input.Qs.description == STRING
    input.Qs.createdBy == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FeaturesetVersions_Backfill

enum_DataAvailabilityStatus := [ "None", "Pending", "Incomplete", "Complete" ]

valid {
    input.Body.dataAvailabilityStatus[_] == enum_DataAvailabilityStatus[_]
    input.Body.description == STRING
    input.Body.displayName == STRING
    input.Body.featureWindow.featureWindowEnd == STRING
    input.Body.featureWindow.featureWindowStart == STRING
    input.Body.jobId == STRING
    input.Body.properties.STRING == STRING
    input.Body.resource.instanceType == STRING
    input.Body.sparkConfiguration.STRING == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FeaturesetVersions_CreateOrUpdate

enum_AutoDeleteCondition := [ "CreatedGreaterThan", "LastAccessedGreaterThan" ]
enum_EmailNotificationEnableType := [ "JobCompleted", "JobFailed", "JobCancelled" ]
enum_MaterializationStoreType := [ "None", "Online", "Offline", "OnlineAndOffline" ]
enum_RecurrenceFrequency := [ "Minute", "Hour", "Day", "Week", "Month" ]
enum_TriggerType := [ "Recurrence", "Cron" ]
enum_WebhookType := [ "AzureDevOps" ]
enum_WeekDay := [ "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday", "Sunday" ]

valid {
    input.Body.properties.entities[_] == STRING
    input.Body.properties.materializationSettings.notification.emailOn[_] == enum_EmailNotificationEnableType[_]
    input.Body.properties.materializationSettings.notification.emails[_] == STRING
    input.Body.properties.materializationSettings.notification.webhooks.STRING.eventType == STRING
    input.Body.properties.materializationSettings.notification.webhooks.STRING.webhookType == enum_WebhookType[_]
    input.Body.properties.materializationSettings.resource.instanceType == STRING
    input.Body.properties.materializationSettings.schedule.frequency == enum_RecurrenceFrequency[_]
    input.Body.properties.materializationSettings.schedule.interval == INTEGER
    input.Body.properties.materializationSettings.schedule.schedule.hours[_] == INTEGER
    input.Body.properties.materializationSettings.schedule.schedule.minutes[_] == INTEGER
    input.Body.properties.materializationSettings.schedule.schedule.monthDays[_] == INTEGER
    input.Body.properties.materializationSettings.schedule.schedule.weekDays[_] == enum_WeekDay[_]
    input.Body.properties.materializationSettings.schedule.endTime == STRING
    input.Body.properties.materializationSettings.schedule.startTime == STRING
    input.Body.properties.materializationSettings.schedule.timeZone == STRING
    input.Body.properties.materializationSettings.schedule.triggerType == enum_TriggerType[_]
    input.Body.properties.materializationSettings.sparkConfiguration.STRING == STRING
    input.Body.properties.materializationSettings.storeType == enum_MaterializationStoreType[_]
    input.Body.properties.specification.path == STRING
    input.Body.properties.stage == STRING
    input.Body.properties.autoDeleteSetting.condition == enum_AutoDeleteCondition[_]
    input.Body.properties.autoDeleteSetting.value == STRING
    input.Body.properties.isAnonymous == BOOLEAN
    input.Body.properties.isArchived == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FeaturesetVersions_Delete

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

FeaturesetVersions_Get

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

FeaturesetVersions_GetFeature

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

FeaturesetVersions_List

enum_ListViewTypeParameter := [ "ActiveOnly", "ArchivedOnly", "All" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.Qs.$skip == STRING
    input.Qs.tags == STRING
    input.Qs.listViewType == enum_ListViewTypeParameter[_]
    input.Qs.pageSize == INTEGER
    input.Qs.versionName == STRING
    input.Qs.version == STRING
    input.Qs.description == STRING
    input.Qs.createdBy == STRING
    input.Qs.stage == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FeaturesetVersions_ListFeatures

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.Qs.$skip == STRING
    input.Qs.$tags == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FeaturesetVersions_ListMaterializationJobs

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.Qs.$skip == STRING
    input.Qs.filters == STRING
    input.Qs.featureWindowStart == STRING
    input.Qs.featureWindowEnd == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FeaturestoreEntityContainers_CreateOrUpdate

valid {
    input.Body.properties.isArchived == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FeaturestoreEntityContainers_Delete

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

FeaturestoreEntityContainers_GetEntity

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

FeaturestoreEntityContainers_List

enum_ListViewTypeParameter := [ "ActiveOnly", "ArchivedOnly", "All" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.Qs.$skip == STRING
    input.Qs.tags == STRING
    input.Qs.listViewType == enum_ListViewTypeParameter[_]
    input.Qs.pageSize == INTEGER
    input.Qs.name == STRING
    input.Qs.description == STRING
    input.Qs.createdBy == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FeaturestoreEntityVersions_CreateOrUpdate

enum_AutoDeleteCondition := [ "CreatedGreaterThan", "LastAccessedGreaterThan" ]
enum_FeatureDataType := [ "String", "Integer", "Long", "Float", "Double", "Binary", "Datetime", "Boolean" ]

valid {
    input.Body.properties.indexColumns[_].columnName == STRING
    input.Body.properties.indexColumns[_].dataType == enum_FeatureDataType[_]
    input.Body.properties.stage == STRING
    input.Body.properties.autoDeleteSetting.condition == enum_AutoDeleteCondition[_]
    input.Body.properties.autoDeleteSetting.value == STRING
    input.Body.properties.isAnonymous == BOOLEAN
    input.Body.properties.isArchived == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FeaturestoreEntityVersions_Delete

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

FeaturestoreEntityVersions_Get

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

FeaturestoreEntityVersions_List

enum_ListViewTypeParameter := [ "ActiveOnly", "ArchivedOnly", "All" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.Qs.$skip == STRING
    input.Qs.tags == STRING
    input.Qs.listViewType == enum_ListViewTypeParameter[_]
    input.Qs.pageSize == INTEGER
    input.Qs.versionName == STRING
    input.Qs.version == STRING
    input.Qs.description == STRING
    input.Qs.createdBy == STRING
    input.Qs.stage == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InferenceEndpoints_CreateOrUpdate

enum_AuthMode := [ "AAD" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.kind == STRING
    input.Body.properties.authMode == enum_AuthMode[_]
    input.Body.properties.groupId == STRING
    input.Body.properties.description == STRING
    input.Body.properties.properties.STRING == 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.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.endpointName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InferenceEndpoints_Delete

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

InferenceEndpoints_Get

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

InferenceEndpoints_List

enum_OrderByParameter := [ "CreatedAtDesc", "CreatedAtAsc", "UpdatedAtDesc", "UpdatedAtAsc" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.poolName == STRING
    input.Qs.api-version == STRING
    input.Qs.count == INTEGER
    input.Qs.$skip == STRING
    input.Qs.tags == STRING
    input.Qs.properties == STRING
    input.Qs.orderBy == enum_OrderByParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InferenceEndpoints_Update

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

InferenceGroups_CreateOrUpdate

enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.kind == STRING
    input.Body.properties.bonusExtraCapacity == INTEGER
    input.Body.properties.metadata == STRING
    input.Body.properties.priority == INTEGER
    input.Body.properties.description == STRING
    input.Body.properties.properties.STRING == 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.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.groupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InferenceGroups_Delete

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

InferenceGroups_Get

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

InferenceGroups_GetStatus

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

InferenceGroups_List

enum_OrderByParameter := [ "CreatedAtDesc", "CreatedAtAsc", "UpdatedAtDesc", "UpdatedAtAsc" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.poolName == STRING
    input.Qs.api-version == STRING
    input.Qs.count == INTEGER
    input.Qs.$skip == STRING
    input.Qs.tags == STRING
    input.Qs.properties == STRING
    input.Qs.orderBy == enum_OrderByParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InferenceGroups_ListSkus

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.groupName == STRING
    input.Qs.api-version == STRING
    input.Qs.count == INTEGER
    input.Qs.$skip == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InferenceGroups_Update

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

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

InferencePools_CreateOrUpdate

enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.kind == STRING
    input.Body.properties.codeConfiguration.codeId == STRING
    input.Body.properties.codeConfiguration.scoringScript == STRING
    input.Body.properties.environmentConfiguration.environmentId == STRING
    input.Body.properties.environmentConfiguration.environmentVariables.STRING == STRING
    input.Body.properties.environmentConfiguration.livenessProbe.failureThreshold == INTEGER
    input.Body.properties.environmentConfiguration.livenessProbe.initialDelay == STRING
    input.Body.properties.environmentConfiguration.livenessProbe.period == STRING
    input.Body.properties.environmentConfiguration.livenessProbe.successThreshold == INTEGER
    input.Body.properties.environmentConfiguration.livenessProbe.timeout == STRING
    input.Body.properties.environmentConfiguration.readinessProbe.failureThreshold == INTEGER
    input.Body.properties.environmentConfiguration.readinessProbe.initialDelay == STRING
    input.Body.properties.environmentConfiguration.readinessProbe.period == STRING
    input.Body.properties.environmentConfiguration.readinessProbe.successThreshold == INTEGER
    input.Body.properties.environmentConfiguration.readinessProbe.timeout == STRING
    input.Body.properties.environmentConfiguration.startupProbe.failureThreshold == INTEGER
    input.Body.properties.environmentConfiguration.startupProbe.initialDelay == STRING
    input.Body.properties.environmentConfiguration.startupProbe.period == STRING
    input.Body.properties.environmentConfiguration.startupProbe.successThreshold == INTEGER
    input.Body.properties.environmentConfiguration.startupProbe.timeout == STRING
    input.Body.properties.modelConfiguration.modelId == STRING
    input.Body.properties.nodeSkuType == STRING
    input.Body.properties.requestConfiguration.maxConcurrentRequestsPerInstance == INTEGER
    input.Body.properties.requestConfiguration.requestTimeout == STRING
    input.Body.properties.description == STRING
    input.Body.properties.properties.STRING == 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.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.inferencePoolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InferencePools_Delete

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

InferencePools_Get

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

InferencePools_GetStatus

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

InferencePools_List

enum_OrderByParameter := [ "CreatedAtDesc", "CreatedAtAsc", "UpdatedAtDesc", "UpdatedAtAsc" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.Qs.count == INTEGER
    input.Qs.$skip == STRING
    input.Qs.tags == STRING
    input.Qs.properties == STRING
    input.Qs.orderBy == enum_OrderByParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InferencePools_ListSkus

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.inferencePoolName == STRING
    input.Qs.api-version == STRING
    input.Qs.count == INTEGER
    input.Qs.$skip == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InferencePools_Update

enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

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

Jobs_Cancel

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

Jobs_CreateOrUpdate

enum_EmailNotificationEnableType := [ "JobCompleted", "JobFailed", "JobCancelled" ]
enum_IdentityConfigurationType := [ "Managed", "AMLToken", "UserIdentity" ]
enum_JobType := [ "AutoML", "Command", "Labeling", "Sweep", "Pipeline", "Spark", "FineTuning" ]
enum_NodesValueType := [ "All", "Custom" ]
enum_WebhookType := [ "AzureDevOps" ]

valid {
    input.Body.properties.componentId == STRING
    input.Body.properties.computeId == STRING
    input.Body.properties.displayName == STRING
    input.Body.properties.experimentName == STRING
    input.Body.properties.identity.identityType == enum_IdentityConfigurationType[_]
    input.Body.properties.isArchived == BOOLEAN
    input.Body.properties.jobType == enum_JobType[_]
    input.Body.properties.notificationSetting.emailOn[_] == enum_EmailNotificationEnableType[_]
    input.Body.properties.notificationSetting.emails[_] == STRING
    input.Body.properties.notificationSetting.webhooks.STRING.eventType == STRING
    input.Body.properties.notificationSetting.webhooks.STRING.webhookType == enum_WebhookType[_]
    input.Body.properties.secretsConfiguration.STRING.uri == STRING
    input.Body.properties.secretsConfiguration.STRING.workspaceSecretName == STRING
    input.Body.properties.services.STRING.endpoint == STRING
    input.Body.properties.services.STRING.jobServiceType == STRING
    input.Body.properties.services.STRING.nodes.nodesValueType == enum_NodesValueType[_]
    input.Body.properties.services.STRING.port == INTEGER
    input.Body.properties.services.STRING.properties.STRING == STRING
    input.Body.properties.description == STRING
    input.Body.properties.properties.STRING == STRING
    input.Body.properties.tags.STRING == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.id == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Jobs_Delete

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

Jobs_Get

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

Jobs_List

enum_ListViewTypeParameter := [ "ActiveOnly", "ArchivedOnly", "All" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.Qs.$skip == STRING
    input.Qs.jobType == STRING
    input.Qs.tag == STRING
    input.Qs.listViewType == enum_ListViewTypeParameter[_]
    input.Qs.properties == STRING
    input.Qs.assetName == STRING
    input.Qs.scheduled == BOOLEAN
    input.Qs.scheduleId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Jobs_Update

enum_WebhookType := [ "AzureDevOps" ]

valid {
    input.Body.properties.notificationSetting.webhooks.STRING.eventType == STRING
    input.Body.properties.notificationSetting.webhooks.STRING.webhookType == enum_WebhookType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.id == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

LabelingJobs_CreateOrUpdate

enum_EmailNotificationEnableType := [ "JobCompleted", "JobFailed", "JobCancelled" ]
enum_IdentityConfigurationType := [ "Managed", "AMLToken", "UserIdentity" ]
enum_IncrementalDataRefresh := [ "Enabled", "Disabled" ]
enum_JobType := [ "AutoML", "Command", "Labeling", "Sweep", "Pipeline", "Spark", "FineTuning" ]
enum_MLAssistConfigurationType := [ "Enabled", "Disabled" ]
enum_MediaType := [ "Image", "Text" ]
enum_MultiSelect := [ "Enabled", "Disabled" ]
enum_NodesValueType := [ "All", "Custom" ]
enum_WebhookType := [ "AzureDevOps" ]

valid {
    input.Body.properties.dataConfiguration.dataId == STRING
    input.Body.properties.dataConfiguration.incrementalDataRefresh == enum_IncrementalDataRefresh[_]
    input.Body.properties.jobInstructions.uri == STRING
    input.Body.properties.labelCategories.STRING.classes.STRING.displayName == STRING
    input.Body.properties.labelCategories.STRING.classes.STRING.subclasses.STRING == NESTED
    input.Body.properties.labelCategories.STRING.displayName == STRING
    input.Body.properties.labelCategories.STRING.multiSelect == enum_MultiSelect[_]
    input.Body.properties.labelingJobMediaProperties.mediaType == enum_MediaType[_]
    input.Body.properties.mlAssistConfiguration.mlAssist == enum_MLAssistConfigurationType[_]
    input.Body.properties.componentId == STRING
    input.Body.properties.computeId == STRING
    input.Body.properties.displayName == STRING
    input.Body.properties.experimentName == STRING
    input.Body.properties.identity.identityType == enum_IdentityConfigurationType[_]
    input.Body.properties.isArchived == BOOLEAN
    input.Body.properties.jobType == enum_JobType[_]
    input.Body.properties.notificationSetting.emailOn[_] == enum_EmailNotificationEnableType[_]
    input.Body.properties.notificationSetting.emails[_] == STRING
    input.Body.properties.notificationSetting.webhooks.STRING.eventType == STRING
    input.Body.properties.notificationSetting.webhooks.STRING.webhookType == enum_WebhookType[_]
    input.Body.properties.secretsConfiguration.STRING.uri == STRING
    input.Body.properties.secretsConfiguration.STRING.workspaceSecretName == STRING
    input.Body.properties.services.STRING.endpoint == STRING
    input.Body.properties.services.STRING.jobServiceType == STRING
    input.Body.properties.services.STRING.nodes.nodesValueType == enum_NodesValueType[_]
    input.Body.properties.services.STRING.port == INTEGER
    input.Body.properties.services.STRING.properties.STRING == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.id == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

LabelingJobs_Delete

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

LabelingJobs_ExportLabels

enum_ExportFormatType := [ "Dataset", "Coco", "CSV" ]

valid {
    input.Body.format == enum_ExportFormatType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.id == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

LabelingJobs_Get

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

LabelingJobs_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.Qs.$skip == STRING
    input.Qs.$top == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

LabelingJobs_Pause

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

LabelingJobs_Resume

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

LinkedServices_Create

enum_IdentityType := [ "SystemAssigned", "SystemAssigned,UserAssigned", "UserAssigned", "None" ]
enum_LinkedServicePropsLinkType := [ "Synapse" ]

valid {
    input.Body.name == STRING
    input.Body.location == STRING
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.properties.linkedServiceResourceId == STRING
    input.Body.properties.linkType == enum_LinkedServicePropsLinkType[_]
    input.Body.properties.createdTime == STRING
    input.Body.properties.modifiedTime == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.linkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

LinkedServices_Delete

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

LinkedServices_Get

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

LinkedServices_List

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

LinkedWorkspaces_Create

valid {
    input.Body.name == STRING
    input.Body.properties.linkedWorkspaceResourceId == STRING
    input.Body.properties.userAssignedIdentityResourceId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.linkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

LinkedWorkspaces_Delete

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

LinkedWorkspaces_Get

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

LinkedWorkspaces_List

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

MachineLearningCompute_CreateOrUpdate

enum_ComputeType := [ "AKS", "AmlCompute", "ComputeInstance", "DataFactory", "VirtualMachine", "HDInsight", "Databricks", "DataLakeAnalytics", "SynapseSpark" ]
enum_IdentityType := [ "SystemAssigned", "SystemAssigned,UserAssigned", "UserAssigned", "None" ]

valid {
    input.Body.STRING == STRING
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.sku.name == STRING
    input.Body.sku.tier == STRING
    input.Body.properties.computeType == enum_ComputeType[_]
    input.Body.properties.computeLocation == STRING
    input.Body.properties.description == STRING
    input.Body.properties.resourceId == STRING
    input.Body.properties.disableLocalAuth == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.computeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MachineLearningCompute_Delete

enum_UnderlyingResourceActionParameter := [ "Delete", "Detach" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.computeName == STRING
    input.Qs.api-version == STRING
    input.Qs.underlyingResourceAction == enum_UnderlyingResourceActionParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MachineLearningCompute_Get

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

MachineLearningCompute_SystemUpdate

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

MachineLearningCompute_Update

valid {
    input.Body.properties.scaleSettings.maxNodeCount == INTEGER
    input.Body.properties.scaleSettings.minNodeCount == INTEGER
    input.Body.properties.scaleSettings.nodeIdleTimeBeforeScaleDown == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.computeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MachineLearningDatasets_CreateOrUpdate

enum_DatasetCreateRequestDatasetType := [ "tabular", "file" ]
enum_DatasetCreateRequestParametersHeader := [ "all_files_have_same_headers", "only_first_file_has_headers", "no_headers", "combine_all_files_headers" ]
enum_DatasetCreateRequestParametersSourceType := [ "delimited_files", "json_lines_files", "parquet_files" ]

valid {
    input.Body.skipValidation == BOOLEAN
    input.Body.datasetType == enum_DatasetCreateRequestDatasetType[_]
    input.Body.parameters.header == enum_DatasetCreateRequestParametersHeader[_]
    input.Body.parameters.includePath == BOOLEAN
    input.Body.parameters.partitionFormat == STRING
    input.Body.parameters.path.httpUrl == STRING
    input.Body.parameters.path.dataPath.datastoreName == STRING
    input.Body.parameters.path.dataPath.relativePath == STRING
    input.Body.parameters.query.datastoreName == STRING
    input.Body.parameters.query.query == STRING
    input.Body.parameters.sourceType == enum_DatasetCreateRequestParametersSourceType[_]
    input.Body.parameters.separator == STRING
    input.Body.registration.description == STRING
    input.Body.registration.name == STRING
    input.Body.registration.tags.STRING == STRING
    input.Body.timeSeries.fineGrainTimestamp == STRING
    input.Body.timeSeries.coarseGrainTimestamp == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.datasetName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MachineLearningDatasets_Delete

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

MachineLearningDatasets_Get

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

MachineLearningDatasets_ListByWorkspace

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

MachineLearningDatastores_CreateOrUpdate

enum_DatastoreCreateRequestDataStoreType := [ "blob", "adls", "adls-gen2", "dbfs", "file", "mysqldb", "sqldb", "psqldb" ]

valid {
    input.Body.name == STRING
    input.Body.description == STRING
    input.Body.skipValidation == BOOLEAN
    input.Body.includeSecret == BOOLEAN
    input.Body.dataStoreType == enum_DatastoreCreateRequestDataStoreType[_]
    input.Body.accountName == STRING
    input.Body.shareName == STRING
    input.Body.containerName == STRING
    input.Body.accountKey == STRING
    input.Body.endpoint == STRING
    input.Body.protocol == STRING
    input.Body.sasToken == STRING
    input.Body.clientId == STRING
    input.Body.clientSecret == STRING
    input.Body.storeName == STRING
    input.Body.tenantId == STRING
    input.Body.authorityUrl == STRING
    input.Body.resourceUrl == STRING
    input.Body.storageAccountSubscriptionId == STRING
    input.Body.storageAccountResourceGroup == STRING
    input.Body.adlsSubscriptionId == STRING
    input.Body.adlsResourceGroup == STRING
    input.Body.fileSystem == STRING
    input.Body.databaseName == STRING
    input.Body.password == STRING
    input.Body.serverName == STRING
    input.Body.userId == STRING
    input.Body.port == STRING
    input.Body.enforceSSL == BOOLEAN
    input.Body.userName == STRING
    input.Body.workspaceSystemAssignedIdentity == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.datastoreName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MachineLearningDatastores_Delete

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

MachineLearningDatastores_Get

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

MachineLearningService_CreateOrUpdate

enum_CreateServiceRequestComputeType := [ "ACI", "AKS" ]

valid {
    input.Body.description == STRING
    input.Body.kvTags.STRING == STRING
    input.Body.properties.STRING == STRING
    input.Body.keys.primaryKey == STRING
    input.Body.keys.secondaryKey == STRING
    input.Body.computeType == enum_CreateServiceRequestComputeType[_]
    input.Body.environmentImageRequest.driverProgram == STRING
    input.Body.environmentImageRequest.assets[_].id == STRING
    input.Body.environmentImageRequest.assets[_].mimeType == STRING
    input.Body.environmentImageRequest.assets[_].url == STRING
    input.Body.environmentImageRequest.assets[_].unpack == BOOLEAN
    input.Body.environmentImageRequest.modelIds[_] == STRING
    input.Body.environmentImageRequest.models[_].id == STRING
    input.Body.environmentImageRequest.models[_].name == STRING
    input.Body.environmentImageRequest.models[_].framework == STRING
    input.Body.environmentImageRequest.models[_].frameworkVersion == STRING
    input.Body.environmentImageRequest.models[_].version == INTEGER
    input.Body.environmentImageRequest.models[_].datasets[_].name == STRING
    input.Body.environmentImageRequest.models[_].datasets[_].id == STRING
    input.Body.environmentImageRequest.models[_].url == STRING
    input.Body.environmentImageRequest.models[_].mimeType == STRING
    input.Body.environmentImageRequest.models[_].description == STRING
    input.Body.environmentImageRequest.models[_].createdTime == STRING
    input.Body.environmentImageRequest.models[_].modifiedTime == STRING
    input.Body.environmentImageRequest.models[_].unpack == BOOLEAN
    input.Body.environmentImageRequest.models[_].parentModelId == STRING
    input.Body.environmentImageRequest.models[_].runId == STRING
    input.Body.environmentImageRequest.models[_].experimentName == STRING
    input.Body.environmentImageRequest.models[_].kvTags.STRING == STRING
    input.Body.environmentImageRequest.models[_].properties.STRING == STRING
    input.Body.environmentImageRequest.models[_].derivedModelIds[_] == STRING
    input.Body.environmentImageRequest.models[_].sampleInputData == STRING
    input.Body.environmentImageRequest.models[_].sampleOutputData == STRING
    input.Body.environmentImageRequest.models[_].resourceRequirements.cpu == NUMBER
    input.Body.environmentImageRequest.models[_].resourceRequirements.cpuLimit == NUMBER
    input.Body.environmentImageRequest.models[_].resourceRequirements.memoryInGB == NUMBER
    input.Body.environmentImageRequest.models[_].resourceRequirements.memoryInGBLimit == NUMBER
    input.Body.environmentImageRequest.models[_].resourceRequirements.gpu == INTEGER
    input.Body.environmentImageRequest.models[_].resourceRequirements.fpga == INTEGER
    input.Body.environmentImageRequest.environment.name == STRING
    input.Body.environmentImageRequest.environment.version == STRING
    input.Body.environmentImageRequest.environment.python.interpreterPath == STRING
    input.Body.environmentImageRequest.environment.python.userManagedDependencies == BOOLEAN
    input.Body.environmentImageRequest.environment.python.condaDependencies.STRING == STRING
    input.Body.environmentImageRequest.environment.python.baseCondaEnvironment == STRING
    input.Body.environmentImageRequest.environment.environmentVariables.STRING == STRING
    input.Body.environmentImageRequest.environment.docker.baseImage == STRING
    input.Body.environmentImageRequest.environment.docker.baseDockerfile == STRING
    input.Body.environmentImageRequest.environment.docker.baseImageRegistry.address == STRING
    input.Body.environmentImageRequest.environment.docker.baseImageRegistry.username == STRING
    input.Body.environmentImageRequest.environment.docker.baseImageRegistry.password == STRING
    input.Body.environmentImageRequest.environment.spark.repositories[_] == STRING
    input.Body.environmentImageRequest.environment.spark.packages[_].group == STRING
    input.Body.environmentImageRequest.environment.spark.packages[_].artifact == STRING
    input.Body.environmentImageRequest.environment.spark.packages[_].version == STRING
    input.Body.environmentImageRequest.environment.spark.precachePackages == BOOLEAN
    input.Body.environmentImageRequest.environment.r.rVersion == STRING
    input.Body.environmentImageRequest.environment.r.userManaged == BOOLEAN
    input.Body.environmentImageRequest.environment.r.rscriptPath == STRING
    input.Body.environmentImageRequest.environment.r.snapshotDate == STRING
    input.Body.environmentImageRequest.environment.r.cranPackages[_].name == STRING
    input.Body.environmentImageRequest.environment.r.cranPackages[_].repository == STRING
    input.Body.environmentImageRequest.environment.r.gitHubPackages[_].repository == STRING
    input.Body.environmentImageRequest.environment.r.gitHubPackages[_].authToken == STRING
    input.Body.environmentImageRequest.environment.r.customUrlPackages[_] == STRING
    input.Body.environmentImageRequest.environment.r.bioConductorPackages[_] == STRING
    input.Body.environmentImageRequest.environment.inferencingStackVersion == STRING
    input.Body.environmentImageRequest.environmentReference.name == STRING
    input.Body.environmentImageRequest.environmentReference.version == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MachineLearningService_Delete

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

MachineLearningService_Get

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

MachineLearningService_ListByWorkspace

enum_WebServiceOrderByParameter := [ "CreatedAtDesc", "CreatedAtAsc", "UpdatedAtDesc", "UpdatedAtAsc" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.Qs.$skip == STRING
    input.Qs.modelId == STRING
    input.Qs.modelName == STRING
    input.Qs.tag == STRING
    input.Qs.tags == STRING
    input.Qs.properties == STRING
    input.Qs.runId == STRING
    input.Qs.expand == BOOLEAN
    input.Qs.orderby == enum_WebServiceOrderByParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ManagedNetworkProvisions_ProvisionManagedNetwork

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

ManagedNetworkSettingsRule_CreateOrUpdate

enum_RuleCategory := [ "Required", "Recommended", "UserDefined", "Dependency" ]
enum_RuleStatus := [ "Inactive", "Active" ]
enum_RuleType := [ "FQDN", "PrivateEndpoint", "ServiceTag" ]

valid {
    input.Body.properties.category == enum_RuleCategory[_]
    input.Body.properties.status == enum_RuleStatus[_]
    input.Body.properties.type == enum_RuleType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.ruleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ManagedNetworkSettingsRule_Delete

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

ManagedNetworkSettingsRule_Get

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

ManagedNetworkSettingsRule_List

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

MarketplaceSubscriptions_CreateOrUpdate

valid {
    input.Body.properties.modelId == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MarketplaceSubscriptions_Delete

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

MarketplaceSubscriptions_Get

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

MarketplaceSubscriptions_List

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

ModelContainers_CreateOrUpdate

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

ModelContainers_Delete

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

ModelContainers_Get

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

ModelContainers_List

enum_ListViewTypeParameter := [ "ActiveOnly", "ArchivedOnly", "All" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.Qs.$skip == STRING
    input.Qs.count == INTEGER
    input.Qs.listViewType == enum_ListViewTypeParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ModelVersions_CreateOrUpdate

enum_ProtectionLevel := [ "All", "None" ]

valid {
    input.Body.properties.flavors.STRING.data.STRING == STRING
    input.Body.properties.intellectualProperty.protectionLevel == enum_ProtectionLevel[_]
    input.Body.properties.intellectualProperty.publisher == STRING
    input.Body.properties.jobName == STRING
    input.Body.properties.modelType == STRING
    input.Body.properties.modelUri == STRING
    input.Body.properties.stage == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ModelVersions_Delete

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

ModelVersions_Get

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

ModelVersions_List

enum_ListViewTypeParameter := [ "ActiveOnly", "ArchivedOnly", "All" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.Qs.$skip == STRING
    input.Qs.$orderBy == STRING
    input.Qs.$top == INTEGER
    input.Qs.version == STRING
    input.Qs.description == STRING
    input.Qs.offset == INTEGER
    input.Qs.tags == STRING
    input.Qs.properties == STRING
    input.Qs.feed == STRING
    input.Qs.listViewType == enum_ListViewTypeParameter[_]
    input.Qs.stage == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ModelVersions_Package

enum_BaseEnvironmentSourceType := [ "EnvironmentAsset" ]
enum_InferencingServerType := [ "AzureMLOnline", "AzureMLBatch", "Triton", "Custom" ]
enum_InputPathType := [ "Url", "PathId", "PathVersion" ]
enum_PackageInputDeliveryMode := [ "Copy", "Download" ]
enum_PackageInputType := [ "UriFile", "UriFolder" ]

valid {
    input.Body.baseEnvironmentSource.baseEnvironmentSourceType == enum_BaseEnvironmentSourceType[_]
    input.Body.environmentVariables.STRING == STRING
    input.Body.inferencingServer.serverType == enum_InferencingServerType[_]
    input.Body.inputs[_].inputType == enum_PackageInputType[_]
    input.Body.inputs[_].mode == enum_PackageInputDeliveryMode[_]
    input.Body.inputs[_].mountPath == STRING
    input.Body.inputs[_].path.inputPathType == enum_InputPathType[_]
    input.Body.modelConfiguration.mode == enum_PackageInputDeliveryMode[_]
    input.Body.modelConfiguration.mountPath == STRING
    input.Body.properties.STRING == STRING
    input.Body.tags.STRING == STRING
    input.Body.targetEnvironmentId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ModelVersions_Publish

valid {
    input.Body.destinationName == STRING
    input.Body.destinationVersion == STRING
    input.Body.registryName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

OnlineDeployments_CreateOrUpdate

enum_DataCollectionMode := [ "Enabled", "Disabled" ]
enum_EgressPublicNetworkAccessType := [ "Enabled", "Disabled" ]
enum_EndpointComputeType := [ "Managed", "Kubernetes", "AzureMLCompute" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_RollingRateType := [ "Year", "Month", "Day", "Hour", "Minute" ]
enum_ScaleType := [ "Default", "TargetUtilization" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.kind == STRING
    input.Body.properties.appInsightsEnabled == BOOLEAN
    input.Body.properties.dataCollector.collections.STRING.clientId == STRING
    input.Body.properties.dataCollector.collections.STRING.dataCollectionMode == enum_DataCollectionMode[_]
    input.Body.properties.dataCollector.collections.STRING.dataId == STRING
    input.Body.properties.dataCollector.collections.STRING.samplingRate == NUMBER
    input.Body.properties.dataCollector.requestLogging.captureHeaders[_] == STRING
    input.Body.properties.dataCollector.rollingRate == enum_RollingRateType[_]
    input.Body.properties.egressPublicNetworkAccess == enum_EgressPublicNetworkAccessType[_]
    input.Body.properties.endpointComputeType == enum_EndpointComputeType[_]
    input.Body.properties.instanceType == STRING
    input.Body.properties.livenessProbe.failureThreshold == INTEGER
    input.Body.properties.livenessProbe.initialDelay == STRING
    input.Body.properties.livenessProbe.period == STRING
    input.Body.properties.livenessProbe.successThreshold == INTEGER
    input.Body.properties.livenessProbe.timeout == STRING
    input.Body.properties.model == STRING
    input.Body.properties.modelMountPath == STRING
    input.Body.properties.readinessProbe.failureThreshold == INTEGER
    input.Body.properties.readinessProbe.initialDelay == STRING
    input.Body.properties.readinessProbe.period == STRING
    input.Body.properties.readinessProbe.successThreshold == INTEGER
    input.Body.properties.readinessProbe.timeout == STRING
    input.Body.properties.requestSettings.maxConcurrentRequestsPerInstance == INTEGER
    input.Body.properties.requestSettings.maxQueueWait == STRING
    input.Body.properties.requestSettings.requestTimeout == STRING
    input.Body.properties.scaleSettings.scaleType == enum_ScaleType[_]
    input.Body.properties.codeConfiguration.codeId == STRING
    input.Body.properties.codeConfiguration.scoringScript == STRING
    input.Body.properties.description == STRING
    input.Body.properties.environmentId == STRING
    input.Body.properties.environmentVariables.STRING == STRING
    input.Body.properties.properties.STRING == 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.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.endpointName == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

OnlineDeployments_Delete

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

OnlineDeployments_Get

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

OnlineDeployments_GetLogs

enum_ContainerType := [ "StorageInitializer", "InferenceServer", "ModelDataCollector" ]

valid {
    input.Body.containerType == enum_ContainerType[_]
    input.Body.tail == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.endpointName == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

OnlineDeployments_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.endpointName == STRING
    input.Qs.api-version == STRING
    input.Qs.$orderBy == STRING
    input.Qs.$top == INTEGER
    input.Qs.$skip == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

OnlineDeployments_ListSkus

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.endpointName == STRING
    input.ReqMap.deploymentName == STRING
    input.Qs.api-version == STRING
    input.Qs.count == INTEGER
    input.Qs.$skip == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

OnlineDeployments_Update

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

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

OnlineEndpoints_CreateOrUpdate

enum_EndpointAuthMode := [ "AMLToken", "Key", "AADToken" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_PublicNetworkAccessType := [ "Enabled", "Disabled" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.kind == STRING
    input.Body.properties.compute == STRING
    input.Body.properties.mirrorTraffic.STRING == INTEGER
    input.Body.properties.publicNetworkAccess == enum_PublicNetworkAccessType[_]
    input.Body.properties.traffic.STRING == INTEGER
    input.Body.properties.authMode == enum_EndpointAuthMode[_]
    input.Body.properties.description == STRING
    input.Body.properties.keys.primaryKey == STRING
    input.Body.properties.keys.secondaryKey == STRING
    input.Body.properties.properties.STRING == 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.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.endpointName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

OnlineEndpoints_Delete

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

OnlineEndpoints_Get

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

OnlineEndpoints_GetToken

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

OnlineEndpoints_List

enum_ComputeTypeParameter := [ "Managed", "Kubernetes", "AzureMLCompute" ]
enum_OrderByParameter := [ "CreatedAtDesc", "CreatedAtAsc", "UpdatedAtDesc", "UpdatedAtAsc" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.Qs.name == STRING
    input.Qs.count == INTEGER
    input.Qs.computeType == enum_ComputeTypeParameter[_]
    input.Qs.$skip == STRING
    input.Qs.tags == STRING
    input.Qs.properties == STRING
    input.Qs.orderBy == enum_OrderByParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

OnlineEndpoints_ListKeys

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

OnlineEndpoints_RegenerateKeys

enum_KeyType := [ "Primary", "Secondary" ]

valid {
    input.Body.keyType == enum_KeyType[_]
    input.Body.keyValue == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.endpointName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

OnlineEndpoints_Update

enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.endpointName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Operations_List

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

PrivateEndpointConnections_CreateOrUpdate

enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_PrivateEndpointConnectionProvisioningState := [ "Succeeded", "Creating", "Deleting", "Failed" ]
enum_PrivateEndpointServiceConnectionStatus := [ "Approved", "Pending", "Rejected", "Disconnected", "Timeout" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.location == STRING
    input.Body.properties.privateEndpoint == {}
    input.Body.properties.privateLinkServiceConnectionState.actionsRequired == STRING
    input.Body.properties.privateLinkServiceConnectionState.description == STRING
    input.Body.properties.privateLinkServiceConnectionState.status == enum_PrivateEndpointServiceConnectionStatus[_]
    input.Body.properties.provisioningState == enum_PrivateEndpointConnectionProvisioningState[_]
    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.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == 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.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == 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.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == 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.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateLinkResources_List

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

Quotas_List

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

Quotas_Update

enum_QuotaBasePropertiesUnit := [ "Count" ]

valid {
    input.Body.value[_].id == STRING
    input.Body.value[_].type == STRING
    input.Body.value[_].limit == INTEGER
    input.Body.value[_].unit == enum_QuotaBasePropertiesUnit[_]
    input.Body.location == STRING
    input.ReqMap.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

RaiPolicies_List

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

RaiPolicy_Create

enum_AllowedContentLevel := [ "Low", "Medium", "High" ]
enum_RaiPolicyContentSource := [ "Prompt", "Completion" ]
enum_RaiPolicyMode := [ "Default", "Deferred", "Blocking" ]
enum_RaiPolicyType := [ "UserManaged", "SystemManaged" ]

valid {
    input.Body.properties.basePolicyName == STRING
    input.Body.properties.completionBlocklists[_].blocking == BOOLEAN
    input.Body.properties.completionBlocklists[_].blocklistName == STRING
    input.Body.properties.contentFilters[_].allowedContentLevel == enum_AllowedContentLevel[_]
    input.Body.properties.contentFilters[_].blocking == BOOLEAN
    input.Body.properties.contentFilters[_].enabled == BOOLEAN
    input.Body.properties.contentFilters[_].name == STRING
    input.Body.properties.contentFilters[_].source == enum_RaiPolicyContentSource[_]
    input.Body.properties.mode == enum_RaiPolicyMode[_]
    input.Body.properties.type == enum_RaiPolicyType[_]
    input.Body.properties.promptBlocklists[_].blocking == BOOLEAN
    input.Body.properties.promptBlocklists[_].blocklistName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.endpointName == STRING
    input.ReqMap.raiPolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RaiPolicy_Delete

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

RaiPolicy_Get

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

Registries_CreateOrUpdate

enum_EndpointServiceConnectionStatus := [ "Approved", "Pending", "Rejected", "Disconnected" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.kind == STRING
    input.Body.properties.discoveryUrl == STRING
    input.Body.properties.intellectualPropertyPublisher == STRING
    input.Body.properties.managedResourceGroup.resourceId == STRING
    input.Body.properties.managedResourceGroupSettings.assignedIdentities[_].principalId == STRING
    input.Body.properties.mlFlowRegistryUri == STRING
    input.Body.properties.registryPrivateEndpointConnections[_].id == STRING
    input.Body.properties.registryPrivateEndpointConnections[_].location == STRING
    input.Body.properties.registryPrivateEndpointConnections[_].properties.groupIds[_] == STRING
    input.Body.properties.registryPrivateEndpointConnections[_].properties.privateEndpoint.subnetArmId == STRING
    input.Body.properties.registryPrivateEndpointConnections[_].properties.registryPrivateLinkServiceConnectionState.actionsRequired == STRING
    input.Body.properties.registryPrivateEndpointConnections[_].properties.registryPrivateLinkServiceConnectionState.description == STRING
    input.Body.properties.registryPrivateEndpointConnections[_].properties.registryPrivateLinkServiceConnectionState.status == enum_EndpointServiceConnectionStatus[_]
    input.Body.properties.registryPrivateEndpointConnections[_].properties.provisioningState == STRING
    input.Body.properties.publicNetworkAccess == STRING
    input.Body.properties.regionDetails[_].acrDetails[_].systemCreatedAcrAccount.acrAccountName == STRING
    input.Body.properties.regionDetails[_].acrDetails[_].systemCreatedAcrAccount.acrAccountSku == STRING
    input.Body.properties.regionDetails[_].acrDetails[_].systemCreatedAcrAccount.armResourceId.resourceId == STRING
    input.Body.properties.regionDetails[_].acrDetails[_].userCreatedAcrAccount.armResourceId.resourceId == STRING
    input.Body.properties.regionDetails[_].location == STRING
    input.Body.properties.regionDetails[_].storageAccountDetails[_].systemCreatedStorageAccount.allowBlobPublicAccess == BOOLEAN
    input.Body.properties.regionDetails[_].storageAccountDetails[_].systemCreatedStorageAccount.armResourceId.resourceId == STRING
    input.Body.properties.regionDetails[_].storageAccountDetails[_].systemCreatedStorageAccount.storageAccountHnsEnabled == BOOLEAN
    input.Body.properties.regionDetails[_].storageAccountDetails[_].systemCreatedStorageAccount.storageAccountName == STRING
    input.Body.properties.regionDetails[_].storageAccountDetails[_].systemCreatedStorageAccount.storageAccountType == STRING
    input.Body.properties.regionDetails[_].storageAccountDetails[_].userCreatedStorageAccount.armResourceId.resourceId == 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.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Registries_Delete

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

Registries_Get

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

Registries_List

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

Registries_ListBySubscription

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

Registries_RemoveRegions

enum_EndpointServiceConnectionStatus := [ "Approved", "Pending", "Rejected", "Disconnected" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.kind == STRING
    input.Body.properties.discoveryUrl == STRING
    input.Body.properties.intellectualPropertyPublisher == STRING
    input.Body.properties.managedResourceGroup.resourceId == STRING
    input.Body.properties.managedResourceGroupSettings.assignedIdentities[_].principalId == STRING
    input.Body.properties.mlFlowRegistryUri == STRING
    input.Body.properties.registryPrivateEndpointConnections[_].id == STRING
    input.Body.properties.registryPrivateEndpointConnections[_].location == STRING
    input.Body.properties.registryPrivateEndpointConnections[_].properties.groupIds[_] == STRING
    input.Body.properties.registryPrivateEndpointConnections[_].properties.privateEndpoint.subnetArmId == STRING
    input.Body.properties.registryPrivateEndpointConnections[_].properties.registryPrivateLinkServiceConnectionState.actionsRequired == STRING
    input.Body.properties.registryPrivateEndpointConnections[_].properties.registryPrivateLinkServiceConnectionState.description == STRING
    input.Body.properties.registryPrivateEndpointConnections[_].properties.registryPrivateLinkServiceConnectionState.status == enum_EndpointServiceConnectionStatus[_]
    input.Body.properties.registryPrivateEndpointConnections[_].properties.provisioningState == STRING
    input.Body.properties.publicNetworkAccess == STRING
    input.Body.properties.regionDetails[_].acrDetails[_].systemCreatedAcrAccount.acrAccountName == STRING
    input.Body.properties.regionDetails[_].acrDetails[_].systemCreatedAcrAccount.acrAccountSku == STRING
    input.Body.properties.regionDetails[_].acrDetails[_].systemCreatedAcrAccount.armResourceId.resourceId == STRING
    input.Body.properties.regionDetails[_].acrDetails[_].userCreatedAcrAccount.armResourceId.resourceId == STRING
    input.Body.properties.regionDetails[_].location == STRING
    input.Body.properties.regionDetails[_].storageAccountDetails[_].systemCreatedStorageAccount.allowBlobPublicAccess == BOOLEAN
    input.Body.properties.regionDetails[_].storageAccountDetails[_].systemCreatedStorageAccount.armResourceId.resourceId == STRING
    input.Body.properties.regionDetails[_].storageAccountDetails[_].systemCreatedStorageAccount.storageAccountHnsEnabled == BOOLEAN
    input.Body.properties.regionDetails[_].storageAccountDetails[_].systemCreatedStorageAccount.storageAccountName == STRING
    input.Body.properties.regionDetails[_].storageAccountDetails[_].systemCreatedStorageAccount.storageAccountType == STRING
    input.Body.properties.regionDetails[_].storageAccountDetails[_].userCreatedStorageAccount.armResourceId.resourceId == 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.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Registries_Update

enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

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

RegistryCodeContainers_CreateOrUpdate

valid {
    input.Body.properties.isArchived == BOOLEAN
    input.Body.properties.description == STRING
    input.Body.properties.properties.STRING == STRING
    input.Body.properties.tags.STRING == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.codeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RegistryCodeContainers_Delete

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

RegistryCodeContainers_Get

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

RegistryCodeContainers_List

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

RegistryCodeVersions_CreateOrGetStartPendingUpload

enum_PendingUploadType := [ "None", "TemporaryBlobReference" ]

valid {
    input.Body.pendingUploadId == STRING
    input.Body.pendingUploadType == enum_PendingUploadType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.codeName == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RegistryCodeVersions_CreateOrUpdate

enum_AutoDeleteCondition := [ "CreatedGreaterThan", "LastAccessedGreaterThan" ]

valid {
    input.Body.properties.codeUri == STRING
    input.Body.properties.autoDeleteSetting.condition == enum_AutoDeleteCondition[_]
    input.Body.properties.autoDeleteSetting.value == STRING
    input.Body.properties.isAnonymous == BOOLEAN
    input.Body.properties.isArchived == BOOLEAN
    input.Body.properties.description == STRING
    input.Body.properties.properties.STRING == STRING
    input.Body.properties.tags.STRING == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.codeName == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RegistryCodeVersions_Delete

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

RegistryCodeVersions_Get

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

RegistryCodeVersions_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.codeName == STRING
    input.Qs.api-version == STRING
    input.Qs.$orderBy == STRING
    input.Qs.$top == INTEGER
    input.Qs.$skip == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RegistryComponentContainers_CreateOrUpdate

valid {
    input.Body.properties.isArchived == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.componentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RegistryComponentContainers_Delete

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

RegistryComponentContainers_Get

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

RegistryComponentContainers_List

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

RegistryComponentVersions_CreateOrUpdate

enum_AutoDeleteCondition := [ "CreatedGreaterThan", "LastAccessedGreaterThan" ]

valid {
    input.Body.properties.componentSpec.STRING == STRING
    input.Body.properties.stage == STRING
    input.Body.properties.autoDeleteSetting.condition == enum_AutoDeleteCondition[_]
    input.Body.properties.autoDeleteSetting.value == STRING
    input.Body.properties.isAnonymous == BOOLEAN
    input.Body.properties.isArchived == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.componentName == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RegistryComponentVersions_Delete

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

RegistryComponentVersions_Get

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

RegistryComponentVersions_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.componentName == STRING
    input.Qs.api-version == STRING
    input.Qs.$orderBy == STRING
    input.Qs.$top == INTEGER
    input.Qs.$skip == STRING
    input.Qs.stage == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RegistryDataContainers_CreateOrUpdate

enum_DataType := [ "uri_file", "uri_folder", "mltable" ]

valid {
    input.Body.properties.dataType == enum_DataType[_]
    input.Body.properties.isArchived == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RegistryDataContainers_Delete

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

RegistryDataContainers_Get

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

RegistryDataContainers_List

enum_ListViewTypeParameter := [ "ActiveOnly", "ArchivedOnly", "All" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.Qs.api-version == STRING
    input.Qs.$skip == STRING
    input.Qs.listViewType == enum_ListViewTypeParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RegistryDataReferences_GetBlobReferenceSAS

valid {
    input.Body.assetId == STRING
    input.Body.blobUri == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RegistryDataVersions_CreateOrGetStartPendingUpload

enum_PendingUploadType := [ "None", "TemporaryBlobReference" ]

valid {
    input.Body.pendingUploadId == STRING
    input.Body.pendingUploadType == enum_PendingUploadType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RegistryDataVersions_CreateOrUpdate

enum_AutoDeleteCondition := [ "CreatedGreaterThan", "LastAccessedGreaterThan" ]
enum_DataType := [ "uri_file", "uri_folder", "mltable" ]
enum_ProtectionLevel := [ "All", "None" ]

valid {
    input.Body.properties.dataType == enum_DataType[_]
    input.Body.properties.dataUri == STRING
    input.Body.properties.intellectualProperty.protectionLevel == enum_ProtectionLevel[_]
    input.Body.properties.intellectualProperty.publisher == STRING
    input.Body.properties.stage == STRING
    input.Body.properties.autoDeleteSetting.condition == enum_AutoDeleteCondition[_]
    input.Body.properties.autoDeleteSetting.value == STRING
    input.Body.properties.isAnonymous == BOOLEAN
    input.Body.properties.isArchived == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RegistryDataVersions_Delete

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

RegistryDataVersions_Get

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

RegistryDataVersions_List

enum_ListViewTypeParameter := [ "ActiveOnly", "ArchivedOnly", "All" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.Qs.$orderBy == STRING
    input.Qs.$top == INTEGER
    input.Qs.$skip == STRING
    input.Qs.$tags == STRING
    input.Qs.listViewType == enum_ListViewTypeParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RegistryEnvironmentContainers_CreateOrUpdate

valid {
    input.Body.properties.isArchived == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.environmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RegistryEnvironmentContainers_Delete

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

RegistryEnvironmentContainers_Get

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

RegistryEnvironmentContainers_List

enum_ListViewTypeParameter := [ "ActiveOnly", "ArchivedOnly", "All" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.Qs.api-version == STRING
    input.Qs.$skip == STRING
    input.Qs.listViewType == enum_ListViewTypeParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RegistryEnvironmentVersions_CreateOrUpdate

enum_AutoDeleteCondition := [ "CreatedGreaterThan", "LastAccessedGreaterThan" ]
enum_AutoRebuildSetting := [ "Disabled", "OnBaseImageUpdate" ]
enum_OperatingSystemType := [ "Linux", "Windows" ]
enum_ProtectionLevel := [ "All", "None" ]

valid {
    input.Body.properties.autoRebuild == enum_AutoRebuildSetting[_]
    input.Body.properties.build.contextUri == STRING
    input.Body.properties.build.dockerfilePath == STRING
    input.Body.properties.condaFile == STRING
    input.Body.properties.image == STRING
    input.Body.properties.inferenceConfig.livenessRoute.path == STRING
    input.Body.properties.inferenceConfig.livenessRoute.port == INTEGER
    input.Body.properties.inferenceConfig.readinessRoute.path == STRING
    input.Body.properties.inferenceConfig.readinessRoute.port == INTEGER
    input.Body.properties.inferenceConfig.scoringRoute.path == STRING
    input.Body.properties.inferenceConfig.scoringRoute.port == INTEGER
    input.Body.properties.intellectualProperty.protectionLevel == enum_ProtectionLevel[_]
    input.Body.properties.intellectualProperty.publisher == STRING
    input.Body.properties.osType == enum_OperatingSystemType[_]
    input.Body.properties.stage == STRING
    input.Body.properties.autoDeleteSetting.condition == enum_AutoDeleteCondition[_]
    input.Body.properties.autoDeleteSetting.value == STRING
    input.Body.properties.isAnonymous == BOOLEAN
    input.Body.properties.isArchived == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.environmentName == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RegistryEnvironmentVersions_Delete

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

RegistryEnvironmentVersions_Get

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

RegistryEnvironmentVersions_List

enum_ListViewTypeParameter := [ "ActiveOnly", "ArchivedOnly", "All" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.environmentName == STRING
    input.Qs.api-version == STRING
    input.Qs.$orderBy == STRING
    input.Qs.$top == INTEGER
    input.Qs.$skip == STRING
    input.Qs.listViewType == enum_ListViewTypeParameter[_]
    input.Qs.stage == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RegistryModelContainers_CreateOrUpdate

valid {
    input.Body.properties.isArchived == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.modelName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RegistryModelContainers_Delete

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

RegistryModelContainers_Get

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

RegistryModelContainers_List

enum_ListViewTypeParameter := [ "ActiveOnly", "ArchivedOnly", "All" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.Qs.api-version == STRING
    input.Qs.$skip == STRING
    input.Qs.listViewType == enum_ListViewTypeParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RegistryModelVersions_CreateOrGetStartPendingUpload

enum_PendingUploadType := [ "None", "TemporaryBlobReference" ]

valid {
    input.Body.pendingUploadId == STRING
    input.Body.pendingUploadType == enum_PendingUploadType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.modelName == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RegistryModelVersions_CreateOrUpdate

enum_AutoDeleteCondition := [ "CreatedGreaterThan", "LastAccessedGreaterThan" ]
enum_ProtectionLevel := [ "All", "None" ]

valid {
    input.Body.properties.flavors.STRING.data.STRING == STRING
    input.Body.properties.intellectualProperty.protectionLevel == enum_ProtectionLevel[_]
    input.Body.properties.intellectualProperty.publisher == STRING
    input.Body.properties.jobName == STRING
    input.Body.properties.modelType == STRING
    input.Body.properties.modelUri == STRING
    input.Body.properties.stage == STRING
    input.Body.properties.autoDeleteSetting.condition == enum_AutoDeleteCondition[_]
    input.Body.properties.autoDeleteSetting.value == STRING
    input.Body.properties.isAnonymous == BOOLEAN
    input.Body.properties.isArchived == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.modelName == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RegistryModelVersions_Delete

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

RegistryModelVersions_Get

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

RegistryModelVersions_List

enum_ListViewTypeParameter := [ "ActiveOnly", "ArchivedOnly", "All" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.modelName == STRING
    input.Qs.api-version == STRING
    input.Qs.$skip == STRING
    input.Qs.$orderBy == STRING
    input.Qs.$top == INTEGER
    input.Qs.version == STRING
    input.Qs.description == STRING
    input.Qs.tags == STRING
    input.Qs.properties == STRING
    input.Qs.listViewType == enum_ListViewTypeParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RegistryModelVersions_Package

enum_BaseEnvironmentSourceType := [ "EnvironmentAsset" ]
enum_InferencingServerType := [ "AzureMLOnline", "AzureMLBatch", "Triton", "Custom" ]
enum_InputPathType := [ "Url", "PathId", "PathVersion" ]
enum_PackageInputDeliveryMode := [ "Copy", "Download" ]
enum_PackageInputType := [ "UriFile", "UriFolder" ]

valid {
    input.Body.baseEnvironmentSource.baseEnvironmentSourceType == enum_BaseEnvironmentSourceType[_]
    input.Body.environmentVariables.STRING == STRING
    input.Body.inferencingServer.serverType == enum_InferencingServerType[_]
    input.Body.inputs[_].inputType == enum_PackageInputType[_]
    input.Body.inputs[_].mode == enum_PackageInputDeliveryMode[_]
    input.Body.inputs[_].mountPath == STRING
    input.Body.inputs[_].path.inputPathType == enum_InputPathType[_]
    input.Body.modelConfiguration.mode == enum_PackageInputDeliveryMode[_]
    input.Body.modelConfiguration.mountPath == STRING
    input.Body.properties.STRING == STRING
    input.Body.tags.STRING == STRING
    input.Body.targetEnvironmentId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.modelName == STRING
    input.ReqMap.version == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Schedules_CreateOrUpdate

enum_ScheduleActionType := [ "CreateJob", "InvokeBatchEndpoint", "ImportData", "CreateMonitor" ]
enum_TriggerType := [ "Recurrence", "Cron" ]

valid {
    input.Body.properties.action.actionType == enum_ScheduleActionType[_]
    input.Body.properties.displayName == STRING
    input.Body.properties.isEnabled == BOOLEAN
    input.Body.properties.trigger.endTime == STRING
    input.Body.properties.trigger.startTime == STRING
    input.Body.properties.trigger.timeZone == STRING
    input.Body.properties.trigger.triggerType == enum_TriggerType[_]
    input.Body.properties.description == STRING
    input.Body.properties.properties.STRING == STRING
    input.Body.properties.tags.STRING == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Schedules_Delete

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

Schedules_Get

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

Schedules_List

enum_ListViewTypeParameter := [ "EnabledOnly", "DisabledOnly", "All" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.Qs.$skip == STRING
    input.Qs.listViewType == enum_ListViewTypeParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Schedules_Trigger

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

ServerlessEndpoints_CreateOrUpdate

enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_ServerlessInferenceEndpointAuthMode := [ "Key", "AAD" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.kind == STRING
    input.Body.properties.authMode == enum_ServerlessInferenceEndpointAuthMode[_]
    input.Body.properties.capacityReservation.capacityReservationGroupId == STRING
    input.Body.properties.capacityReservation.endpointReservedCapacity == INTEGER
    input.Body.properties.modelSettings.modelId == STRING
    input.Body.properties.offer.offerName == STRING
    input.Body.properties.offer.publisher == 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.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ServerlessEndpoints_Delete

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

ServerlessEndpoints_Get

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

ServerlessEndpoints_GetStatus

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

ServerlessEndpoints_List

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

ServerlessEndpoints_ListKeys

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

ServerlessEndpoints_RegenerateKeys

enum_KeyType := [ "Primary", "Secondary" ]

valid {
    input.Body.keyType == enum_KeyType[_]
    input.Body.keyValue == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ServerlessEndpoints_Update

enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

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

Usages_List

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

VirtualMachineSizes_List

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

WorkspaceConnections_Create

enum_ConnectionAuthType := [ "PAT", "ManagedIdentity", "UsernamePassword", "None", "SAS", "AccountKey", "ServicePrincipal", "AccessKey", "ApiKey", "CustomKeys", "OAuth2", "AAD" ]
enum_ConnectionCategory := [ "PythonFeed", "ContainerRegistry", "Git", "S3", "Snowflake", "AzureSqlDb", "AzureSynapseAnalytics", "AzureMySqlDb", "AzurePostgresDb", "ADLSGen2", "Redis", "ApiKey", "AzureOpenAI", "CognitiveSearch", "CognitiveService", "CustomKeys", "AzureBlob", "AzureOneLake", "CosmosDb", "CosmosDbMongoDbApi", "AzureDataExplorer", "AzureMariaDb", "AzureDatabricksDeltaLake", "AzureSqlMi", "AzureTableStorage", "AmazonRdsForOracle", "AmazonRdsForSqlServer", "AmazonRedshift", "Db2", "Drill", "GoogleBigQuery", "Greenplum", "Hbase", "Hive", "Impala", "Informix", "MariaDb", "MicrosoftAccess", "MySql", "Netezza", "Oracle", "Phoenix", "PostgreSql", "Presto", "SapOpenHub", "SapBw", "SapHana", "SapTable", "Spark", "SqlServer", "Sybase", "Teradata", "Vertica", "Cassandra", "Couchbase", "MongoDbV2", "MongoDbAtlas", "AmazonS3Compatible", "FileServer", "FtpServer", "GoogleCloudStorage", "Hdfs", "OracleCloudStorage", "Sftp", "GenericHttp", "ODataRest", "Odbc", "GenericRest", "AmazonMws", "Concur", "Dynamics", "DynamicsAx", "DynamicsCrm", "GoogleAdWords", "Hubspot", "Jira", "Magento", "Marketo", "Office365", "Eloqua", "Responsys", "OracleServiceCloud", "PayPal", "QuickBooks", "Salesforce", "SalesforceServiceCloud", "SalesforceMarketingCloud", "SapCloudForCustomer", "SapEcc", "ServiceNow", "SharePointOnlineList", "Shopify", "Square", "WebTable", "Xero", "Zoho", "GenericContainerRegistry", "OpenAI", "Serp", "BingLLMSearch", "Serverless" ]

valid {
    input.Body.properties.authType == enum_ConnectionAuthType[_]
    input.Body.properties.category == enum_ConnectionCategory[_]
    input.Body.properties.expiryTime == STRING
    input.Body.properties.isSharedToAll == BOOLEAN
    input.Body.properties.metadata.STRING == STRING
    input.Body.properties.sharedUserList[_] == STRING
    input.Body.properties.target == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.connectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkspaceConnections_Delete

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

WorkspaceConnections_Get

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

WorkspaceConnections_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.target == STRING
    input.Qs.category == STRING
    input.Qs.api-version == STRING
    input.Qs.includeAll == BOOLEAN
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkspaceConnections_ListSecrets

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

WorkspaceConnections_TestConnection

enum_ConnectionAuthType := [ "PAT", "ManagedIdentity", "UsernamePassword", "None", "SAS", "AccountKey", "ServicePrincipal", "AccessKey", "ApiKey", "CustomKeys", "OAuth2", "AAD" ]
enum_ConnectionCategory := [ "PythonFeed", "ContainerRegistry", "Git", "S3", "Snowflake", "AzureSqlDb", "AzureSynapseAnalytics", "AzureMySqlDb", "AzurePostgresDb", "ADLSGen2", "Redis", "ApiKey", "AzureOpenAI", "CognitiveSearch", "CognitiveService", "CustomKeys", "AzureBlob", "AzureOneLake", "CosmosDb", "CosmosDbMongoDbApi", "AzureDataExplorer", "AzureMariaDb", "AzureDatabricksDeltaLake", "AzureSqlMi", "AzureTableStorage", "AmazonRdsForOracle", "AmazonRdsForSqlServer", "AmazonRedshift", "Db2", "Drill", "GoogleBigQuery", "Greenplum", "Hbase", "Hive", "Impala", "Informix", "MariaDb", "MicrosoftAccess", "MySql", "Netezza", "Oracle", "Phoenix", "PostgreSql", "Presto", "SapOpenHub", "SapBw", "SapHana", "SapTable", "Spark", "SqlServer", "Sybase", "Teradata", "Vertica", "Cassandra", "Couchbase", "MongoDbV2", "MongoDbAtlas", "AmazonS3Compatible", "FileServer", "FtpServer", "GoogleCloudStorage", "Hdfs", "OracleCloudStorage", "Sftp", "GenericHttp", "ODataRest", "Odbc", "GenericRest", "AmazonMws", "Concur", "Dynamics", "DynamicsAx", "DynamicsCrm", "GoogleAdWords", "Hubspot", "Jira", "Magento", "Marketo", "Office365", "Eloqua", "Responsys", "OracleServiceCloud", "PayPal", "QuickBooks", "Salesforce", "SalesforceServiceCloud", "SalesforceMarketingCloud", "SapCloudForCustomer", "SapEcc", "ServiceNow", "SharePointOnlineList", "Shopify", "Square", "WebTable", "Xero", "Zoho", "GenericContainerRegistry", "OpenAI", "Serp", "BingLLMSearch", "Serverless" ]

valid {
    input.Body.properties.authType == enum_ConnectionAuthType[_]
    input.Body.properties.category == enum_ConnectionCategory[_]
    input.Body.properties.expiryTime == STRING
    input.Body.properties.isSharedToAll == BOOLEAN
    input.Body.properties.metadata.STRING == STRING
    input.Body.properties.sharedUserList[_] == STRING
    input.Body.properties.target == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.connectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkspaceConnections_Update

enum_ConnectionAuthType := [ "PAT", "ManagedIdentity", "UsernamePassword", "None", "SAS", "AccountKey", "ServicePrincipal", "AccessKey", "ApiKey", "CustomKeys", "OAuth2", "AAD" ]
enum_ConnectionCategory := [ "PythonFeed", "ContainerRegistry", "Git", "S3", "Snowflake", "AzureSqlDb", "AzureSynapseAnalytics", "AzureMySqlDb", "AzurePostgresDb", "ADLSGen2", "Redis", "ApiKey", "AzureOpenAI", "CognitiveSearch", "CognitiveService", "CustomKeys", "AzureBlob", "AzureOneLake", "CosmosDb", "CosmosDbMongoDbApi", "AzureDataExplorer", "AzureMariaDb", "AzureDatabricksDeltaLake", "AzureSqlMi", "AzureTableStorage", "AmazonRdsForOracle", "AmazonRdsForSqlServer", "AmazonRedshift", "Db2", "Drill", "GoogleBigQuery", "Greenplum", "Hbase", "Hive", "Impala", "Informix", "MariaDb", "MicrosoftAccess", "MySql", "Netezza", "Oracle", "Phoenix", "PostgreSql", "Presto", "SapOpenHub", "SapBw", "SapHana", "SapTable", "Spark", "SqlServer", "Sybase", "Teradata", "Vertica", "Cassandra", "Couchbase", "MongoDbV2", "MongoDbAtlas", "AmazonS3Compatible", "FileServer", "FtpServer", "GoogleCloudStorage", "Hdfs", "OracleCloudStorage", "Sftp", "GenericHttp", "ODataRest", "Odbc", "GenericRest", "AmazonMws", "Concur", "Dynamics", "DynamicsAx", "DynamicsCrm", "GoogleAdWords", "Hubspot", "Jira", "Magento", "Marketo", "Office365", "Eloqua", "Responsys", "OracleServiceCloud", "PayPal", "QuickBooks", "Salesforce", "SalesforceServiceCloud", "SalesforceMarketingCloud", "SapCloudForCustomer", "SapEcc", "ServiceNow", "SharePointOnlineList", "Shopify", "Square", "WebTable", "Xero", "Zoho", "GenericContainerRegistry", "OpenAI", "Serp", "BingLLMSearch", "Serverless" ]

valid {
    input.Body.properties.authType == enum_ConnectionAuthType[_]
    input.Body.properties.category == enum_ConnectionCategory[_]
    input.Body.properties.expiryTime == STRING
    input.Body.properties.isSharedToAll == BOOLEAN
    input.Body.properties.metadata.STRING == STRING
    input.Body.properties.sharedUserList[_] == STRING
    input.Body.properties.target == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.connectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkspaceFeatures_List

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

WorkspaceSkus_List

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

Workspaces_CreateOrUpdate

enum_EncryptionStatus := [ "Enabled", "Disabled" ]
enum_IsolationMode := [ "Disabled", "AllowInternetOutbound", "AllowOnlyApprovedOutbound" ]
enum_ManagedNetworkStatus := [ "Inactive", "Active" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_PrivateEndpointServiceConnectionStatus := [ "Approved", "Pending", "Rejected", "Disconnected", "Timeout" ]
enum_PublicNetworkAccessType := [ "Enabled", "Disabled" ]
enum_RuleCategory := [ "Required", "Recommended", "UserDefined", "Dependency" ]
enum_RuleStatus := [ "Inactive", "Active" ]
enum_RuleType := [ "FQDN", "PrivateEndpoint", "ServiceTag" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.kind == STRING
    input.Body.location == STRING
    input.Body.properties.allowPublicAccessWhenBehindVnet == BOOLEAN
    input.Body.properties.applicationInsights == STRING
    input.Body.properties.associatedWorkspaces[_] == STRING
    input.Body.properties.containerRegistries[_] == STRING
    input.Body.properties.containerRegistry == STRING
    input.Body.properties.description == STRING
    input.Body.properties.discoveryUrl == STRING
    input.Body.properties.enableDataIsolation == BOOLEAN
    input.Body.properties.enableSoftwareBillOfMaterials == BOOLEAN
    input.Body.properties.encryption.cosmosDbResourceId == STRING
    input.Body.properties.encryption.identity.userAssignedIdentity == STRING
    input.Body.properties.encryption.keyVaultProperties.identityClientId == STRING
    input.Body.properties.encryption.keyVaultProperties.keyIdentifier == STRING
    input.Body.properties.encryption.keyVaultProperties.keyVaultArmId == STRING
    input.Body.properties.encryption.searchAccountResourceId == STRING
    input.Body.properties.encryption.status == enum_EncryptionStatus[_]
    input.Body.properties.encryption.storageAccountResourceId == STRING
    input.Body.properties.existingWorkspaces[_] == STRING
    input.Body.properties.featureStoreSettings.computeRuntime.sparkRuntimeVersion == STRING
    input.Body.properties.featureStoreSettings.offlineStoreConnectionName == STRING
    input.Body.properties.featureStoreSettings.onlineStoreConnectionName == STRING
    input.Body.properties.friendlyName == STRING
    input.Body.properties.hbiWorkspace == BOOLEAN
    input.Body.properties.hubResourceId == STRING
    input.Body.properties.imageBuildCompute == STRING
    input.Body.properties.ipAllowlist[_] == STRING
    input.Body.properties.keyVault == STRING
    input.Body.properties.keyVaults[_] == STRING
    input.Body.properties.managedNetwork.isolationMode == enum_IsolationMode[_]
    input.Body.properties.managedNetwork.outboundRules.STRING.category == enum_RuleCategory[_]
    input.Body.properties.managedNetwork.outboundRules.STRING.status == enum_RuleStatus[_]
    input.Body.properties.managedNetwork.outboundRules.STRING.type == enum_RuleType[_]
    input.Body.properties.managedNetwork.status.sparkReady == BOOLEAN
    input.Body.properties.managedNetwork.status.status == enum_ManagedNetworkStatus[_]
    input.Body.properties.primaryUserAssignedIdentity == STRING
    input.Body.properties.publicNetworkAccess == enum_PublicNetworkAccessType[_]
    input.Body.properties.serverlessComputeSettings.serverlessComputeCustomSubnet == STRING
    input.Body.properties.serverlessComputeSettings.serverlessComputeNoPublicIP == BOOLEAN
    input.Body.properties.serviceManagedResourcesSettings.cosmosDb.collectionsThroughput == INTEGER
    input.Body.properties.sharedPrivateLinkResources[_].name == STRING
    input.Body.properties.sharedPrivateLinkResources[_].properties.groupId == STRING
    input.Body.properties.sharedPrivateLinkResources[_].properties.privateLinkResourceId == STRING
    input.Body.properties.sharedPrivateLinkResources[_].properties.requestMessage == STRING
    input.Body.properties.sharedPrivateLinkResources[_].properties.status == enum_PrivateEndpointServiceConnectionStatus[_]
    input.Body.properties.softDeleteRetentionInDays == INTEGER
    input.Body.properties.storageAccount == STRING
    input.Body.properties.storageAccounts[_] == STRING
    input.Body.properties.systemDatastoresAuthMode == STRING
    input.Body.properties.v1LegacyMode == BOOLEAN
    input.Body.properties.workspaceHubConfig.additionalWorkspaceStorageAccounts[_] == STRING
    input.Body.properties.workspaceHubConfig.defaultWorkspaceResourceGroup == 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.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Workspaces_Delete

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

Workspaces_Diagnose

valid {
    input.Body.value.applicationInsights.STRING == STRING
    input.Body.value.containerRegistry.STRING == STRING
    input.Body.value.dnsResolution.STRING == STRING
    input.Body.value.keyVault.STRING == STRING
    input.Body.value.nsg.STRING == STRING
    input.Body.value.others.STRING == STRING
    input.Body.value.requiredResourceProviders.STRING == STRING
    input.Body.value.resourceLock.STRING == STRING
    input.Body.value.storageAccount.STRING == STRING
    input.Body.value.udr.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Workspaces_Get

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

Workspaces_ListByResourceGroup

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

Workspaces_ListBySubscription

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.kind == STRING
    input.Qs.$skip == STRING
    input.Qs.aiCapabilities == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Workspaces_ListConnectionModels

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

Workspaces_ListKeys

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

Workspaces_ListNotebookAccessToken

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

Workspaces_ListNotebookKeys

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

Workspaces_ListOutboundNetworkDependenciesEndpoints

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

Workspaces_ListStorageAccountKeys

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

Workspaces_PrepareNotebook

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

Workspaces_ResyncKeys

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

Workspaces_Update

enum_IsolationMode := [ "Disabled", "AllowInternetOutbound", "AllowOnlyApprovedOutbound" ]
enum_ManagedNetworkStatus := [ "Inactive", "Active" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_PublicNetworkAccessType := [ "Enabled", "Disabled" ]
enum_RuleCategory := [ "Required", "Recommended", "UserDefined", "Dependency" ]
enum_RuleStatus := [ "Inactive", "Active" ]
enum_RuleType := [ "FQDN", "PrivateEndpoint", "ServiceTag" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.properties.applicationInsights == STRING
    input.Body.properties.containerRegistry == STRING
    input.Body.properties.description == STRING
    input.Body.properties.enableDataIsolation == BOOLEAN
    input.Body.properties.enableSoftwareBillOfMaterials == BOOLEAN
    input.Body.properties.encryption.keyVaultProperties.keyIdentifier == STRING
    input.Body.properties.featureStoreSettings.computeRuntime.sparkRuntimeVersion == STRING
    input.Body.properties.featureStoreSettings.offlineStoreConnectionName == STRING
    input.Body.properties.featureStoreSettings.onlineStoreConnectionName == STRING
    input.Body.properties.friendlyName == STRING
    input.Body.properties.imageBuildCompute == STRING
    input.Body.properties.ipAllowlist[_] == STRING
    input.Body.properties.managedNetwork.isolationMode == enum_IsolationMode[_]
    input.Body.properties.managedNetwork.outboundRules.STRING.category == enum_RuleCategory[_]
    input.Body.properties.managedNetwork.outboundRules.STRING.status == enum_RuleStatus[_]
    input.Body.properties.managedNetwork.outboundRules.STRING.type == enum_RuleType[_]
    input.Body.properties.managedNetwork.status.sparkReady == BOOLEAN
    input.Body.properties.managedNetwork.status.status == enum_ManagedNetworkStatus[_]
    input.Body.properties.primaryUserAssignedIdentity == STRING
    input.Body.properties.publicNetworkAccess == enum_PublicNetworkAccessType[_]
    input.Body.properties.serverlessComputeSettings.serverlessComputeCustomSubnet == STRING
    input.Body.properties.serverlessComputeSettings.serverlessComputeNoPublicIP == BOOLEAN
    input.Body.properties.serviceManagedResourcesSettings.cosmosDb.collectionsThroughput == INTEGER
    input.Body.properties.softDeleteRetentionInDays == INTEGER
    input.Body.properties.v1LegacyMode == BOOLEAN
    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.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Updated 1 day ago