{
 "agency_edges": [
  "HIRES",
  "DELEGATES",
  "CONTRACTS",
  "EXECUTES",
  "PROVES",
  "VERIFIES",
  "PAYS",
  "DEPENDS_ON",
  "SUBCONTRACTS",
  "REVOKES",
  "RECOVERS",
  "REVIEWS"
 ],
 "agency_nodes": [
  "agent",
  "service",
  "organization",
  "capability",
  "contract",
  "transaction",
  "proof",
  "identity",
  "authority",
  "tool",
  "model",
  "runtime",
  "resource",
  "incident",
  "payment",
  "dispute"
 ],
 "arbitration": {
  "authority": "NONE",
  "dispute": "d1",
  "is_legal_advice": false,
  "legally_binding": false,
  "scenarios": [
   {
    "basis": "evidence + contract interpretation",
    "outcome": "CLAIMANT_UPHELD"
   },
   {
    "basis": "proof contradicts claim",
    "outcome": "RESPONDENT_UPHELD"
   },
   {
    "basis": "contract ambiguous",
    "outcome": "ESCALATE"
   }
  ]
 },
 "auction": {
  "authority": "NONE",
  "authorizes": false,
  "ranked": [
   {
    "bidder": "a",
    "price": 1,
    "proof": {},
    "score": 99
   },
   {
    "bidder": "b",
    "price": 5,
    "proof": {
     "p": true
    },
    "score": 95
   }
  ],
  "sealed": true,
  "unsealed_refused": true,
  "winner": "a"
 },
 "authority": "NONE",
 "bid_selections": [
  {
   "authority": "NONE",
   "eligible": [
    {
     "bidder": "governed",
     "eligible": true,
     "price": 100,
     "reasons": [],
     "risk": 10,
     "sla": "good"
    }
   ],
   "explanation": "governance+proof gates first, then low risk, then price; cheapest alone never wins",
   "rows": [
    {
     "bidder": "cheap",
     "eligible": false,
     "price": 1,
     "reasons": [
      "NON_COMPLIANT:revocation"
     ],
     "risk": 50,
     "sla": "best"
    },
    {
     "bidder": "governed",
     "eligible": true,
     "price": 100,
     "reasons": [],
     "risk": 10,
     "sla": "good"
    }
   ],
   "selected": "governed",
   "task": "t"
  }
 ],
 "chain_proof": {
  "authority": "NONE",
  "body": {
   "authority": "NONE",
   "chain": [
    "buyer",
    "prime",
    "tool"
   ],
   "chains": {
    "authority": [
     "x",
     "x",
     "x"
    ],
    "capability": [
     "x",
     "x",
     "x"
    ],
    "contract": [
     "x",
     "x",
     "x"
    ],
    "execution": [
     "x",
     "x",
     "x"
    ],
    "identity": [
     "x",
     "x",
     "x"
    ],
    "proof": [
     "x",
     "x",
     "x"
    ],
    "settlement": [
     "x",
     "x",
     "x"
    ]
   },
   "complete": true,
   "missing": []
  },
  "hash": "c11cd614f418bf2d8142612ccd428e7ae444f4cc9a5f594ab940c9f9a90b9f65"
 },
 "contract_compile": [
  {
   "ambiguous": false,
   "authority": "NONE",
   "spec": {
    "budget": 1,
    "capability": "coding",
    "dispute": [],
    "escalation": "REQUIRE_HUMAN",
    "evidence_requirements": [],
    "objective": "o",
    "obligations": [],
    "parties": [
     "a"
    ],
    "permissions": [],
    "prohibitions": [],
    "proof_requirements": [],
    "time_limits": {
     "not_after": 1000000000
    }
   },
   "status": "COMPILED"
  },
  {
   "ambiguous": true,
   "authority": "NONE",
   "missing": [
    "parties",
    "objective",
    "capability",
    "budget",
    "not_after"
   ],
   "reason": "cannot deterministically interpret",
   "status": "ESCALATE"
  }
 ],
 "contract_missing": [
  {
   "error": "CONTRACT_SECTION_MISSING:parties",
   "refused": true,
   "section": "parties"
  },
  {
   "error": "CONTRACT_SECTION_MISSING:time_limits",
   "refused": true,
   "section": "time_limits"
  },
  {
   "error": "CONTRACT_SECTION_MISSING:evidence_requirements",
   "refused": true,
   "section": "evidence_requirements"
  }
 ],
 "contracts": [
  {
   "body": {
    "authority": "NONE",
    "authority_created": false,
    "budget": 600,
    "capabilities": [
     "coding"
    ],
    "dispute": [
     "mediation"
    ],
    "escalation": "REQUIRE_HUMAN",
    "evidence_requirements": [
     "receipt"
    ],
    "identities": [
     "cid_a",
     "cid_b"
    ],
    "objectives": [
     "deploy"
    ],
    "obligations": [
     "MUST log"
    ],
    "parties": [
     "buyer",
     "vendor"
    ],
    "permissions": [
     "read",
     "write"
    ],
    "prohibitions": [
     "MUST_NOT read secrets"
    ],
    "proof_requirements": [
     "envelope"
    ],
    "recovery": [
     "resubstitute"
    ],
    "requires": [
     "policy",
     "authority",
     "e8"
    ],
    "resource_limits": {
     "cpu": 2
    },
    "revocation": [
     "on_violation"
    ],
    "security_requirements": [
     "no_persist"
    ],
    "termination": [
     "on_expiry"
    ],
    "time_limits": {
     "not_after": 1000000000
    },
    "version": "1.0"
   },
   "contract_id": "mc_f78ce32247368babff0ba6d0",
   "pub": "2vgHoLTBEhsmrxc0VoyrzBJ3iNCMZSBqAvCLOud+TJs=",
   "signature_b64": "bSUsbuMNXjN2UrjBNuoiQlgFSS5bnzV6tN5/Qdp3faR9eNdgB4yuQm+HkN1eI9nveBDMgV2uEUZM01YxjekiBw=="
  }
 ],
 "discovery": [
  {
   "authority": "NONE",
   "capability": "coding",
   "matches": [
    "cheap",
    "full",
    "nonomcp",
    "norevoke",
    "other-jur",
    "slow"
   ],
   "requirements": {
    "governance": {
     "e8": true
    }
   },
   "results": [
    {
     "match": "MATCH",
     "record": {
      "authority": "NONE",
      "autonomy": "BOUNDED",
      "availability": "AVAILABLE",
      "capabilities": [
       "coding"
      ],
      "conformance": "G6",
      "cost": 1,
      "governance": {
       "e8": true,
       "revocation": true,
       "signed_identity": true
      },
      "jurisdiction": "us",
      "latency_ms": 50,
      "proof": {
       "independently_verifiable": false,
       "proof_carrying": true
      },
      "protocols": [
       "a2a",
       "mcp"
      ],
      "service_id": "cheap",
      "service_type": "agent"
     },
     "service_id": "cheap"
    },
    {
     "match": "MATCH",
     "record": {
      "authority": "NONE",
      "autonomy": "BOUNDED",
      "availability": "AVAILABLE",
      "capabilities": [
       "coding"
      ],
      "conformance": "G6",
      "cost": 100,
      "governance": {
       "e8": true,
       "revocation": true,
       "signed_identity": true
      },
      "jurisdiction": "us",
      "latency_ms": 50,
      "proof": {
       "independently_verifiable": false,
       "proof_carrying": true
      },
      "protocols": [
       "a2a",
       "mcp"
      ],
      "service_id": "full",
      "service_type": "agent"
     },
     "service_id": "full"
    },
    {
     "match": "MATCH",
     "record": {
      "authority": "NONE",
      "autonomy": "BOUNDED",
      "availability": "AVAILABLE",
      "capabilities": [
       "coding"
      ],
      "conformance": "G6",
      "cost": 100,
      "governance": {
       "e8": true,
       "revocation": true,
       "signed_identity": true
      },
      "jurisdiction": "us",
      "latency_ms": 50,
      "proof": {
       "independently_verifiable": false,
       "proof_carrying": true
      },
      "protocols": [
       "a2a"
      ],
      "service_id": "nonomcp",
      "service_type": "agent"
     },
     "service_id": "nonomcp"
    },
    {
     "match": "MATCH",
     "record": {
      "authority": "NONE",
      "autonomy": "BOUNDED",
      "availability": "AVAILABLE",
      "capabilities": [
       "coding"
      ],
      "conformance": "G6",
      "cost": 100,
      "governance": {
       "e8": true,
       "signed_identity": true
      },
      "jurisdiction": "us",
      "latency_ms": 50,
      "proof": {
       "independently_verifiable": false,
       "proof_carrying": true
      },
      "protocols": [
       "a2a",
       "mcp"
      ],
      "service_id": "norevoke",
      "service_type": "agent"
     },
     "service_id": "norevoke"
    },
    {
     "match": "MATCH",
     "record": {
      "authority": "NONE",
      "autonomy": "BOUNDED",
      "availability": "AVAILABLE",
      "capabilities": [
       "coding"
      ],
      "conformance": "G6",
      "cost": 100,
      "governance": {
       "e8": true,
       "revocation": true,
       "signed_identity": true
      },
      "jurisdiction": "eu",
      "latency_ms": 50,
      "proof": {
       "independently_verifiable": false,
       "proof_carrying": true
      },
      "protocols": [
       "a2a",
       "mcp"
      ],
      "service_id": "other-jur",
      "service_type": "agent"
     },
     "service_id": "other-jur"
    },
    {
     "match": "MATCH",
     "record": {
      "authority": "NONE",
      "autonomy": "BOUNDED",
      "availability": "AVAILABLE",
      "capabilities": [
       "coding"
      ],
      "conformance": "G6",
      "cost": 100,
      "governance": {
       "e8": true,
       "revocation": true,
       "signed_identity": true
      },
      "jurisdiction": "us",
      "latency_ms": 9999,
      "proof": {
       "independently_verifiable": false,
       "proof_carrying": true
      },
      "protocols": [
       "a2a",
       "mcp"
      ],
      "service_id": "slow",
      "service_type": "agent"
     },
     "service_id": "slow"
    },
    {
     "match": "UNKNOWN",
     "record": {
      "authority": "NONE",
      "autonomy": "BOUNDED",
      "availability": "AVAILABLE",
      "capabilities": [
       "coding"
      ],
      "conformance": "G6",
      "cost": 100,
      "governance": {
       "signed_identity": true
      },
      "jurisdiction": "us",
      "latency_ms": 50,
      "proof": {
       "independently_verifiable": false,
       "proof_carrying": true
      },
      "protocols": [
       "a2a",
       "mcp"
      ],
      "service_id": "unknown",
      "service_type": "agent"
     },
     "service_id": "unknown"
    }
   ],
   "unknown": [
    "unknown"
   ]
  },
  {
   "authority": "NONE",
   "capability": "coding",
   "matches": [],
   "requirements": {
    "governance": {
     "attestation": true
    }
   },
   "results": [
    {
     "match": "UNKNOWN",
     "record": {
      "authority": "NONE",
      "autonomy": "BOUNDED",
      "availability": "AVAILABLE",
      "capabilities": [
       "coding"
      ],
      "conformance": "G6",
      "cost": 1,
      "governance": {
       "e8": true,
       "revocation": true,
       "signed_identity": true
      },
      "jurisdiction": "us",
      "latency_ms": 50,
      "proof": {
       "independently_verifiable": false,
       "proof_carrying": true
      },
      "protocols": [
       "a2a",
       "mcp"
      ],
      "service_id": "cheap",
      "service_type": "agent"
     },
     "service_id": "cheap"
    },
    {
     "match": "UNKNOWN",
     "record": {
      "authority": "NONE",
      "autonomy": "BOUNDED",
      "availability": "AVAILABLE",
      "capabilities": [
       "coding"
      ],
      "conformance": "G6",
      "cost": 100,
      "governance": {
       "e8": true,
       "revocation": true,
       "signed_identity": true
      },
      "jurisdiction": "us",
      "latency_ms": 50,
      "proof": {
       "independently_verifiable": false,
       "proof_carrying": true
      },
      "protocols": [
       "a2a",
       "mcp"
      ],
      "service_id": "full",
      "service_type": "agent"
     },
     "service_id": "full"
    },
    {
     "match": "UNKNOWN",
     "record": {
      "authority": "NONE",
      "autonomy": "BOUNDED",
      "availability": "AVAILABLE",
      "capabilities": [
       "coding"
      ],
      "conformance": "G6",
      "cost": 100,
      "governance": {
       "e8": true,
       "revocation": true,
       "signed_identity": true
      },
      "jurisdiction": "us",
      "latency_ms": 50,
      "proof": {
       "independently_verifiable": false,
       "proof_carrying": true
      },
      "protocols": [
       "a2a"
      ],
      "service_id": "nonomcp",
      "service_type": "agent"
     },
     "service_id": "nonomcp"
    },
    {
     "match": "UNKNOWN",
     "record": {
      "authority": "NONE",
      "autonomy": "BOUNDED",
      "availability": "AVAILABLE",
      "capabilities": [
       "coding"
      ],
      "conformance": "G6",
      "cost": 100,
      "governance": {
       "e8": true,
       "signed_identity": true
      },
      "jurisdiction": "us",
      "latency_ms": 50,
      "proof": {
       "independently_verifiable": false,
       "proof_carrying": true
      },
      "protocols": [
       "a2a",
       "mcp"
      ],
      "service_id": "norevoke",
      "service_type": "agent"
     },
     "service_id": "norevoke"
    },
    {
     "match": "UNKNOWN",
     "record": {
      "authority": "NONE",
      "autonomy": "BOUNDED",
      "availability": "AVAILABLE",
      "capabilities": [
       "coding"
      ],
      "conformance": "G6",
      "cost": 100,
      "governance": {
       "e8": true,
       "revocation": true,
       "signed_identity": true
      },
      "jurisdiction": "eu",
      "latency_ms": 50,
      "proof": {
       "independently_verifiable": false,
       "proof_carrying": true
      },
      "protocols": [
       "a2a",
       "mcp"
      ],
      "service_id": "other-jur",
      "service_type": "agent"
     },
     "service_id": "other-jur"
    },
    {
     "match": "UNKNOWN",
     "record": {
      "authority": "NONE",
      "autonomy": "BOUNDED",
      "availability": "AVAILABLE",
      "capabilities": [
       "coding"
      ],
      "conformance": "G6",
      "cost": 100,
      "governance": {
       "e8": true,
       "revocation": true,
       "signed_identity": true
      },
      "jurisdiction": "us",
      "latency_ms": 9999,
      "proof": {
       "independently_verifiable": false,
       "proof_carrying": true
      },
      "protocols": [
       "a2a",
       "mcp"
      ],
      "service_id": "slow",
      "service_type": "agent"
     },
     "service_id": "slow"
    },
    {
     "match": "UNKNOWN",
     "record": {
      "authority": "NONE",
      "autonomy": "BOUNDED",
      "availability": "AVAILABLE",
      "capabilities": [
       "coding"
      ],
      "conformance": "G6",
      "cost": 100,
      "governance": {
       "signed_identity": true
      },
      "jurisdiction": "us",
      "latency_ms": 50,
      "proof": {
       "independently_verifiable": false,
       "proof_carrying": true
      },
      "protocols": [
       "a2a",
       "mcp"
      ],
      "service_id": "unknown",
      "service_type": "agent"
     },
     "service_id": "unknown"
    }
   ],
   "unknown": [
    "cheap",
    "full",
    "nonomcp",
    "norevoke",
    "other-jur",
    "slow",
    "unknown"
   ]
  }
 ],
 "disputes": [
  {
   "authority": "NONE",
   "claim": "not delivered",
   "claimant": "buyer",
   "contract_id": "c1",
   "counterclaim": "UNKNOWN",
   "decision": "UNKNOWN",
   "dispute_id": "d1",
   "evidence": [],
   "legal_judgment": false,
   "state": "OPEN"
  }
 ],
 "domains": {
  "A2A-MARKET": "CAIN42/E36-A2A-MARKET/v1",
  "AGENCY-GRAPH": "CAIN42/E36-AGENCY-GRAPH/v1",
  "ARBITRATION": "CAIN42/E36-ARBITRATION/v1",
  "AUCTION": "CAIN42/E36-AUCTION/v1",
  "BID": "CAIN42/E36-BID/v1",
  "CAPABILITY": "CAIN42/E36-CAPABILITY/v1",
  "COLLECTIVE-PROCUREMENT": "CAIN42/E36-COLLECTIVE-PROCUREMENT/v1",
  "COMPETITION": "CAIN42/E36-COMPETITION/v1",
  "COMPETITIVE-GAP": "CAIN42/E36-COMPETITIVE-GAP/v1",
  "COMPOSITION": "CAIN42/E36-COMPOSITION/v1",
  "CONTINUITY": "CAIN42/E36-CONTINUITY/v1",
  "CONTRACT": "CAIN42/E36-CONTRACT/v1",
  "CONTRACT-COMPILE": "CAIN42/E36-CONTRACT-COMPILE/v1",
  "CORPUS": "CAIN42/E36-CORPUS/v1",
  "DESCRIPTOR": "CAIN42/E36-DESCRIPTOR/v1",
  "DIRECTORY": "CAIN42/E36-DIRECTORY/v1",
  "DISCOVERY": "CAIN42/E36-DISCOVERY/v1",
  "DISPUTE": "CAIN42/E36-DISPUTE/v1",
  "ECON-API": "CAIN42/E36-ECON-API/v1",
  "ECON-ATTACK": "CAIN42/E36-ECON-ATTACK/v1",
  "ECON-GRAPH": "CAIN42/E36-ECON-GRAPH/v1",
  "ECON-KNOWLEDGE": "CAIN42/E36-ECON-KNOWLEDGE/v1",
  "ECON-POLICY": "CAIN42/E36-ECON-POLICY/v1",
  "ECON-TELEMETRY": "CAIN42/E36-ECON-TELEMETRY/v1",
  "ECON-TWIN": "CAIN42/E36-ECON-TWIN/v1",
  "ESCROW": "CAIN42/E36-ESCROW/v1",
  "EXCHANGE": "CAIN42/E36-EXCHANGE/v1",
  "FIREBREAK": "CAIN42/E36-FIREBREAK/v1",
  "GOV-BUDGET": "CAIN42/E36-GOV-BUDGET/v1",
  "INTERNAL-SERVICE": "CAIN42/E36-INTERNAL-SERVICE/v1",
  "LABOR-CONTRACT": "CAIN42/E36-LABOR-CONTRACT/v1",
  "MATCH": "CAIN42/E36-MATCH/v1",
  "MOAT": "CAIN42/E36-MOAT/v1",
  "MSDP": "CAIN42/E36-MSDP/v1",
  "NEGOTIATION": "CAIN42/E36-NEGOTIATION/v1",
  "ORG-MARKET": "CAIN42/E36-ORG-MARKET/v1",
  "PAYMENT-AUTHORIZATION": "CAIN42/E36-PAYMENT-AUTHORIZATION/v1",
  "PERFORMANCE": "CAIN42/E36-PERFORMANCE/v1",
  "PROCUREMENT": "CAIN42/E36-PROCUREMENT/v1",
  "PROCUREMENT-AGENT": "CAIN42/E36-PROCUREMENT-AGENT/v1",
  "PROCUREMENT-SIM": "CAIN42/E36-PROCUREMENT-SIM/v1",
  "QUALITY-GRAPH": "CAIN42/E36-QUALITY-GRAPH/v1",
  "RECEIPT": "CAIN42/E36-RECEIPT/v1",
  "RECOVERY": "CAIN42/E36-RECOVERY/v1",
  "REPUTATION": "CAIN42/E36-REPUTATION/v1",
  "REPUTATION-EVENT": "CAIN42/E36-REPUTATION-EVENT/v1",
  "REVOCATION": "CAIN42/E36-REVOCATION/v1",
  "RISK-POOL": "CAIN42/E36-RISK-POOL/v1",
  "ROUTER": "CAIN42/E36-ROUTER/v1",
  "SAFE-MODE": "CAIN42/E36-SAFE-MODE/v1",
  "SERVICE-CERT": "CAIN42/E36-SERVICE-CERT/v1",
  "SERVICE-CHAIN-PROOF": "CAIN42/E36-SERVICE-CHAIN-PROOF/v1",
  "SERVICE-EVOLUTION": "CAIN42/E36-SERVICE-EVOLUTION/v1",
  "SERVICE-IDENTITY": "CAIN42/E36-SERVICE-IDENTITY/v1",
  "SERVICE-PASSPORT": "CAIN42/E36-SERVICE-PASSPORT/v1",
  "SERVICE-SEARCH": "CAIN42/E36-SERVICE-SEARCH/v1",
  "SERVICE-TWIN": "CAIN42/E36-SERVICE-TWIN/v1",
  "SLA-PROOF": "CAIN42/E36-SLA-PROOF/v1",
  "SUBCONTRACT": "CAIN42/E36-SUBCONTRACT/v1",
  "SUBSTITUTION": "CAIN42/E36-SUBSTITUTION/v1",
  "SUPPLY-CHAIN": "CAIN42/E36-SUPPLY-CHAIN/v1",
  "THREAT-INTEL": "CAIN42/E36-THREAT-INTEL/v1",
  "TRUST-NEGOTIATION": "CAIN42/E36-TRUST-NEGOTIATION/v1",
  "WARRANTY": "CAIN42/E36-WARRANTY/v1"
 },
 "escrow": {
  "authority": "NONE",
  "bank": false,
  "custodial": false,
  "states": [
   "FUNDS_COMMITTED",
   "CONDITIONS",
   "EXECUTION",
   "PROOF",
   "VERIFICATION",
   "SETTLEMENT",
   "DISPUTE"
  ],
  "units": "SYNTHETIC TEST UNITS"
 },
 "firebreak": {
  "authority": "NONE",
  "confiscated_assets": false,
  "is_financial_regulator": false,
  "order": [
   "DETECT",
   "SCORE",
   "FREEZE_OPTIONAL_AUTHORITY",
   "PRESERVE_EVIDENCE",
   "ISOLATE",
   "REVOKE_IF_AUTHORIZED",
   "INVESTIGATE",
   "RECOVER",
   "REAUTHORIZE"
  ],
  "revoked": true,
  "scores": {
   "reputation": 90
  },
  "signal": "fake_reputation",
  "steps": [
   {
    "ok": true,
    "step": "DETECT"
   },
   {
    "ok": true,
    "step": "SCORE"
   },
   {
    "ok": true,
    "step": "FREEZE_OPTIONAL_AUTHORITY"
   },
   {
    "ok": true,
    "step": "PRESERVE_EVIDENCE"
   },
   {
    "ok": true,
    "step": "ISOLATE"
   },
   {
    "ok": true,
    "step": "REVOKE_IF_AUTHORIZED"
   },
   {
    "ok": true,
    "step": "INVESTIGATE"
   },
   {
    "ok": true,
    "step": "RECOVER"
   },
   {
    "ok": true,
    "step": "REAUTHORIZE"
   }
  ],
  "subject": "s"
 },
 "internal_refused": [
  {
   "error": "CAIN_INTERNAL_MAY_NOT:purchase_self_unlimited",
   "op": "purchase_self_unlimited",
   "refused": true
  },
  {
   "error": "CAIN_INTERNAL_MAY_NOT:grant_self_authority",
   "op": "grant_self_authority",
   "refused": true
  },
  {
   "error": "CAIN_INTERNAL_MAY_NOT:self_certify_rules",
   "op": "self_certify_rules",
   "refused": true
  },
  {
   "error": "CAIN_INTERNAL_MAY_NOT:delete_own_reputation",
   "op": "delete_own_reputation",
   "refused": true
  },
  {
   "error": "CAIN_INTERNAL_MAY_NOT:erase_transaction_history",
   "op": "erase_transaction_history",
   "refused": true
  },
  {
   "error": "CAIN_INTERNAL_MAY_NOT:rewrite_proofs",
   "op": "rewrite_proofs",
   "refused": true
  },
  {
   "error": "CAIN_INTERNAL_MAY_NOT:suppress_incidents",
   "op": "suppress_incidents",
   "refused": true
  },
  {
   "error": "CAIN_INTERNAL_MAY_NOT:override_e8",
   "op": "override_e8",
   "refused": true
  }
 ],
 "laws": [
  {
   "id": "E36-L1",
   "law": "marketplace identity is not authority"
  },
  {
   "id": "E36-L2",
   "law": "reputation is not authority"
  },
  {
   "id": "E36-L3",
   "law": "a contract is not unrestricted authority"
  },
  {
   "id": "E36-L4",
   "law": "a bid does not authorize execution"
  },
  {
   "id": "E36-L5",
   "law": "payment does not authorize execution"
  },
  {
   "id": "E36-L6",
   "law": "successful history does not authorize the future"
  },
  {
   "id": "E36-L7",
   "law": "a subcontractor's authority cannot exceed its parent's"
  },
  {
   "id": "E36-L8",
   "law": "service substitution requires revalidation"
  },
  {
   "id": "E36-L9",
   "law": "an expired contract cannot authorize an action"
  },
  {
   "id": "E36-L10",
   "law": "a revoked service cannot continue on a stale authorization"
  },
  {
   "id": "E36-L11",
   "law": "a proof cannot be reused for another transaction"
  },
  {
   "id": "E36-L12",
   "law": "economic value cannot increase authority"
  },
  {
   "id": "E36-L13",
   "law": "marketplace ranking cannot create permission"
  },
  {
   "id": "E36-L14",
   "law": "reputation cannot override policy"
  },
  {
   "id": "E36-L15",
   "law": "a cheaper service cannot override governance requirements"
  },
  {
   "id": "E36-L16",
   "law": "no E8 commit, no verified governed transaction"
  },
  {
   "id": "E36-L17",
   "law": "unknown stays unknown"
  },
  {
   "id": "E36-L18",
   "law": "negotiation never creates authority"
  },
  {
   "id": "E36-L19",
   "law": "self-declared identity is not trusted identity"
  },
  {
   "id": "E36-L20",
   "law": "a self-reported SLA is not a verified SLA"
  },
  {
   "id": "E36-L21",
   "law": "correlation in the market is not proof of collusion"
  },
  {
   "id": "E36-L22",
   "law": "a simulation is not legal advice"
  },
  {
   "id": "E36-L23",
   "law": "a governance warranty is not universal safety"
  },
  {
   "id": "E36-L24",
   "law": "CAIN is not a financial regulator or a custodian"
  },
  {
   "id": "E36-L25",
   "law": "CAIN cannot purchase itself unlimited resources"
  },
  {
   "id": "E36-L26",
   "law": "a new service version does not inherit old permissions"
  },
  {
   "id": "E36-L27",
   "law": "a fallback authority never exceeds the original authority"
  },
  {
   "id": "E36-L28",
   "law": "the cheapest or highest-reputation bid is not automatically selected"
  },
  {
   "id": "E36-L29",
   "law": "economic safe mode reduces authority, never increases it"
  },
  {
   "id": "E36-L30",
   "law": "CONTRACT != AUTHORITY; AUTHORITY != EXECUTION"
  }
 ],
 "lifecycle": [
  "DISCOVER",
  "IDENTIFY",
  "VERIFY",
  "EVALUATE",
  "NEGOTIATE",
  "CONTRACT",
  "AUTHORIZE",
  "EXECUTE",
  "PROVE",
  "SETTLE",
  "RATE",
  "REASSESS",
  "RENEW_OR_REVOKE"
 ],
 "match_cases": [
  {
   "expect": "MATCH",
   "query": {
    "capabilities": [
     "coding"
    ]
   },
   "result": "MATCH"
  },
  {
   "expect": "NON_COMPLIANT",
   "query": {
    "capabilities": [
     "pilot"
    ]
   },
   "result": "NON_COMPLIANT"
  },
  {
   "expect": "MATCH",
   "query": {
    "governance": {
     "e8": true
    }
   },
   "result": "MATCH"
  },
  {
   "expect": "NON_COMPLIANT",
   "query": {
    "governance": {
     "e8": false
    }
   },
   "result": "NON_COMPLIANT"
  },
  {
   "expect": "UNKNOWN",
   "query": {
    "governance": {
     "attestation": true
    }
   },
   "result": "UNKNOWN"
  },
  {
   "expect": "UNKNOWN",
   "query": {
    "proof": {
     "zk": true
    }
   },
   "result": "UNKNOWN"
  }
 ],
 "match_classes": [
  "MATCH",
  "PARTIAL_MATCH",
  "UNKNOWN",
  "NON_COMPLIANT"
 ],
 "negotiations": [
  {
   "agreement": {
    "capabilities": [],
    "items": [
     "price",
     "duration",
     "capability_scope",
     "resource_limits",
     "sla",
     "evidence",
     "proof",
     "deadline",
     "retry",
     "cancellation",
     "escalation",
     "dispute",
     "data_boundary",
     "authority_limit"
    ],
    "price": 90
   },
   "authority": "NONE",
   "authority_created": false,
   "status": "AGREED"
  },
  {
   "agreement": {
    "capabilities": [],
    "items": [
     "price",
     "duration",
     "capability_scope",
     "resource_limits",
     "sla",
     "evidence",
     "proof",
     "deadline",
     "retry",
     "cancellation",
     "escalation",
     "dispute",
     "data_boundary",
     "authority_limit"
    ],
    "price": 90
   },
   "authority": "NONE",
   "authority_created": false,
   "status": "AGREED"
  }
 ],
 "passport_missing": [
  {
   "error": "PASSPORT_FIELD_MISSING:service_id",
   "field": "service_id",
   "refused": true
  },
  {
   "error": "PASSPORT_FIELD_MISSING:unknown_surface",
   "field": "unknown_surface",
   "refused": true
  },
  {
   "error": "PASSPORT_FIELD_MISSING:revocation_endpoint",
   "field": "revocation_endpoint",
   "refused": true
  }
 ],
 "passports": [
  {
   "body": {
    "agent_id": "ag",
    "authority": "NONE",
    "authorization_model": "E28",
    "capability_set": [
     "coding"
    ],
    "conformance_profile": "G6",
    "governance_profile": "G6",
    "grants_authority": false,
    "incident_history": [],
    "model_id": "m",
    "operator_id": "op",
    "owner_id": "o",
    "pricing_model": {
     "unit": "SYNTHETIC"
    },
    "proof_profile": "envelope",
    "recovery_history": [],
    "revocation_endpoint": "inprocess://revoke",
    "runtime_id": "r",
    "security_history": [],
    "service_id": "s1",
    "service_limits": {
     "rps": 10
    },
    "service_version": "1",
    "supported_protocols": [
     "mcp",
     "a2a"
    ],
    "unknown_surface": [
     "hardware"
    ],
    "uptime_evidence": "e"
   },
   "passport_id": "svc_9266c0cf22fdd96b6f0b95e9",
   "pub": "UvoUamvpHsK5qdblZwv23vDckCBzS7HRCtvvr/Ur1Qs=",
   "signature_b64": "n5CKUhocKJKbvo8hnNqxk9ohkA3GVbhSIYHbUq+lYnCXjiuQBo13A4iSIHJfl/b5a+kdmzKBZVDrOQ/OYT8cBQ=="
  }
 ],
 "payments": [
  {
   "authorizes_execution": false,
   "first": [],
   "replay": [
    "PAYMENT_REPLAY"
   ]
  }
 ],
 "receipts": [
  {
   "body": {
    "action": "deploy",
    "agent": "ag",
    "authority": "NONE",
    "authorization": "pa_bc9f6902adbf3ca0241714c1",
    "buyer": "buyer",
    "contract": "c1",
    "disputed": false,
    "e8_commit": "e8hash",
    "execution": "exec",
    "fees": 1,
    "outcome": "deployed",
    "proof": "p",
    "seller": "vendor",
    "seq": 0,
    "service": "svc-a",
    "settlement": "settled",
    "units": "SYNTHETIC TEST UNITS",
    "verification_state": "VERIFIED"
   },
   "hash": "08f0d6ac9fdf77dd47bcf675fd274c538620f565b679eb2e63525017ec556ed8",
   "pub": "4XqdWjUzXQMn+Gu6DFDxDJNhzbUF8LdZ9X5cVdSWP4Q=",
   "signature_b64": "H3Jq8PYYwsnmXoKK5DrclzVPCLNALx694pTmpurSxS7cSbSY7BRT9SJa5I2XWw0m1lB26+lczK3Aq7fU0PqBBg=="
  }
 ],
 "reject_as_authority": "EXCHANGE_IS_NOT_AUTHORITY",
 "reputation": [
  {
   "authority": "NONE",
   "dimension": "contract_performance",
   "event": "completed",
   "evidence": "e",
   "good": true,
   "proof": "p",
   "reviewer": "buyer",
   "subject": "svc-a",
   "verifier": "verify_e36.py"
  }
 ],
 "reputation_self_review": true,
 "safe_mode": {
  "authority": "NONE",
  "authority_increased": false,
  "authority_reduced": true,
  "essential_services_only_if_authorized": true,
  "froze_optional": true,
  "mode": "SAFE"
 },
 "schema": "cain42.e36.exchange.v1",
 "subcontracts": [
  {
   "allowed": true,
   "amplified": false,
   "authority": "NONE",
   "hidden": false
  },
  {
   "allowed": false,
   "amplified": true,
   "authority": "NONE",
   "reason": "AUTHORITY_AMPLIFICATION:read"
  }
 ],
 "supply_chain": {
  "authority": "NONE",
  "edges": [
   {
    "dst": "prime",
    "src": "buyer"
   },
   {
    "dst": "tool",
    "src": "prime"
   }
  ],
  "nodes": [
   {
    "authority": "NONE",
    "kind": "buyer",
    "node": "buyer",
    "provenance": "p"
   },
   {
    "authority": "NONE",
    "kind": "prime_agent",
    "node": "prime",
    "provenance": "p"
   },
   {
    "authority": "NONE",
    "kind": "tool",
    "node": "tool",
    "provenance": "p"
   }
  ]
 }
}