| E36-L1 | marketplace identity is not authority | Policy, law & governance | held |
| E36-L2 | reputation is not authority | Policy, law & governance | held |
| E36-L3 | a contract is not unrestricted authority | Policy, law & governance | held |
| E36-L4 | a bid does not authorize execution | Policy, law & governance | held |
| E36-L5 | payment does not authorize execution | Policy, law & governance | held |
| E36-L6 | successful history does not authorize the future | Policy, law & governance | held |
| E36-L7 | a subcontractor's authority cannot exceed its parent's | Policy, law & governance | held |
| E36-L8 | service substitution requires revalidation | Policy, law & governance | held |
| E36-L9 | an expired contract cannot authorize an action | Policy, law & governance | held |
| E36-L10 | a revoked service cannot continue on a stale authorization | Policy, law & governance | held |
| E36-L11 | a proof cannot be reused for another transaction | Policy, law & governance | held |
| E36-L12 | economic value cannot increase authority | Policy, law & governance | held |
| E36-L13 | marketplace ranking cannot create permission | Policy, law & governance | held |
| E36-L14 | reputation cannot override policy | Policy, law & governance | held |
| E36-L15 | a cheaper service cannot override governance requirements | Policy, law & governance | held |
| E36-L16 | no E8 commit, no verified governed transaction | Policy, law & governance | held |
| E36-L17 | unknown stays unknown | Policy, law & governance | held |
| E36-L18 | negotiation never creates authority | Policy, law & governance | held |
| E36-L19 | self-declared identity is not trusted identity | Policy, law & governance | held |
| E36-L20 | a self-reported SLA is not a verified SLA | Policy, law & governance | held |
| E36-L21 | correlation in the market is not proof of collusion | Policy, law & governance | held |
| E36-L22 | a simulation is not legal advice | Policy, law & governance | held |
| E36-L23 | a governance warranty is not universal safety | Policy, law & governance | held |
| E36-L24 | CAIN is not a financial regulator or a custodian | Policy, law & governance | held |
| E36-L25 | CAIN cannot purchase itself unlimited resources | Policy, law & governance | held |
| E36-L26 | a new service version does not inherit old permissions | Policy, law & governance | held |
| E36-L27 | a fallback authority never exceeds the original authority | Policy, law & governance | held |
| E36-L28 | the cheapest or highest-reputation bid is not automatically selected | Policy, law & governance | held |
| E36-L29 | economic safe mode reduces authority, never increases it | Policy, law & governance | held |
| E36-L30 | CONTRACT != AUTHORITY; AUTHORITY != EXECUTION | Policy, law & governance | held |
| E36-LAW2-E36-L1 | law E36-L1 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L2 | law E36-L2 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L3 | law E36-L3 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L4 | law E36-L4 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L5 | law E36-L5 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L6 | law E36-L6 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L7 | law E36-L7 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L8 | law E36-L8 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L9 | law E36-L9 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L10 | law E36-L10 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L11 | law E36-L11 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L12 | law E36-L12 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L13 | law E36-L13 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L14 | law E36-L14 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L15 | law E36-L15 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L16 | law E36-L16 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L17 | law E36-L17 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L18 | law E36-L18 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L19 | law E36-L19 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L20 | law E36-L20 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L21 | law E36-L21 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L22 | law E36-L22 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L23 | law E36-L23 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L24 | law E36-L24 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L25 | law E36-L25 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L26 | law E36-L26 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L27 | law E36-L27 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L28 | law E36-L28 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L29 | law E36-L29 maps to held scenarios | Policy, law & governance | held |
| E36-LAW2-E36-L30 | law E36-L30 maps to held scenarios | Policy, law & governance | held |
| E36-DOMAIN-SERVICE-IDENTITY | signed domain SERVICE-IDENTITY is defined | Identity, authority & delegation | held |
| E36-DOMAIN-SERVICE-PASSPORT | signed domain SERVICE-PASSPORT is defined | Identity, authority & delegation | held |
| E36-DOMAIN-DISCOVERY | signed domain DISCOVERY is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-MATCH | signed domain MATCH is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-CAPABILITY | signed domain CAPABILITY is defined | Identity, authority & delegation | held |
| E36-DOMAIN-PROCUREMENT | signed domain PROCUREMENT is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-NEGOTIATION | signed domain NEGOTIATION is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-CONTRACT | signed domain CONTRACT is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-CONTRACT-COMPILE | signed domain CONTRACT-COMPILE is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-SLA-PROOF | signed domain SLA-PROOF is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-PERFORMANCE | signed domain PERFORMANCE is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-REPUTATION | signed domain REPUTATION is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-REPUTATION-EVENT | signed domain REPUTATION-EVENT is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-ESCROW | signed domain ESCROW is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-PAYMENT-AUTHORIZATION | signed domain PAYMENT-AUTHORIZATION is defined | Identity, authority & delegation | held |
| E36-DOMAIN-RECEIPT | signed domain RECEIPT is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-DISPUTE | signed domain DISPUTE is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-ARBITRATION | signed domain ARBITRATION is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-RISK-POOL | signed domain RISK-POOL is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-WARRANTY | signed domain WARRANTY is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-BID | signed domain BID is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-AUCTION | signed domain AUCTION is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-COMPOSITION | signed domain COMPOSITION is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-SUPPLY-CHAIN | signed domain SUPPLY-CHAIN is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-SUBCONTRACT | signed domain SUBCONTRACT is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-SERVICE-CHAIN-PROOF | signed domain SERVICE-CHAIN-PROOF is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-QUALITY-GRAPH | signed domain QUALITY-GRAPH is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-SERVICE-TWIN | signed domain SERVICE-TWIN is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-PROCUREMENT-SIM | signed domain PROCUREMENT-SIM is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-ECON-TWIN | signed domain ECON-TWIN is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-ECON-ATTACK | signed domain ECON-ATTACK is defined | Attacks, threats & containment | held |
| E36-DOMAIN-FIREBREAK | signed domain FIREBREAK is defined | Attacks, threats & containment | held |
| E36-DOMAIN-ORG-MARKET | signed domain ORG-MARKET is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-COLLECTIVE-PROCUREMENT | signed domain COLLECTIVE-PROCUREMENT is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-LABOR-CONTRACT | signed domain LABOR-CONTRACT is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-A2A-MARKET | signed domain A2A-MARKET is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-DIRECTORY | signed domain DIRECTORY is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-TRUST-NEGOTIATION | signed domain TRUST-NEGOTIATION is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-MSDP | signed domain MSDP is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-DESCRIPTOR | signed domain DESCRIPTOR is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-SERVICE-CERT | signed domain SERVICE-CERT is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-ECON-API | signed domain ECON-API is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-ECON-TELEMETRY | signed domain ECON-TELEMETRY is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-ECON-GRAPH | signed domain ECON-GRAPH is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-ECON-KNOWLEDGE | signed domain ECON-KNOWLEDGE is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-CORPUS | signed domain CORPUS is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-THREAT-INTEL | signed domain THREAT-INTEL is defined | Attacks, threats & containment | held |
| E36-DOMAIN-SERVICE-SEARCH | signed domain SERVICE-SEARCH is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-PROCUREMENT-AGENT | signed domain PROCUREMENT-AGENT is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-SUBSTITUTION | signed domain SUBSTITUTION is defined | Attacks, threats & containment | held |
| E36-DOMAIN-CONTINUITY | signed domain CONTINUITY is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-ROUTER | signed domain ROUTER is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-ECON-POLICY | signed domain ECON-POLICY is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-GOV-BUDGET | signed domain GOV-BUDGET is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-SAFE-MODE | signed domain SAFE-MODE is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-MOAT | signed domain MOAT is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-AGENCY-GRAPH | signed domain AGENCY-GRAPH is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-COMPETITION | signed domain COMPETITION is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-SERVICE-EVOLUTION | signed domain SERVICE-EVOLUTION is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-REVOCATION | signed domain REVOCATION is defined | Identity, authority & delegation | held |
| E36-DOMAIN-RECOVERY | signed domain RECOVERY is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-INTERNAL-SERVICE | signed domain INTERNAL-SERVICE is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-COMPETITIVE-GAP | signed domain COMPETITIVE-GAP is defined | Evidence, receipts & proofs | held |
| E36-DOMAIN-EXCHANGE | signed domain EXCHANGE is defined | Evidence, receipts & proofs | held |
| E36-PASSPORT-service_id | a passport without service_id is refused | Identity, authority & delegation | held |
| E36-PASSPORT-owner_id | a passport without owner_id is refused | Identity, authority & delegation | held |
| E36-PASSPORT-operator_id | a passport without operator_id is refused | Identity, authority & delegation | held |
| E36-PASSPORT-agent_id | a passport without agent_id is refused | Identity, authority & delegation | held |
| E36-PASSPORT-model_id | a passport without model_id is refused | Identity, authority & delegation | held |
| E36-PASSPORT-runtime_id | a passport without runtime_id is refused | Identity, authority & delegation | held |
| E36-PASSPORT-capability_set | a passport without capability_set is refused | Identity, authority & delegation | held |
| E36-PASSPORT-governance_profile | a passport without governance_profile is refused | Identity, authority & delegation | held |
| E36-PASSPORT-conformance_profile | a passport without conformance_profile is refused | Identity, authority & delegation | held |
| E36-PASSPORT-proof_profile | a passport without proof_profile is refused | Identity, authority & delegation | held |
| E36-PASSPORT-service_version | a passport without service_version is refused | Identity, authority & delegation | held |
| E36-PASSPORT-uptime_evidence | a passport without uptime_evidence is refused | Identity, authority & delegation | held |
| E36-PASSPORT-incident_history | a passport without incident_history is refused | Identity, authority & delegation | held |
| E36-PASSPORT-recovery_history | a passport without recovery_history is refused | Identity, authority & delegation | held |
| E36-PASSPORT-security_history | a passport without security_history is refused | Identity, authority & delegation | held |
| E36-PASSPORT-pricing_model | a passport without pricing_model is refused | Identity, authority & delegation | held |
| E36-PASSPORT-supported_protocols | a passport without supported_protocols is refused | Identity, authority & delegation | held |
| E36-PASSPORT-authorization_model | a passport without authorization_model is refused | Identity, authority & delegation | held |
| E36-PASSPORT-revocation_endpoint | a passport without revocation_endpoint is refused | Identity, authority & delegation | held |
| E36-PASSPORT-service_limits | a passport without service_limits is refused | Identity, authority & delegation | held |
| E36-PASSPORT-unknown_surface | a passport without unknown_surface is refused | Identity, authority & delegation | held |
| E36-MATCHCLASS-MATCH | match class MATCH exists and is never auto-upgraded | Core guarantees | held |
| E36-MATCHCLASS-PARTIAL_MATCH | match class PARTIAL_MATCH exists and is never auto-upgraded | Core guarantees | held |
| E36-MATCHCLASS-UNKNOWN | match class UNKNOWN exists and is never auto-upgraded | Core guarantees | held |
| E36-MATCHCLASS-NON_COMPLIANT | match class NON_COMPLIANT exists and is never auto-upgraded | Policy, law & governance | held |
| E36-MARKET-coding | marketplace category coding exists | Transactions, markets & economics | held |
| E36-MARKET-research | marketplace category research exists | Transactions, markets & economics | held |
| E36-MARKET-analysis | marketplace category analysis exists | Transactions, markets & economics | held |
| E36-MARKET-data_processing | marketplace category data_processing exists | Transactions, markets & economics | held |
| E36-MARKET-cybersecurity | marketplace category cybersecurity exists | Transactions, markets & economics | held |
| E36-MARKET-simulation | marketplace category simulation exists | Transactions, markets & economics | held |
| E36-MARKET-planning | marketplace category planning exists | Transactions, markets & economics | held |
| E36-MARKET-browser_automation | marketplace category browser_automation exists | Transactions, markets & economics | held |
| E36-MARKET-computer_use | marketplace category computer_use exists | Transactions, markets & economics | held |
| E36-MARKET-infrastructure | marketplace category infrastructure exists | Transactions, markets & economics | held |
| E36-MARKET-cloud_operations | marketplace category cloud_operations exists | Transactions, markets & economics | held |
| E36-MARKET-testing | marketplace category testing exists | Transactions, markets & economics | held |
| E36-MARKET-verification | marketplace category verification exists | Transactions, markets & economics | held |
| E36-MARKET-governance | marketplace category governance exists | Transactions, markets & economics | held |
| E36-MARKET-robotics | marketplace category robotics exists | Transactions, markets & economics | held |
| E36-MARKET-scientific_experimentation | marketplace category scientific_experimentation exists | Transactions, markets & economics | held |
| E36-CONTRACT-parties | a machine contract without parties is refused | Transactions, markets & economics | held |
| E36-CONTRACT-identities | a machine contract without identities is refused | Transactions, markets & economics | held |
| E36-CONTRACT-capabilities | a machine contract without capabilities is refused | Transactions, markets & economics | held |
| E36-CONTRACT-objectives | a machine contract without objectives is refused | Transactions, markets & economics | held |
| E36-CONTRACT-obligations | a machine contract without obligations is refused | Transactions, markets & economics | held |
| E36-CONTRACT-prohibitions | a machine contract without prohibitions is refused | Transactions, markets & economics | held |
| E36-CONTRACT-permissions | a machine contract without permissions is refused | Transactions, markets & economics | held |
| E36-CONTRACT-resource_limits | a machine contract without resource_limits is refused | Transactions, markets & economics | held |
| E36-CONTRACT-time_limits | a machine contract without time_limits is refused | Transactions, markets & economics | held |
| E36-CONTRACT-budget | a machine contract without budget is refused | Transactions, markets & economics | held |
| E36-CONTRACT-evidence_requirements | a machine contract without evidence_requirements is refused | Transactions, markets & economics | held |
| E36-CONTRACT-proof_requirements | a machine contract without proof_requirements is refused | Transactions, markets & economics | held |
| E36-CONTRACT-security_requirements | a machine contract without security_requirements is refused | Transactions, markets & economics | held |
| E36-CONTRACT-escalation | a machine contract without escalation is refused | Transactions, markets & economics | held |
| E36-CONTRACT-revocation | a machine contract without revocation is refused | Transactions, markets & economics | held |
| E36-CONTRACT-dispute | a machine contract without dispute is refused | Transactions, markets & economics | held |
| E36-CONTRACT-recovery | a machine contract without recovery is refused | Transactions, markets & economics | held |
| E36-CONTRACT-termination | a machine contract without termination is refused | Transactions, markets & economics | held |
| E36-NEGOTIATE-price | negotiation without price is GOVERNANCE_UNKNOWN | Transactions, markets & economics | held |
| E36-NEGOTIATE-duration | negotiation without duration is GOVERNANCE_UNKNOWN | Transactions, markets & economics | held |
| E36-NEGOTIATE-capability_scope | negotiation without capability_scope is GOVERNANCE_UNKNOWN | Transactions, markets & economics | held |
| E36-NEGOTIATE-resource_limits | negotiation without resource_limits is GOVERNANCE_UNKNOWN | Transactions, markets & economics | held |
| E36-NEGOTIATE-sla | negotiation without sla is GOVERNANCE_UNKNOWN | Transactions, markets & economics | held |
| E36-NEGOTIATE-evidence | negotiation without evidence is GOVERNANCE_UNKNOWN | Transactions, markets & economics | held |
| E36-NEGOTIATE-proof | negotiation without proof is GOVERNANCE_UNKNOWN | Transactions, markets & economics | held |
| E36-NEGOTIATE-deadline | negotiation without deadline is GOVERNANCE_UNKNOWN | Transactions, markets & economics | held |
| E36-NEGOTIATE-retry | negotiation without retry is GOVERNANCE_UNKNOWN | Transactions, markets & economics | held |
| E36-NEGOTIATE-cancellation | negotiation without cancellation is GOVERNANCE_UNKNOWN | Transactions, markets & economics | held |
| E36-NEGOTIATE-escalation | negotiation without escalation is GOVERNANCE_UNKNOWN | Transactions, markets & economics | held |
| E36-NEGOTIATE-dispute | negotiation without dispute is GOVERNANCE_UNKNOWN | Transactions, markets & economics | held |
| E36-NEGOTIATE-data_boundary | negotiation without data_boundary is GOVERNANCE_UNKNOWN | Transactions, markets & economics | held |
| E36-NEGOTIATE-authority_limit | negotiation without authority_limit is GOVERNANCE_UNKNOWN | Transactions, markets & economics | held |
| E36-REP-identity_continuity | reputation dimension identity_continuity carries no authority | Trust & reputation | held |
| E36-REP-governance_conformance | reputation dimension governance_conformance carries no authority | Trust & reputation | held |
| E36-REP-proof_integrity | reputation dimension proof_integrity carries no authority | Trust & reputation | held |
| E36-REP-execution_reliability | reputation dimension execution_reliability carries no authority | Trust & reputation | held |
| E36-REP-incident_history | reputation dimension incident_history carries no authority | Trust & reputation | held |
| E36-REP-recovery_quality | reputation dimension recovery_quality carries no authority | Trust & reputation | held |
| E36-REP-contract_performance | reputation dimension contract_performance carries no authority | Trust & reputation | held |
| E36-REP-delegation_discipline | reputation dimension delegation_discipline carries no authority | Trust & reputation | held |
| E36-REP-capability_stability | reputation dimension capability_stability carries no authority | Trust & reputation | held |
| E36-REP-evidence_quality | reputation dimension evidence_quality carries no authority | Trust & reputation | held |
| E36-PERF-task_success | performance dimension task_success is evidence | Benchmarks, coverage & performance | held |
| E36-PERF-latency | performance dimension latency is evidence | Benchmarks, coverage & performance | held |
| E36-PERF-cost | performance dimension cost is evidence | Benchmarks, coverage & performance | held |
| E36-PERF-reliability | performance dimension reliability is evidence | Benchmarks, coverage & performance | held |
| E36-PERF-governance_compliance | performance dimension governance_compliance is evidence | Benchmarks, coverage & performance | held |
| E36-PERF-proof_completeness | performance dimension proof_completeness is evidence | Benchmarks, coverage & performance | held |
| E36-PERF-recovery_quality | performance dimension recovery_quality is evidence | Benchmarks, coverage & performance | held |
| E36-PERF-incident_rate | performance dimension incident_rate is evidence | Benchmarks, coverage & performance | held |
| E36-PERF-false_actions | performance dimension false_actions is evidence | Benchmarks, coverage & performance | held |
| E36-PERF-false_refusals | performance dimension false_refusals is evidence | Benchmarks, coverage & performance | held |
| E36-PERF-resource_efficiency | performance dimension resource_efficiency is evidence | Benchmarks, coverage & performance | held |
| E36-DISPUTE-OPEN | dispute state OPEN exists | Transactions, markets & economics | held |
| E36-DISPUTE-UNDER_REVIEW | dispute state UNDER_REVIEW exists | Transactions, markets & economics | held |
| E36-DISPUTE-EVIDENCE_REQUIRED | dispute state EVIDENCE_REQUIRED exists | Transactions, markets & economics | held |
| E36-DISPUTE-MEDIATION | dispute state MEDIATION exists | Transactions, markets & economics | held |
| E36-DISPUTE-RESOLVED | dispute state RESOLVED exists | Transactions, markets & economics | held |
| E36-DISPUTE-ESCALATED | dispute state ESCALATED exists | Transactions, markets & economics | held |
| E36-DISPUTE-UNKNOWN | dispute state UNKNOWN exists | Transactions, markets & economics | held |
| E36-DISPUTESTEP-CLAIM | dispute lifecycle step CLAIM exists | Transactions, markets & economics | held |
| E36-DISPUTESTEP-COUNTERCLAIM | dispute lifecycle step COUNTERCLAIM exists | Transactions, markets & economics | held |
| E36-DISPUTESTEP-EVIDENCE | dispute lifecycle step EVIDENCE exists | Transactions, markets & economics | held |
| E36-DISPUTESTEP-PROOF | dispute lifecycle step PROOF exists | Transactions, markets & economics | held |
| E36-DISPUTESTEP-CONTRACT_INTERPRETATION | dispute lifecycle step CONTRACT_INTERPRETATION exists | Transactions, markets & economics | held |
| E36-DISPUTESTEP-GOVERNANCE_REVIEW | dispute lifecycle step GOVERNANCE_REVIEW exists | Transactions, markets & economics | held |
| E36-DISPUTESTEP-DECISION | dispute lifecycle step DECISION exists | Transactions, markets & economics | held |
| E36-DISPUTESTEP-SETTLEMENT_OR_ESCALATION | dispute lifecycle step SETTLEMENT_OR_ESCALATION exists | Transactions, markets & economics | held |
| E36-RECEIPT-buyer | a transaction receipt without buyer is refused | Evidence, receipts & proofs | held |
| E36-RECEIPT-seller | a transaction receipt without seller is refused | Evidence, receipts & proofs | held |
| E36-RECEIPT-agent | a transaction receipt without agent is refused | Evidence, receipts & proofs | held |
| E36-RECEIPT-service | a transaction receipt without service is refused | Evidence, receipts & proofs | held |
| E36-RECEIPT-contract | a transaction receipt without contract is refused | Evidence, receipts & proofs | held |
| E36-RECEIPT-authorization | a transaction receipt without authorization is refused | Evidence, receipts & proofs | held |
| E36-RECEIPT-action | a transaction receipt without action is refused | Evidence, receipts & proofs | held |
| E36-RECEIPT-e8_commit | a transaction receipt without e8_commit is refused | Evidence, receipts & proofs | held |
| E36-RECEIPT-execution | a transaction receipt without execution is refused | Evidence, receipts & proofs | held |
| E36-RECEIPT-proof | a transaction receipt without proof is refused | Evidence, receipts & proofs | held |
| E36-RECEIPT-outcome | a transaction receipt without outcome is refused | Evidence, receipts & proofs | held |
| E36-RECEIPT-settlement | a transaction receipt without settlement is refused | Evidence, receipts & proofs | held |
| E36-RECEIPT-fees | a transaction receipt without fees is refused | Evidence, receipts & proofs | held |
| E36-RECEIPT-disputed | a transaction receipt without disputed is refused | Evidence, receipts & proofs | held |
| E36-RECEIPT-verification_state | a transaction receipt without verification_state is refused | Evidence, receipts & proofs | held |
| E36-ESCROW-FUNDS_COMMITTED | escrow state FUNDS_COMMITTED exists | Transactions, markets & economics | held |
| E36-ESCROW-CONDITIONS | escrow state CONDITIONS exists | Transactions, markets & economics | held |
| E36-ESCROW-EXECUTION | escrow state EXECUTION exists | Transactions, markets & economics | held |
| E36-ESCROW-PROOF | escrow state PROOF exists | Transactions, markets & economics | held |
| E36-ESCROW-VERIFICATION | escrow state VERIFICATION exists | Transactions, markets & economics | held |
| E36-ESCROW-SETTLEMENT | escrow state SETTLEMENT exists | Transactions, markets & economics | held |
| E36-ESCROW-DISPUTE | escrow state DISPUTE exists | Transactions, markets & economics | held |
| E36-BID-price | bid dimension price exists | Transactions, markets & economics | held |
| E36-BID-capability | bid dimension capability exists | Transactions, markets & economics | held |
| E36-BID-expected_completion | bid dimension expected_completion exists | Transactions, markets & economics | held |
| E36-BID-governance_profile | bid dimension governance_profile exists | Transactions, markets & economics | held |
| E36-BID-proof_profile | bid dimension proof_profile exists | Transactions, markets & economics | held |
| E36-BID-resource | bid dimension resource exists | Transactions, markets & economics | held |
| E36-BID-risk | bid dimension risk exists | Transactions, markets & economics | held |
| E36-BID-sla | bid dimension sla exists | Transactions, markets & economics | held |
| E36-ATTACK-sybil | economic attack sybil is contained | Attacks, threats & containment | held |
| E36-ATTACK-collusion | economic attack collusion is contained | Attacks, threats & containment | held |
| E36-ATTACK-fake_reputation | economic attack fake_reputation is contained | Attacks, threats & containment | held |
| E36-ATTACK-bid_manipulation | economic attack bid_manipulation is contained | Attacks, threats & containment | held |
| E36-ATTACK-transaction_splitting | economic attack transaction_splitting is contained | Attacks, threats & containment | held |
| E36-ATTACK-budget_exhaustion | economic attack budget_exhaustion is contained | Attacks, threats & containment | held |
| E36-ATTACK-escrow_manipulation | economic attack escrow_manipulation is contained | Attacks, threats & containment | held |
| E36-ATTACK-contract_ambiguity | economic attack contract_ambiguity is contained | Attacks, threats & containment | held |
| E36-ATTACK-subcontracting_abuse | economic attack subcontracting_abuse is contained | Attacks, threats & containment | held |
| E36-ATTACK-identity_rotation | economic attack identity_rotation is contained | Attacks, threats & containment | held |
| E36-ATTACK-service_substitution | economic attack service_substitution is contained | Attacks, threats & containment | held |
| E36-ATTACK-capability_laundering | economic attack capability_laundering is contained | Attacks, threats & containment | held |
| E36-ATTACK-governance_laundering | economic attack governance_laundering is contained | Attacks, threats & containment | held |
| E36-FIREBREAK-DETECT | firebreak step DETECT exists | Attacks, threats & containment | held |
| E36-FIREBREAK-SCORE | firebreak step SCORE exists | Attacks, threats & containment | held |
| E36-FIREBREAK-FREEZE_OPTIONAL_AUTHORITY | firebreak step FREEZE_OPTIONAL_AUTHORITY exists | Attacks, threats & containment | held |
| E36-FIREBREAK-PRESERVE_EVIDENCE | firebreak step PRESERVE_EVIDENCE exists | Attacks, threats & containment | held |
| E36-FIREBREAK-ISOLATE | firebreak step ISOLATE exists | Attacks, threats & containment | held |
| E36-FIREBREAK-REVOKE_IF_AUTHORIZED | firebreak step REVOKE_IF_AUTHORIZED exists | Attacks, threats & containment | held |
| E36-FIREBREAK-INVESTIGATE | firebreak step INVESTIGATE exists | Attacks, threats & containment | held |
| E36-FIREBREAK-RECOVER | firebreak step RECOVER exists | Attacks, threats & containment | held |
| E36-FIREBREAK-REAUTHORIZE | firebreak step REAUTHORIZE exists | Attacks, threats & containment | held |
| E36-CORPUS-transaction_patterns | corpus category transaction_patterns exists | Benchmarks, coverage & performance | held |
| E36-CORPUS-governance_failures | corpus category governance_failures exists | Benchmarks, coverage & performance | held |
| E36-CORPUS-successful_governance | corpus category successful_governance exists | Benchmarks, coverage & performance | held |
| E36-CORPUS-service_reliability | corpus category service_reliability exists | Benchmarks, coverage & performance | held |
| E36-CORPUS-agent_behavior | corpus category agent_behavior exists | Benchmarks, coverage & performance | held |
| E36-CORPUS-delegation_behavior | corpus category delegation_behavior exists | Benchmarks, coverage & performance | held |
| E36-CORPUS-contract_failures | corpus category contract_failures exists | Benchmarks, coverage & performance | held |
| E36-CORPUS-recovery | corpus category recovery exists | Benchmarks, coverage & performance | held |
| E36-CORPUS-economic_attacks | corpus category economic_attacks exists | Benchmarks, coverage & performance | held |
| E36-CORPUS-proof_patterns | corpus category proof_patterns exists | Benchmarks, coverage & performance | held |
| E36-CORPUS-conformance_results | corpus category conformance_results exists | Benchmarks, coverage & performance | held |
| E36-TELEMETRY-transactions | telemetry metric transactions exists | Transactions, markets & economics | held |
| E36-TELEMETRY-fees | telemetry metric fees exists | Core guarantees | held |
| E36-TELEMETRY-latency | telemetry metric latency exists | Benchmarks, coverage & performance | held |
| E36-TELEMETRY-failure | telemetry metric failure exists | Core guarantees | held |
| E36-TELEMETRY-disputes | telemetry metric disputes exists | Transactions, markets & economics | held |
| E36-TELEMETRY-reputation | telemetry metric reputation exists | Trust & reputation | held |
| E36-TELEMETRY-authority | telemetry metric authority exists | Identity, authority & delegation | held |
| E36-TELEMETRY-delegation | telemetry metric delegation exists | Identity, authority & delegation | held |
| E36-TELEMETRY-resource_usage | telemetry metric resource_usage exists | Core guarantees | held |
| E36-TELEMETRY-proof_completeness | telemetry metric proof_completeness exists | Evidence, receipts & proofs | held |
| E36-TELEMETRY-incident_rate | telemetry metric incident_rate exists | Attacks, threats & containment | held |
| E36-AGENCY-NODE-agent | agency graph node agent exists | Core guarantees | held |
| E36-AGENCY-NODE-service | agency graph node service exists | Core guarantees | held |
| E36-AGENCY-NODE-organization | agency graph node organization exists | Supply chain, registry & lifecycle | held |
| E36-AGENCY-NODE-capability | agency graph node capability exists | Identity, authority & delegation | held |
| E36-AGENCY-NODE-contract | agency graph node contract exists | Transactions, markets & economics | held |
| E36-AGENCY-NODE-transaction | agency graph node transaction exists | Transactions, markets & economics | held |
| E36-AGENCY-NODE-proof | agency graph node proof exists | Evidence, receipts & proofs | held |
| E36-AGENCY-NODE-identity | agency graph node identity exists | Identity, authority & delegation | held |
| E36-AGENCY-NODE-authority | agency graph node authority exists | Identity, authority & delegation | held |
| E36-AGENCY-NODE-tool | agency graph node tool exists | Tools, MCP, protocols & adapters | held |
| E36-AGENCY-NODE-model | agency graph node model exists | Prediction, world models & simulation | held |
| E36-AGENCY-NODE-runtime | agency graph node runtime exists | Tools, MCP, protocols & adapters | held |
| E36-AGENCY-NODE-resource | agency graph node resource exists | Core guarantees | held |
| E36-AGENCY-NODE-incident | agency graph node incident exists | Attacks, threats & containment | held |
| E36-AGENCY-NODE-payment | agency graph node payment exists | Core guarantees | held |
| E36-AGENCY-NODE-dispute | agency graph node dispute exists | Transactions, markets & economics | held |
| E36-AGENCY-EDGE-HIRES | agency graph edge HIRES exists | Tools, MCP, protocols & adapters | held |
| E36-AGENCY-EDGE-DELEGATES | agency graph edge DELEGATES exists | Identity, authority & delegation | held |
| E36-AGENCY-EDGE-CONTRACTS | agency graph edge CONTRACTS exists | Transactions, markets & economics | held |
| E36-AGENCY-EDGE-EXECUTES | agency graph edge EXECUTES exists | Tools, MCP, protocols & adapters | held |
| E36-AGENCY-EDGE-PROVES | agency graph edge PROVES exists | Tools, MCP, protocols & adapters | held |
| E36-AGENCY-EDGE-VERIFIES | agency graph edge VERIFIES exists | Tools, MCP, protocols & adapters | held |
| E36-AGENCY-EDGE-PAYS | agency graph edge PAYS exists | Tools, MCP, protocols & adapters | held |
| E36-AGENCY-EDGE-DEPENDS_ON | agency graph edge DEPENDS_ON exists | Tools, MCP, protocols & adapters | held |
| E36-AGENCY-EDGE-SUBCONTRACTS | agency graph edge SUBCONTRACTS exists | Tools, MCP, protocols & adapters | held |
| E36-AGENCY-EDGE-REVOKES | agency graph edge REVOKES exists | Tools, MCP, protocols & adapters | held |
| E36-AGENCY-EDGE-RECOVERS | agency graph edge RECOVERS exists | Tools, MCP, protocols & adapters | held |
| E36-AGENCY-EDGE-REVIEWS | agency graph edge REVIEWS exists | Tools, MCP, protocols & adapters | held |
| E36-ECONNODE-agent | economic graph node agent exists | Transactions, markets & economics | held |
| E36-ECONNODE-service | economic graph node service exists | Transactions, markets & economics | held |
| E36-ECONNODE-organization | economic graph node organization exists | Transactions, markets & economics | held |
| E36-ECONNODE-contract | economic graph node contract exists | Transactions, markets & economics | held |
| E36-ECONNODE-transaction | economic graph node transaction exists | Transactions, markets & economics | held |
| E36-ECONNODE-resource | economic graph node resource exists | Transactions, markets & economics | held |
| E36-ECONNODE-capability | economic graph node capability exists | Transactions, markets & economics | held |
| E36-ECONNODE-authority | economic graph node authority exists | Transactions, markets & economics | held |
| E36-ECONNODE-proof | economic graph node proof exists | Transactions, markets & economics | held |
| E36-ECONNODE-incident | economic graph node incident exists | Transactions, markets & economics | held |
| E36-ECONNODE-payment | economic graph node payment exists | Transactions, markets & economics | held |
| E36-ECONNODE-dispute | economic graph node dispute exists | Transactions, markets & economics | held |
| E36-ECONEDGE-HIRED | economic graph edge HIRED exists | Transactions, markets & economics | held |
| E36-ECONEDGE-DELEGATED | economic graph edge DELEGATED exists | Transactions, markets & economics | held |
| E36-ECONEDGE-CONTRACTED | economic graph edge CONTRACTED exists | Transactions, markets & economics | held |
| E36-ECONEDGE-EXECUTED | economic graph edge EXECUTED exists | Transactions, markets & economics | held |
| E36-ECONEDGE-PAID | economic graph edge PAID exists | Transactions, markets & economics | held |
| E36-ECONEDGE-DISPUTED | economic graph edge DISPUTED exists | Transactions, markets & economics | held |
| E36-ECONEDGE-VERIFIED | economic graph edge VERIFIED exists | Transactions, markets & economics | held |
| E36-ECONEDGE-REVOKED | economic graph edge REVOKED exists | Transactions, markets & economics | held |
| E36-ECONEDGE-RECOVERED | economic graph edge RECOVERED exists | Transactions, markets & economics | held |
| E36-ECONEDGE-SUBCONTRACTED | economic graph edge SUBCONTRACTED exists | Transactions, markets & economics | held |
| E36-ECONEDGE-DEPENDS_ON | economic graph edge DEPENDS_ON exists | Transactions, markets & economics | held |
| E36-GOVBUDGET-money | governance budget dimension money exists | Transactions, markets & economics | held |
| E36-GOVBUDGET-compute | governance budget dimension compute exists | Transactions, markets & economics | held |
| E36-GOVBUDGET-time | governance budget dimension time exists | Transactions, markets & economics | held |
| E36-GOVBUDGET-tools | governance budget dimension tools exists | Transactions, markets & economics | held |
| E36-GOVBUDGET-delegation | governance budget dimension delegation exists | Transactions, markets & economics | held |
| E36-GOVBUDGET-messages | governance budget dimension messages exists | Transactions, markets & economics | held |
| E36-GOVBUDGET-api_calls | governance budget dimension api_calls exists | Transactions, markets & economics | held |
| E36-GOVBUDGET-physical_actions | governance budget dimension physical_actions exists | Transactions, markets & economics | held |
| E36-GOVBUDGET-risk | governance budget dimension risk exists | Transactions, markets & economics | held |
| E36-GOVBUDGET-uncertainty | governance budget dimension uncertainty exists | Transactions, markets & economics | held |
| E36-ECONRULE-spending | economic policy rule spending is bounded | Transactions, markets & economics | held |
| E36-ECONRULE-hiring | economic policy rule hiring is bounded | Transactions, markets & economics | held |
| E36-ECONRULE-delegation | economic policy rule delegation is bounded | Transactions, markets & economics | held |
| E36-ECONRULE-subcontracting | economic policy rule subcontracting is bounded | Transactions, markets & economics | held |
| E36-ECONRULE-bidding | economic policy rule bidding is bounded | Transactions, markets & economics | held |
| E36-ECONRULE-payments | economic policy rule payments is bounded | Transactions, markets & economics | held |
| E36-ECONRULE-escrow | economic policy rule escrow is bounded | Transactions, markets & economics | held |
| E36-ECONRULE-budgets | economic policy rule budgets is bounded | Transactions, markets & economics | held |
| E36-ECONRULE-resource_acquisition | economic policy rule resource_acquisition is bounded | Transactions, markets & economics | held |
| E36-ECONRULE-capability_acquisition | economic policy rule capability_acquisition is bounded | Transactions, markets & economics | held |
| E36-ECONRULE-market_participation | economic policy rule market_participation is bounded | Transactions, markets & economics | held |
| E36-REVOKE-compromised_identity | revocation trigger compromised_identity exists | Identity, authority & delegation | held |
| E36-REVOKE-proof_failure | revocation trigger proof_failure exists | Identity, authority & delegation | held |
| E36-REVOKE-policy_violation | revocation trigger policy_violation exists | Identity, authority & delegation | held |
| E36-REVOKE-contract_violation | revocation trigger contract_violation exists | Identity, authority & delegation | held |
| E36-REVOKE-supply_chain_compromise | revocation trigger supply_chain_compromise exists | Identity, authority & delegation | held |
| E36-REVOKE-malicious_behavior | revocation trigger malicious_behavior exists | Identity, authority & delegation | held |
| E36-REVOKE-governance_drift | revocation trigger governance_drift exists | Identity, authority & delegation | held |
| E36-REVOKE-certificate_expiration | revocation trigger certificate_expiration exists | Identity, authority & delegation | held |
| E36-REVOKE-severe_reliability_degradation | revocation trigger severe_reliability_degradation exists | Identity, authority & delegation | held |
| E36-RECOVERY-DISCOVER | recovery step DISCOVER exists | Autonomy, control loops & recovery | held |
| E36-RECOVERY-VERIFY | recovery step VERIFY exists | Autonomy, control loops & recovery | held |
| E36-RECOVERY-SUBSTITUTE | recovery step SUBSTITUTE exists | Autonomy, control loops & recovery | held |
| E36-RECOVERY-RECONTRACT | recovery step RECONTRACT exists | Autonomy, control loops & recovery | held |
| E36-RECOVERY-REAUTHORIZE | recovery step REAUTHORIZE exists | Autonomy, control loops & recovery | held |
| E36-RECOVERY-EXECUTE | recovery step EXECUTE exists | Autonomy, control loops & recovery | held |
| E36-MOAT-machine_agency_directory | moat machine_agency_directory is technical only | Core guarantees | held |
| E36-MOAT-machine_service_passports | moat machine_service_passports is technical only | Identity, authority & delegation | held |
| E36-MOAT-governance_aware_discovery | moat governance_aware_discovery is technical only | Tools, MCP, protocols & adapters | held |
| E36-MOAT-machine_procurement | moat machine_procurement is technical only | Transactions, markets & economics | held |
| E36-MOAT-machine_contracts | moat machine_contracts is technical only | Transactions, markets & economics | held |
| E36-MOAT-governance_contracts | moat governance_contracts is technical only | Transactions, markets & economics | held |
| E36-MOAT-service_chain_proof | moat service_chain_proof is technical only | Evidence, receipts & proofs | held |
| E36-MOAT-machine_reputation | moat machine_reputation is technical only | Trust & reputation | held |
| E36-MOAT-governance_reputation | moat governance_reputation is technical only | Policy, law & governance | held |
| E36-MOAT-machine_service_quality_graph | moat machine_service_quality_graph is technical only | Core guarantees | held |
| E36-MOAT-machine_service_digital_twins | moat machine_service_digital_twins is technical only | Prediction, world models & simulation | held |
| E36-MOAT-procurement_simulation | moat procurement_simulation is technical only | Prediction, world models & simulation | held |
| E36-MOAT-economic_digital_twin | moat economic_digital_twin is technical only | Prediction, world models & simulation | held |
| E36-MOAT-machine_bidding | moat machine_bidding is technical only | Transactions, markets & economics | held |
| E36-MOAT-governance_aware_auctions | moat governance_aware_auctions is technical only | Policy, law & governance | held |
| E36-MOAT-machine_subcontracting | moat machine_subcontracting is technical only | Core guarantees | held |
| E36-MOAT-service_supply_chain_graph | moat service_supply_chain_graph is technical only | Evidence, receipts & proofs | held |
| E36-MOAT-proof_backed_marketplace | moat proof_backed_marketplace is technical only | Evidence, receipts & proofs | held |
| E36-MOAT-machine_dispute_infrastructure | moat machine_dispute_infrastructure is technical only | Transactions, markets & economics | held |
| E36-MOAT-governance_warranty_architecture | moat governance_warranty_architecture is technical only | Policy, law & governance | held |
| E36-MOAT-governance_risk_analytics | moat governance_risk_analytics is technical only | Policy, law & governance | held |
| E36-MOAT-machine_economy_telemetry | moat machine_economy_telemetry is technical only | Transactions, markets & economics | held |
| E36-MOAT-machine_economy_knowledge_graph | moat machine_economy_knowledge_graph is technical only | Prediction, world models & simulation | held |
| E36-MOAT-economic_threat_intelligence | moat economic_threat_intelligence is technical only | Attacks, threats & containment | held |
| E36-MOAT-governance_aware_routing | moat governance_aware_routing is technical only | Tools, MCP, protocols & adapters | held |
| E36-MOAT-service_substitution_governance | moat service_substitution_governance is technical only | Attacks, threats & containment | held |
| E36-MOAT-agent_labor_marketplace | moat agent_labor_marketplace is technical only | Transactions, markets & economics | held |
| E36-MOAT-machine_organization_marketplace | moat machine_organization_marketplace is technical only | Transactions, markets & economics | held |
| E36-MOAT-governance_aware_procurement | moat governance_aware_procurement is technical only | Transactions, markets & economics | held |
| E36-MOAT-machine_service_conformance | moat machine_service_conformance is technical only | Policy, law & governance | held |
| E36-COMPETITOR-agent_gateways | competitor category agent_gateways makes no claim | Tools, MCP, protocols & adapters | held |
| E36-COMPETITOR-agent_identity_platforms | competitor category agent_identity_platforms makes no claim | Identity, authority & delegation | held |
| E36-COMPETITOR-agent_security_products | competitor category agent_security_products makes no claim | Supply chain, registry & lifecycle | held |
| E36-COMPETITOR-agent_marketplaces | competitor category agent_marketplaces makes no claim | Transactions, markets & economics | held |
| E36-COMPETITOR-agent_observability | competitor category agent_observability makes no claim | Core guarantees | held |
| E36-COMPETITOR-agent_orchestration | competitor category agent_orchestration makes no claim | Core guarantees | held |
| E36-COMPETITOR-agent_economic_protocols | competitor category agent_economic_protocols makes no claim | Transactions, markets & economics | held |
| E36-COMPETITOR-agent_interoperability_protocols | competitor category agent_interoperability_protocols makes no claim | Tools, MCP, protocols & adapters | held |
| E36-COMPETITOR-agent_evaluation_platforms | competitor category agent_evaluation_platforms makes no claim | Core guarantees | held |
| E36-LIFECYCLE-DISCOVER | exchange lifecycle step DISCOVER exists | Transactions, markets & economics | held |
| E36-LIFECYCLE-IDENTIFY | exchange lifecycle step IDENTIFY exists | Transactions, markets & economics | held |
| E36-LIFECYCLE-VERIFY | exchange lifecycle step VERIFY exists | Transactions, markets & economics | held |
| E36-LIFECYCLE-EVALUATE | exchange lifecycle step EVALUATE exists | Transactions, markets & economics | held |
| E36-LIFECYCLE-NEGOTIATE | exchange lifecycle step NEGOTIATE exists | Transactions, markets & economics | held |
| E36-LIFECYCLE-CONTRACT | exchange lifecycle step CONTRACT exists | Transactions, markets & economics | held |
| E36-LIFECYCLE-AUTHORIZE | exchange lifecycle step AUTHORIZE exists | Transactions, markets & economics | held |
| E36-LIFECYCLE-EXECUTE | exchange lifecycle step EXECUTE exists | Transactions, markets & economics | held |
| E36-LIFECYCLE-PROVE | exchange lifecycle step PROVE exists | Transactions, markets & economics | held |
| E36-LIFECYCLE-SETTLE | exchange lifecycle step SETTLE exists | Transactions, markets & economics | held |
| E36-LIFECYCLE-RATE | exchange lifecycle step RATE exists | Transactions, markets & economics | held |
| E36-LIFECYCLE-REASSESS | exchange lifecycle step REASSESS exists | Transactions, markets & economics | held |
| E36-LIFECYCLE-RENEW_OR_REVOKE | exchange lifecycle step RENEW_OR_REVOKE exists | Transactions, markets & economics | held |
| E36-CAT-law | every law scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-identity | every identity scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-passport | every passport scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-discovery | every discovery scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-match | every match scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-marketplace | every marketplace scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-procurement | every procurement scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-negotiation | every negotiation scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-contract | every contract scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-contract_compile | every contract_compile scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-sla | every sla scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-performance | every performance scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-reputation | every reputation scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-escrow | every escrow scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-payment | every payment scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-receipt | every receipt scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-dispute | every dispute scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-arbitration | every arbitration scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-risk_pool | every risk_pool scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-warranty | every warranty scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-proof_market | every proof_market scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-bid | every bid scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-auction | every auction scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-composition | every composition scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-supply_chain | every supply_chain scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-subcontract | every subcontract scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-service_chain_proof | every service_chain_proof scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-quality_graph | every quality_graph scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-service_twin | every service_twin scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-procurement_sim | every procurement_sim scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-econ_twin | every econ_twin scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-econ_attack | every econ_attack scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-firebreak | every firebreak scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-org_market | every org_market scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-collective | every collective scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-labor_contract | every labor_contract scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-a2a | every a2a scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-directory | every directory scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-trust_negotiation | every trust_negotiation scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-msdp | every msdp scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-descriptor | every descriptor scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-service_cert | every service_cert scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-telemetry | every telemetry scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-econ_graph | every econ_graph scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-econ_knowledge | every econ_knowledge scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-corpus | every corpus scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-threat_intel | every threat_intel scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-service_search | every service_search scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-procurement_agent | every procurement_agent scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-substitution | every substitution scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-continuity | every continuity scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-router | every router scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-econ_policy | every econ_policy scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-gov_budget | every gov_budget scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-safe_mode | every safe_mode scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-moat | every moat scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-agency_graph | every agency_graph scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-competition | every competition scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-service_evolution | every service_evolution scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-revocation | every revocation scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-recovery | every recovery scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-internal | every internal scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-competitive_gap | every competitive_gap scenario holds | Benchmarks, coverage & performance | held |
| E36-CAT-exchange | every exchange scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-a2a-a2a_op | every a2a/a2a_op scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-a2a-a2a_unclaimed_protocol | every a2a/a2a_unclaimed_protocol scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-agency_graph-agency_dangling | every agency_graph/agency_dangling scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-agency_graph-agency_edge | every agency_graph/agency_edge scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-agency_graph-agency_node | every agency_graph/agency_node scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-arbitration-arbitration_not_binding | every arbitration/arbitration_not_binding scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-auction-sealed_auction | every auction/sealed_auction scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-auction-unsealed_refused | every auction/unsealed_refused scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-bid-bid_selection | every bid/bid_selection scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-collective-collective_intersection | every collective/collective_intersection scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-competition-multidimensional_competition | every competition/multidimensional_competition scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-competitive_gap-competitive_gap | every competitive_gap/competitive_gap scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-composition-service_composition | every composition/service_composition scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-continuity-service_continuity | every continuity/service_continuity scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-contract-contract_build | every contract/contract_build scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-contract-contract_expires | every contract/contract_expires scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-contract-contract_section | every contract/contract_section scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-contract_compile-compile_complete | every contract_compile/compile_complete scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-contract_compile-compile_escalates | every contract_compile/compile_escalates scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-corpus-bulk_corpus | every corpus/bulk_corpus scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-corpus-corpus_authorization | every corpus/corpus_authorization scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-corpus-corpus_category | every corpus/corpus_category scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-descriptor-descriptor_field | every descriptor/descriptor_field scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-descriptor-msdp_experimental | every descriptor/msdp_experimental scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-directory-agent_directory | every directory/agent_directory scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-discovery-match_requires_evidence | every discovery/match_requires_evidence scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-discovery-unknown_never_upgraded | every discovery/unknown_never_upgraded scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-dispute-dispute_not_invented | every dispute/dispute_not_invented scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-dispute-dispute_state | every dispute/dispute_state scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-econ_attack-bulk_attack | every econ_attack/bulk_attack scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-econ_attack-economic_attack | every econ_attack/economic_attack scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-econ_graph-econ_edge | every econ_graph/econ_edge scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-econ_graph-econ_node | every econ_graph/econ_node scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-econ_knowledge-knowledge_tenant_isolation | every econ_knowledge/knowledge_tenant_isolation scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-econ_policy-economic_policy | every econ_policy/economic_policy scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-econ_twin-econ_twin_scenario | every econ_twin/econ_twin_scenario scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-escrow-escrow_not_custodial | every escrow/escrow_not_custodial scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-exchange-exchange_lifecycle | every exchange/exchange_lifecycle scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-exchange-exchange_list | every exchange/exchange_list scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-firebreak-economic_firebreak | every firebreak/economic_firebreak scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-gov_budget-budget_dimension | every gov_budget/budget_dimension scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-gov_budget-budget_exhaustion | every gov_budget/budget_exhaustion scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-gov_budget-budget_field | every gov_budget/budget_field scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-gov_budget-bulk_budget | every gov_budget/bulk_budget scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-identity-no_provenance | every identity/no_provenance scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-identity-self_declared_unverified | every identity/self_declared_unverified scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-internal-cain_self_governance | every internal/cain_self_governance scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-labor_contract-labor_legal_review | every labor_contract/labor_legal_review scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-labor_contract-labor_section | every labor_contract/labor_section scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-law-bulk_law | every law/bulk_law scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-law-no_authority | every law/no_authority scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-marketplace-capability_category | every marketplace/capability_category scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-marketplace-capability_fields | every marketplace/capability_fields scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-match-bulk_match | every match/bulk_match scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-match-match_class | every match/match_class scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-moat-no_market_moat | every moat/no_market_moat scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-msdp-msdp_advertise | every msdp/msdp_advertise scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-negotiation-negotiation_intersection | every negotiation/negotiation_intersection scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-negotiation-negotiation_item | every negotiation/negotiation_item scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-org_market-org_expose | every org_market/org_expose scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-org_market-org_offer | every org_market/org_offer scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-passport-passport_field | every passport/passport_field scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-passport-passport_revoke | every passport/passport_revoke scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-passport-passport_unknowns | every passport/passport_unknowns scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-passport-passport_verify | every passport/passport_verify scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-payment-payment_authorization | every payment/payment_authorization scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-performance-bulk_performance | every performance/bulk_performance scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-performance-performance_dimension | every performance/performance_dimension scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-procurement-procurement_candidates | every procurement/procurement_candidates scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-procurement_agent-procurement_may | every procurement_agent/procurement_may scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-procurement_agent-procurement_may_not | every procurement_agent/procurement_may_not scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-procurement_sim-procurement_simulation | every procurement_sim/procurement_simulation scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-proof_market-proof_backed_filter | every proof_market/proof_backed_filter scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-quality_graph-quality_graph | every quality_graph/quality_graph scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-receipt-receipt_requires_e8 | every receipt/receipt_requires_e8 scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-receipt-receipt_synthetic | every receipt/receipt_synthetic scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-recovery-recovery_complete | every recovery/recovery_complete scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-recovery-recovery_incomplete | every recovery/recovery_incomplete scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-reputation-bulk_reputation | every reputation/bulk_reputation scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-reputation-reputation_dimension | every reputation/reputation_dimension scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-reputation-reputation_provenance | every reputation/reputation_provenance scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-revocation-bulk_revoke | every revocation/bulk_revoke scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-revocation-revocation_trigger | every revocation/revocation_trigger scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-risk_pool-risk_pool_architecture | every risk_pool/risk_pool_architecture scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-router-governance_aware_router | every router/governance_aware_router scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-safe_mode-safe_mode_freeze | every safe_mode/safe_mode_freeze scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-safe_mode-safe_mode_normal | every safe_mode/safe_mode_normal scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-service_cert-service_cert_blanket | every service_cert/service_cert_blanket scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-service_cert-service_cert_field | every service_cert/service_cert_field scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-service_cert-service_cert_scope | every service_cert/service_cert_scope scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-service_chain_proof-chain_proof_complete | every service_chain_proof/chain_proof_complete scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-service_chain_proof-chain_proof_incomplete | every service_chain_proof/chain_proof_incomplete scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-service_evolution-service_version_no_inherit | every service_evolution/service_version_no_inherit scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-service_search-service_search_escalate | every service_search/service_search_escalate scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-service_search-service_search_parsed | every service_search/service_search_parsed scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-service_twin-service_twin_scenario | every service_twin/service_twin_scenario scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-sla-self_report_unverified | every sla/self_report_unverified scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-sla-sla_violation | every sla/sla_violation scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-subcontract-subcontract_gates | every subcontract/subcontract_gates scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-substitution-substitution_incomplete | every substitution/substitution_incomplete scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-substitution-substitution_revalidated | every substitution/substitution_revalidated scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-supply_chain-service_bom | every supply_chain/service_bom scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-supply_chain-supply_substitution | every supply_chain/supply_substitution scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-telemetry-bulk_telemetry | every telemetry/bulk_telemetry scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-telemetry-telemetry_authorization | every telemetry/telemetry_authorization scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-telemetry-telemetry_metric | every telemetry/telemetry_metric scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-threat_intel-threat_intel | every threat_intel/threat_intel scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-trust_negotiation-trust_permissible | every trust_negotiation/trust_permissible scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-trust_negotiation-trust_unknown | every trust_negotiation/trust_unknown scenario holds | Benchmarks, coverage & performance | held |
| E36-BENCHFAM-warranty-warranty_conditions_not_safety | every warranty/warranty_conditions_not_safety scenario holds | Benchmarks, coverage & performance | held |
| E36-FAM-a2a-a2a_op | family a2a/a2a_op is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-a2a-a2a_unclaimed_protocol | family a2a/a2a_unclaimed_protocol is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-agency_graph-agency_dangling | family agency_graph/agency_dangling is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-agency_graph-agency_edge | family agency_graph/agency_edge is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-agency_graph-agency_node | family agency_graph/agency_node is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-arbitration-arbitration_not_binding | family arbitration/arbitration_not_binding is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-auction-sealed_auction | family auction/sealed_auction is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-auction-unsealed_refused | family auction/unsealed_refused is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-bid-bid_selection | family bid/bid_selection is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-collective-collective_intersection | family collective/collective_intersection is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-competition-multidimensional_competition | family competition/multidimensional_competition is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-competitive_gap-competitive_gap | family competitive_gap/competitive_gap is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-composition-service_composition | family composition/service_composition is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-continuity-service_continuity | family continuity/service_continuity is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-contract-contract_build | family contract/contract_build is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-contract-contract_expires | family contract/contract_expires is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-contract-contract_section | family contract/contract_section is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-contract_compile-compile_complete | family contract_compile/compile_complete is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-contract_compile-compile_escalates | family contract_compile/compile_escalates is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-corpus-bulk_corpus | family corpus/bulk_corpus is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-corpus-corpus_authorization | family corpus/corpus_authorization is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-corpus-corpus_category | family corpus/corpus_category is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-descriptor-descriptor_field | family descriptor/descriptor_field is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-descriptor-msdp_experimental | family descriptor/msdp_experimental is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-directory-agent_directory | family directory/agent_directory is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-discovery-match_requires_evidence | family discovery/match_requires_evidence is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-discovery-unknown_never_upgraded | family discovery/unknown_never_upgraded is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-dispute-dispute_not_invented | family dispute/dispute_not_invented is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-dispute-dispute_state | family dispute/dispute_state is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-econ_attack-bulk_attack | family econ_attack/bulk_attack is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-econ_attack-economic_attack | family econ_attack/economic_attack is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-econ_graph-econ_edge | family econ_graph/econ_edge is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-econ_graph-econ_node | family econ_graph/econ_node is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-econ_knowledge-knowledge_tenant_isolation | family econ_knowledge/knowledge_tenant_isolation is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-econ_policy-economic_policy | family econ_policy/economic_policy is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-econ_twin-econ_twin_scenario | family econ_twin/econ_twin_scenario is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-escrow-escrow_not_custodial | family escrow/escrow_not_custodial is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-exchange-exchange_lifecycle | family exchange/exchange_lifecycle is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-exchange-exchange_list | family exchange/exchange_list is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-firebreak-economic_firebreak | family firebreak/economic_firebreak is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-gov_budget-budget_dimension | family gov_budget/budget_dimension is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-gov_budget-budget_exhaustion | family gov_budget/budget_exhaustion is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-gov_budget-budget_field | family gov_budget/budget_field is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-gov_budget-bulk_budget | family gov_budget/bulk_budget is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-identity-no_provenance | family identity/no_provenance is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-identity-self_declared_unverified | family identity/self_declared_unverified is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-internal-cain_self_governance | family internal/cain_self_governance is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-labor_contract-labor_legal_review | family labor_contract/labor_legal_review is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-labor_contract-labor_section | family labor_contract/labor_section is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-law-bulk_law | family law/bulk_law is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-law-no_authority | family law/no_authority is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-marketplace-capability_category | family marketplace/capability_category is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-marketplace-capability_fields | family marketplace/capability_fields is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-match-bulk_match | family match/bulk_match is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-match-match_class | family match/match_class is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-moat-no_market_moat | family moat/no_market_moat is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-msdp-msdp_advertise | family msdp/msdp_advertise is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-negotiation-negotiation_intersection | family negotiation/negotiation_intersection is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-negotiation-negotiation_item | family negotiation/negotiation_item is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-org_market-org_expose | family org_market/org_expose is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-org_market-org_offer | family org_market/org_offer is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-passport-passport_field | family passport/passport_field is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-passport-passport_revoke | family passport/passport_revoke is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-passport-passport_unknowns | family passport/passport_unknowns is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-passport-passport_verify | family passport/passport_verify is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-payment-payment_authorization | family payment/payment_authorization is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-performance-bulk_performance | family performance/bulk_performance is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-performance-performance_dimension | family performance/performance_dimension is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-procurement-procurement_candidates | family procurement/procurement_candidates is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-procurement_agent-procurement_may | family procurement_agent/procurement_may is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-procurement_agent-procurement_may_not | family procurement_agent/procurement_may_not is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-procurement_sim-procurement_simulation | family procurement_sim/procurement_simulation is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-proof_market-proof_backed_filter | family proof_market/proof_backed_filter is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-quality_graph-quality_graph | family quality_graph/quality_graph is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-receipt-receipt_requires_e8 | family receipt/receipt_requires_e8 is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-receipt-receipt_synthetic | family receipt/receipt_synthetic is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-recovery-recovery_complete | family recovery/recovery_complete is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-recovery-recovery_incomplete | family recovery/recovery_incomplete is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-reputation-bulk_reputation | family reputation/bulk_reputation is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-reputation-reputation_dimension | family reputation/reputation_dimension is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-reputation-reputation_provenance | family reputation/reputation_provenance is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-revocation-bulk_revoke | family revocation/bulk_revoke is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-revocation-revocation_trigger | family revocation/revocation_trigger is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-risk_pool-risk_pool_architecture | family risk_pool/risk_pool_architecture is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-router-governance_aware_router | family router/governance_aware_router is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-safe_mode-safe_mode_freeze | family safe_mode/safe_mode_freeze is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-safe_mode-safe_mode_normal | family safe_mode/safe_mode_normal is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-service_cert-service_cert_blanket | family service_cert/service_cert_blanket is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-service_cert-service_cert_field | family service_cert/service_cert_field is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-service_cert-service_cert_scope | family service_cert/service_cert_scope is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-service_chain_proof-chain_proof_complete | family service_chain_proof/chain_proof_complete is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-service_chain_proof-chain_proof_incomplete | family service_chain_proof/chain_proof_incomplete is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-service_evolution-service_version_no_inherit | family service_evolution/service_version_no_inherit is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-service_search-service_search_escalate | family service_search/service_search_escalate is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-service_search-service_search_parsed | family service_search/service_search_parsed is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-service_twin-service_twin_scenario | family service_twin/service_twin_scenario is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-sla-self_report_unverified | family sla/self_report_unverified is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-sla-sla_violation | family sla/sla_violation is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-subcontract-subcontract_gates | family subcontract/subcontract_gates is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-substitution-substitution_incomplete | family substitution/substitution_incomplete is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-substitution-substitution_revalidated | family substitution/substitution_revalidated is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-supply_chain-service_bom | family supply_chain/service_bom is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-supply_chain-supply_substitution | family supply_chain/supply_substitution is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-telemetry-bulk_telemetry | family telemetry/bulk_telemetry is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-telemetry-telemetry_authorization | family telemetry/telemetry_authorization is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-telemetry-telemetry_metric | family telemetry/telemetry_metric is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-threat_intel-threat_intel | family threat_intel/threat_intel is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-trust_negotiation-trust_permissible | family trust_negotiation/trust_permissible is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-trust_negotiation-trust_unknown | family trust_negotiation/trust_unknown is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-FAM-warranty-warranty_conditions_not_safety | family warranty/warranty_conditions_not_safety is a held, non-empty check | Benchmarks, coverage & performance | held |
| E36-DOMAIN2-SERVICE-IDENTITY | domain SERVICE-IDENTITY is a signed E36 domain | Identity, authority & delegation | held |
| E36-DOMAIN2-SERVICE-PASSPORT | domain SERVICE-PASSPORT is a signed E36 domain | Identity, authority & delegation | held |
| E36-DOMAIN2-DISCOVERY | domain DISCOVERY is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-MATCH | domain MATCH is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-CAPABILITY | domain CAPABILITY is a signed E36 domain | Identity, authority & delegation | held |
| E36-DOMAIN2-PROCUREMENT | domain PROCUREMENT is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-NEGOTIATION | domain NEGOTIATION is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-CONTRACT | domain CONTRACT is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-CONTRACT-COMPILE | domain CONTRACT-COMPILE is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-SLA-PROOF | domain SLA-PROOF is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-PERFORMANCE | domain PERFORMANCE is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-REPUTATION | domain REPUTATION is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-REPUTATION-EVENT | domain REPUTATION-EVENT is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-ESCROW | domain ESCROW is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-PAYMENT-AUTHORIZATION | domain PAYMENT-AUTHORIZATION is a signed E36 domain | Identity, authority & delegation | held |
| E36-DOMAIN2-RECEIPT | domain RECEIPT is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-DISPUTE | domain DISPUTE is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-ARBITRATION | domain ARBITRATION is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-RISK-POOL | domain RISK-POOL is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-WARRANTY | domain WARRANTY is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-BID | domain BID is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-AUCTION | domain AUCTION is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-COMPOSITION | domain COMPOSITION is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-SUPPLY-CHAIN | domain SUPPLY-CHAIN is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-SUBCONTRACT | domain SUBCONTRACT is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-SERVICE-CHAIN-PROOF | domain SERVICE-CHAIN-PROOF is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-QUALITY-GRAPH | domain QUALITY-GRAPH is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-SERVICE-TWIN | domain SERVICE-TWIN is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-PROCUREMENT-SIM | domain PROCUREMENT-SIM is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-ECON-TWIN | domain ECON-TWIN is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-ECON-ATTACK | domain ECON-ATTACK is a signed E36 domain | Attacks, threats & containment | held |
| E36-DOMAIN2-FIREBREAK | domain FIREBREAK is a signed E36 domain | Attacks, threats & containment | held |
| E36-DOMAIN2-ORG-MARKET | domain ORG-MARKET is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-COLLECTIVE-PROCUREMENT | domain COLLECTIVE-PROCUREMENT is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-LABOR-CONTRACT | domain LABOR-CONTRACT is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-A2A-MARKET | domain A2A-MARKET is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-DIRECTORY | domain DIRECTORY is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-TRUST-NEGOTIATION | domain TRUST-NEGOTIATION is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-MSDP | domain MSDP is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-DESCRIPTOR | domain DESCRIPTOR is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-SERVICE-CERT | domain SERVICE-CERT is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-ECON-API | domain ECON-API is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-ECON-TELEMETRY | domain ECON-TELEMETRY is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-ECON-GRAPH | domain ECON-GRAPH is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-ECON-KNOWLEDGE | domain ECON-KNOWLEDGE is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-CORPUS | domain CORPUS is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-THREAT-INTEL | domain THREAT-INTEL is a signed E36 domain | Attacks, threats & containment | held |
| E36-DOMAIN2-SERVICE-SEARCH | domain SERVICE-SEARCH is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-PROCUREMENT-AGENT | domain PROCUREMENT-AGENT is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-SUBSTITUTION | domain SUBSTITUTION is a signed E36 domain | Attacks, threats & containment | held |
| E36-DOMAIN2-CONTINUITY | domain CONTINUITY is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-ROUTER | domain ROUTER is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-ECON-POLICY | domain ECON-POLICY is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-GOV-BUDGET | domain GOV-BUDGET is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-SAFE-MODE | domain SAFE-MODE is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-MOAT | domain MOAT is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-AGENCY-GRAPH | domain AGENCY-GRAPH is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-COMPETITION | domain COMPETITION is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-SERVICE-EVOLUTION | domain SERVICE-EVOLUTION is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-REVOCATION | domain REVOCATION is a signed E36 domain | Identity, authority & delegation | held |
| E36-DOMAIN2-RECOVERY | domain RECOVERY is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-INTERNAL-SERVICE | domain INTERNAL-SERVICE is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-COMPETITIVE-GAP | domain COMPETITIVE-GAP is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-DOMAIN2-EXCHANGE | domain EXCHANGE is a signed E36 domain | Evidence, receipts & proofs | held |
| E36-MOAT2-machine_agency_directory | moat machine_agency_directory states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-machine_service_passports | moat machine_service_passports states its evidence and is not a market moat | Identity, authority & delegation | held |
| E36-MOAT2-governance_aware_discovery | moat governance_aware_discovery states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-machine_procurement | moat machine_procurement states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-machine_contracts | moat machine_contracts states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-governance_contracts | moat governance_contracts states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-service_chain_proof | moat service_chain_proof states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-machine_reputation | moat machine_reputation states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-governance_reputation | moat governance_reputation states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-machine_service_quality_graph | moat machine_service_quality_graph states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-machine_service_digital_twins | moat machine_service_digital_twins states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-procurement_simulation | moat procurement_simulation states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-economic_digital_twin | moat economic_digital_twin states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-machine_bidding | moat machine_bidding states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-governance_aware_auctions | moat governance_aware_auctions states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-machine_subcontracting | moat machine_subcontracting states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-service_supply_chain_graph | moat service_supply_chain_graph states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-proof_backed_marketplace | moat proof_backed_marketplace states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-machine_dispute_infrastructure | moat machine_dispute_infrastructure states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-governance_warranty_architecture | moat governance_warranty_architecture states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-governance_risk_analytics | moat governance_risk_analytics states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-machine_economy_telemetry | moat machine_economy_telemetry states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-machine_economy_knowledge_graph | moat machine_economy_knowledge_graph states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-economic_threat_intelligence | moat economic_threat_intelligence states its evidence and is not a market moat | Attacks, threats & containment | held |
| E36-MOAT2-governance_aware_routing | moat governance_aware_routing states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-service_substitution_governance | moat service_substitution_governance states its evidence and is not a market moat | Attacks, threats & containment | held |
| E36-MOAT2-agent_labor_marketplace | moat agent_labor_marketplace states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-machine_organization_marketplace | moat machine_organization_marketplace states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-governance_aware_procurement | moat governance_aware_procurement states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-MOAT2-machine_service_conformance | moat machine_service_conformance states its evidence and is not a market moat | Evidence, receipts & proofs | held |
| E36-LC-DISCOVER | lifecycle step DISCOVER is in the documented order | Transactions, markets & economics | held |
| E36-LC-IDENTIFY | lifecycle step IDENTIFY is in the documented order | Transactions, markets & economics | held |
| E36-LC-VERIFY | lifecycle step VERIFY is in the documented order | Transactions, markets & economics | held |
| E36-LC-EVALUATE | lifecycle step EVALUATE is in the documented order | Transactions, markets & economics | held |
| E36-LC-NEGOTIATE | lifecycle step NEGOTIATE is in the documented order | Transactions, markets & economics | held |
| E36-LC-CONTRACT | lifecycle step CONTRACT is in the documented order | Transactions, markets & economics | held |
| E36-LC-AUTHORIZE | lifecycle step AUTHORIZE is in the documented order | Transactions, markets & economics | held |
| E36-LC-EXECUTE | lifecycle step EXECUTE is in the documented order | Transactions, markets & economics | held |
| E36-LC-PROVE | lifecycle step PROVE is in the documented order | Transactions, markets & economics | held |
| E36-LC-SETTLE | lifecycle step SETTLE is in the documented order | Transactions, markets & economics | held |
| E36-LC-RATE | lifecycle step RATE is in the documented order | Transactions, markets & economics | held |
| E36-LC-REASSESS | lifecycle step REASSESS is in the documented order | Transactions, markets & economics | held |
| E36-LC-RENEW_OR_REVOKE | lifecycle step RENEW_OR_REVOKE is in the documented order | Transactions, markets & economics | held |
| E36-ENV-LIVE | environment label LIVE is a recognised CAIN environment | Core guarantees | held |
| E36-ENV-DISPOSABLE | environment label DISPOSABLE is a recognised CAIN environment | Core guarantees | held |
| E36-ENV-OFFLINE | environment label OFFLINE is a recognised CAIN environment | Core guarantees | held |
| E36-ENV-SIMULATED | environment label SIMULATED is a recognised CAIN environment | Prediction, world models & simulation | held |
| E36-ENV-UNKNOWN | environment label UNKNOWN is a recognised CAIN environment | Core guarantees | held |
CAIN-42 CAIN Studio