@dommaker/harness 1.2.3 → 1.4.0

package/dist/core/constraints/checkers/context-doc-sync.d.ts

@@ -1,8 +1,10 @@
 /**
  * context_doc_sync：关键目录必须有 CONTEXT.md（工单 21）
  *
- * ADR-0001 存在性探测：项目未配置 governance.context_files 约定
- * （未启用或无 required_dirs）时返回 'skip'，不计 pass/fail。
+ * ADR-0001 存在性探测 + context_files 三态统一口径（工单 84）：
+ * 未配置 / enabled 但无目标（required_dirs 缺失或空）→ 一律 'skip'，
+ * 不计 pass/fail，与 docs_freshness 同构；判定只走 resolveContextFiles
+ * 访问器，不做 governance 手写钻取。
  */
 import type { ConstraintCheck } from './types';
 export declare const contextDocSync: ConstraintCheck;

package/dist/core/constraints/checkers/context-doc-sync.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"context-doc-sync.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/context-doc-sync.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAKH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAE/C,eAAO,MAAM,cAAc,EAAE,eA8B5B,CAAC"}
+{"version":3,"file":"context-doc-sync.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/context-doc-sync.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAKH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAE/C,eAAO,MAAM,cAAc,EAAE,eAkB5B,CAAC"}

package/dist/core/constraints/checkers/context-doc-sync.js

@@ -2,8 +2,10 @@
 /**
  * context_doc_sync：关键目录必须有 CONTEXT.md（工单 21）
  *
- * ADR-0001 存在性探测：项目未配置 governance.context_files 约定
- * （未启用或无 required_dirs）时返回 'skip'，不计 pass/fail。
+ * ADR-0001 存在性探测 + context_files 三态统一口径（工单 84）：
+ * 未配置 / enabled 但无目标（required_dirs 缺失或空）→ 一律 'skip'，
+ * 不计 pass/fail，与 docs_freshness 同构；判定只走 resolveContextFiles
+ * 访问器，不做 governance 手写钻取。
  */
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.contextDocSync = void 0;
@@ -14,28 +16,17 @@ exports.contextDocSync = {
     id: 'context_doc_sync',
     async evaluate(env) {
         const projectPath = env.projectPath;
-        try {
-            const config = (0, project_config_loader_1.loadRawProjectConfig)(projectPath) ?? {};
-            const governance = config.governance;
-            const contextFiles = governance?.context_files;
-            if (!contextFiles?.enabled || !Array.isArray(contextFiles.required_dirs)) {
-                return 'skip'; // 未配置 context_files 约定，跳过评估
-            }
-            const requiredDirs = contextFiles.required_dirs;
-            if (requiredDirs.length === 0) {
-                return 'skip'; // 无目标目录，约定未生效
-            }
-            for (const dir of requiredDirs) {
-                const contextPath = (0, path_1.join)(projectPath, dir, 'CONTEXT.md');
-                if (!(0, fs_1.existsSync)(contextPath)) {
-                    return false;
-                }
-            }
-            return true;
+        const resolution = (0, project_config_loader_1.resolveContextFiles)(projectPath);
+        if (resolution.state !== 'enabled') {
+            return 'skip'; // 未配置或约定已立但无目标，跳过评估
         }
-        catch {
-            return 'skip'; // 配置不存在或解析失败 = 无法判定约定，跳过
+        for (const dir of resolution.dirs) {
+            const contextPath = (0, path_1.join)(projectPath, dir, 'CONTEXT.md');
+            if (!(0, fs_1.existsSync)(contextPath)) {
+                return false;
+            }
         }
+        return true;
     },
 };
 //# sourceMappingURL=context-doc-sync.js.map

package/dist/core/constraints/checkers/context-doc-sync.js.map

@@ -1 +1 @@
-{"version":3,"file":"context-doc-sync.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/context-doc-sync.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAEH,2BAAgC;AAChC,+BAA4B;AAC5B,uEAAmE;AAGtD,QAAA,cAAc,GAAoB;IAC7C,EAAE,EAAE,kBAAkB;IACtB,KAAK,CAAC,QAAQ,CAAC,GAAG;QAChB,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC;QACpC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAA,4CAAoB,EAAC,WAAW,CAAC,IAAI,EAAE,CAAC;YACvD,MAAM,UAAU,GAAG,MAAM,CAAC,UAAiD,CAAC;YAC5E,MAAM,YAAY,GAAG,UAAU,EAAE,aAAoD,CAAC;YAEtF,IAAI,CAAC,YAAY,EAAE,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,aAAa,CAAC,EAAE,CAAC;gBACzE,OAAO,MAAM,CAAC,CAAC,4BAA4B;YAC7C,CAAC;YAED,MAAM,YAAY,GAAG,YAAY,CAAC,aAAyB,CAAC;YAC5D,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC9B,OAAO,MAAM,CAAC,CAAC,cAAc;YAC/B,CAAC;YAED,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;gBAC/B,MAAM,WAAW,GAAG,IAAA,WAAI,EAAC,WAAW,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;gBACzD,IAAI,CAAC,IAAA,eAAU,EAAC,WAAW,CAAC,EAAE,CAAC;oBAC7B,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YAED,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,MAAM,CAAC,CAAC,yBAAyB;QAC1C,CAAC;IACH,CAAC;CACF,CAAC"}
+{"version":3,"file":"context-doc-sync.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/context-doc-sync.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAEH,2BAAgC;AAChC,+BAA4B;AAC5B,uEAAkE;AAGrD,QAAA,cAAc,GAAoB;IAC7C,EAAE,EAAE,kBAAkB;IACtB,KAAK,CAAC,QAAQ,CAAC,GAAG;QAChB,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC;QACpC,MAAM,UAAU,GAAG,IAAA,2CAAmB,EAAC,WAAW,CAAC,CAAC;QACpD,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACnC,OAAO,MAAM,CAAC,CAAC,oBAAoB;QACrC,CAAC;QAED,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;YAClC,MAAM,WAAW,GAAG,IAAA,WAAI,EAAC,WAAW,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;YACzD,IAAI,CAAC,IAAA,eAAU,EAAC,WAAW,CAAC,EAAE,CAAC;gBAC7B,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;CACF,CAAC"}

package/dist/core/constraints/checkers/docs-freshness.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"docs-freshness.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/docs-freshness.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAQH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAkG/C,eAAO,MAAM,aAAa,EAAE,eA6C3B,CAAC"}
+{"version":3,"file":"docs-freshness.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/docs-freshness.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AASH,OAAO,KAAK,EAAE,eAAe,EAAY,MAAM,SAAS,CAAC;AAsEzD,eAAO,MAAM,aAAa,EAAE,eA2C3B,CAAC"}

package/dist/core/constraints/checkers/docs-freshness.js

@@ -14,6 +14,7 @@ const path_1 = require("path");
 const project_config_loader_1 = require("../../project-config-loader");
 const runner_1 = require("../doc-freshness/runner");
 const detect_source_roots_1 = require("../../../utils/detect-source-roots");
+const capabilities_reconcile_1 = require("../capabilities-reconcile");
 /**
  * 内置默认文档新鲜度检查配置
  *
@@ -28,45 +29,32 @@ function getBuiltInDocFreshnessConfig() {
     ];
 }
 /**
- * CAPABILITIES.md 文件表新鲜度：列出的文件路径必须仍存在。
- * 多根查找：支持不同项目的源码根（harness=src/, studio=apps/api/src/ 等）。
- * 无表格行（能力清单格式）时跳过。
+ * CAPABILITIES.md 文件表新鲜度：登记的条目（文件与目录）必须仍存在（ADR-0009 口径从严）。
+ * 判定逻辑统一走 capabilities-reconcile；多根查找支持不同项目的源码根
+ * （harness=src/, studio=apps/api/src/ 等）。无表格（能力清单格式）时自然零幽灵。
  */
-function checkCapabilitiesFreshness(projectPath) {
+function findDeadCapabilityEntries(projectPath, env) {
     try {
         const capabilitiesPath = (0, path_1.join)(projectPath, 'CAPABILITIES.md');
         if (!(0, fs_1.existsSync)(capabilitiesPath))
-            return true;
+            return [];
         const content = (0, fs_1.readFileSync)(capabilitiesPath, 'utf-8');
-        const listedFiles = [];
-        const tableRowRegex = /^\|[^|]+\|\s*([^|]+?\.(?:ts|tsx|js|jsx))\s*\|/gm;
-        let match;
-        while ((match = tableRowRegex.exec(content)) !== null) {
-            listedFiles.push(match[1].trim());
-        }
-        if (listedFiles.length === 0)
-            return true;
         const sourceRoots = (0, detect_source_roots_1.detectSourceRoots)(projectPath);
-        const fileExists = (file) => {
-            if ((0, fs_1.existsSync)((0, path_1.join)(projectPath, file)))
-                return true;
-            for (const root of sourceRoots) {
-                if ((0, fs_1.existsSync)((0, path_1.join)(projectPath, root, file)))
-                    return true;
-            }
-            return false;
-        };
-        const missing = listedFiles.filter(f => !fileExists(f));
-        if (missing.length > 0) {
-            // 报出具体文件名：此前只返回 false，CLI 只能打印通用提示，
-            // 幽灵条目 basename 碰撞时 sync-docs 也不剔除，用户无从定位（2026-08-08 studio CI 4 连红）
-            console.error(`[docs_freshness] CAPABILITIES.md 列出的文件不存在: ${missing.join(', ')}`);
-            return false;
+        const population = [];
+        for (const root of sourceRoots) {
+            if ((0, fs_1.existsSync)((0, path_1.join)(projectPath, root)))
+                population.push(...env.srcScan(root));
         }
-        return true;
+        const verdict = (0, capabilities_reconcile_1.reconcileCapabilities)({
+            content,
+            populationFiles: population,
+            sourceRoots,
+            fileExists: (rel) => (0, fs_1.existsSync)((0, path_1.join)(projectPath, rel)),
+        });
+        return verdict.deadEntries;
     }
     catch {
-        return true;
+        return [];
     }
 }
 /**
@@ -74,7 +62,7 @@ function checkCapabilitiesFreshness(projectPath) {
  *
  * 判定信号（任一命中即视为采用了文档新鲜度约定）：
  * - 配置了 governance.doc_freshness.checks
- * - 配置了 governance.context_files（enabled + 非空 required_dirs）
+ * - 配置了 governance.context_files 且约定有效（enabled + 非空 required_dirs）
  * - 项目根存在 CAPABILITIES.md
  * - 项目根存在 CHANGELOG.md / CHANGELOG
  *
@@ -86,23 +74,11 @@ function hasFreshnessTargets(projectPath) {
     if ((0, fs_1.existsSync)((0, path_1.join)(projectPath, 'CHANGELOG.md')) || (0, fs_1.existsSync)((0, path_1.join)(projectPath, 'CHANGELOG'))) {
         return true;
     }
-    try {
-        const raw = (0, project_config_loader_1.loadRawProjectConfig)(projectPath);
-        const governance = raw?.governance;
-        const freshnessConfig = governance?.doc_freshness;
-        if (freshnessConfig?.checks && freshnessConfig.checks.length > 0)
-            return true;
-        const contextFiles = governance?.context_files;
-        if (contextFiles?.enabled &&
-            Array.isArray(contextFiles.required_dirs) &&
-            contextFiles.required_dirs.length > 0) {
-            return true;
-        }
-    }
-    catch {
-        // 配置不可读视为无配置
+    const governance = (0, project_config_loader_1.getGovernanceConfig)(projectPath);
+    if (governance?.doc_freshness?.checks && governance.doc_freshness.checks.length > 0) {
+        return true;
     }
-    return false;
+    return (0, project_config_loader_1.resolveContextFiles)(projectPath).state === 'enabled';
 }
 exports.docsFreshness = {
     id: 'docs_freshness',
@@ -111,25 +87,23 @@ exports.docsFreshness = {
         // ADR-0001 存在性探测：项目无任何 freshness 配置/目标 → skip（不计 pass/fail）
         if (!hasFreshnessTargets(projectPath))
             return 'skip';
-        // Step 1: 文件表格式 — 检查列出的文件是否还存在
-        if (!checkCapabilitiesFreshness(projectPath))
+        // Step 1: 文件表格式 — 登记的条目（文件+目录）是否仍存在（ADR-0009）
+        const deadEntries = findDeadCapabilityEntries(projectPath, env);
+        if (deadEntries.length > 0) {
+            // 报出具体条目：此前只返回 false，CLI 只能打印通用提示，
+            // 幽灵条目 basename 碰撞时 sync-docs 也不剔除，用户无从定位（2026-08-08 studio CI 4 连红）
+            console.error(`[docs_freshness] CAPABILITIES.md 登记的条目不存在: ${deadEntries.join(', ')}`);
             return false;
+        }
         // Step 2: 能力清单格式 + CLAUDE.md + CHANGELOG — 通过 FreshnessRunner
         try {
-            let freshnessConfig;
-            let requiredDirs;
-            try {
-                const raw = (0, project_config_loader_1.loadRawProjectConfig)(projectPath);
-                const governance = raw?.governance;
-                freshnessConfig = governance?.doc_freshness;
-                const contextFiles = governance?.context_files;
-                if (contextFiles?.enabled && Array.isArray(contextFiles.required_dirs)) {
-                    requiredDirs = contextFiles.required_dirs;
-                }
-            }
-            catch {
-                // 配置解析失败，使用默认
-            }
+            const freshnessConfig = (0, project_config_loader_1.getGovernanceConfig)(projectPath)?.doc_freshness;
+            // context_files 三态统一口径（工单 84）：约定已立但无目标（enabled 但
+            // required_dirs 缺失/空）→ skip，与 context_doc_sync 同构；不再静默放行
+            const contextFiles = (0, project_config_loader_1.resolveContextFiles)(projectPath);
+            if (contextFiles.state === 'enabled-empty')
+                return 'skip';
+            const requiredDirs = contextFiles.state === 'enabled' ? contextFiles.dirs : undefined;
             const runner = new runner_1.FreshnessRunner();
             let results;
             if (freshnessConfig?.checks && freshnessConfig.checks.length > 0) {

package/dist/core/constraints/checkers/docs-freshness.js.map

@@ -1 +1 @@
-{"version":3,"file":"docs-freshness.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/docs-freshness.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAEH,2BAA8C;AAC9C,+BAA4B;AAC5B,uEAAmE;AACnE,oDAAqF;AACrF,4EAAuE;AAIvE;;;;GAIG;AACH,SAAS,4BAA4B;IACnC,OAAO;QACL,wDAAwD;QACxD,EAAE,IAAI,EAAE,cAAc,EAAE;QACxB,2DAA2D;QAC3D,EAAE,IAAI,EAAE,mBAAmB,EAAE;KAC9B,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,0BAA0B,CAAC,WAAmB;IACrD,IAAI,CAAC;QACH,MAAM,gBAAgB,GAAG,IAAA,WAAI,EAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC;QAC9D,IAAI,CAAC,IAAA,eAAU,EAAC,gBAAgB,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/C,MAAM,OAAO,GAAG,IAAA,iBAAY,EAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;QAExD,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,MAAM,aAAa,GAAG,iDAAiD,CAAC;QACxE,IAAI,KAAK,CAAC;QACV,OAAO,CAAC,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACtD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACpC,CAAC;QAED,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAE1C,MAAM,WAAW,GAAG,IAAA,uCAAiB,EAAC,WAAW,CAAC,CAAC;QACnD,MAAM,UAAU,GAAG,CAAC,IAAY,EAAW,EAAE;YAC3C,IAAI,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,IAAI,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YACrD,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;gBAC/B,IAAI,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;oBAAE,OAAO,IAAI,CAAC;YAC7D,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC;QAEF,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,oCAAoC;YACpC,qEAAqE;YACrE,OAAO,CAAC,KAAK,CAAC,8CAA8C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClF,OAAO,KAAK,CAAC;QACf,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,mBAAmB,CAAC,WAAmB;IAC9C,IAAI,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,cAAc,CAAC,CAAC,IAAI,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC;QAChG,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAA,4CAAoB,EAAC,WAAW,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,GAAG,EAAE,UAAiD,CAAC;QAE1E,MAAM,eAAe,GAAG,UAAU,EAAE,aAA+C,CAAC;QACpF,IAAI,eAAe,EAAE,MAAM,IAAI,eAAe,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAE9E,MAAM,YAAY,GAAG,UAAU,EAAE,aAAoD,CAAC;QACtF,IACE,YAAY,EAAE,OAAO;YACrB,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,aAAa,CAAC;YACxC,YAAY,CAAC,aAA0B,CAAC,MAAM,GAAG,CAAC,EACnD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,aAAa;IACf,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAEY,QAAA,aAAa,GAAoB;IAC5C,EAAE,EAAE,gBAAgB;IACpB,KAAK,CAAC,QAAQ,CAAC,GAAG;QAChB,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC;QAEpC,4DAA4D;QAC5D,IAAI,CAAC,mBAAmB,CAAC,WAAW,CAAC;YAAE,OAAO,MAAM,CAAC;QAErD,+BAA+B;QAC/B,IAAI,CAAC,0BAA0B,CAAC,WAAW,CAAC;YAAE,OAAO,KAAK,CAAC;QAE3D,8DAA8D;QAC9D,IAAI,CAAC;YACH,IAAI,eAA+C,CAAC;YACpD,IAAI,YAAkC,CAAC;YAEvC,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,IAAA,4CAAoB,EAAC,WAAW,CAAC,CAAC;gBAC9C,MAAM,UAAU,GAAG,GAAG,EAAE,UAAiD,CAAC;gBAC1E,eAAe,GAAG,UAAU,EAAE,aAA+C,CAAC;gBAE9E,MAAM,YAAY,GAAG,UAAU,EAAE,aAAoD,CAAC;gBACtF,IAAI,YAAY,EAAE,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,aAAa,CAAC,EAAE,CAAC;oBACvE,YAAY,GAAG,YAAY,CAAC,aAAyB,CAAC;gBACxD,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,cAAc;YAChB,CAAC;YAED,MAAM,MAAM,GAAG,IAAI,wBAAe,EAAE,CAAC;YACrC,IAAI,OAA+B,CAAC;YAEpC,IAAI,eAAe,EAAE,MAAM,IAAI,eAAe,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjE,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,WAAW,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC;YAC1E,CAAC;iBAAM,CAAC;gBACN,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,4BAA4B,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC;YACrG,CAAC;YAED,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;QAChD,CAAC;QAAC,MAAM,CAAC;YACP,0BAA0B;QAC5B,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;CACF,CAAC"}
+{"version":3,"file":"docs-freshness.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/docs-freshness.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAEH,2BAA8C;AAC9C,+BAA4B;AAC5B,uEAAuF;AACvF,oDAAqF;AACrF,4EAAuE;AACvE,sEAAkE;AAIlE;;;;GAIG;AACH,SAAS,4BAA4B;IACnC,OAAO;QACL,wDAAwD;QACxD,EAAE,IAAI,EAAE,cAAc,EAAE;QACxB,2DAA2D;QAC3D,EAAE,IAAI,EAAE,mBAAmB,EAAE;KAC9B,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,yBAAyB,CAAC,WAAmB,EAAE,GAAa;IACnE,IAAI,CAAC;QACH,MAAM,gBAAgB,GAAG,IAAA,WAAI,EAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC;QAC9D,IAAI,CAAC,IAAA,eAAU,EAAC,gBAAgB,CAAC;YAAE,OAAO,EAAE,CAAC;QAC7C,MAAM,OAAO,GAAG,IAAA,iBAAY,EAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;QAExD,MAAM,WAAW,GAAG,IAAA,uCAAiB,EAAC,WAAW,CAAC,CAAC;QACnD,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,IAAI,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,IAAI,CAAC,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QACjF,CAAC;QAED,MAAM,OAAO,GAAG,IAAA,8CAAqB,EAAC;YACpC,OAAO;YACP,eAAe,EAAE,UAAU;YAC3B,WAAW;YACX,UAAU,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,GAAG,CAAC,CAAC;SACxD,CAAC,CAAC;QACH,OAAO,OAAO,CAAC,WAAW,CAAC;IAC7B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,mBAAmB,CAAC,WAAmB;IAC9C,IAAI,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,cAAc,CAAC,CAAC,IAAI,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC;QAChG,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,UAAU,GAAG,IAAA,2CAAmB,EAAC,WAAW,CAAC,CAAC;IACpD,IAAI,UAAU,EAAE,aAAa,EAAE,MAAM,IAAI,UAAU,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,IAAA,2CAAmB,EAAC,WAAW,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC;AAC9D,CAAC;AAEY,QAAA,aAAa,GAAoB;IAC5C,EAAE,EAAE,gBAAgB;IACpB,KAAK,CAAC,QAAQ,CAAC,GAAG;QAChB,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC;QAEpC,4DAA4D;QAC5D,IAAI,CAAC,mBAAmB,CAAC,WAAW,CAAC;YAAE,OAAO,MAAM,CAAC;QAErD,8CAA8C;QAC9C,MAAM,WAAW,GAAG,yBAAyB,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QAChE,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,mCAAmC;YACnC,qEAAqE;YACrE,OAAO,CAAC,KAAK,CAAC,8CAA8C,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACtF,OAAO,KAAK,CAAC;QACf,CAAC;QAED,8DAA8D;QAC9D,IAAI,CAAC;YACH,MAAM,eAAe,GAAG,IAAA,2CAAmB,EAAC,WAAW,CAAC,EAAE,aAAa,CAAC;YAExE,iDAAiD;YACjD,yDAAyD;YACzD,MAAM,YAAY,GAAG,IAAA,2CAAmB,EAAC,WAAW,CAAC,CAAC;YACtD,IAAI,YAAY,CAAC,KAAK,KAAK,eAAe;gBAAE,OAAO,MAAM,CAAC;YAC1D,MAAM,YAAY,GAAG,YAAY,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YAEtF,MAAM,MAAM,GAAG,IAAI,wBAAe,EAAE,CAAC;YACrC,IAAI,OAA+B,CAAC;YAEpC,IAAI,eAAe,EAAE,MAAM,IAAI,eAAe,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjE,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,WAAW,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC;YAC1E,CAAC;iBAAM,CAAC;gBACN,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,4BAA4B,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC;YACrG,CAAC;YAED,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;QAChD,CAAC;QAAC,MAAM,CAAC;YACP,0BAA0B;QAC5B,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;CACF,CAAC"}

package/dist/core/constraints/checkers/governance-presence.d.ts

@@ -12,9 +12,9 @@
 import type { ConstraintCheck } from './types';
 /** 治理契约 PRESERVE 段名（ADR 落点模型约定） */
 export declare const GOVERNANCE_PRESERVE_NAME = "governance";
-/** AGENTS.md 是否存在非空 PRESERVE:governance 块（标记须独占一行，与 preserve-block.ts 同语义） */
+/** AGENTS.md 是否存在非空 PRESERVE:governance 块（切片判定收口 injection-writer.hasPreserveBlock，#83） */
 export declare function hasGovernancePreserveBlock(agentsMdPath: string): boolean;
-/** CLAUDE.md 是否存在治理块（与 agents-syncer getGovernanceInfo 同判定，旧模型仓豁免） */
+/** CLAUDE.md 是否有治理契约在场（判定收口 injection-writer.hasGovernanceContract，#83；旧模型仓豁免） */
 export declare function hasClaudeGovernance(claudeMdPath: string): boolean;
 export declare const governancePresence: ConstraintCheck;
 //# sourceMappingURL=governance-presence.d.ts.map

package/dist/core/constraints/checkers/governance-presence.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"governance-presence.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/governance-presence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAKH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAE/C,mCAAmC;AACnC,eAAO,MAAM,wBAAwB,eAAe,CAAC;AAIrD,8EAA8E;AAC9E,wBAAgB,0BAA0B,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAcxE;AAED,sEAAsE;AACtE,wBAAgB,mBAAmB,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAQjE;AAED,eAAO,MAAM,kBAAkB,EAAE,eAuBhC,CAAC"}
+{"version":3,"file":"governance-presence.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/governance-presence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAKH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAE/C,mCAAmC;AACnC,eAAO,MAAM,wBAAwB,eAAe,CAAC;AAErD,2FAA2F;AAC3F,wBAAgB,0BAA0B,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAGxE;AAED,kFAAkF;AAClF,wBAAgB,mBAAmB,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAGjE;AAED,eAAO,MAAM,kBAAkB,EAAE,eAuBhC,CAAC"}

package/dist/core/constraints/checkers/governance-presence.js

@@ -14,41 +14,20 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.governancePresence = exports.GOVERNANCE_PRESERVE_NAME = void 0;
 exports.hasGovernancePreserveBlock = hasGovernancePreserveBlock;
 exports.hasClaudeGovernance = hasClaudeGovernance;
-const fs_1 = require("fs");
 const path_1 = require("path");
 const project_config_loader_1 = require("../../project-config-loader");
+const injection_writer_1 = require("../injection-writer");
 /** 治理契约 PRESERVE 段名（ADR 落点模型约定） */
 exports.GOVERNANCE_PRESERVE_NAME = 'governance';
-const GOVERNANCE_BEGIN_RE = /^<!-- PRESERVE:governance -->\s*$/m;
-/** AGENTS.md 是否存在非空 PRESERVE:governance 块（标记须独占一行，与 preserve-block.ts 同语义） */
+/** AGENTS.md 是否存在非空 PRESERVE:governance 块（切片判定收口 injection-writer.hasPreserveBlock，#83） */
 function hasGovernancePreserveBlock(agentsMdPath) {
-    let content;
-    try {
-        content = (0, fs_1.readFileSync)(agentsMdPath, 'utf-8');
-    }
-    catch {
-        return false;
-    }
-    const beginMatch = GOVERNANCE_BEGIN_RE.exec(content);
-    if (!beginMatch)
-        return false;
-    const rest = content.slice(beginMatch.index + beginMatch[0].length);
-    const endIdx = rest.indexOf(`<!-- /PRESERVE:${exports.GOVERNANCE_PRESERVE_NAME} -->`);
-    if (endIdx === -1)
-        return false;
-    // 块体（首尾标记之间）去空白后非空才算「在场」
-    return rest.slice(0, endIdx).trim().length > 0;
+    const content = (0, injection_writer_1.readIfExists)(agentsMdPath);
+    return content !== null && (0, injection_writer_1.hasPreserveBlock)(content, exports.GOVERNANCE_PRESERVE_NAME);
 }
-/** CLAUDE.md 是否存在治理块（与 agents-syncer getGovernanceInfo 同判定，旧模型仓豁免） */
+/** CLAUDE.md 是否有治理契约在场（判定收口 injection-writer.hasGovernanceContract，#83；旧模型仓豁免） */
 function hasClaudeGovernance(claudeMdPath) {
-    let content;
-    try {
-        content = (0, fs_1.readFileSync)(claudeMdPath, 'utf-8');
-    }
-    catch {
-        return false;
-    }
-    return /^##\s+Governance Rules/m.test(content) || content.includes('HARNESS_CONSTRAINTS_START');
+    const content = (0, injection_writer_1.readIfExists)(claudeMdPath);
+    return content !== null && (0, injection_writer_1.hasGovernanceContract)(content);
 }
 exports.governancePresence = {
     id: 'governance_presence',

package/dist/core/constraints/checkers/governance-presence.js.map

@@ -1 +1 @@
-{"version":3,"file":"governance-presence.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/governance-presence.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;GAUG;;;AAaH,gEAcC;AAGD,kDAQC;AApCD,2BAAkC;AAClC,+BAA4B;AAC5B,uEAAmE;AAGnE,mCAAmC;AACtB,QAAA,wBAAwB,GAAG,YAAY,CAAC;AAErD,MAAM,mBAAmB,GAAG,oCAAoC,CAAC;AAEjE,8EAA8E;AAC9E,SAAgB,0BAA0B,CAAC,YAAoB;IAC7D,IAAI,OAAe,CAAC;IACpB,IAAI,CAAC;QACH,OAAO,GAAG,IAAA,iBAAY,EAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACrD,IAAI,CAAC,UAAU;QAAE,OAAO,KAAK,CAAC;IAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACpE,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,gCAAwB,MAAM,CAAC,CAAC;IAC9E,IAAI,MAAM,KAAK,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAChC,yBAAyB;IACzB,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AACjD,CAAC;AAED,sEAAsE;AACtE,SAAgB,mBAAmB,CAAC,YAAoB;IACtD,IAAI,OAAe,CAAC;IACpB,IAAI,CAAC;QACH,OAAO,GAAG,IAAA,iBAAY,EAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,yBAAyB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,2BAA2B,CAAC,CAAC;AAClG,CAAC;AAEY,QAAA,kBAAkB,GAAoB;IACjD,EAAE,EAAE,qBAAqB;IACzB,KAAK,CAAC,QAAQ,CAAC,GAAG;QAChB,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC;QAEpC,oDAAoD;QACpD,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC;YACH,OAAO,GAAG,IAAA,4CAAoB,EAAC,WAAW,CAAC,KAAK,SAAS,CAAC;QAC5D,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,GAAG,KAAK,CAAC;QAClB,CAAC;QACD,IAAI,CAAC,OAAO;YAAE,OAAO,MAAM,CAAC;QAE5B,IAAI,0BAA0B,CAAC,IAAA,WAAI,EAAC,WAAW,EAAE,WAAW,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5E,IAAI,mBAAmB,CAAC,IAAA,WAAI,EAAC,WAAW,EAAE,WAAW,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAErE,OAAO,CAAC,KAAK,CACX,mEAAmE;YACnE,kDAAkD,CACnD,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC;CACF,CAAC"}
+{"version":3,"file":"governance-presence.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/governance-presence.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;GAUG;;;AAWH,gEAGC;AAGD,kDAGC;AAlBD,+BAA4B;AAC5B,uEAAmE;AACnE,0DAA4F;AAG5F,mCAAmC;AACtB,QAAA,wBAAwB,GAAG,YAAY,CAAC;AAErD,2FAA2F;AAC3F,SAAgB,0BAA0B,CAAC,YAAoB;IAC7D,MAAM,OAAO,GAAG,IAAA,+BAAY,EAAC,YAAY,CAAC,CAAC;IAC3C,OAAO,OAAO,KAAK,IAAI,IAAI,IAAA,mCAAgB,EAAC,OAAO,EAAE,gCAAwB,CAAC,CAAC;AACjF,CAAC;AAED,kFAAkF;AAClF,SAAgB,mBAAmB,CAAC,YAAoB;IACtD,MAAM,OAAO,GAAG,IAAA,+BAAY,EAAC,YAAY,CAAC,CAAC;IAC3C,OAAO,OAAO,KAAK,IAAI,IAAI,IAAA,wCAAqB,EAAC,OAAO,CAAC,CAAC;AAC5D,CAAC;AAEY,QAAA,kBAAkB,GAAoB;IACjD,EAAE,EAAE,qBAAqB;IACzB,KAAK,CAAC,QAAQ,CAAC,GAAG;QAChB,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC;QAEpC,oDAAoD;QACpD,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC;YACH,OAAO,GAAG,IAAA,4CAAoB,EAAC,WAAW,CAAC,KAAK,SAAS,CAAC;QAC5D,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,GAAG,KAAK,CAAC;QAClB,CAAC;QACD,IAAI,CAAC,OAAO;YAAE,OAAO,MAAM,CAAC;QAE5B,IAAI,0BAA0B,CAAC,IAAA,WAAI,EAAC,WAAW,EAAE,WAAW,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5E,IAAI,mBAAmB,CAAC,IAAA,WAAI,EAAC,WAAW,EAAE,WAAW,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAErE,OAAO,CAAC,KAAK,CACX,mEAAmE;YACnE,kDAAkD,CACnD,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC;CACF,CAAC"}

package/dist/core/constraints/checkers/no-test-simplification.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"no-test-simplification.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/no-test-simplification.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAQ/C,eAAO,MAAM,oBAAoB,EAAE,eAelC,CAAC"}
+{"version":3,"file":"no-test-simplification.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/no-test-simplification.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAS/C,eAAO,MAAM,oBAAoB,EAAE,eAelC,CAAC"}

package/dist/core/constraints/checkers/no-test-simplification.js

@@ -4,10 +4,11 @@
  */
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.noTestSimplification = void 0;
+// m 标志必需：真实 diff 首行恒为 `diff --git`，缺 m 则 ^ 永不命中删除行（铁律静默失效）
 const DELETED_TEST_PATTERNS = [
-    /^-\s*(test|it|describe)\s*\(/, // 删除 test/it/describe
-    /^-\s*expect\s*\(/, // 删除 expect
-    /^-\s*\/\/\s*test/, // 删除注释的 test
+    /^-\s*(test|it|describe)\s*\(/m, // 删除 test/it/describe
+    /^-\s*expect\s*\(/m, // 删除 expect
+    /^-\s*\/\/\s*test/m, // 删除注释的 test
 ];
 exports.noTestSimplification = {
     id: 'no_test_simplification',

package/dist/core/constraints/checkers/no-test-simplification.js.map

@@ -1 +1 @@
-{"version":3,"file":"no-test-simplification.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/no-test-simplification.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAIH,MAAM,qBAAqB,GAAG;IAC5B,8BAA8B,EAAE,sBAAsB;IACtD,kBAAkB,EAAe,YAAY;IAC7C,kBAAkB,EAAe,aAAa;CAC/C,CAAC;AAEW,QAAA,oBAAoB,GAAoB;IACnD,EAAE,EAAE,wBAAwB;IAC5B,KAAK,CAAC,QAAQ,CAAC,GAAG;QAChB,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,UAAU,EAAE,CAAC;YACpC,KAAK,MAAM,OAAO,IAAI,qBAAqB,EAAE,CAAC;gBAC5C,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBACvB,OAAO,KAAK,CAAC,CAAC,SAAS;gBACzB,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC,CAAC,gBAAgB;QAC/B,CAAC;IACH,CAAC;CACF,CAAC"}
+{"version":3,"file":"no-test-simplification.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/no-test-simplification.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAIH,2DAA2D;AAC3D,MAAM,qBAAqB,GAAG;IAC5B,+BAA+B,EAAE,sBAAsB;IACvD,mBAAmB,EAAe,YAAY;IAC9C,mBAAmB,EAAe,aAAa;CAChD,CAAC;AAEW,QAAA,oBAAoB,GAAoB;IACnD,EAAE,EAAE,wBAAwB;IAC5B,KAAK,CAAC,QAAQ,CAAC,GAAG;QAChB,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,UAAU,EAAE,CAAC;YACpC,KAAK,MAAM,OAAO,IAAI,qBAAqB,EAAE,CAAC;gBAC5C,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBACvB,OAAO,KAAK,CAAC,CAAC,SAAS;gBACzB,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC,CAAC,gBAAgB;QAC/B,CAAC;IACH,CAAC;CACF,CAAC"}

package/dist/core/constraints/checkers/types.d.ts

@@ -26,8 +26,8 @@ export interface CheckEnv {
 /**
  * 证据提供者组：git diff / 源码扫描的 memoized I/O
  *
- * 由调用方绑定后传入 buildCheckEnv（如 ConstraintChecker 绑实例级
- * run 缓存的方法）；工厂本身不做 memoization。
+ * 由调用方绑定后传入 buildCheckEnv（#87：git 两项绑 GitEvidence adapter 实例，
+ * 一次 run 一份，命令级 memo 在 adapter 层）；工厂本身不做 memoization。
  */
 export interface EvidenceProviders {
     /** staged 全量 diff */

package/dist/core/constraints/context-builder.d.ts

@@ -4,20 +4,17 @@
  * 从仓库状态（git diff / traces / 文档标记）推断 ConstraintContext：
  * 触发条件 + 各类证据标志。此前散落在 cli/commands/check.ts，
  * 迁入 core 供 CLI 与其他调用方共用。
- */
-import type { ConstraintContext, ConstraintTrigger } from '../../types/constraint';
-/**
- * 从 git diff 获取变更的文件
- */
-export declare function getChangedFiles(staged: boolean, projectPath?: string): Promise<string[]>;
-/**
- * 一次性列出 HEAD 中存在的所有目录（工单 18：替代逐文件 git ls-tree）
  *
- * 返回 null 表示命令失败（按惯例视所有目录为"新"）。
+ * 架构评审 #87：本模块只做装配不做取证——git 证据一律经 git-evidence
+ * adapter 取（缺省真 git adapter，调用方可注入与 checker 层同源的那一份），
+ * 因此此处不再有 child_process / raw execSync。
  */
-export declare function listHeadDirs(projectPath: string): Set<string> | null;
+import type { ConstraintContext, ConstraintTrigger } from '../../types/constraint';
+import { type GitEvidence } from './git-evidence';
 /**
  * 检查文件所在目录是否在 git HEAD 中不存在（即新目录）
+ *
+ * headDirs 由 git-evidence adapter 取证（null = 命令失败，按惯例视所有目录为"新"）。
  */
 export declare function isNewDirectory(headDirs: Set<string> | null, filePath: string): boolean;
 /**
@@ -25,10 +22,14 @@ export declare function isNewDirectory(headDirs: Set<string> | null, filePath: s
  *
  * ADR-0001：变更包含代码文件时，在主推断之外附加 code_implementation
  * （返回数组 [主推断, 'code_implementation']；主推断逻辑保持不变）。
+ *
+ * 新目录判定所需的 HEAD 目录集经 git 证据 adapter 取（#87）：
+ * 调用方注入即与 checker 层同一份证据，缺省走真 git adapter。
  */
 export declare function detectTrigger(changedFiles: string[], options: {
     trigger?: ConstraintTrigger;
     projectPath?: string;
+    evidence?: GitEvidence;
 }): ConstraintTrigger | ConstraintTrigger[];
 /**
  * 检测是否有失败的测试记录
@@ -50,10 +51,6 @@ export declare function detectVerificationEvidence(projectPath: string): Promise
  * 检查 CLAUDE.md、README.md、specs/、docs/specs/ 等
  */
 export declare function detectRequirement(projectPath: string): boolean;
-/**
- * 检测是否在 git worktree 中
- */
-export declare function detectWorktree(projectPath: string): boolean;
 /**
  * 检测是否有复用检查
  * 检查 .harness/reuse/ 目录或相关文档
@@ -61,10 +58,14 @@ export declare function detectWorktree(projectPath: string): boolean;
 export declare function detectReuseCheck(projectPath: string): boolean;
 /**
  * 构建约束上下文：变更文件 + 触发条件推断 + 证据标志检测
+ *
+ * options.evidence（#87）：git 证据适配器。调用方（CLI check）注入同一实例给
+ * checkConstraints，即可让 context-builder 与 checker 层共用同一证据来源。
  */
 export declare function buildConstraintContext(options: {
     projectPath?: string;
     staged: boolean;
     trigger?: ConstraintTrigger;
+    evidence?: GitEvidence;
 }): Promise<ConstraintContext>;
 //# sourceMappingURL=context-builder.d.ts.map

package/dist/core/constraints/context-builder.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"context-builder.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/context-builder.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAQH,OAAO,KAAK,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAEnF;;GAEG;AACH,wBAAsB,eAAe,CAAC,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAU9F;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,WAAW,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,CAepE;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAGtF;AASD;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,YAAY,EAAE,MAAM,EAAE,EACtB,OAAO,EAAE;IAAE,OAAO,CAAC,EAAE,iBAAiB,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,GAC7D,iBAAiB,GAAG,iBAAiB,EAAE,CA2BzC;AAED;;;GAGG;AACH,wBAAsB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAsB7E;AAED;;;GAGG;AACH,wBAAgB,4BAA4B,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAgBzE;AAED;;;GAGG;AACH,wBAAsB,0BAA0B,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAsBtF;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAqB9D;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAU3D;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAY7D;AAED;;GAEG;AACH,wBAAsB,sBAAsB,CAAC,OAAO,EAAE;IACpD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,CAAC,EAAE,iBAAiB,CAAC;CAC7B,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAmB7B"}
+{"version":3,"file":"context-builder.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/context-builder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAQH,OAAO,KAAK,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AACnF,OAAO,EAAqC,KAAK,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAErF;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAGtF;AASD;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAC3B,YAAY,EAAE,MAAM,EAAE,EACtB,OAAO,EAAE;IACP,OAAO,CAAC,EAAE,iBAAiB,CAAC;IAC5B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,WAAW,CAAC;CACxB,GACA,iBAAiB,GAAG,iBAAiB,EAAE,CA8BzC;AAED;;;GAGG;AACH,wBAAsB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAW7E;AAED;;;GAGG;AACH,wBAAgB,4BAA4B,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAgBzE;AAED;;;GAGG;AACH,wBAAsB,0BAA0B,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAYtF;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAqB9D;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAY7D;AAED;;;;;GAKG;AACH,wBAAsB,sBAAsB,CAAC,OAAO,EAAE;IACpD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,CAAC,EAAE,iBAAiB,CAAC;IAC5B,QAAQ,CAAC,EAAE,WAAW,CAAC;CACxB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAmB7B"}