@font-face{font-family:__Bricolage_Grotesque_a4bae9;font-style:normal;font-weight:200 800;font-stretch:100%;font-display:swap;src:url(/_next/static/media/93a6e477e1480c92-s.woff2) format("woff2");unicode-range:u+0102-0103,u+0110-0111,u+0128-0129,u+0168-0169,u+01a0-01a1,u+01af-01b0,u+0300-0301,u+0303-0304,u+0308-0309,u+0323,u+0329,u+1ea0-1ef9,u+20ab}@font-face{font-family:__Bricolage_Grotesque_a4bae9;font-style:normal;font-weight:200 800;font-stretch:100%;font-display:swap;src:url(/_next/static/media/c7e0cf6c760983e7-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:__Bricolage_Grotesque_a4bae9;font-style:normal;font-weight:200 800;font-stretch:100%;font-display:swap;src:url(/_next/static/media/9d5a263311222317-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:__Bricolage_Grotesque_Fallback_a4bae9;src:local("Arial");ascent-override:88.21%;descent-override:25.61%;line-gap-override:0.00%;size-adjust:105.43%}.__className_a4bae9{font-family:__Bricolage_Grotesque_a4bae9,__Bricolage_Grotesque_Fallback_a4bae9;font-style:normal}.__variable_a4bae9{--font-display:"__Bricolage_Grotesque_a4bae9","__Bricolage_Grotesque_Fallback_a4bae9"}@font-face{font-family:__Instrument_Sans_3d9088;font-style:normal;font-weight:400 700;font-stretch:100%;font-display:swap;src:url(/_next/static/media/adb45196eddef626-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:__Instrument_Sans_3d9088;font-style:normal;font-weight:400 700;font-stretch:100%;font-display:swap;src:url(/_next/static/media/26d0ba92e140f0dc-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:__Instrument_Sans_Fallback_3d9088;src:local("Arial");ascent-override:94.42%;descent-override:24.33%;line-gap-override:0.00%;size-adjust:102.74%}.__className_3d9088{font-family:__Instrument_Sans_3d9088,__Instrument_Sans_Fallback_3d9088;font-style:normal}.__variable_3d9088{--font-sans:"__Instrument_Sans_3d9088","__Instrument_Sans_Fallback_3d9088"}@font-face{font-family:"__Source_Serif_4_25ee46";font-style:normal;font-weight:200 900;font-display:swap;src:url(/_next/static/media/3d165c286d94e27c-s.woff2) format("woff2");unicode-range:u+0460-052f,u+1c80-1c8a,u+20b4,u+2de0-2dff,u+a640-a69f,u+fe2e-fe2f}@font-face{font-family:"__Source_Serif_4_25ee46";font-style:normal;font-weight:200 900;font-display:swap;src:url(/_next/static/media/e54d16b9f2c4535b-s.woff2) format("woff2");unicode-range:u+0301,u+0400-045f,u+0490-0491,u+04b0-04b1,u+2116}@font-face{font-family:"__Source_Serif_4_25ee46";font-style:normal;font-weight:200 900;font-display:swap;src:url(/_next/static/media/7c21074d9bafed1b-s.woff2) format("woff2");unicode-range:u+0370-0377,u+037a-037f,u+0384-038a,u+038c,u+038e-03a1,u+03a3-03ff}@font-face{font-family:"__Source_Serif_4_25ee46";font-style:normal;font-weight:200 900;font-display:swap;src:url(/_next/static/media/916860560b9a2bc2-s.woff2) format("woff2");unicode-range:u+0102-0103,u+0110-0111,u+0128-0129,u+0168-0169,u+01a0-01a1,u+01af-01b0,u+0300-0301,u+0303-0304,u+0308-0309,u+0323,u+0329,u+1ea0-1ef9,u+20ab}@font-face{font-family:"__Source_Serif_4_25ee46";font-style:normal;font-weight:200 900;font-display:swap;src:url(/_next/static/media/591e43f23f51e5a5-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:"__Source_Serif_4_25ee46";font-style:normal;font-weight:200 900;font-display:swap;src:url(/_next/static/media/97ac91773d3121b2-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:"__Source_Serif_4_Fallback_25ee46";src:local("Times New Roman");ascent-override:87.87%;descent-override:28.41%;line-gap-override:0.00%;size-adjust:117.91%}.__className_25ee46{font-family:"__Source_Serif_4_25ee46","__Source_Serif_4_Fallback_25ee46";font-style:normal}.__variable_25ee46{--font-serif:"__Source_Serif_4_25ee46","__Source_Serif_4_Fallback_25ee46"}@font-face{font-family:__Spline_Sans_Mono_1999fd;font-style:normal;font-weight:300 700;font-display:swap;src:url(/_next/static/media/59829bb575d36b50-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:__Spline_Sans_Mono_1999fd;font-style:normal;font-weight:300 700;font-display:swap;src:url(/_next/static/media/e02f7a71372872a3-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:__Spline_Sans_Mono_Fallback_1999fd;src:local("Arial");ascent-override:71.59%;descent-override:17.57%;line-gap-override:0.00%;size-adjust:134.59%}.__className_1999fd{font-family:__Spline_Sans_Mono_1999fd,__Spline_Sans_Mono_Fallback_1999fd;font-style:normal}.__variable_1999fd{--font-mono:"__Spline_Sans_Mono_1999fd","__Spline_Sans_Mono_Fallback_1999fd"}:root{--paper:#f6f7fb;--card:#fff;--field:#eef1f8;--night:#101430;--night-2:#191f42;--night-3:#242c5c;--ink:#171c33;--ink-soft:#575e7c;--line:rgba(23,28,51,.12);--line-strong:rgba(23,28,51,.3);--smoke:#eef0fa;--smoke-soft:#a9afd4;--line-dark:rgba(238,240,250,.14);--brand:#4f46e5;--brand-strong:#4338ca;--brand-hot:#818cf8;--brand-deep:#3730a3;--brand-soft:rgba(79,70,229,.09);--brand-line:rgba(79,70,229,.35);--gold:#b45309;--gold-hot:#fbbf24;--gold-soft:rgba(217,119,6,.14);--det:#0f766e;--det-soft:rgba(15,118,110,.08);--stamp:#b42318;--stamp-soft:rgba(180,35,24,.07);--sem:#a21caf;--sem-soft:rgba(162,28,175,.07);--ok:#15803d;--ok-soft:rgba(21,128,61,.1);--display:var(--font-display),"Avenir Next","Trebuchet MS",sans-serif;--sans:var(--font-sans),ui-sans-serif,system-ui,-apple-system,"Segoe UI",sans-serif;--serif:var(--font-serif),ui-serif,Georgia,"Times New Roman",serif;--mono:var(--font-mono),ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;--ease-out:cubic-bezier(0.23,1,0.32,1);--ease-in-out:cubic-bezier(0.77,0,0.175,1);--r-lg:20px;--r-md:14px;--r-sm:10px;--r-xs:7px;--shadow-1:0 1px 2px rgba(23,28,51,.05),0 6px 20px rgba(23,28,51,.06);--shadow-2:0 2px 8px rgba(23,28,51,.08),0 20px 48px rgba(23,28,51,.12);--hatch:repeating-linear-gradient(45deg,transparent 0 5px,rgba(23,28,51,.07) 5px 6px,transparent 6px 11px);--s1:4px;--s2:8px;--s3:12px;--s4:16px;--s5:24px;--s6:32px;--s7:48px;--s8:64px;--s9:88px;--s10:112px}*,:after,:before{box-sizing:border-box}html{scroll-behavior:smooth}body,html{background:var(--paper);color:var(--ink)}body{margin:0;min-width:320px;overflow-x:clip;font-family:var(--sans);font-size:16px;line-height:1.6;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased}button,input,textarea{color:inherit;font:inherit}button,input,input[type=radio],textarea{min-height:44px}a{color:inherit}[tabindex]:focus-visible,a:focus-visible,button:focus-visible,input:focus-visible,textarea:focus-visible{outline:3px solid var(--brand);outline-offset:2px;border-radius:var(--r-xs)}[aria-disabled=true],button:disabled{cursor:default}::selection{background:var(--brand);color:#fff}blockquote,dd,dl,figure,h1,h2,h3,ol,p,ul{margin:0}ol,ul{padding:0}.btn{display:inline-flex;align-items:center;justify-content:center;min-width:140px;min-height:46px;border:1.5px solid var(--ink);border-radius:var(--r-sm);background:var(--card);padding:var(--s2) var(--s5);color:var(--ink);font-family:var(--sans);font-size:15px;font-weight:650;line-height:1.2;cursor:pointer;transition:background-color .15s ease,color .15s ease,box-shadow .15s ease,transform .16s var(--ease-out)}.btn:hover:not(:disabled){background:var(--field)}.btn:active:not(:disabled){transform:scale(.97)}.btn--forge{border-color:transparent;background:linear-gradient(180deg,#5b54f0,var(--brand-strong));box-shadow:inset 0 1px 0 hsla(0,0%,100%,.22),0 6px 18px rgba(67,56,202,.32);color:#fff}.btn--forge:hover:not(:disabled){background:linear-gradient(180deg,#6660f2,#4c44d8);box-shadow:inset 0 1px 0 hsla(0,0%,100%,.22),0 8px 22px rgba(67,56,202,.4)}.btn--lg{min-height:54px;border-radius:var(--r-md);padding-inline:var(--s6);font-size:16.5px}.btn--quiet{min-width:0;border-color:transparent;background:transparent;color:var(--ink-soft);font-weight:600}.btn--quiet:hover:not(:disabled){background:var(--field);color:var(--ink)}.btn--locked,.btn:disabled{border:1.5px dashed var(--line-strong);background:var(--hatch);box-shadow:none;color:var(--ink-soft);pointer-events:none}.btn-note{max-width:48ch;color:var(--ink-soft);font-family:var(--mono);font-size:12.5px}.lp{min-height:100dvh}.lp-nav{position:-webkit-sticky;position:sticky;top:0;z-index:40;display:flex;align-items:center;gap:var(--s5);border-bottom:1px solid var(--line);background:color-mix(in srgb,var(--paper) 88%,transparent);-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);padding:var(--s3) clamp(16px,4vw,40px)}.lp-nav__brand{font-family:var(--display);font-size:19px;font-weight:800;letter-spacing:.12em;text-decoration:none}.lp-nav__links{display:flex;gap:var(--s5);margin-left:auto}.lp-nav__links a{color:var(--ink-soft);font-size:14.5px;font-weight:600;text-decoration:none;transition:color .15s ease}.lp-nav__links a:hover{color:var(--ink)}.lp-nav__cta{margin-left:var(--s2)}.lp-btn{display:inline-flex;align-items:center;justify-content:center;min-height:46px;border:1.5px solid transparent;border-radius:var(--r-sm);padding:var(--s2) var(--s5);font-size:15px;font-weight:700;line-height:1.2;text-decoration:none;cursor:pointer;transition:background-color .15s ease,color .15s ease,box-shadow .15s ease,transform .16s var(--ease-out)}.lp-btn:active{transform:scale(.97)}.lp-btn--brand{background:linear-gradient(180deg,#5b54f0,var(--brand-strong));box-shadow:inset 0 1px 0 hsla(0,0%,100%,.22),0 6px 18px rgba(67,56,202,.32);color:#fff}.lp-btn--brand:hover{background:linear-gradient(180deg,#6660f2,#4c44d8)}.lp-btn--ghost{border-color:var(--line-dark);color:var(--smoke)}.lp-btn--ghost:hover{background:hsla(37,49%,92%,.08)}.lp-btn--outline{border-color:var(--line-strong);color:var(--ink)}.lp-btn--outline:hover{border-color:var(--brand);color:var(--brand-deep)}.lp-btn--lg{min-height:54px;border-radius:var(--r-md);padding-inline:var(--s6);font-size:16.5px}.lp-hero{position:relative;overflow:clip;background:radial-gradient(52rem 30rem at 50% 118%,rgba(79,70,229,.4),transparent 60%),var(--night);padding:clamp(64px,9vw,120px) clamp(16px,4vw,40px) clamp(48px,6vw,88px);color:var(--smoke);text-align:center}.lp-hero__glow{position:absolute;inset:auto 0 -40%;height:70%;background:radial-gradient(50% 60% at 50% 100%,rgba(129,140,248,.16),transparent 70%);pointer-events:none}.lp-eyebrow{color:var(--smoke-soft);font-family:var(--mono);font-size:13px;letter-spacing:.08em;text-transform:uppercase;animation:lp-rise .5s 40ms var(--ease-out) both}.lp-hero__title{margin:var(--s5) auto 0;font-family:var(--display);font-size:clamp(40px,7vw,76px);font-weight:800;letter-spacing:-.015em;line-height:1.02;animation:lp-rise .5s .12s var(--ease-out) both}.lp-hero__title em{background:linear-gradient(92deg,var(--gold-hot),#f59e0b 70%);-webkit-background-clip:text;background-clip:text;color:transparent;font-style:italic}.lp-hero__sub{max-width:62ch;margin:var(--s5) auto 0;color:var(--smoke-soft);font-size:clamp(16px,2vw,18.5px);line-height:1.65;animation:lp-rise .5s .2s var(--ease-out) both}.lp-hero__actions{display:flex;flex-wrap:wrap;gap:var(--s3) var(--s4);justify-content:center;margin-top:var(--s6);animation:lp-rise .5s .28s var(--ease-out) both}.lp-hero__status{margin:var(--s5) auto 0;max-width:56ch;color:var(--smoke);font-family:var(--serif);font-size:16.5px;font-style:italic;line-height:1.6;animation:lp-rise .5s .34s var(--ease-out) both}.lp-fork{position:relative;max-width:880px;margin:clamp(48px,6vw,72px) auto 0;border:1px solid var(--line-dark);border-radius:var(--r-lg);background:color-mix(in srgb,var(--night-2) 86%,transparent);box-shadow:0 30px 80px rgba(0,0,0,.4);padding:clamp(24px,4vw,48px);animation:lp-rise .6s .42s var(--ease-out) both}.lp-fork__caption{color:var(--smoke-soft);font-family:var(--mono);font-size:12px;letter-spacing:.1em;text-transform:uppercase}.lp-fork__stem{max-width:46ch;margin:var(--s5) auto 0;font-family:var(--serif);font-size:clamp(19px,2.6vw,26px);line-height:1.5}.lp-fork__mark{background:transparent;border-bottom:3px solid var(--gold-hot);color:var(--gold-hot);font-style:italic}.lp-fork__split{display:grid;grid-template-columns:repeat(4,1fr);grid-template-rows:20px 26px;width:min(80%,560px);margin:var(--s4) auto 0}.lp-fork__drop{grid-column:2/4;grid-row:1;justify-self:center;border-left:1.5px solid var(--brand-line)}.lp-fork__arm{grid-row:2;border-top:1.5px solid var(--brand-line)}.lp-fork__arm--l{grid-column:2;border-left:1.5px solid var(--brand-line);border-top-left-radius:8px}.lp-fork__arm--r{grid-column:3;border-right:1.5px solid var(--brand-line);border-top-right-radius:8px}.lp-fork__readings{display:grid;grid-template-columns:1fr auto 1fr;grid-gap:var(--s4);gap:var(--s4);align-items:center;margin-top:var(--s2)}.lp-fork__reading{border:1px solid var(--line-dark);border-radius:var(--r-md);background:rgba(0,0,0,.25);padding:var(--s4) var(--s4) var(--s5)}.lp-fork__reading p{margin-top:var(--s2);color:var(--smoke-soft);font-size:14.5px}.lp-fork__reading-label{color:var(--smoke-soft);font-family:var(--mono);font-size:11px;letter-spacing:.12em;text-transform:uppercase}.lp-fork__answer{display:block;margin-top:var(--s3);background:linear-gradient(180deg,#c7d2fe,var(--brand-hot));-webkit-background-clip:text;background-clip:text;color:transparent;font-family:var(--display);font-size:clamp(40px,6vw,64px);font-weight:800;line-height:.95}.lp-fork__neq{display:grid;place-items:center;width:52px;height:52px;border:1.5px solid var(--brand-line);border-radius:50%;color:var(--brand-hot);font-size:28px;font-weight:700}.lp-fork__verdict{margin-top:var(--s5);color:var(--smoke);font-size:16px;font-weight:600}.lp-section{padding:clamp(64px,8vw,112px) clamp(16px,4vw,40px)}.lp-section>*{max-width:1080px;margin-left:auto;margin-right:auto}.lp-section--dark{background:var(--night);color:var(--smoke)}.lp-section--tint{background:var(--field)}.lp-section__head{max-width:720px}.lp-h2{font-family:var(--display);font-size:clamp(28px,4vw,42px);font-weight:800;letter-spacing:-.01em;line-height:1.08}.lp-section__lede{margin-top:var(--s4);color:var(--ink-soft);font-size:17px;line-height:1.65}.lp-section--dark .lp-section__lede{color:var(--smoke-soft)}.lp-story{max-width:66ch}.lp-story p{margin-top:var(--s5);color:var(--ink);font-family:var(--serif);font-size:18px;line-height:1.75}.lp-story p strong{color:var(--brand-deep);font-weight:700}.lp-story__open:first-letter{float:left;margin:6px 10px 0 0;color:var(--brand-deep);font-family:var(--display);font-size:58px;font-weight:800;line-height:.8}.lp-pull{margin-top:var(--s6);border-left:4px solid var(--gold-hot);padding-left:var(--s5);font-family:var(--serif);font-size:clamp(19px,2.4vw,24px);font-style:italic;line-height:1.55}.lp-story__cta{margin-top:var(--s5)}.lp-story__cta a{color:var(--brand-deep);font-weight:700;text-decoration:none}.lp-story__cta a:hover{text-decoration:underline;text-underline-offset:3px}.lp-flow{max-width:780px;margin-top:var(--s7);list-style:none}.lp-flow__step{display:grid;grid-template-columns:64px minmax(0,1fr);grid-gap:var(--s5);gap:var(--s5)}.lp-flow__marker{display:grid;grid-template-rows:auto 1fr auto;justify-items:center}.lp-flow__num{display:grid;place-items:center;width:52px;height:52px;border-radius:50%;background:linear-gradient(180deg,#5b54f0,var(--brand-strong));box-shadow:inset 0 1px 0 hsla(0,0%,100%,.22),0 6px 16px rgba(67,56,202,.28);color:#fff;font-family:var(--display);font-size:21px;font-weight:800}.lp-flow__link{width:2px;margin-top:var(--s2);background:var(--brand-line)}.lp-flow__head{width:9px;height:9px;margin:-2px 0 var(--s2);border-right:2px solid var(--brand-line);border-bottom:2px solid var(--brand-line);transform:rotate(45deg)}.lp-flow__card{border:1px solid var(--line);border-radius:var(--r-lg);background:var(--card);box-shadow:var(--shadow-1);padding:var(--s5);margin-bottom:var(--s5)}.lp-flow__step:last-child .lp-flow__card{margin-bottom:0}.lp-flow__top{display:flex;align-items:center;gap:var(--s3)}.lp-flow__code{color:var(--ink-soft);font-family:var(--mono);font-size:11.5px;font-weight:600;letter-spacing:.14em;text-transform:uppercase}.lp-flow__title{margin-top:var(--s3);font-family:var(--display);font-size:21px;font-weight:700;line-height:1.2}.lp-flow__copy{margin-top:var(--s2);color:var(--ink-soft);font-size:15.5px;line-height:1.6}.lp-flow__note{margin-top:var(--s3);color:var(--brand-deep);font-family:var(--mono);font-size:12px}.lp-chip{margin-left:auto;border-radius:999px;padding:3px 10px;font-family:var(--mono);font-size:11px;font-weight:600;letter-spacing:.04em}.lp-chip--today{background:var(--ok-soft);color:var(--ok)}.lp-chip--next{border:1px dashed var(--line-strong);background:var(--hatch);color:var(--ink-soft)}.lp-chip--gated{background:var(--brand-soft);color:var(--brand-deep)}.lp-role{margin-top:var(--s8);border-left:4px solid var(--gold-hot);padding-left:var(--s5);max-width:62ch;font-family:var(--serif);font-size:clamp(19px,2.4vw,24px);font-style:italic;line-height:1.55}.lp-classes{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));grid-gap:var(--s4);gap:var(--s4);margin-top:var(--s7)}.lp-class{border:1px solid var(--line-dark);border-radius:var(--r-lg);background:var(--night-2);padding:var(--s5)}.lp-class h3{margin-top:var(--s4);font-family:var(--display);font-size:20px;font-weight:700}.lp-class p{margin-top:var(--s3);color:var(--smoke-soft);font-size:15px;line-height:1.6}.lp-class__tag{display:inline-block;border-radius:999px;padding:4px 12px;font-family:var(--mono);font-size:11.5px;font-weight:600;letter-spacing:.06em;text-transform:uppercase}.lp-class[data-class=deterministic] .lp-class__tag{background:rgba(94,234,212,.14);color:#5eead4}.lp-class[data-class=counterexample] .lp-class__tag{background:hsla(9,100%,73%,.14);color:#ff9e8a}.lp-class[data-class=semantic] .lp-class__tag{background:rgba(240,171,252,.14);color:#f0abfc;font-style:italic;-webkit-text-decoration:underline dashed 1px;text-decoration:underline dashed 1px;text-underline-offset:3px}.lp-guarantee{max-width:760px;margin-top:var(--s8);border-top:1px solid var(--line-dark);padding-top:var(--s6);text-align:center}.lp-guarantee p{font-family:var(--serif);font-size:clamp(19px,2.6vw,25px);font-style:italic;line-height:1.55}.lp-guarantee cite{display:block;margin-top:var(--s4);color:var(--smoke-soft);font-family:var(--mono);font-size:12px;font-style:normal;letter-spacing:.1em;text-transform:uppercase}.lp-status{display:grid;grid-template-columns:1fr 1fr;grid-gap:var(--s5);gap:var(--s5);margin-top:var(--s7)}.lp-status__col{border:1px solid var(--line);border-radius:var(--r-lg);background:var(--card);box-shadow:var(--shadow-1);padding:var(--s5) var(--s6)}.lp-status__title{font-family:var(--mono);font-size:13px;font-weight:700;letter-spacing:.12em;text-transform:uppercase}.lp-status__title--today{color:var(--ok)}.lp-status__title--next{color:var(--ink-soft)}.lp-status__col ul{display:grid;grid-gap:var(--s3);gap:var(--s3);margin-top:var(--s4);list-style:none}.lp-status__col li{border-left:3px solid var(--line);padding-left:var(--s4);color:var(--ink-soft);font-size:15px;line-height:1.55}.lp-status__col:first-child li{border-left-color:var(--ok);color:var(--ink)}.lp-rules{max-width:72ch}.lp-rules p{margin-top:var(--s5);color:var(--ink);font-family:var(--serif);font-size:18.5px;line-height:1.85}.lp-rules strong{color:var(--gold);font-weight:700}.lp-rules strong svg{width:17px;height:17px;margin-right:3px;vertical-align:-2.5px}.lp-strip{display:flex;gap:var(--s6);align-items:center;justify-content:space-between;max-width:900px}.lp-strip .lp-section__lede{max-width:60ch}.lp-strip .lp-btn{flex-shrink:0}.lp-about-teaser{display:grid;grid-gap:var(--s6);gap:var(--s6);justify-items:center;text-align:center}.lp-flame{max-width:720px}.lp-flame p{font-family:var(--serif);font-size:clamp(20px,2.8vw,27px);font-style:italic;line-height:1.55}.lp-flame cite{display:block;margin-top:var(--s4);color:var(--ink-soft);font-family:var(--mono);font-size:12px;font-style:normal;letter-spacing:.1em;text-transform:uppercase}.ab-main{width:min(calc(100% - 32px),760px);margin:0 auto;padding:clamp(48px,7vw,88px) 0 var(--s9)}.ab-title{margin-top:var(--s4);font-family:var(--display);font-size:clamp(32px,5.5vw,54px);font-weight:800;letter-spacing:-.015em;line-height:1.06}.ab-title em{background:linear-gradient(92deg,#d97706,var(--gold) 70%);-webkit-background-clip:text;background-clip:text;color:transparent;font-style:italic}.ab-section{margin-top:clamp(48px,6vw,72px)}.ab-section h2{font-family:var(--display);font-size:clamp(24px,3.4vw,32px);font-weight:800;letter-spacing:-.01em}.ab-section p{max-width:66ch;margin-top:var(--s5);color:var(--ink);font-family:var(--serif);font-size:18.5px;line-height:1.8}.ab-section p strong{color:var(--brand-deep)}.ab-dropcap:first-letter{float:left;margin:7px 11px 0 0;color:var(--gold);font-family:var(--display);font-size:62px;font-weight:800;line-height:.8}.ab-section p.ab-sign{margin-top:var(--s6);font-family:var(--display);font-size:19px;font-weight:700}.ab-sign span{display:block;margin-top:var(--s1);color:var(--ink-soft);font-family:var(--mono);font-size:12px;font-weight:400;letter-spacing:.08em;text-transform:uppercase}.ab-pull,.ab-section p em{font-style:italic}.ab-pull{border-left:4px solid var(--gold-hot);padding-left:var(--s5);font-family:var(--serif);font-size:clamp(19px,2.6vw,24px);line-height:1.55}.ab-pull,.ab-section .lp-status{margin-top:var(--s6)}.ab-cta{display:grid;grid-gap:var(--s5);gap:var(--s5);justify-items:center;margin-top:clamp(56px,7vw,88px);border-top:1px solid var(--line);padding-top:clamp(40px,5vw,64px);text-align:center}.ab-cta p{font-family:var(--serif);font-size:clamp(19px,2.6vw,24px);font-style:italic}.lp-final{background:radial-gradient(46rem 26rem at 50% 130%,rgba(79,70,229,.42),transparent 60%),var(--night);padding:clamp(72px,9vw,128px) clamp(16px,4vw,40px);color:var(--smoke);text-align:center}.lp-final__title{font-family:var(--display);font-size:clamp(32px,5.5vw,56px);font-weight:800;letter-spacing:-.01em;line-height:1.05}.lp-final__copy{max-width:54ch;margin:var(--s4) auto var(--s6);color:var(--smoke-soft);font-size:17px;line-height:1.6}.lp-footer{display:flex;flex-wrap:wrap;gap:var(--s3) var(--s6);justify-content:center;border-top:1px solid var(--line-dark);background:var(--night);padding:var(--s5) clamp(16px,4vw,40px) var(--s7);color:var(--smoke-soft);font-family:var(--mono);font-size:12.5px}@keyframes lp-rise{0%{opacity:0;transform:translateY(14px)}to{opacity:1;transform:translateY(0)}}@keyframes rise-in{0%{opacity:0;transform:translateY(6px)}to{opacity:1;transform:translateY(0)}}.shell{width:min(calc(100% - 32px),1160px);margin:0 auto;padding:var(--s6) 0 176px}.masthead{display:grid;grid-template-columns:minmax(0,1fr) minmax(220px,300px);grid-gap:var(--s6);gap:var(--s6);align-items:start;border:1px solid var(--line);border-radius:var(--r-lg);background:var(--night);box-shadow:var(--shadow-2);padding:var(--s6);color:var(--smoke)}.masthead__home{text-decoration:none}.wordmark{font-size:22px;font-weight:800;letter-spacing:.14em;line-height:1.2;text-transform:uppercase}.tagline,.wordmark{font-family:var(--display)}.tagline{max-width:52ch;margin-top:var(--s3);font-size:clamp(18px,2.2vw,22px);font-weight:700;line-height:1.3}.masthead__descriptor{max-width:58ch;margin-top:var(--s2);color:var(--smoke-soft)}.masthead__meta{display:flex;flex-wrap:wrap;gap:var(--s2);align-content:flex-start;justify-content:flex-end;font-family:var(--mono);font-size:10.5px;font-feature-settings:tabular-nums lining-nums;font-variant-numeric:tabular-nums lining-nums}.meta-row{display:inline-flex;gap:var(--s2);align-items:baseline;border:1px solid var(--line-dark);border-radius:999px;padding:3px 10px}.meta-row span{color:var(--smoke-soft)}.meta-row b{overflow-wrap:anywhere;font-weight:500}.rail-block{margin-top:var(--s6)}.rail-scroll{overflow-x:auto;overscroll-behavior-inline:contain;padding-bottom:var(--s2)}.rail{display:grid;grid-template-columns:repeat(6,minmax(158px,1fr));grid-gap:var(--s3);gap:var(--s3);min-width:960px;list-style:none}.rail__node{position:relative;min-height:96px;border:1px solid var(--line);border-radius:var(--r-md);background:var(--card);padding:var(--s3) var(--s4);font-family:var(--mono);font-feature-settings:tabular-nums lining-nums;font-variant-numeric:tabular-nums lining-nums;transition:border-color .2s ease,box-shadow .2s ease}.rail__node:not(:last-child):after{position:absolute;top:50%;right:-9px;width:7px;height:7px;border-top:2px solid var(--line-strong);border-right:2px solid var(--line-strong);content:"";transform:translateY(-50%) rotate(45deg)}.rail__node[data-phase=current]:not(:last-child):after,.rail__node[data-phase=past]:not(:last-child):after{border-color:var(--brand)}.rail__node[data-phase=past]{border-color:var(--brand-line);background:var(--brand-soft)}.rail__node[data-phase=current]{border:2px solid var(--brand);box-shadow:0 0 0 4px var(--brand-soft),var(--shadow-1);padding:calc(var(--s3) - 1px) calc(var(--s4) - 1px)}.rail__node[data-phase=future]{background:var(--paper)}.rail__notch{display:block;height:18px;color:var(--gold);font-family:var(--mono);font-size:13px}.rail__label{display:block;font-size:11.5px;font-weight:700;letter-spacing:.1em}.rail__note{display:block;margin-top:var(--s2);color:var(--ink-soft);font-size:12px;line-height:1.4}.branches{margin-top:var(--s3)}.branches summary{display:inline-flex;align-items:center;gap:var(--s2);min-height:44px;color:var(--ink-soft);font-family:var(--mono);font-size:12px;font-weight:700;cursor:pointer;list-style:none}.branches summary::-webkit-details-marker{display:none}.branches summary:before{content:"+";font-size:15px;line-height:1}.branches[open] summary:before{content:"−"}.branches__body{display:grid;grid-template-columns:1fr 1fr;grid-gap:var(--s3);gap:var(--s3);margin-top:var(--s2);animation:rise-in .2s var(--ease-out) both}.branch{display:grid;grid-gap:var(--s2);gap:var(--s2);border:1px dashed var(--line-strong);border-radius:var(--r-md);padding:var(--s3) var(--s4);font-size:13.5px;line-height:1.5}.branch b{font-family:var(--mono);font-size:11.5px;letter-spacing:.06em}.branch span{color:var(--ink-soft)}.branch[data-reached=true]{border-style:solid;border:2px solid var(--sem)}.branch[data-current=true] b{color:var(--sem)}.lane__empty,.lane__source,.muted,.privacy-note,.rerun__detail,.trail{color:var(--ink-soft)}.trail{display:flex;flex-wrap:wrap;gap:var(--s2) var(--s4);margin-top:var(--s3);list-style:none;font-family:var(--mono);font-size:11px}.trail em{color:var(--brand-deep);font-style:normal}.notice{display:grid;grid-template-columns:110px 1fr;grid-gap:var(--s4);gap:var(--s4);margin-top:var(--s5);border:1px solid var(--line-strong);border-left:4px solid var(--brand);border-radius:var(--r-md);background:var(--card);padding:var(--s3) var(--s4);font-size:14px}.notice__label{font-family:var(--mono);font-weight:700;text-transform:uppercase}.notice--warn{border-left-color:var(--stamp)}.onboard{display:grid;grid-template-columns:minmax(0,1.35fr) minmax(280px,.65fr);grid-gap:var(--s5);gap:var(--s5);margin-top:var(--s7)}.onboard__primary{border:1px solid var(--line);border-radius:var(--r-lg);background:var(--card);box-shadow:var(--shadow-1);padding:var(--s6)}.onboard__title{font-family:var(--display);font-size:24px;font-weight:800;letter-spacing:-.01em}.onboard__copy{max-width:68ch;margin-top:var(--s3);color:var(--ink-soft)}.onboard__secondary{border-radius:var(--r-lg);padding:var(--s5);transition:border-color .25s ease,background-color .25s ease,box-shadow .25s ease}.onboard__secondary[data-unlocked=false]{border:1.5px dashed var(--line-strong);background:var(--hatch);pointer-events:none}.onboard__secondary[data-unlocked=true]{border:1.5px solid var(--brand);background:var(--card);box-shadow:0 0 0 4px var(--brand-soft),var(--shadow-1)}.onboard__locked-title{font-family:var(--display);font-size:17px;font-weight:700}.form-footer,.onboard__actions{display:flex;flex-wrap:wrap;gap:var(--s3) var(--s4);align-items:center;margin-top:var(--s5)}.panel{position:relative;margin-top:var(--s7);border:1px solid var(--line);border-radius:var(--r-lg);background:var(--card);box-shadow:var(--shadow-1);padding:var(--s6);scroll-margin-top:var(--s5);transition:opacity .25s ease,border-color .25s ease,box-shadow .25s ease}.panel[data-step=now]{border-color:var(--brand);box-shadow:0 0 0 4px var(--brand-soft),var(--shadow-1)}.panel[data-step=later]{opacity:.66}.panel[data-step=later]:focus-within,.panel[data-step=later]:hover{opacity:1}.panel__phase{border-radius:999px;padding:2px 10px;font-family:var(--mono);font-size:10.5px;font-weight:700;letter-spacing:.08em;text-transform:uppercase;white-space:nowrap}.panel__phase[data-phase=now]{background:var(--brand-soft);color:var(--brand-deep)}.panel__phase[data-phase=done]{background:var(--ok-soft);color:var(--ok)}.panel__phase[data-phase=later]{border:1px dashed var(--line-strong);background:var(--hatch);color:var(--ink-soft)}.panel__head{display:grid;grid-template-columns:auto minmax(0,1fr) auto;grid-gap:var(--s4);gap:var(--s4);align-items:center}.panel__step{display:grid;place-items:center;width:46px;height:46px;border-radius:50%;background:var(--brand-soft);color:var(--brand-deep);font-family:var(--display);font-size:16.5px;font-weight:800;transition:background-color .25s ease,color .25s ease,box-shadow .25s ease}.panel[data-step=now] .panel__step{background:linear-gradient(180deg,#5b54f0,var(--brand-strong));box-shadow:inset 0 1px 0 hsla(0,0%,100%,.22),0 4px 14px rgba(67,56,202,.3);color:#fff}.panel[data-step=done] .panel__step{background:var(--ok-soft);color:var(--ok)}.panel__more{max-width:70ch;margin-top:var(--s3)}.panel__more summary{display:inline-flex;align-items:center;gap:var(--s2);min-height:44px;color:var(--brand-deep);font-family:var(--mono);font-size:12px;font-weight:700;cursor:pointer;list-style:none}.panel__more summary::-webkit-details-marker{display:none}.panel__more summary:before{content:"+";font-size:15px;line-height:1}.panel__more[open] summary:before{content:"−"}.panel__more p{margin-top:var(--s2);color:var(--ink-soft);font-size:14.5px;line-height:1.65;animation:rise-in .2s var(--ease-out) both}.panel__title{font-family:var(--display);font-size:24px;font-weight:800;letter-spacing:-.01em}.panel__aside{display:flex;gap:var(--s3);align-items:center;color:var(--ink-soft);font-family:var(--mono);font-size:12px;font-feature-settings:tabular-nums lining-nums;font-variant-numeric:tabular-nums lining-nums;text-align:right}.station{border:1px solid var(--brand-line);border-radius:999px;padding:2px 10px;color:var(--brand-deep);font-family:var(--mono);font-size:10.5px;font-weight:700;letter-spacing:.14em;text-transform:uppercase}.guarantee,.panel__lede{max-width:70ch;margin-top:var(--s4);color:var(--ink-soft);font-size:15.5px;line-height:1.6}.guarantee{border-left:4px solid var(--gold-hot);padding-left:var(--s4);color:var(--ink);font-family:var(--serif);font-size:17px;font-style:italic}.panel__body,.topic-picker{margin-top:var(--s5)}.topic-picker__row{display:flex;flex-wrap:wrap;gap:var(--s3)}.topic{display:inline-flex;gap:var(--s2);align-items:center;min-height:48px;border:1.5px solid var(--line);border-radius:999px;background:var(--card);padding:var(--s2) var(--s5) var(--s2) var(--s4);color:var(--ink-soft);font-family:var(--sans);font-size:14.5px;font-weight:650;cursor:pointer;transition:border-color .16s var(--ease-out),background-color .16s var(--ease-out),color .16s var(--ease-out),box-shadow .16s var(--ease-out),transform .16s var(--ease-out)}.topic svg{width:20px;height:20px}@media (hover:hover) and (pointer:fine){.topic:hover:not(:disabled){border-color:var(--brand-line);color:var(--ink)}}.topic:active:not(:disabled){transform:scale(.97)}.topic[data-active=true]{border-color:transparent;background:linear-gradient(180deg,#5b54f0,var(--brand-strong));box-shadow:inset 0 1px 0 hsla(0,0%,100%,.22),0 4px 14px rgba(67,56,202,.28);color:#fff}.topic:disabled{cursor:default;opacity:.6}.topic__name{text-transform:capitalize}.flow-arrow{display:grid;grid-gap:var(--s2);gap:var(--s2);justify-items:center;margin-top:var(--s6);color:var(--ink-soft);transition:color .25s ease}.flow-arrow__line{width:2px;height:26px;border-radius:1px;background:currentColor;opacity:.4}.flow-arrow__label{border:1px solid var(--line);border-radius:999px;background:var(--card);padding:4px 14px;font-family:var(--mono);font-size:11.5px;letter-spacing:.06em;transition:border-color .25s ease,background-color .25s ease}.flow-arrow__label b{font-weight:700}.flow-arrow__head{width:9px;height:9px;margin-top:-2px;border-right:2px solid;border-bottom:2px solid;opacity:.4;transform:rotate(45deg)}.flow-arrow[data-live=true]{color:var(--brand-deep)}.flow-arrow[data-live=true] .flow-arrow__label{border-color:var(--brand-line);background:var(--brand-soft)}.flow-arrow[data-live=true] .flow-arrow__head,.flow-arrow[data-live=true] .flow-arrow__line{opacity:1}.flow-arrow+.panel{margin-top:var(--s5)}.form-grid,.viva{display:grid;grid-template-columns:minmax(0,1fr);grid-gap:var(--s6);gap:var(--s6)}@media (min-width:901px){.form-grid{grid-template-columns:minmax(0,1.15fr) minmax(0,.85fr)}.viva{grid-template-columns:minmax(0,1.1fr) minmax(0,.9fr)}}.field+.field,.field+.privacy-note,.question+.question{margin-top:var(--s5)}.field{display:block}.field__label{display:flex;justify-content:space-between;gap:var(--s3);margin-bottom:var(--s2);color:var(--ink-soft);font-family:var(--sans);font-size:11px;font-weight:700;letter-spacing:.12em;line-height:1.3;text-transform:uppercase}.field__label span:last-child{font-family:var(--mono);font-weight:400;letter-spacing:0;text-align:right;text-transform:none}.input,.textarea{width:100%;border:1.5px solid var(--line);border-radius:var(--r-md);background:var(--field);color:var(--ink);font-family:var(--serif);font-size:20px;font-weight:400;line-height:1.5;transition:border-color .15s ease,background-color .15s ease}.input:focus,.textarea:focus{border-color:var(--brand);background:var(--card)}.textarea{min-height:144px;padding:var(--s4);resize:vertical}.input{min-width:0;border:0;border-radius:0;background:transparent;padding:var(--s3);font-size:17px}.input:disabled,.textarea:disabled{opacity:1;border-color:transparent;background:var(--field);-webkit-text-fill-color:var(--ink)}.textarea:disabled{border-color:var(--line)}.options{display:grid;grid-template-columns:1fr 1fr;grid-gap:var(--s3);gap:var(--s3)}.option{display:grid;grid-template-columns:52px 42px minmax(0,1fr) auto;align-items:stretch;min-height:62px;overflow:hidden;border:1.5px solid var(--line);border-radius:var(--r-md);background:var(--card);transition:border-color .16s var(--ease-out),background-color .16s var(--ease-out),box-shadow .16s var(--ease-out)}@media (hover:hover) and (pointer:fine){.option:hover{border-color:var(--line-strong)}}.option[data-correct=true]{border-color:var(--brand);background:linear-gradient(0deg,var(--brand-soft),var(--brand-soft)),var(--card);box-shadow:0 0 0 3px var(--brand-soft)}.option[data-defensible=true]{border-color:var(--stamp);box-shadow:0 0 0 3px var(--stamp-soft)}.option input[type=radio]{display:grid;place-items:center;width:52px;height:100%;min-height:44px;margin:0;border:0;border-right:1px solid var(--line);-webkit-appearance:none;-moz-appearance:none;appearance:none;background:transparent;cursor:pointer}.option input[type=radio]:before{width:20px;height:20px;border:2px solid var(--line-strong);border-radius:50%;background:var(--card);content:"";transition:border-color .16s var(--ease-out),background-color .16s var(--ease-out),box-shadow .16s var(--ease-out),transform .16s var(--ease-out)}@media (hover:hover) and (pointer:fine){.option input[type=radio]:hover:before{border-color:var(--brand)}}.option input[type=radio]:active:before{transform:scale(.88)}.option input[type=radio]:checked:before{border-color:var(--brand);background:var(--brand);box-shadow:inset 0 0 0 4px var(--card)}.option__key{display:grid;place-items:center;border-right:1px solid var(--line);color:var(--ink-soft);font-family:var(--display);font-size:15px;font-weight:700}.option[data-correct=true] .option__key{color:var(--brand-deep)}.option__note,.option__tag{align-self:center;margin-right:var(--s3);font-family:var(--mono);font-size:11.5px}.option__tag{border-radius:999px;background:linear-gradient(180deg,#5b54f0,var(--brand-strong));padding:2px 10px;color:#fff;font-weight:700}.option__note{max-width:14ch;color:var(--stamp);line-height:1.3}.privacy-note{max-width:58ch;font-size:13.5px}.class-mark,.tag,.version-chip{display:inline-block;width:-moz-fit-content;width:fit-content;border-radius:999px;font-family:var(--mono);font-size:11px;font-feature-settings:tabular-nums lining-nums;font-variant-numeric:tabular-nums lining-nums;font-weight:600;letter-spacing:.06em;text-transform:uppercase}.tag{border:1px solid var(--line);background:var(--paper);color:var(--ink-soft)}.tag,.tag--next{padding:2px 10px}.tag--next{border:1px dashed var(--line-strong);background:var(--hatch)}.class-mark--deterministic,.tag--deterministic{border:1px solid transparent;background:var(--det-soft);padding:2px 10px;color:var(--det);font-style:normal}.class-mark--counterexample,.tag--counterexample{border:1px solid transparent;background:var(--stamp-soft);padding:2px 10px;color:var(--stamp)}.class-mark--semantic,.tag--semantic,.verdict--unverified{border:1px solid transparent;background:var(--sem-soft);padding:2px 10px;color:var(--sem);font-style:italic;-webkit-text-decoration:underline dashed 1px;text-decoration:underline dashed 1px;text-underline-offset:3px}.version-chip{border:1px solid var(--line);background:var(--paper);padding:2px 10px;color:var(--ink-soft)}.lanes{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));grid-gap:var(--s4);gap:var(--s4)}.lane{display:flex;min-width:0;min-height:320px;flex-direction:column;border:1px solid var(--line);border-radius:var(--r-lg);background:var(--paper);padding:var(--s4);transition:border-color .2s ease,box-shadow .2s ease}.lane[data-status=running]{border-color:var(--brand-line);box-shadow:0 0 0 3px var(--brand-soft)}.lane[data-status=degraded],.lane[data-status=done]{animation:lane-arrive .16s var(--ease-out) both}.lane[data-status=degraded]{border:2px solid var(--stamp);padding:calc(var(--s4) - 1px)}.dim__top,.lane__top,.passport__head,.rerun__top,.row,.rubric__head{display:flex;justify-content:space-between;gap:var(--s3);align-items:flex-start}.lane__name,.passport__title,.rubric__title{font-family:var(--display);font-size:16.5px;font-weight:700;line-height:1.25}.collision,.contract,.contract-block,.contract-summary,.contract-toggle,.counterexample__audit,.defense-exception,.diff__legend,.dim__key,.kv,.lane__contract-name,.lane__foot,.lane__source,.metric,.rerun,.rubric__gate,.rubric__total,.sample-space,.scale{font-family:var(--mono);font-feature-settings:tabular-nums lining-nums;font-variant-numeric:tabular-nums lining-nums}.lane__source{margin-top:var(--s2);font-size:12px}.lane__mission{color:var(--ink);font-family:var(--sans);font-size:14px}.lane__mission,.lane__rule{margin-top:var(--s3);line-height:1.5}.lane__rule{color:var(--ink-soft);font-size:13.5px}.lane__state{flex:1 1;margin-top:var(--s4)}.lane__empty{font-family:var(--mono);font-size:12px;line-height:1.55}.lane__degraded{display:grid;grid-gap:var(--s2);gap:var(--s2);border-radius:var(--r-sm);background:var(--stamp-soft);padding:var(--s3);color:var(--stamp);font-family:var(--mono);font-size:11px}.lane__degraded span,.lane__foot{color:var(--ink-soft)}.lane__foot{display:flex;flex-wrap:wrap;gap:var(--s1) var(--s3);margin-top:var(--s4);padding-top:var(--s3);border-top:1px solid var(--line);font-size:10.5px}.contract-shell{min-width:0}.contract-summary{display:grid;grid-gap:var(--s2);gap:var(--s2);font-size:12.5px;font-weight:600}.contract-toggle{width:-moz-fit-content;width:fit-content;min-height:44px;border:0;background:transparent;padding:var(--s2) 0;color:var(--brand-deep);font-size:11.5px;font-weight:700;text-decoration:underline;text-underline-offset:3px;cursor:pointer}.contract{max-width:78ch;max-height:280px;margin-top:var(--s3);overflow:auto;border:1px solid var(--line);border-radius:var(--r-sm);background:var(--card);padding:var(--s3);font-size:11.5px;animation:rise-in .18s var(--ease-out) both}.contract dl{display:grid;grid-template-columns:minmax(96px,auto) minmax(0,1fr);grid-gap:var(--s2) var(--s3);gap:var(--s2) var(--s3)}.contract dt,.kv dt{color:var(--ink-soft)}.contract dd,.kv dd{min-width:0;overflow-wrap:anywhere}.contract-block{max-width:78ch;overflow-x:auto;border:1px solid var(--line);border-radius:var(--r-sm);background:var(--card);padding:var(--s3);white-space:pre-wrap;font-size:12px;line-height:1.55}.contract-block+.contract-block{margin-top:var(--s3)}.contract-block--hypothesis{color:var(--sem);font-style:italic;-webkit-text-decoration:underline dashed 1px;text-decoration:underline dashed 1px;text-underline-offset:3px}.metric{display:flex;justify-content:space-between;gap:var(--s3);padding:var(--s2) 0;color:var(--ink-soft);font-size:11.5px}.metric--flag{border-left:3px solid var(--brand);padding-left:var(--s2);color:var(--ink)}.pending-surface{border:1.5px dashed var(--line-strong);border-radius:var(--r-md);background:var(--hatch);padding:var(--s4);pointer-events:none}.card{border:1px solid var(--line);border-radius:var(--r-md);background:var(--paper);padding:var(--s5)}.panel--fracture[data-populated=true]{min-height:70vh;border-color:var(--stamp);box-shadow:0 0 0 4px var(--stamp-soft),var(--shadow-2)}.counterexample{padding-top:var(--s5)}.fork__stem{max-width:54ch;margin:0 auto;font-family:var(--serif);font-size:clamp(23px,2.6vw,29px);font-weight:400;line-height:1.4;text-align:center}.fork__ambiguous{position:relative;display:inline-block;color:var(--stamp);font-style:italic}.fork__ambiguous:after{display:block;width:100%;height:6px;border-right:2px solid var(--stamp);border-bottom:2px solid var(--stamp);border-left:2px solid var(--stamp);border-bottom-left-radius:4px;border-bottom-right-radius:4px;content:"";transform-origin:left center}.fork__geometry{display:grid;grid-template-columns:repeat(4,1fr);grid-template-rows:24px 32px;width:min(88%,820px);margin:0 auto}.fork__drop{grid-column:2/4;grid-row:1;justify-self:center;border-left:1.5px solid var(--line-strong)}.fork__arm{grid-row:2;border-top:1.5px solid var(--line-strong)}.fork__arm--left{grid-column:2;border-left:1.5px solid var(--line-strong);border-top-left-radius:10px}.fork__arm--right{grid-column:3;border-right:1.5px solid var(--line-strong);border-top-right-radius:10px}.readings{display:grid;grid-template-columns:1fr 1fr;grid-gap:var(--s5);gap:var(--s5)}.reading{min-width:0;min-height:160px;border:1px solid var(--line);border-radius:var(--r-md);background:var(--paper);padding:var(--s4);text-align:left}.reading__label{color:var(--ink-soft);font-family:var(--mono);font-size:11px;font-weight:700;letter-spacing:.14em;text-transform:uppercase}.reading__text{display:-webkit-box;max-width:34ch;margin-top:var(--s2);overflow:hidden;color:var(--ink-soft);font-size:15px;line-height:1.5;-webkit-box-orient:vertical;-webkit-line-clamp:2}.sample-space{display:flex;gap:var(--s2);margin-top:var(--s4)}.sample-space span{display:grid;width:36px;height:36px;place-items:center;border:1px solid var(--line-strong);border-radius:var(--r-xs);background:var(--card);font-size:12.5px}.sample-space span[data-favourable=true]{border:2px solid var(--brand);background:var(--brand-soft);font-weight:700}.collision{display:grid;grid-template-columns:1fr 64px 1fr;grid-gap:var(--s4);gap:var(--s4);align-items:center;margin-top:var(--s6);text-align:center}.collision__answer{display:grid;grid-gap:var(--s2);gap:var(--s2)}.collision__answer b{background:linear-gradient(180deg,var(--brand-hot),var(--brand-deep));-webkit-background-clip:text;background-clip:text;color:transparent;font-family:var(--display);font-size:clamp(56px,11vw,104px);font-weight:800;letter-spacing:-.03em;line-height:.9}.collision__answer span{color:var(--ink-soft);font-size:12px}.collision__neq{display:grid;width:64px;height:64px;place-items:center;border:2px solid var(--stamp);border-radius:50%;color:var(--stamp);font-size:38px;font-weight:700;line-height:1}.counterexample__finding{margin-top:var(--s6);border-bottom:1px solid var(--line);padding-bottom:var(--s5);font-family:var(--display);font-size:19px;font-weight:700;text-align:center}.counterexample__audit{display:grid;grid-template-columns:minmax(240px,.7fr) minmax(0,1.3fr);grid-gap:var(--s5);gap:var(--s5);margin-top:var(--s5);color:var(--ink-soft);font-size:12px}.counterexample__audit p{margin-top:var(--s2)}.diff{border:1px solid var(--line);border-radius:var(--r-md);background:var(--paper);padding:var(--s4);font-family:var(--serif);font-size:17.5px;line-height:1.65}.diff__del{color:var(--ink-soft);-webkit-text-decoration:line-through 1.5px;text-decoration:line-through 1.5px}.diff__add{color:var(--ink);-webkit-text-decoration:underline solid 2px var(--brand);text-decoration:underline solid 2px var(--brand);text-underline-offset:3px}.diff__legend{display:flex;gap:var(--s5);margin-top:var(--s2);color:var(--ink-soft);font-size:11px}.classes{display:grid;grid-gap:var(--s5);gap:var(--s5);list-style:none}.class-group{border:1px solid var(--line);border-radius:var(--r-md);background:var(--paper);padding:var(--s4)}.class-group[data-class=deterministic]{border-left:4px solid var(--det)}.class-group[data-class=counterexample]{border-left:4px solid var(--stamp)}.class-group[data-class=semantic]{border-left:4px solid var(--sem)}.class-group__promise{margin-top:var(--s1);color:var(--ink-soft);font-family:var(--mono);font-size:12px}.class-group[data-class=semantic] .class-group__promise,.class-group[data-class=semantic] .rerun,.passport-history__class[data-class=semantic]{color:var(--sem);font-style:italic;-webkit-text-decoration:underline dashed 1px;text-decoration:underline dashed 1px;text-underline-offset:3px}.class-group__list{display:grid;grid-gap:var(--s3);gap:var(--s3);margin-top:var(--s4)}.rerun{border:1px solid var(--line);border-radius:var(--r-sm);background:var(--card);padding:var(--s3);font-size:12px;animation:rise-in .24s var(--ease-out) both}.rerun:nth-child(2){animation-delay:40ms}.rerun:nth-child(3){animation-delay:80ms}.rerun:nth-child(n+4){animation-delay:.12s}.class-group[data-class=counterexample] .rerun,.passport-history__class[data-class=counterexample] .rerun{border-color:var(--stamp);color:var(--stamp)}.rerun__result--pass{color:var(--ok)}.rerun__result--regressed{color:var(--stamp);font-weight:700}.rerun__detail{margin-top:var(--s2);font-family:var(--sans);font-size:13.5px}.question{margin-bottom:var(--s5);animation:rise-in .26s var(--ease-out) both}.question:nth-child(2){animation-delay:60ms}.question__index{color:var(--ink-soft);font-family:var(--mono);font-size:12px}.question__prompt{margin:var(--s2) 0 var(--s3);font-size:16px;font-weight:600}.question .textarea{font-size:19px}.defense-exception{display:flex;justify-content:space-between;gap:var(--s4);align-items:center;margin-bottom:var(--s5);border:1.5px solid var(--sem);border-radius:var(--r-md);background:var(--sem-soft);padding:var(--s3) var(--s4);color:var(--sem);font-size:11.5px}.rubric{border:1px solid var(--line);border-radius:var(--r-lg);background:var(--paper);padding:var(--s5)}.rubric__head{border-bottom:1px solid var(--line);padding-bottom:var(--s4)}.rubric__title,.scale{color:var(--sem);font-style:italic;-webkit-text-decoration:underline dashed 1px;text-decoration:underline dashed 1px;text-underline-offset:3px}.rubric__total{font-family:var(--display);font-size:34px;font-weight:800;line-height:1}.rubric__total small{color:var(--ink-soft);font-size:14px;font-weight:400}.dim{padding:var(--s4) 0;border-bottom:1px solid var(--line)}.dim[data-zero=true]{border:1.5px solid var(--stamp);border-radius:var(--r-sm);background:var(--stamp-soft);padding:var(--s3)}.dim[data-zero=true] .scale{color:var(--stamp)}.dim[data-score="2"] .scale{color:var(--ok);font-style:normal;text-decoration:none}.dim__name{font-size:14px;font-weight:650;line-height:1.4}.dim__key{color:var(--ink-soft);font-size:10.5px}.scale{display:flex;gap:var(--s1)}.scale__pip{display:block;width:20px;height:20px;border:1.5px solid;border-radius:50%}.scale__pip[data-on=true]{background:currentColor;box-shadow:inset 0 0 0 4px var(--paper)}.dim__evidence{margin-top:var(--s3);border:1px solid var(--line);border-radius:var(--r-sm);background:var(--card);padding:var(--s3);font-family:var(--serif);font-size:16.5px;line-height:1.5}.rubric__gate{margin-top:var(--s4);color:var(--ink-soft);font-size:12px}.passport{border:2px solid var(--ink);border-radius:var(--r-lg);background:var(--paper);padding:var(--s5);animation:passport-in .42s var(--ease-out) both}@keyframes passport-in{0%{opacity:0;transform:translateY(12px) scale(.97)}to{opacity:1;transform:translateY(0) scale(1)}}.passport__head{border-bottom:1px solid var(--ink);padding-bottom:var(--s4)}.passport__grid{display:grid;grid-gap:var(--s5);gap:var(--s5);margin-top:var(--s5)}.passport__section-title{margin-bottom:var(--s2);color:var(--ink-soft);font-size:11px;font-weight:700;letter-spacing:.14em;text-transform:uppercase}.passport__section-body{border-top:1px solid var(--line);padding-top:var(--s3)}.kv{display:grid;grid-template-columns:minmax(120px,.25fr) minmax(0,1fr);grid-gap:var(--s2) var(--s4);gap:var(--s2) var(--s4);font-size:12.5px}.stack-3{display:grid;grid-gap:var(--s3);gap:var(--s3);list-style:none}.passport-history{display:grid;grid-gap:var(--s5);gap:var(--s5)}.passport-history__class{border-top:1px solid var(--line);padding-top:var(--s3)}.verdict{width:-moz-fit-content;width:fit-content;font-family:var(--mono);font-size:12px;font-weight:700}.verdict--correct{color:var(--ok)}.verdict--incorrect{color:var(--stamp)}.colophon{display:grid;grid-template-columns:1fr 1fr;grid-gap:var(--s5) var(--s6);gap:var(--s5) var(--s6);margin-top:var(--s8);border-top:1px solid var(--line-strong);padding-top:var(--s5);color:var(--ink-soft);font-size:13.5px}.ob-overlay{position:fixed;inset:0;z-index:50;background:rgba(24,15,8,.55)}.ob-content{position:fixed;inset:auto 0 0;z-index:51;display:flex;flex-direction:column;max-height:92dvh;border-top-left-radius:24px;border-top-right-radius:24px;background:var(--paper);outline:none}.ob-inner{width:min(100%,680px);margin:0 auto;padding:var(--s4) var(--s5) var(--s7);overflow-y:auto}.ob-handle{width:44px;height:5px;margin:0 auto var(--s5);border-radius:999px;background:var(--line-strong)}.ob-eyebrow{color:var(--brand-deep);font-family:var(--mono);font-size:12px;font-weight:700;letter-spacing:.12em;text-transform:uppercase}.ob-title{margin-top:var(--s2);font-family:var(--display);font-size:clamp(24px,4vw,32px);font-weight:800;letter-spacing:-.01em;line-height:1.1}.ob-sub{max-width:58ch;margin-top:var(--s3);color:var(--ink-soft);font-size:15.5px;line-height:1.6}.ob-steps{grid-gap:var(--s4);margin-top:var(--s6);list-style:none}.ob-step,.ob-steps{display:grid;gap:var(--s4)}.ob-step{grid-template-columns:40px minmax(0,1fr);grid-gap:var(--s4);align-items:start;animation:rise-in .3s var(--ease-out) both}.ob-step:first-child{animation-delay:40ms}.ob-step:nth-child(2){animation-delay:90ms}.ob-step:nth-child(3){animation-delay:.14s}.ob-step:nth-child(4){animation-delay:.19s}.ob-step__num{display:grid;place-items:center;width:40px;height:40px;border-radius:var(--r-sm);background:var(--brand-soft);color:var(--brand-deep);font-weight:800}.ob-step__num,.ob-step__title{font-family:var(--display);font-size:17px}.ob-step__title{font-weight:700}.ob-step__copy{margin-top:2px;color:var(--ink-soft);font-size:14.5px;line-height:1.55}.ob-note{margin-top:var(--s5);border:1.5px dashed var(--line-strong);border-radius:var(--r-sm);background:var(--hatch);padding:var(--s3) var(--s4);color:var(--ink-soft);font-family:var(--mono);font-size:12.5px}.ob-actions{flex-wrap:wrap;margin-top:var(--s6)}.next-bar,.ob-actions{display:flex;gap:var(--s3) var(--s4);align-items:center}.next-bar{position:fixed;bottom:max(16px,env(safe-area-inset-bottom));left:50%;z-index:45;width:min(calc(100% - 24px),760px);border:1px solid var(--line);border-radius:var(--r-lg);background:color-mix(in srgb,var(--card) 94%,transparent);-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);box-shadow:var(--shadow-2);padding:var(--s3) var(--s3) var(--s3) var(--s5);transform:translateX(-50%)}.next-bar__msg{display:flex;flex:1 1;min-width:0;gap:var(--s3) var(--s4);align-items:center;animation:rise-in .22s var(--ease-out) both}.next-bar__step{color:var(--brand-deep);font-family:var(--mono);font-size:11px;font-weight:700;letter-spacing:.1em;text-transform:uppercase;white-space:nowrap}.next-bar__text{flex:1 1;min-width:0;font-size:14.5px;font-weight:600;line-height:1.35}.next-bar .btn{min-width:0;border-radius:999px;white-space:nowrap}.next-bar__note{color:var(--ink-soft);font-family:var(--mono);font-size:10.5px;white-space:nowrap}[data-sonner-toaster]{font-family:var(--sans)}[data-sonner-toast]{border-radius:var(--r-md)!important}@keyframes lane-arrive{0%{opacity:0}to{opacity:1}}@keyframes bracket-draw{0%{transform:scaleX(0)}to{transform:scaleX(1)}}@keyframes rule-draw{0%{opacity:0;transform:scaleY(0)}to{opacity:1;transform:scaleY(1)}}@keyframes answer-rise{0%{opacity:0;transform:translateY(8px)}to{opacity:1;transform:translateY(0)}}@keyframes neq-stamp{0%,45%{opacity:0;transform:scale(1.06)}46%{opacity:1;transform:scale(1.06)}to{opacity:1;transform:scale(1)}}.fork-animate .fork__ambiguous:after{animation:bracket-draw .18s var(--ease-out) both}.fork-animate .fork__drop{transform-origin:top;animation:rule-draw .12s .18s var(--ease-out) both}.fork-animate .fork__arm{transform-origin:top;animation:rule-draw .22s .3s var(--ease-out) both}.fork-animate .collision__answer{animation:answer-rise .2s .35s var(--ease-out) both}.fork-animate .collision__neq{animation:neq-stamp 90ms .55s var(--ease-out) both}@media (max-width:900px){.lp-nav__links{display:none}.lp-nav__cta{margin-left:auto}.lp-classes{grid-template-columns:1fr}.lp-strip{flex-direction:column;align-items:flex-start}.form-grid,.lp-status,.masthead,.onboard,.viva{grid-template-columns:1fr}.panel{margin-top:var(--s6);padding:var(--s5)}.lanes{grid-template-columns:1fr 1fr}}@media (max-width:640px){.shell{width:min(calc(100% - 24px),1160px);padding-top:var(--s4)}.masthead{padding:var(--s5);gap:var(--s5)}.meta-row{grid-template-columns:112px minmax(0,1fr)}.branches__body,.colophon,.counterexample__audit,.lanes,.options,.readings{grid-template-columns:1fr}.panel{padding:var(--s4)}.panel__head{grid-template-columns:auto minmax(0,1fr)}.panel__aside{grid-column:1/-1;justify-content:space-between;text-align:left}.field__label{display:grid}.field__label span:last-child{text-align:left}.option{grid-template-columns:44px 44px minmax(0,1fr)}.option__note,.option__tag{grid-column:3;margin:0 var(--s3) var(--s2)}.fork__geometry{grid-template-columns:1fr;grid-template-rows:40px;width:100%}.fork__drop{grid-column:1;grid-row:1}.fork__arm{display:none}.reading+.reading{margin-top:var(--s3)}.collision{grid-template-columns:1fr;gap:var(--s3)}.collision__neq{justify-self:center}.collision__answer b{font-size:clamp(56px,22vw,88px)}.kv{grid-template-columns:1fr;gap:var(--s1)}.lp-hero__actions{flex-direction:column;align-items:stretch}.lp-fork__readings{grid-template-columns:1fr}.lp-fork__neq{justify-self:center}.lp-fork__split{display:none}.lp-flow__step{grid-template-columns:48px minmax(0,1fr);gap:var(--s3)}.lp-flow__num{width:40px;height:40px;font-size:17px}.topic-picker__row{display:grid;grid-template-columns:1fr 1fr}.lp-footer{flex-direction:column;align-items:center;gap:var(--s2)}.masthead__meta{justify-content:flex-start}.next-bar{flex-wrap:wrap;padding:var(--s3) var(--s4)}.next-bar__msg{flex-basis:100%;flex-wrap:wrap}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:after,:before{animation-duration:0ms!important;animation-delay:0ms!important;scroll-behavior:auto!important;transition-duration:0ms!important}.fork-animate .collision__answer,.fork-animate .collision__neq,.fork-animate .fork__ambiguous:after,.fork-animate .fork__arm,.fork-animate .fork__drop{opacity:1;transform:none}.lp-eyebrow,.lp-fork,.lp-hero__actions,.lp-hero__status,.lp-hero__sub,.lp-hero__title{animation:none;opacity:1;transform:none}.lp-station:hover{transform:none}}