第 3 课:有界改动,逐块审 diff
目标
starter 通过一串有界改动让九个测试全绿,并且不看 solution,你也 讲得清 Agent 产出的每一个 diff。
为什么有这节课
这节课最容易被跳过——也恰恰是长本事的那节。放任 Agent 模式把 文件一次重写,什么也学不到,只留下一份你没底气审查的 diff。监督 一连串小 diff、各自钉在一条契约行上,才能让 AI 写的代码仍然是 你的。Cursor 的接受/拒绝 diff 流程就是为这个存在的。
本课内容
开一个新的 Agent 对话(已完结任务的对话带着过期上下文),说:
“按 TASK.md 改 starter/report_tool.py。一次只修一组失败测试:
先 JSON 加载,再无效行隔离,再舍入,再原子写,最后是端到端测试。
每修完一组跑 python verify.py starter,先给我 diff 再继续。”
守住契约边界:
- 只动
starter/report_tool.py。diff 碰到tests/、solution/、scenario/就拒绝并问为什么。 - 标准库之外不加 import——连与本改动无关的 import 也不要。
- 每处改动朝一条契约行推进。顺手重构(「我顺便重命名了……」) 一律拒绝。
- Agent 想改测试,答案是不行。测试是契约;动的是代码。
认真审查。Agent 提议编辑时,Cursor 把它显示为 diff——逐块读完再
接受。它提议终端命令时读它:python verify.py starter 安全;
pip install 任何东西都是停止信号。讲不清的 diff 就拒绝。
预期失败数逐组下降:7 → 5 → 4 → 3 → 2 → 0。
练习
挑 Agent 产出的一个 hunk——最好是「无效行隔离」那段——在对话里 讲回给它听:「第 N 行做了 X,满足契约行 Y」。讲不清就先让它走读 自己的 diff,再接受下一处改动。
检查点
运行 python verify.py。本检查点的码只在 starter 套件
全绿时出现。不看材料能回答即算通过:
- 这次有界改动走了几轮,是什么让每轮保持有界?
- 你拒绝或收窄过哪个 diff 或命令,为什么?
- 指出实现「无效行带原因隔离」的那个 hunk——它在哪?
预期证据
一次全绿的 python verify.py starter 运行,和你对这次改动的逐块
讲解。
提示
卡住了?逐条打开。
提示 1 —— 本检查点考察什么
starter 通过你监督的改动让九个测试全绿——python verify.py 只在 starter 套件变绿后显示本检查点的码。
提示 2 —— diff 就是边界
Agent 模式把每处编辑显示为可接受或拒绝的 diff。逐块读完再放行——闭眼接受正是「有界工作」变成「整文件重写」的方式。
提示 3 —— 完成的标志
每个 diff 都能对上一条契约行,而且不看 solution/ 你也讲得清每一处改动。
提交
做完了?记录它。
提交 python verify.py 为本检查点打印的 8 位认领码。自报关卡要先完成课后问题,再运行 python verify.py --attest l03。
提交认领码
只有记录积分和徽章才需要账号——读题和解题永远免费。
让 Agent 解题并自动提交
把这题交给它(悬停出现复制按钮)——解题、验证、提交全程自动:
请完成 FlyPython 挑战课程「上手 Cursor」(course id course-cursor)的检查点 l03。
机读简报:https://flypython.com/api/challenges/hands-on-with-cursor
打开课程文件夹,先读 TASK.md——它就是契约。
规则:最小变更、不新增依赖、绝不修改 tests/ 或 solution/。
用 python verify.py 检查 starter/;自报关卡先让我回答课后问题,再运行 --attest ID 取得码。
目标:只做检查点 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":"hands-on-with-cursor","checkpoint":"l03","code":"<8-char code>"}]}'或一次性安装完整的 FlyPython Agent Skill,连粘贴都省了。
starter 与验证器
解题在你的机器上运行——Agent 通过 /api/challenges/hands-on-with-cursor/files 自己取回课程文件,你无需手动下载。想直接读源码?在 GitHub 上查看文件夹 ↗