.witness-topology_figure__f6LY4{container-type:inline-size;margin:34px 0 44px}.witness-topology_heading__BsAwH{display:flex;justify-content:space-between;gap:12px;color:var(--editorial-muted);font-size:12px;margin-bottom:18px}.witness-topology_heading__BsAwH span:first-child{font-size:10px;letter-spacing:.12em;text-transform:uppercase}.witness-topology_drawing__fTIfy{display:block;width:100%;height:auto;overflow:visible}.witness-topology_compact__tp7Gk{display:none}.witness-topology_drawing__fTIfy text{font-family:KaTeX_Main,serif}.witness-topology_drawing__fTIfy [data-on]{opacity:.2;transition:opacity .2s}.witness-topology_figure__f6LY4[data-view=activation] [data-on~=activation],.witness-topology_figure__f6LY4[data-view=checkpoint] [data-on~=checkpoint],.witness-topology_figure__f6LY4[data-view=restart] [data-on~=restart],.witness-topology_figure__f6LY4[data-view=split] [data-on~=split]{opacity:1}.witness-topology_drawing__fTIfy [data-on=checkpoint],.witness-topology_drawing__fTIfy [data-on=restart].witness-topology_refuse__A_0yy,.witness-topology_drawing__fTIfy [data-on=split].witness-topology_refuse__A_0yy{opacity:0}.witness-topology_figure__f6LY4[data-view=checkpoint] [data-on=checkpoint],.witness-topology_figure__f6LY4[data-view=restart] [data-on=restart].witness-topology_refuse__A_0yy,.witness-topology_figure__f6LY4[data-view=split] [data-on=split].witness-topology_refuse__A_0yy{opacity:1}.witness-topology_groupName__ShRD8 text{fill:var(--s-dim);font-size:14px;paint-order:stroke;stroke:#0c0c0b;stroke-width:7px;stroke-linejoin:round}.witness-topology_busIdle___kKhz{fill:none;stroke:var(--s-faint);stroke-width:1.1;stroke-dasharray:2 4;stroke-linecap:round}.witness-topology_wire__6Buba{fill:none;stroke:currentColor;stroke-width:1.6}.witness-topology_retained__5jGEi{fill:none;stroke:currentColor;stroke-width:1.4}.witness-topology_refusal__t0aFV{fill:none;stroke:var(--s-coral);stroke-width:1.8;stroke-dasharray:5 4}.witness-topology_stopBar__5NvDO{fill:none;stroke:var(--s-coral);stroke-width:2.4;stroke-linecap:round}.witness-topology_relation__uMyeX{fill:currentColor}.witness-topology_quorum__gGJO3,.witness-topology_relation__uMyeX{font-size:14px;paint-order:stroke;stroke:#0c0c0b;stroke-width:7px;stroke-linejoin:round}.witness-topology_quorum__gGJO3{fill:var(--s-teal)}.witness-topology_authority__nx3Ir{color:var(--s-gold)}.witness-topology_evidence__JJWio{color:var(--s-teal)}.witness-topology_check__C_0XA{color:var(--s-green)}.witness-topology_refuse__A_0yy{color:var(--s-coral)}.witness-topology_node__tNXKT circle{stroke-width:1.4}.witness-topology_kappa__oGkxL circle{fill:var(--s-gold-fill);stroke:var(--s-gold);stroke-width:1.8}.witness-topology_checkpointNode__cOseq circle{fill:var(--s-teal-fill);stroke:var(--s-teal)}.witness-topology_conflictNode__10Lky circle{fill:var(--s-coral-fill);stroke:var(--s-coral)}.witness-topology_witness__Czoy8 circle{fill:var(--s-teal-fill);stroke:var(--s-teal)}.witness-topology_idleWitness__9vKtY circle{fill:var(--s-cell);stroke:var(--s-teal);stroke-opacity:.7;stroke-dasharray:3 3}.witness-topology_auditor__aw0G9 circle{fill:var(--s-green-fill);stroke:var(--s-green)}.witness-topology_drawing__fTIfy .witness-topology_mark__hUvi1{fill:var(--s-ink);font-family:KaTeX_Math,serif;font-style:italic}.witness-topology_label__Rse3Q{fill:var(--s-ink);font-size:15px}.witness-topology_label__Rse3Q,.witness-topology_sub__OkTvo{paint-order:stroke;stroke:#0c0c0b;stroke-width:7px;stroke-linejoin:round}.witness-topology_sub__OkTvo{fill:var(--s-dim);font-size:14px}.witness-topology_drawing__fTIfy .witness-topology_code__L8Wuu,.witness-topology_drawing__fTIfy .witness-topology_instance__up3Nr{font-family:var(--font-jetbrains-mono),ui-monospace,monospace}.witness-topology_code__L8Wuu{fill:var(--s-coral);font-size:14px;paint-order:stroke;stroke:#0c0c0b;stroke-width:7px;stroke-linejoin:round}.witness-topology_instance__up3Nr{fill:var(--s-dim);font-size:14px}.witness-topology_controls__FZTvN{display:flex;flex-wrap:wrap;gap:0 30px;margin-top:18px;border-block:1px solid var(--editorial-rule)}.witness-topology_controls__FZTvN button{cursor:pointer;min-height:44px;padding:12px 0;color:var(--editorial-muted);font-size:14px;background:none;border:0;border-bottom:2px solid transparent}.witness-topology_controls__FZTvN button[aria-pressed=true]{color:var(--editorial-bright);border-color:var(--editorial-accent)}.witness-topology_controls__FZTvN button:hover{color:var(--editorial-bright)}.witness-topology_controls__FZTvN button:focus-visible{outline:2px solid var(--editorial-accent);outline-offset:4px}.witness-topology_detail__fS7lf{display:grid;grid-template-columns:36px minmax(0,1fr);gap:20px;padding-top:24px}.witness-topology_detailMark__vPiJj{font:italic 28px KaTeX_Math,serif}.witness-topology_figure__f6LY4 .witness-topology_detail__fS7lf h3{margin:0 0 8px;color:var(--editorial-bright);font:400 25px/1.2 var(--font-eb-garamond),serif}.witness-topology_detail__fS7lf p{margin:0;color:var(--editorial-ink);font-size:15px;line-height:1.65}.witness-topology_detail__fS7lf a{text-decoration:underline;text-underline-offset:4px}.witness-topology_prose__CXzpb{margin-top:18px;color:var(--editorial-ink);font-size:15px;line-height:1.65}.witness-topology_prose__CXzpb>*{margin:0 0 12px}@container (max-width: 640px){.witness-topology_wide__DEXVG{display:none}.witness-topology_compact__tp7Gk{display:block;max-width:440px}.witness-topology_code__L8Wuu,.witness-topology_groupName__ShRD8 text,.witness-topology_quorum__gGJO3,.witness-topology_relation__uMyeX,.witness-topology_sub__OkTvo{font-size:15px}.witness-topology_label__Rse3Q{font-size:16px}.witness-topology_controls__FZTvN{gap:0 22px}.witness-topology_detail__fS7lf{gap:12px;grid-template-columns:28px minmax(0,1fr)}}@media (prefers-reduced-motion:reduce){.witness-topology_figure__f6LY4 *{transition:none}}