@dommaker/harness 1.3.0 → 1.4.0

package/dist/core/constraints/capabilities-parser.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"capabilities-parser.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/capabilities-parser.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AA6BH,MAAM,WAAW,wBAAwB;IACvC,oDAAoD;IACpD,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,6CAA6C;IAC7C,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED;;;;;GAKG;AACH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,wBAA6B,GAAG,MAAM,EAAE,CAqB1G;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CAAC,gBAAgB,EAAE,MAAM,EAAE,OAAO,GAAE,wBAA6B,GAAG,MAAM,EAAE,CAMlH;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAKlE;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAO1E;AAwCD;;GAEG;AACH,wBAAgB,qBAAqB,CACnC,WAAW,EAAE,MAAM,GAClB;IAAE,KAAK,EAAE,OAAO,CAAC;IAAC,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,CAa1C;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,MAAM,CASpF"}
+{"version":3,"file":"capabilities-parser.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/capabilities-parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAmBH,MAAM,WAAW,wBAAwB;IACvC,0BAA0B;IAC1B,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB;AAED;;;;;;;GAOG;AACH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,wBAA6B,GAAG,MAAM,EAAE,CAoB1G;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CAAC,gBAAgB,EAAE,MAAM,EAAE,OAAO,GAAE,wBAA6B,GAAG,MAAM,EAAE,CAMlH;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAKlE;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAO1E;AAID;;;;;;;;GAQG;AACH,MAAM,WAAW,0BAA0B;IACzC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IAC7B,KAAK,EAAE,SAAS;QAAE,GAAG,CAAC,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;CACrC;AA+CD;;GAEG;AACH,wBAAgB,qBAAqB,CACnC,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,0BAA0B,GACjC;IAAE,KAAK,EAAE,OAAO,CAAC;IAAC,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,CAa1C;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,0BAA0B,GACjC,MAAM,CASR"}

package/dist/core/constraints/capabilities-parser.js

@@ -6,6 +6,8 @@
  * 各持一份正则，收敛到此处。H2 起能力清单计数（checkCapabilityCounts /
  * updateCapabilityCounts）也从 sync-docs/capabilities-syncer 收敛到此，
  * 使本模块成为 CAPABILITIES.md 解析 + 计数唯一入口。
+ *
+ * 计数所需的命令/门禁定义由调用方注入（harness#88：core 不值导入上层定义表）。
  */
 var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
     if (k2 === undefined) k2 = k;
@@ -49,17 +51,9 @@ exports.checkCapabilityCounts = checkCapabilityCounts;
 exports.updateCapabilityCounts = updateCapabilityCounts;
 const fs = __importStar(require("fs"));
 const definitions_1 = require("./definitions");
-const definitions_2 = require("../../cli/commands/definitions");
-const definitions_3 = require("../../gates/definitions");
 const runner_1 = require("./doc-freshness/runner");
-/** CLI 命令数 = 非门禁命令定义 + 门禁命令定义（ADR-0002：定义表是命令形状单一来源） */
-function cliCommandCount() {
-    return definitions_2.COMMAND_DEFINITIONS.length + definitions_3.GATE_DEFINITIONS.filter(g => g.cli).length;
-}
 /** 匹配表格单元格中的源码文件条目（如 `src/foo.ts`、`foo.tsx`） */
 const FILE_CELL_REGEX = /\|\s*([^|]+?\.(?:ts|tsx|js|jsx))\s*\|/g;
-/** 仅匹配表格第二列的文件条目（checker 的历史语义：第一列为模块名，第二列为文件） */
-const FILE_SECOND_COLUMN_REGEX = /^\|[^|]+\|\s*([^|]+?\.(?:ts|tsx|js|jsx))\s*\|/gm;
 /**
  * 匹配表格单元格中的目录条目（如 `agents/`）。
  *
@@ -71,16 +65,17 @@ const DIR_CELL_REGEX = /\|\s*([\w][\w@./-]*\/)\s*\|/g;
 /**
  * 从 CAPABILITIES.md 内容中提取表格列出的条目
  *
+ * 解析口径（ADR-0009）：表格所有单元格收集；「只看第二列」的历史读法废弃。
+ *
  * @param content markdown 内容
  * @returns 文件路径原样 + （可选）目录条目，按出现顺序去重
  */
 function parseCapabilitiesEntries(content, options = {}) {
-    const { includeDirs = false, secondColumnOnly = false } = options;
+    const { includeDirs = false } = options;
     const entries = [];
-    const fileRegex = secondColumnOnly ? FILE_SECOND_COLUMN_REGEX : FILE_CELL_REGEX;
     let match;
-    fileRegex.lastIndex = 0;
-    while ((match = fileRegex.exec(content)) !== null) {
+    FILE_CELL_REGEX.lastIndex = 0;
+    while ((match = FILE_CELL_REGEX.exec(content)) !== null) {
         const raw = match[1].trim();
         if (!entries.includes(raw))
             entries.push(raw);
@@ -134,30 +129,39 @@ function aggregateToSourceSubdir(root, file) {
         return prefix;
     return prefix + rest.slice(0, idx) + '/';
 }
-const CAPABILITY_COUNT_RULES = [
-    { label: 'CLI Commands', pattern: 'CLI Commands\\s*\\((\\d+)\\)', actual: cliCommandCount },
-    { label: 'Quality Gates', pattern: 'Quality Gates?\\s*\\((\\d+)\\)', actual: () => definitions_3.GATE_DEFINITIONS.length },
-    { label: 'Iron Laws', pattern: 'Iron Laws?\\s*\\((\\d+)\\)', actual: () => Object.keys(definitions_1.IRON_LAWS).length },
-    { label: 'Guidelines', pattern: 'Guidelines?\\s*\\((\\d+)\\)', actual: () => Object.keys(definitions_1.GUIDELINES).length },
-];
+/**
+ * 能力清单统计规则（CLI Commands 计数 = 非门禁命令数 + 带 cli 元数据的门禁数）
+ */
+function capabilityCountRules(source) {
+    return [
+        {
+            label: 'CLI Commands',
+            pattern: 'CLI Commands\\s*\\((\\d+)\\)',
+            actual: source.commands.length + source.gates.filter(g => g.cli).length,
+        },
+        { label: 'Quality Gates', pattern: 'Quality Gates?\\s*\\((\\d+)\\)', actual: source.gates.length },
+        { label: 'Iron Laws', pattern: 'Iron Laws?\\s*\\((\\d+)\\)', actual: Object.keys(definitions_1.IRON_LAWS).length },
+        { label: 'Guidelines', pattern: 'Guidelines?\\s*\\((\\d+)\\)', actual: Object.keys(definitions_1.GUIDELINES).length },
+    ];
+}
 /**
  * 构建 CAPABILITIES.md 能力清单格式的检查配置
  */
-function buildCapabilityChecks() {
-    return CAPABILITY_COUNT_RULES.map(rule => ({
+function buildCapabilityChecks(source) {
+    return capabilityCountRules(source).map(rule => ({
         type: 'doc_regex_count',
         doc: 'CAPABILITIES.md',
         label: rule.label,
         pattern: rule.pattern,
-        actual: { kind: 'const_count', value: rule.actual() },
+        actual: { kind: 'const_count', value: rule.actual },
     }));
 }
 /**
  * 使用 FreshnessRunner 检查能力清单计数是否与代码一致（--check 模式）
  */
-function checkCapabilityCounts(projectPath) {
+function checkCapabilityCounts(projectPath, source) {
     const runner = new runner_1.FreshnessRunner();
-    const checks = buildCapabilityChecks();
+    const checks = buildCapabilityChecks(source);
     const results = runner.runAll({ checks }, projectPath);
     const mismatches = [];
     for (const r of results) {
@@ -170,14 +174,14 @@ function checkCapabilityCounts(projectPath) {
 /**
  * 更新 CAPABILITIES.md 中的能力清单计数（write 模式）
  *
- * 命令/门禁计数取自定义表（ADR-0002 单一来源），regex 替换文档计数行；
- * 规则与 check 方向共用 CAPABILITY_COUNT_RULES（ADR-0008）。
+ * 命令/门禁计数取自注入的定义源（ADR-0002 单一来源在调用方），regex 替换文档计数行；
+ * 规则与 check 方向共用 capabilityCountRules（ADR-0008）。
  */
-function updateCapabilityCounts(content, _projectPath) {
-    for (const rule of CAPABILITY_COUNT_RULES) {
+function updateCapabilityCounts(content, source) {
+    for (const rule of capabilityCountRules(source)) {
         const regex = new RegExp(rule.pattern);
         if (regex.test(content)) {
-            content = content.replace(regex, `${rule.label} (${rule.actual()})`);
+            content = content.replace(regex, `${rule.label} (${rule.actual})`);
         }
     }
     return content;

package/dist/core/constraints/capabilities-parser.js.map

@@ -1 +1 @@
-{"version":3,"file":"capabilities-parser.js","sourceRoot":"","sources":["../../../src/core/constraints/capabilities-parser.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0CH,4DAqBC;AAKD,0DAMC;AAQD,8DAKC;AAQD,0DAOC;AA2CD,sDAeC;AAQD,wDASC;AA/KD,uCAAyB;AACzB,+CAAsD;AACtD,gEAAqE;AACrE,yDAA2D;AAC3D,mDAAyD;AAGzD,wDAAwD;AACxD,SAAS,eAAe;IACtB,OAAO,iCAAmB,CAAC,MAAM,GAAG,8BAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;AACjF,CAAC;AAED,gDAAgD;AAChD,MAAM,eAAe,GAAG,wCAAwC,CAAC;AAEjE,kDAAkD;AAClD,MAAM,wBAAwB,GAAG,iDAAiD,CAAC;AAEnF;;;;;;GAMG;AACH,MAAM,cAAc,GAAG,8BAA8B,CAAC;AAStD;;;;;GAKG;AACH,SAAgB,wBAAwB,CAAC,OAAe,EAAE,UAAoC,EAAE;IAC9F,MAAM,EAAE,WAAW,GAAG,KAAK,EAAE,gBAAgB,GAAG,KAAK,EAAE,GAAG,OAAO,CAAC;IAClE,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,eAAe,CAAC;IAChF,IAAI,KAA6B,CAAC;IAClC,SAAS,CAAC,SAAS,GAAG,CAAC,CAAC;IACxB,OAAO,CAAC,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAClD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChD,CAAC;IAED,IAAI,WAAW,EAAE,CAAC;QAChB,cAAc,CAAC,SAAS,GAAG,CAAC,CAAC;QAC7B,OAAO,CAAC,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACvD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC5B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,SAAgB,uBAAuB,CAAC,gBAAwB,EAAE,UAAoC,EAAE;IACtG,IAAI,CAAC;QACH,OAAO,wBAAwB,CAAC,EAAE,CAAC,YAAY,CAAC,gBAAgB,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;IACvF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAgB,yBAAyB,CAAC,OAAe;IACvD,wDAAwD;IACxD,OAAO,wBAAwB,CAAC,IAAI,CAAC,OAAO,CAAC;QAC3C,sBAAsB,CAAC,IAAI,CAAC,OAAO,CAAC;QACpC,uBAAuB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AAC1C,CAAC;AAED;;;;;GAKG;AACH,SAAgB,uBAAuB,CAAC,IAAY,EAAE,IAAY;IAChE,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC;IACtD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACxE,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,GAAG,KAAK,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IAC9B,OAAO,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,GAAG,CAAC;AAC3C,CAAC;AAoBD,MAAM,sBAAsB,GAA0B;IACpD,EAAE,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,8BAA8B,EAAE,MAAM,EAAE,eAAe,EAAE;IAC3F,EAAE,KAAK,EAAE,eAAe,EAAE,OAAO,EAAE,gCAAgC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,8BAAgB,CAAC,MAAM,EAAE;IAC5G,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,4BAA4B,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,uBAAS,CAAC,CAAC,MAAM,EAAE;IAC1G,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,6BAA6B,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,wBAAU,CAAC,CAAC,MAAM,EAAE;CAC9G,CAAC;AAEF;;GAEG;AACH,SAAS,qBAAqB;IAC5B,OAAO,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzC,IAAI,EAAE,iBAA0B;QAChC,GAAG,EAAE,iBAAiB;QACtB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,MAAM,EAAE,EAAE,IAAI,EAAE,aAAsB,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE;KAC/D,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;GAEG;AACH,SAAgB,qBAAqB,CACnC,WAAmB;IAEnB,MAAM,MAAM,GAAG,IAAI,wBAAe,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,qBAAqB,EAAE,CAAC;IACvC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,WAAW,CAAC,CAAC;IAEvD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YACzB,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC;AACxD,CAAC;AAED;;;;;GAKG;AACH,SAAgB,sBAAsB,CAAC,OAAe,EAAE,YAAoB;IAC1E,KAAK,MAAM,IAAI,IAAI,sBAAsB,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvC,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACxB,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}
+{"version":3,"file":"capabilities-parser.js","sourceRoot":"","sources":["../../../src/core/constraints/capabilities-parser.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgCH,4DAoBC;AAKD,0DAMC;AAQD,8DAKC;AAQD,0DAOC;AAkED,sDAgBC;AAQD,wDAYC;AA/LD,uCAAyB;AACzB,+CAAsD;AACtD,mDAAyD;AAGzD,gDAAgD;AAChD,MAAM,eAAe,GAAG,wCAAwC,CAAC;AAEjE;;;;;;GAMG;AACH,MAAM,cAAc,GAAG,8BAA8B,CAAC;AAOtD;;;;;;;GAOG;AACH,SAAgB,wBAAwB,CAAC,OAAe,EAAE,UAAoC,EAAE;IAC9F,MAAM,EAAE,WAAW,GAAG,KAAK,EAAE,GAAG,OAAO,CAAC;IACxC,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,IAAI,KAA6B,CAAC;IAClC,eAAe,CAAC,SAAS,GAAG,CAAC,CAAC;IAC9B,OAAO,CAAC,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACxD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChD,CAAC;IAED,IAAI,WAAW,EAAE,CAAC;QAChB,cAAc,CAAC,SAAS,GAAG,CAAC,CAAC;QAC7B,OAAO,CAAC,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACvD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC5B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,SAAgB,uBAAuB,CAAC,gBAAwB,EAAE,UAAoC,EAAE;IACtG,IAAI,CAAC;QACH,OAAO,wBAAwB,CAAC,EAAE,CAAC,YAAY,CAAC,gBAAgB,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;IACvF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAgB,yBAAyB,CAAC,OAAe;IACvD,wDAAwD;IACxD,OAAO,wBAAwB,CAAC,IAAI,CAAC,OAAO,CAAC;QAC3C,sBAAsB,CAAC,IAAI,CAAC,OAAO,CAAC;QACpC,uBAAuB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AAC1C,CAAC;AAED;;;;;GAKG;AACH,SAAgB,uBAAuB,CAAC,IAAY,EAAE,IAAY;IAChE,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC;IACtD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACxE,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,GAAG,KAAK,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IAC9B,OAAO,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,GAAG,CAAC;AAC3C,CAAC;AAkCD;;GAEG;AACH,SAAS,oBAAoB,CAAC,MAAkC;IAC9D,OAAO;QACL;YACE,KAAK,EAAE,cAAc;YACrB,OAAO,EAAE,8BAA8B;YACvC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM;SACxE;QACD,EAAE,KAAK,EAAE,eAAe,EAAE,OAAO,EAAE,gCAAgC,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE;QAClG,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,4BAA4B,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,uBAAS,CAAC,CAAC,MAAM,EAAE;QACpG,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,6BAA6B,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,wBAAU,CAAC,CAAC,MAAM,EAAE;KACxG,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,qBAAqB,CAAC,MAAkC;IAC/D,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAI,EAAE,iBAA0B;QAChC,GAAG,EAAE,iBAAiB;QACtB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,MAAM,EAAE,EAAE,IAAI,EAAE,aAAsB,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;KAC7D,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;GAEG;AACH,SAAgB,qBAAqB,CACnC,WAAmB,EACnB,MAAkC;IAElC,MAAM,MAAM,GAAG,IAAI,wBAAe,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,WAAW,CAAC,CAAC;IAEvD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YACzB,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC;AACxD,CAAC;AAED;;;;;GAKG;AACH,SAAgB,sBAAsB,CACpC,OAAe,EACf,MAAkC;IAElC,KAAK,MAAM,IAAI,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvC,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACxB,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/core/constraints/capabilities-reconcile.d.ts

@@ -0,0 +1,67 @@
+/**
+ * CAPABILITIES.md 声明与代码实况的对照判定（ADR-0009）
+ *
+ * 纯判定 module：吃「文档内容 + 实际文件清单（+ 增量清单）」，一次产出全部判定结果；
+ * 不做任何 fs/git IO（存在性可选注入）。此前同一套覆盖/幽灵规则在
+ * capability_sync / docs_freshness / sync-docs 三处独立实现，靠「同规则」注释人工同步，
+ * 同一 bug（basename 碰撞、后缀误配）在多处各修一遍——此处为唯一真相源。
+ *
+ * 方向：
+ *   代码→文档  uncoveredChanges / uncoveredFiles / uncoveredDirs（漏登记）
+ *   文档→代码  deadEntries（幽灵：文档登记的路径既不在代码实况中、文件系统中也不存在）
+ *
+ * 解析口径（ADR-0009）：表格所有单元格收集，文件条目与目录条目都参与覆盖；
+ * 「只看第二列」的历史读法废弃。幽灵判定同样覆盖文件与目录条目（口径从严）。
+ * mode=module / file 的差异不在判定层，而是调用方取哪份输出形状：
+ * module 读 uncoveredDirs（目录聚合），file 读 uncoveredFiles（逐文件）。
+ */
+export interface ReconcileInput {
+    /** CAPABILITIES.md 内容 */
+    content: string;
+    /** 代码实况全集：项目相对路径的源文件清单（由调用方收集，见 collectSourceFiles） */
+    populationFiles: string[];
+    /** 增量变更文件（项目相对路径）；无 git 概念的消费方传空/不传 */
+    changedFiles?: string[];
+    /** 存在性 oracle（项目相对路径 → 是否存在）；缺省退化为「代码实况兜底」 */
+    fileExists?: (relPath: string) => boolean;
+    /** 源码根（如 'src'、'apps/api/src'）：未覆盖聚合与条目多根相对路径解析用 */
+    sourceRoots?: string[];
+}
+export interface CapabilityVerdict {
+    /** 文档中的文件条目（原样路径，可能为全路径或裸文件名） */
+    fileEntries: string[];
+    /** 文档中的目录条目（以 / 结尾） */
+    dirEntries: string[];
+    /** 参与覆盖判定的条目集 = 文件条目 + 目录条目 */
+    coverageEntries: string[];
+    /** 文档含 markdown 表格（区分「散文文档」与「有表格零条目」） */
+    hasTable: boolean;
+    /** 能力清单格式（计数行文档）：无文件表可核对，调用方据此短路 */
+    listingFormat: boolean;
+    /** 增量文件中未被覆盖的（capability_sync Step1） */
+    uncoveredChanges: string[];
+    /** 代码实况中未被文档登记的 */
+    uncoveredFiles: string[];
+    /** 未覆盖文件按源码根下第一级子目录聚合（module 模式的 added 形状） */
+    uncoveredDirs: string[];
+    /** 幽灵条目（文件 + 目录）：文档登记但代码实况与文件系统均不存在 */
+    deadEntries: string[];
+}
+export declare function reconcileCapabilities(input: ReconcileInput): CapabilityVerdict;
+/**
+ * 变更清单中的「有意义的代码变更」：仅 .ts/.tsx/.js 且非测试文件
+ * （capability_sync Step1 的历史过滤规则，收口于此）
+ */
+export declare function significantCodeChanges(diffNames: string[]): string[];
+/**
+ * 收集源码根下的实际文件清单（项目相对路径）
+ *
+ * 对 utils/file-walk 的统一封装，替代各调用方自拼 join/relative。
+ * 扩展名口径保持各调用方现状（checker 不含 .tsx；sync-docs 的模块扫描需
+ * ModuleInfo 元数据，继续走 scanSourceModules）——统一扩展名口径属行为变更，
+ * 不在本次纯重构范围（ADR-0009 记录在案）。
+ */
+export declare function collectSourceFiles(projectPath: string, roots: string[], options?: {
+    includeTsx?: boolean;
+}): string[];
+//# sourceMappingURL=capabilities-reconcile.d.ts.map

package/dist/core/constraints/capabilities-reconcile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"capabilities-reconcile.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/capabilities-reconcile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAaH,MAAM,WAAW,cAAc;IAC7B,yBAAyB;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,uDAAuD;IACvD,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,uCAAuC;IACvC,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,8CAA8C;IAC9C,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC;IAC1C,oDAAoD;IACpD,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,iBAAiB;IAChC,iCAAiC;IACjC,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,uBAAuB;IACvB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,+BAA+B;IAC/B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,yCAAyC;IACzC,QAAQ,EAAE,OAAO,CAAC;IAClB,oCAAoC;IACpC,aAAa,EAAE,OAAO,CAAC;IACvB,wCAAwC;IACxC,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,mBAAmB;IACnB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,8CAA8C;IAC9C,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,uCAAuC;IACvC,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AA2BD,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,cAAc,GAAG,iBAAiB,CA2C9E;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAIpE;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,MAAM,EAAE,EACf,OAAO,GAAE;IAAE,UAAU,CAAC,EAAE,OAAO,CAAA;CAAO,GACrC,MAAM,EAAE,CAUV"}

package/dist/core/constraints/capabilities-reconcile.js

@@ -0,0 +1,105 @@
+"use strict";
+/**
+ * CAPABILITIES.md 声明与代码实况的对照判定（ADR-0009）
+ *
+ * 纯判定 module：吃「文档内容 + 实际文件清单（+ 增量清单）」，一次产出全部判定结果；
+ * 不做任何 fs/git IO（存在性可选注入）。此前同一套覆盖/幽灵规则在
+ * capability_sync / docs_freshness / sync-docs 三处独立实现，靠「同规则」注释人工同步，
+ * 同一 bug（basename 碰撞、后缀误配）在多处各修一遍——此处为唯一真相源。
+ *
+ * 方向：
+ *   代码→文档  uncoveredChanges / uncoveredFiles / uncoveredDirs（漏登记）
+ *   文档→代码  deadEntries（幽灵：文档登记的路径既不在代码实况中、文件系统中也不存在）
+ *
+ * 解析口径（ADR-0009）：表格所有单元格收集，文件条目与目录条目都参与覆盖；
+ * 「只看第二列」的历史读法废弃。幽灵判定同样覆盖文件与目录条目（口径从严）。
+ * mode=module / file 的差异不在判定层，而是调用方取哪份输出形状：
+ * module 读 uncoveredDirs（目录聚合），file 读 uncoveredFiles（逐文件）。
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.reconcileCapabilities = reconcileCapabilities;
+exports.significantCodeChanges = significantCodeChanges;
+exports.collectSourceFiles = collectSourceFiles;
+const path_1 = require("path");
+const capabilities_parser_1 = require("./capabilities-parser");
+const file_walk_1 = require("../../utils/file-walk");
+/** markdown 表格分隔行（|------|------|）：区分「无表格的散文文档」与「有表格但零条目」 */
+const TABLE_SEPARATOR_REGEX = /^\s*\|[\s:|-]+\|\s*$/m;
+/**
+ * 变更文件是否被条目覆盖（ADR-0009 唯一覆盖规则）
+ *
+ * 目录条目（以 / 结尾）前缀匹配；文件条目精确匹配或路径边界后缀匹配
+ * （兼容 basename 条目，但拒绝 xfoo.ts 命中 foo.ts、docs/src/foo.tsx 命中 src/foo.ts
+ * 这类 endsWith/includes 模糊匹配造成的碰撞）
+ */
+function isCoveredBy(entries, file) {
+    return entries.some((listed) => listed.endsWith('/')
+        ? file.startsWith(listed)
+        : file === listed || file.endsWith('/' + listed));
+}
+/** 条目多根相对路径的存在性：项目根直查 + 各源码根前缀（docs_freshness/sync-docs 历史同语义） */
+function entryExistsOnDisk(entry, fileExists, sourceRoots) {
+    if (fileExists(entry))
+        return true;
+    return sourceRoots.some((root) => fileExists(`${root}/${entry}`));
+}
+function reconcileCapabilities(input) {
+    const { content, populationFiles, changedFiles = [], fileExists = () => false, sourceRoots = [], } = input;
+    const allEntries = (0, capabilities_parser_1.parseCapabilitiesEntries)(content, { includeDirs: true });
+    const fileEntries = allEntries.filter((e) => !e.endsWith('/'));
+    const dirEntries = allEntries.filter((e) => e.endsWith('/'));
+    const coverageEntries = [...fileEntries, ...dirEntries];
+    const uncoveredFiles = populationFiles.filter((f) => !isCoveredBy(coverageEntries, f));
+    const uncoveredDirs = [...new Set(uncoveredFiles.map((file) => {
+            // 与 sync-docs 历史聚合同语义：归属第一个能前缀匹配的来源根，兜底首根
+            const root = sourceRoots.find((d) => file.startsWith(d + '/')) || sourceRoots[0] || '';
+            return (0, capabilities_parser_1.aggregateToSourceSubdir)(root, file);
+        }))];
+    // 条目在代码实况中仍有对应文件即算活（裸文件名条目无法做存在性判定的兜底）
+    const aliveByPopulation = (entry) => populationFiles.some((f) => isCoveredBy([entry], f));
+    const deadEntries = allEntries.filter((entry) => {
+        if (entryExistsOnDisk(entry, fileExists, sourceRoots))
+            return false;
+        return !aliveByPopulation(entry);
+    });
+    return {
+        fileEntries,
+        dirEntries,
+        coverageEntries,
+        hasTable: TABLE_SEPARATOR_REGEX.test(content),
+        listingFormat: (0, capabilities_parser_1.isCapabilityListingFormat)(content),
+        uncoveredChanges: changedFiles.filter((f) => !isCoveredBy(coverageEntries, f)),
+        uncoveredFiles,
+        uncoveredDirs,
+        deadEntries,
+    };
+}
+/**
+ * 变更清单中的「有意义的代码变更」：仅 .ts/.tsx/.js 且非测试文件
+ * （capability_sync Step1 的历史过滤规则，收口于此）
+ */
+function significantCodeChanges(diffNames) {
+    return diffNames
+        .filter((f) => f.endsWith('.ts') || f.endsWith('.tsx') || f.endsWith('.js'))
+        .filter((f) => !f.includes('__tests__') && !f.includes('.test.') && !f.includes('.spec.'));
+}
+/**
+ * 收集源码根下的实际文件清单（项目相对路径）
+ *
+ * 对 utils/file-walk 的统一封装，替代各调用方自拼 join/relative。
+ * 扩展名口径保持各调用方现状（checker 不含 .tsx；sync-docs 的模块扫描需
+ * ModuleInfo 元数据，继续走 scanSourceModules）——统一扩展名口径属行为变更，
+ * 不在本次纯重构范围（ADR-0009 记录在案）。
+ */
+function collectSourceFiles(projectPath, roots, options = {}) {
+    const files = [];
+    for (const root of roots) {
+        const found = (0, file_walk_1.findTsSourceFiles)((0, path_1.join)(projectPath, root), {
+            skipIndex: true,
+            includeTsx: options.includeTsx,
+        });
+        files.push(...found.map((f) => (0, path_1.relative)(projectPath, f)));
+    }
+    return files;
+}
+//# sourceMappingURL=capabilities-reconcile.js.map

package/dist/core/constraints/capabilities-reconcile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capabilities-reconcile.js","sourceRoot":"","sources":["../../../src/core/constraints/capabilities-reconcile.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;GAgBG;;AAwEH,sDA2CC;AAMD,wDAIC;AAUD,gDAcC;AAnJD,+BAAsC;AACtC,+DAI+B;AAC/B,qDAA0D;AAE1D,6DAA6D;AAC7D,MAAM,qBAAqB,GAAG,uBAAuB,CAAC;AAoCtD;;;;;;GAMG;AACH,SAAS,WAAW,CAAC,OAAiB,EAAE,IAAY;IAClD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC7B,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QAClB,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;QACzB,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,GAAG,MAAM,CAAC,CACnD,CAAC;AACJ,CAAC;AAED,kEAAkE;AAClE,SAAS,iBAAiB,CACxB,KAAa,EACb,UAAoC,EACpC,WAAqB;IAErB,IAAI,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,SAAgB,qBAAqB,CAAC,KAAqB;IACzD,MAAM,EACJ,OAAO,EACP,eAAe,EACf,YAAY,GAAG,EAAE,EACjB,UAAU,GAAG,GAAG,EAAE,CAAC,KAAK,EACxB,WAAW,GAAG,EAAE,GACjB,GAAG,KAAK,CAAC;IAEV,MAAM,UAAU,GAAG,IAAA,8CAAwB,EAAC,OAAO,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5E,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/D,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7D,MAAM,eAAe,GAAG,CAAC,GAAG,WAAW,EAAE,GAAG,UAAU,CAAC,CAAC;IAExD,MAAM,cAAc,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC;IACvF,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,GAAG,CAC/B,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YAC1B,0CAA0C;YAC1C,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACvF,OAAO,IAAA,6CAAuB,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7C,CAAC,CAAC,CACH,CAAC,CAAC;IAEH,uCAAuC;IACvC,MAAM,iBAAiB,GAAG,CAAC,KAAa,EAAW,EAAE,CACnD,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAEvD,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;QAC9C,IAAI,iBAAiB,CAAC,KAAK,EAAE,UAAU,EAAE,WAAW,CAAC;YAAE,OAAO,KAAK,CAAC;QACpE,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,WAAW;QACX,UAAU;QACV,eAAe;QACf,QAAQ,EAAE,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC;QAC7C,aAAa,EAAE,IAAA,+CAAyB,EAAC,OAAO,CAAC;QACjD,gBAAgB,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC;QAC9E,cAAc;QACd,aAAa;QACb,WAAW;KACZ,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,sBAAsB,CAAC,SAAmB;IACxD,OAAO,SAAS;SACb,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;SAC3E,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;AAC/F,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,kBAAkB,CAChC,WAAmB,EACnB,KAAe,EACf,UAAoC,EAAE;IAEtC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,IAAA,6BAAiB,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,IAAI,CAAC,EAAE;YACvD,SAAS,EAAE,IAAI;YACf,UAAU,EAAE,OAAO,CAAC,UAAU;SAC/B,CAAC,CAAC;QACH,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,eAAQ,EAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/core/constraints/checker.d.ts

@@ -9,12 +9,13 @@
 import { Constraint, ConstraintContext, ConstraintResult, ConstraintCheckResult } from '../../types/constraint';
 import type { ExecutionTrace } from '../../types/trace';
 import type { MergedConstraintsConfig } from '../../types/project-config';
+import { type GitEvidence } from './git-evidence';
 /**
- * trace 记录器最小接口（原工单 15 为消除 core→monitoring 循环；现 monitoring
- * 不反向依赖 core，方向单向、无环，checker 可直接值引用 getTraceCollector）
+ * trace 记录器最小接口（工单 15 decycle 收尾，harness#88）
  *
- * checker 不构造收集器；生产路径首次记录时惰性接线 getTraceCollector()
- * （幂等单点，ADR-0003），测试可经 setTraceRecorder 注入替身。
+ * core 不上行依赖 monitoring：记录器经**构造参数**注入，未注入 = no-op
+ * （默认无副作用）。真实收集器由组合根接线——CLI check/report 与 bootstrap
+ * 各自 `new ConstraintChecker(getTraceCollector())`。
  */
 export interface TraceRecorder {
     record(trace: ExecutionTrace): void;
@@ -26,38 +27,13 @@ export declare class ConstraintChecker {
     private static instance;
     /** 检查结果缓存（S7：src 扫描等重复 I/O，TTL=1s 防跨测试污染） */
     private cache;
+    /** trace 记录器（构造注入；缺省 no-op） */
+    private readonly traceRecorder;
+    constructor(traceRecorder?: TraceRecorder);
     /**
-     * run 级 memo（工单 18）：一次 checkConstraints 内
-     * git diff 等命令只执行一次；run 外直接调用私有检查方法时不 memo（恒新鲜）。
-     */
-    private runCache;
-    /** trace 记录器（注入式；null = 未显式注入，首次记录时惰性接线全局收集器） */
-    private traceRecorder;
-    private constructor();
-    /**
-     * 取 trace 记录器：未显式注入时惰性接线全局收集器（幂等，ADR-0003 副作用收敛）
-     */
-    private getRecorder;
-    /**
-     * run 内 memoize；无活动 run 时直接执行（工单 18）
-     */
-    private memoRun;
-    /**
-     * staged 全量 diff（同一次 run 内只执行一次 git 命令，工单 18）
-     */
-    private getStagedDiff;
-    /**
-     * staged 变更文件名列表（同一次 run 内只执行一次 git 命令，工单 18）
-     */
-    private getStagedDiffNames;
-    /**
-     * 获取单例实例
+     * 获取单例实例（未接线记录器的默认实例：不写 trace）
      */
     static getInstance(): ConstraintChecker;
-    /**
-     * 注入 trace 记录器（测试/定制场景；不调用则首次记录时惰性接线全局收集器）
-     */
-    setTraceRecorder(recorder: TraceRecorder): void;
     /**
      * 获取当前的约束集合（内置 + 自定义）
      *
@@ -73,19 +49,14 @@ export declare class ConstraintChecker {
     };
     /**
      * 检查单个约束
+     *
+     * @param evidence 可选，本 run 的 git 证据实例（#87）；不传 = 本次调用独占一份真 git 证据
      */
-    check(constraint: Constraint, context: ConstraintContext): Promise<ConstraintResult>;
+    check(constraint: Constraint, context: ConstraintContext, evidence?: GitEvidence): Promise<ConstraintResult>;
     /**
      * 根据约束层级获取严重性
      */
     private getSeverity;
-    /**
-     * 判断约束是否匹配当前触发条件
-     *
-     * context.operation 为主触发条件，context.extraTriggers 为次级推断
-     * （ADR-0001：pre-commit 代码变更附加 code_implementation），任一命中即匹配。
-     */
-    private matchesTrigger;
     /**
      * 记录约束检查的 trace
      */
@@ -95,6 +66,9 @@ export declare class ConstraintChecker {
      *
      * 注册表闭环（ADR-0001）：kind='check' 未注册 checker 直接抛错，
      * 不再有"未注册默认通过"路径；kind='prompt' 在 check() 入口已短路。
+     *
+     * git 证据（stagedDiff/stagedDiffNames）单一来源 = GitEvidence adapter（#87）：
+     * 一次 run 内调用方传同一实例即至多取证一次，run 外调用独占一份。
      */
     private checkPrecondition;
     /**
@@ -116,16 +90,20 @@ export declare class ConstraintChecker {
      *
      * @param context 约束上下文
      * @param customConfig 可选，per-request 自定义配置（避免多请求间的单例状态污染）
+     * @param evidence 可选，本 run 的 git 证据 adapter（#87）。调用方（CLI check）与
+     *   buildConstraintContext 传同一实例 → 一次 run 内 git 取证单一来源；
+     *   不传则本 run 自建一份，run 级 memo 照样生效（memo 在实例层，非隐式全局）。
      */
-    checkConstraints(context: ConstraintContext, customConfig?: MergedConstraintsConfig | null): Promise<ConstraintCheckResult>;
+    checkConstraints(context: ConstraintContext, customConfig?: MergedConstraintsConfig | null, evidence?: GitEvidence): Promise<ConstraintCheckResult>;
     /**
      * 执行前检查（仅检查 Iron Laws）
      *
      * @param context 约束上下文
      * @param customConfig 可选，per-request 自定义配置（避免多请求间的单例状态污染）
+     * @param evidence 可选，本次检查共用的 git 证据 adapter（#87，同 checkConstraints）
      * @throws ConstraintViolationError 如果有铁律违规
      */
-    beforeExecution(context: ConstraintContext, customConfig?: MergedConstraintsConfig | null): Promise<void>;
+    beforeExecution(context: ConstraintContext, customConfig?: MergedConstraintsConfig | null, evidence?: GitEvidence): Promise<void>;
 }
 /**
  * 快捷函数：检查约束

package/dist/core/constraints/checker.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"checker.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/checker.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,UAAU,EACV,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EAItB,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAGxD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAQ1E;;;;;;GAMG;AACH,MAAM,WAAW,aAAa;IAC5B,MAAM,CAAC,KAAK,EAAE,cAAc,GAAG,IAAI,CAAC;CACrC;AAED;;GAEG;AACH,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAoB;IAE3C,6CAA6C;IAC7C,OAAO,CAAC,KAAK,CAA+C;IAE5D;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAA6C;IAE7D,iDAAiD;IACjD,OAAO,CAAC,aAAa,CAA8B;IAEnD,OAAO;IAEP;;OAEG;IACH,OAAO,CAAC,WAAW;IAOnB;;OAEG;IACH,OAAO,CAAC,OAAO;IAUf;;OAEG;IACH,OAAO,CAAC,aAAa;IAMrB;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAM1B;;OAEG;IACH,MAAM,CAAC,WAAW,IAAI,iBAAiB;IAOvC;;OAEG;IACH,gBAAgB,CAAC,QAAQ,EAAE,aAAa,GAAG,IAAI;IAI/C;;;;;;;OAOG;IACH,cAAc,CAAC,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAAG;QAC7D,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACrC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACvC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;KACrC;IAaD;;OAEG;IACG,KAAK,CACT,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,CAAC;IAwC5B;;OAEG;IACH,OAAO,CAAC,WAAW;IAanB;;;;;OAKG;IACH,OAAO,CAAC,cAAc;IAMtB;;OAEG;IACH,OAAO,CAAC,WAAW;IAkBnB;;;;;OAKG;YACW,iBAAiB;IA2B/B;;;;;OAKG;IACH,yBAAyB,CACvB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C;QACD,QAAQ,EAAE,UAAU,EAAE,CAAC;QACvB,UAAU,EAAE,UAAU,EAAE,CAAC;QACzB,OAAO,EAAE,UAAU,EAAE,CAAC;KACvB;IAoBD;;;;;;;;OAQG;IACG,gBAAgB,CACpB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,qBAAqB,CAAC;IAiDjC;;;;;;OAMG;IACG,eAAe,CACnB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,IAAI,CAAC;CAajB;AAMD;;;;GAIG;AACH,wBAAsB,eAAe,CACnC,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,gBAAgB,CAAC,CAoB3B;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,mCAAmC;IACnC,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,gBAAgB,KAAK,IAAI,CAAC;IAC7C,uCAAuC;IACvC,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,CAAC;CAC/C;AAED;;;;;;GAMG;AACH,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,iBAAiB,EAC1B,OAAO,CAAC,EAAE,uBAAuB,GAChC,OAAO,CAAC,qBAAqB,CAAC,CAOhC;AAED;;;;;GAKG;AACH,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,IAAI,CAAC,CAEf;AAGD,eAAO,MAAM,iBAAiB,mBAAkC,CAAC"}
+{"version":3,"file":"checker.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/checker.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,UAAU,EACV,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EAGtB,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAExD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAM1E,OAAO,EAAqB,KAAK,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAErE;;;;;;GAMG;AACH,MAAM,WAAW,aAAa;IAC5B,MAAM,CAAC,KAAK,EAAE,cAAc,GAAG,IAAI,CAAC;CACrC;AAKD;;GAEG;AACH,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAoB;IAE3C,6CAA6C;IAC7C,OAAO,CAAC,KAAK,CAA+C;IAE5D,+BAA+B;IAC/B,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAgB;gBAElC,aAAa,GAAE,aAAmC;IAI9D;;OAEG;IACH,MAAM,CAAC,WAAW,IAAI,iBAAiB;IAOvC;;;;;;;OAOG;IACH,cAAc,CAAC,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAAG;QAC7D,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACrC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACvC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;KACrC;IAaD;;;;OAIG;IACG,KAAK,CACT,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,iBAAiB,EAC1B,QAAQ,CAAC,EAAE,WAAW,GACrB,OAAO,CAAC,gBAAgB,CAAC;IAwC5B;;OAEG;IACH,OAAO,CAAC,WAAW;IAanB;;OAEG;IACH,OAAO,CAAC,WAAW;IAiBnB;;;;;;;;OAQG;YACW,iBAAiB;IA6B/B;;;;;OAKG;IACH,yBAAyB,CACvB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C;QACD,QAAQ,EAAE,UAAU,EAAE,CAAC;QACvB,UAAU,EAAE,UAAU,EAAE,CAAC;QACzB,OAAO,EAAE,UAAU,EAAE,CAAC;KACvB;IAiBD;;;;;;;;;;;OAWG;IACG,gBAAgB,CACpB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,EAC7C,QAAQ,CAAC,EAAE,WAAW,GACrB,OAAO,CAAC,qBAAqB,CAAC;IA8CjC;;;;;;;OAOG;IACG,eAAe,CACnB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,EAC7C,QAAQ,CAAC,EAAE,WAAW,GACrB,OAAO,CAAC,IAAI,CAAC;CAcjB;AAMD;;;;GAIG;AACH,wBAAsB,eAAe,CACnC,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,gBAAgB,CAAC,CAoB3B;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,mCAAmC;IACnC,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,gBAAgB,KAAK,IAAI,CAAC;IAC7C,uCAAuC;IACvC,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,CAAC;CAC/C;AAED;;;;;;GAMG;AACH,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,iBAAiB,EAC1B,OAAO,CAAC,EAAE,uBAAuB,GAChC,OAAO,CAAC,qBAAqB,CAAC,CAOhC;AAED;;;;;GAKG;AACH,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,IAAI,CAAC,CAEf;AAGD,eAAO,MAAM,iBAAiB,mBAAkC,CAAC"}