# title
Cadence Agent Requirements Document (ARD)

# description
The published wire format for Cadence's Outcome Contract: a typed, versioned acceptance contract a spec carries — intent, success metrics with their proof oracle, non-goals, a budget, and an ambiguity policy — the same contract Cadence itself checks a build against.

# properties.ard_version.description
The ARD schema version this document conforms to (semver-ish, currently 0.1).

# properties.contract.properties.success_metrics.items.description
A single, individually-supersedable requirement clause (a success metric or a non-goal).

# properties.contract.properties.success_metrics.items.properties.oracle_kind.description
How this clause is proven: eval = graded by an LLM judge, ci = covered by the standard CI gate, uat = a human ticks a checklist item, unverifiable = filed as a watched assumption. Null until compiled.

# properties.contract.properties.non_goals.items.description
A single, individually-supersedable requirement clause (a success metric or a non-goal).

# properties.contract.properties.non_goals.items.properties.oracle_kind.description
How this clause is proven: eval = graded by an LLM judge, ci = covered by the standard CI gate, uat = a human ticks a checklist item, unverifiable = filed as a watched assumption. Null until compiled.

# properties.design.description
Optional design contract riding a Build dispatch (mission 3.4): the workspace's standing design memory, the spec's flow graph, and the gate-reviewed scaffold mockup.

# properties.design.properties.flow_steps.description
The spec's flow graph steps (DSN-03), shape-free by design.