@thincoder/core 0.10.9 → 0.10.11

package/tools/web-deepseek.mjs

@@ -9,8 +9,9 @@
  *
  * The tools never fail because of this backend: every export returns a pure value
  * (`{ status: "ok" | "empty" | "failed" | "unavailable" }`) and never throws.
- * 401/402/403/404 trip a per-agent breaker (WeakSet); 408/429/5xx retry once (500 ms);
- * everything else falls back to the caller's existing chain.
+ * 401/402/403 trip a per-agent breaker for `BREAKER_TTL_MS` (10 min — auto-unseals, no restart);
+ * 404 does NOT trip (the target page is missing — not a credential failure, D-WB3); 408/429/5xx
+ * retry once (500 ms); everything else falls back to the caller's existing chain.
  */
 import { URL } from "node:url"
 import { truncate, isPrivateHost } from "./shared.mjs"
@@ -27,7 +28,8 @@ const DEEPSEEK_HOST = "api.deepseek.com"
 const TIMEOUT_MS = 15_000
 const RETRY_DELAY_MS = 500 // D-WB5: fixed single backoff (no Retry-After parsing)
 const COST_PER_CALL = 0.00075 // $0.75 / 1000 successful requests — `count` does not change the price
-const TRIP_STATUS = new Set([401, 402, 403, 404])
+const TRIP_STATUS = new Set([401, 402, 403]) // 404 = 目标页面的状态，不是凭据失效（D-WB3）
+const BREAKER_TTL_MS = 600_000 // 熔断限时 10 分钟——到期自动放行（改完 key 无需重启会话）
 const RETRY_STATUS = (() => {
   const codes = new Set([408, 429])
   for (let code = 500; code <= 599; code++) codes.add(code)
@@ -35,11 +37,16 @@ const RETRY_STATUS = (() => {
 })()
 
 let _transport = proxyFetch
-let _breaker = new WeakSet()
+let _now = Date.now
+let _breaker = new WeakMap() // agent → expiresAtMs（单域——search ∥ fetch 共享，D-WB3）
 
-/** Test seam (CONFIG.md §6.2 ③ — paired): swap the transport; reset also clears the breaker. */
+/** Test seam (CONFIG.md §6.2 ③ — paired): swap the transport ∥ the clock; reset also clears the breaker. */
 export function _setDeepseekTransportForTest(fn) { _transport = typeof fn === "function" ? fn : proxyFetch }
-export function _resetDeepseekTransportForTest() { _transport = proxyFetch; _breaker = new WeakSet() }
+export function _setDeepseekClockForTest(fn) { _now = typeof fn === "function" ? fn : Date.now }
+export function _resetDeepseekTransportForTest() { _transport = proxyFetch; _now = Date.now; _breaker = new WeakMap() }
+
+/** 熔断名单只读面（用例断言 404 零命中——D-WB3）。 */
+export const _TRIP_STATUS_FOR_TEST = Object.freeze([...TRIP_STATUS])
 
 /** `local` skips the DeepSeek backend; anything else (missing ∥ misspelled ∥ non-string) = `auto` (fail-open). */
 export function backendMode(cfg, key) {
@@ -66,11 +73,19 @@ function deepseekChannel(cfg) {
   return null
 }
 
-const tripped = (agent) => agent !== null && typeof agent === "object" && _breaker.has(agent)
+/** 熔断未到期？到期 ⇒ 删条目并放行（判活读时钟——改完 key 不必重启会话）。 */
+function tripped(agent) {
+  if (agent === null || typeof agent !== "object") return false
+  const expiresAt = _breaker.get(agent)
+  if (typeof expiresAt !== "number") return false
+  if (expiresAt > _now()) return true
+  _breaker.delete(agent)
+  return false
+}
 
-/** Break the backend for this agent identity (single domain — search ∥ fetch share it, D-WB3). */
+/** Break the backend for this agent identity for `BREAKER_TTL_MS` (single domain — search ∥ fetch share it, D-WB3). */
 function trip(agent) {
-  if (agent !== null && typeof agent === "object") _breaker.add(agent)
+  if (agent !== null && typeof agent === "object") _breaker.set(agent, _now() + BREAKER_TTL_MS)
 }
 
 /** One POST. Returns `{ kind: "ok", data }` | `{ kind: "http", status }` | `{ kind: "net", timeout }` | `{ kind: "json" }`. */
@@ -95,7 +110,7 @@ async function postOnce(url, body, apiKey, proxyUri) {
   } finally { clearTimeout(timer) }
 }
 
-/** One logical call: retry once (408/429/5xx), trip on 401/402/403/404, otherwise fall back. */
+/** One logical call: retry once (408/429/5xx), trip on 401/402/403, otherwise fall back. */
 async function request(url, body, apiKey, proxyUri, tool, agent) {
   const started = Date.now()
   let r = await postOnce(url, body, apiKey, proxyUri)
@@ -107,7 +122,7 @@ async function request(url, body, apiKey, proxyUri, tool, agent) {
   if (r.kind === "http" && TRIP_STATUS.has(r.status) && agent !== null && typeof agent === "object") {
     trip(agent)
     // Tripping line only (transient fallbacks stay quiet — ⑤).
-    logEvent("web:deepseek", { tool, status: r.status, tripped: true, ms: Date.now() - started })
+    logEvent("web:deepseek", { tool, status: r.status, tripped: true, ttlMs: BREAKER_TTL_MS, ms: Date.now() - started })
   }
   const reason = r.kind === "http" ? `http ${r.status}`
     : r.kind === "net" ? (r.timeout ? "timeout" : "network")

package/doc-check/version.mjs

@@ -1,84 +0,0 @@
-/**
- * doc-check/version.mjs — 引擎版本一致性的**单源**（纯函数 + 常量；两个消费面共用一个判据）。
- *
- * 权威规格 = `docs/core/design/DOC-DISCIPLINE.md` §3.20「引擎版本一致」（判据 / 比较 / 裁定 / 保守方向；
- * 本档只实现，不重述口径）。消费面两处：工具面 `agent-tools/doc-check.mjs` 的 gate 分支（转口导出、
- * 导出面不变）∥ 结构门 `agent-tools/batch-gate.mjs`（batch 两机械点）——两处不得各持一份清单。
- *
- * 问题形态：`thincoder-core/doc-check/**` 是 ESM，进程启动时加载即缓存；引擎档在启动后被改写 ⇒
- * 本会话仍跑旧模块 ⇒ 假阳（旧误报消不掉）/ 假绿（引擎变严时旧版放过）。故 gate 在跑判据前先判版本。
- *
- * `ENGINE_FILES` 六档 = 判据面：三判据档 + 本档（版本函数单源，自身入清单 = fail-closed）+ 工具面 +
- * 描述档。路径按本档 `import.meta.url` 解析到产品核根，**不随 target 变**。
- */
-import { statSync } from "node:fs"
-import { resolve } from "node:path"
-import { fileURLToPath } from "node:url"
-
-/** 产品核根（版本清单基线——本档住 `doc-check/`，上跳一级）。 */
-const CORE_ROOT = fileURLToPath(new URL("..", import.meta.url))
-
-/** 引擎六档 = 版本一致性的判据面（§3.20「引擎版本一致」· 判据）。 */
-export const ENGINE_FILES = [
-  "doc-check/index.mjs",
-  "doc-check/anchors.mjs",
-  "doc-check/width.mjs",
-  "doc-check/version.mjs",
-  "agent-tools/doc-check.mjs",
-  "tool-docs/doc_check.md",
-]
-
-/**
- * 引擎版本一致性（纯函数——时钟 ∥ stat 可注 ⇒ 可测，不碰产品档 mtime）：
- * 逐档 `mtimeMs` 与**本进程启动时刻**（`nowMs − uptimeSec × 1000`）比较——晚于启动 ⇒ 该档可能晚于模块加载 ⇒ stale。
- * 不可 `stat` 的档同样入 stale（fail-closed，不静默忽略）。`mtime ≤ 启动` 一定不比缓存新；
- * `mtime > 启动` 只是**可能**晚于加载 —— 取 fail-closed 方向（误判代价 = 一次会话重启）。
- * @param {{nowMs?:number, uptimeSec?:number, stat?:Function}} [o] 注入缝（缺省 = 真时钟 / 真 `statSync`）
- * @returns {{startMs:number, stale:{file:string, mtimeMs:number|null}[]}} `file` = 相对 `thincoder-core/` 的正斜杠路径
- */
-export function staleEngineFiles({ nowMs = Date.now(), uptimeSec = process.uptime(), stat = statSync } = {}) {
-  const startMs = nowMs - uptimeSec * 1000
-  const stale = []
-  for (const file of ENGINE_FILES) {
-    let mtimeMs = null
-    try { mtimeMs = stat(resolve(CORE_ROOT, file)).mtimeMs } catch { stale.push({ file, mtimeMs: null }); continue }
-    if (typeof mtimeMs !== "number" || !Number.isFinite(mtimeMs)) { stale.push({ file, mtimeMs: null }); continue }
-    if (mtimeMs > startMs) stale.push({ file, mtimeMs })
-  }
-  return { startMs, stale }
-}
-
-/** stale 列表形（`<文件> mtime <ISO 8601>`，`；` 连列）——gate ERROR 行 ∥ report 注记行共用一处格式。 */
-function staleParts(stale) {
-  const when = (t) => new Date(t).toISOString()
-  return stale.map((s) => `${s.file} mtime ${s.mtimeMs === null ? "不可读（stat 失败）" : when(s.mtimeMs)}`)
-}
-
-/** 引擎版本 ERROR 报面（固定句形）：多档 stale ⇒ 逐档 `<文件> mtime <时间>` 以 `；` 连列——**不产 PASS**。 */
-export function gateEngineError({ startMs, stale }) {
-  const when = (t) => new Date(t).toISOString()
-  return [
-    `DOC-CHECK GATE: ERROR（引擎已更新（${staleParts(stale).join("；")} > 进程启动 ${when(startMs)}），请重启会话后复跑）`,
-    "原因：本会话进程加载的引擎模块早于盘上引擎档——旧引擎读数不可信（假阳：旧误报消不掉 ∥ 假绿：引擎变严时旧版放过）",
-    "处置：重启会话后复跑 gate（`report` 不裁定、不产 verdict（陈旧时只在首行前加注记））",
-  ].join("\n")
-}
-
-/** 报告态引擎陈旧注记（纯函数）：stale 空 ⇒ `null`；非空 ⇒ 一行注记（逐字单源 = `DOC-DISCIPLINE.md`
- *  §3.20「gate 裁定 · report 注记」——多档以 `；` 连列，与 `gateEngineError` 同形）。 */
-export function reportEngineNote({ startMs, stale } = {}) {
-  if (!Array.isArray(stale) || stale.length === 0) return null
-  const when = (t) => new Date(t).toISOString()
-  return `[doc_check note] 引擎陈旧（${staleParts(stale).join("；")} > 进程启动 ${when(startMs)}）——本次读数由会话启动时加载的旧引擎产出，不可作为交付判据；重启会话后复跑。`
-}
-
-/** 报面 + 注记：有注记 ⇒ 注记行 + 原报面；无 ⇒ 原报面逐字返回（三不改：既有行 ∥ verdict ∥ PASS 语义）。 */
-export function withEngineNote(report, version) {
-  const note = reportEngineNote(version ?? {})
-  return note ? `${note}\n${report}` : report
-}
-
-/** 报面首行取形（唯一机判串 = 首行 `DOC-CHECK GATE:` 前缀——消费面共用一个取法，不各自 split）。 */
-export function firstVerdictLine(report) {
-  return String(report ?? "").split("\n")[0] ?? ""
-}

package/doc-check/width.mjs

@@ -1,132 +0,0 @@
-/**
- * doc-check/width.mjs — 文档纪律机检的产品档位（行宽谓词族 + 域扫描 + 行宽判据——实现单源）。
- *
- * 口径单源 = `docs/core/design/DOC-DISCIPLINE.md` §3.18 条目 Q（度量 / 域 / 豁免类 / 阈值）；
- * 产品内建裁定 = 同档 §3.20 条目 S——谓词单源随迁：本仓 `scripts/doc-check-width.mjs` 改述为
- * **再出口缝**（薄档 · 零逻辑 · 逐名再出口），盘上不留第二份谓词实现。
- * 度量 = `[...line].length`（CJK 计 1——不引显示宽度 / 字体）；阈值 / 域 / 排除全部读
- * `PROJECT-MANIFEST.json` 的 `checkConfig`——零硬编码本仓路径，换项目开箱可用。
- * 豁免五类 = 表格行 ∥ fenced 块 ∥ 可执行行 ∥ 连续引文 ∥ 区带：**只认结构谓词**，
- * 无行级白名单（按行号 / 注释声明的豁免不入判）。
- * 边界：本档零门禁 / 零退出码 / 零阻断——报告态由 `agent-tools/doc-check.mjs` 呈现。
- */
-import { readdirSync, readFileSync, statSync } from "node:fs"
-import { join, resolve } from "node:path"
-import { MANIFEST_REL } from "../manifest.mjs"
-
-/** 域发现跳过目录（不视作候选产品域；递归亦不进入）。 */
-const SKIP_DIRS = new Set(["node_modules", ".git", "dist", "build", "coverage", ".turbo", ".thincoder"])
-
-/** 域发现（声明面）：cwd 根（持 manifest）+ 各持自身 manifest 的一级子目录——判据 = manifest 在场，无路径硬编码。 */
-export function discoverDomains(root) {
-  const rootAbs = resolve(root)
-  const hasManifest = (p) => { try { return statSync(join(p, MANIFEST_REL)).isFile() } catch { return false } }
-  const out = []
-  if (hasManifest(rootAbs)) out.push(rootAbs)
-  let names = []
-  try { names = readdirSync(rootAbs) } catch { /* 不可读：仅根域 */ }
-  for (const n of names) {
-    if (SKIP_DIRS.has(n) || n.startsWith("dist-")) continue
-    const p = join(rootAbs, n)
-    try { if (statSync(p).isDirectory() && hasManifest(p)) out.push(p) } catch { /* 跳过 */ }
-  }
-  return out
-}
-
-/** 递归列 .md（跳过 SKIP_DIRS ∧ 声明面 exclude 段——exclude 逐层生效）。 */
-function walkMd(dir, exclude, out) {
-  let names = []
-  try { names = readdirSync(dir) } catch { return out }
-  for (const n of names) {
-    if (SKIP_DIRS.has(n) || n.startsWith("dist-") || exclude.includes(n)) continue
-    const p = join(dir, n)
-    let st
-    try { st = statSync(p) } catch { continue }
-    if (st.isDirectory()) walkMd(p, exclude, out)
-    else if (n.endsWith(".md")) out.push(p)
-  }
-  return out
-}
-
-/** 源域（单源）：`scanDirs` × `exclude` 声明面下的全部 .md——锚检查与行宽检查同一文件集。 */
-export function scanDomain(base, { scanDirs = [], exclude = [] } = {}) {
-  const ex = Array.isArray(exclude) ? exclude : []
-  const out = []
-  for (const d of Array.isArray(scanDirs) ? scanDirs : []) walkMd(resolve(base, d), ex, out)
-  return [...new Set(out)].sort()
-}
-
-/** 表格行谓词（markdown 表格行结构性不可折行——行宽豁免，与锚检查同源）。 */
-export const isTableRow = (l) => /^\s*\|.*\|\s*$/.test(String(l))
-
-/** 围栏标记（行首可选空白 + 三反引号 ∥ 三波浪号 ⇒ 标记字符；非围栏行 ⇒ null）——**单源**：
- *  `isFenceLine` 与两处块扫描（本节行宽 ∥ `./anchors.mjs` 锚抽取）同取此式，使「同形围栏行止」只此一解
- *  （同一模块内同符两义 = 单源可漂的结构口子）。 */
-export function fenceMark(l) {
-  const m = /^\s*(`{3,}|~{3,})/.exec(String(l))
-  return m ? m[1][0] : null
-}
-
-/** 围栏行谓词（单源 = `fenceMark`）——围栏行自身与块内整行均豁免。 */
-export const isFenceLine = (l) => fenceMark(l) !== null
-
-/** 引文块行谓词（行首可选空白 + `>`）——连续 `>` 行整块豁免（引证须逐字连续、不可折，同表行理据）。 */
-export const isQuoteLine = (l) => /^\s*>/.test(String(l))
-
-/** 区带头谓词（§3.15 谓词面）：标题文本去首部编号（`^\d+(?:\.\d+)*[.、]?\s*`）后——等于区带名 ∨ 以
- *  「区带名 + （∕(」起（容括注后缀，如 `变更记录（续）`）；闭集外一律不纳（fail-closed）。 */
-export function isZoneHead(headingText, zones = []) {
-  const text = String(headingText).replace(/^\d+(?:\.\d+)*[.、]?\s*/, "")
-  return zones.some((z) => typeof z === "string" && z !== "" && (text === z || text.startsWith(z + "（") || text.startsWith(z + "(")))
-}
-
-/** 行内可执行坐标（命令 / 搜索模式串码段）——整行豁免（证据与命令保字面，与锚判据同源）。 */
-export function isExecutableLine(line) {
-  const l = String(line)
-  if (/`[^`\n]*&&[^`\n]*`/.test(l)) return true // 命令链（cd … && …）
-  if (/`[^`\n]*\b(?:cd|node|npm|npx|grep|rg|git)\s[^`\n]*`/.test(l)) return true // 码段内命令词
-  if (/`[^`\n]*(?:\[\^|\\\.|\(\?<|\(\?:|\{\d)/.test(l)) return true // 码段内搜索模式串片段
-  return false
-}
-
-/** 行内位置是否在反引号码段内（引述面不判）。 */
-export function inCodeSpan(line, idx) {
-  return (String(line).slice(0, idx).match(/`/g) ?? []).length % 2 === 1
-}
-
-/** 行宽判据（单判据 = `checkConfig.lineWidth`）：`[...line].length` > 阈值 ∧ 非表格行 ∧ 非 fenced 块内
- *  ∧ 非可执行行 ∧ 非连续引文 ∧ 非区带内 ⇔ 命中（口径逐字 = §3.18 条目 Q）。
- *  单遍扫描携标题栈（`^(#{1,6})\s` 行入栈——同级 ∥ 更高级出栈）：行所属标题链任一为区带头 ⇒ 豁免。
- *  围栏未闭合 ⇒ 至档尾整块免（fail-open 方向——§3.18 残余登记 ①）；`exemptZones` 缺省 ∥ 空集 ⇒ 零豁免。
- *  `checkFiles`（可选）= **被判集**（gate 的范围收窄面）；缺省 ⇒ `files`（全域，报告态遍历面零变）。 */
-export function checkDocWidths(base, { lineWidth, scanDirs, exclude, exemptZones = [], files, checkFiles } = {}) {
-  const zones = (Array.isArray(exemptZones) ? exemptZones : []).filter((z) => typeof z === "string" && z !== "")
-  const hits = []
-  // 被判集优先（范围只收窄被判档）；`files` 给定时直接用（调用方已扫同一域 ⇒ 域只走一遍）；缺省自扫。
-  for (const f of checkFiles ?? files ?? scanDomain(base, { scanDirs, exclude })) {
-    let text = ""
-    try { text = readFileSync(f, "utf8") } catch { continue }
-    const stack = [] // 标题栈 —— { level, exempt }；exempt = 自身 ∥ 祖先命中区带
-    let fence = null // 围栏标记（` ∥ ~）；null = 不在块内
-    text.split("\n").forEach((l, i) => {
-      const mark = fenceMark(l)
-      if (mark !== null) {
-        if (fence === null) fence = mark
-        else if (mark === fence) fence = null
-        return // 围栏行自身免
-      }
-      if (fence !== null) return // 块内整块免（未闭合 ⇒ 至档尾免）
-      const hm = /^(#{1,6})\s+(.*)$/.exec(l)
-      if (hm) {
-        while (stack.length && stack[stack.length - 1].level >= hm[1].length) stack.pop()
-        const self = isZoneHead(hm[2].trim(), zones)
-        stack.push({ level: hm[1].length, exempt: self || (stack[stack.length - 1]?.exempt ?? false) })
-        return
-      }
-      const inZone = stack[stack.length - 1]?.exempt === true
-      const len = [...l].length
-      if (len > lineWidth && !isTableRow(l) && !isExecutableLine(l) && !isQuoteLine(l) && !inZone) hits.push({ file: f, line: i + 1, len })
-    })
-  }
-  return hits
-}