valid {
    input.Body.recommendationResourceExclusions[_].arn == STRING
    input.Body.recommendationResourceExclusions[_].isExcluded == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.organizationRecommendationIdentifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.recommendationIdentifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_RecommendationLanguage := [ "en", "ja", "zh", "fr", "de", "ko", "zh_TW", "it", "es", "pt_BR", "id" ]
enum_RecommendationPillar := [ "cost_optimizing", "performance", "security", "service_limits", "fault_tolerance", "operational_excellence" ]
enum_RecommendationSource := [ "aws_config", "compute_optimizer", "cost_explorer", "lse", "manual", "pse", "rds", "resilience", "resilience_hub", "security_hub", "stir", "ta_check", "well_architected" ]

valid {
    input.Qs.awsService == STRING
    input.Qs.language == enum_RecommendationLanguage[_]
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.Qs.pillar == enum_RecommendationPillar[_]
    input.Qs.source == enum_RecommendationSource[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.organizationRecommendationIdentifier == STRING
    input.Qs.affectedAccountId == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ExclusionStatus := [ "excluded", "included" ]
enum_ResourceStatus := [ "ok", "warning", "error" ]

valid {
    input.ReqMap.organizationRecommendationIdentifier == STRING
    input.Qs.affectedAccountId == STRING
    input.Qs.exclusionStatus == enum_ExclusionStatus[_]
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.Qs.regionCode == STRING
    input.Qs.status == enum_ResourceStatus[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_RecommendationPillar := [ "cost_optimizing", "performance", "security", "service_limits", "fault_tolerance", "operational_excellence" ]
enum_RecommendationSource := [ "aws_config", "compute_optimizer", "cost_explorer", "lse", "manual", "pse", "rds", "resilience", "resilience_hub", "security_hub", "stir", "ta_check", "well_architected" ]
enum_RecommendationStatus := [ "ok", "warning", "error" ]
enum_RecommendationType := [ "standard", "priority" ]

valid {
    input.Qs.afterLastUpdatedAt == TIMESTAMP
    input.Qs.awsService == STRING
    input.Qs.beforeLastUpdatedAt == TIMESTAMP
    input.Qs.checkIdentifier == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.Qs.pillar == enum_RecommendationPillar[_]
    input.Qs.source == enum_RecommendationSource[_]
    input.Qs.status == enum_RecommendationStatus[_]
    input.Qs.type == enum_RecommendationType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ExclusionStatus := [ "excluded", "included" ]
enum_ResourceStatus := [ "ok", "warning", "error" ]

valid {
    input.ReqMap.recommendationIdentifier == STRING
    input.Qs.exclusionStatus == enum_ExclusionStatus[_]
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.Qs.regionCode == STRING
    input.Qs.status == enum_ResourceStatus[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_RecommendationPillar := [ "cost_optimizing", "performance", "security", "service_limits", "fault_tolerance", "operational_excellence" ]
enum_RecommendationSource := [ "aws_config", "compute_optimizer", "cost_explorer", "lse", "manual", "pse", "rds", "resilience", "resilience_hub", "security_hub", "stir", "ta_check", "well_architected" ]
enum_RecommendationStatus := [ "ok", "warning", "error" ]
enum_RecommendationType := [ "standard", "priority" ]

valid {
    input.Qs.afterLastUpdatedAt == TIMESTAMP
    input.Qs.awsService == STRING
    input.Qs.beforeLastUpdatedAt == TIMESTAMP
    input.Qs.checkIdentifier == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.Qs.pillar == enum_RecommendationPillar[_]
    input.Qs.source == enum_RecommendationSource[_]
    input.Qs.status == enum_RecommendationStatus[_]
    input.Qs.type == enum_RecommendationType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_UpdateRecommendationLifecycleStage := [ "pending_response", "in_progress", "dismissed", "resolved" ]
enum_UpdateRecommendationLifecycleStageReasonCode := [ "non_critical_account", "temporary_account", "valid_business_case", "other_methods_available", "low_priority", "not_applicable", "other" ]

valid {
    input.Body.lifecycleStage == enum_UpdateRecommendationLifecycleStage[_]
    input.Body.updateReason == STRING
    input.Body.updateReasonCode == enum_UpdateRecommendationLifecycleStageReasonCode[_]
    input.ReqMap.organizationRecommendationIdentifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_UpdateRecommendationLifecycleStage := [ "pending_response", "in_progress", "dismissed", "resolved" ]
enum_UpdateRecommendationLifecycleStageReasonCode := [ "non_critical_account", "temporary_account", "valid_business_case", "other_methods_available", "low_priority", "not_applicable", "other" ]

valid {
    input.Body.lifecycleStage == enum_UpdateRecommendationLifecycleStage[_]
    input.Body.updateReason == STRING
    input.Body.updateReasonCode == enum_UpdateRecommendationLifecycleStageReasonCode[_]
    input.ReqMap.recommendationIdentifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}