For AI agents: visit https://public.docs.kivera.io/llms.txt for an index of all pages formatted in Markdown and endpoints in OpenAPI.
valid {
input.ReqMap.location == STRING
input.ReqMap.osFamilyName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.location == STRING
input.ReqMap.osVersionName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.location == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.location == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.roleInstanceName == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.cloudServiceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_$expandParameter := [ "instanceView", "userData" ]
valid {
input.ReqMap.roleInstanceName == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.cloudServiceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.Qs.$expand == enum_$expandParameter[_]
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.roleInstanceName == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.cloudServiceName == 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.roleInstanceName == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.cloudServiceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_$expandParameter := [ "instanceView", "userData" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.cloudServiceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.Qs.$expand == enum_$expandParameter[_]
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.roleInstanceName == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.cloudServiceName == 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.roleInstanceName == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.cloudServiceName == 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.roleInstanceName == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.cloudServiceName == 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.roleName == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.cloudServiceName == 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.ResourceGroup == STRING
input.ReqMap.cloudServiceName == 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.ResourceGroup == STRING
input.ReqMap.cloudServiceName == STRING
input.ReqMap.updateDomain == INTEGER
input.ReqMap.SubscriptionID == 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.cloudServiceName == 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.ResourceGroup == STRING
input.ReqMap.cloudServiceName == STRING
input.ReqMap.updateDomain == INTEGER
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_CloudServiceUpgradeMode := [ "Auto", "Manual", "Simultaneous" ]
valid {
input.Body.location == STRING
input.Body.tags.STRING == STRING
input.Body.properties.packageUrl == STRING
input.Body.properties.configuration == STRING
input.Body.properties.configurationUrl == STRING
input.Body.properties.startCloudService == BOOLEAN
input.Body.properties.allowModelOverride == BOOLEAN
input.Body.properties.upgradeMode == enum_CloudServiceUpgradeMode[_]
input.Body.properties.roleProfile.roles[_].name == STRING
input.Body.properties.roleProfile.roles[_].sku.name == STRING
input.Body.properties.roleProfile.roles[_].sku.tier == STRING
input.Body.properties.roleProfile.roles[_].sku.capacity == INTEGER
input.Body.properties.osProfile.secrets[_].sourceVault.id == STRING
input.Body.properties.osProfile.secrets[_].vaultCertificates[_].certificateUrl == STRING
input.Body.properties.networkProfile.loadBalancerConfigurations[_].id == STRING
input.Body.properties.networkProfile.loadBalancerConfigurations[_].name == STRING
input.Body.properties.networkProfile.loadBalancerConfigurations[_].properties.frontendIPConfigurations[_].name == STRING
input.Body.properties.networkProfile.loadBalancerConfigurations[_].properties.frontendIPConfigurations[_].properties.publicIPAddress.id == STRING
input.Body.properties.networkProfile.loadBalancerConfigurations[_].properties.frontendIPConfigurations[_].properties.subnet.id == STRING
input.Body.properties.networkProfile.loadBalancerConfigurations[_].properties.frontendIPConfigurations[_].properties.privateIPAddress == STRING
input.Body.properties.networkProfile.swappableCloudService.id == STRING
input.Body.properties.extensionProfile.extensions[_].name == STRING
input.Body.properties.extensionProfile.extensions[_].properties.publisher == STRING
input.Body.properties.extensionProfile.extensions[_].properties.type == STRING
input.Body.properties.extensionProfile.extensions[_].properties.typeHandlerVersion == STRING
input.Body.properties.extensionProfile.extensions[_].properties.autoUpgradeMinorVersion == BOOLEAN
input.Body.properties.extensionProfile.extensions[_].properties.settings == STRING
input.Body.properties.extensionProfile.extensions[_].properties.protectedSettings == STRING
input.Body.properties.extensionProfile.extensions[_].properties.protectedSettingsFromKeyVault.sourceVault.id == STRING
input.Body.properties.extensionProfile.extensions[_].properties.protectedSettingsFromKeyVault.secretUrl == STRING
input.Body.properties.extensionProfile.extensions[_].properties.forceUpdateTag == STRING
input.Body.properties.extensionProfile.extensions[_].properties.rolesAppliedTo[_] == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.cloudServiceName == 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.ResourceGroup == STRING
input.ReqMap.cloudServiceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.Body.roleInstances[_] == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.cloudServiceName == 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.ResourceGroup == STRING
input.ReqMap.cloudServiceName == 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.ResourceGroup == STRING
input.ReqMap.cloudServiceName == 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.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.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.cloudServiceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.Body.roleInstances[_] == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.cloudServiceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.Body.roleInstances[_] == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.cloudServiceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.Body.roleInstances[_] == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.cloudServiceName == 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.ResourceGroup == STRING
input.ReqMap.cloudServiceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.Body.tags.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.cloudServiceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}