04
第04章 · 拜占庭将军问题的提出与形式化
提纲 v1 · 待素材核实
章目标
讲清 1982 年经典论文的问题表述与理论结果——现代侧的第一根支柱。
小节结构（写作序）
问题表述：忠诚将军的一致行动与叛将的干扰
口头消息与签名消息两种模型
理论结果：n≥3f+1 上界与不可能性边界
六模块落实位
开篇钩子（拟）：从传警现场的「谁在说谎」到形式化问题的一步之遥
事实档案：见下「素材卡引用」，成稿时逐条带出处
古今对照（拟）：叛将 ↔ 拜占庭节点；一致行动 ↔ 共识（agreement）
边界声明（拟）：形式化是 20 世纪的产物；历史对照止于问题结构，不跨入定理
坊间说法 vs 可考事实（栏目选题）：「古人早就解决了拜占庭问题」的说法 vs 定理条件的严格性
设计原则卡（拟）：P1-08 容错上界由故障模型决定，不由意愿决定
素材卡引用（事实底稿）
fact-005
理论底稿（现代概念卡）
OM/SM 协议要点（fact-006）
一致性与有效性的形式定义（概念卡）
体量配额
历史:理论:工程 ≈ 40:35:25，本章目标 1.2-1.8 万字
提纲层先行：对本章结构的任何调整，先在「丛书文控」面板提 modify 提议，共识后再动成稿。