Packages

development-driven-specs — the dds toolchain (protocol 2) as a Mix task. A thin shim over the bundled instruments (Python, stdlib); never a port.

Current section

Files

Jump to
dds lib mix tasks dds.ci.ex
Raw

lib/mix/tasks/dds.ci.ex

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