openagents

Work under an admitted AssuranceSpec by binding exact subject and obligation identities, checking staleness, executing reviewed proof designs, and reporting evidence without claiming lifecycle authority.

Author or refine a deterministic, digest-bound AssuranceSpec proposal with explicit obligations, oracles, falsifiers, seams, environments, and honest design gaps.

Refine an admitted ProductSpec, decompose its acceptance criteria into dependency-aware work packets, allocate only host-authorized work, and report evidence without claiming approval or verification authority.