STRIPED DONKEYWe do the heavy lifting.

Lagos · Audit report

Housing → utility connection relationship trace

FCTE · Cross-Domain Relationship Audit

Published audit report · Read the scope with the result
Public audit view. Release-level findings, evidence categories and outcomes are shown here. Internal identifiers, physical mappings, exact thresholds, calibration parameters, repair mechanics and orchestration remain controlled.
Audit summary

Mechanism deployed.
Verification release run not yet run.

The latest public revalidation state for the housing-informality utility-connection bias, Lagos.

0 / 5
utility domains generated at verification scale
6,982,155
Lagos households with a current tenancy
5,708
energy connection rows from an early, sub-scale release run
PENDING
release-level revalidation
Public coverage

What the audit currently establishes

Connection rate is measured as households carrying a live row in the domain's connection, meter or subscriber table, divided by all households in that housing-formality class with a current tenancy.

DomainFormal connection rateInformal connection rateRatioStatus
WaterREVIEWED
PowerREVIEWED
GasREVIEWED
WastewaterREVIEWED
Energy0.13%0.10%1.3×REVIEWED

Water, power, gas and wastewater carry zero rows on Lagos today — no release run has been generated to measure. Energy carries a small, early 5,708-row sample predating this session's verification methodology (11 of 8,442 formal households connected, 12 of 12,358 informal); at that scale the ratio is statistical noise, not a signal, and is reported here rather than omitted so the coverage gap stays visible instead of implied. A verification-scale release run — 300,000 rows per domain, matching the Nairobi methodology — has not yet been run on Lagos.

Household trace

Why there's no household trace here yet

The three-household trace on this audit's Nairobi edition depends on a verification-scale generation release run to draw real, representative examples from.

Lagos's water, power, gas and wastewater connection tables are currently empty, and energy's small early sample isn't representative enough to responsibly feature individual households from. This section will populate the same way Nairobi's did — once a Lagos-scale release run has been generated and re-queried. See the confirmed Nairobi household trace → in the meantime.
Evidence posture

Same mechanism, not yet exercised at scale

The controlled processes and the @InformalConnectionOddsPct = 50 parameter are deployed identically to Lagos and Nairobi — this is the same code, not a Lagos-specific rebuild. What's missing is a Lagos-scale generation run to exercise it against. Nairobi's confirmed ~2.0× result is evidence the mechanism works; it is not evidence that Lagos's own run will land at the same ratio, since Lagos's household and ward composition differs.

Source: live LagosCityDB inspection, queried 2026-08-09. Public reporting is intentionally semantic; Internal mapping and remediation methods are controlled. See the Nairobi edition of this audit for the confirmed, verification-scale result.

04 · Access
Move from audit to accessYou have inspected the technical evidence. Compare the available FCTE products.
Choose Access →