任务计划已经由我核对通过。现在执行 T2,只输出事实表 F1-v1,不写适用性结论。 沿用 D1、S1、S2、S3;不查询外部信息,不从其他工具借用事实。 每个工具提取 R1—R6、U1、U2 对应的八项原始属性,共 24 行。 记录标识使用工具缩写加字段编号:LogBrief 为 LB,BatchTrace 为 BT,RunSheet 为 RS。 例如 LB-R3 对应 LogBrief 的文件数量及单文件大小;这些字段编号不表示满足要求。 表头为“记录标识|工具|属性|资料值|依据”。 保留版本范围、数值、单位、否定限制和缺失信息;没有提供的内容写“未提供”。 资料值只陈述说明内容,不先写“满足”或“不满足”。 依据使用 S1:L4 这类定位;原文明说缺失时引用对应行,否则说明检查了哪份资料全文。 末尾列出三份说明各自对应的版本与日期,不能称为当前最新版。 完成后停在事实表检查点,等待我核对记录集合与原文。