Non-life (property & casualty) insurance underwriting (ISIC 6512) — Operator Console

read-only sample · governor-gated · policy binding/claim settlement always human-approved

Policies

Demo snapshot — build-time-generated from casualty.store via casualty.render-html (clojure -M:dev:render-html), regenerated nightly.

PolicyPolicyholderInsured propertyCoverage typeCoverage amountJurisdictionStatusPolicy numberLast op status
pol-1party-11978 Toyota Corolla (motor)motor3000000 JPYJPNboundJPN-00000000committed
pol-2party-3123 Main St, Anytown (fire)fire100 USDATLintaken/aHARD hold · no-spec-basis

Claims

ClaimPolicyClaimantClaimed amountLoss dateLoss descriptionStatusSettlement numberLast op status
claim-1pol-1party-15000002026-06-01追突事故による損傷settledJPN-CLAIM-000000committed
claim-3pol-1party-150000002026-06-15全損事故filedn/aHARD hold · claim-exceeds-coverage

Draft policy-binding / claim-settlement records

Unsigned drafts only — the licensed underwriter's/adjuster's own act of signing is outside this actor's authority (see README Actuation).

KindRecord idSubjectJurisdictionStatus
bindingJPN-00000000party-1 · 1978 Toyota Corolla (motor)JPNimmutable draft
settlementJPN-CLAIM-000000JPN-00000000 · claim-1JPNimmutable draft

Action gate (Non-Life Insurance Governor)

HARD holds cannot be overridden by a human approver. Jurisdiction spec-basis, underwriting-document evidence completeness, claim-settlement arithmetic (against the policy's own coverage limit) and sanctions/PEP status are independently recomputed, never trusted from the advisor's proposal; a real policy binding or claim settlement is always a human underwriter's/adjuster's call, at every rollout phase.

OpGate
:policy/intakephase-3 auto-commit when clean, no capital risk yet
:jurisdiction/assessALWAYS human approval when clean · spec-basis independently checked against casualty.facts, never fabricated
:kyc/screenALWAYS human approval when clean · a sanctions/PEP hit is a HARD, un-overridable hold instead
:policy/bindALWAYS human approval · real coverage issued (actuation/bind) · underwriting-document completeness independently checked, never auto at any phase
:claim/filephase-3 auto-commit when clean, no capital risk yet · referenced policy must actually be bound, independently checked
:claim/settleALWAYS human approval · real claim payout (actuation/settle-claim) · settlement amount independently recomputed against the policy's own coverage limit, plus a double-settlement guard, never auto at any phase

Audit ledger (this run)

Append-only decision-fact log — every proposal, hold and commit this scenario produced.

FactOpSubjectBasis
committedintakepol-1id, status
committedassesspol-1保険業法 (Insurance Business Act), https://www.fsa.go.jp/
committedscreenparty-1id-doc, sanctions-list, corporate-intelligence
committedbindpol-1https://www.fsa.go.jp/
committedfileclaim-1policy-id, claimed-amount, loss-date
committedsettleclaim-1pol-1
governor-holdscreenparty-3sanctions-hit
governor-holdassesspol-2no-spec-basis
committedfileclaim-3policy-id, claimed-amount, loss-date
governor-holdsettleclaim-3claim-exceeds-coverage