The RunSpec is the contract
The RunSpec is the one contract the build, jury, integrators, QA, and the receipt share: a versioned spec that freezes the objective, scope, criteria, risks, and proof meaning before agents build. Freeze it before implementation and a changed goal becomes visible instead of convenient.