@lqc123qwe/car-runtime 1.3.0 → 1.5.0

package/.github/workflows/ci.yml

@@ -66,6 +66,8 @@ jobs:
       - uses: actions/checkout@v4
       - uses: actions/setup-node@v4
         with: { node-version: '22.19' }
+      # 1.5 起 zod 为常规运行时依赖（D-22）——CLI/doctor 传递加载，测试 job 需 node_modules
+      - run: npm install
       - run: node -p "'G-06 node ' + process.version"
       - run: node --experimental-sqlite --experimental-transform-types --test "test/*.spec.ts"
 
@@ -77,6 +79,8 @@ jobs:
       - uses: actions/checkout@v4
       - uses: actions/setup-node@v4
         with: { node-version: '22.19' }
+      # 1.5 起 zod 为常规运行时依赖（D-22）——CLI/doctor 传递加载，测试 job 需 node_modules
+      - run: npm install
       - run: node -p "'G-06 node ' + process.version"
       - run: node --experimental-sqlite --experimental-transform-types --test "test/*.spec.ts"
 
@@ -88,6 +92,8 @@ jobs:
       - uses: actions/checkout@v4
       - uses: actions/setup-node@v4
         with: { node-version: '22.19' }
+      # 1.5 起 zod 为常规运行时依赖（D-22）——CLI/doctor 传递加载，测试 job 需 node_modules
+      - run: npm install
       - run: node -p "'G-06 node ' + process.version"
       - run: node --experimental-sqlite --experimental-transform-types --test "test/*.spec.ts"
 
@@ -163,6 +169,8 @@ jobs:
       - uses: actions/checkout@v4
       - uses: actions/setup-node@v4
         with: { node-version: '22.19' }
+      # 1.5 起 zod 为常规运行时依赖（D-22）——cli.ts 传递加载，dx-smoke 需 node_modules
+      - run: npm install
       - run: node --experimental-transform-types src/cli.ts doctor
       - run: node --experimental-transform-types src/cli.ts reload test/fixtures/hello-plugin.ts
 
@@ -174,6 +182,8 @@ jobs:
       - uses: actions/checkout@v4
       - uses: actions/setup-node@v4
         with: { node-version: '22.19' }
+      # 1.5 起 zod 为常规运行时依赖（D-22）——cli.ts 传递加载，dx-smoke 需 node_modules
+      - run: npm install
       - run: node --experimental-transform-types src/cli.ts doctor
       - run: node --experimental-transform-types src/cli.ts reload test/fixtures/hello-plugin.ts
 
@@ -185,6 +195,8 @@ jobs:
       - uses: actions/checkout@v4
       - uses: actions/setup-node@v4
         with: { node-version: '22.19' }
+      # 1.5 起 zod 为常规运行时依赖（D-22）——cli.ts 传递加载，dx-smoke 需 node_modules
+      - run: npm install
       - run: node --experimental-transform-types src/cli.ts doctor
       - run: node --experimental-transform-types src/cli.ts reload test/fixtures/hello-plugin.ts
 

package/README.md

@@ -181,11 +181,27 @@ node --experimental-transform-types --test test/*.spec.ts
 - **遗留登记**：W1 = 1.3 头号候选（含 D-12a TLS loopback 豁免实装、car run 装配面重做〔demo_tool 撞名观察项出清〕）；car run demo_tool 撞名 DEPCYCLE 为预存在边缘（登记不修，W1 出清）。规划：`car-docs/10-内核v1/1.2-迭代规划.md`；收口报告：`car-docs/10-内核v1/1.2-收口终验报告.md`。
 - **1.2.0 正式发布（2026-09-27，S5 收官）**：npm `@lqc123qwe/car-runtime@1.2.0` 在架——**dist-tag latest → 1.2.0，rc 保留指向 1.0.0-rc.1**；SLSA provenance（slsa.dev/provenance/v1）。Release `1.2.0`（用户创建，六资产）→ **j16 run 36312617477 success** → **post-publish REMOTE_CHECK=1 复跑 12 PASS / 1 DRY-RUN / 0 FAIL（G-09 实查 PASS）** + 外部验证者等价检查（Release 实下载件 SHA256 MATCH `6d6d4da1…` + cosign Verified OK）。发布工程事件：registry CDN 缓存滞后登记（cache-buster 口径）；制品自 tag 树重建后再挂（消除 1.1 的树漂移）。
 
-- **1.3 发布资产自动化（W4，2026-09-27 收口）**：`scripts/release-artifacts.ts` 制品构建单一事实源（本地流水线/CI j16 双端复用；SHA256SUMS 裸字节自检 G-11 口径 + SBOM G-05 同构 + releaseAssetNames 五件套清单——G-10/CI/测试三方同源）+ release.yml 重构（构建 → cosign keyless 签名〔D-15 正式轨：OIDC+Rekor，CI 零 keypair 材料〕→ `gh release upload --clobber` 五件套 → npm publish 原步不动；**upload 先于 publish**）+ D-14 资产集迁移（car-release.pub 移出——keyless 验证锚 = bundle 证书 + Rekor）+ D-14 tag 形态统一（裸版本号）。s30 六测（构建/清单/同源/yml 结构与步骤序红线）。全量 **269（266 PASS + 3 skip / 0 fail）**。1.3.0 发布 = W4 验收载体（**全链零人工拖拽资产**）。W1 三度延后登记 **1.4 头号候选**（设计账本 D-12a loopback 豁免 + D-13 --demo 保留）。规划：`car-docs/10-内核v1/1.3-迭代规划.md`；收口报告：`car-docs/10-内核v1/1.3-收口终验报告.md`。
-
+- **1.3 发布资产自动化（W4，2026-09-27 收口）**：`scripts/release-artifacts.ts` 制品构建单一事实源（本地流水线/CI j16 双端复用；SHA256SUMS 裸字节自检 G-11 口径 + SBOM G-05 同构 + releaseAssetNames 五件套清单——G-10/CI/测试三方同源）+ release.yml 重构（构建 → cosign keyless 签名〔D-15 正式轨：OIDC+Rekor，CI 零 keypair 材料〕→ `gh release upload --clobber` 五件套 → npm publish 原步不动；**upload 先于 publish**）+ D-14 资产集迁移（car-release.pub 移出——keyless 验证锚 = bundle 证书 + Rekor）+ D-14 tag 形态统一（裸版本号）。s30 七测（构建/清单/同源/yml 结构与步骤序红线/**name 行冒号守卫**〔1.3-BUG-2 回归钉〕）。全量 **270（267 PASS + 3 skip / 0 fail）**。W1 三度延后登记 **1.4 头号候选**（设计账本 D-12a loopback 豁免 + D-13 --demo 保留）。规划：`car-docs/10-内核v1/1.3-迭代规划.md`；收口报告：`car-docs/10-内核v1/1.3-收口终验报告.md`。
+- **1.3.0 正式发布（2026-09-27，S5 收官，W4 全自动首战兑现）**：Release `1.3.0`（tag 32dad29）→ **j16 run 36320604746 全步 success**（构建 → keyless 签名 → 自动上传五件套〔零人工拖拽〕→ npm publish）→ npm `@lqc123qwe/car-runtime@1.3.0` 在架，**dist-tags latest → 1.3.0、rc 保留 1.0.0-rc.1** + provenance。**post-publish 12 PASS / 1 DRY-RUN / 0 FAIL（G-09 实查）**；外部等价检查 **SHA256 MATCH（`70767c8d…`）+ cosign keyless Verified OK**（证书身份 + Rekor——D-15 正式轨兑现，pub 退役）。发布工程事件：首发受挫 1.3-BUG-2（workflow 步骤名未引号冒号 → YAML 解析失败 → startup failure 且 release 事件静默失效；**改 workflow 必须本地 PyYAML 复验**，post-publish 必须核对 release 事件 run 真实触发）。
+
+## 1.4 状态（真实模型接入 W1 完整）
+
+| `src/cli.ts` | 1.4-S5（D-13）car run 双路径：真路径（Context+RuntimeCore+bindContext→registerLlmAdapter 根作用域 effect → runTurn model 回调=chatStep；SIGINT 取消；SIGINT→signal）+ `--demo` 保留 stub（demo_tool 撞名边缘出清）；无模型配置 exit 2 显式引导（CAR-E-LLM-CONFIG） | M8 §1「runTurn 消费接线」出清 |
+| `src/load/config.ts` +2 | 1.4-S3（D-16）`llm.*` 键位（baseUrl/model/adapterId/maxTokens/allowEnvFallback——fail-visible）+ `mcp.servers.*` 键位（D-18；env 禁明文凭据由 gateway 强制检查）+ mergeLlmConfig（flag > env > config） | 1.4 W1-2 |
+| `src/runtime-core/tools.ts` | 1.4-S1 toToolDefinitions（执行面 Map → 模型声明面；T-22 缺省 write 收口；执行面=声明面同一对象红线） | 1.4 W1-3 |
+| `src/load/loader.ts` + `src/loop/stop.ts` | 1.4-S1 ToolReg/ToolDef 加 description/parameters/declaredSideEffect（加法）；PluginApi.setSystemPrompt（pending 收集 → bindCore 冲刷，last-wins） | 1.4 W1-3/W1-4 |
+| `src/session/log.ts` + `src/runtime-core/chatStep.ts` | 1.4-S2（D-17）EventKind 加 'system' + deriveMessages 投影 role:system + chatStep 角色映射 + golden 登记（contract-check 4/4）；1.4-S4（D-19）**TurnAborted 全库首次实抛**（chunk 间隙 + finish 检查前序——assistant 未落链无半截） | §3.5.5 红线兑现 |
+| `src/runtime-core/llm.ts` + `types.ts` | 1.4-S4：D-12a TLS loopback 豁免（http 仅 127.0.0.1/localhost/[::1]——1.4-BUG-3：URL.hostname IPv6 带方括号）+ LlmRequest.signal 透传三检查点（取消 ≠ 失败：不 retry 不 error chunk）；**1.4-BUG-1 修复：出站 fetch 缺 method:'POST'（M8 潜伏——注入式 fetch 单测忽略 method，真 undici 暴露）** | 1.4 W1-5/W1-7 |
+| `src/runtime-core/telemetry.ts` + `trace.ts` | 1.4-S6：startSpan trace 透传（traceId 复用 + parentSpanId）+ TelemetrySpan.spanId + TurnTracer（turn 根 → step 子层级；**挂点装配层**——loop 层零改动微调登记）；**1.4-BUG-2 修复：出站默认 node:http(s)（win32 全局 fetch/undici + 进程退出 → libuv 断言崩溃 0xC0000409，Node 23.5 实测/22 不复现）** | M8 §4.4 遥测未入链出清 |
+| `src/mcp/stdioClient.ts` + `src/ptc/runCode.ts` +2 | 1.4-S7（D-18）MCP stdio 客户端传输（spawn + JSON-RPC 行协议 + 30s 超时）+ `--mcp <serverId>` → gateway → 模型名 `mcp_<serverId>_<name>` + callTool 桥；makePtcToolDefinition 补 parameters + `--ptc` 桥（声明面=授权面同源快照）+ **renderSdkFromRegistry 首次生产调用点**（SDK 声明块独立 system 事件） | 1.4 MCP/PTC 块 |
+| `test/s31-real-model-wiring.spec.ts` + `test/s32-telemetry-mcp-ptc.spec.ts` | 1.4 测试：s31 9 测（声明面/system/配置/loopback/取消/CarM8Error/多步真 E2E/spawn 全链/无配置 exit 2）+ s32 3 测（trace 透传/TurnTracer/**car run 全链：MCP 真进程+PTC worker 桥+SDK 出站+trace 父子链**） | 1.4-GO |
+
+- **1.4 工程收口（2026-09-27）**：W1 完整四块兑现——**car run 首次真实调模型**（多步工具循环 E2E 全链），模型配置通道（llm.* + env + flags）、system prompt 落链（§3.5.5 红线兑现）、TurnAborted 首次实抛、CarM8Error 保形（A080001 引导文案可达）、TLS loopback 豁免（D-12a 兑现）、MCP/PTC 进真实 turn、遥测 turn/step span 出站。全量 **282（279 PASS + 3 能力门控 skip / 0 fail）** + tsc strict 0 + secrets-scan 105 文件 0 命中。**1.4-BUG-1（fetch 缺 POST）/BUG-2（win32 退出崩溃）/BUG-3（IPv6 方括号）均为生产接线暴露的真缺陷**。
+- **1.4.0 正式发布（2026-09-27，S9 收官，全自动第二次实战）**：npm `@lqc123qwe/car-runtime@1.4.0` 在架——**dist-tags latest → 1.4.0、rc 保留指向 1.0.0-rc.1** + provenance。Release `1.4.0`（agent 经 GCM 凭据 API 创建）→ **j16 run 36328295548 全步 success**（构建/keyless 签名/自动上传五件套/npm publish）→ **post-publish 12 PASS / 1 DRY-RUN / 0 FAIL（G-09 实查）**；外部等价检查 **SHA256 MATCH（`55ce08fd…`）+ cosign keyless Verified OK**。
+- **遗留登记**：anthropic 适配器（冻结）；远程 MCP 传输（SSE/HTTP）；写类工具双 toolResult 投影观察项；car.config.ts+zod；jiti。规划：`car-docs/10-内核v1/1.4-迭代规划.md`；收口报告：`car-docs/10-内核v1/1.4-收口终验报告.md`。
 ## 状态
 
-- **版本主线**：S1-S4 48/48 ｜ M2 89/89（v0.2.0）｜ M3 127/127（v0.3.0）｜ M4 139/139（**1.0.0-rc.1 已发布**）｜ M5 156/156（DEC-4 预埋项转正）｜ M6 179/179（2026-09-15 收口）｜ M7 全量 195（192 PASS + 3 能力门控 skip，2026-09-19 收口）｜ **M5-S28 装载签名门 全量 204（201 PASS + 3 skip，2026-09-26）** ｜ **M8 运行时底座 全量 231（228 PASS + 3 skip，2026-09-26 收口，§3.2 八模块全部收口）** ｜ **1.1 签名收尾最小集 全量 249（246 PASS + 3 skip，2026-09-27 收口，1.1.0 已发布，enforce 翻转准备就绪）** ｜ **1.2 会话/遥测小项 全量 263（260 PASS + 3 skip，2026-09-27 收口，1.2.0 已发布）** ｜ **1.3 发布资产自动化 全量 269（266 PASS + 3 skip，2026-09-27 收口，发布全链去人工拖拽）**
+- **版本主线**：S1-S4 48/48 ｜ M2 89/89（v0.2.0）｜ M3 127/127（v0.3.0）｜ M4 139/139（**1.0.0-rc.1 已发布**）｜ M5 156/156（DEC-4 预埋项转正）｜ M6 179/179（2026-09-15 收口）｜ M7 全量 195（192 PASS + 3 能力门控 skip，2026-09-19 收口）｜ **M5-S28 装载签名门 全量 204（201 PASS + 3 skip，2026-09-26）** ｜ **M8 运行时底座 全量 231（228 PASS + 3 skip，2026-09-26 收口，§3.2 八模块全部收口）** ｜ **1.1 签名收尾最小集 全量 249（246 PASS + 3 skip，2026-09-27 收口，1.1.0 已发布，enforce 翻转准备就绪）** ｜ **1.2 会话/遥测小项 全量 263（260 PASS + 3 skip，2026-09-27 收口，1.2.0 已发布）** ｜ **1.3 发布资产自动化 全量 270（267 PASS + 3 skip，2026-09-27 收口，1.3.0 已发布，全链零人工拖拽兑现）** ｜ **1.4 真实模型接入 全量 282（279 PASS + 3 skip，2026-09-27 收口，1.4.0 已发布）**
 - **1.0.0 正式发布（2026-09-26，S29/S30）**：npm `@lqc123qwe/car-runtime@1.0.0` 在架——**dist-tag latest → 1.0.0，rc 保留指向 1.0.0-rc.1**（§1.1 口径）；SLSA provenance（Actions OIDC，透明日志在案）；GitHub Release v1.0.0 六资产（tgz/bundle/SHA256SUMS/SBOM/审计/公钥）；**post-publish 全链 13 PASS / 0 DRY-RUN / 0 FAIL** + 外部验证者等价检查（Release 实下载件 SHA256 MATCH + cosign Verified OK）。**宽限期时钟：2026-09-26 起算，2026-12-25 到期 verifier 默认值 warn→enforce 翻转（计划内变更）**。终验报告：`car-docs/10-内核v1/M5-S30-1.0收口终验报告.md`。发布工程事件：j16 首跑 E403（npm 2FA 策略 vs granular token 无 bypass——清单预设回退路径兑现）→ bypass token re-run 绿；G-09 期望 tag 动态化（`4c84b17`）在真实发布兑现价值。
 - **1.0.0-rc.1 已发布（2026-09-09）**：npm `@lqc123qwe/car-runtime@1.0.0-rc.1`（rc + latest 双 tag，SLSA provenance 在案）+ GitHub Release 6 制品；发布预演 **13 PASS / 0 DRY-RUN / 0 FAIL**（c762b72）。S22 GO 清单已全绿收口。
 - **轨道 A 三项全部完成**：E-1 WSL2 逃逸矩阵 **20/20 PASS 零逃逸**（2026-09-07，G-07 转 PASS）｜ E-3 远端发布通道 **13/13 全门禁 PASS**（2026-09-09，G-08/09/10 转 PASS）｜ E-2 Windows koffi FFI **四判据双环境全 PASS**（S24/S25/S26，2026-09-09~10；本机非提权 + windows-latest 提权 runner 双绿，CI 门禁已接入）。

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lqc123qwe/car-runtime",
-  "version": "1.3.0",
+  "version": "1.5.0",
   "description": "Composable Agent Runtime (CAR) - microkernel plugin system with sandboxed PTC, append-only hashed session log, and MCP host bridge",
   "license": "MIT",
   "type": "module",
@@ -24,5 +24,8 @@
   },
   "devDependencies": {
     "@types/node": "^26.6.1"
+  },
+  "dependencies": {
+    "zod": "^3.25.76"
   }
 }

package/src/cli.ts

@@ -24,15 +24,23 @@ import { runTurn } from './loop/stop.ts'
 import { Context } from './kernel/context.ts'
 import { mountPlugin } from './load/loader.ts'
 import { verifyPluginFile } from './load/sigGate.ts'
-import { loadCarConfig, mergeSignatureGate } from './load/config.ts'
+import { loadCarConfig, mergeSignatureGate, mergeLlmConfig, warmCarConfig } from './load/config.ts'
 import { generateSigningKeypair, signPluginFile, resolveTrustRoot } from './load/sign.ts'
-import { doctorCredentials, doctorConnectivity, doctorKeychain, doctorSignature } from './dx/doctor.ts'
+import { doctorCredentials, doctorConnectivity, doctorKeychain, doctorSignature, doctorModelReadiness } from './dx/doctor.ts'
+import { RuntimeCore, createOpenAICompatAdapter, createAnthropicAdapter } from './runtime-core/llm.ts'
+import { CredentialService } from './runtime-core/credentials.ts'
+import { chatStep } from './runtime-core/chatStep.ts'
+import { toToolDefinitions } from './runtime-core/tools.ts'
 import { createTelemetryFacade, telemetryConfigFromEnv } from './runtime-core/telemetry.ts'
+import { TurnTracer } from './runtime-core/trace.ts'
 import type { CounterName, AllowedLabels } from './telemetry/metrics.ts'
 
 const HELP = `用法: car <command> [args]
-  run <plugin.ts> [--sig-enforce] [--config <path>]
+  run <plugin.ts> [--sig-enforce] [--config <path>] [--adapter-id <id>]
                                     装配并运行插件（快速上手流；装载前签名门 warn 缺省）
+                                    真路径：--prompt <text> + --base-url/--model（或 llm.* 配置）；
+                                    --adapter-id anthropic = Messages API（凭据 ANTHROPIC_API_KEY）；
+                                    --demo = stub 演示流
   reload <file|dir> [--sig-enforce] [--config <path>]
                                     热重载插件并打印六阶段加载报告（含 verify 签名门）
   session verify <file>            哈希链完整性校验（撕裂尾显式报告）
@@ -44,6 +52,8 @@ const HELP = `用法: car <command> [args]
   session verify/replay/export 均支持 --session <id> [--db <path>]
                                     经 SQLite 索引定位会话（1.2；缺省 db = cwd sessions-index.db；索引未收录 = 显式报错）
   doctor                环境自检
+  mcp-serve [--host <id>] [--plugin <file|dir>...] [--config <path>]
+                                    CAR-as-MCP-Server（宿主经 stdio JSON-RPC 接入）
   plugin-sign keygen [--out <前缀>] [--force]
                                     生成 ed25519 签名密钥对（<前缀>.priv PKCS8 DER / <前缀>.pub SPKI base64；缺省前缀 car-release）
   plugin-sign sign <file...> [--key <priv>]
@@ -52,8 +62,10 @@ const HELP = `用法: car <command> [args]
                                     验证签名（信任根序：--trust-root > CAR_TRUST_ROOT > ./car-release.pub；缺签/坏签均 FAIL）
 签名门环境变量：CAR_SIG_ENFORCE=1 切 enforce；CAR_TRUST_ROOT=<ed25519 spki base64>；
 CAR_UNSIGNED_ALLOW=1 显式声明豁免（warn 缺签路径计数 confirmed=yes，横幅保留）
-配置文件通道（1.1）：cwd car.config.json 或 --config <path>；键位 sandbox.unsigned.allow /
-sandbox.sig.enforce / sandbox.sig.trustRoot；优先级 flag > env > 配置 > 缺省；未知键 fail-visible`
+配置文件通道（1.5 起双载体）：cwd car.config.ts（export default {…}；发现序 ts > json）或
+car.config.json 或 --config <path>；键位 sandbox.unsigned.allow / sandbox.sig.enforce /
+sandbox.sig.trustRoot / llm.* / mcp.servers.*（stdio: command/args/env；远程: url/headers，
+\${ENV_VAR} 引用注入凭据）；优先级 flag > env > 配置 > 缺省；未知键 fail-visible`
 
 // 进程内热重载会话（ReloadManager 持有 epoch 与实例注册表；同进程连续 reload 语义完整）
 let reloadMgrPromise: Promise<import('./load/report.ts').ReloadManager> | undefined
@@ -96,10 +108,15 @@ function resolveSigGate(argv: string[]): { options: import('./load/sigGate.ts').
 
 async function main(): Promise<number> {
   const [, , cmd, ...rest] = process.argv
+  // 1.5-S3（D-22）：car.config.ts 载体统一预热（--config *.ts 或 cwd 发现序 ts>json；无 TS 载体 = no-op）
+  await warmCarConfig({ explicitPath: flagValue(rest, '--config') })
   switch (cmd) {
     case 'run': {
+      // 1.4-S5（D-13）：缺省 = 真实模型路径（chatStep 经 openai-compat 适配器）；--demo 保留 stub 演示流。
+      // 无模型配置 exit 2 显式报错引导（禁静默降级）。会话/索引/签名门两路径共用。
       const file = rest[0]
       if (!file) { console.error('缺少插件文件参数'); return 2 }
+      const isDemo = rest.includes('--demo')
       const t0 = Date.now()
       // 环节 0：装载前签名门（M5-S28 装载接线 + 1.1-S3 配置通道：flag > env > car.config.json > 缺省 warn）
       const sig = resolveSigGate(rest)
@@ -118,29 +135,172 @@ async function main(): Promise<number> {
       // 失败非致命——索引为派生缓存，rebuild-index 兜底语义不变；SQLite 能力缺席 = 显式登记一次后停用）
       const indexUpdater = new IndexUpdater({ dbPath: join(process.cwd(), 'sessions-index.db'), onError: e => console.error(`[index-updater] ${e.message}`) })
       log.attachSink(line => { store.append(line); indexUpdater.record(log.sessionId, line, store.path) })
+      // 1.4-S5：插件工具收集（ToolReg 全量进 Map——执行面与声明面同一对象，声明面=授权面红线）；
+      // setSystemPrompt 收集（last-wins，D-17）
       const hostTools: any[] = []
+      let pluginSystemPrompt: string | null = null
       ctx.plugin({ name: plugin.manifest.name, apply: (c) => {
         plugin.bindCore({
           registerTool: (t) => { hostTools.push(t); c.provide('tool:' + t.name, t) },
           getRegisteredTools: () => hostTools,
+          setSystemPrompt: (text) => { pluginSystemPrompt = text },
         })
-        plugin.api.registerTool({
-          name: 'demo_tool', run: async () => 'demo-ok',
-        })
+        if (isDemo) {
+          // --demo 演示流专属脚手架（真路径不注入——1.1 规划登记的 demo_tool 撞名边缘就此出清）
+          plugin.api.registerTool({
+            name: 'demo_tool', run: async () => 'demo-ok',
+          })
+        }
       } })
       console.log(`[1/5 装配] OK（${Date.now() - t0}ms，工具: ${hostTools.map(t => t.name).join(', ') || '无'}）`)
       // 环节 2-3：沙箱探测 + 事件运行 + 停止收口
       const probe = await probeCapabilities()
       const sandbox = new SandboxExecutor({ probe, audit: () => {}, workspace: process.cwd() })
       console.log(`[2/5 沙箱] ${probe.degraded ? `降级（${probe.reason}）——Q-04 约束生效` : 'Landlock 就绪'}`)
-      log.append('user', 'user', 'T0', '请调用 demo_tool 并汇报')
-      const r = await runTurn({
-        log, turnId: 'T0',
-        preset: { mode: 'confirm', authorize: async () => { console.log('[授权] 确认模式：放行 demo_tool'); return true } },
-        tools: new Map([['demo_tool', { declaredSideEffect: 'write', run: async () => 'demo-ok' } as any]]),
-        model: async () => ({ stopReason: 'toolUse' as const, toolCalls: [{ id: 'c1', tool: 'demo_tool', args: {} }] }),
-      })
+      // 工具执行面 Map（T-22 收口：declaredSideEffect 缺省 write）
+      const toolsMap = new Map<string, any>(hostTools.map(t => [t.name, {
+        declaredSideEffect: t.declaredSideEffect ?? 'write',
+        run: t.run,
+        ...(t.description !== undefined ? { description: t.description } : {}),
+        ...(t.parameters !== undefined ? { parameters: t.parameters } : {}),
+      }]))
+      // 取消信号（SIGINT → 中断在途流；runTurn 既有收口落 turnEnd aborted）
+      const signal = { aborted: false }
+      const onSigint = () => { signal.aborted = true; console.error('\n[取消] SIGINT——正在中断当前 turn…') }
+      process.once('SIGINT', onSigint)
+      // 1.4-S6：遥测门面（CAR_OTEL_ENDPOINT env 通道；缺省关 = noop 零出站）——turn/step span 挂装配层
+      const otel = createTelemetryFacade(telemetryConfigFromEnv())
+      const tracer = new TurnTracer(otel)
+      let r: Awaited<ReturnType<typeof runTurn>>
+      if (isDemo) {
+        // --demo：stub 演示流（无模型可跑——五环节叙事与既有测试/CI 承载）
+        log.append('user', 'user', 'T0', '请调用 demo_tool 并汇报')
+        r = await runTurn({
+          log, turnId: 'T0',
+          preset: { mode: 'confirm', authorize: async () => { console.log('[授权] 确认模式：放行 demo_tool'); return true } },
+          tools: new Map([['demo_tool', { declaredSideEffect: 'write', run: async () => 'demo-ok' } as any]]),
+          model: async () => ({ stopReason: 'toolUse' as const, toolCalls: [{ id: 'c1', tool: 'demo_tool', args: {} }] }),
+        })
+      } else {
+        // 真路径：模型配置解析（D-16 优先级 flag > env > config）+ 装配 RuntimeCore
+        const cfgLlm = loadCarConfig({ explicitPath: flagValue(rest, '--config') })
+        if (cfgLlm.error) { console.error(cfgLlm.error); return 2 }
+        const mtFlag = flagValue(rest, '--max-tokens')
+        const llm = mergeLlmConfig(process.env, cfgLlm.config, {
+          baseUrl: flagValue(rest, '--base-url'),
+          model: flagValue(rest, '--model'),
+          adapterId: flagValue(rest, '--adapter-id'),
+          ...(mtFlag !== undefined ? { maxTokens: Number(mtFlag) } : {}),
+        })
+        const prompt = flagValue(rest, '--prompt')
+        if (!llm.baseUrl || !llm.model || prompt === undefined) {
+          console.error('CAR-E-LLM-CONFIG: 真实模型路径需要 baseUrl + model + --prompt——')
+          console.error('  配置：car.config.ts（export default）或 car.config.json {"llm":{"baseUrl":"https://…","model":"…"}} / env CAR_LLM_BASE_URL+CAR_LLM_MODEL / flag --base-url --model --prompt')
+          console.error('  anthropic：llm.adapterId "anthropic"（或 --adapter-id anthropic）+ baseUrl https://api.anthropic.com；凭据 ANTHROPIC_API_KEY')
+          console.error('  凭据：OPENAI_API_KEY / ANTHROPIC_API_KEY（env fallback 需 CAR_ALLOW_ENV_CREDENTIALS=1 或 llm.allowEnvFallback）或 keychain；诊断：car doctor')
+          console.error('  （无模型演示流：--demo）')
+          return 2
+        }
+        const modelName = llm.model
+        const credService = new CredentialService()
+        const core = new RuntimeCore(credService)
+        core.bindContext(ctx)
+        // 适配器经根作用域 effect 可逆注册（bindContext 必须先于 register——否则走非可逆直注册分支）；
+        // 1.5-S1（D-20）：adapterId='anthropic' → anthropic 适配器（Messages API）；缺省 openai-compat 不变
+        core.registerLlmAdapter(llm.adapterId === 'anthropic'
+          ? createAnthropicAdapter({ baseUrl: llm.baseUrl, credentials: credService, provider: 'anthropic' })
+          : createOpenAICompatAdapter({
+              baseUrl: llm.baseUrl,
+              credentials: credService,
+              provider: 'openai-compat',
+            }), { default: true })
+        // MCP 工具进 turn（D-18）：--mcp <serverId>（可重复；server 启动规格在 car.config.json mcp.servers 登记）
+        const mcpIds: string[] = []
+        for (let i = 0; i < rest.length; i++) {
+          if (rest[i] === '--mcp') {
+            const id = rest[++i]
+            if (!id) { console.error('缺少 --mcp serverId'); return 2 }
+            mcpIds.push(id)
+          }
+        }
+        const mcpTransports: import('./mcp/gateway.ts').ClientTransport[] = []
+        if (mcpIds.length) {
+          const { McpGateway } = await import('./mcp/gateway.ts')
+          const { createStdioClientTransport } = await import('./mcp/stdioClient.ts')
+          const { createHttpMcpTransport, resolveMcpHeaders } = await import('./mcp/httpClient.ts')
+          const gw = new McpGateway()
+          for (const id of mcpIds) {
+            const spec = cfgLlm.config.mcp?.servers?.[id]
+            if (!spec) { console.error(`CAR-E-MCP: server "${id}" 未在配置 mcp.servers 登记`); return 2 }
+            // 1.5-S2（D-21）：url = 远程 Streamable HTTP（懒 initialize + 会话头）；command = stdio 本地进程
+            const transport = spec.url
+              ? createHttpMcpTransport({ url: spec.url, headers: resolveMcpHeaders(spec.headers ?? {}) })
+              : createStdioClientTransport({ command: spec.command!, args: spec.args })
+            mcpTransports.push(transport)
+            const mcpTools = await gw.register({ serverId: id, transport, env: spec.env })
+            for (const t of mcpTools) {
+              const modelName = `mcp_${id}_${t.name}`
+              if (toolsMap.has(modelName)) { console.error(`CAR-E-MCP: 工具名冲突 ${modelName}（跨源同名禁静默覆盖）`); return 1 }
+              toolsMap.set(modelName, {
+                declaredSideEffect: t.declaredSideEffect ?? 'write',
+                run: async (args: any) => { const r = await gw.callTool(id, t.name, args); if (!r.ok) throw new Error(r.error ?? 'mcp call failed'); return r.result },
+                ...(t.description !== undefined ? { description: t.description } : {}),
+                ...(t.inputSchema !== undefined ? { parameters: t.inputSchema } : {}),
+              })
+            }
+            console.log(`[MCP] ${id}: ${mcpTools.length} 工具入声明面`)
+          }
+        }
+        // PTC 进真实 turn（--ptc）：插件工具 Map 即 ToolBridge（声明面=授权面同源快照）；
+        // run_code 进工具 Map（强制 write）；SDK 声明块独立 system 事件（D-17）
+        let sdkBlock: string | null = null
+        if (rest.includes('--ptc')) {
+          const { makePtcToolDefinition, runCode } = await import('./ptc/runCode.ts')
+          void runCode
+          const { renderSdkFromRegistry } = await import('./ptc/sdk.ts')
+          const registry = new Map([...toolsMap].map(([name, t]) => [name, { run: t.run, description: t.description, inputSchema: t.parameters }]))
+          sdkBlock = renderSdkFromRegistry(registry)
+          const ptc = makePtcToolDefinition({ tools: registry, audit: () => {} })
+          toolsMap.set(ptc.name, ptc)
+          console.log(`[PTC] run_code 入工具面（桥接 ${registry.size} 工具；SDK 声明块进 system）`)
+        }
+        // system prompt 落链（D-17）：--system flag > 插件 setSystemPrompt（last-wins）；SDK 块独立追加
+        const systemText = flagValue(rest, '--system') ?? pluginSystemPrompt
+        if (systemText) log.append('runtime', 'system', 'system', systemText)
+        if (sdkBlock) log.append('runtime', 'system', 'system', sdkBlock)
+        log.append('user', 'user', 'T0', prompt)
+        const turn = tracer.startTurn('T0')
+        let stepNo = 0
+        r = await runTurn({
+          log, turnId: 'T0',
+          preset: { mode: 'confirm', authorize: async (call) => { console.log(`[授权] 确认模式：放行 ${call.tool}`); return true } },
+          tools: toolsMap,
+          signal,
+          model: () => {
+            // 1.4-S6：step span 挂每次 model() 调用（parent = turn span；同 turn 共享 traceId）
+            const step = turn.stepSpan(++stepNo)
+            return chatStep({
+              core, log, turnId: 'T0',
+              model: modelName,
+              tools: toToolDefinitions(toolsMap),
+              ...(llm.maxTokens !== undefined ? { maxTokens: llm.maxTokens } : {}),
+              ...(llm.adapterId ? { adapterId: llm.adapterId } : {}),
+              signal,
+            }).then(
+              res => { step.end(res.stopReason); return res },
+              e => { step.recordException(e); step.end('error'); throw e },
+            )
+          },
+        })
+        turn.end(r.reason)
+      }
+      process.removeListener('SIGINT', onSigint)
       console.log(`[3/5 收口] turnEnd=${r.reason}（steps=${r.steps}）`)
+      // 1.4-S6：遥测收口 flush（显式开路径；缺省关 = 空转）
+      if (otel.enabled) {
+        await otel.shutdown()
+        console.error(`[otel] stats=${JSON.stringify(otel.stats())}`)
+      }
       // 环节 4：落盘收口（全程逐事件 fsync 已发生，此处仅关句柄核对 + 索引 pending 落盘）
       store.close()
       await indexUpdater.close()
@@ -179,6 +339,9 @@ async function main(): Promise<number> {
       // 1.1-S2 增强：签名就绪行（mode 生效值 / 信任根可解析性 / 配置文件通道发现态；诊断只读）
       const sig = doctorSignature({ cwd: process.cwd(), configPath: flagValue(rest, '--config') })
       console.log(`signature: ${sig.detail}`)
+      // 1.4-S3 增强：模型就绪行（baseUrl/model / 凭据通道 / envFallback；值不打印）
+      const mr = doctorModelReadiness({ cwd: process.cwd(), configPath: flagValue(rest, '--config') })
+      console.log(`model: ${mr.detail}`)
       // M6 增强：registry 连通性（不可达 = SKIPPED 显式跳过，离线不失败）
       const conn = await doctorConnectivity()
       console.log(`connectivity: ${conn.status} — ${conn.detail}${conn.status === 'PASS' ? `（${conn.latencyMs}ms）` : ''}`)

package/src/dx/doctor.ts

@@ -8,8 +8,8 @@
  *    门禁判定仍在 sigGate/verifier；公钥可打印、信任根值本身不打印
  */
 import { createPublicKey } from 'node:crypto'
-import { CredentialService } from '../runtime-core/credentials.ts'
-import { loadCarConfig, mergeSignatureGate } from '../load/config.ts'
+import { CredentialService, providerEnvVars } from '../runtime-core/credentials.ts'
+import { loadCarConfig, mergeSignatureGate, mergeLlmConfig } from '../load/config.ts'
 
 export interface CredentialCheck {
   name: string
@@ -90,6 +90,49 @@ export function doctorSignature(opts: { env?: NodeJS.ProcessEnv; cwd?: string; c
   return { mode, trustRoot, configFile, detail: parts.join('；') }
 }
 
+export interface ModelReadinessCheck {
+  /** baseUrl + model 均在场 = true（可发起真实模型请求的最低配置面） */
+  configured: boolean
+  baseUrl: string
+  model: string
+  /** 凭据通道探测（存在性，值不打印）：keychain 命中 / env 命中（显式开启时）/ 全落空 */
+  credential: 'keychain' | 'env' | 'not-found'
+  /** env fallback 开关态（CAR_ALLOW_ENV_CREDENTIALS=1 或 llm.allowEnvFallback） */
+  envFallback: 'on' | 'off'
+  detail: string
+}
+
+/** 1.4-S3 模型就绪检查（D-16）：baseUrl/model 在场性 + 凭据通道存在性探测（离线可过；值不打印） */
+export function doctorModelReadiness(opts: { env?: NodeJS.ProcessEnv; cwd?: string; configPath?: string } = {}): ModelReadinessCheck {
+  const env = opts.env ?? process.env
+  const cfg = loadCarConfig({ explicitPath: opts.configPath, cwd: opts.cwd })
+  const { baseUrl, model, adapterId, allowEnvFallback } = mergeLlmConfig(env, cfg.error ? {} : cfg.config)
+  // 1.5-S4（D-20 配套）：adapterId → 凭据 provider 感知（anthropic → ANTHROPIC_API_KEY；缺省 openai-compat）
+  const provider = adapterId === 'anthropic' ? 'anthropic' : 'openai-compat'
+  const envFallback: ModelReadinessCheck['envFallback'] = allowEnvFallback ? 'on' : 'off'
+  let credential: ModelReadinessCheck['credential'] = 'not-found'
+  if (allowEnvFallback) {
+    // env fallback 显式开启：provider 候选变量存在性（providerEnvVars；只探存在不取值）
+    if (providerEnvVars(provider).some(n => env[n])) credential = 'env'
+  }
+  if (credential === 'not-found') {
+    // keychain 通道存在性（resolve 探测，A080001 全落空即 not-found；值不打印）
+    try {
+      const ref = new CredentialService().resolve(provider, { env, allowEnvFallback })
+      credential = ref.source
+    } catch { /* 全落空 = not-found（登记口径，非错误） */ }
+  }
+  const configured = !!baseUrl && !!model
+  const parts = [
+    configured ? `baseUrl=${baseUrl} model=${model}${adapterId ? ` adapter=${adapterId}` : ''}` : 'baseUrl/model 未配置（car run 真路径需 llm.* 配置或 CAR_LLM_BASE_URL/CAR_LLM_MODEL——见 car doctor / 配置指南）',
+    credential === 'keychain' ? `凭据=keychain 命中（car-runtime/${provider}，值不打印）`
+      : credential === 'env' ? '凭据=env 命中（显式开启 fallback，值不打印）'
+      : '凭据未就绪（keychain 未命中且 env fallback 未开或变量缺席——A080001 会引导至此）',
+    `envFallback=${envFallback}`,
+  ]
+  return { configured, baseUrl: baseUrl ?? '', model: model ?? '', credential, envFallback, detail: parts.join('；') }
+}
+
 /**
  * registry 连通性检查：可达 = PASS（含延迟）；不可达/显式跳过 = SKIPPED（不失败）。
  * 默认 registry 取 CAR_REGISTRY_URL，缺省 npmjs。
@@ -105,14 +148,20 @@ export async function doctorConnectivity(opts: {
     return { status: 'SKIPPED', detail: `显式离线（CAR_OFFLINE=1 或测试注入）——跳过 ${url}`, latencyMs: 0 }
   }
   const t0 = Date.now()
+  // 同 1.4-BUG-2：AbortSignal.timeout → 手动 controller（进程退出 libuv win32 断言预防）
+  const controller = new AbortController()
+  const abortTimer = setTimeout(() => controller.abort(), opts.timeoutMs ?? 2000)
   try {
-    await fetch(url, { signal: AbortSignal.timeout(opts.timeoutMs ?? 2000) })
+    await fetch(url, { signal: controller.signal })
     return { status: 'PASS', detail: url, latencyMs: Date.now() - t0 }
   } catch (e) {
+    clearTimeout(abortTimer)
     return {
       status: 'SKIPPED',
       detail: `registry 不可达（${(e as Error).name}: ${(e as Error).message}）——离线环境显式跳过，不判失败`,
       latencyMs: Date.now() - t0,
     }
+  } finally {
+    clearTimeout(abortTimer)
   }
 }