@dommaker/harness 0.1.4 → 0.2.0

package/dist/core/constraints/checker.js

@@ -0,0 +1,375 @@
+"use strict";
+/**
+ * 约束检查引擎
+ *
+ * 三层约束体系检查：
+ * - Iron Laws：检查失败立即抛出异常
+ * - Guidelines：检查失败记录警告
+ * - Tips：检查失败记录提示
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ironLawChecker = exports.IronLawChecker = exports.constraintChecker = exports.ConstraintChecker = void 0;
+exports.checkConstraint = checkConstraint;
+exports.checkConstraints = checkConstraints;
+exports.checkBeforeExecution = checkBeforeExecution;
+exports.checkIronLaw = checkIronLaw;
+exports.checkAllIronLaws = checkAllIronLaws;
+const constraint_1 = require("../../types/constraint");
+const definitions_1 = require("./definitions");
+/**
+ * 约束检查器
+ */
+class ConstraintChecker {
+    static instance;
+    constructor() { }
+    /**
+     * 获取单例实例
+     */
+    static getInstance() {
+        if (!ConstraintChecker.instance) {
+            ConstraintChecker.instance = new ConstraintChecker();
+        }
+        return ConstraintChecker.instance;
+    }
+    /**
+     * 检查单个约束
+     */
+    async check(constraint, context) {
+        // 检查例外条件（仅 Guidelines 有效）
+        if (constraint.level === 'guideline' && constraint.exceptions) {
+            if (this.checkException(constraint, context)) {
+                return {
+                    id: constraint.id,
+                    level: constraint.level,
+                    satisfied: true,
+                    constraint,
+                    message: `指导原则 ${constraint.id} 因例外条件被豁免`,
+                    checkedAt: new Date(),
+                };
+            }
+        }
+        // 检查前置条件
+        const satisfied = await this.checkPrecondition(constraint, context);
+        return {
+            id: constraint.id,
+            level: constraint.level,
+            satisfied,
+            constraint,
+            message: satisfied ? undefined : constraint.message,
+            requiredAction: satisfied ? undefined : constraint.enforcement,
+            checkedAt: new Date(),
+        };
+    }
+    /**
+     * 检查例外条件
+     */
+    checkException(constraint, context) {
+        if (!constraint.exceptions)
+            return false;
+        for (const exception of constraint.exceptions) {
+            switch (exception) {
+                // simplest_solution_first 例外
+                case 'scalability_required':
+                    if (context.scalabilityRequired)
+                        return true;
+                    break;
+                case 'security_required':
+                    if (context.securityRequired)
+                        return true;
+                    break;
+                case 'performance_required':
+                    if (context.performanceRequired)
+                        return true;
+                    break;
+                case 'reliability_required':
+                    if (context.reliabilityRequired)
+                        return true;
+                    break;
+                // no_fix_without_root_cause 例外
+                case 'simple_typo':
+                    if (context.isSimpleTypo)
+                        return true;
+                    break;
+                case 'config_value_error':
+                    if (context.isConfigValueError)
+                        return true;
+                    break;
+                case 'missing_config':
+                    if (context.isMissingConfig)
+                        return true;
+                    break;
+                // no_code_without_test 例外
+                case 'config_file':
+                    if (context.isConfigFile)
+                        return true;
+                    break;
+                case 'type_definition':
+                    if (context.isTypeDefinition)
+                        return true;
+                    break;
+                case 'simple_accessor':
+                    if (context.isSimpleAccessor)
+                        return true;
+                    break;
+                case 'pure_display_component':
+                    if (context.isPureDisplayComponent)
+                        return true;
+                    break;
+                // no_any_type 例外
+                case 'json_parse_result':
+                    if (context.isJsonParseResult)
+                        return true;
+                    break;
+                case 'third_party_no_types':
+                    if (context.isThirdPartyNoTypes)
+                        return true;
+                    break;
+                case 'legacy_migration':
+                    if (context.isLegacyMigration)
+                        return true;
+                    break;
+                // capability_sync 例外
+                case 'internal_refactor':
+                    if (context.isInternalRefactor)
+                        return true;
+                    break;
+                case 'bug_fix_only':
+                    if (context.isBugFixOnly)
+                        return true;
+                    break;
+                case 'performance_optimization':
+                    if (context.isPerformanceOptimization)
+                        return true;
+                    break;
+                // no_simplification_without_approval 例外
+                case 'redundant_code_cleanup':
+                    if (context.isRedundantCodeCleanup)
+                        return true;
+                    break;
+                case 'same_effect_refactor':
+                    if (context.isSameEffectRefactor)
+                        return true;
+                    break;
+                case 'unused_code_removal':
+                    if (context.isUnusedCodeRemoval)
+                        return true;
+                    break;
+            }
+        }
+        return false;
+    }
+    /**
+     * 检查约束前置条件
+     */
+    async checkPrecondition(constraint, context) {
+        switch (constraint.id) {
+            // Iron Laws
+            case 'no_bypass_checkpoint':
+                // TODO: 检查是否跳过了检查点
+                return true;
+            case 'no_self_approval':
+                // 检查是否有测试证据
+                return context.hasTest === true;
+            case 'no_completion_without_verification':
+                // 检查是否有验证证据
+                return context.hasVerificationEvidence === true;
+            case 'no_test_simplification':
+                // TODO: 检查是否简化了测试
+                return true;
+            // Guidelines
+            case 'no_fix_without_root_cause':
+                // 检查是否有根本原因调查
+                return context.hasRootCauseInvestigation === true;
+            case 'no_code_without_test':
+                // 检查是否有失败的测试
+                return context.hasFailingTest === true;
+            case 'no_any_type':
+                // TODO: 检查代码中是否有 any 类型
+                return true;
+            case 'simplest_solution_first':
+                // 检查是否已检查本地数据源
+                return context.hasReuseCheck === true;
+            case 'no_creation_without_reuse_check':
+                // 检查是否已进行复用检查
+                return context.hasReuseCheck === true;
+            case 'capability_sync':
+                // TODO: 检查 CAPABILITIES.md 是否更新
+                return true;
+            case 'no_simplification_without_approval':
+                // TODO: 检查是否简化了逻辑
+                return true;
+            case 'no_skill_without_test':
+                // 检查是否有测试
+                return context.hasTest === true;
+            case 'test_coverage_required':
+                // TODO: 检查测试覆盖率
+                return true;
+            // Tips - 总是返回 true（仅提示）
+            case 'readme_required':
+                return true;
+            case 'doc_required_for_public_api':
+                return true;
+            default:
+                // 未知约束，默认通过
+                return true;
+        }
+    }
+    /**
+     * 查找适用于当前操作的约束
+     */
+    findApplicableConstraints(context) {
+        const trigger = context.operation;
+        const filterByTrigger = (constraints) => {
+            return Object.values(constraints).filter(constraint => {
+                const triggers = Array.isArray(constraint.trigger)
+                    ? constraint.trigger
+                    : [constraint.trigger];
+                return triggers.includes(trigger);
+            });
+        };
+        return {
+            ironLaws: filterByTrigger(definitions_1.IRON_LAWS),
+            guidelines: filterByTrigger(definitions_1.GUIDELINES),
+            tips: filterByTrigger(definitions_1.TIPS),
+        };
+    }
+    /**
+     * 执行三层约束检查
+     *
+     * - Iron Laws：检查失败立即抛出异常
+     * - Guidelines：检查失败记录警告
+     * - Tips：检查失败记录提示
+     */
+    async checkConstraints(context) {
+        const result = {
+            ironLaws: [],
+            guidelines: [],
+            tips: [],
+            passed: true,
+            warningCount: 0,
+            tipCount: 0,
+        };
+        // 1. 检查 Iron Laws（必须全部通过）
+        for (const constraint of Object.values(definitions_1.IRON_LAWS)) {
+            const triggers = Array.isArray(constraint.trigger)
+                ? constraint.trigger
+                : [constraint.trigger];
+            if (!triggers.includes(context.operation))
+                continue;
+            const checkResult = await this.check(constraint, context);
+            result.ironLaws.push(checkResult);
+            if (!checkResult.satisfied) {
+                result.passed = false;
+                throw new constraint_1.ConstraintViolationError(checkResult);
+            }
+        }
+        // 2. 检查 Guidelines（记录警告）
+        for (const constraint of Object.values(definitions_1.GUIDELINES)) {
+            const triggers = Array.isArray(constraint.trigger)
+                ? constraint.trigger
+                : [constraint.trigger];
+            if (!triggers.includes(context.operation))
+                continue;
+            const checkResult = await this.check(constraint, context);
+            result.guidelines.push(checkResult);
+            if (!checkResult.satisfied) {
+                result.warningCount++;
+            }
+        }
+        // 3. 检查 Tips（仅记录）
+        for (const constraint of Object.values(definitions_1.TIPS)) {
+            const triggers = Array.isArray(constraint.trigger)
+                ? constraint.trigger
+                : [constraint.trigger];
+            if (!triggers.includes(context.operation))
+                continue;
+            const checkResult = await this.check(constraint, context);
+            result.tips.push(checkResult);
+            if (!checkResult.satisfied) {
+                result.tipCount++;
+            }
+        }
+        return result;
+    }
+    /**
+     * 执行前检查（仅检查 Iron Laws）
+     *
+     * @throws ConstraintViolationError 如果有铁律违规
+     */
+    async beforeExecution(context) {
+        const triggers = Array.isArray(context.operation) ? context.operation : [context.operation];
+        for (const constraint of Object.values(definitions_1.IRON_LAWS)) {
+            const constraintTriggers = Array.isArray(constraint.trigger)
+                ? constraint.trigger
+                : [constraint.trigger];
+            const matches = triggers.some(t => constraintTriggers.includes(t));
+            if (!matches)
+                continue;
+            const result = await this.check(constraint, context);
+            if (!result.satisfied) {
+                throw new constraint_1.ConstraintViolationError(result);
+            }
+        }
+    }
+}
+exports.ConstraintChecker = ConstraintChecker;
+// ========================================
+// 快捷函数
+// ========================================
+/**
+ * 快捷函数：检查约束
+ */
+async function checkConstraint(constraintId, context) {
+    const constraint = definitions_1.IRON_LAWS[constraintId] ||
+        definitions_1.GUIDELINES[constraintId] ||
+        definitions_1.TIPS[constraintId];
+    if (!constraint) {
+        return {
+            id: constraintId,
+            level: 'tip',
+            satisfied: false,
+            message: `未知的约束: ${constraintId}`,
+            checkedAt: new Date(),
+        };
+    }
+    return ConstraintChecker.getInstance().check(constraint, context);
+}
+/**
+ * 快捷函数：执行三层检查
+ */
+async function checkConstraints(context) {
+    return ConstraintChecker.getInstance().checkConstraints(context);
+}
+/**
+ * 快捷函数：执行前检查
+ */
+async function checkBeforeExecution(context) {
+    return ConstraintChecker.getInstance().beforeExecution(context);
+}
+// 导出单例
+exports.constraintChecker = ConstraintChecker.getInstance();
+// ========================================
+// 向后兼容的类和函数
+// ========================================
+/**
+ * @deprecated 使用 ConstraintChecker 代替
+ */
+exports.IronLawChecker = ConstraintChecker;
+/**
+ * @deprecated 使用 checkConstraint 代替
+ */
+async function checkIronLaw(lawId, context) {
+    return checkConstraint(lawId, context);
+}
+/**
+ * @deprecated 使用 checkConstraints 代替
+ */
+async function checkAllIronLaws(context) {
+    const result = await checkConstraints(context);
+    return [...result.ironLaws, ...result.guidelines, ...result.tips];
+}
+/**
+ * @deprecated 使用 constraintChecker 代替
+ */
+exports.ironLawChecker = exports.constraintChecker;
+//# sourceMappingURL=checker.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"checker.js","sourceRoot":"","sources":["../../../src/core/constraints/checker.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAgWH,0CAoBC;AAKD,4CAIC;AAKD,oDAEC;AAiBD,oCAKC;AAKD,4CAKC;AA3ZD,uDAAkE;AAClE,+CAA4D;AAE5D;;GAEG;AACH,MAAa,iBAAiB;IACpB,MAAM,CAAC,QAAQ,CAAoB;IAE3C,gBAAuB,CAAC;IAExB;;OAEG;IACH,MAAM,CAAC,WAAW;QAChB,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,CAAC;YAChC,iBAAiB,CAAC,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACvD,CAAC;QACD,OAAO,iBAAiB,CAAC,QAAQ,CAAC;IACpC,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,KAAK,CACT,UAAsB,EACtB,OAA0B;QAE1B,0BAA0B;QAC1B,IAAI,UAAU,CAAC,KAAK,KAAK,WAAW,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YAC9D,IAAI,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC7C,OAAO;oBACL,EAAE,EAAE,UAAU,CAAC,EAAE;oBACjB,KAAK,EAAE,UAAU,CAAC,KAAK;oBACvB,SAAS,EAAE,IAAI;oBACf,UAAU;oBACV,OAAO,EAAE,QAAQ,UAAU,CAAC,EAAE,WAAW;oBACzC,SAAS,EAAE,IAAI,IAAI,EAAE;iBACtB,CAAC;YACJ,CAAC;QACH,CAAC;QAED,SAAS;QACT,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAEpE,OAAO;YACL,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,SAAS;YACT,UAAU;YACV,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO;YACnD,cAAc,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW;YAC9D,SAAS,EAAE,IAAI,IAAI,EAAE;SACtB,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,UAAsB,EAAE,OAA0B;QACvE,IAAI,CAAC,UAAU,CAAC,UAAU;YAAE,OAAO,KAAK,CAAC;QAEzC,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YAC9C,QAAQ,SAAS,EAAE,CAAC;gBAClB,6BAA6B;gBAC7B,KAAK,sBAAsB;oBACzB,IAAI,OAAO,CAAC,mBAAmB;wBAAE,OAAO,IAAI,CAAC;oBAC7C,MAAM;gBACR,KAAK,mBAAmB;oBACtB,IAAI,OAAO,CAAC,gBAAgB;wBAAE,OAAO,IAAI,CAAC;oBAC1C,MAAM;gBACR,KAAK,sBAAsB;oBACzB,IAAI,OAAO,CAAC,mBAAmB;wBAAE,OAAO,IAAI,CAAC;oBAC7C,MAAM;gBACR,KAAK,sBAAsB;oBACzB,IAAI,OAAO,CAAC,mBAAmB;wBAAE,OAAO,IAAI,CAAC;oBAC7C,MAAM;gBAER,+BAA+B;gBAC/B,KAAK,aAAa;oBAChB,IAAI,OAAO,CAAC,YAAY;wBAAE,OAAO,IAAI,CAAC;oBACtC,MAAM;gBACR,KAAK,oBAAoB;oBACvB,IAAI,OAAO,CAAC,kBAAkB;wBAAE,OAAO,IAAI,CAAC;oBAC5C,MAAM;gBACR,KAAK,gBAAgB;oBACnB,IAAI,OAAO,CAAC,eAAe;wBAAE,OAAO,IAAI,CAAC;oBACzC,MAAM;gBAER,0BAA0B;gBAC1B,KAAK,aAAa;oBAChB,IAAI,OAAO,CAAC,YAAY;wBAAE,OAAO,IAAI,CAAC;oBACtC,MAAM;gBACR,KAAK,iBAAiB;oBACpB,IAAI,OAAO,CAAC,gBAAgB;wBAAE,OAAO,IAAI,CAAC;oBAC1C,MAAM;gBACR,KAAK,iBAAiB;oBACpB,IAAI,OAAO,CAAC,gBAAgB;wBAAE,OAAO,IAAI,CAAC;oBAC1C,MAAM;gBACR,KAAK,wBAAwB;oBAC3B,IAAI,OAAO,CAAC,sBAAsB;wBAAE,OAAO,IAAI,CAAC;oBAChD,MAAM;gBAER,iBAAiB;gBACjB,KAAK,mBAAmB;oBACtB,IAAI,OAAO,CAAC,iBAAiB;wBAAE,OAAO,IAAI,CAAC;oBAC3C,MAAM;gBACR,KAAK,sBAAsB;oBACzB,IAAI,OAAO,CAAC,mBAAmB;wBAAE,OAAO,IAAI,CAAC;oBAC7C,MAAM;gBACR,KAAK,kBAAkB;oBACrB,IAAI,OAAO,CAAC,iBAAiB;wBAAE,OAAO,IAAI,CAAC;oBAC3C,MAAM;gBAER,qBAAqB;gBACrB,KAAK,mBAAmB;oBACtB,IAAI,OAAO,CAAC,kBAAkB;wBAAE,OAAO,IAAI,CAAC;oBAC5C,MAAM;gBACR,KAAK,cAAc;oBACjB,IAAI,OAAO,CAAC,YAAY;wBAAE,OAAO,IAAI,CAAC;oBACtC,MAAM;gBACR,KAAK,0BAA0B;oBAC7B,IAAI,OAAO,CAAC,yBAAyB;wBAAE,OAAO,IAAI,CAAC;oBACnD,MAAM;gBAER,wCAAwC;gBACxC,KAAK,wBAAwB;oBAC3B,IAAI,OAAO,CAAC,sBAAsB;wBAAE,OAAO,IAAI,CAAC;oBAChD,MAAM;gBACR,KAAK,sBAAsB;oBACzB,IAAI,OAAO,CAAC,oBAAoB;wBAAE,OAAO,IAAI,CAAC;oBAC9C,MAAM;gBACR,KAAK,qBAAqB;oBACxB,IAAI,OAAO,CAAC,mBAAmB;wBAAE,OAAO,IAAI,CAAC;oBAC7C,MAAM;YACV,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,iBAAiB,CAC7B,UAAsB,EACtB,OAA0B;QAE1B,QAAQ,UAAU,CAAC,EAAE,EAAE,CAAC;YACtB,YAAY;YACZ,KAAK,sBAAsB;gBACzB,mBAAmB;gBACnB,OAAO,IAAI,CAAC;YAEd,KAAK,kBAAkB;gBACrB,YAAY;gBACZ,OAAO,OAAO,CAAC,OAAO,KAAK,IAAI,CAAC;YAElC,KAAK,oCAAoC;gBACvC,YAAY;gBACZ,OAAO,OAAO,CAAC,uBAAuB,KAAK,IAAI,CAAC;YAElD,KAAK,wBAAwB;gBAC3B,kBAAkB;gBAClB,OAAO,IAAI,CAAC;YAEd,aAAa;YACb,KAAK,2BAA2B;gBAC9B,cAAc;gBACd,OAAO,OAAO,CAAC,yBAAyB,KAAK,IAAI,CAAC;YAEpD,KAAK,sBAAsB;gBACzB,aAAa;gBACb,OAAO,OAAO,CAAC,cAAc,KAAK,IAAI,CAAC;YAEzC,KAAK,aAAa;gBAChB,wBAAwB;gBACxB,OAAO,IAAI,CAAC;YAEd,KAAK,yBAAyB;gBAC5B,eAAe;gBACf,OAAO,OAAO,CAAC,aAAa,KAAK,IAAI,CAAC;YAExC,KAAK,iCAAiC;gBACpC,cAAc;gBACd,OAAO,OAAO,CAAC,aAAa,KAAK,IAAI,CAAC;YAExC,KAAK,iBAAiB;gBACpB,gCAAgC;gBAChC,OAAO,IAAI,CAAC;YAEd,KAAK,oCAAoC;gBACvC,kBAAkB;gBAClB,OAAO,IAAI,CAAC;YAEd,KAAK,uBAAuB;gBAC1B,UAAU;gBACV,OAAO,OAAO,CAAC,OAAO,KAAK,IAAI,CAAC;YAElC,KAAK,wBAAwB;gBAC3B,gBAAgB;gBAChB,OAAO,IAAI,CAAC;YAEd,wBAAwB;YACxB,KAAK,iBAAiB;gBACpB,OAAO,IAAI,CAAC;YAEd,KAAK,6BAA6B;gBAChC,OAAO,IAAI,CAAC;YAEd;gBACE,YAAY;gBACZ,OAAO,IAAI,CAAC;QAChB,CAAC;IACH,CAAC;IAED;;OAEG;IACH,yBAAyB,CAAC,OAA0B;QAKlD,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC;QAElC,MAAM,eAAe,GAAG,CAAC,WAAuC,EAAgB,EAAE;YAChF,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE;gBACpD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;oBAChD,CAAC,CAAC,UAAU,CAAC,OAAO;oBACpB,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;gBACzB,OAAO,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACpC,CAAC,CAAC,CAAC;QACL,CAAC,CAAC;QAEF,OAAO;YACL,QAAQ,EAAE,eAAe,CAAC,uBAAS,CAAC;YACpC,UAAU,EAAE,eAAe,CAAC,wBAAU,CAAC;YACvC,IAAI,EAAE,eAAe,CAAC,kBAAI,CAAC;SAC5B,CAAC;IACJ,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,gBAAgB,CAAC,OAA0B;QAC/C,MAAM,MAAM,GAA0B;YACpC,QAAQ,EAAE,EAAE;YACZ,UAAU,EAAE,EAAE;YACd,IAAI,EAAE,EAAE;YACR,MAAM,EAAE,IAAI;YACZ,YAAY,EAAE,CAAC;YACf,QAAQ,EAAE,CAAC;SACZ,CAAC;QAEF,0BAA0B;QAC1B,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,uBAAS,CAAC,EAAE,CAAC;YAClD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;gBAChD,CAAC,CAAC,UAAU,CAAC,OAAO;gBACpB,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YAEzB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC;gBAAE,SAAS;YAEpD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAC1D,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAElC,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC3B,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC;gBACtB,MAAM,IAAI,qCAAwB,CAAC,WAAW,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QAED,yBAAyB;QACzB,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,wBAAU,CAAC,EAAE,CAAC;YACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;gBAChD,CAAC,CAAC,UAAU,CAAC,OAAO;gBACpB,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YAEzB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC;gBAAE,SAAS;YAEpD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAC1D,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAEpC,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC3B,MAAM,CAAC,YAAY,EAAE,CAAC;YACxB,CAAC;QACH,CAAC;QAED,kBAAkB;QAClB,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,kBAAI,CAAC,EAAE,CAAC;YAC7C,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;gBAChD,CAAC,CAAC,UAAU,CAAC,OAAO;gBACpB,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YAEzB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC;gBAAE,SAAS;YAEpD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAC1D,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAE9B,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC3B,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,eAAe,CAAC,OAA0B;QAC9C,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAE5F,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,uBAAS,CAAC,EAAE,CAAC;YAClD,MAAM,kBAAkB,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;gBAC1D,CAAC,CAAC,UAAU,CAAC,OAAO;gBACpB,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YAEzB,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YACnE,IAAI,CAAC,OAAO;gBAAE,SAAS;YAEvB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAErD,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;gBACtB,MAAM,IAAI,qCAAwB,CAAC,MAAM,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;IACH,CAAC;CACF;AAxUD,8CAwUC;AAED,2CAA2C;AAC3C,OAAO;AACP,2CAA2C;AAE3C;;GAEG;AACI,KAAK,UAAU,eAAe,CACnC,YAAoB,EACpB,OAA0B;IAE1B,MAAM,UAAU,GACd,uBAAS,CAAC,YAAY,CAAC;QACvB,wBAAU,CAAC,YAAY,CAAC;QACxB,kBAAI,CAAC,YAAY,CAAC,CAAC;IAErB,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;YACL,EAAE,EAAE,YAAY;YAChB,KAAK,EAAE,KAAK;YACZ,SAAS,EAAE,KAAK;YAChB,OAAO,EAAE,UAAU,YAAY,EAAE;YACjC,SAAS,EAAE,IAAI,IAAI,EAAE;SACtB,CAAC;IACJ,CAAC;IAED,OAAO,iBAAiB,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AACpE,CAAC;AAED;;GAEG;AACI,KAAK,UAAU,gBAAgB,CACpC,OAA0B;IAE1B,OAAO,iBAAiB,CAAC,WAAW,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;AACnE,CAAC;AAED;;GAEG;AACI,KAAK,UAAU,oBAAoB,CAAC,OAA0B;IACnE,OAAO,iBAAiB,CAAC,WAAW,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;AAClE,CAAC;AAED,OAAO;AACM,QAAA,iBAAiB,GAAG,iBAAiB,CAAC,WAAW,EAAE,CAAC;AAEjE,2CAA2C;AAC3C,YAAY;AACZ,2CAA2C;AAE3C;;GAEG;AACU,QAAA,cAAc,GAAG,iBAAiB,CAAC;AAEhD;;GAEG;AACI,KAAK,UAAU,YAAY,CAChC,KAAa,EACb,OAA0B;IAE1B,OAAO,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AACzC,CAAC;AAED;;GAEG;AACI,KAAK,UAAU,gBAAgB,CACpC,OAA0B;IAE1B,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC/C,OAAO,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,UAAU,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;AACpE,CAAC;AAED;;GAEG;AACU,QAAA,cAAc,GAAG,yBAAiB,CAAC"}

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

@@ -0,0 +1,42 @@
+/**
+ * 约束定义
+ *
+ * 三层约束体系：
+ * - IRON_LAWS：绝对禁止，无例外
+ * - GUIDELINES：优先建议，有例外
+ * - TIPS：信息性提示
+ */
+import type { Constraint, ConstraintTrigger } from '../../types/constraint';
+export { IronLawViolationError } from '../../types/constraint';
+export declare const IRON_LAWS: Record<string, Constraint>;
+export declare const GUIDELINES: Record<string, Constraint>;
+export declare const TIPS: Record<string, Constraint>;
+/**
+ * 获取所有约束（三层合并）
+ */
+export declare function getAllConstraints(): Constraint[];
+/**
+ * 根据触发条件查找适用的约束
+ */
+export declare function findConstraintsByTrigger(trigger: ConstraintTrigger): Constraint[];
+/**
+ * 根据 ID 获取约束
+ */
+export declare function getConstraint(id: string): Constraint | undefined;
+/**
+ * @deprecated 使用 getAllConstraints 代替
+ */
+export declare function getAllLaws(): Constraint[];
+/**
+ * @deprecated 使用 findConstraintsByTrigger 代替
+ */
+export declare function findLawsByTrigger(trigger: ConstraintTrigger): Constraint[];
+/**
+ * @deprecated 使用 getConstraint 代替
+ */
+export declare function getLaw(id: string): Constraint | undefined;
+/**
+ * @deprecated 使用 GUIDELINES 代替
+ */
+export declare const filterLawsBySeverity: (severity: "error" | "warning" | "info") => Constraint[];
+//# sourceMappingURL=definitions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"definitions.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/definitions.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAG5E,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAQ/D,eAAO,MAAM,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAkEhD,CAAC;AAQF,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CA2OjD,CAAC;AAQF,eAAO,MAAM,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CA+C3C,CAAC;AAMF;;GAEG;AACH,wBAAgB,iBAAiB,IAAI,UAAU,EAAE,CAMhD;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,iBAAiB,GAAG,UAAU,EAAE,CAKjF;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAEhE;AAMD;;GAEG;AACH,wBAAgB,UAAU,IAAI,UAAU,EAAE,CAEzC;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,iBAAiB,GAAG,UAAU,EAAE,CAE1E;AAED;;GAEG;AACH,wBAAgB,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAEzD;AAED;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAAI,UAAU,OAAO,GAAG,SAAS,GAAG,MAAM,KAAG,UAAU,EAMvF,CAAC"}