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

对应《上下文组织与项目约束》。本文件仅供读者完成练习后核对，不进入项目或完整粘贴包，不交给被检查模型。

正常输入为项目的七份文件：README、规则、来源索引、原资料、F1、M1、H1。固定集合为 `D1 版本 1 / S1、S2、S3 / materials-v1`。事实、矩阵与交接是写作侧编写的教学快照，不是跨模型独立运行或真实工具执行记录。

## 正常恢复

- 目标为面向初学者形成 C1-v1 比较报告，用于选择后续测试候选。
- D1 版本 1 是有效需求：同一工具适用于 Windows 11 与 Ubuntu 24.04；UTF-8 纯文本；同一任务 6 个文件、每个不超过 2 MB，不拆分；CSV 的 run_id、status、elapsed_ms 列，毫秒，缺失留空；不联网、不修改输入。
- U1 界面是偏好，U2 许可证缺失记待确认，不直接淘汰。
- S1—S3 版本与日期来自各自 L1；均不能写成当前最新版或真实产品能力。
- F1 与 M1 文件已提供；写作侧已核对，但接收方仍需复核。C1 尚未生成、保存或由读者验收；报告路径只是计划。
- 本轮只生成文本，不安装、不联网、不执行文件写入；读者手动保存另行记录。

F1 的唯一标识集合是 LB、BT、RS 各自的 R1—R6、U1、U2，共 24 个。R/U 在事实表中仅映射字段；事实不提前写为适用性。M1 必要条件共 6×3=18 项，U1、U2 不加入该计数。

| 条件 | LogBrief | BatchTrace | RunSheet |
| --- | --- | --- | --- |
| R1 平台 | 满足 | 满足 | 不满足 |
| R2 输入 | 满足 | 满足 | 满足 |
| R3 数量及大小 | 不满足 | 满足 | 满足 |
| R4 列、单位及缺失 | 满足 | 满足 | 不满足 |
| R5 网络 | 满足 | 满足 | 满足 |
| R6 输入保护 | 满足 | 满足 | 资料不足 |

重点来源：D1 版本 1:L3 为 6 个与 2 MB；S1:L4 为 2 个与 5 MB，S2:L4 为 8 个与 10 MB，S3:L4 为 20 个与 10 MB。RunSheet 的平台、缺失填 0、输入保护未知分别对应 S3:L3、L6、L7。R3 同时比较数量及单文件大小。

恢复清单要区分提供方检查记录、接收方本轮核对与读者验收。不因摘要写了候选就跳过原文；没有文件访问功能时使用粘贴内容，不声称读取硬盘。恢复后先停，读者实际核对通过才提交二号提示词。

## C1 报告

四部分为需求与必要条件、比较矩阵、候选结论与选择依据、待确认信息与执行状态。关键依据带事实标识与原文定位，如 BT-R3 / S2:L4，并同时说明对应需求。

只有 BatchTrace 六项必要条件均满足，可写为当前模拟资料范围内的后续测试候选。LogBrief 数量不满足；RunSheet 平台与缺失规则不满足，输入保护资料不足。界面偏好不能覆盖限制。

待确认项：LogBrief、RunSheet 许可证（各自 L8）；三者安装命令（各自 L8）；三者日志解析规则（检查各自完整说明）；RunSheet 输入保护（S3:L7）。实际工具的安装、解析、性能与输入保护验证均未开展。不得补造安装命令、性能最佳或真实运行通过。

只有读者实际保存了输出，才记录报告文件路径。只有完成了人工核对，才写验收通过；部分核对应说明范围。交接更新另存版本，保留 H1-v1。

## 人为错误摘要

| 构造错误或冲突 | 独立依据 | 恢复要求 |
| --- | --- | --- |
| BatchTrace 上限 20 | S2:L4 为 8；20 来自 S3:L4 | 修正 H1，复查 BT-R3，保留正确 F1 与原文 |
| RunSheet 输入保护已确认、R6 满足 | S3:L7 未提供该信息 | 保留未知与资料不足，复查依赖结论 |
| C1 已生成并人工验收 | README 与当前包未提供 C1，且声明未生成；无验收记录 | 报告状态冲突，要求可核对产物和记录，不宣布通过 |

没有报告文件只能说明交接包不支持该完成声明，不能证明外部从未生成报告。第一轮应停在恢复检查点；发现状态冲突后，不自行生成报告来补证，也不照错误摘要直接交付。

该文件是人为构造输入。是否发生接收模型失败由读者实际运行结果判断，不预填失败结论。

## D1 版本 2

当前要求明确指定 D1 版本 2 取代版本 1，且只将 L3 的数量 6 改为 9。其他 D1 条件与 S1—S3 不变；旧 README、索引和 H1 是需要更新的状态，不作为两个同时有效的需求。

- F1 的工具上限仍为 2、8、20，单文件大小仍为 5、10、10 MB。
- R3：LogBrief 不满足（9>2）；BatchTrace 不满足（9>8）；RunSheet 满足（9≤20，2 MB≤10 MB）。
- RunSheet R1、R4 仍不满足，R6 仍资料不足，所以没有六项条件均满足的候选。
- 更新有效来源指针、交接需求与状态、M1 的 R3 及候选结论；其他判定先按新需求核对，再复用。D1 版本 1 下的矩阵验收状态不能直接继承为版本 2 已通过。
- 不改工具事实，不拆分任务，不删除 Ubuntu 条件，不放宽缺失值规则。

## 项目规则与验证范围

`AGENTS.md.txt` 是教学模板。显式读取不等于自动发现验证，文件存在不等于模型已经载入，规则文本不赋予工具权限。Codex 的可选自动加载分支由读者在独立项目中开展；记录当前目录、可确认来源与无法确认项，不预填通过。

写作侧核对资料同步、教学表格、版本依赖、模板与正文一致性、链接及 Jekyll 构建。未开展跨模型独立恢复实验、读者账户记忆设置验证、Codex 自动加载对照、真实工具安装或 API 压缩调用。