Victoria.Apalache.RunDirectory (Victoria v0.1.0)

Builds deterministic, caller-owned Apalache run directory paths.

This module only builds a path. Victoria.Apalache.run/2 exclusively reserves it and never reuses or empties an existing directory.

Summary

Builds an absolute run path from a UTC timestamp, spec slug, suffix, and optional root.

@spec build(
  Victoria.Spec.t(),
  keyword()
) :: Path.t()

Builds an absolute run path from a UTC timestamp, spec slug, suffix, and optional root.