verification-authoring

Installation
SKILL.md

verification-authoring

Author Verification Definitions for Duhem — the structured YAML artifact containing a feature's acceptance criteria and the checks that mechanically verify them. This is the central authoring discipline that any Duhem-shaped customer (including Duhem itself, when it dogfoods on Onsager) eventually internalizes.

The canonical product spec is in docs/duhem-spec.md, especially:

  • §7 — Core Concepts (verification, criterion, check, assertion, step, verdict, evidence, artifact, run)
  • §8 — Holistic Verification Principle
  • §10 — Verification Definition (file org, structure, action types, assertions, runtime expressions, extensibility)
  • §11.2 — Trust Boundary (what AI may and may not do at run time)

This skill is the authoring counterpart to those sections.

Installs
6
GitHub Stars
1
First Seen
Jul 23, 2026
verification-authoring — onsager-ai/duhem