@dommaker/harness 0.8.3 → 0.10.0

package/dist/constraints/definitions.js

@@ -0,0 +1,71 @@
+"use strict";
+/**
+ * 约束兼容入口
+ *
+ * 向后兼容旧 API，内部委托给 ConstraintRegistry
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.GUIDELINES = exports.IRON_LAWS = void 0;
+exports.getAllConstraints = getAllConstraints;
+exports.getAllLaws = getAllConstraints;
+exports.findConstraintsByTrigger = findConstraintsByTrigger;
+exports.findLawsByTrigger = findConstraintsByTrigger;
+exports.getConstraint = getConstraint;
+exports.getLaw = getConstraint;
+exports.getLayeredConstraint = getLayeredConstraint;
+exports.getSafetyConstraints = getSafetyConstraints;
+exports.getQualityConstraints = getQualityConstraints;
+const registry_1 = require("./registry");
+const safety_1 = require("./safety");
+Object.defineProperty(exports, "IRON_LAWS", { enumerable: true, get: function () { return safety_1.SAFETY_CONSTRAINTS; } });
+const quality_1 = require("./quality");
+Object.defineProperty(exports, "GUIDELINES", { enumerable: true, get: function () { return quality_1.QUALITY_CONSTRAINTS; } });
+// 全局注册表实例
+const registry = new registry_1.ConstraintRegistry();
+/**
+ * 获取所有约束（兼容旧 API）
+ */
+function getAllConstraints() {
+    return registry.toLegacyConstraints();
+}
+/**
+ * 按触发条件查找约束（兼容旧 API）
+ */
+function findConstraintsByTrigger(trigger) {
+    return registry.getByTrigger(trigger).map(c => ({
+        id: c.id,
+        rule: c.rule,
+        message: c.message,
+        level: c.level,
+        trigger: c.trigger,
+        enforcement: c.enforcement,
+        description: c.description,
+        enabled: c.enabled,
+        exceptions: c.exceptions,
+    }));
+}
+/**
+ * 根据 ID 获取约束（兼容旧 API）
+ */
+function getConstraint(id) {
+    return registry.get(id);
+}
+/**
+ * 获取带分层信息的约束
+ */
+function getLayeredConstraint(id) {
+    return registry.get(id);
+}
+/**
+ * 获取安全层约束
+ */
+function getSafetyConstraints() {
+    return registry.getByLayer('safety');
+}
+/**
+ * 获取质量层约束
+ */
+function getQualityConstraints() {
+    return registry.getByLayer('quality');
+}
+//# sourceMappingURL=definitions.js.map

package/dist/constraints/definitions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"definitions.js","sourceRoot":"","sources":["../../src/constraints/definitions.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;;AAcH,8CAEC;AAgD6B,uCAAU;AA3CxC,4DAYC;AAgCoC,qDAAiB;AA3BtD,sCAEC;AA0ByB,+BAAM;AArBhC,oDAEC;AAKD,oDAEC;AAKD,sDAEC;AA3DD,yCAAgD;AAChD,qCAA8C;AAkEf,0FAlEtB,2BAAkB,OAkEa;AAjExC,uCAAgD;AAkEhB,2FAlEvB,6BAAmB,OAkEc;AA9D1C,UAAU;AACV,MAAM,QAAQ,GAAG,IAAI,6BAAkB,EAAE,CAAC;AAE1C;;GAEG;AACH,SAAgB,iBAAiB;IAC/B,OAAO,QAAQ,CAAC,mBAAmB,EAAE,CAAC;AACxC,CAAC;AAED;;GAEG;AACH,SAAgB,wBAAwB,CAAC,OAA0B;IACjE,OAAO,QAAQ,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9C,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,UAAU,EAAE,CAAC,CAAC,UAAU;KACzB,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;GAEG;AACH,SAAgB,aAAa,CAAC,EAAU;IACtC,OAAO,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,SAAgB,oBAAoB,CAAC,EAAU;IAC7C,OAAO,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,SAAgB,oBAAoB;IAClC,OAAO,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;AACvC,CAAC;AAED;;GAEG;AACH,SAAgB,qBAAqB;IACnC,OAAO,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;AACxC,CAAC"}

package/dist/constraints/index.d.ts

@@ -0,0 +1,4 @@
+export * from './types';
+export * from './registry';
+export * from './lifecycle-runner';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/constraints/index.ts"],"names":[],"mappings":"AAAA,cAAc,SAAS,CAAC;AACxB,cAAc,YAAY,CAAC;AAC3B,cAAc,oBAAoB,CAAC"}

package/dist/constraints/index.js

@@ -0,0 +1,20 @@
+"use strict";
+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 });
+__exportStar(require("./types"), exports);
+__exportStar(require("./registry"), exports);
+__exportStar(require("./lifecycle-runner"), exports);
+//# sourceMappingURL=index.js.map

package/dist/constraints/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/constraints/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,0CAAwB;AACxB,6CAA2B;AAC3B,qDAAmC"}

package/dist/constraints/lifecycle-runner.d.ts

@@ -0,0 +1,52 @@
+/**
+ * 约束生命周期执行器
+ *
+ * 将 ConstraintEvolver 生成的提案转化为 ConstraintRegistry 实际操作。
+ * 连接 monitoring 层（proposal）和 constraints 层（registry）。
+ */
+import { ConstraintRegistry } from './registry';
+import type { ConstraintProposal } from '../monitoring/constraint-evolver';
+import type { ConstraintLevel } from '../types/constraint';
+import type { DeprecationSchedule } from './types';
+/**
+ * 提案执行结果
+ */
+export interface ExecutionResult {
+    proposalId: string;
+    constraintId: string;
+    action: string;
+    success: boolean;
+    details: string;
+}
+/**
+ * 约束生命周期执行器
+ *
+ * 将 evolver 的提案（proposal）转化为 registry 的实际操作（degrade/rollback/scheduleDeprecation）
+ */
+export declare class ConstraintLifecycleRunner {
+    private registry;
+    constructor(registry?: ConstraintRegistry);
+    getRegistry(): ConstraintRegistry;
+    /**
+     * 执行单个已接受的提案
+     */
+    execute(proposal: ConstraintProposal): ExecutionResult;
+    /**
+     * 批量执行提案
+     */
+    executeBatch(proposals: ConstraintProposal[]): ExecutionResult[];
+    /**
+     * 回滚已降级的约束
+     */
+    rollbackConstraint(constraintId: string, originalLevel: ConstraintLevel): boolean;
+    /**
+     * 设置约束的弃用计划
+     */
+    scheduleDeprecation(constraintId: string, schedule: DeprecationSchedule): boolean;
+    private executeLevelChange;
+    private executeAddException;
+    private executeAdjustTrigger;
+    private executeModifyMessage;
+    private failResult;
+}
+//# sourceMappingURL=lifecycle-runner.d.ts.map

package/dist/constraints/lifecycle-runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lifecycle-runner.d.ts","sourceRoot":"","sources":["../../src/constraints/lifecycle-runner.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAC3E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,SAAS,CAAC;AAEnD;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;GAIG;AACH,qBAAa,yBAAyB;IACpC,OAAO,CAAC,QAAQ,CAAqB;gBAEzB,QAAQ,CAAC,EAAE,kBAAkB;IAIzC,WAAW,IAAI,kBAAkB;IAIjC;;OAEG;IACH,OAAO,CAAC,QAAQ,EAAE,kBAAkB,GAAG,eAAe;IAqBtD;;OAEG;IACH,YAAY,CAAC,SAAS,EAAE,kBAAkB,EAAE,GAAG,eAAe,EAAE;IAIhE;;OAEG;IACH,kBAAkB,CAAC,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE,eAAe,GAAG,OAAO;IAIjF;;OAEG;IACH,mBAAmB,CAAC,YAAY,EAAE,MAAM,EAAE,QAAQ,EAAE,mBAAmB,GAAG,OAAO;IAIjF,OAAO,CAAC,kBAAkB;IA8B1B,OAAO,CAAC,mBAAmB;IAyB3B,OAAO,CAAC,oBAAoB;IAkB5B,OAAO,CAAC,oBAAoB;IAiB5B,OAAO,CAAC,UAAU;CASnB"}

package/dist/constraints/lifecycle-runner.js

@@ -0,0 +1,151 @@
+"use strict";
+/**
+ * 约束生命周期执行器
+ *
+ * 将 ConstraintEvolver 生成的提案转化为 ConstraintRegistry 实际操作。
+ * 连接 monitoring 层（proposal）和 constraints 层（registry）。
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ConstraintLifecycleRunner = void 0;
+const registry_1 = require("./registry");
+/**
+ * 约束生命周期执行器
+ *
+ * 将 evolver 的提案（proposal）转化为 registry 的实际操作（degrade/rollback/scheduleDeprecation）
+ */
+class ConstraintLifecycleRunner {
+    registry;
+    constructor(registry) {
+        this.registry = registry || new registry_1.ConstraintRegistry();
+    }
+    getRegistry() {
+        return this.registry;
+    }
+    /**
+     * 执行单个已接受的提案
+     */
+    execute(proposal) {
+        switch (proposal.type) {
+            case 'change_level':
+                return this.executeLevelChange(proposal);
+            case 'add_exception':
+                return this.executeAddException(proposal);
+            case 'adjust_trigger':
+                return this.executeAdjustTrigger(proposal);
+            case 'modify_message':
+                return this.executeModifyMessage(proposal);
+            default:
+                return {
+                    proposalId: proposal.id,
+                    constraintId: proposal.constraintId,
+                    action: proposal.type,
+                    success: false,
+                    details: `Unsupported proposal type: ${proposal.type}`,
+                };
+        }
+    }
+    /**
+     * 批量执行提案
+     */
+    executeBatch(proposals) {
+        return proposals.map(p => this.execute(p));
+    }
+    /**
+     * 回滚已降级的约束
+     */
+    rollbackConstraint(constraintId, originalLevel) {
+        return this.registry.rollback(constraintId, originalLevel);
+    }
+    /**
+     * 设置约束的弃用计划
+     */
+    scheduleDeprecation(constraintId, schedule) {
+        return this.registry.scheduleDeprecation(constraintId, schedule);
+    }
+    executeLevelChange(proposal) {
+        const constraint = this.registry.get(proposal.constraintId);
+        if (!constraint) {
+            return this.failResult(proposal, `Constraint ${proposal.constraintId} not found`);
+        }
+        if (constraint.layer === 'safety') {
+            return this.failResult(proposal, 'Cannot change level of safety-layer constraint');
+        }
+        const targetLevel = proposal.content.proposed;
+        const currentLevel = constraint.level;
+        const levelOrder = { iron_law: 0, guideline: 1, tip: 2 };
+        if ((levelOrder[targetLevel] ?? 99) > (levelOrder[currentLevel] ?? 0)) {
+            const success = this.registry.degrade(proposal.constraintId);
+            return {
+                proposalId: proposal.id,
+                constraintId: proposal.constraintId,
+                action: 'degrade',
+                success,
+                details: success
+                    ? `Degraded from ${currentLevel} to ${targetLevel}`
+                    : 'Degradation failed',
+            };
+        }
+        return this.failResult(proposal, 'Level change direction not supported via registry');
+    }
+    executeAddException(proposal) {
+        const constraint = this.registry.get(proposal.constraintId);
+        if (!constraint) {
+            return this.failResult(proposal, `Constraint ${proposal.constraintId} not found`);
+        }
+        const exception = proposal.content.proposed;
+        const currentExceptions = constraint.exceptions || [];
+        if (currentExceptions.includes(exception)) {
+            return this.failResult(proposal, `Exception ${exception} already exists`);
+        }
+        if (!constraint.exceptions)
+            constraint.exceptions = [];
+        constraint.exceptions.push(exception);
+        return {
+            proposalId: proposal.id,
+            constraintId: proposal.constraintId,
+            action: 'add_exception',
+            success: true,
+            details: `Added exception: ${exception}`,
+        };
+    }
+    executeAdjustTrigger(proposal) {
+        const constraint = this.registry.get(proposal.constraintId);
+        if (!constraint) {
+            return this.failResult(proposal, `Constraint ${proposal.constraintId} not found`);
+        }
+        const oldTrigger = constraint.trigger;
+        constraint.trigger = proposal.content.proposed;
+        return {
+            proposalId: proposal.id,
+            constraintId: proposal.constraintId,
+            action: 'adjust_trigger',
+            success: true,
+            details: `Changed trigger from ${JSON.stringify(oldTrigger)} to ${JSON.stringify(proposal.content.proposed)}`,
+        };
+    }
+    executeModifyMessage(proposal) {
+        const constraint = this.registry.get(proposal.constraintId);
+        if (!constraint) {
+            return this.failResult(proposal, `Constraint ${proposal.constraintId} not found`);
+        }
+        constraint.message = proposal.content.proposed;
+        return {
+            proposalId: proposal.id,
+            constraintId: proposal.constraintId,
+            action: 'modify_message',
+            success: true,
+            details: 'Updated message',
+        };
+    }
+    failResult(proposal, details) {
+        return {
+            proposalId: proposal.id,
+            constraintId: proposal.constraintId,
+            action: proposal.type,
+            success: false,
+            details,
+        };
+    }
+}
+exports.ConstraintLifecycleRunner = ConstraintLifecycleRunner;
+//# sourceMappingURL=lifecycle-runner.js.map

package/dist/constraints/lifecycle-runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lifecycle-runner.js","sourceRoot":"","sources":["../../src/constraints/lifecycle-runner.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAEH,yCAAgD;AAgBhD;;;;GAIG;AACH,MAAa,yBAAyB;IAC5B,QAAQ,CAAqB;IAErC,YAAY,QAA6B;QACvC,IAAI,CAAC,QAAQ,GAAG,QAAQ,IAAI,IAAI,6BAAkB,EAAE,CAAC;IACvD,CAAC;IAED,WAAW;QACT,OAAO,IAAI,CAAC,QAAQ,CAAC;IACvB,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,QAA4B;QAClC,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;YACtB,KAAK,cAAc;gBACjB,OAAO,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC;YAC3C,KAAK,eAAe;gBAClB,OAAO,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;YAC5C,KAAK,gBAAgB;gBACnB,OAAO,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;YAC7C,KAAK,gBAAgB;gBACnB,OAAO,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;YAC7C;gBACE,OAAO;oBACL,UAAU,EAAE,QAAQ,CAAC,EAAE;oBACvB,YAAY,EAAE,QAAQ,CAAC,YAAY;oBACnC,MAAM,EAAE,QAAQ,CAAC,IAAI;oBACrB,OAAO,EAAE,KAAK;oBACd,OAAO,EAAE,8BAA8B,QAAQ,CAAC,IAAI,EAAE;iBACvD,CAAC;QACN,CAAC;IACH,CAAC;IAED;;OAEG;IACH,YAAY,CAAC,SAA+B;QAC1C,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED;;OAEG;IACH,kBAAkB,CAAC,YAAoB,EAAE,aAA8B;QACrE,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;IAC7D,CAAC;IAED;;OAEG;IACH,mBAAmB,CAAC,YAAoB,EAAE,QAA6B;QACrE,OAAO,IAAI,CAAC,QAAQ,CAAC,mBAAmB,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;IACnE,CAAC;IAEO,kBAAkB,CAAC,QAA4B;QACrD,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QAC5D,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,cAAc,QAAQ,CAAC,YAAY,YAAY,CAAC,CAAC;QACpF,CAAC;QAED,IAAI,UAAU,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAClC,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,gDAAgD,CAAC,CAAC;QACrF,CAAC;QAED,MAAM,WAAW,GAAG,QAAQ,CAAC,OAAO,CAAC,QAA2B,CAAC;QACjE,MAAM,YAAY,GAAG,UAAU,CAAC,KAAK,CAAC;QAEtC,MAAM,UAAU,GAA2B,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QACjF,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACtE,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;YAC7D,OAAO;gBACL,UAAU,EAAE,QAAQ,CAAC,EAAE;gBACvB,YAAY,EAAE,QAAQ,CAAC,YAAY;gBACnC,MAAM,EAAE,SAAS;gBACjB,OAAO;gBACP,OAAO,EAAE,OAAO;oBACd,CAAC,CAAC,iBAAiB,YAAY,OAAO,WAAW,EAAE;oBACnD,CAAC,CAAC,oBAAoB;aACzB,CAAC;QACJ,CAAC;QAED,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,mDAAmD,CAAC,CAAC;IACxF,CAAC;IAEO,mBAAmB,CAAC,QAA4B;QACtD,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QAC5D,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,cAAc,QAAQ,CAAC,YAAY,YAAY,CAAC,CAAC;QACpF,CAAC;QAED,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC5C,MAAM,iBAAiB,GAAG,UAAU,CAAC,UAAU,IAAI,EAAE,CAAC;QAEtD,IAAI,iBAAiB,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YAC1C,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,aAAa,SAAS,iBAAiB,CAAC,CAAC;QAC5E,CAAC;QAED,IAAI,CAAC,UAAU,CAAC,UAAU;YAAE,UAAU,CAAC,UAAU,GAAG,EAAE,CAAC;QACvD,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAEtC,OAAO;YACL,UAAU,EAAE,QAAQ,CAAC,EAAE;YACvB,YAAY,EAAE,QAAQ,CAAC,YAAY;YACnC,MAAM,EAAE,eAAe;YACvB,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,oBAAoB,SAAS,EAAE;SACzC,CAAC;IACJ,CAAC;IAEO,oBAAoB,CAAC,QAA4B;QACvD,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QAC5D,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,cAAc,QAAQ,CAAC,YAAY,YAAY,CAAC,CAAC;QACpF,CAAC;QAED,MAAM,UAAU,GAAG,UAAU,CAAC,OAAO,CAAC;QACtC,UAAU,CAAC,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC;QAE/C,OAAO;YACL,UAAU,EAAE,QAAQ,CAAC,EAAE;YACvB,YAAY,EAAE,QAAQ,CAAC,YAAY;YACnC,MAAM,EAAE,gBAAgB;YACxB,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,wBAAwB,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;SAC9G,CAAC;IACJ,CAAC;IAEO,oBAAoB,CAAC,QAA4B;QACvD,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QAC5D,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,cAAc,QAAQ,CAAC,YAAY,YAAY,CAAC,CAAC;QACpF,CAAC;QAED,UAAU,CAAC,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC;QAE/C,OAAO;YACL,UAAU,EAAE,QAAQ,CAAC,EAAE;YACvB,YAAY,EAAE,QAAQ,CAAC,YAAY;YACnC,MAAM,EAAE,gBAAgB;YACxB,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,iBAAiB;SAC3B,CAAC;IACJ,CAAC;IAEO,UAAU,CAAC,QAA4B,EAAE,OAAe;QAC9D,OAAO;YACL,UAAU,EAAE,QAAQ,CAAC,EAAE;YACvB,YAAY,EAAE,QAAQ,CAAC,YAAY;YACnC,MAAM,EAAE,QAAQ,CAAC,IAAI;YACrB,OAAO,EAAE,KAAK;YACd,OAAO;SACR,CAAC;IACJ,CAAC;CACF;AA3JD,8DA2JC"}

package/dist/constraints/quality.d.ts

@@ -0,0 +1,11 @@
+/**
+ * 质量层约束（可退化）
+ *
+ * 这些约束会随模型能力提升逐步退化：
+ * - Iron Law → Guideline → Tip → 移除
+ * - 退化由拦截率数据驱动
+ */
+import type { LayeredConstraint } from './types';
+export declare const QUALITY_CONSTRAINTS: Record<string, LayeredConstraint>;
+export declare function getQualityConstraints(): LayeredConstraint[];
+//# sourceMappingURL=quality.d.ts.map

package/dist/constraints/quality.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"quality.d.ts","sourceRoot":"","sources":["../../src/constraints/quality.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAC;AAEjD,eAAO,MAAM,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAgQjE,CAAC;AAEF,wBAAgB,qBAAqB,IAAI,iBAAiB,EAAE,CAE3D"}

package/dist/constraints/quality.js

@@ -0,0 +1,257 @@
+"use strict";
+/**
+ * 质量层约束（可退化）
+ *
+ * 这些约束会随模型能力提升逐步退化：
+ * - Iron Law → Guideline → Tip → 移除
+ * - 退化由拦截率数据驱动
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.QUALITY_CONSTRAINTS = void 0;
+exports.getQualityConstraints = getQualityConstraints;
+exports.QUALITY_CONSTRAINTS = {
+    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: '任务完成声明必须基于真实测试结果。',
+        layer: 'quality',
+        deprecationStatus: 'active',
+        deprecationSchedule: {
+            targetLevel: 'guideline',
+            interceptRateThreshold: 5,
+            reason: '模型自评能力提升，拦截率持续下降',
+            rollbackable: true,
+        },
+    },
+    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: '遇到测试困难时不能简化或跳过测试。',
+        layer: 'quality',
+        deprecationStatus: 'active',
+        deprecationSchedule: {
+            targetLevel: 'guideline',
+            interceptRateThreshold: 5,
+            reason: '模型测试编写能力提升',
+            rollbackable: true,
+        },
+    },
+    incremental_progress: {
+        id: 'incremental_progress',
+        rule: 'ONE TASK PER SESSION',
+        message: '禁止一次做多个任务',
+        level: 'iron_law',
+        trigger: 'feature_completion_claim',
+        enforcement: 'single-task-check',
+        description: '一个 session 只处理一个任务，避免 one-shotting。',
+        layer: 'quality',
+        deprecationStatus: 'active',
+        deprecationSchedule: {
+            targetLevel: 'guideline',
+            interceptRateThreshold: 10,
+            reason: '模型长上下文能力提升，可处理更大任务',
+            rollbackable: true,
+        },
+    },
+    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 类型。',
+        layer: 'quality',
+        deprecationStatus: 'active',
+        deprecationSchedule: {
+            targetLevel: 'tip',
+            interceptRateThreshold: 8,
+            reason: '模型类型推断能力持续改善',
+            rollbackable: true,
+        },
+    },
+    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: '实现功能时必须按顺序检查简单方案。',
+        layer: 'quality',
+        deprecationStatus: 'active',
+        deprecationSchedule: {
+            targetLevel: 'tip',
+            interceptRateThreshold: 8,
+            reason: '模型架构选择能力提升',
+            rollbackable: true,
+        },
+    },
+    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: '业务逻辑代码必须先写测试。',
+        layer: 'quality',
+        deprecationStatus: 'active',
+        deprecationSchedule: {
+            targetLevel: 'tip',
+            reason: '模型自发编写测试的能力提升',
+            rollbackable: false,
+        },
+    },
+    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: '创建新能力前必须先执行复用检查。',
+        layer: 'quality',
+        deprecationStatus: 'active',
+        deprecationSchedule: {
+            targetLevel: 'guideline',
+            interceptRateThreshold: 5,
+            reason: '转型为知识复用检查',
+            rollbackable: true,
+        },
+    },
+    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 之前，按复杂度区分调查要求。',
+        layer: 'quality',
+        deprecationStatus: 'active',
+        deprecationSchedule: {
+            targetLevel: 'guideline',
+            reason: '转型为知识约束（因果链要求）',
+            rollbackable: true,
+        },
+    },
+    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: '核心模块变更必须同步功能清单。',
+        layer: 'quality',
+        deprecationStatus: 'active',
+        deprecationSchedule: {
+            targetLevel: 'guideline',
+            reason: '转型为知识同步检查',
+            rollbackable: true,
+        },
+    },
+    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: '不能为了赶进度砍掉必要功能。',
+        layer: 'quality',
+        deprecationStatus: 'active',
+        deprecationSchedule: {
+            targetLevel: 'tip',
+            reason: '模型对需求完整性的理解提升',
+            rollbackable: true,
+        },
+    },
+    design_decision_requires_discussion: {
+        id: 'design_decision_requires_discussion',
+        rule: 'DESIGN DECISIONS MUST BE DISCUSSED BEFORE IMPLEMENTATION',
+        message: '设计决策类任务需先讨论方案再实现',
+        level: 'guideline',
+        trigger: ['design_request', 'architecture_change', 'feature_development'],
+        enforcement: 'require-discussion',
+        description: '架构决策必须沉淀为 decision 类型知识。',
+        layer: 'quality',
+        deprecationStatus: 'active',
+        deprecationSchedule: {
+            targetLevel: 'guideline',
+            reason: '转型为知识沉淀要求',
+            rollbackable: true,
+        },
+    },
+    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 技能之前，必须先定义测试场景。',
+        layer: 'quality',
+        deprecationStatus: 'active',
+    },
+    test_coverage_required: {
+        id: 'test_coverage_required',
+        rule: 'TEST COVERAGE MUST MEET REQUIREMENTS',
+        message: '测试覆盖率必须达到要求',
+        level: 'guideline',
+        trigger: 'task_completion_claim',
+        enforcement: 'check-coverage',
+        description: '提交代码前，测试覆盖率必须达到项目要求。',
+        layer: 'quality',
+        deprecationStatus: 'active',
+    },
+    no_coverage_decrease: {
+        id: 'no_coverage_decrease',
+        rule: 'COVERAGE MUST NOT DECREASE ON NEW COMMITS',
+        message: '新提交不能降低测试覆盖率',
+        level: 'guideline',
+        trigger: 'commit',
+        enforcement: 'coverage-gate',
+        description: '每次提交代码时，测试覆盖率不能低于上一次提交。',
+        layer: 'quality',
+        deprecationStatus: 'active',
+    },
+    readme_required: {
+        id: 'readme_required',
+        rule: 'NEW MODULES SHOULD HAVE README',
+        message: '建议为新模块创建 README',
+        level: 'tip',
+        trigger: 'module_creation',
+        enforcement: 'create-readme',
+        description: '创建新模块时建议同时创建 README.md。',
+        layer: 'quality',
+        deprecationStatus: 'active',
+    },
+    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 注释。',
+        layer: 'quality',
+        deprecationStatus: 'active',
+    },
+};
+function getQualityConstraints() {
+    return Object.values(exports.QUALITY_CONSTRAINTS);
+}
+//# sourceMappingURL=quality.js.map

package/dist/constraints/quality.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"quality.js","sourceRoot":"","sources":["../../src/constraints/quality.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;AAsQH,sDAEC;AApQY,QAAA,mBAAmB,GAAsC;IACpE,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,mBAAmB;QAChC,KAAK,EAAE,SAAS;QAChB,iBAAiB,EAAE,QAAQ;QAC3B,mBAAmB,EAAE;YACnB,WAAW,EAAE,WAAW;YACxB,sBAAsB,EAAE,CAAC;YACzB,MAAM,EAAE,kBAAkB;YAC1B,YAAY,EAAE,IAAI;SACnB;KACF;IAED,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,mBAAmB;QAChC,KAAK,EAAE,SAAS;QAChB,iBAAiB,EAAE,QAAQ;QAC3B,mBAAmB,EAAE;YACnB,WAAW,EAAE,WAAW;YACxB,sBAAsB,EAAE,CAAC;YACzB,MAAM,EAAE,YAAY;YACpB,YAAY,EAAE,IAAI;SACnB;KACF;IAED,oBAAoB,EAAE;QACpB,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,sBAAsB;QAC5B,OAAO,EAAE,WAAW;QACpB,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,0BAA0B;QACnC,WAAW,EAAE,mBAAmB;QAChC,WAAW,EAAE,qCAAqC;QAClD,KAAK,EAAE,SAAS;QAChB,iBAAiB,EAAE,QAAQ;QAC3B,mBAAmB,EAAE;YACnB,WAAW,EAAE,WAAW;YACxB,sBAAsB,EAAE,EAAE;YAC1B,MAAM,EAAE,oBAAoB;YAC5B,YAAY,EAAE,IAAI;SACnB;KACF;IAED,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,6BAA6B;QAC1C,KAAK,EAAE,SAAS;QAChB,iBAAiB,EAAE,QAAQ;QAC3B,mBAAmB,EAAE;YACnB,WAAW,EAAE,KAAK;YAClB,sBAAsB,EAAE,CAAC;YACzB,MAAM,EAAE,cAAc;YACtB,YAAY,EAAE,IAAI;SACnB;KACF;IAED,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,mBAAmB;QAChC,KAAK,EAAE,SAAS;QAChB,iBAAiB,EAAE,QAAQ;QAC3B,mBAAmB,EAAE;YACnB,WAAW,EAAE,KAAK;YAClB,sBAAsB,EAAE,CAAC;YACzB,MAAM,EAAE,YAAY;YACpB,YAAY,EAAE,IAAI;SACnB;KACF;IAED,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,eAAe;QAC5B,KAAK,EAAE,SAAS;QAChB,iBAAiB,EAAE,QAAQ;QAC3B,mBAAmB,EAAE;YACnB,WAAW,EAAE,KAAK;YAClB,MAAM,EAAE,eAAe;YACvB,YAAY,EAAE,KAAK;SACpB;KACF;IAED,+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,EAAE,eAAe,EAAE,mBAAmB;YACrD,iBAAiB,EAAE,kBAAkB,EAAE,qBAAqB;SAC7D;QACD,WAAW,EAAE,aAAa;QAC1B,WAAW,EAAE,kBAAkB;QAC/B,KAAK,EAAE,SAAS;QAChB,iBAAiB,EAAE,QAAQ;QAC3B,mBAAmB,EAAE;YACnB,WAAW,EAAE,WAAW;YACxB,sBAAsB,EAAE,CAAC;YACzB,MAAM,EAAE,WAAW;YACnB,YAAY,EAAE,IAAI;SACnB;KACF;IAED,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,0BAA0B;QACvC,KAAK,EAAE,SAAS;QAChB,iBAAiB,EAAE,QAAQ;QAC3B,mBAAmB,EAAE;YACnB,WAAW,EAAE,WAAW;YACxB,MAAM,EAAE,gBAAgB;YACxB,YAAY,EAAE,IAAI;SACnB;KACF;IAED,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,iBAAiB;QAC9B,KAAK,EAAE,SAAS;QAChB,iBAAiB,EAAE,QAAQ;QAC3B,mBAAmB,EAAE;YACnB,WAAW,EAAE,WAAW;YACxB,MAAM,EAAE,WAAW;YACnB,YAAY,EAAE,IAAI;SACnB;KACF;IAED,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,gBAAgB;QAC7B,KAAK,EAAE,SAAS;QAChB,iBAAiB,EAAE,QAAQ;QAC3B,mBAAmB,EAAE;YACnB,WAAW,EAAE,KAAK;YAClB,MAAM,EAAE,eAAe;YACvB,YAAY,EAAE,IAAI;SACnB;KACF;IAED,mCAAmC,EAAE;QACnC,EAAE,EAAE,qCAAqC;QACzC,IAAI,EAAE,0DAA0D;QAChE,OAAO,EAAE,kBAAkB;QAC3B,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,gBAAgB,EAAE,qBAAqB,EAAE,qBAAqB,CAAC;QACzE,WAAW,EAAE,oBAAoB;QACjC,WAAW,EAAE,0BAA0B;QACvC,KAAK,EAAE,SAAS;QAChB,iBAAiB,EAAE,QAAQ;QAC3B,mBAAmB,EAAE;YACnB,WAAW,EAAE,WAAW;YACxB,MAAM,EAAE,WAAW;YACnB,YAAY,EAAE,IAAI;SACnB;KACF;IAED,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,4BAA4B;QACzC,KAAK,EAAE,SAAS;QAChB,iBAAiB,EAAE,QAAQ;KAC5B;IAED,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,sBAAsB;QACnC,KAAK,EAAE,SAAS;QAChB,iBAAiB,EAAE,QAAQ;KAC5B;IAED,oBAAoB,EAAE;QACpB,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,2CAA2C;QACjD,OAAO,EAAE,cAAc;QACvB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,QAAQ;QACjB,WAAW,EAAE,eAAe;QAC5B,WAAW,EAAE,yBAAyB;QACtC,KAAK,EAAE,SAAS;QAChB,iBAAiB,EAAE,QAAQ;KAC5B;IAED,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,yBAAyB;QACtC,KAAK,EAAE,SAAS;QAChB,iBAAiB,EAAE,QAAQ;KAC5B;IAED,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,4BAA4B;QACzC,KAAK,EAAE,SAAS;QAChB,iBAAiB,EAAE,QAAQ;KAC5B;CACF,CAAC;AAEF,SAAgB,qBAAqB;IACnC,OAAO,MAAM,CAAC,MAAM,CAAC,2BAAmB,CAAC,CAAC;AAC5C,CAAC"}

package/dist/constraints/registry.d.ts

@@ -0,0 +1,26 @@
+/**
+ * 约束注册表
+ *
+ * 基于 core/constraints/definitions 构建，附加分层和退化元数据。
+ * 分层规则：iron_law → safety（永久），guideline/tip → quality（可退化）
+ */
+import type { Constraint, ConstraintLevel, ConstraintTrigger } from '../types/constraint';
+import type { LayeredConstraint, ConstraintLayer, DeprecationStatus, LayerStats, DeprecationSchedule } from './types';
+export declare class ConstraintRegistry {
+    private constraints;
+    constructor();
+    get(id: string): LayeredConstraint | undefined;
+    getAll(): LayeredConstraint[];
+    getByLayer(layer: ConstraintLayer): LayeredConstraint[];
+    getByStatus(status: DeprecationStatus): LayeredConstraint[];
+    getByTrigger(trigger: ConstraintTrigger): LayeredConstraint[];
+    getDeprecationCandidates(interceptRates: Map<string, number>): LayeredConstraint[];
+    degrade(id: string): boolean;
+    rollback(id: string, originalLevel: ConstraintLevel): boolean;
+    scheduleDeprecation(id: string, schedule: DeprecationSchedule): boolean;
+    getLayerStats(): LayerStats[];
+    toLegacyConstraints(): Constraint[];
+    register(constraint: LayeredConstraint): void;
+    remove(id: string): boolean;
+}
+//# sourceMappingURL=registry.d.ts.map

package/dist/constraints/registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/constraints/registry.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC1F,OAAO,KAAK,EAAE,iBAAiB,EAAE,eAAe,EAAE,iBAAiB,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,SAAS,CAAC;AAkBtH,qBAAa,kBAAkB;IAC7B,OAAO,CAAC,WAAW,CAAiC;;IAUpD,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS;IAI9C,MAAM,IAAI,iBAAiB,EAAE;IAI7B,UAAU,CAAC,KAAK,EAAE,eAAe,GAAG,iBAAiB,EAAE;IAIvD,WAAW,CAAC,MAAM,EAAE,iBAAiB,GAAG,iBAAiB,EAAE;IAI3D,YAAY,CAAC,OAAO,EAAE,iBAAiB,GAAG,iBAAiB,EAAE;IAO7D,wBAAwB,CAAC,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,iBAAiB,EAAE;IAWlF,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAS5B,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,eAAe,GAAG,OAAO;IAS7D,mBAAmB,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,mBAAmB,GAAG,OAAO;IAQvE,aAAa,IAAI,UAAU,EAAE;IAe7B,mBAAmB,IAAI,UAAU,EAAE;IAcnC,QAAQ,CAAC,UAAU,EAAE,iBAAiB,GAAG,IAAI;IAI7C,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;CAG5B"}