软件工程 on 阿达的技术博客https://xmit.cloud/tags/%E8%BD%AF%E4%BB%B6%E5%B7%A5%E7%A8%8B/Recent content in 软件工程 on 阿达的技术博客Hugozh-cnSun, 02 Aug 2026 14:00:00 +0000Codex 实战（二）：从模糊需求到可验证补丁https://xmit.cloud/posts/codex-requirement-to-verified-patch/Sun, 02 Aug 2026 14:00:00 +0000https://xmit.cloud/posts/codex-requirement-to-verified-patch/用目标、上下文、约束和完成标准组织 Codex 任务，把模糊需求推进为范围清晰、结果可验证的代码改动。