ADR-014: Verification modality

• Status: Accepted
• Date: 2026-08-28
• Source: #1, issue description, section “Decisions (ADRs, continuing the numbering of the May design doc)”

Context

From #1:

This epic is the design record for the Workshop 2026 milestone. It is owned by the PM session of a PM/Builder binôme: the PM decides, decomposes and verifies; the Builder implements in stacked PRs.

Decision

Every acceptance criterion names the command that proves it. PR bodies carry a How to test line the PM runs verbatim, plus the numbers it printed. A criterion without a reproducible command is a defect in this doc, not in the review.

Consequences

The record states no consequences beyond the decision itself.