:root{--bg:#f2f0e9;--panel:#fdfcf9;--ink:#272824;--muted:#62645d;--line:#d9d9d0;--accent:#515a48;--accent-soft:#eeeee5;--bar:#cfcec5;--ours:#58604e;--good:#4b614d;--shadow:none;color-scheme:light;font-family:'DM Sans',Arial,sans-serif}
*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:28px}body{margin:24px auto;background:var(--bg);color:var(--ink);max-width:1500px;font-size:16px;line-height:1.6}body>section,body>.topbar,body>footer{margin:0 24px}.wrap{width:100%;max-width:1192px;margin:auto;padding:0 52px}a{color:inherit;text-underline-offset:5px}a:hover{color:var(--accent)}p{margin:0 0 22px}h1,h2,h3{font-weight:400;margin:0;line-height:1.07;letter-spacing:-.045em;text-wrap:balance}h1{font-size:clamp(56px,6.7vw,96px);font-weight:300}h2{font-size:clamp(30px,3.3vw,46px);max-width:520px}h3{font-size:25px;margin:36px 0 20px}b,strong{font-weight:500}.eyebrow,.brand,.stat-label,.hero-meta,.text-link,th,.links a,summary,.topbar a{font-family:'IBM Plex Mono',monospace}.eyebrow{font-size:12px;letter-spacing:.13em;text-transform:uppercase;color:var(--muted);margin-bottom:24px}.topbar{background:var(--panel)}.topbar .wrap{display:flex;align-items:center;justify-content:space-between;min-height:72px;gap:30px;border-bottom:1px solid var(--line)}.brand{font-size:12px;letter-spacing:.09em;white-space:nowrap}.spacer{display:none}nav{display:flex;gap:24px;flex-wrap:wrap}.topbar a{font-size:12px;text-transform:uppercase;text-decoration:none;color:var(--muted);padding:8px 0}.topbar a:hover{color:var(--ink)}section{padding:100px 0;background:var(--panel)}section:nth-of-type(even){background:var(--bg)}section.hero{padding:74px 0 38px}.hero-grid{display:grid;grid-template-columns:1.08fr 1fr;gap:50px;align-items:center}.hero-copy{padding-bottom:32px}.intro{max-width:330px;color:var(--muted);margin:30px 0;font-size:17px;line-height:1.5}.text-link{font-size:12px;letter-spacing:.1em;text-transform:uppercase;display:inline-flex;gap:36px;align-items:center;text-decoration:none;padding:12px 0;border-bottom:1px solid var(--line)}.text-link span{font-size:19px}.hero-meta{display:flex;flex-wrap:wrap;gap:12px 30px;font-size:10px;letter-spacing:.08em;margin-top:48px;color:var(--muted)}.hero-art{margin:0;align-self:start}.hero-art img{display:block;width:100%;height:490px;object-fit:cover}.hero-art figcaption{font-family:'IBM Plex Mono',monospace;text-transform:uppercase;font-size:10px;letter-spacing:.12em;margin-top:13px;text-align:right}.stats{display:grid;grid-template-columns:repeat(4,1fr);gap:0;margin:55px 0 25px;border-top:1px solid var(--line);padding-top:26px}.stat{padding:0 24px;border-right:1px solid var(--line)}.stat:first-child{padding-left:0}.stat:last-child{border:0;padding-right:0}.stat-label{font-size:11px;letter-spacing:.045em;color:var(--muted);margin-bottom:12px}.n{font-size:38px;font-weight:300;line-height:1.2;letter-spacing:-.05em}.stat-detail{font-size:13px;line-height:1.5;color:var(--muted);margin-top:12px}.research-note{border-top:1px solid var(--line);font-size:14px;color:var(--muted)}summary{cursor:pointer;list-style-position:outside;font-size:13px;letter-spacing:.02em;padding:20px 0;margin-left:16px}details[open]>summary{margin-bottom:15px}.notice{font-size:14px}.notice b{display:block}.small,figcaption{font-size:14px;color:var(--muted);line-height:1.55}.section-heading{display:grid;grid-template-columns:1fr 1fr;gap:90px;align-items:end;margin-bottom:55px}.section-heading p:last-child:not(.eyebrow){font-size:16px;color:var(--muted);margin:0;max-width:465px}.diagram{margin:40px 0}.diagram svg{display:block;width:100%;height:auto}.diagram .node rect{fill:var(--panel);stroke:#a3a69b;stroke-width:1}.diagram .node.core rect{fill:#e5e7dc;stroke:var(--accent)}.diagram .node.proj rect{stroke:var(--accent);stroke-dasharray:3 3}.diagram .nt{font-family:'DM Sans',sans-serif;font-size:13px;fill:var(--ink);font-weight:500}.diagram .ns{font-family:'DM Sans',sans-serif;font-size:11.5px;fill:var(--muted)}.diagram .edge{fill:none;stroke:var(--muted);stroke-width:1;marker-end:url(#arr)}figcaption{margin-top:20px}.finding{display:grid;grid-template-columns:180px 1fr;gap:24px;border-top:1px solid var(--line);border-bottom:1px solid var(--line);padding:24px 0;margin:30px 0}.finding b{font-family:'IBM Plex Mono',monospace;font-size:12px;font-weight:400;text-transform:uppercase;letter-spacing:.1em}.plain{font-size:15px;color:var(--muted);max-width:820px}.benchmark{margin:70px 0 0;padding-top:36px;border-top:1px solid var(--line)}h3.bench{font-size:32px;margin:0 0 24px;max-width:750px}h3.bench small{display:block;font-family:'IBM Plex Mono',monospace;font-size:12px;letter-spacing:.09em;text-transform:uppercase;color:var(--muted);margin-bottom:16px}.benchmark>p{max-width:790px}.benchmark>figure:not(.diagram),[role=tabpanel]>figure{background:var(--bg);margin:30px 0;padding:28px}.benchmark>figure svg,[role=tabpanel] svg{display:block;width:100%;height:auto}.benchmark figcaption{max-width:860px}svg text{font-family:'DM Sans',sans-serif;font-size:13px;fill:var(--ink)}svg .bar{fill:var(--bar)}svg .bar.ours{fill:var(--ours)}table{border-collapse:collapse;width:100%;font-size:14px;margin:12px 0 22px;font-variant-numeric:tabular-nums}th,td{text-align:left;padding:15px 12px;border-bottom:1px solid var(--line);vertical-align:top}th{font-size:11px;font-weight:400;letter-spacing:.055em;text-transform:uppercase;color:var(--muted)}td.num{font-family:'IBM Plex Mono',monospace;font-size:13px;white-space:nowrap}.ours td{color:var(--accent)}.tablewrap{overflow:auto;max-width:100%}.tabs{display:flex;gap:24px;border-bottom:1px solid var(--line);margin:36px 0 0}.tabs button{font-family:'IBM Plex Mono',monospace;font-size:12px;color:var(--muted);background:none;border:0;border-bottom:2px solid transparent;padding:16px 0;cursor:pointer;text-transform:uppercase}.tabs button[aria-selected=true]{border-bottom-color:var(--ink);color:var(--ink)}.example{border-top:1px solid var(--line)}.example:last-child{border-bottom:1px solid var(--line)}.example>summary{font-family:'DM Sans',sans-serif;font-size:22px;letter-spacing:-.025em;padding:28px 0}.example>p{max-width:870px}pre.term,.flow{background:var(--panel);border:1px solid var(--line);padding:24px;white-space:pre-wrap;overflow-wrap:anywhere;font-family:'IBM Plex Mono',monospace;font-size:13px;line-height:1.65;box-shadow:none;border-radius:0;margin:24px 0}pre .cmd{color:var(--ink);font-weight:500}pre .okf,pre .hit{color:var(--good)}pre .novf,pre .miss{color:#865c45}pre .dim{color:var(--muted)}.two{display:grid;grid-template-columns:1fr 1fr;gap:50px}ul{padding:0;list-style:none}li{padding:16px 0;border-top:1px solid var(--line);margin:0}.links{display:flex;flex-wrap:wrap;gap:12px;margin:35px 0 50px}.links a{font-size:12px;letter-spacing:.03em;border:1px solid var(--line);padding:14px 20px;text-transform:uppercase;text-decoration:none}.links a:hover{background:var(--ink);color:var(--panel)}#paper h2{max-width:760px}footer{padding:45px 0;background:var(--bg);font-size:12px;color:var(--muted)}code{font-family:'IBM Plex Mono',monospace;font-size:.85em}a:focus-visible,button:focus-visible,summary:focus-visible,[tabindex]:focus-visible{outline:2px solid var(--accent);outline-offset:5px}.skip{position:fixed;top:-80px;padding:12px;background:var(--panel);z-index:10}.skip:focus{top:0}::selection{background:#dfe3d3}[hidden]{display:none!important}
@media(min-width:1100px){#found .diagram{padding:30px 40px;background:var(--panel)}#how .wrap>p{max-width:850px}#limits .two{gap:90px}}
@media(max-width:900px){body{margin:0}body>section,body>.topbar,body>footer{margin:0}.wrap{padding:0 28px}.topbar .wrap{padding-top:18px;padding-bottom:18px;align-items:start}nav{gap:8px 18px;justify-content:flex-end}.hero-grid{gap:25px}.hero-art img{height:400px}h1{font-size:62px}.section-heading{gap:35px}.stats{grid-template-columns:1fr 1fr;row-gap:28px}.stat:nth-child(2){border:0}.stat:nth-child(3){padding-left:0}.hero-meta{margin-top:30px}.benchmark>figure:not(.diagram),[role=tabpanel]>figure{padding:18px;overflow:auto}.benchmark .diagram svg{min-width:760px}.section-heading h2{font-size:34px}}
@media(max-width:600px){.wrap{padding:0 22px}.topbar .wrap{display:block}.brand{display:block;margin-bottom:14px}nav{justify-content:space-between;gap:5px 12px}.topbar a{font-size:10px}.hero-grid{grid-template-columns:1fr}.hero-copy{padding:0}.hero-art img{height:auto;aspect-ratio:4/3;object-position:center 54%}.hero-art figcaption{text-align:left}.hero-art{margin-top:10px}h1{font-size:62px}.intro{max-width:310px}.hero-meta{font-size:10px;margin:28px 0 0}.hero .eyebrow{font-size:11px}.hero section{padding-top:40px}section.hero{padding-top:40px}.stats{margin-top:32px}.stat{padding:0 15px}.stat-label{font-size:10px}.n{font-size:34px}.stat-detail{font-size:12px}section{padding:60px 0}.section-heading{grid-template-columns:1fr;gap:25px;margin-bottom:32px}.section-heading p:last-child:not(.eyebrow){font-size:15px}.eyebrow{font-size:11px}.finding{grid-template-columns:1fr;gap:8px;font-size:15px}.benchmark{margin-top:42px}h3.bench{font-size:28px}.diagram{overflow:auto}.diagram svg{min-width:690px}.diagram figcaption{min-width:0}.tabs{gap:14px}.tabs button{font-size:10px}.two{grid-template-columns:1fr;gap:20px}.example>summary{font-size:20px}.links{display:grid;grid-template-columns:1fr}.links a{font-size:11px}th,td{min-width:0;padding:10px 8px;font-size:13px}td.num{font-size:12px}pre.term{font-size:12px;padding:16px}.tablewrap{margin:15px 0}.small,figcaption{font-size:13px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}
@media(min-width:601px) and (max-width:900px){h1{font-size:clamp(40px,6.6vw,60px)}.topbar .wrap{display:block}.brand{display:block;margin-bottom:12px}nav{justify-content:space-between}.hero-art img{height:380px}}
@media(max-width:600px){nav{display:grid;grid-template-columns:repeat(4,1fr);gap:4px 12px}.topbar a{font-size:12px}.hero-meta{font-size:11px}.stat-label{font-size:11px}.tabs button{font-size:11px}}

/* Research status stays visible above the introduction. */
body>.top-disclaimer{margin:0 24px;background:#eeeee5;border-bottom:1px solid var(--line)}
.top-disclaimer .wrap{padding-top:18px;padding-bottom:18px;font-size:14px;line-height:1.55;color:var(--muted)}
.top-disclaimer b{display:inline;font-family:'IBM Plex Mono',monospace;font-size:12px;letter-spacing:.07em;text-transform:uppercase;color:var(--ink);margin-right:16px}
.hero .intro{max-width:440px;font-size:16px;line-height:1.55}
@media(max-width:900px){body>.top-disclaimer{margin:0}}
@media(max-width:600px){.top-disclaimer b{display:block;margin-bottom:7px}.top-disclaimer .wrap{font-size:13px}.hero .intro{max-width:100%}}

.topbar .github-link{display:inline-flex;align-items:center;gap:9px;flex-shrink:0;color:var(--ink);font-size:12px;white-space:nowrap}.github-link img{display:block;width:20px;height:20px}.topbar nav{margin-left:auto}.topbar .wrap{gap:22px}.top-disclaimer a{text-decoration:underline;text-decoration-thickness:1px}
@media(max-width:1100px) and (min-width:901px){.topbar nav{gap:14px}.topbar .github-link span{display:none}}
@media(max-width:900px){.topbar .wrap{position:relative}.topbar .brand{padding-right:105px}.topbar .github-link{position:absolute;right:28px;top:12px}.topbar nav{margin-left:0}}
@media(max-width:600px){.topbar .github-link{right:22px;top:11px}.topbar .github-link span{font-size:11px}}

.filing td{color:var(--ink)}.filing td:first-child{font-weight:500}.notfiled td{color:var(--muted)}.tag{font-family:'IBM Plex Mono',monospace;font-size:10px;letter-spacing:.09em;text-transform:uppercase;color:var(--panel);background:var(--accent);padding:3px 7px;white-space:nowrap}
svg text.lbl{font-size:12.5px}svg text.val{font-family:'IBM Plex Mono',monospace;font-size:11px}
@media(max-width:600px){table,table thead,table tbody,table tr,table th,table td{display:block}table thead{position:absolute;left:-9999px;top:-9999px}table tr{border-top:1px solid var(--line);padding:12px 0}table tr:last-child{border-bottom:1px solid var(--line)}table td{border:0;padding:3px 0;min-width:0;white-space:normal}table td.num{white-space:normal}table td[data-label]::before{content:attr(data-label);display:block;font-family:'IBM Plex Mono',monospace;font-size:10px;letter-spacing:.06em;text-transform:uppercase;color:var(--muted);margin-bottom:1px}table td[data-label]:not(:first-child){margin-top:6px}.tablewrap{overflow:visible}svg text.lbl{font-size:13px}}