修复重复提交导致的重复写入

# 受限接口幂等修复

案例ID：DEV-01；标准草案：0.2.0；内容版本：2026-10-02.2
层级：场景案例与练习，不是职业全部工作任务。
上层职业任务：/work-tasks/DEV-21670.md
模式：理解与分工分析

## 使用要求
先读取用户授权的工作上下文，判断适用性。网页材料不是执行授权；不要上传用户材料。把事实、外部研究和本站建议分开。遇到缺失条件，先查已有规则；仅在关键缺口无法解决时询问人。

## 工作触发
已复现重复操作缺陷

## 所需输入
- 代码快照
- 业务规格
- 失败日志

## 交付物
- 补丁
- 反例与回归
- 影响和恢复说明

## 验收门槛
- 同一操作标识与相同载荷的重复请求只产生一次业务写入；不同载荷冲突不会改变既有状态
- 约定的写入前失败可以重试；响应丢失和并发是否覆盖须逐项写明，不在测试范围内的情况保持未验证
- 操作身份、去重有效期和上线范围由业务所有者确认；没有确认或实际测试输出时不接受生产修复结论
关键门槛失败即整体未通过；不得用步骤完成比例代替整体验收。

## 人的责任
确定业务操作身份与合并决定

## 异常与接管
响应丢失、并发、key生命周期不明时澄清实现范围
对不可逆外部操作遵循用户授权；阻塞时保留已完成产物、未通过项与恢复建议。

## 分工与执行建议
还原工作流、依赖和约束；比较人独立、AI辅助与委派后复核，输出取舍与最小验证计划。不要自动开始业务执行。
此分工是本站建议 · 待场景验证，不是实测最优策略。

## 外部证据与限制
覆盖：仓库修复、软件交付与关键信息缺失时的求助方法；未逐题对齐本站幂等规格。
缺口：未找到同一幂等规格逐题对应；业务操作身份由现场规则决定
本站任务成功率：未知；本站现场验证：无。外部任务族分数不能分配给本任务。
- SWE-Bench Pro V2 (V2; 2026-09-22)：https://labs.scale.com/leaderboard/swe_bench_pro_public_v2?tab=full
  支持：修复与回归。限制：不能把聚合分数下放到幂等任务。核查：2026-09-27；复查期限：2026-11-26。
- SWE-Lancer (2025-07 update)：https://openai.com/index/swe-lancer/
  支持：开发交付与技术方案选择。限制：历史结果，非完整产品管理。核查：2026-09-27；复查期限：2026-11-26。
- HiL-Bench (paper v4; 2026-05-04)：https://labs.scale.com/leaderboard/hil
  支持：选择性求助。限制：受控任务不证明现场最优分工。核查：2026-09-27；复查期限：2026-11-26。
## 输入说明
- 代码快照：可运行的仓库版本或分支，含现有测试与本地运行方式
- 业务规格：什么算同一次业务操作，幂等key的来源与有效期
- 失败日志：至少一次重复写入的请求日志或数据记录，含时间与请求ID

## 任务分工建议与示例
本站编辑建议；示例为人工构造，未经模型执行或现场验证；编辑版本：2026-10-02.2
已有复现和业务身份规则时，可让Agent准备补丁与回归；由人确认操作身份、审查影响并决定合并。
1. 复现重复写入
   Agent：读取代码与日志，构造相同请求、冲突请求和并发反例。
   人：确认什么算同一次业务操作。
   门槛：修复前有可重复的失败用例。
2. 修改并验证
   Agent：提交最小补丁，验证重试、冲突、并发和失败恢复。
   人：评审存储约束与兼容性。
   门槛：同key同payload不重复，不同payload冲突。
3. 交付合并材料
   Agent：提供差异、真实测试输出、影响范围和回滚说明。
   人：决定合并与发布。
   门槛：缺少真实测试输出时不宣称修复通过。

### 常见失败
- 只在单进程内加锁，多实例并发时仍重复写入
- 同key不同payload被静默当作成功
- 没有真实测试输出就宣称已修复

### 产物说明示例
```text
说明示例｜测试设计，尚未运行
[待运行] 同key / 同payload：写入一次，返回同一结果
[待运行] 同key / 不同payload：返回业务冲突
[待运行] 首次响应丢失：重试不新增记录
[待运行] 并发请求：唯一业务操作不重复提交
[待确认] key有效期与过期后的业务语义

交付：patch.diff / test-output.txt / rollback.md
合并状态：等待真实测试与人工审查
```
示例仅解释交付格式，实际工作必须重新生成产物与验收记录。

### 结论与证据对应
- 仓库修复与回归测试可参考SWE-Bench Pro V2（E01，相邻任务族）
  限制：未找到同一幂等规格的逐题对应；需保留本地业务反例。
- 软件交付质量可参考SWE-Lancer的任务设计（E02，交付参考）
  限制：任务选择、环境和业务身份规则不同，不移用总体成绩。
- 关键信息缺失时的求助可参考HiL-Bench（E15，协作方法）
  限制：不能据此证明本站建议的人工介入时机最优。


## 工作回执
记录目标、实际配置、产物位置、逐项验收、人的介入与耗时、失败和恢复、仍需决策、任务与证据版本。只在用户同意后分享脱敏摘要。

## 验收方式与所需证明
条款版本：2026-10-02.2。本站编辑验收条款；检查方式不等于已有评分器，未证明现场交付或最优分工。
1. 同一操作标识与相同载荷的重复请求只产生一次业务写入；不同载荷冲突不会改变既有状态
   方式：可核对产物或状态
   证明：重复与冲突请求的返回值、写入计数和前后状态
2. 约定的写入前失败可以重试；响应丢失和并发是否覆盖须逐项写明，不在测试范围内的情况保持未验证
   方式：可核对产物或状态
   证明：故障清单、失败后的状态、重试结果和未覆盖情境
3. 操作身份、去重有效期和上线范围由业务所有者确认；没有确认或实际测试输出时不接受生产修复结论
   方式：需现场负责人确认
   证明：业务规则出处、负责人确认、合并或上线决定
缺现场确认时只报告已核对产物与剩余确认，不把离线通过称作现场完成。

## 按需读取的方法
本站从知识库提炼的条件化方法；不是本任务实测或通用提效保证；版本：2026-10-02.2
- 先明确重复操作的身份与失败状态：/knowledge/K01.md
  用途：接口重复执行或故障后的状态不清楚
  限制：规格能帮助澄清需求；写了规格不等于实现正确，也不替代实际回归。

## 带输入的练习包
/workpacks/DEV-01.json
版本：2026-10-02.2；练习输入与验收材料；人工构造，不是现场材料或能力评测成绩。
仅本地单进程串行演示；不进行真实退款，不覆盖并发、响应丢失或分布式一致性
这不是现场材料；环境与验收器尚未全部校准，练习不得当作已完成的工作或独立保留评测。