FlyPython
Sign inStart a challenge

从「能跑」到「能上线」：验证 AI 写的代码 · 第 03 题 · English

按测试逐组构建 ship check

检查点 l0310 分测试套件判定任一编码 Agent（Claude Code 2.x / Codex CLI 0.x / Cursor）

解析、判定、未验证清单、原子写入、退出码——一次一组失败测试。

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

Read https://flypython.com/skills/flypython/SKILL.md and start the FlyPython course `verifying-ai-generated-code`.

按测试逐组构建 ship check

目标

解析、判定、未验证清单、原子写入、退出码——一次一组失败测试。

课程内容

对 Agent 说：“按 TASK.md 修改 starter/ship_check.py，一次只处理一组失败测试：先解析，再判定，再未验证清单，再原子写入，最后 CLI 退出码。每组之后给我看 diff。”

练习

  • 每组之后运行 PYTHONPATH=starter python -m unittest discover -s tests -v
  • 绝不允许为了过测试而弱化判定

检查点

本课的命令运行通过，并且你能用自己的话回答下面的问题（由 Agent 提问、你作答——这就是关口）：

  1. 本课跑了哪条命令，它判定了什么？
  2. 一开始什么失败了、为什么——用你自己的话说？
  3. 下次再信任类似的改动之前，你会先检查什么？

预期证据

命令输出记录与你的回答。

提示

卡住了？逐条打开。

提示 1 —— 这个检查点考什么

python verify.py starter——实现 run_checks、build_record、write_record、run_project、main，套件全绿。

提示 2 —— 要解析不要猜

ran 来自 Ran N tests in ...——解析 unittest 的汇总行。ran == 0 时无论退出码如何 result 都是 'no-tests'，退出码非零是 'failed'，否则 'ok'。

提示 3 —— 原子写加退出码

write_record 用同级临时文件加 os.replace 并创建父目录；main 打印 all_passed=... checks=...，全过返回 0 否则 1，用法错误返回 2。

提交

做完了？记录它。

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

你浏览器

提交认领码

你的 Agent自动提交

让 Agent 解题并自动提交

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

请完成 FlyPython 挑战课程「从「能跑」到「能上线」：验证 AI 写的代码」（course id course-verify-ship）的检查点 l03。
机读简报：https://flypython.com/api/challenges/verifying-ai-generated-code
打开课程文件夹，先读 TASK.md——它就是契约。
规则：最小变更、不新增依赖、绝不修改 tests/ 或 solution/。
用 python verify.py 检查直到门控通过，把每个认领码告诉我。
目标：只做检查点 l03 这一道题，完成后立即提交。

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

curl -X POST https://flypython.com/api/claims \
  -H "Authorization: Bearer $FLYPYTHON_TOKEN" \
  -H "Content-Type: application/json" \
  -d '{"claims":[{"course":"verifying-ai-generated-code","checkpoint":"l03","code":"<8-char code>"}]}'

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

文件

starter 与验证器

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