@thincoder/core 0.10.10 → 0.10.11

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,87 +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——不引显示宽度 / 字体）；阈值 = 调用方的内置常量
- * （`DOC_CHECK_BUILTINS.lineWidth`）——不读声明面，也不扫目录：**判定集 = 调用方传入的文件清单**。
- * 豁免五类 = 表格行 ∥ fenced 块 ∥ 可执行行 ∥ 连续引文 ∥ 区带：**只认结构谓词**，
- * 无行级白名单（按行号 / 注释声明的豁免不入判）。
- * 边界：本档零门禁 / 零退出码 / 零阻断——报告态由 `agent-tools/doc-check.mjs` 呈现。
- */
-import { readFileSync } from "node:fs"
-
-/** 表格行谓词（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
-}
-
-/** 行宽判据（阈值 = 调用方内置常量 `lineWidth`）：`[...line].length` > 阈值 ∧ 非表格行 ∧ 非 fenced 块内
- *  ∧ 非可执行行 ∧ 非连续引文 ∧ 非区带内 ⇔ 命中（口径逐字 = §3.18 条目 Q）。
- *  单遍扫描携标题栈（`^(#{1,6})\s` 行入栈——同级 ∥ 更高级出栈）：行所属标题链任一为区带头 ⇒ 豁免。
- *  围栏未闭合 ⇒ 至档尾整块免（fail-open 方向——§3.18 残余登记 ①）；`exemptZones` 缺省 ∥ 空集 ⇒ 零豁免。
- *  `files`（必填）= **判定集**（调用方传入的档清单——本档不遍历任何目录；空集 ⇒ 零命中）。 */
-export function checkDocWidths({ lineWidth, exemptZones = [], files = [] } = {}) {
-  const zones = (Array.isArray(exemptZones) ? exemptZones : []).filter((z) => typeof z === "string" && z !== "")
-  const hits = []
-  for (const f of files) {
-    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
-}