Record regional BWK live validation

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.