Proof · Contracts

Contracts at responsibility boundaries

Contracts describe what moves between named producers and consumers, what the transfer guarantees, and what it explicitly excludes.

Publication control

Publication gate: closed

The publication set has not been published. Architecture and method remain visible; records, digests, artifacts, and verification outcomes do not.

Build mode
Pending
Publication set
Not published
Approval sequence
Registry validation → denylist scan → digest match → approval-bound publication

Public contract shape

Named transfer
Producer and consumer responsibilities remain explicit.
Guarantees
Only approval-backed guarantees may appear.
Exclusions
Every record keeps the decisions it does not authorize.
Verification
Evidence references remain bound to the versioned record.