{
  "claim": "Replay at T reconstructs same authority state byte-identical, deterministically",
  "determinism_check": {
    "match": true,
    "r1_state_id": "96a29047010a201dfa2a5254897a664ee2c20b9ac437406f61609f7144beae4a",
    "r2_state_id": "96a29047010a201dfa2a5254897a664ee2c20b9ac437406f61609f7144beae4a",
    "verify_state_id_self_consistent": true
  },
  "input": {
    "event_count": 2,
    "replay_until_ms": 1780359626000,
    "tenant_id": "tenant_v101_44962d9b-25f5-5622-bd9a-98d5580bb8a2",
    "tenant_root_principal": "princ_root_v101_44962d9b-25f5-5622-bd9a-98d5580bb8a2"
  },
  "proof_id": "regulator-replay-001",
  "reconstruction_evidence": {
    "expected_authority_id": "auth_44962d9b-25f5-5622-bd9a-98d5580bb8a2_v101_export",
    "expected_grantee": "princ_customer_9",
    "expected_policy_basis": "pol_v101_exporter_v1",
    "matching_grant": {
      "authority_id": "auth_44962d9b-25f5-5622-bd9a-98d5580bb8a2_v101_export",
      "effective_expiry_at_ms": 1811825726633,
      "granted_by": "princ_root_v101_44962d9b-25f5-5622-bd9a-98d5580bb8a2",
      "granted_to": "princ_customer_9"
    },
    "matching_grant_found": true
  },
  "result": {
    "active_grants": [
      {
        "authority_id": "auth_44962d9b-25f5-5622-bd9a-98d5580bb8a2_v101_export",
        "effective_expiry_at_ms": 1811825726633,
        "granted_by": "princ_root_v101_44962d9b-25f5-5622-bd9a-98d5580bb8a2",
        "granted_to": "princ_customer_9"
      }
    ],
    "excluded_authorities": [],
    "explanations": [
      {
        "authority_id": "auth_44962d9b-25f5-5622-bd9a-98d5580bb8a2_v101_export",
        "included": true,
        "reason": "Granted by princ_root_v101_44962d9b-25f5-5622-bd9a-98d5580bb8a2 to princ_customer_9; policy pol_v101_exporter_v1; chain to root verified."
      }
    ],
    "state_id": "96a29047010a201dfa2a5254897a664ee2c20b9ac437406f61609f7144beae4a",
    "verdict": "Valid"
  }
}