Schema Universe

Schema Registry

All 56 insurance contracts live here with the full proof posture.

The homepage now shows the registry at a glance while keeping the four numbered schema cards tight. This page carries the full universe with maturity, callable state, proof posture, benchmark routes, and schema detail pages.

Total56

Schema contracts across the full insurance universe.

Hardened35

Callable only after named real-public-document proof passes.

Hardening21

Discoverable but gated by FastScript abstention until proven.

Nextloss_run

Next proof-gate target in the local universe.

Proof Gate

A schema is not proven because it exists.

Hardened means the schema has a real public corpus, source-verified labels, evidence checks, benchmark scoring, regression protection, and callable API posture. Everything else remains visible to developers but guarded by schema_pending_benchmark_hardening.

Commercial P&C15/15 hardened
hardened

Commercial General Liability

Limits, entities, additional insured posture, waiver, primary/non-contributory, and endorsement effects.

commercial_gl
hardened

Commercial Auto

CSL, symbols, hired/non-owned signals, deductibles, and fleet-facing coverage structure.

commercial_auto
hardened

Workers Compensation

Statutory states, employers liability limits, mod factors, and class-code related signals.

workers_comp
hardened

Commercial Property

Building, BPP, business income, deductibles, valuation basis, and causes-of-loss signals.

commercial_property
hardened

Umbrella / Excess

Occurrence, aggregate, retention, follow-form posture, and underlying schedule references.

umbrella_excess
hardened

Professional Lines

Professional liability, cyber, D&O, pollution, claims-made posture, retro dates, and sublimits.

professional_lines
hardened

Cyber Liability

Cyber aggregate limits, each-claim/event limits, retentions, retroactive dates, and breach-response signals.

cyber
hardened

Directors and Officers

Aggregate limits, Side A posture, retentions, continuity dates, and claims-made evidence.

d_and_o
hardened

Employment Practices Liability

Each-claim and aggregate limits, retentions, continuity dates, and claims-made evidence for EPLI schedules.

epli
hardened

Crime

Employee theft, computer fraud, forgery, funds transfer fraud, deductibles, and crime/fidelity schedules.

crime
hardened

Inland Marine

Contractor's equipment, equipment floaters, transit limits, installation risk, scheduled property, and deductibles.

inland_marine
hardened

Cargo

Ocean cargo, marine cargo, stockthroughput, shipment limits, transit deductibles, policy numbers, and territory signals.

cargo
hardened

Environmental / Pollution

Contractors pollution liability, pollution legal liability, premises pollution liability, per-pollution-condition limits, aggregate limits, retentions, and retroactive-date language.

environmental
hardened

Surety / Bonds

Bond numbers, penal sums, obligees, principals, surety names, effective dates, and performance/payment/reclamation bond evidence.

surety
hardened

Builders Risk

Project limits, soft-cost limits, transit and temporary-storage limits, deductibles, valuation basis, and completed-value/all-risk form evidence.

builders_risk
Consumer / Personal Lines10/10 hardened
hardened

Personal Auto

Policy numbers, policy periods, bodily injury and property damage limits, UM/UIM limits, and vehicle schedules from declarations and public court packets.

personal_auto
hardened

Homeowners

Coverage A dwelling, other structures, personal property, loss of use, personal liability, medical payments, deductibles, and policy periods from homeowners declarations.

homeowners
hardened

Renters

Personal property, loss of use, personal liability, medical payments, deductibles, and policy periods from renters declarations.

renters
hardened

Condo

HO-6 / condominium unit-owner Coverage A/C, loss assessment, liability, medical payments, deductibles, and policy period evidence.

condo
hardened

Personal Umbrella

Umbrella liability limits, policy periods, retained limits, and underlying insurance requirements from declarations and public court records.

personal_umbrella
hardened

Life

Policy numbers, issue dates, face amounts, insured names, and beneficiary evidence from life policies and public court records.

life
hardened

Health

SBC plan names, covered-member tiers, overall deductibles, and out-of-pocket maximums from public health plan documents.

health
hardened

Disability

Long-term disability monthly benefit amounts, elimination periods, and maximum benefit-period evidence from public certificates and summaries.

disability
hardened

Travel

Travel insurance trip-cost, medical-limit, cancellation-limit, and coverage-effective trigger evidence from public travel protection documents.

travel
hardened

Pet

Pet insurance annual policy limits, reimbursement percentages, deductibles, and insured-pet names from public policy packets.

pet
Document Primitives9/9 hardened
Claims1/9 hardened
hardened

First Notice of Loss

First Notice of Loss extraction for loss dates, claimant names, loss locations, and claim descriptions from real public claim notice records.

fnol
hardening

Loss Run

Proof-gated claims contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.

loss_run
hardening

Claim Packet

Proof-gated claims contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.

claim_packet
hardening

Adjuster Report

Proof-gated claims contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.

adjuster_report
hardening

Repair Estimate

Proof-gated claims contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.

repair_estimate
hardening

Medical Bill

Proof-gated claims contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.

medical_bill
hardening

Explanation of Benefits

Proof-gated claims contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.

eob
hardening

Settlement

Proof-gated claims contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.

settlement
hardening

Subrogation

Proof-gated claims contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.

subrogation
Benefits0/4 hardened
Reinsurance0/3 hardened
ACORD0/6 hardened