Exactly-once is not a requirement but ordering is. I had Kafka and Kinesis in mind when writing this question but just in case you haven't seen it, there is a way to get ordering guarantees using SNS and SQS:
https://aws.amazon.com/about-aws/whats-new/2020/10/amazon-sn...