@dommaker/harness 1.3.0 → 1.5.0

package/dist/core/constraints/checkers/capability-sync.js

@@ -2,16 +2,28 @@
 /**
  * capability_sync：CAPABILITIES.md 与代码同步检查（工单 21）
  *
- * 两步验证：
- *   1. Git diff 增量 — 当前变更的非测试文件是否在文档中有记录
- *   2. 全量扫描 — 源码根下所有源文件是否都在 CAPABILITIES.md 中（T-058）
+ * 两步验证，归因不同（harness#119）：
+ *   1. Git diff 增量 — 本次变更的非测试文件是否在文档中有记录 → **判违规**（有因果）
+ *   2. 全量扫描（T-058）— 源码根下所有源文件是否都在 CAPABILITIES.md 中 → **只出提示**
  *
- * 覆盖判定两步统一（isCoveredBy）：目录条目（以 / 结尾）前缀匹配，
- * 文件条目精确匹配或路径边界后缀匹配。module 模式下目录条目参与覆盖，
- * 未覆盖文件按源码根下第一级子目录聚合。
+ * Step 2 不判违规的理由：它是仓库级完备性不变量，与正在被评估的那次变更无因果——
+ * 一处历史漏登会让此后每次 module_* 评估恒红（studio 实测 22/22 fail，且因 fail
+ * 零证据而无人能定位）。本处保留缺口输出是为了让人看得见、能自己修，而不是为了拦。
+ *
+ * 已知缺口（ADR-0016「影响」①）：降级后仓库级漏登**没有自动拦截点**。`sync-docs --check`
+ * 单独跑会点名并 exit 1，但 CI/ship 都按「先 sync-docs 写入、后 --check」的顺序跑
+ * （2026-08-08 CI 4 连红固化的顺序），而 file 模式的写入正给缺登记自动补行
+ * （`capabilities-syncer` 的 `mode !== 'module'` 分支）、那份写入又不回提——于是流水线里
+ * 永远查不到漏登。补这个牙齿归流水线侧（sync 后 git diff 非空即失败），不在本约束里做。
+ *
+ * 例外：「有表格但零条目」= 文档被清空，判违规（历史门，此前靠 Step 2 兜，现显式化）。
+ *
+ * 覆盖/漏登判定不在本文件实现，统一走 capabilities-reconcile（ADR-0009）：
+ * 目录条目（以 / 结尾）前缀匹配，文件条目精确匹配或路径边界后缀匹配；
+ * module 模式下目录条目参与覆盖，未覆盖文件按源码根下第一级子目录聚合。
  *
  * 清单格式（计数行，mode=listing 或嗅探命中）无文件表可核对，直接放行；
- * 检查异常时 fail-open 但输出 console.warn 保留可观测性。
+ * 无表格的散文文档保持历史放行；检查异常时 fail-open 但输出 console.warn 保留可观测性。
  *
  * ADR-0001 存在性探测：项目根无 CAPABILITIES.md（未采用该约定）时返回 'skip'，
  * 不计 pass/fail，避免在未采用约定的项目上全量误报。
@@ -23,20 +35,8 @@ const path_1 = require("path");
 const capabilities_parser_1 = require("../capabilities-parser");
 const project_config_loader_1 = require("../../project-config-loader");
 const detect_source_roots_1 = require("../../../utils/detect-source-roots");
-/** markdown 表格分隔行（|------|------|）：区分「无表格的散文文档」与「有表格但零条目」 */
-const TABLE_SEPARATOR_REGEX = /^\s*\|[\s:|-]+\|\s*$/m;
-/**
- * 变更文件是否被条目覆盖
- *
- * 目录条目（以 / 结尾）前缀匹配；文件条目精确匹配或路径边界后缀匹配
- * （兼容 basename 条目，但拒绝 xfoo.ts 命中 foo.ts、docs/src/foo.tsx 命中 src/foo.ts
- * 这类 endsWith/includes 模糊匹配造成的碰撞）
- */
-function isCoveredBy(entries, changed) {
-    return entries.some((listed) => listed.endsWith('/')
-        ? changed.startsWith(listed)
-        : changed === listed || changed.endsWith('/' + listed));
-}
+const capabilities_reconcile_1 = require("../capabilities-reconcile");
+const types_1 = require("./types");
 exports.capabilitySync = {
     id: 'capability_sync',
     async evaluate(env) {
@@ -47,75 +47,64 @@ exports.capabilitySync = {
         }
         try {
             const capabilitiesPath = (0, path_1.join)(projectPath, 'CAPABILITIES.md');
-            if (!(0, fs_1.existsSync)(capabilitiesPath)) {
-                // 检查是否有代码变更，无变更则跳过
-                const diff = await env.stagedDiffNames();
-                const changedCodeFiles = diff.split('\n').filter((f) => f.endsWith('.ts') || f.endsWith('.tsx') || f.endsWith('.js'));
-                return changedCodeFiles.length === 0;
-            }
             const content = (0, fs_1.readFileSync)(capabilitiesPath, 'utf-8');
             const capabilitiesMode = (0, project_config_loader_1.getCapabilitiesMode)(projectPath);
             // 清单格式（计数行）没有文件表可核对，计数由 sync-docs 维护，直接放行
             if (capabilitiesMode === 'listing' || (0, capabilities_parser_1.isCapabilityListingFormat)(content)) {
                 return true;
             }
-            const listedFiles = (0, capabilities_parser_1.parseCapabilitiesEntries)(content, { secondColumnOnly: true });
-            // module 模式下目录条目同样构成覆盖依据，与 step 2 判定对齐
-            const entries = capabilitiesMode === 'module'
-                ? (0, capabilities_parser_1.parseCapabilitiesEntries)(content, { includeDirs: true })
-                : listedFiles;
-            // 有表格但零条目 = 文档什么都没登记，不得直接放行；无表格的散文文档保持历史放行
-            const hasTable = TABLE_SEPARATOR_REGEX.test(content);
-            // ── Step 1: Git diff 增量检查 ──
-            const diff = await env.stagedDiffNames();
-            const changedCodeFiles = diff.split('\n').filter((f) => f.endsWith('.ts') || f.endsWith('.tsx') || f.endsWith('.js'));
-            const significantChanges = changedCodeFiles.filter((f) => !f.includes('__tests__') && !f.includes('.test.') && !f.includes('.spec.'));
-            // 每个变更文件都必须被覆盖（every；some 会让一个命中掩盖其余漏网）
-            if (significantChanges.length > 0 &&
-                (entries.length > 0 || hasTable) &&
-                !significantChanges.every((changed) => isCoveredBy(entries, changed))) {
-                return false;
-            }
-            // ── Step 2: 全量源码根扫描（T-058 修复核心）──
-            if (capabilitiesMode === 'module') {
-                // module 模式：目录条目参与覆盖（isCoveredBy 统一判定）；
-                // 未覆盖文件按源码根下第一级子目录聚合，任一组非空即失败
-                if (entries.length > 0 || hasTable) {
-                    const uncoveredDirs = new Set();
-                    const sourceRoots = (0, detect_source_roots_1.detectSourceRoots)(projectPath);
-                    for (const root of sourceRoots) {
-                        const srcDir = (0, path_1.join)(projectPath, root);
-                        if ((0, fs_1.existsSync)(srcDir)) {
-                            for (const file of env.srcScan(root)) {
-                                if (!isCoveredBy(entries, file)) {
-                                    uncoveredDirs.add((0, capabilities_parser_1.aggregateToSourceSubdir)(root, file));
-                                }
-                            }
-                        }
-                    }
-                    if (uncoveredDirs.size > 0)
-                        return false;
+            const sourceRoots = (0, detect_source_roots_1.detectSourceRoots)(projectPath);
+            const population = [];
+            for (const root of sourceRoots) {
+                if ((0, fs_1.existsSync)((0, path_1.join)(projectPath, root))) {
+                    population.push(...env.srcScan(root));
                 }
             }
-            else if (listedFiles.length > 0 || hasTable) {
-                const sourceRoots = (0, detect_source_roots_1.detectSourceRoots)(projectPath);
-                for (const root of sourceRoots) {
-                    const srcDir = (0, path_1.join)(projectPath, root);
-                    if ((0, fs_1.existsSync)(srcDir)) {
-                        for (const file of env.srcScan(root)) {
-                            if (!isCoveredBy(listedFiles, file)) {
-                                return false;
-                            }
-                        }
-                    }
-                }
+            const diffNames = (await env.stagedDiffNames()).split('\n').filter(Boolean);
+            const verdict = (0, capabilities_reconcile_1.reconcileCapabilities)({
+                content,
+                populationFiles: population,
+                changedFiles: (0, capabilities_reconcile_1.significantCodeChanges)(diffNames),
+                sourceRoots,
+            });
+            // 无表格的散文文档：历史放行语义
+            if (!verdict.hasTable)
+                return true;
+            // 文档退化门：有表格却什么都没登记（限定「源码根下确有文件」——空仓 + 空表没有可登记
+            // 对象，历史行为是放行，本票不顺手扩大 fail 面）
+            if (verdict.coverageEntries.length === 0 && population.length > 0) {
+                return {
+                    pass: false,
+                    evidence: ['CAPABILITIES.md 有表格但零条目登记，运行 harness sync-docs 或直接补登记'],
+                };
+            }
+            // ── Step 1: Git diff 增量检查（与本次变更有因果，每个变更文件都必须被覆盖）──
+            if (verdict.uncoveredChanges.length > 0) {
+                return {
+                    pass: false,
+                    evidence: (0, types_1.formatEvidence)(`本次变更有 ${verdict.uncoveredChanges.length} 个文件未登记进 CAPABILITIES.md`, verdict.uncoveredChanges),
+                };
+            }
+            // ── Step 2: 全量源码根扫描（T-058）——仓库级漂移，只提示不判违规，见文件头 ──
+            const gaps = capabilitiesMode === 'module' ? verdict.uncoveredDirs : verdict.uncoveredFiles;
+            if (gaps.length > 0) {
+                const kind = capabilitiesMode === 'module' ? '未登记模块目录' : '未登记源文件';
+                return {
+                    pass: true,
+                    evidence: (0, types_1.formatEvidence)(`CAPABILITIES.md ${kind} ${gaps.length} 项（仓库级漂移，与本次变更无关；修复: harness sync-docs）`, gaps),
+                };
             }
             return true;
         }
         catch (err) {
-            // fail-open 语义保留，但必须可观测：静默吞错会让解析 bug 变成「永远通过」
+            // fail-open 语义保留，但异常放行也要落地可见：warn 只进本地 stderr，
+            // 进不了 trace——静默吞错会让解析 bug 变成「永远通过」（harness#119 同族问题）
+            const reason = err instanceof Error ? err.message : String(err);
             console.warn('[capability_sync] 检查执行异常，默认放行：', err);
-            return true;
+            return {
+                pass: true,
+                evidence: [`检查异常，按 fail-open 放行: ${reason}（本次结果不代表文档已同步）`],
+            };
         }
     },
 };

package/dist/core/constraints/checkers/capability-sync.js.map

@@ -1 +1 @@
-{"version":3,"file":"capability-sync.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/capability-sync.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;GAgBG;;;AAEH,2BAA8C;AAC9C,+BAA4B;AAC5B,gEAIgC;AAChC,uEAAkE;AAClE,4EAAuE;AAGvE,6DAA6D;AAC7D,MAAM,qBAAqB,GAAG,uBAAuB,CAAC;AAEtD;;;;;;GAMG;AACH,SAAS,WAAW,CAAC,OAAiB,EAAE,OAAe;IACrD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC7B,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QAClB,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC;QAC5B,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,GAAG,MAAM,CAAC,CACzD,CAAC;AACJ,CAAC;AAEY,QAAA,cAAc,GAAoB;IAC7C,EAAE,EAAE,iBAAiB;IACrB,KAAK,CAAC,QAAQ,CAAC,GAAG;QAChB,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC;QACpC,+DAA+D;QAC/D,IAAI,CAAC,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC,EAAE,CAAC;YACtD,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,IAAI,CAAC;YACH,MAAM,gBAAgB,GAAG,IAAA,WAAI,EAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC;YAC9D,IAAI,CAAC,IAAA,eAAU,EAAC,gBAAgB,CAAC,EAAE,CAAC;gBAClC,mBAAmB;gBACnB,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,eAAe,EAAE,CAAC;gBACzC,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAC9C,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAC5E,CAAC;gBACF,OAAO,gBAAgB,CAAC,MAAM,KAAK,CAAC,CAAC;YACvC,CAAC;YAED,MAAM,OAAO,GAAG,IAAA,iBAAY,EAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;YACxD,MAAM,gBAAgB,GAAG,IAAA,2CAAmB,EAAC,WAAW,CAAC,CAAC;YAE1D,0CAA0C;YAC1C,IAAI,gBAAgB,KAAK,SAAS,IAAI,IAAA,+CAAyB,EAAC,OAAO,CAAC,EAAE,CAAC;gBACzE,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,WAAW,GAAG,IAAA,8CAAwB,EAAC,OAAO,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC;YAClF,uCAAuC;YACvC,MAAM,OAAO,GACX,gBAAgB,KAAK,QAAQ;gBAC3B,CAAC,CAAC,IAAA,8CAAwB,EAAC,OAAO,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;gBAC1D,CAAC,CAAC,WAAW,CAAC;YAClB,2CAA2C;YAC3C,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAErD,8BAA8B;YAC9B,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,eAAe,EAAE,CAAC;YACzC,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAC9C,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAC5E,CAAC;YACF,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,MAAM,CAChD,CAAC,CAAS,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,CAC1F,CAAC;YAEF,wCAAwC;YACxC,IACE,kBAAkB,CAAC,MAAM,GAAG,CAAC;gBAC7B,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC;gBAChC,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,OAAe,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAC7E,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YAED,mCAAmC;YACnC,IAAI,gBAAgB,KAAK,QAAQ,EAAE,CAAC;gBAClC,wCAAwC;gBACxC,8BAA8B;gBAC9B,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;oBACnC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;oBACxC,MAAM,WAAW,GAAG,IAAA,uCAAiB,EAAC,WAAW,CAAC,CAAC;oBACnD,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;wBAC/B,MAAM,MAAM,GAAG,IAAA,WAAI,EAAC,WAAW,EAAE,IAAI,CAAC,CAAC;wBACvC,IAAI,IAAA,eAAU,EAAC,MAAM,CAAC,EAAE,CAAC;4BACvB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gCACrC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;oCAChC,aAAa,CAAC,GAAG,CAAC,IAAA,6CAAuB,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;gCACzD,CAAC;4BACH,CAAC;wBACH,CAAC;oBACH,CAAC;oBACD,IAAI,aAAa,CAAC,IAAI,GAAG,CAAC;wBAAE,OAAO,KAAK,CAAC;gBAC3C,CAAC;YACH,CAAC;iBAAM,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;gBAC9C,MAAM,WAAW,GAAG,IAAA,uCAAiB,EAAC,WAAW,CAAC,CAAC;gBACnD,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;oBAC/B,MAAM,MAAM,GAAG,IAAA,WAAI,EAAC,WAAW,EAAE,IAAI,CAAC,CAAC;oBACvC,IAAI,IAAA,eAAU,EAAC,MAAM,CAAC,EAAE,CAAC;wBACvB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;4BACrC,IAAI,CAAC,WAAW,CAAC,WAAW,EAAE,IAAI,CAAC,EAAE,CAAC;gCACpC,OAAO,KAAK,CAAC;4BACf,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAED,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,8CAA8C;YAC9C,OAAO,CAAC,IAAI,CAAC,gCAAgC,EAAE,GAAG,CAAC,CAAC;YACpD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;CACF,CAAC"}
+{"version":3,"file":"capability-sync.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/capability-sync.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;;;AAEH,2BAA8C;AAC9C,+BAA4B;AAC5B,gEAAmE;AACnE,uEAAkE;AAClE,4EAAuE;AACvE,sEAA0F;AAC1F,mCAA+D;AAElD,QAAA,cAAc,GAAoB;IAC7C,EAAE,EAAE,iBAAiB;IACrB,KAAK,CAAC,QAAQ,CAAC,GAAG;QAChB,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC;QACpC,+DAA+D;QAC/D,IAAI,CAAC,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC,EAAE,CAAC;YACtD,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,IAAI,CAAC;YACH,MAAM,gBAAgB,GAAG,IAAA,WAAI,EAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC;YAC9D,MAAM,OAAO,GAAG,IAAA,iBAAY,EAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;YACxD,MAAM,gBAAgB,GAAG,IAAA,2CAAmB,EAAC,WAAW,CAAC,CAAC;YAE1D,0CAA0C;YAC1C,IAAI,gBAAgB,KAAK,SAAS,IAAI,IAAA,+CAAyB,EAAC,OAAO,CAAC,EAAE,CAAC;gBACzE,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,WAAW,GAAG,IAAA,uCAAiB,EAAC,WAAW,CAAC,CAAC;YACnD,MAAM,UAAU,GAAa,EAAE,CAAC;YAChC,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;gBAC/B,IAAI,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;oBACxC,UAAU,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;gBACxC,CAAC;YACH,CAAC;YAED,MAAM,SAAS,GAAG,CAAC,MAAM,GAAG,CAAC,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC5E,MAAM,OAAO,GAAG,IAAA,8CAAqB,EAAC;gBACpC,OAAO;gBACP,eAAe,EAAE,UAAU;gBAC3B,YAAY,EAAE,IAAA,+CAAsB,EAAC,SAAS,CAAC;gBAC/C,WAAW;aACZ,CAAC,CAAC;YAEH,kBAAkB;YAClB,IAAI,CAAC,OAAO,CAAC,QAAQ;gBAAE,OAAO,IAAI,CAAC;YAEnC,8CAA8C;YAC9C,6BAA6B;YAC7B,IAAI,OAAO,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClE,OAAO;oBACL,IAAI,EAAE,KAAK;oBACX,QAAQ,EAAE,CAAC,uDAAuD,CAAC;iBACpE,CAAC;YACJ,CAAC;YAED,oDAAoD;YACpD,IAAI,OAAO,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxC,OAAO;oBACL,IAAI,EAAE,KAAK;oBACX,QAAQ,EAAE,IAAA,sBAAc,EACtB,SAAS,OAAO,CAAC,gBAAgB,CAAC,MAAM,0BAA0B,EAClE,OAAO,CAAC,gBAAgB,CACzB;iBACF,CAAC;YACJ,CAAC;YAED,mDAAmD;YACnD,MAAM,IAAI,GAAG,gBAAgB,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC;YAC5F,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpB,MAAM,IAAI,GAAG,gBAAgB,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAClE,OAAO;oBACL,IAAI,EAAE,IAAI;oBACV,QAAQ,EAAE,IAAA,sBAAc,EACtB,mBAAmB,IAAI,IAAI,IAAI,CAAC,MAAM,yCAAyC,EAC/E,IAAI,CACL;iBACF,CAAC;YACJ,CAAC;YAED,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,+CAA+C;YAC/C,qDAAqD;YACrD,MAAM,MAAM,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAChE,OAAO,CAAC,IAAI,CAAC,gCAAgC,EAAE,GAAG,CAAC,CAAC;YACpD,OAAO;gBACL,IAAI,EAAE,IAAI;gBACV,QAAQ,EAAE,CAAC,wBAAwB,MAAM,gBAAgB,CAAC;aAC3D,CAAC;QACJ,CAAC;IACH,CAAC;CACF,CAAC"}

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;AAuEzD,eAAO,MAAM,aAAa,EAAE,eAuD3B,CAAC"}

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

@@ -14,6 +14,8 @@ 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");
+const types_1 = require("./types");
 /**
  * 内置默认文档新鲜度检查配置
  *
@@ -28,45 +30,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 +63,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 +75,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 +88,26 @@ exports.docsFreshness = {
         // ADR-0001 存在性探测：项目无任何 freshness 配置/目标 → skip（不计 pass/fail）
         if (!hasFreshnessTargets(projectPath))
             return 'skip';
-        // Step 1: 文件表格式 — 检查列出的文件是否还存在
-        if (!checkCapabilitiesFreshness(projectPath))
-            return false;
+        // Step 1: 文件表格式 — 登记的条目（文件+目录）是否仍存在（ADR-0009）
+        const deadEntries = findDeadCapabilityEntries(projectPath, env);
+        if (deadEntries.length > 0) {
+            // 证据通道点名条目（harness#119）：此前是 console.error 侧信道（2026-08-08 studio
+            // CI 4 连红时的临时办法），CLI 结构化输出与 trace 两头都拿不到，
+            // 铁律拦截时用户只看到一句通用提示，basename 碰撞下无从定位
+            return {
+                pass: false,
+                evidence: (0, types_1.formatEvidence)('CAPABILITIES.md 登记的条目不存在', deadEntries),
+            };
+        }
         // 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) {
@@ -138,8 +116,13 @@ exports.docsFreshness = {
             else {
                 results = runner.runAll({ checks: getBuiltInDocFreshnessConfig() }, projectPath, { requiredDirs });
             }
-            if (!results.every(r => r.pass))
-                return false;
+            const failed = results.filter(r => !r.pass);
+            if (failed.length > 0) {
+                return {
+                    pass: false,
+                    evidence: (0, types_1.formatEvidence)('文档新鲜度检查未通过', failed.map(r => `${r.label}: ${r.message ?? '未通过'}`)),
+                };
+            }
         }
         catch {
             // FreshnessRunner 失败不影响整体

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;AAGlE,mCAAyC;AAEzC;;;;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,gEAAgE;YAChE,0CAA0C;YAC1C,oCAAoC;YACpC,OAAO;gBACL,IAAI,EAAE,KAAK;gBACX,QAAQ,EAAE,IAAA,sBAAc,EAAC,0BAA0B,EAAE,WAAW,CAAC;aAClE,CAAC;QACJ,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,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,OAAO;oBACL,IAAI,EAAE,KAAK;oBACX,QAAQ,EAAE,IAAA,sBAAc,EACtB,YAAY,EACZ,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,OAAO,IAAI,KAAK,EAAE,CAAC,CACrD;iBACF,CAAC;YACJ,CAAC;QACH,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/index.d.ts

@@ -17,6 +17,6 @@ export declare function getConstraintCheck(id: string): ConstraintCheck | undefi
  * 已注册的检查实现数量（诊断/测试用）
  */
 export declare function registeredCheckCount(): number;
-export { buildCheckEnv } from './types';
-export type { ConstraintCheck, CheckEnv, CheckOutcome, EvidenceProviders } from './types';
+export { buildCheckEnv, normalizeCheckOutcome } from './types';
+export type { ConstraintCheck, CheckEnv, CheckOutcome, CheckDetail, NormalizedOutcome, EvidenceProviders, } from './types';
 //# sourceMappingURL=index.d.ts.map

package/dist/core/constraints/checkers/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAyD/C;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,MAAM,GAAG,eAAe,GAAG,SAAS,CAE1E;AAED;;GAEG;AACH,wBAAgB,oBAAoB,IAAI,MAAM,CAE7C;AAED,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACxC,YAAY,EAAE,eAAe,EAAE,QAAQ,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAyD/C;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,MAAM,GAAG,eAAe,GAAG,SAAS,CAE1E;AAED;;GAEG;AACH,wBAAgB,oBAAoB,IAAI,MAAM,CAE7C;AAED,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,SAAS,CAAC;AAC/D,YAAY,EACV,eAAe,EACf,QAAQ,EACR,YAAY,EACZ,WAAW,EACX,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,SAAS,CAAC"}

package/dist/core/constraints/checkers/index.js

@@ -9,7 +9,7 @@
  * 任一不满足即抛错（加载期失败，不许静默 pass）。
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.buildCheckEnv = void 0;
+exports.normalizeCheckOutcome = exports.buildCheckEnv = void 0;
 exports.getConstraintCheck = getConstraintCheck;
 exports.registeredCheckCount = registeredCheckCount;
 const definitions_1 = require("../definitions");
@@ -67,4 +67,5 @@ function registeredCheckCount() {
 }
 var types_1 = require("./types");
 Object.defineProperty(exports, "buildCheckEnv", { enumerable: true, get: function () { return types_1.buildCheckEnv; } });
+Object.defineProperty(exports, "normalizeCheckOutcome", { enumerable: true, get: function () { return types_1.normalizeCheckOutcome; } });
 //# sourceMappingURL=index.js.map

package/dist/core/constraints/checkers/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AA+DH,gDAEC;AAKD,oDAEC;AArED,gDAAmD;AAEnD,6CAIsB;AACtB,iEAA4D;AAC5D,qEAAgE;AAChE,uDAAmD;AACnD,yDAAoD;AACpD,qDAAiD;AACjD,yEAAoE;AACpE,+DAA2D;AAE3D,MAAM,MAAM,GAAsB;IAChC,YAAY;IACZ,4CAA+B;IAC/B,gCAAmB;IACnB,+CAAkC;IAClC,6CAAoB;IACpB,8BAAa;IACb,aAAa;IACb,iDAAsB;IACtB,yCAAkB;IAClB,gCAAc;IACd,iCAAc;IACd,wCAAkB;CACnB,CAAC;AAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAA0B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAE9E,2CAA2C;AAC3C,eAAe;AACf,2CAA2C;AAE3C,MAAM,gBAAgB,GAAG,IAAA,+BAAiB,GAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;AAE7E,KAAK,MAAM,CAAC,IAAI,gBAAgB,EAAE,CAAC;IACjC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACb,2CAA2C,CAAC,CAAC,EAAE,gBAAgB;YAC/D,6CAA6C,CAC9C,CAAC;IACJ,CAAC;AACH,CAAC;AAED,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;IACjC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CACb,kCAAkC,EAAE,4BAA4B;YAChE,gCAAgC,CACjC,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAgB,kBAAkB,CAAC,EAAU;IAC3C,OAAO,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,SAAgB,oBAAoB;IAClC,OAAO,QAAQ,CAAC,IAAI,CAAC;AACvB,CAAC;AAED,iCAAwC;AAA/B,sGAAA,aAAa,OAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AA+DH,gDAEC;AAKD,oDAEC;AArED,gDAAmD;AAEnD,6CAIsB;AACtB,iEAA4D;AAC5D,qEAAgE;AAChE,uDAAmD;AACnD,yDAAoD;AACpD,qDAAiD;AACjD,yEAAoE;AACpE,+DAA2D;AAE3D,MAAM,MAAM,GAAsB;IAChC,YAAY;IACZ,4CAA+B;IAC/B,gCAAmB;IACnB,+CAAkC;IAClC,6CAAoB;IACpB,8BAAa;IACb,aAAa;IACb,iDAAsB;IACtB,yCAAkB;IAClB,gCAAc;IACd,iCAAc;IACd,wCAAkB;CACnB,CAAC;AAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAA0B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAE9E,2CAA2C;AAC3C,eAAe;AACf,2CAA2C;AAE3C,MAAM,gBAAgB,GAAG,IAAA,+BAAiB,GAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;AAE7E,KAAK,MAAM,CAAC,IAAI,gBAAgB,EAAE,CAAC;IACjC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACb,2CAA2C,CAAC,CAAC,EAAE,gBAAgB;YAC/D,6CAA6C,CAC9C,CAAC;IACJ,CAAC;AACH,CAAC;AAED,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;IACjC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CACb,kCAAkC,EAAE,4BAA4B;YAChE,gCAAgC,CACjC,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAgB,kBAAkB,CAAC,EAAU;IAC3C,OAAO,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,SAAgB,oBAAoB;IAClC,OAAO,QAAQ,CAAC,IAAI,CAAC;AACvB,CAAC;AAED,iCAA+D;AAAtD,sGAAA,aAAa,OAAA;AAAE,8GAAA,qBAAqB,OAAA"}

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"}