@noob-stupid/dsh-plugin-console 0.5.31 → 0.5.33

package/lib/server/domain/patch-yaml-check.js

@@ -0,0 +1,151 @@
+// L1 · domain —— patch-yaml-check.js（`cordis.patch.yml` 的**结构校验**；0.5.32 加法 D3）
+//
+// 为什么不能直接复用 `domain/preset-yaml.js#validateAgentConfig`（**真机实测**，2026-09-29）：
+//   那把尺子是按 **agent 预设文件**（顶层 `- id:` 序列）校准的，拿它量真机补丁会**整片误杀**：
+//   两个 live profile 的 `cordis.patch.yml`（web 56 KB / desktop 55 KB）实测各被判 17 / 12 条问题，
+//   全部是**合法写法**：
+//     · `description: '第一行…` + 后续行 `  续行…'` —— YAML 的**多行引号标量**（跨行合法），
+//       逐行判「引号未闭合」→ 假红；
+//     · 续行缩进比父级深 → 逐行判「缩进跳级/文件被截断」→ 假红。
+//   误杀的代价在这里同样是反向的：D3 的恢复入口拿它当写盘前闸门 → **一恢复就被自家校验拒掉**。
+//
+// 所以这里只钉**能确证损坏**的形态（全部离线可判定，且对真机补丁 0 误报）：
+//   ① 行首缩进里有 **tab** —— YAML 明确禁止用 tab 缩进（框架解析器必然报错）；
+//   ② **顶层空数组占位符 `[]`**（issue #7 事故形态）：模板初始化的 `[]` 后面再追加 `- id:` 条目，
+//      同一文档流里「数组结束符 + 后续项」= 非法 YAML → dsh 启动直接崩；
+//   ③ 顶层（缩进 0）出现**不是** `- ` 序列项的行（既不是注释/空行/占位符）—— 补丁文件的形状是
+//      「序列项 + 其子键」，顶层键值对说明文件被拼坏/截断；
+//   ④ **多行引号标量未闭合**（真正的截断）：跨行扫描引号状态，直到文件末尾仍未闭合才判红
+//      —— 这一条恰好是②之外最常见的"写坏"形态；
+//   ⑤ 块标量（`|` / `>`）整段跳过判据（其内容是散文，不是 YAML 结构）。
+//
+// 分层：L1 domain —— 纯函数、无 IO、永不抛（解析失败是正常结局，调用方按 ok=false 处理）。
+
+/** 缩进宽度（空格数；tab 会在 ① 里单独判掉，不参与计数）。 */
+function indentWidth(line) {
+  const m = String(line).match(/^ */u)
+  return m === null ? 0 : m[0].length
+}
+
+/** 行首缩进里有没有 tab（YAML 禁止；框架解析器会直接报错）。 */
+function hasTabIndent(line) {
+  return /^[ \t]*\t/u.test(String(line))
+}
+
+/** 剥掉行尾注释（只认**不在引号里**且 `#` 前有空白或行首的 `#`）。 */
+function stripTrailingComment(line) {
+  const text = String(line)
+  let quote = null
+  for (let i = 0; i < text.length; i += 1) {
+    const ch = text[i]
+    if (quote !== null) {
+      if (quote === '"' && ch === '\\') { i += 1; continue }
+      if (ch === quote) quote = null
+      continue
+    }
+    if (ch === "'" || ch === '"') { quote = ch; continue }
+    if (ch === '#' && (i === 0 || /\s/u.test(text[i - 1]))) return text.slice(0, i)
+  }
+  return text
+}
+
+/** 块标量指示符（`|`、`>`、`|-`、`>+2`…）：只有**整个值**就是指示符时才算（`> foo` 是普通标量）。 */
+function blockScalarIndicator(value) {
+  const m = String(value).trim().match(/^([|>])([+-]?\d*|\d*[+-]?)$/u)
+  return m === null ? null : m[0]
+}
+
+/**
+ * 从一行里取出「值起点之后的引号状态」：
+ *   · 值不以引号开头 → `{ opens: false, quote: null }`（引号在标量中间不算跨行开始）；
+ *   · 以单/双引号开头 → 逐字符推进（双引号吃 `\\` 转义，单引号吃 `''`），返回是否仍未闭合。
+ */
+function scanValueQuotes(value, initialQuote = null) {
+  const text = String(value)
+  let quote = initialQuote
+  for (let i = 0; i < text.length; i += 1) {
+    const ch = text[i]
+    if (quote === null) {
+      if (ch === "'" || ch === '"') quote = ch
+      continue
+    }
+    if (quote === '"' && ch === '\\') { i += 1; continue }
+    if (ch === quote) {
+      if (quote === "'" && text[i + 1] === "'") { i += 1; continue }
+      quote = null
+    }
+  }
+  return { quote }
+}
+
+/**
+ * 结构校验（**纯函数**，永不抛）。返回 `{ ok, problems, summary }`。
+ * `summary` 只放"看得懂的事实"（行数 / 顶层项数 / 多行标量数），供报告与面板短句使用。
+ */
+function validatePatchYaml(text) {
+  const source = typeof text === 'string' ? text : String(text ?? '')
+  const lines = source.replace(/\r\n/gu, '\n').split('\n')
+  const problems = []
+  let topItems = 0
+  let multilineScalars = 0
+  let placeholderLines = 0
+  let inBlockScalar = false
+  let blockIndent = 0
+  let openQuote = null
+
+  for (let i = 0; i < lines.length; i += 1) {
+    const raw = lines[i]
+    const lineNo = i + 1
+    if (raw.trim() === '') continue
+    if (/^\s*#/u.test(raw)) continue
+    // ① tab 缩进（无论在哪一层都不合法）
+    if (hasTabIndent(raw)) { problems.push(`第 ${lineNo} 行的缩进里有 tab（YAML 禁止用 tab 缩进）`); continue }
+    const indent = indentWidth(raw)
+    // 多行引号标量的续行：内容不参与结构判定，只继续找闭合
+    if (openQuote !== null) {
+      multilineScalars += 1
+      const st = scanValueQuotes(raw, openQuote)
+      openQuote = st.quote
+      continue
+    }
+    // 块标量内容：整段跳过（缩进 ≤ 块首行缩进的非空行 = 块结束）
+    if (inBlockScalar) {
+      if (indent > blockIndent) continue
+      inBlockScalar = false
+    }
+    const content = stripTrailingComment(raw)
+    if (content.trim() === '') continue
+    // ② 顶层空数组占位符（issue #7：`[]` 后面再跟条目 = 非法 YAML，启动直接崩）
+    if (/^\s*\[\s*\]\s*$/u.test(content)) { placeholderLines += 1; continue }
+    // ③ 顶层必须是序列项（补丁文件的形状：`- id:` / `- insert:` + 其子键）
+    if (indent === 0) {
+      if (!/^-\s/u.test(content) && content.trim() !== '-') {
+        problems.push(`第 ${lineNo} 行是顶层键值对（补丁文件顶层必须是 \`- \` 序列项）：${content.trim().slice(0, 60)}`)
+        continue
+      }
+      topItems += 1
+    }
+    // ④ / ⑤ 值里的块标量与跨行引号
+    const kv = content.match(/^(\s*)(?:-\s+)?[^\s:#][^:]*:\s*(.*)$/u)
+    if (kv === null) continue
+    const value = kv[2].trim()
+    if (blockScalarIndicator(value) !== null) { inBlockScalar = true; blockIndent = indent; continue }
+    const st = scanValueQuotes(value, null)
+    if (st.quote !== null) openQuote = st.quote
+  }
+  // ④ 收尾：跨行引号到文件末尾仍未闭合 = 真截断
+  if (openQuote !== null) {
+    problems.push(`文件末尾仍有未闭合的引号（${openQuote === "'" ? '单引号' : '双引号'}）—— 文件被截断或写坏`)
+  }
+  // ② 收尾：占位符与真实条目共存（真实事故形态）
+  if (placeholderLines > 0 && topItems > 0) {
+    problems.push(`顶层空数组占位符 \`[]\` 与 ${topItems} 个序列项共存（同一文档流非法，框架解析会崩）—— 写入前必须移除占位符`)
+  }
+  return {
+    ok: problems.length === 0,
+    problems,
+    summary: { lines: lines.length, topItems, multilineScalars, placeholderLines },
+  }
+}
+
+export { blockScalarIndicator, hasTabIndent, indentWidth, scanValueQuotes, stripTrailingComment, validatePatchYaml }

package/lib/server/domain/peer-veto.js

@@ -0,0 +1,103 @@
+// L1 · domain —— peer-veto.js（框架 peer 预检「否决」的**本地复算**；0.5.33 加法，诊断缺口 D-⑧）
+// 分层分组：L1 · domain（边界由 tests/test-architecture-guard.mjs 断言）
+//
+// ── 要解决什么 ────────────────────────────────────────────────────────────────────
+// 真机症状：「补丁里明明写着启用（或压根没写 disabled）、运行时却没挂载（fiberPhase === null），
+// 面板上一个字都不说为什么」。真实机制（框架侧，不是我们的 bug）：
+//   `@deepseek-ai/dsh-app-boot/lib/index.js`
+//     · `evaluatePluginCompatibility(manifest, exemptions, runtimeVersion)`（:286-313）
+//       —— 只看 **peerDependencies**，只看 `@deepseek-ai/dsh` / `@deepseek-ai/dsh-*`，
+//          `workspace:^|~|*` 视为「等于当前运行时」，其余按 semver（includePrerelease）判；
+//     · `preflight()`（:2063-2109）—— 判不满足就在**内存里** `row.disabled = true`（**不写用户补丁**），
+//       原因只 `process.stderr.write` 一行。
+//   本机典型现场：profile 顶层压着 `@deepseek-ai/dsh-schedule@0.0.1-rc.3` 残影，它的 peer 写
+//   `@deepseek-ai/dsh-agent@^0.0.1-rc.3` 等 7 项 → 对运行中的 0.2.0-rc.2 **必然不满足** → 启动即被否决，
+//   而补丁尾部还是 `- id: schedule / disabled: false`，面板只显示「未挂载」。
+//
+// ── 本模块做什么（**加法**：不改任何既有判据与开关，只补一句原因 + 一条出路）────────────
+// 在同一判据下本地复算一遍：读该行**实际解析到的包** manifest 的 peerDependencies × 当前框架版本。
+// 判定不满足 → 给短句原因 + 出路；包解析不到 → **另给**「包不存在」原因（两者绝不混为一谈）。
+//
+// ── 保守性（宁可不说，不可错说）────────────────────────────────────────────────
+// 框架用的是 node-semver 的 `{ includePrerelease: true }`；仓库既有的 semver 工具里，
+// `semverRangeMatchLoose` 与它最接近但**偏宽松**（把它当"满足"的少数情形，框架可能判不满足）。
+// 这里**故意用宽松的那一支**：只有连宽松读法都不满足时才说话 —— 与 ①-1「不误报」同一纪律。
+// 代价是可能漏报少数否决（表现回退成"什么都不显示"，不会错说原因）。
+
+import { readFileSync } from 'node:fs'
+import { resolvePackageJson } from '../infra/paths.js'
+import { semverRangeMatchLoose } from '../infra/semver.js'
+
+/** 框架预检只看这个前缀的 peer（与 dsh-app-boot 的 `name !== '@deepseek-ai/dsh' && !name.startsWith('@deepseek-ai/dsh-')` 对齐）。 */
+const PEER_PREFIX = '@deepseek-ai/dsh'
+
+/** `workspace:^` / `workspace:~` / `workspace:*` 在框架里等价于「当前运行时版本」→ 永远满足。 */
+const WORKSPACE_RANGES = new Set(['workspace:^', 'workspace:~', 'workspace:*'])
+
+/**
+ * 纯判据：返回**不满足**的 peer 列表（空数组 = 没有相关 peer 声明，或全部满足）。
+ * 与 `dsh-app-boot` 的 `evaluatePluginCompatibility` 逐条对齐（见文件头）。
+ */
+function unsatisfiedPeers(manifest, runtimeVersion) {
+  if (manifest === null || typeof manifest !== 'object') return []
+  if (!Object.hasOwn(manifest, 'peerDependencies')) return []
+  const deps = manifest.peerDependencies
+  if (deps === null || typeof deps !== 'object' || Array.isArray(deps)) return []
+  if (typeof runtimeVersion !== 'string' || runtimeVersion === '') return []
+  const out = []
+  for (const [name, range] of Object.entries(deps)) {
+    if (name !== PEER_PREFIX && !name.startsWith(`${PEER_PREFIX}-`)) continue
+    if (typeof range !== 'string') { out.push({ name, range: String(range) }); continue }
+    const requirement = WORKSPACE_RANGES.has(range) ? runtimeVersion : range
+    if (requirement.trim() === '' || !semverRangeMatchLoose(runtimeVersion, requirement)) out.push({ name, range })
+  }
+  return out
+}
+
+/** 短句化的「需要什么」：一项给全名，多项给首项 + 总数（面板一行放得下）。 */
+function describePeers(peers) {
+  const first = `${peers[0].name}@${peers[0].range}`
+  return peers.length === 1 ? first : `${first} 等 ${peers.length} 项`
+}
+
+/**
+ * 行级复算（IO 可注入，便于离线断言）。
+ *
+ * 入参：`{ moduleName, profileDir, frameworkVersion }`
+ * 返回：`null`（无话可说）｜`{ kind:'peers'|'missing', reason, hint }`
+ *   · `kind:'peers'`   —— 本地复算判定 peer 不满足（大概率就是框架否决它的原因）
+ *   · `kind:'missing'` —— 包解析不到 / 清单读不出来（**另一种原因**，措辞与出路都不同）
+ */
+function peerVetoFor({ moduleName, profileDir, frameworkVersion, deps = {} } = {}) {
+  const { resolvePkg = resolvePackageJson, readText = (p) => readFileSync(p, 'utf8') } = deps
+  if (typeof moduleName !== 'string' || moduleName === '' || moduleName.startsWith('cordis:')) return null
+  if (typeof profileDir !== 'string' || profileDir === '') return null
+  if (typeof frameworkVersion !== 'string' || frameworkVersion === '') return null
+  let pkgPath = null
+  try { pkgPath = resolvePkg(moduleName, profileDir) } catch { pkgPath = null }
+  if (pkgPath === null) {
+    return {
+      kind: 'missing',
+      reason: `被框架否决：包不存在（${moduleName} 在本 profile 解析不到）`,
+      hint: `出路：这一行指向的包已经不在本 profile 里（升级/卸载后的残留行）——重装或更新该插件即可；确实不需要它时，在补丁里删掉或禁用它。`,
+    }
+  }
+  let manifest = null
+  try { manifest = JSON.parse(readText(pkgPath)) } catch { manifest = null }
+  if (manifest === null || typeof manifest !== 'object') {
+    return {
+      kind: 'missing',
+      reason: `被框架否决：包清单读不出来（${moduleName}）`,
+      hint: '出路：重装该插件——package.json 读不出来时框架自己也无法校验它，只能按最坏情况跳过挂载。',
+    }
+  }
+  const peers = unsatisfiedPeers(manifest, frameworkVersion)
+  if (peers.length === 0) return null
+  return {
+    kind: 'peers',
+    reason: `被框架否决：peer 不满足（需要 ${describePeers(peers)}，当前 ${frameworkVersion}）`,
+    hint: `出路：把 ${moduleName} 更新到兼容当前框架的版本（首选）；若它是升级后残留的旧包，从 profile 里清掉；要保留这个精确版本，就得用框架的精确版本豁免（dsh plugin allow-version / 插件管理器 → profile 的 compatibility.json）。`,
+  }
+}
+
+export { PEER_PREFIX, WORKSPACE_RANGES, unsatisfiedPeers, peerVetoFor }