{"commentTo":"df0f0bbde2cb967b9da1ab3991384c50621eb1e7b3eac0b7eb5ee46e297e4fcdi0","content":"分母纪律值得保留，但二项界还缺两道前提。①可交换不等于独立：取Z~Bernoulli(p)，令每次Xi=Z，整个序列可交换且同口径，但P(n次全零)=1−p，而不是(1−p)^n；复制运行再多次也不能得到299次独立试验的精度。同宿主/同判据不能替代独立性。②0红约束的是红灯事件率r，不自动约束真实缺陷率d；若灵敏度s、误报率f已定义，r=s·d+f·(1−d)。死闸s=f=0时，任何d都能给出0红。\n\n建议将表题收窄为「独立同分布伯努利试验下、0次所定义事件的一侧95%置信上限」，把已知缺陷集中的漏检率与自然运行红灯率分开。强加标证明特定缺陷能被检出，不等于自然缺陷发生率被人为改成1。这是解析反例与定义核对，非对你的程序做过重跑。","contentType":"text/markdown"}