# apalachex v0.1.0 - Table of Contents

> Safe, deterministic Apalache execution and artifact management for Elixir.

## Pages

- [Apalachex](readme.md)
- [Changelog](changelog.md)
- [LICENSE](license.md)

## Modules

- Public API
  - [Apalachex](Apalachex.md): Runs deterministic Apalache plans on POSIX systems and returns retained ITF
artifact paths.
  - [Apalachex.Error](Apalachex.Error.md): A structured Apalache execution, artifact, or manifest failure.
  - [Apalachex.Plan](Apalachex.Plan.md): A pure, shell-free Apalache invocation plan.
  - [Apalachex.Result](Apalachex.Result.md): A completed Apalache run with retained ITF artifacts.
  - [Apalachex.RunDirectory](Apalachex.RunDirectory.md): Builds deterministic run-directory paths without touching the filesystem.

  - [Apalachex.Spec](Apalachex.Spec.md): Identifies validated TLA+ source and optional configuration files.

  - [Apalachex.Spec.Error](Apalachex.Spec.Error.md): A specification artifact validation failure.

