告别 V4 Pro 的收官迁移手册：把工作流平移到 V4.1 Flash

8 月中旬，DeepSeek-V4-Pro-0813 作为正式版发布时，社区讨论的焦点还是它 62.7 分的 DeepSWE 成绩和逼近闭源旗舰的智能体能力；一个月后，画风急转——V4.1 Flash 发布、V4 Pro 服务按计划推迟至 9 月 14 日下线，一批靠 deepseek-v4-pro 模型名跑生产的开发者，被迫进入"收官迁移"倒计时。这不是一次可选升级，而是一次有明确时间表的平台切换：旧模型名 7 月 24 日退役、Pro 服务 9 月 14 日下线，官方以 Flash 接棒。本文结合 DeepSeek-V4-Pro-0813 开源仓库的真实源码与配置，把这次迁移拆成三步：先盘点哪些场景必须动、哪些可以躺平，再讲 Prompt 与参数在 Flash 上的适配要点，最后给出一份可执行的回归测试清单和成本账。

迁移前盘点：哪些场景必须动、哪些可以躺平

迁移的第一步不是改代码，而是先回答"我的工作流依赖 Pro 的哪一部分能力"。官方在 README.md 中给出的 V4-Pro-0813 与 V4-Flash-0731 的基准对比表，是判断风险最直接的依据：

Benchmark	V4-Pro-0813	V4-Flash-0731	差距
HLE（无工具 / 有工具）	42.7 / 60.0	37.8 / 51.5	-4.9 / -8.5
Terminal Bench 2.1	87.9	82.7	-5.2
NL2Repo	61.5	54.2	-7.3
Cybergym	83.3	76.7	-6.6
DeepSWE	62.7	54.4	-8.3
Toolathlon-Verified	74.1	70.3	-3.8
Agents' Last Exam	25.7	25.2	-0.5
AutomationBench	31.8	25.1	-6.7
DSBench-FullStack	71.1	68.7	-2.4
DSBench-Hard	67.2	59.6	-7.6

（注：表中 Flash 为 V4 系列 0731 版本官方数据，可作为 V4.1 Flash 迁移前的能力下限参照。）

必须动的场景：三类工作流在迁移前需要专门安排验证预算。一是长链路代码 Agent，NL2Repo、DeepSWE、DSBench-Hard 这类整仓级任务的差距在 7~8 分区间，说明"多步规划 + 长文件操作"确实是 Pro 的主场，迁移后必须逐条回归。二是千级 token 以上的深度推理任务（HLE 有工具差 8.5 分），数学证明、复杂代码审查这类"可验证逻辑输出"对推理预算敏感，Flash 模式下要么调高 reasoning effort 补偿，要么接受质量回退。三是超长上下文任务——Pro 的 max_position_embeddings 达到 1048576（config.json），而 V4.1 Flash 公开的上下文为 128K，两者差一个数量级，凡是依赖百万级上下文的场景（整库检索、超长文档分析）都必须在 Flash 上重新做上下文预算。

可以躺平的场景：好消息是，迁移不涉及协议层重写。Flash 与 Pro 共享同一套编码规范：encoding_dsv4.py 中的 encode_messages / parse_message_from_completion_text、`