.fig{--fig-rule:color-mix(in oklab,var(--ink) 22%,transparent);--fig-rule-strong:color-mix(in oklab,var(--ink) 62%,transparent);--fig-rule-faint:color-mix(in oklab,var(--ink) 12%,transparent);--fig-serif-text:var(--font-serif-text,Georgia,serif);--atl-ring:var(--paper);margin:clamp(28px,4vw,44px) 0;color:var(--ink)}.fig:first-child{margin-top:0}.fig .fig-eyebrow,.fig-lead{padding-bottom:6px}.fig .fig-eyebrow{display:flex;flex-wrap:wrap;align-items:baseline;gap:8px;margin:0;border-bottom:1px solid var(--fig-rule-strong);font-family:var(--fig-serif-text);font-size:13px;letter-spacing:.08em;text-transform:uppercase;color:var(--ink-soft)}.fig-num{color:var(--ink);font-weight:600;font-variant-numeric:tabular-nums}.fig-sep{color:var(--ink-faint)}.fig .fig-title{margin:12px 0 0;font-family:var(--font-serif);font-weight:500;font-size:clamp(21px,1.7vw,27px);line-height:1.15;letter-spacing:-.02em;font-variation-settings:"opsz" 72;color:var(--ink)}.fig .fig-caption{margin:8px 0 0;font-family:var(--fig-serif-text);font-style:italic;font-size:15px;line-height:1.5;color:var(--ink-soft)}.fig-body{margin-top:16px}.fig .fig-source{margin:12px 0 0;padding-top:8px;border-top:1px solid var(--fig-rule-faint);font-family:var(--font-mono);font-size:11px;line-height:1.5;color:var(--ink-mute)}.fig-source a{color:inherit;text-decoration:underline;text-underline-offset:2px}.docs-prose .fig p{max-width:none}.fig .atl-svg{width:100%;height:auto;display:block;overflow:visible}.fig-dot{fill:currentColor;stroke:var(--atl-ring);stroke-width:1.2}.fig-dot[data-hollow]{fill:var(--atl-ring);stroke:currentColor;stroke-width:1.6}.fig-stem{stroke:currentColor;stroke-width:1.5;opacity:.55}.fig-step{fill:none;stroke:var(--ink-soft);stroke-width:1.4;stroke-dasharray:4 4}.fig-limit{stroke:var(--ink-soft);stroke-width:1;stroke-dasharray:2 3}.fig-limit-label{font-size:var(--atl-fs-tick)}.fig-limit-label,.fig-rowname{font-family:var(--font-mono);fill:var(--ink-soft)}.fig-rowname{font-size:var(--atl-fs-label)}.fig-rowcount{font-size:var(--atl-fs-tick);fill:var(--ink-faint)}.fig .fig-key,.fig-rowcount{font-family:var(--font-mono)}.fig .fig-key{display:flex;flex-wrap:wrap;gap:6px 18px;margin:10px 0 0;padding:0;list-style:none;font-size:11px;color:var(--ink-mute)}.fig-key li{display:inline-flex;align-items:center;gap:6px}.fig-key svg{display:block;overflow:visible}.fig .fig-flow{display:grid;grid-template-columns:repeat(var(--fig-cols,4),minmax(0,1fr));gap:0;margin:0;padding:0;list-style:none}.fig .fig-stage{position:relative;margin:0;padding:12px 14px 14px 0;border-top:1px solid var(--fig-rule-strong)}.fig .fig-stage+.fig-stage{padding-left:14px;border-left:1px solid var(--fig-rule-faint)}.fig-stage-kicker{display:block;font-family:var(--font-mono);font-size:10.5px;letter-spacing:.06em;text-transform:uppercase;color:var(--ink-faint)}.fig-stage-name{display:block;margin-top:6px;font-family:var(--font-serif);font-size:17px;line-height:1.2;color:var(--ink)}.fig-stage-note{display:block;margin-top:6px;font-family:var(--fig-serif-text);font-style:italic;font-size:14px;line-height:1.45;color:var(--ink-soft)}.fig-stage code{font-size:.86em;overflow-wrap:anywhere}.fig-marks{display:flex;flex-wrap:wrap;gap:8px;margin-top:10px}.fig-mark{display:inline-flex;width:18px;height:18px}.fig-arrow{position:absolute;top:-5px;left:-5px;width:9px;height:9px;border-top:1px solid var(--fig-rule-strong);border-right:1px solid var(--fig-rule-strong);background:var(--paper);transform:rotate(45deg)}.fig-stage:first-child .fig-arrow{display:none}.fig-stage[data-tone=good] .fig-stage-kicker{color:var(--promo-ink)}.fig-stage[data-tone=bad] .fig-stage-kicker{color:var(--fail)}.fig{container:fig/inline-size}@container fig (max-width: 760px){.fig .fig-flow{grid-template-columns:minmax(0,1fr)}}@container fig (max-width: 920px){.fig .fig-flow[data-cols="5"]{grid-template-columns:minmax(0,1fr)}}@container fig (max-width: 760px){.fig .fig-flow .fig-stage,.fig .fig-flow .fig-stage+.fig-stage{padding:10px 0 12px 16px;border-top:0;border-left:1px solid var(--fig-rule-strong)}.fig .fig-flow .fig-arrow{top:-4px;left:-5px;transform:rotate(135deg)}}@container fig (max-width: 920px){.fig .fig-flow[data-cols="5"] .fig-stage,.fig .fig-flow[data-cols="5"] .fig-stage+.fig-stage{padding:10px 0 12px 16px;border-top:0;border-left:1px solid var(--fig-rule-strong)}.fig .fig-flow[data-cols="5"] .fig-arrow{top:-4px;left:-5px;transform:rotate(135deg)}}.fig .fig-lane{margin:18px 0 8px;font-family:var(--font-mono);font-size:10.5px;letter-spacing:.08em;text-transform:uppercase;color:var(--ink-mute)}.fig .fig-lane:first-child{margin-top:0}.fig .fig-bars{margin:0;padding:0;list-style:none}.fig .fig-bar{margin:0;--fig-bar-c:var(--ink-soft);display:grid;grid-template-columns:minmax(96px,9rem) minmax(0,1fr) minmax(88px,8rem);align-items:center;gap:14px;padding:9px 0;border-bottom:1px solid var(--fig-rule-faint)}.fig-bar:first-child{border-top:1px solid var(--fig-rule)}.fig-bar[data-state=proven]{--fig-bar-c:var(--promo-ink)}.fig-bar[data-state=could_not_run],.fig-bar[data-state=unverified]{--fig-bar-c:var(--ink-faint)}.fig-bar[data-state=refuted]{--fig-bar-c:var(--fail)}.fig .fig-bar-name{font-family:var(--font-mono);font-size:12px;color:var(--ink);background:none;border:0;border-radius:0;padding:0}.fig-bar-track{position:relative;height:10px;background:var(--fig-rule-faint);border-left:1px solid var(--fig-rule-strong)}.fig-bar-fill{position:absolute;inset:0 auto 0 0;width:calc(var(--fig-bar) * 100%);background:var(--fig-bar-c)}.fig-bar-value{display:flex;flex-direction:column;font-family:var(--font-mono);font-size:14px;font-variant-numeric:tabular-nums;color:var(--ink)}.fig-bar-value small{font-size:10.5px;color:var(--ink-mute)}@container fig (max-width: 480px){.fig .fig-bar{grid-template-columns:minmax(0,1fr) auto;gap:6px 12px}.fig .fig-bar-track{grid-column:1/-1;grid-row:2}}.fig .atl-label{paint-order:stroke;stroke:var(--atl-ring);stroke-width:3px;stroke-linejoin:round}@media (max-width:640px){.fig .atl-label{display:inline}}.fig .fig-plot{overflow-x:auto;overscroll-behavior-x:contain}.fig .fig-plot>.atl-svg{min-width:560px}.fig .fig-plot:focus-visible{outline:var(--mkt-focus-ring);outline-offset:2px}