@dommaker/harness 1.6.0 → 1.8.0

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

@@ -12,6 +12,7 @@ exports.formatEvidence = formatEvidence;
 exports.normalizeCheckOutcome = normalizeCheckOutcome;
 exports.contextFlag = contextFlag;
 exports.contextEvidenceFlag = contextEvidenceFlag;
+const run_env_1 = require("../run-env");
 /**
  * 构造 CheckEnv：生产侧唯一构造点
  *
@@ -19,21 +20,24 @@ exports.contextEvidenceFlag = contextEvidenceFlag;
  * - 'none' = 显式不接证据：证据函数返回空；evidence flag 未接线的
  *   checker 按契约返回 'skip'（见 contextEvidenceFlag），直接读空
  *   证据的 checker 在自然输入下判定
+ * - runEnv = 本 run 的运行级观察面（ADR-0023）：传入即与 context-builder 及
+ *   其余 checker 共用同一份上行数据读取；不传则自造一枚，只服务本次调用
  *
  * studio 侧若需 git 证据（#129），传真实 providers 即可。
  */
-function buildCheckEnv(context, evidence) {
+function buildCheckEnv(context, evidence, runEnv) {
     const projectPath = context.projectPath || process.cwd();
+    const run = runEnv ?? (0, run_env_1.createRunEnv)(projectPath);
     if (evidence === 'none') {
         return {
+            ...run,
             context,
-            projectPath,
             stagedDiff: async () => '',
             stagedDiffNames: async () => '',
             srcScan: () => [],
         };
     }
-    return { context, projectPath, ...evidence };
+    return { ...run, context, ...evidence };
 }
 /** 证据条数上限：trace 是 JSONL，缺口上百项时不能整仓落盘 */
 exports.MAX_EVIDENCE_ITEMS = 10;

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

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/types.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAgDH,sCAeC;AA6CD,wCAIC;AAOD,sDAQC;AAeD,kCAKC;AASD,kDAYC;AAlID;;;;;;;;;GASG;AACH,SAAgB,aAAa,CAC3B,OAA0B,EAC1B,QAAoC;IAEpC,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACzD,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QACxB,OAAO;YACL,OAAO;YACP,WAAW;YACX,UAAU,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE;YAC1B,eAAe,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE;YAC/B,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE;SAClB,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,QAAQ,EAAE,CAAC;AAC/C,CAAC;AAmCD,wCAAwC;AAC3B,QAAA,kBAAkB,GAAG,EAAE,CAAC;AAErC;;;;;;GAMG;AACH,SAAgB,cAAc,CAAC,OAAe,EAAE,KAAe;IAC7D,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,0BAAkB,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC3C,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC9F,CAAC;AAED;;;;GAIG;AACH,SAAgB,qBAAqB,CAAC,OAAqB;IACzD,IAAI,OAAO,KAAK,MAAM;QAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAChF,IAAI,OAAO,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC9F,OAAO;QACL,SAAS,EAAE,OAAO,CAAC,IAAI;QACvB,OAAO,EAAE,KAAK;QACd,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,EAAE;KACjC,CAAC;AACJ,CAAC;AAYD;;GAEG;AACH,SAAgB,WAAW,CACzB,EAAU,EACV,SAAkD;IAElD,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,mBAAmB,CACjC,EAAU,EACV,IAAyD;IAEzD,OAAO;QACL,EAAE;QACF,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE;YAChB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAChC,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,MAAM,CAAC;YACvC,OAAO,KAAK,CAAC;QACf,CAAC;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/types.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAoDH,sCAiBC;AA6CD,wCAIC;AAOD,sDAQC;AAeD,kCAKC;AASD,kDAYC;AA3KD,wCAAuD;AAqCvD;;;;;;;;;;;GAWG;AACH,SAAgB,aAAa,CAC3B,OAA0B,EAC1B,QAAoC,EACpC,MAAe;IAEf,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACzD,MAAM,GAAG,GAAG,MAAM,IAAI,IAAA,sBAAY,EAAC,WAAW,CAAC,CAAC;IAChD,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QACxB,OAAO;YACL,GAAG,GAAG;YACN,OAAO;YACP,UAAU,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE;YAC1B,eAAe,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE;YAC/B,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE;SAClB,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,GAAG,QAAQ,EAAE,CAAC;AAC1C,CAAC;AAmCD,wCAAwC;AAC3B,QAAA,kBAAkB,GAAG,EAAE,CAAC;AAErC;;;;;;GAMG;AACH,SAAgB,cAAc,CAAC,OAAe,EAAE,KAAe;IAC7D,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,0BAAkB,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC3C,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC9F,CAAC;AAED;;;;GAIG;AACH,SAAgB,qBAAqB,CAAC,OAAqB;IACzD,IAAI,OAAO,KAAK,MAAM;QAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAChF,IAAI,OAAO,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC9F,OAAO;QACL,SAAS,EAAE,OAAO,CAAC,IAAI;QACvB,OAAO,EAAE,KAAK;QACd,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,EAAE;KACjC,CAAC;AACJ,CAAC;AAYD;;GAEG;AACH,SAAgB,WAAW,CACzB,EAAU,EACV,SAAkD;IAElD,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,mBAAmB,CACjC,EAAU,EACV,IAAyD;IAEzD,OAAO;QACL,EAAE;QACF,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE;YAChB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAChC,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,MAAM,CAAC;YACvC,OAAO,KAAK,CAAC;QACf,CAAC;KACF,CAAC;AACJ,CAAC"}

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

@@ -8,7 +8,13 @@
  * 架构评审 #87：本模块只做装配不做取证——git 证据一律经 git-evidence
  * adapter 取（缺省真 git adapter，调用方可注入与 checker 层同源的那一份），
  * 因此此处不再有 child_process / raw execSync。
+ *
+ * ADR-0023：同理，trace 记录与源码根探测改经运行级观察面 `RunEnv` 取——
+ * 此前本模块的两个证据探测各自整读一次 traces.log、detectTrigger 与 checker 层
+ * 各探一次源码根，同一次运行内重复读同一批文件。缺省自造一份 env，调用方（CLI check）
+ * 注入即全 run 共用。
  */
+import { type RunEnv } from './run-env';
 import type { ConstraintContext, ConstraintTrigger } from '../../types/constraint';
 import { type GitEvidence } from './git-evidence';
 /**
@@ -30,22 +36,14 @@ export declare function detectTrigger(changedFiles: string[], options: {
     trigger?: ConstraintTrigger;
     projectPath?: string;
     evidence?: GitEvidence;
+    /** 运行级观察面（ADR-0023）：注入即与其余消费方共用同一份源根探测 */
+    runEnv?: RunEnv;
 }): ConstraintTrigger | ConstraintTrigger[];
-/**
- * 检测是否有失败的测试记录
- * 扫描 trace 文件（DEFAULT_TRACE_FILE）中最近的记录
- */
-export declare function detectFailingTest(projectPath: string): Promise<boolean>;
 /**
  * 检测是否有根因分析文档
  * 检查 ROOT_CAUSE.md、.harness/diagnoses/、或 git commit 消息
  */
 export declare function detectRootCauseInvestigation(projectPath: string): boolean;
-/**
- * 检测是否有验证证据
- * 检查 trace 文件（DEFAULT_TRACE_FILE）中最近的成功验证记录
- */
-export declare function detectVerificationEvidence(projectPath: string): Promise<boolean>;
 /**
  * 检测是否有需求来源
  * 检查 CLAUDE.md、README.md、specs/、docs/specs/ 等
@@ -61,11 +59,14 @@ export declare function detectReuseCheck(projectPath: string): boolean;
  *
  * options.evidence（#87）：git 证据适配器。调用方（CLI check）注入同一实例给
  * checkConstraints，即可让 context-builder 与 checker 层共用同一证据来源。
+ * options.runEnv（ADR-0023）：运行级观察面。注入即本函数内的源根探测与两处 trace
+ * 证据探测与其余消费方共用同一份读取，缺省自造一份（只服务本次调用）。
  */
 export declare function buildConstraintContext(options: {
     projectPath?: string;
     staged: boolean;
     trigger?: ConstraintTrigger;
     evidence?: GitEvidence;
+    runEnv?: RunEnv;
 }): Promise<ConstraintContext>;
 //# sourceMappingURL=context-builder.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"context-builder.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/context-builder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAQH,OAAO,KAAK,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AACnF,OAAO,EAAqC,KAAK,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAErF;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAGtF;AASD;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAC3B,YAAY,EAAE,MAAM,EAAE,EACtB,OAAO,EAAE;IACP,OAAO,CAAC,EAAE,iBAAiB,CAAC;IAC5B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,WAAW,CAAC;CACxB,GACA,iBAAiB,GAAG,iBAAiB,EAAE,CA8BzC;AAED;;;GAGG;AACH,wBAAsB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAW7E;AAED;;;GAGG;AACH,wBAAgB,4BAA4B,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAgBzE;AAED;;;GAGG;AACH,wBAAsB,0BAA0B,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAYtF;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAqB9D;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAY7D;AAED;;;;;GAKG;AACH,wBAAsB,sBAAsB,CAAC,OAAO,EAAE;IACpD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,CAAC,EAAE,iBAAiB,CAAC;IAC5B,QAAQ,CAAC,EAAE,WAAW,CAAC;CACxB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAmB7B"}
+{"version":3,"file":"context-builder.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/context-builder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAIH,OAAO,EAAmC,KAAK,MAAM,EAAE,MAAM,WAAW,CAAC;AACzE,OAAO,KAAK,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AACnF,OAAO,EAAqC,KAAK,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAErF;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAGtF;AASD;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAC3B,YAAY,EAAE,MAAM,EAAE,EACtB,OAAO,EAAE;IACP,OAAO,CAAC,EAAE,iBAAiB,CAAC;IAC5B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,WAAW,CAAC;IACvB,0CAA0C;IAC1C,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GACA,iBAAiB,GAAG,iBAAiB,EAAE,CA8BzC;AAgBD;;;GAGG;AACH,wBAAgB,4BAA4B,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAgBzE;AAmBD;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAqB9D;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAY7D;AAED;;;;;;;GAOG;AACH,wBAAsB,sBAAsB,CAAC,OAAO,EAAE;IACpD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,CAAC,EAAE,iBAAiB,CAAC;IAC5B,QAAQ,CAAC,EAAE,WAAW,CAAC;IACvB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAyB7B"}

package/dist/core/constraints/context-builder.js

@@ -9,6 +9,11 @@
  * 架构评审 #87：本模块只做装配不做取证——git 证据一律经 git-evidence
  * adapter 取（缺省真 git adapter，调用方可注入与 checker 层同源的那一份），
  * 因此此处不再有 child_process / raw execSync。
+ *
+ * ADR-0023：同理，trace 记录与源码根探测改经运行级观察面 `RunEnv` 取——
+ * 此前本模块的两个证据探测各自整读一次 traces.log、detectTrigger 与 checker 层
+ * 各探一次源码根，同一次运行内重复读同一批文件。缺省自造一份 env，调用方（CLI check）
+ * 注入即全 run 共用。
  */
 var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
     if (k2 === undefined) k2 = k;
@@ -46,17 +51,13 @@ var __importStar = (this && this.__importStar) || (function () {
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.isNewDirectory = isNewDirectory;
 exports.detectTrigger = detectTrigger;
-exports.detectFailingTest = detectFailingTest;
 exports.detectRootCauseInvestigation = detectRootCauseInvestigation;
-exports.detectVerificationEvidence = detectVerificationEvidence;
 exports.detectRequirement = detectRequirement;
 exports.detectReuseCheck = detectReuseCheck;
 exports.buildConstraintContext = buildConstraintContext;
 const fs = __importStar(require("fs"));
 const path = __importStar(require("path"));
-const detect_source_roots_1 = require("../../utils/detect-source-roots");
-const jsonl_1 = require("../../utils/jsonl");
-const trace_1 = require("../../types/trace");
+const run_env_1 = require("./run-env");
 const git_evidence_1 = require("./git-evidence");
 /**
  * 检查文件所在目录是否在 git HEAD 中不存在（即新目录）
@@ -91,7 +92,7 @@ function detectTrigger(changedFiles, options) {
     // pre-commit 场景下变更含代码文件 → 附加 code_implementation 推断
     const hasCodeChange = changedFiles.some(f => CODE_FILE_REGEX.test(f));
     const projectPath = options.projectPath || process.cwd();
-    const sourceRoots = (0, detect_source_roots_1.detectSourceRoots)(projectPath);
+    const sourceRoots = (options.runEnv ?? (0, run_env_1.createRunEnv)(projectPath)).sourceRoots();
     const hasModuleChange = changedFiles.some(f => sourceRoots.some(root => f.startsWith(root + '/') || f.startsWith(root + '\\')) && !f.includes('__tests__'));
     // 工单 18 的批量语义保留在 adapter 层：一次 ls-tree，且仅在有模块变更时才取证
     const headDirs = hasModuleChange
@@ -111,17 +112,14 @@ function detectTrigger(changedFiles, options) {
     return hasCodeChange ? [primary, 'code_implementation'] : primary;
 }
 /**
- * 检测是否有失败的测试记录
- * 扫描 trace 文件（DEFAULT_TRACE_FILE）中最近的记录
+ * 检测是否有失败的测试记录（取运行级观察面的最近 20 条）
  */
-async function detectFailingTest(projectPath) {
+async function detectFailingTest(env) {
     try {
-        const traceFile = path.join(projectPath, trace_1.DEFAULT_TRACE_FILE);
-        // 坏行策略：skip（原逐行 catch→false 语义不变）；只 parse 最近 20 行
-        // 计数去向：豁免（harness#100）——布尔证据探测，坏行只会让证据变少（判定方向保守），
-        // 消费面是 check 的 pass/fail 判定，没有可挂计数的输出位
-        const { records } = (0, jsonl_1.readJsonl)(traceFile, 'skip', { tail: 20 });
-        return records.some(trace => trace.result === 'fail');
+        // 坏行策略与计数去向见 run-env 的读点（ADR-0023 合并两处独立 tail 读为一份窗口）
+        return env
+            .traceTail(run_env_1.TRACE_TAIL_WINDOW)
+            .records.some(trace => trace.result === 'fail');
     }
     catch {
         return false;
@@ -149,19 +147,17 @@ function detectRootCauseInvestigation(projectPath) {
     }
     return false;
 }
+/** 验证证据的尾部窗口（工单 23 原口径：只看最近 10 条） */
+const VERIFICATION_EVIDENCE_TAIL = 10;
 /**
- * 检测是否有验证证据
- * 检查 trace 文件（DEFAULT_TRACE_FILE）中最近的成功验证记录
+ * 检测是否有验证证据（取运行级观察面的最近 10 条）
  */
-async function detectVerificationEvidence(projectPath) {
+async function detectVerificationEvidence(env) {
     try {
-        const traceFile = path.join(projectPath, trace_1.DEFAULT_TRACE_FILE);
-        // 坏行策略：skip（原逐行 catch→false 语义不变）；只 parse 最近 10 行
         // tail 在 parse 之前截断 → 坏行会占用尾部槽位（#82 裁决范围外的既有口径，本票不改）
-        // 计数去向：豁免（harness#100）——同 detectFailingTest：布尔证据探测无计数输出位，
-        // 坏行只会让证据变少
-        const { records } = (0, jsonl_1.readJsonl)(traceFile, 'skip', { tail: 10 });
-        return records.some(trace => trace.result === 'pass');
+        return env
+            .traceTail(VERIFICATION_EVIDENCE_TAIL)
+            .records.some(trace => trace.result === 'pass');
     }
     catch {
         return false;
@@ -216,12 +212,20 @@ function detectReuseCheck(projectPath) {
  *
  * options.evidence（#87）：git 证据适配器。调用方（CLI check）注入同一实例给
  * checkConstraints，即可让 context-builder 与 checker 层共用同一证据来源。
+ * options.runEnv（ADR-0023）：运行级观察面。注入即本函数内的源根探测与两处 trace
+ * 证据探测与其余消费方共用同一份读取，缺省自造一份（只服务本次调用）。
  */
 async function buildConstraintContext(options) {
     const projectPath = options.projectPath || process.cwd();
+    const runEnv = options.runEnv ?? (0, run_env_1.createRunEnv)(projectPath);
     const evidence = options.evidence ?? (0, git_evidence_1.createGitEvidence)(projectPath);
     const changedFiles = (0, git_evidence_1.splitFileNames)(evidence.changedFileNames(options.staged));
-    const inferred = detectTrigger(changedFiles, { trigger: options.trigger, projectPath, evidence });
+    const inferred = detectTrigger(changedFiles, {
+        trigger: options.trigger,
+        projectPath,
+        evidence,
+        runEnv,
+    });
     const triggers = Array.isArray(inferred) ? inferred : [inferred];
     return {
         operation: triggers[0],
@@ -229,9 +233,9 @@ async function buildConstraintContext(options) {
         projectPath,
         changedFiles,
         hasTest: changedFiles.some(f => f.includes('.test.') || f.includes('.spec.')),
-        hasFailingTest: await detectFailingTest(projectPath),
+        hasFailingTest: await detectFailingTest(runEnv),
         hasRootCauseInvestigation: detectRootCauseInvestigation(projectPath),
-        hasVerificationEvidence: await detectVerificationEvidence(projectPath),
+        hasVerificationEvidence: await detectVerificationEvidence(runEnv),
         hasReuseCheck: detectReuseCheck(projectPath),
         hasRequirement: detectRequirement(projectPath),
     };

package/dist/core/constraints/context-builder.js.map

@@ -1 +1 @@
-{"version":3,"file":"context-builder.js","sourceRoot":"","sources":["../../../src/core/constraints/context-builder.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;GAUG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgBH,wCAGC;AAkBD,sCAqCC;AAMD,8CAWC;AAMD,oEAgBC;AAMD,gEAYC;AAMD,8CAqBC;AAMD,4CAYC;AAQD,wDAwBC;AA9MD,uCAAyB;AACzB,2CAA6B;AAC7B,yEAAoE;AACpE,6CAA8C;AAC9C,6CAAuD;AAGvD,iDAAqF;AAErF;;;;GAIG;AACH,SAAgB,cAAc,CAAC,QAA4B,EAAE,QAAgB;IAC3E,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC,CAAC,cAAc;IAClD,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED;;;;GAIG;AACH,MAAM,eAAe,GAAG,gFAAgF,CAAC;AAEzG;;;;;;;;GAQG;AACH,SAAgB,aAAa,CAC3B,YAAsB,EACtB,OAIC;IAED,IAAI,OAAO,CAAC,OAAO;QAAE,OAAO,OAAO,CAAC,OAAO,CAAC;IAE5C,eAAe;IACf,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC1C,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CACxE,CAAC;IACF,oDAAoD;IACpD,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACzD,MAAM,WAAW,GAAG,IAAA,uCAAiB,EAAC,WAAW,CAAC,CAAC;IACnD,MAAM,eAAe,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC5C,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAC5G,CAAC;IACF,mDAAmD;IACnD,MAAM,QAAQ,GAAG,eAAe;QAC9B,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,IAAI,IAAA,gCAAiB,EAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,EAAE;QACjE,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,iBAAiB,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC9C,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC;QAC/E,cAAc,CAAC,QAAQ,EAAE,CAAC,CAAC,CAC5B,CAAC;IAEF,IAAI,OAA0B,CAAC;IAC/B,IAAI,aAAa,IAAI,CAAC,eAAe;QAAE,OAAO,GAAG,eAAe,CAAC;SAC5D,IAAI,iBAAiB;QAAE,OAAO,GAAG,iBAAiB,CAAC;SACnD,IAAI,eAAe;QAAE,OAAO,GAAG,qBAAqB,CAAC;;QACrD,OAAO,GAAG,mBAAmB,CAAC;IAEnC,OAAO,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AACpE,CAAC;AAED;;;GAGG;AACI,KAAK,UAAU,iBAAiB,CAAC,WAAmB;IACzD,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,0BAAkB,CAAC,CAAC;QAC7D,kDAAkD;QAClD,kDAAkD;QAClD,uCAAuC;QACvC,MAAM,EAAE,OAAO,EAAE,GAAG,IAAA,iBAAS,EAAiB,SAAS,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/E,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACxD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAgB,4BAA4B,CAAC,WAAmB;IAC9D,mBAAmB;IACnB,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAExE,4BAA4B;IAC5B,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;IACrE,IAAI,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAChC,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;YAC3C,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;QACpC,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACI,KAAK,UAAU,0BAA0B,CAAC,WAAmB;IAClE,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,0BAAkB,CAAC,CAAC;QAC7D,kDAAkD;QAClD,qDAAqD;QACrD,0DAA0D;QAC1D,YAAY;QACZ,MAAM,EAAE,OAAO,EAAE,GAAG,IAAA,iBAAS,EAAiB,SAAS,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/E,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACxD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAgB,iBAAiB,CAAC,WAAmB;IACnD,uDAAuD;IACvD,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IACzD,IAAI,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAChC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;YACvD,IAAI,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,CAAC;gBAC5C,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG;QACjB,WAAW;QACX,OAAO;QACP,YAAY;QACZ,QAAQ;KACT,CAAC;IACF,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACxE,CAAC;AAED;;;GAGG;AACH,SAAgB,gBAAgB,CAAC,WAAmB;IAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IAC7D,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5B,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;YACvC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;QACpC,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACI,KAAK,UAAU,sBAAsB,CAAC,OAK5C;IACC,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACzD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,IAAA,gCAAiB,EAAC,WAAW,CAAC,CAAC;IACpE,MAAM,YAAY,GAAG,IAAA,6BAAc,EAAC,QAAQ,CAAC,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,aAAa,CAAC,YAAY,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC;IAClG,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAEjE,OAAO;QACL,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;QACtB,aAAa,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QAChC,WAAW;QACX,YAAY;QACZ,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC7E,cAAc,EAAE,MAAM,iBAAiB,CAAC,WAAW,CAAC;QACpD,yBAAyB,EAAE,4BAA4B,CAAC,WAAW,CAAC;QACpE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC,WAAW,CAAC;QACtE,aAAa,EAAE,gBAAgB,CAAC,WAAW,CAAC;QAC5C,cAAc,EAAE,iBAAiB,CAAC,WAAW,CAAC;KAC/C,CAAC;AACJ,CAAC"}
+{"version":3,"file":"context-builder.js","sourceRoot":"","sources":["../../../src/core/constraints/context-builder.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;GAeG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAaH,wCAGC;AAkBD,sCAuCC;AAoBD,oEAgBC;AAuBD,8CAqBC;AAMD,4CAYC;AAUD,wDA+BC;AAlND,uCAAyB;AACzB,2CAA6B;AAC7B,uCAAyE;AAEzE,iDAAqF;AAErF;;;;GAIG;AACH,SAAgB,cAAc,CAAC,QAA4B,EAAE,QAAgB;IAC3E,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC,CAAC,cAAc;IAClD,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED;;;;GAIG;AACH,MAAM,eAAe,GAAG,gFAAgF,CAAC;AAEzG;;;;;;;;GAQG;AACH,SAAgB,aAAa,CAC3B,YAAsB,EACtB,OAMC;IAED,IAAI,OAAO,CAAC,OAAO;QAAE,OAAO,OAAO,CAAC,OAAO,CAAC;IAE5C,eAAe;IACf,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC1C,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CACxE,CAAC;IACF,oDAAoD;IACpD,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACzD,MAAM,WAAW,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,IAAA,sBAAY,EAAC,WAAW,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IAChF,MAAM,eAAe,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC5C,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAC5G,CAAC;IACF,mDAAmD;IACnD,MAAM,QAAQ,GAAG,eAAe;QAC9B,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,IAAI,IAAA,gCAAiB,EAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,EAAE;QACjE,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,iBAAiB,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC9C,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC;QAC/E,cAAc,CAAC,QAAQ,EAAE,CAAC,CAAC,CAC5B,CAAC;IAEF,IAAI,OAA0B,CAAC;IAC/B,IAAI,aAAa,IAAI,CAAC,eAAe;QAAE,OAAO,GAAG,eAAe,CAAC;SAC5D,IAAI,iBAAiB;QAAE,OAAO,GAAG,iBAAiB,CAAC;SACnD,IAAI,eAAe;QAAE,OAAO,GAAG,qBAAqB,CAAC;;QACrD,OAAO,GAAG,mBAAmB,CAAC;IAEnC,OAAO,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AACpE,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,iBAAiB,CAAC,GAAW;IAC1C,IAAI,CAAC;QACH,sDAAsD;QACtD,OAAO,GAAG;aACP,SAAS,CAAC,2BAAiB,CAAC;aAC5B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACpD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAgB,4BAA4B,CAAC,WAAmB;IAC9D,mBAAmB;IACnB,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAExE,4BAA4B;IAC5B,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;IACrE,IAAI,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAChC,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;YAC3C,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;QACpC,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qCAAqC;AACrC,MAAM,0BAA0B,GAAG,EAAE,CAAC;AAEtC;;GAEG;AACH,KAAK,UAAU,0BAA0B,CAAC,GAAW;IACnD,IAAI,CAAC;QACH,qDAAqD;QACrD,OAAO,GAAG;aACP,SAAS,CAAC,0BAA0B,CAAC;aACrC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACpD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAgB,iBAAiB,CAAC,WAAmB;IACnD,uDAAuD;IACvD,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IACzD,IAAI,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAChC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;YACvD,IAAI,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,CAAC;gBAC5C,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG;QACjB,WAAW;QACX,OAAO;QACP,YAAY;QACZ,QAAQ;KACT,CAAC;IACF,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACxE,CAAC;AAED;;;GAGG;AACH,SAAgB,gBAAgB,CAAC,WAAmB;IAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IAC7D,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5B,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;YACvC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;QACpC,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;GAOG;AACI,KAAK,UAAU,sBAAsB,CAAC,OAM5C;IACC,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACzD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,IAAA,sBAAY,EAAC,WAAW,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,IAAA,gCAAiB,EAAC,WAAW,CAAC,CAAC;IACpE,MAAM,YAAY,GAAG,IAAA,6BAAc,EAAC,QAAQ,CAAC,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,aAAa,CAAC,YAAY,EAAE;QAC3C,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,WAAW;QACX,QAAQ;QACR,MAAM;KACP,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAEjE,OAAO;QACL,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;QACtB,aAAa,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QAChC,WAAW;QACX,YAAY;QACZ,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC7E,cAAc,EAAE,MAAM,iBAAiB,CAAC,MAAM,CAAC;QAC/C,yBAAyB,EAAE,4BAA4B,CAAC,WAAW,CAAC;QACpE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC,MAAM,CAAC;QACjE,aAAa,EAAE,gBAAgB,CAAC,WAAW,CAAC;QAC5C,cAAc,EAAE,iBAAiB,CAAC,WAAW,CAAC;KAC/C,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,75 @@
+/**
+ * CONTEXT.md「核心导出」节与目录导出面的对照判定（harness#142 / ADR-0025）
+ *
+ * 纯判定 module：吃「CONTEXT.md 正文 + 目录导出面清单（+ barrel 值符号清单）」，
+ * 一次产出双向判定；不做任何 fs IO——文件遍历、正文读取、`export *` 目标解析
+ * 全在调用方（cli 侧），与 ADR-0009 的 capabilities-reconcile 同一套组装形状。
+ *
+ * 方向（语义与 capabilities-reconcile 对齐：幽灵 = 文档说谎，未登记 = 代码有而文档漏）：
+ *   文档→代码  ghosts（「核心导出」节声明的符号在目录导出面里不存在）
+ *   代码→文档  unlistedBarrelExports（index.ts 再导出的值符号未出现在该节）
+ *
+ * 口径（ADR-0025，两条都是「可操作」而非「越严越好」的取舍）：
+ * - 声明只取 bullet **行首**的反引号标识符（`/` 连接的多符号逐个取，形参列表与
+ *   `（type）`注解剥掉）。行首不是标识符的 bullet 是模块/目录条目
+ *   （`types.ts`、`audit-scoring`、`constraints/`），不属符号声明面，整条跳过。
+ * - 覆盖方向只管 barrel 的**值**符号：类型面（interface/type）不要求逐个登记
+ *   ——否则每次加一个公开类型都要回灌文档，正是本闸要避免的「连注释都要改」。
+ *   类型-only 的剔除在采集侧（读得懂 `export type { }` 与声明关键字的那一层）。
+ * - 「出现在该节」按标识符边界匹配（inline 提及即算登记），bullet 行首之外的正文同样参与，
+ *   但**其它 `## ` 节**的正文不参与——绕过闸需要把符号塞进「核心导出」节，而不是塞满全文件。
+ */
+export interface ExportedSymbol {
+    /** 导出名（`a as b` 取 b） */
+    name: string;
+    /** 来源侧的本名（`a as b` 取 a；自身声明与无别名再导出时等于 name）——调用方按它核对正本是否真有此物 */
+    localName: string;
+    /** 类型-only（interface/type 声明、`export type { }` 块、逐项 `type` 标记） */
+    typeOnly: boolean;
+    /** 再导出的来源 spec（`from './x'`），模块自身声明为 undefined */
+    from?: string;
+}
+export interface ExportStatementParse {
+    symbols: ExportedSymbol[];
+    /** 待调用方解析的 `export *` 目标 spec（fs 侧才知道文件在不在） */
+    starFrom: string[];
+}
+export interface ContextReconcileInput {
+    /** CONTEXT.md 全文 */
+    contextMdContent: string;
+    /** 目录导出面全集：目录内所有 .ts 导出的符号名（值 + 类型，含 barrel 与内部 seam） */
+    exportSurface: string[];
+    /** index.ts barrel 再导出的**值**符号清单；无 index.ts 的目录不传（跳过覆盖方向） */
+    barrelExports?: string[];
+}
+export interface ContextVerdict {
+    /** 文档是否含「## 核心导出」节；无节 = 两方向都不参与判定 */
+    hasCoreExportsSection: boolean;
+    /** 该节解析出的符号声明（去重、按出现序） */
+    declaredSymbols: string[];
+    /** 幽灵：声明了但目录导出面没有 */
+    ghosts: string[];
+    /** 未登记：barrel 值符号未出现在该节 */
+    unlistedBarrelExports: string[];
+}
+/**
+ * 取「## 核心导出」节正文（不含标题行），到下一个二级标题为止。
+ * 无该节 → null。
+ */
+export declare function parseCoreExportsSection(content: string): string | null;
+/**
+ * 解析「## 核心导出」节的符号声明：只认 bullet 行首的反引号标识符
+ * （`/` 连接视为多个声明，其后的散文与 inline 提及不参与幽灵判定）。
+ */
+export declare function parseDeclaredExportSymbols(content: string): string[];
+/**
+ * 解析单个源文件的导出面（口径正本，采集侧与测试共用）：
+ * 声明形、`export { }` 列表形（含别名与逐项 `type`）、`export default`、`export *`。
+ * 只做正则解析，不解析 spec 指向谁——那是调用方的 fs 活。
+ */
+export declare function parseExportStatements(source: string): ExportStatementParse;
+/**
+ * CONTEXT.md 与目录导出面的双向判定（唯一真相源，sync-docs 与任何后续消费方共用）。
+ */
+export declare function reconcileContext(input: ContextReconcileInput): ContextVerdict;
+//# sourceMappingURL=context-reconcile.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"context-reconcile.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/context-reconcile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAuBH,MAAM,WAAW,cAAc;IAC7B,wBAAwB;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,gEAAgE;IAChE,SAAS,EAAE,MAAM,CAAC;IAClB,kEAAkE;IAClE,QAAQ,EAAE,OAAO,CAAC;IAClB,kDAAkD;IAClD,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,cAAc,EAAE,CAAC;IAC1B,+CAA+C;IAC/C,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,qBAAqB;IACpC,oBAAoB;IACpB,gBAAgB,EAAE,MAAM,CAAC;IACzB,yDAAyD;IACzD,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,6DAA6D;IAC7D,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,cAAc;IAC7B,qCAAqC;IACrC,qBAAqB,EAAE,OAAO,CAAC;IAC/B,0BAA0B;IAC1B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,qBAAqB;IACrB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,2BAA2B;IAC3B,qBAAqB,EAAE,MAAM,EAAE,CAAC;CACjC;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAWtE;AASD;;;GAGG;AACH,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CA0BpE;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,GAAG,oBAAoB,CAkC1E;AAQD;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,GAAG,cAAc,CAa7E"}

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

@@ -0,0 +1,161 @@
+"use strict";
+/**
+ * CONTEXT.md「核心导出」节与目录导出面的对照判定（harness#142 / ADR-0025）
+ *
+ * 纯判定 module：吃「CONTEXT.md 正文 + 目录导出面清单（+ barrel 值符号清单）」，
+ * 一次产出双向判定；不做任何 fs IO——文件遍历、正文读取、`export *` 目标解析
+ * 全在调用方（cli 侧），与 ADR-0009 的 capabilities-reconcile 同一套组装形状。
+ *
+ * 方向（语义与 capabilities-reconcile 对齐：幽灵 = 文档说谎，未登记 = 代码有而文档漏）：
+ *   文档→代码  ghosts（「核心导出」节声明的符号在目录导出面里不存在）
+ *   代码→文档  unlistedBarrelExports（index.ts 再导出的值符号未出现在该节）
+ *
+ * 口径（ADR-0025，两条都是「可操作」而非「越严越好」的取舍）：
+ * - 声明只取 bullet **行首**的反引号标识符（`/` 连接的多符号逐个取，形参列表与
+ *   `（type）`注解剥掉）。行首不是标识符的 bullet 是模块/目录条目
+ *   （`types.ts`、`audit-scoring`、`constraints/`），不属符号声明面，整条跳过。
+ * - 覆盖方向只管 barrel 的**值**符号：类型面（interface/type）不要求逐个登记
+ *   ——否则每次加一个公开类型都要回灌文档，正是本闸要避免的「连注释都要改」。
+ *   类型-only 的剔除在采集侧（读得懂 `export type { }` 与声明关键字的那一层）。
+ * - 「出现在该节」按标识符边界匹配（inline 提及即算登记），bullet 行首之外的正文同样参与，
+ *   但**其它 `## ` 节**的正文不参与——绕过闸需要把符号塞进「核心导出」节，而不是塞满全文件。
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.parseCoreExportsSection = parseCoreExportsSection;
+exports.parseDeclaredExportSymbols = parseDeclaredExportSymbols;
+exports.parseExportStatements = parseExportStatements;
+exports.reconcileContext = reconcileContext;
+/** markdown「## 核心导出」节标题（其后括注允许，如 `## 核心导出 (dist/)`） */
+const SECTION_HEADING_REGEX = /^##\s*核心导出/;
+/** 任意二级标题：节的终点（三级标题属节内子结构，不终止） */
+const H2_HEADING_REGEX = /^##\s/;
+/** bullet 行 */
+const BULLET_REGEX = /^\s*[-*]\s*(.*)$/;
+/** bullet 行首（及 `/` 连接的后续）反引号片段 */
+const LEADING_BACKTICK_REGEX = /^`([^`]+)`/;
+/** token 间的 `/` 分隔（可含空白）+ 下一个反引号起点 */
+const NEXT_TOKEN_REGEX = /^(?:\s*\/\s*)?\s*`/;
+/** 合法导出标识符 */
+const IDENTIFIER_REGEX = /^[A-Za-z_$][A-Za-z0-9_$]*$/;
+/** 源码导出声明：`export [默认] [形式] 名字` 与 `export { … } [from '…']` */
+const DECLARATION_REGEX = /^export\s+(?:declare\s+)?(?:abstract\s+)?(?:async\s+)?(function|const|let|var|class|interface|type|enum)\s+([A-Za-z_$][\w$]*)/gm;
+/** `export { … }` / `export type { … }`（可带 from） */
+const EXPORT_LIST_REGEX = /^export\s+(type\s+)?\{([^}]*)\}(?:\s*from\s*['"]([^'"]+)['"])?/gm;
+/** `export * from '…'` / `export * as ns from '…'` */
+const STAR_EXPORT_REGEX = /^export\s+\*\s*(?:as\s+[A-Za-z_$][\w$]*\s*)?from\s*['"]([^'"]+)['"]/gm;
+/**
+ * 取「## 核心导出」节正文（不含标题行），到下一个二级标题为止。
+ * 无该节 → null。
+ */
+function parseCoreExportsSection(content) {
+    const lines = content.split(/\r?\n/);
+    const start = lines.findIndex((line) => SECTION_HEADING_REGEX.test(line));
+    if (start === -1)
+        return null;
+    const body = [];
+    for (let i = start + 1; i < lines.length; i++) {
+        if (H2_HEADING_REGEX.test(lines[i]))
+            break;
+        body.push(lines[i]);
+    }
+    return body.join('\n');
+}
+/** 反引号片段 → 导出符号名；剥形参列表与 `type` 关键字前缀，非标识符返回 null */
+function toSymbolName(token) {
+    const bare = token.replace(/[（(].*$/, '').trim();
+    const withoutKeyword = /^type\s+/.test(bare) ? bare.replace(/^type\s+/, '').trim() : bare;
+    return IDENTIFIER_REGEX.test(withoutKeyword) ? withoutKeyword : null;
+}
+/**
+ * 解析「## 核心导出」节的符号声明：只认 bullet 行首的反引号标识符
+ * （`/` 连接视为多个声明，其后的散文与 inline 提及不参与幽灵判定）。
+ */
+function parseDeclaredExportSymbols(content) {
+    const section = parseCoreExportsSection(content);
+    if (section === null)
+        return [];
+    const out = [];
+    const seen = new Set();
+    for (const line of section.split(/\r?\n/)) {
+        const bullet = BULLET_REGEX.exec(line);
+        if (!bullet)
+            continue;
+        let rest = bullet[1];
+        for (;;) {
+            const token = LEADING_BACKTICK_REGEX.exec(rest);
+            if (!token)
+                break;
+            const name = toSymbolName(token[1]);
+            if (name && !seen.has(name)) {
+                seen.add(name);
+                out.push(name);
+            }
+            rest = rest.slice(token[0].length);
+            const separator = NEXT_TOKEN_REGEX.exec(rest);
+            if (!separator)
+                break;
+            rest = rest.slice(separator[0].length - 1);
+        }
+    }
+    return out;
+}
+/**
+ * 解析单个源文件的导出面（口径正本，采集侧与测试共用）：
+ * 声明形、`export { }` 列表形（含别名与逐项 `type`）、`export default`、`export *`。
+ * 只做正则解析，不解析 spec 指向谁——那是调用方的 fs 活。
+ */
+function parseExportStatements(source) {
+    const symbols = [];
+    for (const match of source.matchAll(DECLARATION_REGEX)) {
+        symbols.push({
+            name: match[2],
+            localName: match[2],
+            typeOnly: match[1] === 'interface' || match[1] === 'type',
+        });
+    }
+    for (const match of source.matchAll(EXPORT_LIST_REGEX)) {
+        const blockIsType = Boolean(match[1]);
+        const from = match[3];
+        for (const part of match[2].split(',')) {
+            const specifier = part.trim();
+            if (!specifier || specifier === 'default')
+                continue;
+            const typeOnly = blockIsType || /^type\s+/.test(specifier);
+            const cleaned = specifier.replace(/^type\s+/, '').trim();
+            const aliased = /^([A-Za-z_$][\w$]*)\s+as\s+([A-Za-z_$][\w$]*)$/.exec(cleaned);
+            const single = /^([A-Za-z_$][\w$]*)$/.exec(cleaned);
+            if (aliased)
+                symbols.push({ name: aliased[2], localName: aliased[1], typeOnly, ...(from ? { from } : {}) });
+            else if (single)
+                symbols.push({ name: single[1], localName: single[1], typeOnly, ...(from ? { from } : {}) });
+        }
+    }
+    if (/^export\s+default\b/m.test(source)) {
+        symbols.push({ name: 'default', localName: 'default', typeOnly: false });
+    }
+    return {
+        symbols,
+        starFrom: [...source.matchAll(STAR_EXPORT_REGEX)].map((m) => m[1]),
+    };
+}
+/** 符号是否在该节正文中出现（标识符边界匹配） */
+function mentionedInSection(section, symbol) {
+    const escaped = symbol.replace(/[$]/g, '\\$');
+    return new RegExp(`(?<![\\w$])${escaped}(?![\\w$])`).test(section);
+}
+/**
+ * CONTEXT.md 与目录导出面的双向判定（唯一真相源，sync-docs 与任何后续消费方共用）。
+ */
+function reconcileContext(input) {
+    const section = parseCoreExportsSection(input.contextMdContent);
+    const hasCoreExportsSection = section !== null && section.trim() !== '';
+    const declaredSymbols = parseDeclaredExportSymbols(input.contextMdContent);
+    const surface = new Set(input.exportSurface);
+    const ghosts = declaredSymbols.filter((symbol) => !surface.has(symbol));
+    const barrelExports = [...new Set(input.barrelExports ?? [])];
+    const unlistedBarrelExports = hasCoreExportsSection
+        ? barrelExports.filter((symbol) => !mentionedInSection(section, symbol))
+        : [];
+    return { hasCoreExportsSection, declaredSymbols, ghosts, unlistedBarrelExports };
+}
+//# sourceMappingURL=context-reconcile.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"context-reconcile.js","sourceRoot":"","sources":["../../../src/core/constraints/context-reconcile.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;;AAgEH,0DAWC;AAaD,gEA0BC;AAOD,sDAkCC;AAWD,4CAaC;AAjLD,uDAAuD;AACvD,MAAM,qBAAqB,GAAG,YAAY,CAAC;AAC3C,kCAAkC;AAClC,MAAM,gBAAgB,GAAG,OAAO,CAAC;AACjC,eAAe;AACf,MAAM,YAAY,GAAG,kBAAkB,CAAC;AACxC,kCAAkC;AAClC,MAAM,sBAAsB,GAAG,YAAY,CAAC;AAC5C,sCAAsC;AACtC,MAAM,gBAAgB,GAAG,oBAAoB,CAAC;AAC9C,cAAc;AACd,MAAM,gBAAgB,GAAG,4BAA4B,CAAC;AAEtD,+DAA+D;AAC/D,MAAM,iBAAiB,GACrB,iIAAiI,CAAC;AACpI,oDAAoD;AACpD,MAAM,iBAAiB,GAAG,kEAAkE,CAAC;AAC7F,sDAAsD;AACtD,MAAM,iBAAiB,GAAG,uEAAuE,CAAC;AAuClG;;;GAGG;AACH,SAAgB,uBAAuB,CAAC,OAAe;IACrD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1E,IAAI,KAAK,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAE9B,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAAE,MAAM;QAC3C,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACzB,CAAC;AAED,oDAAoD;AACpD,SAAS,YAAY,CAAC,KAAa;IACjC,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACjD,MAAM,cAAc,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1F,OAAO,gBAAgB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC;AACvE,CAAC;AAED;;;GAGG;AACH,SAAgB,0BAA0B,CAAC,OAAe;IACxD,MAAM,OAAO,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;IACjD,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IAEhC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM;YAAE,SAAS;QAEtB,IAAI,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACrB,SAAS,CAAC;YACR,MAAM,KAAK,GAAG,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,IAAI,CAAC,KAAK;gBAAE,MAAM;YAClB,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACpC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACf,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,CAAC;YACD,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACnC,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9C,IAAI,CAAC,SAAS;gBAAE,MAAM;YACtB,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,SAAgB,qBAAqB,CAAC,MAAc;IAClD,MAAM,OAAO,GAAqB,EAAE,CAAC;IAErC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,CAAC;QACvD,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YACd,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;YACnB,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,WAAW,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM;SAC1D,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,CAAC;QACvD,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACvC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YAC9B,IAAI,CAAC,SAAS,IAAI,SAAS,KAAK,SAAS;gBAAE,SAAS;YACpD,MAAM,QAAQ,GAAG,WAAW,IAAI,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC3D,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACzD,MAAM,OAAO,GAAG,gDAAgD,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC/E,MAAM,MAAM,GAAG,sBAAsB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpD,IAAI,OAAO;gBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;iBACvG,IAAI,MAAM;gBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAChH,CAAC;IACH,CAAC;IAED,IAAI,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACxC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IAC3E,CAAC;IAED,OAAO;QACL,OAAO;QACP,QAAQ,EAAE,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KACnE,CAAC;AACJ,CAAC;AAED,4BAA4B;AAC5B,SAAS,kBAAkB,CAAC,OAAe,EAAE,MAAc;IACzD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC9C,OAAO,IAAI,MAAM,CAAC,cAAc,OAAO,YAAY,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AACrE,CAAC;AAED;;GAEG;AACH,SAAgB,gBAAgB,CAAC,KAA4B;IAC3D,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAChE,MAAM,qBAAqB,GAAG,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;IACxE,MAAM,eAAe,GAAG,0BAA0B,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC3E,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAExE,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;IAC9D,MAAM,qBAAqB,GAAG,qBAAqB;QACjD,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,OAAiB,EAAE,MAAM,CAAC,CAAC;QAClF,CAAC,CAAC,EAAE,CAAC;IAEP,OAAO,EAAE,qBAAqB,EAAE,eAAe,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC;AACnF,CAAC"}

package/dist/core/constraints/doc-freshness/runner.d.ts

@@ -27,6 +27,12 @@ interface RunContext {
     projectPath: string;
     /** 外部提供的 required_dirs（来自 governance.context_files，用于 context_docs 检查的默认 dirs） */
     requiredDirs?: string[];
+    /**
+     * 源码根的**懒取**提供者（ADR-0023 决策 4）：只在 doc_dir_check 从文档目录
+     * 推断不出根时用到。调用方传 `() => env.sourceRoots()` 即与本 run 其余消费方
+     * 共用一次探测；不传（sync-docs 等一次性调用方）则本模块自探一次。
+     */
+    sourceRoots?: () => string[];
     /** 外部提供的约束计数（用于内置 harner harness 的 doc_regex_count） */
     constraintCounts?: {
         ironLaws?: number;
@@ -42,6 +48,7 @@ export declare class FreshnessRunner {
      */
     runAll(config: DocFreshnessConfig, projectPath: string, ctx?: {
         requiredDirs?: string[];
+        sourceRoots?: () => string[];
         constraintCounts?: {
             ironLaws?: number;
             guidelines?: number;

package/dist/core/constraints/doc-freshness/runner.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/doc-freshness/runner.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAMH,OAAO,KAAK,EACV,iBAAiB,EACjB,kBAAkB,EAKnB,MAAM,+BAA+B,CAAC;AAEvC;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,WAAW;IACX,IAAI,EAAE,MAAM,CAAC;IACb,aAAa;IACb,KAAK,EAAE,MAAM,CAAC;IACd,WAAW;IACX,IAAI,EAAE,OAAO,CAAC;IACd,aAAa;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW;IACX,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAClC;AAED;;GAEG;AACH,UAAU,UAAU;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,kFAAkF;IAClF,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,uDAAuD;IACvD,gBAAgB,CAAC,EAAE;QACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,CAAC;CACH;AAED;;GAEG;AACH,qBAAa,eAAe;IAC1B;;OAEG;IACH,MAAM,CACJ,MAAM,EAAE,kBAAkB,EAC1B,WAAW,EAAE,MAAM,EACnB,GAAG,CAAC,EAAE;QAAE,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;QAAC,gBAAgB,CAAC,EAAE;YAAE,QAAQ,CAAC,EAAE,MAAM,CAAC;YAAC,UAAU,CAAC,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,GAC/F,oBAAoB,EAAE;IAazB;;OAEG;IACH,SAAS,CAAC,KAAK,EAAE,iBAAiB,EAAE,OAAO,EAAE,UAAU,GAAG,oBAAoB;IAsB9E,OAAO,CAAC,qBAAqB;IA0C7B,OAAO,CAAC,gBAAgB;IA+BxB,OAAO,CAAC,WAAW;IAiHnB;;;OAGG;IACH,OAAO,CAAC,aAAa;IAiCrB,OAAO,CAAC,kBAAkB;IA0E1B;;OAEG;IACH,YAAY,CACV,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EAAE,EACjB,WAAW,EAAE,MAAM,GAClB,MAAM;IA6BT;;OAEG;IACH,aAAa,CACX,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,MAAM,GACd,MAAM;IAyCT,OAAO,CAAC,YAAY;CAGrB"}
+{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/doc-freshness/runner.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAMH,OAAO,KAAK,EACV,iBAAiB,EACjB,kBAAkB,EAKnB,MAAM,+BAA+B,CAAC;AAEvC;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,WAAW;IACX,IAAI,EAAE,MAAM,CAAC;IACb,aAAa;IACb,KAAK,EAAE,MAAM,CAAC;IACd,WAAW;IACX,IAAI,EAAE,OAAO,CAAC;IACd,aAAa;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW;IACX,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAClC;AAED;;GAEG;AACH,UAAU,UAAU;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,kFAAkF;IAClF,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB;;;;OAIG;IACH,WAAW,CAAC,EAAE,MAAM,MAAM,EAAE,CAAC;IAC7B,uDAAuD;IACvD,gBAAgB,CAAC,EAAE;QACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,CAAC;CACH;AAED;;GAEG;AACH,qBAAa,eAAe;IAC1B;;OAEG;IACH,MAAM,CACJ,MAAM,EAAE,kBAAkB,EAC1B,WAAW,EAAE,MAAM,EACnB,GAAG,CAAC,EAAE;QACJ,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;QACxB,WAAW,CAAC,EAAE,MAAM,MAAM,EAAE,CAAC;QAC7B,gBAAgB,CAAC,EAAE;YAAE,QAAQ,CAAC,EAAE,MAAM,CAAC;YAAC,UAAU,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC;KAC/D,GACA,oBAAoB,EAAE;IAczB;;OAEG;IACH,SAAS,CAAC,KAAK,EAAE,iBAAiB,EAAE,OAAO,EAAE,UAAU,GAAG,oBAAoB;IAsB9E,OAAO,CAAC,qBAAqB;IA0C7B,OAAO,CAAC,gBAAgB;IA+BxB,OAAO,CAAC,WAAW;IAiHnB;;;OAGG;IACH,OAAO,CAAC,aAAa;IAoCrB,OAAO,CAAC,kBAAkB;IA0E1B;;OAEG;IACH,YAAY,CACV,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EAAE,EACjB,WAAW,EAAE,MAAM,GAClB,MAAM;IA6BT;;OAEG;IACH,aAAa,CACX,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,MAAM,GACd,MAAM;IAyCT,OAAO,CAAC,YAAY;CAGrB"}

package/dist/core/constraints/doc-freshness/runner.js

@@ -26,6 +26,7 @@ class FreshnessRunner {
         const context = {
             projectPath,
             requiredDirs: ctx?.requiredDirs,
+            sourceRoots: ctx?.sourceRoots,
             constraintCounts: ctx?.constraintCounts,
         };
         return config.checks.map(check => this.runSingle(check, context));
@@ -163,7 +164,7 @@ class FreshnessRunner {
             // 2. fs → doc: 每个实际目录必须在文档中被覆盖
             if (!check.skip_reverse_check) {
                 // 从文档目录中推断要扫描的根目录集
-                const rootDirs = this.inferRootDirs(docDirs, ctx.projectPath);
+                const rootDirs = this.inferRootDirs(docDirs, ctx);
                 const excludeSet = new Set(check.exclude || file_walk_1.DEFAULT_SKIP_DIRS);
                 for (const rootDir of rootDirs) {
                     const absRoot = (0, path_1.join)(ctx.projectPath, rootDir);
@@ -214,7 +215,7 @@ class FreshnessRunner {
      * 从文档目录集合推断要扫描的根目录
      * 例如 ["src/core", "src/cli/commands"] → ["src"]
      */
-    inferRootDirs(docDirs, projectPath) {
+    inferRootDirs(docDirs, ctx) {
         const roots = new Set();
         for (const dir of docDirs) {
             // 取第一个路径段之前的公共部分
@@ -239,7 +240,11 @@ class FreshnessRunner {
                 merged.add(root);
             }
         }
-        return merged.size > 0 ? [...merged] : (0, detect_source_roots_1.detectSourceRoots)(projectPath);
+        if (merged.size > 0)
+            return [...merged];
+        // 兜底 = 文档一个目录条目都没登记：按项目实际源码根全量比对（删掉它等于静默放行空文档）。
+        // 取根优先用调用方注入的懒取 provider（与本 run 其余消费方共用一次探测，ADR-0023 决策 4）
+        return ctx.sourceRoots ? ctx.sourceRoots() : (0, detect_source_roots_1.detectSourceRoots)(ctx.projectPath);
     }
     // ── doc_regex_count ──────────────────────────────────────────────
     checkDocRegexCount(check, ctx) {