@dommaker/harness 1.1.0 → 1.2.0

package/dist/types/constraint.js

@@ -5,7 +5,7 @@
  * kind 二元模型（ADR-0001）：
  * - check：必须带真实 checker，参与运行时检查与 trace 统计
  *   - iron_law：绝对禁止，无例外，违背即阻止执行
- *   - guideline：优先建议，有例外，违背发警告但不阻止
+ *   - guideline：优先建议，违背发警告但不阻止
  * - prompt：纯文本提示，仅参与 prompt 注入，不占检查位、不产生 trace
  */
 Object.defineProperty(exports, "__esModule", { value: true });

package/dist/types/constraint.js.map

@@ -1 +1 @@
-{"version":3,"file":"constraint.js","sourceRoot":"","sources":["../../src/types/constraint.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAgQH;;GAEG;AACH,MAAa,wBAAyB,SAAQ,KAAK;IACjC,MAAM,CAAmB;IAEzC,YAAY,MAAwB;QAClC,KAAK,CAAC,MAAM,CAAC,OAAO,IAAI,sBAAsB,CAAC,CAAC;QAChD,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;QACvC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AARD,4DAQC"}
+{"version":3,"file":"constraint.js","sourceRoot":"","sources":["../../src/types/constraint.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AA8MH;;GAEG;AACH,MAAa,wBAAyB,SAAQ,KAAK;IACjC,MAAM,CAAmB;IAEzC,YAAY,MAAwB;QAClC,KAAK,CAAC,MAAM,CAAC,OAAO,IAAI,sBAAsB,CAAC,CAAC;QAChD,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;QACvC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AARD,4DAQC"}

package/dist/types/index.d.ts

@@ -6,12 +6,9 @@ export * from './checkpoint';
 export * from './passes-gate';
 export * from './cso';
 export * from './trace';
-export * from './performance';
-export type { Diagnosis, } from './monitoring-types';
 export { StartupCheckpoints, StartupCheckpointType, StartupCheckpointResult, CleanStateConfig, CleanStateResult, DetectedBug, TaskListJson, TaskStepStatus, SessionInfo, } from './session';
 export { DynamicTask as ExtendedDynamicTask, TaskTestResult as ExtendedTaskTestResult } from './session';
 export * from './project-config';
-export * from './enforcement';
 export * from './spec';
 export { ErrorType, FailureLevel, ErrorClassificationRule, FailureRecord, ClassificationResult, DEFAULT_CLASSIFICATION_RULES, DEFAULT_LEVEL_MAPPING, } from './failure';
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,cAAc,cAAc,CAAC;AAE7B,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAC9B,cAAc,OAAO,CAAC;AAGtB,cAAc,SAAS,CAAC;AAGxB,cAAc,eAAe,CAAC;AAI9B,YAAY,EACV,SAAS,GACV,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,uBAAuB,EACvB,gBAAgB,EAChB,gBAAgB,EAChB,WAAW,EACX,YAAY,EACZ,cAAc,EACd,WAAW,GACZ,MAAM,WAAW,CAAC;AAGnB,OAAO,EAAE,WAAW,IAAI,mBAAmB,EAAE,cAAc,IAAI,sBAAsB,EAAE,MAAM,WAAW,CAAC;AAGzG,cAAc,kBAAkB,CAAC;AAGjC,cAAc,eAAe,CAAC;AAG9B,cAAc,QAAQ,CAAC;AAIvB,OAAO,EACL,SAAS,EACT,YAAY,EACZ,uBAAuB,EACvB,aAAa,EACb,oBAAoB,EACpB,4BAA4B,EAC5B,qBAAqB,GACtB,MAAM,WAAW,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,cAAc,cAAc,CAAC;AAE7B,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAC9B,cAAc,OAAO,CAAC;AAGtB,cAAc,SAAS,CAAC;AAGxB,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,uBAAuB,EACvB,gBAAgB,EAChB,gBAAgB,EAChB,WAAW,EACX,YAAY,EACZ,cAAc,EACd,WAAW,GACZ,MAAM,WAAW,CAAC;AAGnB,OAAO,EAAE,WAAW,IAAI,mBAAmB,EAAE,cAAc,IAAI,sBAAsB,EAAE,MAAM,WAAW,CAAC;AAGzG,cAAc,kBAAkB,CAAC;AAGjC,cAAc,QAAQ,CAAC;AAIvB,OAAO,EACL,SAAS,EACT,YAAY,EACZ,uBAAuB,EACvB,aAAa,EACb,oBAAoB,EACpB,4BAA4B,EAC5B,qBAAqB,GACtB,MAAM,WAAW,CAAC"}

package/dist/types/index.js

@@ -25,12 +25,8 @@ __exportStar(require("./passes-gate"), exports);
 __exportStar(require("./cso"), exports);
 // Trace 类型（Execution Trace 系统）
 __exportStar(require("./trace"), exports);
-// Performance 类型（Performance Trace 系统）
-__exportStar(require("./performance"), exports);
 // 项目配置类型
 __exportStar(require("./project-config"), exports);
-// Enforcement 类型
-__exportStar(require("./enforcement"), exports);
 // Spec 验证类型
 __exportStar(require("./spec"), exports);
 // Failure 类型（定义已归位 types/failure.ts，failure 模块经 failure/types.ts 再导出保持兼容）

package/dist/types/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;;;;;;;;;;;;;;;AAEH,aAAa;AACb,+CAA6B;AAE7B,+CAA6B;AAC7B,gDAA8B;AAC9B,wCAAsB;AAEtB,+BAA+B;AAC/B,0CAAwB;AAExB,uCAAuC;AACvC,gDAA8B;AAwB9B,SAAS;AACT,mDAAiC;AAEjC,iBAAiB;AACjB,gDAA8B;AAE9B,YAAY;AACZ,yCAAuB;AAEvB,0EAA0E;AAC1E,oDAAoD;AACpD,qCAQmB;AAPjB,oGAAA,SAAS,OAAA;AACT,uGAAA,YAAY,OAAA;AAIZ,uHAAA,4BAA4B,OAAA;AAC5B,gHAAA,qBAAqB,OAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;;;;;;;;;;;;;;;AAEH,aAAa;AACb,+CAA6B;AAE7B,+CAA6B;AAC7B,gDAA8B;AAC9B,wCAAsB;AAEtB,+BAA+B;AAC/B,0CAAwB;AAkBxB,SAAS;AACT,mDAAiC;AAEjC,YAAY;AACZ,yCAAuB;AAEvB,0EAA0E;AAC1E,oDAAoD;AACpD,qCAQmB;AAPjB,oGAAA,SAAS,OAAA;AACT,uGAAA,YAAY,OAAA;AAIZ,uHAAA,4BAA4B,OAAA;AAC5B,gHAAA,qBAAqB,OAAA"}

package/dist/types/project-config.d.ts

@@ -10,18 +10,14 @@ import type { Constraint, ConstraintLevel } from './constraint';
 export interface CustomConstraintDefinition {
     /** 约束 ID */
     id: string;
-    /** 约束层级（扩展例外时可省略，自动使用内置约束层级） */
+    /** 约束层级（可选，缺省 guideline） */
     level?: ConstraintLevel;
-    /** 约束规则（扩展例外时可省略） */
+    /** 约束规则（可选） */
     rule?: string;
-    /** 约束消息（扩展例外时可省略） */
+    /** 约束消息（可选） */
     message?: string;
-    /** 触发条件（扩展例外时可省略） */
+    /** 触发条件（可选） */
     trigger?: string | string[];
-    /** 例外条件（可选，完全覆盖内置例外） */
-    exceptions?: string[];
-    /** 扩展例外（可选，追加到内置例外） */
-    extend_exceptions?: string[];
     /** 描述（可选） */
     description?: string;
     /**

package/dist/types/project-config.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"project-config.d.ts","sourceRoot":"","sources":["../../src/types/project-config.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAEhE;;GAEG;AACH,MAAM,WAAW,0BAA0B;IACzC,YAAY;IACZ,EAAE,EAAE,MAAM,CAAC;IAEX,gCAAgC;IAChC,KAAK,CAAC,EAAE,eAAe,CAAC;IAExB,qBAAqB;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IAEd,qBAAqB;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,qBAAqB;IACrB,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;IAE5B,wBAAwB;IACxB,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IAEtB,uBAAuB;IACvB,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAE7B,aAAa;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB;;;;;;OAMG;IACH,eAAe,CAAC,EAAE,MAAM,CAAC;IAEzB,uBAAuB;IACvB,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB;;;;;OAKG;IACH,OAAO,CAAC,EAAE;QACR,EAAE,CAAC,EAAE,MAAM,CAAC;QACZ,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,KAAK,CAAC,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,CAAC;YAAC,QAAQ,EAAE,MAAM,CAAA;SAAE,CAAC;KAC3D,CAAC;CACH;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,kCAAkC;IAClC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,oBAAoB;IACpB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,gBAAgB;IAChB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,yBAAyB;IACzB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,4BAA4B;IAC5B,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC;;;;;OAKG;IACH,IAAI,CAAC,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,SAAS;IACT,MAAM,CAAC,EAAE,kBAAkB,GAAG,cAAc,CAAC;CAC9C;AAED;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,kBAAkB;IAClB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,WAAW;IACX,MAAM,CAAC,EAAE,iBAAiB,EAAE,CAAC;CAC9B;AAED,MAAM,MAAM,iBAAiB,GACzB,qBAAqB,GACrB,gBAAgB,GAChB,WAAW,GACX,kBAAkB,CAAC;AAEvB,yCAAyC;AACzC,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,mBAAmB,CAAC;IAC1B,uCAAuC;IACvC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,wCAAwC;IACxC,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,yBAAyB;AACzB,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,cAAc,CAAC;IACrB,4DAA4D;IAC5D,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,2BAA2B;IAC3B,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,0BAA0B;AAC1B,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,eAAe,CAAC;IACtB,aAAa;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,+BAA+B;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,wCAAwC;IACxC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,kBAAkB;IAClB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,+BAA+B;IAC/B,kBAAkB,CAAC,EAAE,OAAO,CAAC;CAC9B;AAED,0BAA0B;AAC1B,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,iBAAiB,CAAC;IACxB,aAAa;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,oBAAoB;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,yBAAyB;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB;IAChB,MAAM,EAAE,cAAc,GAAG,eAAe,GAAG,gBAAgB,CAAC;CAC7D;AAED,mBAAmB;AACnB,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,WAAW,CAAC;IAClB,WAAW;IACX,IAAI,EAAE,MAAM,CAAC;IACb,uBAAuB;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,gBAAgB;IAChB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,uBAAuB;AACvB,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,YAAY,CAAC;IACnB,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,oBAAoB;IACpB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,oCAAoC;AACpC,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,aAAa,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,6BAA6B;IAC7B,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,YAAY;IACZ,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,uBAAuB;IACvB,oBAAoB,CAAC,EAAE,OAAO,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,WAAW;IACX,KAAK,CAAC,EAAE,SAAS,GAAG,UAAU,GAAG,QAAQ,CAAC;IAE1C,WAAW;IACX,IAAI,CAAC,EAAE,cAAc,CAAC;IAEtB,oBAAoB;IACpB,aAAa,CAAC,EAAE,kBAAkB,CAAC;IAEnC,6BAA6B;IAC7B,YAAY,CAAC,EAAE,kBAAkB,CAAC;IAElC,mBAAmB;IACnB,SAAS,CAAC,EAAE,eAAe,CAAC;IAE5B,gBAAgB;IAChB,aAAa,CAAC,EAAE,kBAAkB,CAAC;IAEnC,WAAW;IACX,OAAO,CAAC,EAAE,uBAAuB,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,iBAAiB;IACjB,OAAO,CAAC,EAAE;QACR,OAAO,CAAC,EAAE,MAAM,CAAC;KAClB,CAAC;IAEF,WAAW;IACX,MAAM,CAAC,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAC;IAE3C;;;;;OAKG;IACH,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAElB,WAAW;IACX,UAAU,CAAC,EAAE,gBAAgB,CAAC;IAE9B,kBAAkB;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,OAAO,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IAEpD,gBAAgB;IAChB,uBAAuB,CAAC,EAAE,MAAM,CAAC;IAEjC,kBAAkB;IAClB,kBAAkB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,0BAA0B,CAAC,CAAC;IAEhE,gBAAgB;IAChB,IAAI,CAAC,EAAE;QACL,mBAAmB;QACnB,OAAO,CAAC,EAAE,OAAO,CAAC;QAClB,sBAAsB;QACtB,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,eAAe;QACf,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;QACjB,cAAc;QACd,YAAY,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;KACpC,CAAC;CACH;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,qBAAqB;IACrB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAErC,sBAAsB;IACtB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAEvC,wDAAwD;IACxD,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAErC,eAAe;IACf,QAAQ,EAAE,MAAM,EAAE,CAAC;IAEnB,eAAe;IACf,MAAM,EAAE,MAAM,EAAE,CAAC;IAEjB;;;;;;OAMG;IACH,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB"}
+{"version":3,"file":"project-config.d.ts","sourceRoot":"","sources":["../../src/types/project-config.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAEhE;;GAEG;AACH,MAAM,WAAW,0BAA0B;IACzC,YAAY;IACZ,EAAE,EAAE,MAAM,CAAC;IAEX,4BAA4B;IAC5B,KAAK,CAAC,EAAE,eAAe,CAAC;IAExB,eAAe;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;IAEd,eAAe;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,eAAe;IACf,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;IAE5B,aAAa;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB;;;;;;OAMG;IACH,eAAe,CAAC,EAAE,MAAM,CAAC;IAEzB,uBAAuB;IACvB,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB;;;;;OAKG;IACH,OAAO,CAAC,EAAE;QACR,EAAE,CAAC,EAAE,MAAM,CAAC;QACZ,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,KAAK,CAAC,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,CAAC;YAAC,QAAQ,EAAE,MAAM,CAAA;SAAE,CAAC;KAC3D,CAAC;CACH;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,kCAAkC;IAClC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,oBAAoB;IACpB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,gBAAgB;IAChB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,yBAAyB;IACzB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,4BAA4B;IAC5B,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC;;;;;OAKG;IACH,IAAI,CAAC,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,SAAS;IACT,MAAM,CAAC,EAAE,kBAAkB,GAAG,cAAc,CAAC;CAC9C;AAED;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,kBAAkB;IAClB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,WAAW;IACX,MAAM,CAAC,EAAE,iBAAiB,EAAE,CAAC;CAC9B;AAED,MAAM,MAAM,iBAAiB,GACzB,qBAAqB,GACrB,gBAAgB,GAChB,WAAW,GACX,kBAAkB,CAAC;AAEvB,yCAAyC;AACzC,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,mBAAmB,CAAC;IAC1B,uCAAuC;IACvC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,wCAAwC;IACxC,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,yBAAyB;AACzB,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,cAAc,CAAC;IACrB,4DAA4D;IAC5D,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,2BAA2B;IAC3B,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,0BAA0B;AAC1B,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,eAAe,CAAC;IACtB,aAAa;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,+BAA+B;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,wCAAwC;IACxC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,kBAAkB;IAClB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,+BAA+B;IAC/B,kBAAkB,CAAC,EAAE,OAAO,CAAC;CAC9B;AAED,0BAA0B;AAC1B,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,iBAAiB,CAAC;IACxB,aAAa;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,oBAAoB;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,yBAAyB;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB;IAChB,MAAM,EAAE,cAAc,GAAG,eAAe,GAAG,gBAAgB,CAAC;CAC7D;AAED,mBAAmB;AACnB,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,WAAW,CAAC;IAClB,WAAW;IACX,IAAI,EAAE,MAAM,CAAC;IACb,uBAAuB;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,gBAAgB;IAChB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,uBAAuB;AACvB,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,YAAY,CAAC;IACnB,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,oBAAoB;IACpB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,oCAAoC;AACpC,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,aAAa,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,6BAA6B;IAC7B,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,YAAY;IACZ,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,uBAAuB;IACvB,oBAAoB,CAAC,EAAE,OAAO,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,WAAW;IACX,KAAK,CAAC,EAAE,SAAS,GAAG,UAAU,GAAG,QAAQ,CAAC;IAE1C,WAAW;IACX,IAAI,CAAC,EAAE,cAAc,CAAC;IAEtB,oBAAoB;IACpB,aAAa,CAAC,EAAE,kBAAkB,CAAC;IAEnC,6BAA6B;IAC7B,YAAY,CAAC,EAAE,kBAAkB,CAAC;IAElC,mBAAmB;IACnB,SAAS,CAAC,EAAE,eAAe,CAAC;IAE5B,gBAAgB;IAChB,aAAa,CAAC,EAAE,kBAAkB,CAAC;IAEnC,WAAW;IACX,OAAO,CAAC,EAAE,uBAAuB,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,iBAAiB;IACjB,OAAO,CAAC,EAAE;QACR,OAAO,CAAC,EAAE,MAAM,CAAC;KAClB,CAAC;IAEF,WAAW;IACX,MAAM,CAAC,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAC;IAE3C;;;;;OAKG;IACH,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAElB,WAAW;IACX,UAAU,CAAC,EAAE,gBAAgB,CAAC;IAE9B,kBAAkB;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,OAAO,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IAEpD,gBAAgB;IAChB,uBAAuB,CAAC,EAAE,MAAM,CAAC;IAEjC,kBAAkB;IAClB,kBAAkB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,0BAA0B,CAAC,CAAC;IAEhE,gBAAgB;IAChB,IAAI,CAAC,EAAE;QACL,mBAAmB;QACnB,OAAO,CAAC,EAAE,OAAO,CAAC;QAClB,sBAAsB;QACtB,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,eAAe;QACf,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;QACjB,cAAc;QACd,YAAY,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;KACpC,CAAC;CACH;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,qBAAqB;IACrB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAErC,sBAAsB;IACtB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAEvC,wDAAwD;IACxD,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAErC,eAAe;IACf,QAAQ,EAAE,MAAM,EAAE,CAAC;IAEnB,eAAe;IACf,MAAM,EAAE,MAAM,EAAE,CAAC;IAEjB;;;;;;OAMG;IACH,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB"}

package/dist/types/trace.d.ts

@@ -22,17 +22,15 @@ export interface ExecutionTrace {
     /** 约束 ID */
     constraintId: string;
     /** 约束层级 */
-    level: 'iron_law' | 'guideline' | 'prompt' | 'tip';
+    level: 'iron_law' | 'guideline' | 'prompt';
     /** 检查时间（Unix timestamp） */
     timestamp: number;
     /** 检查结果（skip = 约定未采用/证据未接线，未评估；不计 pass/fail 分母） */
-    result: 'pass' | 'fail' | 'bypassed' | 'skip';
+    result: 'pass' | 'fail' | 'skip';
     /** 操作类型（触发条件） */
     operation?: string;
     /** 严重性（从约束定义继承） */
     severity?: 'error' | 'warning' | 'info';
-    /** 例外类型（如果适用了例外） */
-    exceptionApplied?: string;
     /** 项目路径（用于区分多项目） */
     projectPath?: string;
     /** 会话 ID（用于追踪同一会话的多次检查） */
@@ -51,7 +49,7 @@ export interface TraceSummary {
     /** 约束 ID */
     constraintId: string;
     /** 约束层级 */
-    level: 'iron_law' | 'guideline' | 'prompt' | 'tip';
+    level: 'iron_law' | 'guideline' | 'prompt';
     /** 统计时间范围 */
     timeRange: {
         start: number;
@@ -63,9 +61,7 @@ export interface TraceSummary {
     passCount: number;
     /** 失败次数 */
     failCount: number;
-    /** 绕过次数 */
-    bypassCount: number;
-    /** 跳过次数（ADR-0001：约定未采用/证据未接线；不计入 pass/fail/bypass 率分母） */
+    /** 跳过次数（ADR-0001：约定未采用/证据未接线；不计入 pass/fail 率分母） */
     skipCount?: number;
     /** 用户忽略次数 */
     ignoreCount: number;
@@ -73,31 +69,24 @@ export interface TraceSummary {
     passRate: number;
     /** 失败率 (0-1) */
     failRate: number;
-    /** 绕过率 (0-1) */
-    bypassRate: number;
     /** 最近趋势 */
     recentTrend: 'stable' | 'rising' | 'falling';
     /** 对比上一周期的变化 */
     changeFromLastPeriod?: {
         passRateDelta: number;
         failRateDelta: number;
-        bypassRateDelta: number;
     };
-    /** 例外应用次数 */
-    exceptionCount: number;
-    /** 最常见例外 */
-    mostCommonException?: string;
 }
 /**
  * 异常检测结果
  */
 export interface TraceAnomaly {
     /** 异常类型 */
-    type: 'high_bypass_rate' | 'rising_fail_rate' | 'rising_bypass_rate' | 'low_pass_rate' | 'exception_overuse';
+    type: 'rising_fail_rate' | 'low_pass_rate';
     /** 约束 ID */
     constraintId: string;
     /** 约束层级 */
-    level: 'iron_law' | 'guideline' | 'prompt' | 'tip';
+    level: 'iron_law' | 'guideline' | 'prompt';
     /** 异常描述 */
     message: string;
     /** 相关数据 */
@@ -109,7 +98,7 @@ export interface TraceAnomaly {
     /** 检测时间 */
     detectedAt: number;
     /** 建议的下一步 */
-    suggestedAction?: 'diagnose' | 'adjust_threshold' | 'add_exception' | 'notify_user';
+    suggestedAction?: 'diagnose' | 'adjust_threshold' | 'notify_user';
 }
 /**
  * Trace 过滤条件
@@ -118,9 +107,9 @@ export interface TraceFilter {
     /** 约束 ID（可选，不指定则查全部） */
     constraintId?: string;
     /** 约束层级（可选） */
-    level?: 'iron_law' | 'guideline' | 'prompt' | 'tip';
+    level?: 'iron_law' | 'guideline' | 'prompt';
     /** 结果类型（可选） */
-    result?: 'pass' | 'fail' | 'bypassed' | 'skip';
+    result?: 'pass' | 'fail' | 'skip';
     /** 时间范围（可选） */
     timeRange?: {
         start: number;
@@ -152,9 +141,7 @@ export interface TraceAnalyzerConfig {
     periodMs?: number;
     /** 异常阈值 */
     thresholds?: {
-        bypassRate?: number;
         failRate?: number;
-        exceptionRate?: number;
     };
 }
 //# sourceMappingURL=trace.d.ts.map

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

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

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@dommaker/harness",
-  "version": "1.1.0",
-  "description": "通用工程约束框架 - 铁律系统、检查点验证、测试门控、拦截器",
+  "version": "1.2.0",
+  "description": "通用工程约束框架 - 铁律系统、检查点验证、测试门控",
   "keywords": [
     "harness",
     "constraint",

package/src/CONTEXT.md

@@ -4,9 +4,9 @@
 通用工程约束框架的 TypeScript 核心代码。定义约束系统、检查点验证、质量门控、知识基础设施。
 
 ## 核心导出 (dist/)
-- `index.ts`: 全量导出
+- `index.ts`: 显式公共导出清单（ADR-0003，禁 export *）
 - `core/index.ts`: 核心约束引擎
-- `presets/index.ts`: 预设配置
+- `presets/index.ts`: 预设纯数据（strict/standard/relaxed；筛选逻辑统一在 core mergeConstraints）
 - `context/index.ts`: 上下文管理
 - `pretool-use-hook.ts`: provider PreToolUse 执法脚本（stdin JSON → CommandGate block 级 exit 2，fail-open），编译产物 dist/pretool-use-hook.js 随包出厂，provider hook 配置直接指向包内路径（studio#153）
 
@@ -15,14 +15,12 @@
 |------|------|
 | core/ | 约束引擎、检查点验证器、会话管理 |
 | gates/ | 质量门 (acceptance, command, contract, performance, review, security) |
-| monitoring/ | 追踪收集/分析、性能、诊断 |
+| monitoring/ | Execution Trace 收集/分析、上下文追踪 |
 | failure/ | 错误分类、失败记录 |
-| context/ | 渐进式上下文加载、token 预算管理 |
-| architecture/ | 架构约束、跨项目检查 |
-| spec/ | Spec 注解验证 |
+| context/ | 会话管理、token 预算、压缩、知识注入 |
+| spec/ | （空目录）@spec 注释检查已删（ADR-0003）；spec 故事见 core/spec/validator + SpecAcceptanceGate |
 | cli/commands/ | 24 个 CLI 子命令 |
 | tools/ | 工具定义 |
-| safety/ | 沙箱、护栏 |
 
 ## 依赖关系
 - `src/core/` 被所有模块依赖（基础层）

package/src/__tests__/checker-extra.test.ts

@@ -8,10 +8,12 @@
 import { describe, it, expect, beforeAll, afterAll, jest } from '@jest/globals';
 import {
   ConstraintChecker,
+  checkConstraint,
   checkConstraints,
   checkBeforeExecution,
 } from '../core/constraints/checker';
-import { getConstraintCheck, type CheckEnv } from '../core/constraints/checkers';
+import { getConstraintCheck, buildCheckEnv, type CheckEnv } from '../core/constraints/checkers';
+import { contextEvidenceFlag } from '../core/constraints/checkers/types';
 import type { ConstraintContext } from '../types/constraint';
 import * as fs from 'fs';
 import * as path from 'path';
@@ -525,6 +527,22 @@ describe('ConstraintChecker - 补充覆盖', () => {
 
       await expect(checkBeforeExecution(context)).rejects.toThrow();
     });
+
+    it('customConfig 应替换内置集（空配置不检查内置铁律）', async () => {
+      const context: ConstraintContext = {
+        operation: 'code_implementation',
+        hasTest: false,
+        hasVerificationEvidence: false,
+      };
+
+      // 内置铁律下违规抛错
+      await expect(checkBeforeExecution(context)).rejects.toThrow();
+
+      // 空 customConfig 替换内置集 → 不抛
+      await expect(
+        checkBeforeExecution(context, { ironLaws: {}, guidelines: {}, disabled: [], custom: [] })
+      ).resolves.not.toThrow();
+    });
   });
 
   describe('checkConstraints 完整流程', () => {
@@ -557,6 +575,36 @@ describe('ConstraintChecker - 补充覆盖', () => {
       expect(constraints.ironLaws).toEqual({});
       expect(constraints.guidelines).toEqual({});
     });
+
+    it('checkConstraint 带 customConfig 应命中自定义约束', async () => {
+      const context: ConstraintContext = { operation: 'file_modification' };
+      const customConfig = {
+        ironLaws: {
+          test_only: {
+            id: 'test_only',
+            kind: 'prompt' as const,
+            level: 'iron_law' as const,
+            rule: 'TEST',
+            message: 'test',
+            trigger: 'file_modification',
+            enforcement: 'test',
+          },
+        },
+        guidelines: {},
+        disabled: [] as string[],
+        custom: [] as string[],
+      };
+
+      // 不带 customConfig：自定义约束不可见
+      const missing = await checkConstraint('test_only', context);
+      expect(missing.satisfied).toBe(false);
+      expect(missing.message).toContain('未知的约束');
+
+      // 带 customConfig：命中（prompt kind 直接 pass）
+      const hit = await checkConstraint('test_only', context, customConfig);
+      expect(hit.id).toBe('test_only');
+      expect(hit.satisfied).toBe(true);
+    });
   });
 
   describe('getSeverity', () => {
@@ -605,105 +653,6 @@ describe('ConstraintChecker - 补充覆盖', () => {
 
   });
 
-  describe('checkException 例外豁免', () => {
-    it('guideline 匹配例外条件应该被豁免', async () => {
-      const context: ConstraintContext = {
-        operation: 'code_implementation',
-        isSimpleTypo: true,
-      };
-
-      const result = await checker.check(
-        {
-          id: 'incremental_progress',
-          kind: 'check',
-          level: 'guideline',
-          rule: 'ONE TASK PER SESSION',
-          message: 'test',
-          trigger: 'code_implementation',
-          enforcement: 'test',
-          exceptions: ['simple_typo', 'config_value_error'],
-        },
-        context
-      );
-
-      expect(result.satisfied).toBe(true);
-      expect(result.message).toContain('豁免');
-    });
-
-    it('guideline 不匹配例外条件应该正常检查', async () => {
-      const context: ConstraintContext = {
-        operation: 'code_implementation',
-        isSimpleTypo: false,
-        isConfigValueError: false,
-      };
-
-      const result = await checker.check(
-        {
-          id: 'incremental_progress',
-          kind: 'check',
-          level: 'guideline',
-          rule: 'ONE TASK PER SESSION',
-          message: 'test',
-          trigger: 'code_implementation',
-          enforcement: 'test',
-          exceptions: ['simple_typo', 'config_value_error'],
-        },
-        context
-      );
-
-      // hasSingleTask 未接线（undefined）→ skip（ADR-0001：flag 未接线不评估，不误报违规）
-      expect(result.skipped).toBe(true);
-      expect(result.satisfied).toBe(true);
-    });
-
-    it('iron_law 不应该检查例外条件', async () => {
-      const context: ConstraintContext = {
-        operation: 'code_implementation',
-        isSimpleTypo: true,
-      };
-
-      const result = await checker.check(
-        {
-          id: 'incremental_progress',
-          kind: 'check',
-          level: 'iron_law',
-          rule: 'ONE TASK PER SESSION',
-          message: 'test',
-          trigger: 'code_implementation',
-          enforcement: 'test',
-          exceptions: ['simple_typo'],
-        },
-        context
-      );
-
-      // iron_law 不适用例外；hasSingleTask 未接线（undefined）→ skip（ADR-0001）
-      expect(result.skipped).toBe(true);
-      expect(result.satisfied).toBe(true);
-    });
-
-    it('无 exceptions 字段应该正常检查', async () => {
-      const context: ConstraintContext = {
-        operation: 'code_implementation',
-        hasVerificationEvidence: true,
-      };
-
-      const result = await checker.check(
-        {
-          id: 'no_completion_without_verification',
-          kind: 'check',
-          level: 'iron_law',
-          rule: 'NO COMPLETION WITHOUT VERIFICATION',
-          message: 'test',
-          trigger: 'code_implementation',
-          enforcement: 'test',
-        },
-        context
-      );
-
-      expect(result.satisfied).toBe(true);
-    });
-  });
-
   describe('checkNoBypassCheckpoint 文件内容检查', () => {
     it('changedFiles 包含 skip 内容应该失败', async () => {
       const bypassFile = path.join(tempDir, 'bypass-test.ts');
@@ -1356,45 +1305,6 @@ describe('ConstraintChecker - 补充覆盖', () => {
     });
 
 
-  describe('checkConstraintsSafe', () => {
-    it('should not throw even with iron law violations', async () => {
-      const { checkConstraintsSafe } = await import('../core/constraints/checker');
-      const context: ConstraintContext = {
-        operation: 'code_implementation',
-        hasTest: false,
-        hasVerificationEvidence: false,
-      };
-
-      const result = await checkConstraintsSafe(context);
-      expect(result.passed).toBe(false);
-      // Should have at least one iron law violation even though it didn't throw
-      expect(result.ironLaws.length).toBeGreaterThan(0);
-    });
-
-    it('should return passed=true when all constraints satisfied', async () => {
-      const { checkConstraintsSafe } = await import('../core/constraints/checker');
-      const context: ConstraintContext = {
-        operation: 'code_implementation',
-        hasTest: true,
-        hasVerificationEvidence: true,
-        hasSingleTask: true,
-        hasRequirementReview: true,
-        hasRequirement: true,
-        hasWorktree: true,
-        hasTwoStageReview: true,
-        hasRootCauseInvestigation: true,
-        hasFailingTest: true,
-        hasReuseCheck: true,
-        completionClaimText: 'All 142 tests passed, coverage 85.2%',
-        taskDescription: 'Implement the new feature with proper testing',
-      };
-
-      const result = await checkConstraintsSafe(context);
-      expect(result.passed).toBe(true);
-      expect(result.warningCount).toBe(0);
-    });
-  });
-
   // S1: per-request customConfig 隔离
   describe('S1: per-request customConfig isolation', () => {
     it('使用 per-request customConfig 不应污染单例状态', () => {
@@ -1563,3 +1473,34 @@ describe('ConstraintChecker - 补充覆盖', () => {
     });
   });
 });
+
+describe('buildCheckEnv - 证据接线契约', () => {
+  const context: ConstraintContext = { operation: 'manual', projectPath: '/nonexistent' };
+
+  it("'none' 变体：证据函数返回空", async () => {
+    const env = buildCheckEnv(context, 'none');
+    expect(env.projectPath).toBe('/nonexistent');
+    expect(await env.stagedDiff()).toBe('');
+    expect(await env.stagedDiffNames()).toBe('');
+    expect(env.srcScan('src')).toEqual([]);
+  });
+
+  it('providers 变体：证据提供者原样透传', async () => {
+    const providers = {
+      stagedDiff: async () => 'diff-content',
+      stagedDiffNames: async () => 'a.ts\nb.ts',
+      srcScan: (root: string) => [`${root}/x.ts`],
+    };
+    const env = buildCheckEnv(context, providers);
+    expect(await env.stagedDiff()).toBe('diff-content');
+    expect(await env.stagedDiffNames()).toBe('a.ts\nb.ts');
+    expect(env.srcScan('src')).toEqual(['src/x.ts']);
+  });
+
+  it("'none' env 下 evidence flag 未接线的 checker 返回 'skip'", async () => {
+    // 「没接证据 → skip」由注释固化为可执行契约
+    const check = contextEvidenceFlag('test-flag', (ctx) => ctx.hasVerificationEvidence);
+    const env = buildCheckEnv(context, 'none');
+    expect(await check.evaluate(env)).toBe('skip');
+  });
+});