Modules
Runs deterministic Apalache plans on POSIX systems and returns retained ITF artifact paths.
A structured Apalache execution, artifact, or manifest failure.
A pure, shell-free Apalache invocation plan.
A completed Apalache run with retained ITF artifacts.
Builds deterministic run-directory paths without touching the filesystem.
Identifies validated TLA+ source and optional configuration files.
A specification artifact validation failure.