dds

0.11.3

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

Readme 2 Versions 1 Dependency Dependants Files Activity

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

Search filters

Type any of these into the search box. They can be combined with free text which searches package names and descriptions.

Operator	Description	Example
name:	Match package name. Supports * wildcards and repo/package form	name:phx* or name:hexpm/phoenix
description:	Full-text search of package descriptions	description:auth
depends:	Packages depending on a given package. Supports repo:package form	depends:ecto or depends:hexpm:ecto
build_tool:	Filter by build tool	build_tool:mix
updated_after:	Packages updated after an ISO8601 datetime	updated_after:2025-01-01T00:00:00Z
extra:	Match custom metadata (key,value). Nested keys are separated by commas	extra:license,MIT

Wrap values in double quotes to include spaces, e.g. name:"my package".