01The failure — Claim #84711
January 15, 2025. A subprime credit-underwriting policy is registered by the compliance lead. A credit-underwriting model is registered by the data-science lead.
February 1. The credit officer is granted authority to approve credit applications. Four days later, she delegates recommend authority to the AI risk agent.
April 15. The AI risk agent processes a borrower's application and recommends approval of a $4.2M loan. The human credit officer reads the recommendation and approves. The loan disburses.
September 1. Six months later, the policy owner tightens the underwriting policy — DTI threshold drops from 0.45 to 0.36, maximum loan amount drops from $5M to $2M. Too late for the April loan.
March 15, 2026. The borrower defaults. $4.2M loss recognized. Reason: credit_default.
March 20, 2026. The firm files Claim #84711 with its credit reinsurer for $4.2M.
March 2031 — five years later. A reinsurance investigator opens the claim file and asks:
This proof answers that question deterministically from the signed canonical event log.
02The seven abstractions converged
Replay at T ≈ March 2031 produces a snapshot containing all seven, simultaneously. Every prior proof established one or two. This proof is the first where they all matter at once.
state_id = 6d540fc52dc0a4b7a593e38494c8bca6b6a3d8f5b64678f7acb86e7574e3748c
03show_loss_lineage(claim_84711) — 23 typed entries
show_loss_lineage(claim_84711)One query. Full chain. Five years later. This is the substrate the post-#15 demo show_loss_lineage(claim_84711) rides on — a single search that returns Asset / Decision / Model / Policy / Authority / Responsibility / Loss with time-travel replay AND independent verification.
04What the chain reads
In plain language, here is what the engine reconstructs from the canonical event log alone:
| Layer | What the chain says |
|---|---|
| Claim | claim_84711 filed by the CFO with the credit reinsurer |
| Loss | loss_loan_84711_default — credit_default — $4.2M USD |
| Affected asset | loan_84711_borrower_principal |
| Triggering decisions | approval (human) consumed recommendation (AI) |
| Model at decision time | model_credit_underwriting v1, weight_hash + training_fingerprint preserved |
| Policy in force at decision | pol_credit_underwriting v1 (DTI ≤ 0.45) |
| Policy amended later | pol_credit_underwriting v2 (DTI ≤ 0.36) — too late for the loan |
| Authority chain | root → credit officer → AI risk agent |
| Responsibility at decision time | actor=credit_officer · model_owner · policy_owner · asset_owner=borrower · delegated_from=root |
05The schema
LossEvent {
at_ms, loss_id, affected_asset,
loss_amount, loss_category, // credit_default · operational_loss · fraud · impairment · market_loss
triggering_decision_ids: Vec<String>,
recognized_by, signature
}
ClaimEvent {
at_ms, claim_id, loss_event_id,
claim_amount, claim_status, // filed · investigating · approved · denied · paid
insurer, insured, filed_by, signature
}
Snapshot extensions: loss_events, claim_events, loss_lineage_index — all skip-if-empty. All 14 prior proofs' state_ids verified byte-identical.
06What this proof IS and IS NOT
The convergence proof. The substrate the post-#15 killer demo (show_loss_lineage(claim_84711) rendered as a one-click search) rides on. The point in the corpus where H33 stops being "accountability infrastructure" and starts being Replayable Consequences. The proof insurers, reinsurers, claim investigators, SIU teams, regulators, and PE diligence teams recognize immediately as their core problem solved.
A claim that any real carrier has migrated yet (operator-side). A complete reserving / settlement engine (this is the evidentiary chain). A legal verdict (chain is structural fact). A claim that decisions producing losses are rejected at issuance (policy-layer concern).
07Known limitations
- Loss + claim amounts carried as opaque strings — confidentiality-friendly + engine doesn't arithmetic. Typed money fields are a future iteration.
- affected_asset is a string reference today. Proof #18 (Asset Lineage) formalizes Asset as a typed entity.
- One loss → one claim in this scenario. Multi-claim chains (reinsurance / retrocession) queued for #15.1.
- consequence_chain (forward-looking from Decision to downstream consequences) is engine-side per Eric's "quietly add, not on page" directive.
- Phase E lock open as in every prior proof; L9.1 closes it.
08Where this proof sits
09Evidence appendix
| Field | Value |
|---|---|
| state_id | 6d540fc52dc0a4b7a593e38494c8bca6b6a3d8f5b64678f7acb86e7574e3748c |
| Tenant ID | tenant_insurance_claim_44962d9b-25f5-5622-bd9a-98d5580bb8a2 |
| Tenant root (insured) | princ_root_claim_44962d9b-… |
| Credit Officer | princ_credit_officer_001 |
| AI Risk Agent | princ_credit_risk_agent_001 |
| Policy Owner | princ_policy_owner_underwriting |
| Model Owner | princ_model_owner_credit_underwriting |
| Borrower (asset_owner) | princ_borrower_loan_84711 |
| Reinsurer | princ_insurer_global_credit_re_001 |
| Loss event | loss_loan_84711_default · $4.2M · credit_default |
| Claim event | claim_84711 · $4.2M · filed |
| Event count | 10 |
| responsibility_index entries | 13 |
| loss_lineage_index entries | 23 (all 7 layers + 7 typed responsibility sub-layers) |
| Replay T (5yr post-claim) | ≈ March 2031 |
| Reconstruction artifact | reconstruction.json |
| Harness | tests/replayable_insurance_claim_001.rs (scif-backend @ 09b541109) |
10Readiness determination
First Replayable Insurance Claim: PROVEN IN OPERATION for one insurance-claim tenant, 10 signed events, all 7 abstractions converged, 23 typed loss_lineage_index entries, the killer query show_loss_lineage(claim_84711) answers in one call.
What this unlocks: the post-#15 demo show_loss_lineage(claim_84711) (the artifact #15 makes possible — lead asset for insurer / PE / reinsurer / litigator / board conversations); Decision Insurance roadmap items become underwritable; Asset Lineage (#18) typifies the asset object; Regulator Mode (#19) surfaces the index as portal output. The category claim Eric named as the corpus endpoint: Replayable Consequences.
What this does not unlock: a complete reserving/settlement engine; a claim that any real carrier has migrated; a legal verdict.
Issued by H33, Inc. · Eric Beans, CEO · 2026-06-02
Independently reconstructable. Inputs: scif-backend @ 09b541109 · tests/replayable_insurance_claim_001.rs · reconstruction.json.