@dommaker/harness 0.8.1 → 0.9.0

package/dist/constraints/registry.js

@@ -0,0 +1,167 @@
+"use strict";
+/**
+ * 约束注册表
+ *
+ * 统一管理安全层和质量层约束，提供分层查询、退化管理
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ConstraintRegistry = void 0;
+const safety_1 = require("./safety");
+const quality_1 = require("./quality");
+class ConstraintRegistry {
+    constraints;
+    constructor() {
+        this.constraints = new Map();
+        // 注册安全层约束（克隆避免修改静态定义）
+        for (const [id, constraint] of Object.entries(safety_1.SAFETY_CONSTRAINTS)) {
+            this.constraints.set(id, {
+                ...constraint,
+                deprecationSchedule: constraint.deprecationSchedule
+                    ? { ...constraint.deprecationSchedule }
+                    : undefined,
+            });
+        }
+        // 注册质量层约束
+        for (const [id, constraint] of Object.entries(quality_1.QUALITY_CONSTRAINTS)) {
+            this.constraints.set(id, {
+                ...constraint,
+                deprecationSchedule: constraint.deprecationSchedule
+                    ? { ...constraint.deprecationSchedule }
+                    : undefined,
+            });
+        }
+    }
+    /**
+     * 获取约束（兼容旧 API）
+     */
+    get(id) {
+        return this.constraints.get(id);
+    }
+    /**
+     * 获取所有约束
+     */
+    getAll() {
+        return Array.from(this.constraints.values());
+    }
+    /**
+     * 按层获取约束
+     */
+    getByLayer(layer) {
+        return this.getAll().filter(c => c.layer === layer);
+    }
+    /**
+     * 按退化状态获取约束
+     */
+    getByStatus(status) {
+        return this.getAll().filter(c => c.deprecationStatus === status);
+    }
+    /**
+     * 按触发条件查找约束
+     */
+    getByTrigger(trigger) {
+        return this.getAll().filter(c => {
+            const triggers = Array.isArray(c.trigger) ? c.trigger : [c.trigger];
+            return triggers.includes(trigger);
+        });
+    }
+    /**
+     * 获取退化候选（拦截率低于阈值的约束）
+     */
+    getDeprecationCandidates(interceptRates) {
+        return this.getAll().filter(c => {
+            if (c.layer !== 'quality' || !c.deprecationSchedule)
+                return false;
+            if (c.deprecationStatus !== 'active')
+                return false;
+            const threshold = c.deprecationSchedule.interceptRateThreshold;
+            if (threshold === undefined)
+                return false;
+            const rate = interceptRates.get(c.id);
+            return rate !== undefined && rate < threshold;
+        });
+    }
+    /**
+     * 执行退化：降低约束级别
+     */
+    degrade(id) {
+        const constraint = this.constraints.get(id);
+        if (!constraint || !constraint.deprecationSchedule)
+            return false;
+        if (constraint.deprecationStatus !== 'active')
+            return false;
+        constraint.level = constraint.deprecationSchedule.targetLevel;
+        constraint.deprecationStatus = 'deprecated';
+        return true;
+    }
+    /**
+     * 回滚退化
+     */
+    rollback(id, originalLevel) {
+        const constraint = this.constraints.get(id);
+        if (!constraint)
+            return false;
+        if (!constraint.deprecationSchedule?.rollbackable)
+            return false;
+        constraint.level = originalLevel;
+        constraint.deprecationStatus = 'active';
+        return true;
+    }
+    /**
+     * 标记为计划退化
+     */
+    scheduleDeprecation(id, schedule) {
+        const constraint = this.constraints.get(id);
+        if (!constraint || constraint.layer !== 'quality')
+            return false;
+        constraint.deprecationSchedule = schedule;
+        constraint.deprecationStatus = 'scheduled';
+        return true;
+    }
+    /**
+     * 获取层统计
+     */
+    getLayerStats() {
+        const layers = ['safety', 'quality'];
+        return layers.map(layer => {
+            const constraints = this.getByLayer(layer);
+            return {
+                layer,
+                totalConstraints: constraints.length,
+                active: constraints.filter(c => c.deprecationStatus === 'active').length,
+                scheduled: constraints.filter(c => c.deprecationStatus === 'scheduled').length,
+                deprecated: constraints.filter(c => c.deprecationStatus === 'deprecated').length,
+                removed: constraints.filter(c => c.deprecationStatus === 'removed').length,
+            };
+        });
+    }
+    /**
+     * 转换为旧格式 Constraint（兼容）
+     */
+    toLegacyConstraints() {
+        return this.getAll().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,
+        }));
+    }
+    /**
+     * 注册自定义约束
+     */
+    register(constraint) {
+        this.constraints.set(constraint.id, constraint);
+    }
+    /**
+     * 移除约束
+     */
+    remove(id) {
+        return this.constraints.delete(id);
+    }
+}
+exports.ConstraintRegistry = ConstraintRegistry;
+//# sourceMappingURL=registry.js.map

package/dist/constraints/registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/constraints/registry.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;;AAIH,qCAA8C;AAC9C,uCAAgD;AAEhD,MAAa,kBAAkB;IACrB,WAAW,CAAiC;IAEpD;QACE,IAAI,CAAC,WAAW,GAAG,IAAI,GAAG,EAAE,CAAC;QAC7B,sBAAsB;QACtB,KAAK,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,2BAAkB,CAAC,EAAE,CAAC;YAClE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE;gBACvB,GAAG,UAAU;gBACb,mBAAmB,EAAE,UAAU,CAAC,mBAAmB;oBACjD,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,mBAAmB,EAAE;oBACvC,CAAC,CAAC,SAAS;aACd,CAAC,CAAC;QACL,CAAC;QACD,UAAU;QACV,KAAK,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,6BAAmB,CAAC,EAAE,CAAC;YACnE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE;gBACvB,GAAG,UAAU;gBACb,mBAAmB,EAAE,UAAU,CAAC,mBAAmB;oBACjD,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,mBAAmB,EAAE;oBACvC,CAAC,CAAC,SAAS;aACd,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED;;OAEG;IACH,GAAG,CAAC,EAAU;QACZ,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClC,CAAC;IAED;;OAEG;IACH,MAAM;QACJ,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/C,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,KAAsB;QAC/B,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;IACtD,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,MAAyB;QACnC,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,KAAK,MAAM,CAAC,CAAC;IACnE,CAAC;IAED;;OAEG;IACH,YAAY,CAAC,OAA0B;QACrC,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;YAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACpE,OAAO,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,wBAAwB,CAAC,cAAmC;QAC1D,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;YAC9B,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,mBAAmB;gBAAE,OAAO,KAAK,CAAC;YAClE,IAAI,CAAC,CAAC,iBAAiB,KAAK,QAAQ;gBAAE,OAAO,KAAK,CAAC;YACnD,MAAM,SAAS,GAAG,CAAC,CAAC,mBAAmB,CAAC,sBAAsB,CAAC;YAC/D,IAAI,SAAS,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YAC1C,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACtC,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,GAAG,SAAS,CAAC;QAChD,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,EAAU;QAChB,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5C,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,mBAAmB;YAAE,OAAO,KAAK,CAAC;QACjE,IAAI,UAAU,CAAC,iBAAiB,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAE5D,UAAU,CAAC,KAAK,GAAG,UAAU,CAAC,mBAAmB,CAAC,WAAW,CAAC;QAC9D,UAAU,CAAC,iBAAiB,GAAG,YAAY,CAAC;QAC5C,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,EAAU,EAAE,aAA8B;QACjD,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5C,IAAI,CAAC,UAAU;YAAE,OAAO,KAAK,CAAC;QAC9B,IAAI,CAAC,UAAU,CAAC,mBAAmB,EAAE,YAAY;YAAE,OAAO,KAAK,CAAC;QAEhE,UAAU,CAAC,KAAK,GAAG,aAAa,CAAC;QACjC,UAAU,CAAC,iBAAiB,GAAG,QAAQ,CAAC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,mBAAmB,CAAC,EAAU,EAAE,QAA6B;QAC3D,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5C,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAEhE,UAAU,CAAC,mBAAmB,GAAG,QAAQ,CAAC;QAC1C,UAAU,CAAC,iBAAiB,GAAG,WAAW,CAAC;QAC3C,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,aAAa;QACX,MAAM,MAAM,GAAsB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACxD,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;YACxB,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAC3C,OAAO;gBACL,KAAK;gBACL,gBAAgB,EAAE,WAAW,CAAC,MAAM;gBACpC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,KAAK,QAAQ,CAAC,CAAC,MAAM;gBACxE,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,KAAK,WAAW,CAAC,CAAC,MAAM;gBAC9E,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,KAAK,YAAY,CAAC,CAAC,MAAM;gBAChF,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC,MAAM;aAC3E,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,mBAAmB;QACjB,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7B,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,WAAW,EAAE,CAAC,CAAC,WAAW;YAC1B,WAAW,EAAE,CAAC,CAAC,WAAW;YAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,UAAU,EAAE,CAAC,CAAC,UAAU;SACzB,CAAC,CAAC,CAAC;IACN,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,UAA6B;QACpC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IAClD,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,EAAU;QACf,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACrC,CAAC;CACF;AAnKD,gDAmKC"}

package/dist/constraints/safety.d.ts

@@ -0,0 +1,13 @@
+/**
+ * 安全层约束（永久保留）
+ *
+ * 这些约束是模型无关的安全底线，不随模型能力提升而退化：
+ * - CommandGate：命令黑名单
+ * - SecurityGate：敏感文件审计
+ * - 跨项目接口一致性
+ * - 架构规则引擎
+ */
+import type { LayeredConstraint } from './types';
+export declare const SAFETY_CONSTRAINTS: Record<string, LayeredConstraint>;
+export declare function getSafetyConstraints(): LayeredConstraint[];
+//# sourceMappingURL=safety.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"safety.d.ts","sourceRoot":"","sources":["../../src/constraints/safety.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAC;AAEjD,eAAO,MAAM,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CA2FhE,CAAC;AAEF,wBAAgB,oBAAoB,IAAI,iBAAiB,EAAE,CAE1D"}

package/dist/constraints/safety.js

@@ -0,0 +1,103 @@
+"use strict";
+/**
+ * 安全层约束（永久保留）
+ *
+ * 这些约束是模型无关的安全底线，不随模型能力提升而退化：
+ * - CommandGate：命令黑名单
+ * - SecurityGate：敏感文件审计
+ * - 跨项目接口一致性
+ * - 架构规则引擎
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SAFETY_CONSTRAINTS = void 0;
+exports.getSafetyConstraints = getSafetyConstraints;
+exports.SAFETY_CONSTRAINTS = {
+    no_bypass_checkpoint: {
+        id: 'no_bypass_checkpoint',
+        rule: 'NO BYPASSING CHECKPOINTS',
+        message: '禁止跳过检查点验证',
+        level: 'iron_law',
+        trigger: 'step_execution',
+        enforcement: 'checkpoint-required',
+        description: '所有检查点必须通过，不能跳过验证步骤。检查点是质量的最后一道防线。',
+        layer: 'safety',
+        deprecationStatus: 'active',
+        permanent: true,
+    },
+    CommandGate: {
+        id: 'CommandGate',
+        rule: 'BLOCKED COMMANDS CANNOT BE EXECUTED',
+        message: '黑名单命令禁止执行',
+        level: 'iron_law',
+        trigger: 'workflow_execution',
+        enforcement: 'command-blacklist',
+        description: 'rm -rf /、mkfs、fork bomb 等危险命令永远不能执行。',
+        layer: 'safety',
+        deprecationStatus: 'active',
+        permanent: true,
+    },
+    SecurityGate: {
+        id: 'SecurityGate',
+        rule: 'SENSITIVE FILE ACCESS MUST BE AUDITED',
+        message: '敏感文件访问必须审计',
+        level: 'iron_law',
+        trigger: 'file_modification',
+        enforcement: 'security-audit',
+        description: '.env、密钥文件、凭证文件的访问必须留审计日志。',
+        layer: 'safety',
+        deprecationStatus: 'active',
+        permanent: true,
+    },
+    cross_project_interface_consistency: {
+        id: 'cross_project_interface_consistency',
+        rule: 'CROSS-PROJECT INTERFACES MUST REMAIN CONSISTENT',
+        message: '跨项目接口必须保持一致',
+        level: 'iron_law',
+        trigger: ['api_change', 'module_modification'],
+        enforcement: 'cross-project-check',
+        description: '多仓库协调问题，不是模型能力问题，必须永久保留。',
+        layer: 'safety',
+        deprecationStatus: 'active',
+        permanent: true,
+    },
+    architecture_rule_engine: {
+        id: 'architecture_rule_engine',
+        rule: 'ARCHITECTURE BOUNDARY RULES MUST BE ENFORCED',
+        message: '架构边界规则必须强制执行',
+        level: 'iron_law',
+        trigger: ['module_creation', 'module_extension', 'code_implementation'],
+        enforcement: 'architecture-check',
+        description: '团队架构边界的硬约束，如 forbidden-pattern 等。',
+        layer: 'safety',
+        deprecationStatus: 'active',
+        permanent: true,
+    },
+    verify_external_capability: {
+        id: 'verify_external_capability',
+        rule: 'VERIFY EXTERNAL CAPABILITY BEFORE IMPLEMENTATION',
+        message: '外部依赖能力必须先验证',
+        level: 'iron_law',
+        trigger: 'external_api_design',
+        enforcement: 'capability-verification',
+        description: '实现方案依赖外部系统的未确认能力时，必须先验证。',
+        layer: 'safety',
+        deprecationStatus: 'active',
+        permanent: true,
+    },
+    no_implementation_without_requirement_review: {
+        id: 'no_implementation_without_requirement_review',
+        rule: 'REVIEW IMPLEMENTATION AGAINST REQUIREMENTS',
+        message: '实现后必须对比需求验证',
+        level: 'iron_law',
+        trigger: 'implementation_complete',
+        enforcement: 'requirement-review',
+        description: '实现完成后，必须对比原始需求进行验证。',
+        layer: 'safety',
+        deprecationStatus: 'active',
+        permanent: true,
+    },
+};
+function getSafetyConstraints() {
+    return Object.values(exports.SAFETY_CONSTRAINTS);
+}
+//# sourceMappingURL=safety.js.map

package/dist/constraints/safety.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"safety.js","sourceRoot":"","sources":["../../src/constraints/safety.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAiGH,oDAEC;AA/FY,QAAA,kBAAkB,GAAsC;IACnE,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;QAChD,KAAK,EAAE,QAAQ;QACf,iBAAiB,EAAE,QAAQ;QAC3B,SAAS,EAAE,IAAI;KAChB;IAED,WAAW,EAAE;QACX,EAAE,EAAE,aAAa;QACjB,IAAI,EAAE,qCAAqC;QAC3C,OAAO,EAAE,WAAW;QACpB,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,oBAAoB;QAC7B,WAAW,EAAE,mBAAmB;QAChC,WAAW,EAAE,sCAAsC;QACnD,KAAK,EAAE,QAAQ;QACf,iBAAiB,EAAE,QAAQ;QAC3B,SAAS,EAAE,IAAI;KAChB;IAED,YAAY,EAAE;QACZ,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,uCAAuC;QAC7C,OAAO,EAAE,YAAY;QACrB,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,mBAAmB;QAC5B,WAAW,EAAE,gBAAgB;QAC7B,WAAW,EAAE,2BAA2B;QACxC,KAAK,EAAE,QAAQ;QACf,iBAAiB,EAAE,QAAQ;QAC3B,SAAS,EAAE,IAAI;KAChB;IAED,mCAAmC,EAAE;QACnC,EAAE,EAAE,qCAAqC;QACzC,IAAI,EAAE,iDAAiD;QACvD,OAAO,EAAE,aAAa;QACtB,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,CAAC,YAAY,EAAE,qBAAqB,CAAC;QAC9C,WAAW,EAAE,qBAAqB;QAClC,WAAW,EAAE,0BAA0B;QACvC,KAAK,EAAE,QAAQ;QACf,iBAAiB,EAAE,QAAQ;QAC3B,SAAS,EAAE,IAAI;KAChB;IAED,wBAAwB,EAAE;QACxB,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,8CAA8C;QACpD,OAAO,EAAE,cAAc;QACvB,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,CAAC,iBAAiB,EAAE,kBAAkB,EAAE,qBAAqB,CAAC;QACvE,WAAW,EAAE,oBAAoB;QACjC,WAAW,EAAE,mCAAmC;QAChD,KAAK,EAAE,QAAQ;QACf,iBAAiB,EAAE,QAAQ;QAC3B,SAAS,EAAE,IAAI;KAChB;IAED,0BAA0B,EAAE;QAC1B,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,kDAAkD;QACxD,OAAO,EAAE,aAAa;QACtB,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,yBAAyB;QACtC,WAAW,EAAE,0BAA0B;QACvC,KAAK,EAAE,QAAQ;QACf,iBAAiB,EAAE,QAAQ;QAC3B,SAAS,EAAE,IAAI;KAChB;IAED,4CAA4C,EAAE;QAC5C,EAAE,EAAE,8CAA8C;QAClD,IAAI,EAAE,4CAA4C;QAClD,OAAO,EAAE,aAAa;QACtB,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,yBAAyB;QAClC,WAAW,EAAE,oBAAoB;QACjC,WAAW,EAAE,qBAAqB;QAClC,KAAK,EAAE,QAAQ;QACf,iBAAiB,EAAE,QAAQ;QAC3B,SAAS,EAAE,IAAI;KAChB;CACF,CAAC;AAEF,SAAgB,oBAAoB;IAClC,OAAO,MAAM,CAAC,MAAM,CAAC,0BAAkB,CAAC,CAAC;AAC3C,CAAC"}

package/dist/constraints/types.d.ts

@@ -0,0 +1,53 @@
+/**
+ * 约束分层类型定义
+ *
+ * 在原有 Constraint 基础上增加分层和退化元数据
+ */
+import type { Constraint, ConstraintLevel } from '../types/constraint';
+/** 约束分层 */
+export type ConstraintLayer = 'safety' | 'quality';
+/** 退化状态 */
+export type DeprecationStatus = 'active' | 'scheduled' | 'deprecated' | 'removed';
+/** 退化计划 */
+export interface DeprecationSchedule {
+    /** 目标级别（当前 → 目标） */
+    targetLevel: ConstraintLevel;
+    /** 触发条件：拦截率低于此值时触发退化 */
+    interceptRateThreshold?: number;
+    /** 计划退化日期 */
+    scheduledDate?: string;
+    /** 退化原因 */
+    reason: string;
+    /** 是否可回滚 */
+    rollbackable: boolean;
+}
+/** 带分层元数据的约束 */
+export interface LayeredConstraint extends Constraint {
+    /** 所属层 */
+    layer: ConstraintLayer;
+    /** 退化状态 */
+    deprecationStatus: DeprecationStatus;
+    /** 退化计划（quality 层才有） */
+    deprecationSchedule?: DeprecationSchedule;
+    /** 是否永久保留（safety 层） */
+    permanent?: boolean;
+}
+/** 约束拦截统计 */
+export interface ConstraintStats {
+    constraintId: string;
+    triggerCount: number;
+    passCount: number;
+    interceptCount: number;
+    interceptRate: number;
+    lastTriggered?: string;
+}
+/** 约束层统计汇总 */
+export interface LayerStats {
+    layer: ConstraintLayer;
+    totalConstraints: number;
+    active: number;
+    scheduled: number;
+    deprecated: number;
+    removed: number;
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/constraints/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAEvE,WAAW;AACX,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,SAAS,CAAC;AAEnD,WAAW;AACX,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GAAG,WAAW,GAAG,YAAY,GAAG,SAAS,CAAC;AAElF,WAAW;AACX,MAAM,WAAW,mBAAmB;IAClC,oBAAoB;IACpB,WAAW,EAAE,eAAe,CAAC;IAC7B,wBAAwB;IACxB,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,aAAa;IACb,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,WAAW;IACX,MAAM,EAAE,MAAM,CAAC;IACf,YAAY;IACZ,YAAY,EAAE,OAAO,CAAC;CACvB;AAED,gBAAgB;AAChB,MAAM,WAAW,iBAAkB,SAAQ,UAAU;IACnD,UAAU;IACV,KAAK,EAAE,eAAe,CAAC;IACvB,WAAW;IACX,iBAAiB,EAAE,iBAAiB,CAAC;IACrC,wBAAwB;IACxB,mBAAmB,CAAC,EAAE,mBAAmB,CAAC;IAC1C,uBAAuB;IACvB,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAED,aAAa;AACb,MAAM,WAAW,eAAe;IAC9B,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,cAAc;AACd,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,eAAe,CAAC;IACvB,gBAAgB,EAAE,MAAM,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;CACjB"}

package/dist/constraints/types.js

@@ -0,0 +1,8 @@
+"use strict";
+/**
+ * 约束分层类型定义
+ *
+ * 在原有 Constraint 基础上增加分层和退化元数据
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=types.js.map

package/dist/constraints/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/constraints/types.ts"],"names":[],"mappings":";AAAA;;;;GAIG"}

package/dist/context/compaction.d.ts

@@ -0,0 +1,57 @@
+/**
+ * 会话压缩
+ *
+ * 三档策略：eviction / summary / checkpoint
+ * 不调用 LLM，零 token 成本
+ */
+import type { CompactionConfig, CompactionLevel, SessionMessage } from './types';
+export interface CompactionResult {
+    compacted: SessionMessage[];
+    summary?: string;
+    level: CompactionLevel;
+    originalTokens: number;
+    compactedTokens: number;
+}
+export declare class SessionCompaction {
+    private config;
+    constructor(config?: Partial<CompactionConfig>);
+    /**
+     * 检查是否需要压缩
+     */
+    shouldCompact(messages: SessionMessage[], budget: number): boolean;
+    /**
+     * 执行压缩
+     */
+    compact(messages: SessionMessage[], budget: number): CompactionResult;
+    /**
+     * 轻量压缩：按比例丢最早消息，保留 tool-call 边界对
+     */
+    private evictionCompact;
+    /**
+     * 中等压缩：结构化总结 + 保留最近 N 轮
+     */
+    private summaryCompact;
+    /**
+     * 重型压缩：checkpoint + 清空历史
+     */
+    private checkpointCompact;
+    /**
+     * 生成结构化摘要（零 LLM 成本）
+     */
+    generateStructuredSummary(messages: SessionMessage[]): string;
+    /**
+     * 保留 tool-call 边界对
+     *
+     * 如果 tool 结果被保留，对应的 tool 调用也要保留
+     */
+    private preserveToolCallPairs;
+    /**
+     * 估算消息的 token 数
+     */
+    private estimateMessages;
+    /**
+     * 获取配置
+     */
+    getConfig(): CompactionConfig;
+}
+//# sourceMappingURL=compaction.d.ts.map

package/dist/context/compaction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compaction.d.ts","sourceRoot":"","sources":["../../src/context/compaction.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,gBAAgB,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAGjF,MAAM,WAAW,gBAAgB;IAC/B,SAAS,EAAE,cAAc,EAAE,CAAC;IAC5B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,eAAe,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,MAAM,CAAmB;gBAErB,MAAM,CAAC,EAAE,OAAO,CAAC,gBAAgB,CAAC;IAI9C;;OAEG;IACH,aAAa,CAAC,QAAQ,EAAE,cAAc,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO;IAKlE;;OAEG;IACH,OAAO,CAAC,QAAQ,EAAE,cAAc,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,gBAAgB;IAerE;;OAEG;IACH,OAAO,CAAC,eAAe;IAyBvB;;OAEG;IACH,OAAO,CAAC,cAAc;IA2BtB;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAqBzB;;OAEG;IACH,yBAAyB,CAAC,QAAQ,EAAE,cAAc,EAAE,GAAG,MAAM;IA4B7D;;;;OAIG;IACH,OAAO,CAAC,qBAAqB;IAkB7B;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAIxB;;OAEG;IACH,SAAS,IAAI,gBAAgB;CAG9B"}

package/dist/context/compaction.js

@@ -0,0 +1,166 @@
+"use strict";
+/**
+ * 会话压缩
+ *
+ * 三档策略：eviction / summary / checkpoint
+ * 不调用 LLM，零 token 成本
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SessionCompaction = void 0;
+const token_budget_1 = require("./token-budget");
+const types_1 = require("./types");
+class SessionCompaction {
+    config;
+    constructor(config) {
+        this.config = { ...types_1.DEFAULT_COMPACTION_CONFIG, ...config };
+    }
+    /**
+     * 检查是否需要压缩
+     */
+    shouldCompact(messages, budget) {
+        const totalTokens = this.estimateMessages(messages);
+        return totalTokens / budget > this.config.triggerRatio;
+    }
+    /**
+     * 执行压缩
+     */
+    compact(messages, budget) {
+        const originalTokens = this.estimateMessages(messages);
+        switch (this.config.level) {
+            case 'eviction':
+                return this.evictionCompact(messages, budget, originalTokens);
+            case 'summary':
+                return this.summaryCompact(messages, budget, originalTokens);
+            case 'checkpoint':
+                return this.checkpointCompact(messages, budget, originalTokens);
+            default:
+                return this.evictionCompact(messages, budget, originalTokens);
+        }
+    }
+    /**
+     * 轻量压缩：按比例丢最早消息，保留 tool-call 边界对
+     */
+    evictionCompact(messages, budget, originalTokens) {
+        const targetTokens = Math.floor(budget * 0.6); // 目标压缩到 60%
+        const keepRatio = targetTokens / originalTokens;
+        // 至少保留最近 2 条
+        const minKeep = Math.min(2, messages.length);
+        const keepCount = Math.max(minKeep, Math.floor(messages.length * keepRatio));
+        let compacted = messages.slice(-keepCount);
+        // 保留 tool-call 边界对
+        if (this.config.preserveToolCallPairs) {
+            compacted = this.preserveToolCallPairs(messages, compacted);
+        }
+        const compactedTokens = this.estimateMessages(compacted);
+        return {
+            compacted,
+            level: 'eviction',
+            originalTokens,
+            compactedTokens,
+        };
+    }
+    /**
+     * 中等压缩：结构化总结 + 保留最近 N 轮
+     */
+    summaryCompact(messages, budget, originalTokens) {
+        const recentCount = Math.min(6, messages.length); // 保留最近 6 条
+        const recent = messages.slice(-recentCount);
+        const older = messages.slice(0, -recentCount);
+        // 生成结构化摘要
+        const summary = this.generateStructuredSummary(older);
+        // 摘要作为系统消息插入
+        const summarySessionMessage = {
+            role: 'assistant',
+            content: `[会话摘要]\n${summary}`,
+            timestamp: new Date().toISOString(),
+        };
+        const compacted = [summarySessionMessage, ...recent];
+        const compactedTokens = this.estimateMessages(compacted);
+        return {
+            compacted,
+            summary,
+            level: 'summary',
+            originalTokens,
+            compactedTokens,
+        };
+    }
+    /**
+     * 重型压缩：checkpoint + 清空历史
+     */
+    checkpointCompact(messages, budget, originalTokens) {
+        const summary = this.generateStructuredSummary(messages);
+        const checkpointSessionMessage = {
+            role: 'assistant',
+            content: `[Checkpoint]\n${summary}\n\n[历史已压缩，共 ${messages.length} 条消息]`,
+            timestamp: new Date().toISOString(),
+        };
+        const compacted = [checkpointSessionMessage];
+        const compactedTokens = this.estimateMessages(compacted);
+        return {
+            compacted,
+            summary,
+            level: 'checkpoint',
+            originalTokens,
+            compactedTokens,
+        };
+    }
+    /**
+     * 生成结构化摘要（零 LLM 成本）
+     */
+    generateStructuredSummary(messages) {
+        const sections = [];
+        // 提取用户目标
+        const userSessionMessages = messages.filter(m => m.role === 'user');
+        if (userSessionMessages.length > 0) {
+            sections.push(`用户目标: ${userSessionMessages[0].content.slice(0, 200)}`);
+        }
+        // 提取工具调用
+        const toolCalls = messages.filter(m => m.role === 'tool');
+        if (toolCalls.length > 0) {
+            sections.push(`工具调用: ${toolCalls.length} 次`);
+        }
+        // 提取关键信息
+        const assistantSessionMessages = messages.filter(m => m.role === 'assistant');
+        if (assistantSessionMessages.length > 0) {
+            const lastAssistant = assistantSessionMessages[assistantSessionMessages.length - 1];
+            sections.push(`最近响应: ${lastAssistant.content.slice(0, 200)}`);
+        }
+        sections.push(`消息总数: ${messages.length}`);
+        sections.push(`时间范围: ${messages[0]?.timestamp || 'N/A'} → ${messages[messages.length - 1]?.timestamp || 'N/A'}`);
+        return sections.join('\n');
+    }
+    /**
+     * 保留 tool-call 边界对
+     *
+     * 如果 tool 结果被保留，对应的 tool 调用也要保留
+     */
+    preserveToolCallPairs(all, compacted) {
+        const compactedIds = new Set(compacted.map(m => m.toolCallId).filter(Boolean));
+        const result = [];
+        for (const msg of compacted) {
+            // 如果是 tool 结果，确保对应的 tool 调用也在
+            if (msg.role === 'tool' && msg.toolCallId) {
+                const paired = all.find(m => m.toolCallId === msg.toolCallId && m.role === 'assistant');
+                if (paired && !compacted.some(m => m === paired)) {
+                    result.push(paired);
+                }
+            }
+            result.push(msg);
+        }
+        return result;
+    }
+    /**
+     * 估算消息的 token 数
+     */
+    estimateMessages(messages) {
+        return messages.reduce((sum, m) => sum + token_budget_1.TokenEstimator.estimateText(m.content), 0);
+    }
+    /**
+     * 获取配置
+     */
+    getConfig() {
+        return { ...this.config };
+    }
+}
+exports.SessionCompaction = SessionCompaction;
+//# sourceMappingURL=compaction.js.map

package/dist/context/compaction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compaction.js","sourceRoot":"","sources":["../../src/context/compaction.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAEH,iDAAgD;AAEhD,mCAAoD;AAUpD,MAAa,iBAAiB;IACpB,MAAM,CAAmB;IAEjC,YAAY,MAAkC;QAC5C,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,iCAAyB,EAAE,GAAG,MAAM,EAAE,CAAC;IAC5D,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,QAA0B,EAAE,MAAc;QACtD,MAAM,WAAW,GAAG,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QACpD,OAAO,WAAW,GAAG,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC;IACzD,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,QAA0B,EAAE,MAAc;QAChD,MAAM,cAAc,GAAG,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QAEvD,QAAQ,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;YAC1B,KAAK,UAAU;gBACb,OAAO,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,cAAc,CAAC,CAAC;YAChE,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,cAAc,CAAC,CAAC;YAC/D,KAAK,YAAY;gBACf,OAAO,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,cAAc,CAAC,CAAC;YAClE;gBACE,OAAO,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,cAAc,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;IAED;;OAEG;IACK,eAAe,CAAC,QAA0B,EAAE,MAAc,EAAE,cAAsB;QACxF,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,YAAY;QAC3D,MAAM,SAAS,GAAG,YAAY,GAAG,cAAc,CAAC;QAEhD,aAAa;QACb,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC7C,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC;QAE7E,IAAI,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC;QAE3C,mBAAmB;QACnB,IAAI,IAAI,CAAC,MAAM,CAAC,qBAAqB,EAAE,CAAC;YACtC,SAAS,GAAG,IAAI,CAAC,qBAAqB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC9D,CAAC;QAED,MAAM,eAAe,GAAG,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;QAEzD,OAAO;YACL,SAAS;YACT,KAAK,EAAE,UAAU;YACjB,cAAc;YACd,eAAe;SAChB,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,QAA0B,EAAE,MAAc,EAAE,cAAsB;QACvF,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW;QAC7D,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;QAE9C,UAAU;QACV,MAAM,OAAO,GAAG,IAAI,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC;QAEtD,aAAa;QACb,MAAM,qBAAqB,GAAmB;YAC5C,IAAI,EAAE,WAAW;YACjB,OAAO,EAAE,WAAW,OAAO,EAAE;YAC7B,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACpC,CAAC;QAEF,MAAM,SAAS,GAAG,CAAC,qBAAqB,EAAE,GAAG,MAAM,CAAC,CAAC;QACrD,MAAM,eAAe,GAAG,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;QAEzD,OAAO;YACL,SAAS;YACT,OAAO;YACP,KAAK,EAAE,SAAS;YAChB,cAAc;YACd,eAAe;SAChB,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,iBAAiB,CAAC,QAA0B,EAAE,MAAc,EAAE,cAAsB;QAC1F,MAAM,OAAO,GAAG,IAAI,CAAC,yBAAyB,CAAC,QAAQ,CAAC,CAAC;QAEzD,MAAM,wBAAwB,GAAmB;YAC/C,IAAI,EAAE,WAAW;YACjB,OAAO,EAAE,iBAAiB,OAAO,gBAAgB,QAAQ,CAAC,MAAM,OAAO;YACvE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACpC,CAAC;QAEF,MAAM,SAAS,GAAG,CAAC,wBAAwB,CAAC,CAAC;QAC7C,MAAM,eAAe,GAAG,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;QAEzD,OAAO;YACL,SAAS;YACT,OAAO;YACP,KAAK,EAAE,YAAY;YACnB,cAAc;YACd,eAAe;SAChB,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,yBAAyB,CAAC,QAA0B;QAClD,MAAM,QAAQ,GAAa,EAAE,CAAC;QAE9B,SAAS;QACT,MAAM,mBAAmB,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QACpE,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,SAAS,mBAAmB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACzE,CAAC;QAED,SAAS;QACT,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAC1D,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,CAAC,CAAC;QAC/C,CAAC;QAED,SAAS;QACT,MAAM,wBAAwB,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;QAC9E,IAAI,wBAAwB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,MAAM,aAAa,GAAG,wBAAwB,CAAC,wBAAwB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACpF,QAAQ,CAAC,IAAI,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAChE,CAAC;QAED,QAAQ,CAAC,IAAI,CAAC,SAAS,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1C,QAAQ,CAAC,IAAI,CAAC,SAAS,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,IAAI,KAAK,MAAM,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,SAAS,IAAI,KAAK,EAAE,CAAC,CAAC;QAEjH,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAED;;;;OAIG;IACK,qBAAqB,CAAC,GAAqB,EAAE,SAA2B;QAC9E,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QAC/E,MAAM,MAAM,GAAqB,EAAE,CAAC;QAEpC,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;YAC5B,8BAA8B;YAC9B,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;gBAC1C,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,GAAG,CAAC,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;gBACxF,IAAI,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC;oBACjD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACtB,CAAC;YACH,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,gBAAgB,CAAC,QAA0B;QACjD,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,6BAAc,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IACtF,CAAC;IAED;;OAEG;IACH,SAAS;QACP,OAAO,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;IAC5B,CAAC;CACF;AAtLD,8CAsLC"}

package/dist/context/file-budget.d.ts

@@ -0,0 +1,40 @@
+/**
+ * 文件读取预算
+ *
+ * 按行数、字节数、Token 数三重限制读取文件
+ * 超限时生成 continuationHint 提示 offset
+ */
+import type { FileBudgetConfig } from './types';
+export interface FileCheckResult {
+    allowed: boolean;
+    reason?: string;
+    lineCount?: number;
+    byteCount?: number;
+}
+export interface FileReadResult {
+    content: string;
+    truncated: boolean;
+    linesRead: number;
+    bytesRead: number;
+    tokensEstimate: number;
+    continuationHint?: string;
+}
+export declare class FileBudget {
+    private config;
+    constructor(config?: Partial<FileBudgetConfig>);
+    /**
+     * 检查文件是否在预算内（stat 检查）
+     */
+    checkFile(filePath: string): FileCheckResult;
+    /**
+     * 按预算读取文件
+     *
+     * 三重限制：行数 → 字节数 → Token 数
+     */
+    readWithBudget(filePath: string, config?: Partial<FileBudgetConfig>): FileReadResult;
+    /**
+     * 获取当前配置
+     */
+    getConfig(): FileBudgetConfig;
+}
+//# sourceMappingURL=file-budget.d.ts.map

package/dist/context/file-budget.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-budget.d.ts","sourceRoot":"","sources":["../../src/context/file-budget.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,SAAS,CAAC;AAGhD,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,OAAO,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,qBAAa,UAAU;IACrB,OAAO,CAAC,MAAM,CAAmB;gBAErB,MAAM,CAAC,EAAE,OAAO,CAAC,gBAAgB,CAAC;IAI9C;;OAEG;IACH,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,eAAe;IAqB5C;;;;OAIG;IACH,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,gBAAgB,CAAC,GAAG,cAAc;IAuEpF;;OAEG;IACH,SAAS,IAAI,gBAAgB;CAG9B"}