DescribeJobExecution

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
}

GetPendingJobExecutions

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

StartNextPendingJobExecution

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
}

UpdateJobExecution

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
}