@dommaker/harness 1.3.0 → 1.4.0

package/dist/core/constraints/checker.js

@@ -13,14 +13,15 @@ exports.checkConstraint = checkConstraint;
 exports.checkConstraints = checkConstraints;
 exports.checkBeforeExecution = checkBeforeExecution;
 const constraint_1 = require("../../types/constraint");
-const traces_1 = require("../../monitoring/traces");
 const definitions_1 = require("./definitions");
 const exec_1 = require("../../utils/exec");
-const exec_2 = require("../../utils/exec");
 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 NOOP_TRACE_RECORDER = { record: () => undefined };
 /**
  * 约束检查器
  */
@@ -28,50 +29,13 @@ class ConstraintChecker {
     static instance;
     /** 检查结果缓存（S7：src 扫描等重复 I/O，TTL=1s 防跨测试污染） */
     cache = new check_cache_1.CheckCache({ ttlMs: 1000 });
-    /**
-     * run 级 memo（工单 18）：一次 checkConstraints 内
-     * git diff 等命令只执行一次；run 外直接调用私有检查方法时不 memo（恒新鲜）。
-     */
-    runCache = null;
-    /** trace 记录器（注入式；null = 未显式注入，首次记录时惰性接线全局收集器） */
-    traceRecorder = null;
-    constructor() { }
-    /**
-     * 取 trace 记录器：未显式注入时惰性接线全局收集器（幂等，ADR-0003 副作用收敛）
-     */
-    getRecorder() {
-        if (!this.traceRecorder) {
-            this.traceRecorder = (0, traces_1.getTraceCollector)();
-        }
-        return this.traceRecorder;
-    }
-    /**
-     * run 内 memoize；无活动 run 时直接执行（工单 18）
-     */
-    memoRun(key, fn) {
-        if (!this.runCache)
-            return fn();
-        let pending = this.runCache.get(key);
-        if (!pending) {
-            pending = fn();
-            this.runCache.set(key, pending);
-        }
-        return pending;
+    /** trace 记录器（构造注入；缺省 no-op） */
+    traceRecorder;
+    constructor(traceRecorder = NOOP_TRACE_RECORDER) {
+        this.traceRecorder = traceRecorder;
     }
     /**
-     * staged 全量 diff（同一次 run 内只执行一次 git 命令，工单 18）
-     */
-    getStagedDiff(projectPath) {
-        return this.memoRun(`git_diff_staged:${projectPath}`, () => (0, exec_2.runCommand)('git diff --cached', projectPath));
-    }
-    /**
-     * staged 变更文件名列表（同一次 run 内只执行一次 git 命令，工单 18）
-     */
-    getStagedDiffNames(projectPath) {
-        return this.memoRun(`git_diff_staged_names:${projectPath}`, () => (0, exec_2.runCommand)('git diff --cached --name-only', projectPath));
-    }
-    /**
-     * 获取单例实例
+     * 获取单例实例（未接线记录器的默认实例：不写 trace）
      */
     static getInstance() {
         if (!ConstraintChecker.instance) {
@@ -79,12 +43,6 @@ class ConstraintChecker {
         }
         return ConstraintChecker.instance;
     }
-    /**
-     * 注入 trace 记录器（测试/定制场景；不调用则首次记录时惰性接线全局收集器）
-     */
-    setTraceRecorder(recorder) {
-        this.traceRecorder = recorder;
-    }
     /**
      * 获取当前的约束集合（内置 + 自定义）
      *
@@ -106,8 +64,10 @@ class ConstraintChecker {
     }
     /**
      * 检查单个约束
+     *
+     * @param evidence 可选，本 run 的 git 证据实例（#87）；不传 = 本次调用独占一份真 git 证据
      */
-    async check(constraint, context) {
+    async check(constraint, context, evidence) {
         // prompt 类约束不参与 checker 执行（ADR-0001：仅参与注入）
         if (constraint.kind === 'prompt') {
             return {
@@ -119,7 +79,7 @@ class ConstraintChecker {
             };
         }
         // 检查前置条件（'skip' = 约定未采用/证据未接线：satisfied 置 true 但不计 pass/fail）
-        const outcome = await this.checkPrecondition(constraint, context);
+        const outcome = await this.checkPrecondition(constraint, context, evidence);
         if (outcome === 'skip') {
             return {
                 id: constraint.id,
@@ -157,22 +117,11 @@ class ConstraintChecker {
                 return 'warning';
         }
     }
-    /**
-     * 判断约束是否匹配当前触发条件
-     *
-     * context.operation 为主触发条件，context.extraTriggers 为次级推断
-     * （ADR-0001：pre-commit 代码变更附加 code_implementation），任一命中即匹配。
-     */
-    matchesTrigger(constraint, context) {
-        const triggers = (0, exec_1.normalizeTriggers)(constraint.trigger);
-        const operations = [context.operation, ...(context.extraTriggers ?? [])];
-        return operations.some(op => triggers.includes(op));
-    }
     /**
      * 记录约束检查的 trace
      */
-    recordTrace(collector, constraint, checkResult, context) {
-        collector.record({
+    recordTrace(constraint, checkResult, context) {
+        this.traceRecorder.record({
             constraintId: constraint.id,
             level: constraint.level,
             timestamp: Date.now(),
@@ -188,17 +137,21 @@ class ConstraintChecker {
      *
      * 注册表闭环（ADR-0001）：kind='check' 未注册 checker 直接抛错，
      * 不再有"未注册默认通过"路径；kind='prompt' 在 check() 入口已短路。
+     *
+     * git 证据（stagedDiff/stagedDiffNames）单一来源 = GitEvidence adapter（#87）：
+     * 一次 run 内调用方传同一实例即至多取证一次，run 外调用独占一份。
      */
-    async checkPrecondition(constraint, context) {
+    async checkPrecondition(constraint, context, evidence) {
         const impl = (0, checkers_1.getConstraintCheck)(constraint.id);
         if (!impl) {
             throw new Error(`[harness] 约束 "${constraint.id}" (kind='check') 未注册 checker，拒绝静默通过。` +
                 `请在 checkers/ 注册实现，或将约束改为 kind='prompt'。`);
         }
         const projectPath = context.projectPath || process.cwd();
+        const git = evidence ?? (0, git_evidence_1.createGitEvidence)(projectPath);
         const env = (0, checkers_1.buildCheckEnv)(context, {
-            stagedDiff: () => this.getStagedDiff(projectPath),
-            stagedDiffNames: () => this.getStagedDiffNames(projectPath),
+            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))),
         });
         return await impl.evaluate(env);
@@ -213,12 +166,7 @@ class ConstraintChecker {
         const operations = [context.operation, ...(context.extraTriggers ?? [])];
         const constraints = this.getConstraints(customConfig);
         const filterByTrigger = (constraintSet) => {
-            return Object.values(constraintSet).filter(constraint => {
-                const triggers = Array.isArray(constraint.trigger)
-                    ? constraint.trigger
-                    : [constraint.trigger];
-                return operations.some(op => triggers.includes(op));
-            });
+            return Object.values(constraintSet).filter(constraint => (0, exec_1.matchesTrigger)(constraint, operations));
         };
         return {
             ironLaws: filterByTrigger(constraints.ironLaws),
@@ -234,63 +182,64 @@ class ConstraintChecker {
      *
      * @param context 约束上下文
      * @param customConfig 可选，per-request 自定义配置（避免多请求间的单例状态污染）
+     * @param evidence 可选，本 run 的 git 证据 adapter（#87）。调用方（CLI check）与
+     *   buildConstraintContext 传同一实例 → 一次 run 内 git 取证单一来源；
+     *   不传则本 run 自建一份，run 级 memo 照样生效（memo 在实例层，非隐式全局）。
      */
-    async checkConstraints(context, customConfig) {
-        // run 起始：重置 run 级缓存；run 结束（含铁律提前抛出）清空（工单 18）
+    async checkConstraints(context, customConfig, evidence) {
+        // run 起始：重置 src 扫描缓存（S7）；git 证据 = 本 run 独占的 adapter 实例（工单 18 → #87）
         this.cache.invalidate();
-        this.runCache = new Map();
-        try {
-            const result = {
-                ironLaws: [],
-                guidelines: [],
-                passed: true,
-                warningCount: 0,
-            };
-            const traceCollector = this.getRecorder();
-            const constraints = this.getConstraints(customConfig);
-            // 1. Iron Laws: 必须全部通过
-            for (const constraint of Object.values(constraints.ironLaws)) {
-                if (!this.matchesTrigger(constraint, context))
-                    continue;
-                const checkResult = await this.check(constraint, context);
-                result.ironLaws.push(checkResult);
-                this.recordTrace(traceCollector, constraint, checkResult, context);
-                if (!checkResult.satisfied) {
-                    result.passed = false;
-                    throw new constraint_1.ConstraintViolationError(checkResult);
-                }
-            }
-            // 2. Guidelines: 记录警告
-            for (const constraint of Object.values(constraints.guidelines)) {
-                if (!this.matchesTrigger(constraint, context))
-                    continue;
-                const checkResult = await this.check(constraint, context);
-                result.guidelines.push(checkResult);
-                this.recordTrace(traceCollector, constraint, checkResult, context);
-                if (!checkResult.satisfied) {
-                    result.warningCount++;
-                }
+        const run = evidence ?? (0, git_evidence_1.createGitEvidence)(context.projectPath || process.cwd());
+        const result = {
+            ironLaws: [],
+            guidelines: [],
+            passed: true,
+            warningCount: 0,
+        };
+        const constraints = this.getConstraints(customConfig);
+        // context.operation 为主触发条件，extraTriggers 为次级推断（ADR-0001），任一命中即匹配
+        const operations = [context.operation, ...(context.extraTriggers ?? [])];
+        // 1. Iron Laws: 必须全部通过
+        for (const constraint of Object.values(constraints.ironLaws)) {
+            if (!(0, exec_1.matchesTrigger)(constraint, operations))
+                continue;
+            const checkResult = await this.check(constraint, context, run);
+            result.ironLaws.push(checkResult);
+            this.recordTrace(constraint, checkResult, context);
+            if (!checkResult.satisfied) {
+                result.passed = false;
+                throw new constraint_1.ConstraintViolationError(checkResult);
             }
-            return result;
         }
-        finally {
-            this.runCache = null;
+        // 2. Guidelines: 记录警告
+        for (const constraint of Object.values(constraints.guidelines)) {
+            if (!(0, exec_1.matchesTrigger)(constraint, operations))
+                continue;
+            const checkResult = await this.check(constraint, context, run);
+            result.guidelines.push(checkResult);
+            this.recordTrace(constraint, checkResult, context);
+            if (!checkResult.satisfied) {
+                result.warningCount++;
+            }
         }
+        return result;
     }
     /**
      * 执行前检查（仅检查 Iron Laws）
      *
      * @param context 约束上下文
      * @param customConfig 可选，per-request 自定义配置（避免多请求间的单例状态污染）
+     * @param evidence 可选，本次检查共用的 git 证据 adapter（#87，同 checkConstraints）
      * @throws ConstraintViolationError 如果有铁律违规
      */
-    async beforeExecution(context, customConfig) {
+    async beforeExecution(context, customConfig, evidence) {
+        const run = evidence ?? (0, git_evidence_1.createGitEvidence)(context.projectPath || process.cwd());
         const constraints = this.getConstraints(customConfig);
         const operations = [context.operation, ...(context.extraTriggers ?? [])];
         for (const constraint of Object.values(constraints.ironLaws)) {
-            if (!(0, exec_1.normalizeTriggers)(constraint.trigger).some((t) => operations.includes(t)))
+            if (!(0, exec_1.matchesTrigger)(constraint, operations))
                 continue;
-            const result = await this.check(constraint, context);
+            const result = await this.check(constraint, context, run);
             if (!result.satisfied) {
                 throw new constraint_1.ConstraintViolationError(result);
             }
@@ -349,6 +298,6 @@ async function checkConstraints(context, options) {
 async function checkBeforeExecution(context, customConfig) {
     return ConstraintChecker.getInstance().beforeExecution(context, customConfig);
 }
-// 导出单例
+// 导出单例（未接线记录器：只评估约束，不写 trace；写 trace 由组合根自行 new）
 exports.constraintChecker = ConstraintChecker.getInstance();
 //# sourceMappingURL=checker.js.map

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;;;AAwYH,0CAwBC;AAmBD,4CAUC;AAQD,oDAKC;AAxcD,uDAQgC;AAEhC,oDAA4D;AAC5D,+CAA+D;AAE/D,2CAAqD;AACrD,2CAA8C;AAC9C,+BAAsC;AACtC,+CAA2C;AAC3C,qDAA0D;AAC1D,yCAAkF;AAalF;;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;;;OAGG;IACK,QAAQ,GAAwC,IAAI,CAAC;IAE7D,iDAAiD;IACzC,aAAa,GAAyB,IAAI,CAAC;IAEnD,gBAAuB,CAAC;IAExB;;OAEG;IACK,WAAW;QACjB,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;YACxB,IAAI,CAAC,aAAa,GAAG,IAAA,0BAAiB,GAAE,CAAC;QAC3C,CAAC;QACD,OAAO,IAAI,CAAC,aAAa,CAAC;IAC5B,CAAC;IAED;;OAEG;IACK,OAAO,CAAC,GAAW,EAAE,EAAyB;QACpD,IAAI,CAAC,IAAI,CAAC,QAAQ;YAAE,OAAO,EAAE,EAAE,CAAC;QAChC,IAAI,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,GAAG,EAAE,EAAE,CAAC;YACf,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACK,aAAa,CAAC,WAAmB;QACvC,OAAO,IAAI,CAAC,OAAO,CAAC,mBAAmB,WAAW,EAAE,EAAE,GAAG,EAAE,CACzD,IAAA,iBAAU,EAAC,mBAAmB,EAAE,WAAW,CAAC,CAC7C,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,kBAAkB,CAAC,WAAmB;QAC5C,OAAO,IAAI,CAAC,OAAO,CAAC,yBAAyB,WAAW,EAAE,EAAE,GAAG,EAAE,CAC/D,IAAA,iBAAU,EAAC,+BAA+B,EAAE,WAAW,CAAC,CACzD,CAAC;IACJ,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;;OAEG;IACH,gBAAgB,CAAC,QAAuB;QACtC,IAAI,CAAC,aAAa,GAAG,QAAQ,CAAC;IAChC,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;;OAEG;IACH,KAAK,CAAC,KAAK,CACT,UAAsB,EACtB,OAA0B;QAE1B,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,MAAM,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAElE,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;YACvB,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;QAE1B,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,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;;;;;OAKG;IACK,cAAc,CAAC,UAAsB,EAAE,OAA0B;QACvE,MAAM,QAAQ,GAAG,IAAA,wBAAiB,EAAoB,UAAU,CAAC,OAAO,CAAC,CAAC;QAC1E,MAAM,UAAU,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;QACzE,OAAO,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACtD,CAAC;IAED;;OAEG;IACK,WAAW,CACjB,SAAwB,EACxB,UAAsB,EACtB,WAA6B,EAC7B,OAA0B;QAE1B,SAAS,CAAC,MAAM,CAAC;YACf,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;SAC7B,CAAC,CAAC;IACL,CAAC;IAED;;;;;OAKG;IACK,KAAK,CAAC,iBAAiB,CAC7B,UAAsB,EACtB,OAA0B;QAE1B,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,IAAA,wBAAa,EAAC,OAAO,EAAE;YACjC,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC;YACjD,eAAe,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAC,WAAW,CAAC;YAC3D,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;gBACtD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;oBAChD,CAAC,CAAC,UAAU,CAAC,OAAO;oBACpB,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;gBACzB,OAAO,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;YACtD,CAAC,CAAC,CAAC;QACL,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;;;;;;;;OAQG;IACH,KAAK,CAAC,gBAAgB,CACpB,OAA0B,EAC1B,YAA6C;QAE7C,6CAA6C;QAC7C,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QACxB,IAAI,CAAC,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC;QAE1B,IAAI,CAAC;YACH,MAAM,MAAM,GAA0B;gBACpC,QAAQ,EAAE,EAAE;gBACZ,UAAU,EAAE,EAAE;gBACd,MAAM,EAAE,IAAI;gBACZ,YAAY,EAAE,CAAC;aAChB,CAAC;YAEF,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;YAC1C,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;YAEtD,uBAAuB;YACvB,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7D,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC;oBAAE,SAAS;gBAExD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAC1D,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAClC,IAAI,CAAC,WAAW,CAAC,cAAc,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;gBAEnE,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;oBAC3B,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC;oBACtB,MAAM,IAAI,qCAAwB,CAAC,WAAW,CAAC,CAAC;gBAClD,CAAC;YACH,CAAC;YAED,sBAAsB;YACtB,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC/D,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC;oBAAE,SAAS;gBAExD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAC1D,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBACpC,IAAI,CAAC,WAAW,CAAC,cAAc,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;gBAEnE,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;oBAC3B,MAAM,CAAC,YAAY,EAAE,CAAC;gBACxB,CAAC;YACH,CAAC;YAED,OAAO,MAAM,CAAC;QAChB,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACvB,CAAC;IACH,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,eAAe,CACnB,OAA0B,EAC1B,YAA6C;QAE7C,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,wBAAiB,EAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAAE,SAAS;YAEzF,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YACrD,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;gBACtB,MAAM,IAAI,qCAAwB,CAAC,MAAM,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;IACH,CAAC;CACF;AAzVD,8CAyVC;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,OAAO;AACM,QAAA,iBAAiB,GAAG,iBAAiB,CAAC,WAAW,EAAE,CAAC"}
+{"version":3,"file":"checker.js","sourceRoot":"","sources":["../../../src/core/constraints/checker.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAiVH,0CAwBC;AAmBD,4CAUC;AAQD,oDAKC;AAjZD,uDAOgC;AAEhC,+CAA+D;AAE/D,2CAAkD;AAClD,+BAAsC;AACtC,+CAA2C;AAC3C,qDAA0D;AAC1D,yCAAkF;AAClF,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,MAAM,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAE5E,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;YACvB,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;QAE1B,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,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;SAC7B,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,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,uBAAuB;QACvB,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,MAAM,IAAI,qCAAwB,CAAC,WAAW,CAAC,CAAC;YAClD,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;AAjSD,8CAiSC;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

@@ -5,11 +5,12 @@
  *   1. Git diff 增量 — 当前变更的非测试文件是否在文档中有记录
  *   2. 全量扫描 — 源码根下所有源文件是否都在 CAPABILITIES.md 中（T-058）
  *
- * 覆盖判定两步统一（isCoveredBy）：目录条目（以 / 结尾）前缀匹配，
- * 文件条目精确匹配或路径边界后缀匹配。module 模式下目录条目参与覆盖，
- * 未覆盖文件按源码根下第一级子目录聚合。
+ * 覆盖/漏登判定不在本文件实现，统一走 capabilities-reconcile（ADR-0009）：
+ * 目录条目（以 / 结尾）前缀匹配，文件条目精确匹配或路径边界后缀匹配；
+ * module 模式下目录条目参与覆盖，未覆盖文件按源码根下第一级子目录聚合。
  *
  * 清单格式（计数行，mode=listing 或嗅探命中）无文件表可核对，直接放行；
+ * 「有表格但零条目」不得放行，无表格的散文文档保持历史放行；
  * 检查异常时 fail-open 但输出 console.warn 保留可观测性。
  *
  * ADR-0001 存在性探测：项目根无 CAPABILITIES.md（未采用该约定）时返回 'skip'，

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;;;;;;;;;;;;;;;;GAgBG;AAWH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAoB/C,eAAO,MAAM,cAAc,EAAE,eA8F5B,CAAC"}
+{"version":3,"file":"capability-sync.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/capability-sync.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAQH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAE/C,eAAO,MAAM,cAAc,EAAE,eAuD5B,CAAC"}

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

@@ -6,11 +6,12 @@
  *   1. Git diff 增量 — 当前变更的非测试文件是否在文档中有记录
  *   2. 全量扫描 — 源码根下所有源文件是否都在 CAPABILITIES.md 中（T-058）
  *
- * 覆盖判定两步统一（isCoveredBy）：目录条目（以 / 结尾）前缀匹配，
- * 文件条目精确匹配或路径边界后缀匹配。module 模式下目录条目参与覆盖，
- * 未覆盖文件按源码根下第一级子目录聚合。
+ * 覆盖/漏登判定不在本文件实现，统一走 capabilities-reconcile（ADR-0009）：
+ * 目录条目（以 / 结尾）前缀匹配，文件条目精确匹配或路径边界后缀匹配；
+ * module 模式下目录条目参与覆盖，未覆盖文件按源码根下第一级子目录聚合。
  *
  * 清单格式（计数行，mode=listing 或嗅探命中）无文件表可核对，直接放行；
+ * 「有表格但零条目」不得放行，无表格的散文文档保持历史放行；
  * 检查异常时 fail-open 但输出 console.warn 保留可观测性。
  *
  * ADR-0001 存在性探测：项目根无 CAPABILITIES.md（未采用该约定）时返回 'skip'，
@@ -23,20 +24,7 @@ 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");
 exports.capabilitySync = {
     id: 'capability_sync',
     async evaluate(env) {
@@ -47,68 +35,40 @@ 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;
+            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,
+            });
+            // 零条目门槛：有表格但什么都没登记时不得直接放行
+            const gateOpen = verdict.coverageEntries.length === 0 && !verdict.hasTable;
+            if (gateOpen)
+                return true;
+            // ── Step 1: Git diff 增量检查（每个变更文件都必须被覆盖）──
+            if (verdict.uncoveredChanges.length > 0)
+                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;
-                }
+                if (verdict.uncoveredDirs.length > 0)
+                    return false;
             }
-            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;
-                            }
-                        }
-                    }
-                }
+            else if (verdict.uncoveredFiles.length > 0) {
+                return false;
             }
             return true;
         }

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;;;;;;;;;;;;;;;;;GAiBG;;;AAEH,2BAA8C;AAC9C,+BAA4B;AAC5B,gEAAmE;AACnE,uEAAkE;AAClE,4EAAuE;AACvE,sEAA0F;AAG7E,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,0BAA0B;YAC1B,MAAM,QAAQ,GAAG,OAAO,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;YAC3E,IAAI,QAAQ;gBAAE,OAAO,IAAI,CAAC;YAE1B,2CAA2C;YAC3C,IAAI,OAAO,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YAEtD,mCAAmC;YACnC,IAAI,gBAAgB,KAAK,QAAQ,EAAE,CAAC;gBAClC,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;oBAAE,OAAO,KAAK,CAAC;YACrD,CAAC;iBAAM,IAAI,OAAO,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC7C,OAAO,KAAK,CAAC;YACf,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"}

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

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

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

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

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

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

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

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

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

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