CAIN-42 invariant · E29

E29-S-VERIFY: a veto at VERIFY aborts the transaction and no later stage runs

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

Last reviewed 2026-10-01

held   niche Transactions, markets & economics · family stage

What this rule means

CAIN-42 must always satisfy: a veto at VERIFY aborts the transaction and no later stage runs. 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

('ABORTED', [False, False])

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-S-DISCOVER: a veto at DISCOVER aborts the transaction and no later stage runs
• E29-S-IDENTIFY: a veto at IDENTIFY aborts the transaction and no later stage runs
• E29-S-NEGOTIATE: a veto at NEGOTIATE aborts the transaction and no later stage runs
• E29-S-PROPOSE: a veto at PROPOSE aborts the transaction and no later stage runs
• E29-S-CONTRACT: a veto at CONTRACT aborts the transaction and no later stage runs
• E29-S-COMMIT: a veto at COMMIT aborts the transaction and no later stage runs
• E29-S-EXECUTE: a veto at EXECUTE aborts the transaction and no later stage runs
• E29-S-SETTLE: a veto at SETTLE aborts the transaction and no later stage runs

← E29-S-SETTLE · all 106 · E29-S-RECORD →