valid {
    input.Body.invocationArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_BlueprintStage := [ "DEVELOPMENT", "LIVE" ]
enum_DataAutomationStage := [ "LIVE", "DEVELOPMENT" ]

valid {
    input.Body.clientToken == STRING
    input.Body.inputConfiguration.s3Uri == STRING
    input.Body.outputConfiguration.s3Uri == STRING
    input.Body.dataAutomationConfiguration.dataAutomationArn == STRING
    input.Body.dataAutomationConfiguration.stage == enum_DataAutomationStage[_]
    input.Body.encryptionConfiguration.kmsKeyId == STRING
    input.Body.encryptionConfiguration.kmsEncryptionContext.STRING == STRING
    input.Body.notificationConfiguration.eventBridgeConfiguration.eventBridgeEnabled == BOOLEAN
    input.Body.blueprints[_].blueprintArn == STRING
    input.Body.blueprints[_].version == STRING
    input.Body.blueprints[_].stage == enum_BlueprintStage[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}