第35篇证据记录
日期：2026-09-27 UTC

实验类型：Python标准库静态balls-into-bins有限模型。
解释器：Python 3.12.3
源码SHA256：3f8d66931d47b8d0bdaec31686816a76d036dba39995faa10b9a90826c402af3

正式命令：
mkdir -p examples/distributed-systems/.build/research35/tmp
export TMPDIR="$PWD/examples/distributed-systems/.build/research35/tmp"
export TMP="$TMPDIR" TEMP="$TMPDIR" PYTHONDONTWRITEBYTECODE=1
python3 -B examples/distributed-systems/research35/check.py --output examples/distributed-systems/.build/research35/observations-final.json

退出码：正式运行0；失败门槛样例先输出结构化JSON再退出1；--help为0；--trials 0为2。

写作与构建：
- anti-ai-tone tech profile：2332汉字、0错误、0提醒。
- anti-persona-fabrication高风险词复核：0命中。
- Node v22.23.2，Hexo 8.1.2；Hexo clean后单进程全站构建退出0，生成5639个文件。
- 正式HTML含正确标题、4个Mermaid源码块、第34篇回链与三附件链接。
- 构建时三附件与source逐字一致；旧重复草稿生成页面数为0。
- 云端没有可用浏览器，未验证Mermaid实际SVG尺寸、交互与浏览器控制台。

精确枚举：
- n=m=4，候选对轨迹65,536条。
- one-choice期望最大负载2.125。
- fresh two-choice期望最大负载1.714844。
- two-choice更好24,240条、相同41,200条、更差96条。
- 首个更差见证：候选(0,0),(0,1),(1,0),(1,1)；one loads=[2,2,0,0]，two loads=[1,3,0,0]。
- correlated-two与one-choice每条轨迹相同。

200个配对seed：
- n=m=4096，seed base=20260927。
- fresh two-choice最大负载均值3.03、中位3、p95=3。
- one-choice最大负载均值6.275、中位6、p95=8。
- 200次fresh two-choice全部严格更低；预注册有限门槛通过。
- correlated-two和整批stale-two逐seed等于one-choice。
- anti-two在194/200次中比one-choice最大负载更高，中位差2。
- observations保留200行paired_trials，每行含实际seed、五种maximum和三个差值。

失败pilot：首次把stale refresh interval设为64，并预期多数试验比fresh更差；实际仅14/200次更差、中位差0，门槛失败并退出1。失败日志保留在examples/distributed-systems/.build/research35/。正式端点实验改问“整批不刷新是否精确退化”，没有把pilot改写成成功。

来源核验与不能支持的结论见research/35-power-of-two-choices.md。
反向检索未取得可确认的核心定理正式撤回或勘误；不据此宣称“没有勘误”。