valid {
    input.Body.properties.description == STRING
    input.Body.properties.query == STRING
    input.Body.tags.STRING == STRING
    input.Body.etag == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceName == 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.resourceName == 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.resourceName == 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.Body.tags.STRING == STRING
    input.Body.etag == STRING
    input.Body.properties.description == STRING
    input.Body.properties.query == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceName == 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_Role := [ "user", "assistant", "system" ]

valid {
    input.Body.history[_].content == STRING
    input.Body.history[_].role == enum_Role[_]
    input.Body.prompt == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.resourceIds[_] == STRING
    input.Body.changeIds[_] == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.resourceIds[_] == STRING
    input.Body.subscriptionId == STRING
    input.Body.interval.STRING == STRING
    input.Body.interval.start == STRING
    input.Body.interval.end == STRING
    input.Body.$skipToken == STRING
    input.Body.$top == INTEGER
    input.Body.table == STRING
    input.Body.fetchPropertyChanges == BOOLEAN
    input.Body.fetchSnapshots == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

enum_FacetRequestOptionsSortOrder := [ "asc", "desc" ]
enum_QueryRequestOptionsAuthorizationScopeFilter := [ "AtScopeAndBelow", "AtScopeAndAbove", "AtScopeExact", "AtScopeAboveAndBelow" ]
enum_QueryRequestOptionsResultFormat := [ "table", "objectArray" ]

valid {
    input.Body.subscriptions[_] == STRING
    input.Body.managementGroups[_] == STRING
    input.Body.query == STRING
    input.Body.options.$skipToken == STRING
    input.Body.options.$top == INTEGER
    input.Body.options.$skip == INTEGER
    input.Body.options.resultFormat == enum_QueryRequestOptionsResultFormat[_]
    input.Body.options.allowPartialScopes == BOOLEAN
    input.Body.options.authorizationScopeFilter == enum_QueryRequestOptionsAuthorizationScopeFilter[_]
    input.Body.facets[_].expression == STRING
    input.Body.facets[_].options.sortBy == STRING
    input.Body.facets[_].options.sortOrder == enum_FacetRequestOptionsSortOrder[_]
    input.Body.facets[_].options.filter == STRING
    input.Body.facets[_].options.$top == INTEGER
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ResourcesHistoryRequestOptionsResultFormat := [ "table", "objectArray" ]

valid {
    input.Body.subscriptions[_] == STRING
    input.Body.query == STRING
    input.Body.options.interval.start == STRING
    input.Body.options.interval.end == STRING
    input.Body.options.$top == INTEGER
    input.Body.options.$skip == INTEGER
    input.Body.options.$skipToken == STRING
    input.Body.options.resultFormat == enum_ResourcesHistoryRequestOptionsResultFormat[_]
    input.Body.managementGroups[_] == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}