One claim of a contract, in renderable form. value is a short rendered form
of the claim payload (e.g. a column name for default_time_column, an alias
for table_alias). reason is the optional justification a directive claim
carries; contracts show renders it, contracts list does not.
One claim waiting for review — a Candidate or a persisted Stale claim —
in renderable form. The queue is a flat per-claim listing — not the
object-grouped ContractView shape — so it gets its own DTO rather than a
one-claim “contract” with a smuggled evidence count. profile is the
profile name, never the opaque identity, and there is no field for the
identity here either.
The decision a /confirm, /reject, or /use short-reference command
carries, resolved by run_contracts against the stored claim the prefix
names. Spec D. Confirm and Reject reach the existing mutating ops; UseOnce
reaches use_candidate_once, which validates and admits for one recall
without promoting — a candidate stays a candidate.
Begins capturing emit output on this thread. Pair with
capture_output_take. Nested starts are a programming error and panic so a
forgotten take cannot silently swallow a later test’s output.