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

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

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

valid {
    input.ReqMap.jobId == STRING
    input.ReqMap.objectToken == STRING
    input.Qs.max-results == INTEGER
    input.Qs.next-token == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.jobId == STRING
    input.Qs.starting-object-name == STRING
    input.Qs.starting-object-prefix == STRING
    input.Qs.max-results == INTEGER
    input.Qs.next-token == STRING
    input.Qs.created-before == TIMESTAMP
    input.Qs.created-after == TIMESTAMP
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_DataChecksumAlgorithm := [ "SHA256" ]
enum_SummaryChecksumAlgorithm := [ "SUMMARY" ]

valid {
    input.Body.MetadataBlob == BLOB
    input.ReqMap.jobId == STRING
    input.ReqMap.uploadId == STRING
    input.Qs.checksum == STRING
    input.Qs.checksum-algorithm == enum_SummaryChecksumAlgorithm[_]
    input.Qs.metadata-string == STRING
    input.Qs.metadata-blob-length == LONG
    input.Qs.metadata-checksum == STRING
    input.Qs.metadata-checksum-algorithm == enum_DataChecksumAlgorithm[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_DataChecksumAlgorithm := [ "SHA256" ]

valid {
    input.Body.Data == BLOB
    input.ReqMap.jobId == STRING
    input.ReqMap.uploadId == STRING
    input.ReqMap.chunkIndex == LONG
    input.Qs.length == LONG
    input.Qs.checksum == STRING
    input.Qs.checksum-algorithm == enum_DataChecksumAlgorithm[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_SummaryChecksumAlgorithm := [ "SUMMARY" ]

valid {
    input.Body.InlineChunk == BLOB
    input.ReqMap.jobId == STRING
    input.ReqMap.objectName == STRING
    input.Qs.metadata-string == STRING
    input.Qs.length == LONG
    input.Qs.checksum == STRING
    input.Qs.checksum-algorithm == STRING
    input.Qs.object-checksum == STRING
    input.Qs.object-checksum-algorithm == enum_SummaryChecksumAlgorithm[_]
    input.Qs.throwOnDuplicate == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.ThrowOnDuplicate == BOOLEAN
    input.ReqMap.jobId == STRING
    input.ReqMap.objectName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}