html{padding-top:env(safe-area-inset-top,0px);padding-bottom:env(safe-area-inset-bottom,0px)}body{margin:0}img{max-width:100%}[hidden]{display:none!important}:root{--ink:#090D19;--panel:#10162A;--panel-2:#151C33;--line:#232C47;--fg:#E8EBF4;--mute:#9AA3BE;--dim:#6A7392;--peri:#8EA2FF;--amber:#FFB547;--ok:#5BE3A6;--bad:#FF6B7A;--f-display:"Unbounded", "Arial Black", system-ui, sans-serif;--f-body:"Hanken Grotesk", system-ui, -apple-system, "Segoe UI", sans-serif;--f-mono:"JetBrains Mono", ui-monospace, "SFMono-Regular", Menlo, monospace;color-scheme:dark}*{box-sizing:border-box}html{scroll-behavior:smooth}body{overflow-x:clip;background:var(--ink);color:var(--fg);font-family:var(--f-body);font-size:17px;line-height:1.6;-webkit-font-smoothing:antialiased}a{color:var(--fg)}a:hover{color:var(--peri)}:focus-visible{outline:2px solid var(--amber);outline-offset:3px;border-radius:6px}.wrap{max-width:1180px;margin:0 auto;padding-left:max(16px,env(safe-area-inset-left,0px));padding-right:max(16px,env(safe-area-inset-right,0px))}.mono{font-family:var(--f-mono)}.eyebrow{text-wrap:balance;font-family:var(--f-mono);font-size:12px;letter-spacing:.14em;text-transform:uppercase;color:var(--mute)}h1,h2,h3{text-wrap:balance;margin:0}h2{font-family:var(--f-display);font-weight:700;font-size:clamp(28px,4vw,46px);line-height:1.08;letter-spacing:-.02em}p{margin:0}.btn{font:600 15px/1 var(--f-body);display:inline-flex;align-items:center;gap:8px;min-height:46px;padding:0 20px;border-radius:10px;border:1px solid var(--line);background:var(--panel-2);color:var(--fg);cursor:pointer;text-decoration:none;transition:border-color .15s,background .15s}.btn:hover{border-color:var(--peri);color:var(--fg)}.btn.primary{background:var(--peri);border-color:var(--peri);color:#0b1030}.btn.primary:hover{background:#a9b8ff;color:#0b1030}.btn.warm{background:var(--amber);border-color:var(--amber);color:#2a1700}.btn.warm:hover{background:#ffc772;color:#2a1700}.btn[disabled]{opacity:.5;cursor:progress}.chip{font:500 12px/1 var(--f-mono);padding:8px 12px;border-radius:999px;border:1px solid var(--line);background:transparent;color:var(--mute);cursor:pointer;min-height:34px}.chip[aria-pressed=true]{color:#0b1030;background:var(--peri);border-color:var(--peri)}kbd{font:500 11px/1 var(--f-mono);border:1px solid var(--line);border-bottom-width:2px;border-radius:5px;padding:3px 6px;color:var(--mute)}.nav{position:sticky;top:env(safe-area-inset-top,0px);z-index:20;background:#090d19c7;backdrop-filter:blur(12px);-webkit-backdrop-filter:blur(12px);border-bottom:1px solid var(--line)}.nav .wrap{display:flex;align-items:center;justify-content:space-between;gap:16px;min-height:60px;flex-wrap:wrap;padding-block:8px}.brand{display:flex;align-items:center;gap:10px;text-decoration:none;font-family:var(--f-mono);font-size:14px;color:var(--mute)}.brand b{font-family:var(--f-display);font-weight:800;color:var(--fg);font-size:15px;letter-spacing:-.01em}.nav-links{display:flex;align-items:center;gap:6px 20px;flex-wrap:wrap;font-size:15px}.nav-links a{text-decoration:none;color:var(--mute)}.nav-links a:hover{color:var(--fg)}.kbtn{display:inline-flex;align-items:center;gap:8px;background:transparent;border:1px solid var(--line);color:var(--mute);border-radius:8px;min-height:36px;padding:0 10px;font:500 13px var(--f-mono);cursor:pointer}.hero{position:relative;min-height:660px;overflow:hidden;border-bottom:1px solid var(--line)}#gl{position:absolute;inset:0;width:100%;height:100%;display:block;cursor:grab;touch-action:pan-y}#gl.dragging{cursor:grabbing}.hero-fallback{position:absolute;inset:0;background:radial-gradient(60% 50% at 70% 40%,#1B2450 0%,transparent 70%)}.hero-scrim{position:absolute;left:0;right:0;bottom:0;height:62%;background:linear-gradient(to top,var(--ink) 18%,rgba(9,13,25,0));pointer-events:none}.hero-ui{position:relative;z-index:2;min-height:660px;display:flex;flex-direction:column;justify-content:flex-end;padding-block:40px;pointer-events:none}.hero-ui>*{pointer-events:auto}.hero-row{display:flex;flex-wrap:wrap;gap:28px 48px;align-items:flex-end;justify-content:space-between}.hero-copy{flex:999 1 520px;min-width:0;max-width:720px;pointer-events:none}.hero-copy .actions{pointer-events:auto}.hero h1{font-family:var(--f-display);font-weight:700;font-size:clamp(30px,4.6vw,56px);line-height:1.04;letter-spacing:-.025em;margin-top:14px}.hero h1 em{font-style:normal;color:var(--amber)}.hero-copy p{margin-top:16px;color:var(--mute);font-size:18px;max-width:600px}.actions{display:flex;flex-wrap:wrap;gap:10px;margin-top:24px}.readout{flex:1 1 280px;max-width:360px;background:#10162ad1;border:1px solid var(--line);border-radius:14px;padding:16px;font-family:var(--f-mono);font-size:12.5px;color:var(--mute);backdrop-filter:blur(8px);-webkit-backdrop-filter:blur(8px)}.readout .rows{display:grid;grid-template-columns:auto 1fr;gap:4px 16px;font-variant-numeric:tabular-nums}.readout .rows span:nth-child(2n){color:var(--fg);text-align:right}.readout .shapes{display:flex;flex-wrap:wrap;gap:6px;margin-top:12px}.readout .hint{margin-top:10px;color:var(--dim);font-size:11.5px}.proof{border-bottom:1px solid var(--line);background:var(--panel)}.proof .wrap{display:grid;grid-template-columns:repeat(auto-fit,minmax(200px,1fr));gap:20px;padding-block:28px}.proof b{display:block;font-family:var(--f-display);font-weight:700;font-size:28px;letter-spacing:-.02em}.proof span{font-size:14px;color:var(--mute)}section.block{padding-block:96px 24px}.head{display:flex;flex-wrap:wrap;justify-content:space-between;align-items:flex-end;gap:16px 40px}.head p{max-width:460px;color:var(--mute)}.head .eyebrow{margin-bottom:12px}.exp{margin-top:40px;background:var(--panel);border:1px solid var(--line);border-radius:18px;overflow:hidden}.exp-top{display:flex;flex-wrap:wrap;gap:12px 32px;justify-content:space-between;align-items:flex-start;padding:24px 24px 0}.exp-top h3{font-family:var(--f-display);font-weight:500;font-size:21px;letter-spacing:-.01em}.exp-top p{color:var(--mute);font-size:15.5px;margin-top:6px;max-width:620px}.tag{font:500 11px/1 var(--f-mono);letter-spacing:.12em;text-transform:uppercase;color:var(--amber)}.exp-body{padding:24px;display:flex;flex-wrap:wrap;gap:24px}.exp-main{flex:999 1 560px;min-width:0}.exp-side{flex:1 1 260px;min-width:0;display:flex;flex-direction:column;gap:12px}#meter{width:100%;height:170px;display:block;background:var(--ink);border:1px solid var(--line);border-radius:12px}.legend{display:flex;flex-wrap:wrap;gap:6px 18px;margin-top:10px;font:12px var(--f-mono);color:var(--mute)}.legend i{display:inline-block;width:10px;height:10px;border-radius:2px;margin-right:6px;vertical-align:-1px}.stat{background:var(--ink);border:1px solid var(--line);border-radius:12px;padding:14px;font-family:var(--f-mono);font-size:13px;color:var(--mute);font-variant-numeric:tabular-nums}.stat strong{display:block;font-family:var(--f-display);font-weight:500;font-size:22px;color:var(--fg);margin-top:4px}.stat.bad strong{color:var(--bad)}.stat.good strong{color:var(--ok)}.graph-box{overflow:hidden;border:1px solid var(--line);border-radius:12px;background:var(--ink)}#graph{display:block;width:100%;height:auto;max-height:720px}#graph .edge{stroke:var(--line);stroke-width:2;fill:none;transition:stroke .5s}#graph .edge.hot{stroke:var(--peri);transition:none}#graph .node rect{fill:var(--panel-2);stroke:var(--line);stroke-width:1.5;transition:fill .6s,stroke .6s}#graph .node.sig rect{stroke:#3a4670}#graph .node.notify rect{stroke:var(--peri);transition:none}#graph .node.eval rect{fill:#4a3510;stroke:var(--amber);transition:none}#graph .node.skip rect{fill:#13263a;stroke:var(--ok);transition:none}#graph text{font-family:var(--f-mono);fill:var(--fg)}#graph .k{fill:var(--mute);font-size:11px}#graph .v{font-size:14px;font-weight:500}#graph .c{fill:var(--dim);font-size:10.5px}.ctrl{display:grid;gap:4px}.ctrl label{display:flex;justify-content:space-between;font:13px var(--f-mono);color:var(--mute)}.ctrl label output{color:var(--fg)}input[type=range]{width:100%;accent-color:var(--peri);min-height:28px}.log{background:var(--ink);border:1px solid var(--line);border-radius:12px;padding:12px 14px;font:12.5px/1.65 var(--f-mono);color:var(--mute);min-height:96px}.log b{color:var(--amber);font-weight:500}.log em{font-style:normal;color:var(--ok)}.log u{text-decoration:none;color:var(--peri)}.toggle{display:flex;align-items:center;gap:10px;font-size:15px;color:var(--fg);cursor:pointer;min-height:44px}.toggle input{width:20px;height:20px;accent-color:var(--amber)}.note{font:12px var(--f-mono);color:var(--dim)}.warn{font-size:13.5px;line-height:1.5;color:var(--amber);background:#ffb54714;border:1px solid rgba(255,181,71,.35);border-radius:10px;padding:10px 12px}.runs{flex-basis:100%;display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:14px}@media(max-width:820px){.runs{grid-template-columns:minmax(0,1fr)}}.run{display:flex;flex-direction:column;gap:10px;min-width:0}.run .btn{justify-content:center}.run-note{font-size:13.5px;line-height:1.5;color:var(--mute);padding:10px 2px}#meter{height:340px}@media(max-width:560px){#meter{height:320px}}.sig-grid{flex-basis:100%;display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:16px}@media(max-width:900px){.sig-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.duel{grid-column:1/-1}}@media(max-width:560px){.sig-grid{grid-template-columns:minmax(0,1fr)}}.sig-ctrls{display:flex;flex-direction:column;gap:12px;min-width:0}.receipt{background:#f3efe6;color:#1b1a17;border-radius:10px;padding:14px 16px;font:13px/1.5 var(--f-mono);display:flex;flex-direction:column;gap:4px;transition:transform .25s,box-shadow .25s;font-variant-numeric:tabular-nums;min-width:0}.receipt .eyebrow{color:#6b6455;margin-bottom:6px;font-size:10.5px}.receipt .rrow{display:flex;justify-content:space-between;gap:12px;border-bottom:1px dashed #CFC6B3;padding-bottom:3px}.receipt .rrow.total{border:0;font-weight:500;font-size:16px;padding-top:4px}.receipt .note{color:#6b6455;margin-top:4px}.receipt.bump{transform:translateY(-3px) rotate(-.6deg);box-shadow:0 10px 24px #00000059}.duel{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:10px;min-width:0}.duel-col{background:var(--ink);border:1px solid var(--line);border-radius:12px;padding:14px;display:flex;flex-direction:column;gap:4px;font:12.5px/1.5 var(--f-mono);color:var(--mute);min-width:0;overflow-wrap:anywhere}.duel-col strong{font-family:var(--f-display);font-weight:500;font-size:34px;color:var(--fg);line-height:1.1}.duel-col.bad{border-color:#ff6b7a80}.duel-col.bad .d2{color:var(--bad)}.duel-col.good{border-color:#5be3a673}.duel-col.good .d2{color:var(--ok)}#graph .dot{pointer-events:none}.expr{display:flex;gap:8px;flex-wrap:wrap;align-items:center}.expr input{flex:1 1 260px;min-width:0;background:#060913;border:1px solid var(--line);border-radius:10px;color:var(--fg);font:15px var(--f-mono);padding:12px 14px;min-height:46px}.expr input:focus-visible{outline:2px solid var(--peri);outline-offset:1px}.presets{display:flex;flex-wrap:wrap;gap:6px;margin-top:10px}.toks{display:flex;flex-wrap:wrap;gap:5px;margin-top:14px;min-height:30px}.tok{font:12px/1 var(--f-mono);padding:6px 8px;border-radius:6px;border:1px solid var(--line);color:var(--fg);white-space:nowrap}.tok small{color:var(--dim);margin-left:6px;font-size:10px}.tok.num{border-color:#5a4a2a;color:var(--amber)}.tok.id{border-color:#34406b;color:var(--peri)}.tok.op{color:var(--fg)}.tok.fn{border-color:#2c5a49;color:var(--ok)}.err{font:13px var(--f-mono);color:var(--bad);margin-top:10px;overflow-wrap:anywhere}#plot{width:100%;height:260px;display:block;background:var(--ink);border:1px solid var(--line);border-radius:12px}.ast-box{overflow:hidden;border:1px solid var(--line);border-radius:12px;background:var(--ink);padding:8px;min-height:260px;display:flex;align-items:center;justify-content:center}#ast{display:block;max-width:100%;height:auto;max-height:420px}#ast text{font-family:var(--f-mono);font-size:12px}.cols2{flex-basis:100%;display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:16px}@media(max-width:820px){.cols2{grid-template-columns:minmax(0,1fr)}}.cap{font:12px var(--f-mono);color:var(--dim);margin-bottom:8px}.nav,.hero,.readout,.btn,.chip,.kbtn,.stage,.legend,#graph,#meter,#plot,#ast,.ctrl label,.toggle,.duel,.tok,.card .meta,.card .go,.eyebrow,.tag,.proof b{-webkit-user-select:none;user-select:none}.hero-copy p{-webkit-user-select:text;user-select:text}#office{width:100%;height:360px;display:block;border:1px solid var(--line);border-radius:12px;background:var(--ink)}@media(max-width:560px){#office{height:320px}}.office-log{margin-top:10px;font:13px/1.5 var(--f-mono);color:var(--mute);min-height:40px}.office-log b{color:var(--fg);font-weight:500}.needs{display:grid;gap:10px;background:var(--ink);border:1px solid var(--line);border-radius:12px;padding:14px}.need span{display:block;font:12px var(--f-mono);color:var(--mute);margin-bottom:5px}.need i{display:block;height:8px;border-radius:99px;background:#1a2240;overflow:hidden}.need b{display:block;height:100%;border-radius:99px;background:var(--ok);transition:width .6s ease,background .4s}.need[data-need=b] b{background:var(--amber)}.need[data-need=a] b{background:var(--peri)}#office{-webkit-user-select:none;user-select:none}.cards{margin-top:40px;display:grid;grid-template-columns:repeat(auto-fit,minmax(min(100%,320px),1fr));gap:16px;perspective:1200px}.card{position:relative;display:flex;flex-direction:column;gap:12px;min-height:230px;padding:24px;border-radius:16px;background:var(--panel);border:1px solid var(--line);text-decoration:none;color:var(--fg);transform-style:preserve-3d;transition:transform .35s ease,border-color .2s}.card:hover{border-color:#3a4670;color:var(--fg)}.card .meta{display:flex;justify-content:space-between;gap:12px;font:12px var(--f-mono);color:var(--mute)}.card .meta span:first-child{border:1px solid var(--line);border-radius:6px;padding:3px 8px}.card h3{font-family:var(--f-display);font-weight:500;font-size:19px;letter-spacing:-.01em;transform:translateZ(30px);overflow-wrap:anywhere}.card p{font-size:15px;color:var(--mute);flex-grow:1}.card .go{font:13px var(--f-mono);color:var(--peri)}.card .glow{position:absolute;inset:0;border-radius:16px;pointer-events:none;background:radial-gradient(240px circle at var(--mx,50%) var(--my,50%),rgba(142,162,255,.12),transparent 60%);opacity:0;transition:opacity .2s}.card:hover .glow{opacity:1}.talks{margin-top:36px;border-top:1px solid var(--line)}.talk{display:flex;flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:6px 32px;padding-block:22px;border-bottom:1px solid var(--line)}.talk h3{flex:1 1 480px;min-width:0;font-family:var(--f-display);font-weight:500;font-size:clamp(17px,2vw,22px);line-height:1.3;letter-spacing:-.01em}.talk span{font:12.5px var(--f-mono);color:var(--mute)}.placeholder{color:var(--amber)}.chan{margin-top:56px;display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:14px}@media(max-width:960px){.chan{grid-template-columns:repeat(2,minmax(0,1fr))}}@media(max-width:520px){.chan{grid-template-columns:minmax(0,1fr)}}.chan a{display:flex;flex-direction:column;gap:10px;padding:22px;border-radius:14px;border:1px solid var(--line);background:var(--panel);text-decoration:none;color:var(--fg);min-height:200px}.chan a:hover{border-color:var(--peri);color:var(--fg)}.chan .eyebrow{color:var(--amber)}.chan strong{font-family:var(--f-display);font-weight:500;font-size:17px;line-height:1.25}.chan p{color:var(--mute);font-size:14.5px;flex-grow:1}.chan small{font:12.5px var(--f-mono);color:var(--peri)}.contact{margin-block:96px 64px;padding:clamp(28px,5vw,56px);border-radius:22px;border:1px solid var(--line);background:linear-gradient(135deg,var(--panel-2),var(--panel));display:flex;flex-wrap:wrap;gap:32px;align-items:flex-end;justify-content:space-between}.contact h2{font-size:clamp(30px,4.6vw,54px);max-width:700px}.contact p{margin-top:14px;color:var(--mute);max-width:560px}.contact .side{flex:1 1 280px;display:flex;flex-direction:column;gap:10px}.mailrow{display:flex;gap:8px;align-items:center;flex-wrap:wrap;background:var(--ink);border:1px solid var(--line);border-radius:10px;padding:8px 8px 8px 14px;font:14px var(--f-mono)}.mailrow span{flex:1 1 auto;min-width:0;overflow-wrap:anywhere;user-select:all}footer{border-top:1px solid var(--line)}footer .wrap{display:flex;flex-wrap:wrap;justify-content:space-between;gap:10px;padding-block:24px;font:12px var(--f-mono);color:var(--dim)}.pal-back[hidden]{display:none}.pal-back{position:fixed;inset:0;z-index:50;background:#04060ea6;display:flex;justify-content:center;align-items:flex-start;padding-top:max(12vh,env(safe-area-inset-top,0px));padding-left:max(16px,env(safe-area-inset-left,0px));padding-right:max(16px,env(safe-area-inset-right,0px))}.pal{width:min(560px,100%);background:var(--panel);border:1px solid #33406A;border-radius:14px;overflow:hidden;box-shadow:0 30px 80px #00000080}.pal input{width:100%;border:0;border-bottom:1px solid var(--line);background:transparent;color:var(--fg);font:16px var(--f-mono);padding:16px 18px;outline:none}.pal ul{list-style:none;margin:0;padding:6px;max-height:340px;overflow-y:auto}.pal li button{width:100%;text-align:left;display:flex;justify-content:space-between;gap:12px;background:transparent;border:0;color:var(--fg);font:14px var(--f-body);padding:11px 12px;border-radius:8px;cursor:pointer;min-height:44px;align-items:center}.pal li button span{font:12px var(--f-mono);color:var(--dim)}.pal li button.act{background:var(--panel-2);outline:1px solid #33406A}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}.card{transition:none}}