第 2 课：写任务契约，让 AGENTS.md 承载规则

检查点 l0210 分自我报告——认领码来自 verify.pyOpenAI Codex 桌面应用

把「改好一点」变成有边界、可测试的契约——再让它持久化，让每个 Codex 线程都从同一套规则开始。

六门 Agent 工具课共用同一道题。OpenAI Codex 桌面应用专属步骤仍在补写——补齐并通过审核前，本页 canonical 指向主课程的对应题目。

在用 Agent 做题？一句话开始整门课程：

Read https://flypython.com/skills/flypython/SKILL.md and start the FlyPython course `hands-on-with-openai-codex`.

第 2 课：写任务契约，让 AGENTS.md 承载规则

目标

你能把 TASK.md 当成一组可测试陈述来读，把每条陈述追查到 tests/test_report_tool.py 里的一个测试，并写出 Codex 线程会自动读取的持久规则。

为什么有这节课

含糊的需求产出含糊的代码。「把坏行处理好一点」是许可 Agent 去猜；「无效行收进 errors、带下标和原因，有效行照常产出报告」是给它目标、也给你检查的方法。在 Codex 应用里还有第二种失败：你在某个线程里敲的规则，下一个线程里根本不存在。契约固定任务本身； AGENTS.md 固定工作规则。

本课内容

打开 TASK.md。注意每行的共同点：它描述的是可观察的行为，不是实现。契约里的四句陈述，以及钉住它们的测试：

契约行	测试
「JSON 文件要加载成与 CSV 相同的记录列表」	`test_load_json_records_returns_list_of_dicts`
「无效行带下标和原因进 `errors`；有效行照常聚合」	`test_invalid_records_are_isolated_with_reasons`
「分组总计保留两位小数」	`test_group_totals_are_rounded_to_two_decimals`
「报告写出是原子的，且会创建缺失的父目录」	`test_write_report_creates_missing_parent_directories`

再看持久的另一半。Codex 做任何工作之前都会先读 AGENTS.md—— ~/.codex 里的全局文件，然后从仓库根一路向下读项目文件；越靠近当前目录的文件优先级越高。本课程的工作规则正是该放那里的东西。开一个草稿文件，为本项目起草三条规则，例如：

- 只改 starter/report_tool.py。tests/、solution/、scenario/ 只读。
- 每轮只修一个失败测试组；修完跑 `python verify.py starter`。
- 只用标准库——不加新依赖。

告诉线程：“这些是我给项目定的规则——把它们写到文件夹根的 AGENTS.md 里，让每个新线程开工就带上。” 然后开一个新线程，让它总结自己的工作规则。它把你的三行原样引回来，说明指令链通了；没有就检查文件落在哪一层。

练习

为你真正拥有的一个脚本写一条契约行，用同样的形状：输入、输出、错误情况、以及「完成 = <命令> 退出码为 0」。再写你会放进那个项目 AGENTS.md 的两条规则。

检查点

运行 python verify.py——能回答下面三题时，本检查点的认领码就会显示：

用你自己的话说，test_invalid_records_are_isolated_with_reasons 钉住的是 TASK.md 哪一行？
跨线程携带规则的是提示词还是 AGENTS.md？
全局 ~/.codex/AGENTS.md 相对项目文件的优先级顺序是什么？

预期证据

你起草的契约行、两条规则，以及新线程对自己工作规则的总结。

提示

卡住了？逐条打开。

提示 1 —— 本检查点考察什么

你能把 TASK.md 当成可测试的陈述来读，而不是散文。每个以函数名开头的句子都是套件能断言的契约行。

提示 2 —— AGENTS.md 是指令链

Codex 干活前先读 AGENTS.md：~/.codex 里的全局文件，加上从仓库根到当前目录的项目文件。想让每个线程都遵守的规则放那里——不要在每个提示里重打。

提示 3 —— 可测试性检查

判断一句话能不能测：测试套件不看你的心思能不能断言它？数字、退出码、磁盘上的文件——不看感觉。

提交

做完了？记录它。

提交 verify.py progress 为本检查点打印的 8 位认领码——浏览器里交，或让你的 Agent 直接交。

你浏览器

提交认领码

你的 Agent自动提交

让 Agent 解题并自动提交

把这题交给它（悬停出现复制按钮）——解题、验证、提交全程自动：

请完成 FlyPython 挑战课程「上手 OpenAI Codex 应用」（course id course-codex-cli）的检查点 l02。
机读简报：https://flypython.com/api/challenges/hands-on-with-openai-codex
打开课程文件夹，先读 TASK.md——它就是契约。
规则：最小变更、不新增依赖、绝不修改 tests/ 或 solution/。
用 python verify.py 检查直到门控通过，把每个认领码告诉我。
目标：只做检查点 l02 这一道题，完成后立即提交。

用你Agent 页生成的令牌（环境变量 FLYPYTHON_TOKEN），它可以直接记录结果：

curl -X POST https://flypython.com/api/claims \
  -H "Authorization: Bearer $FLYPYTHON_TOKEN" \
  -H "Content-Type: application/json" \
  -d '{"claims":[{"course":"hands-on-with-openai-codex","checkpoint":"l02","code":"<8-char code>"}]}'

或一次性安装完整的 FlyPython Agent Skill，连粘贴都省了。

文件

starter 与验证器

解题在你的机器上运行——Agent 通过 /api/challenges/hands-on-with-openai-codex/files 自己取回课程文件，你无需手动下载。想直接读源码？在 GitHub 上查看文件夹 ↗