.derivation-figure_figure__yvswD{margin:0}.derivation-figure_frame__ygZQJ{position:relative;border:1px solid var(--color-line);border-radius:var(--radius-lg);background:linear-gradient(180deg,color-mix(in oklch,var(--color-bg-elev) 92%,transparent) 0,var(--color-bg-sunken) 100%);box-shadow:var(--card-highlight),var(--card-occlusion),var(--card-ring),var(--shadow-elevation-medium);padding:clamp(.85rem,2.2vw,1.6rem);overflow:hidden}.derivation-figure_frame__ygZQJ:before{content:"";position:absolute;inset:0;background-image:linear-gradient(to right,color-mix(in oklch,var(--color-line) 50%,transparent) 1px,transparent 1px),linear-gradient(to bottom,color-mix(in oklch,var(--color-line) 50%,transparent) 1px,transparent 1px);background-size:28px 28px;opacity:.14;-webkit-mask-image:radial-gradient(ellipse 90% 80% at 50% 40%,#000 30%,transparent 85%);mask-image:radial-gradient(ellipse 90% 80% at 50% 40%,#000 30%,transparent 85%);pointer-events:none}.derivation-figure_figureSvg__Jhjls{position:relative;display:block;width:100%;height:auto}.derivation-figure_svgKicker__8WA2X{font-family:var(--font-mono);font-size:13px;letter-spacing:.04em;fill:var(--color-fg-faint)}.derivation-figure_svgNode___pW6_{font-family:var(--font-mono);font-size:17px;fill:var(--color-fg)}.derivation-figure_svgNodeAccent__pZenc{font-family:var(--font-mono);font-size:14px;fill:var(--color-math)}.derivation-figure_svgNodeSm__0THEE{font-family:var(--font-mono);font-size:15px;fill:var(--color-fg)}.derivation-figure_svgEdge__xeAXd{font-family:var(--font-mono);font-size:12px;fill:var(--color-fg-faint)}.derivation-figure_svgRule__1SbkV{font-family:var(--font-mono);font-size:15px;fill:var(--color-fg)}.derivation-figure_svgCaption__EWNrU{font-family:var(--font-mono);font-size:12px;letter-spacing:.02em;fill:var(--color-fg-faint)}.derivation-figure_svgResultLabel__5UH_s{font-family:var(--font-mono);font-size:13px;fill:var(--color-fg-faint)}.derivation-figure_svgResultSm__rUQew{font-family:var(--font-mono);font-size:13px;font-variant-numeric:tabular-nums;letter-spacing:0;fill:var(--color-receipt)}.derivation-figure_svgSubstrate__dbSV1{font-family:var(--font-mono);font-size:12px;fill:var(--color-fg-muted)}.derivation-figure_svgSubstrateAccent__Awe5G{font-family:var(--font-mono);font-size:12px;fill:var(--color-math)}.derivation-figure_svgSubstrateFaint__d1GRr{font-family:var(--font-mono);font-size:12px;fill:var(--color-fg-faint)}.derivation-figure_svgCoord__wIYb3{font-family:var(--font-mono);font-size:11px;letter-spacing:.06em;font-variant-numeric:tabular-nums;fill:var(--color-fg-faint)}.derivation-figure_svgLegend__OJYRZ{font-family:var(--font-mono);font-size:11px;letter-spacing:.04em;fill:var(--color-fg-faint)}.derivation-figure_figcaption__oENDQ{margin-top:var(--space-16);max-width:64ch;font-family:var(--font-sans);font-size:14px;line-height:1.6;color:var(--color-fg-muted)}.derivation-figure_figcaption__oENDQ code{font-family:var(--font-mono);font-size:.9em;color:var(--color-fg)}.derivation-figure_legendNode__R7HUT{color:var(--color-math);font-weight:500}.derivation-figure_legendAmber___1iqF{font-family:var(--font-mono);font-variant-numeric:tabular-nums;color:var(--color-receipt)}.derivation-figure_frame__ygZQJ[data-animate=on] .derivation-figure_stage__7myrz{opacity:0;transform:translateY(8px);animation:derivation-figure_njStageIn__0wZVx .55s var(--ease-out-quint) forwards;animation-delay:calc(var(--i) * .14s)}@keyframes derivation-figure_njStageIn__0wZVx{to{opacity:1;transform:translateY(0)}}@media (prefers-reduced-motion:reduce){.derivation-figure_frame__ygZQJ[data-animate=on] .derivation-figure_stage__7myrz{opacity:1;transform:none;animation:none}}.correctness-table_benchHead__sLegC{display:flex;flex-wrap:wrap;align-items:baseline;justify-content:space-between;gap:1rem}.correctness-table_benchVerdict__k4CWO{font-family:var(--font-mono);font-size:13px;letter-spacing:.02em;color:var(--color-fg-faint)}.correctness-table_benchVerdict__k4CWO b{color:var(--color-receipt);font-weight:500;font-variant-numeric:tabular-nums}.correctness-table_benchTableWrap__Nc7kH{margin-top:var(--space-24);overflow-x:auto;border-radius:var(--radius-lg);border:1px solid var(--color-line);box-shadow:var(--card-highlight),var(--card-ring),var(--shadow-elevation-low)}.correctness-table_benchTable__AUA3u{width:100%;border-collapse:collapse;font-family:var(--font-mono);font-size:13px;background:var(--color-bg-elev)}.correctness-table_benchTable__AUA3u th{text-align:left;font-size:11px;font-weight:500;letter-spacing:.08em;text-transform:uppercase;color:var(--color-fg-faint);white-space:nowrap}.correctness-table_benchTable__AUA3u td,.correctness-table_benchTable__AUA3u th{padding:var(--space-12) var(--space-16);border-bottom:1px solid var(--color-line)}.correctness-table_benchTable__AUA3u td{color:var(--color-fg-muted);vertical-align:top}.correctness-table_benchTable__AUA3u tr:last-child td{border-bottom:none}.correctness-table_benchExpr__aVjck{color:var(--color-fg);white-space:nowrap}.correctness-table_benchEngine__bMG5y{color:var(--color-receipt);font-variant-numeric:tabular-nums;white-space:nowrap}.correctness-table_benchRule__dA2qL{color:var(--color-fg-faint);white-space:nowrap}.correctness-table_benchMatch__sRtha{color:var(--color-math);white-space:nowrap}.correctness-table_benchUs__Bfb6j{text-align:right;font-variant-numeric:tabular-nums;color:var(--color-fg-faint);white-space:nowrap}.correctness-table_benchColRight__6PVvG{text-align:right}@media (max-width:640px){.correctness-table_benchHideSm__kUbp7{display:none}}