@dommaker/harness 1.7.0 → 1.8.0

package/dist/cli/gate-command.d.ts

@@ -0,0 +1,37 @@
+/**
+ * 门禁命令共享面（架构评审候选1）
+ *
+ * 六个门禁命令原先各写一遍「报告 → 成败」的翻译与 ✓/✗ 输出，同一句话抄 6 处。
+ * 这里只留一份：`GateDecision → CommandResult` 的唯一映射，加人类视图骨架。
+ *
+ * `command` 门禁的输出是单行机器友好形态（自带 ✓/✗ 与 --json），只复用映射、
+ * 不套骨架——套的话等于逼它换掉已对外的输出形状。
+ */
+import type { GateDecision, GateResult } from '../gates/types';
+import { type CommandIO, type CommandResult } from './command-contract';
+/**
+ * 门禁命令的人类视图
+ */
+export interface GateCommandView {
+    /** 门禁 id（与注册表一致），决定失败 reason 的前缀 */
+    gateId: string;
+    /** 横幅用词，如「代码审查门控」「验收标准」 */
+    label: string;
+    /** 通过时追加的指标行（自行上色，空串表示空行） */
+    onPass?: (result: GateResult) => string[];
+    /** 未通过时在原因行之后追加的详情行 */
+    onFail?: (result: GateResult) => string[];
+}
+/**
+ * 决策 → 命令结果：六个门禁唯一一处映射
+ */
+export declare function gateCommandResult(gateId: string, decision: GateDecision): CommandResult;
+/**
+ * 打印决策并给出命令结果
+ */
+export declare function reportGateDecision(io: CommandIO, view: GateCommandView, decision: GateDecision): CommandResult;
+/**
+ * 门禁自身之外的抛出物（git / fs）→ 出错横幅 + fail
+ */
+export declare function reportGateError(io: CommandIO, gateId: string, label: string, error: unknown, extra?: (message: string) => string[]): CommandResult;
+//# sourceMappingURL=gate-command.d.ts.map

package/dist/cli/gate-command.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate-command.d.ts","sourceRoot":"","sources":["../../src/cli/gate-command.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EAAO,KAAK,SAAS,EAAE,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAE7E;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,oCAAoC;IACpC,MAAM,EAAE,MAAM,CAAC;IACf,2BAA2B;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,6BAA6B;IAC7B,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,UAAU,KAAK,MAAM,EAAE,CAAC;IAC1C,uBAAuB;IACvB,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,UAAU,KAAK,MAAM,EAAE,CAAC;CAC3C;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,GAAG,aAAa,CAMvF;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,EAAE,EAAE,SAAS,EACb,IAAI,EAAE,eAAe,EACrB,QAAQ,EAAE,YAAY,GACrB,aAAa,CAkBf;AAED;;GAEG;AACH,wBAAgB,eAAe,CAC7B,EAAE,EAAE,SAAS,EACb,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,OAAO,EACd,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,EAAE,GACpC,aAAa,CAWf"}

package/dist/cli/gate-command.js

@@ -0,0 +1,64 @@
+"use strict";
+/**
+ * 门禁命令共享面（架构评审候选1）
+ *
+ * 六个门禁命令原先各写一遍「报告 → 成败」的翻译与 ✓/✗ 输出，同一句话抄 6 处。
+ * 这里只留一份：`GateDecision → CommandResult` 的唯一映射，加人类视图骨架。
+ *
+ * `command` 门禁的输出是单行机器友好形态（自带 ✓/✗ 与 --json），只复用映射、
+ * 不套骨架——套的话等于逼它换掉已对外的输出形状。
+ */
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.gateCommandResult = gateCommandResult;
+exports.reportGateDecision = reportGateDecision;
+exports.reportGateError = reportGateError;
+const chalk_1 = __importDefault(require("chalk"));
+const command_contract_1 = require("./command-contract");
+/**
+ * 决策 → 命令结果：六个门禁唯一一处映射
+ */
+function gateCommandResult(gateId, decision) {
+    if (decision.status === 'abstain') {
+        return { kind: 'ok' };
+    }
+    // ask 无实现者，按拦下计——与 runGates 的 fail-closed 聚合同一条规则
+    return { kind: 'fail', reason: `${gateId} gate denied: ${decision.result.message}` };
+}
+/**
+ * 打印决策并给出命令结果
+ */
+function reportGateDecision(io, view, decision) {
+    const result = decision.result;
+    (0, command_contract_1.log)(io);
+    if (decision.status === 'abstain') {
+        (0, command_contract_1.log)(io, chalk_1.default.green(`✅ ${view.label}检查通过`));
+        for (const line of view.onPass?.(result) ?? []) {
+            (0, command_contract_1.log)(io, line);
+        }
+    }
+    else {
+        (0, command_contract_1.log)(io, chalk_1.default.red(`❌ ${view.label}检查失败`));
+        (0, command_contract_1.log)(io, chalk_1.default.red(`   ${result.message}`));
+        for (const line of view.onFail?.(result) ?? []) {
+            (0, command_contract_1.log)(io, line);
+        }
+    }
+    return gateCommandResult(view.gateId, decision);
+}
+/**
+ * 门禁自身之外的抛出物（git / fs）→ 出错横幅 + fail
+ */
+function reportGateError(io, gateId, label, error, extra) {
+    const message = error instanceof Error ? error.message : String(error);
+    (0, command_contract_1.log)(io);
+    (0, command_contract_1.log)(io, chalk_1.default.red(`❌ ${label}检查出错`));
+    (0, command_contract_1.log)(io, chalk_1.default.red(`   ${message}`));
+    for (const line of extra?.(message) ?? []) {
+        (0, command_contract_1.log)(io, line);
+    }
+    return { kind: 'fail', reason: `${gateId} gate error: ${message}` };
+}
+//# sourceMappingURL=gate-command.js.map

package/dist/cli/gate-command.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate-command.js","sourceRoot":"","sources":["../../src/cli/gate-command.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;;;AAuBH,8CAMC;AAKD,gDAsBC;AAKD,0CAiBC;AA5ED,kDAA0B;AAE1B,yDAA6E;AAgB7E;;GAEG;AACH,SAAgB,iBAAiB,CAAC,MAAc,EAAE,QAAsB;IACtE,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACxB,CAAC;IACD,kDAAkD;IAClD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,iBAAiB,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;AACvF,CAAC;AAED;;GAEG;AACH,SAAgB,kBAAkB,CAChC,EAAa,EACb,IAAqB,EACrB,QAAsB;IAEtB,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC/B,IAAA,sBAAG,EAAC,EAAE,CAAC,CAAC;IAER,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAClC,IAAA,sBAAG,EAAC,EAAE,EAAE,eAAK,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC;QAC5C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YAC/C,IAAA,sBAAG,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;SAAM,CAAC;QACN,IAAA,sBAAG,EAAC,EAAE,EAAE,eAAK,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC;QAC1C,IAAA,sBAAG,EAAC,EAAE,EAAE,eAAK,CAAC,GAAG,CAAC,MAAM,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC3C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YAC/C,IAAA,sBAAG,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IAED,OAAO,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AAClD,CAAC;AAED;;GAEG;AACH,SAAgB,eAAe,CAC7B,EAAa,EACb,MAAc,EACd,KAAa,EACb,KAAc,EACd,KAAqC;IAErC,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAEvE,IAAA,sBAAG,EAAC,EAAE,CAAC,CAAC;IACR,IAAA,sBAAG,EAAC,EAAE,EAAE,eAAK,CAAC,GAAG,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC;IACrC,IAAA,sBAAG,EAAC,EAAE,EAAE,eAAK,CAAC,GAAG,CAAC,MAAM,OAAO,EAAE,CAAC,CAAC,CAAC;IACpC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QAC1C,IAAA,sBAAG,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAChB,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,gBAAgB,OAAO,EAAE,EAAE,CAAC;AACtE,CAAC"}

package/dist/completion-checkers/index.d.ts

@@ -9,7 +9,7 @@
  * 与 ConstraintCheck 闭环注册表无关：直接 export，不注册、不碰 checkers/index.ts。
  * 函数不碰文件系统与 git；commits 由调用方（completion-gates 类守卫）供给。
  */
-export * from './types';
+export type { CommitInput, CheckerVerdict, CommitVerdict, TddChainResult, PhaseFormatResult, ContractPresenceContext, ContractPresenceResult, CompletionCheckersConfig, } from './types';
 export { DEFAULT_TEST_GLOBS, DEFAULT_NONCODE_GLOBS, matchGlob, matchAnyGlob } from './glob-match';
 export { classifyCommitFiles, resolveGlobs } from './classify';
 export type { CommitFileClassification } from './classify';

package/dist/completion-checkers/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/completion-checkers/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,cAAc,SAAS,CAAC;AACxB,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAClG,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC/D,YAAY,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACrE,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/completion-checkers/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,YAAY,EACV,WAAW,EACX,cAAc,EACd,aAAa,EACb,cAAc,EACd,iBAAiB,EACjB,uBAAuB,EACvB,sBAAsB,EACtB,wBAAwB,GACzB,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAClG,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC/D,YAAY,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACrE,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/completion-checkers/index.js

@@ -10,23 +10,8 @@
  * 与 ConstraintCheck 闭环注册表无关：直接 export，不注册、不碰 checkers/index.ts。
  * 函数不碰文件系统与 git；commits 由调用方（completion-gates 类守卫）供给。
  */
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __exportStar = (this && this.__exportStar) || function(m, exports) {
-    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
-};
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.verifyContractPresence = exports.PHASE_SUBJECT_RE = exports.verifyPhaseFormat = exports.TESTS_NONE_RE = exports.TESTED_BY_RE = exports.verifyTddChain = exports.resolveGlobs = exports.classifyCommitFiles = exports.matchAnyGlob = exports.matchGlob = exports.DEFAULT_NONCODE_GLOBS = exports.DEFAULT_TEST_GLOBS = void 0;
-__exportStar(require("./types"), exports);
 var glob_match_1 = require("./glob-match");
 Object.defineProperty(exports, "DEFAULT_TEST_GLOBS", { enumerable: true, get: function () { return glob_match_1.DEFAULT_TEST_GLOBS; } });
 Object.defineProperty(exports, "DEFAULT_NONCODE_GLOBS", { enumerable: true, get: function () { return glob_match_1.DEFAULT_NONCODE_GLOBS; } });

package/dist/completion-checkers/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/completion-checkers/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;GAUG;;;;;;;;;;;;;;;;;AAEH,0CAAwB;AACxB,2CAAkG;AAAzF,gHAAA,kBAAkB,OAAA;AAAE,mHAAA,qBAAqB,OAAA;AAAE,uGAAA,SAAS,OAAA;AAAE,0GAAA,YAAY,OAAA;AAC3E,uCAA+D;AAAtD,+GAAA,mBAAmB,OAAA;AAAE,wGAAA,YAAY,OAAA;AAE1C,yCAA0E;AAAjE,2GAAA,cAAc,OAAA;AAAE,yGAAA,YAAY,OAAA;AAAE,0GAAA,aAAa,OAAA;AACpD,+CAAqE;AAA5D,iHAAA,iBAAiB,OAAA;AAAE,gHAAA,gBAAgB,OAAA;AAC5C,yDAA6D;AAApD,2HAAA,sBAAsB,OAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/completion-checkers/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;GAUG;;;AAYH,2CAAkG;AAAzF,gHAAA,kBAAkB,OAAA;AAAE,mHAAA,qBAAqB,OAAA;AAAE,uGAAA,SAAS,OAAA;AAAE,0GAAA,YAAY,OAAA;AAC3E,uCAA+D;AAAtD,+GAAA,mBAAmB,OAAA;AAAE,wGAAA,YAAY,OAAA;AAE1C,yCAA0E;AAAjE,2GAAA,cAAc,OAAA;AAAE,yGAAA,YAAY,OAAA;AAAE,0GAAA,aAAa,OAAA;AACpD,+CAAqE;AAA5D,iHAAA,iBAAiB,OAAA;AAAE,gHAAA,gBAAgB,OAAA;AAC5C,yDAA6D;AAApD,2HAAA,sBAAsB,OAAA"}

package/dist/context/knowledge-injector.d.ts

@@ -34,11 +34,13 @@ export declare class KnowledgeInjector {
      */
     inject(config: InjectionConfig): InjectionResult;
     /**
-     * 将知识条目格式化为上下文内容
+     * 将知识条目格式化为上下文内容。
+     * 外部来源条目带 EXTERNAL_SOURCE_MARKER 前缀（harness#161：
+     * 三层防御第二层 retrieval marking 的正本接线，标记唯一来源是 knowledge/query）。
      */
     formatEntry(entry: KnowledgeEntry): string;
     /**
-     * 将知识条目格式化为摘要（一行）
+     * 将知识条目格式化为摘要（一行）；外部来源条目同样带来源标记前缀
      */
     formatEntrySummary(entry: KnowledgeEntry): string;
     /**

package/dist/context/knowledge-injector.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"knowledge-injector.d.ts","sourceRoot":"","sources":["../../src/context/knowledge-injector.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAEpD,OAAO,KAAK,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAC7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAE7C,MAAM,WAAW,eAAe;IAC9B,uBAAuB;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,cAAc;IACd,UAAU,CAAC,EAAE,kBAAkB,EAAE,CAAC;IAClC,WAAW;IACX,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,oBAAoB;IACpB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,uBAAuB;IACvB,wBAAwB,CAAC,EAAE,OAAO,CAAC;CACpC;AAED,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,aAAa,EAAE,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,KAAK,CAAiB;gBAElB,KAAK,EAAE,cAAc;IAIjC;;OAEG;IACH,MAAM,CAAC,MAAM,EAAE,eAAe,GAAG,eAAe;IA4FhD;;OAEG;IACH,WAAW,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM;IAgB1C;;OAEG;IACH,kBAAkB,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM;IAIjD;;OAEG;IACH,QAAQ,IAAI,cAAc;CAG3B"}
+{"version":3,"file":"knowledge-injector.d.ts","sourceRoot":"","sources":["../../src/context/knowledge-injector.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,cAAc,EAA0B,MAAM,oBAAoB,CAAC;AAE5E,OAAO,KAAK,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAC7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAE7C,MAAM,WAAW,eAAe;IAC9B,uBAAuB;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,cAAc;IACd,UAAU,CAAC,EAAE,kBAAkB,EAAE,CAAC;IAClC,WAAW;IACX,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,oBAAoB;IACpB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,uBAAuB;IACvB,wBAAwB,CAAC,EAAE,OAAO,CAAC;CACpC;AAED,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,aAAa,EAAE,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,KAAK,CAAiB;gBAElB,KAAK,EAAE,cAAc;IAIjC;;OAEG;IACH,MAAM,CAAC,MAAM,EAAE,eAAe,GAAG,eAAe;IA4FhD;;;;OAIG;IACH,WAAW,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM;IAoB1C;;OAEG;IACH,kBAAkB,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM;IAKjD;;OAEG;IACH,QAAQ,IAAI,cAAc;CAG3B"}

package/dist/context/knowledge-injector.js

@@ -7,6 +7,7 @@
  */
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.KnowledgeInjector = void 0;
+const query_1 = require("../knowledge/query");
 const token_budget_1 = require("./token-budget");
 class KnowledgeInjector {
     query;
@@ -44,7 +45,7 @@ class KnowledgeInjector {
                             id: `knowledge-summary-${entry.id}`,
                             content: summary,
                             priority: 3,
-                            metadata: { entryId: entry.id, isSummary: true },
+                            metadata: { entryId: entry.id, isSummary: true, origin: entry.origin },
                         });
                         tokensUsed += summaryTokens;
                         entriesSummarized++;
@@ -61,7 +62,7 @@ class KnowledgeInjector {
                     id: `knowledge-${entry.id}`,
                     content: formatted,
                     priority: 3,
-                    metadata: { entryId: entry.id, maturity: entry.maturity },
+                    metadata: { entryId: entry.id, maturity: entry.maturity, origin: entry.origin },
                 });
                 tokensUsed += entryTokens;
                 entriesIncluded++;
@@ -76,7 +77,7 @@ class KnowledgeInjector {
                         id: `knowledge-summary-${entry.id}`,
                         content: summary,
                         priority: 3,
-                        metadata: { entryId: entry.id, isSummary: true },
+                        metadata: { entryId: entry.id, isSummary: true, origin: entry.origin },
                     });
                     tokensUsed += summaryTokens;
                     entriesSummarized++;
@@ -92,10 +93,15 @@ class KnowledgeInjector {
         };
     }
     /**
-     * 将知识条目格式化为上下文内容
+     * 将知识条目格式化为上下文内容。
+     * 外部来源条目带 EXTERNAL_SOURCE_MARKER 前缀（harness#161：
+     * 三层防御第二层 retrieval marking 的正本接线，标记唯一来源是 knowledge/query）。
      */
     formatEntry(entry) {
         const parts = [];
+        if (entry.origin === 'external') {
+            parts.push(query_1.EXTERNAL_SOURCE_MARKER);
+        }
         parts.push(`## [${entry.type.toUpperCase()}] ${entry.title}`);
         parts.push(`ID: ${entry.id} | 成熟度: ${entry.maturity} | 层级: ${entry.layer}`);
         if (entry.tags.length > 0) {
@@ -106,10 +112,11 @@ class KnowledgeInjector {
         return parts.join('\n');
     }
     /**
-     * 将知识条目格式化为摘要（一行）
+     * 将知识条目格式化为摘要（一行）；外部来源条目同样带来源标记前缀
      */
     formatEntrySummary(entry) {
-        return `[${entry.id}] ${entry.title} (${entry.maturity}) — ${entry.content.slice(0, 100)}${entry.content.length > 100 ? '...' : ''}`;
+        const prefix = entry.origin === 'external' ? `${query_1.EXTERNAL_SOURCE_MARKER} ` : '';
+        return `${prefix}[${entry.id}] ${entry.title} (${entry.maturity}) — ${entry.content.slice(0, 100)}${entry.content.length > 100 ? '...' : ''}`;
     }
     /**
      * 获取查询引擎

package/dist/context/knowledge-injector.js.map

@@ -1 +1 @@
-{"version":3,"file":"knowledge-injector.js","sourceRoot":"","sources":["../../src/context/knowledge-injector.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAGH,iDAAgD;AAyBhD,MAAa,iBAAiB;IACpB,KAAK,CAAiB;IAE9B,YAAY,KAAqB;QAC/B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,MAAuB;QAC5B,MAAM,EACJ,MAAM,EACN,UAAU,EACV,KAAK,EACL,OAAO,GAAG,EAAE,EACZ,wBAAwB,GAAG,IAAI,GAChC,GAAG,MAAM,CAAC;QAEX,OAAO;QACP,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;YACnC,KAAK,EAAE,KAAK,IAAI,SAAS;YACzB,SAAS,EAAE,MAAM;YACjB,UAAU,EAAE,EAAE;YACd,UAAU,EAAE,UAAU,IAAI,EAAE;SAC7B,CAAC,CAAC;QAEH,MAAM,OAAO,GAAoB,EAAE,CAAC;QACpC,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,IAAI,eAAe,GAAG,CAAC,CAAC;QACxB,IAAI,eAAe,GAAG,CAAC,CAAC;QACxB,IAAI,iBAAiB,GAAG,CAAC,CAAC;QAE1B,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QAEpC,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;YACxC,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC7B,eAAe,EAAE,CAAC;gBAElB,SAAS;gBACT,IAAI,wBAAwB,EAAE,CAAC;oBAC7B,MAAM,OAAO,GAAG,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;oBAC/C,MAAM,aAAa,GAAG,6BAAc,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;oBAE3D,IAAI,UAAU,GAAG,aAAa,IAAI,MAAM,EAAE,CAAC;wBACzC,OAAO,CAAC,IAAI,CAAC;4BACX,IAAI,EAAE,WAAW;4BACjB,EAAE,EAAE,qBAAqB,KAAK,CAAC,EAAE,EAAE;4BACnC,OAAO,EAAE,OAAO;4BAChB,QAAQ,EAAE,CAAC;4BACX,QAAQ,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE;yBACjD,CAAC,CAAC;wBACH,UAAU,IAAI,aAAa,CAAC;wBAC5B,iBAAiB,EAAE,CAAC;oBACtB,CAAC;gBACH,CAAC;gBAED,SAAS;YACX,CAAC;YAED,SAAS;YACT,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,6BAAc,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;YAE3D,IAAI,UAAU,GAAG,WAAW,IAAI,MAAM,EAAE,CAAC;gBACvC,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,WAAW;oBACjB,EAAE,EAAE,aAAa,KAAK,CAAC,EAAE,EAAE;oBAC3B,OAAO,EAAE,SAAS;oBAClB,QAAQ,EAAE,CAAC;oBACX,QAAQ,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE;iBAC1D,CAAC,CAAC;gBACH,UAAU,IAAI,WAAW,CAAC;gBAC1B,eAAe,EAAE,CAAC;YACpB,CAAC;iBAAM,CAAC;gBACN,cAAc;gBACd,MAAM,OAAO,GAAG,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;gBAC/C,MAAM,aAAa,GAAG,6BAAc,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;gBAE3D,IAAI,UAAU,GAAG,aAAa,IAAI,MAAM,EAAE,CAAC;oBACzC,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI,EAAE,WAAW;wBACjB,EAAE,EAAE,qBAAqB,KAAK,CAAC,EAAE,EAAE;wBACnC,OAAO,EAAE,OAAO;wBAChB,QAAQ,EAAE,CAAC;wBACX,QAAQ,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE;qBACjD,CAAC,CAAC;oBACH,UAAU,IAAI,aAAa,CAAC;oBAC5B,iBAAiB,EAAE,CAAC;gBACtB,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO;YACL,OAAO;YACP,UAAU;YACV,eAAe;YACf,eAAe;YACf,iBAAiB;SAClB,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,KAAqB;QAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;QAC9D,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,EAAE,WAAW,KAAK,CAAC,QAAQ,UAAU,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;QAE5E,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7C,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAE1B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED;;OAEG;IACH,kBAAkB,CAAC,KAAqB;QACtC,OAAO,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,QAAQ,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IACvI,CAAC;IAED;;OAEG;IACH,QAAQ;QACN,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;CACF;AAtID,8CAsIC"}
+{"version":3,"file":"knowledge-injector.js","sourceRoot":"","sources":["../../src/context/knowledge-injector.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAEH,8CAA4E;AAC5E,iDAAgD;AAyBhD,MAAa,iBAAiB;IACpB,KAAK,CAAiB;IAE9B,YAAY,KAAqB;QAC/B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,MAAuB;QAC5B,MAAM,EACJ,MAAM,EACN,UAAU,EACV,KAAK,EACL,OAAO,GAAG,EAAE,EACZ,wBAAwB,GAAG,IAAI,GAChC,GAAG,MAAM,CAAC;QAEX,OAAO;QACP,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;YACnC,KAAK,EAAE,KAAK,IAAI,SAAS;YACzB,SAAS,EAAE,MAAM;YACjB,UAAU,EAAE,EAAE;YACd,UAAU,EAAE,UAAU,IAAI,EAAE;SAC7B,CAAC,CAAC;QAEH,MAAM,OAAO,GAAoB,EAAE,CAAC;QACpC,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,IAAI,eAAe,GAAG,CAAC,CAAC;QACxB,IAAI,eAAe,GAAG,CAAC,CAAC;QACxB,IAAI,iBAAiB,GAAG,CAAC,CAAC;QAE1B,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QAEpC,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;YACxC,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC7B,eAAe,EAAE,CAAC;gBAElB,SAAS;gBACT,IAAI,wBAAwB,EAAE,CAAC;oBAC7B,MAAM,OAAO,GAAG,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;oBAC/C,MAAM,aAAa,GAAG,6BAAc,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;oBAE3D,IAAI,UAAU,GAAG,aAAa,IAAI,MAAM,EAAE,CAAC;wBACzC,OAAO,CAAC,IAAI,CAAC;4BACX,IAAI,EAAE,WAAW;4BACjB,EAAE,EAAE,qBAAqB,KAAK,CAAC,EAAE,EAAE;4BACnC,OAAO,EAAE,OAAO;4BAChB,QAAQ,EAAE,CAAC;4BACX,QAAQ,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE;yBACvE,CAAC,CAAC;wBACH,UAAU,IAAI,aAAa,CAAC;wBAC5B,iBAAiB,EAAE,CAAC;oBACtB,CAAC;gBACH,CAAC;gBAED,SAAS;YACX,CAAC;YAED,SAAS;YACT,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,6BAAc,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;YAE3D,IAAI,UAAU,GAAG,WAAW,IAAI,MAAM,EAAE,CAAC;gBACvC,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,WAAW;oBACjB,EAAE,EAAE,aAAa,KAAK,CAAC,EAAE,EAAE;oBAC3B,OAAO,EAAE,SAAS;oBAClB,QAAQ,EAAE,CAAC;oBACX,QAAQ,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE;iBAChF,CAAC,CAAC;gBACH,UAAU,IAAI,WAAW,CAAC;gBAC1B,eAAe,EAAE,CAAC;YACpB,CAAC;iBAAM,CAAC;gBACN,cAAc;gBACd,MAAM,OAAO,GAAG,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;gBAC/C,MAAM,aAAa,GAAG,6BAAc,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;gBAE3D,IAAI,UAAU,GAAG,aAAa,IAAI,MAAM,EAAE,CAAC;oBACzC,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI,EAAE,WAAW;wBACjB,EAAE,EAAE,qBAAqB,KAAK,CAAC,EAAE,EAAE;wBACnC,OAAO,EAAE,OAAO;wBAChB,QAAQ,EAAE,CAAC;wBACX,QAAQ,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE;qBACvE,CAAC,CAAC;oBACH,UAAU,IAAI,aAAa,CAAC;oBAC5B,iBAAiB,EAAE,CAAC;gBACtB,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO;YACL,OAAO;YACP,UAAU;YACV,eAAe;YACf,eAAe;YACf,iBAAiB;SAClB,CAAC;IACJ,CAAC;IAED;;;;OAIG;IACH,WAAW,CAAC,KAAqB;QAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,8BAAsB,CAAC,CAAC;QACrC,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;QAC9D,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,EAAE,WAAW,KAAK,CAAC,QAAQ,UAAU,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;QAE5E,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7C,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAE1B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED;;OAEG;IACH,kBAAkB,CAAC,KAAqB;QACtC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,8BAAsB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/E,OAAO,GAAG,MAAM,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,QAAQ,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IAChJ,CAAC;IAED;;OAEG;IACH,QAAQ;QACN,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;CACF;AA7ID,8CA6IC"}

package/dist/core/constraints/agent-prompt-renderer.js

@@ -13,7 +13,7 @@
  */
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.renderConstraintsByTrigger = renderConstraintsByTrigger;
-const exec_1 = require("../../utils/exec");
+const triggers_1 = require("./triggers");
 const effective_constraints_1 = require("../effective-constraints");
 /** 层级分组定义（渲染顺序即声明顺序） */
 const LEVEL_GROUPS = [
@@ -36,7 +36,7 @@ function renderConstraintsByTrigger(triggers, options) {
     if (requested.length === 0)
         return '';
     const constraints = (0, effective_constraints_1.getEffectiveConstraints)(options?.projectRoot);
-    const applicable = constraints.filter(c => c.promptInjection && (0, exec_1.matchesTrigger)(c, requested));
+    const applicable = constraints.filter(c => c.promptInjection && (0, triggers_1.matchesTrigger)(c, requested));
     if (applicable.length === 0)
         return '';
     const lines = ['\n## 行为约束（前置声明）\n'];

package/dist/core/constraints/agent-prompt-renderer.js.map

@@ -1 +1 @@
-{"version":3,"file":"agent-prompt-renderer.js","sourceRoot":"","sources":["../../../src/core/constraints/agent-prompt-renderer.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;AA+BH,gEAwBC;AApDD,2CAAkD;AAClD,oEAAmE;AAUnE,wBAAwB;AACxB,MAAM,YAAY,GAA+D;IAC/E,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,kBAAkB,EAAE;IAClD,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,gBAAgB,EAAE;IACjD,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE;CACzC,CAAC;AAEF;;;;;;;;;GASG;AACH,SAAgB,0BAA0B,CACxC,QAAiD,EACjD,OAA2C;IAE3C,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAClE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEtC,MAAM,WAAW,GAAG,IAAA,+CAAuB,EAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAClE,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CACnC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,IAAI,IAAA,qBAAc,EAAC,CAAC,EAAE,SAAS,CAAC,CACvD,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEvC,MAAM,KAAK,GAAa,CAAC,mBAAmB,CAAC,CAAC;IAC9C,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACjC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC;QACpD,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}
+{"version":3,"file":"agent-prompt-renderer.js","sourceRoot":"","sources":["../../../src/core/constraints/agent-prompt-renderer.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;AA+BH,gEAwBC;AApDD,yCAA4C;AAC5C,oEAAmE;AAUnE,wBAAwB;AACxB,MAAM,YAAY,GAA+D;IAC/E,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,kBAAkB,EAAE;IAClD,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,gBAAgB,EAAE;IACjD,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE;CACzC,CAAC;AAEF;;;;;;;;;GASG;AACH,SAAgB,0BAA0B,CACxC,QAAiD,EACjD,OAA2C;IAE3C,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAClE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEtC,MAAM,WAAW,GAAG,IAAA,+CAAuB,EAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAClE,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CACnC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,IAAI,IAAA,yBAAc,EAAC,CAAC,EAAE,SAAS,CAAC,CACvD,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEvC,MAAM,KAAK,GAAa,CAAC,mBAAmB,CAAC,CAAC;IAC9C,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACjC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC;QACpD,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

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

@@ -47,6 +47,17 @@ export interface CapabilityVerdict {
     /** 幽灵条目（文件 + 目录）：文档登记但代码实况与文件系统均不存在 */
     deadEntries: string[];
 }
+/**
+ * 变更文件是否被条目覆盖（ADR-0009 唯一覆盖规则）
+ *
+ * 目录条目（以 / 结尾）前缀匹配；文件条目精确匹配或路径边界后缀匹配
+ * （兼容 basename 条目，但拒绝 xfoo.ts 命中 foo.ts、docs/src/foo.tsx 命中 src/foo.ts
+ * 这类 endsWith/includes 模糊匹配造成的碰撞）
+ *
+ * 对外导出（ADR-0023 步骤 4）：共享对照判定的消费方需要按自己的增量清单再算一次覆盖，
+ * 这条规则不得在别处重写。
+ */
+export declare function isCoveredByEntries(entries: string[], file: string): boolean;
 export declare function reconcileCapabilities(input: ReconcileInput): CapabilityVerdict;
 /**
  * 变更清单中的「有意义的代码变更」：仅 .ts/.tsx/.js 且非测试文件
@@ -64,4 +75,13 @@ export declare function significantCodeChanges(diffNames: string[]): string[];
 export declare function collectSourceFiles(projectPath: string, roots: string[], options?: {
     includeTsx?: boolean;
 }): string[];
+/**
+ * 「代码实况清单」的唯一取法：只收真实存在的源码根下的文件（项目相对路径）
+ *
+ * 抽出的理由（ADR-0023 步骤 4）：capability_sync 与 docs_freshness 现在把同一份清单
+ * 喂给 run 内共享的对照判定（`RunEnv.capabilities()`，memo 只记第一次的输入），
+ * 两边必须逐字相同，否则共享的就是一份错的东西。扫描本身仍经调用方注入的 `scan`
+ * （保留 checker 侧 srcScan 证据接缝与测试可替身性）。
+ */
+export declare function collectPopulationFiles(projectPath: string, roots: string[], scan: (root: string) => string[]): string[];
 //# sourceMappingURL=capabilities-reconcile.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"capabilities-reconcile.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/capabilities-reconcile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAaH,MAAM,WAAW,cAAc;IAC7B,yBAAyB;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,uDAAuD;IACvD,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,uCAAuC;IACvC,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,8CAA8C;IAC9C,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC;IAC1C,oDAAoD;IACpD,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,iBAAiB;IAChC,iCAAiC;IACjC,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,uBAAuB;IACvB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,+BAA+B;IAC/B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,yCAAyC;IACzC,QAAQ,EAAE,OAAO,CAAC;IAClB,oCAAoC;IACpC,aAAa,EAAE,OAAO,CAAC;IACvB,wCAAwC;IACxC,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,mBAAmB;IACnB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,8CAA8C;IAC9C,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,uCAAuC;IACvC,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AA2BD,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,cAAc,GAAG,iBAAiB,CA2C9E;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAIpE;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,MAAM,EAAE,EACf,OAAO,GAAE;IAAE,UAAU,CAAC,EAAE,OAAO,CAAA;CAAO,GACrC,MAAM,EAAE,CAUV"}
+{"version":3,"file":"capabilities-reconcile.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/capabilities-reconcile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAcH,MAAM,WAAW,cAAc;IAC7B,yBAAyB;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,uDAAuD;IACvD,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,uCAAuC;IACvC,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,8CAA8C;IAC9C,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC;IAC1C,oDAAoD;IACpD,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,iBAAiB;IAChC,iCAAiC;IACjC,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,uBAAuB;IACvB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,+BAA+B;IAC/B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,yCAAyC;IACzC,QAAQ,EAAE,OAAO,CAAC;IAClB,oCAAoC;IACpC,aAAa,EAAE,OAAO,CAAC;IACvB,wCAAwC;IACxC,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,mBAAmB;IACnB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,8CAA8C;IAC9C,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,uCAAuC;IACvC,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAM3E;AAYD,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,cAAc,GAAG,iBAAiB,CA2C9E;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAIpE;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,MAAM,EAAE,EACf,OAAO,GAAE;IAAE,UAAU,CAAC,EAAE,OAAO,CAAA;CAAO,GACrC,MAAM,EAAE,CAUV;AAED;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CACpC,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,MAAM,EAAE,EACf,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,EAAE,GAC/B,MAAM,EAAE,CAMV"}

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

@@ -17,9 +17,12 @@
  * module 读 uncoveredDirs（目录聚合），file 读 uncoveredFiles（逐文件）。
  */
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.isCoveredByEntries = isCoveredByEntries;
 exports.reconcileCapabilities = reconcileCapabilities;
 exports.significantCodeChanges = significantCodeChanges;
 exports.collectSourceFiles = collectSourceFiles;
+exports.collectPopulationFiles = collectPopulationFiles;
+const fs_1 = require("fs");
 const path_1 = require("path");
 const capabilities_parser_1 = require("./capabilities-parser");
 const file_walk_1 = require("../../utils/file-walk");
@@ -31,8 +34,11 @@ const TABLE_SEPARATOR_REGEX = /^\s*\|[\s:|-]+\|\s*$/m;
  * 目录条目（以 / 结尾）前缀匹配；文件条目精确匹配或路径边界后缀匹配
  * （兼容 basename 条目，但拒绝 xfoo.ts 命中 foo.ts、docs/src/foo.tsx 命中 src/foo.ts
  * 这类 endsWith/includes 模糊匹配造成的碰撞）
+ *
+ * 对外导出（ADR-0023 步骤 4）：共享对照判定的消费方需要按自己的增量清单再算一次覆盖，
+ * 这条规则不得在别处重写。
  */
-function isCoveredBy(entries, file) {
+function isCoveredByEntries(entries, file) {
     return entries.some((listed) => listed.endsWith('/')
         ? file.startsWith(listed)
         : file === listed || file.endsWith('/' + listed));
@@ -49,14 +55,14 @@ function reconcileCapabilities(input) {
     const fileEntries = allEntries.filter((e) => !e.endsWith('/'));
     const dirEntries = allEntries.filter((e) => e.endsWith('/'));
     const coverageEntries = [...fileEntries, ...dirEntries];
-    const uncoveredFiles = populationFiles.filter((f) => !isCoveredBy(coverageEntries, f));
+    const uncoveredFiles = populationFiles.filter((f) => !isCoveredByEntries(coverageEntries, f));
     const uncoveredDirs = [...new Set(uncoveredFiles.map((file) => {
             // 与 sync-docs 历史聚合同语义：归属第一个能前缀匹配的来源根，兜底首根
             const root = sourceRoots.find((d) => file.startsWith(d + '/')) || sourceRoots[0] || '';
             return (0, capabilities_parser_1.aggregateToSourceSubdir)(root, file);
         }))];
     // 条目在代码实况中仍有对应文件即算活（裸文件名条目无法做存在性判定的兜底）
-    const aliveByPopulation = (entry) => populationFiles.some((f) => isCoveredBy([entry], f));
+    const aliveByPopulation = (entry) => populationFiles.some((f) => isCoveredByEntries([entry], f));
     const deadEntries = allEntries.filter((entry) => {
         if (entryExistsOnDisk(entry, fileExists, sourceRoots))
             return false;
@@ -68,7 +74,7 @@ function reconcileCapabilities(input) {
         coverageEntries,
         hasTable: TABLE_SEPARATOR_REGEX.test(content),
         listingFormat: (0, capabilities_parser_1.isCapabilityListingFormat)(content),
-        uncoveredChanges: changedFiles.filter((f) => !isCoveredBy(coverageEntries, f)),
+        uncoveredChanges: changedFiles.filter((f) => !isCoveredByEntries(coverageEntries, f)),
         uncoveredFiles,
         uncoveredDirs,
         deadEntries,
@@ -102,4 +108,20 @@ function collectSourceFiles(projectPath, roots, options = {}) {
     }
     return files;
 }
+/**
+ * 「代码实况清单」的唯一取法：只收真实存在的源码根下的文件（项目相对路径）
+ *
+ * 抽出的理由（ADR-0023 步骤 4）：capability_sync 与 docs_freshness 现在把同一份清单
+ * 喂给 run 内共享的对照判定（`RunEnv.capabilities()`，memo 只记第一次的输入），
+ * 两边必须逐字相同，否则共享的就是一份错的东西。扫描本身仍经调用方注入的 `scan`
+ * （保留 checker 侧 srcScan 证据接缝与测试可替身性）。
+ */
+function collectPopulationFiles(projectPath, roots, scan) {
+    const files = [];
+    for (const root of roots) {
+        if ((0, fs_1.existsSync)((0, path_1.join)(projectPath, root)))
+            files.push(...scan(root));
+    }
+    return files;
+}
 //# sourceMappingURL=capabilities-reconcile.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"capabilities-reconcile.js","sourceRoot":"","sources":["../../../src/core/constraints/capabilities-reconcile.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;GAgBG;;AAwEH,sDA2CC;AAMD,wDAIC;AAUD,gDAcC;AAnJD,+BAAsC;AACtC,+DAI+B;AAC/B,qDAA0D;AAE1D,6DAA6D;AAC7D,MAAM,qBAAqB,GAAG,uBAAuB,CAAC;AAoCtD;;;;;;GAMG;AACH,SAAS,WAAW,CAAC,OAAiB,EAAE,IAAY;IAClD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC7B,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QAClB,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;QACzB,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,GAAG,MAAM,CAAC,CACnD,CAAC;AACJ,CAAC;AAED,kEAAkE;AAClE,SAAS,iBAAiB,CACxB,KAAa,EACb,UAAoC,EACpC,WAAqB;IAErB,IAAI,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,SAAgB,qBAAqB,CAAC,KAAqB;IACzD,MAAM,EACJ,OAAO,EACP,eAAe,EACf,YAAY,GAAG,EAAE,EACjB,UAAU,GAAG,GAAG,EAAE,CAAC,KAAK,EACxB,WAAW,GAAG,EAAE,GACjB,GAAG,KAAK,CAAC;IAEV,MAAM,UAAU,GAAG,IAAA,8CAAwB,EAAC,OAAO,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5E,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/D,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7D,MAAM,eAAe,GAAG,CAAC,GAAG,WAAW,EAAE,GAAG,UAAU,CAAC,CAAC;IAExD,MAAM,cAAc,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC;IACvF,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,GAAG,CAC/B,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YAC1B,0CAA0C;YAC1C,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACvF,OAAO,IAAA,6CAAuB,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7C,CAAC,CAAC,CACH,CAAC,CAAC;IAEH,uCAAuC;IACvC,MAAM,iBAAiB,GAAG,CAAC,KAAa,EAAW,EAAE,CACnD,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAEvD,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;QAC9C,IAAI,iBAAiB,CAAC,KAAK,EAAE,UAAU,EAAE,WAAW,CAAC;YAAE,OAAO,KAAK,CAAC;QACpE,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,WAAW;QACX,UAAU;QACV,eAAe;QACf,QAAQ,EAAE,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC;QAC7C,aAAa,EAAE,IAAA,+CAAyB,EAAC,OAAO,CAAC;QACjD,gBAAgB,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC;QAC9E,cAAc;QACd,aAAa;QACb,WAAW;KACZ,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,sBAAsB,CAAC,SAAmB;IACxD,OAAO,SAAS;SACb,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;SAC3E,MAAM,CAAC,CAAC,CAAC,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,CAAC,CAAC;AAC/F,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,kBAAkB,CAChC,WAAmB,EACnB,KAAe,EACf,UAAoC,EAAE;IAEtC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,IAAA,6BAAiB,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,IAAI,CAAC,EAAE;YACvD,SAAS,EAAE,IAAI;YACf,UAAU,EAAE,OAAO,CAAC,UAAU;SAC/B,CAAC,CAAC;QACH,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,eAAQ,EAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"capabilities-reconcile.js","sourceRoot":"","sources":["../../../src/core/constraints/capabilities-reconcile.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;GAgBG;;AA0DH,gDAMC;AAYD,sDA2CC;AAMD,wDAIC;AAUD,gDAcC;AAUD,wDAUC;AA3KD,2BAAgC;AAChC,+BAAsC;AACtC,+DAI+B;AAC/B,qDAA0D;AAE1D,6DAA6D;AAC7D,MAAM,qBAAqB,GAAG,uBAAuB,CAAC;AAoCtD;;;;;;;;;GASG;AACH,SAAgB,kBAAkB,CAAC,OAAiB,EAAE,IAAY;IAChE,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC7B,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QAClB,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;QACzB,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,GAAG,MAAM,CAAC,CACnD,CAAC;AACJ,CAAC;AAED,kEAAkE;AAClE,SAAS,iBAAiB,CACxB,KAAa,EACb,UAAoC,EACpC,WAAqB;IAErB,IAAI,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,SAAgB,qBAAqB,CAAC,KAAqB;IACzD,MAAM,EACJ,OAAO,EACP,eAAe,EACf,YAAY,GAAG,EAAE,EACjB,UAAU,GAAG,GAAG,EAAE,CAAC,KAAK,EACxB,WAAW,GAAG,EAAE,GACjB,GAAG,KAAK,CAAC;IAEV,MAAM,UAAU,GAAG,IAAA,8CAAwB,EAAC,OAAO,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5E,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/D,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7D,MAAM,eAAe,GAAG,CAAC,GAAG,WAAW,EAAE,GAAG,UAAU,CAAC,CAAC;IAExD,MAAM,cAAc,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9F,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,GAAG,CAC/B,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YAC1B,0CAA0C;YAC1C,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACvF,OAAO,IAAA,6CAAuB,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7C,CAAC,CAAC,CACH,CAAC,CAAC;IAEH,uCAAuC;IACvC,MAAM,iBAAiB,GAAG,CAAC,KAAa,EAAW,EAAE,CACnD,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAE9D,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;QAC9C,IAAI,iBAAiB,CAAC,KAAK,EAAE,UAAU,EAAE,WAAW,CAAC;YAAE,OAAO,KAAK,CAAC;QACpE,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,WAAW;QACX,UAAU;QACV,eAAe;QACf,QAAQ,EAAE,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC;QAC7C,aAAa,EAAE,IAAA,+CAAyB,EAAC,OAAO,CAAC;QACjD,gBAAgB,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC;QACrF,cAAc;QACd,aAAa;QACb,WAAW;KACZ,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,sBAAsB,CAAC,SAAmB;IACxD,OAAO,SAAS;SACb,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;SAC3E,MAAM,CAAC,CAAC,CAAC,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,CAAC,CAAC;AAC/F,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,kBAAkB,CAChC,WAAmB,EACnB,KAAe,EACf,UAAoC,EAAE;IAEtC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,IAAA,6BAAiB,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,IAAI,CAAC,EAAE;YACvD,SAAS,EAAE,IAAI;YACf,UAAU,EAAE,OAAO,CAAC,UAAU;SAC/B,CAAC,CAAC;QACH,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,eAAQ,EAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,sBAAsB,CACpC,WAAmB,EACnB,KAAe,EACf,IAAgC;IAEhC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/core/constraints/check-cache.d.ts

@@ -14,7 +14,7 @@
  * ```typescript
  * const cache = new CheckCache({ ttlMs: 5000 });
  * // 普通 TTL 缓存
- * const diff = await cache.get('git_diff', projectPath, () => runCommand('git diff --cached', projectPath));
+ * const diff = await cache.get('git_diff', projectPath, () => createGitEvidence(projectPath).stagedDiff());
  * // 计数采样：每 3 次调用执行 1 次完整检查
  * const ok = await cache.get('goal_check', key, check, { sampleRate: 3, defaultValueOnMiss: true });
  * ```

package/dist/core/constraints/check-cache.js

@@ -15,7 +15,7 @@
  * ```typescript
  * const cache = new CheckCache({ ttlMs: 5000 });
  * // 普通 TTL 缓存
- * const diff = await cache.get('git_diff', projectPath, () => runCommand('git diff --cached', projectPath));
+ * const diff = await cache.get('git_diff', projectPath, () => createGitEvidence(projectPath).stagedDiff());
  * // 计数采样：每 3 次调用执行 1 次完整检查
  * const ok = await cache.get('goal_check', key, check, { sampleRate: 3, defaultValueOnMiss: true });
  * ```

package/dist/core/constraints/checker.d.ts

@@ -10,6 +10,7 @@ import { Constraint, ConstraintContext, ConstraintResult, ConstraintCheckResult
 import type { ExecutionTrace } from '../../types/trace';
 import type { MergedConstraintsConfig } from '../../types/project-config';
 import { type GitEvidence } from './git-evidence';
+import { type RunEnv } from './run-env';
 /**
  * trace 记录器最小接口（工单 15 decycle 收尾，harness#88）
  *
@@ -51,8 +52,9 @@ export declare class ConstraintChecker {
      * 检查单个约束
      *
      * @param evidence 可选，本 run 的 git 证据实例（#87）；不传 = 本次调用独占一份真 git 证据
+     * @param runEnv 可选，本 run 的运行级观察面（ADR-0023）；不传 = 本次调用独占一份
      */
-    check(constraint: Constraint, context: ConstraintContext, evidence?: GitEvidence): Promise<ConstraintResult>;
+    check(constraint: Constraint, context: ConstraintContext, evidence?: GitEvidence, runEnv?: RunEnv): Promise<ConstraintResult>;
     /**
      * 根据约束层级获取严重性
      */
@@ -69,6 +71,7 @@ export declare class ConstraintChecker {
      *
      * git 证据（stagedDiff/stagedDiffNames）单一来源 = GitEvidence adapter（#87）：
      * 一次 run 内调用方传同一实例即至多取证一次，run 外调用独占一份。
+     * 上行数据（config.yml / trace 尾部 / 源根）同一形状 = RunEnv（ADR-0023）。
      */
     private checkPrecondition;
     /**
@@ -93,8 +96,10 @@ export declare class ConstraintChecker {
      * @param evidence 可选，本 run 的 git 证据 adapter（#87）。调用方（CLI check）与
      *   buildConstraintContext 传同一实例 → 一次 run 内 git 取证单一来源；
      *   不传则本 run 自建一份，run 级 memo 照样生效（memo 在实例层，非隐式全局）。
+     * @param runEnv 可选，本 run 的运行级观察面（ADR-0023）。调用方（CLI check）与
+     *   buildConstraintContext 传同一实例 → 一次 run 内同一项目文件至多读一次。
      */
-    checkConstraints(context: ConstraintContext, customConfig?: MergedConstraintsConfig | null, evidence?: GitEvidence): Promise<ConstraintCheckResult>;
+    checkConstraints(context: ConstraintContext, customConfig?: MergedConstraintsConfig | null, evidence?: GitEvidence, runEnv?: RunEnv): Promise<ConstraintCheckResult>;
     /**
      * 收集模式执行约束检查（harness report 的不抛出口，架构评审候选1）
      *
@@ -103,7 +108,7 @@ export declare class ConstraintChecker {
      * trace 逐条照记。报告类消费者拿全量视图；阻断语义只属于 checkConstraints
      * （throw 契约是 #119 判定证据的外溢面，逐字不动）。
      */
-    collectConstraints(context: ConstraintContext, customConfig?: MergedConstraintsConfig | null, evidence?: GitEvidence): Promise<ConstraintCheckResult>;
+    collectConstraints(context: ConstraintContext, customConfig?: MergedConstraintsConfig | null, evidence?: GitEvidence, runEnv?: RunEnv): Promise<ConstraintCheckResult>;
     /**
      * checkConstraints / collectConstraints 的共享检查体；
      * mode='block' 首个铁律违规即抛，mode='collect' 全量跑完不抛

package/dist/core/constraints/checker.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"checker.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/checker.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,UAAU,EACV,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EAGtB,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAExD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAM1E,OAAO,EAAqB,KAAK,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAErE;;;;;;GAMG;AACH,MAAM,WAAW,aAAa;IAC5B,MAAM,CAAC,KAAK,EAAE,cAAc,GAAG,IAAI,CAAC;CACrC;AAKD;;GAEG;AACH,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAoB;IAE3C,6CAA6C;IAC7C,OAAO,CAAC,KAAK,CAA+C;IAE5D,+BAA+B;IAC/B,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAgB;gBAElC,aAAa,GAAE,aAAmC;IAI9D;;OAEG;IACH,MAAM,CAAC,WAAW,IAAI,iBAAiB;IAOvC;;;;;;;OAOG;IACH,cAAc,CAAC,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAAG;QAC7D,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACrC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACvC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;KACrC;IAaD;;;;OAIG;IACG,KAAK,CACT,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,iBAAiB,EAC1B,QAAQ,CAAC,EAAE,WAAW,GACrB,OAAO,CAAC,gBAAgB,CAAC;IA2C5B;;OAEG;IACH,OAAO,CAAC,WAAW;IAanB;;OAEG;IACH,OAAO,CAAC,WAAW;IAkBnB;;;;;;;;OAQG;YACW,iBAAiB;IA6B/B;;;;;OAKG;IACH,yBAAyB,CACvB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C;QACD,QAAQ,EAAE,UAAU,EAAE,CAAC;QACvB,UAAU,EAAE,UAAU,EAAE,CAAC;QACzB,OAAO,EAAE,UAAU,EAAE,CAAC;KACvB;IAiBD;;;;;;;;;;;OAWG;IACG,gBAAgB,CACpB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,EAC7C,QAAQ,CAAC,EAAE,WAAW,GACrB,OAAO,CAAC,qBAAqB,CAAC;IAIjC;;;;;;;OAOG;IACG,kBAAkB,CACtB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,EAC7C,QAAQ,CAAC,EAAE,WAAW,GACrB,OAAO,CAAC,qBAAqB,CAAC;IAIjC;;;OAGG;YACW,iBAAiB;IAqD/B;;;;;;;OAOG;IACG,eAAe,CACnB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,EAC7C,QAAQ,CAAC,EAAE,WAAW,GACrB,OAAO,CAAC,IAAI,CAAC;CAcjB;AAMD;;;;GAIG;AACH,wBAAsB,eAAe,CACnC,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,gBAAgB,CAAC,CAoB3B;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,mCAAmC;IACnC,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,gBAAgB,KAAK,IAAI,CAAC;IAC7C,uCAAuC;IACvC,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,CAAC;CAC/C;AAED;;;;;;GAMG;AACH,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,iBAAiB,EAC1B,OAAO,CAAC,EAAE,uBAAuB,GAChC,OAAO,CAAC,qBAAqB,CAAC,CAOhC;AAED;;;;;GAKG;AACH,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,IAAI,CAAC,CAEf;AAGD,eAAO,MAAM,iBAAiB,mBAAkC,CAAC"}
+{"version":3,"file":"checker.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/checker.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,UAAU,EACV,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EAGtB,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAExD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAM1E,OAAO,EAAqB,KAAK,WAAW,EAAE,MAAM,gBAAgB,CAAC;AACrE,OAAO,EAAgB,KAAK,MAAM,EAAE,MAAM,WAAW,CAAC;AAEtD;;;;;;GAMG;AACH,MAAM,WAAW,aAAa;IAC5B,MAAM,CAAC,KAAK,EAAE,cAAc,GAAG,IAAI,CAAC;CACrC;AAKD;;GAEG;AACH,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAoB;IAE3C,6CAA6C;IAC7C,OAAO,CAAC,KAAK,CAA+C;IAE5D,+BAA+B;IAC/B,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAgB;gBAElC,aAAa,GAAE,aAAmC;IAI9D;;OAEG;IACH,MAAM,CAAC,WAAW,IAAI,iBAAiB;IAOvC;;;;;;;OAOG;IACH,cAAc,CAAC,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAAG;QAC7D,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACrC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACvC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;KACrC;IAaD;;;;;OAKG;IACG,KAAK,CACT,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,iBAAiB,EAC1B,QAAQ,CAAC,EAAE,WAAW,EACtB,MAAM,CAAC,EAAE,MAAM,GACd,OAAO,CAAC,gBAAgB,CAAC;IA2C5B;;OAEG;IACH,OAAO,CAAC,WAAW;IAanB;;OAEG;IACH,OAAO,CAAC,WAAW;IAkBnB;;;;;;;;;OASG;YACW,iBAAiB;IA8B/B;;;;;OAKG;IACH,yBAAyB,CACvB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C;QACD,QAAQ,EAAE,UAAU,EAAE,CAAC;QACvB,UAAU,EAAE,UAAU,EAAE,CAAC;QACzB,OAAO,EAAE,UAAU,EAAE,CAAC;KACvB;IAiBD;;;;;;;;;;;;;OAaG;IACG,gBAAgB,CACpB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,EAC7C,QAAQ,CAAC,EAAE,WAAW,EACtB,MAAM,CAAC,EAAE,MAAM,GACd,OAAO,CAAC,qBAAqB,CAAC;IAIjC;;;;;;;OAOG;IACG,kBAAkB,CACtB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,EAC7C,QAAQ,CAAC,EAAE,WAAW,EACtB,MAAM,CAAC,EAAE,MAAM,GACd,OAAO,CAAC,qBAAqB,CAAC;IAIjC;;;OAGG;YACW,iBAAiB;IAyD/B;;;;;;;OAOG;IACG,eAAe,CACnB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,EAC7C,QAAQ,CAAC,EAAE,WAAW,GACrB,OAAO,CAAC,IAAI,CAAC;CAiBjB;AAMD;;;;GAIG;AACH,wBAAsB,eAAe,CACnC,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,gBAAgB,CAAC,CAoB3B;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,mCAAmC;IACnC,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,gBAAgB,KAAK,IAAI,CAAC;IAC7C,uCAAuC;IACvC,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,CAAC;CAC/C;AAED;;;;;;GAMG;AACH,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,iBAAiB,EAC1B,OAAO,CAAC,EAAE,uBAAuB,GAChC,OAAO,CAAC,qBAAqB,CAAC,CAOhC;AAED;;;;;GAKG;AACH,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,IAAI,CAAC,CAEf;AAGD,eAAO,MAAM,iBAAiB,mBAAkC,CAAC"}