AI 中文总结
生产发布流水线中一个质量门禁在子检查未执行时仍报告通过，因缺失数据被当作“否”而持续两周绿色构建。引入第三值将静默通过转为失败，并发现检测器以微小余量触发。另有八个同类案例，补救措施趋同，多数可单查询解决，且该趋同可证伪。
AI 中文摘要
生产发布流水线中的一个阻塞性质量门禁在一次运行中报告为“通过”，而该运行中一个子门禁的两个检查均未执行，另一个子门禁的八个检查中仅执行了六个。决定该次运行结果的两个关键检查都询问是否观察到违规，并且两者都是从已剔除未执行案例的总体中计算得出的，因此缺失的数据被回答为“否”，一次几乎未检查任何内容的运行获得了满分，并持续了两周的绿色构建。引入第三个值——通过、违规和无法确定——将这些静默通过转变为失败，并将不足部分纳入退出状态；针对相同规格的独立工作随后发现一个检测器以0.000177个百分点的余量触发，其触发下限保持在第六位小数。随后出现了八个相同形式的实例：其中五个来自同一项目，两个来自开源项目，一个网关中配置的缓存TTL被声明但从未在写入路径上应用，以及一个推理服务器，其空闲缓存槽计数在每次返回空结果的发布步骤中都被计入，还有一个是作者在撰写本文时使用旨在防止此类问题的工具所提交的。这九个案例的价值不在于该类别的创新性，而在于补救措施的趋同性：九个不同的问题，一种类型的操作，其中七个可通过单个查询、命令或比较来回答，并且这种趋同性是可证伪的，这正是本文希望被评判的标准。
英文摘要
A blocking quality gate in a production release pipeline reported PASS on a run in which one subgate had executed neither of its two checks and another had run six of its eight. Both keys that decided the run asked whether a violation had been observed, and both computed that from a population already stripped of the cases that failed to run, so absent data answered "no" and a run that checked almost nothing scored perfectly, for two weeks of green builds. Introducing a third value, pass, violate, and unable to determine, turned those silent passes into failures and put the shortfall into the exit status; separate work on the same specifications then found a detector firing with a margin of 0.000177 percentage points, its firing floor holding at the sixth decimal place. Eight further instances of the same form followed: five more from the same engagement, two in open-source projects, a gateway where a configured cache TTL was declared but never applied on the write path, and an inference server whose count of free cache slots was credited on every step for releases that returned nothing, and one committed by the author while writing this paper, using tooling built to prevent exactly it. What the nine cases are offered for is not the novelty of the category but the convergence of the remedy, nine different missed questions, one kind of act, seven of the nine answerable by a single query, command, or comparison, and that convergence is falsifiable, which is what this paper asks to be judged on.
Comments27 pages
