FlyPython
Sign inStart a challenge

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

像怀疑者一样读记录

检查点 l0410 分测试套件判定任一编码 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-RECORD.json：同一条命令，三种判定。unverified 清单不是免责声明——它是你主张的边界。审查 diff 里没有测试逼着的改动；用 --verified-on 确认记录可复现。

练习

  • 人工核对：每份记录里 all_passed 是否与 exit_code 和 result 一致？
  • 写下三行证据笔记：已验证 / 未验证 / 已知局限

检查点

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

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

预期证据

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

提示

卡住了？逐条打开。

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

双套件加怀疑者式读记录：绿、红、零测试产出不同判定——证明你分得清。

提示 2 —— 三个皮肤都跑

对 green-project、red-project、no-tests 运行 run_project，分别得到 ok、failed、no-tests——拿契约核对每个 SHIP-RECORD.json，不要凭记忆。

提示 3 —— 记录证不了什么

写一句绿色记录覆盖不了的事（比如测试本身写得好不好）——这句话就是本课。

提交

做完了？记录它。

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

你浏览器

提交认领码

你的 Agent自动提交

让 Agent 解题并自动提交

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

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

用你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":"l04","code":"<8-char code>"}]}'

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

文件

starter 与验证器

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