@dommaker/harness 1.6.0 → 1.8.0

package/dist/core/constraints/checker.js

@@ -14,12 +14,13 @@ exports.checkConstraints = checkConstraints;
 exports.checkBeforeExecution = checkBeforeExecution;
 const constraint_1 = require("../../types/constraint");
 const definitions_1 = require("./definitions");
-const exec_1 = require("../../utils/exec");
+const triggers_1 = require("./triggers");
 const path_1 = require("path");
 const check_cache_1 = require("./check-cache");
 const file_walk_1 = require("../../utils/file-walk");
 const checkers_1 = require("./checkers");
 const git_evidence_1 = require("./git-evidence");
+const run_env_1 = require("./run-env");
 /** 未注入时的默认记录器：不记录 */
 const NOOP_TRACE_RECORDER = { record: () => undefined };
 /**
@@ -66,8 +67,9 @@ class ConstraintChecker {
      * 检查单个约束
      *
      * @param evidence 可选，本 run 的 git 证据实例（#87）；不传 = 本次调用独占一份真 git 证据
+     * @param runEnv 可选，本 run 的运行级观察面（ADR-0023）；不传 = 本次调用独占一份
      */
-    async check(constraint, context, evidence) {
+    async check(constraint, context, evidence, runEnv) {
         // prompt 类约束不参与 checker 执行（ADR-0001：仅参与注入）
         if (constraint.kind === 'prompt') {
             return {
@@ -79,7 +81,7 @@ class ConstraintChecker {
             };
         }
         // 检查前置条件（'skip' = 约定未采用/证据未接线：satisfied 置 true 但不计 pass/fail）
-        const outcome = (0, checkers_1.normalizeCheckOutcome)(await this.checkPrecondition(constraint, context, evidence));
+        const outcome = (0, checkers_1.normalizeCheckOutcome)(await this.checkPrecondition(constraint, context, evidence, runEnv));
         if (outcome.skipped) {
             return {
                 id: constraint.id,
@@ -142,8 +144,9 @@ class ConstraintChecker {
      *
      * git 证据（stagedDiff/stagedDiffNames）单一来源 = GitEvidence adapter（#87）：
      * 一次 run 内调用方传同一实例即至多取证一次，run 外调用独占一份。
+     * 上行数据（config.yml / trace 尾部 / 源根）同一形状 = RunEnv（ADR-0023）。
      */
-    async checkPrecondition(constraint, context, evidence) {
+    async checkPrecondition(constraint, context, evidence, runEnv) {
         const impl = (0, checkers_1.getConstraintCheck)(constraint.id);
         if (!impl) {
             throw new Error(`[harness] 约束 "${constraint.id}" (kind='check') 未注册 checker，拒绝静默通过。` +
@@ -155,7 +158,7 @@ class ConstraintChecker {
             stagedDiff: async () => git.stagedDiff(),
             stagedDiffNames: async () => git.changedFileNames(true),
             srcScan: (root) => this.cache.getSync(`src_scan_${root}`, projectPath, () => (0, file_walk_1.findTsSourceFiles)((0, path_1.join)(projectPath, root), { skipIndex: true }).map((f) => (0, path_1.relative)(projectPath, f))),
-        });
+        }, runEnv);
         return await impl.evaluate(env);
     }
     /**
@@ -168,7 +171,7 @@ class ConstraintChecker {
         const operations = [context.operation, ...(context.extraTriggers ?? [])];
         const constraints = this.getConstraints(customConfig);
         const filterByTrigger = (constraintSet) => {
-            return Object.values(constraintSet).filter(constraint => (0, exec_1.matchesTrigger)(constraint, operations));
+            return Object.values(constraintSet).filter(constraint => (0, triggers_1.matchesTrigger)(constraint, operations));
         };
         return {
             ironLaws: filterByTrigger(constraints.ironLaws),
@@ -187,9 +190,11 @@ class ConstraintChecker {
      * @param evidence 可选，本 run 的 git 证据 adapter（#87）。调用方（CLI check）与
      *   buildConstraintContext 传同一实例 → 一次 run 内 git 取证单一来源；
      *   不传则本 run 自建一份，run 级 memo 照样生效（memo 在实例层，非隐式全局）。
+     * @param runEnv 可选，本 run 的运行级观察面（ADR-0023）。调用方（CLI check）与
+     *   buildConstraintContext 传同一实例 → 一次 run 内同一项目文件至多读一次。
      */
-    async checkConstraints(context, customConfig, evidence) {
-        return this.runAllConstraints(context, customConfig, evidence, 'block');
+    async checkConstraints(context, customConfig, evidence, runEnv) {
+        return this.runAllConstraints(context, customConfig, evidence, runEnv, 'block');
     }
     /**
      * 收集模式执行约束检查（harness report 的不抛出口，架构评审候选1）
@@ -199,17 +204,20 @@ class ConstraintChecker {
      * trace 逐条照记。报告类消费者拿全量视图；阻断语义只属于 checkConstraints
      * （throw 契约是 #119 判定证据的外溢面，逐字不动）。
      */
-    async collectConstraints(context, customConfig, evidence) {
-        return this.runAllConstraints(context, customConfig, evidence, 'collect');
+    async collectConstraints(context, customConfig, evidence, runEnv) {
+        return this.runAllConstraints(context, customConfig, evidence, runEnv, 'collect');
     }
     /**
      * checkConstraints / collectConstraints 的共享检查体；
      * mode='block' 首个铁律违规即抛，mode='collect' 全量跑完不抛
      */
-    async runAllConstraints(context, customConfig, evidence, mode) {
+    async runAllConstraints(context, customConfig, evidence, runEnv, mode) {
         // run 起始：重置 src 扫描缓存（S7）；git 证据 = 本 run 独占的 adapter 实例（工单 18 → #87）
         this.cache.invalidate();
-        const run = evidence ?? (0, git_evidence_1.createGitEvidence)(context.projectPath || process.cwd());
+        const projectPath = context.projectPath || process.cwd();
+        const run = evidence ?? (0, git_evidence_1.createGitEvidence)(projectPath);
+        // 观察面同一形状（ADR-0023）：调用方传了就共用，没传也只造一枚——逐条 checker 不再各读一遍配置
+        const env = runEnv ?? (0, run_env_1.createRunEnv)(projectPath);
         const result = {
             ironLaws: [],
             guidelines: [],
@@ -221,9 +229,9 @@ class ConstraintChecker {
         const operations = [context.operation, ...(context.extraTriggers ?? [])];
         // 1. Iron Laws: block 模式首个违规即抛；collect 模式全量收集
         for (const constraint of Object.values(constraints.ironLaws)) {
-            if (!(0, exec_1.matchesTrigger)(constraint, operations))
+            if (!(0, triggers_1.matchesTrigger)(constraint, operations))
                 continue;
-            const checkResult = await this.check(constraint, context, run);
+            const checkResult = await this.check(constraint, context, run, env);
             result.ironLaws.push(checkResult);
             this.recordTrace(constraint, checkResult, context);
             if (!checkResult.satisfied) {
@@ -235,9 +243,9 @@ class ConstraintChecker {
         }
         // 2. Guidelines: 记录警告
         for (const constraint of Object.values(constraints.guidelines)) {
-            if (!(0, exec_1.matchesTrigger)(constraint, operations))
+            if (!(0, triggers_1.matchesTrigger)(constraint, operations))
                 continue;
-            const checkResult = await this.check(constraint, context, run);
+            const checkResult = await this.check(constraint, context, run, env);
             result.guidelines.push(checkResult);
             this.recordTrace(constraint, checkResult, context);
             if (!checkResult.satisfied) {
@@ -255,13 +263,16 @@ class ConstraintChecker {
      * @throws ConstraintViolationError 如果有铁律违规
      */
     async beforeExecution(context, customConfig, evidence) {
-        const run = evidence ?? (0, git_evidence_1.createGitEvidence)(context.projectPath || process.cwd());
+        const projectPath = context.projectPath || process.cwd();
+        const run = evidence ?? (0, git_evidence_1.createGitEvidence)(projectPath);
+        // 独立 run 入口（ADR-0023）：本函数内所有 checker 共用一枚观察面
+        const env = (0, run_env_1.createRunEnv)(projectPath);
         const constraints = this.getConstraints(customConfig);
         const operations = [context.operation, ...(context.extraTriggers ?? [])];
         for (const constraint of Object.values(constraints.ironLaws)) {
-            if (!(0, exec_1.matchesTrigger)(constraint, operations))
+            if (!(0, triggers_1.matchesTrigger)(constraint, operations))
                 continue;
-            const result = await this.check(constraint, context, run);
+            const result = await this.check(constraint, context, run, env);
             if (!result.satisfied) {
                 throw new constraint_1.ConstraintViolationError(result);
             }

package/dist/core/constraints/checker.js.map

@@ -1 +1 @@
-{"version":3,"file":"checker.js","sourceRoot":"","sources":["../../../src/core/constraints/checker.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAoXH,0CAwBC;AAmBD,4CAUC;AAQD,oDAKC;AApbD,uDAOgC;AAEhC,+CAA+D;AAE/D,2CAAkD;AAClD,+BAAsC;AACtC,+CAA2C;AAC3C,qDAA0D;AAC1D,yCAAyG;AACzG,iDAAqE;AAarE,qBAAqB;AACrB,MAAM,mBAAmB,GAAkB,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;AAEvE;;GAEG;AACH,MAAa,iBAAiB;IACpB,MAAM,CAAC,QAAQ,CAAoB;IAE3C,6CAA6C;IACrC,KAAK,GAAe,IAAI,wBAAU,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAE5D,+BAA+B;IACd,aAAa,CAAgB;IAE9C,YAAY,gBAA+B,mBAAmB;QAC5D,IAAI,CAAC,aAAa,GAAG,aAAa,CAAC;IACrC,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,WAAW;QAChB,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,CAAC;YAChC,iBAAiB,CAAC,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACvD,CAAC;QACD,OAAO,iBAAiB,CAAC,QAAQ,CAAC;IACpC,CAAC;IAED;;;;;;;OAOG;IACH,cAAc,CAAC,YAA6C;QAK1D,MAAM,MAAM,GAAG,YAAY,CAAC;QAC5B,MAAM,MAAM,GAAG,MAAM;YACnB,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,qBAAO,EAAE;YAClG,CAAC,CAAC,EAAE,QAAQ,EAAE,uBAAS,EAAE,UAAU,EAAE,wBAAU,EAAE,OAAO,EAAE,qBAAO,EAAE,CAAC;QAEtE,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,OAAO,EAAE,MAAM,CAAC,OAAO;SACxB,CAAC;IACJ,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,KAAK,CACT,UAAsB,EACtB,OAA0B,EAC1B,QAAsB;QAEtB,2CAA2C;QAC3C,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACjC,OAAO;gBACL,EAAE,EAAE,UAAU,CAAC,EAAE;gBACjB,KAAK,EAAE,UAAU,CAAC,KAAK;gBACvB,SAAS,EAAE,IAAI;gBACf,UAAU;gBACV,SAAS,EAAE,IAAI,IAAI,EAAE;aACtB,CAAC;QACJ,CAAC;QAED,8DAA8D;QAC9D,MAAM,OAAO,GAAG,IAAA,gCAAqB,EACnC,MAAM,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAC5D,CAAC;QAEF,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,OAAO;gBACL,EAAE,EAAE,UAAU,CAAC,EAAE;gBACjB,KAAK,EAAE,UAAU,CAAC,KAAK;gBACvB,SAAS,EAAE,IAAI;gBACf,OAAO,EAAE,IAAI;gBACb,UAAU;gBACV,OAAO,EAAE,MAAM,UAAU,CAAC,EAAE,oBAAoB;gBAChD,SAAS,EAAE,IAAI,IAAI,EAAE;aACtB,CAAC;QACJ,CAAC;QAED,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;QAEpC,OAAO;YACL,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,SAAS;YACT,UAAU;YACV,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO;YACnD,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;YACpE,cAAc,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW;YAC9D,SAAS,EAAE,IAAI,IAAI,EAAE;SACtB,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,WAAW,CAAC,KAAsB;QACxC,QAAQ,KAAK,EAAE,CAAC;YACd,KAAK,UAAU;gBACb,OAAO,OAAO,CAAC;YACjB,KAAK,WAAW;gBACd,OAAO,SAAS,CAAC;YACnB,KAAK,QAAQ;gBACX,OAAO,MAAM,CAAC;YAChB;gBACE,OAAO,SAAS,CAAC;QACrB,CAAC;IACH,CAAC;IAED;;OAEG;IACK,WAAW,CACjB,UAAsB,EACtB,WAA6B,EAC7B,OAA0B;QAE1B,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;YACxB,YAAY,EAAE,UAAU,CAAC,EAAE;YAC3B,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;YAC9E,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC;YAC5C,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,QAAQ,EAAE,WAAW,CAAC,QAAQ;SAC/B,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;;OAQG;IACK,KAAK,CAAC,iBAAiB,CAC7B,UAAsB,EACtB,OAA0B,EAC1B,QAAsB;QAEtB,MAAM,IAAI,GAAG,IAAA,6BAAkB,EAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACb,iBAAiB,UAAU,CAAC,EAAE,sCAAsC;gBACpE,yCAAyC,CAC1C,CAAC;QACJ,CAAC;QAED,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;QACzD,MAAM,GAAG,GAAG,QAAQ,IAAI,IAAA,gCAAiB,EAAC,WAAW,CAAC,CAAC;QACvD,MAAM,GAAG,GAAG,IAAA,wBAAa,EAAC,OAAO,EAAE;YACjC,UAAU,EAAE,KAAK,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE;YACxC,eAAe,EAAE,KAAK,IAAI,EAAE,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACvD,OAAO,EAAE,CAAC,IAAY,EAAE,EAAE,CACxB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,CACvD,IAAA,6BAAiB,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxE,IAAA,eAAQ,EAAC,WAAW,EAAE,CAAC,CAAC,CACzB,CACF;SACJ,CAAC,CAAC;QAEH,OAAO,MAAM,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC;IAED;;;;;OAKG;IACH,yBAAyB,CACvB,OAA0B,EAC1B,YAA6C;QAM7C,MAAM,UAAU,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;QACzE,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;QAEtD,MAAM,eAAe,GAAG,CAAC,aAAyC,EAAgB,EAAE;YAClF,OAAO,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CACtD,IAAA,qBAAc,EAAC,UAAU,EAAE,UAAU,CAAC,CACvC,CAAC;QACJ,CAAC,CAAC;QAEF,OAAO;YACL,QAAQ,EAAE,eAAe,CAAC,WAAW,CAAC,QAAQ,CAAC;YAC/C,UAAU,EAAE,eAAe,CAAC,WAAW,CAAC,UAAU,CAAC;YACnD,OAAO,EAAE,eAAe,CAAC,WAAW,CAAC,OAAO,CAAC;SAC9C,CAAC;IACJ,CAAC;IAED;;;;;;;;;;;OAWG;IACH,KAAK,CAAC,gBAAgB,CACpB,OAA0B,EAC1B,YAA6C,EAC7C,QAAsB;QAEtB,OAAO,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC1E,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,kBAAkB,CACtB,OAA0B,EAC1B,YAA6C,EAC7C,QAAsB;QAEtB,OAAO,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC5E,CAAC;IAED;;;OAGG;IACK,KAAK,CAAC,iBAAiB,CAC7B,OAA0B,EAC1B,YAAwD,EACxD,QAAiC,EACjC,IAAyB;QAEzB,oEAAoE;QACpE,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,QAAQ,IAAI,IAAA,gCAAiB,EAAC,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;QAEhF,MAAM,MAAM,GAA0B;YACpC,QAAQ,EAAE,EAAE;YACZ,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,IAAI;YACZ,YAAY,EAAE,CAAC;SAChB,CAAC;QAEF,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;QACtD,iEAAiE;QACjE,MAAM,UAAU,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;QAEzE,8CAA8C;QAC9C,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7D,IAAI,CAAC,IAAA,qBAAc,EAAC,UAAU,EAAE,UAAU,CAAC;gBAAE,SAAS;YAEtD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YAC/D,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAClC,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;YAEnD,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC3B,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC;gBACtB,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;oBACrB,MAAM,IAAI,qCAAwB,CAAC,WAAW,CAAC,CAAC;gBAClD,CAAC;YACH,CAAC;QACH,CAAC;QAED,sBAAsB;QACtB,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;YAC/D,IAAI,CAAC,IAAA,qBAAc,EAAC,UAAU,EAAE,UAAU,CAAC;gBAAE,SAAS;YAEtD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YAC/D,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACpC,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;YAEnD,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC3B,MAAM,CAAC,YAAY,EAAE,CAAC;YACxB,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,eAAe,CACnB,OAA0B,EAC1B,YAA6C,EAC7C,QAAsB;QAEtB,MAAM,GAAG,GAAG,QAAQ,IAAI,IAAA,gCAAiB,EAAC,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;QAChF,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;QACtD,MAAM,UAAU,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;QAEzE,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7D,IAAI,CAAC,IAAA,qBAAc,EAAC,UAAU,EAAE,UAAU,CAAC;gBAAE,SAAS;YAEtD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YAC1D,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;gBACtB,MAAM,IAAI,qCAAwB,CAAC,MAAM,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;IACH,CAAC;CACF;AApUD,8CAoUC;AAED,2CAA2C;AAC3C,OAAO;AACP,2CAA2C;AAE3C;;;;GAIG;AACI,KAAK,UAAU,eAAe,CACnC,YAAoB,EACpB,OAA0B,EAC1B,YAA6C;IAE7C,MAAM,OAAO,GAAG,iBAAiB,CAAC,WAAW,EAAE,CAAC;IAChD,MAAM,WAAW,GAAG,OAAO,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;IAEzD,MAAM,UAAU,GACd,WAAW,CAAC,QAAQ,CAAC,YAAY,CAAC;QAClC,WAAW,CAAC,UAAU,CAAC,YAAY,CAAC;QACpC,WAAW,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAEpC,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;YACL,EAAE,EAAE,YAAY;YAChB,KAAK,EAAE,WAAW;YAClB,SAAS,EAAE,KAAK;YAChB,OAAO,EAAE,UAAU,YAAY,EAAE;YACjC,SAAS,EAAE,IAAI,IAAI,EAAE;SACtB,CAAC;IACJ,CAAC;IAED,OAAO,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AAC5C,CAAC;AAYD;;;;;;GAMG;AACI,KAAK,UAAU,gBAAgB,CACpC,OAA0B,EAC1B,OAAiC;IAEjC,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,YAAY,IAAI,IAAI,CAAC,CAAC;IAC9G,IAAI,OAAO,EAAE,OAAO,EAAE,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ;YAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACpD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU;YAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACI,KAAK,UAAU,oBAAoB,CACxC,OAA0B,EAC1B,YAA6C;IAE7C,OAAO,iBAAiB,CAAC,WAAW,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;AAChF,CAAC;AAED,iDAAiD;AACpC,QAAA,iBAAiB,GAAG,iBAAiB,CAAC,WAAW,EAAE,CAAC"}
+{"version":3,"file":"checker.js","sourceRoot":"","sources":["../../../src/core/constraints/checker.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAoYH,0CAwBC;AAmBD,4CAUC;AAQD,oDAKC;AApcD,uDAOgC;AAEhC,+CAA+D;AAE/D,yCAA4C;AAC5C,+BAAsC;AACtC,+CAA2C;AAC3C,qDAA0D;AAC1D,yCAAyG;AACzG,iDAAqE;AACrE,uCAAsD;AAatD,qBAAqB;AACrB,MAAM,mBAAmB,GAAkB,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;AAEvE;;GAEG;AACH,MAAa,iBAAiB;IACpB,MAAM,CAAC,QAAQ,CAAoB;IAE3C,6CAA6C;IACrC,KAAK,GAAe,IAAI,wBAAU,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAE5D,+BAA+B;IACd,aAAa,CAAgB;IAE9C,YAAY,gBAA+B,mBAAmB;QAC5D,IAAI,CAAC,aAAa,GAAG,aAAa,CAAC;IACrC,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,WAAW;QAChB,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,CAAC;YAChC,iBAAiB,CAAC,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACvD,CAAC;QACD,OAAO,iBAAiB,CAAC,QAAQ,CAAC;IACpC,CAAC;IAED;;;;;;;OAOG;IACH,cAAc,CAAC,YAA6C;QAK1D,MAAM,MAAM,GAAG,YAAY,CAAC;QAC5B,MAAM,MAAM,GAAG,MAAM;YACnB,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,qBAAO,EAAE;YAClG,CAAC,CAAC,EAAE,QAAQ,EAAE,uBAAS,EAAE,UAAU,EAAE,wBAAU,EAAE,OAAO,EAAE,qBAAO,EAAE,CAAC;QAEtE,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,OAAO,EAAE,MAAM,CAAC,OAAO;SACxB,CAAC;IACJ,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,KAAK,CACT,UAAsB,EACtB,OAA0B,EAC1B,QAAsB,EACtB,MAAe;QAEf,2CAA2C;QAC3C,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACjC,OAAO;gBACL,EAAE,EAAE,UAAU,CAAC,EAAE;gBACjB,KAAK,EAAE,UAAU,CAAC,KAAK;gBACvB,SAAS,EAAE,IAAI;gBACf,UAAU;gBACV,SAAS,EAAE,IAAI,IAAI,EAAE;aACtB,CAAC;QACJ,CAAC;QAED,8DAA8D;QAC9D,MAAM,OAAO,GAAG,IAAA,gCAAqB,EACnC,MAAM,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CACpE,CAAC;QAEF,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,OAAO;gBACL,EAAE,EAAE,UAAU,CAAC,EAAE;gBACjB,KAAK,EAAE,UAAU,CAAC,KAAK;gBACvB,SAAS,EAAE,IAAI;gBACf,OAAO,EAAE,IAAI;gBACb,UAAU;gBACV,OAAO,EAAE,MAAM,UAAU,CAAC,EAAE,oBAAoB;gBAChD,SAAS,EAAE,IAAI,IAAI,EAAE;aACtB,CAAC;QACJ,CAAC;QAED,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;QAEpC,OAAO;YACL,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,SAAS;YACT,UAAU;YACV,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO;YACnD,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;YACpE,cAAc,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW;YAC9D,SAAS,EAAE,IAAI,IAAI,EAAE;SACtB,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,WAAW,CAAC,KAAsB;QACxC,QAAQ,KAAK,EAAE,CAAC;YACd,KAAK,UAAU;gBACb,OAAO,OAAO,CAAC;YACjB,KAAK,WAAW;gBACd,OAAO,SAAS,CAAC;YACnB,KAAK,QAAQ;gBACX,OAAO,MAAM,CAAC;YAChB;gBACE,OAAO,SAAS,CAAC;QACrB,CAAC;IACH,CAAC;IAED;;OAEG;IACK,WAAW,CACjB,UAAsB,EACtB,WAA6B,EAC7B,OAA0B;QAE1B,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;YACxB,YAAY,EAAE,UAAU,CAAC,EAAE;YAC3B,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;YAC9E,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC;YAC5C,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,QAAQ,EAAE,WAAW,CAAC,QAAQ;SAC/B,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;;;OASG;IACK,KAAK,CAAC,iBAAiB,CAC7B,UAAsB,EACtB,OAA0B,EAC1B,QAAsB,EACtB,MAAe;QAEf,MAAM,IAAI,GAAG,IAAA,6BAAkB,EAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACb,iBAAiB,UAAU,CAAC,EAAE,sCAAsC;gBACpE,yCAAyC,CAC1C,CAAC;QACJ,CAAC;QAED,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;QACzD,MAAM,GAAG,GAAG,QAAQ,IAAI,IAAA,gCAAiB,EAAC,WAAW,CAAC,CAAC;QACvD,MAAM,GAAG,GAAG,IAAA,wBAAa,EAAC,OAAO,EAAE;YACjC,UAAU,EAAE,KAAK,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE;YACxC,eAAe,EAAE,KAAK,IAAI,EAAE,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACvD,OAAO,EAAE,CAAC,IAAY,EAAE,EAAE,CACxB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,CACvD,IAAA,6BAAiB,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxE,IAAA,eAAQ,EAAC,WAAW,EAAE,CAAC,CAAC,CACzB,CACF;SACJ,EAAE,MAAM,CAAC,CAAC;QAEX,OAAO,MAAM,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC;IAED;;;;;OAKG;IACH,yBAAyB,CACvB,OAA0B,EAC1B,YAA6C;QAM7C,MAAM,UAAU,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;QACzE,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;QAEtD,MAAM,eAAe,GAAG,CAAC,aAAyC,EAAgB,EAAE;YAClF,OAAO,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CACtD,IAAA,yBAAc,EAAC,UAAU,EAAE,UAAU,CAAC,CACvC,CAAC;QACJ,CAAC,CAAC;QAEF,OAAO;YACL,QAAQ,EAAE,eAAe,CAAC,WAAW,CAAC,QAAQ,CAAC;YAC/C,UAAU,EAAE,eAAe,CAAC,WAAW,CAAC,UAAU,CAAC;YACnD,OAAO,EAAE,eAAe,CAAC,WAAW,CAAC,OAAO,CAAC;SAC9C,CAAC;IACJ,CAAC;IAED;;;;;;;;;;;;;OAaG;IACH,KAAK,CAAC,gBAAgB,CACpB,OAA0B,EAC1B,YAA6C,EAC7C,QAAsB,EACtB,MAAe;QAEf,OAAO,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAClF,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,kBAAkB,CACtB,OAA0B,EAC1B,YAA6C,EAC7C,QAAsB,EACtB,MAAe;QAEf,OAAO,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IACpF,CAAC;IAED;;;OAGG;IACK,KAAK,CAAC,iBAAiB,CAC7B,OAA0B,EAC1B,YAAwD,EACxD,QAAiC,EACjC,MAA0B,EAC1B,IAAyB;QAEzB,oEAAoE;QACpE,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QACxB,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;QACzD,MAAM,GAAG,GAAG,QAAQ,IAAI,IAAA,gCAAiB,EAAC,WAAW,CAAC,CAAC;QACvD,0DAA0D;QAC1D,MAAM,GAAG,GAAG,MAAM,IAAI,IAAA,sBAAY,EAAC,WAAW,CAAC,CAAC;QAEhD,MAAM,MAAM,GAA0B;YACpC,QAAQ,EAAE,EAAE;YACZ,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,IAAI;YACZ,YAAY,EAAE,CAAC;SAChB,CAAC;QAEF,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;QACtD,iEAAiE;QACjE,MAAM,UAAU,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;QAEzE,8CAA8C;QAC9C,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7D,IAAI,CAAC,IAAA,yBAAc,EAAC,UAAU,EAAE,UAAU,CAAC;gBAAE,SAAS;YAEtD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACpE,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAClC,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;YAEnD,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC3B,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC;gBACtB,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;oBACrB,MAAM,IAAI,qCAAwB,CAAC,WAAW,CAAC,CAAC;gBAClD,CAAC;YACH,CAAC;QACH,CAAC;QAED,sBAAsB;QACtB,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;YAC/D,IAAI,CAAC,IAAA,yBAAc,EAAC,UAAU,EAAE,UAAU,CAAC;gBAAE,SAAS;YAEtD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACpE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACpC,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;YAEnD,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC3B,MAAM,CAAC,YAAY,EAAE,CAAC;YACxB,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,eAAe,CACnB,OAA0B,EAC1B,YAA6C,EAC7C,QAAsB;QAEtB,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;QACzD,MAAM,GAAG,GAAG,QAAQ,IAAI,IAAA,gCAAiB,EAAC,WAAW,CAAC,CAAC;QACvD,6CAA6C;QAC7C,MAAM,GAAG,GAAG,IAAA,sBAAY,EAAC,WAAW,CAAC,CAAC;QACtC,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;QACtD,MAAM,UAAU,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;QAEzE,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7D,IAAI,CAAC,IAAA,yBAAc,EAAC,UAAU,EAAE,UAAU,CAAC;gBAAE,SAAS;YAEtD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC/D,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;gBACtB,MAAM,IAAI,qCAAwB,CAAC,MAAM,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;IACH,CAAC;CACF;AAnVD,8CAmVC;AAED,2CAA2C;AAC3C,OAAO;AACP,2CAA2C;AAE3C;;;;GAIG;AACI,KAAK,UAAU,eAAe,CACnC,YAAoB,EACpB,OAA0B,EAC1B,YAA6C;IAE7C,MAAM,OAAO,GAAG,iBAAiB,CAAC,WAAW,EAAE,CAAC;IAChD,MAAM,WAAW,GAAG,OAAO,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;IAEzD,MAAM,UAAU,GACd,WAAW,CAAC,QAAQ,CAAC,YAAY,CAAC;QAClC,WAAW,CAAC,UAAU,CAAC,YAAY,CAAC;QACpC,WAAW,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAEpC,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;YACL,EAAE,EAAE,YAAY;YAChB,KAAK,EAAE,WAAW;YAClB,SAAS,EAAE,KAAK;YAChB,OAAO,EAAE,UAAU,YAAY,EAAE;YACjC,SAAS,EAAE,IAAI,IAAI,EAAE;SACtB,CAAC;IACJ,CAAC;IAED,OAAO,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AAC5C,CAAC;AAYD;;;;;;GAMG;AACI,KAAK,UAAU,gBAAgB,CACpC,OAA0B,EAC1B,OAAiC;IAEjC,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,YAAY,IAAI,IAAI,CAAC,CAAC;IAC9G,IAAI,OAAO,EAAE,OAAO,EAAE,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ;YAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACpD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU;YAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACI,KAAK,UAAU,oBAAoB,CACxC,OAA0B,EAC1B,YAA6C;IAE7C,OAAO,iBAAiB,CAAC,WAAW,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;AAChF,CAAC;AAED,iDAAiD;AACpC,QAAA,iBAAiB,GAAG,iBAAiB,CAAC,WAAW,EAAE,CAAC"}

package/dist/core/constraints/checkers/capability-sync.d.ts

@@ -17,7 +17,9 @@
  *
  * 例外：「有表格但零条目」= 文档被清空，判违规（历史门，此前靠 Step 2 兜，现显式化）。
  *
- * 覆盖/漏登判定不在本文件实现，统一走 capabilities-reconcile（ADR-0009）：
+ * 覆盖/漏登判定不在本文件实现：全量对照（解析文档 + 代码实况 + 覆盖/幽灵）由
+ * capabilities-reconcile 一次算好并与 docs_freshness 共用（ADR-0009 + ADR-0023 决策 4），
+ * 本文件只按导出的唯一覆盖规则 `isCoveredByEntries` 算「本次变更」那一维（增量清单属 git 证据）。
  * 目录条目（以 / 结尾）前缀匹配，文件条目精确匹配或路径边界后缀匹配；
  * module 模式下目录条目参与覆盖，未覆盖文件按源码根下第一级子目录聚合。
  *

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

@@ -1 +1 @@
-{"version":3,"file":"capability-sync.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/capability-sync.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAQH,OAAO,EAAkB,KAAK,eAAe,EAAE,MAAM,SAAS,CAAC;AAE/D,eAAO,MAAM,cAAc,EAAE,eAkF5B,CAAC"}
+{"version":3,"file":"capability-sync.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/capability-sync.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAWH,OAAO,EAAkB,KAAK,eAAe,EAAE,MAAM,SAAS,CAAC;AAE/D,eAAO,MAAM,cAAc,EAAE,eA4E5B,CAAC"}

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

@@ -18,7 +18,9 @@
  *
  * 例外：「有表格但零条目」= 文档被清空，判违规（历史门，此前靠 Step 2 兜，现显式化）。
  *
- * 覆盖/漏登判定不在本文件实现，统一走 capabilities-reconcile（ADR-0009）：
+ * 覆盖/漏登判定不在本文件实现：全量对照（解析文档 + 代码实况 + 覆盖/幽灵）由
+ * capabilities-reconcile 一次算好并与 docs_freshness 共用（ADR-0009 + ADR-0023 决策 4），
+ * 本文件只按导出的唯一覆盖规则 `isCoveredByEntries` 算「本次变更」那一维（增量清单属 git 证据）。
  * 目录条目（以 / 结尾）前缀匹配，文件条目精确匹配或路径边界后缀匹配；
  * module 模式下目录条目参与覆盖，未覆盖文件按源码根下第一级子目录聚合。
  *
@@ -32,57 +34,48 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.capabilitySync = void 0;
 const fs_1 = require("fs");
 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");
 const capabilities_reconcile_1 = require("../capabilities-reconcile");
+const run_env_1 = require("../run-env");
 const types_1 = require("./types");
 exports.capabilitySync = {
     id: 'capability_sync',
     async evaluate(env) {
         const projectPath = env.projectPath;
         // ADR-0001 存在性探测：项目未采用 CAPABILITIES.md 约定 → skip（不计 pass/fail）
-        if (!(0, fs_1.existsSync)((0, path_1.join)(projectPath, 'CAPABILITIES.md'))) {
+        if (!(0, fs_1.existsSync)((0, path_1.join)(projectPath, run_env_1.CAPABILITIES_FILE_REL))) {
             return 'skip';
         }
         try {
-            const capabilitiesPath = (0, path_1.join)(projectPath, 'CAPABILITIES.md');
-            const content = (0, fs_1.readFileSync)(capabilitiesPath, 'utf-8');
-            const capabilitiesMode = (0, project_config_loader_1.getCapabilitiesMode)(projectPath);
+            const capabilitiesMode = (0, project_config_loader_1.getCapabilitiesMode)(env);
+            // 文档原文 + 源码根 + 代码实况 + 对照判定 = run 内一份，与 docs_freshness 共用（ADR-0023 决策 4）
+            const caps = env.capabilities((0, capabilities_reconcile_1.collectPopulationFiles)(projectPath, env.sourceRoots(), (root) => env.srcScan(root)));
+            if (!caps)
+                return 'skip'; // 探测与取数之间文档消失：与上方同一语义
+            const verdict = caps.verdict;
             // 清单格式（计数行）没有文件表可核对，计数由 sync-docs 维护，直接放行
-            if (capabilitiesMode === 'listing' || (0, capabilities_parser_1.isCapabilityListingFormat)(content)) {
+            if (capabilitiesMode === 'listing' || verdict.listingFormat) {
                 return true;
             }
-            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));
-                }
-            }
             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,
-            });
+            // 增量覆盖判定留在本文件：变更清单属 git 证据（#87），不在上行数据面
+            const uncoveredChanges = (0, capabilities_reconcile_1.significantCodeChanges)(diffNames).filter((f) => !(0, capabilities_reconcile_1.isCoveredByEntries)(verdict.coverageEntries, f));
             // 无表格的散文文档：历史放行语义
             if (!verdict.hasTable)
                 return true;
             // 文档退化门：有表格却什么都没登记（限定「源码根下确有文件」——空仓 + 空表没有可登记
             // 对象，历史行为是放行，本票不顺手扩大 fail 面）
-            if (verdict.coverageEntries.length === 0 && population.length > 0) {
+            if (verdict.coverageEntries.length === 0 && caps.populationFiles.length > 0) {
                 return {
                     pass: false,
                     evidence: ['CAPABILITIES.md 有表格但零条目登记，运行 harness sync-docs 或直接补登记'],
                 };
             }
             // ── Step 1: Git diff 增量检查（与本次变更有因果，每个变更文件都必须被覆盖）──
-            if (verdict.uncoveredChanges.length > 0) {
+            if (uncoveredChanges.length > 0) {
                 return {
                     pass: false,
-                    evidence: (0, types_1.formatEvidence)(`本次变更有 ${verdict.uncoveredChanges.length} 个文件未登记进 CAPABILITIES.md`, verdict.uncoveredChanges),
+                    evidence: (0, types_1.formatEvidence)(`本次变更有 ${uncoveredChanges.length} 个文件未登记进 CAPABILITIES.md`, uncoveredChanges),
                 };
             }
             // ── Step 2: 全量源码根扫描（T-058）——仓库级漂移，只提示不判违规，见文件头 ──

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;;;;;;;;;;;;;;;;;;;;;;;;;;;;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"}
+{"version":3,"file":"capability-sync.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/capability-sync.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;;;AAEH,2BAAgC;AAChC,+BAA4B;AAC5B,uEAAkE;AAClE,sEAImC;AACnC,wCAAmD;AACnD,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,+BAAqB,CAAC,CAAC,EAAE,CAAC;YAC1D,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,IAAI,CAAC;YACH,MAAM,gBAAgB,GAAG,IAAA,2CAAmB,EAAC,GAAG,CAAC,CAAC;YAClD,wEAAwE;YACxE,MAAM,IAAI,GAAG,GAAG,CAAC,YAAY,CAC3B,IAAA,+CAAsB,EAAC,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CACpF,CAAC;YACF,IAAI,CAAC,IAAI;gBAAE,OAAO,MAAM,CAAC,CAAC,sBAAsB;YAChD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;YAE7B,0CAA0C;YAC1C,IAAI,gBAAgB,KAAK,SAAS,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;gBAC5D,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,SAAS,GAAG,CAAC,MAAM,GAAG,CAAC,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC5E,wCAAwC;YACxC,MAAM,gBAAgB,GAAG,IAAA,+CAAsB,EAAC,SAAS,CAAC,CAAC,MAAM,CAC/D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAA,2CAAkB,EAAC,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC,CACvD,CAAC;YAEF,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,IAAI,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5E,OAAO;oBACL,IAAI,EAAE,KAAK;oBACX,QAAQ,EAAE,CAAC,uDAAuD,CAAC;iBACpE,CAAC;YACJ,CAAC;YAED,oDAAoD;YACpD,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChC,OAAO;oBACL,IAAI,EAAE,KAAK;oBACX,QAAQ,EAAE,IAAA,sBAAc,EACtB,SAAS,gBAAgB,CAAC,MAAM,0BAA0B,EAC1D,gBAAgB,CACjB;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

@@ -6,6 +6,6 @@
  * 不计 pass/fail，与 docs_freshness 同构；判定只走 resolveContextFiles
  * 访问器，不做 governance 手写钻取。
  */
-import type { ConstraintCheck } from './types';
+import { type ConstraintCheck } from './types';
 export declare const contextDocSync: ConstraintCheck;
 //# sourceMappingURL=context-doc-sync.d.ts.map

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;;;;;;;GAOG;AAKH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAE/C,eAAO,MAAM,cAAc,EAAE,eAkB5B,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,EAAkB,KAAK,eAAe,EAAE,MAAM,SAAS,CAAC;AAE/D,eAAO,MAAM,cAAc,EAAE,eAoB5B,CAAC"}

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

@@ -12,19 +12,22 @@ exports.contextDocSync = void 0;
 const fs_1 = require("fs");
 const path_1 = require("path");
 const project_config_loader_1 = require("../../project-config-loader");
+const types_1 = require("./types");
 exports.contextDocSync = {
     id: 'context_doc_sync',
     async evaluate(env) {
         const projectPath = env.projectPath;
-        const resolution = (0, project_config_loader_1.resolveContextFiles)(projectPath);
+        const resolution = (0, project_config_loader_1.resolveContextFiles)(env);
         if (resolution.state !== 'enabled') {
             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;
-            }
+        // 证据随判定一并返回（ADR-0016 补迁）：此前只回裸 false，
+        // 多个 required_dirs 里到底哪个没落 CONTEXT.md，CLI 与 trace 两头都看不出来
+        const missing = resolution.dirs
+            .map(dir => (0, path_1.join)(dir, 'CONTEXT.md'))
+            .filter(rel => !(0, fs_1.existsSync)((0, path_1.join)(projectPath, rel)));
+        if (missing.length > 0) {
+            return { pass: false, evidence: (0, types_1.formatEvidence)('关键目录缺 CONTEXT.md', missing) };
         }
         return true;
     },

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;;;;;;;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"}
+{"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;AAClE,mCAA+D;AAElD,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,GAAG,CAAC,CAAC;QAC5C,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACnC,OAAO,MAAM,CAAC,CAAC,oBAAoB;QACrC,CAAC;QAED,sCAAsC;QACtC,0DAA0D;QAC1D,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI;aAC5B,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAA,WAAI,EAAC,GAAG,EAAE,YAAY,CAAC,CAAC;aACnC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACtD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAA,sBAAc,EAAC,kBAAkB,EAAE,OAAO,CAAC,EAAE,CAAC;QAChF,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;AASH,OAAO,KAAK,EAAE,eAAe,EAAY,MAAM,SAAS,CAAC;AAuEzD,eAAO,MAAM,aAAa,EAAE,eAuD3B,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;AA+DzD,eAAO,MAAM,aAAa,EAAE,eA0D3B,CAAC"}

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

@@ -13,8 +13,8 @@ const fs_1 = require("fs");
 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 run_env_1 = require("../run-env");
 const types_1 = require("./types");
 /**
  * 内置默认文档新鲜度检查配置
@@ -31,28 +31,18 @@ function getBuiltInDocFreshnessConfig() {
 }
 /**
  * CAPABILITIES.md 文件表新鲜度：登记的条目（文件与目录）必须仍存在（ADR-0009 口径从严）。
- * 判定逻辑统一走 capabilities-reconcile；多根查找支持不同项目的源码根
- * （harness=src/, studio=apps/api/src/ 等）。无表格（能力清单格式）时自然零幽灵。
+ * 判定逻辑与取数都在 run 级：文档原文、源码根、代码实况清单、对照判定一次算好，
+ * 与 capability_sync 共用同一份（ADR-0023 决策 4；此前两边各读一遍、各解析一遍）。
+ * 无表格（能力清单格式）时自然零幽灵。
  */
-function findDeadCapabilityEntries(projectPath, env) {
+function findDeadCapabilityEntries(env) {
     try {
-        const capabilitiesPath = (0, path_1.join)(projectPath, 'CAPABILITIES.md');
-        if (!(0, fs_1.existsSync)(capabilitiesPath))
+        // 先探存在性再取数：只有 CHANGELOG 而无 CAPABILITIES.md 的项目不该为此扫一遍源码树
+        if (!(0, fs_1.existsSync)((0, path_1.join)(env.projectPath, run_env_1.CAPABILITIES_FILE_REL)))
             return [];
-        const content = (0, fs_1.readFileSync)(capabilitiesPath, 'utf-8');
-        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));
-        }
-        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;
+        const population = (0, capabilities_reconcile_1.collectPopulationFiles)(env.projectPath, env.sourceRoots(), (root) => env.srcScan(root));
+        const caps = env.capabilities(population);
+        return caps ? caps.verdict.deadEntries : [];
     }
     catch {
         return [];
@@ -69,27 +59,28 @@ function findDeadCapabilityEntries(projectPath, env) {
  *
  * 全部缺失 → 项目未采用该约定，调用方应 skip 而非评估内置默认配置。
  */
-function hasFreshnessTargets(projectPath) {
-    if ((0, fs_1.existsSync)((0, path_1.join)(projectPath, 'CAPABILITIES.md')))
+function hasFreshnessTargets(env) {
+    const projectPath = env.projectPath;
+    if ((0, fs_1.existsSync)((0, path_1.join)(projectPath, run_env_1.CAPABILITIES_FILE_REL)))
         return true;
     if ((0, fs_1.existsSync)((0, path_1.join)(projectPath, 'CHANGELOG.md')) || (0, fs_1.existsSync)((0, path_1.join)(projectPath, 'CHANGELOG'))) {
         return true;
     }
-    const governance = (0, project_config_loader_1.getGovernanceConfig)(projectPath);
+    const governance = (0, project_config_loader_1.getGovernanceConfig)(env);
     if (governance?.doc_freshness?.checks && governance.doc_freshness.checks.length > 0) {
         return true;
     }
-    return (0, project_config_loader_1.resolveContextFiles)(projectPath).state === 'enabled';
+    return (0, project_config_loader_1.resolveContextFiles)(env).state === 'enabled';
 }
 exports.docsFreshness = {
     id: 'docs_freshness',
     async evaluate(env) {
         const projectPath = env.projectPath;
         // ADR-0001 存在性探测：项目无任何 freshness 配置/目标 → skip（不计 pass/fail）
-        if (!hasFreshnessTargets(projectPath))
+        if (!hasFreshnessTargets(env))
             return 'skip';
         // Step 1: 文件表格式 — 登记的条目（文件+目录）是否仍存在（ADR-0009）
-        const deadEntries = findDeadCapabilityEntries(projectPath, env);
+        const deadEntries = findDeadCapabilityEntries(env);
         if (deadEntries.length > 0) {
             // 证据通道点名条目（harness#119）：此前是 console.error 侧信道（2026-08-08 studio
             // CI 4 连红时的临时办法），CLI 结构化输出与 trace 两头都拿不到，
@@ -101,20 +92,23 @@ exports.docsFreshness = {
         }
         // Step 2: 能力清单格式 + CLAUDE.md + CHANGELOG — 通过 FreshnessRunner
         try {
-            const freshnessConfig = (0, project_config_loader_1.getGovernanceConfig)(projectPath)?.doc_freshness;
+            const freshnessConfig = (0, project_config_loader_1.getGovernanceConfig)(env)?.doc_freshness;
             // context_files 三态统一口径（工单 84）：约定已立但无目标（enabled 但
             // required_dirs 缺失/空）→ skip，与 context_doc_sync 同构；不再静默放行
-            const contextFiles = (0, project_config_loader_1.resolveContextFiles)(projectPath);
+            const contextFiles = (0, project_config_loader_1.resolveContextFiles)(env);
             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) {
-                results = runner.runAll(freshnessConfig, projectPath, { requiredDirs });
+                results = runner.runAll(freshnessConfig, projectPath, { requiredDirs, sourceRoots: () => env.sourceRoots() });
             }
             else {
-                results = runner.runAll({ checks: getBuiltInDocFreshnessConfig() }, projectPath, { requiredDirs });
+                results = runner.runAll({ checks: getBuiltInDocFreshnessConfig() }, projectPath, {
+                    requiredDirs,
+                    sourceRoots: () => env.sourceRoots(),
+                });
             }
             const failed = results.filter(r => !r.pass);
             if (failed.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,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"}
+{"version":3,"file":"docs-freshness.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/docs-freshness.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAEH,2BAAgC;AAChC,+BAA4B;AAC5B,uEAAuF;AACvF,oDAAqF;AACrF,sEAAmE;AACnE,wCAAmD;AAGnD,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;;;;;GAKG;AACH,SAAS,yBAAyB,CAAC,GAAa;IAC9C,IAAI,CAAC;QACH,yDAAyD;QACzD,IAAI,CAAC,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,GAAG,CAAC,WAAW,EAAE,+BAAqB,CAAC,CAAC;YAAE,OAAO,EAAE,CAAC;QACzE,MAAM,UAAU,GAAG,IAAA,+CAAsB,EAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CACrF,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAClB,CAAC;QACF,MAAM,IAAI,GAAG,GAAG,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;QAC1C,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,mBAAmB,CAAC,GAAa;IACxC,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC;IACpC,IAAI,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,+BAAqB,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACtE,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,GAAG,CAAC,CAAC;IAC5C,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,GAAG,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC;AACtD,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,GAAG,CAAC;YAAE,OAAO,MAAM,CAAC;QAE7C,8CAA8C;QAC9C,MAAM,WAAW,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC;QACnD,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,GAAG,CAAC,EAAE,aAAa,CAAC;YAEhE,iDAAiD;YACjD,yDAAyD;YACzD,MAAM,YAAY,GAAG,IAAA,2CAAmB,EAAC,GAAG,CAAC,CAAC;YAC9C,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,WAAW,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;YAChH,CAAC;iBAAM,CAAC;gBACN,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,4BAA4B,EAAE,EAAE,EAAE,WAAW,EAAE;oBAC/E,YAAY;oBACZ,WAAW,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,WAAW,EAAE;iBACrC,CAAC,CAAC;YACL,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.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;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"}
+{"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,eA2BhC,CAAC"}

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

@@ -36,7 +36,7 @@ exports.governancePresence = {
         // 存在性探测：无 harness 配置 = 未采用治理约定 → skip（不计 pass/fail）
         let adopted = false;
         try {
-            adopted = (0, project_config_loader_1.loadRawProjectConfig)(projectPath) !== undefined;
+            adopted = (0, project_config_loader_1.loadRawProjectConfig)(env) !== undefined;
         }
         catch {
             adopted = false;
@@ -47,9 +47,15 @@ exports.governancePresence = {
             return true;
         if (hasClaudeGovernance((0, path_1.join)(projectPath, 'CLAUDE.md')))
             return true;
-        console.error('[governance_presence] 治理契约缺失：AGENTS.md 无非空 PRESERVE:governance 段，' +
-            '且 CLAUDE.md 无 Governance Rules 块——约束正本静默丢失，请恢复其一');
-        return false;
+        // 证据随判定一并返回（ADR-0016 补迁）：此前这里是 console.error 侧信道——
+        // 只进本地 stderr，进不了 CLI 结论块与 trace，铁律拦截时用户看不到该恢复哪个正本
+        return {
+            pass: false,
+            evidence: [
+                '治理契约缺失：AGENTS.md 无非空 PRESERVE:governance 段，CLAUDE.md 也无 Governance Rules 块（正本静默丢失）',
+                '修复: 恢复其一（重跑 `harness init` 会同步注入段）',
+            ],
+        };
     },
 };
 //# sourceMappingURL=governance-presence.js.map

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;;;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"}
+{"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,GAAG,CAAC,KAAK,SAAS,CAAC;QACpD,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,mDAAmD;QACnD,mDAAmD;QACnD,OAAO;YACL,IAAI,EAAE,KAAK;YACX,QAAQ,EAAE;gBACR,oFAAoF;gBACpF,oCAAoC;aACrC;SACF,CAAC;IACJ,CAAC;CACF,CAAC"}

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

@@ -5,17 +5,19 @@
  * 通过 ConstraintCheck 接口 + CheckEnv 环境与编排层解耦。
  */
 import type { ConstraintContext } from '../../../types/constraint';
+import { type RunEnv } from '../run-env';
 /**
- * 检查环境：单次 run 内共享的上下文与 memoized I/O
+ * 检查环境：一次 run 内共享的观察面与证据提供者（ADR-0023 决策 1）
  *
- * - stagedDiff/stagedDiffNames：run 内 git 命令至多一次（工单 18）
+ * = `RunEnv`（项目上行数据的读取：config.yml / trace 尾部 / 源根，run 内至多一次）
+ *   + `context` + git/扫描证据。前者不含 context，故只能派生不能合并成一个对象。
+ *
+ * - stagedDiff/stagedDiffNames：run 内 git 命令至多一次（工单 18 / #87）
  * - srcScan：run 内同根源码扫描至多一次（CheckCache）
  */
-export interface CheckEnv {
+export interface CheckEnv extends RunEnv {
     /** 约束上下文（operation/changedFiles/各类证据标志） */
     context: ConstraintContext;
-    /** 项目根路径（context.projectPath || process.cwd()） */
-    projectPath: string;
     /** staged 全量 diff（run 内 memoized） */
     stagedDiff(): Promise<string>;
     /** staged 变更文件名列表（run 内 memoized） */
@@ -44,10 +46,12 @@ export interface EvidenceProviders {
  * - 'none' = 显式不接证据：证据函数返回空；evidence flag 未接线的
  *   checker 按契约返回 'skip'（见 contextEvidenceFlag），直接读空
  *   证据的 checker 在自然输入下判定
+ * - runEnv = 本 run 的运行级观察面（ADR-0023）：传入即与 context-builder 及
+ *   其余 checker 共用同一份上行数据读取；不传则自造一枚，只服务本次调用
  *
  * studio 侧若需 git 证据（#129），传真实 providers 即可。
  */
-export declare function buildCheckEnv(context: ConstraintContext, evidence: EvidenceProviders | 'none'): CheckEnv;
+export declare function buildCheckEnv(context: ConstraintContext, evidence: EvidenceProviders | 'none', runEnv?: RunEnv): CheckEnv;
 /**
  * 检查结果三态（ADR-0001 存在性探测 / flag 未接线）：
  * - true = 满足（pass）

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

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAEnE;;;;;GAKG;AACH,MAAM,WAAW,QAAQ;IACvB,2CAA2C;IAC3C,OAAO,EAAE,iBAAiB,CAAC;IAC3B,kDAAkD;IAClD,WAAW,EAAE,MAAM,CAAC;IACpB,qCAAqC;IACrC,UAAU,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9B,qCAAqC;IACrC,eAAe,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IACnC,gCAAgC;IAChC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;CACjC;AAED;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB;IAChC,qBAAqB;IACrB,UAAU,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9B,qBAAqB;IACrB,eAAe,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IACnC,kBAAkB;IAClB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;CACjC;AAED;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAC3B,OAAO,EAAE,iBAAiB,EAC1B,QAAQ,EAAE,iBAAiB,GAAG,MAAM,GACnC,QAAQ,CAYV;AAED;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,MAAM,GAAG,WAAW,CAAC;AAE1D;;;;;;;;;GASG;AACH,MAAM,WAAW,WAAW;IAC1B,2BAA2B;IAC3B,IAAI,EAAE,OAAO,CAAC;IACd,wCAAwC;IACxC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,iCAAiC;AACjC,MAAM,WAAW,iBAAiB;IAChC,SAAS,EAAE,OAAO,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,wCAAwC;AACxC,eAAO,MAAM,kBAAkB,KAAK,CAAC;AAErC;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAIzE;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,YAAY,GAAG,iBAAiB,CAQ9E;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,8BAA8B;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,oEAAoE;IACpE,QAAQ,CAAC,GAAG,EAAE,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,YAAY,CAAC;CAC/D;AAED;;GAEG;AACH,wBAAgB,WAAW,CACzB,EAAE,EAAE,MAAM,EACV,SAAS,EAAE,CAAC,OAAO,EAAE,iBAAiB,KAAK,OAAO,GACjD,eAAe,CAEjB;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CACjC,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,CAAC,OAAO,EAAE,iBAAiB,KAAK,OAAO,GAAG,SAAS,GACxD,eAAe,CASjB"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAgB,KAAK,MAAM,EAAE,MAAM,YAAY,CAAC;AAEvD;;;;;;;;GAQG;AACH,MAAM,WAAW,QAAS,SAAQ,MAAM;IACtC,2CAA2C;IAC3C,OAAO,EAAE,iBAAiB,CAAC;IAC3B,qCAAqC;IACrC,UAAU,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9B,qCAAqC;IACrC,eAAe,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IACnC,gCAAgC;IAChC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;CACjC;AAED;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB;IAChC,qBAAqB;IACrB,UAAU,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9B,qBAAqB;IACrB,eAAe,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IACnC,kBAAkB;IAClB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;CACjC;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,aAAa,CAC3B,OAAO,EAAE,iBAAiB,EAC1B,QAAQ,EAAE,iBAAiB,GAAG,MAAM,EACpC,MAAM,CAAC,EAAE,MAAM,GACd,QAAQ,CAaV;AAED;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,MAAM,GAAG,WAAW,CAAC;AAE1D;;;;;;;;;GASG;AACH,MAAM,WAAW,WAAW;IAC1B,2BAA2B;IAC3B,IAAI,EAAE,OAAO,CAAC;IACd,wCAAwC;IACxC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,iCAAiC;AACjC,MAAM,WAAW,iBAAiB;IAChC,SAAS,EAAE,OAAO,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,wCAAwC;AACxC,eAAO,MAAM,kBAAkB,KAAK,CAAC;AAErC;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAIzE;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,YAAY,GAAG,iBAAiB,CAQ9E;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,8BAA8B;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,oEAAoE;IACpE,QAAQ,CAAC,GAAG,EAAE,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,YAAY,CAAC;CAC/D;AAED;;GAEG;AACH,wBAAgB,WAAW,CACzB,EAAE,EAAE,MAAM,EACV,SAAS,EAAE,CAAC,OAAO,EAAE,iBAAiB,KAAK,OAAO,GACjD,eAAe,CAEjB;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CACjC,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,CAAC,OAAO,EAAE,iBAAiB,KAAK,OAAO,GAAG,SAAS,GACxD,eAAe,CASjB"}