dds

defmodule Mix.Tasks.Dds do
  @shortdoc "dds: the full run + issues dump (--mechanical to skip the judged leg)"
  @moduledoc """
  Runs the dds toolchain against this repository — witness, check, and
  the judged leg when needed — then dumps the issues. Exit 0 PASS ·
  1 FAIL · 2 INCOMPLETE.

      mix dds
      mix dds --mechanical
      mix dds --base <ref>

  The witness/replay legs want `pip install tree-sitter tree-sitter-elixir`.
  """
  use Mix.Task

  @impl true
  def run(args), do: Dds.run(args)
end