# 代码审查报告正反例

正例展示 finding 的最低证据标准；文件、行号、严重度、命令和结论必须来自本次独立审查。

## 正例

| 严重度 | 位置 | 发现 | 风险 | 修复 | 复验 |
|---|---|---|---|---|---|
| error | `src/orders/create.ts:48` | 库存预占成功后订单写入失败时没有释放预占 | 库存永久少计并阻塞后续下单 | 增加补偿调用和失败事件 | `npm test -- order-compensation`，4 项通过 |

- 依据：引用设计文档的失败路径约束和对应代码分支
- 状态：已修复；首次审查基线、修复后的代码版本与复验会话分别记录
- 覆盖矩阵：安全、并发、契约、失败恢复等每一维均有“已检查证据”或“不适用理由”
- 发现项总数：1；若真实为 0，明确写 0 并保留上述维度覆盖证据，不能只交一个空表

## 反例

- 代码结构清晰
- 性能应该没问题
- 建议补充一些异常处理
- 总体可以上线

问题：没有位置、引用、严重度、影响、修复状态和复验，结论无法审计。

## 迁移到当前项目

替换文件、行位、短引用、影响、建议和证据。finding 必须来自本次独立审查；修复状态与结论须与当前代码、`sf_review` 和重新验证结果一致。