For AI agents: visit https://public.docs.kivera.io/llms.txt for an index of all pages formatted in Markdown and endpoints in OpenAPI.
MICROSOFT.CERTIFICATEREGISTRATION
enum_AppServiceCertificateOrderPropertiesProductType := [ "StandardDomainValidatedSsl", "StandardDomainValidatedWildCardSsl" ]
valid {
input.Body.properties.certificates.STRING.keyVaultId == STRING
input.Body.properties.certificates.STRING.keyVaultSecretName == STRING
input.Body.properties.distinguishedName == STRING
input.Body.properties.validityInYears == INTEGER
input.Body.properties.keySize == INTEGER
input.Body.properties.productType == enum_AppServiceCertificateOrderPropertiesProductType[_]
input.Body.properties.autoRenew == BOOLEAN
input.Body.properties.csr == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.certificateOrderName == 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.properties.keyVaultId == STRING
input.Body.properties.keyVaultSecretName == STRING
input.Body.kind == STRING
input.Body.location == STRING
input.Body.tags.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.certificateOrderName == STRING
input.ReqMap.name == 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.certificateOrderName == 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.certificateOrderName == STRING
input.ReqMap.name == 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.certificateOrderName == 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.certificateOrderName == STRING
input.ReqMap.name == 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.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.certificateOrderName == 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.properties.keySize == INTEGER
input.Body.properties.delayExistingRevokeInHours == INTEGER
input.Body.properties.csr == STRING
input.Body.properties.isPrivateKeyExternal == BOOLEAN
input.Body.kind == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.certificateOrderName == 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.properties.keySize == INTEGER
input.Body.properties.csr == STRING
input.Body.properties.isPrivateKeyExternal == BOOLEAN
input.Body.kind == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.certificateOrderName == 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.certificateOrderName == 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.name == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.certificateOrderName == 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.name == 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.name == 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.lightTheme == BOOLEAN
input.Body.locale == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.certificateOrderName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_AppServiceCertificateOrderPatchResourcePropertiesProductType := [ "StandardDomainValidatedSsl", "StandardDomainValidatedWildCardSsl" ]
valid {
input.Body.properties.certificates.STRING.keyVaultId == STRING
input.Body.properties.certificates.STRING.keyVaultSecretName == STRING
input.Body.properties.distinguishedName == STRING
input.Body.properties.validityInYears == INTEGER
input.Body.properties.keySize == INTEGER
input.Body.properties.productType == enum_AppServiceCertificateOrderPatchResourcePropertiesProductType[_]
input.Body.properties.autoRenew == BOOLEAN
input.Body.properties.csr == STRING
input.Body.kind == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.certificateOrderName == 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.properties.keyVaultId == STRING
input.Body.properties.keyVaultSecretName == STRING
input.Body.kind == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.certificateOrderName == STRING
input.ReqMap.name == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_AppServiceCertificateOrderPropertiesProductType := [ "StandardDomainValidatedSsl", "StandardDomainValidatedWildCardSsl" ]
valid {
input.Body.properties.certificates.STRING.keyVaultId == STRING
input.Body.properties.certificates.STRING.keyVaultSecretName == STRING
input.Body.properties.distinguishedName == STRING
input.Body.properties.validityInYears == INTEGER
input.Body.properties.keySize == INTEGER
input.Body.properties.productType == enum_AppServiceCertificateOrderPropertiesProductType[_]
input.Body.properties.autoRenew == BOOLEAN
input.Body.properties.csr == STRING
input.Body.kind == STRING
input.Body.location == STRING
input.Body.tags.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.certificateOrderName == 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.certificateOrderName == STRING
input.ReqMap.detectorName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.startTime == STRING
input.Qs.endTime == STRING
input.Qs.timeGrain == 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.certificateOrderName == STRING
input.ReqMap.SubscriptionID == 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
}