@dommaker/harness 1.4.0 → 1.5.0

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

@@ -6,7 +6,10 @@
  * 通过 ConstraintCheck 接口 + CheckEnv 环境与编排层解耦。
  */
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.MAX_EVIDENCE_ITEMS = void 0;
 exports.buildCheckEnv = buildCheckEnv;
+exports.formatEvidence = formatEvidence;
+exports.normalizeCheckOutcome = normalizeCheckOutcome;
 exports.contextFlag = contextFlag;
 exports.contextEvidenceFlag = contextEvidenceFlag;
 /**
@@ -32,6 +35,36 @@ function buildCheckEnv(context, evidence) {
     }
     return { context, projectPath, ...evidence };
 }
+/** 证据条数上限：trace 是 JSONL，缺口上百项时不能整仓落盘 */
+exports.MAX_EVIDENCE_ITEMS = 10;
+/**
+ * 组装证据行：一行说明 + 逐条依据（超限截断）
+ *
+ * 每行自描述且不带缩进——缩进由消费端（CLI / gate 理由 / 铁律异常文案）决定，trace 原样存。
+ * 修复入口不写在这里：那是各约束自己的事，写进各自的 summary 行（docs_freshness 的
+ * 幽灵条目与 sync-docs 无关，共用一个指针会误导）。
+ */
+function formatEvidence(summary, items) {
+    const shown = items.slice(0, exports.MAX_EVIDENCE_ITEMS);
+    const hidden = items.length - shown.length;
+    return [...(summary ? [summary] : []), ...shown, ...(hidden > 0 ? [`…另 ${hidden} 项`] : [])];
+}
+/**
+ * 归一 CheckOutcome（boolean | 'skip' | CheckDetail）为统一形状
+ *
+ * skip 恒不携带证据：未评估的约束不得留下证据行（否则统计侧会把「没查」读成「查出问题」）。
+ */
+function normalizeCheckOutcome(outcome) {
+    if (outcome === 'skip')
+        return { satisfied: true, skipped: true, evidence: [] };
+    if (typeof outcome === 'boolean')
+        return { satisfied: outcome, skipped: false, evidence: [] };
+    return {
+        satisfied: outcome.pass,
+        skipped: false,
+        evidence: outcome.evidence ?? [],
+    };
+}
 /**
  * 构造纯上下文标志检查（无 I/O 的轻量约束）
  */

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;AAuBD,kCAKC;AASD,kDAYC;AA1ED;;;;;;;;;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;AAoBD;;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;;;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"}

package/dist/gates/checker-gate.d.ts

@@ -11,7 +11,8 @@ import type { Gate } from './types';
 /**
  * 将已注册 checker 适配为统一 Gate（checker-as-guard 接线点）
  *
- * 判定映射：false（违反）→ deny；true（满足）/ 'skip'（未评估）→ abstain。
+ * 判定映射：violated（false 或 CheckDetail.pass=false）→ deny；
+ * 满足 / 'skip'（未评估）→ abstain。违规证据随理由带出。
  *
  * @param check 已注册的 ConstraintCheck（经 checkers 注册表取回）
  * @param order 门禁顺序（供 guard 链排序）

package/dist/gates/checker-gate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"checker-gate.d.ts","sourceRoot":"","sources":["../../src/gates/checker-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAEpE,OAAO,KAAK,EAAE,IAAI,EAA6B,MAAM,SAAS,CAAC;AAI/D;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,eAAe,EAAE,KAAK,SAAI,GAAG,IAAI,CAuBzE"}
+{"version":3,"file":"checker-gate.d.ts","sourceRoot":"","sources":["../../src/gates/checker-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAEpE,OAAO,KAAK,EAAE,IAAI,EAA6B,MAAM,SAAS,CAAC;AAI/D;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,eAAe,EAAE,KAAK,SAAI,GAAG,IAAI,CAkBzE"}

package/dist/gates/checker-gate.js

@@ -15,7 +15,8 @@ const decision_1 = require("./decision");
 /**
  * 将已注册 checker 适配为统一 Gate（checker-as-guard 接线点）
  *
- * 判定映射：false（违反）→ deny；true（满足）/ 'skip'（未评估）→ abstain。
+ * 判定映射：violated（false 或 CheckDetail.pass=false）→ deny；
+ * 满足 / 'skip'（未评估）→ abstain。违规证据随理由带出。
  *
  * @param check 已注册的 ConstraintCheck（经 checkers 注册表取回）
  * @param order 门禁顺序（供 guard 链排序）
@@ -28,12 +29,14 @@ function createCheckerGate(check, order = 0) {
             const startTime = Date.now();
             const projectPath = ctx.projectPath || process.cwd();
             const env = (0, checkers_1.buildCheckEnv)({ operation: 'manual', projectPath }, 'none');
-            const outcome = await check.evaluate(env);
-            return (0, decision_1.decisionFromResult)((0, types_1.gateResult)(check.id, outcome !== false, outcome === false
-                ? `checker "${check.id}" 判定违规`
-                : outcome === 'skip'
-                    ? `checker "${check.id}" 跳过（证据未接线）`
-                    : `checker "${check.id}" 通过`, startTime));
+            const outcome = (0, checkers_1.normalizeCheckOutcome)(await check.evaluate(env));
+            const evidence = outcome.evidence.map((e) => `\n  - ${e}`).join('');
+            const reason = outcome.skipped
+                ? `checker "${check.id}" 跳过（证据未接线）`
+                : outcome.satisfied
+                    ? `checker "${check.id}" 通过`
+                    : `checker "${check.id}" 判定违规${evidence}`;
+            return (0, decision_1.decisionFromResult)((0, types_1.gateResult)(check.id, outcome.satisfied, reason, startTime));
         },
     };
 }

package/dist/gates/checker-gate.js.map

@@ -1 +1 @@
-{"version":3,"file":"checker-gate.js","sourceRoot":"","sources":["../../src/gates/checker-gate.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;AAgBH,8CAuBC;AApCD,2DAA6D;AAE7D,mCAAqC;AACrC,yCAAgD;AAEhD;;;;;;;GAOG;AACH,SAAgB,iBAAiB,CAAC,KAAsB,EAAE,KAAK,GAAG,CAAC;IACjE,OAAO;QACL,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,KAAK;QACL,KAAK,CAAC,QAAQ,CAAC,GAAgB;YAC7B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC7B,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;YACrD,MAAM,GAAG,GAAG,IAAA,wBAAa,EAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,EAAE,MAAM,CAAC,CAAC;YACxE,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YAC1C,OAAO,IAAA,6BAAkB,EACvB,IAAA,kBAAU,EACR,KAAK,CAAC,EAAE,EACR,OAAO,KAAK,KAAK,EACjB,OAAO,KAAK,KAAK;gBACf,CAAC,CAAC,YAAY,KAAK,CAAC,EAAE,QAAQ;gBAC9B,CAAC,CAAC,OAAO,KAAK,MAAM;oBAClB,CAAC,CAAC,YAAY,KAAK,CAAC,EAAE,aAAa;oBACnC,CAAC,CAAC,YAAY,KAAK,CAAC,EAAE,MAAM,EAChC,SAAS,CACV,CACF,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"checker-gate.js","sourceRoot":"","sources":["../../src/gates/checker-gate.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;AAiBH,8CAkBC;AAhCD,2DAAoF;AAEpF,mCAAqC;AACrC,yCAAgD;AAEhD;;;;;;;;GAQG;AACH,SAAgB,iBAAiB,CAAC,KAAsB,EAAE,KAAK,GAAG,CAAC;IACjE,OAAO;QACL,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,KAAK;QACL,KAAK,CAAC,QAAQ,CAAC,GAAgB;YAC7B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC7B,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;YACrD,MAAM,GAAG,GAAG,IAAA,wBAAa,EAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,EAAE,MAAM,CAAC,CAAC;YACxE,MAAM,OAAO,GAAG,IAAA,gCAAqB,EAAC,MAAM,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;YACjE,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACpE,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO;gBAC5B,CAAC,CAAC,YAAY,KAAK,CAAC,EAAE,aAAa;gBACnC,CAAC,CAAC,OAAO,CAAC,SAAS;oBACjB,CAAC,CAAC,YAAY,KAAK,CAAC,EAAE,MAAM;oBAC5B,CAAC,CAAC,YAAY,KAAK,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;YAC9C,OAAO,IAAA,6BAAkB,EAAC,IAAA,kBAAU,EAAC,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;QACxF,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/types/constraint.d.ts

@@ -86,6 +86,14 @@ export interface ConstraintResult {
     constraint?: Constraint;
     /** 消息 */
     message?: string;
+    /**
+     * 证据行（harness#119）
+     *
+     * checker 经 CheckDetail 返回的具体判定依据（如未登记的文件路径）。
+     * 违规时随 message 一并展示；满足但非空时为「提示」（不进 pass/fail 统计）。
+     * skip 恒为空——未评估不得留下证据行。
+     */
+    evidence?: string[];
     /** 建议操作 */
     requiredAction?: string;
     /** 检查时间 */

package/dist/types/constraint.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"constraint.d.ts","sourceRoot":"","sources":["../../src/types/constraint.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC;AAElC;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,GAAG,QAAQ,CAAC;AAEhD;;;;GAIG;AACH,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,WAAW,GAAG,QAAQ,CAAC;AAElE;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC;AAEvC;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,YAAY;IACZ,EAAE,EAAE,YAAY,CAAC;IAEjB;;;;OAIG;IACH,IAAI,EAAE,cAAc,CAAC;IAErB,eAAe;IACf,IAAI,EAAE,MAAM,CAAC;IAEb,eAAe;IACf,OAAO,EAAE,MAAM,CAAC;IAEhB,WAAW;IACX,KAAK,EAAE,eAAe,CAAC;IAEvB,yBAAyB;IACzB,OAAO,EAAE,iBAAiB,GAAG,iBAAiB,EAAE,CAAC;IAEjD,iBAAiB;IACjB,WAAW,EAAE,MAAM,CAAC;IAEpB,WAAW;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,sCAAsC;IACtC,eAAe,CAAC,EAAE,MAAM,CAAC;IAEzB,2DAA2D;IAC3D,YAAY,CAAC,EAAE,OAAO,CAAC;IAEvB,WAAW;IACX,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB;;;OAGG;IACH,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,YAAY;IACZ,EAAE,EAAE,YAAY,CAAC;IAEjB,WAAW;IACX,KAAK,EAAE,eAAe,CAAC;IAEvB,WAAW;IACX,SAAS,EAAE,OAAO,CAAC;IAEnB;;;;;;OAMG;IACH,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB,WAAW;IACX,UAAU,CAAC,EAAE,UAAU,CAAC;IAExB,SAAS;IACT,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,WAAW;IACX,cAAc,CAAC,EAAE,MAAM,CAAC;IAExB,WAAW;IACX,SAAS,EAAE,IAAI,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,aAAa;IACb,SAAS,EAAE,iBAAiB,CAAC;IAE7B;;;;;OAKG;IACH,aAAa,CAAC,EAAE,iBAAiB,EAAE,CAAC;IAEpC,aAAa;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,YAAY;IACZ,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,WAAW;IACX,eAAe,CAAC,EAAE,MAAM,CAAC;IAEzB,WAAW;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,2BAA2B;IAC3B,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB,cAAc;IACd,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IAExB,WAAW;IACX,aAAa,CAAC,EAAE,MAAM,CAAC;IAEvB,WAAW;IACX,MAAM,CAAC,EAAE,MAAM,CAAC;IAMhB,gBAAgB;IAChB,yBAAyB,CAAC,EAAE,OAAO,CAAC;IAEpC,4BAA4B;IAC5B,eAAe,CAAC,EAAE,OAAO,CAAC;IAE1B,cAAc;IACd,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAElC,YAAY;IACZ,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB,eAAe;IACf,cAAc,CAAC,EAAE,OAAO,CAAC;IAEzB,gBAAgB;IAChB,aAAa,CAAC,EAAE,OAAO,CAAC;IAExB,yCAAyC;IACzC,aAAa,CAAC,EAAE,OAAO,CAAC;IAExB,wDAAwD;IACxD,cAAc,CAAC,EAAE,OAAO,CAAC;IAEzB,oCAAoC;IACpC,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,qBAAa,wBAAyB,SAAQ,KAAK;IACjD,SAAgB,MAAM,EAAE,gBAAgB,CAAC;gBAE7B,MAAM,EAAE,gBAAgB;CAKrC;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,qBAAqB;IACrB,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IAE7B,uBAAuB;IACvB,UAAU,EAAE,gBAAgB,EAAE,CAAC;IAE/B,mBAAmB;IACnB,MAAM,EAAE,OAAO,CAAC;IAEhB,WAAW;IACX,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,iBAAiB,CAAC"}
+{"version":3,"file":"constraint.d.ts","sourceRoot":"","sources":["../../src/types/constraint.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC;AAElC;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,GAAG,QAAQ,CAAC;AAEhD;;;;GAIG;AACH,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,WAAW,GAAG,QAAQ,CAAC;AAElE;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC;AAEvC;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,YAAY;IACZ,EAAE,EAAE,YAAY,CAAC;IAEjB;;;;OAIG;IACH,IAAI,EAAE,cAAc,CAAC;IAErB,eAAe;IACf,IAAI,EAAE,MAAM,CAAC;IAEb,eAAe;IACf,OAAO,EAAE,MAAM,CAAC;IAEhB,WAAW;IACX,KAAK,EAAE,eAAe,CAAC;IAEvB,yBAAyB;IACzB,OAAO,EAAE,iBAAiB,GAAG,iBAAiB,EAAE,CAAC;IAEjD,iBAAiB;IACjB,WAAW,EAAE,MAAM,CAAC;IAEpB,WAAW;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,sCAAsC;IACtC,eAAe,CAAC,EAAE,MAAM,CAAC;IAEzB,2DAA2D;IAC3D,YAAY,CAAC,EAAE,OAAO,CAAC;IAEvB,WAAW;IACX,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB;;;OAGG;IACH,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,YAAY;IACZ,EAAE,EAAE,YAAY,CAAC;IAEjB,WAAW;IACX,KAAK,EAAE,eAAe,CAAC;IAEvB,WAAW;IACX,SAAS,EAAE,OAAO,CAAC;IAEnB;;;;;;OAMG;IACH,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB,WAAW;IACX,UAAU,CAAC,EAAE,UAAU,CAAC;IAExB,SAAS;IACT,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IAEpB,WAAW;IACX,cAAc,CAAC,EAAE,MAAM,CAAC;IAExB,WAAW;IACX,SAAS,EAAE,IAAI,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,aAAa;IACb,SAAS,EAAE,iBAAiB,CAAC;IAE7B;;;;;OAKG;IACH,aAAa,CAAC,EAAE,iBAAiB,EAAE,CAAC;IAEpC,aAAa;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,YAAY;IACZ,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,WAAW;IACX,eAAe,CAAC,EAAE,MAAM,CAAC;IAEzB,WAAW;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,2BAA2B;IAC3B,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB,cAAc;IACd,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IAExB,WAAW;IACX,aAAa,CAAC,EAAE,MAAM,CAAC;IAEvB,WAAW;IACX,MAAM,CAAC,EAAE,MAAM,CAAC;IAMhB,gBAAgB;IAChB,yBAAyB,CAAC,EAAE,OAAO,CAAC;IAEpC,4BAA4B;IAC5B,eAAe,CAAC,EAAE,OAAO,CAAC;IAE1B,cAAc;IACd,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAElC,YAAY;IACZ,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB,eAAe;IACf,cAAc,CAAC,EAAE,OAAO,CAAC;IAEzB,gBAAgB;IAChB,aAAa,CAAC,EAAE,OAAO,CAAC;IAExB,yCAAyC;IACzC,aAAa,CAAC,EAAE,OAAO,CAAC;IAExB,wDAAwD;IACxD,cAAc,CAAC,EAAE,OAAO,CAAC;IAEzB,oCAAoC;IACpC,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,qBAAa,wBAAyB,SAAQ,KAAK;IACjD,SAAgB,MAAM,EAAE,gBAAgB,CAAC;gBAE7B,MAAM,EAAE,gBAAgB;CAUrC;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,qBAAqB;IACrB,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IAE7B,uBAAuB;IACvB,UAAU,EAAE,gBAAgB,EAAE,CAAC;IAE/B,mBAAmB;IACnB,MAAM,EAAE,OAAO,CAAC;IAEhB,WAAW;IACX,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,iBAAiB,CAAC"}

package/dist/types/constraint.js

@@ -16,7 +16,12 @@ exports.ConstraintViolationError = void 0;
 class ConstraintViolationError extends Error {
     result;
     constructor(result) {
-        super(result.message || 'Constraint violation');
+        // 铁律违规在 checkConstraints 处直接 throw，CLI 的结构化输出块走不到这里，
+        // error.message 是判定证据唯一的外溢面（harness#119）
+        const detail = result.evidence?.length
+            ? `：\n${result.evidence.map((line) => `  - ${line}`).join('\n')}`
+            : '';
+        super(`${result.message || 'Constraint violation'}${detail}`);
         this.name = 'ConstraintViolationError';
         this.result = result;
     }

package/dist/types/constraint.js.map

@@ -1 +1 @@
-{"version":3,"file":"constraint.js","sourceRoot":"","sources":["../../src/types/constraint.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAqLH;;GAEG;AACH,MAAa,wBAAyB,SAAQ,KAAK;IACjC,MAAM,CAAmB;IAEzC,YAAY,MAAwB;QAClC,KAAK,CAAC,MAAM,CAAC,OAAO,IAAI,sBAAsB,CAAC,CAAC;QAChD,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;QACvC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AARD,4DAQC"}
+{"version":3,"file":"constraint.js","sourceRoot":"","sources":["../../src/types/constraint.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AA8LH;;GAEG;AACH,MAAa,wBAAyB,SAAQ,KAAK;IACjC,MAAM,CAAmB;IAEzC,YAAY,MAAwB;QAClC,qDAAqD;QACrD,yCAAyC;QACzC,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,EAAE,MAAM;YACpC,CAAC,CAAC,MAAM,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACjE,CAAC,CAAC,EAAE,CAAC;QACP,KAAK,CAAC,GAAG,MAAM,CAAC,OAAO,IAAI,sBAAsB,GAAG,MAAM,EAAE,CAAC,CAAC;QAC9D,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;QACvC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAbD,4DAaC"}

package/dist/types/trace.d.ts

@@ -17,6 +17,8 @@ export declare const DEFAULT_TRACE_FILE = ".harness/logs/traces.log";
  * - 只记录核心字段（零 Token）
  * - 不记录代码片段（需要时从 git diff 获取）
  * - 不记录决策路径（需要时从 execution logs 获取）
+ * - 例外（harness#119）：判定证据允许记录——路径级依据不是代码片段，
+ *   而没有它，一条恒红的约束在统计侧根本无法回答「红在哪」
  */
 export interface ExecutionTrace {
     /** 约束 ID */
@@ -35,6 +37,13 @@ export interface ExecutionTrace {
     projectPath?: string;
     /** 会话 ID（用于追踪同一会话的多次检查） */
     sessionId?: string;
+    /**
+     * 判定证据行（harness#119）
+     *
+     * 只落 checker 给出的路径级依据（如未登记文件清单），由 checker 截断条数；
+     * 不落 pass 结果的空数组，避免无信息记录膨胀 JSONL。
+     */
+    evidence?: string[];
     /** 用户如何响应失败 */
     userAction?: 'bypass' | 'fix' | 'ignore' | 'request_help';
     /** 用户绕过理由（如果用户绕过） */

package/dist/types/trace.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"trace.d.ts","sourceRoot":"","sources":["../../src/types/trace.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,6BAA6B,CAAC;AAE7D;;;;;;;GAOG;AACH,MAAM,WAAW,cAAc;IAK7B,YAAY;IACZ,YAAY,EAAE,MAAM,CAAC;IAErB,WAAW;IACX,KAAK,EAAE,UAAU,GAAG,WAAW,GAAG,QAAQ,CAAC;IAE3C,2BAA2B;IAC3B,SAAS,EAAE,MAAM,CAAC;IAElB,mDAAmD;IACnD,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;IAMjC,iBAAiB;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB,mBAAmB;IACnB,QAAQ,CAAC,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IAExC,oBAAoB;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,2BAA2B;IAC3B,SAAS,CAAC,EAAE,MAAM,CAAC;IAMnB,eAAe;IACf,UAAU,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,cAAc,CAAC;IAE1D,qBAAqB;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,YAAY;IACZ,YAAY,EAAE,MAAM,CAAC;IAErB,WAAW;IACX,KAAK,EAAE,UAAU,GAAG,WAAW,GAAG,QAAQ,CAAC;IAE3C,aAAa;IACb,SAAS,EAAE;QACT,KAAK,EAAE,MAAM,CAAC;QACd,GAAG,EAAE,MAAM,CAAC;KACb,CAAC;IAMF,YAAY;IACZ,WAAW,EAAE,MAAM,CAAC;IAEpB,WAAW;IACX,SAAS,EAAE,MAAM,CAAC;IAElB,WAAW;IACX,SAAS,EAAE,MAAM,CAAC;IAElB,mDAAmD;IACnD,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB,aAAa;IACb,WAAW,EAAE,MAAM,CAAC;IAMpB,gBAAgB;IAChB,QAAQ,EAAE,MAAM,CAAC;IAEjB,gBAAgB;IAChB,QAAQ,EAAE,MAAM,CAAC;IAMjB,WAAW;IACX,WAAW,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IAE7C,gBAAgB;IAChB,oBAAoB,CAAC,EAAE;QACrB,aAAa,EAAE,MAAM,CAAC;QACtB,aAAa,EAAE,MAAM,CAAC;KACvB,CAAC;CACH;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,WAAW;IACX,IAAI,EACA,kBAAkB,GAClB,eAAe,CAAC;IAEpB,YAAY;IACZ,YAAY,EAAE,MAAM,CAAC;IAErB,WAAW;IACX,KAAK,EAAE,UAAU,GAAG,WAAW,GAAG,QAAQ,CAAC;IAE3C,WAAW;IACX,OAAO,EAAE,MAAM,CAAC;IAEhB,WAAW;IACX,IAAI,EAAE;QACJ,WAAW,EAAE,MAAM,CAAC;QACpB,SAAS,EAAE,MAAM,CAAC;QAClB,KAAK,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,QAAQ,CAAC;KACzC,CAAC;IAEF,WAAW;IACX,UAAU,EAAE,MAAM,CAAC;IAEnB,aAAa;IACb,eAAe,CAAC,EAAE,UAAU,GAAG,kBAAkB,GAAG,aAAa,CAAC;CACnE;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,wBAAwB;IACxB,YAAY,CAAC,EAAE,MAAM,CAAC;IAEtB,eAAe;IACf,KAAK,CAAC,EAAE,UAAU,GAAG,WAAW,GAAG,QAAQ,CAAC;IAE5C,eAAe;IACf,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;IAElC,eAAe;IACf,SAAS,CAAC,EAAE;QACV,KAAK,EAAE,MAAM,CAAC;QACd,GAAG,EAAE,MAAM,CAAC;KACb,CAAC;IAEF,eAAe;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,gBAAgB;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,iBAAiB;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB,uBAAuB;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,oBAAoB;IACpB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,mBAAmB;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,uBAAuB;IACvB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,WAAW;IACX,UAAU,CAAC,EAAE;QACX,QAAQ,CAAC,EAAE,MAAM,CAAC;KACnB,CAAC;CACH"}
+{"version":3,"file":"trace.d.ts","sourceRoot":"","sources":["../../src/types/trace.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,6BAA6B,CAAC;AAE7D;;;;;;;;;GASG;AACH,MAAM,WAAW,cAAc;IAK7B,YAAY;IACZ,YAAY,EAAE,MAAM,CAAC;IAErB,WAAW;IACX,KAAK,EAAE,UAAU,GAAG,WAAW,GAAG,QAAQ,CAAC;IAE3C,2BAA2B;IAC3B,SAAS,EAAE,MAAM,CAAC;IAElB,mDAAmD;IACnD,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;IAMjC,iBAAiB;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB,mBAAmB;IACnB,QAAQ,CAAC,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IAExC,oBAAoB;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,2BAA2B;IAC3B,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IAMpB,eAAe;IACf,UAAU,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,cAAc,CAAC;IAE1D,qBAAqB;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,YAAY;IACZ,YAAY,EAAE,MAAM,CAAC;IAErB,WAAW;IACX,KAAK,EAAE,UAAU,GAAG,WAAW,GAAG,QAAQ,CAAC;IAE3C,aAAa;IACb,SAAS,EAAE;QACT,KAAK,EAAE,MAAM,CAAC;QACd,GAAG,EAAE,MAAM,CAAC;KACb,CAAC;IAMF,YAAY;IACZ,WAAW,EAAE,MAAM,CAAC;IAEpB,WAAW;IACX,SAAS,EAAE,MAAM,CAAC;IAElB,WAAW;IACX,SAAS,EAAE,MAAM,CAAC;IAElB,mDAAmD;IACnD,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB,aAAa;IACb,WAAW,EAAE,MAAM,CAAC;IAMpB,gBAAgB;IAChB,QAAQ,EAAE,MAAM,CAAC;IAEjB,gBAAgB;IAChB,QAAQ,EAAE,MAAM,CAAC;IAMjB,WAAW;IACX,WAAW,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IAE7C,gBAAgB;IAChB,oBAAoB,CAAC,EAAE;QACrB,aAAa,EAAE,MAAM,CAAC;QACtB,aAAa,EAAE,MAAM,CAAC;KACvB,CAAC;CACH;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,WAAW;IACX,IAAI,EACA,kBAAkB,GAClB,eAAe,CAAC;IAEpB,YAAY;IACZ,YAAY,EAAE,MAAM,CAAC;IAErB,WAAW;IACX,KAAK,EAAE,UAAU,GAAG,WAAW,GAAG,QAAQ,CAAC;IAE3C,WAAW;IACX,OAAO,EAAE,MAAM,CAAC;IAEhB,WAAW;IACX,IAAI,EAAE;QACJ,WAAW,EAAE,MAAM,CAAC;QACpB,SAAS,EAAE,MAAM,CAAC;QAClB,KAAK,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,QAAQ,CAAC;KACzC,CAAC;IAEF,WAAW;IACX,UAAU,EAAE,MAAM,CAAC;IAEnB,aAAa;IACb,eAAe,CAAC,EAAE,UAAU,GAAG,kBAAkB,GAAG,aAAa,CAAC;CACnE;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,wBAAwB;IACxB,YAAY,CAAC,EAAE,MAAM,CAAC;IAEtB,eAAe;IACf,KAAK,CAAC,EAAE,UAAU,GAAG,WAAW,GAAG,QAAQ,CAAC;IAE5C,eAAe;IACf,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;IAElC,eAAe;IACf,SAAS,CAAC,EAAE;QACV,KAAK,EAAE,MAAM,CAAC;QACd,GAAG,EAAE,MAAM,CAAC;KACb,CAAC;IAEF,eAAe;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,gBAAgB;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,iBAAiB;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB,uBAAuB;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,oBAAoB;IACpB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,mBAAmB;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,uBAAuB;IACvB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,WAAW;IACX,UAAU,CAAC,EAAE;QACX,QAAQ,CAAC,EAAE,MAAM,CAAC;KACnB,CAAC;CACH"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@dommaker/harness",
-  "version": "1.4.0",
+  "version": "1.5.0",
   "description": "通用工程约束框架 - 铁律系统、检查点验证、测试门控",
   "keywords": [
     "harness",

package/src/CONTEXT.md

@@ -42,6 +42,7 @@
 | 回滚 | 分工：版本化回退（单段——yml 数据文件 git 版本化，删段恢复）+ 提案回滚（多段 inverse，挂 studio#82 D6） |
 | 文件驱动 CLI | yml 状态真值 + 一次性进程、无常驻生命周期；故不引 dispose 链（止步档 1） |
 | 对照（reconcile） | CAPABILITIES.md 声明与源码实况的双向一致性判定（代码→文档查漏登，文档→代码查幽灵）；唯一实现 `core/constraints/capabilities-reconcile.ts`，capability_sync / docs_freshness / sync-docs 共消费（ADR-0009） |
+| 判定证据（evidence） | checker 随判定一并返回的路径级依据（`CheckDetail{pass, evidence}`，harness#119/ADR-0016）；文案由 checker 措辞、消费端只打印，出口 = `ConstraintResult` / CLI 输出 / trace / 铁律异常文案。不是第四种统计态：**违规** = 与本次变更有因果（进 pass/fail 分母），**提示** = `pass:true` + evidence（仓库级漂移等无因果缺口，只露出不拦） |
 | 测试产物解读（test-output） | 从测试运行器 stdout 读出「过了没 / 哪些失败 / 覆盖率」的判定；唯一实现 `core/validators/test-output.ts`（包内，不进导出面），passes-gate / acceptance 共消费（ADR-0012）。两门禁判定依据不一致待 #93 裁决，覆盖率取数归属待 #94 裁决 |
 | 飞轮指标（flywheel） | 知识条目的引用与消费度量（refCoverage / avgRefs / consumptionHitRate）；唯一实现 `knowledge/flywheel-metrics.ts`（包内，不进导出面），canonical 分子为过滤 synthetic 后的 genuine refs，audit D6 / knowledge stats / knowledge health 共消费（ADR-0013，#81） |
 | 测试夹具（project fixture） | 临时项目根 + 落盘声明；唯一实现 `test-setup/project-fixture.ts`（测试层，不进导出面）——`config` 槽是 `.harness/config.yml` 落点唯一正本（字符串原样落盘，畸形/脏配置用例依赖此口径），`traces` 槽/`writeProjectTraces` 是 trace 落盘唯一正本（路径锚定 `DEFAULT_TRACE_FILE`、序列化走 `appendJsonl` 生产写链，harness#108），其余文件走 `files` 相对路径；非缺省根必须经 `parentDir` **显式** opt-out（cwd 锚定用例语义），回收经 `mkdtemp-cleanup` 劫持（harness#90） |

package/src/__tests__/passes-gate.test.ts

@@ -5,6 +5,7 @@
 import { describe, it, expect, beforeAll, afterAll } from '@jest/globals';
 import { PassesGate, createPassesGate, detectTestCommand } from '../core/validators/passes-gate';
 import type { TaskTestResult } from '../types/passes-gate';
+import { createProjectFixture } from '../test-setup/project-fixture';
 import { mkdirSync, rmSync, writeFileSync } from 'fs';
 import { join } from 'path';
 
@@ -224,24 +225,16 @@ describe('PassesGate', () => {
    * （extractCoverage → TaskTestResult.coverage）整体删除，结果面不再有 coverage 字段。
    */
   describe('覆盖率取数路删除（harness#94）', () => {
-    const covDir = join(process.cwd(), 'temp-test-no-coverage-field');
-
-    beforeAll(() => {
-      mkdirSync(covDir, { recursive: true });
-
-      // 输出里放一份 jest 覆盖率表：删除前 extractCoverage 会从中抠出 80.5 填进结果字段
-      writeFileSync(join(covDir, 'package.json'), JSON.stringify({
-        name: 'coverage-project',
-        scripts: { test: 'echo "All files | 80.50 | 70.21 | 83.33 | 79.59 |"' },
-      }));
-    });
-
-    afterAll(() => {
-      try {
-        rmSync(covDir, { recursive: true, force: true });
-      } catch {
-        // ignore
-      }
+    // 临时根走 createProjectFixture 正本（tmpdir，mkdtemp 劫持统一回收），不建在仓内
+    const covDir = createProjectFixture({
+      name: 'pg-no-coverage',
+      files: {
+        // 输出里放一份 jest 覆盖率表：删除前 extractCoverage 会从中抠出 80.5 填进结果字段
+        'package.json': JSON.stringify({
+          name: 'coverage-project',
+          scripts: { test: 'echo "All files | 80.50 | 70.21 | 83.33 | 79.59 |"' },
+        }),
+      },
     });
 
     it('setPasses 结果不带 coverage 字段', async () => {

package/src/cli/commands/CONTEXT.md

@@ -30,7 +30,7 @@ H5（#44）起：
 - 命令选项类型命名规范：XxxOptions
 - **本层是上行数据的注入方（harness#88）**：core 对 cli/gates/monitoring 零值导入，故 `check`/`report` 自己 `new ConstraintChecker(getTraceCollector())`（组合根接线 trace 记录器；用 `constraintChecker`/`getInstance()` 拿到的默认实例不写 trace），`sync-docs` 把 `COMMAND_DEFINITIONS` + `GATE_DEFINITIONS` 组装成 `CapabilityDefinitionSource` 注入 `capabilities-parser` 供能力清单计数
 - **projectPath 只在入口兜底一次，并传到每个 IO/执行点（harness#95）**：`-p/--project-path` 的 cwd 兜底唯一落点是命令模块入口（`const projectPath = options.projectPath || process.cwd()`）；往下每层只能收参数，**禁止再取一次 `process.cwd()`、也禁止用相对路径默认值**——两者都让 `-p` 半失效：执行/读写位置悄悄回到调用方 cwd，而 acceptance 的「无 tasks.yml 即跳过」本身就是 `passed:true`，于是失效表现为假绿。落地形状：执行/IO 根用**必传形参**表达（`PassesGate.runTests(workDir)`），门禁内的相对子路径锚到 projectPath：`ContractGate` 一直是 `path.join(context.projectPath, contractPath)`，`SpecAcceptanceGate` 的 tasksPath 随 #95 对齐成 `path.resolve(projectPath, 相对值)`（绝对值原样，缺省 `<projectPath>/tasks.yml`）
-  - 机器可检：`__tests__/project-path-convention.test.ts` 三道闸——CLI 层 cwd 必须是 `xxx || process.cwd()` 兜底形状、下游层（core/gates/context/monitoring/hooks）cwd 站点集合冻结、`xxxPath: '相对值'` 默认值冻结；豁免逐条带理由，站点消失却不删条目同样失败
+  - 机器可检：`__tests__/project-path-convention.test.ts` 三道闸——CLI 层 cwd 必须是 `xxx || process.cwd()` 兜底形状、下游层（= src 减 cli）cwd 站点**逐行**冻结（#98，豁免文件内新增行/行变形同样失败）、相对路径默认值冻结（#98 收紧：`xxxPath: '相对值'` 对象字面量之外，参数默认值形/模板字面量/双引号形同罪，扫描域 = 整个下游层）；豁免逐条带理由，站点消失却不删条目同样失败
   - 行为可检：`__tests__/project-path-anchoring.test.ts` 前提统一 **cwd ≠ projectPath**、不 mock 任何 IO，断言测试真在 B 执行、证据落 `B/.harness/evidence/`、acceptance 读 `B/tasks.yml`。「根已传入却又取 cwd」这类静态看不出的漂移由它守，冻结表守的是不再新增站点
 - **读到部分结果必须告知（harness#100）**：命令面以 `skip` 策略读 JSONL（traces.log / failures.log）时，坏行计数要到用户可见输出，**不允许默默丢弃**。共同约束：无损坏零噪声（计数为 0 不出行）、不改任何既有计数口径（`status` 的 `记录数` 仍是原始非空行数，逐字节不变）、计数一律取自 `src/utils/jsonl` 读链返回的 `skippedLines`（经报告入口透传或在读点就地取用），**禁止**用「原始行数 − 统计条数」反推（窗过滤掉的合法行与坏行分不开）。三处落点各自对得上一行代码：
   - `status`：告知**走 stderr**（`logError(io, …)`），因为 stdout 是报告体、其字节已被 `记录数` 那一行定死，挤进去等于改输出
@@ -43,7 +43,7 @@ H5（#44）起：
 - init 治理约束段写入落点（studio #302，ADR 2026-08-21 落点模型）：新仓 → AGENTS.md `PRESERVE:governance` 段（sync-docs 重新生成时保留）；旧模型仓（CLAUDE.md 已有 HARNESS_CONSTRAINTS 标记或 `## Governance Rules` 块）→ 续写 CLAUDE.md，幂等重跑不制造双份正本。治理段「在场守护」由 core 侧 governance_presence checker 承担（段缺失/为空时 check 报警）
 - PRESERVE:governance 段内写入纪律：机器管理的只有 HARNESS_CONSTRAINTS 标记区间——有标记只换标记区间，无标记（纯手写段）在段尾追加注入段；段内其余手写内容（治理契约引言/流程/纪律等）必须原样保留（曾整段替换清空手写内容的回归，init-injection.test 有防回归用例）
 - 注入段落点路由与 marker-range 替换收口在 `core/constraints/injection-writer`（ADR-0011）：读侧 `resolveInjectionTarget`（漂移检测/retire 同步共用「CLAUDE.md 有标记优先，否则 AGENTS.md」）+ 写侧 `resolveGovernanceLanding`（init 落点选择）；init 三个治理段 writer 与 retire 注入同步均为「渲染 body + 调 writer」，半标记（单边/乱序）一律拒写告警；未注入 = 两处均无完整标记段
-- knowledge 命令包含 13 个子操作（list/search/import/decay/stats/upsert/sync-status/sync-rag/audit/snapshot/migrate/index/health）
+- knowledge 命令包含 11 个子操作（list/search/import/decay/stats/sync-rag/audit/snapshot/migrate/index/health）；upsert/sync-status 已迁至 studio CLI（harness#110，二者硬编码 localhost Studio 内部端点，不属 harness「通用框架、文件驱动」定位）
 - `stats` / `health` 的飞轮数字不在 CLI 内计算：分子口径唯一实现是 `knowledge/flywheel-metrics.ts`（`evaluateFlywheel`，ADR-0013），本层只做百分比取整/一位小数与字段名映射；`.consumption-stats.json` 的读取留在各命令（module 零 IO）
 - 特殊路由（选项条件、子命令兜底、裸跑语义）表达在定义表的 optionRoutes / subcommands / subcommandStrict / bareRunsAction 字段，bin 是纯通用引擎、不含单命令知识
 - **命令 interface = `CommandResult` + 注入 io（架构评审候选7）**：命令实现一律声明 `Promise<CommandResult>`（判别联合 `ok|skip|fail|usage-error`，`fail`/`usage-error` 必附可定位的 `reason`，多闸门命令 reason 含 `gate <id>`），末位可选形参 `io: CommandIO = processIO`；类型与写入面在 `src/cli/command-contract.ts`

package/src/cli/commands/__tests__/bin-exit-mapping.test.ts

@@ -67,6 +67,12 @@ describe('命令实现/定义表目录零 process.exit（唯一出口在 bin）'
   });
 });
 
+// CI 上 dist 缺失时显式失败而非静默 skip（harness#99）：#86 退出语义的
+// 唯一端到端证据在下面的 smoke 块，CI 必须先 build 再 test，否则主证据隐形。
+if (!hasDist && process.env.CI) {
+  throw new Error('dist 未构建：bin 端到端 smoke 不得静默 skip —— CI 必须先 npm run build 再 npm test（harness#99）');
+}
+
 const smoke = hasDist ? describe : describe.skip;
 
 smoke('端到端：真实命令经 bin 映射后的对外退出码', () => {

package/src/cli/commands/__tests__/check.test.ts

@@ -200,6 +200,8 @@ describe('check command（真 git fixture）', () => {
       stageChange(
         dir,
         'src/existing.ts',
+        // 'pass'+'word' 拆串是躲本仓 no_hardcoded_credentials 静态扫描：测试源文件里出现完整
+        // `password = "..."` 字面量会撞自己的 pre-commit 门禁；运行时拼接值不变，断言不受影响
         'export const a = 1;\nconst pass' + 'word = "correcthorsebattery";\n'
       );
       passTraces(dir);
@@ -240,6 +242,78 @@ describe('check command（真 git fixture）', () => {
     });
   });
 
+  describe('判定证据外显（harness#119）', () => {
+    /** 带 CAPABILITIES.md 的 git 仓库：登记列表外的源文件即为仓库级漂移 */
+    function capRepo(registered: string[]): string {
+      const dir = gitRepo();
+      const rows = registered
+        .map((rel) => `| ${path.basename(rel, '.ts')} | ${rel} | fixture |\n`)
+        .join('');
+      write(dir, 'CAPABILITIES.md', `# C\n\n| 模块 | 文件 | 说明 |\n|------|------|------|\n${rows}`);
+      git(dir, 'add', 'CAPABILITIES.md');
+      git(dir, 'commit', '-q', '-m', 'capabilities');
+      return dir;
+    }
+
+    /** 从本用例 trace 文件里取某条约束的记录 */
+    function traceOf(constraintId: string) {
+      return fs
+        .readFileSync(traceFile, 'utf-8')
+        .split('\n')
+        .filter(Boolean)
+        .map((line) => JSON.parse(line) as { constraintId: string; result: string; evidence?: string[] })
+        .find((l) => l.constraintId === constraintId);
+    }
+
+    it('变更文件未登记 → 警告随附证据点名该文件', async () => {
+      const dir = capRepo(['src/existing.ts', 'src/nested/deep.ts']);
+      stageChange(dir, 'src/nested/extra.ts', 'export const e = 1;\n');
+      passTraces(dir);
+
+      const result = await check(
+        { preset: 'standard', staged: true, projectPath: dir, trigger: 'module_modification' },
+        io
+      );
+
+      expect(io.outText()).toContain('- capability_sync');
+      expect(io.outText()).toContain('src/nested/extra.ts');
+      expect(result).toEqual({ kind: 'ok' });
+    });
+
+    it('仓库级漂移（与本次变更无关）→ 提示块露出，不判违规', async () => {
+      const dir = capRepo(['src/existing.ts']);
+      passTraces(dir);
+
+      const result = await check(
+        { preset: 'standard', staged: true, projectPath: dir, trigger: 'module_modification' },
+        io
+      );
+
+      const out = io.outText();
+      expect(out).toContain('✅ 指导原则: 1/1 通过');
+      expect(out).not.toContain('指导原则警告');
+      expect(out).toContain('💡 提示: 1 条（不判违规，供参考）');
+      expect(out).toContain('- capability_sync:');
+      expect(out).toContain('src/nested/deep.ts');
+      expect(out).toContain('✅ 约束检查通过');
+      expect(result).toEqual({ kind: 'ok' });
+    });
+
+    it('提示与违规都写进 trace 的 evidence 字段（统计侧可诊断）', async () => {
+      const dir = capRepo(['src/existing.ts']);
+      passTraces(dir);
+
+      await check(
+        { preset: 'standard', staged: true, projectPath: dir, trigger: 'module_modification' },
+        io
+      );
+
+      const record = traceOf('capability_sync');
+      expect(record?.result).toBe('pass');
+      expect(record?.evidence?.join('\n')).toContain('src/nested/deep.ts');
+    });
+  });
+
   describe('git 证据单一来源（#87 验收）', () => {
     it('两个 checker 请求同一份 staged diff → 一次 run 内只 spawn 一次', async () => {
       // 新增（非删除）测试行：no_test_simplification 请求 stagedDiff 后放行，

package/src/cli/commands/__tests__/project-path-convention.test.ts

@@ -7,9 +7,11 @@
  *
  * 本文件是这条约定的机器可检面，三道闸：
  * 1. CLI 入口层：cwd 只能以 `xxx || process.cwd()` 的兜底形状出现，例外逐个点名并记理由
- * 2. 下游层（core / gates / context / monitoring / hooks）：cwd 站点集合冻结，
- *    新增即失败——要么把根传下去，要么在此记下豁免理由
- * 3. `xxxPath: '相对路径'` 默认值同理冻结（acceptance 的 `tasksPath: './tasks.yml'` 就是这一类）
+ * 2. 下游层（= src 减 cli，含 core / gates / context / monitoring / hooks 等）：cwd 站点**逐行**冻结
+ *    （harness#98，不再只冻文件键集——豁免文件内新增站点/行变形同样失败），
+ *    要么把根传下去，要么在此记下豁免理由
+ * 3. 相对路径默认值同理冻结（harness#98 收紧：对象字面量 `xxxPath: '相对'` 之外，
+ *    参数默认值形 `xxxPath = '相对'`（含类型标注）与模板字面量同罪；扫描域 = 整个下游层）
  *
  * 冻结集合还要求**每条豁免仍然成立**（站点消失却不删条目 → 同样失败），豁免不会烂成化石。
  * 「根参数已传入却又取 cwd」这类静态看不出的漂移，由 project-path-anchoring.test.ts 的真实 IO 行为用例守。
@@ -83,28 +85,86 @@ const CLI_CWD_EXEMPTIONS: Record<string, { lines: string[]; reason: string }> =
  * 下游豁免的共同理由：这些是**库层公开 API 的可选根参数默认值**（调用方没给根时的缺省），
  * 不是「根已经传进来了，取 IO 时又绕回 cwd」。core 不能 import cli，兜底只能留在各自入口，
  * 故冻结而非删除；新增站点必须在此逐个点名并单独说明。
+ *
+ * harness#98：冻结粒度从文件键集收紧到**行内容**——已豁免文件内悄悄新增 cwd 站点
+ * （不动键集）曾是绕过通道，现在新增行/行变形都会顶失败。
  */
-const DOWNSTREAM_CWD_EXEMPTIONS: Record<string, string> = {
-  'src/context/session-manager.ts': '构造参数 basePath 缺省（会话存储根，CLI 已显式传 projectPath）',
-  'src/core/constraints/checker.ts': 'check 上下文缺 projectPath 时的根兜底（3 处同一形状）',
-  'src/core/constraints/checkers/types.ts': 'checker 环境的根兜底（context.projectPath 可选）',
-  'src/core/constraints/context-builder.ts': 'buildCheckEnv 的 options.projectPath 缺省兜底（2 处）',
-  'src/core/constraints/usage-report.ts': 'projectRoot 形参默认值（库层可选根）',
-  'src/core/effective-constraints.ts': '生效集三函数 projectRoot 形参默认值（库层可选根，JSDoc 已声明）',
-  'src/core/project-config-loader.ts': 'config 加载器 projectPath 构造参数缺省兜底',
-  'src/core/spec/validator.ts': 'validateAll 的可选 projectPath 兜底（其相对 schemaPath 默认值见闸 3 豁免）',
-  'src/gates/checker-gate.ts': 'GateContext.projectPath 缺省兜底（门禁适配器的根入口）',
-  'src/gates/effective-gates.ts': 'projectRoot 形参默认值（库层可选根）',
-  'src/hooks/bootstrap.ts': 'bootstrapHarness 的可选 projectPath 兜底（组合根入口，2 处）',
-  'src/monitoring/context-tracker.ts': 'basePath 构造参数缺省兜底',
+const DOWNSTREAM_CWD_EXEMPTIONS: Record<string, { lines: string[]; reason: string }> = {
+  'src/context/session-manager.ts': {
+    lines: ['this.basePath = basePath || process.cwd();'],
+    reason: '构造参数 basePath 缺省（会话存储根，CLI 已显式传 projectPath）',
+  },
+  'src/core/constraints/checker.ts': {
+    lines: [
+      'const projectPath = context.projectPath || process.cwd();',
+      'const run = evidence ?? createGitEvidence(context.projectPath || process.cwd());',
+      'const run = evidence ?? createGitEvidence(context.projectPath || process.cwd());',
+    ],
+    reason: 'check 上下文缺 projectPath 时的根兜底（3 处同一形状）',
+  },
+  'src/core/constraints/checkers/types.ts': {
+    lines: ['const projectPath = context.projectPath || process.cwd();'],
+    reason: 'checker 环境的根兜底（context.projectPath 可选）',
+  },
+  'src/core/constraints/context-builder.ts': {
+    lines: [
+      'const projectPath = options.projectPath || process.cwd();',
+      'const projectPath = options.projectPath || process.cwd();',
+    ],
+    reason: 'buildCheckEnv 的 options.projectPath 缺省兜底（2 处）',
+  },
+  'src/core/constraints/usage-report.ts': {
+    lines: ['projectRoot: string = process.cwd(),'],
+    reason: 'projectRoot 形参默认值（库层可选根）',
+  },
+  'src/core/effective-constraints.ts': {
+    lines: [
+      'projectRoot: string = process.cwd(),',
+      'projectRoot: string = process.cwd(),',
+      'export function lintEffectiveConfig(projectRoot: string = process.cwd()): EffectiveConfigLint {',
+    ],
+    reason: '生效集三函数 projectRoot 形参默认值（库层可选根，JSDoc 已声明）',
+  },
+  'src/core/project-config-loader.ts': {
+    lines: ['this.projectPath = projectPath || process.cwd();'],
+    reason: 'config 加载器 projectPath 构造参数缺省兜底',
+  },
+  'src/core/spec/validator.ts': {
+    lines: ['const cwd = projectPath || process.cwd();'],
+    reason: 'validateAll 的可选 projectPath 兜底（其相对 schemaPath 默认值见闸 3 豁免）',
+  },
+  'src/gates/checker-gate.ts': {
+    lines: ['const projectPath = ctx.projectPath || process.cwd();'],
+    reason: 'GateContext.projectPath 缺省兜底（门禁适配器的根入口）',
+  },
+  'src/gates/effective-gates.ts': {
+    lines: ['export function getEffectiveGates(projectRoot: string = process.cwd()): Gate[] {'],
+    reason: 'projectRoot 形参默认值（库层可选根）',
+  },
+  'src/hooks/bootstrap.ts': {
+    lines: [
+      'const resolvedPath = projectPath || process.cwd();',
+      'const resolvedPath = projectPath || process.cwd();',
+    ],
+    reason: 'bootstrapHarness 的可选 projectPath 兜底（组合根入口，2 处）',
+  },
+  'src/monitoring/context-tracker.ts': {
+    lines: ['const base = basePath || process.cwd();'],
+    reason: 'basePath 构造参数缺省兜底',
+  },
 };
 
 // ========================================
-// 闸 3：core/gates 的相对路径默认值
+// 闸 3：下游层的相对路径默认值
 // ========================================
 
-/** key 必须 camelCase 以 Path 结尾，值为相对字面量——这类默认值按 cwd 解析，即 #95 的病根形状 */
-const RELATIVE_PATH_DEFAULT = /\b\w+Path\s*:\s*'(?!\/)([^']+)'/;
+/**
+ * key 必须 camelCase 以 Path 结尾，值为相对字面量——这类默认值按 cwd 解析，即 #95 的病根形状。
+ * harness#98 收紧匹配形状（原为只认对象字面量 `xxxPath: '相对'`）：
+ * 参数默认值形 `xxxPath = '相对'`、带类型标注的 `xxxPath: string = '相对'`、模板字面量、
+ * 双引号形同罪（仓内 lint 不强制引号风格，三种引号都得认）。
+ */
+const RELATIVE_PATH_DEFAULT = /\b\w+Path\s*(?::\s*[^=,)]+?)?[:=]\s*['"`](?!\/)/;
 
 const RELATIVE_PATH_DEFAULT_EXEMPTIONS: Record<string, string> = {
   'src/core/spec/validator.ts':
@@ -133,11 +193,13 @@ describe('projectPath 传递约定（harness#95）', () => {
   });
 
   describe('闸 2：下游层不得二次取 cwd', () => {
-    it('下游 cwd 站点集合 = 冻结豁免表（新增即失败；站点消失却不删条目也失败）', () => {
+    it('下游 cwd 站点 = 冻结豁免表且逐行一致（新增文件/新增行/行变形/豁免化石都失败）', () => {
       const sites = cwdSites(downstreamFiles);
 
       expect([...sites.keys()].sort()).toEqual(Object.keys(DOWNSTREAM_CWD_EXEMPTIONS).sort());
-      expect(sites.size).toBe(Object.keys(DOWNSTREAM_CWD_EXEMPTIONS).length);
+      for (const [rel, exemption] of Object.entries(DOWNSTREAM_CWD_EXEMPTIONS)) {
+        expect({ rel, lines: sites.get(rel) }).toEqual({ rel, lines: exemption.lines });
+      }
     });
 
     it('PassesGate 执行侧不再取 cwd（站点 1 的收口形状：workDir 由调用方传入）', () => {
@@ -149,9 +211,9 @@ describe('projectPath 传递约定（harness#95）', () => {
   });
 
   describe('闸 3：相对路径默认值不再按 cwd 解析', () => {
-    it('core/gates 里 xxxPath: 相对字面量 的站点 = 冻结豁免表', () => {
+    it('下游层（= src 减 cli）的相对字面量路径默认值 = 冻结豁免表', () => {
       const hits = new Set<string>();
-      for (const file of listTsFiles(path.join(SRC_ROOT, 'core')).concat(listTsFiles(path.join(SRC_ROOT, 'gates')))) {
+      for (const file of downstreamFiles) {
         if (codeLines(file).some(line => RELATIVE_PATH_DEFAULT.test(line))) hits.add(repoPath(file));
       }
 

package/src/cli/commands/__tests__/registry.test.ts

@@ -175,6 +175,12 @@ function runWithModuleProbe(argv: string[]): { status: number | null; implModule
   }
 }
 
+// CI 上 dist 缺失时显式失败而非静默 skip（harness#99）：bin 懒加载/路由的
+// 端到端证据在下面的 smoke 块，CI 必须先 build 再 test，否则证据隐形。
+if (!hasDist && process.env.CI) {
+  throw new Error('dist 未构建：bin 端到端 smoke 不得静默 skip —— CI 必须先 npm run build 再 npm test（harness#99）');
+}
+
 const smoke = hasDist ? describe : describe.skip;
 
 smoke('bin/harness.js 端到端（dist 存在时）', () => {

package/src/cli/commands/__tests__/update-user-model.test.ts

@@ -10,7 +10,7 @@
 import * as fs from 'fs';
 import { captureIO, lastJsonOutput, type CapturingIO } from '../../command-contract';
 import * as path from 'path';
-import { updateUserModel } from '../update-user-model';
+import { updateUserModel, resolveUserModelPaths } from '../update-user-model';
 import { readTranscriptSessions, type MinedSession } from '../../session-mining';
 
 const TEST_HOME = '/tmp/harness-uum-test-home';
@@ -54,6 +54,7 @@ const mockReadTranscriptSessions = readTranscriptSessions as jest.MockedFunction
 >;
 
 const STATE_FILE = path.join(TEST_HOME, '.claude', 'user-model-state.json');
+const PROFILE_FILE = path.join(TEST_HOME, '.claude', 'projects', '-root-projects', 'memory', 'user_profile.md');
 
 function todayStr(offsetDays = 0): string {
   return new Date(Date.now() - offsetDays * 86_400_000).toISOString().slice(0, 10);
@@ -89,6 +90,39 @@ describe('update-user-model command', () => {
 
   afterEach(() => {
     delete process.env.CLAUDE_TRANSCRIPTS_DIR;
+    delete process.env.HARNESS_UUM_STATE_FILE;
+    delete process.env.HARNESS_UUM_PROFILE_FILE;
+  });
+
+  // 路径解析（harness#116）：默认值保持原行为，env 覆盖生效
+  test('resolveUserModelPaths 默认：homedir 下的原路径（现行为不变）', () => {
+    expect(resolveUserModelPaths({})).toEqual({
+      stateFile: STATE_FILE,
+      profileFile: PROFILE_FILE,
+    });
+  });
+
+  test('resolveUserModelPaths env 覆盖：HARNESS_UUM_STATE_FILE / HARNESS_UUM_PROFILE_FILE', () => {
+    expect(resolveUserModelPaths({
+      HARNESS_UUM_STATE_FILE: '/custom/state.json',
+      HARNESS_UUM_PROFILE_FILE: '/custom/profile.md',
+    })).toEqual({
+      stateFile: '/custom/state.json',
+      profileFile: '/custom/profile.md',
+    });
+  });
+
+  test('env 覆盖端到端：state 落 env 指定路径，不写默认路径', async () => {
+    const customState = path.join(TEST_HOME, 'custom', 'state.json');
+    process.env.HARNESS_UUM_STATE_FILE = customState;
+    mockReadTranscriptSessions.mockReturnValue([mkSession({ id: 'session-a' })]);
+
+    await updateUserModel({}, io);
+
+    expect(fs.existsSync(customState)).toBe(true);
+    expect(fs.existsSync(STATE_FILE)).toBe(false);
+    const state = JSON.parse(fs.readFileSync(customState, 'utf-8'));
+    expect(state.sessionsProcessed).toContain('session-a');
   });
 
   test('无新会话：提示 No new sessions to process', async () => {