:root{--bg: #0b0c12;--bg2: #0e1017;--panel: #171a22;--panel2: #1e212b;--raise: #232734;--border: #2a2e3c;--border2: #3d4354;--ink: #edeff5;--ink2: #c9cdd8;--muted: #9ba1b0;--faint: #676d7c;--purple: #7c6fff;--purple2: #8b7fff;--purple-soft: #191a33;--mint: #4fe0b4;--mint-soft: #10261f;--coral: #ff6b7a;--coral-soft: #2a1419;--amber: #f5b454;--amber-soft: #2a2110;--display: "Space Grotesk", "Helvetica Neue", sans-serif;--sans: "Hanken Grotesk", "Helvetica Neue", sans-serif;--mono: "JetBrains Mono", Menlo, monospace;--radius: 14px;--wrap: 1160px}*{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;background:var(--bg);color:var(--ink2);font:17px/1.6 var(--sans);-webkit-font-smoothing:antialiased}a{color:var(--purple2);text-decoration:none}a:hover{color:var(--ink)}h1,h2,h3,h4{font-family:var(--display);color:var(--ink);line-height:1.12;margin:0 0 .5em;letter-spacing:-.02em}h1{font-size:clamp(2.4rem,5.4vw,4.3rem);font-weight:700}h2{font-size:clamp(1.8rem,3.4vw,2.7rem);font-weight:650}h3{font-size:1.3rem;font-weight:600}p{margin:0 0 1em}code,pre,kbd{font-family:var(--mono)}code{font-size:.88em;background:var(--panel2);border:1px solid var(--border);border-radius:6px;padding:.08em .38em;color:var(--ink)}pre{margin:0}.wrap{width:min(var(--wrap),100% - 40px);margin:0 auto}.section{padding:96px 0;position:relative}.section.tight{padding:64px 0}.eyebrow{font:600 .82rem/1 var(--mono);text-transform:uppercase;letter-spacing:.14em;color:var(--mint);margin-bottom:18px;display:inline-flex;gap:10px;align-items:center}.eyebrow:before{content:"";width:22px;height:2px;background:var(--mint);border-radius:2px}.lead{font-size:1.22rem;color:var(--ink2);max-width:720px}.muted{color:var(--muted)}.faint{color:var(--faint)}.center{text-align:center}.center .lead{margin-left:auto;margin-right:auto}.grid2{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:24px}.grid3{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:22px}.grid4{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:20px}@media(max-width:900px){.grid2,.grid3,.grid4{grid-template-columns:1fr}.section{padding:64px 0}}.btn{display:inline-flex;align-items:center;gap:10px;border-radius:999px;padding:13px 24px;font:600 1rem/1 var(--sans);border:1px solid transparent;cursor:pointer;transition:transform .15s,background .15s,border-color .15s}.btn:hover{transform:translateY(-1px)}.btn.primary{background:var(--purple);color:#fff;box-shadow:0 8px 30px -10px #7c6fffb3}.btn.primary:hover{background:var(--purple2);color:#fff}.btn.ghost{background:transparent;border-color:var(--border2);color:var(--ink)}.btn.ghost:hover{border-color:var(--ink2)}.btn.small{padding:9px 16px;font-size:.92rem}.btn:disabled{opacity:.5;cursor:not-allowed;transform:none}.row{display:flex;gap:14px;flex-wrap:wrap;align-items:center}.badge{display:inline-flex;align-items:center;gap:7px;font:600 .78rem/1 var(--mono);padding:6px 10px;border-radius:999px;border:1px solid;white-space:nowrap}.badge.proved{color:var(--mint);background:var(--mint-soft);border-color:#1d5a47}.badge.changed{color:var(--coral);background:var(--coral-soft);border-color:#6b2a33}.badge.unverified{color:var(--amber);background:var(--amber-soft);border-color:#6b5222}.badge.neutral{color:var(--ink2);background:var(--panel2);border-color:var(--border2)}.card{background:linear-gradient(180deg,var(--panel),var(--bg2));border:1px solid var(--border);border-radius:var(--radius);padding:26px}.card.hover{transition:border-color .2s,transform .2s;cursor:pointer}.card.hover:hover{border-color:var(--purple);transform:translateY(-2px)}.card h3{margin-bottom:.4em}.icon{width:42px;height:42px;border-radius:12px;display:grid;place-items:center;background:var(--purple-soft);color:var(--purple2);font:700 1.05rem var(--mono);margin-bottom:16px;border:1px solid #2f2b66}.nav{position:sticky;top:0;z-index:50;-webkit-backdrop-filter:blur(14px);backdrop-filter:blur(14px);background:#0b0c12c7;border-bottom:1px solid rgba(42,46,60,.6)}.nav .wrap{display:flex;align-items:center;justify-content:space-between;height:68px}.brand{display:flex;align-items:center;gap:10px;font:700 1.38rem var(--display);color:var(--ink);letter-spacing:-.03em}.brand:hover{color:var(--ink)}.brand svg{width:30px;height:30px}.wordmark span{background:linear-gradient(90deg,var(--purple2),var(--mint));-webkit-background-clip:text;background-clip:text;color:transparent}.navlinks{display:flex;gap:6px;align-items:center}.navlinks a{color:var(--muted);padding:8px 13px;border-radius:8px;font-weight:500;font-size:.97rem}.navlinks a:hover,.navlinks a.active{color:var(--ink);background:var(--panel)}.menu-btn{display:none;background:none;border:1px solid var(--border2);color:var(--ink);border-radius:8px;padding:6px 10px;font-size:1rem}@media(max-width:900px){.menu-btn{display:block}.navlinks{display:none;position:absolute;top:68px;left:0;right:0;flex-direction:column;background:var(--bg);border-bottom:1px solid var(--border);padding:10px 20px 18px;align-items:stretch}.navlinks.open{display:flex}}.hero{padding:84px 0 70px;position:relative;overflow:hidden}.hero:before{content:"";position:absolute;inset:-30% -10% auto;height:760px;background:radial-gradient(closest-side,rgba(124,111,255,.24),transparent 70%),radial-gradient(closest-side at 70% 60%,rgba(79,224,180,.12),transparent 70%);pointer-events:none}.hero:after{content:"";position:absolute;top:0;right:0;bottom:0;left:0;background-image:linear-gradient(rgba(255,255,255,.025) 1px,transparent 1px),linear-gradient(90deg,rgba(255,255,255,.025) 1px,transparent 1px);background-size:46px 46px;-webkit-mask-image:linear-gradient(180deg,#000 0%,transparent 85%);mask-image:linear-gradient(180deg,#000 0%,transparent 85%);pointer-events:none}.hero .wrap{position:relative;z-index:1}.hero-grid{display:grid;grid-template-columns:1.05fr 1fr;gap:54px;align-items:center}@media(max-width:1000px){.hero-grid{grid-template-columns:1fr}}.hero h1 em{font-style:normal;background:linear-gradient(90deg,var(--mint),var(--purple2));-webkit-background-clip:text;background-clip:text;color:transparent}.trust{margin-top:26px;display:flex;gap:18px;flex-wrap:wrap;color:var(--faint);font:500 .88rem var(--mono)}.trust span:before{content:"✓ ";color:var(--mint)}.video{position:relative;border-radius:18px;overflow:hidden;border:1px solid var(--border2);background:#000;aspect-ratio:16 / 9;box-shadow:0 30px 80px -30px #000c,0 0 0 1px #7c6fff26}.video video,.video img{width:100%;height:100%;object-fit:cover;display:block}.video .play{position:absolute;top:0;right:0;bottom:0;left:0;display:grid;place-items:center;background:linear-gradient(180deg,#0000 40%,#0000008c);cursor:pointer;border:0;width:100%}.video .play span{width:78px;height:78px;border-radius:50%;background:#7c6fffeb;display:grid;place-items:center;box-shadow:0 10px 40px #7c6fff99;transition:transform .2s}.video .play:hover span{transform:scale(1.07)}.video .play svg{width:28px;height:28px;margin-left:4px}.video .label{position:absolute;left:18px;bottom:16px;color:#fff;font:600 .92rem var(--sans);text-shadow:0 1px 6px #000}.video .soon{position:absolute;top:0;right:0;bottom:0;left:0;display:grid;place-items:center;color:var(--muted);font:500 1rem var(--mono);background:radial-gradient(closest-side,var(--purple-soft),var(--bg))}.stats{display:grid;grid-template-columns:repeat(4,1fr);border:1px solid var(--border);border-radius:18px;overflow:hidden;background:var(--bg2)}.stat{padding:30px 26px;border-right:1px solid var(--border)}.stat:last-child{border-right:0}.stat b{display:block;font:700 2.6rem/1 var(--display);color:var(--ink);margin-bottom:10px;letter-spacing:-.03em}.stat b.mint{color:var(--mint)}.stat span{color:var(--muted);font-size:.96rem}@media(max-width:900px){.stats{grid-template-columns:1fr 1fr}.stat:nth-child(2){border-right:0}.stat{border-bottom:1px solid var(--border)}}.code{background:#090a0f;border:1px solid var(--border);border-radius:12px;overflow:auto;font:13.5px/1.62 var(--mono);color:var(--ink2)}.code .bar{display:flex;justify-content:space-between;align-items:center;gap:16px;padding:9px 14px;border-bottom:1px solid var(--border);background:var(--panel);font:500 .8rem var(--mono);color:var(--muted);position:sticky;left:0}.code pre{padding:14px 16px;white-space:pre}.code .ln{display:block;padding:0 16px;white-space:pre}.code .add{background:#4fe0b417;color:#b8f5df}.code .del{background:#ff6b7a17;color:#ffc2c8}.code .hunk{color:var(--purple2);background:#7c6fff12}.tok-k{color:#c49bff}.tok-n{color:#f5b454}.tok-c{color:#6c7386;font-style:italic}.tok-s{color:#8fe3b8}.tok-f{color:#79b8ff}details.fold{border:1px solid var(--border);border-radius:12px;background:var(--bg2)}details.fold>summary{cursor:pointer;padding:13px 16px;color:var(--ink2);font-weight:600;list-style:none;display:flex;justify-content:space-between}details.fold>summary:after{content:"+";color:var(--muted);font-family:var(--mono)}details.fold[open]>summary:after{content:"−"}details.fold>div{padding:0 14px 14px}.cert{border:1px solid var(--border2);border-radius:14px;background:var(--panel);overflow:hidden}.cert .head{display:flex;gap:12px;align-items:center;padding:14px 18px;border-bottom:1px solid var(--border);background:var(--panel2)}.cert .avatar{width:30px;height:30px;border-radius:8px;background:var(--bg);border:1px solid var(--purple);display:grid;place-items:center}.cert .body{padding:18px}.cert table{width:100%;border-collapse:collapse;font-size:.93rem;margin:6px 0 12px}.cert th,.cert td{text-align:left;padding:9px 10px;border-bottom:1px solid var(--border);vertical-align:top}.cert th{color:var(--muted);font-weight:600;font-size:.82rem;text-transform:uppercase;letter-spacing:.06em}.verdict{font:700 1.05rem var(--display);color:var(--ink)}.callout{border-radius:12px;padding:16px 18px;border:1px solid;margin:10px 0}.callout.bad{border-color:#6b2a33;background:var(--coral-soft);color:#ffd9dd}.callout.good{border-color:#1d5a47;background:var(--mint-soft);color:#c9f6e6}.callout.info{border-color:#2f2b66;background:var(--purple-soft);color:var(--ink2)}.kv{display:grid;grid-template-columns:auto 1fr;gap:6px 16px;font:.9rem var(--mono)}.kv b{color:var(--muted);font-weight:500}.table{width:100%;border-collapse:collapse;font-size:.97rem}.table th,.table td{padding:14px;border-bottom:1px solid var(--border);text-align:left}.table th{color:var(--muted);font:600 .8rem var(--mono);text-transform:uppercase;letter-spacing:.08em}.table tr.us td{background:#7c6fff12;color:var(--ink)}.table td.num{font:600 1rem var(--mono)}.yes{color:var(--mint);font-weight:700}.no{color:var(--faint)}.tablewrap{overflow-x:auto;border:1px solid var(--border);border-radius:14px;background:var(--bg2)}.steps{counter-reset:s;display:grid;gap:18px}.step{display:grid;grid-template-columns:54px 1fr;gap:18px;align-items:start}.step:before{counter-increment:s;content:counter(s);width:44px;height:44px;border-radius:12px;display:grid;place-items:center;font:700 1.1rem var(--mono);color:var(--mint);background:var(--mint-soft);border:1px solid #1d5a47}.step h3{margin:6px 0 4px;font-size:1.12rem}.form{display:grid;gap:14px}.form label{display:grid;gap:6px;font-size:.9rem;color:var(--muted);font-weight:500}.form input,.form textarea,.form select{background:var(--bg2);border:1px solid var(--border2);border-radius:10px;padding:12px 14px;color:var(--ink);font:1rem var(--sans);outline:none}.form textarea{min-height:120px;resize:vertical}.form input:focus,.form textarea:focus,.form select:focus{border-color:var(--purple);box-shadow:0 0 0 3px #7c6fff2e}.form .hp{position:absolute;left:-9999px}.editor{width:100%;min-height:300px;background:#090a0f;color:var(--ink);border:1px solid var(--border2);border-radius:12px;padding:14px 16px;font:13.5px/1.6 var(--mono);resize:vertical;outline:none;-moz-tab-size:4;tab-size:4}.editor:focus{border-color:var(--purple)}.ok{color:var(--mint)}.err{color:var(--coral)}.tabs{display:inline-flex;gap:4px;padding:4px;border:1px solid var(--border);border-radius:999px;background:var(--bg2);margin-bottom:28px}.tabs button{background:none;border:0;color:var(--muted);padding:10px 20px;border-radius:999px;font:600 .96rem var(--sans);cursor:pointer}.tabs button.on{background:var(--panel2);color:var(--ink);box-shadow:inset 0 0 0 1px var(--border2)}.docs{display:grid;grid-template-columns:230px 1fr;gap:54px;padding:56px 0 96px}.docs nav{position:sticky;top:92px;align-self:start;display:grid;gap:2px}.docs nav a{color:var(--muted);padding:7px 12px;border-radius:8px;font-size:.95rem}.docs nav a:hover{background:var(--panel);color:var(--ink)}.docs article h2{font-size:1.7rem;margin-top:2.2em;padding-top:10px}.docs article h2:first-child{margin-top:0}.docs article h3{margin-top:1.6em}.docs article ul{padding-left:1.2em}.docs article li{margin:.3em 0}@media(max-width:900px){.docs{grid-template-columns:1fr}.docs nav{position:static}}.footer{border-top:1px solid var(--border);padding:54px 0 40px;margin-top:40px;background:var(--bg2)}.footer .cols{display:grid;grid-template-columns:1.4fr repeat(3,1fr);gap:30px}.footer h4{font:600 .8rem var(--mono);text-transform:uppercase;letter-spacing:.1em;color:var(--muted);margin-bottom:14px}.footer a{display:block;color:var(--ink2);padding:4px 0;font-size:.95rem}.footer a.brand{display:flex;color:var(--ink);font-size:1.38rem}@media(max-width:900px){.footer .cols{grid-template-columns:1fr 1fr}}.cta{border:1px solid var(--border2);border-radius:22px;padding:56px;background:radial-gradient(closest-side at 20% 0%,rgba(124,111,255,.22),transparent),radial-gradient(closest-side at 90% 100%,rgba(79,224,180,.12),transparent),var(--panel)}.split{display:grid;grid-template-columns:1fr 1fr;gap:40px;align-items:center}@media(max-width:900px){.split{grid-template-columns:1fr}.cta{padding:32px}}.pill{display:inline-block;padding:4px 10px;border-radius:999px;font:500 .8rem var(--mono);background:var(--panel2);border:1px solid var(--border);color:var(--muted)}.spinner{width:16px;height:16px;border:2px solid var(--border2);border-top-color:var(--purple2);border-radius:50%;animation:spin .8s linear infinite;display:inline-block;vertical-align:-3px}@keyframes spin{to{transform:rotate(360deg)}}.fade-in{animation:fade .5s ease both}@keyframes fade{0%{opacity:0;transform:translateY(8px)}to{opacity:1;transform:none}}.events{font:12.5px/1.7 var(--mono);color:var(--muted);max-height:220px;overflow:auto;background:#090a0f;border:1px solid var(--border);border-radius:10px;padding:10px 14px}