Insurance.
Explore policies, coverage and claims context.

One citizen. Multiple protections. One connected life.

Lagos City Twin™ · 1940–2026

Every capability below is backed by release evidence or certification; the physical design is intentionally generalized.

Insurer and payer context represented as public semantic entities.

Policy products carry coverage, premium and acquisition context linked to the issuing insurer. Exact physical fields and constraints are controlled.

A citizen may hold distinct active policy relationships concurrently while duplicate enrollment in the same policy remains prevented.

Claims carry amount, outcome and cause context appropriate to the policy line. Internal field-level design is not public.

Selected insurance lines can be analyzed alongside accident and premium-payment context through controlled semantic relationships.

Coverage and claim timing is checked against the citizen lifecycle so analytically impossible post-lifecycle records are not treated as valid.

Synthetic by design: FCTE insurance records are analytically representative coverage and claims data. They are not real policyholder records, real claims history, or a substitute for any insurer's or regulator's own data. The public data model claims only the capabilities described here; physical internal methods remain controlled.

Healthcare models the clinical encounter. Employment determines whether employer-provided cover exists. Insurance models the coverage relationship itself — the policy, the enrollment, and what happens when a claim is filed.

Representative semantic rows for the Lagos insurance model. These are synthetic examples, not policyholder records or a disclosure of the internal data structures.

Explore Coverage Data →

Connections follow the published domain scope. Optional, contextual and planned relationships retain their stated limits below.

The public model supports concurrent coverage across genuinely distinct policy relationships while preventing duplicate enrollment in the same policy context. The physical uniqueness rules, repair history and internal logic are intentionally withheld.

Nigeria's extension models a general-lines insurer market — companies, compulsory-lines products, P&C/life claims with no clinical link at all. This is a substantive difference in the city-specific data model, not a cosmetic naming change.

Real NAICOM-registered insurers: Leadway Assurance (1970, Composite), AXA Mansard (1989, Composite), AIICO Insurance (1963, Life), Custodian Investment (1995, Non-Life), Coronation Insurance (1969, Composite), FBN Insurance (2010, Life). Three of the 10 InsuranceType lines are compulsory under Nigerian regulation: Motor Vehicle, Group Life (Employers), and Workman Compensation (NSITF).

Leadway Assurance (1970), AXA Mansard (1989), AIICO Insurance (1963), Custodian Investment (1995), Coronation Insurance (1969), FBN Insurance (2010) — each populated with a real NAICOM registration number.

Motor Vehicle Insurance, Group Life (Employers) and Workman Compensation (NSITF) are flagged IsCompulsory=1 — matching NAICOM's real compulsory-insurance regulation.

Open Insurance Evidence Catalogue →

Two concurrent employer-provided policies for the same citizen (e.g. from concurrent formal employment at two employers) is a real, disclosed gap — deliberately deferred rather than silently forbidden by an overly broad rule. This is a known and disclosed limitation, not a hidden one.

Employer-sponsored coverage is represented conceptually. This page does not claim a confirmed, verified direct read from Employment's Contract rows into Coverage — that specific cross-domain link has not been confirmed in the data model.

Synthetic citizens and coverage records are not real people and carry no real personally identifiable information. This page makes no claims about compliance frameworks for handling real policyholder data.

Beneficiary and accident-line checks are Nigeria-extension concepts; they report N/A rather than PASS when the extension or prerequisite context is not active — by design, not as a hidden gap.

Fraud-analysis depth differs by city. The certification framework reports unsupported city-specific checks as N/A rather than treating them as defects; exact fields and reconciliation logic are controlled.

Claim amounts, approval rates and premium figures are analytically representative, not sourced from any real insurer's or regulator's actual claims experience. They should not be used for actuarial pricing or real underwriting decisions.

On 2026-08-07 a catalog-starting configuration gap was found on both City Twins that left Coverage, Claim and Premium Payment records unpopulated despite the generation job reporting success — the eligibility checks were correctly refusing to run against an empty policy catalog. The root cause has been fixed and the catalog re-initialized; full-scale generation of Coverage, Claim and Premium Payment records is in progress as of this release and not yet reflected in every figure on this page.

View All Insurance Limitations →

Insurance certification evaluates release-level structural, temporal and lifecycle consistency across payer, policy, coverage and claims context. Public results show the outcome and current data-availability state; physical constraints, deployment history and recovery mechanics are intentionally withheld.

Open Insurance Realism Report →

N/A is used deliberately when prerequisite data doesn't exist — never to hide a failure. As of 2026-08-06, that's true for nearly this entire battery: insurance data is currently empty in Lagos (0 FAIL either way, but only 1 of 15 checks is applicable to the current release state). The domain has previously been validated against populated release data. This page reports the current release state rather than substituting a last-known-good result.

Explore Every Insurance Check →

• Payer context — N/A, current release data not populated
• Policy catalogue — N/A, current release data not populated
• Coverage relationship integrity — N/A, current release data not populated
• Claim value integrity — N/A, current release data not populated
• Premium value & uniqueness — N/A, current release data not populated

• Coverage chronology — N/A, policy and claim lifecycle data not currently populated
• Beneficiary consistency — N/A where the Nigeria beneficiary extension is not active
• Accident-line relationship — N/A until the prerequisite accident context is available
• Resident-lifecycle boundary — PASS in the documented release state

120 real Policy rows exist today, naming a real Nigerian insurer — Leadway Assurance Company Ltd — across Life, Motor and Health (NHIS) product lines.

confirmed in the published source: Coverage, Claim and PremiumPayment all have 0 rows. The product catalog is real; no citizen-level enrollment, coverage or claim activity has been generated yet.

Employment or scheme enrollment → Policy selection → active Coverage → filed Claim is the designed model — shown as scope, not as a live result.

Risk becomes coverage. One citizen. Multiple protections. One connected life.

Available as Standalone Domain · Multi-Domain Bundle · Full City Twin™