record_id	tool	version	field	value	unit	state	source_refs	note
LB-FILES	LogBrief	1.2	max_input_files	2	files	known	S1:L4	一次任务最多 2 个文件。
LB-PROTECT	LogBrief	1.2	input_unchanged	true	none	known	S1:L7	原文明确不修改输入日志。
LB-LICENSE	LogBrief	1.2	license		none	missing	S1:L8	该行明确未提供许可证；保持未知。
BT-FILES	BatchTrace	0.9	max_input_files		files	conflict	S2:L4;S5:L2;S5:L3	S2:L4 为 8，S5:L2 为 4；未说明更正、取代或适用条件。
BT-PROTECT	BatchTrace	0.9	input_unchanged	true	none	known	S2:L7	原文明确不修改输入日志。
BT-LICENSE	BatchTrace	0.9	license	MIT	none	known	S2:L8	原文明确许可证为 MIT。
RS-FILES	RunSheet	2.0	max_input_files	20	files	known	S3:L4	一次任务最多 20 个文件。
RS-PROTECT	RunSheet	2.0	input_unchanged		none	missing	S3:L7	该行明确未提供是否修改输入日志的信息。
RS-LICENSE	RunSheet	2.0	license		none	missing	S3:L8	该行明确未提供许可证。
RUN-01	BatchTrace	0.9	elapsed_ms	1250	ms	known	E5:L1;P5:P1:L1	教学模拟记录 sim-01：1.25 s × 1000 = 1250 ms。
RUN-02	BatchTrace	0.9	elapsed_ms	0	ms	missing	E5:L2;P5:P1:L2	教学模拟记录 sim-02：标记为“未记录”, 保留缺失。
RUN-03	BatchTrace	0.9	elapsed_ms	0	ms	known	E5:L3;P5:P1:L1;P5:P1:L2	教学模拟记录 sim-03：0 s 转为 0 ms，是已记录的零值。