implement

implement — 一张卡，一个看不见评审的实现者

产物是限定在卡白名单内的 diff、按 /commit 规则落地的 commit（footer Card: CARD-xx）、以及状态机里 该卡的 done 状态。本文件写：实现者能看到什么、什么算做完、原语与门、失败怎么走。怎么写代码是引擎的份额。

缺口（Control + Judgment）

deletion 测试：撤掉本 skill，引擎会把整个对话历史、评审 skill 的判据、其他卡的改动一起塞给实现者， 改动溢出白名单、顺手改掉一个测试断言让它变绿、失败后在同一处重试到上下文耗尽。缺的是隔离（γ）、 落地前的闸（已编译在 verify_commit.py）、"做完"的判据与升级规则（γ）。

世界（Σ）

• 实现者看到的全部输入：一张卡（assets/card_context.md 形状）+ sdlc_state.py show 的摘要 + 该卡的 AC 子集 + allowed_files 内的源码。看不到：评审 skill 的提示与判据、隐藏变体集、spec-robustness.md、 其他卡、账本里评审者的发现。这是训练期信息隔离的实现形态（干活的不许看日志）。
• 执行器可换：self（当前会话，仍遵守隔离——只读卡）、agent（agents/card-implementer.md，全新上下文）、 ratchet（需要跑到达标为止的卡）、forge-teams（并行多卡，邻居）。隔离规则对所有执行器相同。
• 红-绿：卡的 AC 子集对应的测试由 /test-suite-generator 事先写好并锁；实现前它们必须是红的（基线上跑 一次记录），实现后变绿。测试文件在 forbidden_files 里——实现者改不了。
• 一卡多 commit 合法（按关注点），但每个 commit 都过 verify_commit.py --card --lock。
• 失败指纹：同一张卡同一失败摘要第二次出现 = 无进展，sdlc_state.py fail 会判 escalate（方案层：重拆或改卡）， 不是"再试一次"。
• 关于用户的 Σ："先把功能做出来再说"= 仍然只在白名单内做；"测试写得不对"= 走变更提案，不是改测试。

判据（φ）

• 卡的 ac_ids 对应测试全绿（/qa-reviewer 或直接跑测试入口）；全套件无回归；lint / 类型 / 构建绿（存在则跑）。
• 每个 commit verify_commit.py --card <卡> --lock .done_when.lock exit 0。
• diff 内没有卡 forbidden_files 的文件；没有新增依赖（有则记 notes 并进 A 档检查）。
• 残差：实现是否走捷径满足测试（/spec-gaming-detector 在整体验收时看）；本 skill 不自评。

原语（Π）

• assets/card_context.md —— 交给实现者的输入形状（卡 + 状态摘要 + AC 子集 + 红基线记录）。
• ../../agents/card-implementer.md —— 全新上下文的实现者定义。
• ../commit/scripts/verify_commit.py —— 落地前的闸；../sdlc/scripts/sdlc_state.py card / fail —— 登记与升级。
• references/executors.md —— 四种执行器的接法与隔离检查表。

门（γ）

• 前置：cards.lint_passed=true；.done_when.lock 存在；该卡 AC 的测试存在且在基线上为红（无测试则 notes 写明 no-tests-for: AC-xxx 并在整体验收时补——不许实现者自己写验收测试）。
• done_when（本卡）：AC 子集绿 ∧ 全套件无回归 ∧ 每个 commit 过闸 ∧ sdlc_state.py card CARD-xx --status done --commit <sha>。
• 升级：fail --signal card_test_fail --card CARD-xx --fingerprint <摘要>；返回 escalate: true → 停，写失败报告， 回 /plan-cards 或交人。绝不绕过。