← All researchMF-PRISM-DLT-2026-01 / interactive guide

THE IDEA, MADE VISIBLE

Local choices. Global consequences.

Lower a quorum threshold and watch global intersection disappear, even though every local choice looks plausible.

Research reportSafety-Preserving Adaptive Quorum Selection in Federated Consensus Networks
Explore the idea
Local choices. Global consequences.The selectable-profile envelope admits 4-of-6. Its minimum pairwise overlap is 2; quorum intersection holds in this teaching network.UNIFORM SIX-VALIDATOR QUORUM ENVELOPEABCDEF2 validators in this minimum overlap
Calculated illustration · change the inputs to inspect the mechanism.
01 / 04Guided chapter

Begin with a trust predicate

In this teaching network, every validator accepts any group of at least k of the same six validators. A quorum is a group that can satisfy those local rules.

4
Envelope threshold
4 of 6
Possible quorums
22
Minimum overlap
2

The selectable-profile envelope admits 4-of-6. Its minimum pairwise overlap is 2; quorum intersection holds in this teaching network.

For uniform k-of-n: minimum overlap = max(0, 2k−n)

TRY THIS

Keep the default at 4-of-6 and enable the 3-of-6 reserve. The minimum possible overlap falls to zero.

What this experiment represents. Exact uniform-threshold teaching network, not the full AQR topology or a production Metriq certificate. Intersection alone does not establish Byzantine protocol correctness.

Source manuscript & release ↗Read the full explanation ↓
Distributed Systems · Research Paper

Safety-Preserving Adaptive Quorum Selection in Federated Consensus Networks

Profile envelopes, reserve-collapse, and certified reconfiguration

Research reportMF-PRISM-DLT-2026-01 / v1.1

Certify the envelope of every independently selectable local quorum profile before allowing adaptation. The paper studies reserve collapse and version transitions, with finite structural checks rather than a complete consensus implementation.

Cover of Safety-Preserving Adaptive Quorum Selection in Federated Consensus Networks
Current public editionv1.1 · 2026-09-12
Identifier
MF-PRISM-DLT-2026-01
Series
Distributed Systems
Edition
Version 1.1
Length
17 pages
Reserved DOI
10.5281/zenodo.22728295 (record reserved)
01
3 minute explanation

What this paper is really saying.

The paper requires the network to certify every combination of locally selectable quorum profiles before validators are allowed to adapt among them.

federated consensusquorum setsadaptive control

In federated consensus, each validator chooses which groups of other validators it trusts. If nodes change those choices independently, a collection of individually reasonable updates can destroy the network-wide property that any two quorums overlap.

The paper treats all permitted local choices as one envelope. Safety is certified over the entire envelope—including mixed versions during transition—before adaptation is enabled.

02

The argument, without the notation.

The paper’s technical details matter, but the basic route can be understood in three moves.

01

Define profile choices

List the quorum profiles each validator may select and the assumptions governing independent local choice.

02

Enumerate the envelope

Compute the union of quorums that can arise across all allowed profile combinations.

03

Certify transitions

Analyze reserve collapse and mixed-version states so reconfiguration does not rely on every validator switching simultaneously.

03

The useful takeaways.

  • Safety is checked over the whole adaptive choice space, not one configuration at a time.

  • Reserve collapse exposes when nominal backup capacity disappears under combined choices.

  • Mixed-version transitions are treated as part of the safety problem.

04

What this does—and does not—establish.

Current status

Quorum-envelope theory with exact finite verification and illustrative synthetic evaluation. The results do not constitute a complete consensus proof or production network benchmark.

This report develops a conditional method and evaluates it within the stated evidence. It does not establish production performance, operational safety, or calibrated real-world predictive skill beyond that evidence.

  • Quorum intersection is necessary but not a complete proof of consensus correctness or liveness.

  • The topology and profile family are illustrative rather than a production-network benchmark.

  • Independent-choice and Byzantine-fault assumptions must match the deployment being certified.

05

Why anyone should care.

Adaptive settings are only safe if every allowed combination remains structurally compatible. Certifying the whole choice envelope prevents local optimization from creating a global safety failure.

06

The vocabulary, decoded.

These are the terms needed to understand the claim. The full paper uses them more precisely.

Quorum

A set of validators sufficient to support a consensus decision under the network’s trust rules.

Quorum intersection

The property that every two quorums share at least one validator.

Profile envelope

The full set of network configurations reachable from allowed local profile choices.

Federated consensus

Consensus in which participants define their own trust relationships rather than using one global membership rule.

07

Where scrutiny should concentrate.

The strongest review is not a general reaction. It tests the steps most capable of changing the conclusion.

  1. 01
    Exact union of profile quorums and independent choice assumptions.
  2. 02
    Reserve-collapse law and mixed-version transitions.
  3. 03
    Quorum intersection versus full protocol correctness and liveness.
Publication record

Go from explanation to evidence.

This page is a reading guide, not a substitute for the manuscript. The public record links the explanation to the paper, source package, review materials, and persistent identifier.

Document
Research Paper
Review status
Open for independent review
Published
2026-09-12
DOI status
Reserved · 10.5281/zenodo.22728295
Canonical record
MF-PRISM-DLT-2026-01
Metriq PRISM Laboratory, Safety-Preserving Adaptive Quorum Selection in Federated Consensus Networks, Metriq PRISM Laboratory Research Paper MF-PRISM-DLT-2026-01, Version 1.1, 2026. Corresponding contributor: Daniel H. Jeffery, ORCID 0009-0001-1200-6042. DOI: 10.5281/zenodo.22728295.