feat(KB-134): remove planning mode checkbox and repair strict typecheck gate

- Remove PlanningModeModal checkbox functionality and related tests
- Delete NewTaskModal.test.tsx and PlanningModeModal.test.tsx
- Repair strict typecheck gate in typecheck.test.ts
- Update engine dependencies (add execa)
- Add development note about strict typecheck to dashboard README
- Clean up App.tsx and NewTaskModal.tsx planning mode code

packages/dashboard/README.md

@@ -219,6 +219,10 @@ pnpm build
 pnpm dev
 ```
 
+### Strict TypeScript Verification
+
+The dashboard enforces strict type-checking via `src/__tests__/typecheck.test.ts`, which runs `tsc --noEmit --skipLibCheck false`. This ensures type safety across the workspace and catches missing or incompatible types in dependencies. The test verifies that dashboard source code (which imports from `@kb/engine`) satisfies all TypeScript constraints without skipping library type definitions.
+
 ## API Endpoints
 
 The dashboard server exposes a REST API at `/api`:

packages/dashboard/src/__tests__/typecheck.test.ts

@@ -2,7 +2,7 @@ import { execFileSync } from "node:child_process";
 import { resolve } from "node:path";
 import { describe, it, expect } from "vitest";
 
-describe.skip("typecheck", () => {
+describe("typecheck", () => {
   it("passes tsc --noEmit --skipLibCheck false", () => {
     const cwd = resolve(__dirname, "../..");
     expect(() =>