{ "schemaVersion": 1, "kind": "exact-constructed-set-enumeration", "phase1": [ [ 0, 1, 2 ], [ 3, 4, 5 ] ], "phase2": [ [ 0, 3 ], [ 1, 4 ], [ 2, 5 ] ], "summaries": [ { "criterion": "phase1Blocked", "label": "Phase 1", "minimalCuts": [ [ 0, 3 ], [ 1, 3 ], [ 2, 3 ], [ 0, 4 ], [ 1, 4 ], [ 2, 4 ], [ 0, 5 ], [ 1, 5 ], [ 2, 5 ] ], "minimumCutSize": 2, "guaranteedSurvivableAcceptorFailures": 1, "blockedSubsetCount": 49, "subsetCount": 64 }, { "criterion": "phase2Blocked", "label": "Phase 2", "minimalCuts": [ [ 0, 1, 2 ], [ 1, 2, 3 ], [ 0, 2, 4 ], [ 2, 3, 4 ], [ 0, 1, 5 ], [ 1, 3, 5 ], [ 0, 4, 5 ], [ 3, 4, 5 ] ], "minimumCutSize": 3, "guaranteedSurvivableAcceptorFailures": 2, "blockedSubsetCount": 27, "subsetCount": 64 }, { "criterion": "freshRoundBlocked", "label": "Fresh round: both families", "minimalCuts": [ [ 0, 1, 2 ], [ 0, 3 ], [ 1, 3 ], [ 2, 3 ], [ 0, 4 ], [ 1, 4 ], [ 2, 4 ], [ 0, 5 ], [ 1, 5 ], [ 2, 5 ], [ 3, 4, 5 ] ], "minimumCutSize": 2, "guaranteedSurvivableAcceptorFailures": 1, "blockedSubsetCount": 51, "subsetCount": 64 } ], "cases": [ { "failed": [], "phase1Blocked": false, "phase2Blocked": false, "freshRoundBlocked": false }, { "failed": [ 0 ], "phase1Blocked": false, "phase2Blocked": false, "freshRoundBlocked": false }, { "failed": [ 1 ], "phase1Blocked": false, "phase2Blocked": false, "freshRoundBlocked": false }, { "failed": [ 0, 1 ], "phase1Blocked": false, "phase2Blocked": false, "freshRoundBlocked": false }, { "failed": [ 2 ], "phase1Blocked": false, "phase2Blocked": false, "freshRoundBlocked": false }, { "failed": [ 0, 2 ], "phase1Blocked": false, "phase2Blocked": false, "freshRoundBlocked": false }, { "failed": [ 1, 2 ], "phase1Blocked": false, "phase2Blocked": false, "freshRoundBlocked": false }, { "failed": [ 0, 1, 2 ], "phase1Blocked": false, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 3 ], "phase1Blocked": false, "phase2Blocked": false, "freshRoundBlocked": false }, { "failed": [ 0, 3 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 1, 3 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 0, 1, 3 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 2, 3 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 0, 2, 3 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 1, 2, 3 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 0, 1, 2, 3 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 4 ], "phase1Blocked": false, "phase2Blocked": false, "freshRoundBlocked": false }, { "failed": [ 0, 4 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 1, 4 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 0, 1, 4 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 2, 4 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 0, 2, 4 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 1, 2, 4 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 0, 1, 2, 4 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 3, 4 ], "phase1Blocked": false, "phase2Blocked": false, "freshRoundBlocked": false }, { "failed": [ 0, 3, 4 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 1, 3, 4 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 0, 1, 3, 4 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 2, 3, 4 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 0, 2, 3, 4 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 1, 2, 3, 4 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 0, 1, 2, 3, 4 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 5 ], "phase1Blocked": false, "phase2Blocked": false, "freshRoundBlocked": false }, { "failed": [ 0, 5 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 1, 5 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 0, 1, 5 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 2, 5 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 0, 2, 5 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 1, 2, 5 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 0, 1, 2, 5 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 3, 5 ], "phase1Blocked": false, "phase2Blocked": false, "freshRoundBlocked": false }, { "failed": [ 0, 3, 5 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 1, 3, 5 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 0, 1, 3, 5 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 2, 3, 5 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 0, 2, 3, 5 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 1, 2, 3, 5 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 0, 1, 2, 3, 5 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 4, 5 ], "phase1Blocked": false, "phase2Blocked": false, "freshRoundBlocked": false }, { "failed": [ 0, 4, 5 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 1, 4, 5 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 0, 1, 4, 5 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 2, 4, 5 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 0, 2, 4, 5 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 1, 2, 4, 5 ], "phase1Blocked": true, "phase2Blocked": false, "freshRoundBlocked": true }, { "failed": [ 0, 1, 2, 4, 5 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 3, 4, 5 ], "phase1Blocked": false, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 0, 3, 4, 5 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 1, 3, 4, 5 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 0, 1, 3, 4, 5 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 2, 3, 4, 5 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 0, 2, 3, 4, 5 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 1, 2, 3, 4, 5 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true }, { "failed": [ 0, 1, 2, 3, 4, 5 ], "phase1Blocked": true, "phase2Blocked": true, "freshRoundBlocked": true } ], "limitations": [ "Minimal means no proper subset blocks the same criterion; minimum means smallest size.", "Counts over 64 failure subsets are not outage probabilities.", "A fresh round is blocked here when either required quorum family is unavailable, not necessarily both.", "Phase-2 use still requires a surviving prepared, unpreempted leader and other protocol conditions.", "Acceptor failures are not leader failures, physical-domain counts, data loss or a consensus safety violation.", "Fixed membership and quorum families; no messages, timing, repair, reconfiguration or retained-state failure." ] }