@lqc123qwe/car-runtime 1.2.0 → 1.4.0

package/.github/workflows/release.yml

@@ -4,10 +4,17 @@ on:
   release:
     types: [published]
 permissions:
-  contents: read
+  # 1.3-S3（W4-2）：contents 提升为 write——gh release upload 资产上传需要；
+  # id-token: write 为 keyless cosign（OIDC + Rekor）凭据源（D-15 正式轨）
+  contents: write
   id-token: write
-# J-16 release-merge（M2 §2.3）：tag/Release 触发 → npm publish --provenance。
-# SBOM/SHA256SUMS/cosign 由 scripts/release-pipeline.ts 承载（本地/沙箱外轨，M3 §2.1.2 单源编译已入 CI j01）。
+# J-16 release-merge（M2 §2.3）+ 1.3 W4 全自动化：
+#   构建制品（release-artifacts.ts——与本地 release-pipeline.ts 单一事实源，R-3）
+#   → cosign keyless 签名 tgz（OIDC + Rekor 透明日志；私钥不出本地，D-15 正式轨）
+#   → 上传五件套到 Release（gh release upload --clobber；消除 1.0 错挂/1.2 树漂移的人工拖拽面）
+#   → npm publish --provenance（原步不动）。
+# 步骤序红线：upload 先于 publish——上传失败 job 即红，publish 不带病出街。
+# 回退预案（R-1，演练预案非静默）：keyless 签名/上传失败时可临时人工拖拽资产，事后修复重发。
 jobs:
   j16-release-merge:
     runs-on: ubuntu-latest
@@ -17,6 +24,24 @@ jobs:
         with:
           node-version: 22
           registry-url: https://registry.npmjs.org/
+      - name: Build release artifacts (single-source with local pipeline, W4-1)
+        run: node --experimental-transform-types scripts/release-artifacts.ts
+      - name: Install cosign (pinned, R-4)
+        uses: sigstore/cosign-installer@v3.7.0
+      - name: Keyless sign tarball (OIDC + Rekor, D-15 formal track)
+        run: |
+          VERSION=$(node -p "require('./package.json').version")
+          cosign sign-blob --yes --bundle "dist/car-runtime-${VERSION}.tgz.sig.bundle" "dist/car-runtime-${VERSION}.tgz"
+          echo "{\"stage\":\"cosign-keyless\",\"detail\":\"signed car-runtime-${VERSION}.tgz (keyless OIDC + Rekor)\",\"ts\":$(date +%s%3N)}" >> dist/release-audit.jsonl
+      - name: "Upload release assets (W4 - zero manual drag-and-drop)"
+        env:
+          GH_TOKEN: ${{ github.token }}
+        run: |
+          VERSION=$(node -p "require('./package.json').version")
+          for f in dist/car-runtime-${VERSION}.tgz dist/car-runtime-${VERSION}.tgz.sig.bundle dist/SHA256SUMS dist/sbom.json dist/release-audit.jsonl; do
+            # 上传目标 = 包版本号（D-14 裸 tag 形态：release tag == version）；dispatch 触发亦可用
+            gh release upload "$VERSION" "$f" --clobber
+          done
       - name: Publish to npm with provenance
         # dist-tag 按版本形态动态选择：prerelease（如 1.0.0-rc.1）→ rc；稳定版（1.0.0）→ latest。
         # M5 §1.1 口径：1.0 发布时 latest→1.0.0，rc tag 保留指向 rc.1 不回指——稳定版禁止 --tag rc。

package/README.md

@@ -179,10 +179,14 @@ node --experimental-transform-types --test test/*.spec.ts
 - **1.2 工程收口（2026-09-27）**：M7 §4/§5 + M8 §4.4 登记后续三子项全部出清。全量 **263（260 PASS + 3 能力门控 skip / 0 fail）** + tsc strict 0 错 + secrets-scan 101 文件 0 命中。QA 两轮制执行。**1.2-BUG-1（OTLP metric 名混 labels）为生产调用点核查直接产出**——meter 桥接入即暴露 M8 最小实现掩盖的缺陷。
 - **边界口径（防外推）**：OTel span 面（turn/step span）**仍无生产调用点**（随 W1 登记后续）；trace 传播（parentSpanId/共享 trace）随 W1 设计；mcp-serve 出站现仅 metrics（counter 桥）。
 - **遗留登记**：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 结构与步骤序红线/**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 真实触发）。
 
 ## 状态
 
-- **版本主线**：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 发布编排中）**
+- **版本主线**：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.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.2.0",
+  "version": "1.4.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",

package/scripts/release-artifacts.ts

@@ -0,0 +1,111 @@
+/**
+ * 1.3-S1 · 发布制品构建（W4）：本地 release-pipeline.ts 与 CI j16 双端复用的单一事实源
+ *
+ * 口径（1.3 规划 W4-1/W4-4 / D-14 / D-15）：
+ *  - 同一仓树 → 逐字节同制品（git archive HEAD；G-11 教训：哈希对裸字节求）；
+ *  - **资产集五件套**（releaseAssetNames 单一事实源——G-10 need-list、CI upload、测试三方同源）：
+ *      car-runtime-<v>.tgz / car-runtime-<v>.tgz.sig.bundle / SHA256SUMS / sbom.json / release-audit.jsonl
+ *    car-release.pub 自 1.3 移除（D-14：keyless 下验证锚 = bundle 证书 + Rekor，不再是本地公钥）；
+ *  - **签名不在此层**（D-15 双轨）：bundle 由签名轨产出——本地 keypair no-tlog（预演态，
+ *    release-pipeline G-08）/ CI keyless OIDC+Rekor（正式态，j16）；本脚本只构建与审计；
+ *  - 构建审计：CLI 入口（CI 调用形态）写 release-audit.jsonl（archive/sbom/sha256 记录）；
+ *    程序化调用（pipeline）经 onRecord 接入调用方审计流。
+ *  - 零依赖（node:crypto/fs/child_process）。
+ */
+import { execSync } from 'node:child_process'
+import { createHash } from 'node:crypto'
+import { mkdirSync, readFileSync, readdirSync, statSync, writeFileSync } from 'node:fs'
+import { join } from 'node:path'
+import { pathToFileURL } from 'node:url'
+
+export interface BuildRecord { stage: string; detail: string; ts: number }
+
+export interface BuildResult {
+  tgzPath: string
+  sha256: string
+  sumsPath: string
+  sbomPath: string
+  components: number
+  bytes: number
+  records: BuildRecord[]
+}
+
+const sha256 = (s: string | Buffer) => createHash('sha256').update(s).digest('hex')
+
+function walk(dir: string, ext: string): string[] {
+  let out: string[] = []
+  for (const name of readdirSync(dir)) {
+    const p = join(dir, name)
+    if (statSync(p).isDirectory()) out = out.concat(walk(p, ext))
+    else if (p.endsWith(ext)) out.push(p)
+  }
+  return out
+}
+
+/** 资产集清单（五件套；D-14：car-release.pub 移除，签名 bundle 由签名轨产出后入列） */
+export function releaseAssetNames(version: string): string[] {
+  return [
+    `car-runtime-${version}.tgz`,
+    `car-runtime-${version}.tgz.sig.bundle`,
+    'SHA256SUMS',
+    'sbom.json',
+    'release-audit.jsonl',
+  ]
+}
+
+export function buildReleaseArtifacts(opts: {
+  version: string
+  root?: string
+  dist?: string
+  onRecord?: (stage: string, detail: string) => void
+}): BuildResult {
+  const root = opts.root ?? new URL('..', import.meta.url).pathname.replace(/^\/([A-Za-z]:)/, '$1')
+  const dist = opts.dist ?? join(root, 'dist')
+  const version = opts.version
+  const records: BuildRecord[] = []
+  const rec = (stage: string, detail: string) => {
+    const r = { stage, detail, ts: Date.now() }
+    records.push(r)
+    opts.onRecord?.(stage, detail)
+  }
+
+  mkdirSync(dist, { recursive: true })
+  const tgzPath = join(dist, `car-runtime-${version}.tgz`)
+  execSync(`git archive --format=tar.gz -o "${tgzPath}" HEAD`, { cwd: root })
+  const bytes = readFileSync(tgzPath)
+  rec('archive', `git archive HEAD → car-runtime-${version}.tgz（${bytes.length} bytes，树哈希锚定）`)
+
+  // SHA256SUMS + 自检（G-11 口径：对裸字节求哈希；门禁不可写死为 true——落盘读回复核）
+  const sumsPath = join(dist, 'SHA256SUMS')
+  writeFileSync(sumsPath, `${sha256(bytes)}  car-runtime-${version}.tgz\n`)
+  const [recorded, recordedName] = readFileSync(sumsPath, 'utf-8').trim().split(/\s+/)
+  if (recorded !== sha256(bytes) || recordedName !== `car-runtime-${version}.tgz`) {
+    throw new Error(`CAR-E-ARTIFACT: SHA256SUMS 自检失败——记录 ${recorded} ≠ 制品裸字节哈希（G-11 教训口径）`)
+  }
+  rec('sha256sums', `SHA256SUMS ${recorded!.slice(0, 16)}…（裸字节复核通过）`)
+
+  // SBOM（G-05 同构：TS 直跑形态制品清单 + 零运行时依赖）
+  const files = [...walk(join(root, 'src'), '.ts'), join(root, 'package.json'), join(root, 'README.md')]
+  const sbom = {
+    bomFormat: 'CAR-SBOM', specVersion: '0.1', version,
+    components: files.map(f => ({ type: 'file', path: f.replace(root, '').replace(/\\/g, '/'), sha256: sha256(readFileSync(f, 'utf-8')) })),
+    runtimeDependencies: [],
+  }
+  const sbomPath = join(dist, 'sbom.json')
+  writeFileSync(sbomPath, JSON.stringify(sbom, null, 2))
+  rec('sbom', `${files.length} 个组件（运行时依赖 0 项）`)
+
+  return { tgzPath, sha256: sha256(bytes), sumsPath, sbomPath, components: files.length, bytes: bytes.length, records }
+}
+
+/** CLI 入口（CI j16 调用形态）：构建 + 写构建审计 release-audit.jsonl（五件套之五） */
+function main(): void {
+  const version = (JSON.parse(readFileSync(join(new URL('..', import.meta.url).pathname.replace(/^\/([A-Za-z]:)/, '$1'), 'package.json'), 'utf-8')) as { version: string }).version
+  const result = buildReleaseArtifacts({ version })
+  const auditPath = join(result.tgzPath, '..', 'release-audit.jsonl')
+  writeFileSync(auditPath, result.records.map(r => JSON.stringify(r)).join('\n') + '\n')
+  console.log(`release artifacts: v${version} → tgz(${result.bytes}B, sha256 ${result.sha256.slice(0, 16)}…) + SHA256SUMS + sbom(${result.components} components) + release-audit.jsonl`)
+  console.log(`assets (D-14 五件套): ${releaseAssetNames(version).join(', ')}`)
+}
+
+if (process.argv[1] && import.meta.url === pathToFileURL(process.argv[1]).href) main()

package/scripts/release-pipeline.ts

@@ -12,6 +12,7 @@ import { execSync, execFileSync } from 'node:child_process'
 import { createHash } from 'node:crypto'
 import { readFileSync, writeFileSync, readdirSync, statSync, mkdirSync, existsSync } from 'node:fs'
 import { join } from 'node:path'
+import { buildReleaseArtifacts, releaseAssetNames } from './release-artifacts.ts'
 
 const ROOT = new URL('..', import.meta.url).pathname.replace(/^\/([A-Za-z]:)/, '$1')
 const DIST = join(ROOT, 'dist')
@@ -76,16 +77,13 @@ const record = (stage: string, gate: string, ok: boolean, detail = '', dryRun =
 // ── 阶段 2：构建与制品 ──
 {
   const stage = 'S2-构建与制品'
-  mkdirSync(DIST, { recursive: true })
-  // TS 直跑形态制品清单（原生编译为零——node:sqlite 内置）
-  const files = [...walk(join(ROOT, 'src'), '.ts'), join(ROOT, 'package.json'), join(ROOT, 'README.md')]
-  const sbom = {
-    bomFormat: 'CAR-SBOM', specVersion: '0.1', version: VERSION,
-    components: files.map(f => ({ type: 'file', path: f.replace(ROOT, '').replace(/\\/g, '/'), sha256: sha256(readFileSync(f, 'utf-8')) })),
-    runtimeDependencies: [],
-  }
-  writeFileSync(join(DIST, 'sbom.json'), JSON.stringify(sbom, null, 2))
-  record(stage, 'G-05 SBOM 生成', true, `${files.length} 个组件（运行时依赖 0 项）`)
+  // 1.3-S2（W4-1）：制品构建抽至 release-artifacts.ts（本地流水线与 CI j16 双端单一事实源——
+  // 同仓树逐字节同制品）；此处产出 tgz + SHA256SUMS + sbom，G-11 在 S6 独立复核
+  const built = buildReleaseArtifacts({
+    version: VERSION,
+    onRecord: (s, detail) => auditLog(stage, s.toUpperCase(), 'PASS', { detail }),
+  })
+  record(stage, 'G-05 SBOM 生成', true, `${built.components} 个组件（运行时依赖 0 项；tar.gz ${built.bytes} bytes 已构建——W4 单一事实源）`)
   // 版本一致性：精确 semver（含 prerelease——1.0-rc.x 是 rc 渠道合法形态；禁止 build 元数据与 loose 版本）
   const ok = /^\d+\.\d+\.\d+(-[0-9A-Za-z.-]+)?$/.test(VERSION) && !/\+/.test(VERSION)
   record(stage, 'G-06 版本一致性', ok, `version=${VERSION}（精确 semver 含 prerelease——rc 渠道合法形态；npm 不可变语义：禁止覆盖已发布版本）`)
@@ -117,7 +115,7 @@ const record = (stage: string, gate: string, ok: boolean, detail = '', dryRun =
 }
 
 // ── 阶段 4-5：provenance 与远端归档（远端依赖，DRY-RUN）──
-// G-08 cosign 签名已移至 S6 之后本地实签（见 S6b）
+// G-08 双轨语义（1.3 D-15）：本地 keypair no-tlog = 预演态（S6b）；CI j16 keyless OIDC+Rekor = 正式态
 // G-10：REMOTE_CHECK=1 且具备 GH_TOKEN 时实查 Release 资产齐备性，否则 DRY-RUN
 {
   const stage = 'S4-provenance与远端归档'
@@ -135,12 +133,13 @@ const record = (stage: string, gate: string, ok: boolean, detail = '', dryRun =
         } catch { return [] }
       }
       const assets = [...new Set([...fetchAssets(`v${VERSION}`), ...fetchAssets(VERSION)])]
-      const need = [`car-runtime-${VERSION}.tgz`, `car-runtime-${VERSION}.tgz.sig.bundle`, 'SHA256SUMS', 'sbom.json', 'release-audit.jsonl', 'car-release.pub']
+      // 资产清单单一事实源（1.3 W4-4/R-3）：releaseAssetNames（五件套，无 car-release.pub）
+      const need = releaseAssetNames(VERSION)
       const missing = need.filter(n => !assets.includes(n))
       g10Ok = missing.length === 0
       g10Dry = false
       g10Detail = g10Ok
-        ? `Release v${VERSION} 归档齐备（${assets.length} assets：tgz+签名bundle+SHA256SUMS+SBOM+审计+公钥）`
+        ? `Release v${VERSION} 归档齐备（${assets.length} assets：tgz+签名bundle+SHA256SUMS+SBOM+审计——D-14 五件套）`
         : `Release 资产缺失：${missing.join(', ')}`
     } catch { /* 远端不可达或 Release 不存在 → 保持 DRY-RUN */ }
   }
@@ -171,22 +170,18 @@ const record = (stage: string, gate: string, ok: boolean, detail = '', dryRun =
   record(stage, 'G-09 npm provenance（OIDC 可信发布）', g9Ok, g9Detail, g9Dry)
 }
 
-// ── 阶段 6：本地制品封装 + 校验和 ──
+// ── 阶段 6：制品校验（G-11：对 S2 产出的制品做独立复核，不重建不写死） ──
 const TARBALL = join(DIST, `car-runtime-${VERSION}.tgz`)
 {
   const stage = 'S6-制品封装'
-  execSync(`git archive --format=tar.gz -o "${TARBALL}" HEAD`, { cwd: ROOT })
-  const bytes = readFileSync(TARBALL)
   // 校验和必须对「裸字节」求哈希——曾误写为 sha256(bytes.toString('base64'))，
   // 记录值成为 base64 字符串的哈希，外部 sha256sum 校验必然失败（rc.1 已发生）。
-  const sumsPath = join(DIST, 'SHA256SUMS')
-  writeFileSync(sumsPath, `${sha256(bytes)}  car-runtime-${VERSION}.tgz\n`)
-  // 自检：从落盘文件读回，复核其确实等于制品裸字节哈希（门禁不可写死为 true）
-  const [recorded, recordedName] = readFileSync(sumsPath, 'utf-8').trim().split(/\s+/)
+  const bytes = readFileSync(TARBALL)
   const actual = sha256(bytes)
+  const [recorded, recordedName] = readFileSync(join(DIST, 'SHA256SUMS'), 'utf-8').trim().split(/\s+/)
   const ok = recorded === actual && recordedName === `car-runtime-${VERSION}.tgz`
   record(stage, 'G-11 制品校验和（SHA-256）', ok, ok
-    ? `car-runtime-${VERSION}.tgz (${bytes.length} bytes) → SHA256SUMS ${recorded.slice(0, 16)}…（已按裸字节复核，外部 sha256sum 可验证）`
+    ? `car-runtime-${VERSION}.tgz (${bytes.length} bytes) → SHA256SUMS ${recorded!.slice(0, 16)}…（S2 产出独立复核，外部 sha256sum 可验证）`
     : `校验和自检失败：SHA256SUMS 记录 ${recorded} ≠ 制品裸字节哈希 ${actual}`)
 }
 
@@ -202,7 +197,7 @@ const TARBALL = join(DIST, `car-runtime-${VERSION}.tgz`)
     '--signing-config', sigConfig, '--bundle', bundle, TARBALL], { env })
   execFileSync(cosignBin, ['verify-blob', '--key', join(keysDir, 'car-release.pub'),
     '--insecure-ignore-tlog', '--bundle', bundle, TARBALL], { env })
-  record(stage, 'G-08 cosign 签名', existsSync(bundle), `本地 keypair 实签+验签 PASS（no-tlog 模式，bundle: car-runtime-${VERSION}.tgz.sig.bundle）；正式发布可在 CI 切 keyless OIDC + Rekor`)
+  record(stage, 'G-08 cosign 签名', existsSync(bundle), `本地 keypair 实签+验签 PASS（no-tlog 模式，bundle: car-runtime-${VERSION}.tgz.sig.bundle）——D-15 预演轨；正式轨 = CI j16 keyless OIDC+Rekor`)
 }
 
 // ── 阶段 7：dist-tag 晋级模拟 + 回滚演练（发布渠道语义）──
@@ -229,5 +224,5 @@ console.log('\n===== 发布工程预演结果 =====')
 for (const r of results) console.log(`  [${r.verdict.padEnd(7)}] ${r.stage} / ${r.gate}${r.detail ? ' — ' + r.detail : ''}`)
 const pass = results.filter(r => r.verdict === 'PASS').length
 const dry = results.filter(r => r.verdict === 'DRY-RUN').length
-console.log(`\n合计：${pass} PASS / ${dry} DRY-RUN / 0 FAIL（制品：dist/：SBOM + tar.gz + SHA256SUMS + registry-sim + release-audit.jsonl）`)
-console.log('DRY-RUN 项正式执行前置：GitHub 仓库 + OIDC + npm publish 凭据 + cosign + Linux CI runner（逃逸矩阵 G-07）')
+console.log(`\n合计：${pass} PASS / ${dry} DRY-RUN / 0 FAIL（制品：dist/ 五件套——tar.gz + 签名bundle + SHA256SUMS + sbom + release-audit）`)
+console.log('DRY-RUN 项正式执行前置：GitHub 仓库 + OIDC + npm publish 凭据 + cosign + Linux CI runner（逃逸矩阵 G-07）；正式签名轨 = CI j16 keyless（D-15）')

package/src/cli.ts

@@ -24,10 +24,15 @@ 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 } 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 } 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]
@@ -98,8 +103,11 @@ async function main(): Promise<number> {
   const [, , cmd, ...rest] = process.argv
   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 +126,164 @@ 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.json {"llm":{"baseUrl":"https://…","model":"…"}} / env CAR_LLM_BASE_URL+CAR_LLM_MODEL / flag --base-url --model --prompt')
+          console.error('  凭据：OPENAI_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——否则走非可逆直注册分支）
+        core.registerLlmAdapter(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 gw = new McpGateway()
+          for (const id of mcpIds) {
+            const spec = cfgLlm.config.mcp?.servers?.[id]
+            if (!spec) { console.error(`CAR-E-MCP: server "${id}" 未在 car.config.json mcp.servers 登记`); return 2 }
+            const transport = 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 +322,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

@@ -9,7 +9,7 @@
  */
 import { createPublicKey } from 'node:crypto'
 import { CredentialService } from '../runtime-core/credentials.ts'
-import { loadCarConfig, mergeSignatureGate } from '../load/config.ts'
+import { loadCarConfig, mergeSignatureGate, mergeLlmConfig } from '../load/config.ts'
 
 export interface CredentialCheck {
   name: string
@@ -90,6 +90,47 @@ 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, allowEnvFallback } = mergeLlmConfig(env, cfg.error ? {} : cfg.config)
+  const envFallback: ModelReadinessCheck['envFallback'] = allowEnvFallback ? 'on' : 'off'
+  let credential: ModelReadinessCheck['credential'] = 'not-found'
+  if (allowEnvFallback) {
+    // env fallback 显式开启：env 变量存在性（OPENAI_API_KEY / CAR_LLM_API_KEY）——只探存在不取值
+    if (env.OPENAI_API_KEY || env.CAR_LLM_API_KEY) credential = 'env'
+  }
+  if (credential === 'not-found') {
+    // keychain 通道存在性（resolve 探测，A080001 全落空即 not-found；值不打印）
+    try {
+      const ref = new CredentialService().resolve('openai-compat', { env, allowEnvFallback })
+      credential = ref.source
+    } catch { /* 全落空 = not-found（登记口径，非错误） */ }
+  }
+  const configured = !!baseUrl && !!model
+  const parts = [
+    configured ? `baseUrl=${baseUrl} model=${model}` : 'baseUrl/model 未配置（car run 真路径需 llm.* 配置或 CAR_LLM_BASE_URL/CAR_LLM_MODEL——见 car doctor / 配置指南）',
+    credential === 'keychain' ? '凭据=keychain 命中（car-runtime/openai-compat，值不打印）'
+      : 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 +146,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)
   }
 }