{
  "all_state_ids_distinct": true,
  "claim": "Replay at distinct T values reconstructs SUBSTANTIVELY DIFFERENT state — different active policy versions, different active model versions, different decisions present — and each replay at the same T is byte-identical. Decisions carry causal lineage (parent_decision_ids). Replay confidence is scored honestly, including the open Phase E signature-verification gap.",
  "decision_lineage_example": {
    "decision_002": "approved by princ_customer_9, consumed decision_001 (AI recommendation)",
    "decision_004": "approved by princ_customer_9, consumed decision_003 (AI recommendation under model_v2/policy_v2)"
  },
  "every_replay_byte_deterministic_at_same_T": true,
  "honest_limitations": [
    "Signature verification at replay ingestion fails today (Phase E lock). L9 standalone verifier closes this.",
    "Policy content payloads are referenced by hash only; the canonical event log holds the hash, not the full policy text.",
    "Model weights are referenced by hash only; model artifacts must be retrievable from a content-addressable store keyed by weight_hash."
  ],
  "input": {
    "event_count": 11,
    "tenant_id": "tenant_time_travel_44962d9b-25f5-5622-bd9a-98d5580bb8a2",
    "tenant_root": "princ_root_time_travel_44962d9b-25f5-5622-bd9a-98d5580bb8a2"
  },
  "proof_id": "first-time-travel-replay",
  "replay_confidence_at_T10": {
    "checks": [
      {
        "name": "authority_chain",
        "note": "All grants traced to root.",
        "passed": true,
        "severity": "Critical"
      },
      {
        "name": "signatures_verified_at_replay",
        "note": "Phase E lock: AuthEvent.signature is stored but not verified at replay ingestion. Standalone L9 verifier will close this.",
        "passed": false,
        "severity": "Critical"
      },
      {
        "name": "policy_versions_present",
        "note": "Every decision's policy_version_ref resolves to a registered policy version (or no decisions emitted).",
        "passed": true,
        "severity": "Warning"
      },
      {
        "name": "model_versions_present",
        "note": "Every decision's model_version_ref resolves to a registered model version (or no decisions emitted).",
        "passed": true,
        "severity": "Warning"
      },
      {
        "name": "decision_lineage_resolves",
        "note": "Every decision's parent_decision_ids resolve to earlier decisions in the snapshot.",
        "passed": true,
        "severity": "Info"
      }
    ],
    "max_score": 100,
    "score": 72
  },
  "time_travel_snapshots": [
    {
      "decisions": 1,
      "label": "T5_after_decision_1",
      "model_versions": 1,
      "policy_versions": 1,
      "state_id": "1890b20c61daa91ed6079b0215f3c99c5b61d1e7031f9d8fc3ddeb91b72b0025",
      "t_ms": 1780440005000
    },
    {
      "decision_2_lineage": [
        "decision_001"
      ],
      "decisions": 2,
      "label": "T6_after_decision_2",
      "model_versions": 1,
      "policy_versions": 1,
      "state_id": "70fdc855447623918c2ee1b5cdfd3550ca20273a4116a3cd4bd33892508b91e8",
      "t_ms": 1780440006000
    },
    {
      "decisions": 2,
      "label": "T8_after_model_v2_register",
      "model_versions": 2,
      "policy_versions": 2,
      "state_id": "deb7f04a0e6bbf48cf3e68817a1aece75c7849da0380b3cc992eaa62f928eb60",
      "t_ms": 1780440008000
    },
    {
      "decisions": 4,
      "label": "T10_after_decision_4",
      "model_versions": 2,
      "policy_versions": 2,
      "state_id": "b07974aed797856dc47ca07f423124804a1096cb892294c57fb902db149cde50",
      "t_ms": 1780440010000
    },
    {
      "decisions": 4,
      "label": "T∞_far_future",
      "model_versions": 2,
      "policy_versions": 2,
      "state_id": "0f0e51dd8c35d13d53de9b49c7e72f1926160b19f8f5d5e1b55f0c7cd1770c97",
      "t_ms": 1800000000000
    }
  ],
  "timeline": [
    {
      "kind": "policy_register",
      "policy_id": "pol_underwriting",
      "t_ms": 1780440000000
    },
    {
      "kind": "model_register",
      "model_id": "model_underwriting",
      "t_ms": 1780440001000,
      "version": 1
    },
    {
      "actor": "root -> human",
      "kind": "grant",
      "t_ms": 1780440002000
    },
    {
      "actor": "human -> AI",
      "kind": "grant",
      "t_ms": 1780440003000
    },
    {
      "kind": "policy_amend",
      "t_ms": 1780440004000,
      "version": 1
    },
    {
      "actor": "princ_ai_underwriter_001",
      "id": "decision_001",
      "kind": "decision",
      "parents": [],
      "t_ms": 1780440005000
    },
    {
      "actor": "princ_customer_9",
      "id": "decision_002",
      "kind": "decision",
      "parents": [
        "decision_001"
      ],
      "t_ms": 1780440006000
    },
    {
      "kind": "policy_amend",
      "t_ms": 1780440007000,
      "version": 2
    },
    {
      "kind": "model_register",
      "model_id": "model_underwriting",
      "t_ms": 1780440008000,
      "version": 2
    },
    {
      "actor": "princ_ai_underwriter_001",
      "id": "decision_003",
      "kind": "decision",
      "parents": [],
      "t_ms": 1780440009000
    },
    {
      "actor": "princ_customer_9",
      "id": "decision_004",
      "kind": "decision",
      "parents": [
        "decision_003"
      ],
      "t_ms": 1780440010000
    }
  ]
}