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.Body.properties.requestedResource.properties.limit == INTEGER
input.Body.properties.requestedResource.properties.region == STRING
input.Body.properties.requestedResource.properties.comments == STRING
input.Body.STRING == STRING
input.ReqMap.managementGroupId == STRING
input.ReqMap.groupQuotaName == STRING
input.ReqMap.resourceProviderName == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.managementGroupId == STRING
input.ReqMap.groupQuotaName == STRING
input.ReqMap.requestId == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.managementGroupId == STRING
input.ReqMap.groupQuotaName == STRING
input.ReqMap.resourceProviderName == STRING
input.Qs.api-version == STRING
input.Qs.$filter == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.properties.requestedResource.properties.limit == INTEGER
input.Body.properties.requestedResource.properties.region == STRING
input.Body.properties.requestedResource.properties.comments == STRING
input.ReqMap.managementGroupId == STRING
input.ReqMap.groupQuotaName == STRING
input.ReqMap.resourceProviderName == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.managementGroupId == STRING
input.ReqMap.groupQuotaName == STRING
input.ReqMap.resourceProviderName == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.Qs.$filter == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.managementGroupId == STRING
input.ReqMap.groupQuotaName == STRING
input.ReqMap.resourceProviderName == STRING
input.Qs.api-version == STRING
input.Qs.$filter == STRING
input.ProviderMetadata.Region == STRING
}
enum_EnforcementState := [ "Enabled", "Disabled", "NotAvailable" ]
valid {
input.Body.properties.enforcementEnabled == enum_EnforcementState[_]
input.Body.STRING == STRING
input.ReqMap.managementGroupId == STRING
input.ReqMap.groupQuotaName == STRING
input.ReqMap.resourceProviderName == STRING
input.ReqMap.location == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.managementGroupId == STRING
input.ReqMap.groupQuotaName == STRING
input.ReqMap.resourceProviderName == STRING
input.ReqMap.location == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.managementGroupId == STRING
input.ReqMap.groupQuotaName == STRING
input.ReqMap.resourceProviderName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
enum_EnforcementState := [ "Enabled", "Disabled", "NotAvailable" ]
valid {
input.Body.properties.enforcementEnabled == enum_EnforcementState[_]
input.ReqMap.managementGroupId == STRING
input.ReqMap.groupQuotaName == STRING
input.ReqMap.resourceProviderName == STRING
input.ReqMap.location == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.properties.requestedResource.properties.limit == INTEGER
input.Body.properties.requestedResource.properties.region == STRING
input.Body.STRING == STRING
input.ReqMap.managementGroupId == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.groupQuotaName == STRING
input.ReqMap.resourceProviderName == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.managementGroupId == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.groupQuotaName == STRING
input.ReqMap.allocationId == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.managementGroupId == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.groupQuotaName == STRING
input.ReqMap.resourceProviderName == STRING
input.Qs.api-version == STRING
input.Qs.$filter == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.Body.properties.requestedResource.properties.limit == INTEGER
input.Body.properties.requestedResource.properties.region == STRING
input.ReqMap.managementGroupId == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.groupQuotaName == STRING
input.ReqMap.resourceProviderName == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.managementGroupId == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.groupQuotaName == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.Qs.$filter == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.managementGroupId == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.groupQuotaName == STRING
input.Qs.api-version == STRING
input.Qs.$filter == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.managementGroupId == STRING
input.ReqMap.groupQuotaName == STRING
input.ReqMap.requestId == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.managementGroupId == STRING
input.ReqMap.groupQuotaName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.managementGroupId == STRING
input.ReqMap.groupQuotaName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.managementGroupId == STRING
input.ReqMap.groupQuotaName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.managementGroupId == STRING
input.ReqMap.groupQuotaName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.managementGroupId == STRING
input.ReqMap.groupQuotaName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.managementGroupId == STRING
input.ReqMap.groupQuotaName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.managementGroupId == STRING
input.ReqMap.groupQuotaName == STRING
input.ReqMap.resourceProviderName == STRING
input.ReqMap.location == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
enum_EnvironmentType := [ "NonProduction", "Production" ]
enum_GroupingIdType := [ "ServiceTreeId", "BillingId" ]
valid {
input.Body.properties.displayName == STRING
input.Body.properties.additionalAttributes.groupId.groupingIdType == enum_GroupingIdType[_]
input.Body.properties.additionalAttributes.groupId.value == STRING
input.Body.properties.additionalAttributes.environment == enum_EnvironmentType[_]
input.Body.STRING == STRING
input.ReqMap.managementGroupId == STRING
input.ReqMap.groupQuotaName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.managementGroupId == STRING
input.ReqMap.groupQuotaName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.managementGroupId == STRING
input.ReqMap.groupQuotaName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.managementGroupId == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
enum_EnvironmentType := [ "NonProduction", "Production" ]
enum_GroupingIdType := [ "ServiceTreeId", "BillingId" ]
valid {
input.Body.properties.displayName == STRING
input.Body.properties.additionalAttributes.groupId.groupingIdType == enum_GroupingIdType[_]
input.Body.properties.additionalAttributes.groupId.value == STRING
input.Body.properties.additionalAttributes.environment == enum_EnvironmentType[_]
input.Body.STRING == STRING
input.ReqMap.managementGroupId == STRING
input.ReqMap.groupQuotaName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.id == STRING
input.ReqMap.scope == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.scope == STRING
input.Qs.api-version == STRING
input.Qs.$filter == STRING
input.Qs.$top == INTEGER
input.Qs.$skiptoken == STRING
input.ProviderMetadata.Region == STRING
}
enum_LimitObjectTypes := [ "LimitValue" ]
valid {
input.Body.properties.limit.limitObjectType == enum_LimitObjectTypes[_]
input.Body.properties.name.value == STRING
input.Body.properties.resourceType == STRING
input.Body.properties.properties.STRING == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.scope == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.resourceName == STRING
input.ReqMap.scope == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.scope == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
enum_LimitObjectTypes := [ "LimitValue" ]
valid {
input.Body.properties.limit.limitObjectType == enum_LimitObjectTypes[_]
input.Body.properties.name.value == STRING
input.Body.properties.resourceType == STRING
input.Body.properties.properties.STRING == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.scope == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.resourceName == STRING
input.ReqMap.scope == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.scope == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}