第33篇PBFT证据 环境:Python 3.12.3;TMPDIR/TMP/TEMP均为examples/distributed-systems/.build/pbft33/tmp。 研究:PBFT OSDI 1999、Byzantine Generals 1982、Castro论文、DLS/FLP、MIT 6.5840讲义与FAQ、Aardvark、HotStuff、SBFT、Twins。论断账本见writing-plans/distributed-systems/research/33-pbft.md。 实验:正式运行exit 0;--help 0;--scenario unknown 2。 源码SHA-256:0545fe99e134d7fd22d25ee42ecb25d7a51541aae41995550bbe1d69cec227ea。 JSON SHA-256:c587889256a07c078ba4c446805b5a3c12892a0ec1591cdf6879824e8ba32b0c。 三节点2-of-3反例得到red={0,1}、blue={0,2},交集只有恶意节点0。四节点3-of-4最小交集为2;逐一枚举四种故障位置时,没有证书对只交在故障节点上。 扫描:正文204行;anti-ai-tone(tech profile)0错误0提醒,随后anti-persona-fabrication人工扫描通过。 构建与页面:Node 22.23.2全站`npm run build`退出0,生成5630个文件;正式HTML包含标题、正文结尾、第32篇链接、5个Mermaid源块和三个附件链接,生成附件与source逐字一致。云端无浏览器工具,未验证SVG尺寸、控制台和附件点击。 边界:有限集合模型,不是PBFT网络实现;不执行密码学、view change、checkpoint、状态机、恶意负载或性能测试。