@font-face{font-family:SourceSerif4;src:url(/fonts/SourceSerif4-Regular.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:SourceSerif4;src:url(/fonts/SourceSerif4-Semibold.woff2)format("woff2");font-weight:600;font-style:normal;font-display:swap}@font-face{font-family:SohneMono;src:local(TestSohneMono-Buch);font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:ServerMono;src:url(/fonts/ServerMono-Regular.woff2)format("woff2"),url(/fonts/ServerMono-Regular.woff)format("woff");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:SourceSans3;src:url(/fonts/SourceSans3-Latin.woff2)format("woff2");font-weight:200 900;font-style:normal;font-display:swap}*,:before,:after{box-sizing:border-box}html,body,h1,h2,p,ul,li,header,main,footer,section,nav{margin:0;padding:0}:root{--ansi-0-black:#000;--ansi-15-white:#fff;--ansi-true-blue:#006cdb;--ansi-240-gray-35:#585858;--ansi-248-gray-66:#a8a8a8;--ansi-251-gray-78:#c6c6c6;--ansi-254-gray-89:#e4e4e4;--ansi-237-gray-23:#3a3a3a;--ansi-235-gray-15:#262626;--ansi-255-gray-93:#eee;--font-text:"SourceSerif4", Georgia, "Times New Roman", serif;--font-title:"SourceSans3", "Helvetica Neue", Arial, sans-serif;--font-mono:"SohneMono", "ServerMono", ui-monospace, "SF Mono", Consolas, monaco, monospace;--font-size:16px;--unit:.5rem;--lh:1.5rem;--t-h1:2rem;--lh-h1:2.5rem;--t-h3:1.125rem;--lh-h3:1.5rem;--t-body:1rem;--t-sm:.875rem;--t-meta:.8125rem;--w-regular:400;--w-medium:500;--w-semi:600;--measure:36rem;--gutter:1.5rem;--theme-background:var(--ansi-15-white);--theme-text:var(--ansi-0-black);--theme-text-subdued:var(--theme-text);--theme-bar:var(--ansi-240-gray-35);--theme-border:var(--ansi-254-gray-89);--theme-border-strong:var(--ansi-251-gray-78);--theme-background-input:var(--ansi-255-gray-93);--theme-focused-foreground:var(--ansi-true-blue);--theme-focused-text:var(--ansi-15-white);color-scheme:light dark}@media (prefers-color-scheme:dark){:root{--theme-background:var(--ansi-0-black);--theme-text:var(--ansi-15-white);--theme-bar:var(--ansi-248-gray-66);--theme-border:var(--ansi-237-gray-23);--theme-border-strong:var(--ansi-240-gray-35);--theme-background-input:var(--ansi-235-gray-15)}}html,body{background:var(--theme-background);color:var(--theme-text);-webkit-text-size-adjust:100%;text-size-adjust:100%;font-family:var(--font-text);font-size:var(--font-size);line-height:var(--lh);font-weight:var(--w-regular);font-variant-numeric:lining-nums;text-rendering:optimizelegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}body{flex-direction:column;min-height:round(down,100svh,.5rem);display:flex;overflow-x:hidden}h1{font-family:var(--font-text);font-size:var(--t-h1);line-height:var(--lh-h1);font-weight:var(--w-semi);letter-spacing:0;text-wrap:balance;max-width:var(--measure)}p{overflow-wrap:break-word;text-wrap:pretty;max-width:var(--measure)}strong{font-weight:var(--w-semi)}a{color:var(--theme-text);text-underline-offset:.18em;text-decoration:underline 1px;text-decoration-color:var(--theme-border-strong)}a:focus,a:active{background:var(--theme-focused-foreground);color:var(--theme-focused-text);outline:0;text-decoration-color:#0000}@media (hover:hover){a:hover{background:var(--theme-focused-foreground);color:var(--theme-focused-text);outline:0;text-decoration-color:#0000}}:focus-visible{outline:2px solid var(--theme-focused-foreground);outline-offset:2px}::selection{background:var(--theme-focused-foreground);color:var(--theme-focused-text)}svg{display:block}.mono{font-family:var(--font-mono);font-variant-numeric:tabular-nums lining-nums}.muted{color:var(--theme-text-subdued)}.page{width:100%;max-width:calc(var(--measure) + var(--gutter) * 2);padding:var(--lh) var(--gutter);padding-left:max(var(--gutter), env(safe-area-inset-left));padding-right:max(var(--gutter), env(safe-area-inset-right));margin-inline:auto}:root{--site-header-height:81.4px;--navigation-strip:14.8px;--navigation-gutter:clamp(24px, 2.03vw, 29.6px);--navigation-accent:#6b0064;--navigation-slate:#515765}html{scroll-padding-top:calc(var(--site-header-height) + 16px)}.site-header{z-index:20;width:100%;height:var(--site-header-height);border-top:var(--navigation-strip) solid var(--navigation-accent);background:var(--theme-background);color:var(--theme-text);flex-shrink:0;transition:background-color .2s,color .2s;position:sticky;top:0}.site-header:not([data-nav-ready]){position:relative}.site-header[data-surface=slate]{--theme-background:#515765;--theme-text:#fff;--theme-focused-foreground:#fff;--theme-focused-text:#515765}.site-header[data-scrolled]{box-shadow:0 1px color-mix(in srgb, currentColor 15%, transparent)}.site-header__inner{height:100%;padding-inline:max(var(--navigation-gutter), env(safe-area-inset-left)) max(var(--navigation-gutter), env(safe-area-inset-right));justify-content:space-between;align-items:center;gap:29.6px;display:flex}.brand{min-height:40px;color:inherit;flex-shrink:0;align-items:center;gap:8px;text-decoration:none;transition:opacity .24s,visibility .24s;display:inline-flex}.brand__mark{flex-shrink:0;width:auto;height:20px}.brand__name{font:400 28px/32px var(--font-text);letter-spacing:-.04em}.site-header[data-nav-ready][data-wordmark-visible] .brand{opacity:0;visibility:hidden}.site-header__desktop{align-items:center;gap:29.6px;margin-left:auto;display:flex}.site-nav__links{align-items:center;gap:29.6px;list-style:none;display:flex}.site-nav__links a{min-height:66.6px;color:inherit;font:500 16.65px/19.98px var(--font-title);white-space:nowrap;opacity:.6;align-items:center;text-decoration:none;transition:opacity .3s;display:flex}.site-action{background:var(--theme-text);width:130.6px;height:38.85px;color:var(--theme-background);font:600 16px/16px var(--font-title);letter-spacing:normal;white-space:nowrap;flex-shrink:0;justify-content:center;align-items:center;padding:0 18.5px;text-decoration:none;transition:background-color .2s,color .2s;display:inline-flex}.site-header a:focus-visible,.site-footer a:focus-visible,.site-action:focus-visible{outline-offset:4px;outline:2px solid}.site-nav__links a:focus,.site-nav__links a:active,.brand:focus,.brand:active{color:inherit;opacity:1;background:0 0}.site-action:focus,.site-action:active{background:var(--theme-focused-foreground);color:var(--theme-focused-text)}.site-skip{top:8px;left:var(--gutter);z-index:2;font:400 16px/24px var(--font-title);padding:8px 16px;position:absolute;transform:translateY(-200%)}.site-skip:focus{transform:none}.site-menu{display:none}.site-menu__toggle{cursor:pointer;justify-content:center;align-items:center;width:44px;height:44px;list-style:none;display:flex}.site-menu__toggle::-webkit-details-marker{display:none}.site-menu__icon{border-block:1px solid;width:20px;height:12px;position:relative}.site-menu[open] .site-menu__icon{border:0}.site-menu[open] .site-menu__icon:before,.site-menu[open] .site-menu__icon:after{content:"";background:currentColor;width:20px;height:1px;position:absolute;top:50%;left:0;transform:rotate(45deg)}.site-menu[open] .site-menu__icon:after{transform:rotate(-45deg)}.site-menu__close-label,.site-menu[open] .site-menu__open-label{display:none}.site-menu[open] .site-menu__close-label{display:block}@media (hover:hover){.site-nav__links a:hover,.brand:hover{color:inherit;opacity:1;background:0 0}.site-action:hover{background:var(--theme-focused-foreground);color:var(--theme-focused-text)}}@media (width<=44rem){:root{--site-header-height:59.2px;--navigation-strip:7px;--navigation-gutter:19.4px}.site-header__desktop{display:none}.site-menu{margin-left:auto;display:block}.site-menu__toggle{margin-right:-12px}.site-header:has(.site-menu[open]){--theme-background:var(--navigation-slate);--theme-text:#fff;--theme-focused-foreground:#fff;--theme-focused-text:var(--navigation-slate);background:var(--navigation-slate);color:#fff;box-shadow:none}html:has(.site-menu[open]){overflow:hidden}.site-menu__panel{inset:var(--site-header-height) 0 0;height:calc(100svh - var(--site-header-height));height:calc(100dvh - var(--site-header-height));overscroll-behavior:contain;padding:32px max(var(--gutter), env(safe-area-inset-right)) max(24px, env(safe-area-inset-bottom)) max(var(--gutter), env(safe-area-inset-left));background:var(--navigation-slate);color:#fff;flex-direction:column;align-items:flex-start;display:flex;position:fixed;overflow-y:auto}.site-menu__panel .site-nav__links{flex-direction:column;align-items:stretch;gap:16px;width:100%;margin-top:auto}.site-menu__panel .site-nav__links a{min-height:56px;font:400 clamp(28px, 8vw, 40px)/48px var(--font-text);white-space:normal;opacity:1}.site-menu__panel .site-action{color:#151515;background:#fff;flex-shrink:0;margin-top:24px}}@media (prefers-reduced-motion:reduce){.site-header,.brand,.site-nav__links a,.site-action{transition:none}}@media print{.site-header{border:0;position:static}.site-header__desktop,.site-menu,.site-skip{display:none}.site-header[data-nav-ready][data-wordmark-visible] .brand{opacity:1;visibility:visible}}.landing-page{--landing-section-gap:calc(var(--unit) * 24);--landing-copy-size:20px;--landing-copy-leading:32px;--landing-section-size:32px;--landing-section-leading:40px;--landing-lead-size:clamp(32px, 2.9vw, 42px);--landing-lead-leading:48px}.title-hero,.opening-hero{--theme-background:var(--panel-slate);--theme-text:#fff;--theme-text-subdued:#fff;--theme-border-strong:#fff;--theme-focused-foreground:#fff;--theme-focused-text:var(--panel-slate);color:var(--theme-text);background:var(--theme-background);margin:0}.title-hero__page{width:100%;max-width:calc(64rem + var(--gutter) * 2);margin-inline:auto}.title-hero__body{padding:calc(var(--landing-section-gap) / 2) var(--gutter);padding-left:max(var(--gutter), env(safe-area-inset-left));padding-right:max(var(--gutter), env(safe-area-inset-right));flex-direction:column;display:flex}.title-hero__intro{grid-template-columns:minmax(0,1.4fr) minmax(0,1fr);align-items:start;gap:64px;display:grid}.title-hero__intro h2{max-width:none;font:600 56px/64px var(--font-title);letter-spacing:-.02em;text-wrap:balance;margin:0}.title-hero__intro p{max-width:none;font:400 var(--landing-copy-size)/var(--landing-copy-leading) var(--font-text);margin:0}.title-hero__copy p+p{margin-top:24px}.harness-illustration{width:100%;color:var(--theme-text);margin:48px 0 0}.harness-illustration svg{width:100%;height:auto;overflow:visible}.harness-illustration__model{stroke:currentColor;stroke-width:1px;stroke-linecap:round;stroke-linejoin:round}.harness-illustration__model path{vector-effect:non-scaling-stroke}.harness-illustration__model .harness-illustration__detail{stroke-width:.65px}.harness-illustration__model .harness-illustration__cord{stroke-width:.75px}.harness-illustration__model .harness-illustration__weave{stroke:none;fill:currentColor}.harness-illustration figcaption{font:400 var(--t-sm)/var(--lh) var(--font-title);flex-wrap:wrap;justify-content:flex-end;align-items:baseline;gap:8px 24px;margin-top:8px;display:flex}.harness-illustration figcaption a{text-decoration-color:currentColor}.harness-illustration .proof-panel__read-more{white-space:nowrap}@media (width<=44rem){.landing-page{--landing-section-gap:calc(var(--unit) * 16);--landing-copy-size:18px;--landing-section-size:28px;--landing-section-leading:32px;--landing-lead-size:32px;--landing-lead-leading:40px}.title-hero__body{gap:64px}.title-hero__intro{grid-template-columns:minmax(0,1fr);gap:24px}.title-hero__intro h2{max-width:20ch;font-size:clamp(32px,9vw,44px);line-height:48px}.harness-illustration{margin-top:0}.harness-illustration svg{width:calc(100% + 32px);max-width:none;margin-inline:-16px}.harness-illustration figcaption{font-size:15px}.harness-illustration__model{stroke-width:.8px}.harness-illustration__model .harness-illustration__detail,.harness-illustration__model .harness-illustration__cord{stroke-width:.4px}}.brand-frame{width:100%;max-width:calc(80rem + var(--gutter) * 2);padding-inline:max(var(--gutter), env(safe-area-inset-left)) max(var(--gutter), env(safe-area-inset-right));margin-inline:auto;container-type:inline-size}.display-wordmark{max-width:none;font:400 34cqw/1.16 var(--font-text);letter-spacing:-.01em;text-wrap:nowrap;margin:0;display:block}.opening-hero{padding-block:0 calc(var(--landing-section-gap) / 2);display:flow-root}.opening-hero .display-wordmark{margin-top:calc(40px - 6.25cqw)}.opening-hero__intro{width:100%;max-width:calc(64rem + var(--gutter) * 2);padding-inline:max(var(--gutter), env(safe-area-inset-left)) max(var(--gutter), env(safe-area-inset-right));grid-template-columns:minmax(0,1.4fr) minmax(0,1fr);column-gap:64px;margin:32px auto 0;display:grid}.opening-hero__intro p{max-width:none;font:400 var(--landing-lead-size)/var(--landing-lead-leading) var(--font-text);text-wrap:pretty}.opening-hero__intro .site-action{grid-column:1;justify-self:start;margin-top:32px}.opening-hero__signature{filter:brightness(0)invert();grid-area:1/2/span 2;place-self:center end;width:100%;max-width:24rem;height:auto}@media (width<=44rem){.opening-hero{padding-top:48px}.opening-hero .display-wordmark{margin-top:0}.opening-hero__intro{grid-template-columns:minmax(0,1fr);margin-top:40px}.opening-hero__intro .site-action{margin-top:24px}.opening-hero__signature{grid-area:3/1;justify-self:center;width:80%;margin-top:56px}}.main{padding-top:calc(var(--lh) * 3)}.landing-page .main{max-width:none;padding:0}.landing-content{row-gap:var(--landing-section-gap);width:100%;max-width:calc(64rem + var(--gutter) * 2);padding:calc(var(--landing-section-gap) / 2) var(--gutter);padding-left:max(var(--gutter), env(safe-area-inset-left));padding-right:max(var(--gutter), env(safe-area-inset-right));margin-inline:auto;display:grid}.landing-content>section{min-width:0;margin-block:0}.landing-content>:not(.proof-section){width:100%;max-width:var(--measure);margin-inline:auto}.landing-page .site-footer{padding-top:calc(var(--landing-section-gap) / 2);margin-top:0}.landing-story h2{font:600 var(--t-h1)/var(--lh-h1) var(--font-title);text-wrap:balance}.outcomes-letter h2{font:600 32px/40px var(--font-title);text-wrap:pretty}.outcomes-letter__heading{margin-bottom:32px}.outcomes-letter p{font-size:var(--landing-copy-size);line-height:var(--landing-copy-leading)}.outcomes-letter p+p{margin-top:24px}.outcomes-words{vertical-align:baseline;display:inline-grid}.outcomes-words>span{opacity:0;grid-area:1/1;transition:opacity .24s}.outcomes-words>[data-active]{opacity:1}.outcomes-letter__author{margin-top:32px}@media (prefers-reduced-motion:reduce){.outcomes-words>span{transition:none}}.research-forward{display:none}.research-forward:target{text-align:center;width:100%;max-width:none;margin-top:32px;display:block}@media (width<=44rem){.outcomes-letter h2{font-size:28px}.research-forward:target{text-align:left}}.landing-panel,.inquiry,.title-hero,.opening-hero,.workflow-section,.ownership-section,.cover-study{--panel-slate:#515765;--panel-green:#404f48;--panel-purple:#6b0064;--panel-charcoal:#151515}.landing-panel{--panel-chrome:var(--panel-charcoal);--theme-background:#000;--theme-text:#fff;--theme-text-subdued:#c6c6c6;--theme-focused-foreground:#fff;--theme-focused-text:#000;border:1px solid var(--panel-slate);font:400 var(--t-sm)/var(--lh) var(--font-mono);color:#fff;color-scheme:dark;background:#000;margin:0}.landing-panel .terminal-panel-head{min-height:calc(var(--unit) * 5);padding:calc(var(--unit) / 2) var(--unit);border-color:var(--panel-slate);background:var(--panel-chrome)}.landing-panel .terminal-panel-head .landing-panel__title{font:600 var(--t-body)/var(--lh) var(--font-title);margin:0}.landing-panel .terminal-panel-body{flex:none;overflow:visible}.content-page{--content-measure:42rem;--content-background:var(--theme-background);--content-text:var(--theme-text);--site-header-height:64px}.content-page .main{width:100%;max-width:calc(60rem + var(--gutter) * 2);flex:1;padding-top:40px;padding-bottom:0}.content-page .site-header{height:var(--site-header-height);border-top:0}.content-page .brand__name{font-size:24px}.content-page .site-nav__links a{min-height:64px}.content-page .site-action{width:auto;color:var(--theme-text);background:0 0;padding:0;font-weight:500}.content-heading{width:100%;max-width:var(--content-measure);text-align:center;margin-inline:auto}.content-heading h1{max-width:none;font:600 32px/40px var(--font-text)}.content-heading>time{color:var(--theme-bar);font:400 16px/24px var(--font-title);margin-top:16px;display:block}.content-author{font:400 16px/24px var(--font-title);margin-top:16px}.content-status{color:var(--theme-bar);font:400 16px/24px var(--font-title)}.content-heading :is(.content-author,.content-status){max-width:none}.content-heading .content-status{margin-top:8px}.content-introduction{max-width:none;font:400 20px/32px var(--font-text);text-wrap:balance;margin-top:32px}.content-document--index{max-width:var(--content-measure);margin-inline:auto}.content-document--index .content-heading{text-align:left;margin-bottom:24px}.content-document--index h1{font:500 24px/32px var(--font-title)}.content-list{list-style:none}.content-list>li{border-bottom:1px solid var(--theme-border);min-width:0;position:relative}.content-list__anchor{position:absolute;top:0}.content-list__link{color:var(--theme-text);grid-template-columns:112px minmax(0,1fr);align-items:start;gap:24px;padding-block:24px;text-decoration:none;display:grid}.content-list time,.content-list__status{color:var(--theme-bar);font:400 16px/24px var(--font-title);white-space:nowrap}.content-list h2{min-width:0;font:400 18px/24px var(--font-text);text-wrap:pretty}.content-list__link:focus,.content-list__link:active{color:var(--theme-text);background:0 0}.content-list__link:focus-visible{outline:2px solid var(--theme-focused-foreground);outline-offset:4px}.content-figure{width:100%;max-width:50rem;margin:48px auto}.content-prose{max-width:var(--content-measure);font:400 18px/32px var(--font-text);margin-inline:auto}.content-prose p{max-width:none}.content-prose p+p{margin-top:24px}.content-prose h2{font:600 24px/32px var(--font-text);margin-block:40px 16px}.content-prose ul,.content-prose ol{padding-left:24px}.content-prose img{max-width:100%;height:auto;display:block}.quote-study .quote-study__text{font:400 24px/40px var(--font-text);margin:0;padding:32px}.quote-study__text p{max-width:none}.quote-study__attribution{font:400 16px/24px var(--font-title);padding:24px 32px}.news-card__recommendation{color:#171717;color-scheme:light;background:#fff;flex-direction:column;flex:1;gap:24px;padding:32px;display:flex}.news-card__recommendation blockquote,.news-card__statement{font:400 24px/40px var(--font-text);margin:0}.news-card__recommendation p{max-width:none}.news-card__attribution{font:400 16px/24px var(--font-title);margin-top:auto}.content-return{max-width:var(--content-measure);font:400 16px/24px var(--font-title);margin:48px auto 0}.news-cover{display:block}.news-cover .cover-study{background:#515765}.cover-study{--theme-text:#fff;--theme-text-subdued:#e4e4e4;--theme-focused-foreground:#fff;--theme-focused-text:#000;color:#fff;color-scheme:dark;background:#000;position:relative}.cover-study[data-cover-pattern=fold]{background:var(--panel-green)}.cover-study[data-cover-pattern=paths]{--theme-text:var(--panel-green);--theme-focused-foreground:currentColor;color:var(--theme-text);background:0 0}.news-card:has([data-cover-pattern=paths]) .proof-panel{background:0 0}@media (prefers-color-scheme:dark){.cover-study[data-cover-pattern=paths]{--theme-text:color-mix(in srgb, var(--panel-green) 50%, #fff)}}@media print{.cover-study[data-cover-pattern=paths]{--theme-text:var(--panel-green)}}.cover-study__surface{width:100%}.cover-study__surface svg{width:100%;height:auto;display:block}.cover-study__surface:focus-visible{outline-offset:-4px;outline:2px solid}.cover-study [data-cover-cell]{transition:opacity .12s}.cover-study__reset{position:absolute;bottom:8px;right:16px}.cover-study [hidden]{display:none}@media (prefers-reduced-motion:reduce){.cover-study [data-cover-cell]{transition:none}}.content-prose a:focus,.content-prose a:active,.content-introduction a:focus,.content-introduction a:active{color:var(--theme-text);background:0 0;text-decoration-color:currentColor}.content-prose a:focus-visible,.content-introduction a:focus-visible{outline:2px solid var(--theme-focused-foreground);outline-offset:3px}@media (hover:hover){.content-list__link:hover,.content-prose a:hover,.content-introduction a:hover{color:var(--theme-text);background:0 0;text-decoration-color:currentColor}.content-list__link:hover h2,.content-page .site-action:hover{text-underline-offset:4px;text-decoration:underline 1px}}@media (width<=44rem){.content-page{--site-header-height:56px}.content-page .main{padding-top:32px}.content-heading h1{font-size:28px;line-height:40px}.content-document--index h1{font-size:24px;line-height:32px}.content-introduction{font-size:18px;line-height:32px}.quote-study .quote-study__text{padding:24px;font-size:20px;line-height:32px}.quote-study__attribution,.news-card__recommendation{padding:24px}.news-card__recommendation blockquote,.news-card__statement{font-size:20px;line-height:32px}.content-list__link{grid-template-columns:minmax(0,1fr);gap:8px;padding-block:24px}.content-list time,.content-list__status{font-size:14px}.content-figure{margin-block:32px}.content-page .site-header:has(.site-menu[open]){--theme-background:var(--content-background);--theme-text:var(--content-text);--theme-focused-foreground:var(--content-text);--theme-focused-text:var(--content-background);background:var(--content-background);color:var(--content-text)}.content-page .site-menu__panel{background:var(--content-background);color:var(--content-text)}.content-page .site-menu__panel .site-action{color:var(--content-text);background:0 0}}.workflow-system{border:0;min-width:0;margin:0;padding:0}.workflow-system__layout{align-items:center}.workflow-system__figure{min-width:0;margin:0}.workflow-diagram{margin:0}.workflow-diagram>figcaption{min-height:44px;font:400 14px/24px var(--font-title);justify-content:space-between;align-items:center;gap:16px;margin-top:8px;display:flex}.workflow-diagram--compact{display:none}.workflow-playback{min-height:44px;color:var(--theme-text);font:400 14px/24px var(--font-title);text-underline-offset:3px;cursor:pointer;background:0 0;border:0;margin:0;padding:0;text-decoration:underline;display:block}.workflow-playback[hidden]{display:none}.workflow-map{aspect-ratio:1;background:var(--panel-charcoal);width:100%;height:auto;display:block}.workflow-map__region--context{color:var(--panel-slate)}.workflow-map__region--tools{color:var(--panel-green)}.workflow-map__region--judgment{color:var(--panel-purple)}.workflow-map__region--model{color:var(--panel-slate)}.workflow-map__region rect{fill:currentColor;fill-opacity:.28}.workflow-map__region text{fill:#fff;font:400 22px var(--font-title)}.workflow-map[data-active=context] [data-region=context] rect,.workflow-map[data-active=tools] [data-region=tools] rect,.workflow-map[data-active=judgment] [data-region=judgment] rect,.workflow-map[data-active=model] [data-region=model] rect,.workflow-system:has(#workflow-context:checked) .workflow-map--shared [data-region=context] rect,.workflow-system:has(#workflow-tools:checked) .workflow-map--shared [data-region=tools] rect,.workflow-system:has(#workflow-judgment:checked) .workflow-map--shared [data-region=judgment] rect,.workflow-system:has(#workflow-model:checked) .workflow-map--shared [data-region=model] rect{fill-opacity:1}.workflow-system[data-enhanced] .workflow-map--shared rect{transition:fill-opacity .24s}.workflow-parts{margin:0;padding:0;list-style:none}.workflow-part{border-bottom:1px solid var(--theme-border);padding-block:24px;position:relative}.workflow-part:first-child{padding-top:0}.workflow-part h3{font:400 24px/32px var(--font-title);margin:0}.workflow-part label{cursor:pointer;align-items:baseline;gap:16px;display:flex}.workflow-part__number{font:400 14px/24px var(--font-mono);color:var(--theme-bar)}.workflow-part p{font-size:var(--landing-copy-size);line-height:var(--landing-copy-leading);margin:8px 0 0 36px}@media screen and (width>44rem){.workflow-parts{margin-bottom:52px}.workflow-system[data-enhanced] .workflow-part__description{opacity:0;visibility:hidden;grid-template-rows:0fr;transition:grid-template-rows .24s,opacity .16s,visibility 0s linear .24s;display:grid}.workflow-system[data-enhanced] .workflow-part__description>div{min-height:0;overflow:hidden}.workflow-system[data-enhanced] .workflow-part:has(input:checked) .workflow-part__description{opacity:1;visibility:visible;grid-template-rows:1fr;transition-delay:0s}}.workflow-part:has(input:checked) label{text-decoration:underline;text-decoration-color:var(--theme-border-strong);text-underline-offset:6px}.workflow-part:has(input:focus-visible) label{outline:2px solid var(--theme-focused-foreground);outline-offset:6px}.workflow-part__progress{transform-origin:0;background:currentColor;height:2px;position:absolute;inset:auto 0 -1px;transform:scaleX(0)}.workflow-system[data-enhanced] .workflow-part:has(input:checked) .workflow-part__progress{animation:6s linear both paused workflow-progress}.workflow-system[data-running] .workflow-part:has(input:checked) .workflow-part__progress{animation-play-state:running}@keyframes workflow-progress{to{transform:scaleX(1)}}@media (hover:hover){.workflow-part label:hover{text-underline-offset:6px;text-decoration:underline}}@media (width<=44rem){.workflow-system .workflow-system__layout{display:block}.workflow-system__figure,.workflow-part__input,.workflow-part__progress{display:none}.workflow-part{border:0;padding-block:0}.workflow-part+.workflow-part{margin-top:48px}.workflow-part label{cursor:auto}.workflow-part:has(input:checked) label{text-decoration:none}.workflow-part p{margin-left:0}.workflow-diagram--compact{width:100%;margin:0 0 24px;display:block}.workflow-diagram--compact>figcaption{min-height:24px}.workflow-map__region text{fill-opacity:.55;font-size:30px}.workflow-map[data-active=context] [data-region=context] text,.workflow-map[data-active=tools] [data-region=tools] text,.workflow-map[data-active=judgment] [data-region=judgment] text,.workflow-map[data-active=model] [data-region=model] text{fill-opacity:1}}@media (prefers-reduced-motion:reduce){.workflow-system[data-enhanced] .workflow-map--shared rect,.workflow-system[data-enhanced] .workflow-part__description{transition:none}}.ownership-points{gap:calc(var(--unit) * 4);grid-template-columns:repeat(3,minmax(0,1fr));display:grid}.ownership-point{min-width:0;container-type:inline-size}.ownership-study{aspect-ratio:4/5;color:#fff;width:100%;height:auto}.ownership-study--code{background:var(--panel-slate)}.ownership-study--deployment{background:var(--panel-green)}.ownership-study--direction{background:var(--panel-purple)}.ownership-study text{fill:currentColor;font:400 18px var(--font-mono)}.ownership-point h3{font:400 clamp(1.5rem, 11cqi, 2rem)/40px var(--font-title);margin:16px 0 8px}.ownership-point p{font-size:var(--landing-copy-size);line-height:var(--landing-copy-leading);margin:0}@media (width<=44rem){.ownership-points{grid-template-columns:minmax(0,1fr);gap:48px}}@media print{.ownership-point{break-inside:avoid}.ownership-study{print-color-adjust:exact}}.getting-started h2{font:600 var(--landing-section-size)/var(--landing-section-leading) var(--font-title)}.getting-started p{font-size:var(--landing-copy-size);line-height:var(--landing-copy-leading);margin-top:16px}.getting-started a{min-height:44px;font-size:var(--landing-copy-size);line-height:var(--landing-copy-leading);align-items:center;margin-top:8px;display:inline-flex}.landing-page{overflow-x:clip}.proof-intro{justify-items:center;gap:calc(var(--unit) * 2);margin-bottom:calc(var(--unit) * 6);text-align:center;grid-template-columns:minmax(0,1fr);display:grid;container-type:inline-size}.landing-prose{width:100%;min-width:0;max-width:40rem;font-size:var(--landing-copy-size);line-height:var(--landing-copy-leading);text-wrap:balance}.workflow-section .landing-prose,.ownership-section .landing-prose{text-wrap:pretty}.proof-intro h2{font:600 clamp(1.25rem, 8.5cqi, 3rem)/1.16667 var(--font-title)}@media (width<=44rem){.proof-intro{margin-bottom:calc(var(--unit) * 4)}}.case-study__comparison{gap:calc(var(--unit) * 2);padding:calc(var(--unit) * 2);text-align:center;grid-template-columns:repeat(2,minmax(0,1fr));list-style:none;display:grid}.case-study__configuration{min-width:0}.case-study__reading{margin-top:var(--unit);font:400 var(--t-sm)/var(--lh) var(--font-title)}.case-study__value{font:400 var(--t-sm)/var(--lh) var(--font-mono);font-variant-numeric:tabular-nums;flex-shrink:0}.case-study__model{color:var(--theme-text-subdued);font-size:var(--t-meta)}.case-study__bar{width:min(100%,7rem);height:224px;margin-top:var(--unit);color:var(--panel-slate);background:var(--panel-charcoal);margin-inline:auto;display:block;position:relative}.case-study__configuration--selected .case-study__bar{color:#fff}.case-study__bar-fill{height:calc(var(--bar-share) * 100%);transform-origin:bottom;transform:scaleY(var(--bar-reveal,1));background:currentColor;position:absolute;inset:auto 0 0}.case-study[data-visible] .case-study__bar-fill{will-change:transform}.proof-section{padding:0}.proof-cards{gap:calc(var(--unit) * 4);grid-template-columns:repeat(2,minmax(0,1fr));display:grid}.proof-card{min-width:0}.proof-cards .proof-card,.proof-cards .scene-visual{display:grid}.proof-cards .proof-panel{grid-template-rows:auto 1fr;display:grid}.proof-cards .terminal-panel-body{flex-direction:column;display:flex}.proof-cards .proof-panel__plot{flex:1}.proof-panel{--theme-border-strong:var(--panel-green)}.proof-panel__read-more{font-family:var(--font-title)}.proof-panel__finding{max-width:none;min-height:64px;padding:calc(var(--unit) * 2);background:var(--panel-slate);font:400 1.25rem/2rem var(--font-title)}.news-cards:has(>:only-child){grid-template-columns:minmax(0,1fr);max-width:50rem;margin-inline:auto}.news-card .terminal-panel-head{grid-template-columns:minmax(0,1fr) auto;min-height:64px;display:grid}.proof-panel__plot{min-height:400px}.proof-context{margin-top:var(--lh);display:none}.proof-context:target:not([hidden]){display:block}.proof-context h3{font:600 var(--t-body)/var(--lh) var(--font-title)}.proof-context p{margin-top:var(--lh)}.proof-dialog-open{overflow:hidden}.proof-dialog{--theme-background:#171717;--theme-text:#fff;--theme-focused-foreground:#fff;--theme-focused-text:#000;font:400 var(--t-sm)/var(--lh) var(--font-mono);color-scheme:dark}.proof-dialog .terminal-dialog-head h2{font:600 var(--t-body)/var(--lh) var(--font-title)}.proof-dialog .terminal-dialog-body p{max-width:none}.proof-dialog .terminal-dialog-body .proof-dialog__stat{padding:calc(var(--unit) * 2);color:#fff;font:400 1.5rem/2rem var(--font-title);background:#515765}.proof-dialog__stat span{margin-top:var(--unit);font:400 var(--t-body)/var(--lh) var(--font-title);display:block}.proof-dialog .terminal-dialog-body p:last-child{margin-bottom:0}.case-study__plot{flex-direction:column;justify-content:center;display:flex}.proof-card .case-study__comparison{width:100%;padding:calc(var(--unit) * 2)}.outcome-study__value{padding:32px;font-size:2rem;line-height:2.5rem}.outcome-study__source{color:var(--theme-text-subdued);font:400 var(--t-body)/var(--lh) var(--font-title);padding:16px 32px}.case-study__basis{padding:0 calc(var(--unit) * 2) calc(var(--unit) * 2);color:var(--theme-text-subdued);font:400 var(--t-meta)/var(--lh) var(--font-title)}.reference-chart{flex-direction:column;display:flex}.reference-key{min-height:calc(var(--unit) * 6);justify-content:space-between;align-items:center;gap:var(--unit);padding:var(--unit) calc(var(--unit) * 2);flex-wrap:wrap;display:flex}.reference-actions{gap:calc(var(--unit) * 2);margin-left:auto;display:flex}.reference-controls{border-top:1px solid var(--panel-slate);grid-template-columns:repeat(3,minmax(0,1fr));margin-top:auto;display:grid}.reference-controls[hidden]{display:none}.reference-controls button,.reference-reset{appearance:none;min-height:calc(var(--unit) * 5);color:var(--theme-text);font:400 var(--t-meta)/var(--lh) var(--font-title);cursor:pointer;background:0 0;border:0;border-radius:0;padding:0}.reference-controls button+button{border-left:1px solid var(--panel-slate)}.reference-controls button[aria-pressed=true]{background:var(--panel-purple)}.reference-reset{text-underline-offset:4px;text-decoration:underline}.reference-reset[hidden]{display:none}.reference-legend{gap:0 calc(var(--unit) * 2);font:400 var(--t-meta)/var(--lh) var(--font-title);flex-wrap:wrap;list-style:none;display:flex}.reference-legend li{align-items:center;gap:var(--unit);display:inline-flex}.reference-mark{background:var(--theme-text);width:8px;height:8px;display:inline-block}.reference-mark--reference{border-radius:50%}.reference-mark--sql{border:1px solid var(--theme-text);background:0 0}.reference-plot{height:304px;margin-inline:calc(var(--unit) * 2);touch-action:pan-y;cursor:grab;position:relative}.reference-plot:active{cursor:grabbing}.reference-plot svg,.reference-plot canvas{pointer-events:none;width:100%;height:100%;color:var(--theme-text);position:absolute;inset:0}.reference-plot [hidden]{display:none}.reference-plot text{fill:var(--theme-text);font:400 11px var(--font-mono)}.reference-plot .reference-axis-title{font:600 13px var(--font-title);paint-order:stroke;stroke:var(--theme-background);stroke-width:4px;stroke-linejoin:round}.reference-grid{stroke:var(--theme-border-strong);stroke-width:.75px}.reference-axis{stroke:var(--theme-text);stroke-width:1px}.reference-dot{fill:var(--theme-text)}.reference-square{fill:var(--theme-background);stroke:var(--theme-text);stroke-width:1.5px}.inference-strategy .proof-panel__plot{min-height:0}.inference-strategy .proof-panel__finding{align-items:center;min-height:80px;display:flex}.inference-strategy .reference-plot{height:360px}.inference-strategy .reference-controls button[aria-pressed=true]{background:var(--panel-green)}.inference-strategy__status{color:var(--theme-text-subdued);font:400 var(--t-meta)/var(--lh) var(--font-title)}.inference-strategy__ink--device{color:color-mix(in srgb, var(--panel-green) 50%, #fff)}.inference-strategy__ink--cloud{color:color-mix(in srgb, var(--panel-slate) 50%, #fff)}.inference-strategy__path{fill:none;stroke:currentColor;stroke-width:1.5px}.inference-strategy__dot{fill:currentColor}.inference-strategy .reference-axis-title{fill:currentColor;font-size:18px}.inference-strategy .inference-strategy__detail{font:400 14px var(--font-title);fill:var(--theme-text-subdued)}.inference-strategy .inference-strategy__phase{font:400 12px var(--font-title);fill:var(--theme-text-subdued)}@media (hover:hover){.reference-controls button:hover{background:var(--panel-green)}.reference-reset:hover{text-decoration-thickness:2px}}@media (pointer:coarse){.reference-reset{min-width:calc(var(--unit) * 5)}.harness-illustration .proof-panel__read-more{align-items:center;min-height:40px;display:inline-flex}.landing-research .row a{display:block}}@media (width<=44rem){.proof-cards{gap:var(--lh);grid-template-columns:minmax(0,1fr)}.case-study__model{overflow-wrap:anywhere;font-size:14px}.case-study__reading,.reference-legend,.reference-controls button,.reference-reset,.case-study__basis{font-size:14px}.proof-panel__finding{font-size:20px;line-height:24px}.inference-strategy .proof-panel__finding{min-height:104px}}.research-space{height:clamp(360px,46vw,520px);position:relative;overflow:hidden}.research-space__canvas,.research-space__points,.research-space__labels{pointer-events:none;width:100%;height:100%;position:absolute;inset:0}.research-space [hidden]{display:none}.research-space__points{fill:#fff}.research-space__labels line{stroke:#a8a8a8;stroke-width:.75px}.research-space__labels circle{fill:#fff}.research-space__labels rect{fill:#151515;stroke:#404f48;stroke-width:.5px}.research-space__labels text{fill:#fff;font:400 var(--t-sm)/var(--lh) var(--font-title)}.research-space__meta{inset:auto calc(var(--unit) * 2) var(--unit);justify-content:space-between;align-items:center;gap:var(--unit);color:var(--theme-text-subdued);font:400 var(--t-meta)/var(--lh) var(--font-title);display:flex;position:absolute}.research-space__meta p{font:inherit;margin:0}@media (prefers-reduced-motion:reduce){.case-study__bar-fill{will-change:auto;transform:none}}@media print{.case-study__bar-fill{transform:none}.research-space__canvas,.research-space__meta button{display:none}.research-space__points[hidden]{display:block}}.landing-research .rows{margin-top:var(--lh)}.landing-research .section-header{font-size:16px}.landing-research .row{font-family:var(--font-text);padding-block:var(--unit);font-size:22px;line-height:32px}.landing-research .row+.row{margin:0}@media (width<=44rem){.landing-research .row{font-size:20px;line-height:32px}}section{margin-top:calc(var(--lh) * 3)}.section-header{align-items:center;gap:calc(var(--unit) * 2);font-family:var(--font-mono);font-size:var(--t-meta);line-height:var(--lh);font-weight:var(--w-regular);color:var(--theme-text-subdued);display:flex}.section-header:after{content:"";min-width:var(--lh);background:var(--theme-border);flex:1;height:1px}.section-header+*{margin-top:var(--lh)}.rows{list-style:none}.row{min-width:0;font-size:var(--t-sm);line-height:var(--lh)}.row+.row{margin-top:var(--unit)}@media (pointer:coarse){.row{padding-block:var(--unit)}.row+.row{margin-top:0}}.field>label{font-family:var(--font-mono);font-size:var(--t-meta);line-height:var(--lh);background:var(--theme-border);padding:0 var(--unit);display:block}.field input,.field textarea{width:100%;font:inherit;font-family:var(--font-mono);font-size:var(--t-sm);line-height:var(--lh);color:var(--theme-text);background:var(--theme-background-input);box-shadow:inset 0 0 0 2px var(--theme-border);padding:calc(var(--unit) / 2) var(--unit);border:0;border-radius:0;outline:0;display:block}.field textarea{resize:vertical;min-height:calc(var(--lh) * 4)}.field__hint{margin-top:var(--unit);font-size:var(--t-sm);color:var(--theme-text-subdued)}.field input:focus,.field textarea:focus{box-shadow:inset 0 0 0 2px var(--theme-focused-foreground)}@media (pointer:coarse){.field input,.field textarea{font-size:var(--t-body);padding-block:var(--unit)}}.trap{width:1px;height:1px;position:absolute;left:-9999px;overflow:hidden}.inquiry-page{--theme-border:var(--theme-border-strong)}.inquiry-page .main{flex:1;width:100%;max-width:none;padding:0}.inquiry{grid-template-columns:minmax(0,1fr) minmax(0,1fr);min-height:100svh;display:grid}.inquiry [hidden]{display:none}.inquiry-document{min-width:0;padding:64px var(--lh);--theme-text-subdued:var(--theme-bar);background:var(--theme-background);color:var(--theme-text);flex-direction:column;align-items:center;display:flex}.inquiry-content{flex-shrink:0;width:100%;max-width:28rem;margin-block:auto}.inquiry-intro{margin-bottom:40px}.inquiry-home{min-height:40px;font:400 var(--t-sm)/var(--lh) var(--font-title);align-items:center;margin-bottom:24px;display:inline-flex}.inquiry-intro h1{font:600 32px/40px var(--font-title)}.inquiry-intro p{font:400 17px/24px var(--font-text);margin-top:16px}.inquiry-form{margin:0}.inquiry-hint{font:400 var(--t-sm)/var(--lh) var(--font-title);color:var(--theme-text-subdued);margin:0}.inquiry-group{border:0;min-width:0;margin:32px 0 0;padding:0}.inquiry-group legend{width:100%;font:600 20px/24px var(--font-title);padding:0}.inquiry-form .field{margin-top:calc(var(--unit) * 2)}.inquiry-form .field>label{justify-content:space-between;align-items:baseline;gap:var(--unit);padding:calc(var(--unit) / 2) var(--unit);background:var(--theme-background-input);font:400 var(--t-sm)/var(--lh) var(--font-title);display:flex}.inquiry-form .field>label>span{color:var(--theme-text-subdued);font-size:var(--t-meta);flex-shrink:0}.inquiry-form .field input,.inquiry-form .field textarea{padding:var(--unit);background:var(--theme-background);box-shadow:inset 0 0 0 1px var(--theme-border);font:400 1rem/var(--lh) var(--font-text)}.inquiry-form .field input:focus,.inquiry-form .field textarea:focus{box-shadow:inset 0 0 0 2px var(--theme-focused-foreground)}.inquiry-form .field textarea{min-height:calc(var(--lh) * 3);resize:vertical}.inquiry-error,.inquiry-status{font:400 var(--t-sm)/var(--lh) var(--font-title);margin-top:var(--unit)}.inquiry-status{margin:var(--unit) 0}.inquiry-error:not(:empty){padding-left:var(--unit);border-left:2px solid}.inquiry-error:empty,.inquiry-status:empty{display:none}.inquiry-summary{margin:calc(var(--unit) * 2) 0;border:1px solid var(--theme-border)}.inquiry-summary>div:not([hidden])~div:not([hidden]){border-top:1px solid var(--theme-border)}.inquiry-summary dt{justify-content:space-between;align-items:baseline;gap:var(--unit);padding:calc(var(--unit) / 2) var(--unit);background:var(--theme-background-input);font:400 var(--t-sm)/var(--lh) var(--font-title);color:var(--theme-text-subdued);display:flex}.inquiry-summary dd{white-space:pre-wrap;overflow-wrap:anywhere;padding:var(--unit);font:400 var(--t-body)/var(--lh) var(--font-text);margin:0}.inquiry-text-button{appearance:none;padding:var(--unit) 0;color:inherit;font:400 var(--t-sm)/var(--lh) var(--font-title);text-underline-offset:.2em;cursor:pointer;background:0 0;border:0;border-radius:0;text-decoration:underline}.inquiry-text-button:focus-visible{outline-offset:-3px;outline:2px solid}.inquiry-actions{align-items:center;gap:var(--unit) calc(var(--unit) * 2);width:100%;margin-top:calc(var(--unit) * 2);flex-wrap:wrap;display:flex}.inquiry-actions .inquiry-text-button{min-height:40px;padding-block:var(--unit);text-align:left;text-decoration-color:var(--theme-border-strong)}.inquiry-primary{appearance:none;justify-content:center;align-items:center;gap:var(--unit);min-width:96px;min-height:40px;padding:var(--unit) calc(var(--unit) * 2);background:var(--panel-charcoal);color:#fff;font:600 var(--t-sm)/var(--lh) var(--font-title);text-align:center;cursor:pointer;border:0;border-radius:0;margin-left:auto;text-decoration:none;display:inline-flex}.inquiry-primary:focus-visible{outline:2px solid var(--theme-focused-foreground);outline-offset:3px}.inquiry-actions button:disabled{opacity:.5;cursor:wait}.inquiry-expectation{margin-top:calc(var(--unit) * 2);font:400 var(--t-sm)/var(--lh) var(--font-text)}.inquiry-visual{min-width:0;min-height:0;padding:48px var(--lh);--theme-text:#fff;background:var(--panel-slate);color:#fff;color-scheme:dark;justify-content:center;align-items:center;display:flex;position:relative;overflow:hidden}.inquiry-visual .harness-illustration{flex-direction:column;max-width:52rem;min-height:0;max-height:100%;margin:0;display:flex}.inquiry-visual .harness-illustration svg{object-fit:contain;width:100%;min-height:0;margin:0;display:block}.inquiry-visual .harness-illustration figcaption{right:var(--lh);bottom:var(--lh);max-width:calc(100% - var(--lh) * 2);text-align:right;position:absolute}.inquiry-confirmation{margin:0}.inquiry-confirmation h2{font:600 20px/24px var(--font-title);margin:0}.inquiry-confirmation>p{margin-top:calc(var(--unit) * 2)}.contact-verification{margin-top:calc(var(--unit) * 2);font:400 var(--t-sm)/var(--lh) var(--font-title)}.contact-verification p:not(:empty){margin-top:calc(var(--unit) * 2)}@media (prefers-color-scheme:dark){.inquiry .inquiry-primary{background:var(--theme-text);color:var(--theme-background)}}@media (hover:hover){.inquiry-text-button:hover{text-decoration-thickness:2px}.inquiry-primary:not(:disabled):hover{background:var(--theme-focused-foreground);color:#fff}}@media screen and (width>44rem) and (pointer:fine){.inquiry-page{height:100dvh;min-height:0;overflow:hidden}.inquiry-page .main{min-height:0}.inquiry{height:100%;min-height:0}.inquiry-document{min-height:0;overflow-y:auto}}@media (width<=44rem),(pointer:coarse){.inquiry{grid-template-columns:minmax(0,1fr)}.inquiry-document{padding:24px var(--gutter) 40px}.inquiry-content{margin-block:0}.inquiry-intro{margin-bottom:32px}.inquiry-home{margin-bottom:16px}.inquiry-actions{grid-template-columns:minmax(0,1fr) minmax(0,1fr);align-items:stretch;display:grid}.inquiry-actions .inquiry-primary{grid-column:2;min-width:0;margin-left:0}.inquiry-visual{display:none}}@media (pointer:coarse){.inquiry-text-button,.inquiry-actions .inquiry-text-button{min-height:40px}}@media print{.inquiry-page{height:auto;overflow:visible}.inquiry-visual,.inquiry-actions,.inquiry-text-button,.contact-verification{display:none}.inquiry{display:block}.inquiry-document{border:0;padding:0;display:block}.inquiry-content{max-width:none;height:auto;max-height:none}.inquiry-form:not([hidden]),.inquiry-confirmation:not([hidden]){display:block;overflow:visible}}.site-footer{--theme-background:var(--navigation-slate);--theme-text:#fff;--theme-focused-foreground:#fff;--theme-focused-text:var(--navigation-slate);padding-top:96px;padding-bottom:max(32px, env(safe-area-inset-bottom));background:var(--theme-background);color:var(--theme-text);margin-top:96px}.site-footer__top{grid-template-columns:repeat(2,minmax(0,1fr));gap:48px;display:grid}.site-footer__nav{grid-area:1/2;grid-template-columns:repeat(2,minmax(0,1fr));gap:32px;display:grid}.site-footer__nav ul{list-style:none}.site-footer__nav li+li{margin-top:16px}.site-footer__nav a{min-height:40px;font:400 28px/40px var(--font-title);align-items:center;text-decoration:none;display:inline-flex}.site-footer__meta{color:#fff;font:400 16px/24px var(--font-title);grid-area:1/1}.site-footer__meta p+p{margin-top:16px}.site-footer__meta a{color:inherit}.site-footer__utility{font:400 16px/24px var(--font-title);flex-wrap:wrap;gap:16px 32px;margin:64px 0 48px calc(50% + 24px);display:flex}.site-footer__utility a{color:#fff;align-items:center;min-height:40px;text-decoration:none;display:inline-flex}.site-footer__wordmark{color:#fff;text-decoration:none}.site-footer a:focus,.site-footer a:active{color:#fff;text-underline-offset:5px;background:0 0;text-decoration:underline}.site-footer .site-footer__wordmark:focus,.site-footer .site-footer__wordmark:active{text-decoration:none}@media (hover:hover){.site-footer a:hover{color:#fff;text-underline-offset:5px;background:0 0;text-decoration:underline}.site-footer .site-footer__wordmark:hover{text-decoration:none}}@media (width<=44rem){.site-footer{margin-top:64px;padding-top:56px}.site-footer__top{flex-direction:column;gap:48px;display:flex}.site-footer__nav{grid-template-columns:minmax(0,1fr);gap:32px}.site-footer__nav a{font-size:28px;line-height:40px}.site-footer__utility{margin:32px 0 40px}}.sr-only{clip-path:inset(50%);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.soi-page .page{max-width:88rem}.soi-page .main{padding-top:calc(var(--lh) * 2)}.soi-terminal{--theme-background:#000;--theme-text:#fff;color:#fff;color-scheme:dark;padding:calc(var(--unit) * 4) calc(var(--unit) * 3) calc(var(--unit) * 2);font:400 1.125rem/var(--lh) var(--font-mono);background:#000}.soi-terminal-frame{padding:calc(var(--unit) * 3);border:3px solid #fff;position:relative}.soi-terminal-frame :is(h1,h3){width:max-content;max-width:100%;padding:0 var(--unit);color:#fff;font:inherit;background:#000;margin:0;position:absolute;top:0;left:50%;transform:translate(-50%,-50%)}.soi-terminal-scroll{overflow-x:auto}.soi-terminal-scroll:focus-visible{outline-offset:4px;outline:2px solid #fff}.soi-terminal-table{border-collapse:collapse;text-align:left;width:100%;min-width:62rem;font:inherit;white-space:nowrap}.soi-terminal-table :is(th,td){height:calc(var(--unit) * 4);padding:0 var(--unit);font:inherit;font-variant-numeric:tabular-nums}.soi-terminal-table thead th{background:#444}.soi-terminal-table thead th:nth-child(n+3){background:#737373}.soi-terminal-table tbody th,.soi-terminal-table tbody td:nth-child(2){background:#555}.soi-terminal-table tbody tr:nth-child(2n) th,.soi-terminal-table tbody tr:nth-child(2n) td:nth-child(2){background:#666}.soi-terminal-table tbody td:nth-child(n+3){background:#600060}.soi-terminal-table .soi-terminal-empty{background:#555}.soi-terminal-note{max-width:none;margin-top:var(--lh);font-size:var(--t-meta);line-height:var(--lh)}.inference-workspace{--theme-background:#000;--theme-text:#fff;--theme-border:#3a3a3a;--theme-border-strong:#a8a8a8;color:#fff;color-scheme:dark;background:#000}.inference-workspace .page.main{max-width:none;padding:0}.inference-terminal{height:100svh;min-height:40rem;font:400 var(--t-sm)/var(--lh) var(--font-mono);flex-direction:column;display:flex}.inference-terminal :is(h1,h2,h3,p){font:inherit;text-wrap:initial;max-width:none}.terminal-bar{align-items:center;gap:0 calc(var(--unit) * 2);min-height:calc(var(--unit) * 5);padding-inline:var(--unit);z-index:10;background:#000;border-bottom:1px solid #fff;flex-wrap:wrap;display:flex;position:sticky;top:0}.terminal-bar h1{font-size:var(--t-body)}.terminal-brand{text-decoration:none}.terminal-bar nav{gap:var(--unit);margin-left:auto;display:flex}.terminal-bar nav a{padding:0 var(--unit);text-decoration:none}.terminal-bar nav a[aria-current]{color:#000;background:#eee}.terminal-pilot{padding-inline:var(--unit);background:#600060}.terminal-command{align-items:center;gap:0 var(--unit);min-height:calc(var(--unit) * 5);padding:0 var(--unit);flex-wrap:wrap;display:flex}.terminal-command time{margin-left:var(--unit);color:#a8a8a8}.terminal-prompt{color:#d7afff}.terminal-command button{color:#fff;font:inherit;padding:0 var(--unit);cursor:pointer;background:#262626;border:1px solid #585858;border-radius:0;margin-left:auto}.terminal-command button:disabled{color:#a8a8a8;cursor:wait}.terminal-dim{color:#a8a8a8}.terminal-grid{background:#585858;border-block:1px solid #585858;flex:1;grid-template-rows:minmax(0,1.1fr) minmax(0,1fr);grid-template-columns:minmax(0,2fr) minmax(20rem,1fr);gap:1px;min-height:0;display:grid}.terminal-panel{background:#000;flex-direction:column;min-width:0;min-height:0;margin:0;display:flex;overflow:hidden}.terminal-chart{grid-area:1/1}.terminal-table-panel{grid-area:2/1}.terminal-monitor{grid-area:1/2}.terminal-releases{grid-area:2/2}.terminal-panel-head{justify-content:space-between;align-items:center;gap:0 var(--unit);padding:0 var(--unit);min-height:calc(var(--unit) * 4);background:#171717;border-bottom:1px solid #585858;flex-wrap:wrap;display:flex}.terminal-panel-head h2 span{color:#a8a8a8;margin-right:var(--unit)}.terminal-panel-head>a{white-space:nowrap}.terminal-panel-body{flex:1;min-width:0;min-height:0;overflow-y:auto}.terminal-inline-meta{justify-content:space-between;gap:0 var(--unit);color:#a8a8a8;padding:0 var(--unit);font-size:var(--t-meta);min-height:calc(var(--unit) * 4);border-bottom:1px solid #262626;flex-wrap:wrap;align-items:center;display:flex}.terminal-chart .terminal-panel-body{flex-direction:column;display:flex}.terminal-chart-plot{min-height:8rem;margin:var(--unit);flex:1;position:relative}.terminal-chart-plot svg{width:100%;height:100%;position:absolute;inset:0;overflow:visible}.terminal-chart-plot text{fill:#a8a8a8;font:16px var(--font-mono)}.chart-grid-line{stroke:#262626;stroke-width:1px}.chart-date-line{stroke:#585858;stroke-width:1px;stroke-dasharray:2 4}.chart-series{stroke:currentColor;fill:currentColor;stroke-width:2px}.chart-series-0{color:#fff}.chart-series-1{color:#d7afff}.chart-series-2{color:#af87d7}.chart-series-3{color:#a8a8a8}.chart-series-4{color:#ff87ff}.terminal-legend{font-size:var(--t-sm);border-top:1px solid #262626;flex-wrap:wrap;list-style:none;display:flex}.terminal-legend li{align-items:center;gap:var(--unit);padding:0 var(--unit);min-height:calc(var(--unit) * 4);border-right:1px solid #262626;display:flex}.terminal-legend li span:last-child{color:#a8a8a8}.series-swatch{width:var(--unit);height:var(--unit);background:currentColor;display:inline-block}.terminal-table-panel .terminal-panel-body{flex-direction:column;display:flex}.soi-terminal.soi-terminal--embedded{font-size:var(--t-sm);flex:1;min-height:0;padding:0;display:flex}.soi-terminal--embedded .soi-terminal-frame{border:0;width:100%;min-height:0;padding:0;display:flex}.soi-terminal--embedded .soi-terminal-scroll{flex:1;min-height:0}.soi-terminal--embedded .soi-terminal-scroll:focus-visible{outline-offset:-2px}.soi-terminal--embedded .soi-terminal-table{min-width:48rem;height:100%}.soi-terminal--embedded .soi-terminal-table :is(th,td){height:calc(var(--unit) * 5);padding-inline:var(--unit)}.soi-terminal--embedded .soi-terminal-table thead th{height:calc(var(--unit) * 4)}.soi-terminal--embedded .soi-terminal-table :is(th,td):nth-child(n+3){text-align:right}.soi-terminal--embedded .soi-terminal-table tbody th a{padding-block:var(--unit);display:block}.soi-terminal-table tbody th a{color:inherit;text-decoration-color:#a8a8a8}.terminal-equation{margin-top:calc(var(--unit) * 2);padding:var(--unit);color:#d7afff;overflow-wrap:anywhere;background:#171717}.terminal-feed-status{padding:var(--unit);color:#a8a8a8;border-bottom:1px solid #262626}.terminal-feed>p{padding:var(--unit)}.terminal-feed article{padding:var(--unit);border-bottom:1px solid #262626}.terminal-feed article span{font-size:.75rem;display:block}.terminal-feed article a{display:block}.terminal-watchlist{margin-top:var(--unit);list-style:none}.terminal-watchlist li{padding-block:var(--unit)}.terminal-watchlist p{color:#a8a8a8}.terminal-release-list{margin:0;padding:0;list-style:none}.terminal-release-list li{padding:var(--unit);border-bottom:1px solid #262626}.terminal-release-list li>div{gap:var(--unit);flex-wrap:wrap;display:flex}.terminal-release-list time{color:#a8a8a8;margin-right:var(--unit)}.terminal-release-list p{color:#a8a8a8}.terminal-release-list li>a{display:block}.terminal-status{justify-content:space-between;gap:0 calc(var(--unit) * 2);color:#a8a8a8;padding:0 var(--unit);min-height:calc(var(--unit) * 4);font-size:var(--t-meta);flex-wrap:wrap;align-items:center;display:flex}.terminal-method{padding:calc(var(--unit) * 3);border:1px solid #a8a8a8;flex:1;min-height:0;margin:0;display:none;overflow-y:auto}.terminal-method header h2{font-size:var(--t-h1);line-height:var(--lh-h1);margin-block:var(--lh)}.terminal-method-columns{gap:calc(var(--lh) * 2);margin-top:calc(var(--lh) * 2);grid-template-columns:minmax(0,2fr) minmax(0,1fr);display:grid}.terminal-method-columns p{margin-bottom:var(--lh);max-width:80ch}.terminal-method-columns dl{margin:0}.terminal-method-columns dt{color:#d7afff}.terminal-method-columns dd{margin:0 0 var(--lh);color:#a8a8a8}.terminal-method-columns h3{margin-block:var(--lh)}.terminal-context{margin:0 0 calc(var(--lh) * 2)}.terminal-context h4,[data-inference-evidence] h4{font:inherit;margin-block:var(--unit)}.terminal-method-columns details{padding-block:var(--unit);border-top:1px solid #585858}.terminal-method-columns summary{cursor:pointer}.terminal-method-columns ul{list-style:none}.terminal-config{color:#a8a8a8;overflow-wrap:anywhere;white-space:pre-wrap;font:400 var(--t-meta)/var(--lh) var(--font-mono);padding-top:var(--unit)}.terminal-hash{overflow-wrap:anywhere;color:#a8a8a8;font-size:.75rem;display:block}.inference-terminal[data-view=method] .terminal-grid,.inference-terminal:not([data-dialogs]):has(:target:is(#method,.terminal-context,[data-model-id])) .terminal-grid{display:none}.inference-terminal[data-view=method] .terminal-method,.inference-terminal:not([data-dialogs]):has(:target:is(#method,.terminal-context,[data-model-id])) .terminal-method{display:block}.inference-dialog-open{overflow:hidden}.terminal-dialog{width:min(48rem, calc(100% - var(--unit) * 4));max-width:none;max-height:calc(100svh - var(--unit) * 4);color:#fff;box-shadow:var(--unit) var(--unit) 0 #000;background:#171717;border:1px solid #c6c6c6;border-radius:0;margin:auto;padding:0}.terminal-dialog[open]{flex-direction:column;display:flex}.terminal-dialog::backdrop{background:#000b}.terminal-dialog-head{justify-content:space-between;align-items:center;gap:var(--unit);padding:var(--unit);border-bottom:1px solid #585858;display:flex}.terminal-dialog-head h2{overflow-wrap:anywhere;min-width:0}.terminal-dialog-head button{padding:0 var(--unit);min-height:calc(var(--unit) * 4);font:inherit;color:#fff;cursor:pointer;background:#3a3a3a;border:0;border-radius:0;flex-shrink:0}.terminal-dialog-head button span{color:#c6c6c6}.terminal-dialog-body{padding:calc(var(--unit) * 3);overscroll-behavior:contain;min-height:0;overflow-y:auto}.terminal-dialog-body :is(p,dd){font:400 var(--t-body)/var(--lh) var(--font-text)}.terminal-dialog-body p{margin-bottom:var(--lh)}.terminal-dialog-body :is(h4,dt){font:inherit;margin:0 0 var(--unit);color:#d7afff}.terminal-dialog-body dd{margin:0 0 var(--lh)}.terminal-dialog-body .terminal-context{margin:0}.terminal-dialog-body .terminal-equation{margin:0 0 var(--lh);padding:var(--unit);background:#000}.terminal-dialog-body .terminal-release-list li{padding-inline:0}.terminal-dialog-body ul{list-style:none}.terminal-dialog-body li{margin-bottom:var(--unit)}.terminal-dialog-body a{overflow-wrap:anywhere}.inference-grid-debug:after{content:"";pointer-events:none;z-index:99;background-image:linear-gradient(#006cdb55 1px,#0000 1px),linear-gradient(90deg,#006cdb55 1px,#0000 1px);background-size:var(--unit) var(--unit);position:fixed;inset:0}@media (hover:hover){.terminal-command button:hover,.terminal-dialog-head button:hover{background:#006cdb}}@media (width<=64rem){.inference-terminal{height:auto;min-height:100svh}.terminal-grid{grid-template-rows:auto;grid-template-columns:minmax(0,1fr);min-height:0}.terminal-chart,.terminal-table-panel,.terminal-monitor,.terminal-releases{grid-area:auto}.terminal-method-columns{gap:var(--lh);grid-template-columns:minmax(0,1fr)}.terminal-monitor .terminal-panel-body{max-height:30rem}.terminal-chart-plot{flex:none;height:18rem}.soi-terminal--embedded .soi-terminal-table{height:auto}.soi-terminal.soi-terminal--embedded,.soi-terminal--embedded .soi-terminal-frame{display:block}}@media (width<=44rem){.terminal-bar{padding-block:var(--unit)}.terminal-bar nav{width:100%;margin-top:var(--unit);margin-left:0}.terminal-command{gap:var(--unit)}.terminal-panel-head{padding-block:var(--unit)}.terminal-method{padding:var(--unit)}.terminal-chart-plot{height:12rem}.terminal-chart-plot text{font-size:28px}.terminal-legend{display:block}.terminal-legend li span:last-child{margin-left:auto}.terminal-dialog{width:calc(100% - var(--unit) * 2);max-height:calc(100svh - var(--unit) * 2)}.terminal-dialog-body{padding:calc(var(--unit) * 2)}.terminal-dialog-head button span{display:none}}@media (pointer:coarse){.terminal-bar nav a,.terminal-command button,.terminal-panel-head a,.terminal-dialog-head button,.terminal-method summary,.terminal-inline-meta a{min-height:calc(var(--unit) * 5);padding-block:var(--unit)}.terminal-feed article a{padding-block:var(--unit)}}@media (width<=44rem){.soi-terminal{padding-inline:var(--unit);font-size:var(--t-sm)}.soi-terminal-frame{padding-inline:var(--unit)}}.inference-workspace:has([data-inference-paused]){height:100svh;overflow:hidden}[data-inference-paused]{filter:blur(8px);pointer-events:none;user-select:none}.inference-interest-veil{z-index:20;background:#0006;position:fixed;inset:0}.inference-interest{z-index:21;--theme-background:#171717;--theme-text:#fff;--theme-background-input:#171717;--theme-border:#585858;--theme-border-strong:#a8a8a8;--theme-focused-foreground:#fff;--theme-focused-text:#000;width:min(32rem,100% - 32px);max-height:calc(100svh - 32px);font:400 var(--t-sm)/var(--lh) var(--font-title);color-scheme:dark;position:fixed;inset:0}.inference-interest::backdrop{background:0 0}.inference-interest .terminal-dialog-head{font:600 var(--t-body)/var(--lh) var(--font-title);background:#515765;border-color:#a8a8a8;padding:12px 24px}.inference-interest .terminal-dialog-body{padding:32px}.inference-interest h1{font:600 32px/40px var(--font-title);margin:0 0 16px}.inference-interest h1:focus{outline:none}.inference-interest .field>label{background:0 0;margin-bottom:8px;padding:0}.inference-interest .field input{min-height:48px}.inference-interest .inquiry-primary{color:#000;background:#eee;min-height:48px}.inference-interest .inquiry-text-button{align-items:center;min-height:48px;display:inline-flex}.inference-interest .inquiry-error,.inference-interest .inquiry-status{font:400 var(--t-sm)/var(--lh) var(--font-title);margin-bottom:0}@media (hover:hover){.inference-interest .inquiry-primary:not(:disabled):hover{color:#000;background:#fff}}@media (width<=44rem){.inference-interest .terminal-dialog-head{padding-inline:24px}.inference-interest .terminal-dialog-body{padding:24px}.inference-interest .inquiry-actions{display:flex}.inference-interest .inquiry-primary{margin-left:auto}}.inference-interest [hidden]{display:none}@media print{[data-inference-paused],.inference-interest-veil{display:none}.inference-interest{max-height:none;box-shadow:none;position:static}}@page article-review{size:A4;margin:16mm 18mm;@bottom-right{content:counter(page) " / " counter(pages);font:9pt sans-serif;color:#585858}}@media print{html:has(.content-document--printable){page:article-review;color-scheme:light;background:#fff}body:has(.content-document--printable){--theme-background:#fff;--theme-text:#000;--theme-bar:#585858;--theme-border-strong:#585858;--font-mono:"ServerMono", monospace;color:#000;-webkit-print-color-adjust:exact;print-color-adjust:exact;background:#fff;min-height:0;display:block;overflow:visible}body:has(.content-document--printable) .site-header{height:auto;box-shadow:none;color:#000;background:#fff;margin-bottom:6mm}body:has(.content-document--printable) .site-header__inner{height:auto;padding:0}body:has(.content-document--printable) .brand{opacity:1;visibility:visible}body:has(.content-document--printable) .main{max-width:none;padding:0;display:block}body:has(.content-document--printable) :is(.site-footer,.content-return,dialog,astro-dev-toolbar){display:none!important}.content-document--printable .content-heading{break-inside:avoid;max-width:none}.content-document--printable .content-heading h1{font-size:22pt;line-height:26pt}.content-document--printable :is(.content-author,.content-status,.content-heading>time){margin-top:3mm;font-size:10pt;line-height:14pt}.content-document--printable .content-heading .content-status{margin-top:1mm}.content-document--printable .content-introduction{margin-top:5mm;font-size:12pt;line-height:18pt}.content-document--printable .content-figure{break-inside:avoid;max-width:none;margin:7mm 0}.content-document--printable .news-cover{max-width:140mm;margin-inline:auto}.content-document--printable :is(.sr-only,.cover-study__reset,.proof-panel__read-more){display:none}.content-document--printable .content-prose{max-width:none;font-size:11pt;line-height:16pt}.content-document--printable .content-prose p{orphans:3;widows:3}.content-document--printable .content-prose p+p{margin-top:3mm}.content-document--printable .content-prose h2{break-after:avoid;margin:6mm 0 3mm;font-size:14pt;line-height:18pt}.content-document--printable .quote-study .quote-study__text{padding:4mm;font-size:13pt;line-height:19pt}.content-document--printable .quote-study__attribution{padding:3mm 4mm;font-size:10pt;line-height:14pt}.content-document--printable .quote-study .terminal-panel-head{padding:2mm 4mm}.content-document--printable .quote-study+.content-prose{break-before:page}.content-document--printable .proof-panel__finding{min-height:0;padding:4mm;font-size:14pt;line-height:18pt}.content-document--printable .outcome-study{break-before:page;margin-top:0}.content-document--printable .outcome-study .terminal-panel-head{min-height:0;padding:3mm 4mm}.content-document--printable .outcome-study .landing-panel__title{font-size:12pt;line-height:16pt}.content-document--printable .outcome-study .outcome-study__value{padding:5mm 4mm;font-size:18pt;line-height:24pt}.content-document--printable .outcome-study__source{padding:3mm 4mm;font-size:10pt;line-height:14pt}.content-document--printable .proof-context[hidden],.content-document--printable .proof-context{font:400 9pt/13pt var(--font-title);color:#585858;margin-top:4mm;display:block}.content-document--printable .proof-context h3{display:none}.content-document--printable .proof-context p{max-width:none;margin-top:2mm}.content-document--printable .inference-strategy{break-before:page}.content-document--printable .inference-strategy :is(.reference-actions,.reference-controls,canvas){display:none}.content-document--printable .inference-strategy [data-strategy-points]{display:block}}