:root{--paper:#f7f5f0;--paper-2:#efebe3;--surface:#fffdf9;--line:#e4dfd5;--line-2:#cdc6b8;--ink:#1f1d1a;--ink-2:#4b4741;--ink-3:#6b665c;--structure-text:#3e3a9c;--structure-mark:#5b53d6;--structure-wash:#ecebfb;--proof-text:#1f6a3e;--proof-mark:#2e8b55;--proof-wash:#e1f1e6;--measured-text:#0b6370;--measured-mark:#13879a;--measured-wash:#dcf0f2;--baseline-text:#4d5866;--baseline-mark:#7b8796;--baseline-wash:#e8ecf0;--withdrawn-text:#a2283c;--withdrawn-mark:#cf445c;--withdrawn-wash:#fae5e8;--parameter-text:#835407;--parameter-mark:#b57f0e;--parameter-wash:#f9efd8;--refused-text:#57524a;--refused-mark:#8c857a;--refused-wash:#eeebe5;--refused-hatch:repeating-linear-gradient(135deg, var(--refused-mark) 0 1.5px, transparent 1.5px 6px);--neg:#2f62c0;--pos:#cf5a1e;--div-mid:#e7e2d8;--seq-0:#f6efcf;--seq-1:#a9d8b0;--seq-2:#3fae9f;--seq-3:#2b77a6;--seq-4:#3e3a9c;--t-xs:.75rem;--t-s:.9375rem;--t-body:1.1875rem;--t-l:1.375rem;--t-xl:2.125rem;--t-hero:clamp(2.75rem, 1.2rem + 6.2vw, 6rem);--t-dek:clamp(1.25rem, 1rem + .9vw, 1.625rem);--t-number:clamp(3rem, 2rem + 4vw, 5.5rem);--s-1:4px;--s-2:8px;--s-3:12px;--s-4:16px;--s-5:24px;--s-6:32px;--s-7:48px;--s-8:64px;--s-9:96px;--s-10:128px;--r-s:8px;--r-m:14px;--r-l:22px;--lift-1:0 0 0 1px #28201412, 0 1px 2px #2820140d, 0 6px 16px -8px #2820141a;--lift-2:0 0 0 1px #28201414, 0 2px 4px #2820140d, 0 18px 40px -16px #28201433;--lift-3:0 0 0 1px #2820140f, 0 4px 10px #2820140d, 0 40px 80px -32px #28201442;--ease-out:cubic-bezier(.16, 1, .3, 1);--page-max:1280px;--gutter:clamp(16px, 4vw, 40px);--bar-h:60px;--toc-w:200px;--margin-w:250px;--col-gap:48px}@media (width<=1199px){:root{--margin-w:210px;--col-gap:40px}}@media (width<=959px){:root{--margin-w:0px;--col-gap:0px}}*,:before,:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%;text-size-adjust:100%;scroll-padding-top:calc(var(--bar-h) + 28px);background:var(--paper)}@media (prefers-reduced-motion:no-preference){html{scroll-behavior:smooth}}html,body{overflow-x:clip}body{background:var(--paper);color:var(--ink);font-family:var(--font-sans);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;text-rendering:optimizelegibility;font-kerning:normal;margin:0;font-size:1rem;line-height:1.5}h1,h2,h3,h4,p,figure,blockquote,dl,dd{margin:0}img,svg,canvas,video{max-width:100%;display:block}button,input,select{font:inherit;color:inherit}a{color:inherit}::selection{background:var(--structure-wash);color:var(--ink)}:focus-visible{outline:2px solid var(--structure-mark);outline-offset:3px;border-radius:4px}.sr-only{clip:rect(0 0 0 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.skip{left:var(--s-4);z-index:100;background:var(--ink);color:var(--surface);border-radius:999px;padding:10px 16px;font-weight:600;text-decoration:none;position:absolute;top:-100px}.skip:focus{top:10px}.page{width:100%;max-width:var(--page-max);padding-inline:var(--gutter);margin-inline:auto}.kicker{font-family:var(--font-sans);font-size:var(--t-xs);letter-spacing:.09em;text-transform:uppercase;color:var(--ink-3);font-variant-numeric:tabular-nums;font-weight:600}.mono{font-family:var(--font-mono);font-variant-numeric:tabular-nums}.chips{gap:var(--s-2);flex-wrap:wrap;margin:0;padding:0;list-style:none;display:flex}.chip{background:var(--paper-2);min-height:26px;color:var(--ink-2);font-family:var(--font-sans);letter-spacing:.01em;white-space:nowrap;border-radius:999px;align-items:center;gap:6px;padding:3px 11px;font-size:.8125rem;font-weight:600;line-height:1.2;display:inline-flex}.chip--lang{background:var(--surface);box-shadow:inset 0 0 0 1px var(--line);color:var(--ink-2)}.chip--draft{background:var(--parameter-wash);color:var(--parameter-text);text-transform:uppercase;letter-spacing:.08em;font-size:.6875rem}.chip--active{background:var(--surface);box-shadow:inset 0 0 0 1px var(--line);color:var(--ink-2);min-height:22px;padding:2px 10px;font-size:.75rem}.chip--active .chip__dot{background:var(--ink-3);border-radius:50%;flex:none;width:6px;height:6px}.chip--proof{background:var(--proof-wash);color:var(--proof-text)}.chip--withdrawn{background:var(--withdrawn-wash);color:var(--withdrawn-text)}.chip--structure{background:var(--structure-wash);color:var(--structure-text)}.chip--measured{background:var(--measured-wash);color:var(--measured-text)}.chip--refused{background:var(--refused-hatch), var(--refused-wash);color:var(--refused-text);box-shadow:inset 0 0 0 1px color-mix(in srgb, var(--refused-mark) 50%, transparent)}.pill{background:var(--ink);min-height:46px;color:var(--surface);font-family:var(--font-sans);transition:transform .18s var(--ease-out), box-shadow .18s var(--ease-out), background-color .18s var(--ease-out);border-radius:999px;align-items:center;gap:10px;padding:11px 22px;font-size:1rem;font-weight:600;line-height:1.2;text-decoration:none;display:inline-flex;box-shadow:0 1px 2px #2820142e,0 8px 20px -10px #28201473}.pill:hover{background:#000;transform:translateY(-1px);box-shadow:0 2px 4px #28201433,0 14px 28px -12px #28201480}.pill svg{flex:none;width:16px;height:16px}.textlink{min-height:44px;font-family:var(--font-sans);color:var(--ink);text-decoration:underline;text-decoration-color:var(--line-2);text-underline-offset:4px;transition:text-decoration-color .18s var(--ease-out);align-items:center;gap:6px;font-weight:600;text-decoration-thickness:1px;display:inline-flex}.textlink:hover{text-decoration-color:var(--ink)}.textlink svg{width:15px;height:15px}.topbar{z-index:50;height:var(--bar-h);background:var(--paper);border-bottom:1px solid var(--line);position:sticky;top:0}@supports (backdrop-filter:blur(1px)){.topbar{background:color-mix(in srgb, var(--paper) 94%, transparent);-webkit-backdrop-filter:saturate(1.6)blur(14px)}}.topbar__inner{justify-content:space-between;align-items:center;gap:var(--s-5);height:100%;display:flex}.topbar__brand{letter-spacing:-.015em;min-height:44px;color:var(--ink);align-items:center;gap:10px;font-size:1.0625rem;font-weight:700;text-decoration:none;display:inline-flex}.topbar__brand-mark{width:22px;height:22px}.topbar__nav{align-items:center;gap:var(--s-1);display:flex}.topbar__link{min-height:40px;color:var(--ink-2);transition:background-color .18s var(--ease-out), color .18s var(--ease-out);border-radius:999px;align-items:center;gap:6px;padding:0 12px;font-size:.9375rem;font-weight:500;text-decoration:none;display:inline-flex}.topbar__link:hover{color:var(--ink);background:var(--paper-2)}.topbar__link[aria-current=page]{color:var(--ink)}.topbar__link svg{width:18px;height:18px}@media (width<=520px){.topbar__link--hide-sm{display:none}.topbar__link{padding:0 9px}}.footer{margin-top:var(--s-9);border-top:1px solid var(--line);background:var(--paper)}.footer__inner{justify-content:space-between;align-items:center;gap:var(--s-4) var(--s-6);padding-block:var(--s-6) var(--s-7);flex-wrap:wrap;display:flex}.footer__name{letter-spacing:-.01em;font-weight:700}.footer__line{color:var(--ink-3);font-size:var(--t-s);margin-top:2px}.footer__links{gap:var(--s-1) var(--s-2);flex-wrap:wrap;display:flex}.footer__links a{min-height:40px;color:var(--ink-2);font-weight:500;font-size:var(--t-s);border-radius:999px;align-items:center;padding:0 10px;text-decoration:none;display:inline-flex}.footer__links a:hover{color:var(--ink);background:var(--paper-2)}.prose{font-family:var(--font-serif);font-size:var(--t-body);color:var(--ink);font-variant-numeric:oldstyle-nums proportional-nums;hanging-punctuation:first;min-width:0;line-height:1.68}.prose>*+*{margin-top:1.05em}.prose p{text-wrap:pretty}.prose a:not(.pill){color:inherit;text-decoration:underline;text-decoration-color:color-mix(in srgb, var(--structure-mark) 55%, transparent);text-underline-offset:3px;transition:text-decoration-color .18s var(--ease-out);text-decoration-thickness:1px}.prose a:not(.pill):hover{text-decoration-color:var(--structure-mark)}.prose strong{font-weight:600}.prose h2{font-family:var(--font-sans);font-size:var(--t-xl);letter-spacing:-.028em;border-top:1px solid var(--line);scroll-margin-top:calc(var(--bar-h) + 24px);font-variant-numeric:lining-nums;text-wrap:balance;margin-top:2.6em;padding-top:1.2em;font-weight:700;line-height:1.12}.prose h2:first-child{border-top:0;margin-top:0;padding-top:0}.prose h2 .h-num{margin-bottom:10px;display:block}.prose h3{font-family:var(--font-sans);font-size:var(--t-l);letter-spacing:-.012em;scroll-margin-top:calc(var(--bar-h) + 24px);text-wrap:balance;margin-top:1.9em;font-weight:650;line-height:1.25}.prose h4{font-family:var(--font-sans);margin-top:1.6em;font-size:1.0625rem;font-weight:600}.prose h2+*,.prose h3+*,.prose h4+*{margin-top:.6em}.prose ul,.prose ol{padding-left:1.3em}.prose li+li{margin-top:.35em}.prose li::marker{color:var(--ink-3)}.prose blockquote{border-left:2px solid var(--line-2);color:var(--ink-2);padding-left:1.1em}.prose hr{background:var(--line);border:0;height:1px;margin-block:2.4em}.prose table{border-collapse:collapse;width:100%;font-family:var(--font-sans);font-size:var(--t-s);font-variant-numeric:tabular-nums lining-nums}.prose th,.prose td{text-align:left;border-bottom:1px solid var(--line);vertical-align:top;padding:10px 12px}.prose th{color:var(--ink-2);border-bottom-color:var(--line-2);font-weight:600}.prose .table-wrap{overflow-x:auto}.prose :not(pre)>code{font-family:var(--font-mono);background:var(--paper-2);color:var(--ink);font-variant-numeric:tabular-nums;border-radius:6px;padding:.12em .38em;font-size:.84em}.prose pre,.lean pre{font-family:var(--font-mono);tab-size:2;font-variant-numeric:tabular-nums lining-nums;font-size:.875rem;line-height:1.65}.prose>pre{border-radius:var(--r-m);box-shadow:var(--lift-1);padding:18px 22px;overflow-x:auto;background:var(--surface)!important}pre code{font-family:inherit}.tk-kw{font-weight:600}.tk-decl{font-weight:600;color:var(--structure-text)!important}.tk-sorry{background:var(--withdrawn-wash);border-radius:4px;padding:0 3px;font-weight:600;color:var(--withdrawn-text)!important}.katex{text-rendering:auto;font-size:1.1em}.katex-display{scrollbar-width:thin;margin:1.6em 0;padding:.3em 0;overflow:auto hidden}.katex-display>.katex{font-size:1.22em}.katex .role-structure{color:var(--structure-text)}.katex .role-proof{color:var(--proof-text)}.katex .role-measured{color:var(--measured-text)}.katex .role-baseline{color:var(--baseline-text)}.katex .role-withdrawn{color:var(--withdrawn-text)}.katex .role-parameter{color:var(--parameter-text)}.katex .role-refused{color:var(--refused-text)}.katex .role-neg{color:var(--neg)}.katex .role-pos{color:var(--pos)}@media (prefers-reduced-motion:reduce){*,:before,:after{transition-duration:0s!important;animation-duration:0s!important;animation-iteration-count:1!important}}.footer__licence{color:var(--ink-2);font-size:var(--t-s);margin:var(--s-2) 0 0}.footer__licence a{text-underline-offset:3px}.prose>.plate{margin-block:2.2em}.plate{border-radius:var(--r-m);background:var(--surface);box-shadow:var(--lift-1);font-family:var(--font-sans);font-variant-numeric:lining-nums;scroll-margin-top:calc(var(--bar-h) + 24px);padding:18px 18px 20px;font-size:1rem;line-height:1.5;position:relative}.plate:target{box-shadow:0 0 0 2px var(--structure-mark), var(--lift-2)}.plate__head{flex-wrap:wrap;align-items:baseline;gap:4px 12px;margin:2px 4px 14px;display:flex}.plate__num{font-size:var(--t-xs);letter-spacing:.09em;text-transform:uppercase;color:var(--ink-3);font-variant-numeric:tabular-nums;font-weight:700}.plate__title{letter-spacing:-.012em;color:var(--ink);font-size:1.0625rem;font-weight:650}.plate__legend{flex-wrap:wrap;gap:8px 18px;margin:16px 4px 0;padding:0;list-style:none;display:flex}.plate__legend li{color:var(--ink-2);align-items:center;gap:8px;font-size:.875rem;line-height:1.35;display:inline-flex}.swatch{background:var(--sw);border-radius:4px;flex:none;width:12px;height:12px;box-shadow:inset 0 0 0 1px #2820141f}.swatch--line{width:16px;height:3px;box-shadow:none;border-radius:2px}.swatch--ramp{border-radius:3px;width:34px;height:8px}.plate__cap{max-width:68ch;font-family:var(--font-serif);color:var(--ink-2);text-wrap:pretty;margin:14px 4px 0;font-size:1rem;line-height:1.6}.plate__cap strong{color:var(--ink);font-weight:600}.plate__cap .katex{font-size:1.05em}.lg{font-weight:600}.lg--structure{color:var(--structure-text)}.lg--proof{color:var(--proof-text)}.lg--measured{color:var(--measured-text)}.lg--baseline{color:var(--baseline-text)}.lg--withdrawn{color:var(--withdrawn-text)}.lg--parameter{color:var(--parameter-text)}.lg--refused{color:var(--refused-text)}.swatch--hatch{background:var(--refused-hatch), var(--refused-wash);box-shadow:inset 0 0 0 1px var(--refused-mark)}.hatch{background:var(--refused-hatch), var(--refused-wash)}.lg--neg{color:var(--neg)}.lg--pos{color:var(--pos)}.stage{outline-offset:4px;border-radius:10px;position:relative}.stage__box{width:100%;aspect-ratio:var(--ar,4 / 3);background:var(--surface);isolation:isolate;contain:layout paint;border-radius:10px;position:relative;overflow:hidden}.stage--studio .stage__box{background:radial-gradient(120% 85% at 50% 30%, var(--surface) 0%, color-mix(in srgb, var(--paper-2) 55%, var(--surface)) 100%)}.stage__still,.stage__canvas,.stage__overlay{width:100%;height:100%;position:absolute;inset:0}.stage__still{transition:opacity .32s var(--ease-out);place-items:center;display:grid}.stage__still>img,.stage__still>svg{object-fit:contain;width:100%;height:100%}.stage__canvas{opacity:0;transition:opacity .32s var(--ease-out)}.stage.is-ready .stage__canvas{opacity:1}.stage.is-ready .stage__still{opacity:0;pointer-events:none}.stage__overlay{pointer-events:none;z-index:2;overflow:hidden}.stage__overlay>*{pointer-events:none}.stage__overlay .is-live{pointer-events:auto}.stage:not(.is-ready) .stage__overlay .lbl[data-live]{visibility:hidden}.stage__busy{z-index:3;border:2px solid var(--line);border-top-color:var(--ink-3);opacity:0;border-radius:50%;width:18px;height:18px;position:absolute;bottom:12px;right:12px}@media (prefers-reduced-motion:no-preference){.stage[data-loading] .stage__busy{animation:1ms .4s forwards busy-in,.9s linear .4s infinite busy-spin}@keyframes busy-in{to{opacity:.8}}@keyframes busy-spin{to{transform:rotate(360deg)}}}.stage.is-ready .stage__busy,.stage.is-fallback .stage__busy{display:none}.stage__fallback{z-index:3;background:var(--paper-2);color:var(--ink-3);font-size:var(--t-xs);border-radius:999px;padding:4px 10px;font-weight:600;display:none;position:absolute;bottom:12px;left:12px}.stage.is-fallback .stage__fallback{display:block}.stage.is-fallback .stage__dock{display:none}.lbl{white-space:nowrap;font-family:var(--font-sans);color:var(--ink-2);font-variant-numeric:tabular-nums lining-nums;will-change:transform;font-size:.8125rem;font-weight:500;line-height:1.25;position:absolute;top:0;left:0}.lbl.mono{font-family:var(--font-mono);font-size:.75rem;font-weight:400}.lbl.strong{color:var(--ink);font-size:.875rem;font-weight:650}.lbl.muted{color:var(--ink-3)}.lbl.tick{color:var(--ink-3);font-size:.6875rem}.lbl.axis{color:var(--ink-3);letter-spacing:.02em;font-size:.75rem;font-weight:600}.lbl.halo{text-shadow:0 0 3px var(--surface), 0 0 6px var(--surface), 0 0 10px var(--surface)}.lbl.role-structure{color:var(--structure-text)}.lbl.role-proof{color:var(--proof-text)}.lbl.role-measured{color:var(--measured-text)}.lbl.role-baseline{color:var(--baseline-text)}.lbl.role-withdrawn{color:var(--withdrawn-text)}.lbl.role-parameter{color:var(--parameter-text)}.lbl.role-refused{color:var(--refused-text)}.lbl.role-neg{color:var(--neg)}.lbl.role-pos{color:var(--pos)}.readout{background:color-mix(in srgb, var(--surface) 90%, transparent);box-shadow:var(--lift-1);white-space:normal;border-radius:12px;gap:2px;padding:10px 13px 11px;display:grid}@supports (backdrop-filter:blur(1px)){.readout{-webkit-backdrop-filter:blur(8px)}}.readout__k{font-family:var(--font-sans);letter-spacing:.08em;text-transform:uppercase;color:var(--ink-3);font-size:.6875rem;font-weight:700}.readout__v{font-family:var(--font-mono);color:var(--ink);letter-spacing:-.01em;font-size:1.375rem;font-weight:600;line-height:1.15}.readout__s{font-family:var(--font-mono);color:var(--ink-3);font-size:.6875rem}.scalebar{white-space:normal;gap:4px;display:grid}.scalebar__label{letter-spacing:.08em;text-transform:uppercase;color:var(--ink-3);font-size:.6875rem;font-weight:700}.scalebar__ramp{border-radius:3px;height:8px;display:block;box-shadow:inset 0 0 0 1px #2820141a}.scalebar__ticks{font-family:var(--font-mono);color:var(--ink-3);justify-content:space-between;font-size:.6875rem;display:flex}.stage__dock:empty{display:none}.stage__dock{gap:10px;margin-top:14px;padding-inline:4px;display:grid}.stage__transport{align-items:center;gap:12px;min-height:40px;display:flex}.stage__params{grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:8px 24px;display:grid}.stage__params:empty{display:none}.tbtn{background:var(--ink);width:40px;height:40px;color:var(--surface);cursor:pointer;transition:transform .18s var(--ease-out), background-color .18s var(--ease-out);border:0;border-radius:50%;flex:none;place-items:center;display:inline-grid;box-shadow:0 1px 2px #28201433}.tbtn:hover{background:#000;transform:scale(1.04)}.tbtn svg{width:16px;height:16px}.tbtn .i-play{display:none}.tbtn[data-state=paused] .i-play{display:block}.tbtn[data-state=paused] .i-pause{display:none}.stage__time{text-align:right;min-width:6.2em;font-family:var(--font-mono);color:var(--ink-3);font-variant-numeric:tabular-nums;flex:none;font-size:.75rem}.ctl{min-height:40px;color:var(--ink-2);grid-template-columns:auto minmax(80px,1fr) auto;align-items:center;gap:12px;font-size:.875rem;display:grid}.ctl__label{white-space:nowrap;font-weight:500}.ctl__out{text-align:right;min-width:3.5em;font-family:var(--font-mono);color:var(--parameter-text);font-variant-numeric:tabular-nums;font-size:.8125rem;font-weight:600}.ctl--toggle{cursor:pointer;grid-template-columns:auto 1fr}.ctl__check{width:18px;height:18px;accent-color:var(--parameter-mark)}.ctl__btn{background:var(--paper-2);min-height:36px;color:var(--ink);cursor:pointer;border:0;border-radius:999px;padding:6px 14px;font-size:.875rem;font-weight:600}.ctl__btn:hover{background:var(--line)}.ctl__range,.scrub{--fill:0%;-webkit-appearance:none;appearance:none;cursor:pointer;background:0 0;width:100%;height:28px;margin:0}.ctl__range::-webkit-slider-runnable-track,.scrub::-webkit-slider-runnable-track{background:linear-gradient(90deg, var(--parameter-mark) var(--fill), var(--line) var(--fill));border-radius:4px;height:4px}.ctl__range::-moz-range-track,.scrub::-moz-range-track{background:var(--line);border-radius:4px;height:4px}.ctl__range::-moz-range-progress,.scrub::-moz-range-progress{background:var(--parameter-mark);border-radius:4px;height:4px}.ctl__range::-webkit-slider-thumb,.scrub::-webkit-slider-thumb{-webkit-appearance:none;appearance:none;background:var(--surface);width:18px;height:18px;transition:transform .18s var(--ease-out);border-radius:50%;margin-top:-7px;box-shadow:0 0 0 1px #28201429,0 1px 3px #28201440}.ctl__range::-moz-range-thumb,.scrub::-moz-range-thumb{background:var(--surface);border:0;border-radius:50%;width:18px;height:18px;box-shadow:0 0 0 1px #28201429,0 1px 3px #28201440}.ctl__range:active::-webkit-slider-thumb,.scrub:active::-webkit-slider-thumb{transform:scale(1.12)}.ctl__range:focus-visible,.scrub:focus-visible{outline:none}.ctl__range:focus-visible::-webkit-slider-thumb,.scrub:focus-visible::-webkit-slider-thumb{box-shadow:0 0 0 2px var(--surface), 0 0 0 4px var(--structure-mark)}.ctl__range:focus-visible::-moz-range-thumb,.scrub:focus-visible::-moz-range-thumb{box-shadow:0 0 0 2px var(--surface), 0 0 0 4px var(--structure-mark)}.stage__hint{font-size:var(--t-xs);color:var(--ink-3);white-space:nowrap;margin-left:auto}@media (width<=520px){.stage__hint{display:none}.plate{padding:14px 12px 16px}}.stage--thumb .stage__dock{display:none}.stage--thumb .stage__canvas{pointer-events:none}.prose>.lean,.prose>.callout,.prose>.measured,.prose>.withdrawn,.prose>.upstream,.prose>.eq,.prose>.viewmore,.prose>.measured-row{margin-block:2em}.lean{border-radius:var(--r-m);background:var(--surface);box-shadow:var(--lift-1);font-family:var(--font-sans);font-size:1rem;line-height:1.5;overflow:hidden}.lean__head{border-bottom:1px solid var(--line);flex-wrap:wrap;align-items:center;gap:8px 12px;padding:14px 18px 12px;display:flex}.lean__kind{margin-right:-4px}.lean__name{font-family:var(--font-mono);color:var(--structure-text);overflow-wrap:anywhere;font-size:.9375rem;font-weight:600}.lean__prov{min-height:32px;font-family:var(--font-mono);color:var(--ink-3);font-variant-numeric:tabular-nums;align-items:center;gap:6px;margin-left:auto;font-size:.75rem;text-decoration:none;display:inline-flex}.lean__prov:hover{color:var(--ink);text-underline-offset:3px;text-decoration:underline}.lean__prov svg{width:12px;height:12px}.lean__body pre{margin:0;padding:16px 18px 18px;overflow-x:auto;background:var(--surface)!important}.lean__says{border-top:1px solid var(--line);font-family:var(--font-serif);color:var(--ink-2);padding:12px 18px 16px;font-size:1rem;line-height:1.55}.lean__says b{font-family:var(--font-sans);font-size:var(--t-xs);letter-spacing:.09em;text-transform:uppercase;color:var(--proof-text);margin-right:6px;font-weight:700}.lean--unfinished .lean__says b{color:var(--withdrawn-text)}.callout{border-radius:var(--r-m);background:var(--surface);box-shadow:var(--lift-1);padding:18px 22px 20px 26px;position:relative;overflow:hidden}.callout:before{content:"";background:var(--bar,var(--line-2));width:3px;position:absolute;top:0;bottom:0;left:0}.callout__head{font-family:var(--font-sans);flex-wrap:wrap;align-items:center;gap:6px 10px;margin-bottom:8px;display:flex}.callout__kicker{color:var(--kick,var(--ink-3))}.callout__title{letter-spacing:-.01em;color:var(--ink);font-size:1.0625rem;font-weight:650}.callout__body>*+*{margin-top:.8em}.callout__body{font-size:1.0625rem;line-height:1.62}.callout__body .katex-display{margin:1em 0}.callout--definition{--bar:var(--structure-mark);--kick:var(--structure-text)}.callout--proved{--bar:var(--proof-mark);--kick:var(--proof-text)}.callout--measured{--bar:var(--measured-mark);--kick:var(--measured-text)}.callout--withdrawn{--bar:var(--withdrawn-mark);--kick:var(--withdrawn-text)}.callout--refused{--bar:var(--refused-mark);--kick:var(--refused-text)}.callout:target{box-shadow:0 0 0 2px var(--structure-mark), var(--lift-2)}.measured{border-radius:var(--r-m);background:var(--surface);box-shadow:var(--lift-1);font-family:var(--font-sans);padding:22px 24px 20px;font-size:1rem;line-height:1.5}.measured:target{box-shadow:0 0 0 2px var(--measured-mark), var(--lift-2)}.measured__kicker{color:var(--measured-text)}.measured__value{letter-spacing:-.04em;font-variant-numeric:tabular-nums lining-nums;color:var(--ink);overflow-wrap:anywhere;margin-top:8px;font-size:clamp(2.25rem,1.6rem + 2.4vw,3.25rem);font-weight:800;line-height:1.02;display:block}.measured__value--long{letter-spacing:-.03em;font-size:clamp(1.75rem,1.2rem + 1.6vw,2.5rem)}.measured__value--xlong{letter-spacing:-.02em;font-size:clamp(1.375rem,1.05rem + 1vw,1.875rem);line-height:1.15}.measured__label{color:var(--ink);max-width:52ch;margin-top:8px;font-size:1.0625rem;font-weight:550;line-height:1.4;display:block}.measured__rows{border-top:1px solid var(--line);gap:6px;margin:14px 0 0;padding-top:12px;display:grid}.measured__row{grid-template-columns:6.5em 1fr;gap:12px;font-size:.875rem;line-height:1.5;display:grid}.measured__row dt{font-size:var(--t-xs);letter-spacing:.08em;text-transform:uppercase;color:var(--ink-3);padding-top:2px;font-weight:700}.measured__row dd{color:var(--ink-2);font-variant-numeric:tabular-nums lining-nums;overflow-wrap:anywhere;margin:0}.measured__row--control dt{color:var(--baseline-text)}.measured__row .mono{font-size:.8125rem}.measured__row a{color:inherit;text-decoration:underline;text-decoration-color:var(--line-2);text-underline-offset:3px}.measured__row a:hover{text-decoration-color:var(--ink)}.measured--small{padding:14px 16px}.measured--small .measured__value{font-size:1.5rem}.measured-row{gap:var(--s-4);grid-template-columns:repeat(auto-fit,minmax(240px,1fr));display:grid}.measured-row>.measured{margin:0}.prose>.is-wide.measured-row{margin-right:calc(-1 * (var(--margin-w) + var(--col-gap)))}.vviz{max-width:320px;font-family:var(--font-mono);margin-top:10px}.vviz__track,.vviz__lane{background:var(--paper-2);box-shadow:inset 0 0 0 1px var(--line);border-radius:999px;display:block;position:relative;overflow:hidden}.vviz__track{height:8px}.vviz__lane{height:10px}.vviz__fill{width:var(--w);background:var(--measured-mark);border-radius:999px;position:absolute;top:0;bottom:0;left:0}.vviz__tick{top:0;bottom:0;left:var(--x);background:var(--line-2);width:1px;position:absolute}.vviz--arrow{grid-template-columns:minmax(0,1fr) max-content;align-items:center;gap:6px 10px;display:grid}.vviz__fill--from{background:var(--baseline-mark)}.vviz__fill--to{background:var(--measured-mark)}.vviz__num{white-space:nowrap;font-variant-numeric:tabular-nums lining-nums;font-size:.75rem;line-height:1}.vviz__num--from{color:var(--baseline-text)}.vviz__num--to{color:var(--measured-text)}.vviz__note{font-family:var(--font-sans);font-size:var(--t-xs);color:var(--ink-3);grid-column:1/-1;line-height:1.2}.vviz--grow .vviz__fill{width:0}.vviz--grow.vviz--in .vviz__fill{width:var(--w);transition:width .9s var(--ease-out)}.stat{gap:2px;min-width:0;display:grid}.stat__value{font-family:var(--font-sans);letter-spacing:-.035em;font-variant-numeric:tabular-nums lining-nums;color:var(--ink);overflow-wrap:anywhere;font-size:1.75rem;font-weight:800;line-height:1.05}.stat__label{font-family:var(--font-sans);color:var(--ink-2);font-size:.875rem;line-height:1.35}.stat__ctl{font-family:var(--font-sans);color:var(--ink-3);font-size:.8125rem;line-height:1.35}.stat__ctl b{color:var(--baseline-text);font-weight:600}.prose>.stat{border-radius:var(--r-m);background:var(--surface);box-shadow:var(--lift-1);margin-block:1.6em;padding:16px 18px}.withdrawn{border-radius:var(--r-m);background:var(--surface);box-shadow:var(--lift-1);font-family:var(--font-sans);padding:20px 24px 22px;font-size:1rem;line-height:1.5}.withdrawn__head{flex-wrap:wrap;align-items:center;gap:8px 12px;display:flex}.withdrawn__head .kicker{color:var(--withdrawn-text)}.withdrawn__list{gap:14px;margin:14px 0 0;padding:0;list-style:none;display:grid}.withdrawn__item{grid-template-columns:18px 1fr;gap:12px;display:grid}.withdrawn__glyph{width:16px;height:16px;margin-top:4px}.withdrawn__claim{font-family:var(--font-serif);color:var(--ink);font-size:1.0625rem;line-height:1.5}.withdrawn__by{color:var(--ink-3);margin-top:4px;font-size:.875rem;line-height:1.5}.withdrawn__by b{color:var(--ink-2);font-weight:600}.withdrawn__by a{color:inherit;text-underline-offset:3px}.withdrawn__note{border-top:1px solid var(--line);font-family:var(--font-serif);color:var(--ink-2);margin-top:14px;padding-top:12px}.upstream{border-radius:var(--r-m);background:var(--surface);box-shadow:var(--lift-1);font-family:var(--font-sans);transition:box-shadow .18s var(--ease-out), transform .18s var(--ease-out);gap:10px;padding:20px 24px 22px;font-size:1rem;line-height:1.5;display:grid}.upstream:hover{box-shadow:var(--lift-2)}.upstream__head{align-items:center;gap:10px;min-width:0;display:flex}.upstream__mark{object-fit:contain;background:var(--surface);border-radius:6px;flex:none;width:24px;height:24px}.upstream__prov{font-family:var(--font-mono);color:var(--ink-3);font-variant-numeric:tabular-nums;overflow-wrap:anywhere;font-size:.75rem}.upstream__prov b{color:var(--proof-text);font-weight:600}.upstream__title{letter-spacing:-.012em;color:var(--ink);font-size:1.1875rem;font-weight:650;line-height:1.3}.upstream__title a{color:inherit;text-decoration:none}.upstream__title a:hover{text-underline-offset:3px;text-decoration:underline 1px}.upstream__result{color:var(--ink);font-size:.9375rem}.upstream__result b{color:var(--measured-text);font-variant-numeric:tabular-nums lining-nums;font-weight:700}.upstream__idea{font-family:var(--font-serif);color:var(--ink-2);font-size:1rem;line-height:1.55}.upstream__links{flex-wrap:wrap;gap:4px 16px;font-size:.875rem;display:flex}.upstream__links a{min-height:32px;color:var(--ink-2);text-decoration:underline;text-decoration-color:var(--line-2);text-underline-offset:4px;align-items:center;font-weight:600;display:inline-flex}.upstream__links a:hover{color:var(--ink);text-decoration-color:var(--ink)}.eq{gap:14px;display:grid}.eq__row{grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:16px;display:grid}.eq__math .katex-display{margin:.4em 0}.eq__num{font-family:var(--font-mono);color:var(--ink-3);font-variant-numeric:tabular-nums;font-size:.8125rem}.eq__num a{color:inherit;text-decoration:none}.eq__symbols{border-radius:var(--r-s);background:color-mix(in srgb, var(--paper-2) 55%, transparent);grid-template-columns:max-content 1fr;gap:4px 14px;margin:0;padding:12px 16px;font-size:.9375rem;line-height:1.5;display:grid}.eq__symbols dt{text-align:right}.eq__symbols dd{color:var(--ink-2);margin:0}.eq__measured{font-family:var(--font-sans);color:var(--measured-text);font-size:.875rem;font-weight:600}.eq__measured a{color:inherit;text-underline-offset:3px}.eq>.plate{margin:0}.viewmore{flex-wrap:wrap;align-items:center;gap:8px 22px;display:flex}.viewmore__host{opacity:.7;font-size:.875rem;font-weight:500}@media (width<=520px){.viewmore__host{display:none}}.prose>.viewmore,.essay-end .viewmore{border-radius:var(--r-l);background:var(--surface);box-shadow:var(--lift-2);padding:22px 24px}.prose:has(>.viewmore)>.essay-end{display:none}.cite{border-radius:var(--r-m);background:var(--surface);box-shadow:var(--lift-1);font-family:var(--font-sans);font-size:var(--t-s);margin-block:3em 0;padding:20px 22px 22px;line-height:1.5}.cite .cite__title{font-family:var(--font-sans);letter-spacing:-.012em;border:0;margin:0;padding:0;font-size:1.375rem;font-weight:650;line-height:1.25}.cite__lead{color:var(--ink-2);margin-top:4px}.cite__lead a{color:var(--structure-text);text-underline-offset:3px}.cite__item{margin-top:var(--s-4)}.cite__head{justify-content:space-between;align-items:center;gap:var(--s-3);min-height:44px;display:flex}.cite__copy{cursor:pointer;background:var(--paper-2);min-height:44px;color:var(--ink);font-weight:600;font-size:var(--t-s);border:0;border-radius:999px;padding:0 16px}.cite__copy:hover{background:var(--line)}.cite__text,.cite__bib{border-radius:var(--r-s);background:var(--paper);box-shadow:inset 0 0 0 1px var(--line);margin:0;padding:12px 14px}.cite__text{font-family:var(--font-serif);color:var(--ink);overflow-wrap:anywhere;font-size:1rem;line-height:1.55}.cite__bib{font-family:var(--font-mono);white-space:pre;tab-size:2;font-size:.8125rem;line-height:1.65;overflow-x:auto}.cite__text:focus-visible,.cite__bib:focus-visible{outline-offset:2px}.inone{border-radius:var(--r-m);background:var(--surface);box-shadow:var(--lift-1);margin-block:0 2em;padding:16px 20px 18px}.inone__body{font-family:var(--font-serif);color:var(--ink-2);margin:6px 0 0;font-size:1.0625rem;line-height:1.6}.attr{padding-block:var(--s-8) var(--s-4)}.attr .prose{max-width:68ch;margin-inline:auto}.attr__title{margin-top:var(--s-3);font-size:var(--t-xl);letter-spacing:-.028em;text-wrap:balance;font-weight:700;line-height:1.12}.attr__lead{color:var(--ink);font-size:1.25rem;line-height:1.55}.attr .cite{margin-block:var(--s-5) 0}