durable-functions
Determinism checker for AWS Lambda durable functions - static analysis for Python, TypeScript, Java and Rust, plus a dynamic replay-divergence harness