Normative surface

Specification overview

A DAG-TOML document is a TOML file whose root [meta] table declares its schema version, template kind, and optional profile selector.

Root metadata

[meta]
schema_version = "0.1.0"
template_kind = "implementation-dag"
docs = "https://agent-assurance.dev/spec/"

schema_version pins the file shape. ontology_version, when present, pins the graph vocabulary snapshot.

Core template kinds

  • implementation-dag
  • traceability
  • readiness-gate
  • contract-declaration
  • evidence-matrix
  • kind-descriptor
  • profile-descriptor

Closure roots

Closure roots make upstream evidence brittleness explicit. A downstream artifact cannot silently become stronger than the source hash and provenance it depends on.

IJB foundation

The IJB substrate provides the meta-ontology that binds kind descriptors, attributes, predicates, and invariants into a shared vocabulary.

Source of truth

The full normative document remains in the repository until this site grows a generated spec mirror.