Schema contracts across the full insurance universe.
Schema Universe
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.
Callable only after named real-public-document proof passes.
Discoverable but gated by FastScript abstention until proven.
Next proof-gate target in the local universe.
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 General Liability
Limits, entities, additional insured posture, waiver, primary/non-contributory, and endorsement effects.
commercial_glhardenedCommercial Auto
CSL, symbols, hired/non-owned signals, deductibles, and fleet-facing coverage structure.
commercial_autohardenedWorkers Compensation
Statutory states, employers liability limits, mod factors, and class-code related signals.
workers_comphardenedCommercial Property
Building, BPP, business income, deductibles, valuation basis, and causes-of-loss signals.
commercial_propertyhardenedUmbrella / Excess
Occurrence, aggregate, retention, follow-form posture, and underlying schedule references.
umbrella_excesshardenedProfessional Lines
Professional liability, cyber, D&O, pollution, claims-made posture, retro dates, and sublimits.
professional_lineshardenedCyber Liability
Cyber aggregate limits, each-claim/event limits, retentions, retroactive dates, and breach-response signals.
cyberhardenedDirectors and Officers
Aggregate limits, Side A posture, retentions, continuity dates, and claims-made evidence.
d_and_ohardenedEmployment Practices Liability
Each-claim and aggregate limits, retentions, continuity dates, and claims-made evidence for EPLI schedules.
eplihardenedCrime
Employee theft, computer fraud, forgery, funds transfer fraud, deductibles, and crime/fidelity schedules.
crimehardenedInland Marine
Contractor's equipment, equipment floaters, transit limits, installation risk, scheduled property, and deductibles.
inland_marinehardenedCargo
Ocean cargo, marine cargo, stockthroughput, shipment limits, transit deductibles, policy numbers, and territory signals.
cargohardenedEnvironmental / Pollution
Contractors pollution liability, pollution legal liability, premises pollution liability, per-pollution-condition limits, aggregate limits, retentions, and retroactive-date language.
environmentalhardenedSurety / Bonds
Bond numbers, penal sums, obligees, principals, surety names, effective dates, and performance/payment/reclamation bond evidence.
suretyhardenedBuilders Risk
Project limits, soft-cost limits, transit and temporary-storage limits, deductibles, valuation basis, and completed-value/all-risk form evidence.
builders_riskPersonal Auto
Policy numbers, policy periods, bodily injury and property damage limits, UM/UIM limits, and vehicle schedules from declarations and public court packets.
personal_autohardenedHomeowners
Coverage A dwelling, other structures, personal property, loss of use, personal liability, medical payments, deductibles, and policy periods from homeowners declarations.
homeownershardenedRenters
Personal property, loss of use, personal liability, medical payments, deductibles, and policy periods from renters declarations.
rentershardenedCondo
HO-6 / condominium unit-owner Coverage A/C, loss assessment, liability, medical payments, deductibles, and policy period evidence.
condohardenedPersonal Umbrella
Umbrella liability limits, policy periods, retained limits, and underlying insurance requirements from declarations and public court records.
personal_umbrellahardenedLife
Policy numbers, issue dates, face amounts, insured names, and beneficiary evidence from life policies and public court records.
lifehardenedHealth
SBC plan names, covered-member tiers, overall deductibles, and out-of-pocket maximums from public health plan documents.
healthhardenedDisability
Long-term disability monthly benefit amounts, elimination periods, and maximum benefit-period evidence from public certificates and summaries.
disabilityhardenedTravel
Travel insurance trip-cost, medical-limit, cancellation-limit, and coverage-effective trigger evidence from public travel protection documents.
travelhardenedPet
Pet insurance annual policy limits, reimbursement percentages, deductibles, and insured-pet names from public policy packets.
petCertificate of Insurance
Certificate producer, insured, certificate-holder, and coverage-row extraction from real public ACORD certificate packets.
coihardenedPolicy Declaration
Declaration-page policy numbers, named insureds, policy periods, and limit evidence from real public policy evidence documents.
policy_declarationhardenedEndorsement
Endorsement form numbers, edition dates, effective dates, and changed-term titles from real public policy packages.
endorsementhardenedSchedule
Schedule extraction for policy numbers, schedule types, scheduled rows, and form-or-limit schedule evidence from real public policy packages.
schedulehardenedBinder
Binder extraction for binder numbers, effective and expiration dates, and bound coverages from real public insurance binders.
binderhardenedQuote
Quote extraction for quote numbers, quoted premiums, proposed limits, and subjectivities from real public quote schedules.
quotehardenedRenewal
Renewal extraction for renewal terms, expiring policy numbers, renewal premiums, and change-condition evidence from real public renewal invites.
renewalhardenedCancellation
Cancellation extraction for policy numbers, effective cancellation dates, and stated cancellation reasons from real public cancellation notices.
cancellationhardenedApplication
Application extraction for applicants, operations descriptions, exposure statements, and requested coverages from real public application records.
applicationFirst Notice of Loss
First Notice of Loss extraction for loss dates, claimant names, loss locations, and claim descriptions from real public claim notice records.
fnolhardeningLoss Run
Proof-gated claims contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.
loss_runhardeningClaim Packet
Proof-gated claims contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.
claim_packethardeningAdjuster Report
Proof-gated claims contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.
adjuster_reporthardeningRepair Estimate
Proof-gated claims contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.
repair_estimatehardeningMedical Bill
Proof-gated claims contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.
medical_billhardeningExplanation of Benefits
Proof-gated claims contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.
eobhardeningSettlement
Proof-gated claims contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.
settlementhardeningSubrogation
Proof-gated claims contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.
subrogationGroup Health
Proof-gated benefits contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.
group_healthhardeningGroup Life
Proof-gated benefits contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.
group_lifehardeningGroup Disability
Proof-gated benefits contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.
group_disabilityhardeningStop Loss
Proof-gated benefits contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.
stop_lossReinsurance Treaty
Proof-gated reinsurance contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.
reinsurance_treatyhardeningFacultative Certificate
Proof-gated reinsurance contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.
facultative_certificatehardeningBordereaux
Proof-gated reinsurance contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.
bordereauxACORD 25 Certificate of Liability Insurance
Proof-gated acord contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.
acord_25hardeningACORD 125 Commercial Insurance Application
Proof-gated acord contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.
acord_125hardeningACORD 126 Commercial General Liability Section
Proof-gated acord contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.
acord_126hardeningACORD 127 Business Auto Section
Proof-gated acord contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.
acord_127hardeningACORD 130 Workers Compensation Application
Proof-gated acord contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.
acord_130hardeningACORD 140 Property Section
Proof-gated acord contract. It stays discoverable but non-callable until its real-public-document corpus clears FastScript hardening.
acord_140