@dommaker/harness 1.1.1 → 1.2.1

package/dist/core/index.d.ts

@@ -1,11 +1,18 @@
 /**
- * 核心模块导出
+ * 核心模块导出（ADR-0003：显式清单，禁 export *）
+ *
+ * checkConstraints 与包根统一为 options 对象签名（CheckConstraintsOptions），
+ * 不再暴露位置参数版。
  */
-export * from './constraints';
-export * from './validators';
-export * from './session';
+export { IRON_LAWS, GUIDELINES, PROMPTS, getAllConstraints, findConstraintsByTrigger, getConstraint, ConstraintChecker, checkConstraint, checkConstraints, checkBeforeExecution, constraintChecker, CONSTRAINTS_START_MARKER, CONSTRAINTS_END_MARKER, renderConstraintsSection, CheckCache, renderConstraintsByTrigger, ConstraintViolationError, } from './constraints';
+export type { CheckConstraintsOptions, CheckCacheConfig, CheckSamplingConfig, RenderConstraintsByTriggerOptions, ConstraintId, ConstraintKind, ConstraintLevel, ConstraintTrigger, Constraint, ConstraintResult, ConstraintContext, ConstraintCheckResult, IronLawContext, } from './constraints';
+export { CheckpointValidator, PassesGate, createPassesGate, CSOValidator, } from './validators';
+export type { CSOValidationResult, CSOIssue, Checkpoint, CheckpointCheck, CheckpointResult, CheckResult, CheckpointContext, CheckType, CheckConfig, PassesGateConfig, PassesGateResult, TaskTestResult, DynamicTask, } from './validators';
+export { SessionStartup, createSessionStartup, DEFAULT_CODE_CHECKPOINTS, MINIMAL_CHECKPOINTS, CleanStateManager, createCleanStateManager, } from './session';
 export { SpecValidator } from './spec/validator';
 export type { SpecValidatorConfig, SpecValidationResult, BatchSpecValidationResult, SpecSchemaDefinition, SpecType, } from '../types/spec';
-export * from './project-config-loader';
-export * from './effective-constraints';
+export { ProjectConfigLoader, loadRawProjectConfig, getCapabilitiesMode, } from './project-config-loader';
+export type { CapabilitiesMode } from './project-config-loader';
+export { getEffectiveConstraints, lintEffectiveConfig, } from './effective-constraints';
+export type { EffectiveConfigLint } from './effective-constraints';
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,cAAc,eAAe,CAAC;AAE9B,cAAc,cAAc,CAAC;AAC7B,cAAc,WAAW,CAAC;AAG1B,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,YAAY,EACV,mBAAmB,EACnB,oBAAoB,EACpB,yBAAyB,EACzB,oBAAoB,EACpB,QAAQ,GACT,MAAM,eAAe,CAAC;AAGvB,cAAc,yBAAyB,CAAC;AAGxC,cAAc,yBAAyB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EACL,SAAS,EACT,UAAU,EACV,OAAO,EACP,iBAAiB,EACjB,wBAAwB,EACxB,aAAa,EACb,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,EACjB,wBAAwB,EACxB,sBAAsB,EACtB,wBAAwB,EACxB,UAAU,EACV,0BAA0B,EAC1B,wBAAwB,GACzB,MAAM,eAAe,CAAC;AACvB,YAAY,EACV,uBAAuB,EACvB,gBAAgB,EAChB,mBAAmB,EACnB,iCAAiC,EACjC,YAAY,EACZ,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,UAAU,EACV,gBAAgB,EAChB,iBAAiB,EACjB,qBAAqB,EACrB,cAAc,GACf,MAAM,eAAe,CAAC;AAGvB,OAAO,EACL,mBAAmB,EACnB,UAAU,EACV,gBAAgB,EAChB,YAAY,GACb,MAAM,cAAc,CAAC;AACtB,YAAY,EACV,mBAAmB,EACnB,QAAQ,EACR,UAAU,EACV,eAAe,EACf,gBAAgB,EAChB,WAAW,EACX,iBAAiB,EACjB,SAAS,EACT,WAAW,EACX,gBAAgB,EAChB,gBAAgB,EAChB,cAAc,EACd,WAAW,GACZ,MAAM,cAAc,CAAC;AAGtB,OAAO,EACL,cAAc,EACd,oBAAoB,EACpB,wBAAwB,EACxB,mBAAmB,EACnB,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,WAAW,CAAC;AAGnB,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,YAAY,EACV,mBAAmB,EACnB,oBAAoB,EACpB,yBAAyB,EACzB,oBAAoB,EACpB,QAAQ,GACT,MAAM,eAAe,CAAC;AAGvB,OAAO,EACL,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAGhE,OAAO,EACL,uBAAuB,EACvB,mBAAmB,GACpB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC"}

package/dist/core/index.js

@@ -1,32 +1,55 @@
 "use strict";
 /**
- * 核心模块导出
+ * 核心模块导出（ADR-0003：显式清单，禁 export *）
+ *
+ * checkConstraints 与包根统一为 options 对象签名（CheckConstraintsOptions），
+ * 不再暴露位置参数版。
  */
-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 __exportStar = (this && this.__exportStar) || function(m, exports) {
-    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
-};
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.SpecValidator = void 0;
+exports.lintEffectiveConfig = exports.getEffectiveConstraints = exports.getCapabilitiesMode = exports.loadRawProjectConfig = exports.ProjectConfigLoader = exports.SpecValidator = exports.createCleanStateManager = exports.CleanStateManager = exports.MINIMAL_CHECKPOINTS = exports.DEFAULT_CODE_CHECKPOINTS = exports.createSessionStartup = exports.SessionStartup = exports.CSOValidator = exports.createPassesGate = exports.PassesGate = exports.CheckpointValidator = exports.ConstraintViolationError = exports.renderConstraintsByTrigger = exports.CheckCache = exports.renderConstraintsSection = exports.CONSTRAINTS_END_MARKER = exports.CONSTRAINTS_START_MARKER = exports.constraintChecker = exports.checkBeforeExecution = exports.checkConstraints = exports.checkConstraint = exports.ConstraintChecker = exports.getConstraint = exports.findConstraintsByTrigger = exports.getAllConstraints = exports.PROMPTS = exports.GUIDELINES = exports.IRON_LAWS = void 0;
 // 约束系统（三层：Iron Laws / Guidelines / Tips）
-__exportStar(require("./constraints"), exports);
-__exportStar(require("./validators"), exports);
-__exportStar(require("./session"), exports);
+var constraints_1 = require("./constraints");
+Object.defineProperty(exports, "IRON_LAWS", { enumerable: true, get: function () { return constraints_1.IRON_LAWS; } });
+Object.defineProperty(exports, "GUIDELINES", { enumerable: true, get: function () { return constraints_1.GUIDELINES; } });
+Object.defineProperty(exports, "PROMPTS", { enumerable: true, get: function () { return constraints_1.PROMPTS; } });
+Object.defineProperty(exports, "getAllConstraints", { enumerable: true, get: function () { return constraints_1.getAllConstraints; } });
+Object.defineProperty(exports, "findConstraintsByTrigger", { enumerable: true, get: function () { return constraints_1.findConstraintsByTrigger; } });
+Object.defineProperty(exports, "getConstraint", { enumerable: true, get: function () { return constraints_1.getConstraint; } });
+Object.defineProperty(exports, "ConstraintChecker", { enumerable: true, get: function () { return constraints_1.ConstraintChecker; } });
+Object.defineProperty(exports, "checkConstraint", { enumerable: true, get: function () { return constraints_1.checkConstraint; } });
+Object.defineProperty(exports, "checkConstraints", { enumerable: true, get: function () { return constraints_1.checkConstraints; } });
+Object.defineProperty(exports, "checkBeforeExecution", { enumerable: true, get: function () { return constraints_1.checkBeforeExecution; } });
+Object.defineProperty(exports, "constraintChecker", { enumerable: true, get: function () { return constraints_1.constraintChecker; } });
+Object.defineProperty(exports, "CONSTRAINTS_START_MARKER", { enumerable: true, get: function () { return constraints_1.CONSTRAINTS_START_MARKER; } });
+Object.defineProperty(exports, "CONSTRAINTS_END_MARKER", { enumerable: true, get: function () { return constraints_1.CONSTRAINTS_END_MARKER; } });
+Object.defineProperty(exports, "renderConstraintsSection", { enumerable: true, get: function () { return constraints_1.renderConstraintsSection; } });
+Object.defineProperty(exports, "CheckCache", { enumerable: true, get: function () { return constraints_1.CheckCache; } });
+Object.defineProperty(exports, "renderConstraintsByTrigger", { enumerable: true, get: function () { return constraints_1.renderConstraintsByTrigger; } });
+Object.defineProperty(exports, "ConstraintViolationError", { enumerable: true, get: function () { return constraints_1.ConstraintViolationError; } });
+// 验证器（检查点 / PassesGate / CSO）
+var validators_1 = require("./validators");
+Object.defineProperty(exports, "CheckpointValidator", { enumerable: true, get: function () { return validators_1.CheckpointValidator; } });
+Object.defineProperty(exports, "PassesGate", { enumerable: true, get: function () { return validators_1.PassesGate; } });
+Object.defineProperty(exports, "createPassesGate", { enumerable: true, get: function () { return validators_1.createPassesGate; } });
+Object.defineProperty(exports, "CSOValidator", { enumerable: true, get: function () { return validators_1.CSOValidator; } });
+// 会话启动 / 净室状态
+var session_1 = require("./session");
+Object.defineProperty(exports, "SessionStartup", { enumerable: true, get: function () { return session_1.SessionStartup; } });
+Object.defineProperty(exports, "createSessionStartup", { enumerable: true, get: function () { return session_1.createSessionStartup; } });
+Object.defineProperty(exports, "DEFAULT_CODE_CHECKPOINTS", { enumerable: true, get: function () { return session_1.DEFAULT_CODE_CHECKPOINTS; } });
+Object.defineProperty(exports, "MINIMAL_CHECKPOINTS", { enumerable: true, get: function () { return session_1.MINIMAL_CHECKPOINTS; } });
+Object.defineProperty(exports, "CleanStateManager", { enumerable: true, get: function () { return session_1.CleanStateManager; } });
+Object.defineProperty(exports, "createCleanStateManager", { enumerable: true, get: function () { return session_1.createCleanStateManager; } });
 // Spec 验证器
 var validator_1 = require("./spec/validator");
 Object.defineProperty(exports, "SpecValidator", { enumerable: true, get: function () { return validator_1.SpecValidator; } });
 // 项目配置加载器
-__exportStar(require("./project-config-loader"), exports);
+var project_config_loader_1 = require("./project-config-loader");
+Object.defineProperty(exports, "ProjectConfigLoader", { enumerable: true, get: function () { return project_config_loader_1.ProjectConfigLoader; } });
+Object.defineProperty(exports, "loadRawProjectConfig", { enumerable: true, get: function () { return project_config_loader_1.loadRawProjectConfig; } });
+Object.defineProperty(exports, "getCapabilitiesMode", { enumerable: true, get: function () { return project_config_loader_1.getCapabilitiesMode; } });
 // 生效约束集（ADR-0001：唯一生效集来源）
-__exportStar(require("./effective-constraints"), exports);
+var effective_constraints_1 = require("./effective-constraints");
+Object.defineProperty(exports, "getEffectiveConstraints", { enumerable: true, get: function () { return effective_constraints_1.getEffectiveConstraints; } });
+Object.defineProperty(exports, "lintEffectiveConfig", { enumerable: true, get: function () { return effective_constraints_1.lintEffectiveConfig; } });
 //# sourceMappingURL=index.js.map

package/dist/core/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;;;;;;;;;;;;;;;AAEH,yCAAyC;AAEzC,gDAA8B;AAE9B,+CAA6B;AAC7B,4CAA0B;AAE1B,WAAW;AACX,8CAAiD;AAAxC,0GAAA,aAAa,OAAA;AAStB,UAAU;AACV,0DAAwC;AAExC,0BAA0B;AAC1B,0DAAwC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAEH,yCAAyC;AACzC,6CAkBuB;AAjBrB,wGAAA,SAAS,OAAA;AACT,yGAAA,UAAU,OAAA;AACV,sGAAA,OAAO,OAAA;AACP,gHAAA,iBAAiB,OAAA;AACjB,uHAAA,wBAAwB,OAAA;AACxB,4GAAA,aAAa,OAAA;AACb,gHAAA,iBAAiB,OAAA;AACjB,8GAAA,eAAe,OAAA;AACf,+GAAA,gBAAgB,OAAA;AAChB,mHAAA,oBAAoB,OAAA;AACpB,gHAAA,iBAAiB,OAAA;AACjB,uHAAA,wBAAwB,OAAA;AACxB,qHAAA,sBAAsB,OAAA;AACtB,uHAAA,wBAAwB,OAAA;AACxB,yGAAA,UAAU,OAAA;AACV,yHAAA,0BAA0B,OAAA;AAC1B,uHAAA,wBAAwB,OAAA;AAkB1B,8BAA8B;AAC9B,2CAKsB;AAJpB,iHAAA,mBAAmB,OAAA;AACnB,wGAAA,UAAU,OAAA;AACV,8GAAA,gBAAgB,OAAA;AAChB,0GAAA,YAAY,OAAA;AAkBd,cAAc;AACd,qCAOmB;AANjB,yGAAA,cAAc,OAAA;AACd,+GAAA,oBAAoB,OAAA;AACpB,mHAAA,wBAAwB,OAAA;AACxB,8GAAA,mBAAmB,OAAA;AACnB,4GAAA,iBAAiB,OAAA;AACjB,kHAAA,uBAAuB,OAAA;AAGzB,WAAW;AACX,8CAAiD;AAAxC,0GAAA,aAAa,OAAA;AAStB,UAAU;AACV,iEAIiC;AAH/B,4HAAA,mBAAmB,OAAA;AACnB,6HAAA,oBAAoB,OAAA;AACpB,4HAAA,mBAAmB,OAAA;AAIrB,0BAA0B;AAC1B,iEAGiC;AAF/B,gIAAA,uBAAuB,OAAA;AACvB,4HAAA,mBAAmB,OAAA"}

package/dist/core/project-config-loader.d.ts

@@ -41,22 +41,19 @@ export declare class ProjectConfigLoader {
      * 合并内置约束和自定义约束（ADR-0001 生效集完整链路）
      *
      * 合并顺序：内置 → preset 裁剪 → config.yml `constraints.<id>.enabled:false`
-     * 删除（对内置与 custom 同效）→ custom-constraints 追加/extend_exceptions
+     * 删除（对内置与 custom 同效）→ custom-constraints 追加
      * （禁用/已退役的 custom 不追加）→ scenes 过滤
      * （带 appliesTo 的 prompt 仅当 scenes 交集非空时保留）。
      *
      * config.yml 中未知约束 id（如已移除约束的禁用残留）静默忽略，
      * 记录在结果 unknownIds 中供诊断。
      *
-     * @param options.preset 覆盖 config.yml 的 preset（CLI --preset 用）
+     * @param options.preset 覆盖 config.yml 的 preset（CLI --preset 用）；
+     *   未知预设名回落 standard + stderr 警告
      */
     mergeConstraints(options?: {
         preset?: string;
     }): MergedConstraintsConfig;
-    /**
-     * 在合并结果中查找内置约束
-     */
-    private findBuiltInConstraint;
     /**
      * 将自定义约束定义转换为 Constraint
      *

package/dist/core/project-config-loader.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"project-config-loader.d.ts","sourceRoot":"","sources":["../../src/core/project-config-loader.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAMH,OAAO,KAAK,EACV,aAAa,EACb,0BAA0B,EAC1B,uBAAuB,EACvB,kBAAkB,EACnB,MAAM,yBAAyB,CAAC;AAoBjC;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CA8B7F;AAED;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,WAAW,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC;AAEvE;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,WAAW,EAAE,MAAM,GAAG,gBAAgB,CAWzE;AAED;;GAEG;AACH,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,WAAW,CAAS;IAC5B,OAAO,CAAC,MAAM,CAAgB;IAC9B,OAAO,CAAC,iBAAiB,CAA6C;gBAE1D,WAAW,CAAC,EAAE,MAAM;IAMhC;;OAEG;IACH,IAAI,IAAI,aAAa;IAarB;;OAEG;IACH,OAAO,CAAC,qBAAqB;IAyB7B;;;;;;;;;;;;OAYG;IACH,gBAAgB,CAAC,OAAO,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,uBAAuB;IA2GxE;;OAEG;IACH,OAAO,CAAC,qBAAqB;IAO7B;;;;;;OAMG;IACH,OAAO,CAAC,YAAY;IAiBpB;;OAEG;IACH,SAAS,IAAI,aAAa;IAI1B;;OAEG;IACH,oBAAoB,IAAI,MAAM,CAAC,MAAM,EAAE,0BAA0B,CAAC;IAIlE;;OAEG;IACH,mBAAmB,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO;IAclD;;OAEG;IACH,mBAAmB,CAAC,YAAY,EAAE,MAAM,GAAG,UAAU,GAAG,QAAQ,GAAG,UAAU;IAU7E;;OAEG;IACH,eAAe,IAAI,OAAO;CAM3B"}
+{"version":3,"file":"project-config-loader.d.ts","sourceRoot":"","sources":["../../src/core/project-config-loader.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAMH,OAAO,KAAK,EACV,aAAa,EACb,0BAA0B,EAC1B,uBAAuB,EACvB,kBAAkB,EACnB,MAAM,yBAAyB,CAAC;AAqBjC;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CA8B7F;AAED;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,WAAW,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC;AAEvE;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,WAAW,EAAE,MAAM,GAAG,gBAAgB,CAWzE;AAED;;GAEG;AACH,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,WAAW,CAAS;IAC5B,OAAO,CAAC,MAAM,CAAgB;IAC9B,OAAO,CAAC,iBAAiB,CAA6C;gBAE1D,WAAW,CAAC,EAAE,MAAM;IAMhC;;OAEG;IACH,IAAI,IAAI,aAAa;IAarB;;OAEG;IACH,OAAO,CAAC,qBAAqB;IAyB7B;;;;;;;;;;;;;OAaG;IACH,gBAAgB,CAAC,OAAO,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,uBAAuB;IAqGxE;;;;;;OAMG;IACH,OAAO,CAAC,YAAY;IAgBpB;;OAEG;IACH,SAAS,IAAI,aAAa;IAI1B;;OAEG;IACH,oBAAoB,IAAI,MAAM,CAAC,MAAM,EAAE,0BAA0B,CAAC;IAIlE;;OAEG;IACH,mBAAmB,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO;IAclD;;OAEG;IACH,mBAAmB,CAAC,YAAY,EAAE,MAAM,GAAG,UAAU,GAAG,QAAQ,GAAG,UAAU;IAU7E;;OAEG;IACH,eAAe,IAAI,OAAO;CAM3B"}

package/dist/core/project-config-loader.js

@@ -47,6 +47,7 @@ const path = __importStar(require("path"));
 const yaml = __importStar(require("js-yaml"));
 const definitions_1 = require("./constraints/definitions");
 const presets_1 = require("../presets");
+const effective_set_1 = require("./effective-set");
 /**
  * 默认配置
  */
@@ -163,45 +164,66 @@ class ProjectConfigLoader {
      * 合并内置约束和自定义约束（ADR-0001 生效集完整链路）
      *
      * 合并顺序：内置 → preset 裁剪 → config.yml `constraints.<id>.enabled:false`
-     * 删除（对内置与 custom 同效）→ custom-constraints 追加/extend_exceptions
+     * 删除（对内置与 custom 同效）→ custom-constraints 追加
      * （禁用/已退役的 custom 不追加）→ scenes 过滤
      * （带 appliesTo 的 prompt 仅当 scenes 交集非空时保留）。
      *
      * config.yml 中未知约束 id（如已移除约束的禁用残留）静默忽略，
      * 记录在结果 unknownIds 中供诊断。
      *
-     * @param options.preset 覆盖 config.yml 的 preset（CLI --preset 用）
+     * @param options.preset 覆盖 config.yml 的 preset（CLI --preset 用）；
+     *   未知预设名回落 standard + stderr 警告
      */
     mergeConstraints(options) {
-        // 0. preset 裁剪（未知预设名由 applyPreset 回落 standard）
-        const presetMerged = (0, presets_1.applyPreset)(options?.preset ?? this.config.preset ?? 'standard');
+        // 0. preset 裁剪（strict 是 standard 的别名；未知名回落 standard）
+        const presetName = options?.preset ?? this.config.preset ?? 'standard';
+        let preset = presets_1.PRESETS_BY_NAME[presetName];
+        if (!preset) {
+            console.error(`[harness] 未知预设 "${presetName}"，已回落 standard`);
+            preset = presets_1.STANDARD_PRESET;
+        }
+        const pick = (source, ids) => {
+            if (ids === null)
+                return { ...source };
+            const filtered = {};
+            for (const id of ids) {
+                if (source[id])
+                    filtered[id] = source[id];
+            }
+            return filtered;
+        };
+        const presetDisabled = (source, ids) => (ids === null ? [] : Object.keys(source).filter(id => !ids.includes(id)));
         const unknownIds = [];
         const result = {
-            ironLaws: presetMerged.ironLaws,
-            guidelines: presetMerged.guidelines,
-            prompts: presetMerged.prompts ?? {},
-            disabled: [...presetMerged.disabled],
+            ironLaws: pick(definitions_1.IRON_LAWS, preset.ironLaws),
+            guidelines: pick(definitions_1.GUIDELINES, preset.guidelines),
+            prompts: pick(definitions_1.PROMPTS, preset.prompts),
+            disabled: [
+                ...presetDisabled(definitions_1.IRON_LAWS, preset.ironLaws),
+                ...presetDisabled(definitions_1.GUIDELINES, preset.guidelines),
+                ...presetDisabled(definitions_1.PROMPTS, preset.prompts),
+            ],
             custom: [],
             unknownIds,
         };
-        // 1. 处理启用/禁用配置
+        // 1. 处理启用/禁用配置（未知 id 静默忽略，记录供诊断）
         if (this.config.constraints) {
-            for (const [constraintId, config] of Object.entries(this.config.constraints)) {
-                const isKnown = !!definitions_1.IRON_LAWS[constraintId] ||
-                    !!definitions_1.GUIDELINES[constraintId] ||
-                    !!definitions_1.PROMPTS[constraintId] ||
-                    !!this.customConstraints[constraintId];
-                if (!isKnown) {
-                    // 未知 id（如已移除约束的禁用残留）：不报错，记录供诊断
-                    unknownIds.push(constraintId);
-                }
-                if (config.enabled === false) {
-                    result.disabled.push(constraintId);
-                    // 从对应层级中移除
-                    delete result.ironLaws[constraintId];
-                    delete result.guidelines[constraintId];
-                    delete result.prompts[constraintId];
-                }
+            const knownIds = new Set([
+                ...Object.keys(definitions_1.IRON_LAWS),
+                ...Object.keys(definitions_1.GUIDELINES),
+                ...Object.keys(definitions_1.PROMPTS),
+                ...Object.keys(this.customConstraints),
+            ]);
+            const filtered = (0, effective_set_1.filterEnabledEntries)(knownIds, this.config.constraints, {
+                onUnknownId: 'collect',
+            });
+            unknownIds.push(...filtered.unknownIds);
+            for (const constraintId of filtered.disabledIds) {
+                result.disabled.push(constraintId);
+                // 从对应层级中移除
+                delete result.ironLaws[constraintId];
+                delete result.guidelines[constraintId];
+                delete result.prompts[constraintId];
             }
         }
         // 2. 添加自定义约束（config.yml 禁用的 id 不追加：step 1 已将其
@@ -211,36 +233,7 @@ class ProjectConfigLoader {
             if (result.disabled.includes(id) || customDef.retired) {
                 continue;
             }
-            const extendExceptions = customDef.extend_exceptions;
-            const isExtendOnly = !!extendExceptions && extendExceptions.length > 0 &&
-                !customDef.rule &&
-                !customDef.exceptions;
-            if (isExtendOnly) {
-                const builtIn = this.findBuiltInConstraint(id, result);
-                if (builtIn) {
-                    const constraint = { ...builtIn };
-                    constraint.exceptions = [
-                        ...(builtIn.exceptions || []),
-                        ...extendExceptions,
-                    ];
-                    if (result.ironLaws[id])
-                        result.ironLaws[id] = constraint;
-                    if (result.guidelines[id])
-                        result.guidelines[id] = constraint;
-                    if (result.prompts[id])
-                        result.prompts[id] = constraint;
-                    continue;
-                }
-            }
             const constraint = this.toConstraint(customDef, id);
-            if (extendExceptions && extendExceptions.length > 0) {
-                const builtIn = this.findBuiltInConstraint(id, result);
-                constraint.exceptions = [
-                    ...(builtIn?.exceptions || []),
-                    ...(customDef.exceptions || []),
-                    ...extendExceptions,
-                ];
-            }
             result.custom.push(id);
             const level = customDef.level || 'guideline';
             switch (level) {
@@ -268,12 +261,6 @@ class ProjectConfigLoader {
         }
         return result;
     }
-    /**
-     * 在合并结果中查找内置约束
-     */
-    findBuiltInConstraint(id, merged) {
-        return merged.ironLaws[id] || merged.guidelines[id] || merged.prompts?.[id];
-    }
     /**
      * 将自定义约束定义转换为 Constraint
      *
@@ -290,7 +277,6 @@ class ProjectConfigLoader {
             rule: def.rule || '',
             message: def.message || '',
             trigger: (def.trigger || 'manual'),
-            exceptions: def.exceptions,
             description: def.description,
             promptInjection: def.promptInjection,
             enabled: def.enabled !== false,

package/dist/core/project-config-loader.js.map

@@ -1 +1 @@
-{"version":3,"file":"project-config-loader.js","sourceRoot":"","sources":["../../src/core/project-config-loader.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAoCH,oDA8BC;AAYD,kDAWC;AAvFD,uCAAyB;AACzB,2CAA6B;AAC7B,8CAAgC;AAQhC,2DAA2E;AAC3E,wCAAyC;AAEzC;;GAEG;AACH,MAAM,cAAc,GAAkB;IACpC,MAAM,EAAE,UAAU;IAClB,uBAAuB,EAAE,wBAAwB;CAClD,CAAC;AAEF;;;;;GAKG;AACH,MAAM,cAAc,GAAG,IAAI,GAAG,EAA2E,CAAC;AAE1G;;;;GAIG;AACH,SAAgB,oBAAoB,CAAC,WAAmB;IACtD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACtC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;IAE5D,IAAI,IAA0B,CAAC;IAC/B,IAAI,CAAC;QACH,IAAI,GAAG,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IACjC,CAAC;IAAC,MAAM,CAAC;QACP,IAAI,GAAG,SAAS,CAAC;IACnB,CAAC;IACD,wCAAwC;IACxC,IAAI,CAAC,IAAI,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QACjD,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC3B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,oCAAoC;IACpC,IAAI,IAAI,EAAE,OAAO,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,MAAM,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;YAC3E,OAAO,MAAM,CAAC,GAAG,CAAC;QACpB,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;IACrE,MAAM,GAAG,GAAG,MAAiC,CAAC;IAC9C,IAAI,IAAI,EAAE,OAAO,KAAK,SAAS,EAAE,CAAC;QAChC,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAOD;;;;GAIG;AACH,SAAgB,mBAAmB,CAAC,WAAmB;IACrD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,oBAAoB,CAAC,WAAW,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,GAAG,EAAE,UAAiD,CAAC;QAC1E,MAAM,YAAY,GAAG,UAAU,EAAE,YAAmD,CAAC;QACrF,MAAM,IAAI,GAAG,YAAY,EAAE,IAAI,CAAC;QAChC,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;IAC9E,CAAC;IAAC,MAAM,CAAC;QACP,wBAAwB;IAC1B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAa,mBAAmB;IACtB,WAAW,CAAS;IACpB,MAAM,CAAgB;IACtB,iBAAiB,CAA6C;IAEtE,YAAY,WAAoB;QAC9B,IAAI,CAAC,WAAW,GAAG,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;QAChD,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,cAAc,EAAE,CAAC;QACpC,IAAI,CAAC,iBAAiB,GAAG,EAAE,CAAC;IAC9B,CAAC;IAED;;OAEG;IACH,IAAI;QACF,sCAAsC;QACtC,MAAM,GAAG,GAAG,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACnD,IAAI,GAAG,EAAE,CAAC;YACR,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,cAAc,EAAE,GAAI,GAA8B,EAAE,CAAC;QAC1E,CAAC;QAED,aAAa;QACb,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAE7B,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAED;;OAEG;IACK,qBAAqB;QAC3B,eAAe;QACf,IAAI,IAAI,CAAC,MAAM,CAAC,uBAAuB,EAAE,CAAC;YACxC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAC1B,IAAI,CAAC,WAAW,EAChB,UAAU,EACV,IAAI,CAAC,MAAM,CAAC,uBAAuB,CACpC,CAAC;YACF,IAAI,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC9B,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBACrD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAE/B,CAAC;gBACF,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;oBAC9B,IAAI,CAAC,iBAAiB,GAAG,EAAE,GAAG,IAAI,CAAC,iBAAiB,EAAE,GAAG,MAAM,CAAC,kBAAkB,EAAE,CAAC;gBACvF,CAAC;YACH,CAAC;QACH,CAAC;QAED,iBAAiB;QACjB,IAAI,IAAI,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;YACnC,IAAI,CAAC,iBAAiB,GAAG,EAAE,GAAG,IAAI,CAAC,iBAAiB,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAC5F,CAAC;IACH,CAAC;IAED;;;;;;;;;;;;OAYG;IACH,gBAAgB,CAAC,OAA6B;QAC5C,+CAA+C;QAC/C,MAAM,YAAY,GAAG,IAAA,qBAAW,EAAC,OAAO,EAAE,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,UAAU,CAAC,CAAC;QACtF,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,MAAM,MAAM,GAA4B;YACtC,QAAQ,EAAE,YAAY,CAAC,QAAQ;YAC/B,UAAU,EAAE,YAAY,CAAC,UAAU;YACnC,OAAO,EAAE,YAAY,CAAC,OAAO,IAAI,EAAE;YACnC,QAAQ,EAAE,CAAC,GAAG,YAAY,CAAC,QAAQ,CAAC;YACpC,MAAM,EAAE,EAAE;YACV,UAAU;SACX,CAAC;QAEF,eAAe;QACf,IAAI,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;YAC5B,KAAK,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC7E,MAAM,OAAO,GACX,CAAC,CAAC,uBAAS,CAAC,YAAY,CAAC;oBACzB,CAAC,CAAC,wBAAU,CAAC,YAAY,CAAC;oBAC1B,CAAC,CAAC,qBAAO,CAAC,YAAY,CAAC;oBACvB,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;gBACzC,IAAI,CAAC,OAAO,EAAE,CAAC;oBACb,+BAA+B;oBAC/B,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBAChC,CAAC;gBACD,IAAI,MAAM,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;oBAC7B,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;oBACnC,WAAW;oBACX,OAAO,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;oBACrC,OAAO,MAAM,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;oBACvC,OAAO,MAAM,CAAC,OAAQ,CAAC,YAAY,CAAC,CAAC;gBACvC,CAAC;YACH,CAAC;QACH,CAAC;QAED,8CAA8C;QAC9C,8CAA8C;QAC9C,2CAA2C;QAC3C,KAAK,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC;YACrE,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;gBACtD,SAAS;YACX,CAAC;YACD,MAAM,gBAAgB,GAAG,SAAS,CAAC,iBAAiB,CAAC;YACrD,MAAM,YAAY,GAChB,CAAC,CAAC,gBAAgB,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC;gBACjD,CAAC,SAAS,CAAC,IAAI;gBACf,CAAC,SAAS,CAAC,UAAU,CAAC;YAExB,IAAI,YAAY,EAAE,CAAC;gBACjB,MAAM,OAAO,GAAG,IAAI,CAAC,qBAAqB,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBACvD,IAAI,OAAO,EAAE,CAAC;oBACZ,MAAM,UAAU,GAAG,EAAE,GAAG,OAAO,EAAE,CAAC;oBAClC,UAAU,CAAC,UAAU,GAAG;wBACtB,GAAG,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;wBAC7B,GAAG,gBAAiB;qBACrB,CAAC;oBACF,IAAI,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;wBAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC;oBAC1D,IAAI,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;wBAAE,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC;oBAC9D,IAAI,MAAM,CAAC,OAAQ,CAAC,EAAE,CAAC;wBAAE,MAAM,CAAC,OAAQ,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC;oBAC1D,SAAS;gBACX,CAAC;YACH,CAAC;YAED,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAEpD,IAAI,gBAAgB,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpD,MAAM,OAAO,GAAG,IAAI,CAAC,qBAAqB,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBACvD,UAAU,CAAC,UAAU,GAAG;oBACtB,GAAG,CAAC,OAAO,EAAE,UAAU,IAAI,EAAE,CAAC;oBAC9B,GAAG,CAAC,SAAS,CAAC,UAAU,IAAI,EAAE,CAAC;oBAC/B,GAAG,gBAAgB;iBACpB,CAAC;YACJ,CAAC;YAED,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAEvB,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,IAAI,WAAW,CAAC;YAC7C,QAAQ,KAAK,EAAE,CAAC;gBACd,KAAK,UAAU;oBACb,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC;oBACjC,MAAM;gBACR,KAAK,WAAW;oBACd,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC;oBACnC,MAAM;gBACR,KAAK,QAAQ;oBACX,MAAM,CAAC,OAAQ,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC;oBACjC,MAAM;YACV,CAAC;QACH,CAAC;QAED,4DAA4D;QAC5D,+CAA+C;QAC/C,wBAAwB;QACxB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAQ,CAAC,EAAE,CAAC;YAC/D,IACE,UAAU,CAAC,SAAS;gBACpB,UAAU,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;gBAC/B,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAC3D,CAAC;gBACD,OAAO,MAAM,CAAC,OAAQ,CAAC,EAAE,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,qBAAqB,CAC3B,EAAU,EACV,MAA+B;QAE/B,OAAO,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;IAC9E,CAAC;IAED;;;;;;OAMG;IACK,YAAY,CAAC,GAA+B,EAAE,SAAiB;QACrE,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,IAAI,WAAW,CAAC;QACvC,OAAO;YACL,EAAE,EAAE,GAAG,CAAC,EAAE,IAAI,SAAS;YACvB,IAAI,EAAE,QAAQ;YACd,KAAK;YACL,IAAI,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE;YACpB,OAAO,EAAE,GAAG,CAAC,OAAO,IAAI,EAAE;YAC1B,OAAO,EAAE,CAAC,GAAG,CAAC,OAAO,IAAI,QAAQ,CAA4C;YAC7E,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,WAAW,EAAE,GAAG,CAAC,WAAW;YAC5B,eAAe,EAAE,GAAG,CAAC,eAAe;YACpC,OAAO,EAAE,GAAG,CAAC,OAAO,KAAK,KAAK;YAC9B,WAAW,EAAE,QAAQ;SACtB,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,SAAS;QACP,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAED;;OAEG;IACH,oBAAoB;QAClB,OAAO,IAAI,CAAC,iBAAiB,CAAC;IAChC,CAAC;IAED;;OAEG;IACH,mBAAmB,CAAC,YAAoB;QACtC,eAAe;QACf,IAAI,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,YAAY,CAAC,EAAE,OAAO,KAAK,KAAK,EAAE,CAAC;YAC/D,OAAO,KAAK,CAAC;QACf,CAAC;QAED,iBAAiB;QACjB,IAAI,IAAI,CAAC,iBAAiB,CAAC,YAAY,CAAC,EAAE,OAAO,KAAK,KAAK,EAAE,CAAC;YAC5D,OAAO,KAAK,CAAC;QACf,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,mBAAmB,CAAC,YAAoB;QACtC,IAAI,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,YAAY,CAAC,EAAE,OAAO,KAAK,KAAK,EAAE,CAAC;YAC/D,OAAO,UAAU,CAAC;QACpB,CAAC;QACD,IAAI,IAAI,CAAC,iBAAiB,CAAC,YAAY,CAAC,EAAE,CAAC;YACzC,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,OAAO,UAAU,CAAC;IACpB,CAAC;IAED;;OAEG;IACH,eAAe;QACb,OAAO,CACL,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,MAAM,GAAG,CAAC;YAC9C,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAC3F,CAAC;IACJ,CAAC;CACF;AAtQD,kDAsQC"}
+{"version":3,"file":"project-config-loader.js","sourceRoot":"","sources":["../../src/core/project-config-loader.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAqCH,oDA8BC;AAYD,kDAWC;AAxFD,uCAAyB;AACzB,2CAA6B;AAC7B,8CAAgC;AAQhC,2DAA2E;AAC3E,wCAA8D;AAC9D,mDAAuD;AAEvD;;GAEG;AACH,MAAM,cAAc,GAAkB;IACpC,MAAM,EAAE,UAAU;IAClB,uBAAuB,EAAE,wBAAwB;CAClD,CAAC;AAEF;;;;;GAKG;AACH,MAAM,cAAc,GAAG,IAAI,GAAG,EAA2E,CAAC;AAE1G;;;;GAIG;AACH,SAAgB,oBAAoB,CAAC,WAAmB;IACtD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACtC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;IAE5D,IAAI,IAA0B,CAAC;IAC/B,IAAI,CAAC;QACH,IAAI,GAAG,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IACjC,CAAC;IAAC,MAAM,CAAC;QACP,IAAI,GAAG,SAAS,CAAC;IACnB,CAAC;IACD,wCAAwC;IACxC,IAAI,CAAC,IAAI,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QACjD,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC3B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,oCAAoC;IACpC,IAAI,IAAI,EAAE,OAAO,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,MAAM,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;YAC3E,OAAO,MAAM,CAAC,GAAG,CAAC;QACpB,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;IACrE,MAAM,GAAG,GAAG,MAAiC,CAAC;IAC9C,IAAI,IAAI,EAAE,OAAO,KAAK,SAAS,EAAE,CAAC;QAChC,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAOD;;;;GAIG;AACH,SAAgB,mBAAmB,CAAC,WAAmB;IACrD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,oBAAoB,CAAC,WAAW,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,GAAG,EAAE,UAAiD,CAAC;QAC1E,MAAM,YAAY,GAAG,UAAU,EAAE,YAAmD,CAAC;QACrF,MAAM,IAAI,GAAG,YAAY,EAAE,IAAI,CAAC;QAChC,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;IAC9E,CAAC;IAAC,MAAM,CAAC;QACP,wBAAwB;IAC1B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAa,mBAAmB;IACtB,WAAW,CAAS;IACpB,MAAM,CAAgB;IACtB,iBAAiB,CAA6C;IAEtE,YAAY,WAAoB;QAC9B,IAAI,CAAC,WAAW,GAAG,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;QAChD,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,cAAc,EAAE,CAAC;QACpC,IAAI,CAAC,iBAAiB,GAAG,EAAE,CAAC;IAC9B,CAAC;IAED;;OAEG;IACH,IAAI;QACF,sCAAsC;QACtC,MAAM,GAAG,GAAG,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACnD,IAAI,GAAG,EAAE,CAAC;YACR,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,cAAc,EAAE,GAAI,GAA8B,EAAE,CAAC;QAC1E,CAAC;QAED,aAAa;QACb,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAE7B,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAED;;OAEG;IACK,qBAAqB;QAC3B,eAAe;QACf,IAAI,IAAI,CAAC,MAAM,CAAC,uBAAuB,EAAE,CAAC;YACxC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAC1B,IAAI,CAAC,WAAW,EAChB,UAAU,EACV,IAAI,CAAC,MAAM,CAAC,uBAAuB,CACpC,CAAC;YACF,IAAI,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC9B,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBACrD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAE/B,CAAC;gBACF,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;oBAC9B,IAAI,CAAC,iBAAiB,GAAG,EAAE,GAAG,IAAI,CAAC,iBAAiB,EAAE,GAAG,MAAM,CAAC,kBAAkB,EAAE,CAAC;gBACvF,CAAC;YACH,CAAC;QACH,CAAC;QAED,iBAAiB;QACjB,IAAI,IAAI,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;YACnC,IAAI,CAAC,iBAAiB,GAAG,EAAE,GAAG,IAAI,CAAC,iBAAiB,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAC5F,CAAC;IACH,CAAC;IAED;;;;;;;;;;;;;OAaG;IACH,gBAAgB,CAAC,OAA6B;QAC5C,qDAAqD;QACrD,MAAM,UAAU,GAAG,OAAO,EAAE,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,UAAU,CAAC;QACvE,IAAI,MAAM,GAAG,yBAAe,CAAC,UAAU,CAAC,CAAC;QACzC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,CAAC,KAAK,CAAC,mBAAmB,UAAU,gBAAgB,CAAC,CAAC;YAC7D,MAAM,GAAG,yBAAe,CAAC;QAC3B,CAAC;QACD,MAAM,IAAI,GAAG,CACX,MAAkC,EAClC,GAAoB,EACQ,EAAE;YAC9B,IAAI,GAAG,KAAK,IAAI;gBAAE,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC;YACvC,MAAM,QAAQ,GAA+B,EAAE,CAAC;YAChD,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;gBACrB,IAAI,MAAM,CAAC,EAAE,CAAC;oBAAE,QAAQ,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;YAC5C,CAAC;YACD,OAAO,QAAQ,CAAC;QAClB,CAAC,CAAC;QACF,MAAM,cAAc,GAAG,CACrB,MAAkC,EAClC,GAAoB,EACV,EAAE,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAEzF,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,MAAM,MAAM,GAA4B;YACtC,QAAQ,EAAE,IAAI,CAAC,uBAAS,EAAE,MAAM,CAAC,QAAQ,CAAC;YAC1C,UAAU,EAAE,IAAI,CAAC,wBAAU,EAAE,MAAM,CAAC,UAAU,CAAC;YAC/C,OAAO,EAAE,IAAI,CAAC,qBAAO,EAAE,MAAM,CAAC,OAAO,CAAC;YACtC,QAAQ,EAAE;gBACR,GAAG,cAAc,CAAC,uBAAS,EAAE,MAAM,CAAC,QAAQ,CAAC;gBAC7C,GAAG,cAAc,CAAC,wBAAU,EAAE,MAAM,CAAC,UAAU,CAAC;gBAChD,GAAG,cAAc,CAAC,qBAAO,EAAE,MAAM,CAAC,OAAO,CAAC;aAC3C;YACD,MAAM,EAAE,EAAE;YACV,UAAU;SACX,CAAC;QAEF,iCAAiC;QACjC,IAAI,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;gBACvB,GAAG,MAAM,CAAC,IAAI,CAAC,uBAAS,CAAC;gBACzB,GAAG,MAAM,CAAC,IAAI,CAAC,wBAAU,CAAC;gBAC1B,GAAG,MAAM,CAAC,IAAI,CAAC,qBAAO,CAAC;gBACvB,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC;aACvC,CAAC,CAAC;YACH,MAAM,QAAQ,GAAG,IAAA,oCAAoB,EAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE;gBACvE,WAAW,EAAE,SAAS;aACvB,CAAC,CAAC;YACH,UAAU,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;YACxC,KAAK,MAAM,YAAY,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;gBAChD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBACnC,WAAW;gBACX,OAAO,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;gBACrC,OAAO,MAAM,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;gBACvC,OAAO,MAAM,CAAC,OAAQ,CAAC,YAAY,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QAED,8CAA8C;QAC9C,8CAA8C;QAC9C,2CAA2C;QAC3C,KAAK,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC;YACrE,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;gBACtD,SAAS;YACX,CAAC;YACD,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAEpD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAEvB,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,IAAI,WAAW,CAAC;YAC7C,QAAQ,KAAK,EAAE,CAAC;gBACd,KAAK,UAAU;oBACb,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC;oBACjC,MAAM;gBACR,KAAK,WAAW;oBACd,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC;oBACnC,MAAM;gBACR,KAAK,QAAQ;oBACX,MAAM,CAAC,OAAQ,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC;oBACjC,MAAM;YACV,CAAC;QACH,CAAC;QAED,4DAA4D;QAC5D,+CAA+C;QAC/C,wBAAwB;QACxB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAQ,CAAC,EAAE,CAAC;YAC/D,IACE,UAAU,CAAC,SAAS;gBACpB,UAAU,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;gBAC/B,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAC3D,CAAC;gBACD,OAAO,MAAM,CAAC,OAAQ,CAAC,EAAE,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;;;;OAMG;IACK,YAAY,CAAC,GAA+B,EAAE,SAAiB;QACrE,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,IAAI,WAAW,CAAC;QACvC,OAAO;YACL,EAAE,EAAE,GAAG,CAAC,EAAE,IAAI,SAAS;YACvB,IAAI,EAAE,QAAQ;YACd,KAAK;YACL,IAAI,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE;YACpB,OAAO,EAAE,GAAG,CAAC,OAAO,IAAI,EAAE;YAC1B,OAAO,EAAE,CAAC,GAAG,CAAC,OAAO,IAAI,QAAQ,CAA4C;YAC7E,WAAW,EAAE,GAAG,CAAC,WAAW;YAC5B,eAAe,EAAE,GAAG,CAAC,eAAe;YACpC,OAAO,EAAE,GAAG,CAAC,OAAO,KAAK,KAAK;YAC9B,WAAW,EAAE,QAAQ;SACtB,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,SAAS;QACP,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAED;;OAEG;IACH,oBAAoB;QAClB,OAAO,IAAI,CAAC,iBAAiB,CAAC;IAChC,CAAC;IAED;;OAEG;IACH,mBAAmB,CAAC,YAAoB;QACtC,eAAe;QACf,IAAI,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,YAAY,CAAC,EAAE,OAAO,KAAK,KAAK,EAAE,CAAC;YAC/D,OAAO,KAAK,CAAC;QACf,CAAC;QAED,iBAAiB;QACjB,IAAI,IAAI,CAAC,iBAAiB,CAAC,YAAY,CAAC,EAAE,OAAO,KAAK,KAAK,EAAE,CAAC;YAC5D,OAAO,KAAK,CAAC;QACf,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,mBAAmB,CAAC,YAAoB;QACtC,IAAI,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,YAAY,CAAC,EAAE,OAAO,KAAK,KAAK,EAAE,CAAC;YAC/D,OAAO,UAAU,CAAC;QACpB,CAAC;QACD,IAAI,IAAI,CAAC,iBAAiB,CAAC,YAAY,CAAC,EAAE,CAAC;YACzC,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,OAAO,UAAU,CAAC;IACpB,CAAC;IAED;;OAEG;IACH,eAAe;QACb,OAAO,CACL,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,MAAM,GAAG,CAAC;YAC9C,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAC3F,CAAC;IACJ,CAAC;CACF;AAtPD,kDAsPC"}

package/dist/failure/constraint-handler.d.ts

@@ -2,7 +2,7 @@
  * ConstraintViolationHandler — 约束违规统一处理（S4）
  *
  * 问题：ConstraintViolationError 在 4 个调用点有 4 种行为：
- *   1. 抛异常阻断（checker.ts / interceptor.ts）
+ *   1. 抛异常阻断（checker.ts）
  *   2. 返回 null（report.ts catch 后返回空数据）
  *   3. 返回 403 HTTP 状态
  *   4. console.warn 静默吞掉

package/dist/failure/constraint-handler.js

@@ -3,7 +3,7 @@
  * ConstraintViolationHandler — 约束违规统一处理（S4）
  *
  * 问题：ConstraintViolationError 在 4 个调用点有 4 种行为：
- *   1. 抛异常阻断（checker.ts / interceptor.ts）
+ *   1. 抛异常阻断（checker.ts）
  *   2. 返回 null（report.ts catch 后返回空数据）
  *   3. 返回 403 HTTP 状态
  *   4. console.warn 静默吞掉

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

@@ -4,10 +4,7 @@
  * 把已注册的 ConstraintCheck 适配为统一 Gate，供守卫链（如 studio
  * runCompletionGuards）复用 runGates 的 deny 单调 / ask fail-closed 语义。
  *
- * 证据语义：本接线点构造的 CheckEnv 不带 git staged diff / 源码扫描证据
- * （stagedDiff 空、srcScan 空）——证据 flag 未接线的 checker 按契约返回
- * 'skip'（不阻断，映射为 abstain）；纯上下文判断的 checker 照常判定。
- * studio 侧若需 git 证据，在 #129 接线时扩展 CheckEnv 构造。
+ * env 经 buildCheckEnv(..., 'none') 构造（显式不接证据），语义见工厂 doc。
  */
 import type { ConstraintCheck } from '../core/constraints/checkers';
 import type { Gate } from './types';

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

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

package/dist/gates/checker-gate.js

@@ -5,13 +5,11 @@
  * 把已注册的 ConstraintCheck 适配为统一 Gate，供守卫链（如 studio
  * runCompletionGuards）复用 runGates 的 deny 单调 / ask fail-closed 语义。
  *
- * 证据语义：本接线点构造的 CheckEnv 不带 git staged diff / 源码扫描证据
- * （stagedDiff 空、srcScan 空）——证据 flag 未接线的 checker 按契约返回
- * 'skip'（不阻断，映射为 abstain）；纯上下文判断的 checker 照常判定。
- * studio 侧若需 git 证据，在 #129 接线时扩展 CheckEnv 构造。
+ * env 经 buildCheckEnv(..., 'none') 构造（显式不接证据），语义见工厂 doc。
  */
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.createCheckerGate = createCheckerGate;
+const checkers_1 = require("../core/constraints/checkers");
 const decision_1 = require("./decision");
 /**
  * 将已注册 checker 适配为统一 Gate（checker-as-guard 接线点）
@@ -28,13 +26,7 @@ function createCheckerGate(check, order = 0) {
         async evaluate(ctx) {
             const startTime = Date.now();
             const projectPath = ctx.projectPath || process.cwd();
-            const env = {
-                context: { operation: 'manual', projectPath },
-                projectPath,
-                stagedDiff: async () => '',
-                stagedDiffNames: async () => '',
-                srcScan: () => [],
-            };
+            const env = (0, checkers_1.buildCheckEnv)({ operation: 'manual', projectPath }, 'none');
             const outcome = await check.evaluate(env);
             return (0, decision_1.decisionFromResult)({
                 gate: check.id,

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

@@ -1 +1 @@
-{"version":3,"file":"checker-gate.js","sourceRoot":"","sources":["../../src/gates/checker-gate.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;GAUG;;AAcH,8CA6BC;AAvCD,yCAAgD;AAEhD;;;;;;;GAOG;AACH,SAAgB,iBAAiB,CAAC,KAAsB,EAAE,KAAK,GAAG,CAAC;IACjE,OAAO;QACL,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,KAAK;QACL,KAAK,CAAC,QAAQ,CAAC,GAAgB;YAC7B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC7B,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;YACrD,MAAM,GAAG,GAAa;gBACpB,OAAO,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE;gBAC7C,WAAW;gBACX,UAAU,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE;gBAC1B,eAAe,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE;gBAC/B,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE;aAClB,CAAC;YACF,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YAC1C,OAAO,IAAA,6BAAkB,EAAC;gBACxB,IAAI,EAAE,KAAK,CAAC,EAAE;gBACd,MAAM,EAAE,OAAO,KAAK,KAAK;gBACzB,OAAO,EACL,OAAO,KAAK,KAAK;oBACf,CAAC,CAAC,YAAY,KAAK,CAAC,EAAE,QAAQ;oBAC9B,CAAC,CAAC,OAAO,KAAK,MAAM;wBAClB,CAAC,CAAC,YAAY,KAAK,CAAC,EAAE,aAAa;wBACnC,CAAC,CAAC,YAAY,KAAK,CAAC,EAAE,MAAM;gBAClC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;gBACnC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;aACjC,CAAC,CAAC;QACL,CAAC;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"checker-gate.js","sourceRoot":"","sources":["../../src/gates/checker-gate.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;AAeH,8CAuBC;AAnCD,2DAA6D;AAE7D,yCAAgD;AAEhD;;;;;;;GAOG;AACH,SAAgB,iBAAiB,CAAC,KAAsB,EAAE,KAAK,GAAG,CAAC;IACjE,OAAO;QACL,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,KAAK;QACL,KAAK,CAAC,QAAQ,CAAC,GAAgB;YAC7B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC7B,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;YACrD,MAAM,GAAG,GAAG,IAAA,wBAAa,EAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,EAAE,MAAM,CAAC,CAAC;YACxE,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YAC1C,OAAO,IAAA,6BAAkB,EAAC;gBACxB,IAAI,EAAE,KAAK,CAAC,EAAE;gBACd,MAAM,EAAE,OAAO,KAAK,KAAK;gBACzB,OAAO,EACL,OAAO,KAAK,KAAK;oBACf,CAAC,CAAC,YAAY,KAAK,CAAC,EAAE,QAAQ;oBAC9B,CAAC,CAAC,OAAO,KAAK,MAAM;wBAClB,CAAC,CAAC,YAAY,KAAK,CAAC,EAAE,aAAa;wBACnC,CAAC,CAAC,YAAY,KAAK,CAAC,EAAE,MAAM;gBAClC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;gBACnC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;aACjC,CAAC,CAAC;QACL,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/gates/definitions.d.ts

@@ -3,46 +3,17 @@
  *
  * - 每个门禁在此声明 id / description / 默认 order / CLI 元数据；
  *   registry.ts 按此表做「定义↔实现」双向闭环校验（复制 checker 闭环模式）。
- * - CLI 元数据被 bin/harness.js 消费，注册表驱动生成 6 个门禁命令：
- *   命令名/别名/选项/子命令路由与历史手工块完全兼容；实现引用为
- *   module+export（CommandImplRef），bin 按需 per-command 懒加载（H5/O2）。
+ * - CLI 元数据即 CommandDefinition（架构评审候选8，ADR-0007：形状对齐通用
+ *   命令定义，bin/harness.js 单引擎单循环生成全部命令）：命令名/别名/选项/
+ *   子命令路由与历史手工块完全兼容；实现引用为 module+export（CommandImplRef），
+ *   bin 按需 per-command 懒加载（H5/O2）。门禁特有语义由两个标志表达：
+ *   subcommandStrict:false（未知位置参数落回默认 action）+
+ *   bareRunsAction:true（无位置参数时跑默认 action 而非显示帮助）。
  * - 本模块禁止 import 任何门禁/命令实现（仅 type import，运行时零依赖）——
  *   bin 启动期只加载本纯数据模块（保持 --help/--version 懒加载，
  *   闭环校验在 registry 加载期执行）。
  */
-import type { CommandImplRef } from '../cli/commands/definitions';
-/**
- * 门禁 CLI 选项元数据（直接映射 commander `.option()`）
- */
-export interface GateCliOption {
-    /** commander option flags，如 '-p, --project-path <path>' */
-    flags: string;
-    /** 选项描述 */
-    description: string;
-    /** commander 缺省值；negated option（如 --no-strict）不设，由 commander 默认 true */
-    defaultValue?: string | boolean;
-}
-/**
- * 门禁 CLI 命令元数据（bin/harness.js 注册表驱动生成）
- */
-export interface GateCliDefinition {
-    /** 命令名（历史命令名兼容保留） */
-    command: string;
-    /** 命令别名 */
-    alias?: string;
-    /** 位置参数声明，如 '[subcommand]' / '[cmd]' */
-    argument?: string;
-    /** 命令描述 */
-    description: string;
-    /** 命令选项 */
-    options: GateCliOption[];
-    /** 子命令名 → 命令实现引用（module+export）；命中后按 [options] 透传 */
-    subcommands?: Record<string, CommandImplRef>;
-    /** 默认 action 命令实现引用（module+export） */
-    action: CommandImplRef;
-    /** 默认 action 实参构造：arg = 位置参数（无位置参数时为 undefined），options = commander 选项对象 */
-    mapActionArgs: (arg: string | undefined, options: Record<string, unknown>) => unknown[];
-}
+import type { CommandDefinition } from '../cli/commands/definitions';
 /**
  * 门禁定义
  */
@@ -53,8 +24,8 @@ export interface GateDefinition {
     description: string;
     /** 默认顺序（config.yml `gates.order` 可覆盖），小者先执行 */
     order: number;
-    /** CLI 元数据（bin/harness.js 注册表驱动生成） */
-    cli: GateCliDefinition;
+    /** CLI 元数据（形状 = CommandDefinition，bin/harness.js 通用引擎驱动生成） */
+    cli: CommandDefinition;
 }
 /**
  * 6 门禁定义（默认 order 按字母序，与历史 bin 块顺序一致）

package/dist/gates/definitions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"definitions.d.ts","sourceRoot":"","sources":["../../src/gates/definitions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAElE;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,2DAA2D;IAC3D,KAAK,EAAE,MAAM,CAAC;IACd,WAAW;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,wEAAwE;IACxE,YAAY,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,qBAAqB;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW;IACX,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,wCAAwC;IACxC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW;IACX,OAAO,EAAE,aAAa,EAAE,CAAC;IACzB,qDAAqD;IACrD,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAC7C,sCAAsC;IACtC,MAAM,EAAE,cAAc,CAAC;IACvB,4EAA4E;IAC5E,aAAa,EAAE,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,OAAO,EAAE,CAAC;CACzF;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,4BAA4B;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,YAAY;IACZ,WAAW,EAAE,MAAM,CAAC;IACpB,+CAA+C;IAC/C,KAAK,EAAE,MAAM,CAAC;IACd,sCAAsC;IACtC,GAAG,EAAE,iBAAiB,CAAC;CACxB;AAED;;GAEG;AACH,eAAO,MAAM,gBAAgB,EAAE,cAAc,EA4I5C,CAAC"}
+{"version":3,"file":"definitions.d.ts","sourceRoot":"","sources":["../../src/gates/definitions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAErE;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,4BAA4B;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,YAAY;IACZ,WAAW,EAAE,MAAM,CAAC;IACpB,+CAA+C;IAC/C,KAAK,EAAE,MAAM,CAAC;IACd,8DAA8D;IAC9D,GAAG,EAAE,iBAAiB,CAAC;CACxB;AAED;;GAEG;AACH,eAAO,MAAM,gBAAgB,EAAE,cAAc,EAoJ5C,CAAC"}

package/dist/gates/definitions.js

@@ -4,9 +4,12 @@
  *
  * - 每个门禁在此声明 id / description / 默认 order / CLI 元数据；
  *   registry.ts 按此表做「定义↔实现」双向闭环校验（复制 checker 闭环模式）。
- * - CLI 元数据被 bin/harness.js 消费，注册表驱动生成 6 个门禁命令：
- *   命令名/别名/选项/子命令路由与历史手工块完全兼容；实现引用为
- *   module+export（CommandImplRef），bin 按需 per-command 懒加载（H5/O2）。
+ * - CLI 元数据即 CommandDefinition（架构评审候选8，ADR-0007：形状对齐通用
+ *   命令定义，bin/harness.js 单引擎单循环生成全部命令）：命令名/别名/选项/
+ *   子命令路由与历史手工块完全兼容；实现引用为 module+export（CommandImplRef），
+ *   bin 按需 per-command 懒加载（H5/O2）。门禁特有语义由两个标志表达：
+ *   subcommandStrict:false（未知位置参数落回默认 action）+
+ *   bareRunsAction:true（无位置参数时跑默认 action 而非显示帮助）。
  * - 本模块禁止 import 任何门禁/命令实现（仅 type import，运行时零依赖）——
  *   bin 启动期只加载本纯数据模块（保持 --help/--version 懒加载，
  *   闭环校验在 registry 加载期执行）。
@@ -33,9 +36,11 @@ exports.GATE_DEFINITIONS = [
                 { flags: '--check-all', description: '检查所有任务', defaultValue: false },
                 { flags: '--run-e2e', description: '运行 E2E 测试', defaultValue: false },
             ],
-            subcommands: { list: { module: 'acceptance', export: 'listAcceptanceCriteria' } },
+            subcommands: { list: { impl: { module: 'acceptance', export: 'listAcceptanceCriteria' } } },
+            subcommandStrict: false,
+            bareRunsAction: true,
             action: { module: 'acceptance', export: 'acceptance' },
-            mapActionArgs: (_arg, options) => [options],
+            mapActionArgs: (_positionals, options) => [options],
         },
     },
     {
@@ -54,7 +59,7 @@ exports.GATE_DEFINITIONS = [
                 { flags: '--strict', description: '严格模式（warn 也阻止）' },
             ],
             action: { module: 'command', export: 'executeCommand' },
-            mapActionArgs: (arg, options) => [arg, options],
+            mapActionArgs: (positionals, options) => [positionals[0], options],
         },
     },
     {
@@ -71,9 +76,11 @@ exports.GATE_DEFINITIONS = [
                 { flags: '--no-strict', description: '关闭严格模式' },
                 { flags: '--allow-breaking', description: '允许破坏性变更', defaultValue: false },
             ],
-            subcommands: { validate: { module: 'contract', export: 'validateSchema' } },
+            subcommands: { validate: { impl: { module: 'contract', export: 'validateSchema' } } },
+            subcommandStrict: false,
+            bareRunsAction: true,
             action: { module: 'contract', export: 'contract' },
-            mapActionArgs: (_arg, options) => [options],
+            mapActionArgs: (_positionals, options) => [options],
         },
     },
     {
@@ -94,7 +101,7 @@ exports.GATE_DEFINITIONS = [
                 { flags: '--benchmark-timeout <n>', description: '基准测试超时（秒）', defaultValue: '60' },
             ],
             action: { module: 'performance', export: 'performance' },
-            mapActionArgs: (_arg, options) => [
+            mapActionArgs: (_positionals, options) => [
                 {
                     projectPath: options.projectPath,
                     coverage: options.coverage,
@@ -122,9 +129,11 @@ exports.GATE_DEFINITIONS = [
                 { flags: '--no-block-on-changes', description: '不阻止变更请求' },
                 { flags: '--allowed-reviewers <list>', description: '允许的审查者（逗号分隔）' },
             ],
-            subcommands: { status: { module: 'review', export: 'reviewStatus' } },
+            subcommands: { status: { impl: { module: 'review', export: 'reviewStatus' } } },
+            subcommandStrict: false,
+            bareRunsAction: true,
             action: { module: 'review', export: 'review' },
-            mapActionArgs: (_arg, options) => [
+            mapActionArgs: (_positionals, options) => [
                 {
                     projectPath: options.projectPath,
                     minReviewers: parseInt(String(options.minReviewers), 10),
@@ -151,9 +160,11 @@ exports.GATE_DEFINITIONS = [
                 { flags: '--ignore-dev-deps', description: '忽略开发依赖', defaultValue: false },
                 { flags: '--scan-command <cmd>', description: '自定义扫描命令' },
             ],
-            subcommands: { audit: { module: 'security', export: 'auditDetails' } },
+            subcommands: { audit: { impl: { module: 'security', export: 'auditDetails' } } },
+            subcommandStrict: false,
+            bareRunsAction: true,
             action: { module: 'security', export: 'security' },
-            mapActionArgs: (_arg, options) => [options],
+            mapActionArgs: (_positionals, options) => [options],
         },
     },
 ];