defmodule Mix.Tasks.Dds.Ci do
  @shortdoc "dds ci: the machine run (requires --base; writes the artifacts)"
  @moduledoc """
  The machine run: witness (required) → verdict reuse → batched judge →
  check → issues dump + full walk → dds-check.json + .dds-check-status →
  provenance stamp. Guesses nothing; fails rather than attest silence.

      mix dds.ci --base <merge-base-sha>
  """
  use Mix.Task

  @impl true
  def run(args), do: Dds.run(["ci" | args])
end