FOCIL要求构建者必须包含被列入的交易，但并非所有交易都便宜到能被核验遗漏。EIP-8369作为说明性文档定义了两种仅验证型部分无状态档案：覆盖常规交易的Profile 1与覆盖帧交易的Profile 2，并划清公共内存池与FOCIL资格的界限。本文拆解档案边界背后的验证成本逻辑。

Censorship 抵抗的最新一层设计让验证者先投票承诺一个交易清单、后续区块必须包含其中交易。本文以 Inclusion List 类提案为样本，讲抗审查如何从矿工激励升级为共识层义务。

本文解释包含列表机制 EIP-7805 FOCIL：委员会如何逐槽生成必须入块的清单、验证者如何用投票强制兑现、1/N 诚实假设的强度与边界，并核验其 2026 年 7 月的落地状态（Fusaka 与 Glamsterdam 均未包含）。