.page_i11pI{background:var(--n-2);color:var(--t-1);overflow-x:clip}.page_i11pI :focus-visible{outline:2px solid var(--live);outline-offset:3px}.sheet_x-i4N{max-width:var(--max);padding:72px var(--gut) 120px;grid-template-columns:220px minmax(0,680px);justify-content:center;gap:28px clamp(48px,7vw,96px);margin:0 auto;display:grid}.head_y9bfk{margin-bottom:24px}.lede_P0zZr{color:var(--t-3);margin-top:0;font-size:16.5px;line-height:1.5}.openClaim_ZeeRe{margin-top:12px}.openClaim_ZeeRe .claim_NhBG4{margin:0;font-size:27px;line-height:1.24}.contents_BG25i{align-self:start;max-height:calc(100svh - 120px);position:sticky;top:96px;overflow-y:auto}.contents_BG25i summary{list-style:none}.contents_BG25i summary::-webkit-details-marker{display:none}.contentsHead_p-aDy{font:500 11px var(--mono);letter-spacing:.08em;text-transform:uppercase;color:var(--t-3);padding-bottom:14px}.contentsHead_p-aDy span{display:none}.contents_BG25i ol{margin:0;padding:0;list-style:none}.contents_BG25i a{color:var(--t-3);grid-template-columns:26px minmax(0,1fr);gap:2px;padding:5px 0;font-size:13px;line-height:1.35;text-decoration:none;transition:color .2s;display:grid}.contents_BG25i a span{font:500 10.5px/1.75 var(--mono);color:var(--t-4)}.contents_BG25i a:hover{color:var(--t-1)}.contents_BG25i a[aria-current]{color:var(--t-1);font-weight:600}.contents_BG25i a[aria-current] span{color:var(--live)}.article_W4fu7{--dot:13px;--line:1.5px;counter-reset:thesis-figure;width:100%;min-width:0;max-width:700px;color:var(--t-1);justify-self:center;font-size:16.5px;line-height:1.5}.article_W4fu7 p{text-wrap:pretty;margin:0 0 14px}.article_W4fu7 strong{font-weight:650}.article_W4fu7 a{color:var(--t-1);text-decoration:underline;-webkit-text-decoration-color:var(--live);text-decoration-color:var(--live);text-underline-offset:3px;text-decoration-thickness:1.5px}.article_W4fu7 a:hover{color:var(--live)}.article_W4fu7 code{font:500 .84em var(--mono);color:var(--t-2)}.intro_BX9fk{padding-bottom:0}.part_Tr6lK{padding-top:96px;scroll-margin-top:72px}.h2_fKhj5{font-family:"Inter Display", var(--display);letter-spacing:-.045em;text-wrap:balance;gap:10px;margin:0 0 20px;font-size:40px;font-weight:640;line-height:1.04;display:grid}.no_B70Dp{font:500 12px var(--mono);letter-spacing:.06em;color:var(--live)}.h3_RZa4k{font-family:"Inter Display", var(--display);letter-spacing:-.025em;margin:32px 0 10px;scroll-margin-top:80px;font-size:22px;font-weight:640;line-height:1.2}.h4_jniI4{letter-spacing:-.015em;margin:18px 0 6px;scroll-margin-top:80px;font-size:17px;font-weight:680;line-height:1.3}.ul_9tl8D,.ol_D1Sqp{margin:0 0 14px;padding:0;list-style:none}.ul_9tl8D li{margin:.15em 0;padding-left:22px;position:relative}.ul_9tl8D li:before{content:"";background:var(--live);border-radius:50%;width:5px;height:5px;position:absolute;top:.66em;left:4px}.ul_9tl8D .ul_9tl8D{margin:.45em 0 .65em}.ul_9tl8D .ul_9tl8D li{color:var(--t-2);padding-left:22px}.ul_9tl8D .ul_9tl8D li:before{background:var(--n-5);width:6px;height:6px}.ol_D1Sqp{counter-reset:n}.ol_D1Sqp li{counter-increment:n;padding:6px 0 6px 36px;position:relative}.ol_D1Sqp li:before{content:counter(n, decimal-leading-zero);font:500 11.5px var(--mono);color:var(--live);position:absolute;top:.75em;left:0}.ol_D1Sqp .ol_D1Sqp{counter-reset:n;margin:.6em 0 0}.ol_D1Sqp .ol_D1Sqp li{color:var(--t-2);padding-left:32px}.ol_D1Sqp .ol_D1Sqp li:before{color:var(--t-3)}.ul_9tl8D li p,.ol_D1Sqp li p{margin:0}.cols_74D-b{columns:2;column-gap:32px}.cols_74D-b>li{break-inside:avoid}.rows_MhE7->li{grid-template-columns:26px minmax(0,1fr);align-items:start;gap:4px;margin:0;padding:5px 0;display:grid}.ul_9tl8D.rows_MhE7->li{padding-left:0}.ul_9tl8D.rows_MhE7->li:before{margin:.62em 0 0 4px;position:static;top:auto;left:auto}.ol_D1Sqp.rows_MhE7->li{padding-left:0}.ol_D1Sqp.rows_MhE7->li:before{padding-top:.2em;position:static;top:auto;left:auto}.claim_NhBG4{font-family:"Inter Display", var(--display);letter-spacing:-.025em;color:var(--t-1);text-wrap:pretty;margin:32px 0;font-size:23px;line-height:1.3}.claim_NhBG4 p{margin:0}.claim_NhBG4 strong{font-weight:440}.quote_iGjgD{border-left:2px solid var(--line-3);color:var(--t-2);margin:14px 0;padding-left:14px;font-size:16.5px;font-style:italic}.quote_iGjgD p{margin:0}.dot_oi3dI{z-index:1;width:var(--dot);height:var(--dot);background:var(--n-1);box-shadow:inset 0 0 0 1.5px var(--t-4);border-radius:50%;flex:none;position:relative}[data-done]>.dot_oi3dI{background:var(--t-1);box-shadow:none}[data-live]>.dot_oi3dI{background:var(--live);box-shadow:none}.rail_VvJhA{margin:0;padding:0;list-style:none}.k_X1rF8{letter-spacing:-.015em;color:var(--t-1);font-size:16px;font-weight:600;line-height:1.25}[data-live] .k_X1rF8{color:var(--live)}.railName_z-7Sq{font:600 11px var(--mono);letter-spacing:.08em;text-transform:uppercase;color:var(--t-3)}[data-live] .railName_z-7Sq{color:var(--live)}.railH_mZzfW{--n:2;--reach:0;--pad:3.2em;isolation:isolate;width:min(100%,28rem);min-height:48px;margin-inline:auto;position:relative}.railH_mZzfW:before,.railH_mZzfW:after{content:"";z-index:0;left:var(--pad);top:calc((var(--dot) - var(--line)) / 2);height:var(--line);position:absolute}.railH_mZzfW:before{right:var(--pad);background:var(--n-5)}.railH_mZzfW:after{width:calc((100% - 2 * var(--pad)) * var(--reach) / max(var(--n) - 1, 1));background:var(--t-1)}.railH_mZzfW li{z-index:1;top:0;left:calc(var(--pad) + (100% - 2 * var(--pad)) * var(--i) / max(var(--n) - 1, 1));width:min(9em, calc(90% / var(--n)));text-align:center;flex-direction:column;align-items:center;gap:6px;display:flex;position:absolute;transform:translate(-50%)}.railV_XjJBQ{width:max-content;max-width:100%;margin-inline:auto}.railV_XjJBQ li{grid-template-columns:var(--dot) minmax(0, 1fr);align-items:center;gap:0 10px;min-height:32px;padding:2px 0;display:grid;position:relative}.railV_XjJBQ li:before{content:"";z-index:0;left:calc((var(--dot) - var(--line)) / 2);width:var(--line);background:var(--n-5);position:absolute;top:0;bottom:0}.railV_XjJBQ li:first-child:before{top:50%}.railV_XjJBQ li:last-child:before{height:50%;bottom:auto}.railV_XjJBQ li:only-child:before{display:none}.railV_XjJBQ li[data-done]:before{background:var(--t-1)}.railV_XjJBQ li[data-live]:before{background:var(--live)}.railV_XjJBQ .dot_oi3dI{grid-area:1/1;align-self:center}.railV_XjJBQ .k_X1rF8,.railV_XjJBQ .railName_z-7Sq{grid-column:2}.lanes_rvA--{grid-template-columns:repeat(var(--cols,3), minmax(0, 1fr));grid-template-rows:repeat(var(--rows,1), auto);align-items:start;column-gap:28px;width:100%;display:grid}.lanes_rvA-->.rail_VvJhA{grid-template-rows:subgrid;grid-row:1/-1;width:auto;margin:0;display:grid}.diagram_faV44{max-width:100%;height:auto;margin-inline:auto;display:block;overflow:visible}.diagram_faV44 polyline{fill:none;stroke:var(--n-5);stroke-width:1.5px;stroke-linecap:square;stroke-linejoin:miter;vector-effect:non-scaling-stroke}.diagram_faV44 circle{fill:var(--n-1);stroke:var(--t-4);stroke-width:1.5px}.diagram_faV44 circle[data-done]{fill:var(--t-1);stroke:none}.diagram_faV44 circle[data-live]{fill:var(--live);stroke:none}.diagram_faV44 text{font-family:var(--font);letter-spacing:-.015em;fill:var(--t-1);dominant-baseline:central;font-size:16px;font-weight:600}.diagram_faV44 text[data-live]{fill:var(--live)}.thesisFigure_dp7H8{margin:28px 0}.figureStage_IFvcM{flex-direction:column;align-items:center;width:100%;padding:2px 0;display:flex}.figureSource_Fenb9{clip-path:inset(50%);white-space:pre-wrap;width:1px;height:1px;position:absolute;overflow:hidden}.figureFallback_KKOwC{background:var(--term);color:var(--term-t1);margin:14px 0;padding:16px 18px;overflow-x:auto}.figureFallback_KKOwC pre{font:500 13px/1.7 var(--mono);margin:0}.tableWrap_ynkLz{margin:14px 0;overflow-x:auto}.table_WY87-{border-collapse:collapse;width:100%;font-size:15px}.table_WY87- th,.table_WY87- td{text-align:left;vertical-align:top;border-bottom:1px solid var(--line-2);padding:12px 10px}.table_WY87- th{font:500 11px var(--mono);letter-spacing:.08em;text-transform:uppercase;color:var(--t-3)}.end_R70lp{border-top:1px solid var(--line-2);font:500 12px var(--mono);letter-spacing:.04em;color:var(--t-3);padding-top:14px;margin-top:48px!important}@media (width<=1000px){.sheet_x-i4N{grid-template-columns:minmax(0,680px);padding-top:28px;padding-bottom:80px}.contents_BG25i{border-top:1px solid var(--line-2);border-bottom:1px solid var(--line-2);max-height:none;position:static}.contentsHead_p-aDy{cursor:pointer;align-items:center;gap:6px;padding:14px 0;display:flex}.contentsHead_p-aDy span{color:var(--t-4);display:inline}.contentsHead_p-aDy:after{content:"";border-right:1.5px solid var(--t-3);border-bottom:1.5px solid var(--t-3);width:7px;height:7px;margin-left:auto;transition:transform .2s;transform:rotate(45deg)translateY(-2px)}.contents_BG25i[open] .contentsHead_p-aDy:after{transform:rotate(-135deg)translateY(-2px)}.contents_BG25i ol{columns:2;column-gap:24px;padding-bottom:14px}.contents_BG25i li{break-inside:avoid}}@media (width<=760px){.contents_BG25i ol{columns:1}.article_W4fu7{font-size:16px}.quote_iGjgD{padding-left:12px}.railH_mZzfW{width:max-content;max-width:100%;min-height:0}.railH_mZzfW:before,.railH_mZzfW:after{display:none}.railH_mZzfW li{grid-template-columns:var(--dot) minmax(0, 1fr);text-align:left;align-items:center;gap:0 10px;width:auto;min-height:32px;padding:2px 0;display:grid;position:relative;left:auto;transform:none}.railH_mZzfW li:before{content:"";z-index:0;left:calc((var(--dot) - var(--line)) / 2);width:var(--line);background:var(--n-5);position:absolute;top:0;bottom:0}.railH_mZzfW li:first-child:before{top:50%}.railH_mZzfW li:last-child:before{height:50%;bottom:auto}.railH_mZzfW li:only-child:before{display:none}.railH_mZzfW li[data-done]:before{background:var(--t-1)}.railH_mZzfW li[data-live]:before{background:var(--live)}.railH_mZzfW .dot_oi3dI{grid-area:1/1;align-self:center}.railH_mZzfW .k_X1rF8,.railH_mZzfW .railName_z-7Sq{text-align:left;grid-column:2}.lanes_rvA--{grid-template-columns:minmax(0,1fr)}.cols_74D-b{columns:1}}@media (width<=640px){.lede_P0zZr{font-size:16px}.openClaim_ZeeRe .claim_NhBG4{font-size:21px}.claim_NhBG4{margin:24px 0;font-size:19.5px}.h2_fKhj5{font-size:32px}.part_Tr6lK{padding-top:64px}[data-live]>.dot_oi3dI{box-shadow:none}}