ACORD inspector + parametric simulator.
Pick a policy form. Set a trigger. Watch the payout cascade fire on a simulated oracle event.
Homeowner application as typed object
The ACORD AL3 v2.7.0 schema reproduced as a 184-field typed object. Each field maps to its NAIC Uniform Application line item and its XML AL3 element name. The form is the wire — submission, endorsement, and renewal use the same record.
Anatomy — operational specs
Predicate over a public oracle feed
A Cedar predicate evaluated against NOAA CO-OPS station 9410230. Three consecutive 6-minute readings above 12.4 ft MLLW arms the payout. Re-deriving the trigger event from the public NOAA archive yields the same answer — no adjuster discretion is involved.
Anatomy — operational specs
The receipt IS the claim
When the predicate fires, the oracle emits a signed trigger receipt. The claims engine consumes that single receipt and authorizes a $50,000 ACH payout within 72 hours per the parametric rider. No FNOL form, no adjuster assignment, no recorded statement.
Anatomy — operational specs
Quota-share cession via ACORD ReIM
ACORD Reinsurance and Large Commercial message family (ReIM v2.34) carries the cession to treaty TR-2026-PFLOOD-CA. Treaty slip is signed under FROST 3-of-5 by the lead and following markets. Bordereau reporting is a projection over the receipt stream — not a monthly spreadsheet.
Anatomy — operational specs
ISO HO-3 manual as a pure function
Each rating factor — territory 412, FBC 1802.1.3.2 wind credit, protection class PC-3, deductible factor — is a row in the receipt with manual page and effective date pinned. Anyone re-running the rating with the same inputs gets the same $2,140.27 to the cent.
Anatomy — operational specs
InsuranceOS, in one line
risk, made inspectable.
Click anything. The same primitives that compose the rest of the Transaction Science family — receipts, joules, signed transport — show up here too. The family is one system.