@dommaker/harness 0.16.9 → 0.17.1

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

@@ -2,6 +2,7 @@
 /**
  * docs_freshness：CAPABILITIES.md 文件表 + 能力清单格式 + CLAUDE.md + CHANGELOG（工单 21）
  *
+ * 0. 存在性探测（ADR-0001）：项目无任何 freshness 配置/目标时 skip，不计 pass/fail
  * 1. 文件表格式：CAPABILITIES.md 中列出的文件必须仍存在（防过期引用）
  * 2. 能力清单格式：FreshnessRunner 配置驱动检查
  * 3. 无配置时注入内置默认配置（等价旧硬编码行为）
@@ -68,10 +69,48 @@ function checkCapabilitiesFreshness(projectPath) {
         return true;
     }
 }
+/**
+ * ADR-0001 存在性探测：项目是否存在任何 freshness 配置/检查目标。
+ *
+ * 判定信号（任一命中即视为采用了文档新鲜度约定）：
+ * - 配置了 governance.doc_freshness.checks
+ * - 配置了 governance.context_files（enabled + 非空 required_dirs）
+ * - 项目根存在 CAPABILITIES.md
+ * - 项目根存在 CHANGELOG.md / CHANGELOG
+ *
+ * 全部缺失 → 项目未采用该约定，调用方应 skip 而非评估内置默认配置。
+ */
+function hasFreshnessTargets(projectPath) {
+    if ((0, fs_1.existsSync)((0, path_1.join)(projectPath, 'CAPABILITIES.md')))
+        return true;
+    if ((0, fs_1.existsSync)((0, path_1.join)(projectPath, 'CHANGELOG.md')) || (0, fs_1.existsSync)((0, path_1.join)(projectPath, 'CHANGELOG'))) {
+        return true;
+    }
+    try {
+        const raw = (0, project_config_loader_1.loadRawProjectConfig)(projectPath);
+        const governance = raw?.governance;
+        const freshnessConfig = governance?.doc_freshness;
+        if (freshnessConfig?.checks && freshnessConfig.checks.length > 0)
+            return true;
+        const contextFiles = governance?.context_files;
+        if (contextFiles?.enabled &&
+            Array.isArray(contextFiles.required_dirs) &&
+            contextFiles.required_dirs.length > 0) {
+            return true;
+        }
+    }
+    catch {
+        // 配置不可读视为无配置
+    }
+    return false;
+}
 exports.docsFreshness = {
     id: 'docs_freshness',
     async evaluate(env) {
         const projectPath = env.projectPath;
+        // ADR-0001 存在性探测：项目无任何 freshness 配置/目标 → skip（不计 pass/fail）
+        if (!hasFreshnessTargets(projectPath))
+            return 'skip';
         // Step 1: 文件表格式 — 检查列出的文件是否还存在
         if (!checkCapabilitiesFreshness(projectPath))
             return false;

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

@@ -1 +1 @@
-{"version":3,"file":"docs-freshness.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/docs-freshness.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;AAEH,2BAA8C;AAC9C,+BAA4B;AAC5B,uEAAmE;AACnE,oDAAqF;AACrF,4EAAuE;AAIvE;;;;GAIG;AACH,SAAS,4BAA4B;IACnC,OAAO;QACL,wDAAwD;QACxD,EAAE,IAAI,EAAE,cAAc,EAAE;QACxB,2DAA2D;QAC3D,EAAE,IAAI,EAAE,mBAAmB,EAAE;KAC9B,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,0BAA0B,CAAC,WAAmB;IACrD,IAAI,CAAC;QACH,MAAM,gBAAgB,GAAG,IAAA,WAAI,EAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC;QAC9D,IAAI,CAAC,IAAA,eAAU,EAAC,gBAAgB,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/C,MAAM,OAAO,GAAG,IAAA,iBAAY,EAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;QAExD,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,MAAM,aAAa,GAAG,iDAAiD,CAAC;QACxE,IAAI,KAAK,CAAC;QACV,OAAO,CAAC,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACtD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACpC,CAAC;QAED,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAE1C,MAAM,WAAW,GAAG,IAAA,uCAAiB,EAAC,WAAW,CAAC,CAAC;QACnD,MAAM,UAAU,GAAG,CAAC,IAAY,EAAW,EAAE;YAC3C,IAAI,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,IAAI,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YACrD,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;gBAC/B,IAAI,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;oBAAE,OAAO,IAAI,CAAC;YAC7D,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC;QAEF,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,oCAAoC;YACpC,qEAAqE;YACrE,OAAO,CAAC,KAAK,CAAC,8CAA8C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClF,OAAO,KAAK,CAAC;QACf,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAEY,QAAA,aAAa,GAAoB;IAC5C,EAAE,EAAE,gBAAgB;IACpB,KAAK,CAAC,QAAQ,CAAC,GAAG;QAChB,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC;QAEpC,+BAA+B;QAC/B,IAAI,CAAC,0BAA0B,CAAC,WAAW,CAAC;YAAE,OAAO,KAAK,CAAC;QAE3D,8DAA8D;QAC9D,IAAI,CAAC;YACH,IAAI,eAA+C,CAAC;YACpD,IAAI,YAAkC,CAAC;YAEvC,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,IAAA,4CAAoB,EAAC,WAAW,CAAC,CAAC;gBAC9C,MAAM,UAAU,GAAG,GAAG,EAAE,UAAiD,CAAC;gBAC1E,eAAe,GAAG,UAAU,EAAE,aAA+C,CAAC;gBAE9E,MAAM,YAAY,GAAG,UAAU,EAAE,aAAoD,CAAC;gBACtF,IAAI,YAAY,EAAE,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,aAAa,CAAC,EAAE,CAAC;oBACvE,YAAY,GAAG,YAAY,CAAC,aAAyB,CAAC;gBACxD,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,cAAc;YAChB,CAAC;YAED,MAAM,MAAM,GAAG,IAAI,wBAAe,EAAE,CAAC;YACrC,IAAI,OAA+B,CAAC;YAEpC,IAAI,eAAe,EAAE,MAAM,IAAI,eAAe,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjE,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,WAAW,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC;YAC1E,CAAC;iBAAM,CAAC;gBACN,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,4BAA4B,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC;YACrG,CAAC;YAED,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;QAChD,CAAC;QAAC,MAAM,CAAC;YACP,0BAA0B;QAC5B,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;CACF,CAAC"}
+{"version":3,"file":"docs-freshness.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/docs-freshness.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAEH,2BAA8C;AAC9C,+BAA4B;AAC5B,uEAAmE;AACnE,oDAAqF;AACrF,4EAAuE;AAIvE;;;;GAIG;AACH,SAAS,4BAA4B;IACnC,OAAO;QACL,wDAAwD;QACxD,EAAE,IAAI,EAAE,cAAc,EAAE;QACxB,2DAA2D;QAC3D,EAAE,IAAI,EAAE,mBAAmB,EAAE;KAC9B,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,0BAA0B,CAAC,WAAmB;IACrD,IAAI,CAAC;QACH,MAAM,gBAAgB,GAAG,IAAA,WAAI,EAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC;QAC9D,IAAI,CAAC,IAAA,eAAU,EAAC,gBAAgB,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/C,MAAM,OAAO,GAAG,IAAA,iBAAY,EAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;QAExD,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,MAAM,aAAa,GAAG,iDAAiD,CAAC;QACxE,IAAI,KAAK,CAAC;QACV,OAAO,CAAC,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACtD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACpC,CAAC;QAED,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAE1C,MAAM,WAAW,GAAG,IAAA,uCAAiB,EAAC,WAAW,CAAC,CAAC;QACnD,MAAM,UAAU,GAAG,CAAC,IAAY,EAAW,EAAE;YAC3C,IAAI,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,IAAI,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YACrD,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;gBAC/B,IAAI,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;oBAAE,OAAO,IAAI,CAAC;YAC7D,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC;QAEF,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,oCAAoC;YACpC,qEAAqE;YACrE,OAAO,CAAC,KAAK,CAAC,8CAA8C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClF,OAAO,KAAK,CAAC;QACf,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,mBAAmB,CAAC,WAAmB;IAC9C,IAAI,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,cAAc,CAAC,CAAC,IAAI,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,WAAW,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC;QAChG,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAA,4CAAoB,EAAC,WAAW,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,GAAG,EAAE,UAAiD,CAAC;QAE1E,MAAM,eAAe,GAAG,UAAU,EAAE,aAA+C,CAAC;QACpF,IAAI,eAAe,EAAE,MAAM,IAAI,eAAe,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAE9E,MAAM,YAAY,GAAG,UAAU,EAAE,aAAoD,CAAC;QACtF,IACE,YAAY,EAAE,OAAO;YACrB,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,aAAa,CAAC;YACxC,YAAY,CAAC,aAA0B,CAAC,MAAM,GAAG,CAAC,EACnD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,aAAa;IACf,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAEY,QAAA,aAAa,GAAoB;IAC5C,EAAE,EAAE,gBAAgB;IACpB,KAAK,CAAC,QAAQ,CAAC,GAAG;QAChB,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC;QAEpC,4DAA4D;QAC5D,IAAI,CAAC,mBAAmB,CAAC,WAAW,CAAC;YAAE,OAAO,MAAM,CAAC;QAErD,+BAA+B;QAC/B,IAAI,CAAC,0BAA0B,CAAC,WAAW,CAAC;YAAE,OAAO,KAAK,CAAC;QAE3D,8DAA8D;QAC9D,IAAI,CAAC;YACH,IAAI,eAA+C,CAAC;YACpD,IAAI,YAAkC,CAAC;YAEvC,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,IAAA,4CAAoB,EAAC,WAAW,CAAC,CAAC;gBAC9C,MAAM,UAAU,GAAG,GAAG,EAAE,UAAiD,CAAC;gBAC1E,eAAe,GAAG,UAAU,EAAE,aAA+C,CAAC;gBAE9E,MAAM,YAAY,GAAG,UAAU,EAAE,aAAoD,CAAC;gBACtF,IAAI,YAAY,EAAE,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,aAAa,CAAC,EAAE,CAAC;oBACvE,YAAY,GAAG,YAAY,CAAC,aAAyB,CAAC;gBACxD,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,cAAc;YAChB,CAAC;YAED,MAAM,MAAM,GAAG,IAAI,wBAAe,EAAE,CAAC;YACrC,IAAI,OAA+B,CAAC;YAEpC,IAAI,eAAe,EAAE,MAAM,IAAI,eAAe,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjE,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,WAAW,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC;YAC1E,CAAC;iBAAM,CAAC;gBACN,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,4BAA4B,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC;YACrG,CAAC;YAED,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;QAChD,CAAC;QAAC,MAAM,CAAC;YACP,0BAA0B;QAC5B,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;CACF,CAAC"}

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

@@ -1,17 +1,21 @@
 /**
  * 约束检查器注册表（工单 21）
  *
- * checker.ts 编排层通过 getConstraintCheck(id) 查找实现，
- * 未注册的约束默认通过（保持历史 default 分支语义）。
+ * checker.ts 编排层通过 getConstraintCheck(id) 查找实现。
+ *
+ * 注册表闭环（ADR-0001）：模块加载时校验全部 kind='check' 的内置约束
+ * 都有已注册 checker，且注册表中没有无对应 check 定义的孤儿实现；
+ * 任一不满足即抛错（加载期失败，不许静默 pass）。
  */
 import type { ConstraintCheck } from './types';
 /**
- * 按约束 ID 查找检查实现；未注册返回 undefined（编排层默认通过）
+ * 按约束 ID 查找检查实现；未注册返回 undefined
+ * （编排层对 kind='check' 未注册的情况抛错，kind='prompt' 不查表）
  */
 export declare function getConstraintCheck(id: string): ConstraintCheck | undefined;
 /**
  * 已注册的检查实现数量（诊断/测试用）
  */
 export declare function registeredCheckCount(): number;
-export type { ConstraintCheck, CheckEnv } from './types';
+export type { ConstraintCheck, CheckEnv, CheckOutcome } from './types';
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AA4F/C;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,MAAM,GAAG,eAAe,GAAG,SAAS,CAE1E;AAED;;GAEG;AACH,wBAAgB,oBAAoB,IAAI,MAAM,CAE7C;AAED,YAAY,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAuD/C;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,MAAM,GAAG,eAAe,GAAG,SAAS,CAE1E;AAED;;GAEG;AACH,wBAAgB,oBAAoB,IAAI,MAAM,CAE7C;AAED,YAAY,EAAE,eAAe,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC"}

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

@@ -2,73 +2,56 @@
 /**
  * 约束检查器注册表（工单 21）
  *
- * checker.ts 编排层通过 getConstraintCheck(id) 查找实现，
- * 未注册的约束默认通过（保持历史 default 分支语义）。
+ * checker.ts 编排层通过 getConstraintCheck(id) 查找实现。
+ *
+ * 注册表闭环（ADR-0001）：模块加载时校验全部 kind='check' 的内置约束
+ * 都有已注册 checker，且注册表中没有无对应 check 定义的孤儿实现；
+ * 任一不满足即抛错（加载期失败，不许静默 pass）。
  */
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.getConstraintCheck = getConstraintCheck;
 exports.registeredCheckCount = registeredCheckCount;
+const definitions_1 = require("../definitions");
 const iron_flags_1 = require("./iron-flags");
-const guideline_flags_1 = require("./guideline-flags");
-const always_pass_1 = require("./always-pass");
 const no_bypass_checkpoint_1 = require("./no-bypass-checkpoint");
 const no_test_simplification_1 = require("./no-test-simplification");
-const no_fuzzy_completion_claim_1 = require("./no-fuzzy-completion-claim");
-const no_performative_agreement_1 = require("./no-performative-agreement");
-const no_excuse_patterns_1 = require("./no-excuse-patterns");
-const no_any_type_1 = require("./no-any-type");
 const capability_sync_1 = require("./capability-sync");
-const no_simplification_without_approval_1 = require("./no-simplification-without-approval");
-const test_coverage_1 = require("./test-coverage");
 const context_doc_sync_1 = require("./context-doc-sync");
 const docs_freshness_1 = require("./docs-freshness");
-const yagni_1 = require("./yagni");
+const no_hardcoded_credentials_1 = require("./no-hardcoded-credentials");
 const CHECKS = [
     // Iron Laws
-    no_bypass_checkpoint_1.noBypassCheckpoint,
-    iron_flags_1.noSelfApproval,
     iron_flags_1.noCompletionWithoutVerification,
-    no_test_simplification_1.noTestSimplification,
     iron_flags_1.incrementalProgress,
-    iron_flags_1.verifyExternalCapability,
-    iron_flags_1.noImplementationWithoutRequirementReview,
     iron_flags_1.noImplementationWithoutRequirement,
-    iron_flags_1.preferWorktree,
-    no_fuzzy_completion_claim_1.noFuzzyCompletionClaim,
-    iron_flags_1.noClaimWithoutEvidence,
-    iron_flags_1.noDeleteWithoutContext,
-    no_performative_agreement_1.noPerformativeAgreement,
-    iron_flags_1.twoStageReviewRequired,
+    no_test_simplification_1.noTestSimplification,
+    docs_freshness_1.docsFreshness,
     // Guidelines
-    guideline_flags_1.noFixWithoutRootCause,
-    guideline_flags_1.noCodeWithoutTest,
-    no_any_type_1.noAnyType,
-    guideline_flags_1.simplestSolutionFirst,
-    guideline_flags_1.noCreationWithoutReuseCheck,
+    no_hardcoded_credentials_1.noHardcodedCredentials,
+    no_bypass_checkpoint_1.noBypassCheckpoint,
     capability_sync_1.capabilitySync,
-    no_simplification_without_approval_1.noSimplificationWithoutApproval,
-    guideline_flags_1.noSkillWithoutTest,
-    test_coverage_1.testCoverageRequired,
     context_doc_sync_1.contextDocSync,
-    docs_freshness_1.docsFreshness,
-    no_excuse_patterns_1.noExcusePatterns,
-    yagni_1.yagniCheck,
-    // 行为类（promptInjection 驱动）恒通过
-    always_pass_1.surgicalChangesOnly,
-    always_pass_1.noModelForDeterministic,
-    always_pass_1.noConflictBlending,
-    always_pass_1.readBeforeWrite,
-    always_pass_1.followConventions,
-    always_pass_1.firstPrinciplesFirst,
-    always_pass_1.fixTheProblemNotTheGate,
-    always_pass_1.diagnosisToFixGate,
-    // Tips
-    always_pass_1.readmeRequired,
-    always_pass_1.docRequiredForPublicApi,
 ];
 const registry = new Map(CHECKS.map(c => [c.id, c]));
+// ========================================
+// 注册表闭环校验（加载期）
+// ========================================
+const checkConstraints = (0, definitions_1.getAllConstraints)().filter(c => c.kind === 'check');
+for (const c of checkConstraints) {
+    if (!registry.has(c.id)) {
+        throw new Error(`[harness] 约束注册表闭环校验失败：kind='check' 的约束 "${c.id}" 未注册 checker。` +
+            `请在 checkers/ 中实现并注册，或将该约束降级为 kind='prompt'。`);
+    }
+}
+for (const id of registry.keys()) {
+    if (!checkConstraints.some(c => c.id === id)) {
+        throw new Error(`[harness] 约束注册表闭环校验失败：checker "${id}" 没有对应的 kind='check' 约束定义。` +
+            `请在 definitions/ 中补齐定义，或从注册表移除。`);
+    }
+}
 /**
- * 按约束 ID 查找检查实现；未注册返回 undefined（编排层默认通过）
+ * 按约束 ID 查找检查实现；未注册返回 undefined
+ * （编排层对 kind='check' 未注册的情况抛错，kind='prompt' 不查表）
  */
 function getConstraintCheck(id) {
     return registry.get(id);

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

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/index.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;AAiGH,gDAEC;AAKD,oDAEC;AAtGD,6CAWsB;AACtB,uDAM2B;AAC3B,+CAWuB;AACvB,iEAA4D;AAC5D,qEAAgE;AAChE,2EAAqE;AACrE,2EAAsE;AACtE,6DAAwD;AACxD,+CAA0C;AAC1C,uDAAmD;AACnD,6FAAuF;AACvF,mDAAuD;AACvD,yDAAoD;AACpD,qDAAiD;AACjD,mCAAqC;AAErC,MAAM,MAAM,GAAsB;IAChC,YAAY;IACZ,yCAAkB;IAClB,2BAAc;IACd,4CAA+B;IAC/B,6CAAoB;IACpB,gCAAmB;IACnB,qCAAwB;IACxB,qDAAwC;IACxC,+CAAkC;IAClC,2BAAc;IACd,kDAAsB;IACtB,mCAAsB;IACtB,mCAAsB;IACtB,mDAAuB;IACvB,mCAAsB;IACtB,aAAa;IACb,uCAAqB;IACrB,mCAAiB;IACjB,uBAAS;IACT,uCAAqB;IACrB,6CAA2B;IAC3B,gCAAc;IACd,oEAA+B;IAC/B,oCAAkB;IAClB,oCAAoB;IACpB,iCAAc;IACd,8BAAa;IACb,qCAAgB;IAChB,kBAAU;IACV,6BAA6B;IAC7B,iCAAmB;IACnB,qCAAuB;IACvB,gCAAkB;IAClB,6BAAe;IACf,+BAAiB;IACjB,kCAAoB;IACpB,qCAAuB;IACvB,gCAAkB;IAClB,OAAO;IACP,4BAAc;IACd,qCAAuB;CACxB,CAAC;AAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAA0B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAE9E;;GAEG;AACH,SAAgB,kBAAkB,CAAC,EAAU;IAC3C,OAAO,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,SAAgB,oBAAoB;IAClC,OAAO,QAAQ,CAAC,IAAI,CAAC;AACvB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;AA6DH,gDAEC;AAKD,oDAEC;AAnED,gDAAmD;AAEnD,6CAIsB;AACtB,iEAA4D;AAC5D,qEAAgE;AAChE,uDAAmD;AACnD,yDAAoD;AACpD,qDAAiD;AACjD,yEAAoE;AAEpE,MAAM,MAAM,GAAsB;IAChC,YAAY;IACZ,4CAA+B;IAC/B,gCAAmB;IACnB,+CAAkC;IAClC,6CAAoB;IACpB,8BAAa;IACb,aAAa;IACb,iDAAsB;IACtB,yCAAkB;IAClB,gCAAc;IACd,iCAAc;CACf,CAAC;AAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAA0B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAE9E,2CAA2C;AAC3C,eAAe;AACf,2CAA2C;AAE3C,MAAM,gBAAgB,GAAG,IAAA,+BAAiB,GAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;AAE7E,KAAK,MAAM,CAAC,IAAI,gBAAgB,EAAE,CAAC;IACjC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACb,2CAA2C,CAAC,CAAC,EAAE,gBAAgB;YAC/D,6CAA6C,CAC9C,CAAC;IACJ,CAAC;AACH,CAAC;AAED,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;IACjC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CACb,kCAAkC,EAAE,4BAA4B;YAChE,gCAAgC,CACjC,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAgB,kBAAkB,CAAC,EAAU;IAC3C,OAAO,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,SAAgB,oBAAoB;IAClC,OAAO,QAAQ,CAAC,IAAI,CAAC;AACvB,CAAC"}

package/dist/core/constraints/checkers/iron-flags.d.ts

@@ -1,14 +1,13 @@
 /**
  * 铁律层轻量检查（工单 21）：纯上下文证据标志判定，无 I/O
+ *
+ * ADR-0001 后仅存活的三个 flag：hasVerificationEvidence / hasSingleTask / hasRequirement
+ *
+ * 三态语义（ADR-0001 防爆措施）：
+ * - undefined = flag 未接线 → skip（不评估，CLI pre-commit 等路径不误报违规）
+ * - 显式 false → fail；true → pass
  */
-export declare const noSelfApproval: import("./types").ConstraintCheck;
 export declare const noCompletionWithoutVerification: import("./types").ConstraintCheck;
 export declare const incrementalProgress: import("./types").ConstraintCheck;
-export declare const verifyExternalCapability: import("./types").ConstraintCheck;
-export declare const noImplementationWithoutRequirementReview: import("./types").ConstraintCheck;
 export declare const noImplementationWithoutRequirement: import("./types").ConstraintCheck;
-export declare const preferWorktree: import("./types").ConstraintCheck;
-export declare const noClaimWithoutEvidence: import("./types").ConstraintCheck;
-export declare const noDeleteWithoutContext: import("./types").ConstraintCheck;
-export declare const twoStageReviewRequired: import("./types").ConstraintCheck;
 //# sourceMappingURL=iron-flags.d.ts.map

package/dist/core/constraints/checkers/iron-flags.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"iron-flags.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/iron-flags.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,eAAO,MAAM,cAAc,mCAG1B,CAAC;AAEF,eAAO,MAAM,+BAA+B,mCAG3C,CAAC;AAEF,eAAO,MAAM,mBAAmB,mCAI/B,CAAC;AAEF,eAAO,MAAM,wBAAwB,mCAGpC,CAAC;AAEF,eAAO,MAAM,wCAAwC,mCAGpD,CAAC;AAEF,eAAO,MAAM,kCAAkC,mCAG9C,CAAC;AAEF,eAAO,MAAM,cAAc,mCAG1B,CAAC;AAEF,eAAO,MAAM,sBAAsB,mCAMlC,CAAC;AAEF,eAAO,MAAM,sBAAsB,mCAMlC,CAAC;AAEF,eAAO,MAAM,sBAAsB,mCAGlC,CAAC"}
+{"version":3,"file":"iron-flags.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/iron-flags.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,eAAO,MAAM,+BAA+B,mCAG3C,CAAC;AAEF,eAAO,MAAM,mBAAmB,mCAG/B,CAAC;AAEF,eAAO,MAAM,kCAAkC,mCAG9C,CAAC"}

package/dist/core/constraints/checkers/iron-flags.js

@@ -1,24 +1,17 @@
 "use strict";
 /**
  * 铁律层轻量检查（工单 21）：纯上下文证据标志判定，无 I/O
+ *
+ * ADR-0001 后仅存活的三个 flag：hasVerificationEvidence / hasSingleTask / hasRequirement
+ *
+ * 三态语义（ADR-0001 防爆措施）：
+ * - undefined = flag 未接线 → skip（不评估，CLI pre-commit 等路径不误报违规）
+ * - 显式 false → fail；true → pass
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.twoStageReviewRequired = exports.noDeleteWithoutContext = exports.noClaimWithoutEvidence = exports.preferWorktree = exports.noImplementationWithoutRequirement = exports.noImplementationWithoutRequirementReview = exports.verifyExternalCapability = exports.incrementalProgress = exports.noCompletionWithoutVerification = exports.noSelfApproval = void 0;
+exports.noImplementationWithoutRequirement = exports.incrementalProgress = exports.noCompletionWithoutVerification = void 0;
 const types_1 = require("./types");
-exports.noSelfApproval = (0, types_1.contextFlag)('no_self_approval', ctx => ctx.hasTest === true);
-exports.noCompletionWithoutVerification = (0, types_1.contextFlag)('no_completion_without_verification', ctx => ctx.hasVerificationEvidence === true);
-exports.incrementalProgress = (0, types_1.contextFlag)('incremental_progress', 
-// undefined = 未验证 → Iron Law 必须显式确认
-ctx => ctx.hasSingleTask === true);
-exports.verifyExternalCapability = (0, types_1.contextFlag)('verify_external_capability', ctx => ctx.hasExternalCapabilityVerification === true);
-exports.noImplementationWithoutRequirementReview = (0, types_1.contextFlag)('no_implementation_without_requirement_review', ctx => ctx.hasRequirementReview === true);
-exports.noImplementationWithoutRequirement = (0, types_1.contextFlag)('no_implementation_without_requirement', ctx => ctx.hasRequirement === true);
-exports.preferWorktree = (0, types_1.contextFlag)('prefer_worktree', ctx => ctx.hasWorktree === true);
-exports.noClaimWithoutEvidence = (0, types_1.contextFlag)('no_claim_without_evidence', ctx => ctx.hasVerificationEvidence === true ||
-    (ctx.taskDescription || '').includes('test') ||
-    ctx.hasTest === true);
-exports.noDeleteWithoutContext = (0, types_1.contextFlag)('no_delete_without_context', ctx => ctx.hasRequirementReview === true ||
-    ctx.hasRequirement === true ||
-    ctx.isExistingDesign === true);
-exports.twoStageReviewRequired = (0, types_1.contextFlag)('two_stage_review_required', ctx => ctx.hasTwoStageReview === true);
+exports.noCompletionWithoutVerification = (0, types_1.contextEvidenceFlag)('no_completion_without_verification', ctx => ctx.hasVerificationEvidence);
+exports.incrementalProgress = (0, types_1.contextEvidenceFlag)('incremental_progress', ctx => ctx.hasSingleTask);
+exports.noImplementationWithoutRequirement = (0, types_1.contextEvidenceFlag)('no_implementation_without_requirement', ctx => ctx.hasRequirement);
 //# sourceMappingURL=iron-flags.js.map

package/dist/core/constraints/checkers/iron-flags.js.map

@@ -1 +1 @@
-{"version":3,"file":"iron-flags.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/iron-flags.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAEH,mCAAsC;AAEzB,QAAA,cAAc,GAAG,IAAA,mBAAW,EACvC,kBAAkB,EAClB,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,KAAK,IAAI,CAC5B,CAAC;AAEW,QAAA,+BAA+B,GAAG,IAAA,mBAAW,EACxD,oCAAoC,EACpC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,uBAAuB,KAAK,IAAI,CAC5C,CAAC;AAEW,QAAA,mBAAmB,GAAG,IAAA,mBAAW,EAC5C,sBAAsB;AACtB,oCAAoC;AACpC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,aAAa,KAAK,IAAI,CAClC,CAAC;AAEW,QAAA,wBAAwB,GAAG,IAAA,mBAAW,EACjD,4BAA4B,EAC5B,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,iCAAiC,KAAK,IAAI,CACtD,CAAC;AAEW,QAAA,wCAAwC,GAAG,IAAA,mBAAW,EACjE,8CAA8C,EAC9C,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,oBAAoB,KAAK,IAAI,CACzC,CAAC;AAEW,QAAA,kCAAkC,GAAG,IAAA,mBAAW,EAC3D,uCAAuC,EACvC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,cAAc,KAAK,IAAI,CACnC,CAAC;AAEW,QAAA,cAAc,GAAG,IAAA,mBAAW,EACvC,iBAAiB,EACjB,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,WAAW,KAAK,IAAI,CAChC,CAAC;AAEW,QAAA,sBAAsB,GAAG,IAAA,mBAAW,EAC/C,2BAA2B,EAC3B,GAAG,CAAC,EAAE,CACJ,GAAG,CAAC,uBAAuB,KAAK,IAAI;IACpC,CAAC,GAAG,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;IAC5C,GAAG,CAAC,OAAO,KAAK,IAAI,CACvB,CAAC;AAEW,QAAA,sBAAsB,GAAG,IAAA,mBAAW,EAC/C,2BAA2B,EAC3B,GAAG,CAAC,EAAE,CACJ,GAAG,CAAC,oBAAoB,KAAK,IAAI;IACjC,GAAG,CAAC,cAAc,KAAK,IAAI;IAC3B,GAAG,CAAC,gBAAgB,KAAK,IAAI,CAChC,CAAC;AAEW,QAAA,sBAAsB,GAAG,IAAA,mBAAW,EAC/C,2BAA2B,EAC3B,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,iBAAiB,KAAK,IAAI,CACtC,CAAC"}
+{"version":3,"file":"iron-flags.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/iron-flags.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAEH,mCAA8C;AAEjC,QAAA,+BAA+B,GAAG,IAAA,2BAAmB,EAChE,oCAAoC,EACpC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,uBAAuB,CACnC,CAAC;AAEW,QAAA,mBAAmB,GAAG,IAAA,2BAAmB,EACpD,sBAAsB,EACtB,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,aAAa,CACzB,CAAC;AAEW,QAAA,kCAAkC,GAAG,IAAA,2BAAmB,EACnE,uCAAuC,EACvC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,cAAc,CAC1B,CAAC"}

package/dist/core/constraints/checkers/no-hardcoded-credentials.d.ts

@@ -0,0 +1,13 @@
+/**
+ * no_hardcoded_credentials：硬编码凭证扫描（ADR-0001：shell 扫描逻辑接入真 checker）
+ *
+ * 扫描 staged diff 的新增行（无 staged diff 时退化为变更文件内容），
+ * 命中常见私钥/密码/token 模式即 fail。
+ *
+ * 模板文件（.example/.sample/.template）与占位符值（your_xxx、process.env 引用等）豁免。
+ */
+import type { ConstraintCheck } from './types';
+/** 判定一段文本是否包含硬编码凭证 */
+export declare function containsHardcodedCredential(text: string): boolean;
+export declare const noHardcodedCredentials: ConstraintCheck;
+//# sourceMappingURL=no-hardcoded-credentials.d.ts.map

package/dist/core/constraints/checkers/no-hardcoded-credentials.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-hardcoded-credentials.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/no-hardcoded-credentials.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAgC/C,sBAAsB;AACtB,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAUjE;AAED,eAAO,MAAM,sBAAsB,EAAE,eAoCpC,CAAC"}

package/dist/core/constraints/checkers/no-hardcoded-credentials.js

@@ -0,0 +1,91 @@
+"use strict";
+/**
+ * no_hardcoded_credentials：硬编码凭证扫描（ADR-0001：shell 扫描逻辑接入真 checker）
+ *
+ * 扫描 staged diff 的新增行（无 staged diff 时退化为变更文件内容），
+ * 命中常见私钥/密码/token 模式即 fail。
+ *
+ * 模板文件（.example/.sample/.template）与占位符值（your_xxx、process.env 引用等）豁免。
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.noHardcodedCredentials = void 0;
+exports.containsHardcodedCredential = containsHardcodedCredential;
+const fs_1 = require("fs");
+const path_1 = require("path");
+/** 私钥/令牌指纹模式（命中即违规，无例外） */
+const FINGERPRINT_PATTERNS = [
+    // PEM 私钥头
+    /-----BEGIN (?:RSA |EC |DSA |OPENSSH |PGP )?PRIVATE KEY(?: BLOCK)?-----/,
+    // AWS Access Key ID
+    /\b(?:AKIA|ASIA)[0-9A-Z]{16}\b/,
+    // GitHub token
+    /\b(?:ghp|gho|ghu|ghs|ghr)_[A-Za-z0-9]{20,}\b/,
+    /\bgithub_pat_[A-Za-z0-9_]{20,}\b/,
+    // Slack token
+    /\bxox[baprs]-[A-Za-z0-9-]{10,}\b/,
+    // Google API key
+    /\bAIza[0-9A-Za-z_-]{35}\b/,
+];
+/** 通用赋值模式：password/secret/token/api key = "字面量"（不要求前词边界，覆盖 dbPassword 等 camelCase） */
+const ASSIGNMENT_PATTERN = /(?:password|passwd|secret|api[_-]?key|access[_-]?token|auth[_-]?token)\b\s*[:=]\s*['"][^'"\n]{8,}['"]/i;
+/** 占位符/环境变量引用等明显非真实值 */
+const PLACEHOLDER_PATTERN = /process\.env|your[_-]|<[^>]+>|\$\{|xxx+|placeholder|example|changeme|dummy|fake|test/i;
+/** 允许占位符的模板文件后缀 */
+const TEMPLATE_SUFFIXES = ['.example', '.sample', '.template', '.dist'];
+function isTemplateFile(file) {
+    return TEMPLATE_SUFFIXES.some(s => file.endsWith(s));
+}
+/** 判定一段文本是否包含硬编码凭证 */
+function containsHardcodedCredential(text) {
+    for (const line of text.split('\n')) {
+        // 占位符/环境变量引用行整体豁免（your_xxx、process.env、示例值等）
+        if (PLACEHOLDER_PATTERN.test(line))
+            continue;
+        for (const pattern of FINGERPRINT_PATTERNS) {
+            if (pattern.test(line))
+                return true;
+        }
+        if (ASSIGNMENT_PATTERN.test(line))
+            return true;
+    }
+    return false;
+}
+exports.noHardcodedCredentials = {
+    id: 'no_hardcoded_credentials',
+    evaluate: async (env) => {
+        const files = (env.context.changedFiles || []).filter(f => !isTemplateFile(f));
+        // 1) staged diff 新增行
+        let scanned = false;
+        try {
+            const diff = await env.stagedDiff();
+            const added = diff
+                .split('\n')
+                .filter(l => l.startsWith('+') && !l.startsWith('+++'))
+                .map(l => l.slice(1))
+                .join('\n');
+            if (added.trim().length > 0) {
+                scanned = true;
+                if (containsHardcodedCredential(added))
+                    return false;
+            }
+        }
+        catch {
+            // diff 不可用 → 退化为文件内容扫描
+        }
+        // 2) 变更文件内容（diff 为空或不可用时）
+        if (!scanned) {
+            for (const file of files) {
+                try {
+                    const content = (0, fs_1.readFileSync)((0, path_1.join)(env.projectPath, file), 'utf-8');
+                    if (containsHardcodedCredential(content))
+                        return false;
+                }
+                catch {
+                    // 文件不可读（已删除/二进制）→ 跳过
+                }
+            }
+        }
+        return true;
+    },
+};
+//# sourceMappingURL=no-hardcoded-credentials.js.map

package/dist/core/constraints/checkers/no-hardcoded-credentials.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-hardcoded-credentials.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/no-hardcoded-credentials.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAqCH,kEAUC;AA7CD,2BAAkC;AAClC,+BAA4B;AAG5B,2BAA2B;AAC3B,MAAM,oBAAoB,GAAa;IACrC,UAAU;IACV,wEAAwE;IACxE,oBAAoB;IACpB,+BAA+B;IAC/B,eAAe;IACf,8CAA8C;IAC9C,kCAAkC;IAClC,cAAc;IACd,kCAAkC;IAClC,iBAAiB;IACjB,2BAA2B;CAC5B,CAAC;AAEF,sFAAsF;AACtF,MAAM,kBAAkB,GACtB,wGAAwG,CAAC;AAE3G,wBAAwB;AACxB,MAAM,mBAAmB,GACvB,uFAAuF,CAAC;AAE1F,mBAAmB;AACnB,MAAM,iBAAiB,GAAG,CAAC,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;AAExE,SAAS,cAAc,CAAC,IAAY;IAClC,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,sBAAsB;AACtB,SAAgB,2BAA2B,CAAC,IAAY;IACtD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,6CAA6C;QAC7C,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAC7C,KAAK,MAAM,OAAO,IAAI,oBAAoB,EAAE,CAAC;YAC3C,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;QACtC,CAAC;QACD,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;IACjD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAEY,QAAA,sBAAsB,GAAoB;IACrD,EAAE,EAAE,0BAA0B;IAC9B,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE;QACtB,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;QAE/E,qBAAqB;QACrB,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,UAAU,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,IAAI;iBACf,KAAK,CAAC,IAAI,CAAC;iBACX,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;iBACtD,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;iBACpB,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,OAAO,GAAG,IAAI,CAAC;gBACf,IAAI,2BAA2B,CAAC,KAAK,CAAC;oBAAE,OAAO,KAAK,CAAC;YACvD,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,uBAAuB;QACzB,CAAC;QAED,0BAA0B;QAC1B,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,IAAI,CAAC;oBACH,MAAM,OAAO,GAAG,IAAA,iBAAY,EAAC,IAAA,WAAI,EAAC,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;oBACnE,IAAI,2BAA2B,CAAC,OAAO,CAAC;wBAAE,OAAO,KAAK,CAAC;gBACzD,CAAC;gBAAC,MAAM,CAAC;oBACP,qBAAqB;gBACvB,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;CACF,CAAC"}

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

@@ -23,21 +23,32 @@ export interface CheckEnv {
     /** 源码根相对路径文件列表（run 内 cached） */
     srcScan(root: string): string[];
 }
+/**
+ * 检查结果三态（ADR-0001 存在性探测 / flag 未接线）：
+ * - true = 满足（pass）
+ * - false = 违反（fail）
+ * - 'skip' = 未评估（项目未采用对应约定，或证据 flag 未接线），不计 pass/fail
+ */
+export type CheckOutcome = boolean | 'skip';
 /**
  * 单条约束检查实现
  */
 export interface ConstraintCheck {
     /** 约束 ID（与 definitions 一致） */
     id: string;
-    /** 检查主体：true = 满足 */
-    evaluate(env: CheckEnv): Promise<boolean> | boolean;
+    /** 检查主体：true = 满足；false = 违反；'skip' = 未评估 */
+    evaluate(env: CheckEnv): Promise<CheckOutcome> | CheckOutcome;
 }
 /**
  * 构造纯上下文标志检查（无 I/O 的轻量约束）
  */
 export declare function contextFlag(id: string, predicate: (context: ConstraintContext) => boolean): ConstraintCheck;
 /**
- * 构造恒通过检查（promptInjection 驱动 / 仅提示类约束）
+ * 构造证据标志检查（ADR-0001：flag 未接线 = skip 而非 fail）
+ *
+ * - flag === undefined：调用方未接线该证据 → 'skip'（不评估，不误报违规）
+ * - flag === false：显式无证据 → fail
+ * - flag === true：有证据 → pass
  */
-export declare function alwaysPass(id: string): ConstraintCheck;
+export declare function contextEvidenceFlag(id: string, pick: (context: ConstraintContext) => boolean | undefined): ConstraintCheck;
 //# sourceMappingURL=types.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAEnE;;;;;GAKG;AACH,MAAM,WAAW,QAAQ;IACvB,2CAA2C;IAC3C,OAAO,EAAE,iBAAiB,CAAC;IAC3B,kDAAkD;IAClD,WAAW,EAAE,MAAM,CAAC;IACpB,qCAAqC;IACrC,UAAU,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9B,qCAAqC;IACrC,eAAe,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IACnC,gCAAgC;IAChC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,8BAA8B;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,qBAAqB;IACrB,QAAQ,CAAC,GAAG,EAAE,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC;CACrD;AAED;;GAEG;AACH,wBAAgB,WAAW,CACzB,EAAE,EAAE,MAAM,EACV,SAAS,EAAE,CAAC,OAAO,EAAE,iBAAiB,KAAK,OAAO,GACjD,eAAe,CAEjB;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,eAAe,CAEtD"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAEnE;;;;;GAKG;AACH,MAAM,WAAW,QAAQ;IACvB,2CAA2C;IAC3C,OAAO,EAAE,iBAAiB,CAAC;IAC3B,kDAAkD;IAClD,WAAW,EAAE,MAAM,CAAC;IACpB,qCAAqC;IACrC,UAAU,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9B,qCAAqC;IACrC,eAAe,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IACnC,gCAAgC;IAChC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;CACjC;AAED;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,MAAM,CAAC;AAE5C;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,8BAA8B;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,6CAA6C;IAC7C,QAAQ,CAAC,GAAG,EAAE,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,YAAY,CAAC;CAC/D;AAED;;GAEG;AACH,wBAAgB,WAAW,CACzB,EAAE,EAAE,MAAM,EACV,SAAS,EAAE,CAAC,OAAO,EAAE,iBAAiB,KAAK,OAAO,GACjD,eAAe,CAEjB;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CACjC,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,CAAC,OAAO,EAAE,iBAAiB,KAAK,OAAO,GAAG,SAAS,GACxD,eAAe,CASjB"}

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

@@ -7,7 +7,7 @@
  */
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.contextFlag = contextFlag;
-exports.alwaysPass = alwaysPass;
+exports.contextEvidenceFlag = contextEvidenceFlag;
 /**
  * 构造纯上下文标志检查（无 I/O 的轻量约束）
  */
@@ -15,9 +15,21 @@ function contextFlag(id, predicate) {
     return { id, evaluate: (env) => predicate(env.context) };
 }
 /**
- * 构造恒通过检查（promptInjection 驱动 / 仅提示类约束）
+ * 构造证据标志检查（ADR-0001：flag 未接线 = skip 而非 fail）
+ *
+ * - flag === undefined：调用方未接线该证据 → 'skip'（不评估，不误报违规）
+ * - flag === false：显式无证据 → fail
+ * - flag === true：有证据 → pass
  */
-function alwaysPass(id) {
-    return { id, evaluate: () => true };
+function contextEvidenceFlag(id, pick) {
+    return {
+        id,
+        evaluate: (env) => {
+            const value = pick(env.context);
+            if (value === undefined)
+                return 'skip';
+            return value;
+        },
+    };
 }
 //# sourceMappingURL=types.js.map

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;;AAoCH,kCAKC;AAKD,gCAEC;AAfD;;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;;GAEG;AACH,SAAgB,UAAU,CAAC,EAAU;IACnC,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;AACtC,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/types.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;AA4CH,kCAKC;AASD,kDAYC;AA7BD;;GAEG;AACH,SAAgB,WAAW,CACzB,EAAU,EACV,SAAkD;IAElD,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,mBAAmB,CACjC,EAAU,EACV,IAAyD;IAEzD,OAAO;QACL,EAAE;QACF,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE;YAChB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAChC,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,MAAM,CAAC;YACvC,OAAO,KAAK,CAAC;QACf,CAAC;KACF,CAAC;AACJ,CAAC"}

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

@@ -22,14 +22,17 @@ export declare function listHeadDirs(projectPath: string): Set<string> | null;
 export declare function isNewDirectory(headDirs: Set<string> | null, filePath: string): boolean;
 /**
  * 检测触发条件
+ *
+ * ADR-0001：变更包含代码文件时，在主推断之外附加 code_implementation
+ * （返回数组 [主推断, 'code_implementation']；主推断逻辑保持不变）。
  */
 export declare function detectTrigger(changedFiles: string[], options: {
     trigger?: ConstraintTrigger;
     projectPath?: string;
-}): ConstraintTrigger;
+}): ConstraintTrigger | ConstraintTrigger[];
 /**
  * 检测是否有失败的测试记录
- * 扫描 .harness/traces/ 中最近的 trace 记录
+ * 扫描 trace 文件（DEFAULT_TRACE_FILE）中最近的记录
  */
 export declare function detectFailingTest(projectPath: string): Promise<boolean>;
 /**
@@ -39,7 +42,7 @@ export declare function detectFailingTest(projectPath: string): Promise<boolean>
 export declare function detectRootCauseInvestigation(projectPath: string): boolean;
 /**
  * 检测是否有验证证据
- * 检查 .harness/traces/ 中最近的成功验证记录
+ * 检查 trace 文件（DEFAULT_TRACE_FILE）中最近的成功验证记录
  */
 export declare function detectVerificationEvidence(projectPath: string): Promise<boolean>;
 /**

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

@@ -1 +1 @@
-{"version":3,"file":"context-builder.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/context-builder.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAOH,OAAO,KAAK,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAEnF;;GAEG;AACH,wBAAsB,eAAe,CAAC,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAU9F;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,WAAW,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,CAepE;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAGtF;AAED;;GAEG;AACH,wBAAgB,aAAa,CAC3B,YAAY,EAAE,MAAM,EAAE,EACtB,OAAO,EAAE;IAAE,OAAO,CAAC,EAAE,iBAAiB,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,GAC7D,iBAAiB,CAyBnB;AAED;;;GAGG;AACH,wBAAsB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAyB7E;AAED;;;GAGG;AACH,wBAAgB,4BAA4B,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAgBzE;AAED;;;GAGG;AACH,wBAAsB,0BAA0B,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAyBtF;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAqB9D;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAU3D;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAY7D;AAED;;GAEG;AACH,wBAAsB,sBAAsB,CAAC,OAAO,EAAE;IACpD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,CAAC,EAAE,iBAAiB,CAAC;CAC7B,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAiB7B"}
+{"version":3,"file":"context-builder.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/context-builder.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAQH,OAAO,KAAK,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAEnF;;GAEG;AACH,wBAAsB,eAAe,CAAC,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAU9F;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,WAAW,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,CAepE;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAGtF;AASD;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,YAAY,EAAE,MAAM,EAAE,EACtB,OAAO,EAAE;IAAE,OAAO,CAAC,EAAE,iBAAiB,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,GAC7D,iBAAiB,GAAG,iBAAiB,EAAE,CA2BzC;AAED;;;GAGG;AACH,wBAAsB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAsB7E;AAED;;;GAGG;AACH,wBAAgB,4BAA4B,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAgBzE;AAED;;;GAGG;AACH,wBAAsB,0BAA0B,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAsBtF;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAqB9D;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAU3D;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAY7D;AAED;;GAEG;AACH,wBAAsB,sBAAsB,CAAC,OAAO,EAAE;IACpD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,CAAC,EAAE,iBAAiB,CAAC;CAC7B,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAmB7B"}