TASK-031: validation fixes — housekeeping (status Done, unworked findings recorded)

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: etr

specs/tasks/M5-routing-lifecycle/TASK-031.md

@@ -8,12 +8,12 @@
 Implement the 6-point error-propagation contract from §5.2 / DR-009 in the dispatch path so any uncaught exception lands at the configured `internal_error_handler` with documented behavior.
 
 **Action Items:**
-- [ ] Wrap handler invocation in dispatch with `try { ... } catch (const std::exception& e) { ... } catch (...) { ... }`.
-- [ ] On `std::exception`: log via `error_logger` (whatever callback the user wired), invoke `internal_error_handler` with `e.what()`, send the resulting response (default 500 if no handler set).
-- [ ] On non-`std::exception`: same path but with message `"unknown exception"`.
-- [ ] If `internal_error_handler` itself throws: log generically, send hardcoded 500 with empty body.
-- [ ] `feature_unavailable` is a `std::runtime_error`; no special status mapping (just lands as a 500 like any other exception).
-- [ ] Document the contract in `webserver.hpp` Doxygen comments (full README pass in M6).
+- [x] Wrap handler invocation in dispatch with `try { ... } catch (const std::exception& e) { ... } catch (...) { ... }`.
+- [x] On `std::exception`: log via `error_logger` (whatever callback the user wired), invoke `internal_error_handler` with `e.what()`, send the resulting response (default 500 if no handler set).
+- [x] On non-`std::exception`: same path but with message `"unknown exception"`.
+- [x] If `internal_error_handler` itself throws: log generically, send hardcoded 500 with empty body.
+- [x] `feature_unavailable` is a `std::runtime_error`; no special status mapping (just lands as a 500 like any other exception).
+- [x] Document the contract in `webserver.hpp` Doxygen comments (full README pass in M6).
 
 **Dependencies:**
 - Blocked by: TASK-027, TASK-030
@@ -29,4 +29,4 @@ Implement the 6-point error-propagation contract from §5.2 / DR-009 in the disp
 **Related Requirements:** PRD-FLG-REQ-002 (sentinel/throw behavior)
 **Related Decisions:** DR-009, §5.2, AR-007
 
-**Status:** In Progress
+**Status:** Done

specs/tasks/_index.md

@@ -113,7 +113,7 @@ Nominally: **13 sequential tasks**, each S–XL. Most other tasks parallelize of
 | TASK-028 | Routing-semantics regression gate | M5 | Done | TASK-027 |
 | TASK-029 | Naming consistency — `stop_and_wait`, `block_ip`/`unblock_ip` | M5 | Done | TASK-014 |
 | TASK-030 | `_handler` suffix renames + `explicit` constructor | M5 | Done | TASK-014 |
-| TASK-031 | Handler error-propagation contract (DR-009) | M5 | In Progress | TASK-027, TASK-030 |
+| TASK-031 | Handler error-propagation contract (DR-009) | M5 | Done | TASK-027, TASK-030 |
 | TASK-032 | Thread-safety contract stress test (DR-008) | M5 | Not Started | TASK-027, TASK-031 |
 | TASK-033 | `create_webserver` builder cleanup | M5 | Not Started | TASK-006, TASK-014 |
 | TASK-034 | Build-flag-independent public API + `webserver::features()` | M5 | Not Started | TASK-003, TASK-019, TASK-033 |