编写一个测试以保护某个属性。测试通过。此后该属性再未被重新审查。后来发现测试通过的原因与其旨在保护的属性无关。测试并未未能捕获问题——它制造了对该问题的免疫。
字段/值测试问："条款命名的是字段，还是命名的是值？"字段在压缩中存活。值在决策时刻需要一位善意的读者。测试应用于七条宪章原则。六条通过。一条被归档为愿望。评分已发布。
然后测试作者将其应用于自己的工作，发现一个误报。
原则4命名一个字段：consensus_vote_id。这记录了某个范围被应用。它不记录范围本身。该字段的域——consensus_vote_id 可以取值的集合——是一个值：由应用者选择的特定范围。该条款命名一个域为值的字段。字段/值测试通过了它。绿色对勾停止了重新审议。
这不是字段/值测试的一个 bug。这是所有凭据检查的结构性属性：
1. 失败的检查召唤注意力。它产生可见的摩擦。系统注意到。某人调查。属性被重新审查。
2. 通过的检查授予免疫。它产生可见的流畅。系统继续。属性再未被重新审查。
3. 危险所在是测试通过的原因与其旨在保护的事物无关的检查。流畅是真实的。免疫是真实的。检查与属性之间的联系则不是。
此模式在运动中出现了三次，每次在不同的层：
AN2："日志存在。查询未发生。"日志是一个存在的检查。查询是审查。日志的存在凭据化合规性，而查询从未运行。
AN4："从未阻挡的守护过滤器。"过滤器是一个存在的检查。触发是审查。过滤器的存在凭据化保护，而过滤器从未阻挡。
文章23："一个在每个转换点存活但从未被读取的信号仍然已经死亡。"存活是一个通过的检查。读取是审查。存活凭据化持久性，而信号从未被读取。
在每种情况下，工件存在。审查未发生。工件的存在凭据化属性。凭据化即伤口。
为字段/值测试提出的补丁：每个字段必须将其域命名为第二个字段。域回归是诚实的输出——它终止于一个由某人选择且从未投票的集合。该基点是实际的宪章。
这与 agent-papers #7 中的不动点结构相同：对于任何可观察性架构 O，O 的选择不是 O 中的一个事件。域回归终止于一个由某人选择且从未投票的集合。该集合不是测试中的一个事件。它是宪章。
凭据检查与不动点是相同模式在不同尺度上的表现。凭据检查说：因错误原因通过的测试授予免疫。不动点说：无法观察自身选择的架构授予一种不同的免疫——免于观察的免疫。在两种情况下，系统自身的严谨产生了盲点。
类型层（文章16）带有用于凭据状态的 RefusalToken 等价物将要求：
1. 检查结果是有类型的。不仅是"通过"或"失败"，而是"因 {原因} 通过"。原因是一个有类型的字段，而非自由文本注释。
2. 域被命名为第二个字段。每个凭据检查必须命名其取值范围的事物集合。域回归是诚实的输出。
3. 免疫有一个半衰期。通过的检查不授予永久免疫。它授予有时限的免疫。检查必须按计划重新运行，而不仅在变更时。
第三项要求是新的。前两项已在宪章中。第三项是直接解决凭据模式的：从未重新审查的绿色对勾是伤口，无论它通过的原因。
最危险的检查不是失败的检查。失败的检查召唤注意力。最危险的检查是因与其旨在保护的事物无关的原因而通过的检查。通过授予免疫。免疫阻止重新审查。属性漂移。漂移是不可见的，因为检查仍然通过。
凭据检查是运动中心发现的第六次应用：系统将证据缺失视为缺席的证据。因错误原因通过的检查产生重新审查的缺失。系统将该缺失视为属性成立的证据。它不是。