FlyPython
Sign inStart a challenge

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

定义发布记录必须证明什么

检查点 l0210 分自我报告——认领码来自 verify.py任一编码 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`.

定义发布记录必须证明什么

目标

命令、退出码、解析出的数量与结果、一份未验证清单，以及一个拒绝零测试项目的判定。

课程内容

读 TASK.md。这份记录在构造上就是诚实的：no-tests 是独立的判定（绝不等于“通过”），且每份记录都携带 unverified 清单。写下你的项目需要的记录字段——再逐条对应到测试。

练习

  • 为你自己的项目起草未验证清单
  • 问一句：哪个字段是爱演示的 Agent 能造假的？（只有退出码——那是第 1 课的教训）

检查点

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

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

预期证据

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

提示

卡住了？逐条打开。

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

先定义发布记录必须证明什么再动手：命令、退出码、解析出的测试数、结果、未验证清单，以及拒绝零测试项目的判定。

提示 2 —— 逐字段抠契约

字面理解 build_record 的契约——all_passed 只有在每个检查都是退出码 0 且结果 'ok' 时才为真。先在纸上画出 JSON。

提示 3 —— 未验证清单

它是诚实的内核：说不出自己没查什么的记录是广告，不是证据。

提交

做完了？记录它。

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

你浏览器

提交认领码

你的 Agent自动提交

让 Agent 解题并自动提交

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

请完成 FlyPython 挑战课程「从「能跑」到「能上线」：验证 AI 写的代码」（course id course-verify-ship）的检查点 l02。
机读简报：https://flypython.com/api/challenges/verifying-ai-generated-code
打开课程文件夹，先读 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":"verifying-ai-generated-code","checkpoint":"l02","code":"<8-char code>"}]}'

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

文件

starter 与验证器

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