---
name: soloforge-code
description: 按切片实现生产代码与测试，并保持需求、设计和运行时行为一致。
when: 代码实现 / code / build 阶段
---

# 代码实现

## 适用性

测试计划和当前切片的上游契约已就绪后使用。若需要改变用户目标、公共 API、数据模型或发布拓扑，停止编码并先更新相应决策与产物。

## 事实输入

- 当前切片的目标、文件范围、依赖和验收契约。
- 需求、设计、适用的 API/数据/原型契约和测试计划。
- 现有代码规范、构建命令、测试框架和兼容约束。
- `examples.md` 的正反例。

## 关键决策

- 选择最小直接实现，避免为假想扩展引入层次、框架或通用引擎。
- 需求追踪通过测试名称、测试报告、变更清单或项目已有的追踪机制建立，不为了追踪向生产代码添加任务号注释。
- 异常、重试、幂等、事务、权限和并发行为必须符合契约。

## 产出方法

1. 只实现当前切片，先写或确认失败测试，再完成最小生产实现。
2. 前端按对应页面的真实原型约束实现，不用通用骨架代替。
3. 更新必要的配置、迁移、契约和文档，保持同一变更闭环。
4. 在测试计划、测试名称或报告中建立需求到行为和证据的映射；只有项目现有规范明确要求时才在代码中使用追踪标记。
5. 运行项目真实的格式化、类型检查、编译和测试命令。

## 禁止项

- 不得吞异常、返回假成功、留空实现、硬编码测试数据或绕过类型系统。
- 不得用注释、TODO 或 mock 结果冒充已实现行为。
- 不得顺手重构无关区域或修改未获授权的公共契约。
- 不得仅为通过检查复制模式；每个抽象必须有当前消费者和清晰边界。

## 交付自检

- 当前切片的每个验收点都有实现和可运行验证。
- 错误、边界、权限、并发和恢复路径没有只测成功分支。
- 新代码与模块边界、数据所有权和依赖方向一致。
- 没有未解释的跳过测试、宽松 catch 或伪造证据。

## 权威验证

调用 `sf_verify action="full" task_id="当前任务ID" artifact="code"`。完整验证会执行项目配置中适用的源码检查、编译、测试及上游证据新鲜度检查；需求到行为的追溯完整性还要由测试计划、测试报告和审查证据共同闭环。部署级运行证据在 deployment 就绪后取得。修复 findings 后必须重新 full verify。

## 交付前对抗审查

`sf_verify` 通过只证明结构/编译/测试层；代码的语义质量（主链路接入、异常/并发/权限/边界是否可靠、抽象是否必要）必须经独立对抗审查。在 advance/deliver 前，用 `sf_review action="start" task_id="当前任务ID" artifact="code"` 发起 per_artifact 审查，用**独立 session/subagent**（非产代码的同一会话）执行返回的 prompt、submit findings，按 next_step 完成 K 次独立采样与闭环。deliver 会阻断未完成/未闭环的审查。