@dommaker/harness 1.11.0 → 1.12.0

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

@@ -1,15 +1,20 @@
 "use strict";
 /**
- * 约束检查器注册表（工单 21）
+ * 约束检查器注册表（工单 21；ADR-0033 拆两层）
  *
- * checker.ts 编排层通过 getConstraintCheck(id) 查找实现。
+ * checker.ts 编排层通过 getConstraintCheck() 查找实现。
  *
- * 注册表闭环（ADR-0001）：模块加载时校验全部 kind='check' 的内置约束
- * 都有已注册 checker，且注册表中没有无对应 check 定义的孤儿实现；
- * 任一不满足即抛错（加载期失败，不许静默 pass）。
+ * 两层注册表：
+ * - 内置 checker（registry，按约束 id）：模块加载时校验全部 kind='check' 的内置约束
+ *   都有已注册 checker，且注册表中没有无对应 check 定义的孤儿实现；
+ *   任一不满足即抛错（加载期失败，不许静默 pass，ADR-0001）。
+ * - 模板 checker（TEMPLATES，按模板 id）：填空式参数化模板，供应用层约束
+ *   （source='app'，`.harness/constraints.yml`）按 checker + params 实例化。
+ *   闭环语义扩展而非开口：应用层约束在加载期（app-constraints-loader）校验
+ *   模板 id 存在 + validateParams 通过；getConstraintCheck 对未注册模板 id 抛错。
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.normalizeCheckOutcome = exports.buildCheckEnv = void 0;
+exports.normalizeCheckOutcome = exports.buildCheckEnv = exports.TEMPLATES = void 0;
 exports.getConstraintCheck = getConstraintCheck;
 exports.registeredCheckCount = registeredCheckCount;
 const definitions_1 = require("../definitions");
@@ -20,19 +25,27 @@ const context_doc_sync_1 = require("./context-doc-sync");
 const docs_freshness_1 = require("./docs-freshness");
 const no_hardcoded_credentials_1 = require("./no-hardcoded-credentials");
 const governance_presence_1 = require("./governance-presence");
+const templates_registry_1 = require("./templates-registry");
 const CHECKS = [
     // severity='error'
     iron_flags_1.noCompletionWithoutVerification,
     no_test_simplification_1.noTestSimplification,
     docs_freshness_1.docsFreshness,
-    // severity='warning'
     no_hardcoded_credentials_1.noHardcodedCredentials,
+    // severity='warning'
     capability_sync_1.capabilitySync,
     context_doc_sync_1.contextDocSync,
     governance_presence_1.governancePresence,
 ];
 const registry = new Map(CHECKS.map(c => [c.id, c]));
 // ========================================
+// 模板注册表（ADR-0033，应用层约束用）
+// ========================================
+// TEMPLATES 住在 ./templates-registry（独立模块防值级循环，见该文件头注释）；
+// 此处 re-export 供编排层与测试单口取数
+var templates_registry_2 = require("./templates-registry");
+Object.defineProperty(exports, "TEMPLATES", { enumerable: true, get: function () { return templates_registry_2.TEMPLATES; } });
+// ========================================
 // 注册表闭环校验（加载期）
 // ========================================
 const checkConstraints = (0, definitions_1.getAllConstraints)().filter(c => c.kind === 'check');
@@ -49,11 +62,27 @@ for (const id of registry.keys()) {
     }
 }
 /**
- * 按约束 ID 查找检查实现；未注册返回 undefined
- * （编排层对 kind='check' 未注册的情况抛错）
+ * 查找检查实现
+ *
+ * - 传字符串 id 或内置约束：按 id 查内置注册表，未注册返回 undefined
+ *   （编排层对 kind='check' 未注册的情况抛错）
+ * - 传 source='app' 的约束：按 checker 模板 id + params 实例化；
+ *   模板 id 未注册 → 抛错（闭环保留，不许静默 pass）
  */
-function getConstraintCheck(id) {
-    return registry.get(id);
+function getConstraintCheck(idOrConstraint) {
+    if (typeof idOrConstraint === 'string') {
+        return registry.get(idOrConstraint);
+    }
+    if (idOrConstraint.source === 'app') {
+        const templateId = idOrConstraint.checker;
+        const factory = templateId ? templates_registry_1.TEMPLATES.get(templateId) : undefined;
+        if (!factory) {
+            throw new Error(`[harness] 约束注册表闭环校验失败：应用层约束 "${idOrConstraint.id}" 引用的 checker 模板 ` +
+                `"${templateId ?? '（未填写）'}" 未注册。请在 checkers/templated/ 中实现并注册。`);
+        }
+        return factory.create(idOrConstraint.id, idOrConstraint.params ?? {});
+    }
+    return registry.get(idOrConstraint.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;;;;;;;;GAQG;;;AAyDH,gDAEC;AAKD,oDAEC;AA/DD,gDAAmD;AAEnD,6CAEsB;AACtB,qEAAgE;AAChE,uDAAmD;AACnD,yDAAoD;AACpD,qDAAiD;AACjD,yEAAoE;AACpE,+DAA2D;AAE3D,MAAM,MAAM,GAAsB;IAChC,mBAAmB;IACnB,4CAA+B;IAC/B,6CAAoB;IACpB,8BAAa;IACb,qBAAqB;IACrB,iDAAsB;IACtB,gCAAc;IACd,iCAAc;IACd,wCAAkB;CACnB,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,4CAA4C,CAC7C,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;AAED,iCAA+D;AAAtD,sGAAA,aAAa,OAAA;AAAE,8GAAA,qBAAqB,OAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;GAaG;;;AAuEH,gDAgBC;AAKD,oDAEC;AA1FD,gDAAmD;AAEnD,6CAEsB;AACtB,qEAAgE;AAChE,uDAAmD;AACnD,yDAAoD;AACpD,qDAAiD;AACjD,yEAAoE;AACpE,+DAA2D;AAC3D,6DAAiD;AAEjD,MAAM,MAAM,GAAsB;IAChC,mBAAmB;IACnB,4CAA+B;IAC/B,6CAAoB;IACpB,8BAAa;IACb,iDAAsB;IACtB,qBAAqB;IACrB,gCAAc;IACd,iCAAc;IACd,wCAAkB;CACnB,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,yBAAyB;AACzB,2CAA2C;AAE3C,wDAAwD;AACxD,2BAA2B;AAC3B,2DAAiD;AAAxC,+GAAA,SAAS,OAAA;AAElB,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,4CAA4C,CAC7C,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;;;;;;;GAOG;AACH,SAAgB,kBAAkB,CAAC,cAAmC;IACpE,IAAI,OAAO,cAAc,KAAK,QAAQ,EAAE,CAAC;QACvC,OAAO,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,cAAc,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;QACpC,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,CAAC;QAC1C,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,8BAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACnE,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,MAAM,IAAI,KAAK,CACb,gCAAgC,cAAc,CAAC,EAAE,mBAAmB;gBACpE,IAAI,UAAU,IAAI,OAAO,sCAAsC,CAChE,CAAC;QACJ,CAAC;QACD,OAAO,OAAO,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,EAAE,cAAc,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;AACzC,CAAC;AAED;;GAEG;AACH,SAAgB,oBAAoB;IAClC,OAAO,QAAQ,CAAC,IAAI,CAAC;AACvB,CAAC;AAED,iCAA+D;AAAtD,sGAAA,aAAa,OAAA;AAAE,8GAAA,qBAAqB,OAAA"}

package/dist/core/constraints/checkers/templated/file-exists.d.ts

@@ -0,0 +1,16 @@
+/**
+ * file-exists 模板：文件存在性约束（ADR-0033，块 3 子项 2）
+ *
+ * 形态参照 context-doc-sync：存在性判定 + 证据行（fail 必须可归因，harness#119）。
+ * 与 context-doc-sync 的差别：目标由参数显式给出（加载期已校验），
+ * 无「约定未采用」三态，故永不 skip。
+ *
+ * 参数：
+ * - path（可选）：相对项目根的单文件路径
+ * - glob（可选）：文件集 glob（fast-glob 口径，dot: true 以覆盖 .harness 等点目录）
+ * - mustExist（可选，缺省 true）：true = 必须存在；false = 必须不存在
+ * path 与 glob 至少填一个；都填 = 两者都要满足。
+ */
+import { type TemplatedCheckerFactory } from '../types';
+export declare const fileExists: TemplatedCheckerFactory;
+//# sourceMappingURL=file-exists.d.ts.map

package/dist/core/constraints/checkers/templated/file-exists.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-exists.d.ts","sourceRoot":"","sources":["../../../../../src/core/constraints/checkers/templated/file-exists.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAKH,OAAO,EAAwC,KAAK,uBAAuB,EAAE,MAAM,UAAU,CAAC;AAE9F,eAAO,MAAM,UAAU,EAAE,uBAuDxB,CAAC"}

package/dist/core/constraints/checkers/templated/file-exists.js

@@ -0,0 +1,108 @@
+"use strict";
+/**
+ * file-exists 模板：文件存在性约束（ADR-0033，块 3 子项 2）
+ *
+ * 形态参照 context-doc-sync：存在性判定 + 证据行（fail 必须可归因，harness#119）。
+ * 与 context-doc-sync 的差别：目标由参数显式给出（加载期已校验），
+ * 无「约定未采用」三态，故永不 skip。
+ *
+ * 参数：
+ * - path（可选）：相对项目根的单文件路径
+ * - glob（可选）：文件集 glob（fast-glob 口径，dot: true 以覆盖 .harness 等点目录）
+ * - mustExist（可选，缺省 true）：true = 必须存在；false = 必须不存在
+ * path 与 glob 至少填一个；都填 = 两者都要满足。
+ */
+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 __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.fileExists = void 0;
+const fs_1 = require("fs");
+const path_1 = require("path");
+const glob = __importStar(require("fast-glob"));
+const types_1 = require("../types");
+exports.fileExists = {
+    validateParams(params) {
+        const errors = [];
+        if (params.path !== undefined && typeof params.path !== 'string') {
+            errors.push('path 必须是字符串');
+        }
+        if (params.glob !== undefined && typeof params.glob !== 'string') {
+            errors.push('glob 必须是字符串');
+        }
+        const hasPath = typeof params.path === 'string' && params.path.length > 0;
+        const hasGlob = typeof params.glob === 'string' && params.glob.length > 0;
+        if (!hasPath && !hasGlob) {
+            errors.push('path 或 glob 至少填一个');
+        }
+        if (params.mustExist !== undefined && typeof params.mustExist !== 'boolean') {
+            errors.push('mustExist 必须是布尔值');
+        }
+        return errors;
+    },
+    create(id, params) {
+        const rel = params.path;
+        const globPattern = params.glob;
+        const mustExist = params.mustExist !== false;
+        return {
+            id,
+            evaluate(env) {
+                const pathHit = rel !== undefined && (0, fs_1.existsSync)((0, path_1.join)(env.projectPath, rel));
+                const globHits = globPattern !== undefined
+                    ? glob.sync(globPattern, { cwd: env.projectPath, dot: true, onlyFiles: false })
+                    : [];
+                if (mustExist) {
+                    const missing = [];
+                    if (rel !== undefined && !pathHit)
+                        missing.push(rel);
+                    if (globPattern !== undefined && globHits.length === 0)
+                        missing.push(`${globPattern}（无匹配文件）`);
+                    if (missing.length > 0) {
+                        return { pass: false, evidence: (0, types_1.formatEvidence)('必需文件不存在', missing) };
+                    }
+                    return true;
+                }
+                // mustExist=false：任何目标存在即违规
+                const present = [
+                    ...(pathHit ? [rel] : []),
+                    ...globHits,
+                ];
+                if (present.length > 0) {
+                    return { pass: false, evidence: (0, types_1.formatEvidence)('禁存文件存在', present) };
+                }
+                return true;
+            },
+        };
+    },
+};
+//# sourceMappingURL=file-exists.js.map

package/dist/core/constraints/checkers/templated/file-exists.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-exists.js","sourceRoot":"","sources":["../../../../../src/core/constraints/checkers/templated/file-exists.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;GAYG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,2BAAgC;AAChC,+BAA4B;AAC5B,gDAAkC;AAClC,oCAA8F;AAEjF,QAAA,UAAU,GAA4B;IACjD,cAAc,CAAC,MAAM;QACnB,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACjE,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC7B,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACjE,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC7B,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QAC1E,MAAM,OAAO,GAAG,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QAC1E,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QACnC,CAAC;QACD,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5E,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,CAAC,EAAE,EAAE,MAAM;QACf,MAAM,GAAG,GAAG,MAAM,CAAC,IAA0B,CAAC;QAC9C,MAAM,WAAW,GAAG,MAAM,CAAC,IAA0B,CAAC;QACtD,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,KAAK,KAAK,CAAC;QAE7C,OAAO;YACL,EAAE;YACF,QAAQ,CAAC,GAAG;gBACV,MAAM,OAAO,GAAG,GAAG,KAAK,SAAS,IAAI,IAAA,eAAU,EAAC,IAAA,WAAI,EAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC;gBAC5E,MAAM,QAAQ,GAAG,WAAW,KAAK,SAAS;oBACxC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,WAAW,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;oBAC/E,CAAC,CAAC,EAAE,CAAC;gBAEP,IAAI,SAAS,EAAE,CAAC;oBACd,MAAM,OAAO,GAAa,EAAE,CAAC;oBAC7B,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,OAAO;wBAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACrD,IAAI,WAAW,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;wBAAE,OAAO,CAAC,IAAI,CAAC,GAAG,WAAW,SAAS,CAAC,CAAC;oBAC9F,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACvB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAA,sBAAc,EAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;oBACvE,CAAC;oBACD,OAAO,IAAI,CAAC;gBACd,CAAC;gBAED,4BAA4B;gBAC5B,MAAM,OAAO,GAAa;oBACxB,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1B,GAAG,QAAQ;iBACZ,CAAC;gBACF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACvB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAA,sBAAc,EAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;gBACtE,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC"}

package/dist/core/constraints/checkers/templated/glob.d.ts

@@ -0,0 +1,10 @@
+/**
+ * 模板侧轻量 glob 匹配（支持 `**`、`*`、`?`，纯字符串判定，不碰文件系统）
+ *
+ * 与 completion-checkers/glob-match 同一匹配语义；此处另写一份是因为分层
+ * （harness#88 参数化守卫）不许 core 值导入同层领域模块——约束域的模板
+ * 参数匹配不住 completion-checkers 的 commits 分类模块。
+ */
+/** 单 glob 匹配（相对路径正斜杠口径） */
+export declare function matchGlob(file: string, glob: string): boolean;
+//# sourceMappingURL=glob.d.ts.map

package/dist/core/constraints/checkers/templated/glob.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"glob.d.ts","sourceRoot":"","sources":["../../../../../src/core/constraints/checkers/templated/glob.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAoCH,2BAA2B;AAC3B,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAE7D"}

package/dist/core/constraints/checkers/templated/glob.js

@@ -0,0 +1,51 @@
+"use strict";
+/**
+ * 模板侧轻量 glob 匹配（支持 `**`、`*`、`?`，纯字符串判定，不碰文件系统）
+ *
+ * 与 completion-checkers/glob-match 同一匹配语义；此处另写一份是因为分层
+ * （harness#88 参数化守卫）不许 core 值导入同层领域模块——约束域的模板
+ * 参数匹配不住 completion-checkers 的 commits 分类模块。
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.matchGlob = matchGlob;
+function escapeRegExp(s) {
+    return s.replace(/[.+^${}()|[\]\\]/g, '\\$&');
+}
+/** glob → 锚定正则。前缀 `**` + `/` 匹配零或多段路径；`*` 不跨 `/`；`?` 匹配单个非 `/` 字符 */
+function globToRegExp(glob) {
+    let re = '';
+    let i = 0;
+    while (i < glob.length) {
+        const c = glob[i];
+        if (c === '*') {
+            if (glob[i + 1] === '*') {
+                if (glob[i + 2] === '/') {
+                    re += '(?:[^/]+/)*';
+                    i += 3;
+                }
+                else {
+                    re += '.*';
+                    i += 2;
+                }
+            }
+            else {
+                re += '[^/]*';
+                i += 1;
+            }
+        }
+        else if (c === '?') {
+            re += '[^/]';
+            i += 1;
+        }
+        else {
+            re += escapeRegExp(c);
+            i += 1;
+        }
+    }
+    return new RegExp('^' + re + '$');
+}
+/** 单 glob 匹配（相对路径正斜杠口径） */
+function matchGlob(file, glob) {
+    return globToRegExp(glob).test(file);
+}
+//# sourceMappingURL=glob.js.map

package/dist/core/constraints/checkers/templated/glob.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"glob.js","sourceRoot":"","sources":["../../../../../src/core/constraints/checkers/templated/glob.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;AAqCH,8BAEC;AArCD,SAAS,YAAY,CAAC,CAAS;IAC7B,OAAO,CAAC,CAAC,OAAO,CAAC,mBAAmB,EAAE,MAAM,CAAC,CAAC;AAChD,CAAC;AAED,qEAAqE;AACrE,SAAS,YAAY,CAAC,IAAY;IAChC,IAAI,EAAE,GAAG,EAAE,CAAC;IACZ,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACxB,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;oBACxB,EAAE,IAAI,aAAa,CAAC;oBACpB,CAAC,IAAI,CAAC,CAAC;gBACT,CAAC;qBAAM,CAAC;oBACN,EAAE,IAAI,IAAI,CAAC;oBACX,CAAC,IAAI,CAAC,CAAC;gBACT,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,EAAE,IAAI,OAAO,CAAC;gBACd,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;QACH,CAAC;aAAM,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACrB,EAAE,IAAI,MAAM,CAAC;YACb,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;aAAM,CAAC;YACN,EAAE,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC;YACtB,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;IACH,CAAC;IACD,OAAO,IAAI,MAAM,CAAC,GAAG,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;AACpC,CAAC;AAED,2BAA2B;AAC3B,SAAgB,SAAS,CAAC,IAAY,EAAE,IAAY;IAClD,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACvC,CAAC"}

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

@@ -0,0 +1,12 @@
+/**
+ * 填空式 checker 模板（ADR-0033 两层约束模型，块 3 子项 2）
+ *
+ * 每个模板 = TemplatedCheckerFactory（validateParams + create），注册进
+ * checkers/index.ts 的 TEMPLATES 供应用层约束（`.harness/constraints.yml`）
+ * 按 checker + params 实例化。
+ *
+ * 模板只认参数不认应用语义（harness 零业务逻辑）：约束条文、文案归应用仓。
+ */
+export { regexScan } from './regex-scan';
+export { fileExists } from './file-exists';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/core/constraints/checkers/templated/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC"}

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

@@ -0,0 +1,17 @@
+"use strict";
+/**
+ * 填空式 checker 模板（ADR-0033 两层约束模型，块 3 子项 2）
+ *
+ * 每个模板 = TemplatedCheckerFactory（validateParams + create），注册进
+ * checkers/index.ts 的 TEMPLATES 供应用层约束（`.harness/constraints.yml`）
+ * 按 checker + params 实例化。
+ *
+ * 模板只认参数不认应用语义（harness 零业务逻辑）：约束条文、文案归应用仓。
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.fileExists = exports.regexScan = void 0;
+var regex_scan_1 = require("./regex-scan");
+Object.defineProperty(exports, "regexScan", { enumerable: true, get: function () { return regex_scan_1.regexScan; } });
+var file_exists_1 = require("./file-exists");
+Object.defineProperty(exports, "fileExists", { enumerable: true, get: function () { return file_exists_1.fileExists; } });
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../src/core/constraints/checkers/templated/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAEH,2CAAyC;AAAhC,uGAAA,SAAS,OAAA;AAClB,6CAA2C;AAAlC,yGAAA,UAAU,OAAA"}

package/dist/core/constraints/checkers/templated/regex-scan.d.ts

@@ -0,0 +1,15 @@
+/**
+ * regex-scan 模板：正则扫描约束（ADR-0033，块 3 子项 2）
+ *
+ * 形态参照 no-hardcoded-credentials：scope='diff'（缺省）扫 staged diff 新增行，
+ * diff 为空/不可用时退化为变更文件内容扫描；scope='content' 直接扫变更文件内容。
+ * 命中即违规，证据行点名文件与命中行（harness#119：fail 必须可归因）。
+ *
+ * 参数：
+ * - pattern（必填）：正则字符串
+ * - glob（可选）：限定文件集（相对路径，支持 `**`/`*`/`?`）
+ * - scope（可选）：'diff' | 'content'，缺省 'diff'
+ */
+import { type TemplatedCheckerFactory } from '../types';
+export declare const regexScan: TemplatedCheckerFactory;
+//# sourceMappingURL=regex-scan.d.ts.map

package/dist/core/constraints/checkers/templated/regex-scan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"regex-scan.d.ts","sourceRoot":"","sources":["../../../../../src/core/constraints/checkers/templated/regex-scan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAyE,KAAK,uBAAuB,EAAE,MAAM,UAAU,CAAC;AA2C/H,eAAO,MAAM,SAAS,EAAE,uBAyEvB,CAAC"}

package/dist/core/constraints/checkers/templated/regex-scan.js

@@ -0,0 +1,129 @@
+"use strict";
+/**
+ * regex-scan 模板：正则扫描约束（ADR-0033，块 3 子项 2）
+ *
+ * 形态参照 no-hardcoded-credentials：scope='diff'（缺省）扫 staged diff 新增行，
+ * diff 为空/不可用时退化为变更文件内容扫描；scope='content' 直接扫变更文件内容。
+ * 命中即违规，证据行点名文件与命中行（harness#119：fail 必须可归因）。
+ *
+ * 参数：
+ * - pattern（必填）：正则字符串
+ * - glob（可选）：限定文件集（相对路径，支持 `**`/`*`/`?`）
+ * - scope（可选）：'diff' | 'content'，缺省 'diff'
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.regexScan = void 0;
+const fs_1 = require("fs");
+const path_1 = require("path");
+const types_1 = require("../types");
+const glob_1 = require("./glob");
+/** 证据行单行长度上限（命中行可能是整行配置/长文本） */
+const MAX_LINE = 120;
+/** 从 unified diff 中取新增行（按 +++ b/<path> 归属文件，glob 过滤文件集） */
+function collectAddedLines(diff, inScope) {
+    const out = [];
+    let file = '';
+    for (const raw of diff.split('\n')) {
+        if (raw.startsWith('+++ b/')) {
+            file = raw.slice('+++ b/'.length);
+            continue;
+        }
+        if (raw.startsWith('+++') || raw.startsWith('diff --git')) {
+            if (raw.startsWith('diff --git'))
+                file = '';
+            continue;
+        }
+        if (raw.startsWith('+') && file && inScope(file)) {
+            out.push({ file, line: raw.slice(1) });
+        }
+    }
+    return out;
+}
+function hitEvidence(pattern, hits) {
+    return {
+        pass: false,
+        evidence: (0, types_1.formatEvidence)(`命中禁用模式 /${pattern.source}/`, hits),
+    };
+}
+function clip(line) {
+    const t = line.trim();
+    return t.length > MAX_LINE ? `${t.slice(0, MAX_LINE)}…` : t;
+}
+exports.regexScan = {
+    validateParams(params) {
+        const errors = [];
+        const pattern = params.pattern;
+        if (typeof pattern !== 'string' || pattern.length === 0) {
+            errors.push('pattern 必填（正则字符串）');
+        }
+        else {
+            try {
+                new RegExp(pattern);
+            }
+            catch (err) {
+                errors.push(`pattern 不是合法正则：${err instanceof Error ? err.message : String(err)}`);
+            }
+        }
+        if (params.glob !== undefined && typeof params.glob !== 'string') {
+            errors.push('glob 必须是字符串');
+        }
+        if (params.scope !== undefined && params.scope !== 'diff' && params.scope !== 'content') {
+            errors.push("scope 必须是 'diff' 或 'content'");
+        }
+        return errors;
+    },
+    create(id, params) {
+        const pattern = new RegExp(params.pattern);
+        const glob = params.glob;
+        const scope = params.scope ?? 'diff';
+        const inScope = (file) => !glob || (0, glob_1.matchGlob)(file, glob);
+        const scanChangedFiles = (env) => {
+            const hits = [];
+            for (const file of (env.context.changedFiles ?? []).filter(inScope)) {
+                let content;
+                try {
+                    content = (0, fs_1.readFileSync)((0, path_1.join)(env.projectPath, file), 'utf-8');
+                }
+                catch {
+                    continue; // 文件不可读（已删除/二进制）→ 跳过
+                }
+                for (const line of content.split('\n')) {
+                    if (pattern.test(line))
+                        hits.push(`${file}: ${clip(line)}`);
+                }
+            }
+            return hits;
+        };
+        return {
+            id,
+            async evaluate(env) {
+                if (scope === 'content') {
+                    const hits = scanChangedFiles(env);
+                    return hits.length > 0 ? hitEvidence(pattern, hits) : true;
+                }
+                // scope='diff'：staged diff 新增行；diff 为空/不可用 → 退化变更文件内容扫描
+                let scanned = false;
+                try {
+                    const diff = await env.stagedDiff();
+                    const added = collectAddedLines(diff, inScope);
+                    if (added.length > 0) {
+                        scanned = true;
+                        const hits = added.filter(a => pattern.test(a.line)).map(a => `${a.file}: ${clip(a.line)}`);
+                        if (hits.length > 0)
+                            return hitEvidence(pattern, hits);
+                    }
+                }
+                catch {
+                    // diff 不可用 → 退化为文件内容扫描
+                }
+                if (!scanned) {
+                    const hits = scanChangedFiles(env);
+                    if (hits.length > 0)
+                        return hitEvidence(pattern, hits);
+                }
+                return true;
+            },
+        };
+    },
+};
+//# sourceMappingURL=regex-scan.js.map

package/dist/core/constraints/checkers/templated/regex-scan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"regex-scan.js","sourceRoot":"","sources":["../../../../../src/core/constraints/checkers/templated/regex-scan.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;AAEH,2BAAkC;AAClC,+BAA4B;AAC5B,oCAA+H;AAC/H,iCAAmC;AAEnC,gCAAgC;AAChC,MAAM,QAAQ,GAAG,GAAG,CAAC;AAOrB,2DAA2D;AAC3D,SAAS,iBAAiB,CAAC,IAAY,EAAE,OAAkC;IACzE,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,IAAI,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7B,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAClC,SAAS;QACX,CAAC;QACD,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;YAC1D,IAAI,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC;gBAAE,IAAI,GAAG,EAAE,CAAC;YAC5C,SAAS;QACX,CAAC;QACD,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACjD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,WAAW,CAAC,OAAe,EAAE,IAAc;IAClD,OAAO;QACL,IAAI,EAAE,KAAK;QACX,QAAQ,EAAE,IAAA,sBAAc,EAAC,WAAW,OAAO,CAAC,MAAM,GAAG,EAAE,IAAI,CAAC;KAC7D,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CAAC,IAAY;IACxB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACtB,OAAO,CAAC,CAAC,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9D,CAAC;AAEY,QAAA,SAAS,GAA4B;IAChD,cAAc,CAAC,MAAM;QACnB,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;QAC/B,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxD,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QACnC,CAAC;aAAM,CAAC;YACN,IAAI,CAAC;gBACH,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC;YACtB,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,CAAC,IAAI,CAAC,kBAAkB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACpF,CAAC;QACH,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACjE,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC7B,CAAC;QACD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,MAAM,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACxF,MAAM,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QAC9C,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,CAAC,EAAE,EAAE,MAAM;QACf,MAAM,OAAO,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,OAAiB,CAAC,CAAC;QACrD,MAAM,IAAI,GAAG,MAAM,CAAC,IAA0B,CAAC;QAC/C,MAAM,KAAK,GAAI,MAAM,CAAC,KAAwC,IAAI,MAAM,CAAC;QACzE,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,IAAA,gBAAS,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAEjE,MAAM,gBAAgB,GAAG,CAAC,GAAa,EAAY,EAAE;YACnD,MAAM,IAAI,GAAa,EAAE,CAAC;YAC1B,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpE,IAAI,OAAe,CAAC;gBACpB,IAAI,CAAC;oBACH,OAAO,GAAG,IAAA,iBAAY,EAAC,IAAA,WAAI,EAAC,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC/D,CAAC;gBAAC,MAAM,CAAC;oBACP,SAAS,CAAC,qBAAqB;gBACjC,CAAC;gBACD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBACvC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;wBAAE,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC9D,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC;QAEF,OAAO;YACL,EAAE;YACF,KAAK,CAAC,QAAQ,CAAC,GAAG;gBAChB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;oBACnC,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC7D,CAAC;gBAED,wDAAwD;gBACxD,IAAI,OAAO,GAAG,KAAK,CAAC;gBACpB,IAAI,CAAC;oBACH,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,UAAU,EAAE,CAAC;oBACpC,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;oBAC/C,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACrB,OAAO,GAAG,IAAI,CAAC;wBACf,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;wBAC5F,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;4BAAE,OAAO,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;oBACzD,CAAC;gBACH,CAAC;gBAAC,MAAM,CAAC;oBACP,uBAAuB;gBACzB,CAAC;gBACD,IAAI,CAAC,OAAO,EAAE,CAAC;oBACb,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;oBACnC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;wBAAE,OAAO,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBACzD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC"}

package/dist/core/constraints/checkers/templates-registry.d.ts

@@ -0,0 +1,17 @@
+/**
+ * 填空式 checker 模板注册表（ADR-0033 两层约束模型）
+ *
+ * 独立成模块而非住在 checkers/index.ts：应用层加载器（core/app-constraints-loader）
+ * 要做加载期模板校验，若直接引 checkers/index.ts 会经 project-config-loader →
+ * 本注册表 → 内置 checker → project-config-loader 形成值级循环（checker 初始化时
+ * 拿到 undefined）。本模块不引内置 checker，无环。
+ *
+ * 闭环语义：模板 id 未注册即不可用——加载期由 app-constraints-loader 校验，
+ * 运行期由 checkers/index.ts 的 getConstraintCheck 抛错兜底。
+ *
+ * 首批模板：regex-scan（正则扫描）/ file-exists（文件存在性），块 3 子项 2。
+ */
+import type { TemplatedCheckerFactory } from './types';
+/** 模板注册表（模板 id → 工厂）；测试可注册替身模板，用后须注销 */
+export declare const TEMPLATES: Map<string, TemplatedCheckerFactory>;
+//# sourceMappingURL=templates-registry.d.ts.map

package/dist/core/constraints/checkers/templates-registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"templates-registry.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/templates-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,SAAS,CAAC;AAGvD,wCAAwC;AACxC,eAAO,MAAM,SAAS,sCAGpB,CAAC"}

package/dist/core/constraints/checkers/templates-registry.js

@@ -0,0 +1,23 @@
+"use strict";
+/**
+ * 填空式 checker 模板注册表（ADR-0033 两层约束模型）
+ *
+ * 独立成模块而非住在 checkers/index.ts：应用层加载器（core/app-constraints-loader）
+ * 要做加载期模板校验，若直接引 checkers/index.ts 会经 project-config-loader →
+ * 本注册表 → 内置 checker → project-config-loader 形成值级循环（checker 初始化时
+ * 拿到 undefined）。本模块不引内置 checker，无环。
+ *
+ * 闭环语义：模板 id 未注册即不可用——加载期由 app-constraints-loader 校验，
+ * 运行期由 checkers/index.ts 的 getConstraintCheck 抛错兜底。
+ *
+ * 首批模板：regex-scan（正则扫描）/ file-exists（文件存在性），块 3 子项 2。
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TEMPLATES = void 0;
+const templated_1 = require("./templated");
+/** 模板注册表（模板 id → 工厂）；测试可注册替身模板，用后须注销 */
+exports.TEMPLATES = new Map([
+    ['regex-scan', templated_1.regexScan],
+    ['file-exists', templated_1.fileExists],
+]);
+//# sourceMappingURL=templates-registry.js.map

package/dist/core/constraints/checkers/templates-registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"templates-registry.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/templates-registry.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;GAYG;;;AAGH,2CAAoD;AAEpD,wCAAwC;AAC3B,QAAA,SAAS,GAAG,IAAI,GAAG,CAAkC;IAChE,CAAC,YAAY,EAAE,qBAAS,CAAC;IACzB,CAAC,aAAa,EAAE,sBAAU,CAAC;CAC5B,CAAC,CAAC"}

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

@@ -107,6 +107,20 @@ export interface ConstraintCheck {
     /** 检查主体：true = 满足；false = 违反；'skip' = 未评估；CheckDetail = 判定 + 证据行 */
     evaluate(env: CheckEnv): Promise<CheckOutcome> | CheckOutcome;
 }
+/**
+ * 填空式 checker 模板工厂（ADR-0033 两层约束模型）
+ *
+ * 每个模板 = validateParams + create：参数坏在加载期早报（validateParams），
+ * create 只在参数已校验后调用。注册点 = checkers/index.ts 的 TEMPLATES。
+ * 类型住在 types.ts（而非 index.ts）是为了模板实现文件只依赖本模块，
+ * 不与注册表形成值级循环导入。
+ */
+export interface TemplatedCheckerFactory {
+    /** 参数校验：返回错误清单，空数组 = 通过（加载期跑，参数坏早报） */
+    validateParams(params: Record<string, unknown>): string[];
+    /** 按约束 id + 已校验参数实例化 checker */
+    create(id: string, params: Record<string, unknown>): ConstraintCheck;
+}
 /**
  * 构造纯上下文标志检查（无 I/O 的轻量约束）
  */

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;AACnE,OAAO,EAAgB,KAAK,MAAM,EAAE,MAAM,YAAY,CAAC;AAEvD;;;;;;;;GAQG;AACH,MAAM,WAAW,QAAS,SAAQ,MAAM;IACtC,2CAA2C;IAC3C,OAAO,EAAE,iBAAiB,CAAC;IAC3B,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,WAAW,iBAAiB;IAChC,qBAAqB;IACrB,UAAU,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9B,qBAAqB;IACrB,eAAe,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IACnC,kBAAkB;IAClB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;CACjC;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,aAAa,CAC3B,OAAO,EAAE,iBAAiB,EAC1B,QAAQ,EAAE,iBAAiB,GAAG,MAAM,EACpC,MAAM,CAAC,EAAE,MAAM,GACd,QAAQ,CAaV;AAED;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,MAAM,GAAG,WAAW,CAAC;AAE1D;;;;;;;;;GASG;AACH,MAAM,WAAW,WAAW;IAC1B,2BAA2B;IAC3B,IAAI,EAAE,OAAO,CAAC;IACd,wCAAwC;IACxC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,iCAAiC;AACjC,MAAM,WAAW,iBAAiB;IAChC,SAAS,EAAE,OAAO,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,wCAAwC;AACxC,eAAO,MAAM,kBAAkB,KAAK,CAAC;AAErC;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAIzE;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,YAAY,GAAG,iBAAiB,CAQ9E;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,8BAA8B;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,oEAAoE;IACpE,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"}
+{"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;AACnE,OAAO,EAAgB,KAAK,MAAM,EAAE,MAAM,YAAY,CAAC;AAEvD;;;;;;;;GAQG;AACH,MAAM,WAAW,QAAS,SAAQ,MAAM;IACtC,2CAA2C;IAC3C,OAAO,EAAE,iBAAiB,CAAC;IAC3B,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,WAAW,iBAAiB;IAChC,qBAAqB;IACrB,UAAU,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9B,qBAAqB;IACrB,eAAe,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IACnC,kBAAkB;IAClB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;CACjC;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,aAAa,CAC3B,OAAO,EAAE,iBAAiB,EAC1B,QAAQ,EAAE,iBAAiB,GAAG,MAAM,EACpC,MAAM,CAAC,EAAE,MAAM,GACd,QAAQ,CAaV;AAED;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,MAAM,GAAG,WAAW,CAAC;AAE1D;;;;;;;;;GASG;AACH,MAAM,WAAW,WAAW;IAC1B,2BAA2B;IAC3B,IAAI,EAAE,OAAO,CAAC;IACd,wCAAwC;IACxC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,iCAAiC;AACjC,MAAM,WAAW,iBAAiB;IAChC,SAAS,EAAE,OAAO,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,wCAAwC;AACxC,eAAO,MAAM,kBAAkB,KAAK,CAAC;AAErC;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAIzE;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,YAAY,GAAG,iBAAiB,CAQ9E;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,8BAA8B;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,oEAAoE;IACpE,QAAQ,CAAC,GAAG,EAAE,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,YAAY,CAAC;CAC/D;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,uBAAuB;IACtC,uCAAuC;IACvC,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,EAAE,CAAC;IAC1D,gCAAgC;IAChC,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,eAAe,CAAC;CACtE;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.map

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

@@ -1 +1 @@
-{"version":3,"file":"guidelines.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/guidelines.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAE5D,eAAO,MAAM,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CA6F1D,CAAC"}
+{"version":3,"file":"guidelines.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/guidelines.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAE5D,eAAO,MAAM,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CA8E1D,CAAC"}

package/dist/core/constraints/definitions/guidelines.js

@@ -10,20 +10,6 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.WARNING_CONSTRAINTS = void 0;
 exports.WARNING_CONSTRAINTS = {
-    /**
-     * 禁止硬编码凭证
-     * 原因：密码/token/密钥泄露是最严重的安全漏洞，一旦提交到版本控制即不可逆
-     */
-    no_hardcoded_credentials: {
-        id: 'no_hardcoded_credentials',
-        kind: 'check',
-        rule: 'NO HARDCODED PASSWORDS, TOKENS, SECRETS, OR CREDENTIALS IN ANY SOURCE FILE',
-        message: '禁止在代码/文档/配置文件中硬编码密码、token、密钥、API key',
-        severity: 'warning',
-        trigger: ['code_implementation', 'doc_update', 'config_change', 'commit'],
-        enforcement: 'credential-scan',
-        description: `凭证（密码/token/密钥/API key）必须从环境变量或加密配置读取，严禁以明文形式出现在任何源代码文件中。包括但不限于：源码、Markdown 文档、YAML/JSON 配置、脚本文件。模板文件（.example/.sample/.template）允许占位符但不得包含真实值。建议配合 pre-commit hook 做自动扫描。`,
-    },
     /**
      * 功能清单同步
      * 例外：内部重构、bug fix