主张完整性

主张清单。

已编译 42/42 · 判定 ALL_TRACED

本网站声称，它发布的每一项求解器结果都可以追溯到一份带哈希的 证据。这个页面是证明，不是承诺。在网站被构建之前，下面的每一个 数字都会对照它所来自的 JSON 证据被解析，与实际存储在那里的值 比对，并按一个事先申明的容差接受检查。只要有任何一项主张无法 解析，构建就会停止。

每一项主张，以及它解析出的结果

stated 是这个数字在网站上呈现的样子。 evidence 是从证据中读出的数字。 Δ 是两者之间的相对差异，它必须低于这项主张在被 编译之前就已申明的容差。校验和是该值所读自的那份证据的 SHA-256，截断为十二个字符。

什么被扣下不公开，以及为什么

清单中每一项主张还多带一个本页面不展示的字段：通往证据的路径。 那些路径是真实战役的目录名，其中带有一位客户的名称，以及一个 我们无权发布的引擎型号。所以它们在构建步骤中被直接切掉，而不是 改写措辞；如果其中任何一个残留进了输出，构建就会失败。

请清楚这会让你付出什么。一个你无法对照一份你并不拥有的文件去 解析的校验和，不是验证——它是一项承诺。它换来的是：这个值日后 无法在校验和不随之改变的情况下被悄悄修改；以及在一份工作协议 之下被编译的正是同一份清单，而届时证据本身会随之一并交付。 这正是合作所包含的内容。

这份清单里没有什么

有五个数字出现在本网站上，却不在上面的表格里。这五个全部来自 诚实失败案例研究中 描述的代理漂移检测器：代理模型被测得偏乐观 40.1%，其报告的准确度被低估了 ~81×，其置信区间窄了 ~48σ，以及替代模型报告的误差 0.0056 对照实际误差 0.454。

那些检测器把结果写进了一条工程日志记录，而不是写进一份 JSON 证据，所以编译器没有任何东西可以拿来解析它们。它们不属于 claim-grade，也不计入 42 之中。它们仍留在 网站上，因为删掉我们对自身盲区的测量会是更严重的不诚实——但 它们在这里被具名标出，好让没有任何读者必须自己去发现这个缺口。