@dommaker/harness 0.1.4 → 0.2.0

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/presets/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAEvD,eAAO,MAAM,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAIjD,CAAC;AAEF,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,cAAc,EAAE,CAAC;AAE1D;;GAEG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAErD"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/presets/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,aAAa,EACb,eAAe,EACf,cAAc,EACd,SAAS,EAET,yBAAyB,EACzB,gBAAgB,GACjB,MAAM,YAAY,CAAC;AAEpB,YAAY,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC"}

package/dist/presets/index.js

@@ -1,25 +1,15 @@
 "use strict";
 /**
- * 预设导出
+ * 预设模块入口
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.RELAXED_PRESET = exports.STANDARD_PRESET = exports.STRICT_PRESET = exports.PRESETS = void 0;
-exports.getPreset = getPreset;
-const strict_1 = require("./strict");
-Object.defineProperty(exports, "STRICT_PRESET", { enumerable: true, get: function () { return strict_1.STRICT_PRESET; } });
-const standard_1 = require("./standard");
+exports.getIronLawPreset = exports.STANDARD_IRON_LAWS_CONFIG = exports.getPreset = exports.RELAXED_PRESET = exports.STANDARD_PRESET = exports.STRICT_PRESET = void 0;
+var standard_1 = require("./standard");
+Object.defineProperty(exports, "STRICT_PRESET", { enumerable: true, get: function () { return standard_1.STRICT_PRESET; } });
 Object.defineProperty(exports, "STANDARD_PRESET", { enumerable: true, get: function () { return standard_1.STANDARD_PRESET; } });
-const relaxed_1 = require("./relaxed");
-Object.defineProperty(exports, "RELAXED_PRESET", { enumerable: true, get: function () { return relaxed_1.RELAXED_PRESET; } });
-exports.PRESETS = {
-    strict: strict_1.STRICT_PRESET,
-    standard: standard_1.STANDARD_PRESET,
-    relaxed: relaxed_1.RELAXED_PRESET,
-};
-/**
- * 获取预设配置
- */
-function getPreset(name) {
-    return exports.PRESETS[name] || standard_1.STANDARD_PRESET;
-}
+Object.defineProperty(exports, "RELAXED_PRESET", { enumerable: true, get: function () { return standard_1.RELAXED_PRESET; } });
+Object.defineProperty(exports, "getPreset", { enumerable: true, get: function () { return standard_1.getPreset; } });
+// 向后兼容
+Object.defineProperty(exports, "STANDARD_IRON_LAWS_CONFIG", { enumerable: true, get: function () { return standard_1.STANDARD_IRON_LAWS_CONFIG; } });
+Object.defineProperty(exports, "getIronLawPreset", { enumerable: true, get: function () { return standard_1.getIronLawPreset; } });
 //# sourceMappingURL=index.js.map

package/dist/presets/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/presets/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAkBH,8BAEC;AAlBD,qCAAyC;AAWhC,8FAXA,sBAAa,OAWA;AAVtB,yCAA6C;AAUrB,gGAVf,0BAAe,OAUe;AATvC,uCAA2C;AASF,+FAThC,wBAAc,OASgC;AAN1C,QAAA,OAAO,GAAkC;IACpD,MAAM,EAAE,sBAAa;IACrB,QAAQ,EAAE,0BAAe;IACzB,OAAO,EAAE,wBAAc;CACxB,CAAC;AAIF;;GAEG;AACH,SAAgB,SAAS,CAAC,IAAY;IACpC,OAAO,eAAO,CAAC,IAAI,CAAC,IAAI,0BAAe,CAAC;AAC1C,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/presets/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAEH,uCAQoB;AAPlB,yGAAA,aAAa,OAAA;AACb,2GAAA,eAAe,OAAA;AACf,0GAAA,cAAc,OAAA;AACd,qGAAA,SAAS,OAAA;AACT,OAAO;AACP,qHAAA,yBAAyB,OAAA;AACzB,4GAAA,gBAAgB,OAAA"}

package/dist/presets/standard.d.ts

@@ -1,8 +1,50 @@
+/**
+ * 约束预设
+ *
+ * 预设定义哪些约束被启用
+ */
+/**
+ * 预设配置
+ */
+export interface PresetConfig {
+    /** 预设名称 */
+    name: string;
+    /** 启用的铁律 ID 列表（null 表示全部启用） */
+    ironLaws: string[] | null;
+    /** 启用的指导原则 ID 列表（null 表示全部启用） */
+    guidelines: string[] | null;
+    /** 启用的提示 ID 列表（null 表示全部启用） */
+    tips: string[] | null;
+}
+/**
+ * 严格预设
+ *
+ * 所有约束全部启用
+ */
+export declare const STRICT_PRESET: PresetConfig;
 /**
  * 标准预设
  *
- * 核心 error 级别铁律启用，warning 可跳过
+ * 铁律全部启用，指导原则和提示选择性启用
  */
+export declare const STANDARD_PRESET: PresetConfig;
+/**
+ * 宽松预设
+ *
+ * 仅启用核心铁律，禁用提示
+ */
+export declare const RELAXED_PRESET: PresetConfig;
+/**
+ * 获取预设
+ */
+export declare function getPreset(name: string): PresetConfig;
 import type { IronLawConfig } from '../types/iron-law';
-export declare const STANDARD_PRESET: IronLawConfig;
+/**
+ * @deprecated 使用 PresetConfig 代替
+ */
+export { STANDARD_PRESET as STANDARD_IRON_LAWS_CONFIG };
+/**
+ * @deprecated 使用 getPreset 代替
+ */
+export declare function getIronLawPreset(preset: string): IronLawConfig;
 //# sourceMappingURL=standard.d.ts.map

package/dist/presets/standard.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"standard.d.ts","sourceRoot":"","sources":["../../src/presets/standard.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAW,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAEhE,eAAO,MAAM,eAAe,EAAE,aAyC7B,CAAC"}
+{"version":3,"file":"standard.d.ts","sourceRoot":"","sources":["../../src/presets/standard.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,WAAW;IACX,IAAI,EAAE,MAAM,CAAC;IAEb,+BAA+B;IAC/B,QAAQ,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IAE1B,iCAAiC;IACjC,UAAU,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IAE5B,+BAA+B;IAC/B,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;CACvB;AAED;;;;GAIG;AACH,eAAO,MAAM,aAAa,EAAE,YAK3B,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,eAAe,EAAE,YAK7B,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,cAAc,EAAE,YAY5B,CAAC;AAEF;;GAEG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,CAWpD;AAMD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAGvD;;GAEG;AACH,OAAO,EAAE,eAAe,IAAI,yBAAyB,EAAE,CAAC;AAExD;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,aAAa,CAS9D"}

package/dist/presets/standard.js

@@ -1,51 +1,81 @@
 "use strict";
 /**
- * 标准预设
+ * 约束预设
  *
- * 核心 error 级别铁律启用，warning 可跳过
+ * 预设定义哪些约束被启用
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.STANDARD_PRESET = void 0;
+exports.STANDARD_IRON_LAWS_CONFIG = exports.RELAXED_PRESET = exports.STANDARD_PRESET = exports.STRICT_PRESET = void 0;
+exports.getPreset = getPreset;
+exports.getIronLawPreset = getIronLawPreset;
+/**
+ * 严格预设
+ *
+ * 所有约束全部启用
+ */
+exports.STRICT_PRESET = {
+    name: 'strict',
+    ironLaws: null, // 全部启用
+    guidelines: null, // 全部启用
+    tips: null, // 全部启用
+};
+/**
+ * 标准预设
+ *
+ * 铁律全部启用，指导原则和提示选择性启用
+ */
 exports.STANDARD_PRESET = {
-    preset: 'standard',
-    enabled: true,
+    name: 'standard',
+    ironLaws: null, // 全部启用
+    guidelines: null, // 全部启用
+    tips: null, // 全部启用
+};
+exports.STANDARD_IRON_LAWS_CONFIG = exports.STANDARD_PRESET;
+/**
+ * 宽松预设
+ *
+ * 仅启用核心铁律，禁用提示
+ */
+exports.RELAXED_PRESET = {
+    name: 'relaxed',
     ironLaws: [
-        {
-            id: 'no_fix_without_root_cause',
-            rule: 'NO FIXES WITHOUT ROOT CAUSE INVESTIGATION FIRST',
-            message: '在修复问题之前，必须先进行根本原因调查',
-            trigger: 'bug_fix_attempt',
-            enforcement: 'debug-systematic',
-            severity: 'error',
-            enabled: true,
-        },
-        {
-            id: 'no_completion_without_verification',
-            rule: 'NO COMPLETION CLAIMS WITHOUT FRESH VERIFICATION EVIDENCE',
-            message: '在声明任务完成之前，必须运行验证命令',
-            trigger: 'task_completion_claim',
-            enforcement: 'verify-completion',
-            severity: 'error',
-            enabled: true,
-        },
-        {
-            id: 'capability_sync',
-            rule: 'CODE CHANGES MUST UPDATE CAPABILITIES.MD',
-            message: '核心模块变更后必须同步更新功能清单',
-            trigger: 'module_modification',
-            enforcement: 'update-capabilities',
-            severity: 'warning',
-            enabled: true,
-        },
-        {
-            id: 'readme_required',
-            rule: 'NEW MODULES MUST HAVE README',
-            message: '新模块必须创建 README 文档',
-            trigger: 'module_creation',
-            enforcement: 'create-readme',
-            severity: 'info',
-            enabled: true,
-        },
+        'no_bypass_checkpoint',
+        'no_self_approval',
+        'no_completion_without_verification',
+    ],
+    guidelines: [
+        'no_fix_without_root_cause',
+        'no_code_without_test',
     ],
+    tips: [], // 禁用提示
 };
+/**
+ * 获取预设
+ */
+function getPreset(name) {
+    switch (name) {
+        case 'strict':
+            return exports.STRICT_PRESET;
+        case 'standard':
+            return exports.STANDARD_PRESET;
+        case 'relaxed':
+            return exports.RELAXED_PRESET;
+        default:
+            return exports.STANDARD_PRESET;
+    }
+}
+const definitions_1 = require("../core/constraints/definitions");
+/**
+ * @deprecated 使用 getPreset 代替
+ */
+function getIronLawPreset(preset) {
+    const config = getPreset(preset);
+    return {
+        preset: preset,
+        enabled: true,
+        ironLaws: config.ironLaws
+            ? Object.values(definitions_1.IRON_LAWS).filter(c => config.ironLaws.includes(c.id))
+            : Object.values(definitions_1.IRON_LAWS),
+    };
+}
 //# sourceMappingURL=standard.js.map

package/dist/presets/standard.js.map

@@ -1 +1 @@
-{"version":3,"file":"standard.js","sourceRoot":"","sources":["../../src/presets/standard.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;;AAIU,QAAA,eAAe,GAAkB;IAC5C,MAAM,EAAE,UAAU;IAClB,OAAO,EAAE,IAAI;IACb,QAAQ,EAAE;QACR;YACE,EAAE,EAAE,2BAA2B;YAC/B,IAAI,EAAE,iDAAiD;YACvD,OAAO,EAAE,qBAAqB;YAC9B,OAAO,EAAE,iBAAiB;YAC1B,WAAW,EAAE,kBAAkB;YAC/B,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,IAAI;SACd;QACD;YACE,EAAE,EAAE,oCAAoC;YACxC,IAAI,EAAE,0DAA0D;YAChE,OAAO,EAAE,oBAAoB;YAC7B,OAAO,EAAE,uBAAuB;YAChC,WAAW,EAAE,mBAAmB;YAChC,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,IAAI;SACd;QACD;YACE,EAAE,EAAE,iBAAiB;YACrB,IAAI,EAAE,0CAA0C;YAChD,OAAO,EAAE,mBAAmB;YAC5B,OAAO,EAAE,qBAAqB;YAC9B,WAAW,EAAE,qBAAqB;YAClC,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,IAAI;SACd;QACD;YACE,EAAE,EAAE,iBAAiB;YACrB,IAAI,EAAE,8BAA8B;YACpC,OAAO,EAAE,mBAAmB;YAC5B,OAAO,EAAE,iBAAiB;YAC1B,WAAW,EAAE,eAAe;YAC5B,QAAQ,EAAE,MAAM;YAChB,OAAO,EAAE,IAAI;SACd;KACF;CACF,CAAC"}
+{"version":3,"file":"standard.js","sourceRoot":"","sources":["../../src/presets/standard.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;;AAmEH,8BAWC;AAiBD,4CASC;AAnFD;;;;GAIG;AACU,QAAA,aAAa,GAAiB;IACzC,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,IAAI,EAAK,OAAO;IAC1B,UAAU,EAAE,IAAI,EAAG,OAAO;IAC1B,IAAI,EAAE,IAAI,EAAS,OAAO;CAC3B,CAAC;AAEF;;;;GAIG;AACU,QAAA,eAAe,GAAiB;IAC3C,IAAI,EAAE,UAAU;IAChB,QAAQ,EAAE,IAAI,EAAK,OAAO;IAC1B,UAAU,EAAE,IAAI,EAAG,OAAO;IAC1B,IAAI,EAAE,IAAI,EAAS,OAAO;CAC3B,CAAC;AA+C0B,oCApDf,uBAAe,CAoDyB;AA7CrD;;;;GAIG;AACU,QAAA,cAAc,GAAiB;IAC1C,IAAI,EAAE,SAAS;IACf,QAAQ,EAAE;QACR,sBAAsB;QACtB,kBAAkB;QAClB,oCAAoC;KACrC;IACD,UAAU,EAAE;QACV,2BAA2B;QAC3B,sBAAsB;KACvB;IACD,IAAI,EAAE,EAAE,EAAG,OAAO;CACnB,CAAC;AAEF;;GAEG;AACH,SAAgB,SAAS,CAAC,IAAY;IACpC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,qBAAa,CAAC;QACvB,KAAK,UAAU;YACb,OAAO,uBAAe,CAAC;QACzB,KAAK,SAAS;YACZ,OAAO,sBAAc,CAAC;QACxB;YACE,OAAO,uBAAe,CAAC;IAC3B,CAAC;AACH,CAAC;AAOD,iEAA4D;AAO5D;;GAEG;AACH,SAAgB,gBAAgB,CAAC,MAAc;IAC7C,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IACjC,OAAO;QACL,MAAM,EAAE,MAA2C;QACnD,OAAO,EAAE,IAAI;QACb,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACvB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,uBAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,QAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACvE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,uBAAS,CAAC;KAC7B,CAAC;AACJ,CAAC"}

package/dist/types/constraint.d.ts

@@ -0,0 +1,184 @@
+/**
+ * 约束类型定义
+ *
+ * 三层约束体系：
+ * - Iron Laws：绝对禁止，无例外，违背即阻止执行
+ * - Guidelines：优先建议，有例外，违背发警告但不阻止
+ * - Tips：信息性提示，可忽略
+ */
+/**
+ * 约束 ID
+ */
+export type ConstraintId = string;
+/**
+ * 约束层级
+ */
+export type ConstraintLevel = 'iron_law' | 'guideline' | 'tip';
+/**
+ * 约束触发条件
+ */
+export type ConstraintTrigger = 'bug_fix_attempt' | 'task_completion_claim' | 'skill_creation' | 'code_implementation' | 'test_creation' | 'workflow_execution' | 'step_execution' | 'step_creation' | 'tool_creation' | 'workflow_creation' | 'module_creation' | 'module_modification' | 'module_deletion' | 'module_extension' | 'feature_development' | 'api_change' | 'export_change' | 'file_creation' | 'file_modification' | 'file_deletion' | 'commit' | 'push' | 'merge';
+/**
+ * 约束定义
+ */
+export interface Constraint {
+    /** 约束 ID */
+    id: ConstraintId;
+    /** 约束规则（英文） */
+    rule: string;
+    /** 约束消息（中文） */
+    message: string;
+    /** 约束层级 */
+    level: ConstraintLevel;
+    /** 触发条件（支持多个 trigger） */
+    trigger: ConstraintTrigger | ConstraintTrigger[];
+    /** 强制执行的技能/步骤 */
+    enforcement: string;
+    /** 约束描述 */
+    description?: string;
+    /** 是否启用 */
+    enabled?: boolean;
+    /** 例外条件（仅 Guidelines 有效） */
+    exceptions?: string[];
+}
+/**
+ * @deprecated 使用 ConstraintId 代替
+ */
+export type IronLawId = ConstraintId;
+/**
+ * @deprecated 使用 ConstraintLevel 代替
+ */
+export type IronLawSeverity = 'error' | 'warning' | 'info';
+/**
+ * @deprecated 使用 ConstraintTrigger 代替
+ */
+export type IronLawTrigger = ConstraintTrigger;
+/**
+ * @deprecated 使用 Constraint 代替
+ */
+export interface IronLaw extends Constraint {
+    /** @deprecated 使用 level 代替 */
+    severity?: IronLawSeverity;
+}
+/**
+ * 约束检查结果
+ */
+export interface ConstraintResult {
+    /** 约束 ID */
+    id: ConstraintId;
+    /** 约束层级 */
+    level: ConstraintLevel;
+    /** 是否满足 */
+    satisfied: boolean;
+    /** 约束定义 */
+    constraint?: Constraint;
+    /** 消息 */
+    message?: string;
+    /** 建议操作 */
+    requiredAction?: string;
+    /** 检查时间 */
+    checkedAt: Date;
+}
+/**
+ * @deprecated 使用 ConstraintResult 代替
+ */
+export interface IronLawResult extends ConstraintResult {
+    /** @deprecated */
+    law?: Constraint;
+}
+/**
+ * 约束检查上下文
+ */
+export interface ConstraintContext {
+    /** 当前操作类型 */
+    operation: ConstraintTrigger;
+    /** 工作流 ID */
+    workflowId?: string;
+    /** 步骤 ID */
+    stepId?: string;
+    /** 任务描述 */
+    taskDescription?: string;
+    /** 项目路径 */
+    projectPath?: string;
+    /** 变更的文件列表 */
+    changedFiles?: string[];
+    /** 提交信息 */
+    commitMessage?: string;
+    /** 分支名称 */
+    branch?: string;
+    /** 是否有根本原因调查 */
+    hasRootCauseInvestigation?: boolean;
+    /** 是否有验证证据 */
+    hasVerificationEvidence?: boolean;
+    /** 是否有测试 */
+    hasTest?: boolean;
+    /** 是否有失败的测试 */
+    hasFailingTest?: boolean;
+    /** 是否已进行复用检查 */
+    hasReuseCheck?: boolean;
+    /** 复用检查结果 */
+    reuseCheckResult?: {
+        existingCapabilities: string[];
+        canReuse: boolean;
+        reuseRecommendation: string;
+    };
+    scalabilityRequired?: boolean;
+    securityRequired?: boolean;
+    performanceRequired?: boolean;
+    reliabilityRequired?: boolean;
+    isSimpleTypo?: boolean;
+    isConfigValueError?: boolean;
+    isMissingConfig?: boolean;
+    isConfigFile?: boolean;
+    isTypeDefinition?: boolean;
+    isSimpleAccessor?: boolean;
+    isPureDisplayComponent?: boolean;
+    isJsonParseResult?: boolean;
+    isThirdPartyNoTypes?: boolean;
+    isLegacyMigration?: boolean;
+    isInternalRefactor?: boolean;
+    isBugFixOnly?: boolean;
+    isPerformanceOptimization?: boolean;
+    isRedundantCodeCleanup?: boolean;
+    isSameEffectRefactor?: boolean;
+    isUnusedCodeRemoval?: boolean;
+    /** 例外理由说明 */
+    exceptionReason?: string;
+    /** 执行上下文 */
+    executionContext?: any;
+}
+/**
+ * @deprecated 使用 ConstraintContext 代替
+ */
+export type IronLawContext = ConstraintContext;
+/**
+ * 约束违规错误
+ */
+export declare class ConstraintViolationError extends Error {
+    readonly result: ConstraintResult;
+    constructor(result: ConstraintResult);
+}
+/**
+ * @deprecated 使用 ConstraintViolationError 代替
+ */
+export declare class IronLawViolationError extends ConstraintViolationError {
+    constructor(result: ConstraintResult);
+}
+/**
+ * 三层约束检查结果
+ */
+export interface ConstraintCheckResult {
+    /** 铁律检查结果（必须全部通过） */
+    ironLaws: ConstraintResult[];
+    /** 指导原则检查结果（警告，不阻止） */
+    guidelines: ConstraintResult[];
+    /** 提示检查结果（仅提示） */
+    tips: ConstraintResult[];
+    /** 是否通过（铁律全部通过） */
+    passed: boolean;
+    /** 警告数量 */
+    warningCount: number;
+    /** 提示数量 */
+    tipCount: number;
+}
+//# sourceMappingURL=constraint.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"constraint.d.ts","sourceRoot":"","sources":["../../src/types/constraint.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC;AAElC;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,WAAW,GAAG,KAAK,CAAC;AAE/D;;GAEG;AACH,MAAM,MAAM,iBAAiB,GACzB,iBAAiB,GACjB,uBAAuB,GACvB,gBAAgB,GAChB,qBAAqB,GACrB,eAAe,GACf,oBAAoB,GACpB,gBAAgB,GAChB,eAAe,GACf,eAAe,GACf,mBAAmB,GACnB,iBAAiB,GACjB,qBAAqB,GACrB,iBAAiB,GACjB,kBAAkB,GAClB,qBAAqB,GACrB,YAAY,GACZ,eAAe,GACf,eAAe,GACf,mBAAmB,GACnB,eAAe,GACf,QAAQ,GACR,MAAM,GACN,OAAO,CAAC;AAEZ;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,YAAY;IACZ,EAAE,EAAE,YAAY,CAAC;IAEjB,eAAe;IACf,IAAI,EAAE,MAAM,CAAC;IAEb,eAAe;IACf,OAAO,EAAE,MAAM,CAAC;IAEhB,WAAW;IACX,KAAK,EAAE,eAAe,CAAC;IAEvB,yBAAyB;IACzB,OAAO,EAAE,iBAAiB,GAAG,iBAAiB,EAAE,CAAC;IAEjD,iBAAiB;IACjB,WAAW,EAAE,MAAM,CAAC;IAEpB,WAAW;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,WAAW;IACX,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB,4BAA4B;IAC5B,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB;AAMD;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,YAAY,CAAC;AAErC;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAE3D;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,iBAAiB,CAAC;AAE/C;;GAEG;AACH,MAAM,WAAW,OAAQ,SAAQ,UAAU;IACzC,8BAA8B;IAC9B,QAAQ,CAAC,EAAE,eAAe,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,YAAY;IACZ,EAAE,EAAE,YAAY,CAAC;IAEjB,WAAW;IACX,KAAK,EAAE,eAAe,CAAC;IAEvB,WAAW;IACX,SAAS,EAAE,OAAO,CAAC;IAEnB,WAAW;IACX,UAAU,CAAC,EAAE,UAAU,CAAC;IAExB,SAAS;IACT,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,WAAW;IACX,cAAc,CAAC,EAAE,MAAM,CAAC;IAExB,WAAW;IACX,SAAS,EAAE,IAAI,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,aAAc,SAAQ,gBAAgB;IACrD,kBAAkB;IAClB,GAAG,CAAC,EAAE,UAAU,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,aAAa;IACb,SAAS,EAAE,iBAAiB,CAAC;IAE7B,aAAa;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,YAAY;IACZ,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,WAAW;IACX,eAAe,CAAC,EAAE,MAAM,CAAC;IAEzB,WAAW;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,cAAc;IACd,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IAExB,WAAW;IACX,aAAa,CAAC,EAAE,MAAM,CAAC;IAEvB,WAAW;IACX,MAAM,CAAC,EAAE,MAAM,CAAC;IAMhB,gBAAgB;IAChB,yBAAyB,CAAC,EAAE,OAAO,CAAC;IAEpC,cAAc;IACd,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAElC,YAAY;IACZ,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB,eAAe;IACf,cAAc,CAAC,EAAE,OAAO,CAAC;IAEzB,gBAAgB;IAChB,aAAa,CAAC,EAAE,OAAO,CAAC;IAExB,aAAa;IACb,gBAAgB,CAAC,EAAE;QACjB,oBAAoB,EAAE,MAAM,EAAE,CAAC;QAC/B,QAAQ,EAAE,OAAO,CAAC;QAClB,mBAAmB,EAAE,MAAM,CAAC;KAC7B,CAAC;IAOF,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAG9B,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,eAAe,CAAC,EAAE,OAAO,CAAC;IAG1B,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,sBAAsB,CAAC,EAAE,OAAO,CAAC;IAGjC,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAG5B,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,yBAAyB,CAAC,EAAE,OAAO,CAAC;IAGpC,sBAAsB,CAAC,EAAE,OAAO,CAAC;IACjC,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAE9B,aAAa;IACb,eAAe,CAAC,EAAE,MAAM,CAAC;IAEzB,YAAY;IACZ,gBAAgB,CAAC,EAAE,GAAG,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,iBAAiB,CAAC;AAE/C;;GAEG;AACH,qBAAa,wBAAyB,SAAQ,KAAK;IACjD,SAAgB,MAAM,EAAE,gBAAgB,CAAC;gBAE7B,MAAM,EAAE,gBAAgB;CAKrC;AAED;;GAEG;AACH,qBAAa,qBAAsB,SAAQ,wBAAwB;gBACrD,MAAM,EAAE,gBAAgB;CAIrC;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,qBAAqB;IACrB,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IAE7B,uBAAuB;IACvB,UAAU,EAAE,gBAAgB,EAAE,CAAC;IAE/B,kBAAkB;IAClB,IAAI,EAAE,gBAAgB,EAAE,CAAC;IAEzB,mBAAmB;IACnB,MAAM,EAAE,OAAO,CAAC;IAEhB,WAAW;IACX,YAAY,EAAE,MAAM,CAAC;IAErB,WAAW;IACX,QAAQ,EAAE,MAAM,CAAC;CAClB"}

package/dist/types/constraint.js

@@ -0,0 +1,34 @@
+"use strict";
+/**
+ * 约束类型定义
+ *
+ * 三层约束体系：
+ * - Iron Laws：绝对禁止，无例外，违背即阻止执行
+ * - Guidelines：优先建议，有例外，违背发警告但不阻止
+ * - Tips：信息性提示，可忽略
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.IronLawViolationError = exports.ConstraintViolationError = void 0;
+/**
+ * 约束违规错误
+ */
+class ConstraintViolationError extends Error {
+    result;
+    constructor(result) {
+        super(result.message || 'Constraint violation');
+        this.name = 'ConstraintViolationError';
+        this.result = result;
+    }
+}
+exports.ConstraintViolationError = ConstraintViolationError;
+/**
+ * @deprecated 使用 ConstraintViolationError 代替
+ */
+class IronLawViolationError extends ConstraintViolationError {
+    constructor(result) {
+        super(result);
+        this.name = 'IronLawViolationError';
+    }
+}
+exports.IronLawViolationError = IronLawViolationError;
+//# sourceMappingURL=constraint.js.map

package/dist/types/constraint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint.js","sourceRoot":"","sources":["../../src/types/constraint.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AA2OH;;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;AAED;;GAEG;AACH,MAAa,qBAAsB,SAAQ,wBAAwB;IACjE,YAAY,MAAwB;QAClC,KAAK,CAAC,MAAM,CAAC,CAAC;QACd,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;IACtC,CAAC;CACF;AALD,sDAKC"}

package/dist/types/index.d.ts

@@ -1,7 +1,7 @@
 /**
  * 类型导出
  */
-export * from './iron-law';
+export * from './constraint';
 export * from './checkpoint';
 export * from './passes-gate';
 export * from './cso';

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;AAEH,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAC9B,cAAc,OAAO,CAAC;AAGtB,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"}
+{"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,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"}

package/dist/types/index.js

@@ -17,7 +17,8 @@ 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 });
-__exportStar(require("./iron-law"), exports);
+// 约束类型（三层体系）
+__exportStar(require("./constraint"), exports);
 __exportStar(require("./checkpoint"), exports);
 __exportStar(require("./passes-gate"), exports);
 __exportStar(require("./cso"), exports);

package/dist/types/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;;;;;;;;;;;;;;AAEH,6CAA2B;AAC3B,+CAA6B;AAC7B,gDAA8B;AAC9B,wCAAsB"}
+{"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"}

package/dist/types/iron-law.d.ts

@@ -1,113 +1,25 @@
 /**
  * 铁律类型定义
  *
- * 铁律是工程约束框架中的强制规则，必须在执行关键操作前检查
- */
-/**
- * 铁律 ID
- */
-export type IronLawId = string;
-/**
- * 铁律严重性
- */
+ * @deprecated 请使用 './constraint' 代替
+ *
+ * 此模块保留用于向后兼容。
+ * 新代码应使用三层约束类型：
+ * - Constraint
+ * - ConstraintLevel ('iron_law' | 'guideline' | 'tip')
+ */
+import type { Constraint } from './constraint';
+export type { ConstraintId as IronLawId, ConstraintLevel, ConstraintTrigger as IronLawTrigger, Constraint as IronLaw, ConstraintResult as IronLawResult, ConstraintContext as IronLawContext, } from './constraint';
+export { ConstraintViolationError as IronLawViolationError, } from './constraint';
 export type IronLawSeverity = 'error' | 'warning' | 'info';
-/**
- * 铁律触发条件
- */
-export type IronLawTrigger = 'bug_fix_attempt' | 'task_completion_claim' | 'skill_creation' | 'code_implementation' | 'test_creation' | 'workflow_execution' | 'step_execution' | 'step_creation' | 'tool_creation' | 'workflow_creation' | 'module_creation' | 'module_modification' | 'module_deletion' | 'api_change' | 'export_change' | 'file_creation' | 'file_modification' | 'file_deletion' | 'commit' | 'push' | 'merge';
-/**
- * 铁律定义
- */
-export interface IronLaw {
-    /** 铁律 ID */
-    id: IronLawId;
-    /** 铁律规则（英文） */
-    rule: string;
-    /** 铁律消息（中文） */
-    message: string;
-    /** 触发条件 */
-    trigger: IronLawTrigger;
-    /** 强制执行的技能/步骤 */
-    enforcement: string;
-    /** 铁律严重级别 */
-    severity: IronLawSeverity;
-    /** 铁律描述 */
-    description?: string;
-    /** 是否启用 */
-    enabled?: boolean;
-}
-/**
- * 铁律检查结果
- */
-export interface IronLawResult {
-    /** 是否满足铁律 */
-    satisfied: boolean;
-    /** 铁律定义 */
-    law?: IronLaw;
-    /** 错误消息 */
-    message?: string;
-    /** 建议操作 */
-    requiredAction?: string;
-    /** 检查时间 */
-    checkedAt: Date;
-}
-/**
- * 铁律检查上下文
- */
-export interface IronLawContext {
-    /** 当前操作类型 */
-    operation: IronLawTrigger;
-    /** 工作流 ID */
-    workflowId?: string;
-    /** 步骤 ID */
-    stepId?: string;
-    /** 任务描述 */
-    taskDescription?: string;
-    /** 项目路径 */
-    projectPath?: string;
-    /** 变更的文件列表 */
-    changedFiles?: string[];
-    /** 提交信息 */
-    commitMessage?: string;
-    /** 分支名称 */
-    branch?: string;
-    /** 是否有根本原因调查 */
-    hasRootCauseInvestigation?: boolean;
-    /** 是否有验证证据 */
-    hasVerificationEvidence?: boolean;
-    /** 是否有测试 */
-    hasTest?: boolean;
-    /** 是否有失败的测试 */
-    hasFailingTest?: boolean;
-    /** 是否已进行复用检查 */
-    hasReuseCheck?: boolean;
-    /** 复用检查结果 */
-    reuseCheckResult?: {
-        existingCapabilities: string[];
-        canReuse: boolean;
-        reuseRecommendation: string;
-    };
-    /** 执行上下文 */
-    executionContext?: any;
-}
-/**
- * 铁律违规错误
- */
-export declare class IronLawViolationError extends Error {
-    readonly result: IronLawResult;
-    constructor(result: IronLawResult);
-}
-/**
- * 铁律配置
- */
 export interface IronLawConfig {
-    /** 铁律列表 */
-    ironLaws: IronLaw[];
-    /** 预设名称 */
+    /** @deprecated */
+    ironLaws: Constraint[];
+    /** @deprecated */
     preset?: 'strict' | 'standard' | 'relaxed';
-    /** 是否启用 */
+    /** @deprecated */
     enabled?: boolean;
-    /** 配置文件路径 */
+    /** @deprecated */
     configPath?: string;
 }
 //# sourceMappingURL=iron-law.d.ts.map

package/dist/types/iron-law.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"iron-law.d.ts","sourceRoot":"","sources":["../../src/types/iron-law.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC;AAE/B;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAE3D;;GAEG;AACH,MAAM,MAAM,cAAc,GACtB,iBAAiB,GACjB,uBAAuB,GACvB,gBAAgB,GAChB,qBAAqB,GACrB,eAAe,GACf,oBAAoB,GACpB,gBAAgB,GAChB,eAAe,GACf,eAAe,GACf,mBAAmB,GACnB,iBAAiB,GACjB,qBAAqB,GACrB,iBAAiB,GACjB,YAAY,GACZ,eAAe,GACf,eAAe,GACf,mBAAmB,GACnB,eAAe,GACf,QAAQ,GACR,MAAM,GACN,OAAO,CAAC;AAEZ;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,YAAY;IACZ,EAAE,EAAE,SAAS,CAAC;IAEd,eAAe;IACf,IAAI,EAAE,MAAM,CAAC;IAEb,eAAe;IACf,OAAO,EAAE,MAAM,CAAC;IAEhB,WAAW;IACX,OAAO,EAAE,cAAc,CAAC;IAExB,iBAAiB;IACjB,WAAW,EAAE,MAAM,CAAC;IAEpB,aAAa;IACb,QAAQ,EAAE,eAAe,CAAC;IAE1B,WAAW;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,WAAW;IACX,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,aAAa;IACb,SAAS,EAAE,OAAO,CAAC;IAEnB,WAAW;IACX,GAAG,CAAC,EAAE,OAAO,CAAC;IAEd,WAAW;IACX,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,WAAW;IACX,cAAc,CAAC,EAAE,MAAM,CAAC;IAExB,WAAW;IACX,SAAS,EAAE,IAAI,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,aAAa;IACb,SAAS,EAAE,cAAc,CAAC;IAE1B,aAAa;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,YAAY;IACZ,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,WAAW;IACX,eAAe,CAAC,EAAE,MAAM,CAAC;IAEzB,WAAW;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,cAAc;IACd,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IAExB,WAAW;IACX,aAAa,CAAC,EAAE,MAAM,CAAC;IAEvB,WAAW;IACX,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,gBAAgB;IAChB,yBAAyB,CAAC,EAAE,OAAO,CAAC;IAEpC,cAAc;IACd,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAElC,YAAY;IACZ,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB,eAAe;IACf,cAAc,CAAC,EAAE,OAAO,CAAC;IAEzB,gBAAgB;IAChB,aAAa,CAAC,EAAE,OAAO,CAAC;IAExB,aAAa;IACb,gBAAgB,CAAC,EAAE;QACjB,oBAAoB,EAAE,MAAM,EAAE,CAAC;QAC/B,QAAQ,EAAE,OAAO,CAAC;QAClB,mBAAmB,EAAE,MAAM,CAAC;KAC7B,CAAC;IAEF,YAAY;IACZ,gBAAgB,CAAC,EAAE,GAAG,CAAC;CACxB;AAED;;GAEG;AACH,qBAAa,qBAAsB,SAAQ,KAAK;IAC9C,SAAgB,MAAM,EAAE,aAAa,CAAC;gBAE1B,MAAM,EAAE,aAAa;CAKlC;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,WAAW;IACX,QAAQ,EAAE,OAAO,EAAE,CAAC;IAEpB,WAAW;IACX,MAAM,CAAC,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAC;IAE3C,WAAW;IACX,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB,aAAa;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB"}
+{"version":3,"file":"iron-law.d.ts","sourceRoot":"","sources":["../../src/types/iron-law.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAIV,UAAU,EAGX,MAAM,cAAc,CAAC;AAKtB,YAAY,EACV,YAAY,IAAI,SAAS,EACzB,eAAe,EACf,iBAAiB,IAAI,cAAc,EACnC,UAAU,IAAI,OAAO,EACrB,gBAAgB,IAAI,aAAa,EACjC,iBAAiB,IAAI,cAAc,GACpC,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,wBAAwB,IAAI,qBAAqB,GAClD,MAAM,cAAc,CAAC;AAGtB,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAG3D,MAAM,WAAW,aAAa;IAC5B,kBAAkB;IAClB,QAAQ,EAAE,UAAU,EAAE,CAAC;IACvB,kBAAkB;IAClB,MAAM,CAAC,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAC;IAC3C,kBAAkB;IAClB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,kBAAkB;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB"}