refactor: wire claude-view-types into workspace + add codegen propagation

Complete the types crate extraction wiring:
- Replace pub mod with pub use re-exports in core/lib.rs
- Delete 4 original files from core (2,772 LOC)
- Add claude-view-types dep to core + 6 downstream crates
- Propagate codegen feature through core → types
- Register route_deps module in server-types
- Implement DbDeps trait on AppState
- Add ISP doc to coaching route
- Regenerate workspace-hack

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

Author: tombelieber

Cargo.lock

@@ -102,6 +102,7 @@ http-body-util = "0.1"
 bytes = "1"
 
 # Internal crates
+claude-view-types = { path = "crates/types" }
 claude-view-core = { path = "crates/core" }
 claude-view-db = { path = "crates/db" }
 claude-view-search = { path = "crates/search" }

Cargo.toml

@@ -23,12 +23,13 @@ rust-stemmers = "1.2"
 reqwest = { workspace = true }
 utoipa = { version = "5" }
 serde_yaml = "0.9"
+claude-view-types = { workspace = true }
 workspace-hack = { version = "0.1", path = "../../workspace-hack" }
 
 [features]
 # Gate ts-rs file generation behind this feature so `cargo test` alone
 # never overwrites formatted types. Only generate-types.sh enables this.
-codegen = []
+codegen = ["claude-view-types/codegen"]
 
 [dev-dependencies]
 tempfile = { workspace = true }