赞成票压倒性的提案，仍然可能在执行那一刻回滚：依赖状态漂移、授权余额变化、截止时间过期。本文拆解提案从创建到执行的完整状态机、几种典型的执行失败形态、重试与过期规则，以及如何用链上事件确认参数真的变了。

Monad 的储备余额（Reserve Balance）用一笔十枚 MON 的预留线，让共识在只看到三个区块前账本时也能安全收录交易。本文按官方文档拆解执行侧与共识侧的双向规则、空仓交易例外与 EIP-7702 委托账户的边界。

CometBFT 的 ABCI++ 接口把旧接口的 BeginBlock、DeliverTx、EndBlock 合并为一个 FinalizeBlock 调用：共识定块后一次交清单、一次交结果。本文拆解合并的动机、输入输出契约与留下的边界。

清算奖励不是白捡：发现成本、gas 竞价、处置折价与库存跌价共同决定清算生意的真实毛利。本文拆解清算执行者的成本结构与竞争激烈度，以及普通用户想参与前的检查清单。