CAIN-42 invariant · E29

E29-P12: negotiation yields a PROPOSED contract, never an authorization

Held · CAIN-42 Evolution 29 -- Governed Agentic Internet Transaction Fabric

Last reviewed 2026-10-01

held   niche Benchmarks, coverage & performance · family property

What this rule means

CAIN-42 must always satisfy: negotiation yields a PROPOSED contract, never an authorization. It is one of 106 invariants checked for CAIN-42 Evolution 29 -- Governed Agentic Internet Transaction Fabric. An invariant is a rule the system may never break, whatever an agent or attacker does; the test suite tries to break it across many scenarios and records the result.

Recorded detail

PROPOSED_CONTRACT

Verify it in your browser

Your browser downloads the bundle's SHA256SUMS manifest and the file(s) behind this page, hashes them with SHA-256 locally (WebCrypto), and compares. A match shows the record you are reading is the published one; it does not by itself prove who published it (see the signed claims registry and the bundle verifier for that).

Check it yourself

Browse the raw bundle · How to reproduce it · SHA-256 manifest

Related rules

• E29-P01: the end-to-end procurement transaction completes every acceptance step
• E29-P02: every ledger TRANSFER is backed by an ALLOW receipt that reached E8 for the same transaction
• E29-P03: the ledger is hash-chained, signed and conserves value
• E29-P04: the stage records of the transaction verify as a signed hash chain
• E29-P05: the transaction envelope is issued at AUTHORIZE and re-issued at RECORD with the evidence root
• E29-P06: discovery never reports trust
• E29-P07: counterparty risk has thirteen dimensions and no score
• E29-P08: reputation has thirteen dimensions and no aggregate

← E29-P11 · all 106 · E29-P13 →