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

INTERACTIVE RESEARCH GUIDE

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

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.

Smallest allowed threshold

Allow a reserve profile

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 ↓

JavaScript is off. The initial figure above and the complete written explanation below remain available. Interactive controls require JavaScript.

1. 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.

2. Allow local adaptation

When a 3-of-6 reserve profile is independently selectable, the envelope must include that weaker threshold—even if the default remains 4-of-6.

3. Inspect the worst overlap

Two size-k subsets of six share at least max(0,2k−6) validators. At k = 3, disjoint quorums become possible.

4. Certify the whole choice envelope

The paper studies every allowed combination of local profiles before adaptation. Quorum intersection is one structural obligation, not a complete consensus safety or liveness proof.

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.

Read the paper Release & files

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)

Plain-language guide

3 minute explanation

A plain-language summary.

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.

How it works

The argument, without the notation.

Define profile choices

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

Enumerate the envelope

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

Certify transitions

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

What it adds

Main findings.

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.

Scope & limits

Evidence and limitations.

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 paper shows how to certify every quorum profile a validator might select before adaptation is allowed. Exact finite checks on an illustrative topology support it, rather than a full consensus implementation.

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.

Why it matters

Why this research matters.

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.

Key terms

Terms used in this paper.

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.

Independent review

Where scrutiny should concentrate.

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

Publication record

Read the paper and examine the source files.

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.

GitHub release Source folder

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.