@dommaker/harness 0.1.4 → 0.2.1

package/dist/core/constraints/definitions.js

@@ -0,0 +1,438 @@
+"use strict";
+/**
+ * 约束定义
+ *
+ * 三层约束体系：
+ * - IRON_LAWS：绝对禁止，无例外
+ * - GUIDELINES：优先建议，有例外
+ * - TIPS：信息性提示
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.filterLawsBySeverity = exports.TIPS = exports.GUIDELINES = exports.IRON_LAWS = exports.IronLawViolationError = void 0;
+exports.getAllConstraints = getAllConstraints;
+exports.findConstraintsByTrigger = findConstraintsByTrigger;
+exports.getConstraint = getConstraint;
+exports.getAllLaws = getAllLaws;
+exports.findLawsByTrigger = findLawsByTrigger;
+exports.getLaw = getLaw;
+// 导出兼容类
+var constraint_1 = require("../../types/constraint");
+Object.defineProperty(exports, "IronLawViolationError", { enumerable: true, get: function () { return constraint_1.IronLawViolationError; } });
+// ========================================
+// IRON LAWS（铁律）
+// 
+// 定义：绝对禁止，无例外，违背即阻止执行
+// ========================================
+exports.IRON_LAWS = {
+    /**
+     * 禁止跳过检查点验证
+     * 原因：安全底线，检查点是质量门控
+     */
+    no_bypass_checkpoint: {
+        id: 'no_bypass_checkpoint',
+        rule: 'NO BYPASSING CHECKPOINTS',
+        message: '禁止跳过检查点验证',
+        level: 'iron_law',
+        trigger: 'step_execution',
+        enforcement: 'checkpoint-required',
+        description: '所有检查点必须通过，不能跳过验证步骤。检查点是质量的最后一道防线。',
+    },
+    /**
+     * 禁止自评通过
+     * 原因：质量底线，必须有测试证据
+     */
+    no_self_approval: {
+        id: 'no_self_approval',
+        rule: 'NO SELF APPROVAL WITHOUT TEST EVIDENCE',
+        message: '禁止自评通过，必须提供测试证据',
+        level: 'iron_law',
+        trigger: 'task_completion_claim',
+        enforcement: 'passes-gate',
+        description: '任务完成声明必须基于真实测试结果，不能由开发者自评。测试证据包括：测试报告、覆盖率数据、CI 通过记录。',
+    },
+    /**
+     * 禁止无验证声明完成
+     * 原因：质量底线，必须有验证命令
+     */
+    no_completion_without_verification: {
+        id: 'no_completion_without_verification',
+        rule: 'NO COMPLETION CLAIMS WITHOUT FRESH VERIFICATION EVIDENCE',
+        message: '禁止无验证声明完成，必须运行验证命令',
+        level: 'iron_law',
+        trigger: 'task_completion_claim',
+        enforcement: 'verify-completion',
+        description: '在声明任何任务完成之前，必须运行新鲜的、完整的验证命令。验证命令包括：npm test、npm run build、CI 流程。',
+    },
+    /**
+     * 禁止简化测试
+     * 原因：质量底线，测试困难必须解决
+     */
+    no_test_simplification: {
+        id: 'no_test_simplification',
+        rule: 'NO SIMPLIFYING TESTS TO AVOID DIFFICULTY',
+        message: '禁止简化测试绕过困难',
+        level: 'iron_law',
+        trigger: 'test_creation',
+        enforcement: 'full-test-coverage',
+        description: `在编写测试时，不能因为遇到困难而简化或跳过测试。
+
+遇到测试困难时：
+1. 分析问题：是 mock 问题？异步问题？环境问题？
+2. 尝试解决：查阅文档、搜索解决方案
+3. 请求帮助：向用户说明困难，请求指示
+
+禁止：
+- 为了绕过 mock 困难而删除测试用例
+- 为了绕过异步问题而跳过断言
+- 降低测试覆盖率要求`,
+    },
+};
+// ========================================
+// GUIDELINES（指导原则）
+// 
+// 定义：优先建议，有例外，违背发警告但不阻止
+// ========================================
+exports.GUIDELINES = {
+    /**
+     * 禁止无调查修复 bug
+     * 例外：简单 typo、配置错误
+     */
+    no_fix_without_root_cause: {
+        id: 'no_fix_without_root_cause',
+        rule: 'NO FIXES WITHOUT ROOT CAUSE INVESTIGATION FIRST',
+        message: '复杂 bug 必须先调查根本原因',
+        level: 'guideline',
+        trigger: 'bug_fix_attempt',
+        enforcement: 'debug-systematic',
+        description: `在尝试修复 bug 之前，按复杂度区分调查要求：
+
+[复杂 bug - 必须系统性调查]
+- 业务逻辑错误（需追踪数据流）
+- 状态不一致（需分析状态变化链）
+- 性能问题（需定位瓶颈）
+- 多模块联动问题（需分析调用链）
+
+[简单 bug - 快速确认即可]
+- typo/拼写错误
+- 配置值错误
+- 缺少必要配置
+
+[禁止]
+- 没有任何调查就直接猜测修复
+- 看到 error 就直接 try-catch 掩盖`,
+        exceptions: ['simple_typo', 'config_value_error', 'missing_config'],
+    },
+    /**
+     * 业务逻辑代码必须先写测试
+     * 例外：配置文件、类型定义
+     */
+    no_code_without_test: {
+        id: 'no_code_without_test',
+        rule: 'PRODUCTION LOGIC CODE MUST HAVE TESTS FIRST',
+        message: '业务逻辑代码必须先写测试',
+        level: 'guideline',
+        trigger: 'code_implementation',
+        enforcement: 'tdd-cycle',
+        description: `在编写代码时，按类型区分测试要求：
+
+[必须先写测试]
+- 业务逻辑代码（算法、计算、数据处理）
+- 工具函数（可复用的独立函数）
+- API 接口（输入输出验证）
+- 核心组件（影响系统行为的组件）
+
+[不强制测试]
+- 配置文件（config、env）
+- 类型定义文件（.d.ts、interface）
+- 简单 getter/setter
+- 纯展示 UI 组件（无交互逻辑）`,
+        exceptions: ['config_file', 'type_definition', 'simple_accessor', 'pure_display_component'],
+    },
+    /**
+     * 避免 any 类型
+     * 例外：JSON.parse、第三方库无类型
+     */
+    no_any_type: {
+        id: 'no_any_type',
+        rule: 'AVOID ANY TYPE, USE UNKNOWN OR SPECIFIC TYPES',
+        message: '避免 any 类型',
+        level: 'guideline',
+        trigger: 'code_implementation',
+        enforcement: 'type-safe',
+        description: `TypeScript 代码中应避免使用 any 类型：
+
+[推荐做法]
+- 使用 unknown + 类型守卫
+- 使用具体类型定义
+- 使用泛型约束
+
+[允许例外] 但需添加注释说明
+- JSON.parse/JSON.stringify 结果
+- 第三方库无类型定义
+- 迁移遗留代码临时使用`,
+        exceptions: ['json_parse_result', 'third_party_no_types', 'legacy_migration'],
+    },
+    /**
+     * 简单方案优先
+     * 例外：扩展性、安全性、性能需求
+     */
+    simplest_solution_first: {
+        id: 'simplest_solution_first',
+        rule: 'CHECK LOCAL/SIMPLE OPTIONS BEFORE REMOTE/COMPLEX',
+        message: '先检查本地/简单方案',
+        level: 'guideline',
+        trigger: ['feature_development', 'module_extension', 'code_implementation'],
+        enforcement: 'check-local-first',
+        description: `在实现功能时，必须按顺序检查：
+1) 是否有本地数据源（内存/文件）？
+2) 是否有更简单的方案（更少依赖/更少代码）？
+3) 如需远程查询/复杂架构，必须说明理由。
+
+例外情况（可跳过简单方案）：
+- scalability_required: 需要多实例/分布式部署
+- security_required: 需要加密/鉴权等安全措施
+- performance_required: 本地方案性能不足
+- reliability_required: 需要持久化/高可用`,
+        exceptions: ['scalability_required', 'security_required', 'performance_required', 'reliability_required'],
+    },
+    /**
+     * 复用检查优先
+     * 例外：紧急情况
+     */
+    no_creation_without_reuse_check: {
+        id: 'no_creation_without_reuse_check',
+        rule: 'NO NEW CAPABILITIES WITHOUT REUSE CHECK FIRST',
+        message: '创建新能力前必须检查复用',
+        level: 'guideline',
+        trigger: [
+            'step_creation',
+            'tool_creation',
+            'workflow_creation',
+            'module_creation',
+            'module_extension',
+            'feature_development',
+        ],
+        enforcement: 'reuse-first',
+        description: `在创建新能力之前，必须先执行复用检查：
+
+1. 查询现有能力索引
+2. 检查是否有功能相似的能力
+3. 评估是否可以复用或扩展
+4. 记录复用检查结果
+
+复用优先级：
+1. 直接复用现有能力
+2. 扩展现有能力
+3. 组合多个现有能力
+4. 创建新能力`,
+    },
+    /**
+     * 功能清单同步
+     * 例外：内部重构、bug fix
+     */
+    capability_sync: {
+        id: 'capability_sync',
+        rule: 'CODE CHANGES MUST UPDATE CAPABILITIES.MD',
+        message: '核心模块变更必须同步功能清单',
+        level: 'guideline',
+        trigger: ['module_creation', 'module_modification', 'module_deletion', 'module_extension'],
+        enforcement: 'update-capabilities',
+        description: `在创建/修改/删除/扩展核心模块时，必须同步更新 CAPABILITIES.md：
+
+[必须更新]
+- 新增模块/功能
+- 修改模块对外接口
+- 删除模块/功能
+- 扩展模块能力
+
+[不强制更新]
+- 内部重构不影响对外接口
+- bug fix 不改变功能
+- 性能优化不改变接口`,
+        exceptions: ['internal_refactor', 'bug_fix_only', 'performance_optimization'],
+    },
+    /**
+     * 禁止砍功能
+     * 例外：冗余代码清理
+     */
+    no_simplification_without_approval: {
+        id: 'no_simplification_without_approval',
+        rule: 'NO SIMPLIFYING LOGIC WITHOUT USER APPROVAL',
+        message: '禁止砍功能，合理重构除外',
+        level: 'guideline',
+        trigger: 'code_implementation',
+        enforcement: 'preserve-complexity',
+        description: `在实现或修改代码时，区分简化类型：
+
+[禁止] 必须向用户说明并获取批准
+- 为了赶进度砍掉必要功能
+- 为了省事跳过边界条件处理
+- 为了简化逻辑牺牲用户体验
+
+[允许] 合理优化，不需要批准
+- 发现冗余代码后的重构优化
+- 用更简洁的实现达到相同效果
+- 删除不再使用的遗留代码`,
+        exceptions: ['redundant_code_cleanup', 'same_effect_refactor', 'unused_code_removal'],
+    },
+    /**
+     * 技能需要测试
+     * 例外：MVP
+     */
+    no_skill_without_test: {
+        id: 'no_skill_without_test',
+        rule: 'NO SKILL WITHOUT A FAILING TEST FIRST',
+        message: '创建技能前必须先定义测试场景',
+        level: 'guideline',
+        trigger: 'skill_creation',
+        enforcement: 'skill-test-scenario',
+        description: `在创建新的 agent 技能之前，必须先定义测试场景：
+
+1. 定义输入/输出期望
+2. 定义边界条件
+3. 定义失败场景
+4. 编写测试用例
+
+测试场景帮助：
+- 明确技能的功能边界
+- 验证技能的正确性
+- 防止回归`,
+    },
+    /**
+     * 测试覆盖率要求
+     * 例外：遗留代码
+     */
+    test_coverage_required: {
+        id: 'test_coverage_required',
+        rule: 'TEST COVERAGE MUST MEET REQUIREMENTS',
+        message: '测试覆盖率必须达到要求',
+        level: 'guideline',
+        trigger: 'task_completion_claim',
+        enforcement: 'check-coverage',
+        description: `在提交代码前，测试覆盖率必须达到项目要求（默认 80%）。
+
+检查命令：
+- npm run test:coverage
+- 查看覆盖率报告
+
+提升覆盖率：
+- 为未覆盖的分支添加测试
+- 为边界条件添加测试`,
+    },
+};
+// ========================================
+// TIPS（提示）
+// 
+// 定义：信息性提示，可忽略
+// ========================================
+exports.TIPS = {
+    /**
+     * 建议写 README
+     */
+    readme_required: {
+        id: 'readme_required',
+        rule: 'NEW MODULES SHOULD HAVE README',
+        message: '建议为新模块创建 README',
+        level: 'tip',
+        trigger: 'module_creation',
+        enforcement: 'create-readme',
+        description: `创建新模块时建议同时创建 README.md，说明：
+
+- 模块用途
+- 使用方法
+- API 文档
+- 示例代码
+
+README 帮助其他开发者快速了解模块。`,
+    },
+    /**
+     * 建议写 API 文档
+     */
+    doc_required_for_public_api: {
+        id: 'doc_required_for_public_api',
+        rule: 'PUBLIC API SHOULD HAVE DOCUMENTATION',
+        message: '建议为公共 API 添加文档注释',
+        level: 'tip',
+        trigger: 'export_change',
+        enforcement: 'add-docs',
+        description: `所有导出的函数、类、接口建议添加 JSDoc 注释：
+
+\`\`\`typescript
+/**
+ * 计算两个数的和
+ * @param a 第一个数
+ * @param b 第二个数
+ * @returns 两数之和
+ */
+export function add(a: number, b: number): number {
+  return a + b;
+}
+\`\`\`
+
+文档注释帮助 IDE 提供智能提示。`,
+    },
+};
+// ========================================
+// 辅助函数
+// ========================================
+/**
+ * 获取所有约束（三层合并）
+ */
+function getAllConstraints() {
+    return [
+        ...Object.values(exports.IRON_LAWS),
+        ...Object.values(exports.GUIDELINES),
+        ...Object.values(exports.TIPS),
+    ];
+}
+/**
+ * 根据触发条件查找适用的约束
+ */
+function findConstraintsByTrigger(trigger) {
+    return getAllConstraints().filter(constraint => {
+        const triggers = Array.isArray(constraint.trigger) ? constraint.trigger : [constraint.trigger];
+        return triggers.includes(trigger);
+    });
+}
+/**
+ * 根据 ID 获取约束
+ */
+function getConstraint(id) {
+    return exports.IRON_LAWS[id] || exports.GUIDELINES[id] || exports.TIPS[id];
+}
+// ========================================
+// 向后兼容的函数
+// ========================================
+/**
+ * @deprecated 使用 getAllConstraints 代替
+ */
+function getAllLaws() {
+    return getAllConstraints();
+}
+/**
+ * @deprecated 使用 findConstraintsByTrigger 代替
+ */
+function findLawsByTrigger(trigger) {
+    return findConstraintsByTrigger(trigger);
+}
+/**
+ * @deprecated 使用 getConstraint 代替
+ */
+function getLaw(id) {
+    return getConstraint(id);
+}
+/**
+ * @deprecated 使用 GUIDELINES 代替
+ */
+const filterLawsBySeverity = (severity) => {
+    // 向后兼容映射
+    if (severity === 'error')
+        return Object.values(exports.IRON_LAWS);
+    if (severity === 'warning')
+        return Object.values(exports.GUIDELINES);
+    if (severity === 'info')
+        return Object.values(exports.TIPS);
+    return [];
+};
+exports.filterLawsBySeverity = filterLawsBySeverity;
+//# sourceMappingURL=definitions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"definitions.js","sourceRoot":"","sources":["../../../src/core/constraints/definitions.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAkYH,8CAMC;AAKD,4DAKC;AAKD,sCAEC;AASD,gCAEC;AAKD,8CAEC;AAKD,wBAEC;AA9aD,QAAQ;AACR,qDAA+D;AAAtD,mHAAA,qBAAqB,OAAA;AAE9B,2CAA2C;AAC3C,gBAAgB;AAChB,GAAG;AACH,sBAAsB;AACtB,2CAA2C;AAE9B,QAAA,SAAS,GAA+B;IACnD;;;OAGG;IACH,oBAAoB,EAAE;QACpB,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,0BAA0B;QAChC,OAAO,EAAE,WAAW;QACpB,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,gBAAgB;QACzB,WAAW,EAAE,qBAAqB;QAClC,WAAW,EAAE,mCAAmC;KACjD;IAED;;;OAGG;IACH,gBAAgB,EAAE;QAChB,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,wCAAwC;QAC9C,OAAO,EAAE,iBAAiB;QAC1B,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,uBAAuB;QAChC,WAAW,EAAE,aAAa;QAC1B,WAAW,EAAE,sDAAsD;KACpE;IAED;;;OAGG;IACH,kCAAkC,EAAE;QAClC,EAAE,EAAE,oCAAoC;QACxC,IAAI,EAAE,0DAA0D;QAChE,OAAO,EAAE,oBAAoB;QAC7B,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,uBAAuB;QAChC,WAAW,EAAE,mBAAmB;QAChC,WAAW,EAAE,kEAAkE;KAChF;IAED;;;OAGG;IACH,sBAAsB,EAAE;QACtB,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,0CAA0C;QAChD,OAAO,EAAE,YAAY;QACrB,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,eAAe;QACxB,WAAW,EAAE,oBAAoB;QACjC,WAAW,EAAE;;;;;;;;;;YAUL;KACT;CACF,CAAC;AAEF,2CAA2C;AAC3C,mBAAmB;AACnB,GAAG;AACH,wBAAwB;AACxB,2CAA2C;AAE9B,QAAA,UAAU,GAA+B;IACpD;;;OAGG;IACH,yBAAyB,EAAE;QACzB,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,iDAAiD;QACvD,OAAO,EAAE,kBAAkB;QAC3B,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,iBAAiB;QAC1B,WAAW,EAAE,kBAAkB;QAC/B,WAAW,EAAE;;;;;;;;;;;;;;;4BAeW;QACxB,UAAU,EAAE,CAAC,aAAa,EAAE,oBAAoB,EAAE,gBAAgB,CAAC;KACpE;IAED;;;OAGG;IACH,oBAAoB,EAAE;QACpB,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,6CAA6C;QACnD,OAAO,EAAE,cAAc;QACvB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,WAAW;QACxB,WAAW,EAAE;;;;;;;;;;;;mBAYE;QACf,UAAU,EAAE,CAAC,aAAa,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,wBAAwB,CAAC;KAC5F;IAED;;;OAGG;IACH,WAAW,EAAE;QACX,EAAE,EAAE,aAAa;QACjB,IAAI,EAAE,+CAA+C;QACrD,OAAO,EAAE,WAAW;QACpB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,WAAW;QACxB,WAAW,EAAE;;;;;;;;;;aAUJ;QACT,UAAU,EAAE,CAAC,mBAAmB,EAAE,sBAAsB,EAAE,kBAAkB,CAAC;KAC9E;IAED;;;OAGG;IACH,uBAAuB,EAAE;QACvB,EAAE,EAAE,yBAAyB;QAC7B,IAAI,EAAE,kDAAkD;QACxD,OAAO,EAAE,YAAY;QACrB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,qBAAqB,EAAE,kBAAkB,EAAE,qBAAqB,CAAC;QAC3E,WAAW,EAAE,mBAAmB;QAChC,WAAW,EAAE;;;;;;;;;kCASiB;QAC9B,UAAU,EAAE,CAAC,sBAAsB,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,sBAAsB,CAAC;KAC1G;IAED;;;OAGG;IACH,+BAA+B,EAAE;QAC/B,EAAE,EAAE,iCAAiC;QACrC,IAAI,EAAE,+CAA+C;QACrD,OAAO,EAAE,cAAc;QACvB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE;YACP,eAAe;YACf,eAAe;YACf,mBAAmB;YACnB,iBAAiB;YACjB,kBAAkB;YAClB,qBAAqB;SACtB;QACD,WAAW,EAAE,aAAa;QAC1B,WAAW,EAAE;;;;;;;;;;;SAWR;KACN;IAED;;;OAGG;IACH,eAAe,EAAE;QACf,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,0CAA0C;QAChD,OAAO,EAAE,gBAAgB;QACzB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,iBAAiB,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,kBAAkB,CAAC;QAC1F,WAAW,EAAE,qBAAqB;QAClC,WAAW,EAAE;;;;;;;;;;;YAWL;QACR,UAAU,EAAE,CAAC,mBAAmB,EAAE,cAAc,EAAE,0BAA0B,CAAC;KAC9E;IAED;;;OAGG;IACH,kCAAkC,EAAE;QAClC,EAAE,EAAE,oCAAoC;QACxC,IAAI,EAAE,4CAA4C;QAClD,OAAO,EAAE,cAAc;QACvB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,qBAAqB;QAClC,WAAW,EAAE;;;;;;;;;;cAUH;QACV,UAAU,EAAE,CAAC,wBAAwB,EAAE,sBAAsB,EAAE,qBAAqB,CAAC;KACtF;IAED;;;OAGG;IACH,qBAAqB,EAAE;QACrB,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,uCAAuC;QAC7C,OAAO,EAAE,gBAAgB;QACzB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,gBAAgB;QACzB,WAAW,EAAE,qBAAqB;QAClC,WAAW,EAAE;;;;;;;;;;OAUV;KACJ;IAED;;;OAGG;IACH,sBAAsB,EAAE;QACtB,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,sCAAsC;QAC5C,OAAO,EAAE,aAAa;QACtB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,uBAAuB;QAChC,WAAW,EAAE,gBAAgB;QAC7B,WAAW,EAAE;;;;;;;;YAQL;KACT;CACF,CAAC;AAEF,2CAA2C;AAC3C,WAAW;AACX,GAAG;AACH,eAAe;AACf,2CAA2C;AAE9B,QAAA,IAAI,GAA+B;IAC9C;;OAEG;IACH,eAAe,EAAE;QACf,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,gCAAgC;QACtC,OAAO,EAAE,iBAAiB;QAC1B,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,iBAAiB;QAC1B,WAAW,EAAE,eAAe;QAC5B,WAAW,EAAE;;;;;;;sBAOK;KACnB;IAED;;OAEG;IACH,2BAA2B,EAAE;QAC3B,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,sCAAsC;QAC5C,OAAO,EAAE,kBAAkB;QAC3B,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,eAAe;QACxB,WAAW,EAAE,UAAU;QACvB,WAAW,EAAE;;;;;;;;;;;;;;mBAcE;KAChB;CACF,CAAC;AAEF,2CAA2C;AAC3C,OAAO;AACP,2CAA2C;AAE3C;;GAEG;AACH,SAAgB,iBAAiB;IAC/B,OAAO;QACL,GAAG,MAAM,CAAC,MAAM,CAAC,iBAAS,CAAC;QAC3B,GAAG,MAAM,CAAC,MAAM,CAAC,kBAAU,CAAC;QAC5B,GAAG,MAAM,CAAC,MAAM,CAAC,YAAI,CAAC;KACvB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,wBAAwB,CAAC,OAA0B;IACjE,OAAO,iBAAiB,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE;QAC7C,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QAC/F,OAAO,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAgB,aAAa,CAAC,EAAU;IACtC,OAAO,iBAAS,CAAC,EAAE,CAAC,IAAI,kBAAU,CAAC,EAAE,CAAC,IAAI,YAAI,CAAC,EAAE,CAAC,CAAC;AACrD,CAAC;AAED,2CAA2C;AAC3C,UAAU;AACV,2CAA2C;AAE3C;;GAEG;AACH,SAAgB,UAAU;IACxB,OAAO,iBAAiB,EAAE,CAAC;AAC7B,CAAC;AAED;;GAEG;AACH,SAAgB,iBAAiB,CAAC,OAA0B;IAC1D,OAAO,wBAAwB,CAAC,OAAO,CAAC,CAAC;AAC3C,CAAC;AAED;;GAEG;AACH,SAAgB,MAAM,CAAC,EAAU;IAC/B,OAAO,aAAa,CAAC,EAAE,CAAC,CAAC;AAC3B,CAAC;AAED;;GAEG;AACI,MAAM,oBAAoB,GAAG,CAAC,QAAsC,EAAgB,EAAE;IAC3F,SAAS;IACT,IAAI,QAAQ,KAAK,OAAO;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,iBAAS,CAAC,CAAC;IAC1D,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,kBAAU,CAAC,CAAC;IAC7D,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,YAAI,CAAC,CAAC;IACpD,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AANW,QAAA,oBAAoB,wBAM/B"}

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

@@ -0,0 +1,8 @@
+/**
+ * 约束模块入口
+ */
+export { IRON_LAWS, GUIDELINES, TIPS, getAllConstraints, findConstraintsByTrigger, getConstraint, getAllLaws, findLawsByTrigger, getLaw, filterLawsBySeverity, } from './definitions';
+export { ConstraintChecker, checkConstraint, checkConstraints, checkBeforeExecution, constraintChecker, IronLawChecker, checkIronLaw, checkAllIronLaws, ironLawChecker, } from './checker';
+export type { ConstraintId, ConstraintLevel, ConstraintTrigger, Constraint, ConstraintResult, ConstraintContext, ConstraintCheckResult, IronLawId, IronLawSeverity, IronLawTrigger, IronLaw, IronLawResult, IronLawContext, } from '../../types/constraint';
+export { ConstraintViolationError, IronLawViolationError, } from '../../types/constraint';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EACL,SAAS,EACT,UAAU,EACV,IAAI,EACJ,iBAAiB,EACjB,wBAAwB,EACxB,aAAa,EAEb,UAAU,EACV,iBAAiB,EACjB,MAAM,EACN,oBAAoB,GACrB,MAAM,eAAe,CAAC;AAGvB,OAAO,EACL,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,EAEjB,cAAc,EACd,YAAY,EACZ,gBAAgB,EAChB,cAAc,GACf,MAAM,WAAW,CAAC;AAGnB,YAAY,EACV,YAAY,EACZ,eAAe,EACf,iBAAiB,EACjB,UAAU,EACV,gBAAgB,EAChB,iBAAiB,EACjB,qBAAqB,EAErB,SAAS,EACT,eAAe,EACf,cAAc,EACd,OAAO,EACP,aAAa,EACb,cAAc,GACf,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,wBAAwB,EAExB,qBAAqB,GACtB,MAAM,wBAAwB,CAAC"}

package/dist/core/constraints/index.js

@@ -0,0 +1,36 @@
+"use strict";
+/**
+ * 约束模块入口
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.IronLawViolationError = exports.ConstraintViolationError = exports.ironLawChecker = exports.checkAllIronLaws = exports.checkIronLaw = exports.IronLawChecker = exports.constraintChecker = exports.checkBeforeExecution = exports.checkConstraints = exports.checkConstraint = exports.ConstraintChecker = exports.filterLawsBySeverity = exports.getLaw = exports.findLawsByTrigger = exports.getAllLaws = exports.getConstraint = exports.findConstraintsByTrigger = exports.getAllConstraints = exports.TIPS = exports.GUIDELINES = exports.IRON_LAWS = void 0;
+// 三层约束定义
+var definitions_1 = require("./definitions");
+Object.defineProperty(exports, "IRON_LAWS", { enumerable: true, get: function () { return definitions_1.IRON_LAWS; } });
+Object.defineProperty(exports, "GUIDELINES", { enumerable: true, get: function () { return definitions_1.GUIDELINES; } });
+Object.defineProperty(exports, "TIPS", { enumerable: true, get: function () { return definitions_1.TIPS; } });
+Object.defineProperty(exports, "getAllConstraints", { enumerable: true, get: function () { return definitions_1.getAllConstraints; } });
+Object.defineProperty(exports, "findConstraintsByTrigger", { enumerable: true, get: function () { return definitions_1.findConstraintsByTrigger; } });
+Object.defineProperty(exports, "getConstraint", { enumerable: true, get: function () { return definitions_1.getConstraint; } });
+// 向后兼容
+Object.defineProperty(exports, "getAllLaws", { enumerable: true, get: function () { return definitions_1.getAllLaws; } });
+Object.defineProperty(exports, "findLawsByTrigger", { enumerable: true, get: function () { return definitions_1.findLawsByTrigger; } });
+Object.defineProperty(exports, "getLaw", { enumerable: true, get: function () { return definitions_1.getLaw; } });
+Object.defineProperty(exports, "filterLawsBySeverity", { enumerable: true, get: function () { return definitions_1.filterLawsBySeverity; } });
+// 约束检查器
+var checker_1 = require("./checker");
+Object.defineProperty(exports, "ConstraintChecker", { enumerable: true, get: function () { return checker_1.ConstraintChecker; } });
+Object.defineProperty(exports, "checkConstraint", { enumerable: true, get: function () { return checker_1.checkConstraint; } });
+Object.defineProperty(exports, "checkConstraints", { enumerable: true, get: function () { return checker_1.checkConstraints; } });
+Object.defineProperty(exports, "checkBeforeExecution", { enumerable: true, get: function () { return checker_1.checkBeforeExecution; } });
+Object.defineProperty(exports, "constraintChecker", { enumerable: true, get: function () { return checker_1.constraintChecker; } });
+// 向后兼容
+Object.defineProperty(exports, "IronLawChecker", { enumerable: true, get: function () { return checker_1.IronLawChecker; } });
+Object.defineProperty(exports, "checkIronLaw", { enumerable: true, get: function () { return checker_1.checkIronLaw; } });
+Object.defineProperty(exports, "checkAllIronLaws", { enumerable: true, get: function () { return checker_1.checkAllIronLaws; } });
+Object.defineProperty(exports, "ironLawChecker", { enumerable: true, get: function () { return checker_1.ironLawChecker; } });
+var constraint_1 = require("../../types/constraint");
+Object.defineProperty(exports, "ConstraintViolationError", { enumerable: true, get: function () { return constraint_1.ConstraintViolationError; } });
+// 向后兼容
+Object.defineProperty(exports, "IronLawViolationError", { enumerable: true, get: function () { return constraint_1.IronLawViolationError; } });
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/constraints/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAEH,SAAS;AACT,6CAYuB;AAXrB,wGAAA,SAAS,OAAA;AACT,yGAAA,UAAU,OAAA;AACV,mGAAA,IAAI,OAAA;AACJ,gHAAA,iBAAiB,OAAA;AACjB,uHAAA,wBAAwB,OAAA;AACxB,4GAAA,aAAa,OAAA;AACb,OAAO;AACP,yGAAA,UAAU,OAAA;AACV,gHAAA,iBAAiB,OAAA;AACjB,qGAAA,MAAM,OAAA;AACN,mHAAA,oBAAoB,OAAA;AAGtB,QAAQ;AACR,qCAWmB;AAVjB,4GAAA,iBAAiB,OAAA;AACjB,0GAAA,eAAe,OAAA;AACf,2GAAA,gBAAgB,OAAA;AAChB,+GAAA,oBAAoB,OAAA;AACpB,4GAAA,iBAAiB,OAAA;AACjB,OAAO;AACP,yGAAA,cAAc,OAAA;AACd,uGAAA,YAAY,OAAA;AACZ,2GAAA,gBAAgB,OAAA;AAChB,yGAAA,cAAc,OAAA;AAqBhB,qDAIgC;AAH9B,sHAAA,wBAAwB,OAAA;AACxB,OAAO;AACP,mHAAA,qBAAqB,OAAA"}

package/dist/core/index.d.ts

@@ -1,7 +1,7 @@
 /**
  * 核心模块导出
  */
-export * from './iron-laws';
+export * from './constraints';
 export * from './validators';
 export * from './session';
 //# 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;AAEH,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,cAAc,WAAW,CAAC"}
+{"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"}

package/dist/core/index.js

@@ -17,7 +17,9 @@ 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-laws"), exports);
+// 约束系统（三层：Iron Laws / Guidelines / Tips）
+// 包含向后兼容的 IronLaw* 导出
+__exportStar(require("./constraints"), exports);
 __exportStar(require("./validators"), exports);
 __exportStar(require("./session"), exports);
 //# 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,8CAA4B;AAC5B,+CAA6B;AAC7B,4CAA0B"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;;;;;;;;;;;;;;AAEH,yCAAyC;AACzC,sBAAsB;AACtB,gDAA8B;AAE9B,+CAA6B;AAC7B,4CAA0B"}

package/dist/core/validators/checkpoint.d.ts

@@ -3,14 +3,22 @@
  *
  * 在每个步骤执行后，自动验证检查点是否满足
  */
-import type { Checkpoint, CheckpointResult, CheckpointContext } from '../../types/checkpoint';
+import type { Checkpoint, CheckpointResult, CheckpointContext, CheckType } from '../../types/checkpoint';
 /**
  * 检查点验证器
  */
 export declare class CheckpointValidator {
     private static instance;
+    /**
+     * 支持的检查类型列表
+     */
+    private static readonly SUPPORTED_CHECK_TYPES;
     private constructor();
     static getInstance(): CheckpointValidator;
+    /**
+     * 获取支持的检查类型
+     */
+    getSupportedCheckTypes(): CheckType[];
     /**
      * 验证检查点
      */
@@ -31,6 +39,10 @@ export declare class CheckpointValidator {
      * 检查文件包含内容
      */
     private checkFileContains;
+    /**
+     * 检查文件不包含内容
+     */
+    private checkFileNotContains;
     /**
      * 检查命令执行成功
      */

package/dist/core/validators/checkpoint.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"checkpoint.d.ts","sourceRoot":"","sources":["../../../src/core/validators/checkpoint.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAMH,OAAO,KAAK,EACV,UAAU,EAEV,gBAAgB,EAEhB,iBAAiB,EAElB,MAAM,wBAAwB,CAAC;AAIhC;;GAEG;AACH,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAsB;IAE7C,OAAO;IAEP,MAAM,CAAC,WAAW,IAAI,mBAAmB;IAOzC;;OAEG;IACG,QAAQ,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,gBAAgB,CAAC;IA6B7F;;OAEG;YACW,YAAY;IA6C1B;;OAEG;YACW,eAAe;IAa7B;;OAEG;YACW,iBAAiB;IAyB/B;;OAEG;YACW,iBAAiB;IA0B/B;;OAEG;YACW,mBAAmB;IAwBjC;;OAEG;YACW,kBAAkB;IA4BhC;;OAEG;YACW,mBAAmB;IAcjC;;OAEG;YACW,sBAAsB;IAcpC;;OAEG;YACW,kBAAkB;IAehC;;OAEG;YACW,aAAa;IA6B3B;;OAEG;YACW,eAAe;IA4B7B;;OAEG;YACW,aAAa;IAgC3B;;OAEG;YACW,WAAW;IAgBzB;;OAEG;IACH,OAAO,CAAC,WAAW;IAOnB;;OAEG;IACH,OAAO,CAAC,eAAe;IAUvB;;OAEG;IACH,OAAO,CAAC,YAAY;CAarB;AAGD,eAAO,MAAM,mBAAmB,qBAAoC,CAAC;AAErE;;GAEG;AACH,wBAAsB,kBAAkB,CACtC,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,CAAC,CAE3B"}
+{"version":3,"file":"checkpoint.d.ts","sourceRoot":"","sources":["../../../src/core/validators/checkpoint.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAMH,OAAO,KAAK,EACV,UAAU,EAEV,gBAAgB,EAEhB,iBAAiB,EACjB,SAAS,EACV,MAAM,wBAAwB,CAAC;AAIhC;;GAEG;AACH,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAsB;IAE7C;;OAEG;IACH,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAc3C;IAEF,OAAO;IAEP,MAAM,CAAC,WAAW,IAAI,mBAAmB;IAOzC;;OAEG;IACH,sBAAsB,IAAI,SAAS,EAAE;IAIrC;;OAEG;IACG,QAAQ,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,gBAAgB,CAAC;IA6B7F;;OAEG;YACW,YAAY;IA+C1B;;OAEG;YACW,eAAe;IAa7B;;OAEG;YACW,iBAAiB;IAyB/B;;OAEG;YACW,iBAAiB;IA0B/B;;OAEG;YACW,oBAAoB;IA0BlC;;OAEG;YACW,mBAAmB;IAwBjC;;OAEG;YACW,kBAAkB;IA4BhC;;OAEG;YACW,mBAAmB;IAcjC;;OAEG;YACW,sBAAsB;IAcpC;;OAEG;YACW,kBAAkB;IAehC;;OAEG;YACW,aAAa;IA6B3B;;OAEG;YACW,eAAe;IA4B7B;;OAEG;YACW,aAAa;IAgC3B;;OAEG;YACW,WAAW;IAgBzB;;OAEG;IACH,OAAO,CAAC,WAAW;IAOnB;;OAEG;IACH,OAAO,CAAC,eAAe;IAUvB;;OAEG;IACH,OAAO,CAAC,YAAY;CAarB;AAGD,eAAO,MAAM,mBAAmB,qBAAoC,CAAC;AAErE;;GAEG;AACH,wBAAsB,kBAAkB,CACtC,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,CAAC,CAE3B"}

package/dist/core/validators/checkpoint.js

@@ -50,6 +50,24 @@ const execAsync = (0, util_1.promisify)(child_process_1.exec);
  */
 class CheckpointValidator {
     static instance;
+    /**
+     * 支持的检查类型列表
+     */
+    static SUPPORTED_CHECK_TYPES = [
+        'file_exists',
+        'file_not_empty',
+        'file_contains',
+        'file_not_contains',
+        'command_success',
+        'command_output',
+        'output_contains',
+        'output_not_contains',
+        'output_matches',
+        'json_path',
+        'http_status',
+        'http_body',
+        'custom',
+    ];
     constructor() { }
     static getInstance() {
         if (!CheckpointValidator.instance) {
@@ -57,6 +75,12 @@ class CheckpointValidator {
         }
         return CheckpointValidator.instance;
     }
+    /**
+     * 获取支持的检查类型
+     */
+    getSupportedCheckTypes() {
+        return [...CheckpointValidator.SUPPORTED_CHECK_TYPES];
+    }
     /**
      * 验证检查点
      */
@@ -96,6 +120,8 @@ class CheckpointValidator {
                     return await this.checkFileNotEmpty(check, context);
                 case 'file_contains':
                     return await this.checkFileContains(check, context);
+                case 'file_not_contains':
+                    return await this.checkFileNotContains(check, context);
                 case 'command_success':
                     return await this.checkCommandSuccess(check, context);
                 case 'command_output':
@@ -195,6 +221,31 @@ class CheckpointValidator {
             expected: true,
         };
     }
+    /**
+     * 检查文件不包含内容
+     */
+    async checkFileNotContains(check, context) {
+        const filePath = this.resolvePath(check.config.path || '', context.workdir);
+        const content = check.config.content || '';
+        if (!fs.existsSync(filePath)) {
+            return {
+                checkId: check.id,
+                passed: false,
+                message: `文件不存在: ${filePath}`,
+                actual: null,
+                expected: `不包含: ${content}`,
+            };
+        }
+        const fileContent = fs.readFileSync(filePath, 'utf-8');
+        const notContains = !fileContent.includes(content);
+        return {
+            checkId: check.id,
+            passed: notContains,
+            message: notContains ? `文件不包含内容: ${content}` : `文件包含内容: ${content}`,
+            actual: !notContains,
+            expected: false,
+        };
+    }
     /**
      * 检查命令执行成功
      */