| I41-001 | identity is not authority | Policy, law & governance | held |
| I41-002 | trust is not authorization | Policy, law & governance | held |
| I41-003 | capability is not permission | Policy, law & governance | held |
| I41-004 | discovery is not trust | Policy, law & governance | held |
| I41-005 | negotiation is not authorization | Policy, law & governance | held |
| I41-006 | contract is not authorization | Policy, law & governance | held |
| I41-007 | consensus is not authorization | Policy, law & governance | held |
| I41-008 | economic value is not authority | Policy, law & governance | held |
| I41-009 | reputation is not authority | Policy, law & governance | held |
| I41-010 | confidence is not truth | Policy, law & governance | held |
| I41-011 | prediction is not reality | Policy, law & governance | held |
| I41-012 | simulation is not reality | Policy, law & governance | held |
| I41-013 | payment is not execution authorization | Policy, law & governance | held |
| I41-014 | execution is not success | Policy, law & governance | held |
| I41-015 | success is not truth | Policy, law & governance | held |
| I41-016 | memory is not authority | Policy, law & governance | held |
| I41-017 | model output is not authority | Policy, law & governance | held |
| I41-018 | self-attestation is not independent verification | Policy, law & governance | held |
| I41-019 | delegation is not unbounded authority | Policy, law & governance | held |
| I41-020 | child authority does not exceed parent authority | Policy, law & governance | held |
| I41-021 | revocation beats active authority | Policy, law & governance | held |
| I41-022 | unknown is not verified | Policy, law & governance | held |
| I41-023 | outside the enforcement boundary is not controlled | Policy, law & governance | held |
| I41-024 | no enforcement, no control claim | Policy, law & governance | held |
| I41-025 | no authorization, no execution | Policy, law & governance | held |
| I41-026 | no evidence, no trust upgrade | Policy, law & governance | held |
| I41-027 | a relationship state is never collapsed | Policy, law & governance | held |
| I41-028 | a machine never creates authority for itself or another machine | Policy, law & governance | held |
| I41-029 | federation never silently broadens authority | Policy, law & governance | held |
| I41-030 | termination is not re-authorization | Policy, law & governance | held |
| E41-LAW2-I41-001 | law I41-001 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-002 | law I41-002 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-003 | law I41-003 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-004 | law I41-004 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-005 | law I41-005 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-006 | law I41-006 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-007 | law I41-007 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-008 | law I41-008 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-009 | law I41-009 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-010 | law I41-010 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-011 | law I41-011 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-012 | law I41-012 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-013 | law I41-013 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-014 | law I41-014 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-015 | law I41-015 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-016 | law I41-016 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-017 | law I41-017 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-018 | law I41-018 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-019 | law I41-019 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-020 | law I41-020 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-021 | law I41-021 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-022 | law I41-022 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-023 | law I41-023 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-024 | law I41-024 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-025 | law I41-025 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-026 | law I41-026 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-027 | law I41-027 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-028 | law I41-028 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-029 | law I41-029 maps to held scenarios | Policy, law & governance | held |
| E41-LAW2-I41-030 | law I41-030 maps to held scenarios | Policy, law & governance | held |
| E41-LAW3-I41-001 | law I41-001 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-002 | law I41-002 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-003 | law I41-003 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-004 | law I41-004 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-005 | law I41-005 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-006 | law I41-006 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-007 | law I41-007 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-008 | law I41-008 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-009 | law I41-009 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-010 | law I41-010 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-011 | law I41-011 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-012 | law I41-012 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-013 | law I41-013 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-014 | law I41-014 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-015 | law I41-015 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-016 | law I41-016 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-017 | law I41-017 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-018 | law I41-018 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-019 | law I41-019 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-020 | law I41-020 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-021 | law I41-021 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-022 | law I41-022 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-023 | law I41-023 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-024 | law I41-024 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-025 | law I41-025 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-026 | law I41-026 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-027 | law I41-027 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-028 | law I41-028 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-029 | law I41-029 is enforced by the exchange | Policy, law & governance | held |
| E41-LAW3-I41-030 | law I41-030 is enforced by the exchange | Policy, law & governance | held |
| E41-DOMAIN-RELATIONSHIP | signed domain RELATIONSHIP exists | Evidence, receipts & proofs | held |
| E41-DOMAIN-DISCOVERY | signed domain DISCOVERY exists | Evidence, receipts & proofs | held |
| E41-DOMAIN-ATTEST | signed domain ATTEST exists | Evidence, receipts & proofs | held |
| E41-DOMAIN-TRUST-NEGOTIATION | signed domain TRUST-NEGOTIATION exists | Evidence, receipts & proofs | held |
| E41-DOMAIN-HANDSHAKE-V3 | signed domain HANDSHAKE-V3 exists | Identity, authority & delegation | held |
| E41-DOMAIN-CONTRACT | signed domain CONTRACT exists | Evidence, receipts & proofs | held |
| E41-DOMAIN-WORK-INTENT | signed domain WORK-INTENT exists | Evidence, receipts & proofs | held |
| E41-DOMAIN-WORK-OFFER | signed domain WORK-OFFER exists | Evidence, receipts & proofs | held |
| E41-DOMAIN-WORK-LEASE | signed domain WORK-LEASE exists | Identity, authority & delegation | held |
| E41-DOMAIN-WORK-RECEIPT | signed domain WORK-RECEIPT exists | Evidence, receipts & proofs | held |
| E41-DOMAIN-RECEIPT | signed domain RECEIPT exists | Evidence, receipts & proofs | held |
| E41-DOMAIN-SETTLEMENT | signed domain SETTLEMENT exists | Evidence, receipts & proofs | held |
| E41-DOMAIN-DISPUTE | signed domain DISPUTE exists | Evidence, receipts & proofs | held |
| E41-DOMAIN-REPUTATION | signed domain REPUTATION exists | Evidence, receipts & proofs | held |
| E41-DOMAIN-FEDERATION | signed domain FEDERATION exists | Evidence, receipts & proofs | held |
| E41-DOMAIN-POLICY-TRANSLATION | signed domain POLICY-TRANSLATION exists | Evidence, receipts & proofs | held |
| E41-DOMAIN-AUTHORITY-TRANSLATION | signed domain AUTHORITY-TRANSLATION exists | Identity, authority & delegation | held |
| E41-DOMAIN-REVOCATION | signed domain REVOCATION exists | Identity, authority & delegation | held |
| E41-DOMAIN-SYSTEMIC-RISK | signed domain SYSTEMIC-RISK exists | Evidence, receipts & proofs | held |
| E41-DOMAIN-CONTAGION | signed domain CONTAGION exists | Evidence, receipts & proofs | held |
| E41-DOMAIN-CIRCUIT-BREAKER | signed domain CIRCUIT-BREAKER exists | Evidence, receipts & proofs | held |
| E41-DOMAIN-TIME-MACHINE | signed domain TIME-MACHINE exists | Evidence, receipts & proofs | held |
| E41-DOMAIN-REPLAY | signed domain REPLAY exists | Evidence, receipts & proofs | held |
| E41-DOMAIN-CONFORMANCE | signed domain CONFORMANCE exists | Evidence, receipts & proofs | held |
| E41-DOMAIN-THREAT | signed domain THREAT exists | Attacks, threats & containment | held |
| E41-DOMAIN-SUPPLY-CHAIN | signed domain SUPPLY-CHAIN exists | Evidence, receipts & proofs | held |
| E41-DOMAIN-ECONOMY | signed domain ECONOMY exists | Evidence, receipts & proofs | held |
| E41-DOMAIN-MASTER | signed domain MASTER exists | Evidence, receipts & proofs | held |
| E41-RELSTATE-DISCOVERED | relationship state DISCOVERED exists and is never collapsed | Core guarantees | held |
| E41-RELSTATE-IDENTIFIED | relationship state IDENTIFIED exists and is never collapsed | Core guarantees | held |
| E41-RELSTATE-ATTESTED | relationship state ATTESTED exists and is never collapsed | Core guarantees | held |
| E41-RELSTATE-TRUSTED | relationship state TRUSTED exists and is never collapsed | Trust & reputation | held |
| E41-RELSTATE-NEGOTIATING | relationship state NEGOTIATING exists and is never collapsed | Transactions, markets & economics | held |
| E41-RELSTATE-CONTRACTED | relationship state CONTRACTED exists and is never collapsed | Transactions, markets & economics | held |
| E41-RELSTATE-AUTHORIZED | relationship state AUTHORIZED exists and is never collapsed | Identity, authority & delegation | held |
| E41-RELSTATE-EXECUTING | relationship state EXECUTING exists and is never collapsed | Core guarantees | held |
| E41-RELSTATE-VERIFIED | relationship state VERIFIED exists and is never collapsed | Core guarantees | held |
| E41-RELSTATE-SETTLED | relationship state SETTLED exists and is never collapsed | Transactions, markets & economics | held |
| E41-RELSTATE-REVOKED | relationship state REVOKED exists and is never collapsed | Identity, authority & delegation | held |
| E41-RELSTATE-QUARANTINED | relationship state QUARANTINED exists and is never collapsed | Attacks, threats & containment | held |
| E41-RELSTATE-UNKNOWN | relationship state UNKNOWN exists and is never collapsed | Core guarantees | held |
| E41-RELSTATE-UNCONTROLLED | relationship state UNCONTROLLED exists and is never collapsed | Core guarantees | held |
| E41-DISCOVERY-identity | discovery metadata requires identity | Tools, MCP, protocols & adapters | held |
| E41-DISCOVERY-owner | discovery metadata requires owner | Tools, MCP, protocols & adapters | held |
| E41-DISCOVERY-trust_domain | discovery metadata requires trust_domain | Tools, MCP, protocols & adapters | held |
| E41-DISCOVERY-capabilities | discovery metadata requires capabilities | Tools, MCP, protocols & adapters | held |
| E41-DISCOVERY-interfaces | discovery metadata requires interfaces | Tools, MCP, protocols & adapters | held |
| E41-DISCOVERY-protocols | discovery metadata requires protocols | Tools, MCP, protocols & adapters | held |
| E41-DISCOVERY-authority_model | discovery metadata requires authority_model | Tools, MCP, protocols & adapters | held |
| E41-DISCOVERY-governance_requirements | discovery metadata requires governance_requirements | Tools, MCP, protocols & adapters | held |
| E41-DISCOVERY-execution_boundaries | discovery metadata requires execution_boundaries | Tools, MCP, protocols & adapters | held |
| E41-DISCOVERY-evidence | discovery metadata requires evidence | Tools, MCP, protocols & adapters | held |
| E41-DISCOVERY-attestation | discovery metadata requires attestation | Tools, MCP, protocols & adapters | held |
| E41-DISCOVERY-version | discovery metadata requires version | Tools, MCP, protocols & adapters | held |
| E41-DISCOVERY-dependencies | discovery metadata requires dependencies | Tools, MCP, protocols & adapters | held |
| E41-DISCOVERY-limitations | discovery metadata requires limitations | Tools, MCP, protocols & adapters | held |
| E41-DISCOVERY-conformance_status | discovery metadata requires conformance_status | Tools, MCP, protocols & adapters | held |
| E41-DISCOVERY-revocation_state | discovery metadata requires revocation_state | Tools, MCP, protocols & adapters | held |
| E41-DISCOVERY-policy_languages | discovery metadata requires policy_languages | Tools, MCP, protocols & adapters | held |
| E41-DISCOVERY-authorization_mechanisms | discovery metadata requires authorization_mechanisms | Tools, MCP, protocols & adapters | held |
| E41-NEG-identity | negotiation requires identity | Transactions, markets & economics | held |
| E41-NEG-attestation | negotiation requires attestation | Transactions, markets & economics | held |
| E41-NEG-evidence | negotiation requires evidence | Transactions, markets & economics | held |
| E41-NEG-capability | negotiation requires capability | Transactions, markets & economics | held |
| E41-NEG-authority | negotiation requires authority | Transactions, markets & economics | held |
| E41-NEG-data | negotiation requires data | Transactions, markets & economics | held |
| E41-NEG-execution | negotiation requires execution | Transactions, markets & economics | held |
| E41-NEG-geographic | negotiation requires geographic | Transactions, markets & economics | held |
| E41-NEG-temporal | negotiation requires temporal | Transactions, markets & economics | held |
| E41-NEG-economic | negotiation requires economic | Transactions, markets & economics | held |
| E41-NEG-human_approval | negotiation requires human_approval | Transactions, markets & economics | held |
| E41-NEG-incident | negotiation requires incident | Transactions, markets & economics | held |
| E41-NEG-logging | negotiation requires logging | Transactions, markets & economics | held |
| E41-NEG-revocation | negotiation requires revocation | Transactions, markets & economics | held |
| E41-NEG-recovery | negotiation requires recovery | Transactions, markets & economics | held |
| E41-HANDSHAKE-IDENTITY | handshake step IDENTITY is required | Identity, authority & delegation | held |
| E41-HANDSHAKE-CAPABILITY | handshake step CAPABILITY is required | Identity, authority & delegation | held |
| E41-HANDSHAKE-AUTHORITY | handshake step AUTHORITY is required | Identity, authority & delegation | held |
| E41-HANDSHAKE-POLICY | handshake step POLICY is required | Identity, authority & delegation | held |
| E41-HANDSHAKE-EVIDENCE | handshake step EVIDENCE is required | Identity, authority & delegation | held |
| E41-HANDSHAKE-ENFORCEMENT | handshake step ENFORCEMENT is required | Identity, authority & delegation | held |
| E41-HANDSHAKE-PROOF | handshake step PROOF is required | Identity, authority & delegation | held |
| E41-HANDSHAKE-REVOCATION | handshake step REVOCATION is required | Identity, authority & delegation | held |
| E41-HANDSHAKE-RECOVERY | handshake step RECOVERY is required | Identity, authority & delegation | held |
| E41-RECEIPT-principal | a receipt requires principal | Evidence, receipts & proofs | held |
| E41-RECEIPT-machine_identity | a receipt requires machine_identity | Evidence, receipts & proofs | held |
| E41-RECEIPT-counterparty | a receipt requires counterparty | Evidence, receipts & proofs | held |
| E41-RECEIPT-delegation_chain | a receipt requires delegation_chain | Evidence, receipts & proofs | held |
| E41-RECEIPT-capability | a receipt requires capability | Evidence, receipts & proofs | held |
| E41-RECEIPT-contract | a receipt requires contract | Evidence, receipts & proofs | held |
| E41-RECEIPT-policy | a receipt requires policy | Evidence, receipts & proofs | held |
| E41-RECEIPT-authority | a receipt requires authority | Evidence, receipts & proofs | held |
| E41-RECEIPT-risk | a receipt requires risk | Evidence, receipts & proofs | held |
| E41-RECEIPT-execution_environment | a receipt requires execution_environment | Evidence, receipts & proofs | held |
| E41-RECEIPT-execution_epoch | a receipt requires execution_epoch | Evidence, receipts & proofs | held |
| E41-RECEIPT-action | a receipt requires action | Evidence, receipts & proofs | held |
| E41-RECEIPT-decision | a receipt requires decision | Evidence, receipts & proofs | held |
| E41-RECEIPT-authorization | a receipt requires authorization | Evidence, receipts & proofs | held |
| E41-RECEIPT-execution_result | a receipt requires execution_result | Evidence, receipts & proofs | held |
| E41-RECEIPT-evidence | a receipt requires evidence | Evidence, receipts & proofs | held |
| E41-RECEIPT-revocation_state | a receipt requires revocation_state | Evidence, receipts & proofs | held |
| E41-RECEIPT-verification_state | a receipt requires verification_state | Evidence, receipts & proofs | held |
| E41-BOUNDARY-containment | systemic risk reports the containment boundary | Attacks, threats & containment | held |
| E41-BOUNDARY-dependency | systemic risk reports the dependency boundary | Supply chain, registry & lifecycle | held |
| E41-BOUNDARY-authority | systemic risk reports the authority boundary | Identity, authority & delegation | held |
| E41-BOUNDARY-economic | systemic risk reports the economic boundary | Transactions, markets & economics | held |
| E41-BOUNDARY-execution | systemic risk reports the execution boundary | Core guarantees | held |
| E41-BOUNDARY-recovery | systemic risk reports the recovery boundary | Autonomy, control loops & recovery | held |
| E41-SYBIL-SUSPECTED | sybil strength SUSPECTED exists | Attacks, threats & containment | held |
| E41-SYBIL-SUPPORTED | sybil strength SUPPORTED exists | Attacks, threats & containment | held |
| E41-SYBIL-VERIFIED | sybil strength VERIFIED exists | Attacks, threats & containment | held |
| E41-SYBIL-UNKNOWN | sybil strength UNKNOWN exists | Attacks, threats & containment | held |
| E41-THREAT-sybil | exchange attack sybil is contained | Attacks, threats & containment | held |
| E41-THREAT-identity_cloning | exchange attack identity_cloning is contained | Attacks, threats & containment | held |
| E41-THREAT-delegation_amplification | exchange attack delegation_amplification is contained | Attacks, threats & containment | held |
| E41-THREAT-reputation_laundering | exchange attack reputation_laundering is contained | Attacks, threats & containment | held |
| E41-THREAT-collusion | exchange attack collusion is contained | Attacks, threats & containment | held |
| E41-THREAT-fake_evidence | exchange attack fake_evidence is contained | Attacks, threats & containment | held |
| E41-THREAT-fake_completion | exchange attack fake_completion is contained | Attacks, threats & containment | held |
| E41-THREAT-contract_manipulation | exchange attack contract_manipulation is contained | Attacks, threats & containment | held |
| E41-THREAT-negotiation_poisoning | exchange attack negotiation_poisoning is contained | Attacks, threats & containment | held |
| E41-THREAT-capability_substitution | exchange attack capability_substitution is contained | Attacks, threats & containment | held |
| E41-THREAT-counterparty_substitution | exchange attack counterparty_substitution is contained | Attacks, threats & containment | held |
| E41-THREAT-payment_replay | exchange attack payment_replay is contained | Attacks, threats & containment | held |
| E41-THREAT-settlement_replay | exchange attack settlement_replay is contained | Attacks, threats & containment | held |
| E41-THREAT-budget_exhaustion | exchange attack budget_exhaustion is contained | Attacks, threats & containment | held |
| E41-THREAT-recursive_procurement | exchange attack recursive_procurement is contained | Attacks, threats & containment | held |
| E41-THREAT-governance_bypass | exchange attack governance_bypass is contained | Attacks, threats & containment | held |
| E41-THREAT-revocation_race | exchange attack revocation_race is contained | Attacks, threats & containment | held |
| E41-THREAT-partition | exchange attack partition is contained | Attacks, threats & containment | held |
| E41-THREAT-clock_manipulation | exchange attack clock_manipulation is contained | Attacks, threats & containment | held |
| E41-THREAT-rollback | exchange attack rollback is contained | Attacks, threats & containment | held |
| E41-THREAT-model_substitution | exchange attack model_substitution is contained | Attacks, threats & containment | held |
| E41-THREAT-runtime_substitution | exchange attack runtime_substitution is contained | Attacks, threats & containment | held |
| E41-F2T-INCIDENT | failure-to-test stage INCIDENT exists | Attacks, threats & containment | held |
| E41-F2T-ROOT_CAUSE | failure-to-test stage ROOT_CAUSE exists | Core guarantees | held |
| E41-F2T-GOVERNANCE_GAP | failure-to-test stage GOVERNANCE_GAP exists | Policy, law & governance | held |
| E41-F2T-TEST | failure-to-test stage TEST exists | Core guarantees | held |
| E41-F2T-INVARIANT | failure-to-test stage INVARIANT exists | Core guarantees | held |
| E41-F2T-ATTACK_SCENARIO | failure-to-test stage ATTACK_SCENARIO exists | Attacks, threats & containment | held |
| E41-F2T-REGRESSION | failure-to-test stage REGRESSION exists | Benchmarks, coverage & performance | held |
| E41-F2T-EVIDENCE | failure-to-test stage EVIDENCE exists | Evidence, receipts & proofs | held |
| E41-LIFECYCLE-DISCOVER | lifecycle step DISCOVER exists | Policy, law & governance | held |
| E41-LIFECYCLE-IDENTIFY | lifecycle step IDENTIFY exists | Policy, law & governance | held |
| E41-LIFECYCLE-ATTEST | lifecycle step ATTEST exists | Policy, law & governance | held |
| E41-LIFECYCLE-ASSESS | lifecycle step ASSESS exists | Policy, law & governance | held |
| E41-LIFECYCLE-NEGOTIATE | lifecycle step NEGOTIATE exists | Policy, law & governance | held |
| E41-LIFECYCLE-CONTRACT | lifecycle step CONTRACT exists | Policy, law & governance | held |
| E41-LIFECYCLE-DELEGATE | lifecycle step DELEGATE exists | Policy, law & governance | held |
| E41-LIFECYCLE-AUTHORIZE | lifecycle step AUTHORIZE exists | Policy, law & governance | held |
| E41-LIFECYCLE-EXECUTE | lifecycle step EXECUTE exists | Policy, law & governance | held |
| E41-LIFECYCLE-OBSERVE | lifecycle step OBSERVE exists | Policy, law & governance | held |
| E41-LIFECYCLE-VERIFY | lifecycle step VERIFY exists | Policy, law & governance | held |
| E41-LIFECYCLE-SETTLE | lifecycle step SETTLE exists | Policy, law & governance | held |
| E41-LIFECYCLE-RECORD | lifecycle step RECORD exists | Policy, law & governance | held |
| E41-LIFECYCLE-LEARN | lifecycle step LEARN exists | Policy, law & governance | held |
| E41-LIFECYCLE-REASSESS | lifecycle step REASSESS exists | Policy, law & governance | held |
| E41-LIFECYCLE-REVOKE_RENEW_ESCALATE | lifecycle step REVOKE_RENEW_ESCALATE exists | Policy, law & governance | held |
| E41-CAT-law | every law scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-relationship | every relationship scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-discovery | every discovery scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-attest | every attest scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-negotiation | every negotiation scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-handshake | every handshake scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-contract | every contract scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-work | every work scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-receipt | every receipt scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-settlement | every settlement scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-dispute | every dispute scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-reputation | every reputation scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-federation | every federation scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-translation | every translation scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-revocation | every revocation scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-systemic | every systemic scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-breaker | every breaker scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-sybil | every sybil scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-time_machine | every time_machine scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-threat | every threat scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-learning | every learning scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-f2t | every f2t scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-conformance | every conformance scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-reject | every reject scenario holds | Benchmarks, coverage & performance | held |
| E41-CAT-scale | every scale scenario holds | Benchmarks, coverage & performance | held |
| E41-FAM-attest-attestation | family attest/attestation holds | Benchmarks, coverage & performance | held |
| E41-FAM-breaker-circuit_breaker | family breaker/circuit_breaker holds | Benchmarks, coverage & performance | held |
| E41-FAM-breaker-reset_needs_auth | family breaker/reset_needs_auth holds | Benchmarks, coverage & performance | held |
| E41-FAM-conformance-domains | family conformance/domains holds | Benchmarks, coverage & performance | held |
| E41-FAM-conformance-lifecycle | family conformance/lifecycle holds | Benchmarks, coverage & performance | held |
| E41-FAM-contract-machine_contract | family contract/machine_contract holds | Benchmarks, coverage & performance | held |
| E41-FAM-discovery-field | family discovery/field holds | Benchmarks, coverage & performance | held |
| E41-FAM-discovery-publish | family discovery/publish holds | Benchmarks, coverage & performance | held |
| E41-FAM-dispute-dispute_needs_decision | family dispute/dispute_needs_decision holds | Benchmarks, coverage & performance | held |
| E41-FAM-f2t-f2t_stage | family f2t/f2t_stage holds | Benchmarks, coverage & performance | held |
| E41-FAM-federation-untrusted | family federation/untrusted holds | Benchmarks, coverage & performance | held |
| E41-FAM-handshake-established | family handshake/established holds | Benchmarks, coverage & performance | held |
| E41-FAM-handshake-unknown_step | family handshake/unknown_step holds | Benchmarks, coverage & performance | held |
| E41-FAM-law-bulk_law | family law/bulk_law holds | Benchmarks, coverage & performance | held |
| E41-FAM-law-no_authority | family law/no_authority holds | Benchmarks, coverage & performance | held |
| E41-FAM-learning-learning_no_authority | family learning/learning_no_authority holds | Benchmarks, coverage & performance | held |
| E41-FAM-negotiation-agreed | family negotiation/agreed holds | Benchmarks, coverage & performance | held |
| E41-FAM-negotiation-intersection | family negotiation/intersection holds | Benchmarks, coverage & performance | held |
| E41-FAM-negotiation-requirement | family negotiation/requirement holds | Benchmarks, coverage & performance | held |
| E41-FAM-receipt-receipt_authorization | family receipt/receipt_authorization holds | Benchmarks, coverage & performance | held |
| E41-FAM-receipt-receipt_field | family receipt/receipt_field holds | Benchmarks, coverage & performance | held |
| E41-FAM-receipt-receipt_verify | family receipt/receipt_verify holds | Benchmarks, coverage & performance | held |
| E41-FAM-reject-no_authority | family reject/no_authority holds | Benchmarks, coverage & performance | held |
| E41-FAM-relationship-bad_state | family relationship/bad_state holds | Benchmarks, coverage & performance | held |
| E41-FAM-relationship-bulk_relationship | family relationship/bulk_relationship holds | Benchmarks, coverage & performance | held |
| E41-FAM-relationship-no_skip | family relationship/no_skip holds | Benchmarks, coverage & performance | held |
| E41-FAM-relationship-state | family relationship/state holds | Benchmarks, coverage & performance | held |
| E41-FAM-relationship-terminal_final | family relationship/terminal_final holds | Benchmarks, coverage & performance | held |
| E41-FAM-reputation-reputation_no_authority | family reputation/reputation_no_authority holds | Benchmarks, coverage & performance | held |
| E41-FAM-revocation-revocation_propagates | family revocation/revocation_propagates holds | Benchmarks, coverage & performance | held |
| E41-FAM-scale-relationship_scale | family scale/relationship_scale holds | Benchmarks, coverage & performance | held |
| E41-FAM-settlement-settlement_synthetic | family settlement/settlement_synthetic holds | Benchmarks, coverage & performance | held |
| E41-FAM-sybil-sybil_strength | family sybil/sybil_strength holds | Benchmarks, coverage & performance | held |
| E41-FAM-systemic-contagion | family systemic/contagion holds | Benchmarks, coverage & performance | held |
| E41-FAM-threat-exchange_attack | family threat/exchange_attack holds | Benchmarks, coverage & performance | held |
| E41-FAM-time_machine-known_at_t | family time_machine/known_at_t holds | Benchmarks, coverage & performance | held |
| E41-FAM-translation-declares_drops | family translation/declares_drops holds | Benchmarks, coverage & performance | held |
| E41-FAM-work-lease_bounded | family work/lease_bounded holds | Benchmarks, coverage & performance | held |
| E41-FAM-work-lease_budget | family work/lease_budget holds | Benchmarks, coverage & performance | held |
| E41-FAM-work-receipt | family work/receipt holds | Benchmarks, coverage & performance | held |
| E41-FAM-work-receipt_e8 | family work/receipt_e8 holds | Benchmarks, coverage & performance | held |
| E41-FAM-work-receipt_evidence | family work/receipt_evidence holds | Benchmarks, coverage & performance | held |
| E41-FAM2-attest-attestation | family attest/attestation is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-breaker-circuit_breaker | family breaker/circuit_breaker is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-breaker-reset_needs_auth | family breaker/reset_needs_auth is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-conformance-domains | family conformance/domains is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-conformance-lifecycle | family conformance/lifecycle is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-contract-machine_contract | family contract/machine_contract is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-discovery-field | family discovery/field is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-discovery-publish | family discovery/publish is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-dispute-dispute_needs_decision | family dispute/dispute_needs_decision is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-f2t-f2t_stage | family f2t/f2t_stage is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-federation-untrusted | family federation/untrusted is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-handshake-established | family handshake/established is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-handshake-unknown_step | family handshake/unknown_step is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-law-bulk_law | family law/bulk_law is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-law-no_authority | family law/no_authority is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-learning-learning_no_authority | family learning/learning_no_authority is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-negotiation-agreed | family negotiation/agreed is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-negotiation-intersection | family negotiation/intersection is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-negotiation-requirement | family negotiation/requirement is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-receipt-receipt_authorization | family receipt/receipt_authorization is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-receipt-receipt_field | family receipt/receipt_field is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-receipt-receipt_verify | family receipt/receipt_verify is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-reject-no_authority | family reject/no_authority is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-relationship-bad_state | family relationship/bad_state is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-relationship-bulk_relationship | family relationship/bulk_relationship is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-relationship-no_skip | family relationship/no_skip is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-relationship-state | family relationship/state is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-relationship-terminal_final | family relationship/terminal_final is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-reputation-reputation_no_authority | family reputation/reputation_no_authority is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-revocation-revocation_propagates | family revocation/revocation_propagates is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-scale-relationship_scale | family scale/relationship_scale is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-settlement-settlement_synthetic | family settlement/settlement_synthetic is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-sybil-sybil_strength | family sybil/sybil_strength is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-systemic-contagion | family systemic/contagion is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-threat-exchange_attack | family threat/exchange_attack is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-time_machine-known_at_t | family time_machine/known_at_t is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-translation-declares_drops | family translation/declares_drops is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-work-lease_bounded | family work/lease_bounded is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-work-lease_budget | family work/lease_budget is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-work-receipt | family work/receipt is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-work-receipt_e8 | family work/receipt_e8 is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-FAM2-work-receipt_evidence | family work/receipt_evidence is a held, non-empty check | Benchmarks, coverage & performance | held |
| E41-CAT2-law | category law has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-relationship | category relationship has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-discovery | category discovery has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-attest | category attest has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-negotiation | category negotiation has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-handshake | category handshake has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-contract | category contract has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-work | category work has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-receipt | category receipt has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-settlement | category settlement has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-dispute | category dispute has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-reputation | category reputation has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-federation | category federation has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-translation | category translation has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-revocation | category revocation has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-systemic | category systemic has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-breaker | category breaker has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-sybil | category sybil has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-time_machine | category time_machine has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-threat | category threat has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-learning | category learning has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-f2t | category f2t has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-conformance | category conformance has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-reject | category reject has held scenarios | Benchmarks, coverage & performance | held |
| E41-CAT2-scale | category scale has held scenarios | Benchmarks, coverage & performance | held |
| E41-REL2-DISCOVERED | relationship state DISCOVERED is reachable/held or explicitly refused | Core guarantees | held |
| E41-REL2-IDENTIFIED | relationship state IDENTIFIED is reachable/held or explicitly refused | Core guarantees | held |
| E41-REL2-ATTESTED | relationship state ATTESTED is reachable/held or explicitly refused | Core guarantees | held |
| E41-REL2-TRUSTED | relationship state TRUSTED is reachable/held or explicitly refused | Trust & reputation | held |
| E41-REL2-NEGOTIATING | relationship state NEGOTIATING is reachable/held or explicitly refused | Transactions, markets & economics | held |
| E41-REL2-CONTRACTED | relationship state CONTRACTED is reachable/held or explicitly refused | Transactions, markets & economics | held |
| E41-REL2-AUTHORIZED | relationship state AUTHORIZED is reachable/held or explicitly refused | Identity, authority & delegation | held |
| E41-REL2-EXECUTING | relationship state EXECUTING is reachable/held or explicitly refused | Core guarantees | held |
| E41-REL2-VERIFIED | relationship state VERIFIED is reachable/held or explicitly refused | Core guarantees | held |
| E41-REL2-SETTLED | relationship state SETTLED is reachable/held or explicitly refused | Transactions, markets & economics | held |
| E41-REL2-REVOKED | relationship state REVOKED is reachable/held or explicitly refused | Identity, authority & delegation | held |
| E41-REL2-QUARANTINED | relationship state QUARANTINED is reachable/held or explicitly refused | Attacks, threats & containment | held |
| E41-REL2-UNKNOWN | relationship state UNKNOWN is reachable/held or explicitly refused | Core guarantees | held |
| E41-REL2-UNCONTROLLED | relationship state UNCONTROLLED is reachable/held or explicitly refused | Core guarantees | held |
| E41-HS2-IDENTITY | handshake step IDENTITY cannot be omitted | Identity, authority & delegation | held |
| E41-HS2-CAPABILITY | handshake step CAPABILITY cannot be omitted | Identity, authority & delegation | held |
| E41-HS2-AUTHORITY | handshake step AUTHORITY cannot be omitted | Identity, authority & delegation | held |
| E41-HS2-POLICY | handshake step POLICY cannot be omitted | Identity, authority & delegation | held |
| E41-HS2-EVIDENCE | handshake step EVIDENCE cannot be omitted | Identity, authority & delegation | held |
| E41-HS2-ENFORCEMENT | handshake step ENFORCEMENT cannot be omitted | Identity, authority & delegation | held |
| E41-HS2-PROOF | handshake step PROOF cannot be omitted | Identity, authority & delegation | held |
| E41-HS2-REVOCATION | handshake step REVOCATION cannot be omitted | Identity, authority & delegation | held |
| E41-HS2-RECOVERY | handshake step RECOVERY cannot be omitted | Identity, authority & delegation | held |
| E41-NEG2-identity | negotiation requirement identity cannot be omitted | Transactions, markets & economics | held |
| E41-NEG2-attestation | negotiation requirement attestation cannot be omitted | Transactions, markets & economics | held |
| E41-NEG2-evidence | negotiation requirement evidence cannot be omitted | Transactions, markets & economics | held |
| E41-NEG2-capability | negotiation requirement capability cannot be omitted | Transactions, markets & economics | held |
| E41-NEG2-authority | negotiation requirement authority cannot be omitted | Transactions, markets & economics | held |
| E41-NEG2-data | negotiation requirement data cannot be omitted | Transactions, markets & economics | held |
| E41-NEG2-execution | negotiation requirement execution cannot be omitted | Transactions, markets & economics | held |
| E41-NEG2-geographic | negotiation requirement geographic cannot be omitted | Transactions, markets & economics | held |
| E41-NEG2-temporal | negotiation requirement temporal cannot be omitted | Transactions, markets & economics | held |
| E41-NEG2-economic | negotiation requirement economic cannot be omitted | Transactions, markets & economics | held |
| E41-NEG2-human_approval | negotiation requirement human_approval cannot be omitted | Transactions, markets & economics | held |
| E41-NEG2-incident | negotiation requirement incident cannot be omitted | Transactions, markets & economics | held |
| E41-NEG2-logging | negotiation requirement logging cannot be omitted | Transactions, markets & economics | held |
| E41-NEG2-revocation | negotiation requirement revocation cannot be omitted | Transactions, markets & economics | held |
| E41-NEG2-recovery | negotiation requirement recovery cannot be omitted | Transactions, markets & economics | held |
| E41-THREAT2-sybil | attack sybil is contained with an invariant | Attacks, threats & containment | held |
| E41-THREAT2-identity_cloning | attack identity_cloning is contained with an invariant | Attacks, threats & containment | held |
| E41-THREAT2-delegation_amplification | attack delegation_amplification is contained with an invariant | Attacks, threats & containment | held |
| E41-THREAT2-reputation_laundering | attack reputation_laundering is contained with an invariant | Attacks, threats & containment | held |
| E41-THREAT2-collusion | attack collusion is contained with an invariant | Attacks, threats & containment | held |
| E41-THREAT2-fake_evidence | attack fake_evidence is contained with an invariant | Attacks, threats & containment | held |
| E41-THREAT2-fake_completion | attack fake_completion is contained with an invariant | Attacks, threats & containment | held |
| E41-THREAT2-contract_manipulation | attack contract_manipulation is contained with an invariant | Attacks, threats & containment | held |
| E41-THREAT2-negotiation_poisoning | attack negotiation_poisoning is contained with an invariant | Attacks, threats & containment | held |
| E41-THREAT2-capability_substitution | attack capability_substitution is contained with an invariant | Attacks, threats & containment | held |
| E41-THREAT2-counterparty_substitution | attack counterparty_substitution is contained with an invariant | Attacks, threats & containment | held |
| E41-THREAT2-payment_replay | attack payment_replay is contained with an invariant | Attacks, threats & containment | held |
| E41-THREAT2-settlement_replay | attack settlement_replay is contained with an invariant | Attacks, threats & containment | held |
| E41-THREAT2-budget_exhaustion | attack budget_exhaustion is contained with an invariant | Attacks, threats & containment | held |
| E41-THREAT2-recursive_procurement | attack recursive_procurement is contained with an invariant | Attacks, threats & containment | held |
| E41-THREAT2-governance_bypass | attack governance_bypass is contained with an invariant | Attacks, threats & containment | held |
| E41-THREAT2-revocation_race | attack revocation_race is contained with an invariant | Attacks, threats & containment | held |
| E41-THREAT2-partition | attack partition is contained with an invariant | Attacks, threats & containment | held |
| E41-THREAT2-clock_manipulation | attack clock_manipulation is contained with an invariant | Attacks, threats & containment | held |
| E41-THREAT2-rollback | attack rollback is contained with an invariant | Attacks, threats & containment | held |
| E41-THREAT2-model_substitution | attack model_substitution is contained with an invariant | Attacks, threats & containment | held |
| E41-THREAT2-runtime_substitution | attack runtime_substitution is contained with an invariant | Attacks, threats & containment | held |
| E41-REC2-principal | receipt field principal is required | Evidence, receipts & proofs | held |
| E41-REC2-machine_identity | receipt field machine_identity is required | Evidence, receipts & proofs | held |
| E41-REC2-counterparty | receipt field counterparty is required | Evidence, receipts & proofs | held |
| E41-REC2-delegation_chain | receipt field delegation_chain is required | Evidence, receipts & proofs | held |
| E41-REC2-capability | receipt field capability is required | Evidence, receipts & proofs | held |
| E41-REC2-contract | receipt field contract is required | Evidence, receipts & proofs | held |
| E41-REC2-policy | receipt field policy is required | Evidence, receipts & proofs | held |
| E41-REC2-authority | receipt field authority is required | Evidence, receipts & proofs | held |
| E41-REC2-risk | receipt field risk is required | Evidence, receipts & proofs | held |
| E41-REC2-execution_environment | receipt field execution_environment is required | Evidence, receipts & proofs | held |
| E41-REC2-execution_epoch | receipt field execution_epoch is required | Evidence, receipts & proofs | held |
| E41-REC2-action | receipt field action is required | Evidence, receipts & proofs | held |
| E41-REC2-decision | receipt field decision is required | Evidence, receipts & proofs | held |
| E41-REC2-authorization | receipt field authorization is required | Evidence, receipts & proofs | held |
| E41-REC2-execution_result | receipt field execution_result is required | Evidence, receipts & proofs | held |
| E41-REC2-evidence | receipt field evidence is required | Evidence, receipts & proofs | held |
| E41-REC2-revocation_state | receipt field revocation_state is required | Evidence, receipts & proofs | held |
| E41-REC2-verification_state | receipt field verification_state is required | Evidence, receipts & proofs | held |
| E41-SYB2-SUSPECTED | sybil strength SUSPECTED never treats correlation as proof | Attacks, threats & containment | held |
| E41-SYB2-SUPPORTED | sybil strength SUPPORTED never treats correlation as proof | Attacks, threats & containment | held |
| E41-SYB2-VERIFIED | sybil strength VERIFIED never treats correlation as proof | Attacks, threats & containment | held |
| E41-SYB2-UNKNOWN | sybil strength UNKNOWN never treats correlation as proof | Attacks, threats & containment | held |
| E41-DOM41-contract | exchange area contract is covered by held scenarios | Transactions, markets & economics | held |
| E41-DOM41-settlement | exchange area settlement is covered by held scenarios | Transactions, markets & economics | held |
| E41-DOM41-dispute | exchange area dispute is covered by held scenarios | Transactions, markets & economics | held |
| E41-DOM41-reputation | exchange area reputation is covered by held scenarios | Transactions, markets & economics | held |
| E41-DOM41-revocation | exchange area revocation is covered by held scenarios | Identity, authority & delegation | held |
| E41-DOM41-scale | exchange area scale is covered by held scenarios | Transactions, markets & economics | held |
CAIN-42 CAIN Studio