F1 · 出版卷 30

保留集验证

冻结判断、引入独立数据、评分与失败分析

学习目标与边界

把“冻结判断、引入独立数据、评分与失败分析”解释为可审计证据问题。
区分来源观测、受控派生物、解释与决策状态。
应用身份、空间、语义、血缘、质量与审核检查。
产出一份封存提交清单、透明评分卡与不可变失败分析。

本课属于通用、机构中立的教程，与任何公司或个人均无关系。案例中的标识、几何与数值均明确为合成数据。本方法不授予专业权限，若要用于真实决策，必须另行满足适当来源、胜任能力、法律与审核要求。

核心方法

保留集验证用于检验冻结解释能否推广到独立证据。揭示前要冻结章程、来源快照、变换、假设、目标主张、置信类别、评分规则与提交摘要。保留集不得进入开发路径，并记录通用的保管、揭示与评分责任角色，不把任何个人或机构写成教程关系方。

独立性既是地质问题也是信息问题，不能只靠不同文件名判断。空间邻近样本、后续版本、派生摘要与共享来源血缘都可能泄漏目标信息。只揭示一次，对所有预先规定的主张评分，包括弃答，并保留失败记录。揭示后，这些数据成为评价历史，不能再作为下一版本的全新保留集。失败分析要区分来源缺口、空间错误、变换错误、假设错误、校准错误与审核失败。

记录与证据模型

| 字段或对象 | 运行含义 | |---|---| | submission_id 与 digest | 精确冻结的工作台状态 | | partition_id 与 independence_basis | 受保护集合及分离理由 | | claim_id、prediction 与 confidence | 预先规定的评价对象 | | reveal_event 与 score_rule | 受控访问与固定评价 | | failure_class 与 remediation | 保留错误及拟议改进 |

每条记录都携带版本、有效区间、来源或派生链接、质量状态与审核状态。缺失、未知、不适用和失败是不同状态，均不得静默表示为零或空字符串。

受控工作流

定义地质与信息独立性。
冻结完整证据状态与评分规则。
揭示前绑定提交摘要。
在有记录的保管下只揭示一次受保护数据。
为每项预先规定主张、矛盾与弃答评分。
分类失败并为下一版本保留新证据。

每一步都记录为带声明输入、参数、输出与检查的活动。重新运行要么产生相同内容，要么形成有说明的差异；绝不能覆盖解释先前状态所需的证据。

合成案例详解

SYN-WB 冻结三项目标陈述和一次弃答。封存包包含两个合成钻孔，它们按空间块与开发血缘隔离。揭示结果支持一项构造预测，反驳一项蚀变连续性主张；另一个深度预测因回收失败仍未决。未决结果不能按缺失评分。失败主张继续保留在报告中，已使用钻孔则标记为评价历史。

该案例特意保持为可逐行检查的小规模数据。名称与数值都是虚构教学值，不能用来推断任何真实地点、权利、资源、危险或机构。

质量控制与失败模式

接受本课制品前运行六类关口：身份关口解析精确对象；空间关口确认坐标与范围有效性；语义关口保留单位、词汇与认识论类别；血缘关口暴露全部变换与依赖；质量关口记录通过、失败与未运行检查；审核关口把处置绑定到精确内容摘要。失败关口应作为证据保留，只阻断受影响用途，绝不能被改成有利数值或为简化显示而隐藏。

常见失败模式：

查看结果后再选择保留集
存在空间依赖却随机拆行
揭示后改变阈值
从分母删除失败预测
把已揭示证据重复当作全新盲测

实践练习

在合成数据包的新副本上完成以下任务：

设计空间独立的合成保留集。
编写揭示前提交清单。
为支持、矛盾、未知与弃答评分。
在不改写冻结假设的情况下分类失败。

每个答案都要引用数据包对象 ID，同时展示失败与通过的检查，并说明若一项假设反转，哪项结论会变化。

完成制品与验证

交付一份封存提交清单、透明评分卡与不可变失败分析。其中包含清单、精确输入身份、变换或推理记录、机器可读验证结果、供人阅读的限制及当前审核状态。第二位读者必须能够把一项接受结论追溯到来源支持，把一条拒绝路径追溯到首个失败关口，并把一个未知项追溯到解决它所需的证据。从干净位置重建制品并比较内容摘要。若必需来源、参数、许可或审核缺失，则保持未完成状态，不得虚构替代数据。

来源

《强推断》，以判别性证据检验多个备选解释的原始论述。
PROV-O 来源追溯本体，描述实体、活动、责任角色与派生关系的标准模型。
数据质量词汇，描述质量维度、测量、政策与注释的词汇。