valid {
    input.ReqMap.jobId == STRING
    input.ReqMap.thingName == STRING
    input.Qs.includeJobDocument == BOOLEAN
    input.Qs.executionNumber == LONG
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.targetArn == STRING
    input.Body.commandArn == STRING
    input.Body.parameters.STRING.S == STRING
    input.Body.parameters.STRING.B == BOOLEAN
    input.Body.parameters.STRING.I == INTEGER
    input.Body.parameters.STRING.L == LONG
    input.Body.parameters.STRING.D == DOUBLE
    input.Body.parameters.STRING.BIN == BLOB
    input.Body.parameters.STRING.UL == STRING
    input.Body.executionTimeoutSeconds == LONG
    input.Body.clientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.statusDetails.STRING == STRING
    input.Body.stepTimeoutInMinutes == LONG
    input.ReqMap.thingName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_JobExecutionStatus := [ "QUEUED", "IN_PROGRESS", "SUCCEEDED", "FAILED", "TIMED_OUT", "REJECTED", "REMOVED", "CANCELED" ]

valid {
    input.Body.status == enum_JobExecutionStatus[_]
    input.Body.statusDetails.STRING == STRING
    input.Body.stepTimeoutInMinutes == LONG
    input.Body.expectedVersion == LONG
    input.Body.includeJobExecutionState == BOOLEAN
    input.Body.includeJobDocument == BOOLEAN
    input.Body.executionNumber == LONG
    input.ReqMap.jobId == STRING
    input.ReqMap.thingName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}