.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}