.NavBar_links__1wmQN{display:flex;gap:1.5rem;align-items:center;margin-right:.5rem}.NavBar_link__O5mxR{font-family:var(--font-body),system-ui,sans-serif;font-size:.875rem;color:var(--text-muted);text-decoration:none;white-space:nowrap;transition:color .15s ease}.NavBar_link__O5mxR:hover{color:var(--text-primary)}.NavBar_linkActive__wKm7j{color:var(--accent);font-weight:500}@font-face{font-family:display;src:url(/_next/static/media/e5c540995695d135-s.p.woff2) format("woff2");font-display:swap;font-weight:100 900}@font-face{font-family:display Fallback;src:local("Arial");ascent-override:76.74%;descent-override:19.90%;line-gap-override:0.00%;size-adjust:125.61%}.__className_5380a1{font-family:display,display Fallback}.__variable_5380a1{--font-display:"display","display Fallback"}@font-face{font-family:Inter;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/ba9851c3c22cd980-s.woff2) format("woff2");unicode-range:u+0460-052f,u+1c80-1c8a,u+20b4,u+2de0-2dff,u+a640-a69f,u+fe2e-fe2f}@font-face{font-family:Inter;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/21350d82a1f187e9-s.woff2) format("woff2");unicode-range:u+0301,u+0400-045f,u+0490-0491,u+04b0-04b1,u+2116}@font-face{font-family:Inter;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/c5fe6dc8356a8c31-s.woff2) format("woff2");unicode-range:u+1f??}@font-face{font-family:Inter;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/19cfc7226ec3afaa-s.woff2) format("woff2");unicode-range:u+0370-0377,u+037a-037f,u+0384-038a,u+038c,u+038e-03a1,u+03a3-03ff}@font-face{font-family:Inter;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/df0a9ae256c0569c-s.woff2) format("woff2");unicode-range:u+0102-0103,u+0110-0111,u+0128-0129,u+0168-0169,u+01a0-01a1,u+01af-01b0,u+0300-0301,u+0303-0304,u+0308-0309,u+0323,u+0329,u+1ea0-1ef9,u+20ab}@font-face{font-family:Inter;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/8e9860b6e62d6359-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:Inter;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/e4af272ccee01ff0-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:Inter Fallback;src:local("Arial");ascent-override:90.44%;descent-override:22.52%;line-gap-override:0.00%;size-adjust:107.12%}.__className_f367f3{font-family:Inter,Inter Fallback;font-style:normal}.__variable_f367f3{--font-body:"Inter","Inter Fallback"}.SiteDisclaimer_disclaimer__ZBycS{display:grid;grid-template-columns:5.5rem minmax(0,1fr);gap:.75rem;align-items:baseline;max-width:90rem;margin:0 auto;padding:1.25rem 1.5rem 2rem;border-top:1px solid var(--border-subtle);font-family:var(--font-body),system-ui,sans-serif;font-size:.76rem;line-height:1.6;color:var(--text-faint);position:relative;z-index:2}.SiteDisclaimer_label__z86gT{font-family:var(--font-mono),monospace;font-size:.62rem;text-transform:uppercase;letter-spacing:.16em;color:var(--text-faint)}.SiteDisclaimer_link__JZtQP{color:var(--text-muted);text-decoration:underline;text-underline-offset:3px;transition:color .16s ease}.SiteDisclaimer_link__JZtQP:hover{color:var(--text-primary)}@media (max-width:34rem){.SiteDisclaimer_disclaimer__ZBycS{grid-template-columns:1fr;gap:.35rem}}.ArticleBanner_banner__KU65F{clear:both;margin:0 0 2rem;padding:0;overflow:hidden;border-radius:var(--radius-lg,12px);line-height:0}.ArticleBanner_image__yqFoI{display:block;width:100%;height:auto;object-fit:cover}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(/_next/static/media/886030b0b59bc5a7-s.woff2) format("woff2");unicode-range:u+0460-052f,u+1c80-1c8a,u+20b4,u+2de0-2dff,u+a640-a69f,u+fe2e-fe2f}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(/_next/static/media/0aa834ed78bf6d07-s.woff2) format("woff2");unicode-range:u+0301,u+0400-045f,u+0490-0491,u+04b0-04b1,u+2116}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(/_next/static/media/67957d42bae0796d-s.woff2) format("woff2");unicode-range:u+0370-0377,u+037a-037f,u+0384-038a,u+038c,u+038e-03a1,u+03a3-03ff}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(/_next/static/media/f911b923c6adde36-s.woff2) format("woff2");unicode-range:u+0102-0103,u+0110-0111,u+0128-0129,u+0168-0169,u+01a0-01a1,u+01af-01b0,u+0300-0301,u+0303-0304,u+0308-0309,u+0323,u+0329,u+1ea0-1ef9,u+20ab}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(/_next/static/media/939c4f875ee75fbb-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(/_next/static/media/bb3ef058b751a6ad-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:JetBrains Mono Fallback;src:local("Arial");ascent-override:75.79%;descent-override:22.29%;line-gap-override:0.00%;size-adjust:134.59%}.__className_3c557b{font-family:JetBrains Mono,JetBrains Mono Fallback;font-style:normal}.__variable_3c557b{--font-mono:"JetBrains Mono","JetBrains Mono Fallback"}.ExecutionStack_figure__Oddsc{--paper:var(--surface-2);--wash:var(--surface-3);--rule:var(--border-default);--rule-2:var(--border-bright);--ink:var(--text-primary);--ink-2:var(--text-secondary);--muted:var(--text-muted);--faint:var(--text-faint);--accent:var(--color-green);--accent-soft:rgba(25,227,33,0.05);--warn:#f5b800;--warn-soft:rgba(245,184,0,0.05);--envelope-soft:rgba(139,155,176,0.06);--step:var(--surface-3);margin:1.75rem 0 2.5rem;width:100%;background:var(--paper);border:1px solid var(--rule);border-radius:4px;overflow:hidden;container-type:inline-size}.ExecutionStack_grid__0hhUm{display:grid;grid-template-columns:minmax(0,1fr) 1px minmax(0,1fr);column-gap:.4rem;row-gap:.5rem;align-items:stretch;font-family:var(--font-body),system-ui,sans-serif;line-height:1.4;font-size:.8rem;padding:0 .55rem .6rem}.ExecutionStack_divider__bLphc{background:var(--rule);width:1px;justify-self:center}.ExecutionStack_headDivider__1rxde{background:transparent}.ExecutionStack_colHead__CjSW4{font-size:.72rem;font-weight:700;letter-spacing:.08em;text-transform:uppercase;color:var(--ink);border-bottom:1px solid var(--rule);line-height:1.4;margin:0 -.55rem;padding:.75rem .85rem;background:var(--wash)}.ExecutionStack_colHead__CjSW4 span{display:block;font-weight:500;letter-spacing:.02em;text-transform:none;color:var(--muted);font-size:.78rem;margin-top:.2rem;line-height:1.4}.ExecutionStack_panel__HN_TO{background:var(--paper);border-left:1px solid var(--rule-2);border:1px solid var(--rule-2);border-left-width:3px;padding:.65rem .7rem;display:flex;flex-direction:column;justify-content:flex-start;min-width:0;margin:0;height:100%;box-sizing:border-box}.ExecutionStack_panel__HN_TO[data-kind=envelope]{border-left-color:#8b9bb0;background:var(--envelope-soft);box-shadow:inset 0 0 0 1px rgba(139,155,176,.08)}.ExecutionStack_panel__HN_TO[data-kind=attest]{border-left-color:var(--accent);background:var(--accent-soft)}.ExecutionStack_panel__HN_TO[data-kind=action]{border-left-color:var(--warn);background:var(--warn-soft)}.ExecutionStack_panelTop__iulXy{display:flex;flex-wrap:wrap;align-items:baseline;justify-content:space-between;gap:.25rem .75rem;margin-bottom:.35rem;line-height:1.4}.ExecutionStack_panelName__7ustC{font-size:.72rem;font-weight:700;letter-spacing:.04em;text-transform:uppercase;color:var(--ink);line-height:1.4}.ExecutionStack_panelRole__l8M_G{font-size:.68rem;color:var(--muted);line-height:1.4}

/* !important: nextra-overrides styles `article p` with !important, which
   outguns any module selector — match it or the cells inherit prose sizing */.ExecutionStack_panelBody__Rn1f9{font-size:.84rem!important;line-height:1.4!important;color:var(--ink-2)!important;margin:0!important;font-family:var(--font-body),system-ui,sans-serif}.ExecutionStack_spectrum__Lajc_{margin-top:.55rem;padding-top:.5rem;border-top:1px solid var(--rule)}.ExecutionStack_spectrumLabel__Kcx5n{font-size:.62rem;font-weight:650;letter-spacing:.06em;text-transform:uppercase;color:var(--muted);margin:0 0 .55rem;line-height:1.3}.ExecutionStack_gauge__GjO3r{--dot:0.55rem;--track-y:0.35rem;--gauge-accent:var(--accent);--gauge-ring:rgba(25,227,33,0.2);position:relative;display:flex;justify-content:space-between;align-items:flex-start;gap:.2rem;padding:0 .1rem}.ExecutionStack_panel__HN_TO[data-kind=action] .ExecutionStack_gauge__GjO3r{--gauge-accent:var(--warn);--gauge-ring:rgba(245,184,0,0.18)}.ExecutionStack_gauge__GjO3r:before{content:"";position:absolute;left:.55rem;right:.55rem;top:var(--track-y);height:2px;margin-top:-1px;background:linear-gradient(90deg,var(--rule-2),var(--gauge-accent));border-radius:1px;z-index:0}.ExecutionStack_mode__oDmXT{position:relative;z-index:1;flex:1 1 0;min-width:0;display:flex;flex-direction:column;align-items:center;text-align:center;gap:.28rem;padding-top:calc(var(--track-y) - (var(--dot) / 2))}.ExecutionStack_dot__9M5MD{width:var(--dot);height:var(--dot);border-radius:50%;background:var(--step);border:2px solid var(--rule-2);box-sizing:border-box;flex-shrink:0}.ExecutionStack_lab__AbKj7{font-size:.6rem;font-weight:650;line-height:1.25;color:var(--muted);max-width:100%;hyphens:auto}.ExecutionStack_sub__meNMR{font-size:.55rem;font-weight:500;line-height:1.2;color:var(--faint);max-width:100%}.ExecutionStack_on__8pyDg .ExecutionStack_dot__9M5MD{background:var(--gauge-accent);border-color:var(--gauge-accent);box-shadow:0 0 0 3px var(--gauge-ring)}.ExecutionStack_on__8pyDg .ExecutionStack_lab__AbKj7{color:var(--gauge-accent)}.ExecutionStack_off__QOXnK .ExecutionStack_dot__9M5MD{background:transparent;border-color:transparent;opacity:.85;position:relative;width:var(--dot);height:var(--dot)}.ExecutionStack_off__QOXnK .ExecutionStack_dot__9M5MD:after,.ExecutionStack_off__QOXnK .ExecutionStack_dot__9M5MD:before{content:"";position:absolute;left:50%;top:50%;width:.62rem;height:1.5px;background:var(--faint);border-radius:1px}.ExecutionStack_off__QOXnK .ExecutionStack_dot__9M5MD:before{transform:translate(-50%,-50%) rotate(45deg)}.ExecutionStack_off__QOXnK .ExecutionStack_dot__9M5MD:after{transform:translate(-50%,-50%) rotate(-45deg)}.ExecutionStack_off__QOXnK .ExecutionStack_lab__AbKj7,.ExecutionStack_off__QOXnK .ExecutionStack_sub__meNMR{opacity:.55}.ExecutionStack_gaugeEnds__9H_O2{display:flex;justify-content:space-between;margin-top:.3rem;font-size:.55rem;letter-spacing:.04em;text-transform:uppercase;color:var(--faint);line-height:1.2}@container (max-width: 680px){.ExecutionStack_grid__0hhUm{grid-template-columns:1fr;column-gap:0;row-gap:.65rem}.ExecutionStack_divider__bLphc{display:none}.ExecutionStack_colHead__CjSW4+.ExecutionStack_headDivider__1rxde+.ExecutionStack_colHead__CjSW4,.ExecutionStack_headDivider__1rxde+.ExecutionStack_colHead__CjSW4{border-top:0}}@container (max-width: 520px){.ExecutionStack_sub__meNMR{display:none}.ExecutionStack_lab__AbKj7{font-size:.55rem}}.ProofSizeContinuum_wrapper__qYdAI{margin:2rem 0;background:var(--surface-2);border:1px solid var(--border-subtle);border-radius:var(--radius-md);overflow-x:auto;-webkit-overflow-scrolling:touch}.ProofSizeContinuum_wrapper__qYdAI:hover{border-color:var(--border-default)}.ProofSizeContinuum_inner__1Z2lK{min-width:700px;padding:1.25rem 2.5rem 1.5rem}.ProofSizeContinuum_continuum___EZbt{position:relative;height:110px}.ProofSizeContinuum_fitZone__DM6w6{position:absolute;top:0;bottom:0;left:0;background:linear-gradient(90deg,rgba(25,227,33,.015),rgba(25,227,33,.035) 70%,rgba(25,227,33,.015));border-right:1px solid rgba(25,227,33,.12);border-radius:var(--radius-sm) 0 0 var(--radius-sm);pointer-events:none}.ProofSizeContinuum_track__2YC9K{position:absolute;top:38px;left:0;right:0;height:1px;background:linear-gradient(90deg,rgba(var(--tube-color),.04),rgba(var(--tube-color),.12) 50%,rgba(var(--tube-color),.04));box-shadow:var(--tube-bloom-tight)}.ProofSizeContinuum_marker__MyK3J{position:absolute;top:0;bottom:0;transform:translateX(-50%)}.ProofSizeContinuum_size__NbPpj{position:absolute;top:14px;left:50%;transform:translateX(-50%);font-family:var(--font-mono),monospace;font-size:.5625rem;color:var(--text-faint);letter-spacing:.04em;white-space:nowrap}.ProofSizeContinuum_dot__sTjzO{position:absolute;top:35px;left:50%;transform:translateX(-50%);width:5px;height:5px;border-radius:50%;background:rgba(var(--tube-color),.5);transition:background var(--duration-fast) ease}.ProofSizeContinuum_name__T1RMm{top:50px;font-family:var(--font-mono),monospace;font-size:.625rem;font-weight:500;color:var(--text-muted);letter-spacing:.02em}.ProofSizeContinuum_name__T1RMm,.ProofSizeContinuum_note__OYbtQ{position:absolute;left:50%;transform:translateX(-50%);white-space:nowrap}.ProofSizeContinuum_note__OYbtQ{top:68px;font-family:var(--font-body),system-ui,sans-serif;font-size:.5625rem;color:var(--text-faint);opacity:.6}.ProofSizeContinuum_zenon__cwZ2N .ProofSizeContinuum_dot__sTjzO{width:8px;height:8px;top:34px;background:var(--color-green);box-shadow:0 0 6px rgba(25,227,33,.35),0 0 16px rgba(25,227,33,.1)}.ProofSizeContinuum_zenon__cwZ2N .ProofSizeContinuum_name__T1RMm{color:var(--color-green);font-weight:600;letter-spacing:.1em}.ProofSizeContinuum_zenon__cwZ2N .ProofSizeContinuum_size__NbPpj{color:var(--text-secondary);font-weight:500}.ProofSizeContinuum_excluded__yr5BO .ProofSizeContinuum_dot__sTjzO{background:transparent;border:1px dashed var(--border-default)}.ProofSizeContinuum_excluded__yr5BO .ProofSizeContinuum_name__T1RMm{color:var(--text-faint);opacity:.5}.ProofSizeContinuum_excluded__yr5BO .ProofSizeContinuum_size__NbPpj{opacity:.5}.ProofSizeContinuum_excluded__yr5BO .ProofSizeContinuum_note__OYbtQ{opacity:.4}