Step Function execution name format

I was looking at the execution history for a Step Functions state machine that is triggered daily by an EventBridge Scheduler schedule. The execution names caught my eye — they look like UUIDs, they're not UUIDv7, but there's clearly a pattern. It got me excited in the same way that noticing [AWS access key IDs were similarly-formatted][access-key-format] back in 2020. So of course I had to dig…