MICROSOFT.CONTAINERREGISTRY

AgentPools_Create

enum_AgentPoolPropertiesOs := [ "Windows", "Linux" ]

valid {
    input.Body.properties.count == INTEGER
    input.Body.properties.tier == STRING
    input.Body.properties.os == enum_AgentPoolPropertiesOs[_]
    input.Body.properties.virtualNetworkSubnetResourceId == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.agentPoolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AgentPools_Delete

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

AgentPools_Get

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

AgentPools_GetQueueStatus

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

AgentPools_List

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
}

AgentPools_Update

valid {
    input.Body.properties.count == INTEGER
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.agentPoolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ArchiveVersions_Create

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

ArchiveVersions_Delete

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

ArchiveVersions_Get

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

ArchiveVersions_List

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

Archives_Create

enum_ArchivePackageSourcePropertiesType := [ "remote" ]

valid {
    input.Body.properties.packageSource.type == enum_ArchivePackageSourcePropertiesType[_]
    input.Body.properties.packageSource.url == STRING
    input.Body.properties.publishedVersion == STRING
    input.Body.properties.repositoryEndpointPrefix == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.packageType == STRING
    input.ReqMap.archiveName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Archives_Delete

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

Archives_Get

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

Archives_List

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

Archives_Update

valid {
    input.Body.properties.publishedVersion == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.packageType == STRING
    input.ReqMap.archiveName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildSteps_Create

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

BuildSteps_Delete

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

BuildSteps_Get

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

BuildSteps_List

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

BuildSteps_ListBuildArguments

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

BuildSteps_Update

valid {
    input.Body.properties == {}
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.buildTaskName == STRING
    input.ReqMap.stepName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildTasks_Create

enum_BuildTaskPropertiesStatus := [ "Disabled", "Enabled" ]
enum_PlatformPropertiesOsType := [ "Windows", "Linux" ]
enum_SourceControlAuthInfoTokenType := [ "PAT", "OAuth" ]
enum_SourceRepositoryPropertiesSourceControlType := [ "Github", "VisualStudioTeamService" ]

valid {
    input.Body.properties.alias == STRING
    input.Body.properties.status == enum_BuildTaskPropertiesStatus[_]
    input.Body.properties.sourceRepository.sourceControlType == enum_SourceRepositoryPropertiesSourceControlType[_]
    input.Body.properties.sourceRepository.repositoryUrl == STRING
    input.Body.properties.sourceRepository.isCommitTriggerEnabled == BOOLEAN
    input.Body.properties.sourceRepository.sourceControlAuthProperties.tokenType == enum_SourceControlAuthInfoTokenType[_]
    input.Body.properties.sourceRepository.sourceControlAuthProperties.token == STRING
    input.Body.properties.sourceRepository.sourceControlAuthProperties.refreshToken == STRING
    input.Body.properties.sourceRepository.sourceControlAuthProperties.scope == STRING
    input.Body.properties.sourceRepository.sourceControlAuthProperties.expiresIn == INTEGER
    input.Body.properties.platform.osType == enum_PlatformPropertiesOsType[_]
    input.Body.properties.platform.cpu == INTEGER
    input.Body.properties.timeout == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.buildTaskName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BuildTasks_Delete

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

BuildTasks_Get

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

BuildTasks_List

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

BuildTasks_ListSourceRepositoryProperties

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

BuildTasks_Update

enum_BuildTaskPropertiesUpdateParametersStatus := [ "Disabled", "Enabled" ]
enum_PlatformPropertiesOsType := [ "Windows", "Linux" ]
enum_SourceControlAuthInfoTokenType := [ "PAT", "OAuth" ]

valid {
    input.Body.properties.alias == STRING
    input.Body.properties.status == enum_BuildTaskPropertiesUpdateParametersStatus[_]
    input.Body.properties.platform.osType == enum_PlatformPropertiesOsType[_]
    input.Body.properties.platform.cpu == INTEGER
    input.Body.properties.timeout == INTEGER
    input.Body.properties.sourceRepository.sourceControlAuthProperties.tokenType == enum_SourceControlAuthInfoTokenType[_]
    input.Body.properties.sourceRepository.sourceControlAuthProperties.token == STRING
    input.Body.properties.sourceRepository.sourceControlAuthProperties.refreshToken == STRING
    input.Body.properties.sourceRepository.sourceControlAuthProperties.scope == STRING
    input.Body.properties.sourceRepository.sourceControlAuthProperties.expiresIn == INTEGER
    input.Body.properties.sourceRepository.isCommitTriggerEnabled == BOOLEAN
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.buildTaskName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Builds_Cancel

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

Builds_Get

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

Builds_GetLogLink

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

Builds_List

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

Builds_Update

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

CacheRules_Create

valid {
    input.Body.properties.credentialSetResourceId == STRING
    input.Body.properties.sourceRepository == STRING
    input.Body.properties.targetRepository == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.cacheRuleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CacheRules_Delete

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

CacheRules_Get

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

CacheRules_List

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
}

CacheRules_Update

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

ConnectedRegistries_Create

enum_ConnectedRegistryPropertiesMode := [ "ReadWrite", "ReadOnly", "Registry", "Mirror" ]
enum_LoggingPropertiesAuditLogStatus := [ "Enabled", "Disabled" ]
enum_LoggingPropertiesLogLevel := [ "Debug", "Information", "Warning", "Error", "None" ]

valid {
    input.Body.properties.mode == enum_ConnectedRegistryPropertiesMode[_]
    input.Body.properties.parent.id == STRING
    input.Body.properties.parent.syncProperties.tokenId == STRING
    input.Body.properties.parent.syncProperties.schedule == STRING
    input.Body.properties.parent.syncProperties.syncWindow == STRING
    input.Body.properties.parent.syncProperties.messageTtl == STRING
    input.Body.properties.clientTokenIds[_] == STRING
    input.Body.properties.loginServer == {}
    input.Body.properties.logging.logLevel == enum_LoggingPropertiesLogLevel[_]
    input.Body.properties.logging.auditLogStatus == enum_LoggingPropertiesAuditLogStatus[_]
    input.Body.properties.notificationsList[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.connectedRegistryName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConnectedRegistries_Deactivate

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

ConnectedRegistries_Delete

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

ConnectedRegistries_Get

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

ConnectedRegistries_List

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

ConnectedRegistries_Update

enum_LoggingPropertiesAuditLogStatus := [ "Enabled", "Disabled" ]
enum_LoggingPropertiesLogLevel := [ "Debug", "Information", "Warning", "Error", "None" ]

valid {
    input.Body.properties.syncProperties.schedule == STRING
    input.Body.properties.syncProperties.syncWindow == STRING
    input.Body.properties.syncProperties.messageTtl == STRING
    input.Body.properties.logging.logLevel == enum_LoggingPropertiesLogLevel[_]
    input.Body.properties.logging.auditLogStatus == enum_LoggingPropertiesAuditLogStatus[_]
    input.Body.properties.clientTokenIds[_] == STRING
    input.Body.properties.notificationsList[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.connectedRegistryName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CredentialSets_Create

enum_AuthCredentialName := [ "Credential1" ]
enum_IdentityPropertiesType := [ "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned", "None" ]

valid {
    input.Body.identity.type == enum_IdentityPropertiesType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.properties.loginServer == STRING
    input.Body.properties.authCredentials[_].name == enum_AuthCredentialName[_]
    input.Body.properties.authCredentials[_].usernameSecretIdentifier == STRING
    input.Body.properties.authCredentials[_].passwordSecretIdentifier == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.credentialSetName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CredentialSets_Delete

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

CredentialSets_Get

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

CredentialSets_List

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
}

CredentialSets_Update

enum_AuthCredentialName := [ "Credential1" ]
enum_IdentityPropertiesType := [ "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned", "None" ]

valid {
    input.Body.properties.authCredentials[_].name == enum_AuthCredentialName[_]
    input.Body.properties.authCredentials[_].usernameSecretIdentifier == STRING
    input.Body.properties.authCredentials[_].passwordSecretIdentifier == STRING
    input.Body.identity.type == enum_IdentityPropertiesType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.credentialSetName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ExportPipelines_Create

enum_ExportPipelinePropertiesOptions := [ "OverwriteTags", "OverwriteBlobs", "DeleteSourceBlobOnSuccess", "ContinueOnErrors" ]
enum_IdentityPropertiesType := [ "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned", "None" ]

valid {
    input.Body.location == STRING
    input.Body.identity.type == enum_IdentityPropertiesType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.properties.target.type == STRING
    input.Body.properties.target.uri == STRING
    input.Body.properties.target.keyVaultUri == STRING
    input.Body.properties.options[_] == enum_ExportPipelinePropertiesOptions[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.exportPipelineName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ExportPipelines_Delete

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

ExportPipelines_Get

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

ExportPipelines_List

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
}

ImportPipelines_Create

enum_IdentityPropertiesType := [ "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned", "None" ]
enum_ImportPipelinePropertiesOptions := [ "OverwriteTags", "OverwriteBlobs", "DeleteSourceBlobOnSuccess", "ContinueOnErrors" ]
enum_ImportPipelineSourcePropertiesType := [ "AzureStorageBlobContainer" ]
enum_PipelineSourceTriggerPropertiesStatus := [ "Enabled", "Disabled" ]

valid {
    input.Body.location == STRING
    input.Body.identity.type == enum_IdentityPropertiesType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.properties.source.type == enum_ImportPipelineSourcePropertiesType[_]
    input.Body.properties.source.uri == STRING
    input.Body.properties.source.keyVaultUri == STRING
    input.Body.properties.trigger.sourceTrigger.status == enum_PipelineSourceTriggerPropertiesStatus[_]
    input.Body.properties.options[_] == enum_ImportPipelinePropertiesOptions[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.importPipelineName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ImportPipelines_Delete

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

ImportPipelines_Get

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

ImportPipelines_List

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
}

Operations_List

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

PipelineRuns_Create

enum_PipelineRunSourcePropertiesType := [ "AzureStorageBlob" ]
enum_PipelineRunTargetPropertiesType := [ "AzureStorageBlob" ]

valid {
    input.Body.properties.request.pipelineResourceId == STRING
    input.Body.properties.request.artifacts[_] == STRING
    input.Body.properties.request.source.type == enum_PipelineRunSourcePropertiesType[_]
    input.Body.properties.request.source.name == STRING
    input.Body.properties.request.target.type == enum_PipelineRunTargetPropertiesType[_]
    input.Body.properties.request.target.name == STRING
    input.Body.properties.request.catalogDigest == STRING
    input.Body.properties.forceUpdateTag == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.pipelineRunName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PipelineRuns_Delete

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

PipelineRuns_Get

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

PipelineRuns_List

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
}

PrivateEndpointConnections_CreateOrUpdate

enum_PrivateLinkServiceConnectionStateActionsRequired := [ "None", "Recreate" ]
enum_PrivateLinkServiceConnectionStateStatus := [ "Approved", "Pending", "Rejected", "Disconnected" ]

valid {
    input.Body.properties.privateEndpoint.id == STRING
    input.Body.properties.privateLinkServiceConnectionState.status == enum_PrivateLinkServiceConnectionStateStatus[_]
    input.Body.properties.privateLinkServiceConnectionState.description == STRING
    input.Body.properties.privateLinkServiceConnectionState.actionsRequired == enum_PrivateLinkServiceConnectionStateActionsRequired[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == 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.registryName == 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.registryName == 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.registryName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Registries_CheckNameAvailability

enum_RegistryNameCheckRequestType := [ "Microsoft.ContainerRegistry/registries" ]

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

Registries_Create

enum_AzureADAuthenticationAsArmPolicyStatus := [ "enabled", "disabled" ]
enum_EncryptionPropertyStatus := [ "enabled", "disabled" ]
enum_ExportPolicyStatus := [ "enabled", "disabled" ]
enum_IPRuleAction := [ "Allow" ]
enum_IdentityPropertiesType := [ "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned", "None" ]
enum_NetworkRuleSetDefaultAction := [ "Allow", "Deny" ]
enum_QuarantinePolicyStatus := [ "enabled", "disabled" ]
enum_RegistryPropertiesMetadataSearch := [ "Enabled", "Disabled" ]
enum_RegistryPropertiesNetworkRuleBypassOptions := [ "AzureServices", "None" ]
enum_RegistryPropertiesPublicNetworkAccess := [ "Enabled", "Disabled" ]
enum_RegistryPropertiesZoneRedundancy := [ "Enabled", "Disabled" ]
enum_RetentionPolicyStatus := [ "enabled", "disabled" ]
enum_SkuName := [ "Classic", "Basic", "Standard", "Premium" ]
enum_SoftDeletePolicyStatus := [ "enabled", "disabled" ]
enum_TrustPolicyStatus := [ "enabled", "disabled" ]
enum_TrustPolicyType := [ "Notary" ]

valid {
    input.Body.sku.name == enum_SkuName[_]
    input.Body.identity.type == enum_IdentityPropertiesType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.properties.adminUserEnabled == BOOLEAN
    input.Body.properties.networkRuleSet.defaultAction == enum_NetworkRuleSetDefaultAction[_]
    input.Body.properties.networkRuleSet.ipRules[_].action == enum_IPRuleAction[_]
    input.Body.properties.networkRuleSet.ipRules[_].value == STRING
    input.Body.properties.policies.quarantinePolicy.status == enum_QuarantinePolicyStatus[_]
    input.Body.properties.policies.trustPolicy.type == enum_TrustPolicyType[_]
    input.Body.properties.policies.trustPolicy.status == enum_TrustPolicyStatus[_]
    input.Body.properties.policies.retentionPolicy.days == INTEGER
    input.Body.properties.policies.retentionPolicy.status == enum_RetentionPolicyStatus[_]
    input.Body.properties.policies.exportPolicy.status == enum_ExportPolicyStatus[_]
    input.Body.properties.policies.azureADAuthenticationAsArmPolicy.status == enum_AzureADAuthenticationAsArmPolicyStatus[_]
    input.Body.properties.policies.softDeletePolicy.retentionDays == INTEGER
    input.Body.properties.policies.softDeletePolicy.status == enum_SoftDeletePolicyStatus[_]
    input.Body.properties.encryption.status == enum_EncryptionPropertyStatus[_]
    input.Body.properties.encryption.keyVaultProperties.keyIdentifier == STRING
    input.Body.properties.encryption.keyVaultProperties.identity == STRING
    input.Body.properties.dataEndpointEnabled == BOOLEAN
    input.Body.properties.publicNetworkAccess == enum_RegistryPropertiesPublicNetworkAccess[_]
    input.Body.properties.networkRuleBypassOptions == enum_RegistryPropertiesNetworkRuleBypassOptions[_]
    input.Body.properties.zoneRedundancy == enum_RegistryPropertiesZoneRedundancy[_]
    input.Body.properties.anonymousPullEnabled == BOOLEAN
    input.Body.properties.metadataSearch == enum_RegistryPropertiesMetadataSearch[_]
    input.Body.location == STRING
    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
}

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_GenerateCredentials

enum_GenerateCredentialsParametersName := [ "password1", "password2" ]

valid {
    input.Body.tokenId == STRING
    input.Body.expiry == STRING
    input.Body.name == enum_GenerateCredentialsParametersName[_]
    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_GetBuildSourceUploadUrl

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_GetCredentials

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_GetPrivateLinkResource

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

Registries_ImportImage

enum_ImportImageParametersMode := [ "NoForce", "Force" ]

valid {
    input.Body.source.resourceId == STRING
    input.Body.source.registryUri == STRING
    input.Body.source.credentials.username == STRING
    input.Body.source.credentials.password == STRING
    input.Body.source.sourceImage == STRING
    input.Body.targetTags[_] == STRING
    input.Body.untaggedTargetRepositories[_] == STRING
    input.Body.mode == enum_ImportImageParametersMode[_]
    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.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Registries_ListByResourceGroup

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_ListCredentials

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_ListPolicies

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_ListPrivateLinkResources

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_ListUsages

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_QueueBuild

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_RegenerateCredential

enum_RegenerateCredentialParametersName := [ "password", "password2" ]

valid {
    input.Body.name == enum_RegenerateCredentialParametersName[_]
    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_RegenerateCredentials

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_ScheduleRun

valid {
    input.Body.type == STRING
    input.Body.isArchiveEnabled == BOOLEAN
    input.Body.agentPoolName == STRING
    input.Body.logTemplate == 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_Update

enum_AzureADAuthenticationAsArmPolicyStatus := [ "enabled", "disabled" ]
enum_EncryptionPropertyStatus := [ "enabled", "disabled" ]
enum_ExportPolicyStatus := [ "enabled", "disabled" ]
enum_IPRuleAction := [ "Allow" ]
enum_IdentityPropertiesType := [ "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned", "None" ]
enum_NetworkRuleSetDefaultAction := [ "Allow", "Deny" ]
enum_QuarantinePolicyStatus := [ "enabled", "disabled" ]
enum_RegistryPropertiesUpdateParametersMetadataSearch := [ "Enabled", "Disabled" ]
enum_RegistryPropertiesUpdateParametersNetworkRuleBypassOptions := [ "AzureServices", "None" ]
enum_RegistryPropertiesUpdateParametersPublicNetworkAccess := [ "Enabled", "Disabled" ]
enum_RetentionPolicyStatus := [ "enabled", "disabled" ]
enum_SkuName := [ "Classic", "Basic", "Standard", "Premium" ]
enum_SoftDeletePolicyStatus := [ "enabled", "disabled" ]
enum_TrustPolicyStatus := [ "enabled", "disabled" ]
enum_TrustPolicyType := [ "Notary" ]

valid {
    input.Body.identity.type == enum_IdentityPropertiesType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.sku.name == enum_SkuName[_]
    input.Body.properties.adminUserEnabled == BOOLEAN
    input.Body.properties.networkRuleSet.defaultAction == enum_NetworkRuleSetDefaultAction[_]
    input.Body.properties.networkRuleSet.ipRules[_].action == enum_IPRuleAction[_]
    input.Body.properties.networkRuleSet.ipRules[_].value == STRING
    input.Body.properties.policies.quarantinePolicy.status == enum_QuarantinePolicyStatus[_]
    input.Body.properties.policies.trustPolicy.type == enum_TrustPolicyType[_]
    input.Body.properties.policies.trustPolicy.status == enum_TrustPolicyStatus[_]
    input.Body.properties.policies.retentionPolicy.days == INTEGER
    input.Body.properties.policies.retentionPolicy.status == enum_RetentionPolicyStatus[_]
    input.Body.properties.policies.exportPolicy.status == enum_ExportPolicyStatus[_]
    input.Body.properties.policies.azureADAuthenticationAsArmPolicy.status == enum_AzureADAuthenticationAsArmPolicyStatus[_]
    input.Body.properties.policies.softDeletePolicy.retentionDays == INTEGER
    input.Body.properties.policies.softDeletePolicy.status == enum_SoftDeletePolicyStatus[_]
    input.Body.properties.encryption.status == enum_EncryptionPropertyStatus[_]
    input.Body.properties.encryption.keyVaultProperties.keyIdentifier == STRING
    input.Body.properties.encryption.keyVaultProperties.identity == STRING
    input.Body.properties.dataEndpointEnabled == BOOLEAN
    input.Body.properties.publicNetworkAccess == enum_RegistryPropertiesUpdateParametersPublicNetworkAccess[_]
    input.Body.properties.networkRuleBypassOptions == enum_RegistryPropertiesUpdateParametersNetworkRuleBypassOptions[_]
    input.Body.properties.anonymousPullEnabled == BOOLEAN
    input.Body.properties.metadataSearch == enum_RegistryPropertiesUpdateParametersMetadataSearch[_]
    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_UpdatePolicies

enum_QuarantinePolicyStatus := [ "enabled", "disabled" ]
enum_TrustPolicyStatus := [ "enabled", "disabled" ]
enum_TrustPolicyType := [ "Notary" ]

valid {
    input.Body.quarantinePolicy.status == enum_QuarantinePolicyStatus[_]
    input.Body.trustPolicy.type == enum_TrustPolicyType[_]
    input.Body.trustPolicy.status == enum_TrustPolicyStatus[_]
    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
}

Replications_Create

enum_ReplicationPropertiesZoneRedundancy := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.regionEndpointEnabled == BOOLEAN
    input.Body.properties.zoneRedundancy == enum_ReplicationPropertiesZoneRedundancy[_]
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.replicationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Replications_Delete

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

Replications_Get

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

Replications_List

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
}

Replications_Update

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

Runs_Cancel

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

Runs_Get

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

Runs_GetLogSasUrl

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

Runs_List

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

Runs_Update

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

ScopeMaps_Create

valid {
    input.Body.properties.description == STRING
    input.Body.properties.actions[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.scopeMapName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ScopeMaps_Delete

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

ScopeMaps_Get

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

ScopeMaps_List

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
}

ScopeMaps_Update

valid {
    input.Body.properties.description == STRING
    input.Body.properties.actions[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.scopeMapName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TaskRuns_Create

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

valid {
    input.Body.identity.principalId == STRING
    input.Body.identity.tenantId == STRING
    input.Body.identity.type == enum_IdentityPropertiesType[_]
    input.Body.identity.userAssignedIdentities.STRING.principalId == STRING
    input.Body.identity.userAssignedIdentities.STRING.clientId == STRING
    input.Body.properties.runRequest.type == STRING
    input.Body.properties.runRequest.isArchiveEnabled == BOOLEAN
    input.Body.properties.runRequest.agentPoolName == STRING
    input.Body.properties.runRequest.logTemplate == STRING
    input.Body.properties.forceUpdateTag == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.taskRunName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TaskRuns_Delete

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

TaskRuns_Get

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

TaskRuns_GetDetails

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

TaskRuns_List

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
}

TaskRuns_Update

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

valid {
    input.Body.identity.principalId == STRING
    input.Body.identity.tenantId == STRING
    input.Body.identity.type == enum_IdentityPropertiesType[_]
    input.Body.identity.userAssignedIdentities.STRING.principalId == STRING
    input.Body.identity.userAssignedIdentities.STRING.clientId == STRING
    input.Body.properties.runRequest.type == STRING
    input.Body.properties.runRequest.isArchiveEnabled == BOOLEAN
    input.Body.properties.runRequest.agentPoolName == STRING
    input.Body.properties.runRequest.logTemplate == STRING
    input.Body.properties.forceUpdateTag == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.taskRunName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Tasks_Create

enum_AuthInfoTokenType := [ "PAT", "OAuth" ]
enum_BaseImageTriggerBaseImageTriggerType := [ "All", "Runtime" ]
enum_BaseImageTriggerStatus := [ "Disabled", "Enabled" ]
enum_BaseImageTriggerUpdateTriggerPayloadType := [ "Default", "Token" ]
enum_IdentityPropertiesType := [ "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned", "None" ]
enum_PlatformPropertiesArchitecture := [ "amd64", "x86", "386", "arm", "arm64" ]
enum_PlatformPropertiesOs := [ "Windows", "Linux" ]
enum_PlatformPropertiesVariant := [ "v6", "v7", "v8" ]
enum_SecretObjectType := [ "Opaque", "Vaultsecret" ]
enum_SourcePropertiesSourceControlType := [ "Github", "VisualStudioTeamService" ]
enum_SourceRegistryCredentialsLoginMode := [ "None", "Default" ]
enum_SourceTriggerSourceTriggerEvents := [ "commit", "pullrequest" ]
enum_SourceTriggerStatus := [ "Disabled", "Enabled" ]
enum_TaskPropertiesStatus := [ "Disabled", "Enabled" ]
enum_TaskStepPropertiesType := [ "Docker", "FileTask", "EncodedTask" ]
enum_TimerTriggerStatus := [ "Disabled", "Enabled" ]

valid {
    input.Body.identity.principalId == STRING
    input.Body.identity.tenantId == STRING
    input.Body.identity.type == enum_IdentityPropertiesType[_]
    input.Body.identity.userAssignedIdentities.STRING.principalId == STRING
    input.Body.identity.userAssignedIdentities.STRING.clientId == STRING
    input.Body.properties.status == enum_TaskPropertiesStatus[_]
    input.Body.properties.platform.os == enum_PlatformPropertiesOs[_]
    input.Body.properties.platform.architecture == enum_PlatformPropertiesArchitecture[_]
    input.Body.properties.platform.variant == enum_PlatformPropertiesVariant[_]
    input.Body.properties.agentConfiguration.cpu == INTEGER
    input.Body.properties.agentPoolName == STRING
    input.Body.properties.timeout == INTEGER
    input.Body.properties.step.type == enum_TaskStepPropertiesType[_]
    input.Body.properties.step.contextPath == STRING
    input.Body.properties.step.contextAccessToken == STRING
    input.Body.properties.trigger.timerTriggers[_].schedule == STRING
    input.Body.properties.trigger.timerTriggers[_].status == enum_TimerTriggerStatus[_]
    input.Body.properties.trigger.timerTriggers[_].name == STRING
    input.Body.properties.trigger.sourceTriggers[_].sourceRepository.sourceControlType == enum_SourcePropertiesSourceControlType[_]
    input.Body.properties.trigger.sourceTriggers[_].sourceRepository.repositoryUrl == STRING
    input.Body.properties.trigger.sourceTriggers[_].sourceRepository.branch == STRING
    input.Body.properties.trigger.sourceTriggers[_].sourceRepository.sourceControlAuthProperties.tokenType == enum_AuthInfoTokenType[_]
    input.Body.properties.trigger.sourceTriggers[_].sourceRepository.sourceControlAuthProperties.token == STRING
    input.Body.properties.trigger.sourceTriggers[_].sourceRepository.sourceControlAuthProperties.refreshToken == STRING
    input.Body.properties.trigger.sourceTriggers[_].sourceRepository.sourceControlAuthProperties.scope == STRING
    input.Body.properties.trigger.sourceTriggers[_].sourceRepository.sourceControlAuthProperties.expiresIn == INTEGER
    input.Body.properties.trigger.sourceTriggers[_].sourceTriggerEvents[_] == enum_SourceTriggerSourceTriggerEvents[_]
    input.Body.properties.trigger.sourceTriggers[_].status == enum_SourceTriggerStatus[_]
    input.Body.properties.trigger.sourceTriggers[_].name == STRING
    input.Body.properties.trigger.baseImageTrigger.baseImageTriggerType == enum_BaseImageTriggerBaseImageTriggerType[_]
    input.Body.properties.trigger.baseImageTrigger.updateTriggerEndpoint == STRING
    input.Body.properties.trigger.baseImageTrigger.updateTriggerPayloadType == enum_BaseImageTriggerUpdateTriggerPayloadType[_]
    input.Body.properties.trigger.baseImageTrigger.status == enum_BaseImageTriggerStatus[_]
    input.Body.properties.trigger.baseImageTrigger.name == STRING
    input.Body.properties.credentials.sourceRegistry.loginMode == enum_SourceRegistryCredentialsLoginMode[_]
    input.Body.properties.credentials.customRegistries.STRING.userName.value == STRING
    input.Body.properties.credentials.customRegistries.STRING.userName.type == enum_SecretObjectType[_]
    input.Body.properties.credentials.customRegistries.STRING.password.value == STRING
    input.Body.properties.credentials.customRegistries.STRING.password.type == enum_SecretObjectType[_]
    input.Body.properties.credentials.customRegistries.STRING.identity == STRING
    input.Body.properties.logTemplate == STRING
    input.Body.properties.isSystemTask == BOOLEAN
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.taskName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Tasks_Delete

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

Tasks_Get

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

Tasks_GetDetails

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

Tasks_List

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
}

Tasks_Update

enum_AuthInfoUpdateParametersTokenType := [ "PAT", "OAuth" ]
enum_BaseImageTriggerUpdateParametersBaseImageTriggerType := [ "All", "Runtime" ]
enum_BaseImageTriggerUpdateParametersStatus := [ "Disabled", "Enabled" ]
enum_BaseImageTriggerUpdateParametersUpdateTriggerPayloadType := [ "Default", "Token" ]
enum_IdentityPropertiesType := [ "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned", "None" ]
enum_PlatformUpdateParametersArchitecture := [ "amd64", "x86", "386", "arm", "arm64" ]
enum_PlatformUpdateParametersOs := [ "Windows", "Linux" ]
enum_PlatformUpdateParametersVariant := [ "v6", "v7", "v8" ]
enum_SecretObjectType := [ "Opaque", "Vaultsecret" ]
enum_SourceRegistryCredentialsLoginMode := [ "None", "Default" ]
enum_SourceTriggerUpdateParametersSourceTriggerEvents := [ "commit", "pullrequest" ]
enum_SourceTriggerUpdateParametersStatus := [ "Disabled", "Enabled" ]
enum_SourceUpdateParametersSourceControlType := [ "Github", "VisualStudioTeamService" ]
enum_TaskPropertiesUpdateParametersStatus := [ "Disabled", "Enabled" ]
enum_TaskStepUpdateParametersType := [ "Docker", "FileTask", "EncodedTask" ]
enum_TimerTriggerUpdateParametersStatus := [ "Disabled", "Enabled" ]

valid {
    input.Body.identity.principalId == STRING
    input.Body.identity.tenantId == STRING
    input.Body.identity.type == enum_IdentityPropertiesType[_]
    input.Body.identity.userAssignedIdentities.STRING.principalId == STRING
    input.Body.identity.userAssignedIdentities.STRING.clientId == STRING
    input.Body.properties.status == enum_TaskPropertiesUpdateParametersStatus[_]
    input.Body.properties.platform.os == enum_PlatformUpdateParametersOs[_]
    input.Body.properties.platform.architecture == enum_PlatformUpdateParametersArchitecture[_]
    input.Body.properties.platform.variant == enum_PlatformUpdateParametersVariant[_]
    input.Body.properties.agentConfiguration.cpu == INTEGER
    input.Body.properties.agentPoolName == STRING
    input.Body.properties.timeout == INTEGER
    input.Body.properties.step.type == enum_TaskStepUpdateParametersType[_]
    input.Body.properties.step.contextPath == STRING
    input.Body.properties.step.contextAccessToken == STRING
    input.Body.properties.trigger.timerTriggers[_].schedule == STRING
    input.Body.properties.trigger.timerTriggers[_].status == enum_TimerTriggerUpdateParametersStatus[_]
    input.Body.properties.trigger.timerTriggers[_].name == STRING
    input.Body.properties.trigger.sourceTriggers[_].sourceRepository.sourceControlType == enum_SourceUpdateParametersSourceControlType[_]
    input.Body.properties.trigger.sourceTriggers[_].sourceRepository.repositoryUrl == STRING
    input.Body.properties.trigger.sourceTriggers[_].sourceRepository.branch == STRING
    input.Body.properties.trigger.sourceTriggers[_].sourceRepository.sourceControlAuthProperties.tokenType == enum_AuthInfoUpdateParametersTokenType[_]
    input.Body.properties.trigger.sourceTriggers[_].sourceRepository.sourceControlAuthProperties.token == STRING
    input.Body.properties.trigger.sourceTriggers[_].sourceRepository.sourceControlAuthProperties.refreshToken == STRING
    input.Body.properties.trigger.sourceTriggers[_].sourceRepository.sourceControlAuthProperties.scope == STRING
    input.Body.properties.trigger.sourceTriggers[_].sourceRepository.sourceControlAuthProperties.expiresIn == INTEGER
    input.Body.properties.trigger.sourceTriggers[_].sourceTriggerEvents[_] == enum_SourceTriggerUpdateParametersSourceTriggerEvents[_]
    input.Body.properties.trigger.sourceTriggers[_].status == enum_SourceTriggerUpdateParametersStatus[_]
    input.Body.properties.trigger.sourceTriggers[_].name == STRING
    input.Body.properties.trigger.baseImageTrigger.baseImageTriggerType == enum_BaseImageTriggerUpdateParametersBaseImageTriggerType[_]
    input.Body.properties.trigger.baseImageTrigger.updateTriggerEndpoint == STRING
    input.Body.properties.trigger.baseImageTrigger.updateTriggerPayloadType == enum_BaseImageTriggerUpdateParametersUpdateTriggerPayloadType[_]
    input.Body.properties.trigger.baseImageTrigger.status == enum_BaseImageTriggerUpdateParametersStatus[_]
    input.Body.properties.trigger.baseImageTrigger.name == STRING
    input.Body.properties.credentials.sourceRegistry.loginMode == enum_SourceRegistryCredentialsLoginMode[_]
    input.Body.properties.credentials.customRegistries.STRING.userName.value == STRING
    input.Body.properties.credentials.customRegistries.STRING.userName.type == enum_SecretObjectType[_]
    input.Body.properties.credentials.customRegistries.STRING.password.value == STRING
    input.Body.properties.credentials.customRegistries.STRING.password.type == enum_SecretObjectType[_]
    input.Body.properties.credentials.customRegistries.STRING.identity == STRING
    input.Body.properties.logTemplate == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.taskName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Tokens_Create

enum_TokenCertificateName := [ "certificate1", "certificate2" ]
enum_TokenPasswordName := [ "password1", "password2" ]
enum_TokenPropertiesStatus := [ "enabled", "disabled" ]

valid {
    input.Body.properties.scopeMapId == STRING
    input.Body.properties.credentials.certificates[_].name == enum_TokenCertificateName[_]
    input.Body.properties.credentials.certificates[_].expiry == STRING
    input.Body.properties.credentials.certificates[_].thumbprint == STRING
    input.Body.properties.credentials.certificates[_].encodedPemCertificate == STRING
    input.Body.properties.credentials.passwords[_].creationTime == STRING
    input.Body.properties.credentials.passwords[_].expiry == STRING
    input.Body.properties.credentials.passwords[_].name == enum_TokenPasswordName[_]
    input.Body.properties.status == enum_TokenPropertiesStatus[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.tokenName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Tokens_Delete

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

Tokens_Get

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

Tokens_List

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
}

Tokens_Update

enum_TokenCertificateName := [ "certificate1", "certificate2" ]
enum_TokenPasswordName := [ "password1", "password2" ]
enum_TokenUpdatePropertiesStatus := [ "enabled", "disabled" ]

valid {
    input.Body.properties.scopeMapId == STRING
    input.Body.properties.status == enum_TokenUpdatePropertiesStatus[_]
    input.Body.properties.credentials.certificates[_].name == enum_TokenCertificateName[_]
    input.Body.properties.credentials.certificates[_].expiry == STRING
    input.Body.properties.credentials.certificates[_].thumbprint == STRING
    input.Body.properties.credentials.certificates[_].encodedPemCertificate == STRING
    input.Body.properties.credentials.passwords[_].creationTime == STRING
    input.Body.properties.credentials.passwords[_].expiry == STRING
    input.Body.properties.credentials.passwords[_].name == enum_TokenPasswordName[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.tokenName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Webhooks_Create

enum_WebhookPropertiesCreateParametersActions := [ "push", "delete", "quarantine", "chart_push", "chart_delete" ]
enum_WebhookPropertiesCreateParametersStatus := [ "enabled", "disabled" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.Body.properties.serviceUri == STRING
    input.Body.properties.customHeaders.STRING == STRING
    input.Body.properties.status == enum_WebhookPropertiesCreateParametersStatus[_]
    input.Body.properties.scope == STRING
    input.Body.properties.actions[_] == enum_WebhookPropertiesCreateParametersActions[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.webhookName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Webhooks_Delete

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

Webhooks_Get

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

Webhooks_GetCallbackConfig

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

Webhooks_List

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
}

Webhooks_ListEvents

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

Webhooks_Ping

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

Webhooks_Update

enum_WebhookPropertiesUpdateParametersActions := [ "push", "delete", "quarantine", "chart_push", "chart_delete" ]
enum_WebhookPropertiesUpdateParametersStatus := [ "enabled", "disabled" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.serviceUri == STRING
    input.Body.properties.customHeaders.STRING == STRING
    input.Body.properties.status == enum_WebhookPropertiesUpdateParametersStatus[_]
    input.Body.properties.scope == STRING
    input.Body.properties.actions[_] == enum_WebhookPropertiesUpdateParametersActions[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.webhookName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}