Renderer type errors not gated: packages/app excluded from root typecheck; two pre-existing errors

[spaceshipmike]

Found independently by two parallel work branches: npm run typecheck covers core/cli/mcp but not packages/app, and electron-vite builds don't type-gate — so renderer type errors survive indefinitely. Currently two exist on main:

1. RegisterProjectDialog.tsx:161 — TypeSelectValue mismatch
2. OverviewTab.tsx:55 — renderer's ProjectBrief type missing source_inspection (the Close the registration → enrichment gap with a post-registration next-steps surface #37 branch fixes this one in passing)

• Fix the remaining error(s)
• Add app to the root typecheck (per-target tsc --noEmit for main/preload/renderer) and to check.yml — mind the CI-minutes economy; it's cheap relative to the existing app build step

[spaceshipmike]

Re-confirmed during /close after #53 (the blank-screen fix): this exact gap is how that bug shipped — ProjectFull.paths was typed string[] but core's toFull omits paths for path-less projects, so an unguarded .length threw and (with no error boundary) blanked the whole app.

The two pre-existing errors are RegisterProjectDialog.tsx:161 and OverviewTab.tsx:55. Wiring tsc --noEmit -p packages/app/tsconfig.renderer.json into check.yml is also the graduation path for the new projection-optionality PROSE invariant (INVARIANTS.md → Contracts). (Closing #55 as a duplicate of this.)