Cold resume can replay undecryptable encrypted reasoning without a safe fallback
还没有人认领这个 Issue。
评估
- 难度
- 5/5
- 预计耗时
- 一周以上
- 新手友好度
- 35/100
- Issue 类型
- 功能
- 描述清晰度
- 基本清楚
- 活跃度
- 活跃
- 技术栈
- java
调研方向
从负责 replay 序列化、待处理 turn 状态和副作用排序的 runtime 路径入手,使用 issue 中描述的确定性 provider fixture 重现。完成标准是:结构化的 decrypt/parse 失败可以触发一次副作用发生前的原子 retry,且不会重复用户事件;后续 resume 会避开已失效的前缀,而无关或重复的失败仍保持 terminal 状态。
由索引模型根据 Issue 内容生成。
描述
Summary
When a cold-resumed session preserves prior reasoning fields, the first model request can fail with HTTP 400 if the provider can no longer validate the replayed encrypted_content:
Encrypted content ... could not be decrypted or parsed.
The logical model identifier can remain unchanged while the provider's underlying deployment or encryption domain changes. The SDK currently treats this as a terminal session error. Consumers cannot atomically remove the incompatible pre-resume reasoning, retry the pending turn, and prevent the same payload from being replayed on later resumes.
This leaves consumers with two unsafe choices:
- Strip reasoning on every resume, losing reasoning continuity and prefix-cache reuse.
- Preserve reasoning on every resume, leaving the session unrecoverable when a previously valid blob becomes unverifiable.
This is related to #615, which correctly preserved encrypted_content for stateless multi-turn requests. Preservation should remain the normal path, with a bounded recovery path for blobs that a provider can no longer verify.
Versions and configuration
- Reproduced with the resume behavior in
@github/copilotCLI 1.0.78. - The same relevant behavior is present in CLI 1.0.73.
- Prior reasoning is preserved on resume by setting
COPILOT_STRIP_REASONING_ON_RESUME=false. - The provider uses a stable logical model name but may route requests across compatible model deployments.
Reproduction
A provider fixture can reproduce the failure deterministically:
- Create a session with a reasoning model.
- Complete a turn whose assistant reasoning contains
encrypted_content. - Disconnect and cold-resume the session with reasoning preservation enabled.
- Send the next user message.
- Have the provider reject the replayed blob with HTTP 400 and the decrypt/parse error above.
Actual behavior
The resumed turn fails terminally. A generic consumer retry reuses the same incompatible history. The public SDK API does not provide an atomic way to sanitize the resumed prefix without risking a duplicate user event or repeated tool side effects.
Expected behavior
The SDK should preserve reasoning by default, but recover safely when the first post-resume call proves that prior encrypted reasoning is incompatible.
One possible design is a resume policy such as preserveWithStripFallback:
- Match only the structured HTTP 400 decrypt/parse failure, not every encrypted-content or invalid-request error.
- Recover only before assistant output or tool execution has started.
- Atomically strip incompatible pre-resume opaque reasoning and retry the same pending turn once.
- Do not append the user event twice.
- Persist an invalidation cutoff or generation so later resumes do not replay the poisoned prefix.
- Continue preserving reasoning generated after recovery.
- If available, use an opaque provider-issued verification-domain identity to avoid replay proactively when compatibility does not match.
Unrelated errors, failures after side effects, and a failed recovery attempt should remain terminal. The retry must never loop.
Why this belongs in the runtime
The runtime owns replay serialization, pending-turn state, and side-effect ordering. Handling this outside the SDK cannot reliably distinguish a safe first-call recovery point or rewrite session history atomically.
This recovery keeps the cache and multi-turn reasoning benefit for healthy resumes. Only a session with incompatible ciphertext loses its old hidden-reasoning prefix once, after which newly generated reasoning can be preserved normally.
- 主要语言
- Java
- 星标
- 10.5k
- 派生
- 1.5k
- 平均合并
- 1 天 9 小时
- 30 天内合并 PR
- 129
贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
github/copilot-sdk 的其他 Issue
-
agentic-workflows
难度 2/5 1-3 小时 新手友好度 65/100
github/copilot-sdk#2760 · 1 条评论 ·
-
难度 2/5 1-3 小时 新手友好度 65/100
github/copilot-sdk#2759 ·
-
documentation
难度 1/5 1 小时以内 新手友好度 85/100
github/copilot-sdk#2758 ·
-
agentic-workflows
难度 2/5 1-3 小时 新手友好度 68/100
github/copilot-sdk#2709 · 1 条评论 ·
-
难度 1/5 1 小时以内 新手友好度 78/100
github/copilot-sdk#2673 ·
查看 github/copilot-sdk 的全部 Issue
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 85/100
HL7/fhir-ig-publisher#1375 ·
-
难度 2/5 1-3 小时 新手友好度 74/100
-
Flaky: a relaunched catch-up replay can still report catching up right after its marker is written 未关闭bug
难度 2/5 1-3 小时 新手友好度 78/100
johanhaleby/occurrent#1134 ·
-
bug
难度 2/5 1-3 小时 新手友好度 78/100
objectionary/jeo-maven-plugin#1811 ·
-
难度 2/5 1-3 小时 新手友好度 88/100