共识即坍缩策略：通信证据、视界与前缀决策

共识协议通常由其最终产物来规定：一个决定的值、复制的日志或最终确定的前缀。这种输出优先的视图隐藏了使此类产物安全的源自通信的证据。本文显式化了该载体：分布式执行被解读为由通信诱导的二阶证据状态，而经典共识输出是该状态的一阶投影。在此视图下，共识协议可以作为坍缩策略进行比较。协议规定了哪些证据是合法的、它检查哪个有限视界、何时将通信证据投影为值或前缀，以及当可见证据不足时如何修复或推迟坍缩。不可能性谱系支持同样的区分。FLP 并非声明通信不能积累结构；它将确定性保证坍缩限制为在具有一次崩溃故障的完全异步下达到最终决策。集合协议随后暴露了输出载体的宽度，而拓扑分布式计算询问历史/视图载体何时允许结构保持映射到输出载体。本文的贡献不是新的不可能性定理或特定协议证明的替代品，而是一个指称规范框架：共识即证据下的坍缩。