{
 "passed": 106,
 "rows": [
  {
   "description": "no governed identity, no governed transaction",
   "detail": "[]",
   "family": "law",
   "id": "E29-L1",
   "ok": true
  },
  {
   "description": "no authority, no authorization",
   "detail": "[]",
   "family": "law",
   "id": "E29-L2",
   "ok": true
  },
  {
   "description": "no authorization, no execution",
   "detail": "[]",
   "family": "law",
   "id": "E29-L3",
   "ok": true
  },
  {
   "description": "no evidence, no trust upgrade",
   "detail": "[]",
   "family": "law",
   "id": "E29-L4",
   "ok": true
  },
  {
   "description": "no portable authority",
   "detail": "[]",
   "family": "law",
   "id": "E29-L5",
   "ok": true
  },
  {
   "description": "unknown never becomes verified",
   "detail": "[]",
   "family": "law",
   "id": "E29-L6",
   "ok": true
  },
  {
   "description": "agreement is not authorization",
   "detail": "[]",
   "family": "law",
   "id": "E29-L7",
   "ok": true
  },
  {
   "description": "reputation is not authorization",
   "detail": "[]",
   "family": "law",
   "id": "E29-L8",
   "ok": true
  },
  {
   "description": "discovery is not trust",
   "detail": "[]",
   "family": "law",
   "id": "E29-L9",
   "ok": true
  },
  {
   "description": "authority to act is not authority to complete every transaction",
   "detail": "[]",
   "family": "law",
   "id": "E29-L10",
   "ok": true
  },
  {
   "description": "no money moves without an E8-committed governance receipt",
   "detail": "[]",
   "family": "law",
   "id": "E29-L11",
   "ok": true
  },
  {
   "description": "a claim of success never releases escrow",
   "detail": "[]",
   "family": "law",
   "id": "E29-L12",
   "ok": true
  },
  {
   "description": "confidence never resolves a dispute",
   "detail": "[]",
   "family": "law",
   "id": "E29-L13",
   "ok": true
  },
  {
   "description": "degraded mode never escalates privilege",
   "detail": "[]",
   "family": "law",
   "id": "E29-L14",
   "ok": true
  },
  {
   "description": "organizational scale never creates unbounded authority",
   "detail": "[]",
   "family": "law",
   "id": "E29-L15",
   "ok": true
  },
  {
   "description": "no agent promotes its own code to production",
   "detail": "[]",
   "family": "law",
   "id": "E29-L16",
   "ok": true
  },
  {
   "description": "a learned rule never activates without a governed approval",
   "detail": "[]",
   "family": "law",
   "id": "E29-L17",
   "ok": true
  },
  {
   "description": "a restart never restores authority",
   "detail": "[]",
   "family": "law",
   "id": "E29-L18",
   "ok": true
  },
  {
   "description": "graph intelligence is a risk signal, never a grant",
   "detail": "[]",
   "family": "law",
   "id": "E29-L19",
   "ok": true
  },
  {
   "description": "routing never bypasses E8",
   "detail": "[]",
   "family": "law",
   "id": "E29-L20",
   "ok": true
  },
  {
   "description": "a veto at DISCOVER aborts the transaction and no later stage runs",
   "detail": "('ABORTED', [False, False])",
   "family": "stage",
   "id": "E29-S-DISCOVER",
   "ok": true
  },
  {
   "description": "a veto at IDENTIFY aborts the transaction and no later stage runs",
   "detail": "('ABORTED', [False, False])",
   "family": "stage",
   "id": "E29-S-IDENTIFY",
   "ok": true
  },
  {
   "description": "a veto at NEGOTIATE aborts the transaction and no later stage runs",
   "detail": "('ABORTED', [False, False])",
   "family": "stage",
   "id": "E29-S-NEGOTIATE",
   "ok": true
  },
  {
   "description": "a veto at PROPOSE aborts the transaction and no later stage runs",
   "detail": "('ABORTED', [False, False])",
   "family": "stage",
   "id": "E29-S-PROPOSE",
   "ok": true
  },
  {
   "description": "a veto at CONTRACT aborts the transaction and no later stage runs",
   "detail": "('ABORTED', [False, False])",
   "family": "stage",
   "id": "E29-S-CONTRACT",
   "ok": true
  },
  {
   "description": "a veto at AUTHORIZE aborts the transaction and no later stage runs",
   "detail": "('ABORTED', [False, False])",
   "family": "stage",
   "id": "E29-S-AUTHORIZE",
   "ok": true
  },
  {
   "description": "a veto at COMMIT aborts the transaction and no later stage runs",
   "detail": "('ABORTED', [False, False])",
   "family": "stage",
   "id": "E29-S-COMMIT",
   "ok": true
  },
  {
   "description": "a veto at EXECUTE aborts the transaction and no later stage runs",
   "detail": "('ABORTED', [False, False])",
   "family": "stage",
   "id": "E29-S-EXECUTE",
   "ok": true
  },
  {
   "description": "a veto at SETTLE aborts the transaction and no later stage runs",
   "detail": "('ABORTED', [False, False])",
   "family": "stage",
   "id": "E29-S-SETTLE",
   "ok": true
  },
  {
   "description": "a veto at VERIFY aborts the transaction and no later stage runs",
   "detail": "('ABORTED', [False, False])",
   "family": "stage",
   "id": "E29-S-VERIFY",
   "ok": true
  },
  {
   "description": "a veto at RECORD aborts the transaction and no later stage runs",
   "detail": "('ABORTED', [False])",
   "family": "stage",
   "id": "E29-S-RECORD",
   "ok": true
  },
  {
   "description": "a veto at REASSESS aborts the transaction and no later stage runs",
   "detail": "('ABORTED', [])",
   "family": "stage",
   "id": "E29-S-REASSESS",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'transaction_id' under its signature",
   "detail": "transaction_id",
   "family": "envelope_binding",
   "id": "E29-B-transaction_id",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'execution_identity' under its signature",
   "detail": "execution_identity",
   "family": "envelope_binding",
   "id": "E29-B-execution_identity",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'principal' under its signature",
   "detail": "principal",
   "family": "envelope_binding",
   "id": "E29-B-principal",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'agent_lineage' under its signature",
   "detail": "agent_lineage",
   "family": "envelope_binding",
   "id": "E29-B-agent_lineage",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'counterparty_identity' under its signature",
   "detail": "counterparty_identity",
   "family": "envelope_binding",
   "id": "E29-B-counterparty_identity",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'intent' under its signature",
   "detail": "intent",
   "family": "envelope_binding",
   "id": "E29-B-intent",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'requested_action' under its signature",
   "detail": "requested_action",
   "family": "envelope_binding",
   "id": "E29-B-requested_action",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'capabilities' under its signature",
   "detail": "capabilities",
   "family": "envelope_binding",
   "id": "E29-B-capabilities",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'authority' under its signature",
   "detail": "authority",
   "family": "envelope_binding",
   "id": "E29-B-authority",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'delegation' under its signature",
   "detail": "delegation",
   "family": "envelope_binding",
   "id": "E29-B-delegation",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'policy' under its signature",
   "detail": "policy",
   "family": "envelope_binding",
   "id": "E29-B-policy",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'risk' under its signature",
   "detail": "risk",
   "family": "envelope_binding",
   "id": "E29-B-risk",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'consequence' under its signature",
   "detail": "consequence",
   "family": "envelope_binding",
   "id": "E29-B-consequence",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'resource_limits' under its signature",
   "detail": "resource_limits",
   "family": "envelope_binding",
   "id": "E29-B-resource_limits",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'economic_value' under its signature",
   "detail": "economic_value",
   "family": "envelope_binding",
   "id": "E29-B-economic_value",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'temporal_limits' under its signature",
   "detail": "temporal_limits",
   "family": "envelope_binding",
   "id": "E29-B-temporal_limits",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'nonce' under its signature",
   "detail": "nonce",
   "family": "envelope_binding",
   "id": "E29-B-nonce",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'expiration' under its signature",
   "detail": "expiration",
   "family": "envelope_binding",
   "id": "E29-B-expiration",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'protocol' under its signature",
   "detail": "protocol",
   "family": "envelope_binding",
   "id": "E29-B-protocol",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'destination' under its signature",
   "detail": "destination",
   "family": "envelope_binding",
   "id": "E29-B-destination",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'contract' under its signature",
   "detail": "contract",
   "family": "envelope_binding",
   "id": "E29-B-contract",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'authorization_result' under its signature",
   "detail": "authorization_result",
   "family": "envelope_binding",
   "id": "E29-B-authorization_result",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'execution_result' under its signature",
   "detail": "execution_result",
   "family": "envelope_binding",
   "id": "E29-B-execution_result",
   "ok": true
  },
  {
   "description": "the transaction envelope binds 'evidence_root' under its signature",
   "detail": "evidence_root",
   "family": "envelope_binding",
   "id": "E29-B-evidence_root",
   "ok": true
  },
  {
   "description": "the end-to-end procurement transaction completes every acceptance step",
   "detail": "[]",
   "family": "property",
   "id": "E29-P01",
   "ok": true
  },
  {
   "description": "every ledger TRANSFER is backed by an ALLOW receipt that reached E8 for the same transaction",
   "detail": "[]",
   "family": "property",
   "id": "E29-P02",
   "ok": true
  },
  {
   "description": "the ledger is hash-chained, signed and conserves value",
   "detail": "{'acct:acme-ops': 19400, 'acct:vendor-one': 1600, 'acct:vendor-two': 0, 'escrow:ctr-mtx_98ddfb655e5df797': 0}",
   "family": "property",
   "id": "E29-P03",
   "ok": true
  },
  {
   "description": "the stage records of the transaction verify as a signed hash chain",
   "detail": "COMPLETED",
   "family": "property",
   "id": "E29-P04",
   "ok": true
  },
  {
   "description": "the transaction envelope is issued at AUTHORIZE and re-issued at RECORD with the evidence root",
   "detail": "[1, 2]",
   "family": "property",
   "id": "E29-P05",
   "ok": true
  },
  {
   "description": "discovery never reports trust",
   "detail": "ok",
   "family": "property",
   "id": "E29-P06",
   "ok": true
  },
  {
   "description": "counterparty risk has thirteen dimensions and no score",
   "detail": "['authority', 'capabilities', 'contract_history', 'current_authorization', 'current_risk', 'delegation_history', 'evidence', 'identity', 'incident_history', 'provenance', 'reputation', 'supply_chain', 'trust_domain']",
   "family": "property",
   "id": "E29-P07",
   "ok": true
  },
  {
   "description": "reputation has thirteen dimensions and no aggregate",
   "detail": "None",
   "family": "property",
   "id": "E29-P08",
   "ok": true
  },
  {
   "description": "the governability index has fourteen dimensions and no score; its manifest is signed",
   "detail": "ok",
   "family": "property",
   "id": "E29-P09",
   "ok": true
  },
  {
   "description": "the transaction authority is a ceiling, never an execution grant",
   "detail": "WITHIN_AUTHORITY",
   "family": "property",
   "id": "E29-P10",
   "ok": true
  },
  {
   "description": "a contract never grants authority",
   "detail": "ok",
   "family": "property",
   "id": "E29-P11",
   "ok": true
  },
  {
   "description": "negotiation yields a PROPOSED contract, never an authorization",
   "detail": "PROPOSED_CONTRACT",
   "family": "property",
   "id": "E29-P12",
   "ok": true
  },
  {
   "description": "capability passports are TESTED only after a real in-scope ALLOW and an out-of-scope refusal",
   "detail": "TESTED",
   "family": "property",
   "id": "E29-P13",
   "ok": true
  },
  {
   "description": "directory records are signed by the domain issuer and name the current identity digest",
   "detail": "ok",
   "family": "property",
   "id": "E29-P14",
   "ok": true
  },
  {
   "description": "the escrow account ends at zero and the vendor received exactly the price",
   "detail": "{'acct:acme-ops': 19400, 'acct:vendor-one': 1600, 'acct:vendor-two': 0, 'escrow:ctr-mtx_98ddfb655e5df797': 0}",
   "family": "property",
   "id": "E29-P15",
   "ok": true
  },
  {
   "description": "every governed action of the transaction left a receipt in the E28 chain",
   "detail": "ok",
   "family": "property",
   "id": "E29-P16",
   "ok": true
  },
  {
   "description": "the evidence root is the Merkle root of the transaction's receipts",
   "detail": "ok",
   "family": "property",
   "id": "E29-P17",
   "ok": true
  },
  {
   "description": "the consequence vector was computed before authorization for the payment",
   "detail": "{'financial': 600, 'compute': 0, 'resource': 0, 'contractual': 2, 'data': 1, 'operational': 2, 'reputation': 0, 'downstream_agents': 0}",
   "family": "property",
   "id": "E29-P18",
   "ok": true
  },
  {
   "description": "the escrow release was performed by the escrow identity, not the buyer or seller",
   "detail": "ok",
   "family": "property",
   "id": "E29-P19",
   "ok": true
  },
  {
   "description": "reputation updates cite evidence",
   "detail": "{'good': 1, 'bad': 0}",
   "family": "property",
   "id": "E29-P20",
   "ok": true
  },
  {
   "description": "real currency codes are refused by the treasury",
   "detail": "ok",
   "family": "property",
   "id": "E29-P21",
   "ok": true
  },
  {
   "description": "agent names are validated",
   "detail": "ok",
   "family": "property",
   "id": "E29-P22",
   "ok": true
  },
  {
   "description": "graph intelligence returns signals only",
   "detail": "ok",
   "family": "property",
   "id": "E29-P23",
   "ok": true
  },
  {
   "description": "the router returns a destination and no authority, and never bypasses E8",
   "detail": "{'name': 'cain://acme.example/vendor-one-inc/vendor-one', 'identity': 'cid_75e6d9a5e8714557b2908faa916c21f2', 'cost': 10, 'latency_ms': 1}",
   "family": "property",
   "id": "E29-P24",
   "ok": true
  },
  {
   "description": "the conformance network labels CAIN GOVERNED only when every criterion passes",
   "detail": "('CAIN GOVERNED', 'NOT CAIN GOVERNED (14/15)')",
   "family": "property",
   "id": "E29-P25",
   "ok": true
  },
  {
   "description": "incident containment identifies descendants, delegations, counterparties and freezes accounts",
   "detail": "{'identities': 1, 'delegations': 1, 'open_transactions': 1, 'value_at_risk': 400, 'downstream': 1}",
   "family": "property",
   "id": "E29-P26",
   "ok": true
  },
  {
   "description": "recovery yields a new identity, never the old one",
   "detail": "[{'stage': 'DETECT', 'ok': True}, {'stage': 'CONTAIN', 'ok': True}, {'stage': 'REVOKE', 'ok': True}, {'stage': 'PRESERVE_EVIDENCE', 'ok': True}, {'stage': 'RECONSTRUCT', 'ok': True}, {'stage': 'VALIDATE', 'ok': True}, {'stage': 'RESTORE', '",
   "family": "property",
   "id": "E29-P27",
   "ok": true
  },
  {
   "description": "federated incident exchange quarantines the translated identity",
   "detail": "{'ok': True, 'quarantined': 'cid_e629f3265b0d46ee1728eea771e0f6fc', 'authority': 'NONE'}",
   "family": "property",
   "id": "E29-P28",
   "ok": true
  },
  {
   "description": "a forged incident notice is ignored",
   "detail": "{'ok': False, 'reasons': ['INCIDENT_NOTICE_UNVERIFIED']}",
   "family": "property",
   "id": "E29-P29",
   "ok": true
  },
  {
   "description": "anchor rotation needs the old anchor's signature",
   "detail": "(['ROTATION_NOT_SIGNED_BY_OLD_ANCHOR'], [])",
   "family": "property",
   "id": "E29-P30",
   "ok": true
  },
  {
   "description": "federation expires",
   "detail": "ok",
   "family": "property",
   "id": "E29-P31",
   "ok": true
  },
  {
   "description": "the partition ceiling never exceeds the connected ceiling in any mode",
   "detail": "36",
   "family": "property",
   "id": "E29-P32",
   "ok": true
  },
  {
   "description": "partition synchronization appends evidence and returns to CONNECTED",
   "detail": "{'synced': 1, 'conflicts': [], 'mode': 'CONNECTED'}",
   "family": "property",
   "id": "E29-P33",
   "ok": true
  },
  {
   "description": "firebreak capability isolation reaches the E25 boundary",
   "detail": "['write']",
   "family": "property",
   "id": "E29-P34",
   "ok": true
  },
  {
   "description": "firebreak protocol isolation reaches the E25 adapter list",
   "detail": "ok",
   "family": "property",
   "id": "E29-P35",
   "ok": true
  },
  {
   "description": "a two-human restore lifts a capability isolation in E25 too",
   "detail": "{'ok': True}",
   "family": "property",
   "id": "E29-P36",
   "ok": true
  },
  {
   "description": "an immune rule activated by two humans takes effect and is logged",
   "detail": "True",
   "family": "property",
   "id": "E29-P37",
   "ok": true
  },
  {
   "description": "the failure-to-test compiler produces every artifact kind",
   "detail": "['adversarial_scenario', 'at', 'benchmark', 'category', 'evidence', 'expect', 'failure', 'incident', 'invariant_candidate', 'policy_recommendation', 'reproduction', 'test']",
   "family": "property",
   "id": "E29-P38",
   "ok": true
  },
  {
   "description": "the software promotion gate promotes only with distinct roles, a human and an E8 deploy",
   "detail": "{'promoted': True, 'reasons': [], 'receipt': '7438005f56c92571cff3e6b9eb0c2e6a2fab48bb7b084221aae7f4a69e13f10d', 'reached_e8': True, 'authority': 'NONE'}",
   "family": "property",
   "id": "E29-P39",
   "ok": true
  },
  {
   "description": "organization budgets are booked on every layer of the path",
   "detail": "{'acme-holding': {'parent': '', 'ceiling': 50000, 'spent': 600, 'kind': 'institution'}, 'acme': {'parent': 'acme-holding', 'ceiling': 20000, 'spent': 600, 'kind': 'organization'}, 'acme-procurement': {'parent': 'acme', 'ceiling': 5000, 'spe",
   "family": "property",
   "id": "E29-P40",
   "ok": true
  },
  {
   "description": "the dispute engine resolves on verified evidence alone",
   "detail": "{'state': 'RESOLVED', 'obligations': {'deliver': 'FULFILLED', 'pay': 'FULFILLED'}, 'confidence_used': False, 'authority': 'NONE'}",
   "family": "property",
   "id": "E29-P41",
   "ok": true
  },
  {
   "description": "the E28 transparency log still verifies after the whole transaction",
   "detail": "ok",
   "family": "property",
   "id": "E29-P42",
   "ok": true
  },
  {
   "description": "graph node and edge kinds are closed sets",
   "detail": "ok",
   "family": "property",
   "id": "E29-P43",
   "ok": true
  },
  {
   "description": "the moat graph never labels an idea as a moat",
   "detail": "['TESTED', 'PROTOTYPE', 'TESTED', 'REPRODUCIBLE', 'PROTOTYPE', 'PROTOTYPE', 'IDEA', 'IDEA', 'IMPLEMENTED', 'REPRODUCIBLE', 'IMPLEMENTED', 'TESTED', 'TESTED', 'TESTED', 'IDEA', 'TESTED', 'PROTOTYPE', 'REPRODUCIBLE']",
   "family": "property",
   "id": "E29-P44",
   "ok": true
  },
  {
   "description": "the competitive radar holds no unverified competitor facts",
   "detail": "ok",
   "family": "property",
   "id": "E29-P45",
   "ok": true
  },
  {
   "description": "no feature is labelled novel without passing the eight-step novelty gate",
   "detail": "[[], [], [], []]",
   "family": "property",
   "id": "E29-P46",
   "ok": true
  },
  {
   "description": "every product candidate carries an evidence status, none PRODUCTION",
   "detail": "['TESTED', 'LIVE_PARTIAL', 'TESTED', 'TESTED', 'TESTED', 'TESTED', 'TESTED', 'TESTED', 'IMPLEMENTED', 'NOT_BUILT']",
   "family": "property",
   "id": "E29-P47",
   "ok": true
  },
  {
   "description": "a completed transaction cannot be advanced further",
   "detail": "COMPLETED",
   "family": "property",
   "id": "E29-P48",
   "ok": true
  },
  {
   "description": "the payment's identity envelope was bound to the transaction request",
   "detail": "ok",
   "family": "property",
   "id": "E29-P49",
   "ok": true
  },
  {
   "description": "the delivery went through MCP and the buyer's check through HTTP, both via E8",
   "detail": "ok",
   "family": "property",
   "id": "E29-P50",
   "ok": true
  }
 ],
 "total": 106
}