diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 519f56172..58c1c8135 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -38,6 +38,8 @@ jobs:
       # src/ (quick-start also runs against the packed tarball). Needs dist/.
       - run: npm run docs:verify-snippets -- --skip-build
       # llms.txt / llms-full.txt are generated from README + docs; fail if stale.
+      # Compile-time API tests (*.test-d.ts): inference of defineTool, flow types, fs adapter.
+      - run: npm run test:types
       - run: npm run docs:llms:check
       - run: npm run test:coverage
       # Agent Forge (apps/agent-forge) imports the SDK as
diff --git a/docs/plan/tickets.md b/docs/plan/tickets.md
index 32446b3b4..01f42433d 100644
--- a/docs/plan/tickets.md
+++ b/docs/plan/tickets.md
@@ -1,4 +1,4 @@
-| LOU-D5 ✅ [#40](https://github.com/LinuxDevil/agent-sdk/pull/40) || LOU-X1 ✅ [#39](https://github.com/LinuxDevil/agent-sdk/pull/39) || LOU-V1 ✅ [#42](https://github.com/LinuxDevil/agent-sdk/pull/42) || LOU-U11 ✅ [#35](https://github.com/LinuxDevil/agent-sdk/pull/35) || LOU-U10 ✅ [#35](https://github.com/LinuxDevil/agent-sdk/pull/35) || LOU-U6 ✅ [#36](https://github.com/LinuxDevil/agent-sdk/pull/36) || LOU-U5 ✅ [#36](https://github.com/LinuxDevil/agent-sdk/pull/36) || LOU-U4 ✅ [#32](https://github.com/LinuxDevil/agent-sdk/pull/32) || LOU-U3 ✅ [#34](https://github.com/LinuxDevil/agent-sdk/pull/34) || LOU-U2 ✅ [#33](https://github.com/LinuxDevil/agent-sdk/pull/33) || LOU-U1 ✅ [#31](https://github.com/LinuxDevil/agent-sdk/pull/31) |# Roadmap: beat eve and open-harness
+| LOU-D13 ✅ [#47](https://github.com/LinuxDevil/agent-sdk/pull/47) || LOU-D12 ✅ [#51](https://github.com/LinuxDevil/agent-sdk/pull/51) || LOU-D1 ✅ [#50](https://github.com/LinuxDevil/agent-sdk/pull/50) || LOU-Z3 ✅ [#52](https://github.com/LinuxDevil/agent-sdk/pull/52) || LOU-Z2 ✅ [#46](https://github.com/LinuxDevil/agent-sdk/pull/46) || LOU-Z1 ✅ [#46](https://github.com/LinuxDevil/agent-sdk/pull/46) || LOU-Y2 ✅ [#44](https://github.com/LinuxDevil/agent-sdk/pull/44) || LOU-X7 ✅ [#55](https://github.com/LinuxDevil/agent-sdk/pull/55) || LOU-W1 ✅ [#45](https://github.com/LinuxDevil/agent-sdk/pull/45) || LOU-V3 ✅ [#49](https://github.com/LinuxDevil/agent-sdk/pull/49) || LOU-U18 ✅ || LOU-U16 ✅ [#48](https://github.com/LinuxDevil/agent-sdk/pull/48) || LOU-U13 ✅ [#48](https://github.com/LinuxDevil/agent-sdk/pull/48) || LOU-D5 ✅ [#40](https://github.com/LinuxDevil/agent-sdk/pull/40) || LOU-X1 ✅ [#39](https://github.com/LinuxDevil/agent-sdk/pull/39) || LOU-V1 ✅ [#42](https://github.com/LinuxDevil/agent-sdk/pull/42) || LOU-U11 ✅ [#35](https://github.com/LinuxDevil/agent-sdk/pull/35) || LOU-U10 ✅ [#35](https://github.com/LinuxDevil/agent-sdk/pull/35) || LOU-U6 ✅ [#36](https://github.com/LinuxDevil/agent-sdk/pull/36) || LOU-U5 ✅ [#36](https://github.com/LinuxDevil/agent-sdk/pull/36) || LOU-U4 ✅ [#32](https://github.com/LinuxDevil/agent-sdk/pull/32) || LOU-U3 ✅ [#34](https://github.com/LinuxDevil/agent-sdk/pull/34) || LOU-U2 ✅ [#33](https://github.com/LinuxDevil/agent-sdk/pull/33) || LOU-U1 ✅ [#31](https://github.com/LinuxDevil/agent-sdk/pull/31) |# Roadmap: beat eve and open-harness
 
 Sources: [feature audit](../research/feature-audit.md) and
 [competitor research](../research/competitors-eve-open-harness.md).
@@ -104,7 +104,11 @@ Status: a ✅ with a PR link next to the ID means merged.
 | LOU-D14 | Deployed `/chat` upgrade | Multi-turn sessions, SSE streaming and bearer auth in the node-server and worker targets. |
 | LOU-D15 | React hook | `useLoushyAgent()` consuming the typed event stream. |
 | LOU-D16 | ESLint ratchet | Clear the remaining warnings in touched areas and turn `no-explicit-any`/`no-unused-vars` back to `error`; delete the stale baseline doc. |
-
+
| LOU-D17 | Slack signature verification ✅ [#55](https://github.com/LinuxDevil/agent-sdk/pull/55) | (was LOU-D18) Inbound Slack requests are verified with the signing secret. |
+| LOU-D19 | Lazy optional peers | A missing optional provider peer never fails at SDK import time; the install hint appears when that provider is first used. (Merge with LOU-D10.) |
+| LOU-D20 | `mcpServers` in `AgentSpec` | MCP servers are a first-class, validated spec field (doctor reads them from the raw file today). |
+| LOU-D21 | Approvals for `createAgent()` agents | The zero-config agent can pause for approval and resume (`approvalStore` option / in-memory default), instead of failing with "requires approval". |
+
 ## Not ticketed (needs the owner)
 
 - Publishing to npm: the README advertises `npm install @loushy/build-ai-agent`, but the package is not on the registry. Publishing is an owner action.