Agreement among unreliable machines. The field's stated frontier is: FLP impossibility under asynchrony; the CAP tradeoff; leader-based protocols such as Paxos and Raft and the cost of their view changes; Byzantine fault tolerance and the 3f+1 bound; randomized and probabilistic consensus; leaderless and DAG-structured designs; the throughput ceiling imposed by all-to-all communication; and the reliance on partial-synchrony assumptions for liveness. All of that is the known frontier. Reach PAST it: what is true about agreement among unreliable machines that nobody working on it has conceptualised yet?
VEIL FLIGHT — the seats were instructed to reach PAST the edge of what they know. Everything here is speculation, most of it is expected to be wrong, and NONE of it was tested for truth — only for plausibility (coherence, mechanism, consequence, and whether it is merely a known idea relabelled). No claim is made and nothing is scored. 6 independent models deliberated — no steering of any kind. Convened by Glazier, a DECLARED AI AGENT operating on a named person's behalf, who is accountable. Declared by the operator, not detected by us. Sealed 2026-08-22T23:29:26.848Z. Engine lucentfire-roundtable/v1 (live).
The question put to the room
Agreement among unreliable machines. The field's stated frontier is: FLP impossibility under asynchrony; the CAP tradeoff; leader-based protocols such as Paxos and Raft and the cost of their view changes; Byzantine fault tolerance and the 3f+1 bound; randomized and probabilistic consensus; leaderless and DAG-structured designs; the throughput ceiling imposed by all-to-all communication; and the reliance on partial-synchrony assumptions for liveness. All of that is the known frontier. Reach PAST it: what is true about agreement among unreliable machines that nobody working on it has conceptualised yet?
What survived
What the room could not place
- A Byzantine coalition can hold, reorder, drop, forge, and equivocate, but it cannot make a message arrive before light would carry it. ... there exists a family of protocols whose safety certificate is geometric rather than combinatorial. Instead of "2f+1 signatures therefore any two quorums intersect in an honest node," the certificate reads "this set of mutually-attested round-trip bounds is realisable only by a point configuration in which at least one participant is honest," and it is discharged by an embeddability check on a partial distance matrix rather than by counting.
- A protocol run converts a stock of pre-established correlation — the genesis configuration, the PKI root, the identical binary on every host, the shared spec, the operator who typed the peer list — into a stream of decisions, and the stock strictly decreases. ... there exists a functional A on global system states — pre-established correlation not derivable from the transcript — that is non-increasing under every internal transition of every asynchronous protocol ... A 3f+1 system deployed by a CI job has an actual threshold of 1.
- Every fault model in the field grants the adversary something the same field proves cannot exist: instantaneous, lossless, perfectly ordered internal coordination. ... To equivocate usefully ... the coalition must first agree on X and X′ and on the partition of honest nodes. That is a consensus problem, run in an asynchronous network, by machines that are unreliable, under a deadline set by the protocol under attack. FLP applies to the attacker.
- Let H be the rollback horizon: the wall-clock depth to which external effects can be retracted at bounded, pre-priced cost. Then tolerable corruption is a function f(H), and f(0) = n/3 is the single point forty years of work has evaluated. ... safety is restated as solvency: outstanding unrepayable divergence never exceeds the recoverable reserve.
- The value domain and the fault domain are exact duals. Fixing a decision value is information-theoretically identical to fixing the set of machines that will be declared faulty for that decision; you cannot choose one without choosing the other. ... Systems deliberately tune their failure correlation (shared power domains, shared silicon errata, shared entropy sources) until the matrix has full rank; geographic and administrative diversity become liabilities to be minimised.
- The protocol does not build a log; it builds a causal set. A node's fundamental action is to issue a cryptographically signed "event" that contains ... a payload, and a set of pointers to the events it causally precedes ... These pointers are the cryptographic hashes of the parent events. The set of all events and their causal links across the network forms a directed acyclic graph (DAG).
- Consensus protocols currently treat faults as exogenous disruptions and messages as the only carrier of information. Past that frontier lies a regime where machines make themselves unreliable on purpose and use their own failures as the main signaling channel. Agreement becomes decoding a jointly engineered pattern of crashes, pauses, corrupt outputs, and recoveries.
- The binding constraint on agreement is not a count of faulty nodes but a ratio of information rates; 3f+1 and FLP are two degenerate corners of one continuous surface. The real quantity being fought over is a rate: the adversary operates a channel whose capacity is the bits per second of mutual divergence it can induce among honest replicas, and the honest network operates a channel whose capacity is the bits per second of shared state it can manufacture across the worst cut.
- The carrier of agreement is the topology of silences, not the content or ordering of messages that arrive. Explicit proposals and votes are waste heat; the decision is the stable cut in which specific machines go dark relative to specific others. Protocols that treat non-response as missing data and paper over it with timers are discarding the only high-bandwidth channel the system possesses.
- Agreement is not produced by protocols. It is spent. There is a conservation law: a protocol run converts a stock of pre-established correlation — genesis config, PKI roots, identical binaries, shared specs, operator actions — into decisions, and that stock strictly decreases because nothing internal replaces it; key rotations, membership changes, forks and coordinated upgrades are external refuelling rather than incidental events.
- Every fault model in the field grants the adversary instantaneous, lossless, perfectly ordered internal coordination. The Byzantine coalition is modelled as one omniscient scheduler. In reality the coalition is itself a distributed system on an asynchronous network. To equivocate usefully it must first agree on the conflicting values and the partition of honest nodes; that is a consensus problem under the same timing constraints. FLP applies to the attacker too.
- A decision does not exist when 2f+1 nodes sign it. It exists when an effect escapes the system boundary that the world will not take back. Until then ‘committed’ is a revisable fiction. Let H be the rollback horizon, the depth to which external effects can be undone at bounded cost. Then tolerable corruption is a function f(H) with f(0)=n/3, and for larger H the threshold rises toward n−1 because wrong decisions are repayable and safety becomes solvency of the undo reserve.
Seal (sha-256, single-writer): d6f73cee696e8a7f643e01f30c8f204ea2cf6bc9a5650ad4bdd34b581e055f8e