@lingxiao-office/sdk 1.0.0

package/dist/core/ChangeImpactResolver.d.ts

@@ -0,0 +1,71 @@
+/**
+ * ChangeImpactResolver — 确定性变更影响范围解析器
+ *
+ * 给定一组修改文件 → 输出：
+ * 1. 传递性影响范围（谁 import 了这些文件、递归）
+ * 2. 需要运行的精确测试文件集
+ * 3. 结构化 build 诊断（修改后是否引入编译错误）
+ *
+ * 全部基于确定性图计算 + 真实 build 工具输出，零启发式。
+ *
+ * 集成方式：
+ * - Worker 完成代码变更后：resolve(changedFiles) → 得到 impact + tests + diagnostics
+ * - Leader 据此决定：是否通过、需要修复什么、重试范围多大
+ * - 本模块是 self-verification 的基础设施，取代之前基于文件名猜测的方案
+ */
+import { type ImportGraph } from './ImportGraphEngine.js';
+import { type BuildResult, type Diagnostic } from './BuildDiagnosticsCollector.js';
+import { type AstCallGraphEdge, type AstSymbolSummary } from './AstStructuralEngine.js';
+/** 变更影响分析结果 */
+export interface ChangeImpact {
+    /** 直接修改的文件 */
+    changedFiles: string[];
+    /** 传递性影响范围 (包含 changedFiles 自身) */
+    impactSet: string[];
+    /** 影响范围中的测试文件 */
+    affectedTests: string[];
+    /** 构建诊断 (空 = 构建通过) */
+    diagnostics: Diagnostic[];
+    /** 构建是否通过 */
+    buildPassed: boolean;
+    /** 构建结果详情 */
+    buildResults: BuildResult[];
+    /** 影响范围大小 vs 项目总文件数 (便于 Leader 评估任务拆分) */
+    impactRatio: number;
+    /** AST-backed structural facts for changed and impacted code. */
+    structuralImpact: {
+        changedDefinitions: AstSymbolSummary[];
+        impactedPublicApis: AstSymbolSummary[];
+        callGraphEdges: AstCallGraphEdge[];
+        diagnostics: string[];
+    };
+}
+export interface ChangeImpactResolverOptions {
+    projectRoot: string;
+    sourceDirs?: string[];
+    tsconfigPath?: string;
+    /** 是否跑 build 诊断 (false 则只计算影响图) */
+    runBuildCheck?: boolean;
+    /** build 超时 ms */
+    buildTimeoutMs?: number;
+}
+export declare class ChangeImpactResolver {
+    private readonly graphEngine;
+    private readonly buildCollector;
+    private readonly opts;
+    private cachedGraph;
+    constructor(options: ChangeImpactResolverOptions);
+    /**
+     * 解析变更影响范围。
+     * @param changedFiles 相对项目根的修改文件路径列表
+     */
+    resolve(changedFiles: string[]): Promise<ChangeImpact>;
+    private resolveStructuralImpact;
+    private uniqueSymbols;
+    private uniqueEdges;
+    /** 获取缓存的导入图 (用于 Leader 任务分解时查看模块边界) */
+    getGraph(): ImportGraph | null;
+    /** 强制重建图 (文件系统大变动后) */
+    invalidateCache(): void;
+}
+//# sourceMappingURL=ChangeImpactResolver.d.ts.map

package/dist/core/ChangeImpactResolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ChangeImpactResolver.d.ts","sourceRoot":"","sources":["../../src/core/ChangeImpactResolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAqB,KAAK,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAC7E,OAAO,EAA6B,KAAK,WAAW,EAAE,KAAK,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAC9G,OAAO,EAAuB,KAAK,gBAAgB,EAAE,KAAK,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAE7G,eAAe;AACf,MAAM,WAAW,YAAY;IAC3B,cAAc;IACd,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,mCAAmC;IACnC,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,iBAAiB;IACjB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,sBAAsB;IACtB,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,aAAa;IACb,WAAW,EAAE,OAAO,CAAC;IACrB,aAAa;IACb,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,0CAA0C;IAC1C,WAAW,EAAE,MAAM,CAAC;IACpB,iEAAiE;IACjE,gBAAgB,EAAE;QAChB,kBAAkB,EAAE,gBAAgB,EAAE,CAAC;QACvC,kBAAkB,EAAE,gBAAgB,EAAE,CAAC;QACvC,cAAc,EAAE,gBAAgB,EAAE,CAAC;QACnC,WAAW,EAAE,MAAM,EAAE,CAAC;KACvB,CAAC;CACH;AAED,MAAM,WAAW,2BAA2B;IAC1C,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,mCAAmC;IACnC,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,kBAAkB;IAClB,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,qBAAa,oBAAoB;IAC/B,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAoB;IAChD,OAAO,CAAC,QAAQ,CAAC,cAAc,CAA4B;IAC3D,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA8B;IACnD,OAAO,CAAC,WAAW,CAA4B;gBAEnC,OAAO,EAAE,2BAA2B;IAUhD;;;OAGG;IACG,OAAO,CAAC,YAAY,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,YAAY,CAAC;IA6C5D,OAAO,CAAC,uBAAuB;IAyB/B,OAAO,CAAC,aAAa;IAYrB,OAAO,CAAC,WAAW;IAkBnB,uCAAuC;IACvC,QAAQ,IAAI,WAAW,GAAG,IAAI;IAI9B,uBAAuB;IACvB,eAAe,IAAI,IAAI;CAIxB"}

package/dist/core/ChangeImpactResolver.js

@@ -0,0 +1,130 @@
+/**
+ * ChangeImpactResolver — 确定性变更影响范围解析器
+ *
+ * 给定一组修改文件 → 输出：
+ * 1. 传递性影响范围（谁 import 了这些文件、递归）
+ * 2. 需要运行的精确测试文件集
+ * 3. 结构化 build 诊断（修改后是否引入编译错误）
+ *
+ * 全部基于确定性图计算 + 真实 build 工具输出，零启发式。
+ *
+ * 集成方式：
+ * - Worker 完成代码变更后：resolve(changedFiles) → 得到 impact + tests + diagnostics
+ * - Leader 据此决定：是否通过、需要修复什么、重试范围多大
+ * - 本模块是 self-verification 的基础设施，取代之前基于文件名猜测的方案
+ */
+import { ImportGraphEngine } from './ImportGraphEngine.js';
+import { BuildDiagnosticsCollector } from './BuildDiagnosticsCollector.js';
+import { AstStructuralEngine } from './AstStructuralEngine.js';
+export class ChangeImpactResolver {
+    graphEngine;
+    buildCollector;
+    opts;
+    cachedGraph = null;
+    constructor(options) {
+        this.opts = options;
+        this.graphEngine = new ImportGraphEngine({
+            rootDir: options.projectRoot,
+            sourceDirs: options.sourceDirs,
+            tsconfigPath: options.tsconfigPath,
+        });
+        this.buildCollector = new BuildDiagnosticsCollector();
+    }
+    /**
+     * 解析变更影响范围。
+     * @param changedFiles 相对项目根的修改文件路径列表
+     */
+    async resolve(changedFiles) {
+        // 1. 构建/更新导入图 (增量)
+        const graph = this.graphEngine.build();
+        this.cachedGraph = graph;
+        // 2. 计算传递性影响范围
+        const impactSet = this.graphEngine.computeImpactSet(graph, changedFiles);
+        // 3. 从影响范围中过滤测试文件
+        const affectedTests = this.graphEngine.filterTestFiles(impactSet);
+        // 4. AST-backed structural impact facts for worker navigation and verification.
+        const structuralImpact = this.resolveStructuralImpact(changedFiles, impactSet);
+        // 5. 可选: 运行 build 诊断
+        let diagnostics = [];
+        let buildPassed = true;
+        let buildResults = [];
+        if (this.opts.runBuildCheck !== false) {
+            buildResults = await this.buildCollector.collectAll(this.opts.projectRoot, this.opts.buildTimeoutMs);
+            diagnostics = buildResults.flatMap(r => r.diagnostics);
+            buildPassed = diagnostics.filter(d => d.severity === 'error').length === 0;
+        }
+        // 6. 计算影响比例
+        const impactRatio = graph.files.length > 0
+            ? impactSet.size / graph.files.length
+            : 0;
+        return {
+            changedFiles,
+            impactSet: [...impactSet],
+            affectedTests,
+            diagnostics,
+            buildPassed,
+            buildResults,
+            impactRatio,
+            structuralImpact,
+        };
+    }
+    resolveStructuralImpact(changedFiles, impactSet) {
+        const engine = new AstStructuralEngine({
+            projectRoot: this.opts.projectRoot,
+            sourceDirs: this.opts.sourceDirs,
+        });
+        const diagnostics = [];
+        try {
+            const changedDefinitions = this.uniqueSymbols(changedFiles.flatMap((file) => engine.findDefinitions(undefined, { file, limit: 200 })));
+            const impactedPublicApis = this.uniqueSymbols([...impactSet].flatMap((file) => engine.getPublicApi({ file, limit: 200 })));
+            const callGraphEdges = this.uniqueEdges(changedDefinitions
+                .filter((definition) => ['function', 'method', 'variable'].includes(definition.kind))
+                .flatMap((definition) => engine.getCallGraph({ symbolName: definition.name, maxDepth: 2, limit: 200 })));
+            return { changedDefinitions, impactedPublicApis, callGraphEdges, diagnostics };
+        }
+        catch (error) {
+            diagnostics.push(error instanceof Error ? error.message : String(error));
+            return { changedDefinitions: [], impactedPublicApis: [], callGraphEdges: [], diagnostics };
+        }
+    }
+    uniqueSymbols(symbols) {
+        const seen = new Set();
+        const out = [];
+        for (const symbol of symbols) {
+            const key = `${symbol.location.file}:${symbol.location.start}:${symbol.name}`;
+            if (seen.has(key))
+                continue;
+            seen.add(key);
+            out.push(symbol);
+        }
+        return out;
+    }
+    uniqueEdges(edges) {
+        const seen = new Set();
+        const out = [];
+        for (const edge of edges) {
+            const key = [
+                edge.caller.location.file,
+                edge.caller.location.start,
+                edge.callee.location.file,
+                edge.callee.location.start,
+                edge.location.start,
+            ].join(':');
+            if (seen.has(key))
+                continue;
+            seen.add(key);
+            out.push(edge);
+        }
+        return out;
+    }
+    /** 获取缓存的导入图 (用于 Leader 任务分解时查看模块边界) */
+    getGraph() {
+        return this.cachedGraph;
+    }
+    /** 强制重建图 (文件系统大变动后) */
+    invalidateCache() {
+        this.graphEngine.clearCache();
+        this.cachedGraph = null;
+    }
+}
+//# sourceMappingURL=ChangeImpactResolver.js.map

package/dist/core/ChangeImpactResolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ChangeImpactResolver.js","sourceRoot":"","sources":["../../src/core/ChangeImpactResolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,iBAAiB,EAAoB,MAAM,wBAAwB,CAAC;AAC7E,OAAO,EAAE,yBAAyB,EAAqC,MAAM,gCAAgC,CAAC;AAC9G,OAAO,EAAE,mBAAmB,EAAgD,MAAM,0BAA0B,CAAC;AAqC7G,MAAM,OAAO,oBAAoB;IACd,WAAW,CAAoB;IAC/B,cAAc,CAA4B;IAC1C,IAAI,CAA8B;IAC3C,WAAW,GAAuB,IAAI,CAAC;IAE/C,YAAY,OAAoC;QAC9C,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC;QACpB,IAAI,CAAC,WAAW,GAAG,IAAI,iBAAiB,CAAC;YACvC,OAAO,EAAE,OAAO,CAAC,WAAW;YAC5B,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,YAAY,EAAE,OAAO,CAAC,YAAY;SACnC,CAAC,CAAC;QACH,IAAI,CAAC,cAAc,GAAG,IAAI,yBAAyB,EAAE,CAAC;IACxD,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,OAAO,CAAC,YAAsB;QAClC,mBAAmB;QACnB,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACvC,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC;QAEzB,eAAe;QACf,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAEzE,kBAAkB;QAClB,MAAM,aAAa,GAAG,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC;QAElE,gFAAgF;QAChF,MAAM,gBAAgB,GAAG,IAAI,CAAC,uBAAuB,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;QAE/E,qBAAqB;QACrB,IAAI,WAAW,GAAiB,EAAE,CAAC;QACnC,IAAI,WAAW,GAAG,IAAI,CAAC;QACvB,IAAI,YAAY,GAAkB,EAAE,CAAC;QAErC,IAAI,IAAI,CAAC,IAAI,CAAC,aAAa,KAAK,KAAK,EAAE,CAAC;YACtC,YAAY,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,UAAU,CACjD,IAAI,CAAC,IAAI,CAAC,WAAW,EACrB,IAAI,CAAC,IAAI,CAAC,cAAc,CACzB,CAAC;YACF,WAAW,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YACvD,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;QAC7E,CAAC;QAED,YAAY;QACZ,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;YACxC,CAAC,CAAC,SAAS,CAAC,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM;YACrC,CAAC,CAAC,CAAC,CAAC;QAEN,OAAO;YACL,YAAY;YACZ,SAAS,EAAE,CAAC,GAAG,SAAS,CAAC;YACzB,aAAa;YACb,WAAW;YACX,WAAW;YACX,YAAY;YACZ,WAAW;YACX,gBAAgB;SACjB,CAAC;IACJ,CAAC;IAEO,uBAAuB,CAAC,YAAsB,EAAE,SAAsB;QAC5E,MAAM,MAAM,GAAG,IAAI,mBAAmB,CAAC;YACrC,WAAW,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW;YAClC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU;SACjC,CAAC,CAAC;QACH,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,IAAI,CAAC;YACH,MAAM,kBAAkB,GAAG,IAAI,CAAC,aAAa,CAC3C,YAAY,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CACxF,CAAC;YACF,MAAM,kBAAkB,GAAG,IAAI,CAAC,aAAa,CAC3C,CAAC,GAAG,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAC5E,CAAC;YACF,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CACrC,kBAAkB;iBACf,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;iBACpF,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAC1G,CAAC;YACF,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,cAAc,EAAE,WAAW,EAAE,CAAC;QACjF,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,WAAW,CAAC,IAAI,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YACzE,OAAO,EAAE,kBAAkB,EAAE,EAAE,EAAE,kBAAkB,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC;QAC7F,CAAC;IACH,CAAC;IAEO,aAAa,CAAC,OAA2B;QAC/C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,GAAG,GAAuB,EAAE,CAAC;QACnC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC9E,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAEO,WAAW,CAAC,KAAyB;QAC3C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,GAAG,GAAuB,EAAE,CAAC;QACnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG;gBACV,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI;gBACzB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK;gBAC1B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI;gBACzB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK;gBAC1B,IAAI,CAAC,QAAQ,CAAC,KAAK;aACpB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACZ,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,uCAAuC;IACvC,QAAQ;QACN,OAAO,IAAI,CAAC,WAAW,CAAC;IAC1B,CAAC;IAED,uBAAuB;IACvB,eAAe;QACb,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;QAC9B,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;IAC1B,CAAC;CACF"}

package/dist/core/CleanupRegistry.d.ts

@@ -0,0 +1,39 @@
+/**
+ * 清理注册表 - 参考 Claude Code 的优雅关闭设计
+ * 用于注册需要在程序退出时执行的清理函数
+ */
+export type CleanupFn = () => void | Promise<void>;
+export declare class CleanupRegistry {
+    private cleanups;
+    private isShuttingDown;
+    /**
+     * 注册清理函数
+     * @param fn 清理函数
+     * @param priority 优先级（数字越小越早执行，默认 100）
+     * @returns 清理函数 ID，可用于取消注册
+     */
+    register(fn: CleanupFn, priority?: number): string;
+    /**
+     * 取消注册清理函数
+     */
+    unregister(id: string): boolean;
+    /**
+     * 执行所有清理函数
+     * @param timeout 超时时间（毫秒）
+     * @returns 成功执行的清理函数数量
+     */
+    runAll(timeout?: number): Promise<number>;
+    /**
+     * 获取已注册的清理函数数量
+     */
+    get count(): number;
+    /**
+     * 检查是否正在关闭
+     */
+    get shuttingDown(): boolean;
+}
+export declare const cleanupRegistry: CleanupRegistry;
+export declare function registerCleanup(fn: CleanupFn, priority?: number): string;
+export declare function runAllCleanups(timeout?: number): Promise<number>;
+export default CleanupRegistry;
+//# sourceMappingURL=CleanupRegistry.d.ts.map

package/dist/core/CleanupRegistry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CleanupRegistry.d.ts","sourceRoot":"","sources":["../../src/core/CleanupRegistry.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,MAAM,MAAM,SAAS,GAAG,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;AAQnD,qBAAa,eAAe;IAC1B,OAAO,CAAC,QAAQ,CAAwC;IACxD,OAAO,CAAC,cAAc,CAAS;IAE/B;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,SAAM,GAAG,MAAM;IAM/C;;OAEG;IACH,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAI/B;;;;OAIG;IACG,MAAM,CAAC,OAAO,SAAQ,GAAG,OAAO,CAAC,MAAM,CAAC;IA2C9C;;OAEG;IACH,IAAI,KAAK,IAAI,MAAM,CAElB;IAED;;OAEG;IACH,IAAI,YAAY,IAAI,OAAO,CAE1B;CACF;AAGD,eAAO,MAAM,eAAe,iBAAwB,CAAC;AAGrD,wBAAgB,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,CAExE;AAED,wBAAsB,cAAc,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAEtE;AAED,eAAe,eAAe,CAAC"}

package/dist/core/CleanupRegistry.js

@@ -0,0 +1,91 @@
+/**
+ * 清理注册表 - 参考 Claude Code 的优雅关闭设计
+ * 用于注册需要在程序退出时执行的清理函数
+ */
+import { coreLogger } from './Log.js';
+export class CleanupRegistry {
+    cleanups = new Map();
+    isShuttingDown = false;
+    /**
+     * 注册清理函数
+     * @param fn 清理函数
+     * @param priority 优先级（数字越小越早执行，默认 100）
+     * @returns 清理函数 ID，可用于取消注册
+     */
+    register(fn, priority = 100) {
+        const id = `cleanup_${Date.now()}_${Math.random().toString(36).slice(2, 11)}`;
+        this.cleanups.set(id, { id, fn, priority });
+        return id;
+    }
+    /**
+     * 取消注册清理函数
+     */
+    unregister(id) {
+        return this.cleanups.delete(id);
+    }
+    /**
+     * 执行所有清理函数
+     * @param timeout 超时时间（毫秒）
+     * @returns 成功执行的清理函数数量
+     */
+    async runAll(timeout = 30000) {
+        if (this.isShuttingDown) {
+            coreLogger.warn('已经在关闭中，跳过重复调用');
+            return 0;
+        }
+        this.isShuttingDown = true;
+        coreLogger.info(`开始执行 ${this.cleanups.size} 个清理函数...`);
+        // 按优先级排序
+        const sortedCleanups = Array.from(this.cleanups.values()).sort((a, b) => a.priority - b.priority);
+        let successCount = 0;
+        const startTime = Date.now();
+        for (const entry of sortedCleanups) {
+            // 检查是否超时
+            if (Date.now() - startTime > timeout) {
+                coreLogger.warn('[Cleanup] 超时，停止执行剩余清理函数');
+                break;
+            }
+            try {
+                const result = entry.fn();
+                if (result instanceof Promise) {
+                    // 为单个清理函数设置超时
+                    const timeoutPromise = new Promise((_, reject) => {
+                        setTimeout(() => reject(new Error('Cleanup timeout')), 5000);
+                    });
+                    await Promise.race([result, timeoutPromise]);
+                }
+                successCount++;
+            }
+            catch (error) {
+                coreLogger.error('[Cleanup] 清理函数执行失败:', error);
+            }
+        }
+        coreLogger.info(`完成: ${successCount}/${this.cleanups.size} 个清理函数执行成功`);
+        this.cleanups.clear();
+        this.isShuttingDown = false;
+        return successCount;
+    }
+    /**
+     * 获取已注册的清理函数数量
+     */
+    get count() {
+        return this.cleanups.size;
+    }
+    /**
+     * 检查是否正在关闭
+     */
+    get shuttingDown() {
+        return this.isShuttingDown;
+    }
+}
+// 导出单例实例
+export const cleanupRegistry = new CleanupRegistry();
+// 便捷函数
+export function registerCleanup(fn, priority) {
+    return cleanupRegistry.register(fn, priority);
+}
+export async function runAllCleanups(timeout) {
+    return cleanupRegistry.runAll(timeout);
+}
+export default CleanupRegistry;
+//# sourceMappingURL=CleanupRegistry.js.map

package/dist/core/CleanupRegistry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CleanupRegistry.js","sourceRoot":"","sources":["../../src/core/CleanupRegistry.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAUtC,MAAM,OAAO,eAAe;IAClB,QAAQ,GAA8B,IAAI,GAAG,EAAE,CAAC;IAChD,cAAc,GAAG,KAAK,CAAC;IAE/B;;;;;OAKG;IACH,QAAQ,CAAC,EAAa,EAAE,QAAQ,GAAG,GAAG;QACpC,MAAM,EAAE,GAAG,WAAW,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;QAC9E,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC5C,OAAO,EAAE,CAAC;IACZ,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,EAAU;QACnB,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAClC,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,MAAM,CAAC,OAAO,GAAG,KAAK;QAC1B,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YACxB,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YACjC,OAAO,CAAC,CAAC;QACX,CAAC;QAED,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC;QAC3B,UAAU,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,WAAW,CAAC,CAAC;QAEvD,SAAS;QACT,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;QAElG,IAAI,YAAY,GAAG,CAAC,CAAC;QACrB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE7B,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;YACnC,SAAS;YACT,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,GAAG,OAAO,EAAE,CAAC;gBACrC,UAAU,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;gBAC3C,MAAM;YACR,CAAC;YAED,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,KAAK,CAAC,EAAE,EAAE,CAAC;gBAC1B,IAAI,MAAM,YAAY,OAAO,EAAE,CAAC;oBAC9B,cAAc;oBACd,MAAM,cAAc,GAAG,IAAI,OAAO,CAAO,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE;wBACrD,UAAU,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;oBAC/D,CAAC,CAAC,CAAC;oBACH,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC;gBAC/C,CAAC;gBACD,YAAY,EAAE,CAAC;YACjB,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,UAAU,CAAC,KAAK,CAAC,qBAAqB,EAAE,KAAK,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;QAED,UAAU,CAAC,IAAI,CAAC,OAAO,YAAY,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,YAAY,CAAC,CAAC;QACvE,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,cAAc,GAAG,KAAK,CAAC;QAC5B,OAAO,YAAY,CAAC;IACtB,CAAC;IAED;;OAEG;IACH,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC5B,CAAC;IAED;;OAEG;IACH,IAAI,YAAY;QACd,OAAO,IAAI,CAAC,cAAc,CAAC;IAC7B,CAAC;CACF;AAED,SAAS;AACT,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,eAAe,EAAE,CAAC;AAErD,OAAO;AACP,MAAM,UAAU,eAAe,CAAC,EAAa,EAAE,QAAiB;IAC9D,OAAO,eAAe,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,OAAgB;IACnD,OAAO,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AACzC,CAAC;AAED,eAAe,eAAe,CAAC"}

package/dist/core/ContextManager.d.ts

@@ -0,0 +1,135 @@
+import { type ChatMessage, type MessageContent } from '../llm/types.js';
+import type { ContentGenerator } from '../llm/ContentGenerator.js';
+import type { DatabaseManager } from './Database.js';
+import type { EventEmitter } from './EventEmitter.js';
+import { type ContextRuntimeState } from './ContextRuntimeState.js';
+import type { ContextOwner } from './compress/CompressionTypes.js';
+import type { JudgmentLlmGuardFactory } from './JudgmentService.js';
+export type { ContextOwner } from './compress/CompressionTypes.js';
+/**
+ * 解析「有效上下文上限」单一事实源——显示分母（runtimeState.maxTokens）与压缩触发阈值
+ * 同源，保证状态栏百分比自动诚实。
+ *
+ * 优先级：context.token_limit（用户意图的「有效工作上限」）> 模型真实窗口 > llm.context_max_tokens > 200K。
+ * token_limit 未设时自动跟随模型窗口；显式设置则优先于模型窗口，压缩在其 ~80% 触发。
+ */
+export declare function resolveEffectiveContextLimit(modelContextLimit: number): number;
+/**
+ * ContextManager - 分层上下文管理器
+ *
+ * 负责消息状态、最近文件追踪、运行时状态广播。
+ * 压缩逻辑统一委托给 CompressionPipeline。
+ */
+export declare class ContextManager {
+    private maxTokens;
+    private model;
+    private sessionId?;
+    private db?;
+    private llmClient?;
+    private emitter?;
+    private messages;
+    private threshold;
+    private recentFiles;
+    private consecutiveFailures;
+    private owner;
+    private runtimeState;
+    private cachedTokenCount;
+    private pipeline;
+    /**
+     * single-flight 守卫：正在进行的压缩 Promise。
+     * 并发 manage() 调用若都判定需要压缩，会各自基于「同一份旧 messages」跑压缩，
+     * 后完成的把先完成的结果覆盖掉，可能丢消息/重复压缩。用此 Promise 把并发调用
+     * 收敛到同一次压缩，后来者直接 await 同一结果。
+     */
+    private compacting;
+    /** 请求体字节预算（HTTP 413 兜底），0/未配置则关闭字节维度 */
+    private maxRequestBytes;
+    /** 单条消息字节上限（超过即中段截断+归档） */
+    private maxSingleMessageBytes;
+    /** ContextManager 自身消息缓冲上限，避免绕过 Agent/Leader addMessage 时无限增长 */
+    private maxMessages;
+    /** P1-1h: proactive compression trigger at 70% of budget. 0 = disabled. */
+    private proactiveCompactThreshold;
+    private llmGuardFactory?;
+    private hierarchicalContext;
+    private checkpointService;
+    constructor(maxTokens?: number, model?: string, sessionId?: string, db?: DatabaseManager, llmClient?: ContentGenerator, emitter?: EventEmitter, owner?: ContextOwner, llmGuardFactory?: JudgmentLlmGuardFactory, 
+    /** P1-1g: per-role context budget override. Takes precedence over maxTokens. */
+    contextBudget?: number);
+    /**
+     * 切换模型时同步更新 context window 大小。
+     */
+    updateModel(modelId: string, contextLimit?: number): void;
+    setMessages(messages: ChatMessage[]): void;
+    getMessages(): ChatMessage[];
+    getThreshold(): number;
+    getRuntimeState(): ContextRuntimeState;
+    addMessage(role: 'system' | 'user' | 'assistant' | 'tool', content: MessageContent): void;
+    /**
+     * 主要入口：只在真正 overflow 时触发压缩（LLM 返回 413/context_length_exceeded）。
+     * 平时不做任何主动裁剪，保持历史完整性。
+     */
+    manage(): Promise<ChatMessage[]>;
+    /** 实际执行一次压缩。仅由 manage() 在 single-flight 守卫下调用。 */
+    private runCompaction;
+    /** 拼接压缩类型标签（去重）。 */
+    private joinCompactType;
+    /**
+     * 溢出兜底：用 ContextDAG 做确定性结构压缩（无 LLM、无关键词启发式）。
+     *
+     * 性能策略：先用 DAG 内部 bytes/3 快估算迭代（不跑 tiktoken）判断能否降到目标；
+     * 仅当估算表明能降到阈值以下时，才做**一次**真实 token 计数复核。这样在"明显降不动"
+     * （如几乎全是 user/system 消息、无可压 tool_result）的常见溢出场景下零 tiktoken 开销，
+     * 直接交回调用方 emit overflow / hardReset。
+     *
+     * @returns 压缩后的消息；若无法降到阈值以下则返回 null（调用方再走 hardReset）
+     */
+    private reduceOverflowWithDag;
+    private fallbackToHardResetAfterCompactionFailure;
+    /**
+     * Attempt to rebuild context from checkpoint and persisted sources.
+     * Returns the rebuilt messages or null if rebuild is not possible.
+     */
+    private tryContextRebuild;
+    /**
+     * 重建后预算收敛：保留首条 recovery system 消息，从第二条（最旧 tail）起逐条丢弃，
+     * 直到当前 token 低于阈值。避免重建上下文超阈值后立即又触发压缩 ping-pong。
+     * 至少保留 recovery + 1 条，防止退化到空对话。
+     */
+    private shrinkRebuildToBudget;
+    private truncateOversizedMessages;
+    hardReset(input: {
+        messages: ChatMessage[];
+        preservedMessages?: ChatMessage[];
+        recentCount: number;
+        reason: string;
+    }): ChatMessage[];
+    getTokenCount(messages?: ChatMessage[]): Promise<number>;
+    forceCompact(): Promise<{
+        oldTokens: number;
+        newTokens: number;
+        compacted: boolean;
+        compactType?: string;
+        overflow?: boolean;
+        archivePath?: string;
+        inProgress?: boolean;
+        threshold?: number;
+    }>;
+    trackFileRead(filePath: string, content: string): void;
+    clear(): void;
+    private isRuntimeContractPackMessage;
+    private collapseRuntimeContractPackMessages;
+    private trimMessageBuffer;
+    private applyHierarchicalContextBudget;
+    private extractActiveErrorSignals;
+    /** 处理压缩结果：失败计数、压缩历史、持久化、overflow 通知 */
+    private handleCompactionResult;
+    private persistCurrentMessages;
+    private loadPersistedRuntimeState;
+    private updateRuntimeState;
+    private recordCompact;
+    private persistRuntimeState;
+    private emitRuntimeState;
+}
+export default ContextManager;
+//# sourceMappingURL=ContextManager.d.ts.map

package/dist/core/ContextManager.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ContextManager.d.ts","sourceRoot":"","sources":["../../src/core/ContextManager.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,KAAK,WAAW,EAAE,KAAK,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAC5F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAEnE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAKL,KAAK,mBAAmB,EAGzB,MAAM,0BAA0B,CAAC;AAelC,OAAO,KAAK,EAAE,YAAY,EAAc,MAAM,gCAAgC,CAAC;AAK/E,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAKpE,YAAY,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AASnE;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAAC,iBAAiB,EAAE,MAAM,GAAG,MAAM,CAU9E;AAED;;;;;GAKG;AACH,qBAAa,cAAc;IACzB,OAAO,CAAC,SAAS,CAAS;IAC1B,OAAO,CAAC,KAAK,CAAS;IACtB,OAAO,CAAC,SAAS,CAAC,CAAS;IAC3B,OAAO,CAAC,EAAE,CAAC,CAAkB;IAC7B,OAAO,CAAC,SAAS,CAAC,CAAmB;IACrC,OAAO,CAAC,OAAO,CAAC,CAAe;IAC/B,OAAO,CAAC,QAAQ,CAAqB;IACrC,OAAO,CAAC,SAAS,CAAS;IAC1B,OAAO,CAAC,WAAW,CAAsC;IACzD,OAAO,CAAC,mBAAmB,CAAK;IAChC,OAAO,CAAC,KAAK,CAAe;IAC5B,OAAO,CAAC,YAAY,CAAsB;IAC1C,OAAO,CAAC,gBAAgB,CAAuB;IAC/C,OAAO,CAAC,QAAQ,CAAsB;IACtC;;;;;OAKG;IACH,OAAO,CAAC,UAAU,CAAuC;IACzD,wCAAwC;IACxC,OAAO,CAAC,eAAe,CAAS;IAChC,2BAA2B;IAC3B,OAAO,CAAC,qBAAqB,CAAS;IACtC,iEAAiE;IACjE,OAAO,CAAC,WAAW,CAAS;IAC5B,2EAA2E;IAC3E,OAAO,CAAC,yBAAyB,CAAS;IAC1C,OAAO,CAAC,eAAe,CAAC,CAA0B;IAClD,OAAO,CAAC,mBAAmB,CAAoC;IAC/D,OAAO,CAAC,iBAAiB,CAAkC;gBAGzD,SAAS,GAAE,MAAiE,EAC5E,KAAK,GAAE,MAA6B,EACpC,SAAS,CAAC,EAAE,MAAM,EAClB,EAAE,CAAC,EAAE,eAAe,EACpB,SAAS,CAAC,EAAE,gBAAgB,EAC5B,OAAO,CAAC,EAAE,YAAY,EACtB,KAAK,GAAE,YAAiC,EACxC,eAAe,CAAC,EAAE,uBAAuB;IACzC,gFAAgF;IAChF,aAAa,CAAC,EAAE,MAAM;IA+CxB;;OAEG;IACH,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI;IAqBzD,WAAW,CAAC,QAAQ,EAAE,WAAW,EAAE,GAAG,IAAI;IAK1C,WAAW,IAAI,WAAW,EAAE;IAI5B,YAAY,IAAI,MAAM;IAItB,eAAe,IAAI,mBAAmB;IAOtC,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,GAAG,WAAW,GAAG,MAAM,EAAE,OAAO,EAAE,cAAc,GAAG,IAAI;IAezF;;;OAGG;IACG,MAAM,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;IA0BtC,kDAAkD;YACpC,aAAa;IA8C3B,oBAAoB;IACpB,OAAO,CAAC,eAAe;IAgBvB;;;;;;;;;OASG;YACW,qBAAqB;YAuCrB,yCAAyC;IAkDvD;;;OAGG;YACW,iBAAiB;IAgD/B;;;;OAIG;YACW,qBAAqB;IAWnC,OAAO,CAAC,yBAAyB;IAoBjC,SAAS,CAAC,KAAK,EAAE;QACf,QAAQ,EAAE,WAAW,EAAE,CAAC;QACxB,iBAAiB,CAAC,EAAE,WAAW,EAAE,CAAC;QAClC,WAAW,EAAE,MAAM,CAAC;QACpB,MAAM,EAAE,MAAM,CAAC;KAChB,GAAG,WAAW,EAAE;IA6CX,aAAa,CAAC,QAAQ,GAAE,WAAW,EAAkB,GAAG,OAAO,CAAC,MAAM,CAAC;IAYvE,YAAY,IAAI,OAAO,CAAC;QAC5B,SAAS,EAAE,MAAM,CAAC;QAClB,SAAS,EAAE,MAAM,CAAC;QAClB,SAAS,EAAE,OAAO,CAAC;QACnB,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,QAAQ,CAAC,EAAE,OAAO,CAAC;QACnB,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,UAAU,CAAC,EAAE,OAAO,CAAC;QACrB,SAAS,CAAC,EAAE,MAAM,CAAC;KACpB,CAAC;IAyDF,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI;IAmCtD,KAAK,IAAI,IAAI;IAab,OAAO,CAAC,4BAA4B;IAKpC,OAAO,CAAC,mCAAmC;IAa3C,OAAO,CAAC,iBAAiB;IAkBzB,OAAO,CAAC,8BAA8B;IAyBtC,OAAO,CAAC,yBAAyB;IAajC,uCAAuC;IACvC,OAAO,CAAC,sBAAsB;IAuD9B,OAAO,CAAC,sBAAsB;IAmB9B,OAAO,CAAC,yBAAyB;IAqBjC,OAAO,CAAC,kBAAkB;IAe1B,OAAO,CAAC,aAAa;IAWrB,OAAO,CAAC,mBAAmB;IAK3B,OAAO,CAAC,gBAAgB;CASzB;AAED,eAAe,cAAc,CAAC"}