v0.2.0

Changed

• Made the root Justfile the public development and CI command interface, with a repository-complete pinned
  .tool-versions toolchain, local asdf provisioning, and pinned purpose-built CI setup actions. CI uses a
  standalone kokjinsam/setup-apalache action pinned to an immutable commit for Apalache 0.58.3.
• Delegated ITF file reading and format decoding to the standalone ITF 0.1.x package while retaining
  Victoria's trace adaptation, replay semantics, and public error boundary.
• Accepted standalone ITF rich value structs unchanged in replay states.
• Adopted ITF's default input-size and nesting-depth limits, decoded metadata behavior, and upstream
  reason/path terminology where legacy decoder details cannot be reconstructed without decoding twice.
• Replaced Victoria's duplicate Apalache executor with Apalachex 0.1.0 while preserving verification
  semantics, model lifecycle, workflow sequencing, and ExUnit assertion behavior.
• Made apalachex-run.json the sole execution and artifact manifest. Its materialized outcome records
  discovered ITF artifacts and remains valid if Victoria later rejects an ITF during decoding.
• Preserved upstream Apalachex execution and specification errors intact in workflow failures.
• Removed the low-level Victoria.Apalache modules in favor of direct Apalachex 0.1.x composition.
• Changed Victoria.Spec.new/1 to return Apalachex.Spec and preserve Apalachex.Spec.Error.
• Changed workflow result and error apalache fields to Apalachex.Result, with ordered itf_paths and no
  loaded traces field.
• Removed Victoria.ITF. Victoria.Trace.load/1 now preserves generic ITF.Error values and returns
  Victoria.Trace.Error only for Victoria adaptation failures.