# 第二篇参考结果与核对依据

对应文章：多轮协作与任务分解。固定输入为 `D1 版本 1 / S1、S2、S3 / 02-comparison-materials`。在完成正常流程后读取；本文件不作为被检查模型的输入。

以下内容依据教学模拟资料整理，不是跨模型实验或真实工具运行记录。允许等义措辞，原始属性、判定、引用和未知范围必须一致。

## 需求与计划

| 编号 | 要求 | 依据 |
| --- | --- | --- |
| R1 | 同一工具分别可在 Windows 11、Ubuntu 24.04 使用 | D1:L2 |
| R2 | UTF-8 纯文本日志 | D1:L3 |
| R3 | 同一任务 6 个文件，每个不超过 2 MB，不拆分任务 | D1:L3 |
| R4 | CSV；run_id、status、elapsed_ms；毫秒；缺失留空 | D1:L4 |
| R5 | 不连接网络 | D1:L5 |
| R6 | 不修改输入日志 | D1:L5 |
| U1 | 图形界面为偏好，不是必要条件 | D1:L6 |
| U2 | 许可证缺失记为待确认，本次不直接淘汰 | D1:L6 |

D1 已回答关键条件，不必再澄清格式等不影响结论的细节。默认 Markdown 报告可写为合理假设。T1 明确条件；T2 提取事实；T3 对照条件；T4 写报告。计划应将阶段输出设为待检查，不能在模型生成后自动标人工验收通过。

## 事实表 F1 的核对结果

R/U 编号在事实表中用于固定字段映射，不表示适用性。记录集合为 LB、BT、RS 各自的 R1—R6、U1、U2，共 24 个唯一标识。

| 记录标识 | 工具 | 属性 | 资料值 | 依据 |
| --- | --- | --- | --- | --- |
| LB-R1 | LogBrief | 平台 | Windows 11、Ubuntu 24.04 | S1:L3 |
| LB-R2 | LogBrief | 输入类型 | UTF-8 纯文本日志 | S1:L2 |
| LB-R3 | LogBrief | 文件数量及单文件大小 | 最多 2 个，每个不超过 5 MB | S1:L4 |
| LB-R4 | LogBrief | 输出列、单位及缺失规则 | CSV；run_id、status、elapsed_ms；毫秒；缺失留空、不填 0 | S1:L5–L6 |
| LB-R5 | LogBrief | 网络连接 | 不连接网络，本地处理 | S1:L7 |
| LB-R6 | LogBrief | 输入保护 | 不修改输入日志 | S1:L7 |
| LB-U1 | LogBrief | 图形界面 | 不提供 | S1:L8 |
| LB-U2 | LogBrief | 许可证 | 未提供 | S1:L8 |
| BT-R1 | BatchTrace | 平台 | Windows 11、Ubuntu 24.04 | S2:L3 |
| BT-R2 | BatchTrace | 输入类型 | UTF-8 纯文本日志 | S2:L2 |
| BT-R3 | BatchTrace | 文件数量及单文件大小 | 最多 8 个，每个不超过 10 MB | S2:L4 |
| BT-R4 | BatchTrace | 输出列、单位及缺失规则 | CSV；run_id、status、elapsed_ms；毫秒；缺失留空、不填 0 | S2:L5–L6 |
| BT-R5 | BatchTrace | 网络连接 | 不连接网络，本地处理 | S2:L7 |
| BT-R6 | BatchTrace | 输入保护 | 不修改输入日志 | S2:L7 |
| BT-U1 | BatchTrace | 图形界面 | 不提供 | S2:L8 |
| BT-U2 | BatchTrace | 许可证 | MIT | S2:L8 |
| RS-R1 | RunSheet | 平台 | 仅 Windows 11，不支持 Ubuntu 24.04 | S3:L3 |
| RS-R2 | RunSheet | 输入类型 | UTF-8 纯文本日志 | S3:L2 |
| RS-R3 | RunSheet | 文件数量及单文件大小 | 最多 20 个，每个不超过 10 MB | S3:L4 |
| RS-R4 | RunSheet | 输出列、单位及缺失规则 | CSV；run_id、status、elapsed_ms；毫秒；缺失填 0 | S3:L5–L6 |
| RS-R5 | RunSheet | 网络连接 | 不连接网络，本地处理 | S3:L7 |
| RS-R6 | RunSheet | 输入保护 | 是否修改输入日志未提供 | S3:L7 |
| RS-U1 | RunSheet | 图形界面 | 提供 | S3:L8 |
| RS-U2 | RunSheet | 许可证 | 未提供 | S3:L8 |

说明版本与日期：LogBrief 1.2 / 2026-09-20（S1:L1），BatchTrace 0.9 / 2026-09-22（S2:L1），RunSheet 2.0 / 2026-09-25（S3:L1）。均不能写成当前最新版。

## 比较矩阵 M1 的核对结果

| 条件 | LogBrief | BatchTrace | RunSheet |
| --- | --- | --- | --- |
| R1 平台 | 满足；LB-R1，S1:L3 | 满足；BT-R1，S2:L3 | 不满足；RS-R1，S3:L3 |
| R2 输入类型 | 满足；LB-R2，S1:L2 | 满足；BT-R2，S2:L2 | 满足；RS-R2，S3:L2 |
| R3 文件数量及单文件大小 | 不满足；LB-R3，S1:L4 | 满足；BT-R3，S2:L4 | 满足；RS-R3，S3:L4 |
| R4 输出列、单位及缺失规则 | 满足；LB-R4，S1:L5–L6 | 满足；BT-R4，S2:L5–L6 | 不满足；RS-R4，S3:L5–L6 |
| R5 网络连接 | 满足；LB-R5，S1:L7 | 满足；BT-R5，S2:L7 | 满足；RS-R5，S3:L7 |
| R6 输入保护 | 满足；LB-R6，S1:L7 | 满足；BT-R6，S2:L7 | 资料不足；RS-R6，S3:L7 |
| U1 图形界面 | 不提供；LB-U1，S1:L8 | 不提供；BT-U1，S2:L8 | 提供；RS-U1，S3:L8 |
| U2 许可证 | 未提供；LB-U2，S1:L8 | MIT；BT-U2，S2:L8 | 未提供；RS-U2，S3:L8 |

- R3 同时核对数量和单文件大小。LogBrief 的大小条件满足，但 6 > 2，整体不满足；BatchTrace 为 6 ≤ 8 且 2 MB ≤ 10 MB，满足。不要把 MB 换成 MiB，输入采用相同单位，无需换算。
- R4 中 RunSheet 的 CSV、列名、单位均符合，但缺失填 0 违反 D1:L4，因此整体不满足。
- “不连接网络”不推出“不修改输入”。RS-R6 资料不足，不能写成满足或明确会修改。
- 六项必要条件均满足的候选只有 BatchTrace。MIT 是说明中的许可证事实，本文没有做许可证适用性法律分析。
- RunSheet 的图形界面优势不能抵消 R1、R4 的不满足或 R6 的资料不足。

## 报告 C1 的结论范围

可将 BatchTrace 0.9 列为当前资料范围内的后续测试候选。LogBrief 1.2 无法在同一任务接收 6 个文件；RunSheet 2.0 的平台和缺失值规则不符合要求，输入保护还缺少说明。候选结论必须能回到对应事实记录与原文。

待确认信息保留 LogBrief 与 RunSheet 的许可证（S1:L8、S3:L8），三者的安装命令（各自 L8），三者的日志解析规则（检查各自说明全文），以及 RunSheet 是否修改输入日志（S3:L7）。实际使用另需核对说明对应的工具实现与运行结果。本次未安装、未处理日志、未测速度，不形成真实产品推荐。

报告最终人工验收包括：需求版本与条件一致、事实表 24 行完整且唯一、18 个必要条件判定正确、偏好处理正确、结论来源支持、未知与执行状态准确。文档措辞流畅或模型自检通过不能代替这些检查。

## 人为错误练习

输入为 `cases/02-faulty-draft.md` 的摘录，五号提示词已完整嵌入。

| 修订位置 | 期望修订 |
| --- | --- |
| F1-v2 的 LB-R3 | 最多 2 个，每个不超过 5 MB；依据 S1:L4 |
| M1-v2 的 LogBrief R3 | 不满足；需求 6 个，说明上限 2 个 |
| C1-v2 的候选与选择依据 | 只将 BatchTrace 列为当前资料范围内的候选；LogBrief 的数量限制仍在 |
| 保留项 BT-R3 | 最多 8 个，每个不超过 10 MB；S2:L4；其 R3 仍满足 |
| 保留项 RS-R6 | 是否修改输入日志未提供；S3:L7；其 R6 仍为资料不足 |
| 检查状态 | 摘录修订待人工核对；未提供完整表时不声称 24 行全部验收通过 |

先改事实再复查依赖结论。只改数值而仍保留 LogBrief 为全条件合格候选，属于修订未完成。不能为了迎合反馈而将 BatchTrace 的正确上限也改为 2。

## 需求变化练习

只将 D1:L3 的文件数量从 6 改为 9，其他条件与 S1—S3 不变，另存为 D1 版本 2。事实表不因需求变化而改写工具上限；旧 R3 判定和候选结论标为待重查。

R3 新判定：LogBrief 不满足（9 > 2），BatchTrace 不满足（9 > 8），RunSheet 满足（9 ≤ 20 且 2 MB ≤ 10 MB）。RunSheet 的 R1、R4、R6 问题仍在，因此当前资料中没有六项必要条件均满足的候选。不得自行拆分任务、取消 Ubuntu 要求或更改缺失值规则来保留旧候选。