:root{--ink:#050807;--ink-2:#090e0d;--panel:#0b1110;--paper:#eefbf4;--muted:#91a19b;--muted-2:#60716b;--line:#d6f2e51c;--line-strong:#d6f2e533;--lime:#b7ff5b;--lime-soft:#b7ff5b17;--cyan:#5ce5ff;--cyan-soft:#5ce5ff14;--max:1240px}*{box-sizing:border-box}html{scroll-behavior:smooth;background:var(--ink)}body{color:var(--paper);background:radial-gradient(circle at 25% 8%, #b7ff5b09, transparent 26rem), radial-gradient(circle at 84% 28%, #5ce5ff06, transparent 32rem), var(--ink);-webkit-font-smoothing:antialiased;margin:0;font-family:Inter,ui-sans-serif,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif}button,a{font:inherit}a{color:inherit;text-decoration:none}button{color:inherit}img{max-width:100%}::selection{color:#071005;background:var(--lime)}.site-nav{z-index:40;width:min(calc(100% - 40px), var(--max));border:1px solid var(--line);-webkit-backdrop-filter:blur(18px);backdrop-filter:blur(18px);background:#050807e0;border-radius:14px;grid-template-columns:auto 1fr auto;align-items:center;gap:34px;height:64px;margin:16px auto 0;padding:0 15px 0 21px;display:grid;position:sticky;top:16px;box-shadow:0 18px 70px #00000040}.brand-lockup{letter-spacing:.13em;align-items:center;gap:11px;font:780 12px ui-monospace,SFMono-Regular,Menlo,monospace;display:inline-flex}.brand-lockup>span:last-child>span{color:var(--lime)}.brand-mark{justify-content:center;align-items:center;gap:3px;width:24px;height:25px;display:inline-flex;transform:rotate(-18deg)}.brand-mark i{background:linear-gradient(180deg, var(--lime), #d9ffad);border-radius:3px;width:4px;display:block;box-shadow:0 0 14px #b7ff5b2b}.brand-mark i:first-child{opacity:.7;height:13px}.brand-mark i:nth-child(2){height:21px}.brand-mark i:nth-child(3){opacity:.82;height:16px}.site-nav nav{justify-content:center;gap:28px;display:flex}.site-nav nav a,.nav-actions>a:first-child{color:#84958f;font-size:11px;transition:color .16s}.site-nav nav a:hover,.nav-actions>a:first-child:hover{color:var(--paper)}.nav-actions{align-items:center;gap:18px;display:flex}.github-link{height:38px;color:var(--lime);background:#b7ff5b0e;border:1px solid #b7ff5b42;border-radius:8px;align-items:center;gap:9px;padding:0 14px;font-size:11px;font-weight:700;display:inline-flex}.arrow{fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.6px;flex:none;width:16px;height:16px}.hero{width:min(calc(100% - 48px), var(--max));grid-template-columns:minmax(0,1.04fr) minmax(470px,.96fr);align-items:center;gap:78px;min-height:780px;margin:0 auto;padding:128px 0 110px;display:grid}.eyebrow{color:var(--lime);letter-spacing:.18em;margin:0;font:760 9px ui-monospace,SFMono-Regular,Menlo,monospace}.hero h1{letter-spacing:-.068em;max-width:720px;margin:26px 0 28px;font-size:clamp(58px,5.5vw,86px);font-weight:690;line-height:.95}.hero h1 em{color:#0000;background:linear-gradient(90deg, var(--lime), #7cf0c4 58%, var(--cyan));-webkit-background-clip:text;background-clip:text;font-style:normal}.hero-lede{color:#a5b6af;max-width:650px;margin:0;font-size:18px;line-height:1.72}.hero-actions,.band-actions{gap:12px;margin-top:36px;display:flex}.button{border:1px solid var(--line-strong);border-radius:9px;justify-content:center;align-items:center;gap:13px;min-height:49px;padding:0 20px;font-size:12px;font-weight:720;transition:border-color .16s,background .16s,transform .16s;display:inline-flex}.button:hover{transform:translateY(-2px)}.button-primary{border-color:var(--lime);color:#061004;background:var(--lime)}.button-primary:hover{background:#c6ff7d}.button-ghost{color:#d8e7e0;background:#ffffff03}.button-ghost:hover{background:#ffffff09;border-color:#d6f2e557}.hero-trust{flex-wrap:wrap;gap:10px 20px;margin-top:28px;display:flex}.hero-trust span{color:var(--muted-2);text-transform:uppercase;align-items:center;gap:7px;font:8px ui-monospace,SFMono-Regular,Menlo,monospace;display:flex}.hero-trust i{background:var(--lime);border-radius:50%;width:5px;height:5px;box-shadow:0 0 12px #b7ff5b80}.install-terminal{border:1px solid var(--line-strong);background:#080d0c;border-radius:14px;overflow:hidden;box-shadow:0 35px 110px #0000006b,inset 0 1px #ffffff06}.terminal-head,.terminal-foot{justify-content:space-between;align-items:center;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;display:flex}.terminal-head{border-bottom:1px solid var(--line);color:#6c7c76;letter-spacing:.12em;height:52px;padding:0 19px;font-size:8px}.terminal-head strong{color:var(--lime);font-size:8px}.install-tabs{border-bottom:1px solid var(--line);grid-template-columns:repeat(3,1fr);display:grid}.install-tabs button{border:0;border-right:1px solid var(--line);color:#778781;cursor:pointer;background:0 0;justify-content:center;align-items:center;gap:9px;min-width:0;height:72px;padding:0 14px;font-size:10px;transition:color .16s,background .16s;display:flex}.install-tabs button:last-child{border-right:0}.install-tabs button:hover{color:#dbe9e2}.install-tabs button.active{color:var(--paper);box-shadow:inset 0 -2px 0 var(--lime);background:#b7ff5b0b}.logo-tile,.model-logo{border:1px solid var(--line);background:#ffffff09;border-radius:7px;flex:none;justify-content:center;align-items:center;display:inline-flex}.logo-tile{width:29px;height:29px;padding:6px}.logo-tile img,.model-logo img{object-fit:contain;width:100%;height:100%}.light{background:#edf4ef!important}.command-panel{background-color:#0000;background-image:linear-gradient(#cfecdd06 1px,#0000 1px),linear-gradient(90deg,#cfecdd06 1px,#0000 1px);background-position:0 0,0 0;background-repeat:repeat,repeat;background-size:28px 28px;background-attachment:scroll,scroll;background-origin:padding-box,padding-box;background-clip:border-box,border-box;min-height:184px;padding:38px 24px 64px;position:relative}.command-line{border-left:2px solid var(--lime);color:#dcebe4;background:#00000047;grid-template-columns:auto 1fr;gap:11px;padding:19px;display:grid}.command-line>span{color:var(--lime);font:11px ui-monospace,SFMono-Regular,Menlo,monospace}.command-line code{overflow-wrap:anywhere;font:10px/1.65 ui-monospace,SFMono-Regular,Menlo,monospace}.copy-button{border:1px solid var(--line-strong);color:#aebeb7;cursor:pointer;background:#0b1210;border-radius:6px;padding:7px 11px;font:8px ui-monospace,SFMono-Regular,Menlo,monospace;position:absolute;bottom:18px;right:24px}.copy-button:hover{color:var(--lime);border-color:#b7ff5b59}.terminal-foot{border-top:1px solid var(--line);min-height:48px;color:var(--muted-2);padding:0 19px;font-size:8px}.terminal-foot a{color:var(--lime);align-items:center;gap:7px;display:inline-flex}.terminal-foot .arrow{width:12px}.section-pad{width:min(calc(100% - 48px), var(--max));margin:0 auto;padding:150px 0;scroll-margin-top:80px}.section-head{max-width:960px;margin-bottom:74px}.section-head h2,.language-heading h2,.open-source-band h2{letter-spacing:-.06em;margin:22px 0 0;font-size:clamp(44px,5.3vw,74px);font-weight:650;line-height:1.01}.section-head>p:last-child{max-width:720px;color:var(--muted);margin:25px 0 0;font-size:16px;line-height:1.75}.routing{border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.environment-switch{border:1px solid var(--line);border-radius:11px;grid-template-columns:repeat(3,1fr);max-width:930px;margin-bottom:22px;display:grid;overflow:hidden}.environment-switch button{border:0;border-right:1px solid var(--line);color:#7c8d86;cursor:pointer;text-align:left;background:#ffffff02;grid-template-columns:34px 1fr;align-items:center;gap:11px;min-width:0;min-height:78px;padding:14px 18px;display:grid}.environment-switch button:last-child{border-right:0}.environment-switch button.active{color:var(--paper);box-shadow:inset 0 -2px 0 var(--lime);background:#b7ff5b0e}.environment-switch button>span:last-child{min-width:0}.environment-switch strong{font-size:12px;display:block}.environment-switch small{color:var(--muted-2);text-overflow:ellipsis;white-space:nowrap;margin-top:4px;font-size:8px;display:block;overflow:hidden}.environment-switch .logo-tile{width:34px;height:34px}.routing-visual{border:1px solid var(--line-strong);background:linear-gradient(135deg,#ffffff04,#0000 60%);border-radius:14px;grid-template-columns:minmax(145px,1fr) 36px minmax(150px,.9fr) 36px minmax(160px,.95fr) 36px minmax(150px,.9fr);align-items:center;gap:10px;min-height:310px;padding:34px;display:grid}.routing-visual>div:not(.moving-arrow){min-width:0;animation:.52s cubic-bezier(.22,1,.36,1) both route-in}.visual-label{color:var(--cyan);letter-spacing:.12em;font:730 8px ui-monospace,SFMono-Regular,Menlo,monospace;display:block}.source-packet,.model-node,.kern-node{border-left:1px solid var(--line-strong);flex-direction:column;justify-content:center;min-height:190px;padding:24px;display:flex}.source-packet small,.model-node small,.kern-node small{color:var(--muted-2);margin-top:8px;font-size:9px}.code-lines{flex-direction:column;justify-content:center;gap:7px;height:70px;margin:20px 0 3px;display:flex}.code-lines i{background:#91a49c;border-radius:3px;height:3px;animation:.75s both code-contract;display:block}.code-lines i:nth-child(2n){background:#52665e}.model-node{background:linear-gradient(90deg,#5ce5ff09,#0000);border-left-color:#5ce5ff3d}.compiler-node{animation-delay:.1s!important}.runtime-node{animation-delay:.3s!important}.model-logo{width:38px;height:38px;margin-bottom:18px;padding:8px}.luna-logo{background:#b7ff5b14;border-color:#b7ff5b4d}.model-logo b{color:var(--lime);font:800 17px ui-monospace,SFMono-Regular,Menlo,monospace}.model-node strong{letter-spacing:-.035em;margin-top:7px;font-size:24px;display:block}.kern-node{background:var(--lime-soft);text-align:center;border-radius:10px;align-items:center;box-shadow:0 0 54px #b7ff5b0e;border:1px solid #b7ff5b52!important;animation-delay:.22s!important}.kern-node .brand-lockup{font-size:0}.kern-node .brand-mark{transform:rotate(-18deg)scale(1.1)}.kern-node>strong{color:var(--lime);letter-spacing:.1em;margin-top:15px;font:790 18px ui-monospace,SFMono-Regular,Menlo,monospace}.moving-arrow{color:#54665f;justify-content:center;align-items:center;display:flex;position:relative}.moving-arrow i{background:var(--lime);opacity:0;border-radius:50%;width:5px;height:5px;animation:1s .42s both packet-move;position:absolute}.packet-arrow i{animation-delay:.62s}.runtime-arrow i{background:var(--cyan);animation-delay:.82s}.ir-glossary{max-width:800px;color:var(--muted);margin:25px 0 0 auto;font-size:12px;line-height:1.7}.ir-glossary strong{color:#d5e6de}.runtime{padding-bottom:165px}.memory-explainer{grid-template-columns:315px minmax(0,1fr);gap:42px;display:grid}.memory-steps{border-top:1px solid var(--line)}.memory-steps button{border:0;border-bottom:1px solid var(--line);color:#75867f;cursor:pointer;text-align:left;background:0 0;grid-template-columns:35px 1fr;gap:12px;width:100%;padding:19px 4px;display:grid}.memory-steps button>span{color:var(--muted-2);padding-top:2px;font:8px ui-monospace,SFMono-Regular,Menlo,monospace}.memory-steps strong{font-size:13px;display:block}.memory-steps p{opacity:0;max-height:0;margin:0;font-size:10px;line-height:1.55;transition:max-height .26s,margin .26s,opacity .26s;overflow:hidden}.memory-steps button.active{color:var(--paper)}.memory-steps button.active>span{color:var(--lime)}.memory-steps button.active p{max-height:80px;color:var(--muted);opacity:1;margin-top:7px}.memory-stage{border:1px solid var(--line-strong);background:#080d0c;border-radius:14px;grid-template-columns:minmax(170px,1fr) 42px minmax(180px,1fr) 42px minmax(170px,1fr);align-items:center;gap:8px;min-height:520px;padding:28px;display:grid;position:relative;overflow:hidden}.memory-region{border-top:1px solid var(--line);border-bottom:1px solid var(--line);min-width:0;min-height:350px;padding:18px;transition:border-color .26s,background .26s,opacity .26s;position:relative}.region-head{justify-content:space-between;align-items:center;gap:8px;display:flex}.region-head span{color:#aebfb8;letter-spacing:.11em;font:730 7px ui-monospace,SFMono-Regular,Menlo,monospace}.region-head small{color:var(--muted-2);font:7px ui-monospace,SFMono-Regular,Menlo,monospace}.file-tree,.mirror-tree,.context-slots{margin-top:38px}.file-tree>div,.mirror-tree>div,.context-slots>div{color:#6f8079;border-bottom:1px solid #d6f2e512;align-items:center;gap:7px;min-height:43px;padding:0 9px;font:8px ui-monospace,SFMono-Regular,Menlo,monospace;transition:color .26s,background .26s,transform .36s,opacity .26s;display:flex}.file-tree i{border:1px solid #52635c;border-radius:1px;width:7px;height:9px}.file-tree span{color:#53635d;margin-left:auto}.file-tree .changed{color:#d8e6df}.memory-state-0 .source-region,.memory-state-1 .source-region,.memory-state-2 .mirror-region,.memory-state-3 .context-region,.memory-state-4 .source-region,.memory-state-4 .context-region{background:#b7ff5b06;border-color:#b7ff5b4d}.memory-state-0 .file-tree .changed,.memory-state-1 .file-tree .changed{color:var(--lime);background:#b7ff5b0f;animation:1.3s infinite changed-pulse}.mirror-tree>div{justify-content:space-between}.mirror-tree i{background:#3c4c45;border-radius:3px;width:22px;height:4px}.mirror-tree .compiled{color:#bfd2ca}.memory-state-2 .mirror-tree .compiled{color:var(--lime);background:#b7ff5b0f}.memory-state-2 .mirror-tree .compiled i{background:var(--lime);box-shadow:0 0 12px #b7ff5b40}.compiler-pulse{min-height:52px;color:var(--muted-2);opacity:.26;border:1px solid #5ce5ff2e;justify-content:space-between;align-items:center;padding:0 12px;font:7px ui-monospace,SFMono-Regular,Menlo,monospace;transition:opacity .26s,border-color .26s;display:flex;position:absolute;bottom:18px;left:18px;right:18px}.compiler-pulse b{color:var(--cyan);font-size:9px}.memory-state-1 .compiler-pulse{opacity:1;border-color:#5ce5ff80;box-shadow:inset 0 0 25px #5ce5ff0d}.context-slots>div{border:1px dashed #d6f2e51a;margin-bottom:9px}.context-slots .faulted,.context-slots .source-slot{opacity:.16;transform:translateY(8px)}.memory-state-3 .context-slots .faulted,.memory-state-4 .context-slots .faulted{color:var(--cyan);opacity:1;border-color:#5ce5ff57;transform:translateY(0)}.memory-state-4 .context-slots .source-slot{color:var(--lime);opacity:1;border-style:solid;border-color:#b7ff5b59;transform:translateY(0)}.write-gate{border-top:1px solid var(--line);min-height:46px;color:var(--muted-2);opacity:.22;justify-content:space-between;align-items:center;padding:0 10px;font:7px ui-monospace,SFMono-Regular,Menlo,monospace;transition:opacity .26s;display:flex;position:absolute;bottom:18px;left:18px;right:18px}.write-gate strong{color:var(--lime)}.memory-state-4 .write-gate{opacity:1}.exact-source{opacity:0;background:#0a110d;border:1px solid #b7ff5b47;padding:13px;transition:opacity .32s,transform .32s;position:absolute;bottom:16px;left:14px;right:14px;transform:translateY(12px)}.exact-source span{color:var(--lime);margin-bottom:8px;font:7px ui-monospace,SFMono-Regular,Menlo,monospace;display:block}.exact-source code{color:#adc0b7;text-overflow:ellipsis;white-space:nowrap;font:7px/1.6 ui-monospace,SFMono-Regular,Menlo,monospace;display:block;overflow:hidden}.memory-state-4 .exact-source{opacity:1;transform:translateY(0)}.memory-transfer{color:#3f5149;justify-content:center;align-items:center;height:70px;display:flex;position:relative}.memory-transfer>span{border:1px solid var(--lime);color:var(--lime);background:var(--ink-2);opacity:0;border-radius:4px;padding:4px 5px;font:7px ui-monospace,SFMono-Regular,Menlo,monospace;position:absolute}.memory-state-1 .first-transfer .il-packet{animation:1.2s both memory-packet}.memory-state-3 .second-transfer .page-packet{border-color:var(--cyan);color:var(--cyan);animation:1.2s both memory-packet}.memory-current{color:var(--muted);margin:16px 0 0;font-size:12px;line-height:1.6;display:none}.memory-current span{color:var(--lime);margin-right:10px;font:8px ui-monospace,SFMono-Regular,Menlo,monospace}.memory-current strong{color:var(--paper);margin-right:8px}.history{border-top:1px solid var(--line);position:relative}.history-rail{border-top:1px solid var(--line);border-left:1px solid var(--line);grid-template-columns:repeat(5,minmax(0,1fr));display:grid;position:relative}.history-card{border-right:1px solid var(--line);border-bottom:1px solid var(--line);background:#ffffff02;min-width:0;min-height:350px;padding:27px 23px 30px;transition:background .18s,transform .18s;position:relative}.history-card:before{border:1px solid var(--cyan);content:"";background:var(--ink);border-radius:50%;width:7px;height:7px;position:absolute;top:-4px;left:22px;box-shadow:0 0 16px #5ce5ff52}.history-card:hover{z-index:1;background:#5ce5ff05;transform:translateY(-3px)}.history-year{color:var(--cyan);letter-spacing:.12em;font:700 10px ui-monospace,SFMono-Regular,Menlo,monospace;display:block}.history-icon{border:1px solid var(--line);background:#ffffff07;border-radius:10px;justify-content:center;align-items:center;width:60px;height:60px;margin-top:30px;padding:10px;display:flex}.history-icon img{object-fit:contain;width:100%;height:100%;display:block}.history-card h3{letter-spacing:-.03em;margin:28px 0 8px;font-size:18px}.history-card>strong{color:#c7d7d1;font-size:11px;display:block}.history-card>p{color:var(--muted);margin:9px 0 0;font-size:11px;line-height:1.65}.history-cpp{padding:8px}.history-card:first-child .history-icon{background:0 0;border-color:#0000;width:72px;padding:5px}.history-vm-marks,.history-model-marks{gap:6px;width:auto;min-width:108px;padding:7px}.history-vm-marks span,.history-model-marks span{border:1px solid var(--line);color:#b8cac1;background:#ffffff09;border-radius:7px;place-items:center;width:43px;height:43px;padding:7px;font:8px ui-monospace,SFMono-Regular,Menlo,monospace;display:grid}.history-model-marks{min-width:145px}.history-model-marks span{width:39px;height:39px}.history-model-marks .light{background:var(--paper)}.history-card-kern{background:linear-gradient(145deg,#b7ff5b11,#050807f2);border-color:#b7ff5b40;box-shadow:inset 3px 0 #b7ff5ba6}.history-card-kern:before{border-color:var(--lime);box-shadow:0 0 18px #b7ff5b80}.history-card-kern .history-year,.history-card-kern>strong,.history-card-kern h3{color:var(--lime)}.history-card-kern .history-icon{background:#b7ff5b0e;border-color:#b7ff5b47}.history-card-kern .brand-lockup>span:last-child{display:none}.history-card-kern .brand-mark{transform:rotate(-18deg)scale(1.3)}.punch-card{background:#d8cda9;border-radius:3px;grid-template-columns:repeat(5,1fr);gap:4px;width:62px;height:43px;padding:7px;display:grid}.punch-card i{background:#504938;border-radius:1px;width:4px;height:4px}.punch-card i:nth-child(3n+1){opacity:.2}.compiler-icon{fill:none;width:74px;stroke:var(--cyan);stroke-linecap:round;stroke-linejoin:round;stroke-width:2px}.compiler-icon .compiler-arrow{stroke:var(--lime)}.vm-symbol{gap:8px;width:104px}.vm-symbol span{border:1px solid var(--line);border-radius:7px;justify-content:center;align-items:center;width:42px;height:42px;padding:7px;display:flex}.vm-symbol img{object-fit:contain;width:100%;height:100%}.history-caption{color:#b2c3bc;text-align:center;margin:35px 0 0;font:11px ui-monospace,SFMono-Regular,Menlo,monospace}.proof{border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.compression-flow{grid-template-columns:minmax(190px,1fr) 90px minmax(190px,1fr) 90px minmax(190px,1fr);align-items:center;gap:12px;min-height:350px;display:grid}.compression-stage{border-top:1px solid var(--line-strong);border-bottom:1px solid var(--line);background:#ffffff02;min-height:300px;padding:27px}.compression-stage>strong{letter-spacing:-.05em;margin-top:25px;font-size:42px;display:block}.compression-stage>small{color:var(--muted-2);font-size:9px}.raw-snippet{flex-direction:column;justify-content:space-between;height:118px;margin-top:30px;display:flex}.raw-snippet i{transform-origin:0;background:#64766e;width:84%;height:3px;display:block}.raw-snippet i:nth-child(2n){width:63%}.raw-snippet i:nth-child(3n){width:91%}.semantic-snippet{flex-wrap:wrap;gap:7px;margin-top:48px;display:flex}.semantic-snippet i{color:var(--lime);background:var(--lime-soft);border:1px solid #b7ff5b3d;border-radius:4px;padding:7px 8px;font:8px ui-monospace,SFMono-Regular,Menlo,monospace}.dense-stage{background:linear-gradient(140deg,#b7ff5b0f,#0000 65%);border-color:#b7ff5b4d}.dense-stage>strong{color:var(--lime)}.dense-page{background:#dfe9e2;border:1px solid #b7ff5b2e;grid-template-columns:repeat(4,1fr);grid-auto-rows:3px;gap:3px 5px;height:118px;margin-top:25px;padding:9px;display:grid}.dense-page i{opacity:.62;background:#1b2b24;height:1px;display:block}.dense-page i:nth-child(4n){width:63%}.compression-arrow{color:#556860;flex-direction:column;align-items:center;gap:12px;display:flex}.compression-arrow .arrow{width:24px;height:24px}.compression-arrow span{color:var(--muted-2);text-align:center;text-transform:uppercase;font:7px ui-monospace,SFMono-Regular,Menlo,monospace}.compression-flow.visible .raw-snippet i{animation:.9s .18s both source-collapse}.compression-flow.visible .semantic-snippet i{animation:.58s both semantic-arrive}.compression-flow.visible .semantic-snippet i:first-child{animation-delay:.5s}.compression-flow.visible .semantic-snippet i:nth-child(2){animation-delay:.58s}.compression-flow.visible .semantic-snippet i:nth-child(3){animation-delay:.66s}.compression-flow.visible .semantic-snippet i:nth-child(4){animation-delay:.74s}.compression-flow.visible .semantic-snippet i:nth-child(5){animation-delay:.82s}.compression-flow.visible .dense-page{animation:.7s .98s both dense-arrive}.proof-result{border-top:1px solid var(--line);grid-template-columns:200px 1fr auto;align-items:center;gap:36px;margin-top:34px;padding:28px 0;display:grid}.proof-result>div strong{color:var(--lime);letter-spacing:-.05em;font-size:36px;display:block}.proof-result>div span{color:var(--muted-2);font-size:9px}.proof-result p{color:var(--muted);margin:0;font-size:11px;line-height:1.65}.proof-result b{color:#d9eae2;letter-spacing:.08em;margin-bottom:5px;font:8px ui-monospace,SFMono-Regular,Menlo,monospace;display:block}.proof-result a{color:var(--lime);align-items:center;gap:8px;font-size:10px;font-weight:700;display:inline-flex}.languages{grid-template-columns:minmax(0,.8fr) minmax(560px,1.2fr);align-items:center;gap:75px;padding-top:115px;padding-bottom:115px;display:grid}.language-heading h2{font-size:clamp(37px,4vw,58px)}.language-strip{grid-template-columns:repeat(10,1fr);gap:12px;display:grid}.language-logo{aspect-ratio:1;border-bottom:1px solid var(--line);background:#ffffff03;justify-content:center;align-items:center;padding:14px;transition:border-color .16s,transform .16s,background .16s;display:flex;position:relative}.language-logo:hover{z-index:2;border-color:var(--lime);background:#b7ff5b0a;transform:translateY(-4px)}.language-logo:after{z-index:4;border:1px solid var(--line);color:#b9c9c2;content:attr(data-label);opacity:0;pointer-events:none;white-space:nowrap;background:#09100d;border-radius:4px;padding:5px 7px;font:7px ui-monospace,SFMono-Regular,Menlo,monospace;transition:opacity .15s,transform .15s;position:absolute;bottom:-28px;left:50%;transform:translate(-50%,-3px)}.language-logo:hover:after{opacity:1;transform:translate(-50%)}.open-source-band{width:min(calc(100% - 48px), var(--max));background:linear-gradient(120deg,#b7ff5b13,#5ce5ff05 65%,#0000);border:1px solid #b7ff5b42;border-radius:14px;grid-template-columns:1fr auto;align-items:end;gap:50px;margin:20px auto 0;padding:70px 58px;display:grid}.open-source-band h2{max-width:760px;font-size:clamp(38px,4.5vw,62px)}.band-actions{margin:0}footer{width:min(calc(100% - 48px), var(--max));grid-template-columns:auto 1fr auto;align-items:start;gap:35px;min-height:160px;margin:0 auto;padding:50px 0;display:grid}footer>p{color:var(--muted-2);margin:2px 0 0;font-size:11px}footer>div{color:#8fa099;gap:18px;font-size:10px;display:flex}footer>div a:hover{color:var(--paper)}footer>small{color:#4f615a;grid-column:1/-1;font-size:8px}.reveal{opacity:0;transition:opacity .62s,transform .62s cubic-bezier(.22,1,.36,1);transform:translateY(16px)}.reveal.visible{opacity:1;transform:translateY(0)}@keyframes route-in{0%{opacity:0;transform:translateY(8px)}to{opacity:1;transform:translateY(0)}}@keyframes code-contract{0%{opacity:.35;transform:scaleX(1)}to{opacity:.95;transform:scaleX(.78)}}@keyframes packet-move{0%{opacity:0;transform:translate(-14px)}35%{opacity:1}to{opacity:0;transform:translate(14px)}}@keyframes changed-pulse{0%,to{box-shadow:inset 2px 0 #b7ff5b59}50%{box-shadow:inset 2px 0 0 var(--lime), 0 0 14px #b7ff5b0f}}@keyframes memory-packet{0%{opacity:0;transform:translate(-18px)scale(.86)}40%{opacity:1}to{opacity:0;transform:translate(18px)scale(1)}}@keyframes source-collapse{0%{opacity:1;transform:scaleX(1)}to{opacity:.28;transform:scaleX(.58)}}@keyframes semantic-arrive{0%{opacity:0;transform:translate(-13px)}to{opacity:1;transform:translate(0)}}@keyframes dense-arrive{0%{opacity:0;transform:scale(.92)}to{opacity:1;transform:scale(1)}}@media (max-width:1080px){.hero{grid-template-columns:1fr;gap:62px}.hero-copy{max-width:820px}.install-terminal{width:min(100%,760px)}.routing-visual{grid-template-columns:minmax(125px,1fr) 25px minmax(135px,1fr) 25px minmax(145px,1fr) 25px minmax(135px,1fr);padding:25px}.source-packet,.model-node,.kern-node{padding:18px}.model-node strong{font-size:20px}.memory-explainer{grid-template-columns:1fr}.memory-steps{grid-template-columns:repeat(5,1fr);display:grid}.memory-steps button{border-right:1px solid var(--line);grid-template-columns:1fr}.memory-steps p{display:none}.memory-stage{min-height:490px}.languages{grid-template-columns:1fr;gap:45px}}@media (max-width:820px){.site-nav{width:calc(100% - 24px);margin-top:10px;top:10px}.site-nav nav{display:none}.site-nav{grid-template-columns:1fr auto}.nav-actions>a:first-child{display:none}.hero,.section-pad,.open-source-band,footer{width:calc(100% - 32px)}.hero{grid-template-columns:1fr;min-height:auto;padding:105px 0 85px}.hero h1{font-size:clamp(49px,13vw,72px)}.hero-lede{font-size:16px}.section-pad{padding:105px 0}.section-head{margin-bottom:50px}.section-head h2,.language-heading h2,.open-source-band h2{font-size:43px}.environment-switch{grid-template-columns:1fr}.environment-switch button{border-right:0;border-bottom:1px solid var(--line)}.environment-switch button:last-child{border-bottom:0}.routing-visual{grid-template-columns:1fr;gap:8px;padding:22px}.source-packet,.model-node,.kern-node{border-left:0;border-top:1px solid var(--line);text-align:center;align-items:center;min-height:145px}.code-lines{width:min(100%,230px);height:58px}.moving-arrow{height:35px;transform:rotate(90deg)}.ir-glossary{margin-left:0}.memory-steps{grid-template-columns:1fr 1fr}.memory-steps button{border-right:1px solid var(--line)}.memory-stage{grid-template-columns:1fr;gap:7px;min-height:auto}.memory-region{min-height:285px}.memory-transfer{height:36px;transform:rotate(90deg)}.memory-current{display:block}.history-line{grid-template-columns:1fr}.history-line>.arrow{margin:10px auto;transform:rotate(90deg)}.history-line article{min-height:220px;padding-left:80px}.history-symbol{margin-top:25px}.compression-flow{grid-template-columns:1fr;gap:8px}.compression-stage{min-height:250px}.compression-arrow{min-height:45px;transform:rotate(90deg)}.compression-arrow span{display:none}.proof-result{grid-template-columns:1fr;gap:22px}.language-strip{grid-template-columns:repeat(5,1fr)}.open-source-band{grid-template-columns:1fr;align-items:start;padding:50px 30px}.band-actions{flex-wrap:wrap}footer{grid-template-columns:1fr;gap:18px}footer>small{grid-column:1}}@media (max-width:520px){.site-nav{height:58px;padding-left:14px}.github-link{height:35px;padding:0 11px}.hero-actions{flex-direction:column;align-items:stretch}.button{width:100%}.hero-trust{flex-direction:column;align-items:flex-start}.install-tabs button{flex-direction:column;gap:4px;height:66px;padding:0 6px;font-size:8px}.logo-tile{width:26px;height:26px}.command-panel{min-height:210px;padding:27px 15px 65px}.command-line{padding:14px}.terminal-foot{flex-direction:column;align-items:flex-start;gap:7px;padding:9px 14px}.section-head h2,.language-heading h2,.open-source-band h2{font-size:38px}.section-head>p:last-child{font-size:14px}.memory-steps{grid-template-columns:1fr}.memory-steps button{grid-template-columns:32px 1fr}.memory-steps p{display:block}.memory-stage{padding:15px}.memory-region{min-height:275px;padding:14px}.history-line article{padding-left:36px}.language-strip{grid-template-columns:repeat(5,1fr);gap:7px}.language-logo{padding:9px}.open-source-band{padding:43px 23px}.band-actions{flex-direction:column;align-items:stretch;width:100%}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}.reveal{opacity:1;transform:none}}:root{--muted:#9cafa7;--muted-2:#82958d}body{background:linear-gradient(180deg, #b7ff5b06, transparent 34rem), var(--ink)}:focus-visible{outline:2px solid var(--cyan);outline-offset:4px}.skip-link{z-index:100;color:#061004;background:var(--lime);border-radius:8px;padding:10px 14px;font-size:12px;font-weight:800;transition:transform .14s;position:fixed;top:12px;left:12px;transform:translateY(-160%)}.skip-link:focus{transform:translateY(0)}.hero{grid-template-columns:minmax(0,.92fr) minmax(500px,1.08fr);align-items:start;gap:58px 76px;min-height:0;padding:116px 0 108px}.hero-copy{padding-top:20px}.hero h1{letter-spacing:-.07em;max-width:690px;margin:25px 0;font-size:clamp(55px,5.55vw,86px);line-height:.96}.hero h1 em{background:linear-gradient(90deg, var(--lime), #83f0c6 65%, var(--cyan));-webkit-background-clip:text;background-clip:text}.hero-lede{max-width:620px;font-size:17px;line-height:1.68}.pilot-qualifier{color:#84978f;border-left:2px solid #b7ff5b61;max-width:620px;margin:18px 0 0;padding-left:13px;font:10px/1.6 ui-monospace,SFMono-Regular,Menlo,monospace}.hero-trust span,.terminal-head,.terminal-foot,.evidence-head,.rail-stage>span,.rail-stage>small,.loop-receipt>span{font-size:10px}.hero-evidence{border:1px solid var(--line-strong);background:#080d0c;border-radius:15px;overflow:hidden;box-shadow:0 35px 110px #00000059,inset 0 1px #ffffff06}.evidence-head{border-bottom:1px solid var(--line);min-height:54px;color:var(--muted-2);letter-spacing:.08em;justify-content:space-between;align-items:center;gap:18px;padding:0 20px;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;display:flex}.evidence-head strong{color:var(--lime);letter-spacing:0;font-size:12px}.compression-rail{grid-template-columns:1fr 24px .78fr 24px .56fr;align-items:center;gap:12px;min-height:292px;padding:30px 24px 28px;display:grid}.compression-rail>.arrow{color:#51635b}.rail-stage{text-align:center;flex-direction:column;align-items:center;min-width:0;display:flex}.rail-stage>span,.loop-receipt>span{color:var(--muted-2);letter-spacing:.11em;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-weight:700}.rail-stage>strong{color:var(--paper);letter-spacing:-.045em;margin-top:16px;font-size:clamp(22px,2.2vw,31px)}.rail-stage>small{color:var(--muted-2);margin-top:3px}.rail-page{background:#0b1110;border:1px solid #d6f2e529;border-radius:8px;grid-template-columns:repeat(2,1fr);align-content:center;gap:5px 7px;width:100%;height:105px;margin-top:17px;padding:12px;display:grid;box-shadow:inset 0 0 35px #ffffff03}.rail-page i{background:#61736b;border-radius:2px;height:2px;display:block}.rail-page i:nth-child(3n){width:70%}.rail-page i:nth-child(4n){width:48%}.rail-il .rail-page{width:86%}.rail-dense .rail-page{border-color:#b7ff5b40;grid-template-columns:repeat(3,1fr);gap:3px;width:80%;padding:9px}.rail-dense .rail-page i{background:#a5c47c;height:1px}.rail-dense>strong{color:var(--lime)}.rail-semantic{flex-wrap:wrap;place-content:center;gap:6px;display:flex}.rail-semantic i{height:auto;color:var(--cyan);background:#5ce5ff0a;border:1px solid #5ce5ff38;border-radius:4px;padding:4px 5px;font:7px ui-monospace,SFMono-Regular,Menlo,monospace;width:auto!important}.loop-receipt{border-top:1px solid var(--line);background:#ffffff03;grid-template-columns:128px minmax(0,1fr) auto;align-items:center;gap:18px;padding:18px 20px;display:grid}.loop-receipt p{color:#899d94;margin:0;font-size:10px;line-height:1.55}.loop-receipt p strong{color:#c5d7cf}.loop-receipt a{color:var(--lime);white-space:nowrap;align-items:center;gap:7px;font-size:10px;font-weight:750;display:inline-flex}.loop-receipt .arrow{width:13px}.hero .install-terminal{grid-column:1/-1;grid-template-columns:190px 410px minmax(0,1fr);align-items:stretch;width:100%;display:grid}.hero .terminal-head{border-right:1px solid var(--line);border-bottom:0;flex-direction:column;justify-content:center;align-items:flex-start;gap:5px;height:auto;padding:0 20px}.hero .install-tabs{border-right:1px solid var(--line);border-bottom:0}.hero .install-tabs button{height:82px}.hero .command-panel{border-bottom:0;min-height:82px}.hero .terminal-foot{border-top:1px solid var(--line);grid-column:1/-1;min-height:42px;padding:0 20px}.compiler{border-top:1px solid var(--line);background:#060a09;overflow:hidden}.compiler .section-head{margin-bottom:50px}.compiler .environment-switch{max-width:720px;margin-bottom:22px}.compiler-workbench{border:1px solid var(--line-strong);background:#080d0c;border-radius:15px;overflow:hidden;box-shadow:0 32px 95px #0000005c}.workbench-bar{border-bottom:1px solid var(--line);min-height:55px;color:var(--muted-2);grid-template-columns:1fr auto 1fr;align-items:center;gap:18px;padding:0 20px;font:10px ui-monospace,SFMono-Regular,Menlo,monospace;display:grid}.workbench-bar>span:nth-child(2){color:#c6d8d0}.workbench-bar>span:last-child{justify-self:end}.workbench-bar>span:last-child i{background:var(--lime);border-radius:50%;width:6px;height:6px;margin-right:7px;display:inline-block;box-shadow:0 0 12px #b7ff5b73}.workbench-grid{grid-template-columns:minmax(0,1fr) 230px minmax(0,1fr);min-height:510px;display:grid}.code-pane,.compile-pane{min-width:0}.code-pane{background:#080c0b;flex-direction:column;display:flex}.code-pane header,.code-pane footer{min-height:48px;color:var(--muted-2);letter-spacing:.08em;justify-content:space-between;align-items:center;gap:15px;padding:0 18px;font:9px ui-monospace,SFMono-Regular,Menlo,monospace;display:flex}.code-pane header{border-bottom:1px solid var(--line)}.code-pane footer{border-top:1px solid var(--line);margin-top:auto}.code-pane footer strong{color:#c6d7cf;font-weight:600}.source-code{color:#53655d;counter-reset:source-line;margin:0;padding:32px 20px 32px 58px;font:12px/2 ui-monospace,SFMono-Regular,Menlo,monospace}.source-code li{padding-left:10px}.source-code code{color:#b8c9c1}.source-code b{color:#72d6e9;font-weight:650}.il-pane{border-left:1px solid var(--line)}.il-pane pre{color:#a9bcb3;white-space:pre-wrap;margin:0;padding:30px 24px;font:11px/1.95 ui-monospace,SFMono-Regular,Menlo,monospace;overflow:auto}.il-pane pre b{color:var(--lime)}.compile-pane{border-right:1px solid var(--line);border-left:1px solid var(--line);text-align:center;background:linear-gradient(#b7ff5b0a,#0000 45%),#090f0d;flex-direction:column;align-items:center;padding:42px 24px 30px;display:flex}.provider-orb{border:1px solid var(--line-strong);background:#ffffff06;border-radius:11px;place-items:center;width:46px;height:46px;padding:10px;display:grid}.provider-orb.light{background:var(--paper)}.provider-orb img{object-fit:contain;width:100%;height:100%}.compile-pane>p{color:var(--lime);letter-spacing:.12em;margin:23px 0 6px;font:8px ui-monospace,SFMono-Regular,Menlo,monospace}.compile-pane h3{letter-spacing:-.035em;margin:0;font-size:25px}.compile-pane>small{color:var(--muted-2);margin-top:7px;font-size:9px}.compiler-status{text-align:left;gap:10px;width:100%;margin-top:31px;display:grid}.compiler-status span{color:#879990;align-items:center;gap:9px;font:9px ui-monospace,SFMono-Regular,Menlo,monospace;display:flex}.compiler-status i{background:var(--lime);border-radius:50%;width:5px;height:5px}.compile-meter{background:#d6f2e514;border-radius:4px;width:100%;height:4px;margin-top:30px;overflow:hidden}.compile-meter i{border-radius:inherit;background:linear-gradient(90deg, var(--cyan), var(--lime));width:84%;height:100%;display:block}.compile-ratio{color:var(--lime);letter-spacing:-.04em;margin-top:auto;font-size:24px}.compile-ratio small{color:var(--muted-2);letter-spacing:0;margin-top:3px;font:8px ui-monospace,SFMono-Regular,Menlo,monospace;display:block}.runtime-route{border-top:1px solid var(--line);background:#5ce5ff05;grid-template-columns:minmax(0,1fr) 24px minmax(220px,.72fr) 24px minmax(0,1fr);align-items:center;gap:22px;min-height:104px;padding:16px 20px;display:grid}.runtime-route>.arrow{color:#52645c}.runtime-route>div:not(.runtime-profile) span,.runtime-profile p span{color:var(--muted-2);letter-spacing:.1em;margin-bottom:6px;font:8px ui-monospace,SFMono-Regular,Menlo,monospace;display:block}.runtime-route>div:not(.runtime-profile) strong{color:#c7d8d0;font-size:12px}.runtime-profile{justify-content:center;align-items:center;gap:13px;display:flex}.runtime-profile .provider-orb{width:38px;height:38px;padding:8px}.runtime-profile p{margin:0}.runtime-profile p strong{font-size:15px}.write-gate-preview{text-align:right;justify-self:end}.write-gate-preview strong{color:var(--lime)!important}.compiler+.runtime{border-top:1px solid var(--line)}.compile-symbol{gap:8px}.compile-symbol code{border:1px solid var(--line-strong);color:#c7d8d0;border-radius:5px;padding:7px 8px;font:8px ui-monospace,SFMono-Regular,Menlo,monospace}.compile-symbol .arrow{width:13px;color:var(--lime)}.vm-symbol{gap:6px}.vm-symbol span{border:1px solid var(--line-strong);color:#b8cac1;background:#0c1210;border-radius:6px;place-items:center;width:38px;height:34px;padding:0;font:8px ui-monospace,SFMono-Regular,Menlo,monospace;display:grid}.history-caption{color:#c2d4cc}.languages{grid-template-columns:minmax(280px,.58fr) minmax(600px,1.42fr)}.language-heading>p:last-child{max-width:480px;color:var(--muted);margin:20px 0 0;font-size:13px;line-height:1.7}.language-strip{grid-template-columns:repeat(5,1fr);gap:10px}.language-logo{aspect-ratio:auto;border:1px solid var(--line);background:#ffffff03;border-radius:10px;grid-template-rows:54px auto auto;justify-items:center;gap:8px;min-height:128px;padding:18px 10px 13px;display:grid}.language-logo>span{place-items:center;width:48px;height:48px;display:grid}.language-logo img{object-fit:contain;width:100%;height:100%}.language-logo>strong{color:#c7d8d0;text-align:center;font-size:10px;font-weight:650}.language-logo>small{color:#71847b;letter-spacing:.08em;text-transform:uppercase;font:7px ui-monospace,SFMono-Regular,Menlo,monospace}.language-logo>small.structured{color:var(--lime)}.language-logo:after{display:none}footer>small{color:#71847b;font-size:9px}@media (max-width:1120px){.hero{grid-template-columns:1fr;gap:46px}.hero-copy{max-width:820px}.hero-evidence{width:100%}.hero .install-terminal{grid-template-columns:170px 390px minmax(0,1fr)}.workbench-grid{grid-template-columns:minmax(0,1fr) 205px minmax(0,1fr)}.languages{grid-template-columns:1fr}.language-heading>p:last-child{max-width:760px}}@media (max-width:900px){.site-nav nav{display:none}.site-nav{grid-template-columns:1fr auto}.nav-actions>a:first-child{display:inline-flex}.hero{width:min(calc(100% - 36px), var(--max));padding-top:88px}.hero .install-terminal{display:block}.hero .terminal-head{border-right:0;border-bottom:1px solid var(--line);flex-direction:row;align-items:center;height:50px}.hero .install-tabs{border-right:0;border-bottom:1px solid var(--line)}.hero .command-panel{border-bottom:1px solid var(--line);min-height:86px}.hero .terminal-foot{border-top:0}.workbench-grid{grid-template-columns:1fr}.compile-pane{border:0;border-top:1px solid var(--line);border-bottom:1px solid var(--line);min-height:390px}.il-pane{border-left:0}.runtime-route{text-align:left;grid-template-columns:1fr;gap:15px}.runtime-route>.arrow{justify-self:center;transform:rotate(90deg)}.runtime-profile{justify-content:flex-start}.write-gate-preview{text-align:left;justify-self:start}}@media (max-width:720px){.hero{padding-top:70px;padding-bottom:78px}.hero h1{font-size:clamp(47px,13vw,68px)}.compression-rail{grid-template-columns:1fr;gap:14px;padding:24px 18px}.compression-rail>.arrow{justify-self:center;transform:rotate(90deg)}.rail-stage{text-align:left;grid-template-columns:88px minmax(0,1fr) 90px;align-items:center;gap:10px;width:100%;display:grid}.rail-stage>span{grid-column:1}.rail-stage .rail-page{grid-area:1/2/span 2;width:100%;height:72px;margin:0}.rail-stage>strong{text-align:right;grid-area:1/3;align-self:end;margin:0}.rail-stage>small{text-align:right;grid-area:2/3;align-self:start}.loop-receipt{grid-template-columns:1fr}.loop-receipt a{width:fit-content}.environment-switch{grid-template-columns:1fr}.environment-switch button{border-right:0;border-bottom:1px solid var(--line);min-height:62px}.environment-switch button:last-child{border-bottom:0}.workbench-bar{grid-template-columns:1fr auto}.workbench-bar>span:nth-child(2){display:none}.language-strip{grid-template-columns:repeat(2,1fr)}}@media (max-width:520px){.site-nav{gap:12px;width:calc(100% - 24px);padding:0 12px 0 15px}.nav-actions{gap:12px}.github-link{padding:0 11px}.hero h1{font-size:44px}.hero-lede{font-size:15px}.hero-actions{grid-template-columns:1fr;display:grid}.install-tabs button{padding:0 7px;font-size:9px}.command-panel{padding:18px 14px}.terminal-foot{align-items:flex-start;gap:12px}.terminal-foot>span{max-width:62%}.section-pad{width:min(calc(100% - 28px), var(--max))}.source-code{padding-left:43px;font-size:9px}.il-pane pre{padding:24px 16px;font-size:9px}.language-logo{min-height:118px}}@media (prefers-reduced-motion:reduce){.compile-meter i,.memory-transfer>span,.file-tree .changed{animation:none!important}}.terminal-head strong,.terminal-foot,.environment-switch small,.compile-pane>small,.compiler-status span,.runtime-route>div:not(.runtime-profile) span,.runtime-profile p span,.language-logo>small,.compile-pane>p{font-size:10px}.language-logo>strong{font-size:11px}@media (max-width:1020px){.history-rail{scrollbar-width:thin;scrollbar-color:#b7ff5b59 transparent;grid-template-columns:repeat(5,minmax(230px,1fr));overflow-x:auto}}@media (max-width:640px){.history-rail{border-top:0;grid-template-columns:1fr;overflow:visible}.history-card{min-height:0;padding:28px 26px 32px}.history-card:before{left:26px}.history-icon{margin-top:24px}.history-card h3{margin-top:23px}}