safety-eval-service/.cursor/skills/completion-check/references/report-template.md

检测报告与映射表模板

映射表（检测过程必建）

字段	说明
ID	稳定编号
约定描述	摘自基准原意（可精炼，不改意）
关键产物位置	实然对应处；无则「未映射」
可达性	可达 / 条件可达 / 不可达 / 未证实
阻断点	不可达或条件可达时的阻断位置与原因
判定	通过 / 失败 / 未证实 / 不适用
偏差类型	错误 / 虚假 / 偏移 / 遗漏 / 过度 / 无
证据	输入、步骤、观察、附件指针
严重级	S0 / S1 / S2 / S3 / SX
备注	环境限制、基准歧义等

「未映射」默认按遗漏或虚假（仅有总称声明时）处理。
可达性非「可达」时，判定不得为「通过」。

取证最小集

1. 前置：初始条件、角色、入口与输入样本
2. 可达：按约定身份与路径尝试抵达；记录阻断点
3. 动作：在可达前提下触发约定行为或打开约定产物
4. 观察：可记录结果
5. 对照：与成功标准逐点比对

无法抵达或无法观察 →「不可达」或「未证实」，不得记「通过」。

报告模板

# 检测报告

## 元信息
- 对象：
- 基准来源与版本：
- 检测时间与环境：
- 检测者：

## 结论摘要
- 完成度等级：
- 一句话结论：
- 阻断项数量（S0/S1）：

## 基准确认
- 已确认项：
- 基准缺口 / 冲突：

## 映射与统计
- 检测单元总数 / 通过 / 失败 / 未证实 / 不适用：
- 可达 / 条件可达 / 不可达 / 可达性未证实：
- 覆盖度 / 可达度 / 正确度 / 闭合度：

## 问题清单
| ID | 可达性 | 偏差类型 | 严重级 | 约定 | 实然 | 阻断点/证据 | 建议 |
|----|--------|----------|--------|------|------|-------------|------|

## 虚假 / 偏移 / 不可达专项说明
- （若无则写「未发现」并说明抽检范围）

## 附条件与遗留
- 通过条件：
- 复验计划：

## 证据索引
- （路径、样本、日志、截图、数据批次号等）

不得省略：结论摘要、可达性统计、问题清单（含约定/实然/可达性/证据）、完成度等级。