v0.32.0 -- 2026-03-31

Added

• Added leadsTo temporal operator (#1932)

Changed

• TLC backend now ensures Apalache distribution is available locally before running TLC (#1959)
• Improved error propagation when the Rust evaluator fails to start (#1958)

Deprecated

Removed

Fixed

• Fixed a bug in fairness operators where the effect system would report an error (#1932)
• Fixed TLC backend failing when multiple instances run in parallel (#1949)
• Fixed an issue where the rust evaluator failed to launch on Windows (#1945)
• Fixed an import issue affecting yargs on node 27 (#1926)

Security

• Updated tar 6→7 to fix critical path traversal and symlink poisoning vulnerabilities (#1957)
• Updated mocha 7→11 to fix vulnerabilities in debug, js-yaml, and minimatch (#1957)
• Patched vulnerabilities in braces, cross-spawn, ajv, ejs, and others (#1957)