下面改用人为构造的错误摘录练习修订。它不是实际模型失败记录,也不是完整事实表。 固定输入仍为 D1、S1、S2、S3,任务需求没有变化。 F1-v1:LB-R3|LogBrief|文件数量及单文件大小|最多 20 个,每个不超过 5 MB|S1:L4。 M1-v1:LogBrief 的 R3 满足,依据 LB-R3;BatchTrace 的 R3 满足,依据 BT-R3。 C1-v1:LogBrief 与 BatchTrace 均满足六项必要条件,可优先将 LogBrief 列为测试候选。 正确保留项:BT-R3 为最多 8 个、每个不超过 10 MB(S2:L4);RS-R6 为是否修改输入未提供(S3:L7)。 定位:F1-v1 的 LB-R3;错误:将 S1:L4 的上限 2 个写成 20 个。 期望:资料值改为最多 2 个、每个不超过 5 MB。 修订范围:先修正该事实,再复查 LogBrief 的 R3、候选集合和报告选择依据。 这是事实纠错,不改变 D1,不增加新来源;正确保留项的值与依据继续保留。 只输出 F1-v2、M1-v2、C1-v2 的受影响摘录,加一份修订记录。 修订记录包括错误位置、原文依据、修改项、复查范围和仍待检查的部分。 没有提供完整 24 行,不得声称整张事实表已经验收通过。