:root{color-scheme:dark;--bg-0: #0b0d12;--bg-1: #11141b;--bg-2: #1a1e28;--bg-stage: #0e1118;--blue: #6f8fd9;--blue-bright: #a9bce8;--blue-deep: #36579a;--teal: #58b9e6;--yellow: #d6b15e;--green: #68c78f;--red: #e0836e;--purple: #b59bcf;--pink: #d98fae;--blue-rgb:111,143,217;--blue-bright-rgb:169,188,232;--teal-rgb:88,185,230;--yellow-rgb:214,177,94;--green-rgb:104,199,143;--red-rgb:224,131,110;--purple-rgb:181,155,207;--pink-rgb:217,143,174;--ink-rgb:244,246,250;--attention-low-rgb:20,26,40;--attention-high-rgb:63,159,192;--matrix-low-rgb:24,30,46;--matrix-high-rgb:70,120,190;--category-1: var(--yellow);--category-2: var(--pink);--category-3: var(--purple);--cell: #131826;--cell-wall: #0c0f16;--wall-ink: #2a3346;--goal-fill: rgba(45,160,88,.3);--trap-fill: rgba(150,58,52,.35);--goal-ink: #dff5e6;--trap-ink: #ffd9cf;--heat-neg: 150,58,52;--heat-zero: 34,40,58;--heat-pos: 36,118,66;--tree-edge: #313c52;--tree-root: #2b3a57;--tree-new: #222a3b;--tree-ring: #3a4660;--pill-bg: #10141d;--pill-line: #2b3650;--treewin-neg: 74,35,48;--treewin-zero:74,66,37;--treewin-pos: 31,77,53;--ink: #f4f6fa;--ink-soft: #c7cdd8;--ink-faint: #929aa8;--line: #343a48;--line-soft: #242a36;--line-strong: #515a6b;--math-structure: var(--blue-bright);--math-operation: var(--teal);--math-assumption: var(--yellow);--math-conclusion: var(--blue);--math-contradiction: var(--red);--math-abstraction: var(--purple);--math-example: var(--pink);--surface-canvas:var(--bg-0);--surface-reading:var(--bg-1);--surface-raised:var(--bg-2);--surface-working:var(--bg-stage);--surface-background:var(--bg-stage);--surface-group:color-mix(in srgb,var(--ink) 3.2%,transparent);--surface-group-strong:color-mix(in srgb,var(--ink) 5.5%,transparent);--surface-active:color-mix(in srgb,var(--math-operation) 11%,var(--bg-stage));--surface-active-line:color-mix(in srgb,var(--math-operation) 62%,var(--line));--formula-selection-fill:color-mix(in srgb,var(--blue) 34%,transparent);--formula-selection-line:color-mix(in srgb,var(--blue-bright) 72%,transparent);--focus: var(--teal);--r-xs: 3px;--r-sm: 6px;--r-md: 10px;--r-lg: 14px;--r-editorial:24px 24px 8px 24px;--r-editorial-compact:16px 16px 6px 16px;--space-4: 4px;--space-8: 8px;--space-12: 12px;--space-16: 16px;--space-20: 20px;--space-24: 24px;--space-28: 28px;--space-32: 32px;--space-44: 44px;--space-48: 48px;--space-64: 64px;--space-96: 96px;--shadow-soft:0 18px 44px -30px rgba(0,0,0,.76);--shadow-glow:0 0 0 1px color-mix(in srgb,var(--math-structure) 28%,transparent),0 12px 28px -22px rgba(0,0,0,.72);--shadow-control:0 2px 8px -5px rgba(0,0,0,.72);--font-sans: "Inter Variable", system-ui, sans-serif;--font-mono: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;--font-math: "Computer Modern Serif", "Source Serif 4", Georgia, serif;--font-serif: var(--font-math);--type-ui-min: .75rem;--type-ui-small: .8125rem;--type-ui-body: .875rem;--type-ui-strong: .9375rem;--type-ui-large: 1rem;--type-ui-emphasis: 1.05rem;--type-data-primary:.875rem;--type-data-secondary:.8125rem;--type-data-meta:.75rem;--type-component-title: 1.125rem;--type-editorial-title:clamp(2.7rem,7vw,5.6rem);--type-editorial-section:clamp(1.85rem,4.3vw,3.1rem);--type-editorial-index:clamp(4.5rem,9vw,8rem);--type-prose-compact: 1.125rem;--type-prose-mobile: 1.125rem;--type-lead: clamp(1.125rem,1.5vw,1.3rem);--leading-lead: 1.6;--motion-instant: .08s;--motion-control: .12s;--motion-state: .18s;--motion-transform: .32s;--motion-sequence-gap: .06s;--ease-enter: cubic-bezier(.16,1,.3,1);--ease-move: cubic-bezier(.65,0,.35,1);--ease-emphasis: cubic-bezier(.34,1.35,.64,1);--ease-spring:linear(0,.01 1%,.048 2.1%,.178 4.4%,.62 9.5%,.843 13%,.965 17%,1.03 22%,1.055 28%,1.028 38%,1.007 50%,1);--measure: 720px;--anchor-offset:72px;--control-target-min:44px;--drawer-width: 360px;--nav-bg:rgba(11,13,18,.88);--brand-from: #fff;--ink-on-accent:#fff;--accent-fill: linear-gradient(180deg,var(--blue-deep),#2f57a6);--accent-fill-hover: linear-gradient(180deg,#4374cb,var(--blue-deep));--accent-line: #2f57a6;--stop-ink:#1a1206;--stop-fill:linear-gradient(180deg,#ffe38a,#d9a93a);--stop-fill-hover:linear-gradient(180deg,#ffeaad,#e3b84e);--stop-line:#b98f2a;--stone-fill:radial-gradient(circle at 32% 26%,#e4ebf6,#97a4ba 55%,#5b6678 100%)}button,[role=button],input[type=range]{min-block-size:var(--control-target-min)!important}button,[role=button]{min-inline-size:var(--control-target-min)!important}:root[data-theme=light]{color-scheme:light;--bg-0:#f2f4f8;--bg-1:#ffffff;--bg-2:#e7ebf2;--bg-stage:#ffffff;--ink:#111521;--ink-soft:#354052;--ink-faint:#5b6679;--line:#bcc6d5;--line-soft:#d8dee8;--line-strong:#8493aa;--blue:#2f5fae;--blue-bright:#214f98;--blue-deep:#1f4788;--teal:#0b739a;--yellow:#755700;--green:#267546;--red:#a34042;--purple:#67469a;--pink:#984466;--blue-rgb:47,95,174;--blue-bright-rgb:33,79,152;--teal-rgb:11,115,154;--yellow-rgb:117,87,0;--green-rgb:38,117,70;--red-rgb:163,64,66;--purple-rgb:103,70,154;--pink-rgb:152,68,102;--ink-rgb:17,21,33;--attention-low-rgb:239,242,248;--attention-high-rgb:72,151,181;--matrix-low-rgb:241,243,248;--matrix-high-rgb:75,121,183;--cell:#f1f3f8;--cell-wall:#d9dee8;--wall-ink:#b1bbcb;--goal-fill:rgba(38,117,70,.16);--trap-fill:rgba(163,64,66,.15);--goal-ink:#1f6037;--trap-ink:#8f3336;--heat-neg:216,129,127;--heat-zero:234,237,244;--heat-pos:104,178,130;--tree-edge:#a8b3c4;--tree-root:#dce6f7;--tree-new:#f0f2f7;--tree-ring:#a4afc1;--pill-bg:#fff;--pill-line:#c7cfdd;--treewin-neg:229,181,180;--treewin-zero:228,218,180;--treewin-pos:174,213,190;--shadow-soft:0 20px 50px -34px rgba(31,48,78,.34);--shadow-glow:0 0 0 1px rgba(47,95,174,.18),0 16px 32px -26px rgba(31,48,78,.3);--shadow-control:0 3px 10px -7px rgba(31,48,78,.34);--formula-selection-fill:color-mix(in srgb,var(--blue) 17%,transparent);--formula-selection-line:color-mix(in srgb,var(--blue) 52%,transparent);--nav-bg:rgba(242,244,248,.92);--brand-from:#111521;--ink-on-accent:#fff;--accent-fill:linear-gradient(180deg,#3569bd,#2858a8);--accent-fill-hover:linear-gradient(180deg,#2d61b2,#214f98);--accent-line:#2858a8;--stop-fill:linear-gradient(180deg,#f3d36d,#d7a73c);--stop-fill-hover:linear-gradient(180deg,#f7dc82,#ddaF43);--stop-line:#a67c1c;--stone-fill:radial-gradient(circle at 32% 26%,#ffffff,#c9d2e0 55%,#8997ac 100%)}@media (prefers-color-scheme: light){:root:not([data-theme]){color-scheme:light;--bg-0:#f2f4f8;--bg-1:#ffffff;--bg-2:#e7ebf2;--bg-stage:#ffffff;--ink:#111521;--ink-soft:#354052;--ink-faint:#5b6679;--line:#bcc6d5;--line-soft:#d8dee8;--line-strong:#8493aa;--blue:#2f5fae;--blue-bright:#214f98;--blue-deep:#1f4788;--teal:#0b739a;--yellow:#755700;--green:#267546;--red:#a34042;--purple:#67469a;--pink:#984466;--blue-rgb:47,95,174;--blue-bright-rgb:33,79,152;--teal-rgb:11,115,154;--yellow-rgb:117,87,0;--green-rgb:38,117,70;--red-rgb:163,64,66;--purple-rgb:103,70,154;--pink-rgb:152,68,102;--ink-rgb:17,21,33;--attention-low-rgb:239,242,248;--attention-high-rgb:72,151,181;--matrix-low-rgb:241,243,248;--matrix-high-rgb:75,121,183;--cell:#f1f3f8;--cell-wall:#d9dee8;--wall-ink:#b1bbcb;--goal-fill:rgba(38,117,70,.16);--trap-fill:rgba(163,64,66,.15);--goal-ink:#1f6037;--trap-ink:#8f3336;--heat-neg:216,129,127;--heat-zero:234,237,244;--heat-pos:104,178,130;--tree-edge:#a8b3c4;--tree-root:#dce6f7;--tree-new:#f0f2f7;--tree-ring:#a4afc1;--pill-bg:#fff;--pill-line:#c7cfdd;--treewin-neg:229,181,180;--treewin-zero:228,218,180;--treewin-pos:174,213,190;--shadow-soft:0 20px 50px -34px rgba(31,48,78,.34);--shadow-glow:0 0 0 1px rgba(47,95,174,.18),0 16px 32px -26px rgba(31,48,78,.3);--shadow-control:0 3px 10px -7px rgba(31,48,78,.34);--formula-selection-fill:color-mix(in srgb,var(--blue) 17%,transparent);--formula-selection-line:color-mix(in srgb,var(--blue) 52%,transparent);--nav-bg:rgba(242,244,248,.92);--brand-from:#111521;--ink-on-accent:#fff;--accent-fill:linear-gradient(180deg,#3569bd,#2858a8);--accent-fill-hover:linear-gradient(180deg,#2d61b2,#214f98);--accent-line:#2858a8;--stop-fill:linear-gradient(180deg,#f3d36d,#d7a73c);--stop-fill-hover:linear-gradient(180deg,#f7dc82,#ddaF43);--stop-line:#a67c1c;--stone-fill:radial-gradient(circle at 32% 26%,#ffffff,#c9d2e0 55%,#8997ac 100%)}}*{box-sizing:border-box}html{background:var(--surface-canvas)}.sr-only{position:absolute!important;width:1px!important;height:1px!important;padding:0!important;margin:-1px!important;overflow:hidden!important;clip:rect(0,0,0,0)!important;white-space:nowrap!important;border:0!important}:focus-visible{outline:2px solid var(--focus);outline-offset:3px;border-radius:var(--r-xs)}:focus:not(:focus-visible){outline:none}.skip-link{position:fixed;z-index:1000;top:10px;left:12px;padding:var(--space-8) var(--space-16);border:2px solid var(--teal);border-radius:var(--r-sm);color:var(--ink);background:var(--bg-1);font:600 var(--type-ui-body)/1.2 var(--font-sans);text-decoration:none;box-shadow:var(--shadow-soft);transform:translateY(calc(-100% - 20px));transition:transform var(--motion-control) var(--ease-move)}.skip-link:focus{transform:translateY(0)}main:focus{outline:none}@media (prefers-reduced-motion: reduce){html{scroll-behavior:auto}*,*:before,*:after{animation:none!important;transition:none!important;scroll-behavior:auto!important}.reveal{opacity:1!important;transform:none!important}}html{scroll-behavior:smooth;scroll-padding-block-start:var(--anchor-offset)}html:not(.tl-ready){overflow-anchor:none}html:not(.tl-ready) body{visibility:hidden}html.tl-ready body{visibility:visible}html[data-route-state=committing]{overflow-anchor:none;scroll-behavior:auto}html[data-route-state=committing] main#main-content{visibility:hidden}body{position:relative;margin:0;background:transparent;color:var(--ink);font-family:var(--font-math);font-weight:400;line-height:1.65;font-size:20px;-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility}body:before{content:"";position:fixed;z-index:-1;inset:0;pointer-events:none;background:radial-gradient(circle at 8% 18%,color-mix(in srgb,var(--math-structure) 5%,transparent),transparent 32%),radial-gradient(circle at 92% 72%,color-mix(in srgb,var(--math-abstraction) 4%,transparent),transparent 30%)}:where(p,li){text-wrap:pretty}:where(h1,h2,h3){overflow-wrap:break-word;hyphens:auto;text-wrap:balance}tl-math,.tl-math-host{display:inline-flex;align-items:baseline;max-inline-size:100%;min-inline-size:.2em;color:inherit;font-family:var(--font-math);font-size:1em;font-style:normal;font-weight:400;line-height:1;letter-spacing:normal;text-transform:none;vertical-align:-.08em}tl-math[display],.tl-math-host[display]{display:block;inline-size:100%;margin-block:.65em;overflow-x:auto;overflow-y:hidden;text-align:center;vertical-align:initial}tl-math>mjx-container,.tl-math-host>mjx-container{max-inline-size:100%;margin:0!important;overflow:visible;cursor:default!important;text-rendering:auto;-webkit-user-select:text;user-select:text}tl-math>mjx-container *,.tl-math-host>mjx-container *{cursor:default!important}tl-math>mjx-container>mjx-math,.tl-math-host>mjx-container>mjx-math{-webkit-user-select:text;user-select:text}:is(tl-math,.tl-math-host)[data-math-selected=true]>mjx-container>mjx-math{border-radius:var(--r-xs);background:var(--formula-selection-fill);box-shadow:0 0 0 1px var(--formula-selection-line)}:is(tl-math,.tl-math-host)[data-math-selected=true]>mjx-container>mjx-math::selection,:is(tl-math,.tl-math-host)[data-math-selected=true]>mjx-container>mjx-math *::selection{color:inherit;background:transparent}tl-math[data-math-state=pending],.tl-math-host[data-math-state=pending]{opacity:.72;pointer-events:none}html[data-math-loaded=true] tl-math[data-math-state=pending],html[data-math-loaded=true] .tl-math-host[data-math-state=pending]{color:transparent;opacity:1}tl-math[data-math-state=error],.tl-math-host[data-math-state=error]{color:var(--danger,var(--red));font:.72em/1.35 ui-monospace,SFMono-Regular,Menlo,monospace;white-space:normal}.tl-wrap,.tl-bleed{max-width:var(--measure);margin:0 auto;padding:0 var(--space-24)}.tl-page-hero{position:relative;max-width:1180px;padding-top:var(--space-96);padding-bottom:var(--space-64)}.tl-page-hero:after{content:"";display:block;width:min(176px,38vw);height:2px;margin-top:var(--space-32);background:linear-gradient(90deg,var(--series-accent,var(--math-operation)),transparent)}.tl-page-hero .tl-lead{display:block;max-width:var(--measure);margin-top:var(--space-28)}.tl-page-hero__actions{display:flex;max-width:var(--measure);flex-wrap:wrap;gap:var(--space-12);margin-top:var(--space-28)}.tl-page-hero__actions .tl-btn{padding:0 2px;border:0;border-radius:0;background:none;box-shadow:none;color:var(--series-accent,var(--blue-bright));font-size:var(--type-ui-small);letter-spacing:.02em;text-decoration:underline;text-underline-offset:.22em;text-decoration-thickness:1px;text-decoration-color:color-mix(in srgb,currentColor 55%,transparent)}.tl-page-hero__actions .tl-btn:hover{background:none;transform:none;text-decoration-color:currentColor}main>section{padding:var(--space-64) 0;border-top:1px solid var(--line-soft)}main>section:first-of-type{border-top:none}main{counter-reset:tl-editorial-section}main>section{position:relative;counter-increment:tl-editorial-section;isolation:isolate}@media (min-width:900px){main>section:before{content:counter(tl-editorial-section,decimal-leading-zero);position:absolute;z-index:-1;top:var(--space-44);left:max(var(--space-24),calc(50% - 570px));color:color-mix(in srgb,var(--series-accent,var(--math-operation)) 10%,transparent);font:720 var(--type-editorial-index)/.8 var(--font-sans);font-variant-numeric:tabular-nums;letter-spacing:-.08em;pointer-events:none}}h1,h2,h3{font-family:var(--font-math);font-weight:700;line-height:1.15;letter-spacing:0}.tl-kicker,.tl-chip,.tl-btn,.nav-inner,.nav-brand,.nav-links a,.tl-stage-title,.tl-stat,.tl-muted,.tl-formula__caption,select{font-family:var(--font-sans)}h1{max-width:15ch;margin:0 0 .3em;font-size:var(--type-editorial-title);line-height:.98;letter-spacing:-.035em}h2{max-width:22ch;font-size:var(--type-editorial-section);line-height:1.04;letter-spacing:-.025em;margin:0 0 .6em;color:var(--ink)}h3{font-size:1.25rem;margin:2em 0 .5em;color:var(--ink);font-weight:700}p{margin:0 0 1.1em;color:var(--ink-soft)}.tl-wrap p{color:var(--ink-soft)}strong{color:var(--ink);font-weight:700}em{color:var(--math-operation);font-style:italic;font-weight:400}.wmath{max-width:100%}a{color:var(--blue-bright);text-decoration:none}a:hover{text-decoration:underline}p a,li a,.tl-lead a{text-decoration:underline;text-underline-offset:.18em;text-decoration-thickness:1px;text-decoration-color:rgba(var(--blue-bright-rgb),.5)}p a:hover,li a:hover,.tl-lead a:hover{text-decoration-color:currentColor}.tl-lead{font-family:var(--font-serif);font-size:var(--type-lead);line-height:var(--leading-lead);color:var(--ink)}.tl-kicker{display:inline-block;font-size:var(--type-ui-min);font-weight:600;letter-spacing:.16em;text-transform:uppercase;color:var(--series-accent, var(--teal));margin-bottom:1em}@media (max-width:700px){.tl-page-hero{padding-top:var(--space-64);padding-bottom:var(--space-44)}h1{font-size:clamp(2.3rem,10vw,3.8rem)}h2{font-size:clamp(1.75rem,8vw,2.55rem)}}.series-attention{--series-accent:var(--math-structure)}.series-decision-making{--series-accent:var(--math-assumption)}.series-generating-functions{--series-accent:var(--math-operation)}.series-k-theory{--series-accent:var(--math-abstraction)}.tl-hub-hero{padding-bottom:var(--space-64)}.tl-hub-hero:after{display:none}.tl-hub-hero>.tl-lead{margin-top:var(--space-20)}.tl-hub-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:var(--space-16);margin-top:var(--space-44)}.tl-hub-card{--tl-card-accent:var(--math-structure);position:relative;display:grid;grid-template-columns:minmax(0,1fr) auto;align-content:start;min-width:0;min-height:260px;padding:var(--space-24);overflow:hidden;border:1px solid var(--line);border-radius:var(--r-md);background:linear-gradient(135deg,color-mix(in srgb,var(--tl-card-accent) 5%,transparent),transparent 52%),var(--surface-working);color:inherit;text-decoration:none!important;transition:background-color var(--motion-control) var(--ease-move),border-color var(--motion-control) var(--ease-move),transform var(--motion-control) var(--ease-move)}.tl-hub-card:before{content:"";position:absolute;inset:0 auto 0 0;width:3px;background:var(--tl-card-accent)}.tl-hub-card[data-family=pure-math]{--tl-card-accent:var(--math-abstraction)}.tl-hub-card[data-family=analytic-math]{--tl-card-accent:var(--math-operation)}.tl-hub-card[data-family=machine-learning]{--tl-card-accent:var(--math-structure)}.tl-hub-card[data-family=decision-science]{--tl-card-accent:var(--math-assumption)}.tl-hub-card:hover{border-color:color-mix(in srgb,var(--tl-card-accent) 55%,var(--line));background:linear-gradient(135deg,color-mix(in srgb,var(--tl-card-accent) 9%,transparent),transparent 58%),var(--surface-working);transform:translateY(-2px)}.tl-hub-index{grid-column:1;color:var(--tl-card-accent);font:650 var(--type-ui-min)/1 var(--font-sans);letter-spacing:.12em}.tl-hub-domain{grid-column:2;color:var(--ink-faint);font:600 var(--type-ui-min)/1 var(--font-sans);letter-spacing:.1em;text-transform:uppercase}.tl-hub-glyph{position:absolute;inset:auto var(--space-20) var(--space-12) auto;color:color-mix(in srgb,var(--tl-card-accent) 16%,transparent);font:400 6rem/1 var(--font-math);pointer-events:none}.tl-hub-card h2{grid-column:1 / -1;margin:var(--space-24) 0 var(--space-8);color:var(--ink);font-size:1.42rem}.tl-hub-card p{grid-column:1 / -1;max-width:48ch;margin:0 0 var(--space-20);color:var(--ink-soft);font-size:var(--type-ui-body);line-height:1.6}.tl-hub-parts{grid-column:1 / -1;display:flex;flex-wrap:wrap;align-items:center;gap:0 var(--space-8);margin-bottom:var(--space-4);padding-right:var(--space-64)}.tl-hub-chip{color:var(--ink-faint);font:400 var(--type-ui-min)/1.5 var(--font-sans)}.tl-hub-chip:not(:last-child):after{content:"\b7";margin-left:var(--space-8);color:var(--line-strong)}.tl-hub-go{grid-column:1 / -1;display:inline-block;margin-top:auto;padding-top:var(--space-20);color:var(--tl-card-accent);font:600 var(--type-ui-min)/1.4 var(--font-sans)}@media (max-width:700px){.tl-hub-grid{grid-template-columns:1fr}.tl-hub-card{min-height:0}}.tl-catalog{padding-bottom:var(--space-96)}.tl-catalog__section{padding:var(--space-44) 0;border-top:1px solid var(--line-soft)}.tl-catalog__section>h2{margin-bottom:var(--space-28)}.tl-catalog__grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:var(--space-16)}.tl-catalog__grid .tl-callout{height:calc(100% - var(--space-28))}@media (max-width:700px){.tl-catalog__grid{grid-template-columns:1fr}}.tl-muted{color:var(--ink-faint);font-size:var(--type-ui-strong)}.tl-space-before-sm{margin-top:var(--space-12)!important}.tl-space-before-md{margin-top:var(--space-16)!important}.tl-space-before-lg{margin-top:var(--space-24)!important}.tl-space-before-xl{margin-top:var(--space-28)!important}.tl-prose-list{color:var(--ink-soft);line-height:1.9}.tl-grid-single{grid-template-columns:1fr!important}.tl-svg-fluid{display:block;width:100%}.tl-accent-blue{--tl-accent:var(--blue);color:var(--blue)}.tl-accent-teal{--tl-accent:var(--teal);color:var(--teal)}.tl-accent-green{--tl-accent:var(--green);color:var(--green)}.tl-accent-yellow{--tl-accent:var(--yellow);color:var(--yellow)}.tl-accent-red{--tl-accent:var(--red);color:var(--red)}.tl-accent-pink{--tl-accent:var(--pink);color:var(--pink)}.tl-accent-purple{--tl-accent:var(--purple);color:var(--purple)}.tl-callout{--tl-accent:var(--tl-role-color,var(--math-structure));--tl-tint: color-mix(in srgb, var(--tl-accent) 7%, transparent);position:relative;margin:var(--space-28) 0;padding:var(--space-16) var(--space-20) var(--space-16);border:0;border-left:2px solid var(--tl-accent);background:linear-gradient(90deg,var(--tl-tint),transparent 72%);color:var(--ink-soft)}.tl-callout__content{min-width:0}.tl-callout__header{display:flex;align-items:baseline;flex-wrap:wrap;gap:7px var(--space-12);margin:0 0 var(--space-8)}.tl-callout__eyebrow{color:var(--tl-accent);font:650 var(--type-ui-min)/1.2 var(--font-sans);letter-spacing:.14em;text-transform:uppercase}.tl-callout__title{margin:0;color:var(--ink);font:650 var(--type-component-title)/1.35 var(--font-sans)}.tl-callout__body{font:400 var(--type-prose-compact)/1.6 var(--font-serif)}.tl-callout__body>:first-child{margin-top:0}.tl-callout__body>:last-child{margin-bottom:0}.tl-callout__body p{max-width:none;margin:0 0 var(--space-16);font:inherit}.tl-callout__math{margin:var(--space-8) 0 0;color:var(--ink);text-align:center}.tl-callout__math--narrow{display:none}.tl-callout__mark{color:var(--tl-accent);font:500 1.35rem/1 var(--font-sans)}.tl-callout--definition{padding:0;border:0;border-inline-start:3px solid color-mix(in srgb,var(--tl-accent) 72%,var(--line));border-radius:0 var(--r-lg) var(--r-lg) 0;background:linear-gradient(110deg,color-mix(in srgb,var(--tl-accent) 9%,transparent),transparent 78%);box-shadow:none;overflow:hidden}.tl-callout--definition .tl-callout__header{padding:var(--space-12) var(--space-16) var(--space-4);margin:0;border:0}.tl-callout--definition .tl-callout__title{font-family:var(--font-serif);font-size:var(--type-component-title);font-weight:700}.tl-callout--definition .tl-callout__body{padding:var(--space-12) var(--space-16) var(--space-12);font-family:var(--font-serif);font-size:var(--type-prose-compact);line-height:1.52}.tl-callout--definition .tl-callout__body p{margin-bottom:2px}.tl-callout--definition .tl-callout__math{margin-top:0}.tl-callout--definition .tl-callout__math,.tl-callout--theorem .tl-callout__math{max-width:100%;overflow-x:auto;overflow-y:hidden;padding-bottom:2px;scrollbar-width:thin;scrollbar-color:var(--line-strong) transparent}.tl-callout--definition .tl-callout__math tl-math[display]{margin-block:.3em}.tl-callout--requirement{display:block;padding:0;border-left:0;border-block:1px solid color-mix(in srgb,var(--tl-accent) 38%,var(--line));background:color-mix(in srgb,var(--tl-accent) 3%,transparent)}.tl-callout--requirement>.tl-callout__content{display:block}.tl-callout--requirement .tl-callout__header{display:flex;flex-direction:row;align-items:baseline;gap:7px var(--space-12);margin:0;padding:var(--space-12) var(--space-20) var(--space-12);border-bottom:1px solid var(--line)}.tl-callout--requirement .tl-callout__title{font-size:var(--type-component-title)}.tl-callout--requirement .tl-callout__body{min-width:0;padding:var(--space-16) var(--space-20) var(--space-20)}.tl-callout--generalization{background:var(--tl-tint)}.tl-callout--insight{padding:var(--space-16) var(--space-16) var(--space-16);border-left-color:color-mix(in srgb,var(--tl-accent) 72%,var(--line));background:transparent}.tl-callout--insight .tl-callout__header{display:block;margin-bottom:var(--space-8)}.tl-callout--insight .tl-callout__eyebrow{display:block;margin-bottom:6px}.tl-callout--insight .tl-callout__title{font-size:var(--type-component-title);line-height:1.35}.tl-callout--insight .tl-callout__body{font-family:var(--font-serif);font-size:var(--type-prose-compact);line-height:1.58}.tl-callout--remark .tl-callout__body,.tl-callout--distinction .tl-callout__body,.tl-callout--next .tl-callout__body{font-family:var(--font-sans);font-size:var(--type-ui-body);line-height:1.6}.tl-callout--theorem{padding:0;border:0;border-radius:var(--r-editorial-compact);background:radial-gradient(circle at 100% 0,color-mix(in srgb,var(--tl-accent) 14%,transparent),transparent 38%),var(--surface-group);overflow:hidden}.tl-callout--theorem .tl-callout__header{margin:0;padding:var(--space-8) var(--space-16) var(--space-8);border-bottom:0}.tl-callout--theorem .tl-callout__title{font-size:var(--type-component-title)}.tl-callout--theorem .tl-callout__body{padding:var(--space-12) var(--space-16) var(--space-16);font-family:var(--font-serif);font-size:var(--type-prose-compact);line-height:1.5}.tl-callout--theorem .tl-callout__body p{margin:0}.tl-callout--theorem .tl-callout__math{margin:var(--space-4) 0 0}.tl-callout--theorem .tl-callout__math tl-math[display]{margin-block:.35em}.tl-callout--next{display:grid;grid-template-columns:34px minmax(0,1fr);gap:var(--space-16);align-items:start;border-left:0;border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.tl-callout--proposition,.tl-callout--lemma,.tl-callout--corollary,.tl-callout--conjecture,.tl-callout--counterexample{padding:0;overflow:hidden;border:0;border-inline-start:3px solid var(--tl-accent);border-radius:0 var(--r-md) var(--r-md) 0;background:linear-gradient(135deg,color-mix(in srgb,var(--tl-accent) 5%,transparent),transparent 48%),color-mix(in srgb,var(--surface-working) 92%,transparent)}.tl-callout--conjecture{border-style:dashed;border-inline-start-style:solid}.tl-callout--proposition .tl-callout__header,.tl-callout--lemma .tl-callout__header,.tl-callout--corollary .tl-callout__header,.tl-callout--conjecture .tl-callout__header,.tl-callout--counterexample .tl-callout__header{margin:0;padding:var(--space-12) var(--space-16) var(--space-8);border-bottom:1px solid color-mix(in srgb,var(--tl-accent) 22%,var(--line-soft))}.tl-callout--proposition .tl-callout__title,.tl-callout--lemma .tl-callout__title,.tl-callout--corollary .tl-callout__title,.tl-callout--conjecture .tl-callout__title,.tl-callout--counterexample .tl-callout__title{font-family:var(--font-serif);font-weight:700}.tl-callout--proposition .tl-callout__body,.tl-callout--lemma .tl-callout__body,.tl-callout--corollary .tl-callout__body,.tl-callout--conjecture .tl-callout__body,.tl-callout--counterexample .tl-callout__body{padding:var(--space-12) var(--space-16) var(--space-16);font:400 var(--type-prose-compact)/1.55 var(--font-serif)}.tl-callout--boundary{padding:var(--space-16) var(--space-16) var(--space-16);background:linear-gradient(90deg,var(--tl-tint),transparent 62%)}.tl-callout--boundary .tl-callout__header{margin-bottom:var(--space-8)}.tl-callout--boundary .tl-callout__title{font-size:var(--type-component-title)}.tl-callout--boundary .tl-callout__body{font:400 var(--type-ui-body)/1.55 var(--font-sans)}.tl-callout--boundary .tl-callout__body p{margin-bottom:var(--space-12);color:var(--ink-soft)}.tl-callout--boundary ul{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:var(--space-8) var(--space-24);margin:0;padding:0;list-style:none}.tl-callout--boundary li{position:relative;padding:var(--space-8) 0 0 var(--space-16);border-top:1px solid var(--line-soft);color:var(--ink-soft)}.tl-callout--boundary li:before{content:"\b7";position:absolute;left:1px;color:var(--tl-accent);font-weight:700}.tl-callout--boundary strong{color:var(--ink);font-weight:600}.tl-callout--plain{border-radius:0 var(--r-md) var(--r-md) 0}tl-callout{display:block}.tl-callout--plain .tl-callout__body>:first-child{margin-top:0}.tl-callout--plain .tl-callout__body>:last-child{margin-bottom:0}.tl-segmented{display:flex;flex-wrap:wrap;gap:var(--space-4);min-width:0;padding:var(--space-4);border-radius:999px;background:var(--surface-group)}.tl-segmented__item{min-height:40px;padding:7px var(--space-12);border:0;border-radius:999px;background:transparent;color:var(--ink-soft);font:500 var(--type-data-secondary)/1.25 var(--font-sans);cursor:pointer;transition:color var(--motion-control),border-color var(--motion-control),background var(--motion-control)}.tl-segmented__item:hover{color:var(--ink);border-color:var(--line-strong)}.tl-segmented__item.is-selected{color:var(--ink);background:color-mix(in srgb,var(--teal) 14%,var(--surface-raised));box-shadow:var(--shadow-control)}.tl-segmented__item:focus-visible{outline:3px solid color-mix(in srgb,var(--focus) 38%,transparent);outline-offset:2px}.tl-control-bar{display:flex;align-items:center;justify-content:center;flex-wrap:wrap;gap:var(--space-8) var(--space-16);min-width:0;padding-bottom:var(--space-12);border-bottom:1px solid var(--line-soft)}.tl-control-bar--grid{display:grid;grid-template-columns:repeat(var(--tl-control-columns,2),minmax(0,1fr));align-items:start;gap:var(--space-16) var(--space-24)}.tl-control-bar--start{justify-content:flex-start}.tl-control-bar--undivided{padding-bottom:0;border-bottom:0}.tl-control-field{display:flex;align-items:center;justify-content:center;flex-wrap:wrap;gap:var(--space-8) var(--space-16);min-width:0}.tl-control-bar--grid .tl-control-field{display:grid;justify-items:stretch;gap:var(--space-8)}.tl-control-field__label{color:var(--ink-faint);font:600 var(--type-data-secondary)/1.3 var(--font-sans);letter-spacing:.09em;text-transform:uppercase}.tl-control-field__body{min-width:0}.tl-control-field__body>.tl-segmented{justify-content:center}.tl-control-bar--grid .tl-control-field__body>.tl-segmented{justify-content:flex-start}.tl-formula-band{min-width:0;padding:var(--space-16) 0 var(--space-12);color:var(--ink);text-align:center}.tl-formula-band--divided{border-block:1px solid var(--line-soft)}.tl-value-grid{display:grid;grid-template-columns:repeat(var(--tl-value-grid-columns,4),minmax(0,1fr));gap:1px;min-width:0;overflow:hidden;border:0;border-radius:var(--r-sm);background:var(--surface-group)}.tl-value-cell{display:grid;place-items:center;align-content:center;gap:3px;min-width:0;min-height:54px;padding:7px var(--space-4) 6px;background:transparent;color:var(--ink-soft);font-family:var(--font-sans);text-align:center;transition:color var(--motion-control),background var(--motion-control),opacity var(--motion-control)}.tl-value-cell__label{color:var(--ink-faint);font:600 var(--type-data-secondary)/1.2 var(--font-sans);letter-spacing:.05em}.tl-value-cell__primary{font-size:var(--type-data-primary);font-weight:600}.tl-value-cell__secondary{min-height:18px;color:var(--teal);font-size:var(--type-data-secondary)}.tl-value-cell.is-muted{color:var(--ink-faint);opacity:.24}.tl-value-cell.is-active,.tl-value-cell.is-selected{color:var(--ink);background:var(--surface-active);box-shadow:inset 0 0 0 1px var(--surface-active-line);opacity:1}.tl-term-sequence{width:min(100%,760px);margin:var(--space-12) auto var(--space-4)}.tl-term-cell.is-removed{color:var(--ink-faint);opacity:.28;text-decoration:line-through}.tl-term-cell.is-tail{color:var(--ink-soft)}.tl-term-cell.is-active{color:var(--teal)}.tl-result-band{display:flex;align-items:baseline;justify-content:center;flex-wrap:wrap;gap:6px var(--space-16);min-width:0;padding-top:var(--space-12);border-top:1px solid var(--line-soft);color:var(--ink-soft);font:500 var(--type-data-secondary)/1.45 var(--font-sans);text-align:center}.tl-result-band--undivided{padding-top:0;border-top:0}.tl-result-band--accent{color:var(--teal)}.tl-meter-list{display:grid;gap:var(--space-16);width:min(100%,760px);margin:var(--space-20) auto var(--space-16)}.tl-meter-row{display:grid;grid-template-columns:130px minmax(120px,1fr) 70px;gap:var(--space-12);align-items:center;min-width:0}.tl-meter-row__label{min-width:0;color:var(--ink-soft);text-align:right}.tl-meter-row__track{display:block;height:8px;overflow:hidden;background:var(--line-soft)}.tl-meter-row__fill{display:block;height:100%;min-width:2px}.tl-meter-row__fill--teal{background:var(--teal)}.tl-meter-row__fill--yellow{background:var(--yellow)}.tl-meter-row__fill--blue{background:var(--blue)}.tl-meter-row__fill--green{background:var(--green)}.tl-meter-row__fill--pink{background:var(--pink)}.tl-meter-row__fill--purple{background:var(--purple)}.tl-meter-row__value{color:var(--ink);font:500 var(--type-ui-min)/1 var(--font-sans);font-variant-numeric:tabular-nums}.tl-meter-list--compact{gap:var(--space-8);width:100%;margin:0}.tl-meter-list--compact .tl-meter-row{grid-template-columns:43px minmax(0,1fr) 38px;gap:7px}.tl-meter-list--compact .tl-meter-row__label,.tl-meter-list--compact .tl-meter-row__value{color:var(--ink-faint);font:500 var(--type-ui-min)/1 var(--font-sans)}.tl-meter-list--compact .tl-meter-row__track{height:9px;border-radius:5px}.tl-meter-list--compact .tl-meter-row__fill{border-radius:5px}.tl-meter-list--compact .tl-meter-row__value{text-align:right}.tl-narrative-band{display:block;min-width:0;min-height:48px;margin-bottom:var(--space-16);padding:var(--space-12) var(--space-16);border:0;border-radius:var(--r-sm);background:var(--surface-group);color:var(--ink-soft);font:400 var(--type-ui-small)/1.55 var(--font-sans)}.tl-narrative-band--teal{background:color-mix(in srgb,var(--teal) 7%,var(--surface-group))}.tl-narrative-band--yellow{background:color-mix(in srgb,var(--yellow) 7%,var(--surface-group))}.tl-narrative-band--pink{background:color-mix(in srgb,var(--pink) 7%,var(--surface-group))}.tl-narrative-band--green{background:color-mix(in srgb,var(--green) 7%,var(--surface-group))}.tl-matrix-frame{width:min(100%,550px);margin:0 auto;display:grid;grid-template-columns:22px minmax(0,1fr);grid-template-rows:minmax(0,1fr) 20px;gap:var(--space-4) 7px;min-width:0}.tl-matrix-frame__grid{min-width:0;display:grid}.tl-matrix-frame__x,.tl-matrix-frame__y{display:flex;align-items:center;justify-content:center;color:var(--ink-faint);font:500 var(--type-ui-min)/1 var(--font-sans);letter-spacing:.04em}.tl-matrix-frame__y{writing-mode:vertical-rl;transform:rotate(180deg)}.tl-matrix-frame__x{grid-column:2}.tl-matrix-frame--scroll{width:100%;overflow-x:auto}.tl-matrix-readout{display:flex;align-items:center;gap:var(--space-8);min-width:0;color:var(--ink)}.tl-matrix-readout__label{color:var(--ink-soft);font-size:var(--type-data-secondary)}.tl-matrix-readout__matrix{position:relative;display:grid;grid-template-columns:repeat(2,minmax(4ch,1fr));gap:var(--space-4) var(--space-16);padding:6px var(--space-16);color:var(--ink);background:var(--surface-active);border-radius:var(--r-sm);font-family:var(--font-mono);font-size:var(--type-ui-large);font-weight:600;font-variant-numeric:tabular-nums;text-align:right}.tl-matrix-readout__matrix:before,.tl-matrix-readout__matrix:after{content:"";position:absolute;inset-block:2px;width:9px;border-block:2px solid var(--surface-active-line)}.tl-matrix-readout__matrix:before{left:0;border-left:2px solid var(--surface-active-line);border-radius:12px 0 0 12px}.tl-matrix-readout__matrix:after{right:0;border-right:2px solid var(--surface-active-line);border-radius:0 12px 12px 0}.tl-token-picker{gap:var(--space-8);margin-bottom:var(--space-16)}.tl-token-picker__item{min-height:0;padding:var(--space-8) var(--space-12);border-radius:var(--r-sm);font-size:var(--type-ui-small)}.tl-key-value-list{display:grid;gap:0;min-width:0;margin:0;border-block:1px solid var(--line-soft)}.tl-key-value-row{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:var(--space-12);align-items:baseline;min-width:0;padding:var(--space-8) 0}.tl-key-value-row+.tl-key-value-row{border-top:1px solid var(--line-soft)}.tl-key-value-row dt{min-width:0;color:var(--ink-soft);font:500 var(--type-data-secondary)/1.4 var(--font-sans)}.tl-key-value-row dd{margin:0;color:var(--ink);font:600 var(--type-data-primary)/1.3 var(--font-sans);font-variant-numeric:tabular-nums}.tl-key-value-row--teal dd{color:var(--teal)}.tl-key-value-row--yellow dd{color:var(--yellow)}.tl-key-value-list--compact .tl-key-value-row{padding:6px 0}.tl-progress-track{display:block;height:7px;min-width:0;overflow:hidden;border-radius:4px;background:var(--line-soft)}.tl-progress-track__fill{display:block;height:100%;min-width:2px;border-radius:inherit}.tl-progress-track__fill--teal{background:var(--teal)}.tl-progress-track__fill--yellow{background:var(--yellow)}.tl-progress-track__fill--blue{background:var(--blue)}.tl-progress-track__fill--green{background:var(--green)}.tl-progress-track__fill--pink{background:var(--pink)}.tl-progress-track__fill--purple{background:var(--purple)}.tl-legend{display:flex;flex-wrap:wrap;gap:var(--space-8) var(--space-16);margin:0;padding:0;list-style:none;color:var(--ink-soft);font:500 var(--type-data-secondary)/1.4 var(--font-sans)}.tl-legend li{display:inline-flex;align-items:center;gap:7px}.tl-legend__swatch{display:block;flex:none;width:9px;height:9px;border-radius:50%;background:var(--tl-swatch,var(--teal));box-shadow:0 0 0 1px color-mix(in srgb,var(--tl-swatch,var(--teal)) 72%,var(--line))}.tl-legend__swatch--square{width:10px;height:10px;border:1px solid var(--line);border-radius:3px;box-shadow:none}.tl-legend__swatch--line{width:28px;height:4px;border-radius:999px;box-shadow:none}.tl-complex-plane{display:block;width:100%;height:auto;overflow:visible;shape-rendering:geometricPrecision}.tl-complex-plane__grid line{stroke:var(--line-soft);stroke-width:1;vector-effect:non-scaling-stroke}.tl-complex-plane__axis,.tl-complex-plane__tick line{stroke:var(--line-strong);stroke-width:1.2;stroke-linecap:round;vector-effect:non-scaling-stroke}.tl-complex-plane__tick text,.tl-complex-plane__origin-label,.tl-complex-plane__axis-label{fill:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary);font-weight:500}.tl-complex-plane__axis-label{fill:var(--ink-soft);font-size:var(--type-ui-small);letter-spacing:.01em}.tl-complex-plane__axis-label--imaginary{dominant-baseline:auto}.tl-svg-label{pointer-events:none}.tl-cartesian-plot{display:block;width:100%;height:auto;overflow:visible;shape-rendering:geometricPrecision}.tl-plot-axis__line,.tl-plot-tick line{stroke:var(--line-strong);stroke-width:1.2;stroke-linecap:round;vector-effect:non-scaling-stroke}.tl-plot-grid-line{stroke:var(--line-soft);stroke-width:1;vector-effect:non-scaling-stroke}.tl-plot-tick text,.tl-plot-axis__label{fill:var(--ink-faint);font:500 var(--type-data-secondary)/1 var(--font-sans)}.tl-plot-axis__label{fill:var(--ink-soft);font-size:var(--type-ui-small)}.tl-plot-curve{--tl-plot-color:var(--teal);fill:none;stroke:var(--tl-plot-color);stroke-width:2.2;stroke-linecap:round;stroke-linejoin:round;vector-effect:non-scaling-stroke}.tl-plot-reference{--tl-plot-color:var(--yellow);stroke:var(--tl-plot-color);stroke-width:1.2;vector-effect:non-scaling-stroke}.tl-plot-reference.is-dashed{stroke-dasharray:5 5}.tl-plot-reference-label{fill:var(--tl-plot-color,var(--yellow));font:500 var(--type-data-secondary)/1 var(--font-sans);pointer-events:none}.tl-plot-marker{--tl-plot-color:var(--teal);fill:var(--bg-stage);stroke:var(--tl-plot-color);stroke-width:2;vector-effect:non-scaling-stroke}.tl-plot-marker.is-filled{fill:var(--tl-plot-color);stroke:var(--bg-stage)}.tl-plot-curve.is-danger,.tl-plot-reference.is-danger,.tl-plot-marker.is-danger{--tl-plot-color:var(--red)}.tl-plot-curve.is-accent,.tl-plot-reference.is-accent,.tl-plot-marker.is-accent{--tl-plot-color:var(--yellow)}.tl-plot-curve.is-muted,.tl-plot-reference.is-muted,.tl-plot-marker.is-muted{--tl-plot-color:var(--line-strong)}.tl-plot-math-label{fill:var(--yellow);font:400 var(--type-data-secondary)/1 var(--font-math);font-style:italic;pointer-events:none}.tl-plot-math-label .tl-svg-math__script{stroke:none}.tl-plot-math-label.is-primary{fill:var(--teal)}.tl-plot-math-label.is-danger{fill:var(--red)}.tl-plot-math-label.is-muted{fill:var(--ink-faint)}.tl-sector-region,.tl-angle-annotation,.tl-projection-guide,.tl-labeled-point{--tl-geometry-color:var(--teal)}.tl-sector-region.is-accent,.tl-angle-annotation.is-accent,.tl-projection-guide.is-accent,.tl-labeled-point.is-accent{--tl-geometry-color:var(--yellow)}.tl-sector-region.is-danger,.tl-angle-annotation.is-danger,.tl-projection-guide.is-danger,.tl-labeled-point.is-danger{--tl-geometry-color:var(--red)}.tl-sector-region.is-muted,.tl-angle-annotation.is-muted,.tl-projection-guide.is-muted,.tl-labeled-point.is-muted{--tl-geometry-color:var(--line-strong)}.tl-sector-region__area{fill:color-mix(in srgb,var(--tl-geometry-color) 9%,transparent)}.tl-sector-region__ray{stroke:var(--tl-geometry-color);stroke-width:1.8;stroke-linecap:round;vector-effect:non-scaling-stroke}.tl-angle-annotation__arc{fill:none;stroke:var(--tl-geometry-color);stroke-width:1.5;stroke-linecap:round;vector-effect:non-scaling-stroke}.tl-angle-annotation__label,.tl-labeled-point__label{fill:var(--ink-faint);font:500 var(--type-data-secondary)/1 var(--font-sans)}.tl-projection-guide{stroke:var(--tl-geometry-color);stroke-width:1;vector-effect:non-scaling-stroke}.tl-projection-guide.is-muted{--tl-geometry-color:var(--ink-faint)}.tl-projection-guide.is-dashed{stroke-dasharray:4 4}.tl-labeled-point__marker{fill:var(--tl-geometry-color);stroke:none;vector-effect:non-scaling-stroke}.tl-labeled-point.is-hollow .tl-labeled-point__marker{fill:var(--bg-stage);stroke:var(--tl-geometry-color);stroke-width:2}.tl-scene-board{min-width:0;padding:var(--space-16);border:0;border-radius:var(--r-md);background:var(--surface-group)}.tl-scene-board--coordinate{background:radial-gradient(circle at 46% 42%,color-mix(in srgb,var(--math-structure) 7%,transparent),transparent 52%),var(--surface-working)}.tl-scene-board--structure{border-color:color-mix(in srgb,var(--math-structure) 28%,var(--line));background:linear-gradient(135deg,color-mix(in srgb,var(--math-structure) 5%,transparent),transparent 56%),var(--surface-working)}.tl-scene-panel{min-width:0;border:0;border-radius:var(--r-sm);background:var(--surface-group)}.tl-scene-board>.tl-scene-panel{background:transparent;border-radius:0}.tl-scene-panel--compact{padding:var(--space-12)}.tl-scene-panel--standard{padding:var(--space-16)}.tl-scene-panel--result{border:1px solid color-mix(in srgb,var(--math-conclusion) 58%,var(--line));background:color-mix(in srgb,var(--math-conclusion) 10%,var(--surface-background))}.tl-scene-panel--exception{border:1px solid color-mix(in srgb,var(--math-contradiction) 58%,var(--line));background:color-mix(in srgb,var(--math-contradiction) 10%,var(--surface-background))}.tl-segmented--filled .tl-segmented__item{background:var(--bg-1)}.tl-stage{--tl-stage-accent:var(--series-accent,var(--math-operation));position:relative;margin:var(--space-20) 0;background:var(--surface-working);border:0;border-radius:var(--r-editorial);box-shadow:var(--shadow-soft);overflow:hidden}.tl-stage--tone-structure{--tl-stage-accent:var(--math-structure)}.tl-stage--tone-operation{--tl-stage-accent:var(--math-operation)}.tl-stage--tone-assumption{--tl-stage-accent:var(--math-assumption)}.tl-stage--tone-conclusion{--tl-stage-accent:var(--math-conclusion)}.tl-stage--tone-abstraction{--tl-stage-accent:var(--math-abstraction)}.tl-stage--tone-example{--tl-stage-accent:var(--math-example)}.tl-stage:before{content:"";position:absolute;z-index:1;inset:-54px -34px auto auto;width:190px;height:160px;border-radius:50%;background:radial-gradient(circle,color-mix(in srgb,var(--tl-stage-accent) 15%,transparent),transparent 68%);pointer-events:none}.tl-stage-head{display:flex;align-items:center;justify-content:space-between;gap:var(--space-16);padding:var(--space-16) var(--space-20);border-bottom:0;background:transparent}.tl-stage-title{margin:0;font-family:var(--font-sans);font-size:var(--type-component-title);font-weight:650;line-height:1.25;color:var(--ink);letter-spacing:-.018em;display:inline-flex;align-items:center;gap:var(--space-8)}.tl-stage-title:before{content:"";flex:none;width:9px;height:9px;border-radius:50% 50% 18%;background:var(--tl-stage-accent);box-shadow:0 0 18px color-mix(in srgb,var(--tl-stage-accent) 46%,transparent);transform:rotate(18deg)}.tl-stage-body{padding:var(--space-16)}.tl-stage-body--none{padding:0}.tl-stage-body--compact{padding:var(--space-8)}.tl-stage-body--medium{padding:var(--space-12)}.tl-stage-body--standard{padding:var(--space-16)}.tl-stage-body--wide{padding:var(--space-16) var(--space-20)}.tl-stage-body--roomy{padding:var(--space-24)}.tl-stage--spacing-relaxed{margin-top:var(--space-20)}.tl-stage--spacing-separated{margin-top:var(--space-24)}.tl-stage-head{flex-wrap:wrap}.tl-stage .tl-controls,.tl-stage .tl-sliders{border:0;background:var(--surface-group)}.tl-stage-stats{padding:var(--space-8) var(--space-20) var(--space-16);border:0}.tl-btn{font-family:var(--font-sans);font-size:var(--type-ui-strong);font-weight:500;color:var(--ink);background:var(--bg-2);border:1px solid var(--line);border-radius:var(--r-md);min-height:44px;padding:var(--space-8) var(--space-16);cursor:pointer;transition:color var(--motion-control) var(--ease-move),background-color var(--motion-control) var(--ease-move),border-color var(--motion-control) var(--ease-move),box-shadow var(--motion-control) var(--ease-move),transform var(--motion-control) var(--ease-move);display:inline-flex;align-items:center;gap:var(--space-8);-webkit-user-select:none;user-select:none}.tl-btn:hover{border-color:var(--math-structure);background:color-mix(in srgb,var(--math-structure) 9%,var(--surface-raised));transform:translateY(-1px)}.tl-btn:active{transform:translateY(0)}.tl-btn:disabled{opacity:.4;cursor:not-allowed;transform:none}.tl-btn-primary{background:var(--accent-fill);border-color:var(--accent-line);border-radius:999px;color:var(--ink-on-accent);font-weight:650}.tl-btn-primary:hover{background:var(--accent-fill-hover)}.tl-btn-ghost{background:transparent}.tl-btn-stop{margin-left:auto;color:var(--stop-ink);font-weight:600;background:var(--stop-fill);border-color:var(--stop-line)}.tl-btn-stop:hover{background:var(--stop-fill-hover);transform:translateY(-1px)}.tl-controls>.tl-btn.is-right{margin-left:auto}.tl-controls{display:flex;flex-wrap:wrap;gap:var(--space-8);align-items:center;padding:var(--space-16) var(--space-16);background:color-mix(in srgb,var(--surface-reading) 86%,transparent)}.tl-chip{display:inline-flex;align-items:center;gap:7px;font-size:var(--type-ui-small);font-weight:500;padding:var(--space-4) var(--space-12);border-radius:999px;background:color-mix(in srgb,var(--surface-group-strong) 76%,transparent);border:0;color:var(--ink-soft);box-shadow:none;font-variant-numeric:tabular-nums;white-space:nowrap}.tl-chip>.wmath{display:inline-flex;align-items:center;justify-content:center;line-height:1}.tl-dot{width:9px;height:9px;border-radius:50%;display:inline-block;box-shadow:0 0 8px currentColor}.tl-stage>.tl-stage-body>svg,.tl-stage svg.tl-board{background:transparent}.tl-formula{background:color-mix(in srgb,var(--math-structure) 3%,var(--surface-working));border-block:1px solid var(--line);border-inline:0;border-radius:0;padding:var(--space-12) var(--space-24);margin:1.4em 0;overflow-x:auto;box-shadow:none}.tl-formula--plain{background:transparent;border:0;border-radius:0;padding:0;margin:1.1em 0 1.35em;box-shadow:none}.tl-formula--plain>tl-math[display],.tl-formula--plain>.tl-formula__wide>tl-math[display],.tl-formula--plain>.tl-formula__narrow>tl-math[display]{margin-block:.65em}.tl-formula--result{position:relative;display:grid;grid-template-columns:minmax(160px,.28fr) minmax(0,1fr);align-items:stretch;min-height:76px;margin:1.2em 0 1.35em;padding:0;background:linear-gradient(90deg,color-mix(in srgb,var(--math-conclusion) 7%,transparent),transparent 62%);border-block-color:color-mix(in srgb,var(--math-conclusion) 28%,var(--line))}.tl-formula__label{display:flex;align-items:center;margin:0;padding:var(--space-8) var(--space-16);border-inline-end:1px solid var(--line-soft);border-inline-end-color:color-mix(in srgb,var(--math-conclusion) 24%,var(--line));color:var(--math-conclusion);font:650 var(--type-ui-min)/1.15 var(--font-sans);letter-spacing:.13em;text-transform:uppercase}.tl-formula--result>.tl-formula__body{display:grid;place-items:center;min-width:0;padding:var(--space-8) var(--space-16);overflow-x:auto}.tl-formula--result>tl-math[display],.tl-formula--result>.tl-formula__body>tl-math[display]{align-self:center;min-width:0;margin-block:.1em;font-size:1.04em}.tl-formula--result>tl-math[display]{grid-column:2;width:auto;margin-inline:var(--space-16)}.tl-formula--result>.tl-formula__caption{grid-column:1 / -1;margin:0;padding:var(--space-8) var(--space-16)}.tl-formula__body{min-width:0}.tl-formula__narrow{display:none}.tl-formula__caption{max-width:var(--measure);margin:var(--space-4) 0 0;padding-top:7px;text-align:left;border-top:1px solid var(--line-soft);color:var(--ink-faint);font:400 var(--type-ui-min)/1.5 var(--font-sans)}.tl-formula>tl-math[display]+tl-math[display],.tl-formula__body>tl-math[display]+tl-math[display]{margin-top:var(--space-4);padding-top:var(--space-16);border-top:1px solid var(--line)}.tl-formula--derivation{padding:var(--space-8) 0;overflow:hidden;border-block-color:color-mix(in srgb,var(--math-operation) 26%,var(--line));background:color-mix(in srgb,var(--math-operation) 2.5%,var(--surface-working))}.tl-formula__step{position:relative;min-height:72px;display:grid;grid-template-columns:minmax(150px,210px) minmax(0,1fr);align-items:center;gap:var(--space-20);padding:var(--space-12) var(--space-16) var(--space-12) var(--space-24);border-bottom:1px solid var(--line-soft)}.tl-formula__step:before{content:"";position:absolute;inset-inline-start:7px;top:50%;width:7px;height:7px;border:1px solid var(--math-operation);border-radius:50%;background:var(--surface-working);transform:translateY(-50%)}.tl-formula__step:last-child{border-bottom:0}.tl-formula__step-label{margin:0;padding:0;color:var(--ink-faint);font:650 var(--type-ui-min)/1.35 var(--font-sans);letter-spacing:.04em;text-transform:none;white-space:normal}.tl-formula__step-math{min-width:0;overflow-x:auto;padding:0;text-align:left;color:var(--ink);font-size:1.03rem;scrollbar-width:thin}.tl-formula__step--result{border-left:2px solid var(--math-conclusion);background:color-mix(in srgb,var(--math-conclusion) 5%,transparent)}.tl-formula__step--result:before{border-color:var(--math-conclusion);background:var(--math-conclusion)}.tl-formula__step--result .tl-formula__step-label{color:var(--math-conclusion)}.tl-formula__step--result .tl-formula__step-math{color:var(--ink)}.tl-formula-is-stacked .tl-formula__step{grid-template-columns:minmax(0,1fr);align-items:start;gap:var(--space-8);padding:var(--space-16) var(--space-16) var(--space-16)}.tl-formula-is-stacked .tl-formula__step-math{width:100%;padding-block:.45em;text-align:center;line-height:1.8}.tl-structure-title{margin:0 0 var(--space-16);color:var(--ink);font:600 1rem/1.35 var(--font-sans)}.tl-algorithm{--tl-accent:var(--teal);margin:var(--space-28) 0;border-block:1px solid var(--line);background:transparent}.tl-algorithm__header{display:flex;align-items:baseline;gap:var(--space-8) var(--space-16);padding:var(--space-12) 0 var(--space-12);border-bottom:1px solid var(--line);font-family:var(--font-sans)}.tl-algorithm__dot{display:none}.tl-algorithm__label{color:var(--tl-accent);font-size:var(--type-ui-min);font-weight:650;letter-spacing:.12em;text-transform:uppercase}.tl-algorithm__title{margin:0;color:var(--ink);font:600 var(--type-ui-body)/1.35 var(--font-sans)}.tl-algorithm__title:before{content:none}.tl-algorithm__body{margin:0;padding:var(--space-16) 0 var(--space-16);color:var(--ink-soft);font:400 var(--type-ui-body)/1.7 var(--font-sans)}.tl-algorithm ol.tl-algorithm__body{list-style:none;counter-reset:algorithm-step}.tl-algorithm ol.tl-algorithm__body>li{counter-increment:algorithm-step;position:relative;padding-inline-start:calc(30px + var(--tl-depth,0)*22px)}.tl-algorithm ol.tl-algorithm__body>li:before{content:counter(algorithm-step);position:absolute;inset-inline-start:calc(var(--tl-depth,0)*22px);color:var(--ink-faint);font-variant-numeric:tabular-nums}.tl-algorithm__body .is-formula{margin-block:var(--space-4);color:var(--ink)}.tl-algorithm__body li.ind1{--tl-depth:1}.tl-algorithm__body li.ind2{--tl-depth:2}.tl-algorithm__body .kw{color:var(--teal);font-weight:600}.tl-algorithm__body .hl{color:var(--yellow)}.tl-algorithm__body li.formula-line{margin-block:var(--space-4);padding-bottom:3px;overflow-x:auto;overflow-y:hidden;color:var(--ink);scrollbar-width:thin}.tl-comparison{margin:var(--space-28) 0}.tl-comparison__grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(220px,100%),1fr));border-block:1px solid var(--line)}.tl-comparison__item{min-width:0;padding:var(--space-16) var(--space-16) var(--space-16);border-inline-start:1px solid var(--line)}.tl-comparison__item:first-child{border-inline-start:0}.tl-comparison__item h3,.tl-comparison__item h4{margin:0 0 var(--space-12);color:var(--ink);font:600 var(--type-ui-body)/1.35 var(--font-sans)}.tl-comparison__item p{display:grid;gap:var(--space-4);margin:var(--space-8) 0 0;color:var(--ink-soft);font:400 var(--type-ui-small)/1.5 var(--font-sans)}.tl-comparison__item p>span{color:var(--ink-faint);font-size:var(--type-ui-min);font-weight:650;letter-spacing:.09em;text-transform:uppercase}.tl-comparison__item .tl-comparison__benefit>span{color:var(--teal)}.tl-comparison__item .tl-comparison__cost>span{color:var(--yellow)}.tl-series-comparison{width:min(100%,920px);margin-inline:auto}.tl-series-comparison__caption{padding-bottom:var(--space-8);color:var(--ink-faint);text-align:center;font:500 var(--type-ui-min)/1.4 var(--font-sans)}.tl-series-case{padding:var(--space-12) 0 var(--space-8);border-top:1px solid var(--line-soft)}.tl-series-case__header,.tl-series-case__facts{display:flex;align-items:center;justify-content:space-between;flex-wrap:wrap;gap:6px var(--space-16);color:var(--ink-soft);font:500 var(--type-ui-min)/1.4 var(--font-sans)}.tl-series-case__label{color:var(--ink);font-weight:500}.tl-series-case__verdict{color:var(--ink-soft)}.tl-series-case__visual{min-width:0}.tl-series-case__facts{justify-content:flex-start;color:var(--ink-faint);font-size:var(--type-ui-min)}@media (max-width:560px){.tl-series-comparison{width:100%}.tl-series-comparison__caption{text-align:left}.tl-series-case{padding-block:var(--space-8) var(--space-8)}.tl-series-case__header,.tl-series-case__facts{align-items:flex-start}}.tl-data-table-wrap{margin:var(--space-28) 0 var(--space-32);overflow-x:auto;border-block:1px solid var(--line);scrollbar-width:thin;outline:none}.tl-data-table-wrap--wide{width:min(1120px,calc(100vw - 48px));margin-inline:50%;transform:translate(-50%)}.tl-data-table-wrap:focus-visible{box-shadow:inset 0 0 0 2px var(--blue-bright)}.tl-data-table{width:100%;min-width:900px;border-collapse:collapse;color:var(--ink-soft);font:400 var(--type-ui-min)/1.5 var(--font-sans);font-variant-numeric:tabular-nums}.tl-data-table caption{padding:0 0 var(--space-12);color:var(--ink);text-align:left;font:600 var(--type-ui-body)/1.35 var(--font-sans)}.tl-data-table th,.tl-data-table td{padding:var(--space-12) var(--space-16);text-align:left;vertical-align:top}.tl-data-table thead th{color:var(--ink-faint);font-size:var(--type-ui-min);font-weight:650;letter-spacing:.09em;text-transform:uppercase;white-space:nowrap}.tl-data-table tbody tr{border-top:1px solid var(--line-soft)}.tl-data-table tbody th{width:18%;color:var(--ink);font-weight:600}.tl-data-table tbody td:nth-child(2){width:23%}.tl-data-table tbody td:nth-child(3){width:23%}.tl-data-table tbody td:nth-child(4){width:22%}.tl-data-table th:last-child,.tl-data-table td:last-child{text-align:center}.tl-data-table tbody td:last-child{color:var(--teal);white-space:nowrap}.tl-data-table tbody tr:hover{background:var(--bg-1)}.tl-data-table--compact{min-width:0}.tl-data-table--compact tbody th{width:28%}.tl-data-table--compact tbody td:nth-child(2){width:24%}.tl-data-table--compact tbody td:nth-child(3){width:48%}.tl-data-table--compact th:last-child,.tl-data-table--compact td:last-child{text-align:left}.tl-data-table--compact tbody td:last-child{color:var(--ink-soft);white-space:normal}.tl-example{display:grid;grid-template-columns:minmax(138px,.42fr) minmax(0,1.58fr);gap:3px var(--space-20);align-items:start;margin:var(--space-20) 0;padding:var(--space-12) 0 var(--space-16);border-block:1px solid var(--line-soft);color:inherit;text-decoration:none!important}.tl-example__label,.tl-example>span:first-child{grid-column:1;color:var(--ink-faint);font:650 var(--type-ui-min)/1.4 var(--font-sans);letter-spacing:.1em;text-transform:uppercase}.tl-example__title,.tl-example>strong{grid-column:1;color:var(--teal);font:600 var(--type-ui-small)/1.45 var(--font-sans)}.tl-example__body,.tl-example>em{grid-column:2;grid-row:1 / span 2;color:var(--ink-soft);font:400 var(--type-ui-small)/1.58 var(--font-sans);font-style:normal}.tl-example__source{grid-column:2;color:var(--ink-faint);font:400 var(--type-ui-min)/1.4 var(--font-sans)}a.tl-example:hover .tl-example__title,a.tl-example:hover>strong{color:var(--ink)}.tl-prior-reference{--tl-prior-reference-accent:var(--blue-bright);display:grid;grid-template-columns:minmax(132px,168px) minmax(0,1fr);gap:var(--space-12) clamp(var(--space-20),3vw,var(--space-32));margin:var(--space-28) 0;padding:var(--space-20) 0 var(--space-12);border-block-start:1px solid color-mix(in srgb,var(--tl-prior-reference-accent) 42%,var(--line-soft))}.tl-prior-reference[data-tl-prior-reference-kind=definition]{--tl-prior-reference-accent:var(--purple)}.tl-prior-reference__header{display:grid;grid-template-columns:subgrid;grid-column:1 / -1;align-items:baseline}.tl-prior-reference__eyebrow{grid-column:1;display:block;margin:0;color:var(--tl-prior-reference-accent);font:650 var(--type-ui-min)/1.35 var(--font-sans);letter-spacing:.1em;text-transform:uppercase}.tl-prior-reference__title{grid-column:2;margin:0;color:var(--ink);font:600 var(--type-ui-small)/1.36 var(--font-sans);text-wrap:balance}.tl-prior-reference__body{grid-column:2;min-width:0;color:var(--ink-soft);font:400 var(--type-ui-body)/1.55 var(--font-sans)}.tl-prior-reference__body>:first-child{margin-top:0}.tl-prior-reference__body>:last-child{margin-bottom:0}.tl-prior-reference__body>p{margin-block:0 var(--space-8)}.tl-prior-reference__body .tl-callout__math{margin:var(--space-8) 0;color:var(--tl-prior-reference-accent)}.tl-prior-reference__link{grid-column:2;display:flex;align-items:baseline;justify-content:space-between;flex-wrap:wrap;gap:var(--space-4) var(--space-16);color:var(--ink-faint);font:450 var(--type-ui-min)/1.4 var(--font-sans);text-decoration:none}.tl-prior-reference__link strong{color:var(--tl-prior-reference-accent);font-weight:550;white-space:nowrap}.tl-prior-reference__link:hover{text-decoration:none}.tl-prior-reference__link:hover strong{color:var(--ink)}.tl-prior-reference__source{color:var(--ink-faint);font:500 var(--type-ui-min)/1.4 var(--font-sans)}[data-notation-key]{cursor:pointer}svg [data-notation-key]{pointer-events:bounding-box}svg [data-semantic-key]{pointer-events:bounding-box}[data-notation-key]:not(g){text-decoration-line:underline;text-decoration-style:dotted;text-decoration-color:var(--line-strong);text-decoration-thickness:1px;text-underline-offset:.16em}[data-notation-key]:hover,[data-notation-key]:focus{color:var(--teal);outline:none}[data-math-role=structure],[data-active-math-role=structure]{--tl-role-color:var(--math-structure)}[data-math-role=operation],[data-active-math-role=operation]{--tl-role-color:var(--math-operation)}[data-math-role=assumption],[data-active-math-role=assumption]{--tl-role-color:var(--math-assumption)}[data-math-role=conclusion],[data-active-math-role=conclusion]{--tl-role-color:var(--math-conclusion)}[data-math-role=contradiction],[data-active-math-role=contradiction]{--tl-role-color:var(--math-contradiction)}[data-math-role=abstraction],[data-active-math-role=abstraction]{--tl-role-color:var(--math-abstraction)}[data-math-role=example],[data-active-math-role=example]{--tl-role-color:var(--math-example)}[data-math-role]{--tl-semantic-color:var(--tl-role-color)}.tl-semantic-scope [data-semantic-key]{transition:color var(--motion-control) var(--ease-move),border-color var(--motion-control) var(--ease-move)}.tl-semantic-scope.tl-has-semantic-focus [data-semantic-key].is-semantically-active{color:var(--tl-semantic-color,var(--math-structure))}.tl-notation-popover{position:fixed;z-index:40;width:min(340px,calc(100vw - 24px));padding:var(--space-16) var(--space-16) var(--space-12);border:1px solid var(--line-strong);border-radius:var(--r-sm);background:var(--bg-stage);box-shadow:0 14px 40px #00000047;color:var(--ink-soft);opacity:0;visibility:hidden;pointer-events:none;transform:translateY(4px);transition:opacity var(--motion-control),transform var(--motion-control),visibility var(--motion-control)}.tl-notation-popover.is-open{opacity:1;visibility:visible;transform:translateY(0)}.tl-notation-popover__title{display:block;color:var(--ink);font:600 var(--type-ui-min)/1.35 var(--font-sans)}.tl-notation-popover__formula{max-width:100%;margin:var(--space-8) 0 7px;color:var(--teal);font-size:var(--type-ui-small);text-align:center;overflow-x:auto;overflow-y:hidden;overscroll-behavior-inline:contain;scrollbar-width:thin}.tl-notation-popover__formula tl-math[display]{margin:.25em 0}.tl-notation-popover p{margin:0;color:var(--ink-soft);font:400 var(--type-ui-min)/1.48 var(--font-sans)}.tl-steps{margin:var(--space-28) 0}.tl-steps__list{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(190px,100%),1fr));gap:0;margin:0;padding:0;list-style:none;border-block:1px solid var(--line)}.tl-steps__list>li{display:grid;grid-template-columns:25px minmax(0,1fr);gap:var(--space-8);padding:var(--space-16) var(--space-16) var(--space-16);border-inline-start:1px solid var(--line)}.tl-steps__list>li:first-child{border-inline-start:0}.tl-steps__marker{display:block;width:auto;height:auto;padding-top:3px;color:var(--teal);font:650 var(--type-ui-min)/1 var(--font-sans);letter-spacing:.06em;font-variant-numeric:tabular-nums}.tl-steps h3,.tl-steps h4{margin:0 0 7px;color:var(--ink);font:600 var(--type-ui-body)/1.35 var(--font-sans)}.tl-steps p{margin:0;color:var(--ink-soft);font:400 var(--type-ui-min)/1.55 var(--font-sans)}tl-recap{display:block}.tl-recap{margin:1.4em 0 1.8em;padding:0;list-style:none;counter-reset:tl-recap;border-block:1px solid var(--line)}.tl-recap>li{counter-increment:tl-recap;display:grid;grid-template-columns:32px minmax(0,1fr);gap:var(--space-16);align-items:baseline;margin:0;padding:var(--space-12) 0;color:var(--ink-soft);font:400 var(--type-ui-body)/1.62 var(--font-sans)}.tl-recap>li+li{border-top:1px solid var(--line-soft)}.tl-recap>li:before{content:counter(tl-recap,decimal-leading-zero);color:var(--teal);font:650 var(--type-ui-min)/1 var(--font-sans);letter-spacing:.08em;font-variant-numeric:tabular-nums}.tl-recap__body{min-width:0}.tl-recap__body>:first-child{margin-top:0}.tl-recap__body>:last-child{margin-bottom:0}.tl-formula-stack{display:grid;gap:0}.tl-widget-root[data-widget-state=pending]{min-block-size:620px;contain:layout style}.tl-widget-root[data-widget-state=mounted]{min-block-size:0}.tl-figure{margin:var(--space-28) 0}.tl-figure__prompt{display:flex;align-items:baseline;gap:var(--space-8);margin:0 0 var(--space-8);padding:0 2px;color:var(--ink-soft);font:400 var(--type-ui-min)/1.5 var(--font-sans)}.tl-figure__prompt span{flex:none;color:var(--teal);font-size:var(--type-ui-min);font-weight:650;letter-spacing:.1em;text-transform:uppercase}.tl-figure__body{min-width:0}.tl-figure figcaption{display:flex;gap:var(--space-8) var(--space-16);align-items:baseline;padding:var(--space-8) 0 0;border-top:1px solid var(--line-soft);font-family:var(--font-sans)}.tl-figure figcaption strong{color:var(--ink);font-size:var(--type-ui-min)}.tl-figure figcaption span{color:var(--ink-faint);font-size:var(--type-ui-min);line-height:1.5}.tl-proof{position:relative;margin:var(--space-28) 0;padding:var(--space-16) var(--space-20);border:1px solid var(--line);border-inline-start:3px solid var(--math-operation);border-radius:var(--r-sm);background:linear-gradient(90deg,color-mix(in srgb,var(--math-operation) 4%,transparent),transparent 54%)}.tl-proof__title{margin:0 0 var(--space-12);color:var(--math-operation);font:650 var(--type-ui-small)/1.35 var(--font-sans);letter-spacing:.08em;text-transform:uppercase}.tl-proof__body>:last-child{margin-bottom:0}.tl-proof__end{display:block;margin-top:var(--space-8);color:var(--ink);font:400 1rem/1 var(--font-serif);text-align:end}.tl-interactive-proof{margin:var(--space-28) 0;padding:var(--space-16) var(--space-20);border:1px solid var(--line);border-inline-start:3px solid var(--math-operation);border-radius:var(--r-sm);background:linear-gradient(90deg,color-mix(in srgb,var(--math-operation) 4%,transparent),transparent 54%)}.tl-interactive-proof__title{margin:0 0 var(--space-16);color:var(--ink);font:600 var(--type-ui-body)/1.35 var(--font-sans);letter-spacing:.025em}.tl-interactive-proof__idea{display:grid;grid-template-columns:minmax(112px,.28fr) minmax(0,1.72fr);gap:var(--space-12) var(--space-24);padding:var(--space-16) 0 var(--space-16);border-block:1px solid var(--line-soft)}.tl-interactive-proof__idea>span{color:var(--math-operation);font:650 var(--type-ui-min)/1.45 var(--font-sans);letter-spacing:.08em;text-transform:uppercase}.tl-interactive-proof__idea>div{min-width:0;color:var(--ink-soft);font:400 var(--type-ui-body)/1.65 var(--font-sans)}.tl-interactive-proof__idea>div>:first-child,.tl-interactive-proof__argument>:first-child{margin-top:0}.tl-interactive-proof__idea>div>:last-child,.tl-interactive-proof__argument>:last-child{margin-bottom:0}.tl-interactive-proof__steps{margin:0;padding:0;list-style:none}.tl-interactive-proof__step+.tl-interactive-proof__step{border-top:1px solid var(--line-soft)}.tl-interactive-proof__trigger{display:grid;width:100%;min-height:64px;grid-template-columns:34px minmax(0,1fr) auto;gap:var(--space-8) var(--space-16);align-items:center;margin:0;padding:var(--space-12) 3px;border:0;border-radius:0;background:transparent;color:var(--ink);font:inherit;text-align:start;cursor:pointer}.tl-interactive-proof__trigger:hover{background:color-mix(in srgb,var(--teal) 5%,transparent)}.tl-interactive-proof__trigger:focus-visible{outline:2px solid var(--focus);outline-offset:2px}.tl-interactive-proof__marker{color:var(--teal);font:650 var(--type-ui-min)/1 var(--font-sans);font-variant-numeric:tabular-nums}.tl-interactive-proof__step-copy{display:grid;gap:3px;min-width:0}.tl-interactive-proof__step-copy strong{color:var(--ink);font:600 var(--type-ui-small)/1.4 var(--font-sans)}.tl-interactive-proof__step-copy>span{color:var(--ink-soft);font:400 var(--type-ui-min)/1.5 var(--font-sans)}.tl-interactive-proof__action{display:flex;align-items:center;gap:7px;color:var(--ink-faint);font:500 var(--type-ui-min)/1.3 var(--font-sans);white-space:nowrap}.tl-interactive-proof__action>span:last-child{display:inline-block;width:1rem;color:var(--teal);font-size:var(--type-ui-large);text-align:center;transform:rotate(0);transition:transform var(--motion-control)}.tl-interactive-proof__trigger[aria-expanded=true] .tl-interactive-proof__action>span:last-child{transform:rotate(90deg)}.tl-interactive-proof__detail{margin:0 0 var(--space-12) var(--space-44);padding:var(--space-4) 0 var(--space-4) var(--space-16);border-inline-start:2px solid var(--line-soft)}.tl-interactive-proof__idea--step{grid-template-columns:minmax(88px,.24fr) minmax(0,1.76fr);padding:var(--space-12) 0 var(--space-12);border-top:0}.tl-interactive-proof__argument{padding:var(--space-12) 0 7px;color:var(--ink-soft)}.tl-interactive-proof__argument p{color:var(--ink-soft)}.tl-interactive-proof__detail>.tl-interactive-proof__steps{margin-top:6px}.tl-interactive-proof__end{display:block;margin-top:var(--space-12);color:var(--ink);font:400 1rem/1 var(--font-serif);text-align:end}@media (max-width:620px){.tl-interactive-proof__idea,.tl-interactive-proof__idea--step{grid-template-columns:1fr;gap:7px}.tl-interactive-proof__trigger{grid-template-columns:30px minmax(0,1fr) auto;gap:var(--space-8);padding-inline:0}.tl-interactive-proof__action>span:first-child{display:none}.tl-interactive-proof__detail{margin-inline-start:var(--space-32);padding-inline-start:var(--space-12)}}.tl-exercise{margin:var(--space-28) 0;padding:var(--space-16) var(--space-20);border:1px solid var(--line);border-inline-start:3px solid var(--math-example);border-radius:var(--r-sm);background:linear-gradient(90deg,color-mix(in srgb,var(--math-example) 5%,transparent),transparent 62%),var(--surface-working)}.tl-exercise>header{display:flex;align-items:baseline;gap:var(--space-8);margin-bottom:var(--space-12)}.tl-exercise>header>span{color:var(--math-example);font:650 var(--type-ui-min)/1.3 var(--font-sans);letter-spacing:.11em;text-transform:uppercase}.tl-exercise>header h3{margin:0;color:var(--ink);font:600 var(--type-ui-strong)/1.35 var(--font-sans)}.tl-exercise__body>:last-child{margin-bottom:0}.tl-exercise details{margin-top:var(--space-12);border-top:1px solid var(--line);padding-top:var(--space-8)}.tl-exercise summary{color:var(--ink);cursor:pointer;font:600 var(--type-ui-min)/1.4 var(--font-sans)}.tl-exercise details>div{padding:var(--space-8) 0 2px;color:var(--ink-soft)}.tl-notation{margin:var(--space-28) 0;border-block:1px solid var(--line);padding:var(--space-16) 0 var(--space-12)}.tl-notation>h3{margin:0 0 var(--space-12);color:var(--ink);font:600 var(--type-ui-small)/1.35 var(--font-sans)}.tl-notation dl{margin:0}.tl-notation dl>div{display:grid;grid-template-columns:minmax(96px,.32fr) minmax(0,1.68fr);gap:var(--space-20);align-items:baseline;padding:var(--space-8) 0;border-top:1px solid var(--line-soft)}.tl-notation dl>div:first-child{border-top:0}.tl-notation dt{color:var(--ink);font-family:var(--font-math);text-align:start}.tl-notation dd{margin:0;color:var(--ink-soft);font:400 var(--type-ui-small)/1.55 var(--font-sans)}.tl-btn.tl-drawer-trigger{position:fixed;z-index:80;inset-block:auto max(14px,env(safe-area-inset-bottom));inset-inline:auto max(12px,env(safe-area-inset-right));width:48px;min-width:48px;height:48px;padding:0;display:inline-grid;place-items:center;gap:0;overflow:hidden;border-radius:999px;box-shadow:var(--shadow-control);transition:opacity var(--motion-state) var(--ease-move),transform var(--motion-state) var(--ease-emphasis),border-color var(--motion-state) var(--ease-move),background-color var(--motion-state) var(--ease-move)}.tl-btn.tl-drawer-trigger:hover{transform:translateY(-1px)}.tl-btn.tl-drawer-trigger[aria-expanded=true]{opacity:0;transform:scale(.9);pointer-events:none}.tl-drawer-trigger__icon{display:block;min-width:1.1em;font:700 1rem/1 var(--font-serif);text-align:center;transform:translateY(-.02em)}.tl-drawer__backdrop{position:fixed;z-index:89;inset:0;background:color-mix(in srgb,var(--bg-0) 58%,transparent);opacity:0;pointer-events:none;transition:opacity var(--motion-state) var(--ease-move)}.tl-drawer__backdrop[data-state=open]{opacity:1;pointer-events:auto}.tl-drawer__backdrop[hidden],.tl-drawer__panel[hidden]{display:none!important}.tl-drawer__panel{position:fixed;z-index:90;inset-block:0;inset-inline:auto 0;width:var(--drawer-width);max-width:calc(100% - 16px);height:100dvh;display:grid;grid-template-rows:auto minmax(0,1fr);overflow:hidden;border-inline-start:1px solid var(--line);background:var(--bg-0);color:var(--ink);box-shadow:var(--shadow-soft);opacity:.55;visibility:hidden;transform:translate(calc(100% + 16px));pointer-events:none;transition:transform var(--motion-transform) var(--ease-move),opacity var(--motion-state) var(--ease-move),visibility 0s linear var(--motion-transform)}.tl-drawer__panel[data-state=open]{opacity:1;visibility:visible;transform:translate(0);pointer-events:auto;transition-delay:0s}.tl-drawer__header{min-width:0;display:grid;grid-template-columns:minmax(0,1fr) 44px;align-items:center;gap:var(--space-12);padding:14px calc(16px + env(safe-area-inset-right)) 13px 18px;border-bottom:1px solid var(--line);background:var(--bg-0)}.tl-drawer__heading{min-width:0;display:flex;align-items:baseline;gap:var(--space-8)}.tl-drawer__heading h2{min-width:0;margin:0;overflow:hidden;color:var(--ink);font:600 var(--type-ui-strong)/1.3 var(--font-sans);text-overflow:ellipsis;white-space:nowrap}.tl-btn.tl-drawer__close{width:44px;min-width:44px;height:44px;padding:0;display:inline-grid;place-items:center;border-color:transparent;border-radius:999px;background:transparent;color:var(--ink-soft);box-shadow:none}.tl-btn.tl-drawer__close>span{font:400 1.25rem/1 var(--font-sans);transform:translateY(-.03em)}.tl-btn.tl-drawer__close:hover{border-color:var(--line);background:color-mix(in srgb,var(--ink) 6%,transparent);color:var(--ink)}.tl-drawer__body{min-width:0;min-height:0;overflow-x:hidden;overflow-y:auto;overscroll-behavior:contain;scrollbar-gutter:stable;padding:6px calc(12px + env(safe-area-inset-right)) 24px 12px}.tl-definition-list{min-width:0}.tl-definition-list__item{border-bottom:1px solid var(--line-soft);background:transparent}.tl-definition-list__item summary{min-height:48px;display:grid;grid-template-columns:minmax(0,1fr) 20px;align-items:center;gap:var(--space-8);padding:var(--space-12) var(--space-8);border-radius:var(--r-xs);color:var(--ink);font:600 var(--type-ui-small)/1.4 var(--font-sans);list-style:none;cursor:pointer;transition:color var(--motion-state) var(--ease-move),background-color var(--motion-state) var(--ease-move)}.tl-definition-list__item summary::-webkit-details-marker{display:none}.tl-definition-list__item summary:hover{color:var(--teal);background:color-mix(in srgb,var(--teal) 6%,transparent)}.tl-definition-list__indicator{color:var(--ink-faint);font:400 1rem/1 var(--font-sans);text-align:center;transition:color var(--motion-state) var(--ease-move),transform var(--motion-state) var(--ease-emphasis)}.tl-definition-list__item[open] summary{color:var(--teal);background:color-mix(in srgb,var(--teal) 7%,transparent)}.tl-definition-list__item[open] .tl-definition-list__indicator{color:var(--teal);transform:rotate(45deg)}.tl-definition-list__body{padding:2px var(--space-8) var(--space-16)}.tl-definition-list__content{min-width:0}.tl-definition-list__content .tl-callout__math{max-width:100%;margin-top:var(--space-8);overflow-x:auto;overflow-y:hidden;color:var(--ink);font-size:var(--type-ui-min);scrollbar-width:thin;scrollbar-color:var(--line-strong) transparent}.tl-definition-list__content .tl-callout__math--wide{display:none}.tl-definition-list__content .tl-callout__math--narrow{display:block}.tl-definition-list__content .tl-callout__math tl-math[display]{width:max-content;max-width:none;margin:.35em auto}.tl-definition-list__formula{margin-top:7px;overflow-x:auto;color:var(--ink);font-size:var(--type-ui-small)}.tl-definition-list__formula .tl-math-host[display]{margin:.35em 0;text-align:left}.tl-definition-list__body p{margin:7px 0 0;color:var(--ink-soft);font:400 var(--type-ui-min)/1.55 var(--font-sans)}@media (min-width:1180px){html.tl-definition-drawer-open main{margin-inline-end:var(--drawer-width)}.tl-drawer__backdrop{display:none}}@media (max-width:1180px){html.tl-definition-drawer-open{overflow:hidden}}@media (max-width:1180px){.tl-btn.tl-drawer-trigger{display:none}}@media (prefers-reduced-motion:reduce){.tl-drawer-trigger,.tl-drawer__backdrop,.tl-drawer__panel,.tl-definition-list__indicator{transition:none!important;animation:none!important}}@media (max-width:620px){.tl-callout--definition .tl-callout__math,.tl-callout--theorem .tl-callout__math{font-size:clamp(.8rem,3.35vw,.98rem)}.tl-category-diagram{grid-template-columns:var(--tl-category-mobile-columns);grid-template-rows:var(--tl-category-mobile-rows)}.tl-category-object{font-size:var(--tl-category-mobile-object-size,.82rem)}.tl-category-arrow__label{font-size:var(--tl-category-mobile-label-size,.68rem)}.tl-category-arrow.is-label-above .tl-category-arrow__label,.tl-category-arrow.is-qualifier-above .tl-category-arrow__qualifier{transform:translateY(calc(-50% - 8px))}.tl-category-arrow.is-label-below .tl-category-arrow__label,.tl-category-arrow.is-qualifier-below .tl-category-arrow__qualifier{transform:translateY(calc(50% + 8px))}.tl-category-arrow.is-label-left .tl-category-arrow__label,.tl-category-arrow.is-qualifier-left .tl-category-arrow__qualifier{transform:translate(calc(-50% - 9px))}.tl-category-arrow.is-label-right .tl-category-arrow__label,.tl-category-arrow.is-qualifier-right .tl-category-arrow__qualifier{transform:translate(calc(50% + 9px))}.tl-category-graph{height:var(--tl-category-graph-mobile-height)}.tl-category-graph__node{left:var(--tl-category-node-mobile-x);top:var(--tl-category-node-mobile-y);font-size:var(--tl-category-graph-mobile-object-size,.88rem)}.tl-category-graph__label{font-size:var(--tl-category-graph-mobile-label-size,.72rem)}.tl-control-bar--grid{grid-template-columns:1fr}.tl-control-field{align-items:flex-start;justify-content:flex-start}.tl-control-field__body{width:100%}.tl-control-field__body>.tl-segmented{justify-content:flex-start}.tl-value-grid{grid-template-columns:repeat(var(--tl-value-grid-mobile-columns,2),minmax(0,1fr))}.tl-meter-row{grid-template-columns:105px minmax(90px,1fr) 58px;gap:var(--space-8)}.tl-formula--result{grid-template-columns:1fr;min-height:0}.tl-formula--result .tl-formula__label{padding:var(--space-8) var(--space-12) 7px;border-inline-end:0;border-bottom:1px solid var(--line-soft)}.tl-formula--result>.tl-formula__body{padding:var(--space-8) var(--space-12) var(--space-8)}.tl-formula--result>tl-math[display]{grid-column:1;margin-inline:var(--space-12)}.tl-algorithm__header{flex-wrap:wrap}.tl-algorithm__title{width:100%;padding-inline-start:0}.tl-algorithm__title:before{display:none}.tl-algorithm__body{padding-inline:0}.tl-comparison__grid,.tl-steps__list{grid-template-columns:1fr}.tl-comparison__item,.tl-steps__list>li{border-inline-start:0;border-top:1px solid var(--line)}.tl-comparison__item:first-child,.tl-steps__list>li:first-child{border-top:0}.tl-example{grid-template-columns:1fr;gap:var(--space-4)}.tl-example__label,.tl-example>span:first-child,.tl-example__title,.tl-example>strong,.tl-example__body,.tl-example>em,.tl-example__source{grid-column:1;grid-row:auto}.tl-prior-reference{grid-template-columns:1fr;gap:var(--space-12)}.tl-prior-reference__header{display:block;grid-column:1}.tl-prior-reference__eyebrow{margin-bottom:var(--space-8)}.tl-prior-reference__title,.tl-prior-reference__body,.tl-prior-reference__link{grid-column:1}.tl-prior-reference__link{align-items:flex-start;flex-direction:column}.tl-figure figcaption{align-items:flex-start;flex-direction:column;gap:3px}.tl-figure__prompt{align-items:flex-start;flex-direction:column;gap:2px}.tl-exercise{padding:var(--space-16) var(--space-16)}.tl-exercise>header{align-items:flex-start;flex-direction:column;gap:var(--space-4)}.tl-notation dl>div{grid-template-columns:72px minmax(0,1fr);gap:var(--space-12)}.tl-drawer-trigger{inset-block:auto max(12px,env(safe-area-inset-bottom));inset-inline:auto max(12px,env(safe-area-inset-right))}.tl-drawer__panel{inset-inline:max(8px,env(safe-area-inset-left)) 0;width:auto;max-width:none}.tl-drawer__header{padding-inline-start:var(--space-16)}.tl-drawer__body{padding-inline-start:var(--space-8)}.tl-recap>li{grid-template-columns:26px minmax(0,1fr);gap:var(--space-8);padding-block:var(--space-12)}.tl-data-table-wrap--wide{width:calc(100vw - 32px)}}@media (max-width:420px){.tl-meter-list:not(.tl-meter-list--compact) .tl-meter-row{grid-template-columns:1fr 55px}.tl-meter-list:not(.tl-meter-list--compact) .tl-meter-row__label{grid-column:1/-1;text-align:left}}.tl-stat-row{display:flex;gap:0;flex-wrap:wrap;overflow:hidden;border-radius:var(--r-sm);background:var(--surface-group)}.tl-stat{display:flex;flex-direction:column;gap:2px;flex:1 1 90px;min-width:90px;padding:var(--space-12) var(--space-16);background:transparent;border:0;border-radius:0}.tl-stat+.tl-stat{border-inline-start:1px solid var(--line-soft)}.tl-stat .v{font-size:1.5rem;font-weight:700;color:var(--ink);font-variant-numeric:tabular-nums;line-height:1.1}.tl-stat .k{font-size:var(--type-data-secondary);color:var(--ink-soft);text-transform:uppercase;letter-spacing:.07em}.tl-nowrap{white-space:nowrap}.tl-sliders{display:grid;grid-template-columns:repeat(auto-fit,minmax(200px,1fr));gap:var(--space-16) var(--space-24);padding:var(--space-16) var(--space-20);border:0}.tl-slider-row{--tl-range-fill:var(--blue-bright);--tl-range-track:var(--surface-group-strong);display:grid;grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:7px var(--space-8);min-width:0;font-family:var(--font-sans);font-size:var(--type-data-secondary);color:var(--ink-soft)}.tl-slider-row__label{min-width:0}.tl-slider-row__value{min-width:3ch;color:var(--tl-range-fill);font-size:var(--type-data-primary);font-variant-numeric:tabular-nums;font-weight:600;text-align:right}.tl-slider-row__control{grid-column:1/-1;display:grid;gap:var(--space-4);min-width:0}.tl-slider-row--inline{grid-template-columns:auto auto minmax(160px,1fr)}.tl-slider-row--inline .tl-slider-row__control{grid-column:3}.tl-slider-row--inline input[type=range]{height:32px}.tl-slider-row input[type=range]{-webkit-appearance:none;appearance:none;width:100%;min-width:0;height:44px;margin:0;background:transparent;outline:none;accent-color:var(--blue);cursor:pointer}.tl-slider-row input[type=range]:focus-visible{outline:2px solid var(--focus);outline-offset:2px;border-radius:var(--r-sm)}.tl-slider-row input[type=range]::-webkit-slider-runnable-track{height:6px;border-radius:3px;background:linear-gradient(to right,var(--tl-range-fill) 0 var(--tl-range-progress),var(--tl-range-track) var(--tl-range-progress) 100%)}.tl-slider-row input[type=range]::-moz-range-track{height:6px;border-radius:3px;background:linear-gradient(to right,var(--tl-range-fill) 0 var(--tl-range-progress),var(--tl-range-track) var(--tl-range-progress) 100%)}.tl-timeline-player{display:grid;grid-template-columns:auto minmax(0,1fr);align-items:center;gap:var(--space-16) var(--space-24);width:100%;padding:var(--space-12);border:0;border-radius:var(--r-sm);background:var(--surface-group)}.tl-timeline-player__track{display:grid;gap:var(--space-4);min-width:0}.tl-timeline-player__phases{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:var(--space-8);color:var(--ink-soft);font-size:var(--type-data-secondary);line-height:1.25}.tl-timeline-player__phase{min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;text-align:center;transition:color var(--motion-control)}.tl-timeline-player__phase:first-child{text-align:left}.tl-timeline-player__phase:last-child{text-align:right}.tl-timeline-player__phase.is-active{color:var(--blue-bright);font-weight:600}.tl-slider-row input[type=range]::-webkit-slider-thumb{-webkit-appearance:none;appearance:none;width:22px;height:22px;border-radius:50% 50% 24%;margin-top:-8px;background:linear-gradient(180deg,var(--blue-bright),var(--blue-deep));border:2px solid var(--bg-0);cursor:pointer;box-shadow:var(--shadow-control)}.tl-slider-row input[type=range]:active::-webkit-slider-thumb{transform:scale(1.16) rotate(45deg);transition:transform var(--motion-control) var(--ease-spring)}.tl-slider-row input[type=range]::-moz-range-thumb{width:20px;height:20px;border-radius:50%;background:var(--blue);border:2px solid var(--bg-0);cursor:pointer}@media (max-width:700px){.tl-btn{padding:var(--space-8) var(--space-12);font-size:var(--type-ui-body)}.tl-controls{padding:var(--space-12);gap:var(--space-8)}.tl-sliders{padding:var(--space-12) var(--space-16);gap:var(--space-12) var(--space-16)}.tl-stage-head{padding:var(--space-12) var(--space-16)}.tl-stage-stats{padding:var(--space-8) var(--space-12) var(--space-16)}.tl-stat .v{font-size:1.25rem}.tl-formula{padding:6px var(--space-16)}.tl-formula--plain,.tl-formula--derivation{padding:0}.tl-formula tl-math[display]{font-size:.88em}.tl-formula__wide{display:none}.tl-formula__narrow{display:block}.tl-formula__step{min-height:0;grid-template-columns:1fr;gap:6px;padding:var(--space-12) var(--space-12) var(--space-12)}.tl-formula__step-label{min-height:0;margin-bottom:var(--space-4);padding:0;border:0}.tl-formula__step-math{padding:0;font-size:var(--type-ui-strong)}}@media (max-width:560px){.tl-widget-root[data-widget-state=pending]{min-block-size:680px}.tl-slider-row--inline{grid-template-columns:1fr auto}.tl-slider-row--inline .tl-slider-row__control{grid-column:1/-1}.tl-timeline-player{grid-template-columns:1fr;gap:var(--space-8)}}@media (max-width:420px){.tl-timeline-player__phase{min-height:2.4em;overflow:visible;text-overflow:clip;white-space:normal}}.tl-prose__keep{white-space:nowrap}.tl-category-diagram{position:relative;display:grid;grid-template-columns:var(--tl-category-columns);grid-template-rows:var(--tl-category-rows);justify-content:center;width:min(100%,var(--tl-category-max-width));margin:var(--space-4) auto}.tl-category-graph__visual{position:relative;min-width:0}.tl-diagram-copy{position:absolute;z-index:12;inset-block-start:calc(var(--space-8) * -1);inset-inline-end:var(--tl-category-copy-inset-x,calc(var(--space-8) * -1));display:flex;align-items:center;gap:var(--space-8);font-family:var(--font-sans)}.tl-diagram-copy__button{display:grid;place-items:center;width:var(--control-target-min);height:var(--control-target-min);padding:0;border:1px solid transparent;border-radius:999px;color:var(--ink-faint);background:transparent;box-shadow:none;cursor:pointer;opacity:.28;transition:color var(--motion-control),background var(--motion-control),border-color var(--motion-control),opacity var(--motion-control),transform var(--motion-control)}.tl-diagram-copy__button svg{width:16px;height:16px;fill:none;stroke:currentColor;stroke-width:1.8;stroke-linecap:round;stroke-linejoin:round}.tl-category-graph__visual:hover .tl-diagram-copy__button,.tl-category-diagram:hover .tl-diagram-copy__button{opacity:.48}.tl-diagram-copy__button:hover,.tl-diagram-copy__button:focus-visible{color:var(--ink);border-color:color-mix(in srgb,var(--line) 55%,transparent);background:var(--surface-group);opacity:.9}.tl-diagram-copy__button:active{transform:scale(.94)}.tl-diagram-copy[data-state=copied] .tl-diagram-copy__button{color:var(--math-conclusion);border-color:color-mix(in srgb,var(--math-conclusion) 55%,var(--line));background:color-mix(in srgb,var(--math-conclusion) 10%,var(--surface-reading));opacity:1}.tl-diagram-copy[data-state=failed] .tl-diagram-copy__button{color:var(--red);border-color:color-mix(in srgb,var(--red) 55%,var(--line));opacity:1}.tl-diagram-copy__tooltip{position:absolute;inset-inline-start:calc(100% + var(--space-8));width:max-content;max-width:220px;padding:var(--space-4) var(--space-8);border:1px solid var(--line);border-radius:var(--r-sm);color:var(--ink);background:var(--surface-raised);box-shadow:var(--shadow-control);font:600 var(--type-ui-min)/1.25 var(--font-sans);pointer-events:none;opacity:0;transform:translate(-4px);transition:opacity var(--motion-control),transform var(--motion-control)}.tl-diagram-copy:hover .tl-diagram-copy__tooltip,.tl-diagram-copy:focus-within .tl-diagram-copy__tooltip,.tl-diagram-copy[data-state=copied] .tl-diagram-copy__tooltip,.tl-diagram-copy[data-state=failed] .tl-diagram-copy__tooltip{opacity:1;transform:none}.tl-category-object{display:flex;align-items:center;justify-content:center;min-width:0;color:var(--ink-soft);font-size:var(--tl-category-object-size,1.02rem);line-height:1;text-align:center}.tl-category-object .wmath,.tl-category-arrow__label .wmath,.tl-category-arrow__qualifier .wmath{display:inline-flex;align-items:center;justify-content:center;line-height:1}.tl-category-arrow{position:relative;display:grid;place-items:center;min-width:0;min-height:0;color:var(--blue-bright)}.tl-category-arrow__svg{grid-area:1 / 1;display:block;width:100%;height:100%;min-width:0;min-height:0;align-self:stretch;justify-self:stretch;overflow:visible}.tl-category-arrow__line{fill:none;stroke:currentColor;stroke-width:1.75;stroke-dasharray:6 6;stroke-linecap:round;vector-effect:non-scaling-stroke}.tl-category-arrow.is-line-solid .tl-category-arrow__line{stroke-dasharray:none}.tl-category-arrow__arrowhead{fill:currentColor}.tl-category-arrow__label,.tl-category-arrow__qualifier{grid-area:1 / 1;position:relative;z-index:1;color:currentColor;font-size:var(--tl-category-label-size,.8rem);line-height:1;white-space:nowrap;pointer-events:none}.tl-category-arrow__qualifier{font-size:var(--tl-category-qualifier-size,.62rem)}.tl-category-arrow.is-label-above .tl-category-arrow__label,.tl-category-arrow.is-qualifier-above .tl-category-arrow__qualifier{transform:translateY(calc(-50% - 10px))}.tl-category-arrow.is-label-below .tl-category-arrow__label,.tl-category-arrow.is-qualifier-below .tl-category-arrow__qualifier{transform:translateY(calc(50% + 10px))}.tl-category-arrow.is-label-left .tl-category-arrow__label,.tl-category-arrow.is-qualifier-left .tl-category-arrow__qualifier{transform:translate(calc(-50% - 12px))}.tl-category-arrow.is-label-right .tl-category-arrow__label,.tl-category-arrow.is-qualifier-right .tl-category-arrow__qualifier{transform:translate(calc(50% + 12px))}.tl-category-graph-shell{position:relative;display:grid;grid-template-columns:minmax(0,1fr);justify-items:stretch;gap:var(--space-8);width:100%;max-width:var(--tl-category-graph-shell-max-width);margin:var(--space-12) auto}.tl-category-graph{position:relative;min-width:0;width:min(100%,var(--tl-category-graph-max-width));height:var(--tl-category-graph-height);margin:0 auto;isolation:isolate;transition:transform var(--motion-control) var(--ease-enter),filter var(--motion-control) var(--ease-enter)}.tl-category-graph.is-pointer-active{transform:translateY(-1px);filter:drop-shadow(0 8px 18px rgba(var(--blue-rgb),.06))}.tl-category-graph__inspector{position:absolute;z-index:14;inset-block-start:0;inset-inline-start:calc(100% + var(--space-20));display:grid;width:min(280px,calc(100vw - 32px));min-width:232px;pointer-events:none}.tl-category-graph__inspector>*{grid-area:1/1}.tl-category-graph__inspector:empty{display:none}.tl-category-graph__canvas{position:absolute;z-index:0;inset:0;display:block;width:100%;height:100%;overflow:visible;pointer-events:none}.tl-category-graph__line{fill:none;color:var(--blue-bright);stroke:currentColor;stroke-width:1.45;stroke-linecap:round;opacity:.76;transition:color var(--motion-control),stroke-width var(--motion-control),opacity var(--motion-control)}.tl-category-graph__line.is-active{color:var(--teal);stroke-width:2;opacity:1}.tl-category-graph__canvas .is-semantically-active .tl-category-graph__line{color:var(--math-operation);stroke-width:2;opacity:1}.tl-category-graph__line.is-line-dashed{stroke-dasharray:6 5}.tl-category-graph__line.is-line-dotted{stroke-dasharray:1 5;stroke-linecap:round}.tl-category-graph__line.is-tone-accent,.tl-category-graph__label.is-tone-accent,.tl-category-graph__canvas marker.is-tone-accent{color:var(--teal)}.tl-category-graph__line.is-tone-muted,.tl-category-graph__label.is-tone-muted,.tl-category-graph__canvas marker.is-tone-muted{color:var(--ink-faint)}.tl-category-graph__arrowhead{fill:currentColor}.tl-category-graph__canvas marker.is-active{color:var(--teal)}.tl-category-graph__hit{fill:none;stroke:transparent;stroke-width:20;pointer-events:stroke;cursor:pointer;outline:none}.tl-category-graph__node,.tl-category-graph__label{position:absolute;display:inline-flex;align-items:center;justify-content:center;line-height:1;white-space:nowrap;transform:translate(-50%,-50%)}.tl-category-graph__node{z-index:2;left:var(--tl-category-node-x);top:var(--tl-category-node-y);min-width:0;padding:var(--space-4) 7px;border-radius:6px;color:var(--ink-soft);font-size:var(--tl-category-graph-object-size,1.02rem);text-align:center;transition:color var(--motion-control),background var(--motion-control),box-shadow var(--motion-control)}.tl-category-graph__node.is-active{color:var(--teal);background:color-mix(in srgb,var(--teal) 8%,transparent);box-shadow:inset 0 -1px color-mix(in srgb,var(--teal) 42%,transparent)}.tl-category-graph__node:focus-visible{outline:2px solid var(--focus);outline-offset:3px}.tl-category-graph__label{z-index:3;color:var(--blue-bright);font-size:var(--tl-category-graph-label-size,.8rem);pointer-events:none;transition:color var(--motion-control),transform var(--motion-control)}.tl-category-graph__label.is-active{color:var(--teal);transform:translate(-50%,-50%) scale(1.025)}.tl-category-graph__label.is-qualifier{font-size:var(--tl-category-graph-qualifier-size,.62rem)}.tl-category-graph__node .wmath,.tl-category-graph__label .wmath{display:inline-flex;align-items:center;justify-content:center;line-height:1}.tl-category-graph__hint{width:100%;max-width:280px;padding:var(--space-12) var(--space-16);border:1px solid color-mix(in srgb,var(--teal) 34%,var(--line));border-radius:var(--r-md);color:var(--ink-soft);background:color-mix(in srgb,var(--surface-raised) 96%,transparent);box-shadow:var(--shadow-card);-webkit-backdrop-filter:blur(16px);backdrop-filter:blur(16px);font:500 var(--type-ui-min)/1.45 var(--font-sans);pointer-events:none;overflow-wrap:anywhere}.tl-category-graph__hint-title,.tl-category-graph__hint-category{display:flex;align-items:center;gap:var(--space-4)}.tl-category-graph__hint-title{color:var(--ink);font-size:var(--type-ui-small)}.tl-category-graph__hint-category{margin-top:3px;color:var(--teal);font-size:var(--type-ui-min);letter-spacing:.01em}.tl-category-graph__hint p{margin:7px 0 0}.tl-category-graph__hint-example{display:grid;gap:3px;margin-top:var(--space-8);padding-top:var(--space-8);border-top:1px solid var(--line-soft)}.tl-category-graph__hint-example-label{color:var(--ink-faint);font-size:var(--type-ui-min);font-weight:700;letter-spacing:.08em;text-transform:uppercase}.tl-category-graph__hint-example .wmath{color:var(--ink);font-size:var(--type-ui-min)}.tl-category-graph__hint-example p{margin:0}.tl-category-graph__hint-functors{display:grid;grid-template-columns:max-content 1fr;gap:var(--space-4) 7px;margin:var(--space-8) 0 0;padding-top:var(--space-8);border-top:1px solid var(--line-soft)}.tl-category-graph__hint-functors dt,.tl-category-graph__hint-functors dd{margin:0}.tl-category-graph__hint-functors dt{color:var(--blue-bright);font-weight:700}.tl-category-graph__hint-functors dd{color:var(--ink-soft);min-width:0;overflow-wrap:anywhere}.tl-svg-label__text{font-family:var(--font-sans);font-style:normal}.tl-svg-math{font-family:var(--font-math);font-style:italic}.tl-svg-math__script{font-size:70%}.tl-svg-math__script--sub{baseline-shift:-.22em}.tl-svg-math__script--super{baseline-shift:.46em}.tl-layer-diagram{width:min(100%,1040px);margin:0 auto}.tl-layer-diagram__control{display:grid;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);align-items:center;gap:var(--space-8) var(--space-16);padding-bottom:var(--space-8);border-bottom:1px solid var(--line-soft)}.tl-layer-diagram__control>span{grid-column:1;justify-self:start;color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-ui-min);font-weight:600;letter-spacing:.09em;text-transform:uppercase}.tl-layer-diagram__control>.tl-segmented{grid-column:2}.tl-layer-diagram__canvas{display:block;width:100%;height:auto;margin:var(--space-4) auto 0;overflow:visible}.tl-layer-diagram__edge{fill:none;stroke:var(--line-strong);stroke-width:1.25px;stroke-linecap:round;opacity:.44;transition:stroke var(--motion-control),stroke-width var(--motion-control),opacity var(--motion-control)}.tl-layer-diagram__edge.is-active{stroke:var(--teal);stroke-width:2.25px;opacity:1}.tl-layer-diagram__root circle{fill:var(--bg-stage);stroke:var(--teal);stroke-width:1.5px}.tl-layer-diagram__root text,.tl-layer-diagram__leaf text{fill:var(--ink);font-family:var(--font-serif);text-anchor:middle;dominant-baseline:middle;pointer-events:none}.tl-layer-diagram__root text{font-size:25px}.tl-layer-diagram__leaf{cursor:pointer}.tl-layer-diagram__leaf rect{fill:var(--bg-stage);stroke:var(--line-strong);stroke-width:1.25px;transition:fill var(--motion-control),stroke var(--motion-control),stroke-width var(--motion-control)}.tl-layer-diagram__leaf text{fill:var(--ink-soft);font-size:20px}.tl-layer-diagram__leaf:hover rect,.tl-layer-diagram__leaf.is-active rect{fill:color-mix(in srgb,var(--teal) 8%,var(--bg-stage));stroke:var(--teal);stroke-width:1.75px}.tl-layer-diagram__leaf:hover text,.tl-layer-diagram__leaf.is-active text{fill:var(--ink)}.tl-layer-diagram__leaf:focus-visible{outline:none}.tl-layer-diagram__leaf:focus-visible rect{stroke:var(--focus);stroke-width:3px}@media (max-width:620px){.tl-layer-diagram__control{grid-template-columns:1fr;justify-items:start}.tl-layer-diagram__control>span,.tl-layer-diagram__control>.tl-segmented{grid-column:1}.tl-layer-diagram__canvas{min-width:620px}.tl-layer-diagram{overflow-x:auto;overflow-y:hidden;scrollbar-width:thin;scrollbar-color:var(--line-strong) transparent}}@media (max-width:700px){.tl-diagram-copy__tooltip{inset-block-start:calc(100% + var(--space-4));inset-inline-start:auto;inset-inline-end:0;transform:translateY(-4px)}.tl-category-graph-shell{grid-template-columns:minmax(0,1fr);gap:var(--space-8)}.tl-category-graph__inspector{position:static;width:100%;min-width:0;justify-items:stretch}.tl-category-graph__hint{max-width:440px}}@media (max-width:700px){.tl-callout{padding:var(--space-16) var(--space-16) var(--space-16)}.tl-callout--definition,.tl-callout--theorem{padding:0}.tl-callout--theorem .tl-callout__header{padding:var(--space-8) var(--space-12) var(--space-8)}.tl-callout--theorem .tl-callout__body{padding:var(--space-12) var(--space-12) var(--space-12)}.tl-callout--definition .tl-callout__header{padding:var(--space-8) var(--space-12) 7px}.tl-callout--definition .tl-callout__body{padding:var(--space-8) var(--space-12) var(--space-12)}.tl-callout__math--wide{display:none}.tl-callout__math--narrow{display:block}.tl-callout--requirement{padding:0}.tl-callout--requirement .tl-callout__header{padding:var(--space-12) var(--space-16) var(--space-12)}.tl-callout--requirement .tl-callout__body{padding:var(--space-16) var(--space-16) var(--space-16)}.tl-callout--next{grid-template-columns:26px minmax(0,1fr);gap:var(--space-8)}.tl-callout--boundary ul{grid-template-columns:1fr}}.tl-scrollx{overflow-x:auto;-webkit-overflow-scrolling:touch}@media (max-width: 700px){body{font-size:var(--type-prose-mobile)}.tl-wrap,.tl-bleed{padding:0 var(--space-16)}section{padding:var(--space-44) 0}}#progress{position:fixed;top:0;left:0;height:3px;width:0;z-index:120;background:linear-gradient(90deg,var(--teal),var(--blue),var(--purple))}#chapnav{position:sticky;top:0;z-index:90;background:linear-gradient(180deg,color-mix(in srgb,var(--ink) 4%,var(--nav-bg)),color-mix(in srgb,var(--nav-bg) 98%,var(--surface-background)));border-bottom:1px solid color-mix(in srgb,var(--ink) 10%,transparent);box-shadow:inset 0 1px color-mix(in srgb,var(--ink) 7%,transparent),0 18px 48px -38px #000000eb}html.tl-suspended *,html.tl-resuming *{animation-play-state:paused!important;transition:none!important;scroll-behavior:auto!important}.nav-inner{max-width:1040px;margin:0 auto;padding:var(--space-8) var(--space-24);display:flex;align-items:center;gap:var(--space-16)}#chapnav.is-contextual{padding-inline:var(--space-12);background:transparent;border-bottom-color:transparent;box-shadow:none}#chapnav.is-contextual .nav-inner{max-width:1040px;margin-top:var(--space-8);padding:6px var(--space-12);border:1px solid color-mix(in srgb,var(--line-strong) 72%,transparent);border-radius:999px;background:linear-gradient(180deg,color-mix(in srgb,var(--ink) 8%,var(--nav-bg)),color-mix(in srgb,var(--nav-bg) 98%,var(--surface-background)));box-shadow:inset 0 1px color-mix(in srgb,var(--ink) 10%,transparent),0 18px 42px -26px #000000e6}#chapnav.is-contextual:not(.is-expanded):not(:hover) :is(.nav-series-siblings,.theme-toggle,.locale-toggle,.definitions-toggle){opacity:0;visibility:hidden;pointer-events:none}#chapnav.is-contextual:is(.is-expanded,:hover) :is(.nav-series-siblings,.theme-toggle,.locale-toggle,.definitions-toggle){opacity:1;visibility:visible}.nav-brand{font-weight:700;font-size:var(--type-ui-strong);letter-spacing:.04em;color:var(--ink);text-decoration:none;flex:none;background:linear-gradient(180deg,var(--brand-from),var(--blue-bright));-webkit-background-clip:text;background-clip:text;-webkit-text-fill-color:transparent;display:none}.nav-context{display:flex;flex:1;align-items:baseline;gap:var(--space-8);min-width:0;overflow:hidden;font-family:var(--font-sans)}.nav-context__part,.nav-context__section{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.nav-context__part{flex:none;color:var(--ink-faint);font-size:var(--type-ui-min)}.nav-context__part:after{content:" \b7"}.nav-context__section{color:var(--ink);font-size:var(--type-ui-small);font-weight:650}.theme-toggle,.locale-toggle,.definitions-toggle{flex:none;width:40px;height:40px;display:inline-grid;place-items:center;border:1px solid color-mix(in srgb,var(--line) 72%,transparent);border-radius:999px;color:var(--ink-soft);background:linear-gradient(180deg,color-mix(in srgb,var(--ink) 7%,var(--surface-reading)),color-mix(in srgb,var(--surface-reading) 56%,transparent));box-shadow:inset 0 1px color-mix(in srgb,var(--ink) 9%,transparent),var(--shadow-control);cursor:pointer;font:500 1rem/1 var(--font-sans);transition:color var(--motion-control) var(--ease-move),background var(--motion-control) var(--ease-move),border-color var(--motion-control) var(--ease-move)}.definitions-toggle{display:none;font-family:var(--font-serif);font-weight:700}.locale-toggle{font-size:var(--type-ui-min);font-weight:750;letter-spacing:.04em}.theme-toggle:hover,.locale-toggle:hover,.definitions-toggle:hover{color:var(--ink);background:var(--bg-2);border-color:var(--blue)}.nav-links{display:none;gap:6px;overflow-x:auto;scrollbar-width:none;-ms-overflow-style:none;margin-left:auto}.nav-links::-webkit-scrollbar{display:none}.nav-links a{flex:none;display:inline-flex;align-items:center;min-height:40px;font-size:var(--type-ui-body);font-weight:500;color:var(--ink-faint);text-decoration:none;padding:6px var(--space-12);border-radius:999px;white-space:nowrap;border:1px solid transparent;transition:color var(--motion-control) var(--ease-move),background var(--motion-control) var(--ease-move),border-color var(--motion-control) var(--ease-move)}.nav-links a:hover{color:var(--ink);background:var(--bg-2)}.nav-links a.active{color:var(--blue-bright);background:rgba(var(--blue-rgb),.12);border-color:rgba(var(--blue-rgb),.35)}.nav-series-siblings{display:flex;align-items:center;gap:var(--space-4);flex:none}.nav-series-link{display:inline-flex;align-items:center;justify-content:center;gap:6px;min-height:36px;padding:var(--space-4) var(--space-8);border:1px solid var(--line);border-radius:999px;color:var(--ink-faint);background:transparent;text-decoration:none;font:600 var(--type-ui-min)/1 var(--font-sans);white-space:nowrap;transition:color var(--motion-control) var(--ease-move),background var(--motion-control) var(--ease-move),border-color var(--motion-control) var(--ease-move)}.nav-series-link:hover{color:var(--ink);background:var(--bg-2);border-color:var(--series-accent,var(--blue));text-decoration:none}@media (max-width: 1180px){.definitions-toggle{display:inline-grid}}@media (max-width: 900px){.nav-series-link{width:36px;padding:0}.nav-series-link__label{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}}@media (max-width: 560px){.nav-inner{padding:var(--space-8) var(--space-16);gap:var(--space-8)}.nav-series-siblings{display:none}.nav-context{display:flex;flex:1;min-width:88px;flex-direction:column;justify-content:center;align-items:stretch;gap:0;line-height:1.15;overflow:hidden}.nav-context__part{color:var(--ink-faint);font:500 var(--type-ui-min)/1.2 var(--font-sans);letter-spacing:.04em}.nav-context__part:after{content:""}.nav-context__section{color:var(--ink);font:650 var(--type-ui-min)/1.25 var(--font-sans)}.theme-toggle,.locale-toggle,.definitions-toggle{width:36px;height:36px}}.series-pager{padding:var(--space-48) 0 var(--space-8)}.series-pager .tl-wrap{display:flex;align-items:flex-start;justify-content:space-between;gap:var(--space-32);padding-top:var(--space-20);border-top:1px solid var(--line)}.series-pager-link{display:flex;flex-direction:column;gap:var(--space-4);max-width:46%;text-decoration:none}.series-pager-link:hover{text-decoration:none}.series-pager-label{color:var(--ink-faint);font:500 var(--type-ui-min)/1.3 var(--font-sans);letter-spacing:.1em;text-transform:uppercase}.series-pager-title{color:var(--ink);font:400 1rem/1.35 var(--font-serif)}.series-pager-link:hover .series-pager-title{color:var(--teal)}.series-pager-next{margin-left:auto;text-align:right;align-items:flex-end}.series-pager-prev{text-align:left;align-items:flex-start}@media (max-width:560px){.series-pager .tl-wrap{align-items:stretch;flex-direction:column}.series-pager-link{max-width:none}.series-pager-next{margin-left:0;align-items:flex-start;text-align:left}}footer{padding:var(--space-64) 0 var(--space-96);color:var(--ink-faint);font-size:var(--type-ui-body);text-align:center}footer:empty{display:none}.reveal,.reveal.in{opacity:1;transform:none}.toc-btn{flex:none;font-family:var(--font-sans);font-size:var(--type-ui-body);font-weight:600;color:var(--ink-soft);background:color-mix(in srgb,var(--surface-raised) 62%,transparent);border:1px solid color-mix(in srgb,var(--line) 72%,transparent);border-radius:999px;padding:6px var(--space-12);cursor:pointer;white-space:nowrap;transition:color var(--motion-control) var(--ease-move),background-color var(--motion-control) var(--ease-move),border-color var(--motion-control) var(--ease-move)}.toc-btn:hover{color:var(--ink);border-color:var(--blue-deep)}.toc-btn.active{color:var(--blue-bright);background:rgba(var(--blue-rgb),.12);border-color:rgba(var(--blue-rgb),.35)}.toc-panel{position:absolute;top:100%;left:0;right:0;display:none;background:var(--surface-reading);border-bottom:1px solid var(--line);box-shadow:0 24px 60px -18px #000000bf;padding:var(--space-16) var(--space-24) var(--space-24);max-height:calc(100vh - 60px);overflow-y:auto}.toc-panel.open{display:block}.toc-grid{max-width:1080px;margin:0 auto;display:grid;grid-template-columns:repeat(4,1fr);gap:var(--space-20) 0}.toc-part{min-width:0;border:0;border-inline-start:1px solid var(--line);border-radius:0;background:transparent;padding:var(--space-8) var(--space-20);display:flex;flex-direction:column;gap:2px}.toc-part.current{border-inline-start-color:var(--blue-bright);box-shadow:inset 2px 0 color-mix(in srgb,var(--blue) 45%,transparent);background:linear-gradient(90deg,color-mix(in srgb,var(--blue) 7%,transparent),transparent 72%)}.toc-part-title{font-family:var(--font-sans);font-size:var(--type-ui-body);font-weight:700;color:var(--ink);text-decoration:none;margin-bottom:7px}.toc-part.current .toc-part-title{color:var(--blue-bright)}.toc-part-title:hover{color:var(--blue-bright);text-decoration:none}.toc-ch{font-family:var(--font-sans);font-size:var(--type-ui-small);color:var(--ink-faint);text-decoration:none;padding:3px var(--space-8);margin-left:-8px;border-radius:var(--r-xs)}.toc-ch:hover{color:var(--ink);background:var(--bg-2);text-decoration:none}@media (max-width: 900px){.toc-grid{grid-template-columns:repeat(2,1fr)}}@media (max-width: 560px){.toc-grid{grid-template-columns:1fr}.toc-panel{padding:var(--space-16) var(--space-16) var(--space-16)}.toc-part{padding-inline:var(--space-16)}}.rl-status{min-height:1.6em;margin-top:var(--space-8);color:var(--ink-soft)}.rl-panel-label{margin-bottom:6px;text-align:center}.rl-board{display:block;width:100%}.rl-line-chart{min-width:460px}.rl-tree-board{min-width:640px}.nim-legend{gap:var(--space-16);color:var(--ink-soft);font-size:var(--type-ui-body)}.nim-status{margin:var(--space-8) 0 var(--space-16)}.nim-actions{display:flex;flex-wrap:wrap;gap:var(--space-8)}.nim-actions__reset{margin-left:auto}.stones-row{display:flex;flex-wrap:wrap;gap:var(--space-12);align-items:center;justify-content:center;min-height:60px;padding:var(--space-16) var(--space-16);border:1px solid var(--line);border-radius:var(--r-md);background:radial-gradient(70% 120% at 50% -20%,rgba(var(--blue-rgb),.07),transparent 60%),var(--bg-1);box-shadow:inset 0 2px 14px #00000059}.stone{width:34px;height:34px;border-radius:50%;background:var(--stone-fill);box-shadow:inset 0 -4px 7px #00000073,inset 0 2px 3px #ffffff80,0 3px 7px #00000073;transition:transform var(--motion-state) var(--ease-move),opacity var(--motion-state) var(--ease-move)}.stone.ghost{opacity:1;background:none;box-shadow:inset 0 0 0 2px rgba(var(--blue-bright-rgb),.12)}.stone.ghost.you{background:radial-gradient(circle at 50% 45%,rgba(var(--teal-rgb),.25),transparent 72%);box-shadow:inset 0 0 0 2px rgba(var(--teal-rgb),.6),0 0 9px rgba(var(--teal-rgb),.3)}.stone.ghost.ai{background:radial-gradient(circle at 50% 45%,rgba(var(--red-rgb),.25),transparent 72%);box-shadow:inset 0 0 0 2px rgba(var(--red-rgb),.6),0 0 9px rgba(var(--red-rgb),.28)}.phase-grid{display:grid;grid-template-columns:repeat(2,1fr);gap:var(--space-16);margin:1.6em 0}.phase-card{position:relative;overflow:hidden;padding:var(--space-16);border:1px solid var(--line);border-radius:var(--r-md);background:var(--bg-1);transition:background-color var(--motion-state) var(--ease-move),border-color var(--motion-state) var(--ease-move),box-shadow var(--motion-state) var(--ease-move)}.phase-card:before{content:"";position:absolute;inset:0 auto 0 0;width:3px;background:var(--tl-accent,var(--blue));opacity:.8}.phase-card .num{color:var(--tl-accent,var(--blue));font-family:var(--font-serif);font-size:1.5rem;font-weight:700}.phase-card h3,.phase-card h4{margin:6px 0;color:var(--ink);font-size:var(--type-ui-emphasis);font-weight:600}.phase-card p{margin:0;color:var(--ink-faint);font-size:var(--type-ui-body)}.phase-card.active{border-color:var(--tl-accent,var(--blue));background:var(--bg-2);box-shadow:var(--shadow-glow)}.mcts-simulation{padding:var(--space-12) var(--space-20);border-top:1px solid var(--line)}.mcts-simulation__lead{margin-bottom:var(--space-8)}.mcts-simulation__result{margin-top:var(--space-8);font-size:var(--type-ui-body)}.mcts-phase-strip{padding:var(--space-16) var(--space-20);border-bottom:1px solid var(--line)}.mcts-phase-card{padding:var(--space-8)}.mcts-phase-card .num{font-size:var(--type-ui-large)}.mcts-phase-card h4{margin:2px 0 0;font-size:var(--type-data-primary)}.mcts-budget{display:flex;align-items:center;gap:var(--space-8)}.mcts-budget__label{font-size:var(--type-data-primary)}.mcts-budget__select{padding:6px var(--space-8)}.mcts-thinking{margin-top:var(--space-16);font-family:var(--font-serif);font-size:var(--type-ui-body)}.bandit{display:grid;grid-template-columns:repeat(3,1fr);gap:var(--space-16)}.bandit.arms-4{grid-template-columns:repeat(2,1fr)}.arm{position:relative;background:linear-gradient(180deg,#ffffff06,#ffffff01);border:1px solid var(--line);border-radius:var(--r-md);padding:var(--space-16) var(--space-16);transition:border-color var(--motion-state) var(--ease-move),box-shadow var(--motion-state) var(--ease-move),transform var(--motion-state) var(--ease-move)}.arm.chosen{border-color:var(--yellow);box-shadow:var(--shadow-glow);transform:translateY(-2px)}.arm-name{display:flex;align-items:center;gap:var(--space-8);color:var(--ink);font-family:var(--font-sans);font-size:var(--type-ui-strong);font-weight:600}.arm .tag-chosen{margin-left:auto;font-size:var(--type-data-secondary);font-weight:600;color:var(--yellow);display:none;letter-spacing:.04em}.arm.chosen .tag-chosen{display:inline}.arm-wn{margin:var(--space-8) 0 var(--space-4);color:var(--ink-soft);font-family:var(--font-sans);font-size:var(--type-data-primary);font-variant-numeric:tabular-nums}.arm-ucb{font-family:var(--font-serif);font-size:var(--type-ui-emphasis);color:var(--ink);font-variant-numeric:tabular-nums}.arm .true-p{font-size:var(--type-data-secondary);color:var(--teal);margin-top:6px;min-height:1.1em}.ucb-bar{display:flex;height:13px;border-radius:var(--r-xs);overflow:hidden;background:var(--bg-2);border:1px solid var(--line);margin:var(--space-8) 0 var(--space-4)}.ucb-bar .seg{height:100%}.ucb-bar .exploit{background:linear-gradient(180deg,var(--arm-c,var(--blue)),color-mix(in srgb,var(--arm-c,var(--blue)) 70%,black))}.ucb-bar .explore{background:repeating-linear-gradient(45deg,rgba(var(--yellow-rgb),.85) 0 5px,rgba(var(--yellow-rgb),.4) 5px 10px)}.ucb-legend{display:flex;gap:var(--space-20);flex-wrap:wrap;margin-top:var(--space-12);color:var(--ink-soft);font-family:var(--font-sans);font-size:var(--type-data-primary)}.ucb-legend .sw{width:15px;height:11px;border-radius:3px;display:inline-block;vertical-align:middle;margin-right:6px}.ucb-legend .sw.exploit{background:var(--blue)}.ucb-legend .sw.explore{background:repeating-linear-gradient(45deg,rgba(var(--yellow-rgb),.85) 0 4px,rgba(var(--yellow-rgb),.35) 4px 8px)}.heat-legend{display:flex;align-items:center;gap:var(--space-8);margin-top:var(--space-16);font-size:var(--type-data-primary);color:var(--ink-soft);font-family:var(--font-sans)}.heat-bar{width:120px;height:11px;border-radius:var(--r-xs);display:inline-block;background:linear-gradient(90deg,rgb(var(--heat-neg)),rgb(var(--heat-zero)) 50%,rgb(var(--heat-pos)));border:1px solid var(--line)}.qtable{display:grid;gap:var(--space-4);grid-template-columns:74px repeat(3,1fr);font-family:var(--font-sans)}.qtable .qh{font-size:var(--type-data-secondary);color:var(--ink-faint);text-align:center;padding:var(--space-4) 0;text-transform:uppercase;letter-spacing:.04em}.qtable .qs{display:flex;align-items:center;justify-content:flex-end;gap:6px;padding-right:var(--space-8);font-size:var(--type-data-primary);color:var(--ink-soft);font-variant-numeric:tabular-nums}.qcell{position:relative;height:34px;border-radius:var(--r-xs);display:flex;align-items:center;justify-content:center;font-size:var(--type-data-primary);font-variant-numeric:tabular-nums;color:var(--ink);border:1.5px solid transparent;transition:background-color var(--motion-state) var(--ease-move),border-color var(--motion-state) var(--ease-move)}.qcell.illegal{background:repeating-linear-gradient(45deg,var(--cell) 0 6px,var(--cell-wall) 6px 12px);color:var(--ink-faint)}.qcell.best{border-color:var(--yellow);box-shadow:0 0 0 1px rgba(var(--yellow-rgb),.3)}.qcell.best:after{content:"\2605";position:absolute;top:2px;right:5px;font-size:var(--type-data-secondary);color:var(--yellow)}.phase-mini{margin:0;display:grid;grid-template-columns:repeat(4,1fr);gap:var(--space-8)}.ac-panels{display:flex;flex-wrap:wrap;gap:var(--space-16)}.ac-panel{flex:1 1 260px;min-width:250px}.race-map-switcher{display:flex;flex-wrap:wrap;align-items:center;gap:var(--space-8)}.race-map-switcher__button{padding:6px var(--space-12);font-size:var(--type-data-primary)}.race-layout{display:flex;flex-wrap:wrap;align-items:flex-start;gap:var(--space-16)}.race-map{flex:0 1 210px;min-width:180px}.race-chart{flex:1 1 340px;min-width:260px}.race-legend{justify-content:center;margin-top:0;margin-bottom:6px}@media (max-width:700px){.stone{width:26px;height:26px}.stones-row{gap:var(--space-8);padding:var(--space-12) var(--space-8)}.qtable{grid-template-columns:56px repeat(3,1fr);gap:var(--space-4)}.qtable .qs{font-size:var(--type-data-secondary);padding-right:6px}.qcell{height:30px;font-size:var(--type-data-secondary)}.bandit,.bandit.arms-4,.phase-mini{grid-template-columns:repeat(2,1fr)}}@media (max-width:560px){.phase-grid{grid-template-columns:1fr}}@media (max-width:420px){.bandit,.bandit.arms-4{grid-template-columns:1fr}}:is(.stones-row,.phase-card,.arm){border-color:transparent;background:var(--surface-group);box-shadow:none}:is(.phase-card.active,.arm.chosen){border-color:var(--surface-active-line);background:var(--surface-active);box-shadow:inset 0 0 0 1px var(--surface-active-line)}.ucb-bar{border:0;background:var(--surface-group-strong)}.tok-row{display:flex;flex-wrap:wrap;gap:var(--space-8);margin-bottom:var(--space-16)}.tok{font-family:var(--font-sans);font-size:var(--type-ui-strong);color:var(--ink);background:var(--bg-2);border:1.5px solid var(--line);border-radius:var(--r-sm);padding:var(--space-8) var(--space-16);min-height:40px;cursor:pointer;position:relative;display:flex;flex-direction:column;align-items:center;justify-content:center;gap:2px;transition:border-color var(--motion-control) var(--ease-move),transform var(--motion-control) var(--ease-move)}.tok:hover{transform:translateY(-1px)}.tok.sel,.tok.is-selected{border-color:var(--yellow);box-shadow:0 0 0 1px rgba(var(--yellow-rgb),.35)}.tok-w{font-size:var(--type-data-secondary);color:var(--ink-soft);font-variant-numeric:tabular-nums}.attn-two{display:grid;grid-template-columns:1fr 1fr;gap:var(--space-20);align-items:start}@media (max-width: 700px){.attn-two{grid-template-columns:1fr}}.pipe-label{font-family:var(--font-sans);font-size:var(--type-data-secondary);color:var(--ink-faint);text-transform:uppercase;letter-spacing:.05em;margin:var(--space-12) 0 6px}.attn-pipe-title{font-family:var(--font-sans);font-size:var(--type-ui-body);color:var(--ink-soft)}.attn-inline-emphasis{color:var(--ink)}.attn-matrix-label{margin-bottom:var(--space-8)}.attn-picker-instruction{margin-bottom:var(--space-8);font-size:var(--type-ui-body)}.pipe-arrow{font-family:var(--font-sans);font-size:var(--type-data-primary);color:var(--ink-faint);margin:var(--space-8) 0 2px}.pipe-scores{display:flex;flex-wrap:wrap;gap:6px}.pscore{background:var(--bg-1);border:1px solid var(--line);border-radius:6px;padding:var(--space-4) var(--space-8);text-align:center;min-width:52px}.pscore span{display:block;font-family:var(--font-sans);font-size:var(--type-data-primary);color:var(--ink);font-variant-numeric:tabular-nums}.pscore i{font-family:var(--font-sans);font-size:var(--type-data-secondary);color:var(--ink-faint);font-style:normal}.pipe-weights{display:flex;flex-direction:column;gap:var(--space-4)}.pweight{display:grid;grid-template-columns:1fr 42px 76px;align-items:center;gap:var(--space-8)}.pbar{height:12px;background:var(--bg-2);border:1px solid var(--line);border-radius:6px;overflow:hidden}.pbar>i{display:block;height:100%;background:linear-gradient(90deg,var(--blue-deep),var(--teal))}.pweight span{font-family:var(--font-sans);font-size:var(--type-data-primary);color:var(--ink-soft);font-variant-numeric:tabular-nums;text-align:right}.pweight em{font-family:var(--font-sans);font-size:var(--type-data-secondary);color:var(--ink-faint);font-style:normal}.blend{display:flex;height:30px;border-radius:7px;overflow:hidden;border:1px solid var(--line)}.blend-seg{display:flex;align-items:center;justify-content:center;overflow:hidden;font-family:var(--font-sans);font-size:var(--type-data-secondary);font-weight:600;color:#10141d;white-space:nowrap}.attn-grid{display:grid;gap:3px;min-width:340px}.attn-corner{font-family:var(--font-sans);font-size:var(--type-data-secondary);color:var(--ink-faint);display:flex;align-items:center;justify-content:center}.attn-klbl,.attn-qlbl{font-family:var(--font-sans);font-size:var(--type-data-secondary);color:var(--ink-soft);display:flex;align-items:center;justify-content:center;padding:var(--space-4) 2px;text-align:center}.attn-qlbl{justify-content:flex-end;padding-right:var(--space-8);background:none;border:0;cursor:pointer}.attn-qlbl:hover{color:var(--ink)}.attn-qlbl.sel{color:var(--yellow);font-weight:600}.attn-cell{aspect-ratio:1 / 1;border-radius:5px;display:flex;align-items:center;justify-content:center;font-family:var(--font-sans);font-size:var(--type-data-secondary);color:#eef2f8;font-variant-numeric:tabular-nums;transition:background var(--motion-state) var(--ease-move)}.attn-cell.inrow{box-shadow:inset 0 0 0 1.5px rgba(var(--yellow-rgb),.55)}.head-strips{display:flex;flex-direction:column;gap:var(--space-16)}.head-strip{background:var(--bg-1);border:1px solid var(--line);border-radius:var(--r-md);padding:var(--space-12) var(--space-16)}.head-title{font-family:var(--font-sans);font-size:var(--type-ui-body);color:var(--ink-soft);margin-bottom:var(--space-8);display:flex;align-items:center;gap:7px;flex-wrap:wrap}.head-title b{color:var(--ink)}.head-title .tl-muted{font-size:var(--type-data-primary)}.strip-cells{display:grid;grid-template-columns:repeat(6,minmax(0,1fr));gap:var(--space-4)}.strip-cell{border-radius:7px;padding:var(--space-8) var(--space-4);text-align:center;overflow:hidden;display:flex;flex-direction:column;gap:2px;border:1.5px solid transparent;transition:background var(--motion-state) var(--ease-move)}.strip-cell.top{border-color:rgba(var(--yellow-rgb),.6)}.sc-tok{font-family:var(--font-sans);font-size:var(--type-data-secondary);color:#eef2f8;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.sc-w{font-family:var(--font-sans);font-size:var(--type-data-secondary);color:#e8ecf3b8;font-variant-numeric:tabular-nums}.concat{margin-top:var(--space-16);padding:var(--space-12) var(--space-16);background:var(--bg-1);border:1px solid var(--line);border-radius:var(--r-md);display:flex;flex-direction:column;gap:var(--space-8)}.concat-chips{display:flex;align-items:center;gap:var(--space-8);flex-wrap:wrap}.concat-chip{font-family:var(--font-sans);font-size:var(--type-ui-body);color:var(--ink);border:1.5px solid var(--hc);border-radius:var(--r-sm);padding:var(--space-4) var(--space-8) 3px;display:inline-flex;flex-direction:column;align-items:center;line-height:1.2;background:color-mix(in srgb,var(--hc) 14%,transparent)}.concat-chip em{font-size:var(--type-data-secondary);color:var(--ink-faint);font-style:normal}.concat-plus{color:var(--ink-faint);font-size:var(--type-ui-large)}.concat-arrow{font-family:var(--font-sans);font-size:var(--type-data-primary);color:var(--ink-soft);margin-left:var(--space-4)}.flash-keys{display:grid;grid-template-columns:repeat(6,minmax(0,1fr));gap:6px}.flash-keys-label{margin:var(--space-16) 0 6px;font-size:var(--type-ui-body)}.fkey{border:1.5px solid var(--line);border-radius:var(--r-sm);padding:var(--space-8) var(--space-4);text-align:center;overflow:hidden;display:flex;flex-direction:column;gap:2px;background:var(--bg-1);opacity:.4;transition:opacity var(--motion-state) var(--ease-move),border-color var(--motion-state) var(--ease-move),box-shadow var(--motion-state) var(--ease-move)}.fkey.done{opacity:.78}.fkey.cur{opacity:1;border-color:var(--teal);box-shadow:0 0 0 1px rgba(var(--teal-rgb),.4),0 0 14px rgba(var(--teal-rgb),.25)}.fk-tok{font-family:var(--font-sans);font-size:var(--type-data-primary);color:var(--ink);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.fk-score{font-family:var(--font-sans);font-size:var(--type-data-secondary);color:var(--ink-faint);font-variant-numeric:tabular-nums}.acc{margin:var(--space-16) 0;background:var(--bg-1);border:1px solid var(--line);border-radius:var(--r-md);padding:6px var(--space-16)}.acc-k{font-family:var(--font-sans);font-size:var(--type-data-primary);color:var(--ink-soft)}.acc-v{font-family:var(--font-sans);font-size:var(--type-ui-body);color:var(--ink);font-variant-numeric:tabular-nums;text-align:right}.acc-v.hot{color:var(--yellow)}.flash-check{margin-top:6px;padding:var(--space-12) var(--space-16);background:var(--bg-1);border:1px solid var(--line);border-radius:var(--r-md)}.flash-compare-title{margin-top:2px}.fc-ok{font-family:var(--font-sans);font-size:var(--type-data-primary);color:var(--green);margin-top:var(--space-8)}.smap-cap{display:flex;align-items:center;justify-content:center;gap:6px;flex-wrap:wrap;text-align:center;margin-bottom:var(--space-12)}.smap{display:grid;gap:var(--space-4);width:320px;max-width:100%;margin:0 auto}.sm-h{display:flex;align-items:center;justify-content:center;min-height:26px;color:var(--ink-faint);font-size:var(--type-data-primary)}.stile{display:flex;align-items:center;justify-content:center;aspect-ratio:1;border:1.4px solid var(--line);border-radius:7px;background:var(--cell);color:var(--ink-faint);font-size:var(--type-ui-body);transition:background-color var(--motion-state) var(--ease-move),border-color var(--motion-state) var(--ease-move),color var(--motion-state) var(--ease-move),box-shadow var(--motion-state) var(--ease-move)}.stile.done{border-color:var(--green);background:rgba(var(--green-rgb),.14);color:var(--green)}.stile.cur{border-color:var(--teal);background:rgba(var(--teal-rgb),.2);color:var(--teal);box-shadow:0 0 0 1px rgba(var(--teal-rgb),.4),0 0 16px rgba(var(--teal-rgb),.28)}.mat-cap{font-family:var(--font-sans);font-size:var(--type-data-primary);color:var(--ink-soft);display:flex;align-items:center;gap:var(--space-4)}.evo-card{border:1px solid var(--line);border-left:3px solid var(--vc);border-radius:0 var(--r-md) var(--r-md) 0;background:var(--bg-1);padding:var(--space-16) var(--space-16)}.evo-card-head{display:flex;align-items:center;gap:var(--space-16);margin-bottom:var(--space-12)}.evo-card-tag{font-family:var(--font-sans);font-weight:700;font-size:var(--type-ui-body);color:#0b0e14;padding:var(--space-4) var(--space-12);border-radius:999px;flex:none}.evo-card-title{font-family:var(--font-sans);font-weight:600;font-size:var(--type-ui-emphasis);color:var(--ink)}.evo-card-meta{font-family:var(--font-sans);font-size:var(--type-data-primary);color:var(--ink-faint);font-variant-numeric:tabular-nums;margin-top:2px}.evo-idea{font-size:var(--type-ui-strong);color:var(--ink-soft);margin:0 0 var(--space-12);line-height:1.6}.evo-wins{list-style:none;padding:0;margin:0 0 var(--space-16);display:flex;flex-direction:column;gap:7px}.evo-wins li{position:relative;padding-left:var(--space-24);font-family:var(--font-sans);font-size:var(--type-ui-body);color:var(--ink-soft)}.evo-wins li:before{content:"\2713";position:absolute;left:0;color:var(--green);font-weight:700}.evo-weak{font-family:var(--font-sans);font-size:var(--type-data-primary);color:var(--ink-faint);border-top:1px solid var(--line-soft);padding-top:var(--space-12)}.evo-weak span{color:var(--yellow);font-weight:600}.flash-evolution-note{margin-top:var(--space-12);font-size:var(--type-ui-body)}.attn-control-bar{margin-bottom:var(--space-16)}.scale-presets{display:flex;gap:var(--space-8);flex-wrap:wrap}.scale-preset{font-family:var(--font-sans);color:var(--ink-soft);background:var(--bg-2);border:1px solid var(--line);border-radius:999px;padding:6px var(--space-12);cursor:pointer}.scale-preset.is-selected{color:var(--ink);border-color:var(--teal);background:rgba(var(--teal-rgb),.12)}.scale-scene{display:grid;grid-template-columns:auto 1fr auto;align-items:center;gap:var(--space-24);min-height:230px}.scale-matrix{display:flex;align-items:center;justify-content:center;flex:none;background:repeating-linear-gradient(0deg,rgba(var(--teal-rgb),.1) 0 8px,transparent 8px 16px),repeating-linear-gradient(90deg,rgba(var(--teal-rgb),.1) 0 8px,transparent 8px 16px),var(--bg-1);border:2px solid var(--teal);border-radius:12px;box-shadow:0 0 28px rgba(var(--teal-rgb),.16)}.scale-matrix span{color:var(--teal);font-size:var(--type-ui-emphasis);font-weight:700}.scale-facts{display:flex;flex-direction:column;gap:var(--space-12)}.scale-facts>div{display:flex;flex-direction:column;gap:2px}.scale-facts strong{font-family:var(--font-sans);color:var(--ink);font-size:1.25rem}.scale-facts span{font-family:var(--font-sans);color:var(--ink-faint);font-size:var(--type-data-secondary)}.scale-facts .scale-warning{border-left:2px solid var(--yellow);padding-left:var(--space-12)}.scale-warning strong{font-size:var(--type-ui-strong);color:var(--yellow)}.scale-tile-demo{width:125px;display:flex;flex-direction:column;align-items:center;gap:var(--space-8);text-align:center;font-family:var(--font-sans);color:var(--ink-faint);font-size:var(--type-data-secondary)}.scale-tile-demo i{display:block;width:38px;height:38px;border:2px solid var(--yellow);background:rgba(var(--yellow-rgb),.12);border-radius:7px;box-shadow:0 0 16px rgba(var(--yellow-rgb),.15)}.flash-scene-note{display:grid;grid-template-columns:86px 1fr;gap:var(--space-16);align-items:center;border-radius:var(--r-md);font-size:var(--type-ui-body)}.flash-scene-note.breakthrough{border-color:var(--yellow);background:rgba(var(--yellow-rgb),.07);box-shadow:0 0 22px rgba(var(--yellow-rgb),.1)}.scene-step{color:var(--teal);font-size:var(--type-data-secondary);letter-spacing:.08em;text-transform:uppercase;font-weight:700}.breakthrough .scene-step{color:var(--yellow)}.rescale-panel{display:grid;grid-template-columns:repeat(4,1fr);gap:var(--space-8);margin:var(--space-16) 0;padding:var(--space-12);border:1px solid var(--line);border-radius:var(--r-md);background:var(--bg-1)}.rescale-panel>div:not(.alpha-track){display:flex;flex-direction:column;gap:3px}.rescale-panel span{font-family:var(--font-sans);font-size:var(--type-data-secondary);color:var(--ink-faint)}.rescale-panel strong{font-family:var(--font-sans);font-size:var(--type-ui-large);color:var(--ink);font-variant-numeric:tabular-nums}.rescale-panel.active{border-color:rgba(var(--yellow-rgb),.65)}.rescale-panel.active .alpha-cell strong{color:var(--yellow)}.alpha-track{grid-column:1/-1;height:8px}.alpha-track-fill{background:linear-gradient(90deg,var(--yellow),var(--pink))}.compare-labels{display:flex;justify-content:space-between;color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary)}.compare-overlay{position:relative;margin-top:7px}.compare-reference{position:absolute;inset:0;opacity:.32;mix-blend-mode:screen}.memory-compare{display:grid;grid-template-columns:1fr 1fr;gap:var(--space-16)}.memory-lane{border:1px solid var(--line);border-radius:var(--r-md);background:var(--bg-1);padding:var(--space-16)}.memory-lane.direct{border-color:#e58ac973}.memory-lane.flash{border-color:rgba(var(--teal-rgb),.65);background:var(--bg-stage)}.lane-head{display:flex;flex-direction:column;gap:2px;margin-bottom:var(--space-16)}.lane-head strong{font-family:var(--font-sans);color:var(--ink)}.lane-head span{font-family:var(--font-sans);color:var(--ink-faint);font-size:var(--type-data-secondary)}.lane-flow{display:flex;align-items:center;gap:var(--space-4);flex-wrap:wrap;min-height:78px}.lane-node{font-family:var(--font-sans);font-size:var(--type-data-secondary);color:var(--ink-soft);border:1px solid var(--line);border-radius:6px;background:var(--bg-2);padding:var(--space-4) 7px}.lane-node.hbm-write{color:var(--pink);border-color:#e58ac98c}.lane-node.tile-node{color:var(--yellow);border-color:rgba(var(--yellow-rgb),.55)}.io-arrow{color:var(--ink-faint);font-size:var(--type-data-primary)}.io-arrow.costly{color:var(--pink)}.lane-cost{margin-top:var(--space-12);padding-top:var(--space-8);border-top:1px solid var(--line-soft);font-family:var(--font-sans);color:var(--ink-faint);font-size:var(--type-data-secondary)}.lane-cost b{color:var(--pink)}.lane-cost.good b{color:var(--teal)}.tile-progress{display:grid;grid-template-columns:1fr 210px;align-items:center;gap:var(--space-24);margin-top:var(--space-20)}.tile-verdict{display:grid;grid-template-columns:1fr auto;gap:var(--space-8) var(--space-16);padding:var(--space-16);border:1px solid var(--line);border-radius:var(--r-md);background:var(--bg-1)}.tile-verdict span{font-family:var(--font-sans);color:var(--ink-faint);font-size:var(--type-data-secondary)}.tile-verdict strong{font-family:var(--font-sans);color:var(--ink);font-size:var(--type-ui-body);font-variant-numeric:tabular-nums}.tile-verdict .zero{color:var(--green)}.memory-thesis{margin-top:var(--space-16);padding:var(--space-12) var(--space-16);text-align:center;border-radius:var(--r-sm);background:rgba(var(--green-rgb),.08);border:1px solid rgba(var(--green-rgb),.35);color:var(--green);font-family:var(--font-sans);font-weight:600;font-size:var(--type-ui-body)}.evo-flow{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));align-items:stretch;gap:var(--space-8);margin-bottom:var(--space-16)}.evo-flow-step{text-align:left;display:flex;flex-direction:column;gap:6px;cursor:pointer;padding:var(--space-12);border:1px solid var(--line);border-top:3px solid var(--vc);border-radius:var(--r-sm);background:var(--bg-1)}.evo-flow-step.sel,.evo-flow-step.is-selected{box-shadow:0 0 0 1px var(--vc),0 0 18px -8px var(--vc)}.evo-flow-step span{color:var(--vc);font-family:var(--font-sans);font-weight:700}.evo-flow-step strong{color:var(--ink);font-family:var(--font-sans);font-size:var(--type-data-primary)}.evo-flow-step em{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary);font-style:normal;line-height:1.35}.evo-details{margin-top:var(--space-20);padding:var(--space-16) var(--space-24);border:1px solid var(--line);border-radius:var(--r-md);background:var(--bg-1)}.evo-details summary{cursor:pointer;color:var(--ink-soft);font-family:var(--font-sans);font-weight:600}.evo-details[open] summary{margin-bottom:var(--space-24);color:var(--ink)}.evo-appendix{max-width:1080px;margin-left:auto;margin-right:auto;padding:var(--space-16) 0}.evo-appendix>summary{padding-left:var(--space-24);padding-right:var(--space-24)}.evo-appendix>.tl-bleed{margin-top:var(--space-24)}@media (max-width:700px){.scale-scene{grid-template-columns:1fr;justify-items:center;text-align:center}.scale-facts .scale-warning{border-left:0;border-top:2px solid var(--yellow);padding:var(--space-8) 0 0}.memory-compare,.tile-progress,.evo-flow{grid-template-columns:1fr}}@media (max-width:560px){.flash-scene-note{grid-template-columns:1fr;gap:6px}.rescale-panel{grid-template-columns:1fr 1fr}.scale-presets{justify-content:center}}.causal-toggle{display:grid;grid-template-columns:1fr 1fr;gap:var(--space-8)}.causal-toggle button{cursor:pointer;padding:var(--space-8) var(--space-16);border:1px solid var(--line);border-radius:var(--r-sm);background:var(--bg-1);color:var(--ink-soft);font-family:var(--font-sans);font-weight:600}.causal-toggle button.is-selected{color:var(--ink);border-color:var(--blue);background:rgba(var(--blue-rgb),.12);box-shadow:0 0 0 1px rgba(var(--blue-rgb),.35)}.causal-narrative{margin-bottom:var(--space-16);border-color:#e58ac973;background:#e58ac912}.causal-narrative b{display:inline;color:var(--pink);white-space:nowrap}.causal-narrative.phase-2{border-color:rgba(var(--green-rgb),.48);background:rgba(var(--green-rgb),.06)}.causal-narrative.phase-2 b{color:var(--green)}.causal-matrix-wrap{overflow-x:auto;padding-bottom:var(--space-4)}.causal-matrix{display:grid;gap:var(--space-4);min-width:650px}.causal-corner,.causal-col-label,.causal-row-label{min-height:34px;display:flex;align-items:center;justify-content:center;font-family:var(--font-sans);font-size:var(--type-data-secondary);color:var(--ink-faint)}.causal-corner{font-size:var(--type-data-secondary);letter-spacing:.03em}.causal-col-label{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.causal-row-label{justify-content:flex-end;padding:0 var(--space-8);border:0;background:transparent;cursor:pointer;color:var(--ink-soft)}.causal-row-label.sel{color:var(--yellow);font-weight:700}.causal-cell{min-height:46px;display:flex;align-items:center;justify-content:center;border:1px solid var(--line);border-radius:6px;font-family:var(--font-sans);font-size:var(--type-data-secondary);color:#edf2f7;font-variant-numeric:tabular-nums;transition:background-color var(--motion-state) var(--ease-move),border-color var(--motion-state) var(--ease-move),color var(--motion-state) var(--ease-move),box-shadow var(--motion-state) var(--ease-move)}.causal-cell.future{box-shadow:inset 0 0 0 1px #e58ac91f}.causal-cell.masked{color:var(--pink);border-color:#e58ac938}.causal-cell.selected{border-top-color:rgba(var(--yellow-rgb),.75);border-bottom-color:rgba(var(--yellow-rgb),.75)}.causal-cell.answer{box-shadow:inset 0 0 0 2px var(--pink),0 0 12px #e58ac938}.causal-cell.answer.masked{box-shadow:inset 0 0 0 2px var(--green),0 0 12px rgba(var(--green-rgb),.18)}.causal-legend{justify-content:center;margin:var(--space-8) 0 var(--space-4);font-size:var(--type-data-secondary)}.causal-legend .allowed{background:rgba(var(--teal-rgb),.35);border-color:var(--teal)}.causal-legend .forbidden{background:#e58ac92e;border-color:var(--pink)}.causal-legend .answer{background:transparent;border:2px solid var(--pink)}.causal-verdict{display:flex;align-items:center;gap:var(--space-12);margin-top:var(--space-16);padding:var(--space-12) var(--space-16);border-radius:var(--r-sm);background:#ffffff06;border:1px solid var(--line);font-family:var(--font-sans)}.causal-verdict span{color:var(--ink-faint);font-size:var(--type-data-secondary);text-transform:uppercase;letter-spacing:.08em}.causal-verdict strong{color:var(--ink);font-size:var(--type-ui-body)}.kv-toggle{display:grid;grid-template-columns:1fr 1fr;gap:var(--space-8)}.kv-toggle button{cursor:pointer;padding:var(--space-8) var(--space-16);border:1px solid var(--line);border-radius:var(--r-sm);background:var(--bg-1);color:var(--ink-soft);font-family:var(--font-sans);font-weight:600}.kv-toggle button.is-selected{color:var(--ink);border-color:var(--teal);background:rgba(var(--teal-rgb),.11);box-shadow:0 0 0 1px rgba(var(--teal-rgb),.35)}.kv-sequence{display:flex;align-items:center;gap:6px;flex-wrap:wrap;margin:2px 0 var(--space-16)}.kv-sequence span{min-width:54px;padding:6px var(--space-8);border:1px solid var(--line);border-radius:7px;text-align:center;font-family:var(--font-sans);font-size:var(--type-data-secondary);color:var(--ink-faint);background:var(--bg-1)}.kv-sequence i{color:var(--ink-faint);font-style:normal}.kv-sequence .ready{color:var(--ink-soft);border-color:rgba(var(--teal-rgb),.35)}.kv-sequence .current{color:var(--yellow);border-color:var(--yellow);background:rgba(var(--yellow-rgb),.08)}.kv-sequence .pending{opacity:.28}.kv-narrative{margin-bottom:var(--space-16)}.kv-narrative b{display:inline;color:var(--pink);white-space:nowrap}.kv-narrative.cached{border-color:rgba(var(--teal-rgb),.5);background:rgba(var(--teal-rgb),.06)}.kv-narrative.cached b{color:var(--teal)}.kv-cache-board{display:flex;flex-direction:column;gap:var(--space-8);padding:var(--space-16);border:1px solid var(--line);border-radius:var(--r-md);background:var(--bg-1);overflow-x:auto}.kv-block-row{display:flex;align-items:stretch;gap:7px;min-width:max-content}.kv-row-label{width:24px;display:flex;align-items:center;color:var(--ink-faint);font-family:var(--font-sans);font-weight:700}.kv-block{width:72px;min-height:54px;display:flex;flex-direction:column;align-items:center;justify-content:center;gap:2px;border:1px solid var(--line);border-radius:7px;background:var(--bg-2);transition:background-color var(--motion-state) var(--ease-move),border-color var(--motion-state) var(--ease-move),box-shadow var(--motion-state) var(--ease-move),opacity var(--motion-state) var(--ease-move)}.kv-block strong{color:var(--ink);font-family:var(--font-sans);font-size:var(--type-data-secondary)}.kv-block span{max-width:62px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary)}.kv-block.recomputed{border-color:#e58ac98c;background:#e58ac914;box-shadow:0 0 12px #e58ac914}.kv-block.stored{border-color:rgba(var(--teal-rgb),.38);background:rgba(var(--teal-rgb),.05);opacity:.72}.kv-block.fresh{border-color:var(--yellow);background:rgba(var(--yellow-rgb),.1);box-shadow:0 0 14px rgba(var(--yellow-rgb),.14)}.kv-legend{justify-content:center;margin:var(--space-8) 0 var(--space-16);font-size:var(--type-data-secondary)}.kv-legend .recomputed{border-color:var(--pink);background:#e58ac92e}.kv-legend .stored{border-color:var(--teal);background:rgba(var(--teal-rgb),.16)}.kv-legend .fresh{border-color:var(--yellow);background:rgba(var(--yellow-rgb),.18)}.kv-step-summary{display:grid;grid-template-columns:1fr auto 1fr auto 1fr;gap:var(--space-8);align-items:center;padding:var(--space-12) var(--space-16);border:1px solid var(--line);border-radius:var(--r-sm);background:#ffffff05}.kv-step-summary>div{display:flex;flex-direction:column;align-items:center;gap:2px;text-align:center}.kv-step-summary span{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary);text-transform:uppercase;letter-spacing:.05em}.kv-step-summary strong{color:var(--ink);font-family:var(--font-sans);font-size:var(--type-data-primary)}.kv-step-summary>i{color:var(--ink-faint);font-style:normal}.kv-tradeoff{display:grid;grid-template-columns:1fr auto 1fr;gap:var(--space-16);align-items:center;margin:var(--space-24) 0}.kv-tradeoff>div{display:flex;flex-direction:column;gap:var(--space-4);padding:var(--space-16);border:1px solid var(--line);border-radius:var(--r-md);background:var(--bg-1)}.kv-tradeoff strong{color:var(--ink);font-family:var(--font-sans)}.kv-tradeoff span{color:var(--green);font-family:var(--font-sans);font-size:var(--type-data-primary)}.kv-tradeoff em{color:var(--pink);font-family:var(--font-sans);font-size:var(--type-data-primary);font-style:normal}.kv-tradeoff>i{color:var(--ink-faint);font-style:normal}@media (max-width:620px){.kv-step-summary{grid-template-columns:1fr}.kv-step-summary>i{transform:rotate(90deg);justify-self:center}.kv-tradeoff{grid-template-columns:1fr}.kv-tradeoff>i{transform:rotate(90deg);justify-self:center}}.gqa-toggle{display:grid;grid-template-columns:repeat(3,1fr);gap:var(--space-8)}.gqa-toggle button{cursor:pointer;display:flex;flex-direction:column;align-items:center;gap:2px;padding:var(--space-8) var(--space-12);border:1px solid var(--line);border-radius:var(--r-sm);background:var(--bg-1);font-family:var(--font-sans)}.gqa-toggle strong{color:var(--ink);font-size:var(--type-ui-body)}.gqa-toggle span{color:var(--ink-faint);font-size:var(--type-data-secondary)}.gqa-toggle button.is-selected{border-color:var(--blue);background:rgba(var(--blue-rgb),.1);box-shadow:0 0 0 1px rgba(var(--blue-rgb),.35)}.gqa-narrative b{display:inline;color:var(--teal)}.gqa-board{min-width:0;padding:var(--space-16);border:1px solid var(--line);border-radius:var(--r-md);background:var(--bg-1);overflow:hidden}.gqa-axis{width:100%;min-width:0;margin:2px 0 var(--space-8);color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary);text-transform:uppercase;letter-spacing:.07em}.gqa-q-row,.gqa-kv-row,.gqa-share-arrows{width:100%;min-width:0;display:grid;grid-template-columns:repeat(8,minmax(0,1fr));gap:7px}.gqa-q{min-width:0;min-height:58px;display:flex;flex-direction:column;align-items:center;justify-content:center;gap:3px;border:1px solid color-mix(in srgb,var(--gc) 65%,var(--line));border-top:3px solid var(--gc);border-radius:7px;background:color-mix(in srgb,var(--gc) 9%,var(--bg-2))}.gqa-q strong{color:var(--ink);font-family:var(--font-sans);font-size:var(--type-data-primary)}.gqa-q span{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary);white-space:nowrap}.gqa-share-arrows{margin:var(--space-4) 0 var(--space-8)}.gqa-share-arrows>div{display:flex;flex-direction:column;align-items:center;gap:2px}.gqa-share-arrows i{width:calc(100% - 18px);height:14px;border-left:1px solid var(--gc);border-right:1px solid var(--gc);border-bottom:1px solid var(--gc);border-radius:0 0 6px 6px}.gqa-share-arrows span{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary)}.gqa-kv{min-width:0;min-height:64px;display:flex;justify-content:center;align-items:center;padding:var(--space-8) var(--space-4);border:1.5px solid var(--gc);border-radius:8px;background:color-mix(in srgb,var(--gc) 11%,var(--bg-2))}.gqa-kv strong{max-width:100%;color:var(--ink);font-family:var(--font-sans);font-size:var(--type-data-secondary);white-space:nowrap}.gqa-cache-meter{margin-top:var(--space-16);padding:var(--space-12) var(--space-16);border:1px solid var(--line);border-radius:var(--r-sm);background:var(--bg-1)}.gqa-cache-meter p{margin:7px 0 0;color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary)}@media (max-width:620px){.gqa-toggle{grid-template-columns:1fr}.gqa-board{padding:var(--space-8) var(--space-8)}.gqa-q-row,.gqa-kv-row,.gqa-share-arrows{gap:3px}.gqa-q{min-height:46px}.gqa-q strong{font-size:var(--type-data-secondary)}.gqa-q span,.gqa-share-arrows span{display:none}.gqa-share-arrows i{width:calc(100% - 8px);height:10px}.gqa-kv{min-height:48px;padding:var(--space-4) 1px}.gqa-kv strong{font-size:var(--type-data-secondary);letter-spacing:-.03em}.gqa-axis{font-size:var(--type-data-secondary);letter-spacing:.04em}}.quad-presets,.quad-mask-toggle{display:flex;gap:6px}.quad-presets{min-width:0}.quad-controls button{cursor:pointer;min-width:0;padding:var(--space-8) var(--space-12);border:1px solid var(--line);border-radius:var(--r-sm);background:var(--bg-1);color:var(--ink-soft);font-family:var(--font-sans)}.quad-controls button.is-selected{color:var(--ink);border-color:var(--yellow);background:rgba(var(--yellow-rgb),.09);box-shadow:0 0 0 1px rgba(var(--yellow-rgb),.28)}.quad-narrative b{color:var(--yellow)}.quad-matrix{min-width:0;aspect-ratio:1;display:grid;gap:2px;padding:6px;border:1px solid var(--line);border-radius:var(--r-md);background:var(--bg-stage)}.quad-cell{min-width:0;min-height:0;border-radius:2px;border:1px solid rgba(var(--teal-rgb),.18)}.quad-cell.allowed{background:rgba(var(--teal-rgb),.58)}.quad-cell.blocked{background:#e58ac90e;border-color:#e58ac91f}.quad-exact-compare{display:grid;grid-template-columns:1fr auto 1fr;gap:var(--space-16);align-items:center;margin:var(--space-24) 0}.quad-exact-compare>div{display:flex;flex-direction:column;gap:var(--space-4);padding:var(--space-16);border:1px solid var(--line);border-radius:var(--r-md);background:var(--bg-1)}.quad-exact-compare span{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary);text-transform:uppercase;letter-spacing:.06em}.quad-exact-compare strong{color:var(--ink);font-family:var(--font-sans);font-size:var(--type-ui-strong)}.quad-exact-compare em{color:var(--ink-soft);font-family:var(--font-sans);font-size:var(--type-data-secondary);font-style:normal}.quad-exact-compare>i{color:var(--teal);font-style:normal}.escape-tabs{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:7px}.escape-tabs button{cursor:pointer;min-width:0;display:flex;flex-direction:column;align-items:center;gap:1px;padding:var(--space-8) 7px;border:1px solid var(--line);border-radius:var(--r-sm);background:var(--bg-1);font-family:var(--font-sans)}.escape-tabs strong{color:var(--ink);font-size:var(--type-data-primary)}.escape-tabs span{color:var(--ink-faint);font-size:var(--type-data-secondary)}.escape-tabs button.is-selected{border-color:var(--blue);background:rgba(var(--blue-rgb),.1);box-shadow:0 0 0 1px rgba(var(--blue-rgb),.32)}.escape-narrative b{color:var(--blue-bright)}.escape-scene{min-height:330px;display:flex;align-items:center;justify-content:center;padding:var(--space-8);border:1px solid var(--line);border-radius:var(--r-md);background:var(--bg-stage)}.escape-scene.linear{min-height:190px}.escape-grid{width:min(100%,310px);aspect-ratio:1;display:grid;gap:2px}.escape-grid.compress{width:min(100%,190px);aspect-ratio:1/2.3}.escape-cell{min-width:0;min-height:0;border-radius:2px;background:#ffffff06;border:1px solid var(--line-soft)}.escape-cell.on{background:rgba(var(--blue-rgb),.58);border-color:rgba(var(--blue-bright-rgb),.38)}.escape-grid.sparse .escape-cell.on{background:rgba(var(--green-rgb),.58);border-color:rgba(var(--green-rgb),.38)}.escape-grid.compress .escape-cell.on{background:rgba(var(--yellow-rgb),.48);border-color:rgba(var(--yellow-rgb),.35)}.escape-caption{margin-top:var(--space-8);color:var(--ink-faint);text-align:center;font-family:var(--font-sans);font-size:var(--type-data-secondary)}.linear-diagram{width:100%;display:grid;grid-template-columns:minmax(82px,1fr) auto minmax(110px,1.15fr) auto minmax(110px,1.15fr);gap:var(--space-12);align-items:center}.linear-diagram>div{min-width:0;min-height:92px;display:flex;flex-direction:column;align-items:center;justify-content:center;gap:var(--space-4);padding:var(--space-8);border:1px solid var(--line);border-radius:var(--r-md);background:var(--bg-1);text-align:center}.linear-diagram span{color:var(--ink);font-family:var(--font-sans);font-weight:600}.linear-diagram small{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary)}.linear-diagram>i{color:var(--teal);font-style:normal}.linear-summary{border-color:rgba(var(--teal-rgb),.58)!important;background:rgba(var(--teal-rgb),.07)!important}@media (max-width:700px){.quad-presets,.quad-mask-toggle{display:grid;grid-template-columns:repeat(2,minmax(0,1fr))}.escape-tabs{grid-template-columns:repeat(2,minmax(0,1fr))}.quad-exact-compare{grid-template-columns:1fr}.quad-exact-compare>i{transform:rotate(90deg);justify-self:center}.linear-diagram{grid-template-columns:1fr}.linear-diagram>i{transform:rotate(90deg);justify-self:center}.linear-diagram>div{min-height:64px}.escape-scene.linear{min-height:0}}@media (max-width:420px){.quad-matrix{gap:1px;padding:var(--space-4)}.escape-scene{min-height:290px;padding:var(--space-8)}.escape-grid{width:min(100%,270px);gap:1px}}.sparse-pattern-tabs{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:7px}.sparse-pattern-tabs button,.reach-controls button{cursor:pointer;min-width:0;border:1px solid var(--line);border-radius:var(--r-sm);background:var(--bg-1);color:var(--ink-soft);font-family:var(--font-sans)}.sparse-pattern-tabs button{display:flex;flex-direction:column;align-items:center;gap:1px;padding:var(--space-8) 7px}.sparse-pattern-tabs strong{color:var(--ink);font-size:var(--type-data-primary)}.sparse-pattern-tabs span{color:var(--ink-faint);font-size:var(--type-data-secondary)}.sparse-pattern-tabs button.is-selected,.reach-controls button.is-selected{color:var(--ink);border-color:var(--green);background:rgba(var(--green-rgb),.09);box-shadow:0 0 0 1px rgba(var(--green-rgb),.28)}.sparse-narrative b{color:var(--green)}.sparse-matrix-wrap{width:min(100%,530px)}.sparse-pattern-matrix{min-width:0;aspect-ratio:1;display:grid;gap:2px;padding:6px;border:1px solid var(--line);border-radius:var(--r-md);background:var(--bg-stage)}.sparse-cell{min-width:0;min-height:0;border-radius:2px;border:1px solid var(--line-soft);background:#ffffff05}.sparse-cell.on{border-color:rgba(var(--green-rgb),.34);background:rgba(var(--green-rgb),.54)}.sparse-cell.query-row.on{box-shadow:inset 0 0 0 1px rgba(var(--teal-rgb),.75)}.sparse-cell.landmark{border-color:rgba(var(--yellow-rgb),.48);background:rgba(var(--yellow-rgb),.58)}.sparse-legend,.reach-legend{justify-content:center;margin-top:var(--space-8);font-size:var(--type-data-secondary)}.sparse-legend .active{border-color:var(--green);background:rgba(var(--green-rgb),.55)}.sparse-legend .query{border-color:var(--teal);background:rgba(var(--teal-rgb),.34)}.sparse-legend .landmark{border-color:var(--yellow);background:rgba(var(--yellow-rgb),.58)}.reach-mode-tabs,.reach-layer-tabs{display:flex;gap:6px}.reach-controls button{padding:var(--space-8) var(--space-12)}.reach-mode-tabs button{flex:1 1 0}.reach-scene{display:flex;flex-direction:column;gap:var(--space-16);padding:var(--space-16);border:1px solid var(--line);border-radius:var(--r-md);background:var(--bg-stage)}.reach-line{display:grid;grid-template-columns:62px minmax(0,1fr);gap:var(--space-8);align-items:center}.reach-line>span{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary);text-align:right}.reach-cells{min-width:0;display:grid;grid-template-columns:repeat(16,minmax(0,1fr));gap:3px}.reach-token{min-width:0;aspect-ratio:1;display:flex;align-items:center;justify-content:center;border:1px solid var(--line);border-radius:4px;background:var(--bg-2);color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary);font-style:normal}.reach-token.reached{color:var(--ink);border-color:rgba(var(--green-rgb),.48);background:rgba(var(--green-rgb),.18)}.reach-token.direct{border-color:var(--green);background:rgba(var(--green-rgb),.48);color:#0b0e14}.reach-token.target{border-color:var(--teal);background:rgba(var(--teal-rgb),.68);color:#0b0e14;box-shadow:0 0 0 1px rgba(var(--teal-rgb),.42)}.reach-token.landmark.reached:not(.target){box-shadow:inset 0 -3px 0 var(--yellow)}.reach-legend .direct{border-color:var(--green);background:rgba(var(--green-rgb),.48)}.reach-legend .reached{border-color:rgba(var(--green-rgb),.48);background:rgba(var(--green-rgb),.18)}.reach-legend .target{border-color:var(--teal);background:rgba(var(--teal-rgb),.68)}.sparse-bridges{display:grid;grid-template-columns:repeat(3,1fr);gap:var(--space-8);margin:var(--space-24) 0}.sparse-bridges>div{display:flex;flex-direction:column;gap:7px;padding:var(--space-16);border-top:2px solid var(--yellow);background:rgba(var(--yellow-rgb),.035)}.sparse-bridges strong{color:var(--ink);font-family:var(--font-sans);font-size:var(--type-ui-body)}.sparse-bridges span{color:var(--ink-soft);font-family:var(--font-sans);font-size:var(--type-data-secondary);line-height:1.5}.sparse-bridges em{margin-top:auto;color:var(--yellow);font-family:var(--font-sans);font-size:var(--type-data-secondary);font-style:normal}.sparse-bridges a{color:var(--blue-bright);font-family:var(--font-sans);font-size:var(--type-data-secondary);text-decoration:none;padding-top:var(--space-8);border-top:1px solid var(--line)}.sparse-bridges a:hover{color:var(--teal)}.sparse-block-demo{display:grid;grid-template-columns:1fr auto 1fr;gap:var(--space-16);align-items:center;margin:var(--space-24) 0}.sparse-block-demo>div{min-width:0;display:grid;grid-template-rows:auto 170px auto;gap:var(--space-8);padding:var(--space-16);border:1px solid var(--line);border-radius:var(--r-md);background:var(--bg-1)}.sparse-block-demo span{color:var(--ink);font-family:var(--font-sans);font-size:var(--type-data-primary);font-weight:600}.sparse-block-demo em{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary);font-style:normal}.sparse-block-demo>b{color:var(--blue-bright);font-family:var(--font-sans)}.sparse-dots,.sparse-blocks{min-width:0;min-height:0;overflow:hidden;display:grid;grid-template-columns:repeat(8,minmax(0,1fr));grid-template-rows:repeat(4,minmax(0,1fr));gap:var(--space-4);padding:var(--space-8);border:1px solid var(--line);border-radius:var(--r-sm);background:var(--bg-stage)}.sparse-dots i{place-self:center;height:56%;max-height:24px;min-height:9px;width:auto;aspect-ratio:1;border-radius:3px;background:#e58ac98c}.sparse-dots i:nth-child(1){grid-area:1/1}.sparse-dots i:nth-child(2){grid-area:1/6}.sparse-dots i:nth-child(3){grid-area:2/3}.sparse-dots i:nth-child(4){grid-area:2/8}.sparse-dots i:nth-child(5){grid-area:3/2}.sparse-dots i:nth-child(6){grid-area:3/5}.sparse-dots i:nth-child(7){grid-area:4/1}.sparse-dots i:nth-child(8){grid-area:4/4}.sparse-dots i:nth-child(9){grid-area:4/7}.sparse-blocks i{min-width:0;min-height:0;border-radius:4px;background:rgba(var(--blue-rgb),.48);border:1px solid rgba(var(--blue-bright-rgb),.35)}.sparse-blocks i:nth-child(1){grid-area:1/1/3/3}.sparse-blocks i:nth-child(2){grid-area:1/6/3/9}.sparse-blocks i:nth-child(3){grid-area:2/3/4/6}.sparse-blocks i:nth-child(4){grid-area:3/6/5/9}@media (max-width:700px){.sparse-pattern-tabs{grid-template-columns:repeat(2,minmax(0,1fr))}.reach-mode-tabs,.reach-layer-tabs{display:grid;grid-template-columns:repeat(3,minmax(0,1fr))}.reach-layer-tabs{grid-template-columns:repeat(4,minmax(0,1fr))}.sparse-bridges,.sparse-block-demo{grid-template-columns:1fr}.sparse-block-demo>b{transform:rotate(90deg);justify-self:center}}@media (max-width:560px){.sparse-pattern-matrix{gap:1px;padding:var(--space-4)}.reach-scene{padding:var(--space-12) var(--space-8)}.reach-line{grid-template-columns:1fr;gap:var(--space-4)}.reach-line>span{text-align:left}.reach-cells{gap:2px}.reach-token{font-size:var(--type-data-secondary);border-radius:3px}}.dynamic-query-tabs{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:7px}.dynamic-mode-tabs{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:7px}.dynamic-query-tabs button,.dynamic-mode-tabs button{cursor:pointer;min-width:0;padding:var(--space-8) var(--space-8);border:1px solid var(--line);border-radius:var(--r-sm);background:var(--bg-1);color:var(--ink-soft);font-family:var(--font-sans)}.dynamic-query-tabs button{font-size:var(--type-data-secondary)}.dynamic-mode-tabs button{font-size:var(--type-data-primary);font-weight:600}.dynamic-query-tabs button.is-selected,.dynamic-mode-tabs button.is-selected{color:var(--ink);border-color:var(--pink);background:#e58ac917;box-shadow:0 0 0 1px #e58ac947}.dynamic-narrative{margin-bottom:var(--space-16)}.dynamic-narrative b{color:var(--pink)}.dynamic-narrative.fixed{border-color:rgba(var(--yellow-rgb),.42);background:rgba(var(--yellow-rgb),.045)}.dynamic-block-grid{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:var(--space-8)}.dynamic-block{position:relative;min-width:0;min-height:78px;display:flex;flex-direction:column;justify-content:space-between;gap:var(--space-12);padding:var(--space-12);overflow:hidden;border:1px solid var(--line);border-radius:var(--r-sm);background:var(--bg-1)}.dynamic-block strong{min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;color:var(--ink-soft);font-family:var(--font-sans);font-size:var(--type-data-secondary)}.dynamic-block__score{height:6px}.dynamic-block__score-fill{background:var(--ink-faint);opacity:.52}.dynamic-block.selected{border-color:var(--blue);background:rgba(var(--blue-rgb),.09);box-shadow:inset 0 0 0 1px rgba(var(--blue-rgb),.25)}.dynamic-block.selected strong{color:var(--ink)}.dynamic-block.selected .dynamic-block__score-fill{background:var(--blue-bright);opacity:.9}.dynamic-block.relevant:after{content:"";position:absolute;top:8px;right:8px;width:7px;height:7px;border-radius:50%;background:var(--yellow);box-shadow:0 0 8px rgba(var(--yellow-rgb),.45)}.dynamic-block.missed{border-color:#e58ac999;background:#e58ac912}.dynamic-block.missed .dynamic-block__score-fill{background:var(--pink);opacity:.75}.dynamic-selection{display:grid;grid-template-columns:auto 1fr;gap:var(--space-8);align-items:baseline;margin-top:var(--space-12);padding:var(--space-8) var(--space-12);border-top:1px solid var(--line);font-family:var(--font-sans)}.dynamic-selection span{color:var(--ink-faint);font-size:var(--type-data-secondary);text-transform:uppercase;letter-spacing:.06em}.dynamic-selection strong{min-width:0;color:var(--ink);font-size:var(--type-data-secondary)}.dynamic-legend{justify-content:center;margin-top:var(--space-8);font-size:var(--type-data-secondary)}.dynamic-legend .selected{border-color:var(--blue);background:rgba(var(--blue-rgb),.38)}.dynamic-legend .relevant{border-radius:50%;border-color:var(--yellow);background:var(--yellow)}.dynamic-legend .missed{border-color:var(--pink);background:#e58ac933}.dynamic-pipeline{display:grid;grid-template-columns:1fr auto 1fr auto 1fr;gap:var(--space-8);align-items:center;margin:var(--space-24) 0}.dynamic-pipeline>div{min-width:0;display:grid;grid-template-columns:28px 1fr;gap:2px var(--space-8);padding:var(--space-12);border-top:2px solid var(--teal);background:rgba(var(--teal-rgb),.035)}.dynamic-pipeline span{grid-row:1/3;width:26px;height:26px;display:flex;align-items:center;justify-content:center;border-radius:50%;color:var(--teal);background:rgba(var(--teal-rgb),.12);font-family:var(--font-sans);font-size:var(--type-data-secondary)}.dynamic-pipeline strong{color:var(--ink);font-family:var(--font-sans);font-size:var(--type-data-primary)}.dynamic-pipeline em{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary);font-style:normal}.dynamic-pipeline>i{color:var(--teal);font-style:normal}.dynamic-branches{display:grid;grid-template-columns:1fr auto 1fr auto 1fr;gap:var(--space-8);align-items:stretch;margin:var(--space-24) 0}.dynamic-branches>div{min-width:0;display:flex;flex-direction:column;gap:var(--space-4);padding:var(--space-16);border-top:2px solid var(--yellow);background:rgba(var(--yellow-rgb),.035)}.dynamic-branches b{color:var(--yellow);font-family:var(--font-sans);font-size:var(--type-data-secondary);text-transform:uppercase;letter-spacing:.06em}.dynamic-branches strong{color:var(--ink);font-family:var(--font-sans);font-size:var(--type-data-primary)}.dynamic-branches span{color:var(--ink-soft);font-family:var(--font-sans);font-size:var(--type-data-secondary);line-height:1.45}.dynamic-branches>i{align-self:center;color:var(--yellow);font-style:normal}.dynamic-knobs{display:grid;gap:7px;margin:var(--space-24) 0}.dynamic-knobs>div{display:grid;grid-template-columns:140px 1fr 1fr;gap:var(--space-16);align-items:center;padding:var(--space-12) var(--space-12);border-bottom:1px solid var(--line);font-family:var(--font-sans)}.dynamic-knobs strong{color:var(--ink);font-size:var(--type-data-primary)}.dynamic-knobs span{color:var(--green);font-size:var(--type-data-secondary)}.dynamic-knobs em{color:var(--pink);font-size:var(--type-data-secondary);font-style:normal}@media (max-width:700px){.dynamic-query-tabs{grid-template-columns:1fr}.dynamic-block-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.dynamic-pipeline,.dynamic-branches{grid-template-columns:1fr}.dynamic-pipeline>i,.dynamic-branches>i{transform:rotate(90deg);justify-self:center}.dynamic-knobs>div{grid-template-columns:1fr;gap:3px}}@media (max-width:420px){.dynamic-mode-tabs{grid-template-columns:1fr}.dynamic-selection{grid-template-columns:1fr;gap:3px}}:is(.head-strip,.concat,.acc,.flash-check,.rescale-panel,.memory-lane,.tile-verdict,.evo-details,.causal-verdict,.kv-cache-board,.kv-step-summary,.kv-tradeoff>div,.gqa-board,.gqa-cache-meter,.quad-exact-compare>div,.escape-matrix,.linear-diagram,.reach-scene,.sparse-bridges>div,.dynamic-selection,.dynamic-pipeline>div,.dynamic-branches>div){border:0;box-shadow:none;background:var(--surface-group)}:is(.tok,.pscore,.fkey,.lane-node,.kv-sequence span,.kv-block,.gqa-q,.gqa-kv,.quad-cell,.escape-cell,.sparse-cell,.reach-token,.dynamic-block){border-color:transparent;box-shadow:none}:is(.tok,.pscore,.fkey,.lane-node,.kv-sequence span,.kv-block,.gqa-q,.gqa-kv,.dynamic-block){background:var(--surface-group-strong)}:is(.tok.sel,.tok.is-selected,.fkey.cur,.causal-cell.answer,.kv-block.fresh,.gqa-toggle button.is-selected,.quad-controls button.is-selected,.escape-tabs button.is-selected,.sparse-pattern-tabs button.is-selected,.reach-controls button.is-selected,.dynamic-block.selected,.dynamic-block.missed,.evo-flow-step.sel,.evo-flow-step.is-selected,.rescale-panel.active){border-color:var(--surface-active-line);background:var(--surface-active);box-shadow:inset 0 0 0 1px var(--surface-active-line)}.scale-matrix{border:1px solid var(--surface-active-line);box-shadow:none}.memory-thesis{border:0;background:color-mix(in srgb,var(--math-conclusion) 10%,var(--surface-group))}.chapter-abstract{max-width:var(--measure);margin-top:var(--space-28)}.chapter-abstract p{margin:0;color:var(--ink-soft);font:400 var(--type-lead)/var(--leading-lead) var(--font-serif)}.chapter-abstract p:first-child{color:var(--ink)}.chapter-abstract p+p{margin-top:.8em}@media (max-width:560px){.chapter-abstract{margin-top:var(--space-24)}}.gf-product-degree{justify-content:flex-end;gap:var(--space-8)}.gf-product-degree>span{font-size:var(--type-data-secondary)}.gf-product-formulas{grid-column:1/-1;display:grid;grid-template-columns:1fr 1fr;gap:var(--space-12);padding:0 0 var(--space-8);border-bottom:1px solid var(--line-soft)}.gf-product-formulas>div{display:flex;align-items:center;justify-content:center;flex-wrap:wrap;gap:7px;padding:var(--space-4) var(--space-4)}.gf-product-name{color:var(--teal);font-weight:600;margin-right:var(--space-4)}.gf-product-term{display:inline-flex;align-items:baseline;gap:7px}.gf-product-term>em{color:var(--ink-faint);font-style:normal}.gf-product-formulas i{padding:2px var(--space-4) 3px;border-radius:4px;color:var(--ink-soft);font-style:normal;transform:translateY(0);transition:color var(--motion-state) var(--ease-move),opacity var(--motion-state) var(--ease-move),background-color var(--motion-state) var(--ease-move),box-shadow var(--motion-state) var(--ease-move),transform var(--motion-state) var(--ease-emphasis)}.gf-product-formulas i.inactive{color:var(--ink-faint);opacity:.42}.gf-product-formulas i.active{color:var(--pair-color,var(--teal));background:color-mix(in srgb,var(--pair-color,var(--teal)) 12%,transparent);box-shadow:inset 0 -2px 0 var(--pair-color,var(--teal));transform:translateY(-2px)}.gf-size-picker{gap:var(--space-4)}.gf-size-picker .tl-btn{min-width:36px;min-height:34px;padding:3px 6px;border-radius:6px;background:transparent;box-shadow:none}.gf-size-picker .is-selected{color:var(--ink);border-color:var(--teal);background:color-mix(in srgb,var(--teal) 8%,transparent)}.gf-stage-body--product{display:grid;grid-template-columns:minmax(0,1fr) minmax(290px,.72fr);align-items:stretch;gap:var(--space-8) var(--space-16);padding:var(--space-12) var(--space-16) var(--space-12)}.gf-pairs{display:grid;align-content:center;gap:6px;min-width:0;margin:0;border:0}.gf-pair{display:grid;grid-template-columns:minmax(70px,1fr) 22px minmax(70px,1fr) 22px minmax(70px,1fr);align-items:center;gap:6px;min-height:36px;border:0;border-inline-start:3px solid var(--pair-color,var(--teal));border-radius:4px;background:var(--surface-group);text-align:center;opacity:1;transform:translateY(0) scale(1);transition:opacity var(--motion-state) var(--ease-enter),transform var(--motion-transform) var(--ease-enter);transition-delay:calc(var(--pair-index,0) * var(--motion-sequence-gap))}.gf-pair[data-visible=false]{opacity:0;transform:translateY(-8px) scale(.985);pointer-events:none;transition-delay:0s}.gf-pair>div{display:flex;align-items:baseline;justify-content:center;gap:var(--space-4);padding:var(--space-4);background:transparent;border:0;border-radius:0}.gf-pair>div,.gf-pair .result{color:var(--pair-color,var(--teal))}.gf-pair em{color:var(--ink-faint);font-style:normal}.gf-pair span{color:var(--ink-soft)}.gf-sum{display:flex;align-items:flex-start;justify-content:center;flex-direction:column;flex-wrap:wrap;gap:6px;min-width:0;margin:0;padding:var(--space-4) 0 var(--space-4) var(--space-16);border-top:0;border-left:1px solid var(--line-soft)}.gf-sum>span{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary);letter-spacing:.07em;text-transform:uppercase}.gf-sum strong{color:var(--ink)}.gf-sum-equation{display:flex;align-items:baseline;flex-wrap:wrap;gap:0 var(--space-4);font-weight:400}.gf-sum-term{color:var(--pair-color,var(--teal));font-weight:650;opacity:1;transform:translateY(0);transition:opacity var(--motion-state) var(--ease-enter),transform var(--motion-state) var(--ease-enter)}.gf-sum-term em{margin-inline-end:var(--space-4);color:var(--ink-faint);font-style:normal;font-weight:400}.gf-sum-total{margin-inline-start:3px;color:var(--teal);font-weight:650}.gf-sum-total{opacity:1;transform:scale(1);transform-origin:left center;transition:opacity var(--motion-state) var(--ease-enter),transform var(--motion-state) var(--ease-emphasis)}.gf-product-machine:not(.gf-product-machine--total) .gf-sum-term,.gf-product-machine:not(.gf-product-machine--total) .gf-sum-total{opacity:.16;transform:translateY(5px)}.gf-product-machine:not(.gf-product-machine--total) .gf-sum-total{transform:scale(.92)}@media (max-width:620px){.gf-product-formulas{grid-template-columns:1fr;gap:var(--space-4)}.gf-pair{grid-template-columns:minmax(58px,1fr) 16px minmax(58px,1fr) 16px minmax(58px,1fr);gap:3px}}@media (max-width:900px){.gf-stage-body--product{grid-template-columns:1fr}.gf-sum{align-items:center;padding:var(--space-8) 0 0;border-top:1px solid var(--line-soft);border-left:0;text-align:center}}@media (max-width:560px){.gf-product-degree{width:100%;justify-content:flex-start}.gf-product-degree>span{display:none}.gf-size-picker{flex-wrap:nowrap}.gf-size-picker .tl-btn{min-width:34px;padding-inline:var(--space-4)}}.conv-slide-row>span{font-family:var(--font-sans);color:var(--ink-faint)}.conv-definition{display:flex;align-items:baseline;justify-content:center;flex-wrap:wrap;gap:6px var(--space-16);margin-bottom:var(--space-16);padding-bottom:var(--space-12);border-bottom:1px solid var(--line-soft);color:var(--ink)}.conv-definition>span{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary)}.conv-shift-control{--tl-range-fill:var(--teal);grid-template-columns:18px 24px minmax(92px,150px)}.conv-shift-control .tl-slider-row__label{color:var(--ink-soft);text-align:center}.conv-shift-control .tl-slider-row__value{color:var(--teal)}.gf-stage-body--convolution{padding:var(--space-8) var(--space-16) var(--space-12)}.gf-convolution-stage .conv-definition{gap:var(--space-4) var(--space-16);margin-bottom:var(--space-8);padding-bottom:var(--space-8)}.gf-convolution-stage .conv-slide--pairs{gap:var(--space-8)}.gf-convolution-stage .conv-slide-row{grid-template-columns:72px minmax(0,1fr);gap:6px}.gf-convolution-stage .conv-slide-track{gap:var(--space-12)}.gf-convolution-stage .slide-cell{min-height:38px}.gf-convolution-stage .conv-slide-row.products{margin-top:-5px}.gf-convolution-stage .conv-equation{margin-top:var(--space-8);padding-top:var(--space-8)}.conv-slide-axis{display:flex;align-items:center;justify-content:flex-end;min-width:0;color:var(--ink-faint);font-size:var(--type-data-secondary);white-space:nowrap}.conv-slide{display:grid;gap:7px;min-width:0}.conv-slide--pairs{gap:var(--space-20)}.conv-slide-row{min-width:0;display:grid;grid-template-columns:112px minmax(0,1fr);gap:var(--space-8);align-items:center}.conv-slide-row.is-shifting{animation:gf-convolution-shift var(--motion-transform) var(--ease-enter) both}@keyframes gf-convolution-shift{0%{opacity:.28;transform:translate(var(--conv-shift-from,0))}to{opacity:1;transform:translate(0)}}.conv-slide-row>span{text-align:right;font-size:var(--type-data-secondary);white-space:nowrap}.conv-slide-track{min-width:0;display:grid;grid-template-columns:repeat(10,minmax(0,1fr));gap:3px}.slide-cell{position:relative;min-width:0;min-height:46px;display:flex;align-items:center;justify-content:center;padding:3px 1px;border:1px solid transparent;border-radius:4px;font-size:var(--type-data-secondary);color:var(--ink-faint);transition:background var(--motion-state) var(--ease-move),border-color var(--motion-state) var(--ease-move),transform var(--motion-state) var(--ease-move)}.slide-ellipsis{min-width:0;display:flex;align-items:center;justify-content:center;color:var(--ink-faint);font-size:1.2rem}.slide-ellipsis.tail{white-space:nowrap;font-size:var(--type-data-secondary)}.conv-slide-row.moving .slide-cell.exists{border-color:var(--line);background:transparent;color:var(--ink-soft)}.conv-slide-row.moving .slide-cell.zero{opacity:.32}.conv-slide-row.fixed .slide-cell.exists{border-color:var(--line);background:transparent;color:var(--ink-soft)}.conv-slide-row .slide-cell.matched{border-color:var(--teal);background:color-mix(in srgb,var(--teal) 16%,var(--bg-stage));color:var(--ink);box-shadow:inset 0 -3px 0 var(--teal),0 0 0 1px color-mix(in srgb,var(--teal) 34%,transparent)}.gf-convolution-stage .conv-slide-row .slide-cell.matched+.slide-cell.matched:before{position:absolute;top:50%;right:100%;width:11px;color:color-mix(in srgb,var(--teal) 78%,var(--ink-soft));font:700 var(--type-data-secondary)/1 var(--font-sans);text-align:center;transform:translateY(-50%);pointer-events:none}.gf-convolution-stage .conv-slide-row.moving .slide-cell.matched+.slide-cell.matched:before{content:"\2190"}.gf-convolution-stage .conv-slide-row.fixed .slide-cell.matched+.slide-cell.matched:before{content:"\2192"}.conv-equation{display:flex;align-items:baseline;justify-content:center;flex-wrap:wrap;gap:7px var(--space-16);margin-top:var(--space-16);padding-top:var(--space-12);border-top:1px solid var(--line);text-align:center;color:var(--teal)}.conv-equation>span{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary);letter-spacing:.08em;text-transform:uppercase}.conv-slide-row.products{margin-top:-12px}.conv-product{min-width:0;min-height:24px;display:flex;align-items:center;justify-content:center;color:var(--ink-faint);font-size:var(--type-data-secondary)}.conv-product.active{color:var(--teal);font-weight:650;text-shadow:0 0 14px color-mix(in srgb,var(--teal) 32%,transparent)}@media (max-width:620px){.conv-definition{justify-content:flex-start}.conv-slide-row{grid-template-columns:1fr;gap:var(--space-4)}.conv-slide-row>span{text-align:left}.gf-convolution-stage .conv-slide-row{grid-template-columns:1fr;gap:2px}.gf-convolution-stage .conv-slide-axis{justify-content:flex-start}}@media (max-width:560px){.conv-shift-control{width:100%;grid-template-columns:18px 24px minmax(80px,1fr)}}.pole-basis-equation{min-width:0;overflow-x:auto;padding:var(--space-24) var(--space-12);border-block:1px solid var(--line);color:var(--ink);text-align:center;scrollbar-width:thin}.pole-basis-degree{display:flex;align-items:center;justify-content:center;gap:var(--space-8);padding-top:var(--space-12)}.pole-basis-degree>span{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary)}@media (max-width:900px){.pole-basis-equation{padding-inline:0;text-align:left}.pole-basis-degree{justify-content:flex-start}}.cyclic-character-choice{position:relative;min-width:42px;min-height:44px;display:inline-flex;align-items:center;justify-content:center;padding:6px 7px var(--space-8);border:0;border-radius:7px;background:transparent;color:var(--ink-faint);font:inherit;cursor:pointer;transition:color var(--motion-state) var(--ease-move),background-color var(--motion-state) var(--ease-move),box-shadow var(--motion-state) var(--ease-move),transform var(--motion-state) var(--ease-emphasis)}.cyclic-character-choice:hover{color:var(--ink)}.cyclic-character-choice:focus-visible{outline:2px solid var(--focus);outline-offset:2px}.cyclic-character-choice.is-selected{color:var(--teal);background:color-mix(in srgb,var(--teal) 11%,transparent);box-shadow:inset 0 -2px color-mix(in srgb,var(--teal) 78%,transparent);transform:translateY(-1px)}.cyclic-character-choice.is-selected:after{content:none}.cyclic-character-canvas{min-width:0}.cyclic-character-diagram{display:block;width:100%;height:auto;min-width:0}.cyclic-character-heading{fill:var(--ink-faint);font-family:var(--font-sans);font-size:14px;font-weight:600;letter-spacing:.08em;text-transform:uppercase}.cyclic-character-heading--math{font-family:var(--font-math);font-style:italic;letter-spacing:0;text-transform:none}.cyclic-character-ring{fill:none;stroke:var(--line-strong);stroke-width:1.5}.cyclic-character-link{--edge-opacity:.25;fill:none;stroke:var(--line-strong);stroke-width:1;opacity:var(--edge-opacity);vector-effect:non-scaling-stroke}.cyclic-character-node circle{fill:var(--bg-stage);stroke:var(--line-strong);stroke-width:1.5}.cyclic-character-node text{fill:var(--ink-soft);font-family:var(--font-serif);font-size:16px}.fiber-tone-1{--fiber-color:var(--teal)}.fiber-tone-2{--fiber-color:var(--yellow)}.fiber-tone-3{--fiber-color:var(--purple)}.fiber-tone-4{--fiber-color:var(--blue-bright)}.fiber-tone-5{--fiber-color:var(--green)}.fiber-tone-6{--fiber-color:var(--red)}.cyclic-character-link[class*=fiber-tone-]{--edge-opacity:.46;stroke:var(--fiber-color);stroke-width:1.8;opacity:var(--edge-opacity)}.cyclic-character-node[class*=fiber-tone-] circle{fill:color-mix(in srgb,var(--fiber-color) 7%,var(--bg-stage));stroke:var(--fiber-color);stroke-opacity:.68}.cyclic-character-link--generator{--edge-opacity:1;stroke-width:3.2;opacity:var(--edge-opacity)}.cyclic-character-node.is-generator circle,.cyclic-character-root-node.is-generator-image circle{stroke-width:3.5;stroke-opacity:1;filter:drop-shadow(0 0 4px var(--fiber-color,var(--teal)))}.cyclic-character-root-node.is-image:not(.is-generator-image) circle{stroke:var(--fiber-color,var(--ink-soft));stroke-opacity:.9}.cyclic-character-rule{padding-top:var(--space-8);color:var(--teal);text-align:center}.cyclic-character-link--entering{stroke-dasharray:1;stroke-dashoffset:1;animation:cyclic-character-link-enter var(--motion-transform) var(--ease-enter) both;animation-delay:calc(var(--motion-instant) + var(--edge-index,0) * var(--motion-sequence-gap))}.cyclic-character-link--exiting{animation:cyclic-character-link-exit var(--motion-control) var(--ease-move) both;pointer-events:none}.cyclic-character-node.is-generator.is-map-updating circle{transform-box:fill-box;transform-origin:center;animation:cyclic-character-source-pulse var(--motion-state) var(--ease-emphasis) var(--motion-sequence-gap) both}.cyclic-character-root-node.is-image.is-arriving circle{transform-box:fill-box;transform-origin:center;animation:cyclic-character-target-hit var(--motion-state) var(--ease-emphasis) both;animation-delay:calc(var(--motion-transform) + var(--arrival-index,0) * var(--motion-sequence-gap))}.cyclic-character-rule__value{display:inline-block;animation:cyclic-character-rule-enter var(--motion-state) var(--ease-enter) calc(var(--motion-transform) + var(--motion-state)) both}@keyframes cyclic-character-link-enter{0%{stroke-dashoffset:1;opacity:0}to{stroke-dashoffset:0;opacity:var(--edge-opacity)}}@keyframes cyclic-character-link-exit{0%{opacity:var(--edge-opacity)}to{opacity:0}}@keyframes cyclic-character-source-pulse{0%,to{transform:scale(1)}48%{transform:scale(1.14)}}@keyframes cyclic-character-target-hit{0%{opacity:.35;transform:scale(.82)}62%{opacity:1;transform:scale(1.13)}to{opacity:1;transform:scale(1)}}@keyframes cyclic-character-rule-enter{0%{opacity:0;transform:translateY(5px)}to{opacity:1;transform:translateY(0)}}.character-pair-figure{width:min(100%,560px);margin:var(--space-16) auto var(--space-8);padding:2px 0 6px}.character-pair-title{margin:0 0 var(--space-4);color:var(--ink);font-family:var(--font-sans);font-size:var(--type-ui-body);font-weight:600;text-align:center}.character-pair-diagram{max-width:520px;margin-inline:auto}.character-pair-line{stroke-width:1.8;stroke-linecap:round;opacity:.72}.character-pair-line{stroke-dasharray:200;stroke-dashoffset:0}.character-pair-line--1{stroke:var(--category-1)}.character-pair-line--2{stroke:var(--teal)}.character-pair-line--3{stroke:var(--category-3)}.character-pair-center{fill:var(--ink)}.character-pair-node circle{stroke-width:2.5}.character-pair-node{opacity:1;transform-box:fill-box;transform-origin:center}.character-pair-node--1 circle{fill:color-mix(in srgb,var(--category-1) 12%,var(--bg-stage));stroke:var(--category-1)}.character-pair-node--2 circle{fill:color-mix(in srgb,var(--teal) 11%,var(--bg-stage));stroke:var(--teal)}.character-pair-node--3 circle{fill:color-mix(in srgb,var(--category-3) 12%,var(--bg-stage));stroke:var(--category-3)}.character-pair-equation{display:flex;align-items:center;justify-content:center;flex-wrap:wrap;gap:var(--space-8) var(--space-24);padding-top:2px}.character-pair-term{display:inline-flex;align-items:center;padding:var(--space-4) 6px;color:var(--pair-color);opacity:1}@media (prefers-reduced-motion:reduce){.conv-slide-row.is-shifting{animation:none}.cyclic-character-link--entering,.cyclic-character-link--exiting,.cyclic-character-node.is-generator.is-map-updating circle,.cyclic-character-root-node.is-image.is-arriving circle,.cyclic-character-rule__value{animation:none!important;transform:none}.cyclic-character-link--entering{stroke-dashoffset:0;opacity:var(--edge-opacity)}.character-table-status-formula{opacity:1;transform:none;animation:none!important}}.character-pair-term--1{--pair-color:var(--category-1)}.character-pair-term--2{--pair-color:var(--teal)}.character-pair-term--3{--pair-color:var(--category-3)}.character-table-hint{margin:0;color:var(--ink-faint);font:650 var(--type-data-secondary)/1 var(--font-sans);letter-spacing:.09em;text-transform:uppercase}.gf-stage-body--character-table{padding:var(--space-8) var(--space-16) var(--space-12)}.character-table-shell{min-width:0;width:min(100%,600px);margin-inline:auto;padding:0}.character-table{width:100%;border-collapse:separate;border-spacing:3px;table-layout:fixed;color:var(--ink-soft)}.character-table th,.character-table td{height:40px;padding:2px 6px;border-radius:5px;text-align:center;transition:background-color var(--motion-instant) var(--ease-move),color var(--motion-instant) var(--ease-move)}.character-table th:first-child{width:16%}.character-table tbody td{background:color-mix(in srgb,var(--bg-2) 34%,transparent);font-size:.94rem}.character-table thead th,.character-table tbody th{color:var(--ink-faint)}.character-table-corner{color:color-mix(in srgb,var(--ink-faint) 72%,transparent);font-size:.74em}.character-table-axis{min-width:40px;min-height:40px;display:inline-flex;align-items:center;justify-content:center;padding:3px 7px;border:0;border-radius:5px;background:transparent;color:inherit;font:inherit;cursor:pointer;transition:color var(--motion-instant) var(--ease-move),background-color var(--motion-instant) var(--ease-move)}.character-table-axis:hover{color:var(--teal);background:color-mix(in srgb,var(--teal) 7%,transparent)}.character-table-axis:focus-visible{outline:2px solid var(--focus);outline-offset:2px}.character-table-axis[aria-pressed=true]{color:var(--teal)}.character-table .is-active,.character-table tr.is-active>*{background:color-mix(in srgb,var(--teal) 9%,transparent);color:var(--ink)}.character-table tr.is-active>th,.character-table thead th.is-active{color:var(--teal)}.character-table tr.is-active>th .character-table-axis,.character-table thead th.is-active .character-table-axis{background:transparent}.character-table-status{width:min(100%,600px);min-height:40px;margin:6px auto 0;display:flex;align-items:center;justify-content:center;flex-wrap:wrap;gap:var(--space-4) var(--space-16);padding:7px var(--space-8);border-radius:6px;background:color-mix(in srgb,var(--bg-2) 24%,transparent);text-align:center}.character-table-status-label{display:flex;align-items:baseline;justify-content:center;flex-wrap:wrap;gap:var(--space-4);color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary)}.character-table-status-formula{display:inline-flex;align-items:baseline;justify-content:center;flex-wrap:wrap;gap:0 var(--space-4);color:var(--teal);font-family:var(--font-math);font-size:var(--type-ui-strong);animation:character-table-result-swap var(--motion-control) var(--ease-enter) both}.character-table-status-label strong{color:var(--ink-soft);font-weight:500}.character-table-result-expression,.character-table-result-part,.character-table-result-total{display:inline-flex;align-items:baseline}.character-table-result-expression{gap:.34em;color:var(--ink-soft)}.character-table-result-part{gap:.34em}.character-table-result-operator{min-width:.72em;color:var(--ink-faint);font-style:normal;line-height:1;text-align:center;transform:translateY(-.045em)}.character-table-result-operand{font-style:normal;line-height:1}.character-table-result-operand.is-variable{font-style:italic}.character-table-result-total{gap:.34em;color:var(--teal);font-weight:650}@keyframes character-table-result-swap{0%{opacity:.35;transform:translateY(2px)}to{opacity:1;transform:translateY(0)}}@media (max-width:700px){.cyclic-character-canvas{overflow-x:auto;overscroll-behavior-inline:contain;padding-bottom:6px;scrollbar-width:thin}.cyclic-character-diagram{min-width:680px}.character-pair-diagram{min-width:440px}.cyclic-character-heading{font-size:var(--type-data-secondary)}}@media (max-width:560px){.character-table th,.character-table td{height:40px;padding:2px}.character-table-axis{min-width:40px;min-height:40px;padding-inline:var(--space-4)}.character-table-status{align-content:center;gap:var(--space-4) var(--space-12)}}.dirichlet-summand{width:min(100%,880px);margin:0 auto}.dirichlet-summand-work{padding:var(--space-8) 0}.dirichlet-summand-step{display:grid;grid-template-columns:112px minmax(0,1fr);gap:var(--space-16);align-items:center;min-height:64px}.dirichlet-summand-step+.dirichlet-summand-step{border-top:1px solid var(--line-soft)}.dirichlet-summand-step>span{color:var(--ink-faint);font:600 var(--type-data-secondary)/1.35 var(--font-sans);letter-spacing:.08em;text-transform:uppercase}.dirichlet-summand-equation{display:flex;align-items:center;justify-content:center;flex-wrap:wrap;gap:7px var(--space-12);color:var(--ink-soft);font:400 1.22rem/1.25 var(--font-serif)}.dirichlet-summand-equation i,.dirichlet-summand-total i{color:var(--ink-faint);font-style:normal;font-weight:400}.dirichlet-summand-equation strong{min-width:24px;text-align:center;font-weight:600}.dirichlet-summand-equation .is-fixed{color:var(--ink)}.dirichlet-summand-equation .is-divisor{color:var(--blue)}.dirichlet-summand-equation .is-complement{color:var(--yellow)}.dirichlet-summand-equation .is-result{color:var(--teal)}.dirichlet-summand-total{display:flex;align-items:center;justify-content:center;flex-wrap:wrap;gap:6px var(--space-8);padding-top:var(--space-16);border-top:1px solid var(--line-soft);color:var(--ink-soft);font-family:var(--font-serif)}.dirichlet-summand-terms,.dirichlet-summand-terms span{display:flex;align-items:center;gap:var(--space-4)}.dirichlet-summand-terms i{color:var(--ink-faint);font-style:normal}.dirichlet-summand-terms b{min-width:26px;padding:3px var(--space-4);border-radius:var(--r-sm);color:var(--ink-soft);text-align:center;font-weight:500;transition:color var(--motion-control),background var(--motion-control)}.dirichlet-summand-terms b.is-active{color:var(--teal);background:color-mix(in srgb,var(--teal) 11%,transparent)}.dirichlet-summand-total>strong{color:var(--teal);font-weight:600}.dirichlet-plane{position:relative;width:min(100%,980px);height:220px;margin:var(--space-16) auto 0;overflow:visible}.dirichlet-plane__zone{position:absolute;top:34px;bottom:42px;display:flex;align-items:center;justify-content:center;overflow:hidden;border-block:1px solid var(--line)}.dirichlet-plane__zone>span{padding:0 var(--space-8);color:var(--ink-soft);font:600 var(--type-data-secondary)/1.3 var(--font-sans);letter-spacing:.04em;text-align:center}.dirichlet-plane__zone.is-divergent{left:0;width:var(--sigma-c);background:color-mix(in srgb,var(--red) 7%,transparent)}.dirichlet-plane__zone.is-conditional{left:var(--sigma-c);width:calc(var(--sigma-a) - var(--sigma-c));background:color-mix(in srgb,var(--yellow) 8%,transparent)}.dirichlet-plane__zone.is-absolute{left:var(--sigma-a);right:0;background:color-mix(in srgb,var(--teal) 8%,transparent)}.dirichlet-plane__boundary{position:absolute;z-index:2;top:22px;bottom:36px;border-left:2px solid var(--yellow)}.dirichlet-plane__boundary+.dirichlet-plane__boundary{border-left-color:var(--teal)}.dirichlet-plane__boundary.is-combined{border-left-color:var(--teal)}.dirichlet-plane__boundary>span{position:absolute;top:-22px;left:50%;min-width:max-content;padding:0 6px;transform:translate(-50%);background:var(--bg-stage);color:var(--ink);font-size:var(--type-data-secondary)}.dirichlet-plane__axis{position:absolute;right:0;bottom:25px;left:0;height:1px;background:var(--line-strong)}.dirichlet-plane__axis>span{position:absolute;top:8px;transform:translate(-50%);color:var(--ink-faint);font:500 var(--type-data-secondary)/1 var(--font-sans)}.dirichlet-plane__axis>span:before{content:"";position:absolute;bottom:15px;left:50%;width:1px;height:6px;background:var(--line-strong)}.dirichlet-plane__axis>b{position:absolute;right:0;top:8px;color:var(--ink-faint);font:500 var(--type-data-secondary)/1 var(--font-sans)}.dirichlet-plane__note{width:min(100%,880px);margin:0 auto;color:var(--ink-soft);font:400 var(--type-data-secondary)/1.55 var(--font-sans);text-align:center}.abel-necessity__conditions{width:min(100%,920px);margin:var(--space-12) auto 6px}.abel-necessity__condition.is-danger{color:var(--ink);background:color-mix(in srgb,var(--red) 7%,var(--bg-stage))}.abel-necessity__condition.is-danger small{color:var(--red)}.abel-necessity__plots{margin-top:6px}.abel-necessity__plot{display:block;width:100%;height:auto;margin:2px auto;overflow:visible}.abel-necessity__mechanism{display:flex;align-items:baseline;justify-content:center;flex-wrap:wrap;gap:var(--space-4) var(--space-8);width:min(100%,920px);margin:var(--space-8) auto 0;padding-block:var(--space-8);font-size:var(--type-ui-body)}.abel-necessity__arrow{color:var(--ink-faint);font-family:var(--font-sans)}.abel-necessity__narrative{width:min(100%,920px);margin:var(--space-12) auto 0}.abel-sector,.coefficient-extraction__plot{display:block;width:min(100%,760px);height:auto;margin:0 auto;overflow:hidden}.abel-sector__bound{display:flex;justify-content:center;align-items:baseline;flex-wrap:wrap;gap:var(--space-4) var(--space-8);padding-top:var(--space-8);border-top:1px solid var(--line-soft);color:var(--ink-soft);font:500 var(--type-data-secondary)/1.45 var(--font-sans)}.character-periods{display:grid;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);align-items:center;gap:var(--space-8) var(--space-16);width:min(100%,840px);margin:0 auto}.character-periods__group{min-width:0}.character-periods__group-head{display:flex;align-items:baseline;justify-content:space-between;gap:var(--space-8);padding:0 2px 6px;color:var(--ink-faint);font:600 var(--type-data-secondary)/1.3 var(--font-sans);letter-spacing:.07em;text-transform:uppercase}.character-periods__group-head .wmath{color:var(--ink-soft);letter-spacing:normal;text-transform:none}.character-periods__terms{width:100%;margin:0}.character-periods__term{min-height:48px;font:400 var(--type-ui-strong)/1 var(--font-math)}.character-periods__operator{display:grid;grid-template-columns:auto auto;align-items:baseline;justify-content:center;gap:0 var(--space-4);color:var(--ink-faint);font:500 var(--type-data-primary)/1.2 var(--font-sans);text-align:center}.character-periods__operator strong{color:var(--ink);font-size:var(--type-ui-emphasis);font-weight:500}.character-periods__operator span:last-child{grid-column:1/-1;padding-top:3px}.character-periods__empty{display:grid;min-height:50px;place-items:center;border-block:1px solid var(--line);color:var(--ink-faint);font:400 1rem/1 var(--font-math)}.character-periods__result{width:min(100%,840px);margin:var(--space-8) auto 0;padding:var(--space-8) 0 var(--space-8);font-size:var(--type-ui-body)}.character-periods__control{width:min(100%,680px);margin:var(--space-8) auto 0}@media (max-width:700px){.gf-product-formulas{grid-template-columns:1fr}.conv-slide-row{grid-template-columns:1fr;gap:3px}.conv-slide-row>span{text-align:left}.slide-cell{min-height:44px;font-size:var(--type-data-secondary)}.dirichlet-summand-step{grid-template-columns:1fr;gap:var(--space-4);padding:var(--space-8) 0}.dirichlet-summand-step>span{text-align:center}.dirichlet-summand-equation{font-size:var(--type-ui-emphasis)}.dirichlet-summand-total{font-size:var(--type-ui-body)}.dirichlet-plane{height:240px}.dirichlet-plane__zone{top:44px}.dirichlet-plane__zone>span{padding-inline:var(--space-4);font-size:var(--type-data-secondary)}.dirichlet-plane__boundary{top:32px}.dirichlet-plane__boundary>span{top:-30px;font-size:var(--type-data-secondary)}.character-periods{grid-template-columns:1fr;gap:var(--space-8)}.character-periods__operator{grid-template-columns:repeat(3,auto)}.character-periods__operator span:last-child{grid-column:auto;padding-top:0}}.euler-product__result{display:block;width:100%;padding:var(--space-16) var(--space-8) var(--space-4);overflow-x:auto;overflow-y:hidden;scrollbar-width:thin;white-space:nowrap}.zeta-staircase{display:block;width:min(100%,920px);height:auto;margin:var(--space-12) auto 0}.zeta-staircase__step{fill:color-mix(in srgb,var(--teal) 14%,transparent);stroke:color-mix(in srgb,var(--teal) 58%,transparent);stroke-width:1;vector-effect:non-scaling-stroke}.zeta-staircase__values{width:min(100%,920px);margin:0 auto;color:var(--ink-soft);text-align:center}.zeta-staircase__values strong{color:var(--teal);font-weight:500}.zeta-pole__regular{font:500 var(--type-data-secondary)/1.5 var(--font-sans)}.zeta-pole__regular .wmath{color:var(--teal)}.local-character__values{width:min(100%,720px);margin:var(--space-16) auto}.local-character__value{min-height:88px}.local-character__value>strong{font-size:var(--type-ui-emphasis)}.local-character__collapse{display:flex;align-items:center;justify-content:center;flex-wrap:wrap;gap:var(--space-8) var(--space-16);padding:var(--space-16) 0;color:var(--ink-soft)}.local-character__arrow{color:var(--teal);font:400 1.2rem/1 var(--font-sans)}.local-character__collapse strong{color:var(--teal);font-weight:500}.local-character__note{margin:0;padding-top:var(--space-8);border-top:1px solid var(--line-soft);color:var(--ink-faint);font:500 var(--type-data-secondary)/1.45 var(--font-sans);text-align:center}.dirichlet-weight__head,.dirichlet-weight__row{display:grid;grid-template-columns:40px 74px minmax(0,1fr);align-items:center;gap:var(--space-12)}.dirichlet-weight__head{width:min(100%,760px);margin:0 auto;padding:1px 0 6px;color:var(--ink-faint);font:600 var(--type-data-secondary)/1.25 var(--font-sans);letter-spacing:.04em;text-transform:uppercase}.dirichlet-weight__head span:nth-child(2){text-align:right}.dirichlet-weight__head span:last-child{text-align:center}.dirichlet-weight__rows{width:min(100%,760px);margin:0 auto;border-block:1px solid var(--line-soft)}.dirichlet-weight__row{min-height:34px;padding:var(--space-4) 0}.dirichlet-weight__row+.dirichlet-weight__row{border-top:1px solid var(--line-soft)}.dirichlet-weight__prime{color:var(--ink-soft);font-size:var(--type-data-primary);text-align:center}.dirichlet-weight__value{color:var(--ink-soft);font:600 var(--type-data-secondary)/1 var(--font-sans);font-variant-numeric:tabular-nums;text-align:right}.dirichlet-weight__probability{display:grid;grid-template-columns:minmax(0,1fr) 48px;align-items:center;gap:var(--space-8);min-width:0}.dirichlet-weight__share{color:var(--teal);font:600 var(--type-data-secondary)/1 var(--font-sans);font-variant-numeric:tabular-nums;text-align:right}.dirichlet-weight__sum{width:min(100%,760px);margin:7px auto 0;padding-top:7px}.dirichlet-weight__sum output{color:var(--teal);font-size:var(--type-data-secondary)}.dirichlet-weight__sum strong{color:var(--ink);font-weight:500}.dirichlet-weight__sum-arrow{color:var(--ink-faint)}.dirichlet-weight__control{grid-template-columns:auto 42px minmax(90px,150px)}.dirichlet-weight__control .tl-slider-row__value{color:var(--blue-bright)}.dirichlet-filter__terms{width:min(100%,760px);margin:var(--space-24) auto var(--space-16)}.dirichlet-filter__term{display:grid;grid-template-rows:auto 76px auto;place-items:center;min-width:0;padding:var(--space-12) var(--space-8)}.dirichlet-filter__term small{color:var(--ink-faint);font:600 var(--type-data-secondary)/1 var(--font-sans)}.dirichlet-filter__term strong{min-height:24px;color:var(--ink);font-weight:500}.dirichlet-filter__phasor{display:block;width:76px;height:76px}.dirichlet-filter__circle{fill:none;stroke:var(--line);stroke-width:1.25}.dirichlet-filter__cross{stroke:var(--line-soft);stroke-width:1}.dirichlet-filter__arrow{stroke:var(--teal);stroke-linecap:round;stroke-width:2.5}.dirichlet-filter__tip{fill:var(--yellow)}.dirichlet-filter__result{display:grid;grid-template-columns:auto 18px 38px;align-items:center;justify-content:center;gap:6px var(--space-8);min-height:64px;padding:var(--space-12) var(--space-16);border:0;background:var(--surface-group);color:var(--ink-soft);text-align:center}.dirichlet-filter__equals{color:var(--ink-faint)}.dirichlet-filter__result output{color:var(--teal);font:600 1.3rem/1 var(--font-sans);font-variant-numeric:tabular-nums}.dirichlet-filter__result small{grid-column:1/-1;color:var(--ink-faint);font:500 var(--type-data-secondary)/1.4 var(--font-sans)}.dirichlet-filter__result.is-match{border-color:color-mix(in srgb,var(--teal) 35%,var(--line));background:var(--surface-active);box-shadow:inset 0 0 0 1px var(--surface-active-line)}@media (max-width:560px){.dirichlet-weight__head,.dirichlet-weight__row{grid-template-columns:30px 60px minmax(0,1fr);gap:7px}.dirichlet-weight__head{font-size:var(--type-data-secondary);letter-spacing:.02em}.dirichlet-weight__probability{grid-template-columns:minmax(0,1fr) 44px;gap:6px}.dirichlet-weight__control{grid-template-columns:auto 38px minmax(70px,1fr);width:100%}}@media (max-width:420px){.gf-pair{grid-template-columns:minmax(58px,1fr) 18px minmax(58px,1fr) 20px minmax(58px,1fr);gap:3px}.gf-pair>div{padding:var(--space-8) 3px}.conv-slide-track{gap:2px}.slide-cell{min-height:40px;font-size:var(--type-data-secondary)}}.gf-stage-body--reading,.gf-stage-body--dense{padding:var(--space-16) var(--space-20) var(--space-16)}.gf-stage-body--spacious{padding:var(--space-16) var(--space-24) var(--space-20)}.gf-stage-body--operation{padding:var(--space-16) var(--space-20) var(--space-12)}.gf-stage-body--factor{padding:var(--space-16) var(--space-20)}.gf-stage-body--prime-weight{padding:var(--space-8) var(--space-16) var(--space-8)}.kt-chapter-abstract{max-width:var(--measure);margin-top:var(--space-28)}.kt-chapter-abstract p{margin:0;color:var(--ink);font:400 var(--type-lead)/var(--leading-lead) var(--font-serif)}.kt-section-test__body{display:grid;gap:var(--space-8)}.kt-section-test__cases{flex-wrap:wrap;justify-content:center}.kt-section-test__canvas{min-width:0;overflow:hidden}.kt-section-test__diagram{display:block;width:100%;max-width:760px;height:auto;margin:0 auto}.kt-section-test__curve{fill:none;stroke:var(--yellow);stroke-width:3;stroke-linecap:round;stroke-linejoin:round;vector-effect:non-scaling-stroke}.kt-section-test__endpoint{fill:var(--red);stroke:var(--red);stroke-width:2;vector-effect:non-scaling-stroke}.kt-section-test__endpoint.is-open{fill:var(--bg-stage)}.kt-section-test__discontinuity{stroke:var(--red);stroke-width:1.5;stroke-dasharray:4 4;vector-effect:non-scaling-stroke}.kt-section-test__base-mismatch{stroke:var(--red);stroke-width:2;stroke-linecap:round;vector-effect:non-scaling-stroke}.kt-section-test__discontinuity-label{fill:var(--red);font:500 var(--type-data-secondary)/1 var(--font-sans)}.kt-section-test__point-label,.kt-section-test__mismatch-label{fill:var(--ink-soft);font:400 15px/1 var(--font-math);font-style:italic}.kt-section-test__point-label.is-danger,.kt-section-test__mismatch-label{fill:var(--red)}.kt-section-test__conditions{width:min(100%,680px);margin:0 auto}.kt-section-test__condition{display:grid;grid-template-columns:auto auto;align-items:baseline;justify-content:center;gap:var(--space-8) var(--space-12);min-height:52px;padding:var(--space-8) var(--space-16)}.kt-section-test__condition>strong,.kt-section-test__condition>small{margin:0}.kt-section-test__condition.is-danger{color:var(--red);background:color-mix(in srgb,var(--red) 7%,var(--bg-stage))}.kt-section-test__condition.is-danger small{color:var(--red)}.kt-widget__body{display:grid;gap:var(--space-8)}.kt-widget__svg{display:block;width:100%;max-width:760px;height:auto;margin:0 auto;overflow:visible}.kt-widget__space{fill:color-mix(in srgb,var(--purple) 4%,transparent);stroke:color-mix(in srgb,var(--purple) 18%,var(--line-soft));stroke-width:1;vector-effect:non-scaling-stroke}.kt-widget__base{stroke:var(--line-strong);stroke-width:2;stroke-linecap:round;vector-effect:non-scaling-stroke}.kt-widget__fibre{stroke:var(--line-soft);stroke-width:1;vector-effect:non-scaling-stroke}.kt-widget__fibre.is-selected{stroke:var(--teal);stroke-width:2.5}.kt-widget__guide{stroke-width:1.5}.kt-widget__map-arrow{fill:none;stroke:var(--teal);stroke-width:1.5;stroke-linecap:round;vector-effect:non-scaling-stroke}.kt-widget__arrowhead{fill:var(--teal)}.kt-widget__arrowhead.is-accent{fill:var(--yellow)}.kt-widget__arrowhead.is-projection{fill:var(--purple)}.kt-widget__eyebrow,.kt-widget__space-label,.kt-widget__axis-label{fill:var(--ink-faint);font:500 15px/1 var(--font-sans)}.kt-widget__space-label{fill:var(--ink-soft);font-weight:600}.kt-widget__math-label,.kt-widget__map-label,.kt-widget__reference-label{fill:var(--ink-soft);font:400 16px/1 var(--font-math);font-style:italic}.kt-widget__axis-math-label{fill:var(--ink-faint);font:400 15px/1 var(--font-math);font-style:italic}.kt-widget__map-label{fill:var(--teal)}.kt-widget__reference-label{fill:var(--yellow)}.kt-bundle-model__sheet{fill:color-mix(in srgb,var(--ink-faint) 3%,var(--bg-stage));stroke:var(--line-strong);stroke-width:1;stroke-linejoin:round;vector-effect:non-scaling-stroke}.kt-bundle-model__space-label{fill:var(--ink-soft);font:400 19px/1 var(--font-math);font-style:italic}.kt-bundle-model__gesture-hint{fill:var(--ink-faint);font:500 var(--type-data-secondary)/1 var(--font-sans);letter-spacing:0}.kt-fiber-scanner__title{font-weight:570;letter-spacing:0}.kt-fiber-scanner .kt-widget__svg{touch-action:none;-webkit-user-select:none;user-select:none}.kt-bundle-model__fibre-slice{cursor:default}.kt-bundle-model__fibre-slice.is-draggable{cursor:ew-resize}.kt-bundle-model__fibre-hit{stroke:transparent;stroke-width:22;pointer-events:stroke;vector-effect:non-scaling-stroke}.kt-bundle-model__point-drag{cursor:ns-resize}.kt-bundle-model__point-hit{fill:transparent;pointer-events:all}.kt-bundle-model__selected-fibre{stroke:var(--teal);stroke-width:3;stroke-linecap:butt;vector-effect:non-scaling-stroke}.kt-bundle-model__layer-label{fill:var(--teal);font:400 16px/1 var(--font-math);font-style:italic}.kt-bundle-model__fibre-slice.is-danger .kt-bundle-model__selected-fibre{stroke:var(--red)}.kt-bundle-model__fibre-slice.is-danger .kt-bundle-model__layer-label{fill:var(--red)}.kt-bundle-model__point-label{fill:var(--ink-soft);font:400 15px/1 var(--font-math);font-style:italic}.kt-bundle-model__projection{fill:none;stroke:var(--purple);stroke-width:2;stroke-dasharray:6 6;stroke-linecap:round;vector-effect:non-scaling-stroke}.kt-bundle-model__projection-label{fill:var(--purple);font:400 15px/1 var(--font-math);font-style:italic}.kt-bundle-model__detail{color:var(--ink-soft);min-height:32px;font-size:var(--type-ui-emphasis)}.kt-fiber-scanner__control-label{display:inline-flex;align-items:baseline;gap:.28em}.kt-fiber-scanner__control-label .wmath{color:inherit;font-size:1em}.kt-fiber-scanner__slider output{color:var(--ink-soft);font-weight:550}.kt-widget__mapping{fill:none;stroke:var(--blue-bright);stroke-width:1.75;stroke-dasharray:6 6;stroke-linecap:round;vector-effect:non-scaling-stroke}.kt-widget__mapping-arrowhead{fill:var(--blue-bright)}.kt-widget__mapping-arrowhead.is-chevron{fill:none;stroke:var(--blue-bright);stroke-width:1.5;stroke-linecap:round;stroke-linejoin:round;vector-effect:non-scaling-stroke}.kt-widget__mapping-label{fill:var(--blue-bright);font:400 15px/1 var(--font-math);font-style:italic}.kt-morphism__point-label{fill:var(--ink-soft);font:400 15px/1 var(--font-math);font-style:italic}.kt-morphism__point-label.is-danger{fill:var(--red)}.kt-compact-conditions{width:min(100%,680px);margin:0 auto}.kt-compact-condition{display:grid;grid-template-columns:auto auto;align-items:baseline;justify-content:center;gap:var(--space-8) var(--space-12);min-height:50px;padding:var(--space-8) var(--space-16)}.kt-compact-condition>strong,.kt-compact-condition>small{margin:0}.kt-compact-condition.is-danger{color:var(--red);background:color-mix(in srgb,var(--red) 7%,var(--bg-stage))}.kt-compact-condition.is-danger small{color:var(--red)}.kt-widget__detail{display:flex;align-items:center;justify-content:center;flex-wrap:wrap;gap:7px var(--space-16);min-height:44px;text-align:center}.kt-tautological__vector{fill:none;stroke:var(--yellow);stroke-width:2.25;stroke-linecap:round;vector-effect:non-scaling-stroke}.kt-tautological__vector-label{fill:var(--yellow);font:400 15px/1 var(--font-math);font-style:italic}.kt-tautological__endpoint-label{fill:var(--ink-faint);font:400 15px/1 var(--font-math)}.kt-gluing-3d__svg{overflow:visible}.kt-gluing-3d{--kt-gluing-overlap:var(--yellow)}.kt-gluing-3d__shadow{fill:color-mix(in srgb,var(--ink-faint) 10%,transparent);stroke:none}.kt-gluing-3d__sheet{stroke:none}.kt-gluing-3d__sheet.is-u{fill:color-mix(in srgb,var(--teal) 8%,var(--bg-stage))}.kt-gluing-3d__sheet.is-v{fill:color-mix(in srgb,var(--purple) 10%,var(--bg-stage))}.kt-gluing-3d__overlap{fill:color-mix(in srgb,var(--kt-gluing-overlap) 13%,transparent);stroke:none}.kt-gluing-3d__sheet-outline,.kt-gluing-3d__overlap-outline{fill:none;stroke-linejoin:round;vector-effect:non-scaling-stroke}.kt-gluing-3d__sheet-outline{stroke:var(--line-strong);stroke-width:1.25}.kt-gluing-3d__overlap-outline{stroke:color-mix(in srgb,var(--kt-gluing-overlap) 58%,transparent);stroke-width:1}.kt-gluing-3d__zero-section{fill:none;stroke:var(--line-soft);stroke-width:1;stroke-linecap:round;vector-effect:non-scaling-stroke}.kt-gluing-3d__result{fill:color-mix(in srgb,var(--ink-faint) 4%,transparent);stroke:var(--ink-soft);stroke-width:1.5;stroke-linejoin:round;vector-effect:non-scaling-stroke}.kt-gluing-3d__overlap-label,.kt-gluing-3d__overlap-component-label{fill:var(--kt-gluing-overlap);font:400 13px/1 var(--font-math);font-style:italic}.kt-gluing-3d__space-label,.kt-gluing-3d__fibre-label,.kt-gluing-3d__orientation-label,.kt-gluing-3d__base-label,.kt-gluing-3d__point-label{font:400 15px/1 var(--font-math);font-style:italic}.kt-gluing-3d__space-label{fill:var(--ink-soft);font-size:17px}.kt-gluing-3d__fibre,.kt-gluing-3d__orientation,.kt-gluing-3d__base,.kt-gluing-3d__projection{fill:none;stroke-linecap:round;vector-effect:non-scaling-stroke}.kt-gluing-3d__fibre{stroke-width:2.5}.kt-gluing-3d__fibre.is-u{stroke:var(--teal)}.kt-gluing-3d__fibre-label,.kt-gluing-3d__fibre-label.is-u{fill:var(--teal)}.kt-gluing-3d__fibre.is-v{stroke:var(--purple)}.kt-gluing-3d__fibre-label.is-v{fill:var(--purple)}.kt-gluing-3d__fibre.is-joined{stroke:var(--kt-gluing-overlap)}.kt-gluing-3d__orientation{stroke-width:2}.kt-gluing-3d__orientation.is-u{stroke:var(--teal)}.kt-gluing-3d__orientation.is-v{stroke:var(--purple)}.kt-gluing-3d__orientation-arrowhead.is-u{fill:var(--teal)}.kt-gluing-3d__orientation-arrowhead.is-v{fill:var(--purple)}.kt-gluing-3d__orientation-label.is-u{fill:var(--teal)}.kt-gluing-3d__orientation-label.is-v{fill:var(--purple)}.kt-gluing-3d__point-label{fill:var(--yellow)}.kt-gluing-3d__closing-map,.kt-gluing-3d__base-identification{fill:none;stroke:var(--kt-gluing-overlap);stroke-linecap:round;stroke-linejoin:round;vector-effect:non-scaling-stroke}.kt-gluing-3d__closing-map{stroke-width:1.75;stroke-dasharray:6 6}.kt-gluing-3d__closing-map-label,.kt-gluing-3d__base-identification-label,.kt-gluing-3d__seam-label{fill:var(--kt-gluing-overlap);font:400 14px/1 var(--font-math);font-style:italic}.kt-gluing-3d__base-identification{stroke-width:1.5;stroke-dasharray:5 6}.kt-gluing-3d__seam-arrowhead{fill:var(--kt-gluing-overlap);stroke:var(--kt-gluing-overlap)}.kt-gluing-3d__projection{stroke:var(--purple);stroke-width:1.5;stroke-dasharray:5 6}.kt-gluing-3d__base{stroke-width:2.25}.kt-gluing-3d__base.is-u{stroke:var(--teal)}.kt-gluing-3d__base.is-v{stroke:var(--purple)}.kt-gluing-3d__base-overlap{fill:none;stroke:var(--kt-gluing-overlap);stroke-width:4;stroke-linecap:round;vector-effect:non-scaling-stroke}.kt-gluing-3d__base-label{fill:var(--ink-soft)}.kt-mobius-gluing__scene{position:relative}.kt-mobius-gluing__canvas{display:block;width:100%;height:auto;aspect-ratio:720/330;border-radius:var(--radius-sm);background:radial-gradient(circle at 50% 48%,color-mix(in srgb,var(--ink-faint) 7%,transparent),transparent 64%);cursor:grab;touch-action:none}.kt-mobius-gluing__canvas:active{cursor:grabbing}.kt-mobius-gluing__tooltip{position:absolute;transform:translate(-50%,calc(-100% - 10px));max-width:min(250px,calc(100% - 16px));overflow:visible}.kt-mobius-gluing__phase-status{white-space:nowrap}.kt-mobius-gluing__toolbar{display:flex;align-items:center;justify-content:space-between;flex-wrap:wrap;gap:var(--space-8) var(--space-20);min-height:40px}.kt-mobius-gluing__reset{padding-inline:var(--space-12);color:var(--ink-soft);font-size:var(--type-data-secondary)}.kt-mobius-gluing__hint{margin:-2px 0 0;color:var(--ink-soft);font-size:var(--type-data-primary);font-family:var(--font-sans);text-align:center}.kt-mobius-matrix{display:grid;gap:var(--space-8);width:100%;padding:var(--space-12);border:0;border-radius:var(--r-sm);background:var(--surface-group)}.kt-mobius-matrix__head{display:flex;align-items:baseline;justify-content:space-between;flex-wrap:wrap;gap:6px var(--space-16)}.kt-mobius-matrix__title{margin:0;color:var(--ink);font-size:var(--type-ui-large);font-weight:500}.kt-mobius-matrix__status{color:var(--ink-soft);font-size:var(--type-data-secondary)}.kt-mobius-matrix__body{display:grid;grid-template-columns:minmax(260px,1fr) auto;align-items:center;gap:var(--space-8) var(--space-20)}.kt-mobius-matrix__readout{justify-self:end}.kt-mobius-matrix .tl-slider-row__label{color:var(--ink);font-size:var(--type-data-primary)}.kt-mobius-matrix__note{margin:0;color:var(--ink-soft);font-size:var(--type-ui-body);line-height:1.55}.kt-mobius-gluing [data-semantic-key=mobius-assembly]{--tl-semantic-color:var(--pink)}.kt-mobius-gluing [data-semantic-key=mobius-matrix]{--tl-semantic-color:var(--teal)}@media (max-width:620px){.kt-mobius-gluing__phase-status{white-space:normal}.kt-mobius-gluing__toolbar{align-items:flex-start}.kt-mobius-matrix__body{grid-template-columns:1fr;gap:6px}.kt-mobius-matrix__readout{justify-content:center}}.kt-cohomology-exactness__body{gap:var(--space-16)}.kt-cohomology-chain{display:grid;grid-template-columns:minmax(0,1fr) 42px minmax(0,1fr) 42px minmax(0,1fr);align-items:center;gap:var(--space-8);width:min(100%,760px);margin:2px auto}.kt-cohomology-chain__group{display:grid;min-width:0;min-height:76px;place-items:center;padding:var(--space-8) 7px;border:1px solid var(--line);border-radius:10px;background:var(--bg-stage);color:var(--ink-soft)}.kt-cohomology-chain__group.is-active{border-color:color-mix(in srgb,var(--teal) 58%,var(--line));background:color-mix(in srgb,var(--teal) 8%,var(--bg-stage));color:var(--ink);box-shadow:0 0 0 1px color-mix(in srgb,var(--teal) 14%,transparent)}.kt-cohomology-chain__arrow{display:flex;min-width:0;flex-direction:column;align-items:center;color:var(--ink-faint);font-family:var(--font-sans)}.kt-cohomology-chain__arrow small{min-height:1.15em;font:600 var(--type-data-secondary)/1 var(--font-sans)}.kt-cohomology-chain__arrow span{font-size:1.35rem;line-height:1}.kt-cohomology-exactness__status{min-height:3em;margin:0;color:var(--ink-soft);font:500 var(--type-ui)/1.5 var(--font-sans);text-align:center}.kt-cohomology-cone-chain{display:grid;grid-template-columns:minmax(0,1fr) 34px minmax(0,1.2fr) 34px minmax(0,1fr);align-items:center;gap:var(--space-8);width:min(100%,700px);margin:var(--space-24) auto var(--space-28)}.kt-cohomology-cone-chain>span{display:grid;min-height:92px;place-items:center;align-content:center;gap:var(--space-8);padding:var(--space-12);border:1px solid var(--line);border-radius:10px;background:var(--bg-stage);text-align:center}.kt-cohomology-cone-chain small{color:var(--ink-faint);font:500 var(--type-data-secondary)/1.35 var(--font-sans)}.kt-cohomology-cone-chain>b{color:var(--blue-bright);font:400 1.35rem/1 var(--font-sans);text-align:center}.kt-cohomology-six-term{display:grid;grid-template-columns:minmax(0,1fr) 36px minmax(0,1fr) 36px minmax(0,1fr);grid-template-rows:auto 38px auto;align-items:center;gap:7px var(--space-8);width:min(100%,660px);margin:var(--space-24) auto var(--space-28)}.kt-cohomology-six-term>span{display:grid;min-height:64px;place-items:center;padding:var(--space-8);border:1px solid var(--line);border-radius:9px;background:var(--bg-stage)}.kt-cohomology-six-term>span:nth-of-type(1){grid-area:1/1}.kt-cohomology-six-term>span:nth-of-type(2){grid-area:1/3}.kt-cohomology-six-term>span:nth-of-type(3){grid-area:1/5}.kt-cohomology-six-term>span:nth-of-type(4){grid-area:3/1}.kt-cohomology-six-term>span:nth-of-type(5){grid-area:3/3}.kt-cohomology-six-term>span:nth-of-type(6){grid-area:3/5}.kt-cohomology-six-term>b{color:var(--ink-faint);font:400 1.35rem/1 var(--font-sans);text-align:center}.kt-cohomology-six-term>b:nth-of-type(1){grid-area:1/2}.kt-cohomology-six-term>b:nth-of-type(2){grid-area:1/4}.kt-cohomology-six-term>b:nth-of-type(3){grid-area:3/2}.kt-cohomology-six-term>b:nth-of-type(4){grid-area:3/4}.kt-cohomology-six-term>i{color:var(--teal);font:400 1.4rem/1 var(--font-sans);text-align:center}.kt-cohomology-six-term__left{grid-area:2/1}.kt-cohomology-six-term__right{grid-area:2/5}@media (max-width:620px){.kt-cohomology-chain{grid-template-columns:minmax(0,1fr) 24px minmax(0,1fr) 24px minmax(0,1fr);gap:var(--space-4)}.kt-cohomology-chain__group{min-height:66px;padding:7px 3px;font-size:.78em}.kt-cohomology-chain__arrow small{font-size:var(--type-data-secondary)}.kt-cohomology-chain__arrow span{font-size:var(--type-ui-large)}.kt-cohomology-cone-chain{grid-template-columns:1fr}.kt-cohomology-cone-chain>b{transform:rotate(90deg)}.kt-cohomology-six-term{grid-template-columns:minmax(0,1fr) 24px minmax(0,1fr) 24px minmax(0,1fr);gap:var(--space-4) 3px}.kt-cohomology-six-term>span{min-height:56px;padding:6px 2px;font-size:.78em}}.kt-operations__controls{min-height:58px}.kt-operation-pullback__body{min-height:0}.kt-transition-functor__cocycle{display:flex;align-items:center;justify-content:center;flex-wrap:wrap;gap:var(--space-8) var(--space-16)}.kt-transition-functor__implication{color:var(--ink-faint);font-size:1.1rem;line-height:1}.kt-operations-table{min-width:760px}.kt-operations-table tbody th{width:15%}.kt-operations-table tbody td:nth-child(2){width:25%}.kt-operations-table tbody td:nth-child(3){width:12%}.kt-operations-table tbody td:nth-child(4){width:48%}.kt-operations-table th:last-child,.kt-operations-table td:last-child{text-align:left}.kt-operations-table tbody td:last-child{color:var(--ink-soft);white-space:normal}.kt-exterior-split__groups{width:min(100%,920px);margin-inline:auto}.kt-exterior-split__group{align-content:start;min-height:172px;padding:var(--space-16) var(--space-12) var(--space-12)}.kt-exterior-split__terms{display:flex;align-content:flex-start;justify-content:center;flex-wrap:wrap;gap:6px;width:100%;margin-top:var(--space-8);padding-top:var(--space-8);border-top:1px solid var(--line-soft)}.kt-exterior-split__term{display:inline-flex;align-items:center;min-height:30px;padding:var(--space-4) var(--space-8);border:1px solid var(--line);border-radius:7px;background:var(--bg-stage);color:var(--ink-soft);font-size:var(--type-data-secondary)}.kt-exterior-split__dimension-check{color:var(--teal)}.kt-universal-diagram{margin:var(--space-12) auto var(--space-8);--tl-category-graph-object-size:1.02rem;--tl-category-graph-label-size:.8rem}.kt-universal-diagram__object{color:var(--ink)}.kt-bundle-embedding{--kt-patch-1:var(--teal);--kt-patch-2:var(--purple);--kt-patch-3:var(--yellow)}.kt-bundle-embedding__body{display:grid;gap:var(--space-12);min-width:0}.kt-bundle-embedding .is-patch-1{--patch-color:var(--kt-patch-1)}.kt-bundle-embedding .is-patch-2{--patch-color:var(--kt-patch-2)}.kt-bundle-embedding .is-patch-3{--patch-color:var(--kt-patch-3)}.kt-bundle-embedding__cover{position:relative;width:min(100%,720px);height:160px;margin-inline:auto}.kt-bundle-embedding__patches{position:absolute;z-index:1;inset:4px 5% auto;height:104px;overflow:hidden;border:1px solid var(--line);border-radius:12px;background:color-mix(in srgb,var(--ink) 2%,var(--bg-stage))}.kt-bundle-embedding__patches>span{--patch-color:var(--ink-faint);position:absolute;display:grid;height:auto;place-items:center;border:1px solid color-mix(in srgb,var(--patch-color) 44%,var(--line));border-radius:999px;background:color-mix(in srgb,var(--patch-color) 10%,var(--bg-stage));color:var(--ink-soft);font-size:var(--type-data-secondary);transition:opacity var(--motion-control) var(--ease-move),border-color var(--motion-control) var(--ease-move),background-color var(--motion-control) var(--ease-move)}.kt-bundle-embedding__patches>span.is-active{border-color:var(--patch-color);background:color-mix(in srgb,var(--patch-color) 14%,var(--bg-stage))}.kt-bundle-embedding__patches>.is-patch-1{z-index:2;top:9px;bottom:23px}.kt-bundle-embedding__patches>.is-patch-2{z-index:1;top:23px;bottom:9px}.kt-bundle-embedding__patches>.is-patch-3{z-index:2;top:7px;bottom:25px}.kt-bundle-embedding__guide{position:absolute;z-index:4;top:4px;bottom:42px;width:0;border-left:1px dashed color-mix(in srgb,var(--ink) 44%,transparent);transform:translate(-50%)}.kt-bundle-embedding__guide:after{position:absolute;bottom:-6px;left:-4px;width:0;height:0;border-top:6px solid color-mix(in srgb,var(--ink) 62%,transparent);border-right:4px solid transparent;border-left:4px solid transparent;content:""}.kt-bundle-embedding__guide>span{--patch-color:var(--ink-faint);position:absolute;left:0;width:8px;height:8px;border:2px solid var(--bg-stage);border-radius:50%;background:var(--patch-color);opacity:0;transform:translate(-50%,-50%) scale(.6);transition:opacity var(--motion-control) var(--ease-move),transform var(--motion-control) var(--ease-enter)}.kt-bundle-embedding__guide>span.is-active{opacity:1;transform:translate(-50%,-50%) scale(1)}.kt-bundle-embedding__base{position:absolute;right:5%;bottom:30px;left:5%;height:2px;border-radius:999px;background:var(--line-strong)}.kt-bundle-embedding__base:before,.kt-bundle-embedding__base:after{position:absolute;top:50%;width:8px;height:8px;border:2px solid var(--line-strong);border-radius:50%;background:var(--bg-stage);content:""}.kt-bundle-embedding__base:before{left:0;transform:translate(-50%,-50%)}.kt-bundle-embedding__base:after{right:0;transform:translate(50%,-50%)}.kt-bundle-embedding__base>span{position:absolute;top:8px;left:50%;color:var(--ink-faint);font-size:var(--type-data-secondary);transform:translate(-50%)}.kt-bundle-embedding__point{position:absolute;z-index:5;bottom:26px;width:10px;height:10px;border:3px solid var(--bg-stage);border-radius:50%;background:var(--ink);box-shadow:0 0 0 2px color-mix(in srgb,var(--ink) 18%,transparent);transform:translate(-50%)}.kt-bundle-embedding__point>span{position:absolute;top:14px;right:50%;color:var(--ink);font-size:var(--type-data-secondary);transform:translate(50%)}.kt-bundle-embedding__position-control{width:min(90%,648px);margin:-10px auto 0}.kt-bundle-embedding__flow{display:grid;grid-template-columns:minmax(0,1fr) 42px minmax(0,1fr);align-items:center;gap:var(--space-8);width:min(100%,720px);margin-inline:auto;padding-block:var(--space-8);border-block:1px solid var(--line-soft)}.kt-bundle-embedding__values{display:grid;grid-template-columns:64px minmax(0,1fr);align-items:center;gap:var(--space-8);min-width:0}.kt-bundle-embedding__values>tl-math{color:var(--ink-soft);font-size:var(--type-data-secondary)}.kt-bundle-embedding__triple{display:grid;grid-template-columns:auto repeat(3,minmax(42px,1fr)) auto;align-items:center;gap:var(--space-4);min-width:0}.kt-bundle-embedding__triple>b{color:var(--ink-faint);font:400 1.4rem/1 var(--font-serif)}.kt-bundle-embedding__triple>strong{--patch-color:var(--ink-faint);display:grid;min-width:0;min-height:34px;place-items:center;border-bottom:2px solid var(--patch-color);background:color-mix(in srgb,var(--patch-color) 6%,transparent);color:var(--ink);font:500 var(--type-data-secondary)/1 var(--font-sans);font-variant-numeric:tabular-nums}.kt-bundle-embedding__flow-arrow{display:inline-flex;align-items:center;justify-content:center;gap:var(--space-4);color:var(--ink-faint);font:500 var(--type-data-secondary)/1 var(--font-sans)}.kt-bundle-embedding__flow-arrow:after{content:"\2192";font-size:var(--type-ui-body)}.kt-bundle-embedding__completion{display:grid;grid-template-columns:minmax(0,1fr) auto 64px;align-items:stretch;gap:var(--space-8);width:min(100%,720px);margin-inline:auto}.kt-bundle-embedding__decomposition{display:grid;grid-template-columns:1fr auto 2fr;min-height:54px;overflow:hidden;border:1px solid var(--line);border-radius:7px;background:var(--bg-stage)}.kt-bundle-embedding__image,.kt-bundle-embedding__orthogonal,.kt-bundle-embedding__total{display:grid;place-items:center;min-width:0;text-align:center}.kt-bundle-embedding__image{background:color-mix(in srgb,var(--teal) 10%,var(--bg-stage));color:var(--teal)}.kt-bundle-embedding__orthogonal{background:color-mix(in srgb,var(--purple) 10%,var(--bg-stage));color:var(--purple)}.kt-bundle-embedding__sum,.kt-bundle-embedding__equals{display:grid;place-items:center;color:var(--ink-faint);font:500 var(--type-ui-body)/1 var(--font-sans)}.kt-bundle-embedding__sum{padding-inline:var(--space-8);border-inline:1px solid var(--line)}.kt-bundle-embedding__total{border:1px solid var(--line);border-radius:7px;background:color-mix(in srgb,var(--teal) 7%,var(--bg-stage));color:var(--teal)}.kt-bundle-embedding__image tl-math,.kt-bundle-embedding__orthogonal tl-math,.kt-bundle-embedding__total tl-math{font-size:var(--type-data-secondary)}@media (max-width:620px){.kt-bundle-embedding__flow{grid-template-columns:1fr;gap:6px}.kt-bundle-embedding__flow-arrow{gap:var(--space-4)}.kt-bundle-embedding__flow-arrow:after{margin-top:0;content:"\2193"}.kt-bundle-embedding__values{grid-template-columns:52px minmax(0,1fr)}.kt-bundle-embedding__triple{grid-template-columns:auto repeat(3,minmax(38px,1fr)) auto}.kt-bundle-embedding__completion{grid-template-columns:minmax(0,1fr) auto 54px}}@media (prefers-reduced-motion:reduce){.kt-bundle-embedding__patches>span,.kt-bundle-embedding__guide>span{transition:none}}.kt-sub-scene{display:grid;gap:var(--space-8);min-width:0}.kt-sub-svg{display:block;width:min(100%,760px);height:auto;margin-inline:auto;overflow:visible;touch-action:pan-y;-webkit-user-select:none;user-select:none}.kt-sub-plane{fill:color-mix(in srgb,var(--purple) 4%,transparent);stroke:none;vector-effect:non-scaling-stroke}.kt-sub-axis{fill:none;stroke:var(--line-strong);stroke-width:1.25;stroke-linecap:round;vector-effect:non-scaling-stroke}.kt-sub-space-label,.kt-sub-subspace-label,.kt-sub-coset-label,.kt-sub-mapping-label,.kt-sub-vector-label,.kt-sub-quotient__axis-label,.kt-sub-rank__kernel-label,.kt-sub-rank__image-label,.kt-sub-rank__full-image-label,.kt-sub-metric__complement-label{font-family:var(--font-math);font-weight:500;font-style:italic}.kt-sub-space-label,.kt-sub-quotient__axis-label{fill:var(--ink-soft)}.kt-sub-subspace-label{fill:var(--teal)}.kt-sub-mapping{fill:none;stroke:var(--purple);stroke-width:1.6;stroke-dasharray:6 6;stroke-linecap:round;vector-effect:non-scaling-stroke}.kt-sub-mapping-label,.kt-sub-mapping-arrowhead{fill:var(--purple)}.kt-sub-vector{fill:none;stroke:var(--teal);stroke-width:2;stroke-linecap:round;vector-effect:non-scaling-stroke}.kt-sub-vector-label,.kt-sub-vector-arrowhead{fill:var(--teal)}.kt-sub-quotient__body,.kt-sub-rank__body,.kt-sub-metric__body{align-content:start}.kt-sub-quotient__diagram{cursor:default}.kt-sub-quotient__subspace{stroke:var(--teal);stroke-width:2}.kt-sub-coset{fill:none;stroke:var(--yellow);stroke-width:1.75;stroke-linecap:round;vector-effect:non-scaling-stroke}.kt-sub-coset-label{fill:var(--yellow)}.kt-sub-quotient__axis{fill:none;stroke:var(--line-strong);stroke-width:2;stroke-linecap:round;vector-effect:non-scaling-stroke}.kt-sub-quotient__hit{fill:transparent;pointer-events:all;touch-action:none;cursor:grab}.kt-sub-quotient__drag:active .kt-sub-quotient__hit{cursor:grabbing}.kt-sub-rank__image-plane.is-image{fill:color-mix(in srgb,var(--teal) 7%,transparent);stroke:color-mix(in srgb,var(--teal) 34%,var(--line-soft))}.kt-sub-rank__kernel{fill:none;stroke:var(--yellow);stroke-width:2.25;stroke-linecap:round;vector-effect:non-scaling-stroke}.kt-sub-rank__kernel-label{fill:var(--yellow)}.kt-sub-rank__image{fill:none;stroke:var(--teal);stroke-width:3;stroke-linecap:round;vector-effect:non-scaling-stroke}.kt-sub-rank__image-label,.kt-sub-rank__full-image-label{fill:var(--teal)}.kt-sub-rank__status{display:flex;align-items:baseline;justify-content:center;flex-wrap:wrap;gap:var(--space-4) var(--space-16)}.kt-sub-rank__status-text{color:var(--ink-faint);font:600 var(--type-data-secondary)/1.35 var(--font-sans);letter-spacing:.055em}.kt-sub-rank__status.is-valid .kt-sub-rank__status-text{color:var(--teal)}.kt-sub-rank__status.is-danger .kt-sub-rank__status-text{color:var(--red)}.kt-sub-metric__subspace{fill:none;stroke:var(--teal);stroke-width:2.4;stroke-linecap:round;vector-effect:non-scaling-stroke}.kt-sub-metric__complement{fill:none;stroke:var(--purple);stroke-width:2.1;stroke-linecap:round;vector-effect:non-scaling-stroke}.kt-sub-metric__complement-label{fill:var(--purple)}.kt-sub-metric__vector{stroke:var(--yellow)}.kt-sub-metric__projection-vector{stroke:var(--teal)}.kt-sub-metric__complement-vector{stroke:var(--purple)}.kt-sub-metric__vector-label,.kt-sub-metric__vector-arrowhead{fill:var(--yellow)}.kt-sub-metric__projection-label,.kt-sub-metric__projection-arrowhead{fill:var(--teal)}.kt-sub-metric__complement-vector-label,.kt-sub-metric__complement-arrowhead{fill:var(--purple)}.kt-sub-metric__formula{display:grid;justify-items:center;gap:6px;padding:var(--space-12) var(--space-16);border-radius:var(--r-sm);background:var(--surface-group);color:var(--ink-soft)}.kt-sub-metric__controls{padding:var(--space-8) var(--space-12);border-radius:var(--r-sm);background:var(--surface-group)}.kt-sub-metric__controls .tl-slider-row{width:min(100%,460px)}.kt-sub-metric__diagram{border-radius:var(--r-sm);background:var(--surface-active)}.kt-sub-metric [data-semantic-key=metric-alpha]{--tl-semantic-color:var(--purple)}.kt-sub-metric [data-semantic-key=metric-decomposition]{--tl-semantic-color:var(--yellow)}@media (max-width:620px){.kt-chapter-abstract{margin-top:var(--space-24)}.kt-section-test__body{gap:var(--space-8)}.kt-section-test__discontinuity-label{font-size:18px}.kt-section-test__point-label,.kt-section-test__mismatch-label{font-size:22px}.kt-section-test__condition{min-height:48px}.kt-widget__body{gap:var(--space-8)}.kt-widget__eyebrow,.kt-widget__space-label,.kt-widget__axis-label{font-size:22px}.kt-widget__math-label,.kt-widget__map-label,.kt-widget__reference-label{font-size:23px}.kt-bundle-model__layer-label{font-size:24px}.kt-bundle-model__space-label{font-size:26px}.kt-bundle-model__gesture-hint{font-size:18px}.kt-bundle-model__point-label,.kt-bundle-model__projection-label,.kt-widget__axis-math-label,.kt-widget__mapping-label{font-size:22px}.kt-gluing-3d__overlap-label{font-size:18px}.kt-gluing-3d__space-label,.kt-gluing-3d__fibre-label,.kt-gluing-3d__orientation-label,.kt-gluing-3d__base-label,.kt-gluing-3d__point-label{font-size:22px}.kt-compact-condition{min-height:48px}.kt-sub-rank__status{gap:var(--space-4) var(--space-8)}}@media (max-width:620px){.kt-operations__controls{min-height:0}.kt-transition-functor__cocycle{display:grid;justify-items:center}.kt-transition-functor__implication{transform:rotate(90deg)}.kt-exterior-split__group{min-height:0}}.kt-basepoint-fibre__body{display:grid;gap:var(--space-8)}.kt-basepoint-fibre__svg{display:block;width:100%;max-width:760px;height:auto;margin-inline:auto;overflow:visible}.kt-basepoint-fibre__sphere{fill:color-mix(in srgb,var(--purple) 5%,var(--bg-stage));stroke:var(--line-strong);stroke-width:1.2;vector-effect:non-scaling-stroke}.kt-basepoint-fibre__equator{fill:none;stroke:var(--line-soft);stroke-width:1;stroke-dasharray:4 4;vector-effect:non-scaling-stroke}.kt-basepoint-fibre__sample-fibre{stroke:var(--line-soft);stroke-width:1.2;stroke-linecap:round;vector-effect:non-scaling-stroke}.kt-basepoint-fibre__selected-fibre{stroke:var(--yellow);stroke-width:3;stroke-linecap:round;vector-effect:non-scaling-stroke}.kt-basepoint-fibre__selected-point{fill:var(--yellow);stroke:var(--bg-stage);stroke-width:2;vector-effect:non-scaling-stroke}.kt-basepoint-fibre__connector{fill:none;stroke:var(--blue-bright);stroke-width:1.5;stroke-dasharray:5 5;vector-effect:non-scaling-stroke}.kt-basepoint-fibre__connector-label,.kt-basepoint-fibre__target-label{fill:var(--ink-faint);font:500 13px/1 var(--font-sans)}.kt-basepoint-fibre__math-label,.kt-basepoint-fibre__point-label{fill:var(--ink-soft)}.kt-basepoint-fibre__point-label{fill:var(--yellow)}.kt-basepoint-fibre__formula{justify-content:center;min-height:44px}.kt-basepoint-pullback{width:min(100%,640px);margin:var(--space-16) auto var(--space-24)}.kt-basepoint-pullback__graph{margin-inline:auto;background:linear-gradient(to bottom,color-mix(in srgb,var(--blue-bright) 4%,transparent) 0 49%,transparent 49% 51%,color-mix(in srgb,var(--teal) 4%,transparent) 51% 100%);--tl-category-graph-object-size:.94rem;--tl-category-graph-label-size:.8rem}.kt-basepoint-pullback__node.is-space{color:var(--blue-bright)}.kt-basepoint-pullback__node.is-kgroup{color:var(--teal)}.kt-basepoint-pullback__caption{max-width:560px;margin:var(--space-8) auto 0;color:var(--ink-faint);font:400 var(--type-data-secondary)/1.45 var(--font-sans);text-align:center}@media (max-width:620px){.kt-basepoint-fibre__connector-label,.kt-basepoint-fibre__target-label,.kt-basepoint-fibre__math-label,.kt-basepoint-fibre__point-label{font-size:22px}}.kt-smash-cell-table{min-width:38rem}.kt-smash-cell-table th,.kt-smash-cell-table td{padding:var(--space-8) var(--space-12);vertical-align:middle}.kt-smash-cell-table tbody th{width:18%;white-space:nowrap}.kt-smash-cell-table tbody td:nth-child(2){width:27%}.kt-smash-cell-table tbody td:nth-child(3){width:35%;white-space:nowrap}.kt-smash-cell-table tbody td:nth-child(4){width:20%}.kt-bott-naturality{margin:var(--space-16) auto var(--space-12);--tl-category-graph-object-size:.96rem;--tl-category-graph-label-size:.76rem}.kt-bott-proof-chain{display:grid;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr) auto minmax(0,1fr);align-items:stretch;gap:var(--space-8);margin:var(--space-24) 0}.kt-bott-proof-chain__step{display:grid;grid-template-columns:auto minmax(0,1fr);align-content:center;align-items:baseline;gap:var(--space-4) var(--space-8);min-height:108px;padding:var(--space-16);border:1px solid var(--line);border-radius:10px;background:var(--bg-stage)}.kt-bott-proof-chain__step>span{display:grid;width:22px;height:22px;place-items:center;border-radius:50%;background:color-mix(in srgb,var(--teal) 12%,var(--bg-stage));color:var(--teal);font:650 var(--type-data-secondary)/1 var(--font-sans)}.kt-bott-proof-chain__step strong{color:var(--ink-soft);font:650 var(--type-data-secondary)/1.3 var(--font-sans)}.kt-bott-proof-chain__step tl-math{grid-column:1/-1;justify-self:center;color:var(--ink)}.kt-bott-proof-chain__arrow{align-self:center;color:var(--ink-faint);font:400 1.2rem/1 var(--font-sans)}.kt-bott-sphere-table{display:grid;grid-template-columns:minmax(96px,.7fr) minmax(220px,1.5fr) minmax(110px,.8fr);margin:var(--space-24) 0;overflow:hidden;border:1px solid var(--line);border-radius:10px;background:var(--bg-stage)}.kt-bott-sphere-table>div{display:flex;min-width:0;min-height:54px;align-items:center;justify-content:center;padding:var(--space-8) var(--space-16);border-right:1px solid var(--line-soft);border-bottom:1px solid var(--line-soft);color:var(--ink-soft);text-align:center}.kt-bott-sphere-table>div:nth-child(3n){border-right:0}.kt-bott-sphere-table>div:nth-last-child(-n+3){border-bottom:0}.kt-bott-sphere-table__head{color:var(--ink-faint)!important;font:650 var(--type-data-secondary)/1.3 var(--font-sans);letter-spacing:.06em;text-transform:uppercase}@media (max-width:620px){.kt-bott-proof-chain{grid-template-columns:1fr;gap:7px}.kt-bott-proof-chain__step{min-height:82px}.kt-bott-proof-chain__arrow{justify-self:center;transform:rotate(90deg)}.kt-bott-sphere-table{grid-template-columns:minmax(82px,.8fr) minmax(0,1.7fr)}.kt-bott-sphere-table>div{min-height:50px;padding:var(--space-8) 6px;border-right:1px solid var(--line-soft);border-bottom:1px solid var(--line-soft)}.kt-bott-sphere-table>div:nth-child(3n),.kt-bott-sphere-table>div:nth-last-child(-n+3){border-right:1px solid var(--line-soft);border-bottom:1px solid var(--line-soft)}.kt-bott-sphere-table>div:nth-child(3n+2){border-right:0}.kt-bott-sphere-table>div:nth-child(7),.kt-bott-sphere-table>div:nth-child(8){border-bottom:0}.kt-bott-sphere-table__head:nth-child(3),.kt-bott-sphere-table>div:nth-child(6),.kt-bott-sphere-table>div:nth-child(9){display:none}}.kt-equivariance__body,.kt-projective-relation__body{display:grid;gap:var(--space-12)}.kt-projective-relation__controls{padding:0 var(--space-8)}.kt-projective-relation__controls .tl-control-field{align-content:start}.kt-projective-relation__controls .tl-segmented{width:fit-content;max-width:100%}.kt-projective-relation__identity{padding-block:var(--space-12) var(--space-4)}.kt-equivariance__transport{display:grid;grid-template-columns:minmax(0,1fr) 84px minmax(0,1fr);align-items:center;width:min(100%,680px);margin:2px auto;padding:var(--space-16);border:1px solid var(--line);border-radius:12px;background:var(--bg-stage)}.kt-equivariance__transport.is-invalid{border-color:color-mix(in srgb,var(--red) 42%,var(--line))}.kt-equivariance__column{display:grid;grid-template-rows:auto auto auto;gap:var(--space-8);justify-items:center;min-width:0}.kt-equivariance__base,.kt-equivariance__fibre,.kt-equivariance__vector{display:grid;width:100%;min-height:42px;place-items:center;border-radius:8px}.kt-equivariance__base{color:var(--blue-bright);background:color-mix(in srgb,var(--blue-bright) 8%,transparent)}.kt-equivariance__fibre{color:var(--teal);background:color-mix(in srgb,var(--teal) 9%,transparent)}.kt-equivariance__vector{width:54px;min-height:38px;border:1px solid color-mix(in srgb,var(--yellow) 42%,var(--line));color:var(--yellow);background:color-mix(in srgb,var(--yellow) 8%,var(--bg-stage))}.kt-equivariance__maps{display:grid;grid-template-rows:repeat(3,42px);gap:var(--space-8);place-items:center;color:var(--ink-faint);font:650 var(--type-data-primary)/1 var(--font-sans)}.kt-equivariance__maps span:nth-child(2){color:var(--teal);font-size:1.18rem}.kt-equivariance__status,.kt-projective-relation__status{margin:0;color:var(--ink-soft);font:500 var(--type-data-secondary)/1.45 var(--font-sans);text-align:center}.kt-equivariance__status.is-valid{color:var(--teal)}.kt-equivariance__status.is-invalid{color:var(--red)}.kt-equivariant-extremes{display:grid;grid-template-columns:minmax(100px,.65fr) minmax(240px,1.55fr) minmax(190px,1fr);margin:var(--space-24) 0;overflow:hidden;border:1px solid var(--line);border-radius:10px;background:var(--bg-stage)}.kt-equivariant-extremes>div{display:flex;min-width:0;min-height:58px;align-items:center;justify-content:center;padding:var(--space-8) var(--space-16);border-right:1px solid var(--line-soft);border-bottom:1px solid var(--line-soft);color:var(--ink-soft);text-align:center}.kt-equivariant-extremes>div:nth-child(3n){border-right:0}.kt-equivariant-extremes>div:nth-last-child(-n+3){border-bottom:0}.kt-equivariant-extremes__head{color:var(--ink-faint)!important;font:650 var(--type-data-secondary)/1.3 var(--font-sans);letter-spacing:.06em;text-transform:uppercase}.kt-equivariant-extremes__keep{white-space:nowrap}.kt-equivariant-extremes__description{display:block}.kt-projective-relation__roots{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:0;width:min(100%,680px);margin:0 auto}.kt-projective-relation__root{display:grid;grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:var(--space-12);min-height:52px;padding:var(--space-8) var(--space-16);color:var(--ink-faint)}.kt-projective-relation__root+.kt-projective-relation__root{border-left:1px solid var(--line-soft)}.kt-projective-relation__root.is-active{color:var(--ink)}.kt-projective-relation__root>span{font:650 var(--type-data-secondary)/1.3 var(--font-sans)}.kt-projective-relation__root.is-active>tl-math,.kt-projective-relation__root.is-active>.tl-math-host{color:var(--math-operation)}.kt-projective-relation__facts{width:min(100%,680px);margin:0 auto}.kt-projective-relation__evaluation{padding-block:var(--space-8) 0;color:var(--math-conclusion)}@media (max-width:620px){.kt-equivariance__transport{grid-template-columns:minmax(0,1fr) 44px minmax(0,1fr);padding:var(--space-12) var(--space-8)}.kt-equivariance__maps{font-size:var(--type-data-secondary)}.kt-equivariance__base,.kt-equivariance__fibre{min-height:38px}.kt-equivariant-extremes{grid-template-columns:minmax(82px,.65fr) minmax(0,1.35fr)}.kt-equivariant-extremes>div{min-height:54px;padding:var(--space-8) 7px;border-right:1px solid var(--line-soft);border-bottom:1px solid var(--line-soft)}.kt-equivariant-extremes>div:nth-child(3n),.kt-equivariant-extremes>div:nth-last-child(-n+3){border-right:1px solid var(--line-soft);border-bottom:1px solid var(--line-soft)}.kt-equivariant-extremes>div:nth-child(3n+2){border-right:0}.kt-equivariant-extremes>div:nth-child(7),.kt-equivariant-extremes>div:nth-child(8){border-bottom:0}.kt-equivariant-extremes__head:nth-child(3),.kt-equivariant-extremes>div:nth-child(6),.kt-equivariant-extremes>div:nth-child(9){display:none}.kt-projective-relation__roots{grid-template-columns:1fr}.kt-projective-relation__root+.kt-projective-relation__root{border-top:1px solid var(--line-soft);border-left:0}}.compression-tabs{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:var(--space-8)}.compression-tabs button{min-width:0;display:flex;flex-direction:column;align-items:center;gap:2px;padding:var(--space-8) var(--space-12)}.compression-tabs strong{color:var(--ink);font-size:var(--type-data-primary)}.compression-tabs span{color:var(--ink-faint);font-size:var(--type-data-secondary)}.compression-tabs button.is-selected{border-color:var(--purple);background:rgba(var(--purple-rgb),.1);box-shadow:0 0 0 1px rgba(var(--purple-rgb),.3)}.compression-narrative b{color:var(--purple)}.compression-scene{display:grid;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);gap:var(--space-16);align-items:center}.compression-side{min-width:0;display:flex;flex-direction:column;gap:var(--space-8)}.compression-side>span{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary);text-align:center}.compression-arrow{display:flex;flex-direction:column;align-items:center;gap:2px;color:var(--purple)}.compression-arrow i{font-style:normal}.compression-arrow small{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary)}.position-source{min-width:0;display:grid;grid-template-columns:repeat(8,minmax(0,1fr));gap:var(--space-4)}.position-source i{min-width:0;aspect-ratio:1;display:flex;align-items:center;justify-content:center;border:1px solid var(--line);border-radius:4px;background:var(--bg-2);color:var(--ink-soft);font-family:var(--font-sans);font-size:var(--type-data-secondary);font-style:normal}.position-source i.g0,.memory-slot.g0{border-color:rgba(var(--blue-rgb),.65);background:rgba(var(--blue-rgb),.11)}.position-source i.g1,.memory-slot.g1{border-color:rgba(var(--teal-rgb),.65);background:rgba(var(--teal-rgb),.11)}.position-source i.g2,.memory-slot.g2{border-color:rgba(var(--green-rgb),.65);background:rgba(var(--green-rgb),.11)}.position-source i.g3,.memory-slot.g3{border-color:rgba(var(--yellow-rgb),.65);background:rgba(var(--yellow-rgb),.11)}.memory-slots{min-width:0;display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:7px}.memory-slot{min-width:0;min-height:58px;display:flex;flex-direction:column;align-items:center;justify-content:center;gap:2px;border:1px solid var(--line);border-radius:var(--r-sm)}.memory-slot strong{color:var(--ink);font-family:var(--font-sans);font-size:var(--type-data-primary)}.memory-slot span{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary)}.feature-grid{min-width:0;display:grid;grid-template-columns:repeat(8,minmax(0,1fr));gap:var(--space-4)}.feature-grid i{min-width:0;min-height:48px;display:flex;flex-direction:column;align-items:center;justify-content:flex-end;gap:var(--space-4);padding:var(--space-4) 3px;border:1px solid var(--line);border-radius:5px;background:var(--bg-2);font-style:normal}.feature-grid span{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary)}.feature-grid b{display:block;height:17px;border-radius:3px;background:var(--purple)}.feature-grid.full b{width:100%;opacity:.45}.feature-grid.latent b{width:25%;min-width:4px;opacity:.9}.latent-slot-story{display:grid;grid-template-columns:1fr auto 1fr auto 1fr;gap:var(--space-8);align-items:center;margin:var(--space-24) 0}.latent-slot-story>div{display:flex;flex-direction:column;gap:var(--space-4);padding:var(--space-12);border-top:2px solid var(--teal);background:rgba(var(--teal-rgb),.035)}.latent-slot-story strong{color:var(--ink);font-family:var(--font-sans);font-size:var(--type-data-primary)}.latent-slot-story span{color:var(--ink-soft);font-family:var(--font-sans);font-size:var(--type-data-secondary);line-height:1.45}.latent-slot-story>i{color:var(--teal);font-style:normal}.mla-flow{display:grid;grid-template-columns:1fr auto 1fr auto 1.35fr;gap:var(--space-8);align-items:center;margin:var(--space-24) 0}.mla-flow>div{display:flex;flex-direction:column;align-items:center;gap:3px;padding:var(--space-16) var(--space-8);text-align:center}.mla-flow .latent{border-color:rgba(var(--purple-rgb),.65);background:rgba(var(--purple-rgb),.08)}.mla-flow span{color:var(--ink);font-family:var(--font-sans);font-size:var(--type-data-primary)}.mla-flow em{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary);font-style:normal}.mla-flow>i{color:var(--purple);font-style:normal}.latent-tradeoffs{display:grid;grid-template-columns:repeat(3,1fr);gap:var(--space-8);margin:var(--space-24) 0}.latent-tradeoffs>div{display:flex;flex-direction:column;gap:6px;padding:var(--space-16);border-top:2px solid var(--pink);background:#e58ac909}.latent-tradeoffs strong{color:var(--ink);font-family:var(--font-sans);font-size:var(--type-data-primary)}.latent-tradeoffs span{color:var(--green);font-family:var(--font-sans);font-size:var(--type-data-secondary)}.latent-tradeoffs em{color:var(--pink);font-family:var(--font-sans);font-size:var(--type-data-secondary);font-style:normal}@media (max-width:700px){.compression-scene{grid-template-columns:1fr}.compression-arrow i{transform:rotate(90deg)}.latent-slot-story,.mla-flow{grid-template-columns:1fr}.latent-slot-story>i,.mla-flow>i{transform:rotate(90deg);justify-self:center}.latent-tradeoffs{grid-template-columns:1fr}}@media (max-width:420px){.compression-tabs{grid-template-columns:1fr}.compression-scene{padding:var(--space-12) var(--space-8)}.position-source,.feature-grid{gap:3px}}.linear-mode-tabs{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:7px}.linear-length-tabs{display:flex;gap:6px}.linear-mode-tabs button,.linear-length-tabs button{min-width:0}.linear-mode-tabs button{display:flex;flex-direction:column;align-items:center;gap:1px;padding:var(--space-8) var(--space-8)}.linear-mode-tabs strong{color:var(--ink);font-size:var(--type-data-primary)}.linear-mode-tabs span{color:var(--ink-faint);font-size:var(--type-data-secondary)}.linear-length-tabs button{padding:var(--space-8) var(--space-8);font-size:var(--type-data-secondary)}.linear-mode-tabs button.is-selected,.linear-length-tabs button.is-selected{color:var(--ink);border-color:var(--teal);background:rgba(var(--teal-rgb),.09);box-shadow:0 0 0 1px rgba(var(--teal-rgb),.28)}.linear-order-narrative.matrix b{color:var(--pink)}.linear-order-narrative.state b{color:var(--teal)}.linear-pair-wrap{width:min(100%,530px)}.linear-pair-matrix{min-width:0;aspect-ratio:1;display:grid;gap:2px;padding:6px;border:1px solid var(--line);border-radius:var(--r-md);background:var(--bg-stage)}.linear-pair-matrix i{min-width:0;min-height:0;border:1px solid var(--line-soft);border-radius:2px;background:#ffffff05}.linear-pair-matrix i.on{border-color:#e58ac947;background:#e58ac97a}.linear-state-scene{display:grid;grid-template-columns:minmax(150px,1.2fr) auto minmax(130px,.8fr) auto minmax(110px,.7fr);gap:var(--space-12);align-items:center}.linear-stream,.linear-state-box,.linear-query-box{display:flex;flex-direction:column;align-items:center;justify-content:center;gap:6px}.linear-stream>span,.linear-state-box>span,.linear-query-box>span{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary);text-transform:uppercase;letter-spacing:.06em}.linear-stream>div{width:100%;display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:var(--space-4)}.linear-stream i{min-width:0;aspect-ratio:1;display:flex;align-items:center;justify-content:center;border:1px solid rgba(var(--teal-rgb),.38);border-radius:4px;background:rgba(var(--teal-rgb),.13);color:var(--ink-soft);font-family:var(--font-sans);font-size:var(--type-data-secondary);font-style:normal}.linear-state-box{border-color:rgba(var(--teal-rgb),.58);background:rgba(var(--teal-rgb),.07)}.linear-state-box strong,.linear-query-box strong{color:var(--ink);font-family:var(--font-sans);font-size:var(--type-ui-large)}.linear-state-box em,.linear-query-box em{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary);font-style:normal}.linear-state-arrow{display:flex;flex-direction:column;align-items:center;gap:3px;color:var(--teal);font-family:var(--font-sans)}.linear-state-arrow i{font-size:var(--type-ui-large);font-style:normal}.linear-state-arrow small{color:var(--ink-faint);font-size:var(--type-data-secondary);white-space:nowrap}.linear-equation-swap{display:grid;grid-template-columns:1fr auto 1fr;gap:var(--space-16);align-items:center;margin:var(--space-24) 0}.linear-equation-swap>div{min-width:0;display:flex;flex-direction:column;gap:var(--space-4);padding:var(--space-16);border-top:2px solid var(--pink);background:#e58ac909}.linear-equation-swap>div.efficient{border-color:var(--teal);background:rgba(var(--teal-rgb),.035)}.linear-equation-swap span{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary);text-transform:uppercase;letter-spacing:.06em}.linear-equation-swap strong{min-width:0;color:var(--ink);font-family:var(--font-sans);font-size:.91rem;overflow-wrap:anywhere}.linear-equation-swap em{color:var(--ink-soft);font-family:var(--font-sans);font-size:var(--type-data-secondary);font-style:normal}.linear-equation-swap>b{color:var(--ink-faint);font-family:var(--font-sans)}.linear-recurrence{display:grid;grid-template-columns:1fr auto 1fr auto 1fr;gap:var(--space-12);align-items:center;margin:var(--space-24) 0}.linear-recurrence>div{min-height:86px;display:flex;flex-direction:column;justify-content:center;gap:var(--space-4);text-align:center}.linear-recurrence>div.memory{border-color:rgba(var(--teal-rgb),.58);background:rgba(var(--teal-rgb),.07)}.linear-recurrence strong{color:var(--ink);font-family:var(--font-sans);font-size:var(--type-data-primary)}.linear-recurrence span{color:var(--ink-soft);font-family:var(--font-sans);font-size:var(--type-data-secondary)}.linear-recurrence>i{color:var(--teal);font-style:normal}.linear-tradeoffs{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:var(--space-8);margin:var(--space-24) 0}.linear-tradeoffs>div{min-width:0;display:flex;flex-direction:column;gap:6px;padding:var(--space-16);border-top:2px solid var(--blue);background:rgba(var(--blue-rgb),.035)}.linear-tradeoffs strong{color:var(--ink);font-family:var(--font-sans);font-size:var(--type-data-primary)}.linear-tradeoffs span{color:var(--green);font-family:var(--font-sans);font-size:var(--type-data-secondary)}.linear-tradeoffs em{color:var(--pink);font-family:var(--font-sans);font-size:var(--type-data-secondary);font-style:normal}@media (max-width:700px){.linear-length-tabs{display:grid;grid-template-columns:repeat(3,minmax(0,1fr))}.linear-state-scene,.linear-equation-swap,.linear-recurrence{grid-template-columns:1fr}.linear-state-arrow i,.linear-equation-swap>b,.linear-recurrence>i{transform:rotate(90deg);justify-self:center}.linear-state-arrow small{white-space:normal}.linear-tradeoffs{grid-template-columns:1fr}}@media (max-width:420px){.linear-mode-tabs{grid-template-columns:1fr}.linear-pair-matrix{gap:1px;padding:var(--space-4)}.linear-state-scene{padding:var(--space-12) var(--space-8)}}.delta-method-tabs{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:7px}.delta-method-tabs button{min-width:0;display:flex;flex-direction:column;align-items:center;gap:1px;padding:var(--space-8) var(--space-8)}.delta-method-tabs strong{color:var(--ink);font-size:var(--type-data-primary)}.delta-method-tabs span{color:var(--ink-faint);font-size:var(--type-data-secondary)}.delta-method-tabs button.is-selected{color:var(--ink);border-color:var(--pink);background:#e58ac917;box-shadow:0 0 0 1px #e58ac947}.delta-memory-narrative.sum b{color:var(--pink)}.delta-memory-narrative.decay b{color:var(--yellow)}.delta-memory-narrative.delta b{color:var(--teal)}.delta-memory-story{display:grid;grid-template-columns:minmax(135px,.8fr) auto minmax(230px,1.35fr) auto minmax(150px,.85fr);gap:var(--space-12);align-items:stretch}.delta-story-step{min-height:168px;display:flex;flex-direction:column;justify-content:center;gap:var(--space-8)}.delta-story-step>span{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary);text-transform:uppercase;letter-spacing:.06em}.delta-story-step>strong{color:var(--ink);font-family:var(--font-sans);font-size:var(--type-data-primary)}.delta-story-step>small{color:var(--teal);font-family:var(--font-sans);font-size:var(--type-data-secondary)}.delta-place{padding:var(--space-8);border-radius:var(--r-sm);text-align:center;color:var(--ink);font-family:var(--font-sans);font-size:var(--type-data-secondary)}.delta-place.old{border:1px solid rgba(229,138,201,.44);background:#e58ac921}.delta-story-arrow{align-self:center;color:var(--teal);font-style:normal}.delta-story-step.answer{text-align:center;align-items:center}.delta-story-step.answer strong{font-size:var(--type-ui-emphasis)}.delta-story-step.answer em{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary);font-style:normal}.delta-story-step.answer.sum{border-color:#e58ac98f;background:#e58ac90f}.delta-story-step.answer.decay{border-color:rgba(var(--yellow-rgb),.54);background:rgba(var(--yellow-rgb),.05)}.delta-story-step.answer.delta{border-color:rgba(var(--teal-rgb),.58);background:rgba(var(--teal-rgb),.06)}.gate-scale{display:grid;grid-template-columns:auto minmax(0,1fr) auto;gap:var(--space-16);align-items:center;margin:var(--space-24) 0}.gate-scale>div{display:flex;flex-direction:column;gap:3px}.gate-scale>div:last-child{text-align:right}.gate-scale strong{color:var(--ink);font-family:var(--font-sans);font-size:var(--type-data-secondary)}.gate-scale span{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary)}.gate-scale>i{height:10px;border-radius:6px;background:linear-gradient(90deg,#e58ac933,rgba(var(--teal-rgb),.82))}.delta-steps{display:grid;grid-template-columns:1fr auto 1fr auto 1fr;gap:var(--space-12);align-items:center;margin:var(--space-24) 0}.delta-steps>div{min-width:0;min-height:104px;display:grid;grid-template-columns:28px 1fr;gap:var(--space-4) var(--space-8);align-content:center;padding:var(--space-16);border-top:2px solid var(--teal);background:rgba(var(--teal-rgb),.035)}.delta-steps b{grid-row:1/3;width:27px;height:27px;display:flex;align-items:center;justify-content:center;border-radius:50%;background:rgba(var(--teal-rgb),.15);color:var(--teal);font-family:var(--font-sans);font-size:var(--type-data-secondary)}.delta-steps strong{color:var(--ink);font-family:var(--font-sans);font-size:var(--type-data-primary)}.delta-steps span{min-width:0;color:var(--ink-soft);font-family:var(--font-sans);font-size:var(--type-data-secondary);overflow-wrap:anywhere}.delta-steps>i{color:var(--teal);font-style:normal}.delta-hybrid-stack{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:var(--space-8);margin:var(--space-24) 0}.delta-hybrid-stack>div{display:flex;flex-direction:column;gap:var(--space-4)}.delta-hybrid-stack>div.gdn{border-top:3px solid var(--teal)}.delta-hybrid-stack>div.full{border-top:3px solid var(--purple)}.delta-hybrid-stack strong{color:var(--ink);font-family:var(--font-sans);font-size:var(--type-data-secondary)}.delta-hybrid-stack span{color:var(--ink-faint);font-family:var(--font-sans);font-size:var(--type-data-secondary)}@media (max-width:700px){.delta-memory-story,.delta-steps{grid-template-columns:1fr}.delta-story-arrow,.delta-steps>i{transform:rotate(90deg);justify-self:center}.delta-story-step{min-height:0}.delta-hybrid-stack{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (max-width:420px){.delta-method-tabs{grid-template-columns:1fr}.delta-memory-story{padding:var(--space-12) var(--space-8)}.gate-scale{grid-template-columns:1fr;gap:var(--space-8)}.gate-scale>div:last-child{text-align:left}.delta-hybrid-stack{grid-template-columns:1fr}}:is(.position-source i,.memory-slot,.feature-grid i,.linear-pair-matrix i,.linear-stream i,.delta-place){border-color:transparent;box-shadow:none}:is(.position-source i.g0,.position-source i.g1,.position-source i.g2,.position-source i.g3,.memory-slot.g0,.memory-slot.g1,.memory-slot.g2,.memory-slot.g3){border-color:transparent}.linear-pair-matrix{border:0;box-shadow:none;background:var(--surface-group)}:is(.linear-state-box,.linear-query-box,.delta-story-step.answer){background:var(--surface-active);box-shadow:inset 0 0 0 1px var(--surface-active-line)}:is(.compression-tabs button.is-selected,.linear-mode-tabs button.is-selected,.linear-length-tabs button.is-selected,.delta-method-tabs button.is-selected){box-shadow:inset 0 0 0 1px var(--surface-active-line)}@supports not (color: color-mix(in srgb,white,black)){.tl-btn:hover{background:var(--bg-2)}.tl-hub-card:hover{border-color:var(--teal);background:var(--bg-stage)}.tl-callout{background:linear-gradient(90deg,rgba(var(--blue-rgb),.08),transparent 72%)}.tl-callout--definition{border-color:var(--line);background:var(--bg-stage)}.tl-callout--requirement{background:rgba(var(--blue-rgb),.06)}.tl-callout--next{background:linear-gradient(90deg,rgba(var(--blue-rgb),.08),transparent 72%)}.tl-callout--remark,.tl-callout--insight{background:linear-gradient(90deg,rgba(var(--purple-rgb),.08),transparent 72%)}.tl-callout--result{background:linear-gradient(90deg,rgba(var(--blue-rgb),.09),transparent 72%)}.tl-callout--generalization{background:rgba(var(--teal-rgb),.08)}.tl-callout--distinction,.tl-callout--warning{background:linear-gradient(90deg,rgba(var(--yellow-rgb),.09),transparent 72%)}.tl-callout--theorem{border-color:var(--line);background:var(--bg-stage)}.tl-formula--result{border-block-color:var(--line);background:transparent}.tl-formula__step--result{background:rgba(var(--teal-rgb),.07)}.ucb-bar .exploit{background:var(--arm-c,var(--blue))}.concat-chip,.gqa-q,.gqa-kv{background:var(--bg-2)}.gqa-q{border-color:var(--gc)}.series-generating-functions .tl-callout--requirement,.series-generating-functions .tl-callout--next{background:rgba(var(--teal-rgb),.08)}}@page{size:A4;margin:16mm 15mm 18mm}@media print{:root{color-scheme:light;--bg-0:#fff;--bg-1:#fff;--bg-2:#f4f4f4;--bg-stage:#fff;--ink:#111;--ink-soft:#303030;--ink-faint:#555;--line:#bfc3c9;--line-soft:#d9dce1;--shadow-soft:none;--shadow-glow:none}*,*:before,*:after{animation:none!important;transition:none!important;box-shadow:none!important}html,body{background:#fff!important;color:#111;font-size:11pt}body{-webkit-print-color-adjust:exact;print-color-adjust:exact}.skip-link,#progress,#chapnav,.series-pager,.theme-toggle,.locale-toggle,.toc-panel,.tl-drawer-trigger,.tl-drawer__panel,.tl-drawer__backdrop,.tl-controls,.tl-sliders,.tl-slider-row,.tl-btn,footer{display:none!important}main{display:block}header#top{padding-top:0!important;padding-bottom:8mm!important}.tl-wrap,.tl-bleed{max-width:none;padding:0}section{padding:9mm 0;border-color:#d9dce1}h1{font-size:28pt}h2{font-size:20pt;break-after:avoid-page}h3{break-after:avoid-page}p,li{orphans:3;widows:3}.reveal{opacity:1!important;transform:none!important}.tl-callout,.tl-formula,.tl-stage,.tl-algorithm,.tl-comparison,.tl-data-table-wrap,.tl-example,.tl-steps,.tl-figure,.tl-proof,.tl-exercise,.tl-notation{break-inside:avoid-page}.tl-callout,.tl-formula,.tl-stage,.tl-algorithm,.tl-comparison,.tl-example,.tl-steps,.tl-proof,.tl-exercise,.tl-notation{background:#fff!important;border-color:#bfc3c9!important}.tl-callout{color:#303030}.tl-stage:before{display:none}.tl-stage-head{background:#fff}.tl-stage-body{padding:var(--space-8)!important}.tl-formula{overflow:visible;padding:7px var(--space-12)}.tl-data-table-wrap{overflow:visible;break-inside:avoid-page}.tl-data-table{min-width:0;font-size:8.5pt}.tl-scrollx{overflow:visible!important}.tl-scrollx svg,.tl-stage svg{min-width:0!important;max-width:100%!important;height:auto!important}tl-math[display],.tl-math-host[display]{overflow:visible!important;max-width:100%}a{color:inherit;text-decoration:underline;text-decoration-color:#888}main a[href^=http]:after{content:" (" attr(href) ")";font:8pt/1.3 var(--font-sans);overflow-wrap:anywhere}}