MICROSOFT.RECOVERYSERVICES

AadProperties_Get

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

BMSPrepareDataMove

enum_PrepareDataMoveRequestDataMoveLevel := [ "Invalid", "Vault", "Container" ]

valid {
    input.Body.targetResourceId == STRING
    input.Body.targetRegion == STRING
    input.Body.dataMoveLevel == enum_PrepareDataMoveRequestDataMoveLevel[_]
    input.Body.sourceContainerArmIds[_] == STRING
    input.Body.ignoreMoved == BOOLEAN
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BMSPrepareDataMoveOperationResult_Get

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

BMSTriggerDataMove

enum_TriggerDataMoveRequestDataMoveLevel := [ "Invalid", "Vault", "Container" ]

valid {
    input.Body.sourceResourceId == STRING
    input.Body.sourceRegion == STRING
    input.Body.dataMoveLevel == enum_TriggerDataMoveRequestDataMoveLevel[_]
    input.Body.correlationId == STRING
    input.Body.sourceContainerArmIds[_] == STRING
    input.Body.pauseGC == BOOLEAN
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupCrrJobDetails_Get

valid {
    input.Body.resourceId == STRING
    input.Body.jobName == STRING
    input.ReqMap.azureRegion == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

BackupCrrJobs_List

valid {
    input.Body.resourceId == STRING
    input.Body.jobName == STRING
    input.ReqMap.azureRegion == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.Qs.$skipToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

BackupEngines_Get

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

BackupEngines_List

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

BackupJobs_List

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

BackupOperationResults_Get

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

BackupOperationStatuses_Get

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

BackupPolicies_List

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

BackupProtectableItems_List

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

BackupProtectedItems_List

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

BackupProtectionContainers_List

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

BackupProtectionIntent_List

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

BackupResourceEncryptionConfigs_Get

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

BackupResourceEncryptionConfigs_Update

enum_BackupResourceEncryptionConfigEncryptionAtRestType := [ "Invalid", "MicrosoftManaged", "CustomerManaged" ]
enum_BackupResourceEncryptionConfigInfrastructureEncryptionState := [ "Invalid", "Disabled", "Enabled" ]
enum_BackupResourceEncryptionConfigLastUpdateStatus := [ "Invalid", "NotEnabled", "PartiallySucceeded", "PartiallyFailed", "Failed", "Succeeded", "Initialized", "FirstInitialization" ]

valid {
    input.Body.properties.encryptionAtRestType == enum_BackupResourceEncryptionConfigEncryptionAtRestType[_]
    input.Body.properties.keyUri == STRING
    input.Body.properties.subscriptionId == STRING
    input.Body.properties.lastUpdateStatus == enum_BackupResourceEncryptionConfigLastUpdateStatus[_]
    input.Body.properties.infrastructureEncryptionState == enum_BackupResourceEncryptionConfigInfrastructureEncryptionState[_]
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.eTag == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupResourceStorageConfigsNonCRR_Get

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

BackupResourceStorageConfigsNonCRR_Update

enum_BackupResourceConfigDedupState := [ "Invalid", "Enabled", "Disabled" ]
enum_BackupResourceConfigStorageModelType := [ "Invalid", "GeoRedundant", "LocallyRedundant", "ZoneRedundant", "ReadAccessGeoZoneRedundant" ]
enum_BackupResourceConfigStorageType := [ "Invalid", "GeoRedundant", "LocallyRedundant", "ZoneRedundant", "ReadAccessGeoZoneRedundant" ]
enum_BackupResourceConfigStorageTypeState := [ "Invalid", "Locked", "Unlocked" ]
enum_BackupResourceConfigXcoolState := [ "Invalid", "Enabled", "Disabled" ]

valid {
    input.Body.properties.storageModelType == enum_BackupResourceConfigStorageModelType[_]
    input.Body.properties.storageType == enum_BackupResourceConfigStorageType[_]
    input.Body.properties.storageTypeState == enum_BackupResourceConfigStorageTypeState[_]
    input.Body.properties.crossRegionRestoreFlag == BOOLEAN
    input.Body.properties.dedupState == enum_BackupResourceConfigDedupState[_]
    input.Body.properties.xcoolState == enum_BackupResourceConfigXcoolState[_]
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.eTag == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupResourceStorageConfigsNonCRR_patch

enum_BackupResourceConfigDedupState := [ "Invalid", "Enabled", "Disabled" ]
enum_BackupResourceConfigStorageModelType := [ "Invalid", "GeoRedundant", "LocallyRedundant", "ZoneRedundant", "ReadAccessGeoZoneRedundant" ]
enum_BackupResourceConfigStorageType := [ "Invalid", "GeoRedundant", "LocallyRedundant", "ZoneRedundant", "ReadAccessGeoZoneRedundant" ]
enum_BackupResourceConfigStorageTypeState := [ "Invalid", "Locked", "Unlocked" ]
enum_BackupResourceConfigXcoolState := [ "Invalid", "Enabled", "Disabled" ]

valid {
    input.Body.properties.storageModelType == enum_BackupResourceConfigStorageModelType[_]
    input.Body.properties.storageType == enum_BackupResourceConfigStorageType[_]
    input.Body.properties.storageTypeState == enum_BackupResourceConfigStorageTypeState[_]
    input.Body.properties.crossRegionRestoreFlag == BOOLEAN
    input.Body.properties.dedupState == enum_BackupResourceConfigDedupState[_]
    input.Body.properties.xcoolState == enum_BackupResourceConfigXcoolState[_]
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupResourceStorageConfigs_Get

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

BackupResourceStorageConfigs_Update

enum_BackupResourceConfigStorageModelType := [ "Invalid", "GeoRedundant", "LocallyRedundant", "ZoneRedundant", "ReadAccessGeoZoneRedundant" ]
enum_BackupResourceConfigStorageType := [ "Invalid", "GeoRedundant", "LocallyRedundant", "ZoneRedundant", "ReadAccessGeoZoneRedundant" ]
enum_BackupResourceConfigStorageTypeState := [ "Invalid", "Locked", "Unlocked" ]

valid {
    input.Body.properties.storageModelType == enum_BackupResourceConfigStorageModelType[_]
    input.Body.properties.storageType == enum_BackupResourceConfigStorageType[_]
    input.Body.properties.storageTypeState == enum_BackupResourceConfigStorageTypeState[_]
    input.Body.properties.crossRegionRestoreFlag == BOOLEAN
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.eTag == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupResourceStorageConfigs_patch

enum_BackupResourceConfigStorageModelType := [ "Invalid", "GeoRedundant", "LocallyRedundant", "ZoneRedundant", "ReadAccessGeoZoneRedundant" ]
enum_BackupResourceConfigStorageType := [ "Invalid", "GeoRedundant", "LocallyRedundant", "ZoneRedundant", "ReadAccessGeoZoneRedundant" ]
enum_BackupResourceConfigStorageTypeState := [ "Invalid", "Locked", "Unlocked" ]

valid {
    input.Body.properties.storageModelType == enum_BackupResourceConfigStorageModelType[_]
    input.Body.properties.storageType == enum_BackupResourceConfigStorageType[_]
    input.Body.properties.storageTypeState == enum_BackupResourceConfigStorageTypeState[_]
    input.Body.properties.crossRegionRestoreFlag == BOOLEAN
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupResourceVaultConfigs_Get

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

BackupResourceVaultConfigs_Put

enum_BackupResourceVaultConfigEnhancedSecurityState := [ "Invalid", "Enabled", "Disabled" ]
enum_BackupResourceVaultConfigSoftDeleteFeatureState := [ "Invalid", "Enabled", "Disabled", "AlwaysON" ]
enum_BackupResourceVaultConfigStorageModelType := [ "Invalid", "GeoRedundant", "LocallyRedundant", "ZoneRedundant", "ReadAccessGeoZoneRedundant" ]
enum_BackupResourceVaultConfigStorageType := [ "Invalid", "GeoRedundant", "LocallyRedundant", "ZoneRedundant", "ReadAccessGeoZoneRedundant" ]
enum_BackupResourceVaultConfigStorageTypeState := [ "Invalid", "Locked", "Unlocked" ]

valid {
    input.Body.properties.storageModelType == enum_BackupResourceVaultConfigStorageModelType[_]
    input.Body.properties.storageType == enum_BackupResourceVaultConfigStorageType[_]
    input.Body.properties.storageTypeState == enum_BackupResourceVaultConfigStorageTypeState[_]
    input.Body.properties.enhancedSecurityState == enum_BackupResourceVaultConfigEnhancedSecurityState[_]
    input.Body.properties.softDeleteFeatureState == enum_BackupResourceVaultConfigSoftDeleteFeatureState[_]
    input.Body.properties.softDeleteRetentionPeriodInDays == INTEGER
    input.Body.properties.resourceGuardOperationRequests[_] == STRING
    input.Body.properties.isSoftDeleteFeatureStateEditable == BOOLEAN
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupResourceVaultConfigs_Update

enum_BackupResourceVaultConfigEnhancedSecurityState := [ "Invalid", "Enabled", "Disabled" ]
enum_BackupResourceVaultConfigSoftDeleteFeatureState := [ "Invalid", "Enabled", "Disabled", "AlwaysON" ]
enum_BackupResourceVaultConfigStorageModelType := [ "Invalid", "GeoRedundant", "LocallyRedundant", "ZoneRedundant", "ReadAccessGeoZoneRedundant" ]
enum_BackupResourceVaultConfigStorageType := [ "Invalid", "GeoRedundant", "LocallyRedundant", "ZoneRedundant", "ReadAccessGeoZoneRedundant" ]
enum_BackupResourceVaultConfigStorageTypeState := [ "Invalid", "Locked", "Unlocked" ]

valid {
    input.Body.properties.storageModelType == enum_BackupResourceVaultConfigStorageModelType[_]
    input.Body.properties.storageType == enum_BackupResourceVaultConfigStorageType[_]
    input.Body.properties.storageTypeState == enum_BackupResourceVaultConfigStorageTypeState[_]
    input.Body.properties.enhancedSecurityState == enum_BackupResourceVaultConfigEnhancedSecurityState[_]
    input.Body.properties.softDeleteFeatureState == enum_BackupResourceVaultConfigSoftDeleteFeatureState[_]
    input.Body.properties.softDeleteRetentionPeriodInDays == INTEGER
    input.Body.properties.resourceGuardOperationRequests[_] == STRING
    input.Body.properties.isSoftDeleteFeatureStateEditable == BOOLEAN
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.eTag == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupStatus_Get

enum_BackupStatusRequestResourceType := [ "Invalid", "VM", "FileFolder", "AzureSqlDb", "SQLDB", "Exchange", "Sharepoint", "VMwareVM", "SystemState", "Client", "GenericDataSource", "SQLDataBase", "AzureFileShare", "SAPHanaDatabase", "SAPAseDatabase", "SAPHanaDBInstance" ]

valid {
    input.Body.resourceType == enum_BackupStatusRequestResourceType[_]
    input.Body.resourceId == STRING
    input.Body.poLogicalName == STRING
    input.ReqMap.azureRegion == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

BackupUsageSummariesCRR_List

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

BackupUsageSummaries_List

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

BackupWorkloadItems_List

valid {
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.containerName == 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
}

Backups_Trigger

valid {
    input.Body.properties.objectType == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.eTag == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.containerName == STRING
    input.ReqMap.protectedItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CrossRegionRestore_Trigger

valid {
    input.Body.crossRegionRestoreAccessDetails.objectType == STRING
    input.Body.crossRegionRestoreAccessDetails.accessTokenString == STRING
    input.Body.crossRegionRestoreAccessDetails.subscriptionId == STRING
    input.Body.crossRegionRestoreAccessDetails.resourceGroupName == STRING
    input.Body.crossRegionRestoreAccessDetails.resourceName == STRING
    input.Body.crossRegionRestoreAccessDetails.resourceId == STRING
    input.Body.crossRegionRestoreAccessDetails.protectionContainerId == INTEGER
    input.Body.crossRegionRestoreAccessDetails.recoveryPointId == STRING
    input.Body.crossRegionRestoreAccessDetails.recoveryPointTime == STRING
    input.Body.crossRegionRestoreAccessDetails.containerName == STRING
    input.Body.crossRegionRestoreAccessDetails.containerType == STRING
    input.Body.crossRegionRestoreAccessDetails.backupManagementType == STRING
    input.Body.crossRegionRestoreAccessDetails.datasourceType == STRING
    input.Body.crossRegionRestoreAccessDetails.datasourceName == STRING
    input.Body.crossRegionRestoreAccessDetails.datasourceId == STRING
    input.Body.crossRegionRestoreAccessDetails.datasourceContainerName == STRING
    input.Body.crossRegionRestoreAccessDetails.coordinatorServiceStampId == STRING
    input.Body.crossRegionRestoreAccessDetails.coordinatorServiceStampUri == STRING
    input.Body.crossRegionRestoreAccessDetails.protectionServiceStampId == STRING
    input.Body.crossRegionRestoreAccessDetails.protectionServiceStampUri == STRING
    input.Body.crossRegionRestoreAccessDetails.tokenExtendedInformation == STRING
    input.Body.crossRegionRestoreAccessDetails.rpTierInformation.STRING == STRING
    input.Body.crossRegionRestoreAccessDetails.rpOriginalSAOption == BOOLEAN
    input.Body.crossRegionRestoreAccessDetails.rpIsManagedVirtualMachine == BOOLEAN
    input.Body.crossRegionRestoreAccessDetails.rpVMSizeDescription == STRING
    input.Body.crossRegionRestoreAccessDetails.bMSActiveRegion == STRING
    input.Body.restoreRequest.objectType == STRING
    input.ReqMap.azureRegion == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

CrrOperationResults_Get

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

CrrOperationStatus_Get

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

DeletedProtectionContainers_List

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

ExportJobsOperationResults_Get

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

FeatureSupport_Validate

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

FetchTieringCost_Post

enum_FetchTieringCostInfoRequestSourceTierType := [ "Invalid", "InstantRP", "HardenedRP", "ArchivedRP" ]
enum_FetchTieringCostInfoRequestTargetTierType := [ "Invalid", "InstantRP", "HardenedRP", "ArchivedRP" ]

valid {
    input.Body.sourceTierType == enum_FetchTieringCostInfoRequestSourceTierType[_]
    input.Body.targetTierType == enum_FetchTieringCostInfoRequestTargetTierType[_]
    input.Body.objectType == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GetOperationResult

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

GetOperationStatus

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

GetTieringCostOperationResult_Get

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

ItemLevelRecoveryConnections_Provision

valid {
    input.Body.properties.objectType == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.eTag == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.containerName == STRING
    input.ReqMap.protectedItemName == STRING
    input.ReqMap.recoveryPointId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ItemLevelRecoveryConnections_Revoke

valid {
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.containerName == STRING
    input.ReqMap.protectedItemName == STRING
    input.ReqMap.recoveryPointId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

JobCancellations_Trigger

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

JobDetails_Get

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

JobOperationResults_Get

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

Jobs_Export

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

MigrationRecoveryPoints_Get

valid {
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.migrationItemName == STRING
    input.ReqMap.migrationRecoveryPointName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MigrationRecoveryPoints_ListByReplicationMigrationItems

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

MoveRecoveryPoint

enum_MoveRPAcrossTiersRequestSourceTierType := [ "Invalid", "InstantRP", "HardenedRP", "ArchivedRP" ]
enum_MoveRPAcrossTiersRequestTargetTierType := [ "Invalid", "InstantRP", "HardenedRP", "ArchivedRP" ]

valid {
    input.Body.objectType == STRING
    input.Body.sourceTierType == enum_MoveRPAcrossTiersRequestSourceTierType[_]
    input.Body.targetTierType == enum_MoveRPAcrossTiersRequestTargetTierType[_]
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.containerName == STRING
    input.ReqMap.protectedItemName == STRING
    input.ReqMap.recoveryPointId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Operation_Validate

valid {
    input.Body.id == STRING
    input.Body.properties.objectType == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Operations_List

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

PrivateEndpointConnection_Delete

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

PrivateEndpointConnection_Get

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

PrivateEndpointConnection_Put

enum_PrivateEndpointConnectionGroupIds := [ "AzureBackup", "AzureBackup_secondary", "AzureSiteRecovery" ]
enum_PrivateEndpointConnectionProvisioningState := [ "Succeeded", "Deleting", "Failed", "Pending" ]
enum_PrivateLinkServiceConnectionStateStatus := [ "Pending", "Approved", "Rejected", "Disconnected" ]

valid {
    input.Body.properties.provisioningState == enum_PrivateEndpointConnectionProvisioningState[_]
    input.Body.properties.privateEndpoint.id == STRING
    input.Body.properties.groupIds[_] == enum_PrivateEndpointConnectionGroupIds[_]
    input.Body.properties.privateLinkServiceConnectionState.status == enum_PrivateLinkServiceConnectionStateStatus[_]
    input.Body.properties.privateLinkServiceConnectionState.description == STRING
    input.Body.properties.privateLinkServiceConnectionState.actionsRequired == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.eTag == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.privateEndpointConnectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateEndpoint_GetOperationStatus

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

PrivateLinkResources_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.privateLinkResourceName == 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.vaultName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ProtectableContainers_List

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

ProtectedItemOperationResults_Get

valid {
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.containerName == STRING
    input.ReqMap.protectedItemName == STRING
    input.ReqMap.operationId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ProtectedItemOperationStatuses_Get

valid {
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.containerName == STRING
    input.ReqMap.protectedItemName == STRING
    input.ReqMap.operationId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ProtectedItems_CreateOrUpdate

enum_ProtectedItemCreateMode := [ "Invalid", "Default", "Recover" ]

valid {
    input.Body.properties.protectedItemType == STRING
    input.Body.properties.containerName == STRING
    input.Body.properties.sourceResourceId == STRING
    input.Body.properties.policyId == STRING
    input.Body.properties.lastRecoveryPoint == STRING
    input.Body.properties.backupSetName == STRING
    input.Body.properties.createMode == enum_ProtectedItemCreateMode[_]
    input.Body.properties.deferredDeleteTimeInUTC == STRING
    input.Body.properties.isScheduledForDeferredDelete == BOOLEAN
    input.Body.properties.deferredDeleteTimeRemaining == STRING
    input.Body.properties.isDeferredDeleteScheduleUpcoming == BOOLEAN
    input.Body.properties.isRehydrate == BOOLEAN
    input.Body.properties.resourceGuardOperationRequests[_] == STRING
    input.Body.properties.isArchiveEnabled == BOOLEAN
    input.Body.properties.policyName == STRING
    input.Body.properties.softDeleteRetentionPeriodInDays == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.eTag == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.containerName == STRING
    input.ReqMap.protectedItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ProtectedItems_Delete

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

ProtectedItems_Get

valid {
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.containerName == STRING
    input.ReqMap.protectedItemName == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ProtectionContainerOperationResults_Get

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

ProtectionContainerRefreshOperationResults_Get

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

ProtectionContainers_Get

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

ProtectionContainers_Inquire

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

ProtectionContainers_Refresh

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

ProtectionContainers_Register

enum_ProtectionContainerBackupManagementType := [ "Invalid", "AzureIaasVM", "MAB", "DPM", "AzureBackupServer", "AzureSql", "AzureStorage", "AzureWorkload", "DefaultBackup" ]
enum_ProtectionContainerContainerType := [ "Invalid", "Unknown", "IaasVMContainer", "IaasVMServiceContainer", "DPMContainer", "AzureBackupServerContainer", "MABContainer", "Cluster", "AzureSqlContainer", "Windows", "VCenter", "VMAppContainer", "SQLAGWorkLoadContainer", "StorageContainer", "GenericContainer", "Microsoft.ClassicCompute/virtualMachines", "Microsoft.Compute/virtualMachines", "AzureWorkloadContainer" ]

valid {
    input.Body.properties.friendlyName == STRING
    input.Body.properties.backupManagementType == enum_ProtectionContainerBackupManagementType[_]
    input.Body.properties.registrationStatus == STRING
    input.Body.properties.healthStatus == STRING
    input.Body.properties.containerType == enum_ProtectionContainerContainerType[_]
    input.Body.properties.protectableObjectType == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.eTag == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.containerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ProtectionContainers_Unregister

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

ProtectionIntent_CreateOrUpdate

enum_ProtectionIntentBackupManagementType := [ "Invalid", "AzureIaasVM", "MAB", "DPM", "AzureBackupServer", "AzureSql", "AzureStorage", "AzureWorkload", "DefaultBackup" ]
enum_ProtectionIntentProtectionIntentItemType := [ "Invalid", "AzureResourceItem", "RecoveryServiceVaultItem", "AzureWorkloadContainerAutoProtectionIntent", "AzureWorkloadAutoProtectionIntent", "AzureWorkloadSQLAutoProtectionIntent" ]
enum_ProtectionIntentProtectionState := [ "Invalid", "NotProtected", "Protecting", "Protected", "ProtectionFailed" ]

valid {
    input.Body.properties.protectionIntentItemType == enum_ProtectionIntentProtectionIntentItemType[_]
    input.Body.properties.backupManagementType == enum_ProtectionIntentBackupManagementType[_]
    input.Body.properties.sourceResourceId == STRING
    input.Body.properties.itemId == STRING
    input.Body.properties.policyId == STRING
    input.Body.properties.protectionState == enum_ProtectionIntentProtectionState[_]
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.eTag == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.intentObjectName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ProtectionIntent_Delete

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

ProtectionIntent_Get

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

ProtectionIntent_Validate

enum_PreValidateEnableBackupRequestResourceType := [ "Invalid", "VM", "FileFolder", "AzureSqlDb", "SQLDB", "Exchange", "Sharepoint", "VMwareVM", "SystemState", "Client", "GenericDataSource", "SQLDataBase", "AzureFileShare", "SAPHanaDatabase", "SAPAseDatabase", "SAPHanaDBInstance" ]

valid {
    input.Body.resourceType == enum_PreValidateEnableBackupRequestResourceType[_]
    input.Body.resourceId == STRING
    input.Body.vaultId == STRING
    input.Body.properties == STRING
    input.ReqMap.azureRegion == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

ProtectionPolicies_CreateOrUpdate

valid {
    input.Body.properties.protectedItemsCount == INTEGER
    input.Body.properties.backupManagementType == STRING
    input.Body.properties.resourceGuardOperationRequests[_] == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.eTag == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.policyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ProtectionPolicies_Delete

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

ProtectionPolicies_Get

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

ProtectionPolicyOperationResults_Get

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

ProtectionPolicyOperationStatuses_Get

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

RecoveryPointsRecommendedForMove_List

valid {
    input.Body.objectType == STRING
    input.Body.excludedRPList[_] == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.containerName == STRING
    input.ReqMap.protectedItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RecoveryPoints_Get

valid {
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.containerName == STRING
    input.ReqMap.protectedItemName == STRING
    input.ReqMap.recoveryPointId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RecoveryPoints_GetAccessToken

valid {
    input.Body.properties.servicePrincipalClientId == STRING
    input.Body.properties.tenantId == STRING
    input.Body.properties.authority == STRING
    input.Body.properties.audience == STRING
    input.Body.properties.servicePrincipalObjectId == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.eTag == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.containerName == STRING
    input.ReqMap.protectedItemName == STRING
    input.ReqMap.recoveryPointId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RecoveryPoints_List

valid {
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.containerName == STRING
    input.ReqMap.protectedItemName == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RecoveryPoints_ListByReplicationProtectedItems

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

RecoveryServices_Capabilities

enum_DNSZoneSubResource := [ "AzureBackup", "AzureBackup_secondary", "AzureSiteRecovery" ]

valid {
    input.Body.properties.dnsZones[_].subResource == enum_DNSZoneSubResource[_]
    input.Body.type == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

RecoveryServices_CheckNameAvailability

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

RegisteredIdentities_Delete

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

ReplicationAlertSettings_Create

valid {
    input.Body.properties.sendToOwners == STRING
    input.Body.properties.customEmailAddresses[_] == STRING
    input.Body.properties.locale == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.alertSettingName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationAlertSettings_Get

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

ReplicationAlertSettings_List

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

ReplicationAppliances_List

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

ReplicationEligibilityResults_Get

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

ReplicationEligibilityResults_List

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

ReplicationEvents_Get

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

ReplicationEvents_List

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

ReplicationFabrics_CheckConsistency

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

ReplicationFabrics_Create

valid {
    input.Body.properties.customDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationFabrics_Delete

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

ReplicationFabrics_Get

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

ReplicationFabrics_List

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

ReplicationFabrics_MigrateToAad

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

ReplicationFabrics_Purge

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

ReplicationFabrics_ReassociateGateway

valid {
    input.Body.properties.containerName == STRING
    input.Body.properties.sourceProcessServerId == STRING
    input.Body.properties.targetProcessServerId == STRING
    input.Body.properties.vmsToMigrate[_] == STRING
    input.Body.properties.updateType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationFabrics_RemoveInfra

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

ReplicationFabrics_RenewCertificate

valid {
    input.Body.properties.renewCertificateType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationJobs_Cancel

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

ReplicationJobs_Export

enum_JobQueryParameterJobOutputType := [ "Json", "Xml", "Excel" ]

valid {
    input.Body.startTime == STRING
    input.Body.endTime == STRING
    input.Body.fabricId == STRING
    input.Body.affectedObjectTypes == STRING
    input.Body.jobStatus == STRING
    input.Body.jobOutputType == enum_JobQueryParameterJobOutputType[_]
    input.Body.jobName == STRING
    input.Body.timezoneOffset == NUMBER
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationJobs_Get

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

ReplicationJobs_List

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

ReplicationJobs_Restart

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

ReplicationJobs_Resume

valid {
    input.Body.properties.comments == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.jobName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationLogicalNetworks_Get

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

ReplicationLogicalNetworks_ListByReplicationFabrics

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

ReplicationMigrationItems_Create

valid {
    input.Body.properties.policyId == STRING
    input.Body.properties.providerSpecificDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.migrationItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationMigrationItems_Delete

valid {
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.migrationItemName == STRING
    input.Qs.api-version == STRING
    input.Qs.deleteOption == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationMigrationItems_Get

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

ReplicationMigrationItems_List

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

ReplicationMigrationItems_ListByReplicationProtectionContainers

valid {
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.Qs.api-version == STRING
    input.Qs.skipToken == STRING
    input.Qs.takeToken == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationMigrationItems_Migrate

valid {
    input.Body.properties.providerSpecificDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.migrationItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationMigrationItems_PauseReplication

valid {
    input.Body.properties.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.migrationItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationMigrationItems_ResumeReplication

valid {
    input.Body.properties.providerSpecificDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.migrationItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationMigrationItems_Resync

valid {
    input.Body.properties.providerSpecificDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.migrationItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationMigrationItems_TestMigrate

valid {
    input.Body.properties.providerSpecificDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.migrationItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationMigrationItems_TestMigrateCleanup

valid {
    input.Body.properties.comments == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.migrationItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationMigrationItems_Update

valid {
    input.Body.properties.providerSpecificDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.migrationItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationNetworkMappings_Create

valid {
    input.Body.properties.recoveryFabricName == STRING
    input.Body.properties.recoveryNetworkId == STRING
    input.Body.properties.fabricSpecificDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.networkName == STRING
    input.ReqMap.networkMappingName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationNetworkMappings_Delete

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

ReplicationNetworkMappings_Get

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

ReplicationNetworkMappings_List

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

ReplicationNetworkMappings_ListByReplicationNetworks

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

ReplicationNetworkMappings_Update

valid {
    input.Body.properties.recoveryFabricName == STRING
    input.Body.properties.recoveryNetworkId == STRING
    input.Body.properties.fabricSpecificDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.networkName == STRING
    input.ReqMap.networkMappingName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationNetworks_Get

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

ReplicationNetworks_List

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

ReplicationNetworks_ListByReplicationFabrics

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

ReplicationPolicies_Create

valid {
    input.Body.properties.providerSpecificInput.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.policyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationPolicies_Delete

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

ReplicationPolicies_Get

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

ReplicationPolicies_List

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

ReplicationPolicies_Update

valid {
    input.Body.properties.replicationProviderSettings.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.policyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectableItems_Get

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

ReplicationProtectableItems_ListByReplicationProtectionContainers

valid {
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.Qs.$take == STRING
    input.Qs.$skipToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectedItems_AddDisks

valid {
    input.Body.properties.providerSpecificDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.replicatedProtectedItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectedItems_ApplyRecoveryPoint

valid {
    input.Body.properties.recoveryPointId == STRING
    input.Body.properties.providerSpecificDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.replicatedProtectedItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectedItems_Create

valid {
    input.Body.properties.policyId == STRING
    input.Body.properties.protectableItemId == STRING
    input.Body.properties.providerSpecificDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.replicatedProtectedItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectedItems_Delete

enum_DisableProtectionInputPropertiesDisableProtectionReason := [ "NotSpecified", "MigrationComplete" ]

valid {
    input.Body.properties.disableProtectionReason == enum_DisableProtectionInputPropertiesDisableProtectionReason[_]
    input.Body.properties.replicationProviderInput.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.replicatedProtectedItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectedItems_FailoverCancel

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

ReplicationProtectedItems_FailoverCommit

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

ReplicationProtectedItems_Get

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

ReplicationProtectedItems_List

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

ReplicationProtectedItems_ListByReplicationProtectionContainers

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

ReplicationProtectedItems_PlannedFailover

valid {
    input.Body.properties.failoverDirection == STRING
    input.Body.properties.providerSpecificDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.replicatedProtectedItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectedItems_Purge

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

ReplicationProtectedItems_RemoveDisks

valid {
    input.Body.properties.providerSpecificDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.replicatedProtectedItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectedItems_RepairReplication

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

ReplicationProtectedItems_Reprotect

valid {
    input.Body.properties.failoverDirection == STRING
    input.Body.properties.providerSpecificDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.replicatedProtectedItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectedItems_ResolveHealthErrors

valid {
    input.Body.properties.healthErrors[_].healthErrorId == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.replicatedProtectedItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectedItems_SwitchProvider

valid {
    input.Body.properties.targetInstanceType == STRING
    input.Body.properties.providerSpecificDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.replicatedProtectedItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectedItems_TestFailover

valid {
    input.Body.properties.failoverDirection == STRING
    input.Body.properties.networkType == STRING
    input.Body.properties.networkId == STRING
    input.Body.properties.providerSpecificDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.replicatedProtectedItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectedItems_TestFailoverCleanup

valid {
    input.Body.properties.comments == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.replicatedProtectedItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectedItems_UnplannedFailover

valid {
    input.Body.properties.failoverDirection == STRING
    input.Body.properties.sourceSiteOperations == STRING
    input.Body.properties.providerSpecificDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.replicatedProtectedItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectedItems_Update

enum_UpdateReplicationProtectedItemInputPropertiesLicenseType := [ "NotSpecified", "NoLicenseType", "WindowsServer" ]

valid {
    input.Body.properties.recoveryAzureVMName == STRING
    input.Body.properties.recoveryAzureVMSize == STRING
    input.Body.properties.selectedRecoveryAzureNetworkId == STRING
    input.Body.properties.selectedTfoAzureNetworkId == STRING
    input.Body.properties.selectedSourceNicId == STRING
    input.Body.properties.enableRdpOnTargetOption == STRING
    input.Body.properties.vmNics[_].nicId == STRING
    input.Body.properties.vmNics[_].ipConfigs[_].ipConfigName == STRING
    input.Body.properties.vmNics[_].ipConfigs[_].isPrimary == BOOLEAN
    input.Body.properties.vmNics[_].ipConfigs[_].isSeletedForFailover == BOOLEAN
    input.Body.properties.vmNics[_].ipConfigs[_].recoverySubnetName == STRING
    input.Body.properties.vmNics[_].ipConfigs[_].recoveryStaticIPAddress == STRING
    input.Body.properties.vmNics[_].ipConfigs[_].recoveryPublicIPAddressId == STRING
    input.Body.properties.vmNics[_].ipConfigs[_].recoveryLBBackendAddressPoolIds[_] == STRING
    input.Body.properties.vmNics[_].ipConfigs[_].tfoSubnetName == STRING
    input.Body.properties.vmNics[_].ipConfigs[_].tfoStaticIPAddress == STRING
    input.Body.properties.vmNics[_].ipConfigs[_].tfoPublicIPAddressId == STRING
    input.Body.properties.vmNics[_].ipConfigs[_].tfoLBBackendAddressPoolIds[_] == STRING
    input.Body.properties.vmNics[_].selectionType == STRING
    input.Body.properties.vmNics[_].recoveryNetworkSecurityGroupId == STRING
    input.Body.properties.vmNics[_].enableAcceleratedNetworkingOnRecovery == BOOLEAN
    input.Body.properties.vmNics[_].tfoNetworkSecurityGroupId == STRING
    input.Body.properties.vmNics[_].enableAcceleratedNetworkingOnTfo == BOOLEAN
    input.Body.properties.vmNics[_].recoveryNicName == STRING
    input.Body.properties.vmNics[_].recoveryNicResourceGroupName == STRING
    input.Body.properties.vmNics[_].reuseExistingNic == BOOLEAN
    input.Body.properties.vmNics[_].tfoNicName == STRING
    input.Body.properties.vmNics[_].tfoNicResourceGroupName == STRING
    input.Body.properties.vmNics[_].tfoReuseExistingNic == BOOLEAN
    input.Body.properties.vmNics[_].targetNicName == STRING
    input.Body.properties.licenseType == enum_UpdateReplicationProtectedItemInputPropertiesLicenseType[_]
    input.Body.properties.recoveryAvailabilitySetId == STRING
    input.Body.properties.providerSpecificDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.replicatedProtectedItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectedItems_UpdateAppliance

valid {
    input.Body.properties.targetApplianceId == STRING
    input.Body.properties.providerSpecificDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.replicatedProtectedItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectedItems_UpdateMobilityService

valid {
    input.Body.properties.runAsAccountId == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.replicatedProtectedItemName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectionContainerMappings_Create

valid {
    input.Body.properties.targetProtectionContainerId == STRING
    input.Body.properties.policyId == STRING
    input.Body.properties.providerSpecificInput.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.mappingName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectionContainerMappings_Delete

valid {
    input.Body.properties.providerSpecificInput.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.mappingName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectionContainerMappings_Get

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

ReplicationProtectionContainerMappings_List

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

ReplicationProtectionContainerMappings_ListByReplicationProtectionContainers

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

ReplicationProtectionContainerMappings_Purge

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

ReplicationProtectionContainerMappings_Update

valid {
    input.Body.properties.providerSpecificInput.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.ReqMap.mappingName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectionContainers_Create

valid {
    input.Body.properties.providerSpecificInput[_].instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectionContainers_Delete

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

ReplicationProtectionContainers_DiscoverProtectableItem

valid {
    input.Body.properties.friendlyName == STRING
    input.Body.properties.ipAddress == STRING
    input.Body.properties.osType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectionContainers_Get

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

ReplicationProtectionContainers_List

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

ReplicationProtectionContainers_ListByReplicationFabrics

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

ReplicationProtectionContainers_SwitchProtection

valid {
    input.Body.properties.replicationProtectedItemName == STRING
    input.Body.properties.providerSpecificDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.protectionContainerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectionIntents_Create

valid {
    input.Body.properties.providerSpecificDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.intentObjectName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationProtectionIntents_Get

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

ReplicationProtectionIntents_List

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

ReplicationRecoveryPlans_Create

enum_CreateRecoveryPlanInputPropertiesFailoverDeploymentModel := [ "NotApplicable", "Classic", "ResourceManager" ]
enum_RecoveryPlanActionFailoverDirections := [ "PrimaryToRecovery", "RecoveryToPrimary" ]
enum_RecoveryPlanActionFailoverTypes := [ "ReverseReplicate", "Commit", "PlannedFailover", "UnplannedFailover", "DisableProtection", "TestFailover", "TestFailoverCleanup", "Failback", "FinalizeFailback", "CancelFailover", "ChangePit", "RepairReplication", "SwitchProtection", "CompleteMigration" ]
enum_RecoveryPlanGroupGroupType := [ "Shutdown", "Boot", "Failover" ]

valid {
    input.Body.properties.primaryFabricId == STRING
    input.Body.properties.recoveryFabricId == STRING
    input.Body.properties.failoverDeploymentModel == enum_CreateRecoveryPlanInputPropertiesFailoverDeploymentModel[_]
    input.Body.properties.groups[_].groupType == enum_RecoveryPlanGroupGroupType[_]
    input.Body.properties.groups[_].replicationProtectedItems[_].id == STRING
    input.Body.properties.groups[_].replicationProtectedItems[_].virtualMachineId == STRING
    input.Body.properties.groups[_].startGroupActions[_].actionName == STRING
    input.Body.properties.groups[_].startGroupActions[_].failoverTypes[_] == enum_RecoveryPlanActionFailoverTypes[_]
    input.Body.properties.groups[_].startGroupActions[_].failoverDirections[_] == enum_RecoveryPlanActionFailoverDirections[_]
    input.Body.properties.groups[_].startGroupActions[_].customDetails.instanceType == STRING
    input.Body.properties.groups[_].endGroupActions[_].actionName == STRING
    input.Body.properties.groups[_].endGroupActions[_].failoverTypes[_] == enum_RecoveryPlanActionFailoverTypes[_]
    input.Body.properties.groups[_].endGroupActions[_].failoverDirections[_] == enum_RecoveryPlanActionFailoverDirections[_]
    input.Body.properties.groups[_].endGroupActions[_].customDetails.instanceType == STRING
    input.Body.properties.providerSpecificInput[_].instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.recoveryPlanName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationRecoveryPlans_Delete

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

ReplicationRecoveryPlans_FailoverCancel

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

ReplicationRecoveryPlans_FailoverCommit

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

ReplicationRecoveryPlans_Get

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

ReplicationRecoveryPlans_List

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

ReplicationRecoveryPlans_PlannedFailover

enum_RecoveryPlanPlannedFailoverInputPropertiesFailoverDirection := [ "PrimaryToRecovery", "RecoveryToPrimary" ]

valid {
    input.Body.properties.failoverDirection == enum_RecoveryPlanPlannedFailoverInputPropertiesFailoverDirection[_]
    input.Body.properties.providerSpecificDetails[_].instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.recoveryPlanName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationRecoveryPlans_Reprotect

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

ReplicationRecoveryPlans_TestFailover

enum_RecoveryPlanTestFailoverInputPropertiesFailoverDirection := [ "PrimaryToRecovery", "RecoveryToPrimary" ]

valid {
    input.Body.properties.failoverDirection == enum_RecoveryPlanTestFailoverInputPropertiesFailoverDirection[_]
    input.Body.properties.networkType == STRING
    input.Body.properties.networkId == STRING
    input.Body.properties.providerSpecificDetails[_].instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.recoveryPlanName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationRecoveryPlans_TestFailoverCleanup

valid {
    input.Body.properties.comments == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.recoveryPlanName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationRecoveryPlans_UnplannedFailover

enum_RecoveryPlanUnplannedFailoverInputPropertiesFailoverDirection := [ "PrimaryToRecovery", "RecoveryToPrimary" ]
enum_RecoveryPlanUnplannedFailoverInputPropertiesSourceSiteOperations := [ "Required", "NotRequired" ]

valid {
    input.Body.properties.failoverDirection == enum_RecoveryPlanUnplannedFailoverInputPropertiesFailoverDirection[_]
    input.Body.properties.sourceSiteOperations == enum_RecoveryPlanUnplannedFailoverInputPropertiesSourceSiteOperations[_]
    input.Body.properties.providerSpecificDetails[_].instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.recoveryPlanName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationRecoveryPlans_Update

enum_RecoveryPlanActionFailoverDirections := [ "PrimaryToRecovery", "RecoveryToPrimary" ]
enum_RecoveryPlanActionFailoverTypes := [ "ReverseReplicate", "Commit", "PlannedFailover", "UnplannedFailover", "DisableProtection", "TestFailover", "TestFailoverCleanup", "Failback", "FinalizeFailback", "CancelFailover", "ChangePit", "RepairReplication", "SwitchProtection", "CompleteMigration" ]
enum_RecoveryPlanGroupGroupType := [ "Shutdown", "Boot", "Failover" ]

valid {
    input.Body.properties.groups[_].groupType == enum_RecoveryPlanGroupGroupType[_]
    input.Body.properties.groups[_].replicationProtectedItems[_].id == STRING
    input.Body.properties.groups[_].replicationProtectedItems[_].virtualMachineId == STRING
    input.Body.properties.groups[_].startGroupActions[_].actionName == STRING
    input.Body.properties.groups[_].startGroupActions[_].failoverTypes[_] == enum_RecoveryPlanActionFailoverTypes[_]
    input.Body.properties.groups[_].startGroupActions[_].failoverDirections[_] == enum_RecoveryPlanActionFailoverDirections[_]
    input.Body.properties.groups[_].startGroupActions[_].customDetails.instanceType == STRING
    input.Body.properties.groups[_].endGroupActions[_].actionName == STRING
    input.Body.properties.groups[_].endGroupActions[_].failoverTypes[_] == enum_RecoveryPlanActionFailoverTypes[_]
    input.Body.properties.groups[_].endGroupActions[_].failoverDirections[_] == enum_RecoveryPlanActionFailoverDirections[_]
    input.Body.properties.groups[_].endGroupActions[_].customDetails.instanceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.recoveryPlanName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationRecoveryServicesProviders_Create

valid {
    input.Body.properties.machineName == STRING
    input.Body.properties.machineId == STRING
    input.Body.properties.biosId == STRING
    input.Body.properties.authenticationIdentityInput.tenantId == STRING
    input.Body.properties.authenticationIdentityInput.applicationId == STRING
    input.Body.properties.authenticationIdentityInput.objectId == STRING
    input.Body.properties.authenticationIdentityInput.audience == STRING
    input.Body.properties.authenticationIdentityInput.aadAuthority == STRING
    input.Body.properties.resourceAccessIdentityInput.tenantId == STRING
    input.Body.properties.resourceAccessIdentityInput.applicationId == STRING
    input.Body.properties.resourceAccessIdentityInput.objectId == STRING
    input.Body.properties.resourceAccessIdentityInput.audience == STRING
    input.Body.properties.resourceAccessIdentityInput.aadAuthority == STRING
    input.Body.properties.dataPlaneAuthenticationIdentityInput.tenantId == STRING
    input.Body.properties.dataPlaneAuthenticationIdentityInput.applicationId == STRING
    input.Body.properties.dataPlaneAuthenticationIdentityInput.objectId == STRING
    input.Body.properties.dataPlaneAuthenticationIdentityInput.audience == STRING
    input.Body.properties.dataPlaneAuthenticationIdentityInput.aadAuthority == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.providerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationRecoveryServicesProviders_Delete

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

ReplicationRecoveryServicesProviders_Get

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

ReplicationRecoveryServicesProviders_List

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

ReplicationRecoveryServicesProviders_ListByReplicationFabrics

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

ReplicationRecoveryServicesProviders_Purge

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

ReplicationRecoveryServicesProviders_RefreshProvider

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

ReplicationStorageClassificationMappings_Create

valid {
    input.Body.properties.targetStorageClassificationId == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.storageClassificationName == STRING
    input.ReqMap.storageClassificationMappingName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationStorageClassificationMappings_Delete

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

ReplicationStorageClassificationMappings_Get

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

ReplicationStorageClassificationMappings_List

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

ReplicationStorageClassificationMappings_ListByReplicationStorageClassifications

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

ReplicationStorageClassifications_Get

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

ReplicationStorageClassifications_List

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

ReplicationStorageClassifications_ListByReplicationFabrics

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

ReplicationUsages_List

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

ReplicationVaultHealth_Get

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

ReplicationVaultHealth_Refresh

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

ReplicationVaultSetting_Create

valid {
    input.Body.properties.migrationSolutionId == STRING
    input.Body.properties.vmwareToAzureProviderType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.vaultSettingName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationVaultSetting_Get

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

ReplicationVaultSetting_List

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

ReplicationvCenters_Create

valid {
    input.Body.properties.friendlyName == STRING
    input.Body.properties.ipAddress == STRING
    input.Body.properties.processServerId == STRING
    input.Body.properties.port == STRING
    input.Body.properties.runAsAccountId == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.vcenterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ReplicationvCenters_Delete

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

ReplicationvCenters_Get

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

ReplicationvCenters_List

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

ReplicationvCenters_ListByReplicationFabrics

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

ReplicationvCenters_Update

valid {
    input.Body.properties.friendlyName == STRING
    input.Body.properties.ipAddress == STRING
    input.Body.properties.processServerId == STRING
    input.Body.properties.port == STRING
    input.Body.properties.runAsAccountId == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.vcenterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ResourceGuardProxies_Get

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

ResourceGuardProxy_Delete

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

ResourceGuardProxy_Get

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

ResourceGuardProxy_Put

valid {
    input.Body.properties.resourceGuardResourceId == STRING
    input.Body.properties.resourceGuardOperationDetails[_].vaultCriticalOperation == STRING
    input.Body.properties.resourceGuardOperationDetails[_].defaultResourceRequest == STRING
    input.Body.properties.lastUpdatedTime == STRING
    input.Body.properties.description == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.eTag == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceGuardProxyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ResourceGuardProxy_UnlockDelete

valid {
    input.Body.resourceGuardOperationRequests[_] == STRING
    input.Body.resourceToBeDeleted == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceGuardProxyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Restores_Trigger

valid {
    input.Body.properties.objectType == STRING
    input.Body.properties.resourceGuardOperationRequests[_] == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.eTag == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.fabricName == STRING
    input.ReqMap.containerName == STRING
    input.ReqMap.protectedItemName == STRING
    input.ReqMap.recoveryPointId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SecurityPINs_Get

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

SupportedOperatingSystems_Get

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

TargetComputeSizes_ListByReplicationProtectedItems

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

TieringCostOperationStatus_Get

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

Usages_ListByVaults

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

ValidateOperationResults_Get

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

ValidateOperationStatuses_Get

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

ValidateOperation_Trigger

valid {
    input.Body.id == STRING
    input.Body.properties.objectType == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VaultCertificates_Create

enum_RawCertificateDataAuthType := [ "Invalid", "ACS", "AAD", "AccessControlService", "AzureActiveDirectory" ]

valid {
    input.Body.properties.authType == enum_RawCertificateDataAuthType[_]
    input.Body.properties.certificate == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.ReqMap.certificateName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VaultExtendedInfo_CreateOrUpdate

valid {
    input.Body.properties.integrityKey == STRING
    input.Body.properties.encryptionKey == STRING
    input.Body.properties.encryptionKeyThumbprint == STRING
    input.Body.properties.algorithm == STRING
    input.Body.etag == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VaultExtendedInfo_Get

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

VaultExtendedInfo_Update

valid {
    input.Body.properties.integrityKey == STRING
    input.Body.properties.encryptionKey == STRING
    input.Body.properties.encryptionKeyThumbprint == STRING
    input.Body.properties.algorithm == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Vaults_CreateOrUpdate

enum_AzureMonitorAlertSettingsAlertsForAllFailoverIssues := [ "Enabled", "Disabled" ]
enum_AzureMonitorAlertSettingsAlertsForAllJobFailures := [ "Enabled", "Disabled" ]
enum_AzureMonitorAlertSettingsAlertsForAllReplicationIssues := [ "Enabled", "Disabled" ]
enum_ClassicAlertSettingsAlertsForCriticalOperations := [ "Enabled", "Disabled" ]
enum_ClassicAlertSettingsEmailNotificationsForSiteRecovery := [ "Enabled", "Disabled" ]
enum_CrossSubscriptionRestoreSettingsCrossSubscriptionRestoreState := [ "Enabled", "Disabled", "PermanentlyDisabled" ]
enum_IdentityDataType := [ "SystemAssigned", "None", "UserAssigned", "SystemAssigned, UserAssigned" ]
enum_ImmutabilitySettingsState := [ "Disabled", "Unlocked", "Locked" ]
enum_SkuName := [ "Standard", "RS0" ]
enum_SoftDeleteSettingsEnhancedSecurityState := [ "Invalid", "Enabled", "Disabled", "AlwaysON" ]
enum_SoftDeleteSettingsSoftDeleteState := [ "Invalid", "Enabled", "Disabled", "AlwaysON" ]
enum_VaultPropertiesEncryptionInfrastructureEncryption := [ "Enabled", "Disabled" ]
enum_VaultPropertiesPublicNetworkAccess := [ "Enabled", "Disabled" ]
enum_VaultPropertiesRedundancySettingsCrossRegionRestore := [ "Enabled", "Disabled" ]
enum_VaultPropertiesRedundancySettingsStandardTierStorageRedundancy := [ "Invalid", "LocallyRedundant", "GeoRedundant", "ZoneRedundant" ]

valid {
    input.Body.identity.type == enum_IdentityDataType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.properties.upgradeDetails == {}
    input.Body.properties.encryption.keyVaultProperties.keyUri == STRING
    input.Body.properties.encryption.kekIdentity.useSystemAssignedIdentity == BOOLEAN
    input.Body.properties.encryption.kekIdentity.userAssignedIdentity == STRING
    input.Body.properties.encryption.infrastructureEncryption == enum_VaultPropertiesEncryptionInfrastructureEncryption[_]
    input.Body.properties.moveDetails == {}
    input.Body.properties.publicNetworkAccess == enum_VaultPropertiesPublicNetworkAccess[_]
    input.Body.properties.monitoringSettings.azureMonitorAlertSettings.alertsForAllJobFailures == enum_AzureMonitorAlertSettingsAlertsForAllJobFailures[_]
    input.Body.properties.monitoringSettings.azureMonitorAlertSettings.alertsForAllReplicationIssues == enum_AzureMonitorAlertSettingsAlertsForAllReplicationIssues[_]
    input.Body.properties.monitoringSettings.azureMonitorAlertSettings.alertsForAllFailoverIssues == enum_AzureMonitorAlertSettingsAlertsForAllFailoverIssues[_]
    input.Body.properties.monitoringSettings.classicAlertSettings.alertsForCriticalOperations == enum_ClassicAlertSettingsAlertsForCriticalOperations[_]
    input.Body.properties.monitoringSettings.classicAlertSettings.emailNotificationsForSiteRecovery == enum_ClassicAlertSettingsEmailNotificationsForSiteRecovery[_]
    input.Body.properties.restoreSettings.crossSubscriptionRestoreSettings.crossSubscriptionRestoreState == enum_CrossSubscriptionRestoreSettingsCrossSubscriptionRestoreState[_]
    input.Body.properties.redundancySettings.standardTierStorageRedundancy == enum_VaultPropertiesRedundancySettingsStandardTierStorageRedundancy[_]
    input.Body.properties.redundancySettings.crossRegionRestore == enum_VaultPropertiesRedundancySettingsCrossRegionRestore[_]
    input.Body.properties.securitySettings.immutabilitySettings.state == enum_ImmutabilitySettingsState[_]
    input.Body.properties.securitySettings.softDeleteSettings.softDeleteState == enum_SoftDeleteSettingsSoftDeleteState[_]
    input.Body.properties.securitySettings.softDeleteSettings.softDeleteRetentionPeriodInDays == INTEGER
    input.Body.properties.securitySettings.softDeleteSettings.enhancedSecurityState == enum_SoftDeleteSettingsEnhancedSecurityState[_]
    input.Body.properties.resourceGuardOperationRequests[_] == STRING
    input.Body.sku.name == enum_SkuName[_]
    input.Body.sku.tier == STRING
    input.Body.sku.family == STRING
    input.Body.sku.size == STRING
    input.Body.sku.capacity == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.etag == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Vaults_Delete

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

Vaults_Get

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

Vaults_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
}

Vaults_ListBySubscriptionId

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

Vaults_Update

enum_AzureMonitorAlertSettingsAlertsForAllFailoverIssues := [ "Enabled", "Disabled" ]
enum_AzureMonitorAlertSettingsAlertsForAllJobFailures := [ "Enabled", "Disabled" ]
enum_AzureMonitorAlertSettingsAlertsForAllReplicationIssues := [ "Enabled", "Disabled" ]
enum_ClassicAlertSettingsAlertsForCriticalOperations := [ "Enabled", "Disabled" ]
enum_ClassicAlertSettingsEmailNotificationsForSiteRecovery := [ "Enabled", "Disabled" ]
enum_CrossSubscriptionRestoreSettingsCrossSubscriptionRestoreState := [ "Enabled", "Disabled", "PermanentlyDisabled" ]
enum_IdentityDataType := [ "SystemAssigned", "None", "UserAssigned", "SystemAssigned, UserAssigned" ]
enum_ImmutabilitySettingsState := [ "Disabled", "Unlocked", "Locked" ]
enum_SkuName := [ "Standard", "RS0" ]
enum_SoftDeleteSettingsEnhancedSecurityState := [ "Invalid", "Enabled", "Disabled", "AlwaysON" ]
enum_SoftDeleteSettingsSoftDeleteState := [ "Invalid", "Enabled", "Disabled", "AlwaysON" ]
enum_VaultPropertiesEncryptionInfrastructureEncryption := [ "Enabled", "Disabled" ]
enum_VaultPropertiesPublicNetworkAccess := [ "Enabled", "Disabled" ]
enum_VaultPropertiesRedundancySettingsCrossRegionRestore := [ "Enabled", "Disabled" ]
enum_VaultPropertiesRedundancySettingsStandardTierStorageRedundancy := [ "Invalid", "LocallyRedundant", "GeoRedundant", "ZoneRedundant" ]

valid {
    input.Body.properties.upgradeDetails == {}
    input.Body.properties.encryption.keyVaultProperties.keyUri == STRING
    input.Body.properties.encryption.kekIdentity.useSystemAssignedIdentity == BOOLEAN
    input.Body.properties.encryption.kekIdentity.userAssignedIdentity == STRING
    input.Body.properties.encryption.infrastructureEncryption == enum_VaultPropertiesEncryptionInfrastructureEncryption[_]
    input.Body.properties.moveDetails == {}
    input.Body.properties.publicNetworkAccess == enum_VaultPropertiesPublicNetworkAccess[_]
    input.Body.properties.monitoringSettings.azureMonitorAlertSettings.alertsForAllJobFailures == enum_AzureMonitorAlertSettingsAlertsForAllJobFailures[_]
    input.Body.properties.monitoringSettings.azureMonitorAlertSettings.alertsForAllReplicationIssues == enum_AzureMonitorAlertSettingsAlertsForAllReplicationIssues[_]
    input.Body.properties.monitoringSettings.azureMonitorAlertSettings.alertsForAllFailoverIssues == enum_AzureMonitorAlertSettingsAlertsForAllFailoverIssues[_]
    input.Body.properties.monitoringSettings.classicAlertSettings.alertsForCriticalOperations == enum_ClassicAlertSettingsAlertsForCriticalOperations[_]
    input.Body.properties.monitoringSettings.classicAlertSettings.emailNotificationsForSiteRecovery == enum_ClassicAlertSettingsEmailNotificationsForSiteRecovery[_]
    input.Body.properties.restoreSettings.crossSubscriptionRestoreSettings.crossSubscriptionRestoreState == enum_CrossSubscriptionRestoreSettingsCrossSubscriptionRestoreState[_]
    input.Body.properties.redundancySettings.standardTierStorageRedundancy == enum_VaultPropertiesRedundancySettingsStandardTierStorageRedundancy[_]
    input.Body.properties.redundancySettings.crossRegionRestore == enum_VaultPropertiesRedundancySettingsCrossRegionRestore[_]
    input.Body.properties.securitySettings.immutabilitySettings.state == enum_ImmutabilitySettingsState[_]
    input.Body.properties.securitySettings.softDeleteSettings.softDeleteState == enum_SoftDeleteSettingsSoftDeleteState[_]
    input.Body.properties.securitySettings.softDeleteSettings.softDeleteRetentionPeriodInDays == INTEGER
    input.Body.properties.securitySettings.softDeleteSettings.enhancedSecurityState == enum_SoftDeleteSettingsEnhancedSecurityState[_]
    input.Body.properties.resourceGuardOperationRequests[_] == STRING
    input.Body.sku.name == enum_SkuName[_]
    input.Body.sku.tier == STRING
    input.Body.sku.family == STRING
    input.Body.sku.size == STRING
    input.Body.sku.capacity == STRING
    input.Body.identity.type == enum_IdentityDataType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.etag == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vaultName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Updated 7 days ago