.formal-stance-controls_connected__gEZec,.formal-stance-controls_wrapper__eDGxv{width:100%;min-width:0}.formal-stance-controls_corner__sVx_E{display:inline-flex;align-items:center;justify-content:center;width:1.1rem;height:1.1rem;font-size:.92rem;font-weight:800;line-height:1}.formal-stance-controls_corner_derived-top__NKE9C,.formal-stance-controls_corner_direct-top__OYlcN,.formal-stance-controls_corner_pending-top__ujVBT{color:var(--base0B)}.formal-stance-controls_corner_derived-bottom__4eX_I,.formal-stance-controls_corner_direct-bottom__6TuAE,.formal-stance-controls_corner_pending-bottom__AwD7e{color:var(--base08)}.formal-stance-controls_corner_pending-both__fsMp2,.formal-stance-controls_corner_pending-bottom__AwD7e,.formal-stance-controls_corner_pending-drop-both___9TYe,.formal-stance-controls_corner_pending-drop-bottom__e2mh_,.formal-stance-controls_corner_pending-drop-top__OqCer,.formal-stance-controls_corner_pending-top__ujVBT{width:auto;min-width:1.15rem;height:1.15rem;padding:0 .14rem;border:1px dashed;border-radius:4px;font-size:.8rem}.formal-stance-controls_corner_pending-both__fsMp2,.formal-stance-controls_corner_pending-drop-both___9TYe,.formal-stance-controls_corner_pending-drop-bottom__e2mh_,.formal-stance-controls_corner_pending-drop-top__OqCer{color:var(--base04)}.formal-stance-controls_cornerTopGlyph__fhh0E{color:var(--base0B)}.formal-stance-controls_cornerBottomGlyph__CON_6{color:var(--base08)}.formal-stance-controls_corner_pending-drop-both___9TYe .formal-stance-controls_cornerBottomGlyph__CON_6,.formal-stance-controls_corner_pending-drop-both___9TYe .formal-stance-controls_cornerTopGlyph__fhh0E{color:var(--base04)}.formal-stance-controls_bar__aPoW4{display:flex;align-items:center;gap:.4rem;min-width:0;width:100%;color:var(--base05)}.formal-stance-controls_acknowledgement__KyOFQ,.formal-stance-controls_endcap__TvSlF,.formal-stance-controls_track__Z0n9b{appearance:none;border:1px solid transparent;background:transparent;color:inherit;font:inherit}.formal-stance-controls_endcap__TvSlF{--stance-hue:var(--base04);position:relative;display:inline-flex;flex:none;align-items:center;gap:.18rem;height:1.4rem;padding:0 .4rem;border-radius:6px;color:var(--stance-hue);font-size:.72rem;font-variant-numeric:tabular-nums;white-space:nowrap;cursor:pointer}.formal-stance-controls_endcapTop__V3Fop{--stance-hue:var(--base0B)}.formal-stance-controls_endcapBottom__BpA12{--stance-hue:var(--base08)}.formal-stance-controls_endcap__TvSlF:hover:not([aria-disabled=true]){background-color:color-mix(in srgb,var(--stance-hue) 10%,transparent)}.formal-stance-controls_acknowledgement__KyOFQ:focus-visible,.formal-stance-controls_endcap__TvSlF:focus-visible,.formal-stance-controls_track__Z0n9b:focus-visible{outline:2px solid var(--ring,var(--base0D));outline-offset:1px}.formal-stance-controls_glyph__oNhkA{font-weight:800}.formal-stance-controls_endcapPublished__5oR3E{border-color:var(--stance-hue);background-color:var(--stance-hue);color:var(--base00);font-weight:700}.formal-stance-controls_endcapStaged__STsGd{border-color:color-mix(in srgb,var(--stance-hue) 70%,var(--base02));border-style:dashed;background-color:color-mix(in srgb,var(--stance-hue) 8%,transparent)}.formal-stance-controls_endcapDrop__Y3vy4{--stance-hue:var(--base04);border-color:color-mix(in srgb,var(--base04) 65%,var(--base02));border-style:dashed;background-color:color-mix(in srgb,var(--base04) 8%,transparent);color:var(--base04)}.formal-stance-controls_endcapDerived__QQDiY{border-color:color-mix(in srgb,var(--stance-hue) 62%,var(--base02));background-color:color-mix(in srgb,var(--stance-hue) 11%,transparent);box-shadow:inset 0 0 0 2px var(--base00)}.formal-stance-controls_endcap__TvSlF[aria-busy=true]{cursor:wait;opacity:.72}.formal-stance-controls_endcapNone__rpoMd[aria-disabled=true]{color:var(--base04);cursor:default}.formal-stance-controls_endcapDrop__Y3vy4,.formal-stance-controls_endcapStaged__STsGd{animation:none;transition:none}.formal-stance-controls_track__Z0n9b{position:relative;flex:1 1 auto;min-width:24px;height:1.4rem;padding:0;cursor:pointer}.formal-stance-controls_trackRail__4BJ8e{display:flex;align-items:stretch;gap:3px;width:100%;height:.5rem;overflow:hidden;border-radius:999px;background-color:var(--base01);box-shadow:inset 0 0 0 1px color-mix(in srgb,var(--base05) 10%,transparent)}.formal-stance-controls_trackEmpty__CunF0{background-color:var(--base02);box-shadow:none}.formal-stance-controls_fillAcknowledged__1Ns96,.formal-stance-controls_fillBottom__Khnsd,.formal-stance-controls_fillTop__JxwGy{flex:0 1 0;min-width:0;height:100%}.formal-stance-controls_fillTop__JxwGy{background-color:var(--base0B)}.formal-stance-controls_fillAcknowledged__1Ns96{background-color:var(--base03)}.formal-stance-controls_fillBottom__Khnsd{background-color:var(--base08)}.formal-stance-controls_bar__aPoW4[data-settled=true] .formal-stance-controls_fillAcknowledged__1Ns96,.formal-stance-controls_bar__aPoW4[data-settled=true] .formal-stance-controls_fillBottom__Khnsd,.formal-stance-controls_bar__aPoW4[data-settled=true] .formal-stance-controls_fillTop__JxwGy,.formal-stance-controls_bar__aPoW4[data-settled=true] .formal-stance-controls_trackRail__4BJ8e{background-color:var(--base0B)}.formal-stance-controls_acknowledgement__KyOFQ{position:relative;display:inline-flex;flex:none;align-items:center;gap:.25rem;min-width:1.4rem;height:1.4rem;padding:0 .34rem;border-radius:6px;color:var(--base04);font-size:.72rem;cursor:pointer}.formal-stance-controls_acknowledgement__KyOFQ:hover{border-color:color-mix(in srgb,var(--base04) 35%,var(--base02));background-color:color-mix(in srgb,var(--base04) 10%,transparent)}.formal-stance-controls_acknowledgementOn__M7wz0{border-color:var(--base04);background-color:var(--base04);color:var(--base00)}.formal-stance-controls_acknowledgementIcon__x4_CG{display:block;flex:none;width:.9rem;height:.9rem}.formal-stance-controls_acknowledgementLabel__RtTtx{line-height:1}.formal-stance-controls_explainer__AWqoO{margin:.35rem 0 0;color:var(--base04);font-size:.72rem}.formal-stance-controls_strandCoreCase__ppw6F,.formal-stance-controls_strandCore__uxrFa,.formal-stance-controls_strand__OQwy0{fill:none;stroke-linecap:round}.formal-stance-controls_strand__OQwy0{stroke-width:6.5;opacity:.85}.formal-stance-controls_strandHeld__wSKqf{stroke:var(--base0B);stroke-dasharray:8 8}.formal-stance-controls_strandRejected__nMwgZ{stroke:var(--base08);stroke-dasharray:5 4}.formal-stance-controls_strandDropping__WGD60{stroke:var(--base04);stroke-dasharray:6 6}.formal-stance-controls_strandCoreCase__ppw6F{stroke:var(--base00);stroke-width:3}.formal-stance-controls_strandCore__uxrFa{stroke:var(--base06);stroke-width:1.9}@media (pointer:coarse){.formal-stance-controls_acknowledgement__KyOFQ:after,.formal-stance-controls_endcap__TvSlF:after,.formal-stance-controls_track__Z0n9b:after{position:absolute;top:50%;left:50%;width:max(100%,44px);height:max(100%,44px);content:"";transform:translate(-50%,-50%)}.formal-stance-controls_track__Z0n9b:after{width:100%}}@media (prefers-reduced-motion:no-preference){.formal-stance-controls_acknowledgement__KyOFQ,.formal-stance-controls_endcap__TvSlF:not(.formal-stance-controls_endcapStaged__STsGd,.formal-stance-controls_endcapDrop__Y3vy4),.formal-stance-controls_track__Z0n9b{transition:background-color .12s ease,border-color .12s ease,color .12s ease}.formal-stance-controls_strandAnimated__xKwLW{animation:formal-stance-controls_formal-stance-flow__1uPQb .9s linear infinite}}@keyframes formal-stance-controls_formal-stance-flow__1uPQb{to{stroke-dashoffset:-16}}.nodes_card__gF0tJ .react-flow__handle,.nodes_groupCollapsed__50Q1j .react-flow__handle,.nodes_group__Hx8OV .react-flow__handle{width:1px;height:1px;min-width:0;min-height:0;border:none;background:transparent;opacity:0}.nodes_card__gF0tJ{box-sizing:border-box;width:max-content;min-width:190px;max-width:var(--card-measure);height:auto;min-height:98px;position:relative;display:flex;flex-direction:column;overflow:clip;border:1px solid var(--base02);border-radius:10px;background-color:var(--base00);color:var(--base05);box-shadow:0 1px 2px color-mix(in oklch,var(--base05) 8%,transparent),0 2px 8px color-mix(in oklch,var(--base05) 6%,transparent)}[data-layout=seeding] .nodes_card__gF0tJ{max-height:var(--phase1-cell-h);overflow:clip}.nodes_card__gF0tJ:before{content:"";display:block;flex:none;height:3px;background-color:var(--accent,var(--base03))}.nodes_stanceBarHeld__nX7rH{--rail-color:var(--base0B)}.nodes_stanceBarRejected__eWKVO{--rail-color:var(--base08)}.nodes_stanceBarUndecided__qsfod{--rail-color:var(--base04)}.nodes_stanceBarPendingHeld__tQJUL{--rail-color:var(--base0B)}.nodes_stanceBarPendingRejected__LjiDA{--rail-color:var(--base08)}.nodes_stanceBarPendingUndecided__nLfOk{--rail-color:var(--base04)}.nodes_stanceBarHeld__nX7rH:after,.nodes_stanceBarPendingHeld__tQJUL:after,.nodes_stanceBarPendingRejected__LjiDA:after,.nodes_stanceBarPendingUndecided__nLfOk:after,.nodes_stanceBarRejected__eWKVO:after,.nodes_stanceBarUndecided__qsfod:after{content:"";position:absolute;top:0;left:0;right:0;height:3px;background-color:var(--rail-color);z-index:1;pointer-events:none}.nodes_stanceBarPendingHeld__tQJUL:after,.nodes_stanceBarPendingRejected__LjiDA:after,.nodes_stanceBarPendingUndecided__nLfOk:after{background:repeating-linear-gradient(90deg,var(--rail-color) 0 5px,transparent 5px 9px)}.nodes_header__nM1ri{flex:none;height:30px;box-sizing:border-box;display:flex;align-items:center;gap:.375rem;padding:0 .7rem}.nodes_kindIcon__gD0l1{display:inline-flex;flex:none;color:var(--accent,var(--base04))}.nodes_kindGlyph__NCJH0{align-items:center;justify-content:center;width:15px;height:15px;font-size:15px;font-weight:700;line-height:1}.nodes_card__gF0tJ .nodes_kindGlyph__NCJH0{color:var(--rail-color,var(--base04))}.nodes_kindLabel__XGtzs{margin:0;min-width:0;font-size:.68rem;font-weight:700;text-transform:uppercase;letter-spacing:.05em;color:var(--base04);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.nodes_premiseName__RdvZd{text-transform:none;letter-spacing:0;font-family:ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,monospace;font-size:.72rem;color:var(--ce-token-binder-defsite)}.nodes_headerPropLink__d_8L9{cursor:pointer;border-radius:3px}.nodes_headerPropLink__d_8L9:hover{text-decoration:underline;text-underline-offset:2px}.nodes_headerPropLink__d_8L9:focus-visible{outline:2px solid var(--ring,var(--base0D));outline-offset:2px}.nodes_stanceSymbol__pu2_b{margin-left:auto;flex:none;display:inline-flex;align-items:center;justify-content:center;width:1.1rem;height:1.1rem;font-size:.92rem;font-weight:800;line-height:1}.nodes_stanceSymbolHeld__zysaS{color:var(--base0B)}.nodes_stanceSymbolRejected__dXiER{color:var(--base08)}.nodes_stanceSymbolUndecided__A5FuQ{color:var(--base04)}.nodes_proposition__aEgET{flex:none;box-sizing:border-box;position:relative;padding:6px .7rem;overflow:hidden;display:flex;flex-direction:column}.nodes_propositionClamp__OwKLF{display:block;font-family:ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,monospace;font-size:.8125rem;line-height:18px;color:var(--base05);word-break:break-word;text-align:center}.nodes_unavailable__kARIK{font-style:italic;color:var(--base04)}.nodes_card__gF0tJ .nodes_falseBody___fYRl,.nodes_card__gF0tJ .nodes_falseBody___fYRl *{color:var(--base08);font-weight:700}.nodes_selectableText__NNWCx{-webkit-user-select:text;-moz-user-select:text;user-select:text;cursor:text}.nodes_footer__NIcX4{flex:none;height:35px;box-sizing:border-box;margin-top:auto;display:flex;align-items:center;gap:.4rem;padding:0 .7rem;border-top:1px solid var(--base01);background-color:color-mix(in oklch,var(--base01) 45%,transparent);contain:inline-size}.nodes_footerless__VzH0p{min-height:63px}.nodes_holdingBar__SSfli{appearance:none;cursor:pointer;flex:1 1 auto;min-width:0;display:flex;align-items:center;gap:.4rem;border:1px solid transparent;border-radius:7px;margin:0 -.2rem;padding:.15rem .2rem;background:transparent;font:inherit;color:var(--base05)}.nodes_holdingBar__SSfli:hover{background-color:color-mix(in oklch,var(--base05) 7%,transparent);border-color:var(--base02)}.nodes_holdingBar__SSfli:focus-visible{outline:2px solid var(--ring,var(--base0D));outline-offset:1px}.nodes_holdingBarStatic__py_72{cursor:default}.nodes_holdingBarStatic__py_72:hover{background-color:transparent;border-color:transparent}.nodes_holdingCount___zKfj{flex:none;display:inline-flex;align-items:baseline;gap:.15rem;font-size:.72rem;font-variant-numeric:tabular-nums;white-space:nowrap}.nodes_holdingGlyph__9m_34{font-weight:800}.nodes_holdingCountPro__6kqcH{color:var(--base0B)}.nodes_holdingCountCon__Dx_vw{color:var(--base08)}.nodes_holdingTrack__L18jI{flex:1 1 auto;min-width:0;display:flex;justify-content:space-between;height:.5rem;border-radius:999px;overflow:hidden;background-color:var(--base01);box-shadow:inset 0 0 0 1px color-mix(in oklch,var(--base05) 10%,transparent)}.nodes_holdingFillPro__vNQNo{flex:0 0 auto;height:100%;background-color:var(--base0B)}.nodes_holdingFillCon__dbUvt{flex:0 0 auto;height:100%;background-color:var(--base08)}.nodes_holdingTrackEmpty__hXUPV{background-color:var(--base02);box-shadow:none}.nodes_holdingCountEmpty__dxDOZ{color:var(--base04)}.nodes_holdingCountEmpty__dxDOZ .nodes_holdingGlyph__9m_34{font-weight:700}.nodes_settled__D3_t2{display:inline-flex;align-items:center;padding:.1rem .5rem;border-radius:999px;background-color:var(--base01);color:var(--base04);font-size:.75rem;font-weight:600}.nodes_conclusion__61E_G,.nodes_premise__JiXyi{--accent:var(--base0D)}.nodes_conclusion__61E_G .nodes_header__nM1ri,.nodes_premise__JiXyi .nodes_header__nM1ri{background-color:color-mix(in oklch,var(--base0D) 7%,transparent)}.nodes_interior__TNCEE{--accent:var(--base0D);box-shadow:0 1px 2px color-mix(in oklch,var(--base05) 8%,transparent)}.nodes_bridge__vZyHp,.nodes_intermediate__hLfdA{--accent:var(--base0D)}.nodes_interior__TNCEE .nodes_header__nM1ri{background-color:color-mix(in oklch,var(--accent) 8%,transparent)}.nodes_group__Hx8OV{box-sizing:border-box;border:1.5px dashed color-mix(in oklch,var(--base0D) 45%,var(--base03));border-radius:14px;background-color:color-mix(in oklch,var(--base0D) 5%,var(--base00));background-image:repeating-linear-gradient(-45deg,transparent,transparent 11px,color-mix(in oklch,var(--base05) 2%,transparent) 11px,color-mix(in oklch,var(--base05) 2%,transparent) 12px)}.nodes_groupCollapsed__50Q1j{width:max-content;min-width:190px;max-width:520px;height:48px;box-sizing:border-box;display:flex;align-items:center;gap:.5rem;padding:0 .7rem;border-style:solid;border-color:color-mix(in oklch,var(--base0D) 35%,var(--base02));background-color:var(--base01);background-image:none;box-shadow:0 1px 3px color-mix(in oklch,var(--base05) 8%,transparent)}.nodes_groupIcon__VIUu8{display:inline-flex;flex:none;color:var(--base0D)}.nodes_groupGlyph__hFAfu{align-items:center;justify-content:center;width:17px;height:17px;font-size:17px;font-weight:700;line-height:1}.nodes_proofTitle__bzC7S{flex:1 1 auto;min-width:0;display:inline-flex;flex-direction:column;justify-content:center;gap:.05rem}.nodes_proofName__u_prw{max-width:100%;font-family:ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,monospace;font-size:.8rem;font-weight:700;letter-spacing:.01em;color:color-mix(in oklch,var(--base0D) 85%,var(--base05));white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.nodes_proofNameClickable__20TQe{cursor:pointer;text-decoration:none;border-radius:4px}.nodes_proofNameClickable__20TQe:hover{text-decoration:underline;text-underline-offset:2px}.nodes_proofNameClickable__20TQe:focus-visible{outline:2px solid var(--ring,var(--base0D));outline-offset:2px}.nodes_proofSteps__Hfhiv{font-size:.62rem;font-weight:600;letter-spacing:.04em;text-transform:uppercase;color:var(--base04)}.nodes_adopterChip__PaUYC{appearance:none;cursor:pointer;flex:none;display:inline-flex;align-items:center;gap:.2rem;height:1.4rem;padding:0 .45rem;border:1px solid color-mix(in oklch,var(--base0D) 30%,var(--base02));border-radius:999px;background-color:color-mix(in oklch,var(--base0D) 8%,transparent);color:var(--base0D);font:inherit;font-size:.72rem;font-weight:700;font-variant-numeric:tabular-nums;line-height:1}.nodes_adopterChip__PaUYC:hover{background-color:color-mix(in oklch,var(--base0D) 16%,transparent);border-color:color-mix(in oklch,var(--base0D) 45%,var(--base02))}.nodes_adopterChip__PaUYC:focus-visible{outline:2px solid var(--ring,var(--base0D));outline-offset:1px}.nodes_adopterGlyph__ogFbX{font-weight:800}.nodes_groupHeader__qlyXr{display:flex;align-items:center;gap:.5rem;padding:.45rem .6rem;margin:.3rem .3rem 0;border-radius:10px;background-color:color-mix(in oklch,var(--base01) 85%,transparent);backdrop-filter:blur(2px)}.nodes_toggle__gOQiu{appearance:none;cursor:pointer;margin-left:auto;display:inline-flex;align-items:center;justify-content:center;flex:none;width:1.5rem;height:1.5rem;border:none;border-radius:6px;background:transparent;color:var(--base04);padding:0;line-height:0}.nodes_toggle__gOQiu:hover{background-color:color-mix(in oklch,var(--base05) 8%,transparent);color:var(--base05)}.nodes_toggle__gOQiu:focus-visible{outline:2px solid var(--ring,var(--base0D));outline-offset:2px}.nodes_propositionClamp__OwKLF .shiki,.nodes_propositionClamp__OwKLF .shiki .line,.nodes_propositionClamp__OwKLF .shiki code{display:inline;background:transparent!important;padding:0;margin:0;font:inherit;white-space:normal;word-break:break-word}