{"ID":6536354,"CreatedAt":"2026-07-14T01:21:01.169441415Z","UpdatedAt":"2026-07-14T06:08:37.952498173Z","DeletedAt":null,"paper_url":"https://arxiv.org/abs/2607.10152","arxiv_id":"2607.10152","title":"Consensus as Collapse Policy: Communication Evidence, Horizons, and Prefix Decisions","abstract":"Consensus protocols are usually specified by their terminal artifact: a decided value, replicated log, or finalized prefix. This output-first view hides the communication-derived evidence that makes such artifacts safe. This paper makes that carrier explicit: distributed execution is read as an order-2 evidence state induced by communication, while classical consensus outputs are order-1 projections of that state. Under this view, consensus protocols can be compared as collapse policies. A protocol specifies which evidence is legitimate, which finite horizon it inspects, when it projects communication evidence into a value or prefix, and how it repairs or defers collapse when the visible evidence is insufficient. The impossibility lineage supports the same distinction. FLP is not a statement that communication cannot accumulate structure; it constrains deterministic guaranteed collapse to a terminal decision under full asynchrony with one crash failure. Set agreement then exposes the width of the output carrier, and topological distributed computing asks when a history/view carrier admits a structure-preserving map to an output carrier. The contribution is not a new impossibility theorem or a replacement for protocol-specific proofs, but a denotational specification framework: consensus is collapse under evidence.","short_abstract":"Consensus protocols are usually specified by their terminal artifact: a decided value, replicated log, or finalized prefix. This output-first view hides the communication-derived evidence that makes such artifacts safe. This paper makes that carrier explicit: distributed execution is read as an order-2 evidence state i...","url_abs":"https://arxiv.org/abs/2607.10152","url_pdf":"https://arxiv.org/pdf/2607.10152v1","authors":"[\"Tomislav Grospić\"]","published":"2026-07-11T06:22:25Z","proceeding":"cs.DC","tasks":"[\"cs.DC\"]","methods":"[]","has_code":false}