@font-face{font-family:Inter;font-style:normal;font-weight:100 900;font-display:swap;src:url(/fonts/inter-latin-var.woff2)format("woff2");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+2074,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(/fonts/jetbrains-mono-latin-var.woff2)format("woff2");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+2074,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}:root{--font-sans:"Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;--font-mono:"JetBrains Mono", ui-monospace, "SF Mono", Menlo, Consolas, monospace;--r-sm:6px;--r:8px;--r-lg:12px;--r-xl:16px;--r-pill:999px;--sp-1:4px;--sp-2:8px;--sp-3:12px;--sp-4:16px;--sp-5:24px;--sp-6:32px;--sp-7:48px;--sp-8:64px;--sp-9:96px;--ease:cubic-bezier(.4, 0, .2, 1);--dur:.18s;--maxw:1080px}html[data-theme=dark]{--bg:#08090a;--bg-elev:#101114;--bg-elev-2:#16181d;--border:#ffffff14;--border-strong:#ffffff29;--text:#f7f8f8;--text-2:#9ca0a8;--text-3:#6a6e76;--solid:#e8e6e1;--solid-hover:#fff;--solid-fg:#0a0b0c;--focus:#ffffff47;--glow:#ffffff0f;--shadow:0 1px 2px #00000080;--shadow-lg:0 8px 30px #00000080;--plate-accent:#43dd70;--plate-accent-2:#37a75a;color-scheme:dark}html[data-theme=light]{--bg:#fff;--bg-elev:#fafafb;--bg-elev-2:#f3f4f6;--border:#0000001a;--border-strong:#0000002e;--text:#0b0c0e;--text-2:#585e68;--text-3:#878c95;--solid:#111316;--solid-hover:#000;--solid-fg:#fff;--focus:#0000004d;--glow:#0000000a;--shadow:0 1px 2px #0000000f;--shadow-lg:0 10px 34px #0f111a1a;--plate-accent:#15884a;--plate-accent-2:#2f7d50;color-scheme:light}*,:before,:after{box-sizing:border-box}html,body{margin:0;padding:0}html{scroll-behavior:smooth}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{transition-duration:.001ms!important;animation-duration:.001ms!important;animation-iteration-count:1!important}}body{background:var(--bg);color:var(--text);font-family:var(--font-sans);-webkit-font-smoothing:antialiased;text-rendering:optimizelegibility;transition:background var(--dur) var(--ease), color var(--dur) var(--ease);font-size:16px;line-height:1.5}a{color:inherit;text-decoration:none}::selection{background:var(--border-strong);color:var(--text)}img,svg{max-width:100%}.wrap{max-width:var(--maxw);margin:0 auto;padding:0 24px}.label{font-family:var(--font-mono);letter-spacing:.09em;text-transform:uppercase;color:var(--text-2);font-size:12px;font-weight:500}.muted{color:var(--text-2)}.skip-link{z-index:100;background:var(--solid);color:var(--solid-fg);border-radius:var(--r);padding:10px 16px;font-weight:600;position:absolute;top:0;left:-9999px}.skip-link:focus{top:12px;left:16px}:where(a,button,input,[tabindex]):focus-visible{outline:3px solid var(--focus);outline-offset:2px;border-radius:var(--r-sm)}.nav{z-index:40;background:color-mix(in srgb, var(--bg-elev) 82%, transparent);backdrop-filter:saturate(160%)blur(14px);border-bottom:1px solid var(--border);position:sticky;top:0}.nav-in{max-width:var(--maxw);align-items:center;gap:20px;margin:0 auto;padding:14px 24px;display:flex}.brand{letter-spacing:-.01em;color:var(--text);align-items:center;gap:10px;font-weight:600;display:flex}.brandmark{color:inherit;flex:none;display:block}.nav-links{color:var(--text-2);gap:22px;margin-left:8px;font-size:14px;display:flex}.nav-links a{transition:color var(--dur) var(--ease)}.nav-links a:hover,.nav-links a[aria-current=page]{color:var(--text)}.nav-right{align-items:center;gap:12px;margin-left:auto;display:flex}.theme-toggle{appearance:none;cursor:pointer;border:1px solid var(--border-strong);background:var(--bg-elev);color:var(--text-2);font-family:var(--font-sans);border-radius:var(--r-pill);transition:color var(--dur) var(--ease), border-color var(--dur) var(--ease), background var(--dur) var(--ease);align-items:center;gap:8px;padding:7px 12px;font-size:13px;font-weight:500;display:inline-flex}.theme-toggle:hover{color:var(--text);border-color:var(--text-3)}.theme-toggle .ico{width:15px;height:15px}.theme-toggle .theme-label{text-align:left;min-width:4ch}.btn{cursor:pointer;font-family:var(--font-sans);letter-spacing:-.01em;border-radius:var(--r);transition:all var(--dur) var(--ease);white-space:nowrap;border:1px solid #0000;align-items:center;gap:8px;padding:9px 16px;font-size:14px;font-weight:500;display:inline-flex}.btn-primary{background:var(--solid);color:var(--solid-fg)}.btn-primary:hover{background:var(--solid-hover)}.btn-secondary{background:var(--bg-elev);color:var(--text);border-color:var(--border-strong)}.btn-secondary:hover{background:var(--bg-elev-2);border-color:var(--text-3)}.btn-ghost{color:var(--text-2);background:0 0}.btn-ghost:hover{color:var(--text);background:var(--bg-elev)}.hero{padding:120px 0 80px;position:relative;overflow:hidden}.hero:before{content:"";pointer-events:none;z-index:-1;background:radial-gradient(50% 50% at 50% 50%, var(--glow), transparent 70%);filter:blur(20px);width:900px;height:520px;position:absolute;top:-220px;left:50%;transform:translate(-50%)}.eyebrow{border:1px solid var(--border);background:var(--bg-elev);border-radius:var(--r-pill);font-family:var(--font-mono);letter-spacing:.04em;color:var(--text-2);align-items:center;gap:8px;margin-bottom:26px;padding:5px 14px;font-size:12px;display:inline-flex}.eyebrow .dot{background:var(--text-2);border-radius:50%;width:6px;height:6px}.display{letter-spacing:-.04em;margin:0 0 22px;font-size:clamp(46px,8vw,76px);font-weight:640;line-height:1}.lede{color:var(--text-2);max-width:54ch;margin:0 0 34px;font-size:20px;font-weight:400;line-height:1.5}.lede em,.lede strong{color:var(--text);font-style:normal;font-weight:500}.hero-cta{flex-wrap:wrap;gap:12px;display:flex}.section{border-top:1px solid var(--border);padding:56px 0}.sec-head{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:16px;margin-bottom:26px;display:flex}.sec-head h2{letter-spacing:-.01em;margin:0;font-size:15px;font-weight:600}.sec-link{color:var(--text-2);font-size:13px}.sec-link:hover{color:var(--text)}.proof{grid-template-columns:repeat(4,1fr);gap:14px;display:grid}.stat{border:1px solid var(--border);border-radius:var(--r-lg);background:var(--bg-elev);transition:border-color var(--dur) var(--ease);padding:20px}.stat:hover{border-color:var(--border-strong)}.stat .n{letter-spacing:-.02em;font-size:28px;font-weight:640;line-height:1}.stat .d{color:var(--text-2);margin-top:8px;font-size:13px}.cards{grid-template-columns:1fr 1fr;gap:16px;display:grid}.card{border:1px solid var(--border);border-radius:var(--r-lg);background:var(--bg-elev);color:inherit;transition:transform var(--dur) var(--ease), border-color var(--dur) var(--ease), box-shadow var(--dur) var(--ease);display:block;overflow:hidden}.card:hover{border-color:var(--border-strong);box-shadow:var(--shadow-lg);transform:translateY(-3px)}.card:focus-visible{border-color:var(--border-strong);transform:translateY(-3px)}.card .body{padding:22px}.card h3{letter-spacing:-.01em;margin:0 0 8px;font-size:17px;font-weight:600;line-height:1.3}.card p{color:var(--text-2);margin:0;font-size:14px}.tag{font-family:var(--font-mono);letter-spacing:.04em;text-transform:uppercase;color:var(--text-2);border:1px solid var(--border);border-radius:var(--r-pill);align-items:center;gap:7px;margin-top:16px;padding:4px 10px;font-size:11px;font-weight:500;display:inline-flex}.tag .sq{background:var(--text-3);border-radius:2px;width:6px;height:6px}.thesis{grid-template-columns:repeat(3,1fr);gap:16px;display:grid}.thesis-card{border:1px solid var(--border);border-radius:var(--r-lg);background:var(--bg-elev);transition:border-color var(--dur) var(--ease), transform var(--dur) var(--ease);flex-direction:column;gap:8px;padding:22px;display:flex}.thesis-card:hover{border-color:var(--border-strong);transform:translateY(-3px)}.thesis-card h3{letter-spacing:-.01em;margin:0;font-size:16px;font-weight:600}.thesis-card p{color:var(--text-2);margin:0;font-size:14px}.thesis-card .out{font-family:var(--font-mono);color:var(--text-2);margin-top:auto;font-size:12px}figure.ph{margin:32px 0}.ph-box{border:1px dashed var(--border-strong);border-radius:var(--r-lg);background:repeating-linear-gradient(135deg, var(--bg-elev) 0 12px, var(--bg-elev-2) 12px 24px);text-align:center;width:100%;color:var(--text-2);justify-content:center;align-items:center;display:flex;position:relative;overflow:hidden}.ph-box[data-ratio=hero]{aspect-ratio:16/7}.ph-box[data-ratio=wide]{aspect-ratio:16/9}.ph-box[data-ratio=diagram]{aspect-ratio:4/3}.ph-box[data-ratio=square]{aspect-ratio:1}.ph-inner{max-width:46ch;padding:24px}.ph-kind{font-family:var(--font-mono);letter-spacing:.06em;text-transform:uppercase;color:var(--text-3);margin-bottom:8px;font-size:12px;display:block}.ph-spec{color:var(--text-2);margin:0;font-size:14px}.ph-todo{font-family:var(--font-mono);letter-spacing:.04em;color:var(--text-3);border:1px solid var(--border);border-radius:var(--r-pill);margin-top:12px;padding:3px 9px;font-size:11px;display:inline-block}.ph-dims{font-family:var(--font-mono);color:var(--text-3);font-size:10.5px;position:absolute;bottom:8px;right:10px}figure.ph figcaption{font-family:var(--font-mono);color:var(--text-2);margin-top:12px;font-size:12.5px;line-height:1.5}figure.ph figcaption b{color:var(--text);font-weight:500}figure.plate{width:min(1240px,100vw - 32px);max-width:none;margin-left:50%;transform:translate(-50%)}figure.plate .plate-scroll{overflow:auto hidden}figure.plate .plate-svg{width:100%;min-width:800px;display:block}figure.plate figcaption{max-width:72ch}.case-head{padding:88px 0 8px}.case-kicker{font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;color:var(--text-2);flex-wrap:wrap;align-items:center;gap:10px;margin:0 0 18px;font-size:12px;display:flex}.case-title{letter-spacing:-.03em;max-width:20ch;margin:0;font-size:clamp(32px,5vw,46px);font-weight:640;line-height:1.08}.tldr{border:1px solid var(--border);border-left:2px solid var(--border-strong);border-radius:var(--r-lg);background:var(--bg-elev);margin:40px 0;padding:24px 26px}.tldr h2{font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;color:var(--text-2);margin:0 0 14px;font-size:12px}.tldr dl{grid-template-columns:auto 1fr;gap:8px 20px;margin:0;display:grid}.tldr dt{font-family:var(--font-mono);letter-spacing:.03em;text-transform:uppercase;color:var(--text-3);white-space:nowrap;padding-top:2px;font-size:12px}.tldr dd{color:var(--text);margin:0;font-size:15px}.tldr .metrics{flex-wrap:wrap;grid-column:1/-1;gap:24px;margin-top:6px;display:flex}.tldr .metrics .m{flex-direction:column;gap:2px;display:flex}.tldr .metrics .m .mv{letter-spacing:-.01em;font-size:20px;font-weight:640}.tldr .metrics .m .ml{font-family:var(--font-mono);color:var(--text-2);font-size:11px}.method-cards{grid-column:1/-1;grid-template-columns:repeat(3,1fr);gap:12px;margin-top:14px;display:grid}.method-cards .mc{border:1px solid var(--border);border-radius:var(--r-lg);background:var(--bg-elev-2);flex-direction:column;gap:10px;padding:16px 18px;display:flex}.method-cards .mc-ico{border:1px solid var(--border-strong);border-radius:var(--r);background:var(--bg-elev);width:36px;height:36px;color:var(--text);justify-content:center;align-items:center;display:inline-flex}.method-cards .mc-ico svg{width:18px;height:18px;display:block}.method-cards .mc-v{letter-spacing:-.01em;color:var(--text);font-size:16px;font-weight:640}.method-cards .mc-l{font-family:var(--font-mono);color:var(--text-2);font-size:11px;line-height:1.5}@media (width<=720px){.method-cards{grid-template-columns:1fr}}.prose{max-width:68ch}.prose h2{width:fit-content;font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;color:var(--text);background:var(--bg-elev);border:1px solid var(--border-strong);border-radius:var(--r-pill);align-items:center;gap:8px;margin:52px 0 18px;padding:6px 13px;font-size:12px;font-weight:600;display:flex}.prose h2:before{content:"";background:var(--text-3);border-radius:2px;flex:none;width:6px;height:6px}.prose h2+p{margin-top:0}.prose p{color:var(--text);margin:18px 0;font-size:17px;line-height:1.62}.prose p.dek{color:var(--text-2)}.prose blockquote{border-left:2px solid var(--border-strong);letter-spacing:-.01em;color:var(--text);margin:28px 0;padding:4px 0 4px 22px;font-size:22px;font-weight:500;line-height:1.4}.prose .attr{color:var(--text-2);font-size:14px}.closing{border-top:1px solid var(--border);margin:48px 0 0;padding:28px 0 0}.closing h2{font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;color:var(--text-2);margin:0 0 12px;font-size:12px}.closing p{color:var(--text);max-width:62ch;margin:0;font-size:19px;line-height:1.55}.group{margin-top:40px}.group-h{border-bottom:1px solid var(--border);align-items:baseline;gap:12px;margin-bottom:16px;padding-bottom:10px;display:flex}.group-h h2{margin:0;font-size:15px;font-weight:600}.group-h .count{font-family:var(--font-mono);color:var(--text-3);font-size:12px}.stub-badge{font-family:var(--font-mono);letter-spacing:.04em;text-transform:uppercase;color:var(--text-3);border:1px solid var(--border);border-radius:var(--r-pill);padding:2px 8px;font-size:10.5px}.page-head{padding:88px 0 16px}.page-head h1{letter-spacing:-.03em;margin:0 0 14px;font-size:clamp(32px,5vw,44px);font-weight:640}.page-head p{color:var(--text-2);max-width:60ch;margin:0;font-size:19px}.about-body{max-width:70ch}.about-body h2{font-size:13px;font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.07em;color:var(--text-2);margin:40px 0 12px}.about-body p{margin:14px 0;font-size:17px;line-height:1.62}.deflist{margin:0;padding:0;list-style:none}.deflist li{border-bottom:1px solid var(--border);color:var(--text);padding:10px 0;font-size:15px}.deflist li span{color:var(--text-2)}.todo{font-family:var(--font-mono);letter-spacing:.03em;color:var(--text-3);border:1px dashed var(--border-strong);border-radius:var(--r-sm);background:var(--bg-elev);padding:2px 8px;font-size:11px;display:inline-block}.todo-block{border:1px dashed var(--border-strong);border-radius:var(--r);background:var(--bg-elev);color:var(--text-2);margin:20px 0;padding:16px 18px;font-size:14px}.todo-block .todo{margin-bottom:8px}footer.site{border-top:1px solid var(--border);color:var(--text-2);padding:48px 0 72px;font-size:13px}.footer-in{flex-wrap:wrap;justify-content:space-between;align-items:flex-start;gap:24px;display:flex}.footer-sign{color:var(--text);align-items:center;gap:10px;font-weight:600;display:flex}.footer-sign svg{width:auto;height:20px;color:var(--text)}.footer-links{flex-wrap:wrap;gap:18px;display:flex}.footer-links a{color:var(--text-2)}.footer-links a:hover{color:var(--text)}.footer-meta{color:var(--text-3);font-family:var(--font-mono);font-size:12px}.agent-toggle[aria-pressed=true]{color:var(--text);border-color:var(--text-3);background:var(--bg-elev-2)}html[data-agent-view=on] [data-agent-component]{outline:1px solid var(--border-strong);outline-offset:3px;position:relative}html[data-agent-view=on] [data-agent-action]{outline:1px dashed var(--border-strong);outline-offset:2px;position:relative}html[data-agent-view=on] [data-agent-content]{outline:1px dotted var(--border-strong);outline-offset:2px}html[data-agent-view=on] [data-agent-component]:after,html[data-agent-view=on] [data-agent-action]:after{font-family:var(--font-mono);letter-spacing:.03em;color:var(--solid-fg);background:var(--solid);z-index:6;pointer-events:none;white-space:nowrap;border-radius:3px;padding:2px 4px;font-size:9px;line-height:1;position:absolute;top:-8px;left:6px}html[data-agent-view=on] [data-agent-component]:after{content:"⬡ " attr(data-agent-component)}html[data-agent-view=on] [data-agent-action]:after{content:"▷ " attr(data-agent-action);background:var(--bg-elev-2);color:var(--text-2);border:1px solid var(--border-strong)}.agent-panel{z-index:60;background:var(--bg-elev);border-left:1px solid var(--border-strong);width:min(380px,92vw);height:100dvh;box-shadow:var(--shadow-lg);transition:transform var(--dur) var(--ease);padding:20px 22px 40px;position:fixed;top:0;right:0;overflow-y:auto;transform:translate(100%)}.agent-panel.is-open{transform:translate(0)}.agent-panel-head{justify-content:space-between;align-items:center;margin-bottom:6px;display:flex}.agent-panel-title{font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;color:var(--text);font-size:12px}.agent-panel-close{appearance:none;border:1px solid var(--border);background:var(--bg-elev-2);color:var(--text-2);border-radius:var(--r-sm);cursor:pointer;width:28px;height:28px;font-size:18px;line-height:1}.agent-panel-close:hover{color:var(--text);border-color:var(--text-3)}.agent-panel-note{color:var(--text-2);margin:0 0 18px;font-size:12.5px;line-height:1.5}.agent-sec{border-top:1px solid var(--border);padding:14px 0}.agent-sec h3{font-family:var(--font-mono);letter-spacing:.05em;text-transform:uppercase;color:var(--text-2);margin:0 0 10px;font-size:11px;font-weight:500}.agent-sec .agent-attr{color:var(--text-3);text-transform:none;letter-spacing:0}.agent-row{gap:12px;padding:2px 0;font-size:13px;display:flex}.agent-row .agent-k{font-family:var(--font-mono);color:var(--text-3);min-width:74px;font-size:11px}.agent-row .agent-v{color:var(--text)}.agent-chip{font-family:var(--font-mono);color:var(--text-2);border:1px solid var(--border);border-radius:var(--r-pill);align-items:center;gap:5px;margin:0 6px 6px 0;padding:3px 9px;font-size:11px;display:inline-flex}.agent-chip b{color:var(--text-3);font-weight:500}.agent-empty{font-family:var(--font-mono);color:var(--text-3);font-size:11px}.agent-outline{color:var(--text);margin:0;padding-left:18px;font-size:12.5px;line-height:1.5}.agent-outline .ol-h2{color:var(--text-2)}.agent-outline .ol-h3{color:var(--text-3);margin-left:10px;list-style:circle}.agent-links{font-family:var(--font-mono);margin:0;padding-left:18px;font-size:12.5px;line-height:1.7}.agent-links a{color:var(--text-2);text-underline-offset:2px;text-decoration:underline}.agent-links a:hover{color:var(--text)}@media (prefers-reduced-motion:reduce){.agent-panel{transition:none}}@media (width<=860px){.thesis{grid-template-columns:1fr}}@media (width<=760px){.proof{grid-template-columns:1fr 1fr}.cards{grid-template-columns:1fr}.nav-links{display:none}.tldr dl{grid-template-columns:1fr;gap:2px 0}.tldr dt{margin-top:12px}}html[data-theme=light] .theme-toggle[data-astro-cid-l6lhmie6] .ico-moon[data-astro-cid-l6lhmie6]{display:none}html[data-theme=light] .theme-toggle[data-astro-cid-l6lhmie6] .ico-sun[data-astro-cid-l6lhmie6]{display:block}