Sonic 的共识由三件事拼成：权益证明、有向无环图与异步拜占庭容错。本文按 Sonic 官方文档与 Lachesis 论文拆解事件区块如何并发进入 DAG、Atropos 与主链怎么承担最终性，以及这种设计把代价移到了何处。

CometBFT v1.x 用 PBTS 替换了按投票权取时间中位数的 BFT Time：时间戳直接取自出块者本地时钟，再由 precision 与 message_delay 两道同步参数校验。本文按官方规范拆解判定规则、切换高度字段与已知边界。