diff --git a/CHANGELOG.md b/CHANGELOG.md
index 15457199..6f239f41 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -17,8 +17,17 @@
 - Made map dataset selection prefer an exact Area snapshot over a broader
   compatible layer and changed the source inventory to report overlapping
   area snapshots without summing duplicate coverage.
+- Added a matching ORM/Alembic municipality expression index for fast regional
+  fallback selection; live Mol and Geel reads now complete in 0.989 and 0.529
+  seconds respectively.
+- Provisioned the live 28-municipality Dataset with 72,933 valid EPSG:4326
+  features from 147 retained source responses. Idempotency, checksums and the
+  single DatasetVersion were verified against PostGIS.
+- Live map results now expose 138,701.35 ha BWK-mapped surface, 6,580.43 ha
+  Natura 2000 habitat and the governed BWK value classes across the Kempen;
+  Mol continues to use its exact 4,668-feature snapshot.
 - Added focused GIS, persistence-contract, packaging and UI regression tests.
-  No API contract, database migration, AI model or product scope changed.
+  No API contract, AI model or product scope changed.
 
 ## Sprint 209 Regional historical land-use expansion (2026-07-15)
 
diff --git a/docs/CODEX_EXECUTION_LOG.md b/docs/CODEX_EXECUTION_LOG.md
index ac30b657..8f5c77cf 100644
--- a/docs/CODEX_EXECUTION_LOG.md
+++ b/docs/CODEX_EXECUTION_LOG.md
@@ -8900,14 +8900,43 @@ Implemented:
 - Added focused tests for source evidence, GIS clipping, context fields,
   regional assembly, semantic metrics, upload metadata, packaging and UI
   selection behavior.
+- Added the expression index
+  `ix_vector_features_dataset_municipality` and a matching ORM declaration so
+  municipality-filtered reads from the regional snapshot remain interactive.
 
-Validation so far:
-- Focused BWK suites pass 11 tests.
-- Full local readiness passes backend compilation, 689 backend tests, API
-  contract audit, one Alembic head (`202607150001`), frontend typecheck/build
-  and script syntax gates.
+Live result:
+- Tower imported all 28/28 municipality partitions from 147 retained source
+  responses: 134,249 source features were clipped to 72,933 persisted regional
+  features in Dataset `11606922-c84b-4bfe-84cb-9372c0799b62`.
+- The canonical output checksum is
+  `45c42f60ed51e0f860c79c060b9c5ed6cb59b9352732e75e02cb9ef34b66f6b9`.
+  The idempotency rerun returned the same existing Dataset without adding a
+  DatasetVersion or duplicate features.
+- PostGIS contains 71,991 Polygon and 942 MultiPolygon rows in SRID 4326, with
+  72,933 distinct source ids, zero invalid geometries, zero empty geometries
+  and zero duplicate source ids.
+- Complete-region metrics report 138,701.35 ha BWK-mapped surface (99.1% of
+  the selected 1,399.25 km2), including 6,580.43 ha Natura 2000 habitat,
+  1,467.68 ha regionally important biotope and 384.10 ha uncertain habitat.
+- Mol resolves to its exact 4,668-feature snapshot. The fallback regional
+  partition returns the same 4,668 municipality features in 0.989 seconds;
+  Geel returns 5,392 features in 0.529 seconds after the new index.
 
-Open for this pass:
-- Deploy the validated operator to Tower, fetch and persist all 28 official
-  partitions, verify idempotency and PostGIS row/geometry/checksum consistency,
-  then validate complete-region and Mol map/metric behavior in the browser.
+Validation:
+- Full local readiness passes backend compilation, 690 backend tests, the
+  101-route API contract audit, frontend typecheck/build, script syntax gates
+  and one Alembic head (`202607160001`).
+- Tower deployment and live migration smoke pass with PostGIS 3.6, the same
+  Alembic head and all required schema/index checks.
+- Live browser verification confirms the regional and Mol metrics, separate
+  overlapping area coverages in the source inventory, no console warnings or
+  errors and no horizontal overflow at 3440x1440.
+
+Boundaries and next step:
+- This Dataset is the official current BWK/Natura 2000 state dated 2025. It is
+  not a historical nature time series, and BWK-mapped surface must not be
+  presented as total natural habitat.
+- Regional flood-hazard coverage is the next bounded data pass. It should use
+  governed municipality partitions and measured VMM scenario rasters before
+  attempting a full-resolution regional DHMV expansion; no water volume or
+  inland bathymetry may be inferred from flood depth.