weflow-cli 1.6.4 → 1.8.0

package/dist/src/services/assistantMemory.d.ts

@@ -1,3 +1,23 @@
+export declare const MEMORY_FORMAT_VERSION = 1;
+/** 输入预算（字符）。中文约 1 token/字，按 24k 字留足余量给系统提示与工具结果 */
+export declare const CONTEXT_BUDGET_CHARS = 24000;
+/** 窗口占用达预算这个比例就压缩 */
+export declare const WORKING_TRIGGER_RATIO = 0.8;
+/** 压完最多保留预算的这个比例（按字符） */
+export declare const WORKING_RETAIN_RATIO = 0.16;
+/** 保留的条数下限：预算算出来太少时按这个来，别把小窗口压空 */
+export declare const WORKING_MIN_TURNS = 6;
+/** 条数上限：与预算闸并行，谁先到谁生效 */
+export declare const WORKING_MAX = 16;
+export declare const SUMMARY_MAX = 800;
+export declare const FACTS_MAX = 30;
+export declare const FACT_EXTRACT_EVERY = 6;
+/** 每次注入事实的字符预算：30 条 × 72 字 ≈ 2.1KB 全塞进去是纯噪声，按相关度取一部分 */
+export declare const FACTS_INJECT_BUDGET_CHARS = 1200;
+/** 相关度低于这个值就不进上下文：**预算空着也不填无关事实** */
+export declare const FACT_RELEVANCE_FLOOR = 0.2;
+/** 一条都不相关时至少给最近这么多条——「记忆」本身也是上下文 */
+export declare const FACTS_INJECT_MIN_RECENT = 8;
 export interface ChatTurn {
     role: 'user' | 'assistant';
     content: string;
@@ -5,15 +25,33 @@ export interface ChatTurn {
 export interface Fact {
     content: string;
     ts: number;
+    /** 从第几个用户轮抽出来的；与 `sourceQuote` 一起，为"这条记忆对不对"留核对依据 */
+    sourceTurn?: number;
+    /** 触发这条事实的那句用户话（截断） */
+    sourceQuote?: string;
+    /** 最近一次被检索/注入的时间。用来排序与识别陈旧——只增不减的记忆最容易在这上面腐化 */
+    usedAt?: number;
 }
 /** LLM 调用器抽象 (由 assistantService 注入, 避免循环依赖) */
 export type LlmCaller = (messages: ChatTurn[], maxTokens?: number) => Promise<string>;
+/** 事实的归一化形式：去掉空白与常见标点，再小写。只用于**比较**，不用于存储 */
+export declare function normalizeFact(text: string): string;
 export declare class AssistantMemory {
     private states;
     /** 本进程修改过的用户 (save 时只回写这些用户, 其余保留磁盘最新值) */
     private dirtyUsers;
+    /** 加载时出了什么值得说出来的事（版本不认识 → 已留档；文件坏了 → 已留档）。空串＝没事 */
+    private loadIssue;
+    /** 上一次落盘失败的原因；成功一次就清空。见 `save()` 里那段注释 */
+    private saveIssue;
     constructor();
-    private normalize;
+    /** 加载期的问题。调用方（服务启动时）应当把它**打出来**，而不是让用户面对一份空记忆 */
+    get problem(): string;
+    /** 上一次落盘失败的原因（成功过就是 null）。存在不等于"这次没存上"——错误是累积前的最后一次 */
+    get lastSaveError(): string | null;
+    private normalizeUser;
+    /** 把读不出来的文件改名留档——**不许静默丢弃** */
+    private quarantine;
     private load;
     save(): void;
     private state;
@@ -24,13 +62,77 @@ export declare class AssistantMemory {
     summary(userId: string): string;
     facts(userId: string): Fact[];
     userCount(): number;
-    /** L2: 窗口溢出时把最旧一半压进摘要 */
+    /** 是哪道闸要压：条数（短轮次堆多了）还是预算（长轮次把窗口撑爆了） */
+    compressionGate(userId: string): 'count' | 'budget' | 'both' | null;
+    needsCompression(userId: string): boolean;
+    /** 压完保留多少条。**两道闸的保留规则不同，这是有意的**：
+     *
+     *  - 条数闸（一堆短轮次堆到 16 条）：保留最近的一半，下限 `WORKING_MIN_TURNS`——这里条数才是
+     *    问题所在，留一半正好把窗口减半；
+     *  - 预算闸（几条长轮次就把预算撑爆）：按**字符**保留预算的 16%，条数只保底 1 条。
+     *    这两条约束会互斥——6000 字的轮次保 6 条就是 36000 字，远超 24k 预算。**字符上限优先**，
+     *    因为它是硬预算；条数下限在小窗口下才有意义。
+     *  - 两道同时触发：取两者中**更小的**（更保守）。
+     *
+     *  无论哪条，都卡在 `[1, 窗口长度-1]`：算出"保留 6 条"而窗口只有 5 条时，`slice(-1)` 会只留
+     *  1 条，下限形同虚设（实测撞出来的）；也至少要压出去一条，否则"压了"却没动。
+     */
+    private retainCount;
+    /** L2: 窗口该压时，把最旧的那些压进摘要 */
     compressIfNeeded(userId: string, llm: LlmCaller): Promise<boolean>;
     /** L3: 定期从最近对话提取持久事实 */
     extractFactsIfNeeded(userId: string, llm: LlmCaller): Promise<number>;
-    /** L3 检索: 关键词命中 (为未来向量检索预留同一接口) */
+    /** L3 检索: 关键词命中；命中即记 `usedAt`（谁被用过是排序与"陈旧"判断的依据） */
     searchFacts(userId: string, keyword: string): Fact[];
     /** L3 写入 (save_memory 工具用, 立即生效) */
-    addFact(userId: string, content: string): boolean;
+    addFact(userId: string, content: string, source?: {
+        sourceTurn?: number;
+        sourceQuote?: string;
+    }): boolean;
+    /**
+     * 记忆一条事实，返回**是否新增或更新**。三种判定：
+     *
+     * - 归一化后相同 → 重复，什么都不做；
+     * - 一条包含另一条 → 取**更长的那条**（更具体），短的那条被顶掉；
+     * - 其它 → 新增。
+     *
+     * 包含式去重的固有模糊写在测试里：两个恰好互为前缀的短事实（`事实1` 与 `事实10`），
+     * 长的那条会顶掉短的。真实事实极少这样，而"更具体的胜出"在真实场景里是对的。
+     */
+    private rememberFact;
 }
+/** L2 的压缩提示词。**固定节骨架 + 合并律**：空节写 `(none)`，永不删节。
+ *
+ *  为什么固定成节：自由摘要最容易在压缩时悄悄丢信息（丢了自己也不知道）。固定节至少让
+ *  每一次压缩都必须回答"待办有没有、错误有没有、下一步有没有"。
+ *  为什么写合并律：滚动摘要腐化的正解是"保留仍然成立的、丢掉过期的、合成一份"，并明确
+ *  **禁止逐字复制前任**——否则摘要会一层层掺水。
+ */
+export declare function buildSummaryPrompt(previous: string, turnsOut: ChatTurn[]): string;
+/** L3 的抽取提示词。要求可核对：每条事实都能在对话里指出来源 */
+export declare function buildFactPrompt(recent: ChatTurn[]): string;
+/**
+ * 该把哪几条事实放进这次请求：**先相关、再近期用过、最后按时间**，总量受字符预算约束。
+ *
+ * 为什么不全量注入：30 条 × ~72 字 ≈ 2.1KB **每轮**都发，而且与当前问题无关的那些是纯噪声——
+ * 噪声不只是花钱，它是"模型被无关信息带偏"的来源之一。
+ *
+ * **相关度决定"谁进"，展示保持时序**：入选的按时间先后排列（读起来像一份清单，而不是一堆碎片），
+ * 没进的按相关度+近期用过来决定顺序。
+ *
+ * 返回未被选中的条数，调用方要**如实说出来**（`另有 N 条未列出`）。谎报"全部记忆如下"比少给
+ * 几条更糟：模型会以为自己看到了全部。
+ */
+export declare function selectFactsForInjection(facts: Fact[], question: string, budgetChars?: number): {
+    selected: Fact[];
+    withheld: number;
+};
+/**
+ * 把一段**本地数据**包进框里再进提示词，并转义内容里出现的框标签。
+ *
+ * 防的是"框欺骗"：聊天正文、文章正文、事实里完全可能写着 `</weflow-local-data>` 再跟一段
+ * 像系统指令的话——不转义就等于让数据自己把框关上、直接以系统身份说话。转义后它只能是数据。
+ * （这不等于防住提示词注入本身：数据里仍可以有指令性文字；我们只保证它**关不掉这个框**。）
+ */
+export declare function frameLocalData(label: string, body: string): string;
 //# sourceMappingURL=assistantMemory.d.ts.map

package/dist/src/services/assistantMemory.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"assistantMemory.d.ts","sourceRoot":"","sources":["../../../src/services/assistantMemory.ts"],"names":[],"mappings":"AAkBA,MAAM,WAAW,QAAQ;IAAG,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE;AACzE,MAAM,WAAW,IAAI;IAAG,OAAO,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE;AASrD,gDAAgD;AAChD,MAAM,MAAM,SAAS,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,EAAE,SAAS,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAA;AAErF,qBAAa,eAAe;IAC1B,OAAO,CAAC,MAAM,CAAiC;IAC/C,2CAA2C;IAC3C,OAAO,CAAC,UAAU,CAAoB;;IAItC,OAAO,CAAC,SAAS;IASjB,OAAO,CAAC,IAAI;IAWZ,IAAI,IAAI,IAAI;IA2BZ,OAAO,CAAC,KAAK;IAOb,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAM3B,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI;IAO1E,2BAA2B;IAC3B,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,EAAE;IAIzC,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM;IAC/B,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE;IAC7B,SAAS,IAAI,MAAM;IAEnB,yBAAyB;IACnB,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC;IA0BxE,wBAAwB;IAClB,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC;IAgC3E,mCAAmC;IACnC,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,EAAE;IAOpD,oCAAoC;IACpC,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO;CASlD"}
+{"version":3,"file":"assistantMemory.d.ts","sourceRoot":"","sources":["../../../src/services/assistantMemory.ts"],"names":[],"mappings":"AAkCA,eAAO,MAAM,qBAAqB,IAAI,CAAA;AAEtC,mDAAmD;AACnD,eAAO,MAAM,oBAAoB,QAAQ,CAAA;AACzC,qBAAqB;AACrB,eAAO,MAAM,qBAAqB,MAAM,CAAA;AACxC,yBAAyB;AACzB,eAAO,MAAM,oBAAoB,OAAO,CAAA;AACxC,mCAAmC;AACnC,eAAO,MAAM,iBAAiB,IAAI,CAAA;AAClC,yBAAyB;AACzB,eAAO,MAAM,WAAW,KAAK,CAAA;AAC7B,eAAO,MAAM,WAAW,MAAM,CAAA;AAC9B,eAAO,MAAM,SAAS,KAAK,CAAA;AAC3B,eAAO,MAAM,kBAAkB,IAAI,CAAA;AACnC,wDAAwD;AACxD,eAAO,MAAM,yBAAyB,OAAO,CAAA;AAC7C,qCAAqC;AACrC,eAAO,MAAM,oBAAoB,MAAM,CAAA;AACvC,oCAAoC;AACpC,eAAO,MAAM,uBAAuB,IAAI,CAAA;AAIxC,MAAM,WAAW,QAAQ;IAAG,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE;AAEzE,MAAM,WAAW,IAAI;IACnB,OAAO,EAAE,MAAM,CAAA;IACf,EAAE,EAAE,MAAM,CAAA;IACV,qDAAqD;IACrD,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,uBAAuB;IACvB,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,gDAAgD;IAChD,MAAM,CAAC,EAAE,MAAM,CAAA;CAChB;AASD,gDAAgD;AAChD,MAAM,MAAM,SAAS,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,EAAE,SAAS,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAA;AAMrF,6CAA6C;AAC7C,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAKlD;AAED,qBAAa,eAAe;IAC1B,OAAO,CAAC,MAAM,CAAiC;IAC/C,2CAA2C;IAC3C,OAAO,CAAC,UAAU,CAAoB;IACtC,mDAAmD;IACnD,OAAO,CAAC,SAAS,CAAK;IACtB,0CAA0C;IAC1C,OAAO,CAAC,SAAS,CAAsB;;IAIvC,iDAAiD;IACjD,IAAI,OAAO,IAAI,MAAM,CAA0B;IAE/C,uDAAuD;IACvD,IAAI,aAAa,IAAI,MAAM,GAAG,IAAI,CAA0B;IAE5D,OAAO,CAAC,aAAa;IAsBrB,+BAA+B;IAC/B,OAAO,CAAC,UAAU;IAWlB,OAAO,CAAC,IAAI;IA6CZ,IAAI,IAAI,IAAI;IA0CZ,OAAO,CAAC,KAAK;IAOb,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAM3B,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI;IAO1E,2BAA2B;IAC3B,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,EAAE;IAIzC,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM;IAC/B,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE;IAC7B,SAAS,IAAI,MAAM;IAEnB,uCAAuC;IACvC,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,GAAG,QAAQ,GAAG,MAAM,GAAG,IAAI;IAUnE,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO;IAEzC;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,WAAW;IAiBnB,2BAA2B;IACrB,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC;IAoBxE,wBAAwB;IAClB,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC;IA6B3E,oDAAoD;IACpD,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,EAAE;IAcpD,oCAAoC;IACpC,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE;QAAE,UAAU,CAAC,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO;IASzG;;;;;;;;;OASG;IACH,OAAO,CAAC,YAAY;CA6BrB;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,MAAM,CAsBjF;AAED,qCAAqC;AACrC,wBAAgB,eAAe,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,CAQ1D;AAiBD;;;;;;;;;;;GAWG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,EAC/B,WAAW,SAA4B,GAAG;IAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAqCvH;AAKD;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAQlE"}