{
  "claim": "Three-level sequential supervision is reconstructable from signed canonical events. AI Risk Agent delegated by AI Reviewer, AI Reviewer delegated by Human, Human granted by tenant root. Each actor has a distinct narrow envelope; approve_transfer is held only by the human; AI Risk Agent cannot delegate further.",
  "determinism_check": {
    "match": true,
    "r1_state_id": "5aefda52359ce9d93f6264780bcc95048fbb7483250063a9c7f8265daca5026d",
    "r2_state_id": "5aefda52359ce9d93f6264780bcc95048fbb7483250063a9c7f8265daca5026d",
    "verify_state_id_self_consistent": true
  },
  "input": {
    "event_count": 6,
    "replay_until_ms": 1800000000000,
    "tenant_id": "tenant_supervisor_chain_44962d9b-25f5-5622-bd9a-98d5580bb8a2",
    "tenant_root": "princ_root_supervisor_chain_44962d9b-25f5-5622-bd9a-98d5580bb8a2"
  },
  "proof_id": "first-agent-supervisor-chain",
  "regulator_seven_facts": [
    {
      "a": "princ_ai_reviewer_001",
      "q": "Who reviewed?"
    },
    {
      "a": "Granted by princ_customer_9 to princ_ai_reviewer_001; policy pol_ai_reviewer_chain_v1; chain to root verified.",
      "q": "Why were they allowed to review?"
    },
    {
      "a": "princ_ai_risk_agent_001",
      "q": "Who scored risk?"
    },
    {
      "a": "Granted by princ_ai_reviewer_001 to princ_ai_risk_agent_001; policy pol_ai_risk_agent_chain_v1; chain to root verified.",
      "q": "Why were they allowed to score risk?"
    },
    {
      "a": "princ_customer_9",
      "q": "Who approved?"
    },
    {
      "a": "Granted by princ_root_supervisor_chain_44962d9b-25f5-5622-bd9a-98d5580bb8a2 to princ_customer_9; policy pol_supervisor_chain_v1; chain to root verified.",
      "q": "Why were they allowed to approve?"
    },
    {
      "a": {
        "human": "pol_supervisor_chain_v1",
        "reviewer": "pol_ai_reviewer_chain_v1",
        "risk_agent": "pol_ai_risk_agent_chain_v1"
      },
      "q": "What policies governed each actor?"
    }
  ],
  "result": {
    "active_grants": [
      {
        "authority_id": "auth_44962d9b-25f5-5622-bd9a-98d5580bb8a2_reviewer_chain",
        "effective_expiry_at_ms": 1812016000000,
        "granted_by": "princ_customer_9",
        "granted_to": "princ_ai_reviewer_001"
      },
      {
        "authority_id": "auth_44962d9b-25f5-5622-bd9a-98d5580bb8a2_risk_agent_chain",
        "effective_expiry_at_ms": 1812016000000,
        "granted_by": "princ_ai_reviewer_001",
        "granted_to": "princ_ai_risk_agent_001"
      },
      {
        "authority_id": "auth_44962d9b-25f5-5622-bd9a-98d5580bb8a2_supervisor_chain",
        "effective_expiry_at_ms": 1812016000000,
        "granted_by": "princ_root_supervisor_chain_44962d9b-25f5-5622-bd9a-98d5580bb8a2",
        "granted_to": "princ_customer_9"
      }
    ],
    "excluded_authorities": [],
    "explanations": [
      {
        "authority_id": "auth_44962d9b-25f5-5622-bd9a-98d5580bb8a2_reviewer_chain",
        "included": true,
        "reason": "Granted by princ_customer_9 to princ_ai_reviewer_001; policy pol_ai_reviewer_chain_v1; chain to root verified."
      },
      {
        "authority_id": "auth_44962d9b-25f5-5622-bd9a-98d5580bb8a2_risk_agent_chain",
        "included": true,
        "reason": "Granted by princ_ai_reviewer_001 to princ_ai_risk_agent_001; policy pol_ai_risk_agent_chain_v1; chain to root verified."
      },
      {
        "authority_id": "auth_44962d9b-25f5-5622-bd9a-98d5580bb8a2_supervisor_chain",
        "included": true,
        "reason": "Granted by princ_root_supervisor_chain_44962d9b-25f5-5622-bd9a-98d5580bb8a2 to princ_customer_9; policy pol_supervisor_chain_v1; chain to root verified."
      }
    ],
    "state_id": "5aefda52359ce9d93f6264780bcc95048fbb7483250063a9c7f8265daca5026d",
    "verdict": "Valid"
  },
  "supervision_chain": {
    "level_0_tenant_root": "princ_root_supervisor_chain_44962d9b-25f5-5622-bd9a-98d5580bb8a2",
    "level_1_human_supervisor": {
      "authority_id": "auth_44962d9b-25f5-5622-bd9a-98d5580bb8a2_supervisor_chain",
      "granted_by": "princ_root_supervisor_chain_44962d9b-25f5-5622-bd9a-98d5580bb8a2",
      "policy": "pol_supervisor_chain_v1",
      "principal": "princ_customer_9",
      "scope": [
        "approve_transfer",
        "revoke_agent_authority",
        "grant_agent_authority"
      ]
    },
    "level_2_ai_reviewer": {
      "authority_id": "auth_44962d9b-25f5-5622-bd9a-98d5580bb8a2_reviewer_chain",
      "denied_capabilities": [
        "approve_transfer",
        "move_assets"
      ],
      "granted_by": "princ_customer_9",
      "policy": "pol_ai_reviewer_chain_v1",
      "principal": "princ_ai_reviewer_001",
      "scope": [
        "review_transfer_request",
        "request_risk_analysis"
      ]
    },
    "level_3_ai_risk_agent": {
      "authority_id": "auth_44962d9b-25f5-5622-bd9a-98d5580bb8a2_risk_agent_chain",
      "denied_capabilities": [
        "approve_transfer",
        "move_assets",
        "delegate_authority",
        "review_transfer_request"
      ],
      "granted_by": "princ_ai_reviewer_001",
      "may_delegate_further": false,
      "policy": "pol_ai_risk_agent_chain_v1",
      "principal": "princ_ai_risk_agent_001",
      "scope": [
        "classify_risk",
        "score_risk"
      ]
    }
  },
  "supervision_invariants": {
    "agent_to_agent_delegation_in_event_log": true,
    "human_remains_sole_approver": true,
    "risk_agent_cannot_delegate_further": true,
    "sequential_not_parallel": true
  },
  "use_case": "Agentic management (L3) for tokenization platforms, transfer agents, fund administrators, insurers, and AI governance buyers — the bridge between L2 envelopes and L4 autonomous operations."
}