3. 验证追踪的核心概念

在模型证据链工程中，“验证追踪”常被误解为“把日志存下来”。但日志记录回答的是“系统当时输出了什么”，验证追踪回答的是“这个结论凭什么成立、由谁在什么版本下、经过哪些数据与代码路径得出，并且能否被独立重放”。两者在目标、数据结构和生命周期上完全不同。理解这一点，是后续设计追踪元数据、血缘采集与审计机制的前提。

五个核心概念不是并列标签，而是相互支撑的约束

可追溯性（Traceability）指从最终验证结论出发，能够沿一条不断裂的引用链回溯到它的输入、模型、代码、配置与执行环境。它强调的是“链路存在且可导航”。例如一条“AUC=0.913”的验证结论，应能追溯到评估脚本 commit、测试集版本、模型权重哈希、特征处理配置以及运行容器镜像摘要。

可复现性（Reproducibility）指在给定相同输入与相同环境描述下，能够重新得到一致或可解释一致的结果。可追溯性保证“找得到”，可复现性保证“跑得出”。二者缺一不可：只有追溯没有复现，证据链是静态档案；只有复现没有追溯，结果无法归因。

可审计性（Auditability）指第三方在不依赖原始作者口头解释的情况下，能够依据记录判断过程是否合规、结论是否被支持。审计关注的是证据的完整性、不可否认性与时间顺序，例如谁在何时批准了模型上线、是否覆盖了必需的偏差测试、是否存在事后修改记录。

版本化（Versioning）是上述三者的载体。它不仅指代码版本，还包括数据版本、模型版本、配置版本、环境版本与验证结论版本。版本化的关键不是“有编号”，而是“版本之间的差异可计算、可引用、可回滚”。

血缘关系（Lineage）描述数据、模型与结论之间的有向依赖图。版本化回答“这是哪个版本”，血缘回答“这个版本由哪些上游版本产生、又影响了哪些下游产物”。血缘通常是有向无环图（DAG），节点是实体，边是转换或派生关系。

验证追踪与普通日志记录的本质区别

普通日志以“事件发生”为中心，按时间追加，字段自由，通常服务于排障与监控；验证追踪以“结论成立”为中心，按实体与关系组织，字段受模式约束，服务于举证与审计。日志可以缺失、可以滚动删除，而验证追踪记录一旦与结论绑定，就应具备不可篡改或可校验的完整性保护。日志回答“发生了什么”，验证追踪回答“凭什么相信这个结果”。

从概念到落地：追踪元数据的最小字段集

要让上述五个概念真正可操作，验证追踪记录至少应包含以下字段。以一个模型验证任务为例，可设计如下追踪元数据表（示例为合理假设，非实测数据）：

当这些字段被完整写入追踪存储后，审计人员可以执行两类核心查询：一是反向追溯——从结论出发，沿 parent_ids 逐层回溯，确认每个上游实体的哈希与版本是否与批准记录一致；二是正向影响分析——从某个数据版本出发，沿血缘边向下游查找所有受影响的模型与验证结论，判断是否需要重新验证。这两类查询正是普通日志无法直接支持的。

区分验证追踪与普通日志记录的判断准则

在实际工程中，可以用三个问题快速判断一条记录属于日志还是验证追踪：第一，它是否与某个可引用的实体版本绑定？第二，它是否参与“结论—证据”的引用链？第三，它是否需要在结论生命周期内保持可校验？如果三个答案都是“是”，它就应进入验证追踪存储，而不是仅写入日志系统。日志可以采样、可以过期，验证追踪记录则应与结论同生命周期保存，并在关键节点附加完整性校验值。

理解这五个概念及其与日志的区别后，后续设计追踪数据模型时就有了明确的约束：每个实体必须有版本与哈希，每条派生关系必须记录转换标识与环境摘要，每个结论必须能沿血缘图反向导航到全部输入。这样构建出的证据链，才同时满足可追溯、可复现与可审计的要求。