@font-face{font-family:IBM Plex Sans Variable;font-style:normal;font-display:swap;font-weight:100 700;src:url(/_astro/ibm-plex-sans-cyrillic-ext-wght-normal.d45eAU9y.woff2)format("woff2-variations");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Sans Variable;font-style:normal;font-display:swap;font-weight:100 700;src:url(/_astro/ibm-plex-sans-cyrillic-wght-normal.BAAhND-U.woff2)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Sans Variable;font-style:normal;font-display:swap;font-weight:100 700;src:url(/_astro/ibm-plex-sans-greek-wght-normal.CmyJS8uq.woff2)format("woff2-variations");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:IBM Plex Sans Variable;font-style:normal;font-display:swap;font-weight:100 700;src:url(/_astro/ibm-plex-sans-vietnamese-wght-normal.Dg1JeJN0.woff2)format("woff2-variations");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Sans Variable;font-style:normal;font-display:swap;font-weight:100 700;src:url(/_astro/ibm-plex-sans-latin-ext-wght-normal.CIII54If.woff2)format("woff2-variations");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,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:IBM Plex Sans Variable;font-style:normal;font-display:swap;font-weight:100 700;src:url(/_astro/ibm-plex-sans-latin-wght-normal.IvpUvPa2.woff2)format("woff2-variations");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-cyrillic-ext-400-normal.xuaO2J-f.woff2)format("woff2"),url(/_astro/ibm-plex-mono-cyrillic-ext-400-normal.DMdlQ8Kv.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-cyrillic-400-normal.BSMlKf0J.woff2)format("woff2"),url(/_astro/ibm-plex-mono-cyrillic-400-normal.CEL4l2ZJ.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-vietnamese-400-normal.BulugwFq.woff2)format("woff2"),url(/_astro/ibm-plex-mono-vietnamese-400-normal.DDuiU_S-.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-latin-ext-400-normal.BmRBH3aV.woff2)format("woff2"),url(/_astro/ibm-plex-mono-latin-ext-400-normal.D3D2R8hC.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,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:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-latin-400-normal.DMJ8VG8y.woff2)format("woff2"),url(/_astro/ibm-plex-mono-latin-400-normal.CvHOgSBP.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Serif;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-serif-cyrillic-ext-400-normal.CxUI4jC_.woff2)format("woff2"),url(/_astro/ibm-plex-serif-cyrillic-ext-400-normal.BcBv-TKp.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Serif;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-serif-cyrillic-400-normal.CPQ8oqB-.woff2)format("woff2"),url(/_astro/ibm-plex-serif-cyrillic-400-normal.C7IY3oUc.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Serif;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-serif-vietnamese-400-normal.DGubAMUE.woff2)format("woff2"),url(/_astro/ibm-plex-serif-vietnamese-400-normal.BY9Vij9A.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Serif;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-serif-latin-ext-400-normal.CNMooFZX.woff2)format("woff2"),url(/_astro/ibm-plex-serif-latin-ext-400-normal.DwktX9jl.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,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:IBM Plex Serif;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-serif-latin-400-normal.BIGslYFI.woff2)format("woff2"),url(/_astro/ibm-plex-serif-latin-400-normal.BB-zNvJB.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}:root{color-scheme:light;--paper:#fff;--paper-deep:#f5f5f5;--sheet:#fff;--ink:#111;--ink-soft:#3d3d3d;--slate:#737373;--line:#ebebeb;--rule:#dcdcdc;--accent:#111;--brand:#22c55e;--accent-dark:#111;--accent-wash:#f5f5f5;--accent-bright:#111;--signal:#fbe3de;--mint:#f5f5f5;--mint-ink:#111;--rose:#fbe9e5;--red-pencil:#c2412d;--display:"IBM Plex Sans Variable", system-ui, -apple-system, sans-serif;--body:"IBM Plex Sans Variable", system-ui, -apple-system, sans-serif;--quote:"IBM Plex Serif", "Iowan Old Style", Georgia, serif;--mono:"IBM Plex Mono", ui-monospace, "SF Mono", monospace;--page:1200px;--gutter:clamp(16px, 4vw, 48px);--ease-out:cubic-bezier(.16, 1, .3, 1)}*,:before,:after{box-sizing:border-box}html{scroll-behavior:smooth;scrollbar-color:var(--rule) transparent}body{background:var(--paper);color:var(--ink);font-family:var(--body);-webkit-font-smoothing:antialiased;font-variant-numeric:lining-nums;margin:0;font-size:16px;line-height:1.6}::selection{background:var(--signal);color:var(--ink)}a{color:inherit;text-underline-offset:.22em;text-decoration-thickness:1px}button,a{-webkit-tap-highlight-color:transparent}button{font:inherit}:focus-visible{outline:2px solid var(--accent);outline-offset:3px;border-radius:2px}.shell{width:min(var(--page), calc(100% - (var(--gutter) * 2)));margin-inline:auto}.skip-link{z-index:100;background:var(--ink);color:#fff;border-radius:0 0 6px 6px;padding:10px 16px;text-decoration:none;position:fixed;top:-60px;left:16px}.skip-link:focus{top:0}h1,h2,h3,p{text-wrap:pretty}h1,h2{text-wrap:balance}h1{max-width:12ch;font-family:var(--display);letter-spacing:-.04em;margin:0;font-size:clamp(48px,6.4vw,92px);font-weight:300;line-height:1}h1 .answer{color:var(--accent)}h2{max-width:20ch;font-family:var(--display);letter-spacing:-.03em;margin:0;font-size:clamp(30px,3.4vw,46px);font-weight:350;line-height:1.1}h3{font-family:var(--body)}.site-header{z-index:50;border-bottom:1px solid var(--line);background:color-mix(in srgb, var(--paper) 92%, transparent);backdrop-filter:saturate(1.4)blur(12px);position:sticky;top:0}.nav{align-items:center;gap:28px;min-height:64px;display:flex}.brand{font-family:var(--display);letter-spacing:-.02em;align-items:center;gap:10px;font-size:22px;font-weight:560;text-decoration:none;display:inline-flex}.brand-mark{object-fit:cover;border-radius:50%;width:28px;height:28px;display:block}.brand-logo{width:auto;height:28px;display:block}@media (width<=580px){.brand-logo{height:18px}}.nav-links{align-items:center;gap:26px;margin-left:auto;display:flex}.nav-links a{color:var(--ink-soft);font-size:14px;font-weight:500;text-decoration:none;transition:color .15s}.nav-links a:hover,.nav-links a[aria-current=page]{color:var(--ink);text-decoration:underline;text-decoration-color:var(--rule)}.nav-action{margin-left:4px}.nav-more{display:none}.nav-toggle{border:1px solid var(--rule);background:var(--sheet);cursor:pointer;border-radius:6px;width:40px;height:40px;margin-left:auto;display:none;position:relative}.nav-toggle span,.nav-toggle span:before,.nav-toggle span:after{background:var(--ink);content:"";width:16px;height:1.5px;transition:transform .2s var(--ease-out), top .2s var(--ease-out), background .2s ease;position:absolute;left:11px}.nav-toggle span{top:19px}.nav-toggle span:before{top:-5px;left:0}.nav-toggle span:after{top:5px;left:0}.nav-open .nav-toggle span{background:0 0}.nav-open .nav-toggle span:before{top:0;transform:rotate(45deg)}.nav-open .nav-toggle span:after{top:0;transform:rotate(-45deg)}.button{border:1px solid var(--rule);min-height:44px;color:var(--ink);cursor:pointer;background:0 0;border-radius:999px;justify-content:center;align-items:center;gap:8px;padding:0 18px;font-size:15px;font-weight:450;text-decoration:none;transition:background .15s,border-color .15s,color .15s,transform .1s;display:inline-flex}.button:hover{border-color:var(--ink)}.button:active{transform:scale(.98)}.button.primary,.button.signal{border-color:var(--ink);color:var(--ink);background:0 0}.button.primary:hover,.button.signal:hover{background:var(--ink);color:var(--paper)}.text-link,.audience-link,.hero-link{color:var(--accent);text-decoration:underline;text-decoration-color:color-mix(in srgb, var(--accent) 30%, transparent);text-underline-offset:.28em;align-items:center;gap:6px;font-size:15px;font-weight:450;transition:text-decoration-color .15s;display:inline-flex}.text-link:hover,.audience-link:hover,.hero-link:hover{text-decoration-color:currentColor}.eyebrow,.section-label{color:var(--slate);margin:0 0 20px;font-size:14px;font-weight:560}.section-label span{color:var(--accent);font-family:var(--mono);margin-right:6px;font-size:12px}.section-heading{border-top:1px solid var(--ink);grid-template-columns:200px minmax(0,1fr);align-items:start;gap:clamp(28px,5vw,80px);margin-bottom:52px;padding-top:22px;display:grid}.section-heading .section-label{margin:6px 0 0}.section-intro{max-width:60ch;color:var(--ink-soft);margin:20px 0 0;font-size:clamp(17px,1.45vw,19px);line-height:1.6}.section{padding:clamp(64px,7vw,104px) 0}.section-head{border-top:1px solid var(--ink);grid-template-columns:minmax(0,1.15fr) minmax(0,.85fr);align-items:end;gap:20px clamp(32px,6vw,96px);margin-bottom:clamp(36px,4vw,56px);padding-top:24px;display:grid}.section-head .section-intro{margin:0}.hero{padding:clamp(40px,4vw,64px) 0 clamp(64px,8vw,104px)}.hero-grid{grid-template-columns:minmax(0,.92fr) minmax(0,1.08fr);align-items:center;gap:clamp(40px,6vw,96px);display:grid}.hero-copy{max-width:36em;color:var(--ink-soft);margin:22px 0 0;font-size:clamp(18px,1.5vw,21px);line-height:1.55}.hero-copy strong{color:var(--ink);font-weight:600}.hero-operation{max-width:36em;color:var(--ink-soft);margin:10px 0 0;font-size:16px;line-height:1.5}.hero-actions{flex-wrap:wrap;align-items:center;gap:12px 16px;margin-top:24px;display:flex}.hero-actions .text-link{margin-left:4px}.hero-doors{border-top:1px solid var(--rule);gap:0;max-width:36em;margin:18px 0 0;padding:0;list-style:none;display:grid}.hero-doors li{border-bottom:1px solid var(--line);flex-wrap:wrap;align-items:baseline;gap:2px 10px;padding:5px 0;font-size:14.5px;line-height:1.4;display:flex}.hero-doors a{color:var(--ink);text-decoration:underline;text-decoration-color:var(--rule);font-weight:600}.hero-doors a:hover{text-decoration-color:currentColor}.hero-doors li>span{color:var(--slate)}.hero-doors li>span>span{color:var(--accent)}.hero-definition{border-top:1px solid var(--line);max-width:34em;color:var(--slate);margin:44px 0 0;padding-top:16px;font-size:14px;line-height:1.55}.hero-machine{position:relative}.source-sheet{background:var(--sheet);border:1px solid var(--line);border-radius:4px;width:min(520px,92%);padding:30px 36px 34px 84px;position:relative;box-shadow:0 1px 2px #17191c0a,0 28px 56px -28px #17191c38}.source-sheet:before{content:"";border-left:1px solid var(--line);position:absolute;inset:0 auto 0 64px}.source-meta{border-bottom:1px solid var(--line);color:var(--slate);justify-content:space-between;gap:20px;padding-bottom:14px;font-size:12px;display:flex}.source-title{max-width:none;font-family:var(--display);letter-spacing:-.012em;font-variation-settings:"opsz" 24;margin:22px 0 18px;font-size:23px;font-weight:560;line-height:1.2}.clause{color:var(--ink-soft);font-family:var(--display);font-variation-settings:"opsz" 12;margin:0 0 14px;padding:2px 0;font-size:16px;line-height:1.55;position:relative}.clause-no{color:var(--accent);font-family:var(--mono);white-space:nowrap;font-size:11px;font-weight:500;position:absolute;top:5px;right:calc(100% + 32px)}.hero-facts{border-top:1px dashed var(--rule);font-family:var(--body);color:var(--ink);margin-top:20px;padding-top:14px;font-size:14px}.hero-facts .clause-no{color:var(--slate);top:17px}.marked{background:linear-gradient(transparent 58%, var(--signal) 58%);padding:0 1px}.source-hash{max-width:17em;color:var(--slate);margin:18px 0 0;font-size:12px}.execution-rail{background:var(--ink);width:300px;color:var(--paper);border-radius:4px;margin:-44px 0 0 auto;padding:18px 20px 20px;position:relative;box-shadow:0 30px 60px -30px #17191c80}.rail-top{color:#a9a7a0;justify-content:space-between;font-size:12px;display:flex}.rail-flow{margin-top:16px;padding-left:20px;position:relative}.rail-flow:before{content:"";background:#4a4d52;width:1px;position:absolute;top:7px;bottom:12px;left:3px}.rail-step{color:#c9c7c0;margin:0 0 12px;font-size:13px;line-height:1.45;transition:color .3s;position:relative}.rail-step:before{content:"";background:var(--paper);border-radius:50%;width:7px;height:7px;position:absolute;top:6px;left:-20px}.rail-step strong{color:var(--paper);font-family:var(--mono);font-size:12px;font-weight:500;display:block}.rail-result{border-top:1px solid #3a3d42;justify-content:space-between;align-items:baseline;margin-top:16px;padding-top:14px;display:flex}.rail-result span{color:#a9a7a0;font-size:12px}.rail-scope{color:#a9a7a0;margin:10px 0 0;font-size:12px;line-height:1.5}.rail-scope a{color:#d8d5cc;text-underline-offset:2px;text-decoration:underline}.rail-result strong{font-family:var(--display);letter-spacing:-.02em;font-variation-settings:"opsz" 48;font-size:40px;font-weight:480;line-height:1}.case-tabs{scrollbar-width:thin;border-bottom:1px solid var(--line);gap:4px 22px;margin:0 0 18px;display:flex;overflow-x:auto}.case-tab{min-height:48px;color:var(--slate);cursor:pointer;background:0 0;border:0;border-bottom:2px solid #0000;flex:none;align-items:center;gap:10px;margin-bottom:-1px;padding:0 2px;font-size:14px;font-weight:560;transition:color .15s,border-color .15s;display:inline-flex}.case-tab:hover{color:var(--ink)}.case-tab[aria-selected=true]{border-bottom-color:var(--ink);color:var(--ink)}.tab-result{white-space:nowrap;border-radius:999px;padding:2px 8px;font-size:12px;font-weight:500}.tab-result.tone-ok{background:var(--mint);color:var(--mint-ink)}.tab-result.tone-no{background:var(--rose);color:#8a2f25}.tab-result.tone-conflict{background:var(--signal);color:#6b5410}.tab-result.tone-judge{background:var(--accent-wash);color:var(--accent-dark)}.runner{border:1px solid var(--rule);background:var(--sheet);border-radius:12px;grid-template-columns:300px minmax(0,1fr);min-height:640px;transition:opacity .18s;display:grid;overflow:hidden}.runner.is-switching{opacity:.45}.runner-side{border-right:1px solid var(--line);background:#fbfaf7;padding:24px}.side-head{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;padding-bottom:16px;display:flex}.side-head span{color:var(--slate);font-size:13px}.status-dot{background:var(--accent-bright);border-radius:50%;width:8px;height:8px}.case-code{color:var(--accent);font-family:var(--mono);margin:24px 0 4px;font-size:12px}.case-package{font-family:var(--display);font-variation-settings:"opsz" 20;margin:0 0 28px;font-size:20px;font-weight:520;line-height:1.3}.side-label{color:var(--slate);margin:0 0 10px;font-size:13px;font-weight:560}.fact-list{margin:0;padding:0;list-style:none}.fact-list li{border-top:1px solid var(--line);padding:10px 0;font-size:14px;line-height:1.45}.runner-main{grid-template-rows:auto 1fr auto;min-width:0;display:grid}.question{border-bottom:1px solid var(--line);grid-template-columns:110px 1fr;gap:24px;padding:30px 34px;display:grid}.question-label{color:var(--slate);padding-top:6px;font-size:13px;font-weight:560}.question-text{font-family:var(--display);letter-spacing:-.01em;font-variation-settings:"opsz" 28;margin:0;font-size:clamp(21px,2vw,28px);font-weight:480;line-height:1.3}.trace-panel{padding:28px 34px}.trace-head{color:var(--slate);justify-content:space-between;gap:20px;margin-bottom:14px;font-size:13px;font-weight:560;display:flex}.trace-list{counter-reset:trace;margin:0;padding:0;list-style:none}.trace-item{counter-increment:trace;border-top:1px solid var(--line);color:var(--ink-soft);grid-template-columns:28px 132px 1fr;gap:16px;padding:14px 0;font-size:14px;display:grid}.trace-item:before{content:counter(trace);color:var(--slate);font-family:var(--mono);padding-top:1px;font-size:12px}.trace-ref{color:var(--accent);font-family:var(--mono);padding-top:1px;font-size:12px}.result{background:var(--ink);color:var(--paper);grid-template-columns:minmax(210px,.6fr) 1fr;display:grid}.result-code{border-right:1px solid #34373c;padding:24px 34px}.result-label{color:#a9a7a0;font-size:13px;display:block}.result-value{font-family:var(--display);letter-spacing:-.015em;font-variation-settings:"opsz" 36;margin-top:6px;font-size:clamp(24px,2.4vw,34px);font-weight:480;line-height:1.1;display:block}.result-copy{padding:24px 34px}.result-copy p{color:#dcdad3;margin:0;font-size:14px}.result-hash{color:#8f8d86;font-family:var(--mono);overflow-wrap:anywhere;margin-top:10px;font-size:11px;display:block}.variant-block{border-top:1px solid var(--line);margin-top:20px;padding-top:16px}.variant-options{flex-wrap:wrap;gap:6px;display:flex}.variant-option{border:1px solid var(--rule);background:var(--sheet);color:var(--ink-soft);cursor:pointer;border-radius:999px;padding:5px 12px;font-size:13px}.variant-option:hover{border-color:var(--ink);color:var(--ink)}.variant-option[aria-pressed=true]{border-color:var(--ink);background:var(--ink);color:var(--paper)}.variant-note{color:var(--slate);margin:10px 0 0;font-size:12px;line-height:1.5}.live-block{border-top:1px solid var(--line);margin:20px 0 0;padding-top:16px}.live-intro{color:var(--slate);margin:0 0 12px;font-size:13px;line-height:1.5}.live-form{gap:10px;display:grid}.live-field{color:var(--ink-soft);gap:4px;font-size:13px;font-weight:500;display:grid}.live-field input{border:1px solid var(--rule);background:var(--sheet);width:100%;color:var(--ink);font:inherit;font-family:var(--mono);caret-color:var(--accent);font-variant-numeric:tabular-nums;border-radius:6px;padding:9px 11px;font-size:14px}.live-field input:focus{outline:2px solid var(--accent);outline-offset:1px;border-color:#0000}.live-check{color:var(--ink-soft);align-items:center;gap:8px;font-size:13px;display:flex}.live-check input{accent-color:var(--ink)}.live-run{border:1px solid var(--ink);background:var(--ink);min-height:40px;color:var(--paper);cursor:pointer;border-radius:6px;margin-top:4px;padding:0 14px;font-size:14px;font-weight:560}.live-run:hover{background:#2c2f33}.live-run[disabled]{opacity:.55;cursor:progress}.live-status{min-height:1.5em;color:var(--slate);overflow-wrap:anywhere;margin:10px 0 0;font-size:12px;line-height:1.5}.live-status.is-ok{color:var(--mint-ink)}.live-status.is-bad{color:var(--red-pencil)}.terms{grid-template-columns:repeat(5,1fr);gap:0 24px;margin:36px 0 0;display:grid}.term{border-top:1px solid var(--rule);padding-top:14px}.term dt{margin:0 0 6px;font-size:14px;font-weight:600}.term dd{color:var(--slate);margin:0;font-size:14px;line-height:1.5}.build-section{padding-top:0}.build-links{flex-wrap:wrap;grid-column:2;gap:8px 24px;display:flex}.code-tabs{border:1px solid var(--rule);background:var(--sheet);border-radius:12px;overflow:hidden}.code-tablist{border-bottom:1px solid var(--line);align-items:center;gap:22px;padding:0 24px;display:flex}.code-tab{min-height:48px;color:var(--slate);cursor:pointer;background:0 0;border:0;border-bottom:2px solid #0000;margin-bottom:-1px;padding:0 2px;font-size:14px;font-weight:560}.code-tab:hover{color:var(--ink)}.code-tab[aria-selected=true]{border-bottom-color:var(--ink);color:var(--ink)}.code-note{color:var(--slate);margin-left:auto;font-size:13px}.code-panel{padding:24px}.code-panel[hidden]{display:none}.code-step{grid-template-columns:76px minmax(0,1fr);align-items:start;gap:16px;margin-bottom:16px;display:grid}.code-step:last-child{margin-bottom:0}.code-step-label{color:var(--slate);padding-top:13px;font-size:13px;font-weight:560}.code-step-answer .code-step-label{color:var(--accent)}.code-panel pre{border:1px solid var(--line);font-family:var(--mono);border-radius:8px;margin:0;padding:14px 18px;font-size:13px;line-height:1.6;overflow-x:auto;background:#fbfaf7!important}.code-panel pre code{font-family:inherit}.code-step-answer pre{border-color:color-mix(in srgb, var(--accent) 22%, transparent);background:var(--accent-wash)!important}.proof-chain{grid-template-columns:repeat(4,1fr);gap:0;margin:0;padding:0;list-style:none;display:grid}.proof-node{border-top:1px solid var(--rule);padding:28px 24px 6px 0;position:relative}.proof-node:before{content:"";background:var(--ink);border-radius:50%;width:7px;height:7px;position:absolute;top:-4px;left:0}.proof-node:last-child:before{background:var(--accent);box-shadow:0 0 0 4px var(--accent-wash)}.proof-node .node-no{color:var(--accent);font-family:var(--mono);font-size:12px}.proof-node h3{font-family:var(--display);letter-spacing:-.01em;font-variation-settings:"opsz" 24;margin:10px 0 8px;font-size:22px;font-weight:520;line-height:1.2}.proof-node p{max-width:26ch;color:var(--slate);margin:0;font-size:15px;line-height:1.55}.fit-proofs{background:var(--sheet);border:1px solid var(--line);border-radius:12px;grid-template-columns:repeat(3,1fr);gap:0 32px;margin:clamp(48px,6vw,80px) 0 0;padding:32px;list-style:none;display:grid}.fit-proofs li{align-content:start;gap:8px;display:grid}.fit-proofs li+li{border-left:1px solid var(--line);padding-left:32px}.fit-proofs strong{font-family:var(--display);letter-spacing:-.01em;font-size:22px;font-weight:520}.fit-proofs span{color:var(--slate);font-size:15px;line-height:1.55}.fit-section{padding-top:clamp(80px,10vw,136px)}.fit-grid{grid-template-columns:repeat(3,1fr);display:grid}.fit-card{flex-direction:column;padding:0 32px 0 0;display:flex}.fit-card+.fit-card{border-left:1px solid var(--line);padding-left:32px}.fit-audience{color:var(--accent);margin:0 0 14px;font-size:14px;font-weight:600}.fit-card h3{font-family:var(--display);letter-spacing:-.015em;font-variation-settings:"opsz" 32;margin:0 0 12px;font-size:clamp(24px,2.2vw,30px);font-weight:480;line-height:1.15}.fit-card>p:not(.fit-audience){color:var(--ink-soft);flex:1;margin:0 0 20px;font-size:16px;line-height:1.6}.tools{border-top:1px solid var(--rule);grid-template-columns:minmax(0,.8fr) minmax(0,1.2fr);gap:24px clamp(32px,6vw,96px);margin-top:clamp(64px,8vw,112px);padding-top:24px;display:grid}.tools-head h3{font-family:var(--display);letter-spacing:-.015em;margin:0;font-size:clamp(24px,2.2vw,30px);font-weight:480;line-height:1.15}.tools-head p{color:var(--slate);margin:12px 0 18px;font-size:16px}.tools-list{grid-template-columns:repeat(2,1fr);gap:0 32px;margin:0;padding:0;list-style:none;display:grid}.tools-list li{border-bottom:1px solid var(--line);gap:4px;padding:14px 0 16px;display:grid}.tools-list strong{font-size:15px;font-weight:600}.tools-list span{color:var(--slate);font-size:14px;line-height:1.5}.corpus{background:var(--paper-deep);overflow:hidden}.corpus-track{width:max-content;padding:4px var(--gutter) 8px;gap:12px;animation:80s linear infinite drift;display:flex}.corpus:hover .corpus-track{animation-play-state:paused}.act-card{border:1px solid var(--line);background:var(--sheet);border-radius:8px;flex-direction:column;flex:none;width:236px;min-height:180px;padding:18px 20px;display:flex}.act-year{color:var(--slate);font-family:var(--mono);font-size:12px}.act-card strong{font-family:var(--display);letter-spacing:-.01em;margin-top:auto;padding-top:24px;font-size:19px;font-weight:520;line-height:1.25;display:block}.act-card small{color:var(--slate);margin-top:6px;font-size:13px;display:block}.metrics{grid-template-columns:repeat(4,1fr);gap:0 32px;margin:clamp(48px,6vw,72px) 0 0;display:grid}.metric{border-top:1px solid var(--ink);padding-top:16px}.metric dt{font-family:var(--display);letter-spacing:-.02em;font-variant-numeric:lining-nums tabular-nums;font-variation-settings:"opsz" 60;font-size:clamp(34px,3.6vw,52px);font-weight:440;line-height:1}.metric dd{max-width:24ch;color:var(--slate);margin:10px 0 0;font-size:14px;line-height:1.45}.corpus-note{color:var(--slate);margin:28px 0 0;font-size:13px}.hero-eyebrow{color:var(--slate);margin-bottom:18px}@media (width>=1081px) and (height<=860px){.hero{padding-top:36px}.hero-eyebrow{margin-bottom:12px}.hero h1{font-size:clamp(48px,5.6vw,80px)}.hero-copy{margin-top:18px}}.demo-proofs{grid-template-columns:repeat(4,1fr);gap:0 28px;margin:36px 0 0;padding:0;list-style:none;display:grid}.demo-proofs li{border-top:1px solid var(--rule);align-content:start;gap:6px;padding-top:14px;display:grid}.demo-proofs strong{font-size:15px;font-weight:600}.demo-proofs span{color:var(--slate);font-size:14px;line-height:1.5}.demo-links,.corpus-links{flex-wrap:wrap;gap:10px 28px;margin-top:28px;display:flex}.reuse-section .fit-proofs{margin-top:0}.reuse-section .fit-proofs .text-link{margin-top:6px;font-size:14px}.findings-catches{margin:clamp(48px,6vw,80px) 0 12px}.findings-section .fit-proofs{margin-top:0}.hero-register{padding-bottom:0}.hero-register h1{max-width:none;font-size:clamp(56px,8.4vw,124px);font-weight:280}.hero-register h1 .answer{color:inherit}.hero-register .hero-copy{max-width:34em;color:var(--slate);margin-top:18px;font-size:18px}.exhibit{border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);grid-template-columns:minmax(0,1fr) minmax(220px,300px);gap:0 clamp(28px,4vw,56px);margin:clamp(32px,4vw,52px) 0 0;padding:clamp(20px,2.4vw,28px) 0;display:grid}.exhibit-text{margin:0}.exhibit-cite{color:var(--slate);font-family:var(--mono);letter-spacing:.01em;margin:0 0 12px;font-size:13px;font-style:normal;display:block}.exhibit-text p{max-width:30em;font-family:var(--quote);letter-spacing:-.005em;font-variation-settings:"opsz" 32;margin:0;font-size:clamp(22px,2.3vw,30px);font-weight:400;line-height:1.38}.exhibit-mark{color:var(--red-pencil);white-space:nowrap;text-decoration:none;position:relative}.exhibit-mark:after{content:"";background:var(--red-pencil);transform-origin:0;height:.11em;min-height:2px;animation:pencil-strike .7s var(--ease-out) .5s both;border-radius:2px;position:absolute;top:52%;left:-.12em;right:-.12em;transform:rotate(-8deg)scaleX(1)}@keyframes pencil-strike{0%{transform:rotate(-8deg)scaleX(0)}to{transform:rotate(-8deg)scaleX(1)}}.exhibit-margin{border-left:1px dashed var(--red-pencil);align-self:center;padding-left:clamp(20px,2.4vw,28px);font-size:14.5px;line-height:1.5}.exhibit-margin p{margin:0}.exhibit-fault{color:var(--red-pencil);font-weight:500}.exhibit-action{color:var(--slate);margin-top:10px!important}.exhibit-status{color:var(--slate);margin-bottom:2px;font-size:13px;font-weight:450;display:block}.exhibit-status.is-note_added,.exhibit-status.is-accepted,.exhibit-status.is-corrected{color:var(--ink);font-weight:560}.exhibit-margin .text-link{margin-top:12px;font-size:14px;display:inline-block}.register-search{padding:clamp(28px,4vw,48px) 0 clamp(56px,7vw,96px)}.search-form{gap:14px;display:grid}.search-label{color:var(--slate);font-size:13px}.search-box{border:1px solid var(--rule);background:var(--sheet);height:56px;color:var(--slate);border-radius:999px;align-items:center;gap:12px;padding:0 20px;transition:border-color .15s,box-shadow .15s;display:flex}.search-box:focus-within{border-color:var(--ink);box-shadow:0 0 0 4px var(--paper-deep);color:var(--ink)}.search-box input{min-width:0;height:100%;color:var(--ink);font:400 17px/1 var(--body);background:0 0;border:0;outline:0;flex:1}.search-box input::placeholder{color:var(--slate)}.search-box input::-webkit-search-cancel-button{cursor:pointer}.chips{flex-wrap:wrap;align-items:center;gap:8px;display:flex}.chip-gap{width:12px}@media (width<=580px){.chip-gap{display:none}}.chip{border:1px solid var(--line);background:var(--sheet);height:32px;color:var(--ink-soft);cursor:pointer;border-radius:999px;padding:0 14px;font-size:14px;transition:background .15s,border-color .15s,color .15s}.chip:hover{border-color:var(--rule);color:var(--ink)}.chip[aria-pressed=true]{border-color:var(--ink);background:var(--ink);color:var(--paper)}.results{border-top:1px solid var(--ink);margin:24px 0 0;padding:0;list-style:none}.results a{border-bottom:1px solid var(--line);color:var(--ink);grid-template-columns:130px minmax(0,1fr) 190px;align-items:baseline;gap:4px 24px;padding:15px 0;text-decoration:none;transition:background-color .15s;display:grid}.results a:hover{background:var(--paper-deep)}.results a:focus-visible{outline:2px solid var(--ink);outline-offset:2px}.r-country{color:var(--slate);font-size:14px}.r-title{overflow-wrap:anywhere;font-size:15.5px;line-height:1.45}.r-status{color:var(--slate);text-align:right;font-size:13px}.r-status.is-acted{color:var(--ink);font-weight:560}.results-empty{color:var(--slate);margin:18px 0 0}.results-foot{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:8px 24px;margin-top:16px;display:flex}.results-count{color:var(--slate);font-variant-numeric:tabular-nums;font-size:14px}.register-note{max-width:52em;color:var(--slate);margin:28px 0 0;font-size:13.5px;line-height:1.6}.register-note a{color:var(--ink-soft)}.engine-line{border-top:1px solid var(--line);padding:clamp(40px,5vw,64px) 0 clamp(64px,8vw,104px)}.engine-grid{grid-template-columns:minmax(0,1.3fr) minmax(0,1fr);align-items:start;gap:24px clamp(32px,6vw,96px);display:grid}.engine-line h2{font-size:clamp(24px,2.4vw,32px)}.engine-line p{max-width:36em;color:var(--ink-soft);margin:12px 0 0}.engine-line .engine-operation{color:var(--slate);font-size:15px}.engine-links{border-top:1px solid var(--line);margin:0;padding:0;list-style:none}.engine-links a{border-bottom:1px solid var(--line);color:var(--ink);justify-content:space-between;padding:13px 0;text-decoration:none;display:flex}.engine-links a:after{content:"→";color:var(--slate);transition:transform .15s}.engine-links a:hover:after{color:var(--ink);transform:translate(3px)}@media (width<=900px){.exhibit{grid-template-columns:1fr;gap:18px}.exhibit-margin{border-left:0;border-top:1px dashed var(--red-pencil);padding:14px 0 0}.results a{grid-template-columns:minmax(0,1fr) auto}.r-title{grid-column:1/-1}.r-country{grid-row:1}.r-status{grid-area:1/2}.engine-grid{grid-template-columns:1fr}}@media (prefers-reduced-motion:reduce){.exhibit-mark:after{animation:none}}.routes-section{padding-top:0}.route-code{border:1px solid var(--line);background:var(--sheet);font-family:var(--mono);border-radius:6px;align-self:flex-start;margin:0 0 18px;padding:6px 10px;font-size:13px;display:inline-block}.routes-more{margin:36px 0 0;font-size:15px}.routes-more+.routes-more{margin-top:12px}.corpus-groups{grid-template-columns:repeat(4,1fr);gap:28px;margin:0;display:grid}.corpus-group{border-top:1px solid var(--rule);padding-top:14px}.corpus-group dt{color:var(--accent);margin:0 0 6px;font-size:14px;font-weight:600}.corpus-group dd{color:var(--ink-soft);margin:0;font-size:15px;line-height:1.55}.corpus-note{color:var(--slate);margin-top:8px;font-size:13px;line-height:1.45;display:block}.metrics-two{grid-template-columns:repeat(2,1fr);max-width:720px}.hero-source{margin:4px 0 0}.hero-source summary{cursor:pointer;color:var(--accent);padding:0;font-size:13px;font-weight:560;list-style:none;display:inline-block}.hero-source summary::-webkit-details-marker{display:none}.hero-source summary:after{content:" ↓";background:0 0;width:auto;height:auto;transition:none;transform:none}.hero-source[open] summary:after{content:" ↑";transform:none}.hero-source[open] summary{margin-bottom:14px}.hero-example .source-hash{max-width:17em;font-family:var(--mono);font-size:11px;line-height:1.5}@media (width<=1100px){.demo-proofs,.corpus-groups{grid-template-columns:repeat(2,1fr);row-gap:20px}}@media (width<=580px){.demo-proofs,.corpus-groups,.metrics-two{grid-template-columns:1fr}}.limits-grid{grid-template-columns:repeat(3,1fr);gap:0 32px;display:grid}.limit{border-top:1px solid var(--rule);padding:20px 0 0}.limit strong{font-family:var(--display);letter-spacing:-.01em;font-size:22px;font-weight:520;line-height:1.25;display:block}.limit p{color:var(--slate);margin:10px 0 0;font-size:15px;line-height:1.55}.faq-layout{border-top:1px solid var(--ink);grid-template-columns:minmax(0,.8fr) minmax(0,1.2fr);gap:24px clamp(32px,6vw,96px);margin-top:clamp(80px,9vw,128px);padding-top:24px;scroll-margin-top:72px;display:grid}.faq-title{max-width:12ch}.faq-list{border-top:1px solid var(--rule)}details{border-bottom:1px solid var(--rule)}summary{cursor:pointer;grid-template-columns:1fr 20px;align-items:center;gap:20px;padding:20px 0;font-size:18px;font-weight:560;line-height:1.4;list-style:none;display:grid}summary::-webkit-details-marker{display:none}summary:after{content:"";width:14px;height:14px;transition:transform .25s var(--ease-out);background:linear-gradient(currentColor,currentColor) 50%/14px 1.5px no-repeat,linear-gradient(currentColor,currentColor) 50%/1.5px 14px no-repeat;justify-self:end}details[open] summary:after{transform:rotate(45deg)}summary:hover{color:var(--accent)}details p{max-width:62ch;color:var(--ink-soft);margin:0;padding:0 40px 22px 0;font-size:16px;line-height:1.6}details p a{color:var(--accent);font-weight:560}.closing{padding:0 0 clamp(72px,9vw,120px)}.closing-card{background:var(--ink);color:var(--paper);border-radius:16px;padding:clamp(40px,7vw,88px)}.closing-card h2{max-width:18ch}.closing-card p{color:#c9c7c0;max-width:46ch;margin:20px 0 32px;font-size:19px;line-height:1.55}.closing-actions{flex-wrap:wrap;gap:12px;display:flex}.closing-card .button{color:var(--paper);background:0 0;border-color:#4a4d52}.closing-card .button:hover{border-color:var(--paper)}.closing-card .button.primary,.closing-card .button.signal{border-color:var(--paper);background:var(--paper);color:var(--ink)}.closing-card .button.primary:hover,.closing-card .button.signal:hover{background:#e7e5de}.site-footer{border-top:1px solid var(--rule);padding:32px 0 44px}.footer-grid{justify-content:space-between;align-items:flex-start;gap:32px;display:flex}.site-footer p{color:var(--slate);margin:0;font-size:13px;line-height:1.6}.footer-links{flex-wrap:wrap;justify-content:flex-end;gap:8px 22px;max-width:640px;font-size:14px;display:flex}.site-footer a{color:var(--ink-soft);text-decoration:none}.site-footer a:hover{color:var(--ink);text-decoration:underline;text-decoration-color:var(--rule)}.load-in{animation:enter .7s var(--ease-out) both}.load-in:nth-child(2){animation-delay:60ms}.load-in:nth-child(3){animation-delay:.12s}.hero-machine.load-in{animation-delay:.15s}.reveal{opacity:0;transition:opacity .6s var(--ease-out), transform .6s var(--ease-out);transform:translateY(12px)}.reveal.visible{opacity:1;transform:none}@keyframes enter{0%{opacity:0;transform:translateY(10px)}}@keyframes drift{to{transform:translate(calc(-50% - 6px))}}@media (width<=1080px){.nav{flex-wrap:wrap}.nav-toggle{order:3;margin-left:10px;display:block}.nav-action{margin-left:auto}.nav-links{border-top:1px solid var(--line);flex-direction:column;flex-basis:100%;order:4;align-items:stretch;gap:0;margin:0 0 14px;padding-top:6px;display:none}.nav-open .nav-links{display:flex}.nav-links a{border-bottom:1px solid var(--line);padding:12px 2px;font-size:16px}.nav-links a:last-child{border-bottom:0}.nav-more{border-top:1px solid var(--rule);flex-direction:column;margin-top:8px;padding-top:6px;display:flex}.nav-more a{color:var(--slate);font-size:14px}.hero-grid{grid-template-columns:1fr}.hero-machine{width:min(640px,100%)}.proof-chain{grid-template-columns:repeat(2,1fr);row-gap:36px}.terms{grid-template-columns:repeat(3,1fr);row-gap:20px}}@media (width<=820px){.section-head,.section-heading,.tools,.faq-layout{grid-template-columns:1fr}.build-links{grid-column:1}.runner{grid-template-columns:1fr}.runner-side{border-right:0;border-bottom:1px solid var(--line)}.fit-grid,.limits-grid,.fit-proofs,.metrics{grid-template-columns:1fr}.fit-card,.fit-card+.fit-card{border-left:0;border-top:1px solid var(--line);padding:24px 0}.fit-card:first-child{border-top:0;padding-top:0}.fit-proofs{gap:24px;padding:24px}.fit-proofs li+li{border-left:0;border-top:1px solid var(--line);padding:24px 0 0}.limits-grid{gap:24px}.metrics{grid-template-columns:repeat(2,1fr);row-gap:28px}.tools-list{grid-template-columns:1fr}.code-step{grid-template-columns:1fr;gap:6px}.code-step-label{padding-top:0}}@media (width<=580px){:root{--gutter:16px}.nav{gap:10px;min-height:58px}.nav-toggle{margin-left:0}.brand{font-size:20px}.nav-action{min-height:38px;padding-inline:12px;font-size:14px}.hero{padding-top:40px}h1{font-size:clamp(44px,13vw,60px)}.source-sheet{width:100%;padding:22px 20px 24px 56px}.source-sheet:before{left:44px}.clause-no{font-size:10px;right:calc(100% + 16px)}.clause{font-size:15px}.execution-rail{width:auto;margin:-12px 12px 0;position:relative}.proof-chain{grid-template-columns:1fr;row-gap:28px}.terms{grid-template-columns:1fr}.question{grid-template-columns:1fr;gap:6px;padding:22px 20px}.question-label{padding-top:0}.trace-panel{padding:20px}.trace-item{grid-template-columns:20px 1fr;gap:4px 10px;font-size:14px}.trace-item>span:last-child{grid-column:2}.result{grid-template-columns:1fr}.result-code{border-bottom:1px solid #34373c;border-right:0;padding:20px}.result-copy,.runner-side{padding:20px}.code-tablist{padding:0 16px}.code-note{display:none}.code-panel{padding:16px}.metrics{grid-template-columns:repeat(2,1fr);gap:24px 16px}.metric dt{font-size:32px}.footer-grid{flex-direction:column}.footer-links{justify-content:flex-start}.closing-card{border-radius:12px}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}.load-in,.reveal{opacity:1;transform:none}.corpus-track{animation:none}}html{scroll-padding-top:76px}.nav-links{gap:24px}.nav-menu-cta{display:none}@media (width<=1080px){.nav-open .nav-links{max-height:calc(100vh - 72px);overflow-y:auto}}@media (width<=580px){.nav{min-height:60px}.brand-logo{height:24px}.nav-action{display:none}.nav-toggle{width:44px;height:44px;margin-left:auto}.nav-toggle span{top:21px;left:13px}.nav-links .nav-menu-cta{color:var(--paper);border-bottom:0;justify-content:center;margin:12px 0 4px;padding:12px 16px;font-size:16px;text-decoration:none;display:inline-flex}}.site-footer{padding:48px 0 0}.footer-grid{grid-template-columns:minmax(0,1fr) minmax(0,2fr);align-items:start;gap:32px;display:grid}.footer-brand p{margin:0 0 4px}.footer-logo{margin-bottom:14px;display:inline-block}.footer-logo img{width:auto;height:24px;display:block}.site-footer .footer-sign{color:var(--ink);font-family:var(--display);font-size:16px}.footer-cols{grid-template-columns:repeat(3,minmax(0,1fr));gap:32px;display:grid}.site-footer .footer-h{color:var(--ink);margin:0 0 12px;font-size:13px;font-weight:600}.footer-cols ul{gap:10px;margin:0;padding:0;font-size:14px;list-style:none;display:grid}.footer-meta{border-top:1px solid var(--line);margin-top:36px;padding:16px 0 24px}.footer-meta p{margin:0}@media (width<=820px){.footer-grid{grid-template-columns:1fr}}@media (width<=580px){.footer-cols{grid-template-columns:repeat(2,minmax(0,1fr));gap:24px}}.nav-github{width:44px;height:44px;color:var(--ink-soft);border-radius:6px;flex:0 0 44px;justify-content:center;align-items:center;text-decoration:none;display:inline-flex}.nav-github:hover{color:var(--accent);background:var(--sheet)}.nav-github:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.nav-github svg{display:block}@media (width<=1080px){.nav-github{margin-left:auto}.nav-action{margin-left:4px}}@media (width<=580px){.nav-toggle{margin-left:0}}