# 检测报告与映射表模板

## 映射表（检测过程必建）

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

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

## 取证最小集

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

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

## 报告模板

```text
# 检测报告

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

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

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

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

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

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

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

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

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