Document regional DOV soil rollout

docs/CODEX_EXECUTION_LOG.md

@@ -1,3 +1,37 @@
+## Sprint 217 Regional DOV soil coverage (2026-07-16)
+
+Changed:
+- Generalized the explicit DOV `bodemkaart:bodemtypes` operator from Mol to the
+  approved 28-member Kempen scope without changing source or persistence
+  semantics.
+- Added independently reusable municipality partitions, deterministic gzip raw
+  responses, boundary/output checksums, unique NIS-suffixed persisted ids and
+  one regional snapshot manifest.
+- Packaged and release-checked the operator in the all-in-one image.
+- Kept regional and municipality metric queries on exact PostGIS intersections
+  instead of asserting a preclipped fast path across CRS round trips.
+
+Validation evidence:
+- The live operator completed 28/28 partitions, 62 WFS responses, 46,134
+  bounded source features and 27,200 persisted valid EPSG:4326 polygons.
+- PostGIS found zero invalid/empty/wrong-SRID geometries, zero duplicate source
+  ids, complete municipality/NIS identity and 139,871.44 ha mapped area.
+- A strict storage-boundary audit measured only 355.15 m2 of coordinate-rounding
+  slivers across 579 boundary features (about 0.000025%); exact selection
+  intersections prevent those slivers from bypassing the selected Area.
+- A repeat operator run reused every verified partition and the existing
+  Dataset.
+- Browser validation showed Bodem available for the complete Kempen and for
+  Arendonk, returned 139,871.44 ha and 5,514.99 ha respectively, rendered the
+  MapLibre layer at detail zoom and produced no browser warnings or errors.
+- The pre-deployment readiness gate passed 738 backend tests, compilation,
+  contract checks, one Alembic head, frontend typecheck and production build.
+
+Next:
+- Fill the remaining region-wide current-state gaps shown in the Map workspace:
+  VMM flood-hazard coverage and DHMV terrain. Preserve their separate modeled
+  scenario and elevation semantics; do not infer current water volume.
+
 ## Sprint 216 Regional thematic coverage (2026-07-16)
 
 Changed:

docs/DATA_SOURCES.md

@@ -56,12 +56,14 @@ object counts.
 - Scale: 1:20,000
 - Survey evidence: field data collected between 1949 and 1971
 
-The Mol operator follows all WFS pages, keeps checksummed raw responses and
-persists soil type, series, generalized legend, texture, drainage, profile and
-substrate fields. Selection output reports intersected mapped hectares and
-fixed sand/anthropogenic context classes. The drainage field remains historical
-baseline evidence; GeoIntel does not claim it describes current parcel
-drainage or replace a site investigation.
+The Mol and regional operators follow all WFS pages, keep checksummed raw
+responses and persist soil type, series, generalized legend, texture, drainage,
+profile and substrate fields. The regional snapshot is assembled from 28 exact
+municipality partitions with unique NIS-suffixed source ids. Selection output
+reports intersected mapped hectares and fixed sand/anthropogenic context
+classes. The drainage field remains historical baseline evidence; GeoIntel
+does not claim it describes current parcel drainage or replace a site
+investigation.
 
 ## GRB — Basiskaart Vlaanderen
 

docs/STORAGE_ARCHITECTURE.md

@@ -228,6 +228,25 @@ Only the normalized, exactly clipped GeoJSON enters DatasetService and
 source page URLs/checksums, feature completeness, class-area summaries and
 historical limitations. Raw source responses remain operator evidence.
 
+The regional operator keeps the same source semantics but partitions its
+evidence by approved municipality before assembling one snapshot:
+
+```text
+storage/operator-evidence/dov-soil-map/regional/
+  kempen-transport-region/partitions/<nis_code>/
+    raw/dov_soil_map_page_*.json.gz
+    dov_soil_map.geojson
+    manifest.json
+  snapshots/kempen-transport-region/
+    dov_soil_map.geojson
+    manifest.json
+```
+
+The snapshot manifest binds all 28 partition checksums, the official scope
+artifact, feature completeness and area summaries by generalized legend,
+texture and historical drainage class. Only the combined GeoJSON enters the
+canonical DatasetService/vector-feature path.
+
 ## Model storage
 
 Model artifacts live under:

docs/TODO.md

@@ -34,7 +34,7 @@
 - [x] Add the DOV digital soil map for Mol with exact clipping, source attributes and historical survey limitations.
 - [x] Execute the governed thematic-raster operator for every persisted Kempen municipality after the Mol live gate passes.
 - [x] Persist one bounded whole-region snapshot per thematic raster so drawn selections can cross municipality boundaries without changing source semantics.
-- [ ] Generalize the DOV soil-map operator to all 28 approved Kempen municipality partitions with one regional snapshot manifest.
+- [x] Generalize the DOV soil-map operator to all 28 approved Kempen municipality partitions with one regional snapshot manifest.
 
 ## Governed source expansion backlog
 
@@ -662,4 +662,4 @@ This file now starts with the current implementation status. Older preparation/b
 - [x] Add official space, soil, mobility, population, service, climate and economy candidates.
 - [x] Replace the water-first recommendation with a cross-domain implementation wave.
 - [ ] Implement the governed Flemish thematic-raster registry for space occupation, open space, population density, node value and service level.
-- [ ] Add the digital soil map through DatasetService and VectorFeatureService.
+- [x] Add the digital soil map through DatasetService and VectorFeatureService.