@dommaker/harness 0.11.1 → 0.12.1

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

@@ -15,6 +15,8 @@ export declare class ConstraintChecker {
     private static instance;
     /** 自定义约束配置（项目级） */
     private customConfig;
+    /** 检查结果缓存（S7：减少重复 git diff / src scan I/O，TTL=1s 防跨测试污染） */
+    private cache;
     private constructor();
     /**
      * 获取单例实例
@@ -22,15 +24,26 @@ export declare class ConstraintChecker {
     static getInstance(): ConstraintChecker;
     /**
      * 设置项目级约束配置
+     *
+     * @deprecated 修改单例状态，多项目并发时存在污染风险。
+     * 请改用 checkConstraints() / beforeExecution() 的 customConfig 参数实现 per-request 隔离。
      */
     setCustomConfig(config: MergedConstraintsConfig): void;
     /**
      * 获取当前的约束集合（内置 + 自定义）
-     */
-    getConstraints(): {
-        ironLaws: Record<string, Constraint>;
-        guidelines: Record<string, Constraint>;
-        tips: Record<string, Constraint>;
+     *
+     * @param customConfig 可选，per-request 自定义配置（优先级高于 setCustomConfig 的单例状态）
+     */
+    getConstraints(customConfig?: MergedConstraintsConfig | null): {
+        ironLaws: Record<string, Constraint & {
+            check: (ctx: ConstraintContext) => Promise<ConstraintResult>;
+        }>;
+        guidelines: Record<string, Constraint & {
+            check: (ctx: ConstraintContext) => Promise<ConstraintResult>;
+        }>;
+        tips: Record<string, Constraint & {
+            check: (ctx: ConstraintContext) => Promise<ConstraintResult>;
+        }>;
     };
     /**
      * 检查单个约束
@@ -56,6 +69,25 @@ export declare class ConstraintChecker {
      * 检查约束前置条件
      */
     private checkPrecondition;
+    /**
+     * 检查文本中是否包含模糊词
+     */
+    private checkNoFuzzyWords;
+    /**
+     * 检查文本中是否包含表演性同意模式
+     */
+    private checkNoPerformativePatterns;
+    /**
+     * 检查文本中是否包含借口模式
+     */
+    private checkNoExcusePatterns;
+    /**
+     * 检查 YAGNI：过度设计信号
+     *
+     * 检查是否存在只有一个实现的 interface/abstract class。
+     * 主要由 promptInjection 驱动，这里是辅助检查。
+     */
+    private checkYagni;
     /**
      * 检查 no_bypass_checkpoint：检查代码中是否有 skip/bypass 关键词
      */
@@ -69,7 +101,11 @@ export declare class ConstraintChecker {
      */
     private checkNoAnyType;
     /**
-     * 检查 capability_sync：检查 CAPABILITIES.md 是否更新
+     * 检查 capability_sync：检查 CAPABILITIES.md 是否与代码同步
+     *
+     * 两步验证：
+     *   1. Git diff 检查 — 当前变更的非测试文件是否在文档中有记录（增量检查）
+     *   2. 全量扫描 — src/ 下的所有源文件是否都在 CAPABILITIES.md 中（完整性检查）
      */
     private checkCapabilitySync;
     /**
@@ -89,17 +125,36 @@ export declare class ConstraintChecker {
      */
     private checkContextDocSync;
     /**
-     * 检查 docs_freshness：CAPABILITIES.md 是否与源码同步
+     * 检查 docs_freshness：CAPABILITIES.md + CLAUDE.md 是否与源码同步
      */
     private checkDocsFreshness;
+    /**
+     * 检查 CAPABILITIES.md 是否与源码同步
+     */
+    private checkCapabilitiesFreshness;
+    /**
+     * 检查 CLAUDE.md 的 Domain Packages 和 Key Architecture Paths 段落是否与实际代码结构同步
+     */
+    private checkClaudeMdFreshness;
+    /**
+     * 检查 CLAUDE.md Domain Packages 段落中列出的 packages/studio-* 目录是否都存在
+     */
+    private checkDomainPackages;
+    /**
+     * 检查 CLAUDE.md Key Architecture Paths 段落中引用的路径是否存在
+     */
+    private checkArchitecturePaths;
     /**
      * 查找 src/ 目录中的源文件
      */
     private findSourceFiles;
     /**
      * 查找适用于当前操作的约束
+     *
+     * @param context 约束上下文
+     * @param customConfig 可选，per-request 自定义配置（避免多请求间的单例状态污染）
      */
-    findApplicableConstraints(context: ConstraintContext): {
+    findApplicableConstraints(context: ConstraintContext, customConfig?: MergedConstraintsConfig | null): {
         ironLaws: Constraint[];
         guidelines: Constraint[];
         tips: Constraint[];
@@ -110,14 +165,26 @@ export declare class ConstraintChecker {
      * - Iron Laws：检查失败立即抛出异常
      * - Guidelines：检查失败记录警告
      * - Tips：检查失败记录提示
+     *
+     * @param context 约束上下文
+     * @param customConfig 可选，per-request 自定义配置（避免多请求间的单例状态污染）
+     */
+    checkConstraints(context: ConstraintContext, customConfig?: MergedConstraintsConfig | null): Promise<ConstraintCheckResult>;
+    /**
+     * S11: 安全全量检查 — 全部三层约束检查，不抛异常
+     *
+     * 区别 checkConstraints(): Iron Law 违规收集在结果中而不是抛异常。
+     * 调用方通过 result.passed + result.warningCount 判断状态。
      */
-    checkConstraints(context: ConstraintContext): Promise<ConstraintCheckResult>;
+    checkConstraintsSafe(context: ConstraintContext, customConfig?: MergedConstraintsConfig | null): Promise<ConstraintCheckResult>;
     /**
      * 执行前检查（仅检查 Iron Laws）
      *
+     * @param context 约束上下文
+     * @param customConfig 可选，per-request 自定义配置（避免多请求间的单例状态污染）
      * @throws ConstraintViolationError 如果有铁律违规
      */
-    beforeExecution(context: ConstraintContext): Promise<void>;
+    beforeExecution(context: ConstraintContext, customConfig?: MergedConstraintsConfig | null): Promise<void>;
 }
 /**
  * 快捷函数：检查约束
@@ -125,12 +192,32 @@ export declare class ConstraintChecker {
 export declare function checkConstraint(constraintId: string, context: ConstraintContext): Promise<ConstraintResult>;
 /**
  * 快捷函数：执行三层检查
+ *
+ * @param context 约束上下文
+ * @param customConfig 可选，per-request 自定义配置
+ */
+export declare function checkConstraints(context: ConstraintContext, customConfig?: MergedConstraintsConfig | null): Promise<ConstraintCheckResult>;
+/**
+ * S11: 快捷函数 — 安全全量检查（不抛异常）
  */
-export declare function checkConstraints(context: ConstraintContext): Promise<ConstraintCheckResult>;
+export declare function checkConstraintsSafe(context: ConstraintContext, customConfig?: MergedConstraintsConfig | null): Promise<ConstraintCheckResult>;
 /**
  * 快捷函数：执行前检查
+ *
+ * @param context 约束上下文
+ * @param customConfig 可选，per-request 自定义配置
+ */
+export declare function checkBeforeExecution(context: ConstraintContext, customConfig?: MergedConstraintsConfig | null): Promise<void>;
+/**
+ * 构建约束注入 prompt
+ *
+ * 收集所有适用约束的 promptInjection 字段，格式化为 Agent system prompt 片段。
+ * 纯计算函数，无副作用，不调用 LLM。
+ *
+ * @param context 约束上下文（至少需要 operation 字段）
+ * @returns 格式化的约束提示文本，可直接注入 Agent system prompt；无匹配约束时返回空字符串
  */
-export declare function checkBeforeExecution(context: ConstraintContext): Promise<void>;
+export declare function buildConstraintPrompt(context: ConstraintContext): string;
 export declare const constraintChecker: ConstraintChecker;
 /**
  * @deprecated 使用 ConstraintChecker 代替

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

@@ -1 +1 @@
-{"version":3,"file":"checker.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/checker.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,UAAU,EACV,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EAItB,MAAM,wBAAwB,CAAC;AAIhC,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAqC1E;;GAEG;AACH,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAoB;IAE3C,mBAAmB;IACnB,OAAO,CAAC,YAAY,CAAwC;IAE5D,OAAO;IAEP;;OAEG;IACH,MAAM,CAAC,WAAW,IAAI,iBAAiB;IAOvC;;OAEG;IACH,eAAe,CAAC,MAAM,EAAE,uBAAuB,GAAG,IAAI;IAItD;;OAEG;IACH,cAAc,IAAI;QAChB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACrC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACvC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;KAClC;IAeD;;OAEG;IACG,KAAK,CACT,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,CAAC;IA6B5B;;OAEG;IACH,OAAO,CAAC,cAAc;IAOtB;;OAEG;IACH,OAAO,CAAC,WAAW;IAanB;;OAEG;IACH,OAAO,CAAC,cAAc;IAKtB;;OAEG;IACH,OAAO,CAAC,WAAW;IAqBnB;;OAEG;YACW,iBAAiB;IAkG/B;;OAEG;YACW,uBAAuB;IAiCrC;;OAEG;YACW,yBAAyB;IAwBvC;;OAEG;YACW,cAAc;IAmC5B;;OAEG;YACW,mBAAmB;IA8CjC;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAkB9B;;OAEG;YACW,oCAAoC;IAwBlD;;OAEG;YACW,iBAAiB;IA0B/B;;OAEG;YACW,mBAAmB;IA0BjC;;OAEG;YACW,kBAAkB;IAmChC;;OAEG;IACH,OAAO,CAAC,eAAe;IA0BvB;;OAEG;IACH,yBAAyB,CAAC,OAAO,EAAE,iBAAiB,GAAG;QACrD,QAAQ,EAAE,UAAU,EAAE,CAAC;QACvB,UAAU,EAAE,UAAU,EAAE,CAAC;QACzB,IAAI,EAAE,UAAU,EAAE,CAAC;KACpB;IAoBD;;;;;;OAMG;IACG,gBAAgB,CAAC,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,qBAAqB,CAAC;IAwDlF;;;;OAIG;IACG,eAAe,CAAC,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,IAAI,CAAC;CAajE;AAMD;;GAEG;AACH,wBAAsB,eAAe,CACnC,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,CAAC,CAoB3B;AAED;;GAEG;AACH,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,qBAAqB,CAAC,CAEhC;AAED;;GAEG;AACH,wBAAsB,oBAAoB,CAAC,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,IAAI,CAAC,CAEpF;AAGD,eAAO,MAAM,iBAAiB,mBAAkC,CAAC;AAMjE;;GAEG;AACH,eAAO,MAAM,cAAc,0BAAoB,CAAC;AAEhD;;GAEG;AACH,wBAAsB,YAAY,CAChC,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,CAAC,CAE3B;AAED;;GAEG;AACH,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAG7B;AAED;;GAEG;AACH,eAAO,MAAM,cAAc,mBAAoB,CAAC"}
+{"version":3,"file":"checker.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/checker.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,UAAU,EACV,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EAItB,MAAM,wBAAwB,CAAC;AAIhC,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAsC1E;;GAEG;AACH,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAoB;IAE3C,mBAAmB;IACnB,OAAO,CAAC,YAAY,CAAwC;IAE5D,4DAA4D;IAC5D,OAAO,CAAC,KAAK,CAA+C;IAE5D,OAAO;IAEP;;OAEG;IACH,MAAM,CAAC,WAAW,IAAI,iBAAiB;IAOvC;;;;;OAKG;IACH,eAAe,CAAC,MAAM,EAAE,uBAAuB,GAAG,IAAI;IAItD;;;;OAIG;IACH,cAAc,CAAC,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAAG;QAC7D,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG;YAAE,KAAK,EAAE,CAAC,GAAG,EAAE,iBAAiB,KAAK,OAAO,CAAC,gBAAgB,CAAC,CAAA;SAAE,CAAC,CAAC;QACxG,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG;YAAE,KAAK,EAAE,CAAC,GAAG,EAAE,iBAAiB,KAAK,OAAO,CAAC,gBAAgB,CAAC,CAAA;SAAE,CAAC,CAAC;QAC1G,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG;YAAE,KAAK,EAAE,CAAC,GAAG,EAAE,iBAAiB,KAAK,OAAO,CAAC,gBAAgB,CAAC,CAAA;SAAE,CAAC,CAAC;KACrG;IAgBD;;OAEG;IACG,KAAK,CACT,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,CAAC;IA6B5B;;OAEG;IACH,OAAO,CAAC,cAAc;IAOtB;;OAEG;IACH,OAAO,CAAC,WAAW;IAanB;;OAEG;IACH,OAAO,CAAC,cAAc;IAKtB;;OAEG;IACH,OAAO,CAAC,WAAW;IAqBnB;;OAEG;YACW,iBAAiB;IAgJ/B;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAuBzB;;OAEG;IACH,OAAO,CAAC,2BAA2B;IAWnC;;OAEG;IACH,OAAO,CAAC,qBAAqB;IAc7B;;;;;OAKG;YACW,UAAU;IAwDxB;;OAEG;YACW,uBAAuB;IAiCrC;;OAEG;YACW,yBAAyB;IAwBvC;;OAEG;YACW,cAAc;IAmC5B;;;;;;OAMG;YACW,mBAAmB;IAwDjC;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAkB9B;;OAEG;YACW,oCAAoC;IAwBlD;;OAEG;YACW,iBAAiB;IA0B/B;;OAEG;YACW,mBAAmB;IA0BjC;;OAEG;YACW,kBAAkB;IAUhC;;OAEG;YACW,0BAA0B;IA0CxC;;OAEG;YACW,sBAAsB;IAqBpC;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAuC3B;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAiC9B;;OAEG;IACH,OAAO,CAAC,eAAe;IA0BvB;;;;;OAKG;IACH,yBAAyB,CACvB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C;QACD,QAAQ,EAAE,UAAU,EAAE,CAAC;QACvB,UAAU,EAAE,UAAU,EAAE,CAAC;QACzB,IAAI,EAAE,UAAU,EAAE,CAAC;KACpB;IAoBD;;;;;;;;;OASG;IACG,gBAAgB,CACpB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,qBAAqB,CAAC;IAwDjC;;;;;OAKG;IACG,oBAAoB,CACxB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,qBAAqB,CAAC;IAwCjC;;;;;;OAMG;IACG,eAAe,CACnB,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,IAAI,CAAC;CAajB;AAMD;;GAEG;AACH,wBAAsB,eAAe,CACnC,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,CAAC,CAoB3B;AAED;;;;;GAKG;AACH,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,qBAAqB,CAAC,CAEhC;AAED;;GAEG;AACH,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,qBAAqB,CAAC,CAEhC;AAED;;;;;GAKG;AACH,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,IAAI,CAAC,CAEf;AAED;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,iBAAiB,GAAG,MAAM,CA8BxE;AAGD,eAAO,MAAM,iBAAiB,mBAAkC,CAAC;AAMjE;;GAEG;AACH,eAAO,MAAM,cAAc,0BAAoB,CAAC;AAEhD;;GAEG;AACH,wBAAsB,YAAY,CAChC,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,CAAC,CAE3B;AAED;;GAEG;AACH,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAG7B;AAED;;GAEG;AACH,eAAO,MAAM,cAAc,mBAAoB,CAAC"}