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_TagAction := [ "Include", "Exclude" ]
valid {
input.Body.properties.sendMetrics == BOOLEAN
input.Body.properties.metricRules[_].subscriptionId == STRING
input.Body.properties.metricRules[_].filteringTags[_].name == STRING
input.Body.properties.metricRules[_].filteringTags[_].value == STRING
input.Body.properties.metricRules[_].filteringTags[_].action == enum_TagAction[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.monitorName == STRING
input.ReqMap.metricsSourceName == STRING
input.ReqMap.ruleSetName == 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.monitorName == STRING
input.ReqMap.metricsSourceName == STRING
input.ReqMap.ruleSetName == 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.monitorName == STRING
input.ReqMap.metricsSourceName == STRING
input.ReqMap.ruleSetName == 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.monitorName == STRING
input.ReqMap.metricsSourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_ManagedIdentityTypes := [ "SystemAssigned", "UserAssigned" ]
enum_MarketplaceSubscriptionStatus := [ "Active", "Suspended" ]
enum_MonitoringStatus := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.monitoringStatus == enum_MonitoringStatus[_]
input.Body.properties.marketplaceSubscriptionStatus == enum_MarketplaceSubscriptionStatus[_]
input.Body.properties.logzOrganizationProperties.companyName == STRING
input.Body.properties.logzOrganizationProperties.enterpriseAppId == STRING
input.Body.properties.logzOrganizationProperties.singleSignOnUrl == STRING
input.Body.properties.userInfo.firstName == STRING
input.Body.properties.userInfo.lastName == STRING
input.Body.properties.userInfo.emailAddress == STRING
input.Body.properties.userInfo.phoneNumber == STRING
input.Body.properties.planData.usageType == STRING
input.Body.properties.planData.billingCycle == STRING
input.Body.properties.planData.planDetails == STRING
input.Body.properties.planData.effectiveDate == STRING
input.Body.identity.type == enum_ManagedIdentityTypes[_]
input.Body.tags.STRING == STRING
input.Body.location == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.monitorName == STRING
input.ReqMap.metricsSourceName == 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.monitorName == STRING
input.ReqMap.metricsSourceName == 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.monitorName == STRING
input.ReqMap.metricsSourceName == 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.monitorName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_MonitoringStatus := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.monitoringStatus == enum_MonitoringStatus[_]
input.Body.tags.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.monitorName == STRING
input.ReqMap.metricsSourceName == 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.monitorName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_VMHostUpdateState := [ "Install", "Delete" ]
valid {
input.Body.vmResourceIds[_].id == STRING
input.Body.vmResourceIds[_].agentVersion == STRING
input.Body.state == enum_VMHostUpdateState[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.monitorName == 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.monitorName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_ManagedIdentityTypes := [ "SystemAssigned", "UserAssigned" ]
enum_MarketplaceSubscriptionStatus := [ "Active", "Suspended" ]
enum_MonitoringStatus := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.monitoringStatus == enum_MonitoringStatus[_]
input.Body.properties.marketplaceSubscriptionStatus == enum_MarketplaceSubscriptionStatus[_]
input.Body.properties.logzOrganizationProperties.companyName == STRING
input.Body.properties.logzOrganizationProperties.enterpriseAppId == STRING
input.Body.properties.logzOrganizationProperties.singleSignOnUrl == STRING
input.Body.properties.userInfo.firstName == STRING
input.Body.properties.userInfo.lastName == STRING
input.Body.properties.userInfo.emailAddress == STRING
input.Body.properties.userInfo.phoneNumber == STRING
input.Body.properties.planData.usageType == STRING
input.Body.properties.planData.billingCycle == STRING
input.Body.properties.planData.planDetails == STRING
input.Body.properties.planData.effectiveDate == STRING
input.Body.identity.type == enum_ManagedIdentityTypes[_]
input.Body.tags.STRING == STRING
input.Body.location == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.monitorName == 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.monitorName == 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.monitorName == 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.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.monitorName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.Body.emailAddress == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.monitorName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_MonitoringStatus := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.monitoringStatus == enum_MonitoringStatus[_]
input.Body.tags.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.monitorName == 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
}
enum_SingleSignOnStates := [ "Initial", "Enable", "Disable", "Existing" ]
valid {
input.Body.properties.singleSignOnState == enum_SingleSignOnStates[_]
input.Body.properties.enterpriseAppId == STRING
input.Body.properties.singleSignOnUrl == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.monitorName == STRING
input.ReqMap.configurationName == 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.monitorName == STRING
input.ReqMap.configurationName == 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.monitorName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_TagAction := [ "Include", "Exclude" ]
valid {
input.Body.properties.logRules.sendAadLogs == BOOLEAN
input.Body.properties.logRules.sendSubscriptionLogs == BOOLEAN
input.Body.properties.logRules.sendActivityLogs == BOOLEAN
input.Body.properties.logRules.filteringTags[_].name == STRING
input.Body.properties.logRules.filteringTags[_].value == STRING
input.Body.properties.logRules.filteringTags[_].action == enum_TagAction[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.monitorName == STRING
input.ReqMap.subAccountName == STRING
input.ReqMap.ruleSetName == 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.monitorName == STRING
input.ReqMap.subAccountName == STRING
input.ReqMap.ruleSetName == 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.monitorName == STRING
input.ReqMap.subAccountName == STRING
input.ReqMap.ruleSetName == 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.monitorName == STRING
input.ReqMap.subAccountName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_ManagedIdentityTypes := [ "SystemAssigned", "UserAssigned" ]
enum_MarketplaceSubscriptionStatus := [ "Active", "Suspended" ]
enum_MonitoringStatus := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.monitoringStatus == enum_MonitoringStatus[_]
input.Body.properties.marketplaceSubscriptionStatus == enum_MarketplaceSubscriptionStatus[_]
input.Body.properties.logzOrganizationProperties.companyName == STRING
input.Body.properties.logzOrganizationProperties.enterpriseAppId == STRING
input.Body.properties.logzOrganizationProperties.singleSignOnUrl == STRING
input.Body.properties.userInfo.firstName == STRING
input.Body.properties.userInfo.lastName == STRING
input.Body.properties.userInfo.emailAddress == STRING
input.Body.properties.userInfo.phoneNumber == STRING
input.Body.properties.planData.usageType == STRING
input.Body.properties.planData.billingCycle == STRING
input.Body.properties.planData.planDetails == STRING
input.Body.properties.planData.effectiveDate == STRING
input.Body.identity.type == enum_ManagedIdentityTypes[_]
input.Body.tags.STRING == STRING
input.Body.location == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.monitorName == STRING
input.ReqMap.subAccountName == 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.monitorName == STRING
input.ReqMap.subAccountName == 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.monitorName == STRING
input.ReqMap.subAccountName == 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.monitorName == 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.monitorName == STRING
input.ReqMap.subAccountName == 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.monitorName == STRING
input.ReqMap.subAccountName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_VMHostUpdateState := [ "Install", "Delete" ]
valid {
input.Body.vmResourceIds[_].id == STRING
input.Body.vmResourceIds[_].agentVersion == STRING
input.Body.state == enum_VMHostUpdateState[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.monitorName == STRING
input.ReqMap.subAccountName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_MonitoringStatus := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.monitoringStatus == enum_MonitoringStatus[_]
input.Body.tags.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.monitorName == STRING
input.ReqMap.subAccountName == 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.monitorName == STRING
input.ReqMap.subAccountName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_TagAction := [ "Include", "Exclude" ]
valid {
input.Body.properties.logRules.sendAadLogs == BOOLEAN
input.Body.properties.logRules.sendSubscriptionLogs == BOOLEAN
input.Body.properties.logRules.sendActivityLogs == BOOLEAN
input.Body.properties.logRules.filteringTags[_].name == STRING
input.Body.properties.logRules.filteringTags[_].value == STRING
input.Body.properties.logRules.filteringTags[_].action == enum_TagAction[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.monitorName == STRING
input.ReqMap.ruleSetName == 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.monitorName == STRING
input.ReqMap.ruleSetName == 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.monitorName == STRING
input.ReqMap.ruleSetName == 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.monitorName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}