第35篇验证说明
日期：2026-09-27 UTC

已验证：
- 正式Python驱动退出0，输出JSON可解析。
- CLI --help退出0，非正trials由argparse退出2。
- 4-bin/4-ball全部65,536条候选序列被精确枚举。
- fresh two-choice的精确期望最大负载低于one-choice。
- 精确枚举保留了96条two-choice逐轨迹更差的反例，而非选择性删除。
- 200个配对seed复用同一候选序列，有限门槛通过。
- 200行paired_trials均写入JSON，可按seed复算最大负载差；每个策略的总load都等于ball数。
- correlated-two和整批stale-two退化为one-choice；anti-two负例被检出。
- n=m=2、单次trial的失败门槛样例写出完整JSON并退出1，不抛未处理异常。

写作与页面验证：
- 按anti-ai-tone后anti-persona-fabrication的顺序复核；tech profile扫描为2332汉字、0错误、0提醒，第一人称及说书人高风险词扫描0命中。
- 使用Node v22.23.2与Hexo 8.1.2，从Hexo clean后的空生成目录执行全站构建，退出0，共生成5639个文件。
- 正式HTML标题与正文存在，4个Mermaid源码块均进入HTML，第34篇回链存在。
- evidence.txt、observations.json.txt、verification.txt均生成到正式页面目录；构建时三附件与source逐字一致。
- 旧草稿“二选一负载均衡的复现与反例”在clean后生成页面数为0。

未验证：
- Azar等人的渐近概率界或证明本身；本地只检查有限模型。
- 真实队列、服务完成、请求延迟、吞吐、网络探测成本。
- 异构节点、权重、拓扑亲和、热点key和非独立到达。
- NGINX、Sparrow或任何生产负载均衡器。
- 节点崩溃、超时、重试、任务执行与外部副作用。
- 浏览器页面渲染、Mermaid转SVG后的尺寸及控制台错误；当前云端没有可用浏览器，只完成静态HTML检查。

结论边界：有限随机样本中的趋势一致不等于渐近证明；期望更低不等于每条固定轨迹都不差；bin occupancy不等于请求延迟。