.LidoReport_loginPage__8i4YL,.LidoReport_report__lWEdO{--ink:#111;--muted:#777;--muted-strong:#4f4f4f;--panel:#fff;--panel-soft:#f5f7fa;--line:rgba(15,23,42,.1);--line-strong:rgba(15,23,42,.17);--blue:#1dbbaa;--blue-bright:#0b8f82;--green:#128565;--amber:#9a631d;--red:#b44b43;position:relative;min-height:100vh;overflow:hidden;background:radial-gradient(circle at 78% 7%,rgba(45,212,191,.09),transparent 29rem),radial-gradient(circle at 0 45%,rgba(45,212,191,.045),transparent 32rem),#fff;color:var(--ink);font-family:Source Sans\ 3,system-ui,sans-serif;letter-spacing:0}.LidoReport_grid__3kW5s{position:absolute;inset:0;pointer-events:none;opacity:.3;background-image:linear-gradient(rgba(15,23,42,.032) 1px,transparent 0),linear-gradient(90deg,rgba(15,23,42,.032) 1px,transparent 0);background-size:56px 56px;-webkit-mask-image:linear-gradient(180deg,#000,transparent 74%);mask-image:linear-gradient(180deg,#000,transparent 74%)}.LidoReport_footer__MG9jn,.LidoReport_hero__sdtSk,.LidoReport_nav__mBvP7,.LidoReport_overview__eLweq,.LidoReport_scopeIntro__02xY6{position:relative;z-index:1}.LidoReport_nav__mBvP7{border-bottom:1px solid var(--line)}.LidoReport_footer__MG9jn,.LidoReport_hero__sdtSk,.LidoReport_navInner__bhauE,.LidoReport_overview__eLweq,.LidoReport_scopeIntro__02xY6{width:min(1180px,calc(100% - 48px));margin-inline:auto}.LidoReport_navInner__bhauE{min-height:76px;display:flex;align-items:center;justify-content:space-between}.LidoReport_wordmarks__9OHDR{display:flex;align-items:center;gap:18px}.LidoReport_wordmarks__9OHDR>img:first-child{width:34px;height:34px;-o-object-fit:contain;object-fit:contain}.LidoReport_divider__lO_Ig{width:1px;height:24px;background:var(--line-strong)}.LidoReport_lidoLogo__W3Lrm{opacity:.93}.LidoReport_draftStatus__Fu9_1{display:flex;align-items:center;gap:9px;color:var(--muted);font-size:10px;font-weight:700;letter-spacing:.17em;text-transform:uppercase}.LidoReport_draftStatus__Fu9_1>span{width:6px;height:6px;border-radius:50%;background:var(--amber)}.LidoReport_hero__sdtSk{padding-block:96px 104px}.LidoReport_heroLayout__ujwL_{display:grid;grid-template-columns:minmax(0,.92fr) minmax(430px,1.08fr);gap:64px;align-items:center}.LidoReport_heroCopy__Ywh5G{min-width:0;max-width:650px}.LidoReport_eyebrow__XVqBE,.LidoReport_sectionLead__Wvqhg>div>span{color:var(--blue-bright);font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:11px;font-weight:700;letter-spacing:.13em;text-transform:uppercase}.LidoReport_eyebrow__XVqBE span{margin-inline:7px;color:#b2b2b2}.LidoReport_hero__sdtSk h1{margin:20px 0 14px;font-family:ET Book,Georgia,serif;font-size:clamp(3.25rem,6vw,5rem);font-weight:400;line-height:.98;letter-spacing:-.05em}.LidoReport_heroCopy__Ywh5G>p{max-width:650px;margin:0;color:var(--muted-strong);font-size:16px;line-height:1.65;letter-spacing:0}.LidoReport_heroCopy__Ywh5G>p a,.LidoReport_scopeStatement__LzHDL a,.LidoReport_scopeSteps__uWj2A a{color:var(--blue-bright)}.LidoReport_commits__cR_mG{display:flex;flex-wrap:wrap;gap:0;margin-top:26px}.LidoReport_commit__2N550{display:inline-flex;align-items:center;gap:7px;min-height:auto;padding:0 14px;border:0;border-left:1px solid var(--line-strong);border-radius:0;background:transparent;color:var(--muted);font-size:10px;transition:color .15s ease}.LidoReport_commit__2N550:first-child{padding-left:0;border-left:0}.LidoReport_commit__2N550 code{color:var(--ink);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:10px}.LidoReport_commit__2N550 svg,.LidoReport_sourceLinks__PIUfH svg{width:13px;height:13px;fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.3}.LidoReport_commit__2N550:hover{background:transparent;color:var(--blue-bright)}.LidoReport_scopeMeta__FwlKi{display:inline-flex;align-items:center;gap:7px;padding-right:14px;color:var(--muted);font-size:10px}.LidoReport_scopeMeta__FwlKi strong{color:var(--ink);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:10px;font-weight:400}.LidoReport_flowPreview__vlZrz{position:relative;min-width:0;margin:0;overflow:hidden;border:1px solid var(--line-strong);border-radius:8px;background:#fff;box-shadow:0 4px 24px rgba(15,23,42,.045),0 1px 2px rgba(15,23,42,.035);transition:border-color .17s ease,box-shadow .17s ease,transform .17s ease}.LidoReport_flowPreview__vlZrz:hover{border-color:rgba(29,187,170,.38);box-shadow:0 8px 30px rgba(15,23,42,.07),0 1px 2px rgba(15,23,42,.04);transform:translateY(-2px)}.LidoReport_flowPreviewCaption__8sJc8,.LidoReport_flowPreviewTopline__ajief{display:flex;align-items:center;justify-content:space-between;color:var(--muted);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9px;font-weight:700;letter-spacing:.09em;text-transform:uppercase}.LidoReport_flowPreviewTopline__ajief{min-height:39px;padding-inline:13px;border-bottom:1px solid var(--line)}.LidoReport_flowPreviewTopline__ajief>span:last-child{display:inline-flex;align-items:center;gap:7px;color:var(--blue-bright)}.LidoReport_flowPreviewTopline__ajief svg{width:14px;height:14px;fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.4}.LidoReport_flowPreviewCanvas__yvx8I{display:block;aspect-ratio:1.6;overflow:hidden;background:#fff}.LidoReport_flowPreviewCanvas__yvx8I>svg{display:block;width:100%;height:100%}.LidoReport_flowPreviewCaption__8sJc8{min-height:40px;padding-inline:13px;border-top:1px solid var(--line);color:var(--ink);text-transform:none;letter-spacing:0}.LidoReport_flowPreviewAction__LWMIy{position:absolute;inset:0;border:0;border-radius:inherit;background:transparent;cursor:zoom-in}.LidoReport_flowPreviewAction__LWMIy:focus-visible{outline:3px solid rgba(29,187,170,.3);outline-offset:-3px}.LidoReport_cardStatus__fKkhZ svg,.LidoReport_provenIcon__G8mzc svg{width:18px;height:18px;fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.8}.LidoReport_scopeIntro__02xY6{padding-block:72px 64px;border-top:1px solid var(--line)}.LidoReport_scopeLayout__nQtZS{display:grid;grid-template-columns:minmax(0,.92fr) minmax(0,1.08fr);gap:56px 80px;align-items:start}.LidoReport_scopeLead__1UZ_D h2{margin:0;font-family:ET Book,Georgia,serif;font-size:clamp(2.15rem,4vw,3.15rem);font-weight:400;line-height:1.05;letter-spacing:-.04em}.LidoReport_scopeStatement__LzHDL{margin:18px 0 0;color:var(--ink);font-family:ET Book,Georgia,serif;font-size:clamp(1.12rem,1.5vw,1.32rem);line-height:1.48;letter-spacing:-.018em}.LidoReport_scopeLayersTitle__VpycN{margin:7px 0 0;font-size:1.15rem;font-weight:650;letter-spacing:-.03em;line-height:1.25}.LidoReport_scopeLayerLead__LdAxP{margin:10px 0 0;color:var(--muted-strong);font-size:14px;font-weight:500;letter-spacing:0;line-height:1.55}.LidoReport_scopeSteps__uWj2A{display:grid;gap:0;margin:18px 0 0;padding:0;list-style:none}.LidoReport_scopeSteps__uWj2A li{display:grid;grid-template-columns:1.5rem minmax(0,1fr);gap:14px;align-items:start;padding:18px 0;border-top:1px solid var(--line)}.LidoReport_scopeSteps__uWj2A li>span{color:var(--muted);font-family:ET Book,Georgia,serif;font-size:1.45rem;font-weight:400;letter-spacing:-.03em;line-height:1.3}.LidoReport_scopeSteps__uWj2A h4{margin:0;font-size:1.02rem;font-weight:650;letter-spacing:-.025em;line-height:1.3}.LidoReport_scopeSteps__uWj2A p{margin:6px 0 0;color:var(--muted-strong);font-size:14px;line-height:1.6}.LidoReport_scopeBadgeNote__Firdy code,.LidoReport_scopeSteps__uWj2A code{color:var(--ink);font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:.9em;letter-spacing:0;white-space:nowrap}.LidoReport_scopeBadgeNote__Firdy{margin:18px 0 0;color:var(--muted);font-size:13px;line-height:1.55}.LidoReport_scopeBadgeNote__Firdy a{color:var(--blue-bright);text-decoration:underline;text-underline-offset:2px}.LidoReport_scopeSignoff__P44j5{display:grid;justify-items:start;gap:3px;margin:22px 0 0;padding:0}.LidoReport_scopeSignature__K5vUY{display:block;width:min(173px,63%);height:auto;overflow:visible;color:#2a2a2a;opacity:.72}.LidoReport_scopeSignoff__P44j5 figcaption{display:grid;color:var(--muted);font-size:12px;letter-spacing:-.01em}.LidoReport_overview__eLweq{padding-block:94px;border-top:1px solid var(--line)}.LidoReport_sectionLead__Wvqhg{display:grid;grid-template-columns:1fr .72fr;gap:80px;align-items:end;margin-bottom:48px}.LidoReport_sectionLead__Wvqhg h2{margin:13px 0 0;font-family:ET Book,Georgia,serif;font-size:clamp(2.5rem,5vw,4.4rem);font-weight:400;line-height:1;letter-spacing:-.045em}.LidoReport_sectionLead__Wvqhg>p{margin:0;color:var(--muted);font-size:14px;line-height:1.75}.LidoReport_guaranteeGrid__Oo5Xn{display:grid;grid-template-columns:repeat(6,minmax(0,1fr));gap:1px;overflow:hidden;border:1px solid var(--line);border-radius:8px;background:var(--line)}.LidoReport_guaranteeCard__Ad9pt{position:relative;grid-column:span 2;min-height:250px;padding:24px 25px 22px;display:flex;flex-direction:column;border:0;border-radius:0;background:#fff;color:inherit;text-align:left;cursor:pointer;transition:background .17s ease}.LidoReport_hasTwoLastCards__v6JnB .LidoReport_guaranteeCard__Ad9pt:nth-last-child(-n+2){grid-column:span 3}.LidoReport_guaranteeCard__Ad9pt:focus-visible,.LidoReport_guaranteeCard__Ad9pt:hover{outline:none;background:#fcfdfd}.LidoReport_guaranteeCardDisabled__asi9B,.LidoReport_guaranteeCardDisabled__asi9B:focus-visible,.LidoReport_guaranteeCardDisabled__asi9B:hover{cursor:default;background:#fff;pointer-events:none}.LidoReport_guaranteeCardDisabled__asi9B>*{opacity:.55}.LidoReport_cardWip__0HU8V{margin-left:8px;color:var(--muted);font-weight:700;letter-spacing:.12em}.LidoReport_guaranteeCard__Ad9pt[data-status=verity]:focus-visible,.LidoReport_guaranteeCard__Ad9pt[data-status=verity]:hover{background:#fcfdfd}.LidoReport_guaranteeCard__Ad9pt[data-status=abstract]:focus-visible,.LidoReport_guaranteeCard__Ad9pt[data-status=abstract]:hover{background:#fcfdfd}.LidoReport_guaranteeCard__Ad9pt[data-status=unproven]:focus-visible,.LidoReport_guaranteeCard__Ad9pt[data-status=unproven]:hover{background:#fcfdfd}.LidoReport_cardTopline__3MHnS{display:flex;align-items:center;justify-content:space-between}.LidoReport_cardIndex__W2v0I,.LidoReport_cardStatus__fKkhZ{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9px;font-weight:700;letter-spacing:.11em;text-transform:uppercase}.LidoReport_guaranteeId__GHyYl{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:14px;font-weight:700;letter-spacing:.08em}.LidoReport_cardIndex__W2v0I{color:#a1a1a1}.LidoReport_cardStatus__fKkhZ{display:inline-flex;align-items:center;gap:4px;padding:5px 8px;border:1px solid;border-radius:999px}.LidoReport_cardStatus__fKkhZ svg{width:13px;height:13px}.LidoReport_statusVerity__4bY_P{color:var(--green)}.LidoReport_statusAbstract__oENNq{color:var(--amber)}.LidoReport_cardStatus__fKkhZ.LidoReport_statusVerity__4bY_P{border-color:rgba(18,133,101,.24);background:rgba(18,133,101,.06)}.LidoReport_cardStatus__fKkhZ.LidoReport_statusAbstract__oENNq{border-color:rgba(154,99,29,.24);background:rgba(154,99,29,.06)}.LidoReport_statusOpen__ro4De{color:var(--red)}.LidoReport_cardStatus__fKkhZ.LidoReport_statusOpen__ro4De{border-color:rgba(180,75,67,.24);background:rgba(180,75,67,.055)}.LidoReport_guaranteeCard__Ad9pt[data-status=verity] .LidoReport_guaranteeId__GHyYl{color:var(--green)}.LidoReport_guaranteeCard__Ad9pt[data-status=abstract] .LidoReport_guaranteeId__GHyYl{color:var(--amber)}.LidoReport_guaranteeCard__Ad9pt[data-status=unproven] .LidoReport_guaranteeId__GHyYl{color:var(--red)}.LidoReport_guaranteeId__GHyYl{color:var(--blue)}.LidoReport_guaranteeCard__Ad9pt>div:last-child{flex:1;display:flex;flex-direction:column;margin-top:12px}.LidoReport_guaranteeCard__Ad9pt:after{content:"Open";position:absolute;right:22px;bottom:20px;padding-right:14px;color:var(--muted);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9px;font-weight:700;letter-spacing:.12em;text-transform:uppercase;opacity:0;transition:opacity .17s ease,transform .17s ease;transform:translateX(-4px);background:no-repeat 100%/9px 9px url("data:image/svg+xml;utf8,<svg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 10 10' fill='none' stroke='%23777' stroke-width='1.4' stroke-linecap='round' stroke-linejoin='round'><path d='M2 8L8 2M3.5 2H8v4.5'/></svg>")}.LidoReport_guaranteeCard__Ad9pt:focus-visible:after,.LidoReport_guaranteeCard__Ad9pt:hover:after{opacity:1;transform:none}.LidoReport_guaranteeCardDisabled__asi9B:after{content:none}.LidoReport_guaranteeCard__Ad9pt h3{margin:0 0 10px;font-size:20px;font-weight:600;line-height:1.2;letter-spacing:-.035em}.LidoReport_guaranteeCard__Ad9pt p{margin:0;color:var(--muted);font-size:13px;line-height:1.65}.LidoReport_cardFlows__SXcb1{display:flex;flex-wrap:wrap;gap:5px;margin-top:auto;padding-top:18px;padding-right:64px}.LidoReport_cardFlows__SXcb1>span{padding:4px 8px;border:1px solid var(--line);border-radius:999px;color:var(--muted-strong);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:8px;font-weight:650;letter-spacing:.03em}.LidoReport_footer__MG9jn{display:flex;align-items:center;justify-content:space-between;min-height:124px;border-top:1px solid var(--line);color:var(--muted);font-size:11px}.LidoReport_footer__MG9jn>div{display:flex;gap:22px}.LidoReport_footer__MG9jn>div span:first-child{color:var(--ink);font-weight:700}.LidoReport_footer__MG9jn button{border:0;background:transparent;color:var(--muted);font:inherit;cursor:pointer}.LidoReport_footer__MG9jn button:hover{color:var(--ink)}.LidoReport_detailLayer__OwZ9l{position:fixed;inset:0;z-index:100}.LidoReport_flowMapLayer__wpfyK{position:fixed;inset:0;z-index:120}.LidoReport_flowMapBackdrop__7qKju{position:absolute;inset:0;width:100%;height:100%;border:0;background:rgba(15,23,42,.34);backdrop-filter:blur(6px);cursor:default;animation:LidoReport_fadeIn__l8Zk9 .16s ease-out}.LidoReport_flowMapPanel__qL8EA{position:absolute;inset:24px;display:grid;grid-template-rows:78px minmax(0,1fr);overflow:hidden;border:1px solid var(--line-strong);border-radius:12px;background:#fff;box-shadow:0 24px 90px rgba(15,23,42,.24),0 2px 8px rgba(15,23,42,.08);animation:LidoReport_mapPanelIn__llDvd .22s cubic-bezier(.22,1,.36,1)}.LidoReport_flowMapHeader__IaIq2{display:flex;align-items:center;justify-content:space-between;padding-inline:28px;border-bottom:1px solid var(--line);background:hsla(0,0%,100%,.96)}.LidoReport_flowMapHeader__IaIq2>div>span{color:var(--amber);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9px;font-weight:700;letter-spacing:.11em;text-transform:uppercase}.LidoReport_flowMapHeader__IaIq2 h2{margin:4px 0 0;font-family:ET Book,Georgia,serif;font-size:22px;font-weight:400;letter-spacing:-.03em}.LidoReport_flowMapBody__mKfID{min-height:0;overflow:auto;padding:28px;background:#fff}.LidoReport_nativeFlowMap__KHx38{width:min(1180px,100%);margin-inline:auto}.LidoReport_flowFilterHeader__5cDCz{display:flex;align-items:center;justify-content:space-between;gap:20px;margin-bottom:9px;color:var(--muted);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:8px;font-weight:700;letter-spacing:.09em;text-transform:uppercase}.LidoReport_flowFilterHeader__5cDCz>div{display:flex;align-items:center;gap:10px}.LidoReport_flowFilterHeader__5cDCz>div>span{color:var(--muted-strong)}.LidoReport_flowFilterHeader__5cDCz button{padding:0;border:0;background:transparent;color:var(--blue-bright);font:inherit;text-transform:inherit;cursor:pointer}.LidoReport_flowFilterHeader__5cDCz button:focus-visible,.LidoReport_flowFilterHeader__5cDCz button:hover{color:var(--ink);outline:none}.LidoReport_flowControls__ij9Es{display:grid;grid-template-columns:repeat(7,minmax(0,1fr));gap:1px;overflow:hidden;border:1px solid var(--line-strong);border-radius:7px;background:var(--line)}.LidoReport_flowControls__ij9Es>button{display:inline-flex;align-items:center;gap:8px;min-height:38px;padding:0 10px 0 8px;border:0;border-radius:0;background:#fff;color:var(--ink);font-family:inherit;font-size:9px;cursor:pointer;transition:background .15s ease,box-shadow .15s ease}.LidoReport_flowControls__ij9Es .LidoReport_flowFilterActive___4_o_,.LidoReport_flowControls__ij9Es>button:focus-visible,.LidoReport_flowControls__ij9Es>button:hover{background:color-mix(in srgb,var(--flow-color,var(--blue)) 5%,#fff);outline:none}.LidoReport_flowControls__ij9Es>button:focus-visible,.LidoReport_flowControls__ij9Es>button:hover{box-shadow:inset 0 0 0 1px color-mix(in srgb,var(--flow-color) 46%,transparent)}.LidoReport_flowControls__ij9Es .LidoReport_flowFilterActive___4_o_{box-shadow:inset 0 0 0 1px var(--flow-color)}.LidoReport_flowToggleIndicator__JjOyH{display:grid;place-items:center;width:17px;height:17px;flex:0 0 auto;border:1px solid color-mix(in srgb,var(--flow-color) 58%,#aab2bc);border-radius:4px;background:#fff;color:#fff;font-size:10px;font-weight:800;line-height:1}.LidoReport_flowFilterActive___4_o_ .LidoReport_flowToggleIndicator__JjOyH{border-color:var(--flow-color);background:var(--flow-color)}.LidoReport_flowToggleLabel__Giw7W{display:inline-flex;align-items:baseline;gap:5px;white-space:nowrap}.LidoReport_flowToggleLabel__Giw7W strong{color:var(--flow-color);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:8px;letter-spacing:.05em}.LidoReport_flowControls__ij9Es small{display:none}.LidoReport_flowDescription__tBfty{min-height:20px;margin:12px 0 10px;color:var(--muted-strong);font-size:11px}.LidoReport_flowCanvas__viIrU{overflow-x:auto;border:1px solid var(--line);border-radius:8px;background:#fff}.LidoReport_flowDiagram__n4TT3{display:block;width:100%;min-width:900px;height:auto;font-family:Source Sans\ 3,system-ui,sans-serif}.LidoReport_flowPreview__vlZrz .LidoReport_flowDiagram__n4TT3{min-width:0}.LidoReport_flowBandLine__8Rsv6{stroke:#e3e8ef;stroke-dasharray:3 5}.LidoReport_flowBandLabel__OUW9M{fill:#949494;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9px;font-weight:700;letter-spacing:.16em}.LidoReport_flowNodeLabel__1Pkw_{display:flex;flex-direction:column;justify-content:center;gap:3px;width:100%;height:100%;overflow-wrap:anywhere}.LidoReport_flowNodeName__7ZCkb{color:#111;font-size:12px;font-weight:700;line-height:14px}.LidoReport_flowNodeMeta__vvEap{font-size:8.5px;line-height:10px}.LidoReport_flowEdgeLabel__Opg_0,.LidoReport_flowNodeMeta__vvEap{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-weight:600}.LidoReport_flowEdgeLabel__Opg_0{font-size:9px}.LidoReport_flowLegend__LccWW{display:grid;gap:8px;margin-top:13px;color:var(--muted);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:8px;text-transform:uppercase;letter-spacing:.06em}.LidoReport_flowLegend__LccWW>div{display:flex;flex-wrap:wrap;gap:15px}.LidoReport_flowLegend__LccWW span{display:inline-flex;align-items:center}.LidoReport_flowLegend__LccWW i{display:inline-block;width:7px;height:7px;margin-right:6px;border:1px solid;border-radius:2px}.LidoReport_flowLegendNote__HmFyI{margin:0;font-family:inherit;font-size:11px;text-transform:none;letter-spacing:0;color:var(--muted)}.LidoReport_flowGroup__pl8O6{fill:rgba(26,111,181,.035);stroke:#c2d8ea;stroke-dasharray:4 4}.LidoReport_flowGroupLabel__KH4aN{fill:#6a8db1;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:8px;font-weight:700;letter-spacing:.14em}.LidoReport_detailBackdrop__KH_VG{position:absolute;inset:0;width:100%;height:100%;border:0;background:rgba(15,23,42,.34);backdrop-filter:blur(6px);cursor:default;animation:LidoReport_fadeIn__l8Zk9 .16s ease-out}.LidoReport_detailPanel__SaOhe{position:absolute;top:0;right:0;bottom:0;width:min(860px,90vw);border-left:1px solid var(--line-strong);background:#fff;box-shadow:-30px 0 100px rgba(15,23,42,.2);outline:none;animation:LidoReport_panelIn__KyDN1 .22s cubic-bezier(.22,1,.36,1)}.LidoReport_detailHeader__0Czw0{height:100px;padding:0 38px;display:flex;align-items:center;justify-content:space-between;border-bottom:1px solid var(--line)}.LidoReport_detailHeader__0Czw0>div>span{color:var(--blue);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9px;font-weight:700;letter-spacing:.12em}.LidoReport_detailHeader__0Czw0 h2{margin:7px 0 0;font-family:ET Book,Georgia,serif;font-size:28px;font-weight:400;letter-spacing:-.035em}.LidoReport_closeButton__zDnRM{display:flex;align-items:center;gap:11px;border:0;background:transparent;color:var(--muted);font-family:inherit;font-size:10px;text-transform:uppercase;letter-spacing:.1em;cursor:pointer}.LidoReport_closeIcon__GKWRr{display:grid;place-items:center;width:32px;height:32px;border:1px solid var(--line);border-radius:50%;color:var(--ink)}.LidoReport_closeIcon__GKWRr svg{display:block;width:14px;height:14px;fill:none;stroke:currentColor;stroke-linecap:round;stroke-width:1.5}.LidoReport_detailScroll__E5cuD{height:calc(100vh - 100px);overflow-y:auto;overscroll-behavior:contain;padding:38px 38px 96px}.LidoReport_provenBanner__iuQky{display:flex;align-items:center;gap:16px;padding:16px 18px;border:1px solid rgba(18,133,101,.18);border-radius:5px;background:rgba(45,212,191,.055)}.LidoReport_provenBanner__iuQky.LidoReport_statusAbstract__oENNq{border-color:rgba(154,99,29,.2);background:rgba(154,99,29,.055)}.LidoReport_provenBanner__iuQky.LidoReport_statusOpen__ro4De{border-color:rgba(180,75,67,.2);background:rgba(180,75,67,.05)}.LidoReport_provenIcon__G8mzc{display:grid;place-items:center;flex:0 0 auto;width:34px;height:34px;border:1px solid rgba(18,133,101,.25);border-radius:50%;color:inherit}.LidoReport_statusAbstract__oENNq .LidoReport_provenIcon__G8mzc{border-color:rgba(154,99,29,.27)}.LidoReport_statusOpen__ro4De .LidoReport_provenIcon__G8mzc{border-color:rgba(180,75,67,.27)}.LidoReport_provenBanner__iuQky strong{display:block;margin-bottom:5px;color:inherit;font-size:10px;letter-spacing:.11em;text-transform:uppercase}.LidoReport_provenBanner__iuQky p{max-width:670px;margin:0;color:var(--muted-strong);font-size:11px;line-height:1.55}.LidoReport_provenBanner__iuQky code{display:block;max-width:690px;overflow:hidden;color:var(--muted);font-size:10px;text-overflow:ellipsis;white-space:nowrap}.LidoReport_provenance__7VHCB{display:grid;grid-template-columns:1fr 1fr;margin:17px 0 0;padding-bottom:17px;border-bottom:1px solid var(--line)}.LidoReport_provenance__7VHCB>div{display:grid;grid-template-columns:70px 1fr;gap:10px}.LidoReport_provenance__7VHCB>div+div{padding-left:22px;border-left:1px solid var(--line)}.LidoReport_provenance__7VHCB dt{color:var(--muted);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9px;letter-spacing:.08em;text-transform:uppercase}.LidoReport_provenance__7VHCB dd{margin:0;color:var(--muted-strong);font-size:11px;line-height:1.45}.LidoReport_detailSection__vFwUF{display:grid;grid-template-columns:150px minmax(0,1fr);gap:30px;padding-block:42px;border-bottom:1px solid var(--line)}.LidoReport_detailSection__vFwUF:last-child{border-bottom:0}.LidoReport_auditorNotes__OHjBs{display:grid;gap:12px}.LidoReport_auditorNotes__OHjBs li,.LidoReport_auditorNotes__OHjBs p{margin:0;color:var(--ink);font-size:16px;line-height:1.7;letter-spacing:0}.LidoReport_auditorNotes__OHjBs ul{margin:0;padding:0 0 0 1.2em;list-style:disc}.LidoReport_auditorNotes__OHjBs li+li{margin-top:6px}.LidoReport_auditorNotes__OHjBs ul ul{margin-top:6px;list-style:circle}.LidoReport_auditorMath__xkbPa{padding-inline:.12em}.LidoReport_auditorMath__xkbPa .katex{font-size:1.02em}.LidoReport_detailSectionHeading__VgFrF{display:flex;align-items:baseline;gap:12px}.LidoReport_detailSectionHeading__VgFrF span{color:#a1a1a1;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9px}.LidoReport_detailSectionHeading__VgFrF h3{margin:0;font-size:11px;font-weight:700;letter-spacing:.08em;text-transform:uppercase}.LidoReport_detailSectionBody__4qBmk{min-width:0;color:var(--muted-strong);font-size:13px;line-height:1.75}.LidoReport_detailSectionBody__4qBmk>p{margin:0}.LidoReport_statement__sECCY{white-space:pre-line;color:var(--ink);font-family:ET Book,Georgia,serif;font-size:22px;line-height:1.48;letter-spacing:-.02em}.LidoReport_guaranteeCard__Ad9pt p code,.LidoReport_statement__sECCY code{font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:.8em;letter-spacing:0}.LidoReport_guaranteeExpression__9vL_S{min-width:0}.LidoReport_expressionTabs__GH6jb{display:inline-flex;gap:3px;margin-bottom:20px;padding:3px;border:1px solid var(--line);border-radius:999px;background:#f6f7f7}.LidoReport_expressionTabs__GH6jb button{min-width:62px;min-height:28px;padding:0 11px;border:0;border-radius:999px;background:transparent;color:var(--muted);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:8px;font-weight:700;letter-spacing:.08em;text-transform:uppercase;cursor:pointer}.LidoReport_expressionTabs__GH6jb button:hover{color:var(--ink)}.LidoReport_expressionTabs__GH6jb button[aria-pressed=true]{background:#fff;color:var(--ink);box-shadow:0 1px 4px rgba(15,23,42,.1)}.LidoReport_expressionTabs__GH6jb button:focus-visible{outline:2px solid rgba(29,187,170,.45);outline-offset:1px}.LidoReport_expressionPanel__hhJi6{min-width:0}.LidoReport_mathView__HWWCo{padding-top:2px}.LidoReport_mathFormula__fMOGN{max-width:100%;padding:2px 0 4px;overflow-x:auto;overflow-y:hidden;color:var(--ink);scrollbar-width:thin;scrollbar-color:#cfd5d8 transparent}.LidoReport_mathFormula__fMOGN .katex-display{margin:0;width:-moz-max-content;width:max-content;min-width:100%;text-align:center}.LidoReport_mathFormula__fMOGN .katex{font-size:clamp(1.28em,2.25vw,1.5em)}.LidoReport_mathDefinitions__wEMvb{display:grid;gap:5px;margin:15px 0 0}.LidoReport_mathDefinitions__wEMvb>div{display:grid;grid-template-columns:minmax(130px,.28fr) 1fr;gap:12px;align-items:baseline}.LidoReport_mathDefinitions__wEMvb dt{color:var(--ink);font-size:14px;white-space:nowrap}.LidoReport_mathDefinitions__wEMvb dt .katex{font-size:1.05em}.LidoReport_mathDefinitions__wEMvb dd{margin:0;color:var(--muted-strong);font-family:KaTeX_Main,Times New Roman,serif;font-size:14px;font-weight:400;line-height:1.4;letter-spacing:0}.LidoReport_appliesGrid___95Qw{display:grid;gap:0}.LidoReport_appliesBlock__D0In_{display:grid;grid-template-columns:116px minmax(0,1fr);gap:18px;padding-block:17px;border-bottom:1px solid var(--line)}.LidoReport_appliesBlock__D0In_:last-child{border-bottom:0}.LidoReport_appliesBlock__D0In_ h4{margin:0;color:var(--ink);font-size:10px}.LidoReport_appliesBlock__D0In_ ul{margin:0;padding:0;list-style:none}.LidoReport_appliesBlock__D0In_ li+li{margin-top:10px}.LidoReport_appliesFlow__jm9Vm{display:inline-flex;align-items:baseline;flex-wrap:wrap;gap:8px 10px;max-width:100%;padding:1px 0;border:0;background:none;color:var(--ink);font:inherit;font-size:13px;font-weight:550;line-height:1.4;text-align:left;cursor:pointer}.LidoReport_appliesFlow__jm9Vm small{display:inline-flex;align-items:center;gap:4px;color:var(--blue-bright);font-size:11px;font-weight:600;letter-spacing:-.01em;line-height:1}.LidoReport_appliesFlow__jm9Vm svg{width:11px;height:11px;fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.6}.LidoReport_appliesFlow__jm9Vm:focus-visible,.LidoReport_appliesFlow__jm9Vm:hover{color:var(--blue-bright);outline:none}.LidoReport_appliesFlow__jm9Vm:focus-visible small,.LidoReport_appliesFlow__jm9Vm:hover small{text-decoration:underline;text-underline-offset:2px}.LidoReport_appliesBlock__D0In_ strong{display:block;color:var(--ink);font-size:13px;font-weight:650;line-height:1.4}.LidoReport_appliesBlock__D0In_ p{margin:3px 0 0;color:var(--muted-strong);font-size:13px;line-height:1.55}.LidoReport_boundaryStack__A9z6X{display:grid;gap:14px}.LidoReport_boundaryBlock__kJFrB{padding:16px 20px 18px 22px;border-left:2px solid var(--muted);border-radius:0 6px 6px 0;background:rgba(15,23,42,.03)}.LidoReport_boundaryBlock__kJFrB[data-kind=gap]{border-left-color:var(--red);background:rgba(180,75,67,.06)}.LidoReport_boundaryBlock__kJFrB[data-kind=assumed]{border-left-color:var(--amber);background:rgba(154,99,29,.06)}.LidoReport_boundaryBlock__kJFrB[data-kind=outside]{border-left-color:var(--muted);background:rgba(15,23,42,.03)}.LidoReport_boundaryBlock__kJFrB[data-kind=outside] li:before{background:var(--muted)}.LidoReport_boundaryBlock__kJFrB[data-kind=proven]{border-left-color:var(--green);background:rgba(18,133,101,.05)}.LidoReport_boundaryBlock__kJFrB[data-kind=supporting]{border-left-color:var(--blue-bright);background:rgba(11,143,130,.05)}.LidoReport_boundaryBlock__kJFrB>header{display:flex;align-items:baseline;justify-content:space-between;gap:12px;margin-bottom:10px}.LidoReport_boundaryBlockEyebrow__klC8S{letter-spacing:.13em;text-transform:uppercase}.LidoReport_boundaryBlockCount__ucq_C,.LidoReport_boundaryBlockEyebrow__klC8S{font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:11px;font-weight:700}.LidoReport_boundaryBlockCount__ucq_C{opacity:.8}.LidoReport_boundaryBlock__kJFrB[data-kind=gap] .LidoReport_boundaryBlockCount__ucq_C,.LidoReport_boundaryBlock__kJFrB[data-kind=gap] .LidoReport_boundaryBlockEyebrow__klC8S{color:var(--red)}.LidoReport_boundaryBlock__kJFrB[data-kind=outside] .LidoReport_boundaryBlockCount__ucq_C,.LidoReport_boundaryBlock__kJFrB[data-kind=outside] .LidoReport_boundaryBlockEyebrow__klC8S{color:var(--muted-strong)}.LidoReport_boundaryBlock__kJFrB[data-kind=assumed] .LidoReport_boundaryBlockCount__ucq_C,.LidoReport_boundaryBlock__kJFrB[data-kind=assumed] .LidoReport_boundaryBlockEyebrow__klC8S{color:var(--amber)}.LidoReport_boundaryBlock__kJFrB[data-kind=proven] .LidoReport_boundaryBlockCount__ucq_C,.LidoReport_boundaryBlock__kJFrB[data-kind=proven] .LidoReport_boundaryBlockEyebrow__klC8S{color:var(--green)}.LidoReport_boundaryBlock__kJFrB[data-kind=supporting] .LidoReport_boundaryBlockCount__ucq_C,.LidoReport_boundaryBlock__kJFrB[data-kind=supporting] .LidoReport_boundaryBlockEyebrow__klC8S{color:var(--blue-bright)}.LidoReport_boundaryLead__R18go{margin:0 0 12px;color:var(--muted-strong);font-size:12px;line-height:1.6}.LidoReport_boundaryLead__R18go strong{color:var(--ink);font-weight:600}.LidoReport_boundaryBlock__kJFrB ul{margin:0;padding:0;list-style:none}.LidoReport_boundaryBlock__kJFrB li{position:relative;padding-left:15px;color:var(--ink);font-size:13px;line-height:1.55}.LidoReport_boundaryBlock__kJFrB li:before{content:"";position:absolute;top:.72em;left:0;width:6px;height:1px;background:currentColor;opacity:.55}.LidoReport_gapList__erOE_ li{display:grid;gap:3px}.LidoReport_gapList__erOE_ li strong{color:var(--ink);font-weight:650}.LidoReport_gapList__erOE_ li p{margin:0;color:var(--ink);font-size:12.5px;line-height:1.55}.LidoReport_gapList__erOE_ li small{display:block;color:var(--muted);font-size:11px;line-height:1.5}.LidoReport_gapList__erOE_ li small code{margin-right:8px;color:var(--amber);font-size:10px}.LidoReport_gapList__erOE_ li strong>code{color:var(--amber);font-size:11px}.LidoReport_gapList__erOE_ li+li{margin-top:13px}.LidoReport_gapList__erOE_ li{position:relative}.LidoReport_mitigation__TQC4t{display:inline-block;margin-left:7px;vertical-align:1px;outline:none}.LidoReport_mitigationIcon__JRlGj{display:inline-flex;align-items:center;justify-content:center;width:15px;height:15px;border:1px solid var(--amber);border-radius:50%;color:var(--amber);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9px;font-weight:700;cursor:help}.LidoReport_mitigationTip__tyBei{position:absolute;left:15px;right:0;top:calc(1.5em + 6px);z-index:5;padding:12px 14px;border:1px solid rgba(154,99,29,.35);border-radius:6px;background:var(--panel);box-shadow:0 10px 30px rgba(15,23,42,.14);color:var(--muted-strong);font-size:11.5px;font-weight:400;line-height:1.55;opacity:0;pointer-events:none;transform:translateY(4px);transition:opacity .12s ease,transform .12s ease}.LidoReport_mitigationTip__tyBei>span{display:block;margin-bottom:5px;color:var(--amber);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9px;font-weight:700;letter-spacing:.12em;text-transform:uppercase}.LidoReport_mitigation__TQC4t:focus .LidoReport_mitigationTip__tyBei,.LidoReport_mitigation__TQC4t:focus-within .LidoReport_mitigationTip__tyBei,.LidoReport_mitigation__TQC4t:hover .LidoReport_mitigationTip__tyBei{opacity:1;pointer-events:auto;transform:translateY(0)}.LidoReport_mitigation__TQC4t:focus .LidoReport_mitigationIcon__JRlGj{box-shadow:0 0 0 2px rgba(154,99,29,.25)}.LidoReport_boundaryEmpty__HMen8{margin:0;color:var(--muted-strong);font-size:12px}.LidoReport_boundaryBlock__kJFrB li+li{margin-top:7px}.LidoReport_boundaryBlock__kJFrB .LidoReport_assumptions__EQZrz{margin-top:2px}.LidoReport_boundaryBlock__kJFrB .LidoReport_assumption__Ij23n{background:var(--panel)}.LidoReport_contextNote__lxvsQ{margin-top:19px!important;padding:14px 15px;border-left:2px solid rgba(29,187,170,.5);background:rgba(45,212,191,.045);font-size:11px;line-height:1.6}.LidoReport_contextNote__lxvsQ strong{display:block;margin-bottom:4px;color:var(--blue-bright);font-size:8px;letter-spacing:.1em;text-transform:uppercase}.LidoReport_technicalDisclosure__GmNr_{border:0}.LidoReport_technicalDisclosure__GmNr_>summary{position:relative;display:flex;align-items:center;justify-content:space-between;gap:18px;padding:16px 30px 16px 0;color:var(--ink);font-size:11px;font-weight:700;cursor:pointer;list-style:none}.LidoReport_technicalDisclosure__GmNr_>summary::-webkit-details-marker{display:none}.LidoReport_technicalDisclosure__GmNr_>summary:after{content:"+";position:absolute;right:1px;color:var(--muted);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:15px;font-weight:400}.LidoReport_technicalDisclosure__GmNr_[open]>summary:after{content:"−"}.LidoReport_technicalDisclosure__GmNr_>summary small{color:var(--muted);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:8px;font-weight:500;letter-spacing:.06em;text-transform:uppercase}.LidoReport_technicalBody___gbar{padding:3px 0 22px}.LidoReport_technicalBody___gbar .LidoReport_provenance__7VHCB{margin-top:0;padding:15px 0 0;border-bottom:0}.LidoReport_scopeGroup__HAThA+.LidoReport_scopeGroup__HAThA,.LidoReport_technicalBody___gbar .LidoReport_provenance__7VHCB+.LidoReport_scopeGroup__HAThA{margin-top:29px}.LidoReport_scopeGroup__HAThA h4{margin:0 0 12px;color:var(--ink);font-size:10px;letter-spacing:.09em;text-transform:uppercase}.LidoReport_scopeGroup__HAThA ul{margin:0;padding:0;list-style:none}.LidoReport_scopeGroup__HAThA li{position:relative;padding-left:17px}.LidoReport_scopeGroup__HAThA li:before{content:"";position:absolute;top:.78em;left:0;width:5px;height:1px;background:var(--blue)}.LidoReport_scopeGroup__HAThA li+li{margin-top:9px}.LidoReport_assumptions__EQZrz{display:grid;gap:9px}.LidoReport_assumption__Ij23n{display:grid;grid-template-columns:minmax(135px,.38fr) 1fr;gap:15px;padding:12px;border:1px solid var(--line);border-radius:4px}.LidoReport_assumption__Ij23n code{color:#9a631d;font-size:10px}.LidoReport_assumption__Ij23n p{margin:0;font-size:11px;line-height:1.55}.LidoReport_sourceLinks__PIUfH{display:grid;gap:7px}.LidoReport_sourceLinks__PIUfH a{display:flex;align-items:center;justify-content:space-between;gap:15px;padding:10px 12px;border:1px solid var(--line);border-radius:4px;color:var(--muted-strong);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:10px;transition:border-color .15s ease,color .15s ease}.LidoReport_sourceLinks__PIUfH a:hover{border-color:rgba(29,187,170,.34);color:var(--blue-bright)}.LidoReport_proofMeta__M8OA6{display:flex;align-items:center;justify-content:space-between;gap:20px;margin-bottom:13px;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9px}.LidoReport_proofMeta__M8OA6>div{display:flex;align-items:center;gap:7px;color:inherit;text-transform:uppercase;letter-spacing:.08em}.LidoReport_proofMeta__M8OA6>code{max-width:55%;overflow:hidden;color:var(--muted);text-overflow:ellipsis;white-space:nowrap}.LidoReport_kernelDot__etHEg{width:5px;height:5px;border-radius:50%;background:var(--green);box-shadow:0 0 9px rgba(18,133,101,.35)}.LidoReport_proofMeta__M8OA6.LidoReport_statusAbstract__oENNq .LidoReport_kernelDot__etHEg{background:var(--amber);box-shadow:0 0 9px rgba(154,99,29,.3)}.LidoReport_openProof__YkAgm{padding:23px;border:1px solid rgba(180,75,67,.2);border-radius:5px;background:rgba(180,75,67,.045)}.LidoReport_openProofLabel__dpjAW{color:var(--red);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:8px;font-weight:700;letter-spacing:.11em;text-transform:uppercase}.LidoReport_openProof__YkAgm h4{margin:11px 0 8px;color:var(--ink);font-family:ET Book,Georgia,serif;font-size:25px;font-weight:400}.LidoReport_openProof__YkAgm>p{margin:0;color:var(--muted-strong);font-size:12px;line-height:1.65}.LidoReport_openProofLinks___f6HV{display:flex;flex-wrap:wrap;gap:8px;margin-top:18px}.LidoReport_openProofLinks___f6HV a{display:inline-flex;align-items:center;gap:7px;padding:9px 11px;border:1px solid rgba(180,75,67,.2);border-radius:4px;background:#fff;color:var(--red);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9px}.LidoReport_openProofLinks___f6HV svg{width:12px;height:12px;fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.3}.LidoReport_theoremStack__eEIrn{display:grid;gap:14px}.LidoReport_theoremStackLead__LLCQs{margin:0;color:var(--muted);font-size:12.5px;line-height:1.5}.LidoReport_theoremStackLead__LLCQs code{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:11px}.LidoReport_registeredTheorems__D504i{display:grid;gap:8px;margin:0 0 13px}.LidoReport_registeredTheorems__D504i>div{display:grid;gap:3px}.LidoReport_registeredTheorems__D504i dt{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9px;letter-spacing:.08em;text-transform:uppercase;color:var(--muted)}.LidoReport_registeredTheorems__D504i dd{margin:0}.LidoReport_registeredTheorems__D504i a{display:inline-flex;align-items:center;gap:6px;max-width:100%;color:inherit;text-decoration:none}.LidoReport_registeredTheorems__D504i a:hover code{text-decoration:underline}.LidoReport_registeredTheorems__D504i code{overflow:hidden;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:11px;text-overflow:ellipsis;white-space:nowrap}.LidoReport_registeredTheorems__D504i svg{width:11px;height:11px;flex:none;fill:none;stroke:currentColor;stroke-width:1.6}.LidoReport_codeShell__wImLL{overflow:hidden;border:1px solid #e1e5e9;border-radius:5px;background:#f8f8f8}.LidoReport_codeBar__fhC2D{min-height:43px;padding:0 13px;display:flex;align-items:center;justify-content:space-between;gap:20px;border-bottom:1px solid #e1e5e9;background:#fff}.LidoReport_codeFile__yRhRk{min-width:0;overflow:hidden;color:var(--muted);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9px;text-overflow:ellipsis;white-space:nowrap}.LidoReport_codeIdentity__lsz8K{display:grid;min-width:0;gap:3px}.LidoReport_codeIdentity__lsz8K>span:first-child{color:var(--blue);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:8px;font-weight:700;letter-spacing:.1em;text-transform:uppercase}.LidoReport_codeActions__2Isxn{display:flex;flex:0 0 auto;gap:5px}.LidoReport_codeAction__wtHFk{padding:5px 8px;border:1px solid #dfe3e7;border-radius:3px;background:#fff;color:var(--muted);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:8px;cursor:pointer}.LidoReport_codeAction__wtHFk:hover{border-color:rgba(29,187,170,.38);color:var(--blue-bright)}.LidoReport_codeBlock___SoqE{max-height:390px;margin:0;padding:20px;overflow:auto;color:#24292f;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:10px;line-height:1.75;-moz-tab-size:2;-o-tab-size:2;tab-size:2}.LidoReport_leanComment__26Cuy{color:#7a8189;font-style:italic}.LidoReport_leanString__EDH12{color:#8a5a22}.LidoReport_leanKeyword__IZNlQ{color:#7448a5}.LidoReport_leanType__O_8x2{color:#087f8c}.LidoReport_leanConstant__9EVa3{color:#a75024}.LidoReport_leanNumber__92R__{color:#1d64a8}.LidoReport_leanOperator__75KxN{color:#52606d}.LidoReport_reproduce__9sDdh{margin-top:14px;padding:13px;border-left:2px solid rgba(29,187,170,.5);background:rgba(45,212,191,.045)}.LidoReport_reproduce__9sDdh span{display:block;margin-bottom:7px;color:var(--blue);font-size:8px;font-weight:700;letter-spacing:.12em;text-transform:uppercase}.LidoReport_reproduce__9sDdh code{display:block;overflow-wrap:anywhere;color:var(--muted-strong);font-size:9px;line-height:1.6}.LidoReport_loginPage__8i4YL{display:grid;place-items:center;padding:24px}.LidoReport_loginCard__ZGi2o{position:relative;z-index:1;width:min(470px,100%);padding:40px;border:1px solid var(--line);border-radius:10px;background:hsla(0,0%,100%,.94);backdrop-filter:blur(20px);box-shadow:0 18px 60px rgba(15,23,42,.07),0 1px 2px rgba(15,23,42,.04)}.LidoReport_loginMark__ij1wq{display:block;width:46px;height:40px;margin-bottom:30px;-o-object-fit:contain;object-fit:contain}.LidoReport_loginEyebrow__L2HNC{color:var(--blue);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9px;font-weight:700;letter-spacing:.13em;text-transform:uppercase}.LidoReport_loginCard__ZGi2o h1{margin:11px 0 28px;font-family:ET Book,Georgia,serif;font-size:50px;font-weight:400;letter-spacing:-.045em}.LidoReport_loginForm__vtbQ4{margin:0}.LidoReport_srOnly__Wx_fs{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.LidoReport_passwordRow__xsDR6{display:grid;gap:12px}.LidoReport_passwordRow__xsDR6 input{min-width:0;height:50px;padding:0 15px;border:1px solid var(--line-strong);border-radius:6px;outline:none;background:#fff;color:var(--ink);font-family:ui-monospace,SFMono-Regular,Menlo,monospace}.LidoReport_passwordRow__xsDR6 input::-moz-placeholder{color:#9a9a9a;opacity:1}.LidoReport_passwordRow__xsDR6 input::placeholder{color:#9a9a9a;opacity:1}.LidoReport_passwordRow__xsDR6 input:focus{border-color:rgba(29,187,170,.62);box-shadow:inset 0 0 0 1px rgba(45,212,191,.12)}.LidoReport_passwordRow__xsDR6 button{height:50px;padding:0 18px;border:1px solid var(--blue-bright);border-radius:6px;background:var(--blue-bright);color:#fff;font-family:inherit;font-size:12px;font-weight:700;cursor:pointer;transition:background .15s ease,border-color .15s ease,transform .15s ease}.LidoReport_passwordRow__xsDR6 button:hover{border-color:#08766d;background:#08766d;transform:translateY(-1px)}.LidoReport_passwordRow__xsDR6 button:focus-visible{outline:3px solid rgba(29,187,170,.28);outline-offset:2px}.LidoReport_loginError__XdTv2{margin:9px 0 0;color:#c23d36;font-size:11px}.LidoReport_configNotice__s9zG_{margin-top:30px;padding:15px;border:1px solid rgba(176,113,33,.24);border-radius:4px;background:hsla(32,66%,67%,.08);color:#9a631d;font-size:11px}.LidoReport_configNotice__s9zG_ p{margin:7px 0 0;color:var(--muted)}.LidoReport_configNotice__s9zG_ code{color:var(--ink)}.LidoReport_loginFooter__mvyp3{display:flex;align-items:center;gap:6px;margin-top:28px;color:#9a9a9a;font-size:9px}@keyframes LidoReport_fadeIn__l8Zk9{0%{opacity:0}to{opacity:1}}@keyframes LidoReport_panelIn__KyDN1{0%{opacity:0;transform:translateX(28px)}to{opacity:1;transform:translateX(0)}}@keyframes LidoReport_mapPanelIn__llDvd{0%{opacity:0;transform:translateY(12px) scale(.992)}to{opacity:1;transform:translateY(0) scale(1)}}@media (max-width:960px){.LidoReport_hero__sdtSk{padding-block:80px}.LidoReport_scopeLayout__nQtZS{grid-template-columns:1fr;gap:42px}.LidoReport_heroLayout__ujwL_{grid-template-columns:1fr;gap:48px}.LidoReport_heroCopy__Ywh5G{max-width:720px}.LidoReport_flowPreview__vlZrz{width:min(720px,100%)}.LidoReport_guaranteeGrid__Oo5Xn{grid-template-columns:repeat(2,minmax(0,1fr))}.LidoReport_guaranteeCard__Ad9pt,.LidoReport_hasTwoLastCards__v6JnB .LidoReport_guaranteeCard__Ad9pt:nth-last-child(-n+2){grid-column:span 1}.LidoReport_flowControls__ij9Es{grid-template-columns:repeat(4,minmax(0,1fr))}}@media (max-width:700px){.LidoReport_footer__MG9jn,.LidoReport_hero__sdtSk,.LidoReport_navInner__bhauE,.LidoReport_overview__eLweq,.LidoReport_scopeIntro__02xY6{width:min(100% - 32px,1180px)}.LidoReport_navInner__bhauE{min-height:66px}.LidoReport_wordmarks__9OHDR{gap:12px}.LidoReport_wordmarks__9OHDR>img:first-child{width:29px;height:29px}.LidoReport_lidoLogo__W3Lrm{width:88px;height:auto}.LidoReport_draftStatus__Fu9_1{font-size:0;gap:0}.LidoReport_draftStatus__Fu9_1>span{width:7px;height:7px}.LidoReport_hero__sdtSk{padding-block:66px 72px}.LidoReport_hero__sdtSk h1{margin-top:19px;font-size:clamp(3.1rem,14vw,4.4rem)}.LidoReport_heroCopy__Ywh5G>p{font-size:15px}.LidoReport_overview__eLweq,.LidoReport_scopeIntro__02xY6{padding-block:70px}.LidoReport_scopeLayout__nQtZS{grid-template-columns:1fr;gap:42px}.LidoReport_scopeLead__1UZ_D h2{font-size:2.4rem}.LidoReport_scopeStatement__LzHDL{font-size:1.2rem}.LidoReport_sectionLead__Wvqhg{grid-template-columns:1fr;gap:20px;margin-bottom:34px}.LidoReport_sectionLead__Wvqhg h2{font-size:3rem}.LidoReport_guaranteeGrid__Oo5Xn{grid-template-columns:1fr}.LidoReport_guaranteeCard__Ad9pt{min-height:260px}.LidoReport_footer__MG9jn{min-height:130px;align-items:flex-start;padding-block:35px}.LidoReport_footer__MG9jn>div{flex-direction:column;gap:5px}.LidoReport_detailPanel__SaOhe{width:100vw;border-left:0}.LidoReport_detailHeader__0Czw0{height:86px;padding-inline:19px}.LidoReport_detailHeader__0Czw0 h2{max-width:270px;font-size:22px}.LidoReport_closeLabel__sLwKo{display:none}.LidoReport_detailScroll__E5cuD{height:calc(100vh - 86px);padding:22px 18px 70px}.LidoReport_provenBanner__iuQky{align-items:flex-start}.LidoReport_provenBanner__iuQky code{max-width:calc(100vw - 110px)}.LidoReport_provenance__7VHCB{grid-template-columns:1fr}.LidoReport_provenance__7VHCB>div{grid-template-columns:64px 1fr}.LidoReport_provenance__7VHCB>div+div{margin-top:10px;padding:10px 0 0;border-top:1px solid var(--line);border-left:0}.LidoReport_detailSection__vFwUF{grid-template-columns:1fr;gap:19px;padding-block:34px}.LidoReport_statement__sECCY{font-size:20px}.LidoReport_mathFormula__fMOGN{padding-block:0 3px}.LidoReport_mathFormula__fMOGN .katex{font-size:.88em}.LidoReport_mathDefinitions__wEMvb{gap:4px;margin-top:13px}.LidoReport_mathDefinitions__wEMvb>div{grid-template-columns:minmax(92px,.34fr) 1fr;gap:9px}.LidoReport_appliesBlock__D0In_{grid-template-columns:1fr;gap:8px}.LidoReport_assumption__Ij23n{grid-template-columns:1fr;gap:7px}.LidoReport_proofMeta__M8OA6{align-items:flex-start;flex-direction:column;gap:8px}.LidoReport_proofMeta__M8OA6>code{max-width:100%}.LidoReport_codeBar__fhC2D{align-items:flex-start;flex-direction:column;padding-block:10px;gap:8px}.LidoReport_codeBlock___SoqE{font-size:9px;padding:15px}.LidoReport_flowMapPanel__qL8EA{inset:8px;grid-template-rows:70px minmax(0,1fr);border-radius:9px}.LidoReport_flowMapHeader__IaIq2{padding-inline:18px}.LidoReport_flowMapHeader__IaIq2 h2{font-size:19px}.LidoReport_flowMapBody__mKfID{padding:20px 16px 32px}.LidoReport_flowControls__ij9Es{display:flex;overflow-x:auto;overflow-y:hidden}.LidoReport_flowControls__ij9Es button{flex:0 0 auto}.LidoReport_flowDiagram__n4TT3{min-width:820px}.LidoReport_flowPreview__vlZrz .LidoReport_flowDiagram__n4TT3{min-width:0}.LidoReport_loginPage__8i4YL{padding:16px}.LidoReport_loginCard__ZGi2o{padding:30px 24px}.LidoReport_loginCard__ZGi2o h1{font-size:43px}}@media (prefers-reduced-motion:reduce){.LidoReport_detailBackdrop__KH_VG,.LidoReport_detailPanel__SaOhe,.LidoReport_flowMapBackdrop__7qKju,.LidoReport_flowMapPanel__qL8EA{animation:none}.LidoReport_commit__2N550,.LidoReport_guaranteeCard__Ad9pt,.LidoReport_passwordRow__xsDR6 button{transition:none}}.LidoReport_codeDefinitions__t9iTM{display:grid;gap:6px;padding:10px 13px 12px;border-top:1px solid #e1e5e9;background:#fff}.LidoReport_codeDefinitions__t9iTM>span{color:var(--muted);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:8px;font-weight:700;letter-spacing:.1em;text-transform:uppercase}.LidoReport_codeDefinitions__t9iTM>div{display:flex;flex-wrap:wrap;gap:5px}.LidoReport_codeDefinitions__t9iTM a{display:inline-flex;align-items:center;gap:4px;padding:3px 7px;border:1px solid #dfe3e7;border-radius:3px;color:var(--muted);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9px;text-decoration:none}.LidoReport_codeDefinitions__t9iTM a:hover{border-color:rgba(29,187,170,.38);color:var(--blue-bright)}.LidoReport_codeDefinitions__t9iTM code{font-family:inherit;font-size:inherit}.LidoReport_registeredDefinitions__hNqj3{display:flex;flex-wrap:wrap;gap:4px 10px;margin-top:4px;padding-left:12px;border-left:2px solid #e1e5e9}.LidoReport_registeredDefinitions__hNqj3 a{color:var(--muted)}.LidoReport_registeredDefinitions__hNqj3 code{font-size:10px}.LidoReport_vocabulary__VEmhk{display:grid;gap:10px;margin:0}.LidoReport_vocabulary__VEmhk>div{display:grid;gap:4px}.LidoReport_vocabulary__VEmhk dt{display:flex;flex-wrap:wrap;align-items:baseline;gap:4px 10px}.LidoReport_vocabulary__VEmhk dt>code{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:11px;font-weight:700;color:var(--blue)}.LidoReport_vocabularyDoc__NRPfx{font-size:12px;color:var(--ink,#1f2937)}.LidoReport_vocabulary__VEmhk dt a{margin-left:auto;color:var(--muted);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9px;text-decoration:none}.LidoReport_vocabulary__VEmhk dt a:hover{color:var(--blue-bright)}.LidoReport_vocabulary__VEmhk dd{margin:0}.LidoReport_vocabulary__VEmhk pre{margin:0;padding:10px 12px;border:1px solid #e1e5e9;border-radius:4px;background:#f8fafb;font-size:10px;line-height:1.5;overflow-x:auto}.LidoReport_flowMapIntro__Yz96x{margin:4px 0 0;font-size:12px;color:var(--muted)}.LidoReport_boundaryNote__mtft_{margin:-16px 0 44px}.LidoReport_boundaryNote__mtft_>p{max-width:980px}.LidoReport_boundaryNote__mtft_ p{margin:0 0 12px;color:var(--muted-strong);font-size:16px;line-height:1.65}.LidoReport_boundaryAside__pNf9y{margin-top:26px;padding:16px 20px 16px 22px;border-left:2px solid var(--amber);border-radius:0 6px 6px 0;background:rgba(154,99,29,.06)}.LidoReport_boundaryEyebrow__ayX_w{display:block;margin-bottom:10px;color:var(--amber);font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:11px;font-weight:700;letter-spacing:.13em;text-transform:uppercase}.LidoReport_boundaryAside__pNf9y p{margin:0}.LidoReport_boundaryAside__pNf9y strong{color:var(--ink);font-weight:600}.LidoReport_boundaryAside__pNf9y em{font-style:normal;font-weight:600;color:var(--ink)}.LidoReport_boundaryNote__mtft_ a{color:inherit;text-decoration:underline}.LidoReport_verifySteps__7x_Ay{display:grid;gap:0;margin:-4px 0 0;padding:0;list-style:none}.LidoReport_verifySteps__7x_Ay li{display:grid;grid-template-columns:22px minmax(0,1fr);gap:12px;align-items:start;padding:14px 0;border-top:1px solid var(--line)}.LidoReport_verifySteps__7x_Ay li:first-child{border-top:0;padding-top:4px}.LidoReport_verifySteps__7x_Ay li>span{width:22px;height:22px;display:inline-flex;align-items:center;justify-content:center;margin-top:1px;border:1px solid var(--line-strong,#cfd5dc);border-radius:999px;color:var(--muted);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:10px;font-weight:700}.LidoReport_verifySteps__7x_Ay h4{margin:2px 0 0;font-size:15px;font-weight:650;letter-spacing:-.02em;line-height:1.3}.LidoReport_verifySteps__7x_Ay>li>div>p{margin:3px 0 10px;color:var(--muted-strong);font-size:13.5px;line-height:1.6}.LidoReport_verifySteps__7x_Ay .LidoReport_registeredTheorems__D504i,.LidoReport_verifySteps__7x_Ay .LidoReport_sourceLinks__PIUfH{margin-top:0}.LidoReport_commandBox__L6Zd9{display:flex;align-items:flex-start;gap:10px;padding:10px 12px;border:1px solid #e1e5e9;border-radius:4px;background:#f8fafb}.LidoReport_commandBox__L6Zd9 code{flex:1;overflow-wrap:anywhere;color:var(--muted-strong);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:10px;line-height:1.6}.LidoReport_commandBox__L6Zd9 button{flex:none;padding:4px 8px;border:1px solid #dfe3e7;border-radius:3px;background:#fff;color:var(--muted);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:8px;font-weight:700;letter-spacing:.08em;text-transform:uppercase;cursor:pointer}.LidoReport_commandBox__L6Zd9 button:hover{border-color:rgba(29,187,170,.38);color:var(--blue-bright)}.LidoReport_verifyGuide__HdN5g{margin:10px 0 0!important}.LidoReport_verifyGuide__HdN5g a{display:inline-flex;align-items:center;gap:5px;color:var(--blue-bright);font-size:13px;text-decoration:none}.LidoReport_verifyGuide__HdN5g a:hover{text-decoration:underline}.LidoReport_verifyGuide__HdN5g svg{width:11px;height:11px;fill:none;stroke:currentColor;stroke-width:1.6}.LidoReport_modelList__Xr7Z_{display:grid;gap:8px;margin:0}.LidoReport_modelList__Xr7Z_>div{display:grid;gap:4px}.LidoReport_modelList__Xr7Z_ dt{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9px;letter-spacing:.08em;text-transform:uppercase;color:var(--muted)}.LidoReport_modelList__Xr7Z_ dd{display:flex;flex-wrap:wrap;gap:4px 12px;margin:0}.LidoReport_modelList__Xr7Z_ dd a{display:inline-flex;align-items:center;gap:5px;color:inherit;text-decoration:none}.LidoReport_modelList__Xr7Z_ dd a:hover code{text-decoration:underline}.LidoReport_modelList__Xr7Z_ code{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:11px}.LidoReport_modelList__Xr7Z_ svg{width:11px;height:11px;flex:none;fill:none;stroke:currentColor;stroke-width:1.6}.LidoReport_sourcePairs__6kflK{display:grid;gap:6px}.LidoReport_sourcePair__9Au2k{display:grid;grid-template-columns:minmax(0,.9fr) minmax(0,1.3fr);gap:0;border:1px solid #e1e5e9;border-radius:4px;overflow:hidden}.LidoReport_sourcePairLean__R0LZN,.LidoReport_sourcePairSolidity___VMSI{min-width:0;padding:9px 12px;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:10.5px;line-height:1.5}.LidoReport_sourcePairSolidity___VMSI{display:flex;align-items:center;justify-content:space-between;gap:8px;color:var(--ink);background:#fff;text-decoration:none}.LidoReport_sourcePairSolidity___VMSI:hover{text-decoration:underline}.LidoReport_sourcePairLean__R0LZN{display:flex;flex-direction:column;gap:4px;border-left:1px solid #e1e5e9;background:#f8fafb}.LidoReport_sourcePairLean__R0LZN a{display:flex;align-items:center;gap:6px;min-width:0;color:var(--ink);text-decoration:none}.LidoReport_sourcePairLean__R0LZN a:hover code{text-decoration:underline}.LidoReport_sourcePairLean__R0LZN .LidoReport_counterpartNote__YmUWd{margin:4px 0 8px;color:var(--muted);font-family:var(--font-sans,sans-serif);font-size:11px;line-height:1.5;overflow-wrap:anywhere}.LidoReport_sourcePairLean__R0LZN code{flex:1;min-width:0;overflow-wrap:anywhere;font-family:inherit;font-size:inherit}.LidoReport_sourcePairLean__R0LZN small{flex:none;color:var(--muted);font-size:8px;letter-spacing:.06em;text-transform:uppercase}.LidoReport_sourcePairNone__iss4B{color:var(--muted);font-size:10px}.LidoReport_sourcePair__9Au2k svg{width:11px;height:11px;flex:none;fill:none;stroke:currentColor;stroke-width:1.6}@media (max-width:700px){.LidoReport_sourcePair__9Au2k{grid-template-columns:1fr}.LidoReport_sourcePairLean__R0LZN{border-left:0;border-top:1px solid #e1e5e9}}.LidoReport_assumptionNotes__HY_2a{display:grid;gap:6px;margin:8px 0 6px;padding:0 0 0 12px;border-left:2px solid #e6e9ee;list-style:none}.LidoReport_assumptionNotes__HY_2a li{font-size:12.5px;line-height:1.55;color:var(--muted-strong)}.LidoReport_assumptionNotes__HY_2a li strong{display:block;font-weight:600;color:var(--ink)}.LidoReport_evidenceLinks__XzY66{display:flex;flex-direction:column;gap:.3rem;margin-top:.45rem;overflow-wrap:anywhere}.LidoReport_evidenceLinks__XzY66 a{color:inherit;text-decoration:underline;text-underline-offset:.15em}.LidoReport_evidenceLinks__XzY66 svg{display:inline-block;width:.8em;height:.8em;margin-left:.3em;fill:none;stroke:currentColor;stroke-width:1.4}.LidoReport_gapList__erOE_ li .LidoReport_assumptionIds__1WroD{display:flex;flex-wrap:wrap;gap:6px 12px}.LidoReport_supplementaryReview__I8o82{margin-top:24px;padding:24px;border:1px solid #d6cec0;border-radius:12px;background:#faf8f3;overflow-wrap:anywhere}.LidoReport_supplementaryReview__I8o82 h3{margin:0 0 12px;font-size:20px}.LidoReport_supplementaryReview__I8o82 h4{margin:20px 0 8px}.LidoReport_supplementaryReview__I8o82 li,.LidoReport_supplementaryReview__I8o82 p{line-height:1.6}.LidoReport_supplementaryReview__I8o82 ul{padding-left:20px}.LidoReport_supplementaryReview__I8o82 li+li{margin-top:8px}.LidoReport_boundaryLead__R18go a,.LidoReport_supplementaryReview__I8o82 a{color:inherit;text-underline-offset:3px}.LidoReport_boundaryLead__R18go a svg,.LidoReport_supplementaryReview__I8o82 a svg{display:inline-block;vertical-align:middle;width:12px;height:12px;fill:none;stroke:currentColor;stroke-width:1.6}.LidoReport_supplementaryReview__I8o82 summary{cursor:pointer;font-size:13px;color:var(--muted)}.LidoReport_supplementaryReview__I8o82 details[open] summary{margin-bottom:12px}