For AI agents: visit https://public.docs.kivera.io/llms.txt for an index of all pages formatted in Markdown and endpoints in OpenAPI.
enum_AccountIdentityType := [ "SystemAssigned", "None" ]
valid {
input.Body.identity.type == enum_AccountIdentityType[_]
input.Body.tags.STRING == STRING
input.Body.location == STRING
input.ReqMap.accountName == STRING
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
}
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.accountName == STRING
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
}
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
}
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
enum_AccountIdentityType := [ "SystemAssigned", "None" ]
valid {
input.Body.identity.type == enum_AccountIdentityType[_]
input.Body.tags.STRING == STRING
input.ReqMap.accountName == STRING
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
}
valid {
input.ReqMap.bestPracticeName == STRING
input.ReqMap.versionName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.bestPracticeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.bestPracticeName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.properties.configurationProfile == STRING
input.Body.STRING == STRING
input.ReqMap.configurationProfileAssignmentName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.vmName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.configurationProfileAssignmentName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.vmName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.configurationProfileAssignmentName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.vmName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.clusterName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.machineName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.vmName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.Body.properties.configurationProfile == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.clusterName == STRING
input.ReqMap.configurationProfileAssignmentName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.clusterName == STRING
input.ReqMap.configurationProfileAssignmentName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.clusterName == STRING
input.ReqMap.configurationProfileAssignmentName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.Body.properties.configurationProfile == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.machineName == STRING
input.ReqMap.configurationProfileAssignmentName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.machineName == STRING
input.ReqMap.configurationProfileAssignmentName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.machineName == STRING
input.ReqMap.configurationProfileAssignmentName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_ConfigurationProfilePreferenceAntiMalwareEnableRealTimeProtection := [ "True", "False" ]
enum_ConfigurationProfilePreferenceAntiMalwareRunScheduledScan := [ "True", "False" ]
enum_ConfigurationProfilePreferenceAntiMalwareScanType := [ "Quick", "Full" ]
valid {
input.Body.properties.vmBackup.timeZone == STRING
input.Body.properties.vmBackup.instantRpRetentionRangeInDays == INTEGER
input.Body.properties.vmBackup.retentionPolicy == STRING
input.Body.properties.vmBackup.schedulePolicy == STRING
input.Body.properties.antiMalware.enableRealTimeProtection == enum_ConfigurationProfilePreferenceAntiMalwareEnableRealTimeProtection[_]
input.Body.properties.antiMalware.exclusions.STRING == STRING
input.Body.properties.antiMalware.runScheduledScan == enum_ConfigurationProfilePreferenceAntiMalwareRunScheduledScan[_]
input.Body.properties.antiMalware.scanType == enum_ConfigurationProfilePreferenceAntiMalwareScanType[_]
input.Body.properties.antiMalware.scanDay == STRING
input.Body.properties.antiMalware.scanTimeInMinutes == STRING
input.Body.tags.STRING == STRING
input.Body.location == STRING
input.ReqMap.configurationProfilePreferenceName == STRING
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
}
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.configurationProfilePreferenceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.configurationProfilePreferenceName == STRING
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
}
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
}
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
enum_ConfigurationProfilePreferenceAntiMalwareEnableRealTimeProtection := [ "True", "False" ]
enum_ConfigurationProfilePreferenceAntiMalwareRunScheduledScan := [ "True", "False" ]
enum_ConfigurationProfilePreferenceAntiMalwareScanType := [ "Quick", "Full" ]
valid {
input.Body.properties.vmBackup.timeZone == STRING
input.Body.properties.vmBackup.instantRpRetentionRangeInDays == INTEGER
input.Body.properties.vmBackup.retentionPolicy == STRING
input.Body.properties.vmBackup.schedulePolicy == STRING
input.Body.properties.antiMalware.enableRealTimeProtection == enum_ConfigurationProfilePreferenceAntiMalwareEnableRealTimeProtection[_]
input.Body.properties.antiMalware.exclusions.STRING == STRING
input.Body.properties.antiMalware.runScheduledScan == enum_ConfigurationProfilePreferenceAntiMalwareRunScheduledScan[_]
input.Body.properties.antiMalware.scanType == enum_ConfigurationProfilePreferenceAntiMalwareScanType[_]
input.Body.properties.antiMalware.scanDay == STRING
input.Body.properties.antiMalware.scanTimeInMinutes == STRING
input.Body.tags.STRING == STRING
input.ReqMap.configurationProfilePreferenceName == STRING
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
}
valid {
input.Body.properties.configuration.STRING == STRING
input.ReqMap.configurationProfileName == STRING
input.ReqMap.versionName == STRING
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
}
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.configurationProfileName == STRING
input.ReqMap.versionName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.configurationProfileName == STRING
input.ReqMap.versionName == STRING
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
}
valid {
input.ReqMap.configurationProfileName == STRING
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
}
valid {
input.Body.properties.configuration.STRING == STRING
input.Body.properties.overrides[_].STRING == STRING
input.ReqMap.configurationProfileName == STRING
input.ReqMap.versionName == STRING
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
}
valid {
input.Body.properties.configuration.STRING == STRING
input.Body.tags.STRING == STRING
input.Body.location == STRING
input.ReqMap.configurationProfileName == STRING
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
}
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.configurationProfileName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.configurationProfileName == STRING
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
}
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
}
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.Body.properties.configuration.STRING == STRING
input.Body.tags.STRING == STRING
input.ReqMap.configurationProfileName == STRING
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
}
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.clusterName == STRING
input.ReqMap.configurationProfileAssignmentName == STRING
input.ReqMap.reportName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.clusterName == STRING
input.ReqMap.configurationProfileAssignmentName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.machineName == STRING
input.ReqMap.configurationProfileAssignmentName == STRING
input.ReqMap.reportName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.machineName == STRING
input.ReqMap.configurationProfileAssignmentName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.configurationProfileAssignmentName == STRING
input.ReqMap.reportName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.vmName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.configurationProfileAssignmentName == STRING
input.ReqMap.vmName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}