[RFC] 分阶段 Session Commit：pending 上下文超过抽取模型窗口时切块逐个 commit

[ZaynJarvis]

问题

Harness 侧一个 session 的未提交上下文可以远大于 ov 记忆抽取模型（VLM/LLM）的 context window。当前 commit 语义下，这样的 session 一旦 commit，Phase 2 抽取就是一次超窗的单一 LLM 调用——只有重试，没有降级路径。

现状（本地 SDK 与云上 HTTP API 同构，均不支持）：

能力	现状	代码位置
指定消息边界的 commit	❌ 只能从尾部保留（keep_recent_count / turn_budget），归档剩余全部	openviking/server/routers/sessions.py CommitRequest；openviking/session/session.py commit_async
commit 过大时切块	❌ auto commit 触发后只调一次 commit_async，全量归档为一个 archive	openviking/service/session_service.py run_auto_commit
Phase 2 抽取分块	❌ 整个 archive 的消息一次性进单个 ReAct 抽取循环	openviking/session/compressor_v3.py _extract_user_memories

注：pending_token_threshold 默认 150k、上限 1M（auto_commit_policy.py），而抽取模型窗口通常小于上限，阈值与窗口之间没有任何约束关系。现有的 ExtractContext._split_message_for_extraction 只把单条超长文本消息切 chunk 用于 event range 定位，所有 chunk 仍在同一个抽取上下文里，不解决超窗。

提案：分阶段 commit（两个能力）

1. commit 支持前缀边界（server + client）

CommitRequest 增加一个边界参数（up_to_message_id 或 commit_message_count 二选一），语义从「归档除尾部 N 条外的全部」扩展为「归档指定前缀」：

POST /sessions/{id}/commit
{ "up_to_message_id": "msg_0123" }   # 归档 [head, msg_0123]，其余保留为 live

约束：只支持前缀，不支持任意消息子集。保持 archive 的连续性、checkpoint 链和 keep_recent_count 的现有语义不变；边界参数与 retention 参数互斥。

2. auto commit 按窗口预算切块逐个 commit

run_auto_commit 里当 pending_tokens 超过抽取窗口预算（新增配置，如 extraction_token_budget）时，循环切前缀块逐个 commit，而不是一次全量：

while pending_tokens > extraction_token_budget:
    boundary = 按 token 预算在 Turn 边界切出前缀
    commit_async(up_to_message_id=boundary)   # 阻塞至 Phase 1 完成
commit_async(keep_recent_count=policy.keep_recent_count)  # 收尾

• 切块在逻辑 Turn 边界对齐（复用 turn_budget 已有的 Turn 划分）
• 逐块顺序执行：每块一个 archive、一次 Phase 2 抽取；后块抽取自带前块 overview（latest_archive_overview 机制已存在，无需新做）
• 能力 2 完全建立在能力 1 之上；手动 commit 想切块的客户端也能直接用能力 1 自己控制节奏

非目标

• 任意消息子集 / 乱序 commit
• Phase 2 内部对单个 archive 再切块（切块统一在 commit 边界做，抽取逻辑不动）
• 并行多块抽取（顺序执行保证 checkpoint/overview 链，先不做并行）

待议

1. extraction_token_budget 放在 auto_commit_policy 里还是 server 级配置（跟随抽取模型窗口）？
2. 切块 commit 期间新消息持续写入的竞态：沿用现有 path-lock + in-flight claim 是否足够？
3. 边界参数是否同时开放给 keep_recent_count=0 的 compact 路径？