@whyshu/argent-engine 0.0.0-stage → 0.6.1

package/engine/scripts/check-portable-symbols.mjs

@@ -0,0 +1,116 @@
+#!/usr/bin/env node
+/**
+ * 门禁：检查「移植/启用的函数体内，调用位置的符号是否可解析」（2026-09-15 立）
+ *
+ * 背景：三次事故同一根因 —— 启用了一段从别处搬来的代码，但它依赖的符号没跟过来：
+ *   ① `inject` 缺失 → 插件树加载失败；
+ *   ② 启用 askAgent 时缺 `createUserMessage` / `textOf` → 运行期 ReferenceError
+ *      （用户侧表现为"处理失败"）；
+ *   ③ 我的检查脚本用"字符串出现过"当"代码可用" → 误判。
+ * 纪律挡不住这类错，静态检查才行 —— 这就是本脚本。
+ *
+ * 做法（高信号、低误报）：只取**目标函数体内处于调用位置**的标识符（`foo(`，排除 `a.foo(`），
+ * 与「文件内声明集合（import/const/let/var/function/class/解构/对象方法/参数/catch）+ JS 内置」比对。
+ *
+ * 用法：node scripts/check-portable-symbols.mjs [文件…]（默认三个 argent 插件）
+ * 退出码：0 干净；1 有不可解析符号
+ */
+import { readFileSync, existsSync } from 'node:fs'
+import { join } from 'node:path'
+
+const REPO = new URL('..', import.meta.url).pathname
+// P3.5（2026-09-17）：argent-drive / argent-kanban 已退役 ⇒ 只扫存续插件
+const DEFAULT_FILES = [
+  'plugins/argent-gateway/src/index.js',
+  'plugins/argent-flow/src/index.js',
+  'plugins/argent-core/src/index.js',
+]
+
+/** 目标函数：移植/启用的高危函数 */
+const TARGET_FNS = ['askAgent', 'getAgent', 'channelAgent', 'channelAsk', 'textOf']
+
+const BUILTINS = new Set(('globalThis Object Array String Number Boolean BigInt Symbol Function Date RegExp ' +
+  'Error TypeError RangeError SyntaxError EvalError ReferenceError URIError AggregateError Promise Map Set WeakMap WeakSet ' +
+  'JSON Math Reflect Proxy Intl Buffer URL URLSearchParams TextEncoder TextDecoder AbortController AbortSignal ' +
+  'structuredClone queueMicrotask fetch Request Response Headers FormData Blob File FileReader atob btoa crypto ' +
+  'performance navigator window document localStorage sessionStorage location history alert confirm prompt ' +
+  'HTMLElement Element Node NodeList MutationObserver IntersectionObserver requestAnimationFrame cancelAnimationFrame ' +
+  'getComputedStyle matchMedia Image Worker WebSocket EventSource XMLHttpRequest MessageChannel BroadcastChannel ' +
+  'WebAssembly FinalizationRegistry WeakRef Atomics SharedArrayBuffer ArrayBuffer DataView Uint8Array Int8Array ' +
+  'Uint16Array Int16Array Uint32Array Int32Array Float32Array Float64Array BigInt64Array BigUint64Array Uint8ClampedArray ' +
+  'setTimeout clearTimeout setInterval clearInterval setImmediate clearImmediate console process require module exports ' +
+  '__dirname __filename React ' +
+  'await async function return if else for while do switch case default break continue try catch finally throw new ' +
+  'typeof instanceof in of void delete yield class extends super this null undefined true false let const var static ' +
+  'get set constructor arguments').split(' '))
+
+const strip = (src) => src
+  .replace(/\/\*[\s\S]*?\*\//g, ' ')
+  .replace(/\/\/[^\n]*/g, ' ')
+  .replace(/`(?:[^`\\]|\\.)*`/g, '``')
+  .replace(/'(?:[^'\\]|\\.)*'/g, "''")
+  .replace(/"(?:[^"\\]|\\.)*"/g, '""')
+
+function declared(code) {
+  const names = new Set()
+  const add = (n) => { if (n && !BUILTINS.has(n)) names.add(n) }
+  for (const m of code.matchAll(/import\s+([\s\S]*?)\s+from\s+['"]/g)) {
+    for (const raw of m[1].replace(/[{}]/g, ',').split(',')) {
+      const n = raw.trim().split(/\s+as\s+/).pop().trim()
+      if (n && n !== '*') add(n)
+    }
+  }
+  for (const m of code.matchAll(/\b(?:const|let|var)\s+([A-Za-z_$][\w$]*)/g)) add(m[1])
+  for (const m of code.matchAll(/\b(?:const|let|var)\s*\{([^}]{0,300})\}/g))
+    for (const t of m[1].split(',')) add(t.trim().split(':').pop().trim().split('=')[0].trim())
+  for (const m of code.matchAll(/\b(?:const|let|var)\s*\[([^\]]{0,300})\]/g))
+    for (const t of m[1].split(',')) add(t.trim())
+  for (const m of code.matchAll(/\b(?:async\s+)?function\s*\*?\s*([A-Za-z_$][\w$]*)/g)) add(m[1])
+  for (const m of code.matchAll(/\bclass\s+([A-Za-z_$][\w$]*)/g)) add(m[1])
+  for (const m of code.matchAll(/(?:^|[{,\n])\s*(?:async\s+)?([A-Za-z_$][\w$]*)\s*\([^()]{0,200}\)\s*\{/g)) add(m[1])
+  for (const m of code.matchAll(/\(([^()]{0,400})\)\s*(?:=>|\{)/g))
+    for (const t of m[1].split(',')) add(t.trim().replace(/^\.\.\./, '').split(/[=:]/)[0].trim())
+  for (const m of code.matchAll(/(?:^|[{,(\s])([A-Za-z_$][\w$]*)\s*=>/g)) add(m[1])
+  for (const m of code.matchAll(/\bcatch\s*\(\s*([A-Za-z_$][\w$]*)/g)) add(m[1])
+  return names
+}
+
+function fnBodies(code, name) {
+  const out = []
+  const re = new RegExp('(?:async\\s+)?function\\s+' + name + '\\s*\\(', 'g')
+  let m
+  while ((m = re.exec(code))) {
+    const open = code.indexOf('{', m.index + m[0].length - 1)
+    if (open < 0) continue
+    let depth = 0, end = -1
+    for (let i = open; i < code.length; i++) {
+      if (code[i] === '{') depth++
+      else if (code[i] === '}') { depth--; if (depth === 0) { end = i; break } }
+    }
+    if (end > 0) out.push(code.slice(open, end + 1))
+  }
+  return out
+}
+
+let bad = 0
+const files = process.argv.slice(2).length ? process.argv.slice(2) : DEFAULT_FILES
+for (const rel of files) {
+  const p = rel.startsWith('/') ? rel : join(REPO, rel)
+  if (!existsSync(p)) { console.log(`  · 跳过（不存在）: ${rel}`); continue }
+  const code = strip(readFileSync(p, 'utf8'))
+  const declaredNames = declared(code)
+  const problems = []
+  for (const fn of TARGET_FNS) {
+    for (const body of fnBodies(code, fn)) {
+      for (const mm of body.matchAll(/(?<![.\w$])([A-Za-z_$][\w$]*)\s*\(/g)) {
+        const n = mm[1]
+        if (BUILTINS.has(n) || declaredNames.has(n)) continue
+        problems.push(`${fn}() → ${n}`)
+      }
+    }
+  }
+  const uniq = [...new Set(problems)]
+  if (uniq.length) { bad++; console.log(`  ❌ ${rel}: ${uniq.length} 个调用位置符号不可解析`); console.log(`     ${uniq.slice(0, 20).join(', ')}`) }
+  else console.log(`  ✅ ${rel} 目标函数内调用符号全部可解析`)
+}
+process.exit(bad ? 1 : 0)

package/engine/scripts/check-preset-landing.mjs

@@ -0,0 +1,124 @@
+#!/usr/bin/env node
+/**
+ * check-preset-landing.mjs — 「角色落盘集合」**只读**体检（2026-10-12 追修批，winpc 现场取证工具）。
+ *
+ * 为什么要有它（现场实况）：判断"这台机器到底落了哪些角色、为什么"此前只能临时手写脚本读四个
+ * 地方（patch 实体 / `presets.json` 行 / `package.json#dsh.bundle.patch` / `presets.selection.json`），
+ * 于是"读错一处就得出相反结论"。本 CLI 把这四件套 + **已装集来源** + **两条不变式**收成一条只读命令，
+ * 任何一台机器（客户机 / 开发机 / winpc）都能照抄：
+ *
+ *   node scripts/check-preset-landing.mjs                    # 默认 ~/.dsh / profile=web
+ *   node scripts/check-preset-landing.mjs --json             # 供程序消费
+ *   node scripts/check-preset-landing.mjs --internal-roles   # 本机合法装了内部角色（授权口径）
+ *
+ * ## 判据（任一红即 exit 1）
+ *   ① **四者相等**：patch 实体 == `presets.json` 行 == `dsh.bundle.patch` == 痕迹 `kept`
+ *      （唯一实现在 `scripts/lib/preset-install.mjs#checkPresetSelectionConsistency`）；
+ *   ② **落盘集合不含 `visibility: internal` 的角色**，除非本机授权（`agents.json#internalRoles === true`
+ *      或 `--internal-roles`）—— 未授权却落了内部角色 ⇒ 判红（这正是放大缺陷的指纹）；
+ *   ③ **痕迹可信性**：痕迹 `kept` 含内部角色而未授权 ⇒ 痕迹不可信（`resolveInstalledSelection` 会
+ *      退回 `agents.json` 角色并集）⇒ 一并报出。
+ *
+ * ⛔ 只读：不写任何文件、不建目录、不发网。退出码：0 = 全绿；1 = 有红（含"未装过"）；2 = 用法错。
+ */
+import { existsSync, readFileSync } from 'node:fs'
+import { homedir } from 'node:os'
+import { join } from 'node:path'
+import { isDirectRun } from './lib/is-direct-run.mjs'
+import {
+  bundlePatchEntities, bundleShelfIds, installedRowIds, readPresetSelection,
+  checkPresetSelectionConsistency, resolveInstalledSelection, internalIdsAmong,
+  resolveBundleDir,
+} from './lib/preset-install.mjs'
+
+function help() {
+  console.log(`角色落盘集体检（只读）
+用法:
+  node check-preset-landing.mjs [--dsh-home <dir>] [--profile <name>] [--internal-roles] [--json]
+环境: DSH_HOME / DSH_PROFILE 可覆盖默认（~/.dsh / web）
+退出码: 0 = 全绿；1 = 判红（四者不相等 / 未授权却落内部角色 / 未装过）；2 = 用法错`)
+}
+
+function main(argv) {
+  const flag = (name) => argv.includes(name)
+  const opt = (name, dflt) => {
+    const i = argv.indexOf(name)
+    return i >= 0 && argv[i + 1] ? argv[i + 1] : dflt
+  }
+  if (flag('--help') || flag('-h')) { help(); return 0 }
+
+  const DSH_HOME = opt('--dsh-home', process.env.DSH_HOME || join(homedir(), '.dsh'))
+  const PROFILE = opt('--profile', process.env.DSH_PROFILE || 'web')
+  const AS_JSON = flag('--json')
+  // ⚠️ W9：bundle 落点是**包名**（`@whyshu/argent-presets`），存量机器上是旧裸名目录 ⇒
+  //    走真源 `resolveBundleDir()`（两个名字都找；都没落 ⇒ 回规范名路径供「未找到」文案用）。
+  const bundleDir = resolveBundleDir(join(DSH_HOME, 'profiles', PROFILE))
+
+  if (!existsSync(bundleDir)) {
+    const msg = `未找到 profile 角色副本：${bundleDir}`
+    if (AS_JSON) console.log(JSON.stringify({ ok: false, dshHome: DSH_HOME, profile: PROFILE, bundleDir, problems: [msg] }, null, 2))
+    else console.error(`✗ ${msg}\n  ⇒ 这台机器没装过 profile 角色（或 profile 名不是 ${PROFILE}；用 --profile 指定）`)
+    return 1
+  }
+
+  /** `agents.json`（智能体账本）：内部角色授权的唯一判据来源。 */
+  let ledger = null
+  try { ledger = JSON.parse(readFileSync(join(DSH_HOME, 'argent', 'agents.json'), 'utf8')) } catch { ledger = null }
+  const allowInternal = flag('--internal-roles') || !!(ledger && ledger.internalRoles === true)
+
+  const entities = bundlePatchEntities(bundleDir)
+  const rows = installedRowIds(bundleDir)
+  const shelf = bundleShelfIds(bundleDir)
+  const trace = readPresetSelection(bundleDir)
+  const kept = trace ? trace.kept.map((x) => String(x)) : []
+  const inst = resolveInstalledSelection({ bundleDir, ledger, allowInternal })
+  const consistency = checkPresetSelectionConsistency(bundleDir)
+  const internalLanded = internalIdsAmong(bundleDir, consistency.shelf.length ? consistency.shelf : entities)
+
+  const problems = []
+  if (!consistency.ok) problems.push(...consistency.problems)
+  if (internalLanded.length && !allowInternal) {
+    problems.push(`落盘集合含 ${internalLanded.length} 个 visibility=internal 的角色（${internalLanded.join('、')}），`
+      + '而本机未授权内部角色（需 --internal-roles，或 agents.json#internalRoles = true）')
+  }
+  if (inst.rejected) problems.push(`痕迹不可信：${inst.rejected}`)
+
+  if (AS_JSON) {
+    console.log(JSON.stringify({
+      ok: problems.length === 0, dshHome: DSH_HOME, profile: PROFILE, bundleDir,
+      landing: {
+        patchEntities: entities.length, presetsJsonRows: shelf.length,
+        bundlePatchRows: rows.length, traceKept: trace ? kept.length : null,
+      },
+      kept, excluded: trace ? trace.excluded : null, why: trace ? trace.why : null, at: trace ? trace.at : null,
+      internalLanded, allowInternal,
+      installedSelection: { source: inst.source, ids: inst.ids, trustedTrace: inst.trustedTrace, rejected: inst.rejected },
+      problems,
+    }, null, 2))
+    return problems.length ? 1 : 0
+  }
+
+  console.log(`角色落盘集体检（只读）— ${bundleDir}`)
+  console.log(`  patch 实体 ${entities.length} ｜ presets.json 行 ${shelf.length} ｜ dsh.bundle.patch ${rows.length} ｜ 痕迹 kept ${trace ? kept.length : '（缺失）'}`)
+  console.log(`  已装集来源：${inst.source === 'trace' ? '选择痕迹（可信）' : inst.source === 'agents' ? 'agents.json 角色并集' : '无（首次安装语义）'}`
+    + ` ⇒ ${inst.ids.length ? inst.ids.join('、') : '（空集）'}`)
+  if (trace) {
+    console.log(`  痕迹：why = ${trace.why || '（未说明）'}`)
+    console.log(`        kept = ${kept.join('、') || '（空）'}`)
+    console.log(`        excluded = ${(trace.excluded || []).join('、') || '（空）'}`)
+  }
+  console.log(`  内部角色授权：${allowInternal ? '有（--internal-roles 或 agents.json#internalRoles=true）' : '无'}`)
+  if (problems.length) {
+    console.log(`\n✗ 判红 ${problems.length} 条：`)
+    for (const p of problems) console.log(`  · ${p}`)
+    console.log('\n  处置：重跑一次安装/升级命令（安装器收尾重施时会按正确集合收窄）；确需内部角色请给 --internal-roles。'
+      + '⛔ 本命令**不改任何文件**。')
+    return 1
+  }
+  console.log('\n✅ 全绿：四者相等 ∧ 落盘集合不含未授权的内部角色')
+  return 0
+}
+
+// ⛔ 只在**被直接执行**时跑主逻辑；判据是 realpath 比对（软链路径下也照样执行）——
+// 唯一实现在 lib/is-direct-run.mjs（先例：2026-10-04 统一 10 个 CLI 的入口守卫）。
+if (isDirectRun(import.meta.url)) process.exit(main(process.argv.slice(2)))