valid {
    input.Body.name == STRING
    input.Body.type == STRING
    input.ReqMap.scope == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.properties.globalParameters.STRING == STRING
    input.Body.properties.insights[_].solutionId == STRING
    input.Body.properties.insights[_].additionalParameters.STRING == STRING
    input.Body.STRING == STRING
    input.ReqMap.scope == STRING
    input.ReqMap.diagnosticsResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.scope == STRING
    input.ReqMap.diagnosticsResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.issueSummary == STRING
    input.Body.resourceId == STRING
    input.Body.serviceId == STRING
    input.Body.additionalContext == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

valid {
    input.Body.issueSummary == STRING
    input.Body.resourceId == STRING
    input.Body.serviceId == STRING
    input.Body.additionalContext == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.Qs.$skiptoken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.properties.solutionId == STRING
    input.Body.properties.parameters.STRING == STRING
    input.Body.STRING == STRING
    input.ReqMap.scope == STRING
    input.ReqMap.simplifiedSolutionsResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.scope == STRING
    input.ReqMap.simplifiedSolutionsResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.solutionId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

enum_TriggerCriterionName := [ "SolutionId", "ProblemClassificationId", "ReplacementKey" ]

valid {
    input.Body.properties.triggerCriteria[_].name == enum_TriggerCriterionName[_]
    input.Body.properties.triggerCriteria[_].value == STRING
    input.Body.properties.parameters.STRING == STRING
    input.Body.STRING == STRING
    input.ReqMap.scope == STRING
    input.ReqMap.solutionResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.scope == STRING
    input.ReqMap.solutionResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

enum_TriggerCriterionName := [ "SolutionId", "ProblemClassificationId", "ReplacementKey" ]

valid {
    input.Body.properties.triggerCriteria[_].name == enum_TriggerCriterionName[_]
    input.Body.properties.triggerCriteria[_].value == STRING
    input.Body.properties.parameters.STRING == STRING
    input.ReqMap.scope == STRING
    input.ReqMap.solutionResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.parameters.STRING == STRING
    input.ReqMap.scope == STRING
    input.ReqMap.solutionResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

enum_QuestionType := [ "RadioButton", "Dropdown", "TextInput", "MultiLineInfoBox", "DateTimePicker", "MultiSelect" ]

valid {
    input.Body.stepId == STRING
    input.Body.responses[_].questionId == STRING
    input.Body.responses[_].questionType == enum_QuestionType[_]
    input.Body.responses[_].response == STRING
    input.ReqMap.scope == STRING
    input.ReqMap.troubleshooterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.properties.solutionId == STRING
    input.Body.properties.parameters.STRING == STRING
    input.Body.STRING == STRING
    input.ReqMap.scope == STRING
    input.ReqMap.troubleshooterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.scope == STRING
    input.ReqMap.troubleshooterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.scope == STRING
    input.ReqMap.troubleshooterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.scope == STRING
    input.ReqMap.troubleshooterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}