:root{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--ink:#f5f3f8;--muted:#9a96aa;--dim:#686477;--night:#090815;--night-soft:#0e0c1d;--panel:#121022;--panel-2:#17142a;--line:#beb3e029;--line-strong:#beb3e04a;--mint:#82f0d2;--violet:#aa8dff;--cream:#f4e6a4;--plum:#c5a8ff;--danger:#ff8d7a;--sans:"Aptos", "Inter", "Segoe UI", sans-serif;--display:"Aptos Display", "Inter", "Segoe UI", sans-serif;--mono:"Cascadia Mono", "SFMono-Regular", "Consolas", monospace}*{box-sizing:border-box}html{scroll-behavior:smooth;background:var(--night)}body{min-width:320px;color:var(--ink);background:radial-gradient(circle at 72% -12%, #754cd026, transparent 31rem), var(--night);font-family:var(--sans);-webkit-font-smoothing:antialiased;margin:0}body:before{z-index:-1;content:"";pointer-events:none;opacity:.27;background-image:linear-gradient(#ffffff05 1px,#0000 1px),linear-gradient(90deg,#ffffff05 1px,#0000 1px);background-size:48px 48px;position:fixed;inset:0;-webkit-mask-image:linear-gradient(#000,#0000 72%);mask-image:linear-gradient(#000,#0000 72%)}a{color:inherit;text-decoration:none}button,a{-webkit-tap-highlight-color:transparent}button{color:inherit;font:inherit}button:focus-visible,a:focus-visible{outline:2px solid var(--mint);outline-offset:4px}::selection{color:var(--night);background:var(--mint)}.shell{width:min(1340px,100% - 64px);margin-inline:auto}.site-header{z-index:20;border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;width:min(1480px,100% - 48px);min-height:76px;margin-inline:auto;display:flex;position:relative}.brand{color:#d9d4e6;font:600 10px/1 var(--mono);letter-spacing:.19em;align-items:center;gap:12px;display:inline-flex}.brand-mark{width:25px;height:25px;color:var(--night);background:var(--mint);font:800 13px/1 var(--mono);border-radius:3px;place-items:center;display:grid;box-shadow:0 0 22px #82f0d22e}nav{align-items:center;gap:30px;display:flex}nav a{color:#8f8a9f;font:500 9px/1 var(--mono);letter-spacing:.14em;text-transform:uppercase;transition:color .18s}nav a:hover{color:var(--ink)}nav .nav-cta{color:var(--mint);border:1px solid #82f0d25c;padding:11px 15px}.hero{grid-template-columns:minmax(0,.9fr) minmax(510px,1.1fr);align-items:center;gap:56px;min-height:790px;padding-block:92px 84px;display:grid}.hero-copy{z-index:3;max-width:670px;position:relative}.eyebrow,.section-index,.lab-label{color:var(--mint);font:600 10px/1.3 var(--mono);letter-spacing:.16em;text-transform:uppercase;margin:0}.eyebrow{align-items:center;gap:10px;margin-bottom:24px;display:flex}.eyebrow span{background:var(--mint);border-radius:50%;width:7px;height:7px;box-shadow:0 0 16px #82f0d29e}h1,h2,h3,h4,p{margin-top:0}h1{font:520 clamp(4.1rem, 7.3vw, 7.5rem) / .87 var(--display);letter-spacing:-.072em;margin-bottom:28px}h1 em{color:var(--violet);font-style:normal}.lede{color:#aaa5b7;max-width:58ch;margin-bottom:34px;font-size:1.08rem;line-height:1.7}.hero-actions,.cta-actions{flex-wrap:wrap;gap:12px;display:flex}.button{border:1px solid var(--line-strong);min-height:48px;font:700 9px/1 var(--mono);letter-spacing:.12em;text-transform:uppercase;justify-content:center;align-items:center;gap:20px;padding:0 18px;transition:color .18s,background .18s,border-color .18s,transform .18s;display:inline-flex}.button:hover{transform:translateY(-2px)}.button.primary{color:#090815;background:var(--mint);border-color:var(--mint)}.button.primary:hover{background:#a2f6df}.button.quiet{color:#aaa5b7;background:#0f0d1dad}.button.quiet:hover{color:var(--ink);border-color:var(--violet)}.hero-facts{color:#6f6a7e;font:500 9px/1.5 var(--mono);letter-spacing:.08em;text-transform:uppercase;flex-wrap:wrap;gap:6px 22px;margin-top:26px;display:flex}.hero-facts b{color:var(--cream);font-weight:700}.proof-orbit{aspect-ratio:1;justify-self:end;width:min(680px,100%);position:relative}.proof-orbit svg{width:100%;height:100%;overflow:visible}.orbit,.proof-thread{fill:none;stroke:var(--line);stroke-width:1px}.orbit-b{stroke-dasharray:3 8}.proof-flow{fill:none;stroke:url(#proof-ring);stroke-width:2.2px;stroke-linecap:round;stroke-dasharray:140 1430;filter:drop-shadow(0 0 6px #aa8dff52);animation:8s linear infinite orbit-flow}.proof-thread{opacity:.64;stroke-dasharray:3 7;animation:9s linear infinite thread-flow}.thread-b{animation-duration:12s;animation-direction:reverse}@keyframes orbit-flow{to{stroke-dashoffset:-1570px}}@keyframes thread-flow{to{stroke-dashoffset:-110px}}.proof-core,.proof-node{border:1px solid var(--line-strong);-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);background:#0d0b1beb;flex-direction:column;display:flex;position:absolute;box-shadow:0 18px 70px #0003}.proof-core{text-align:center;border-color:#82f0d273;justify-content:center;align-items:center;width:176px;min-height:176px;padding:24px;inset:50% auto auto 50%;transform:translate(-50%,-50%);box-shadow:0 0 0 12px #82f0d205,0 24px 80px #00000059}.proof-core small,.proof-node small{color:var(--mint);font:600 8px/1 var(--mono);letter-spacing:.15em}.proof-core strong{color:var(--mint);font:650 21px/1.07 var(--mono);margin-block:14px 11px}.proof-core span,.proof-node span{color:#706b7e;font:500 8px/1.3 var(--mono)}.proof-node{justify-content:center;width:190px;min-height:102px;padding:18px}.proof-node strong{color:#e8e4ee;margin-block:9px 5px;font-size:.94rem}.proof-node.obligation{border-top-color:var(--violet);top:11%;left:7%}.proof-node.template{border-top-color:var(--cream);top:13%;right:1%}.proof-node.receipt{border-top-color:var(--mint);bottom:9%;right:7%}.thesis{border-top:1px solid var(--line);grid-template-columns:minmax(160px,.38fr) minmax(0,1fr);align-items:start;gap:72px;min-height:440px;padding-block:105px;display:grid}.thesis h2,.section-head h2,.boundary-section h2,.cta h2{font:520 clamp(2.6rem, 4.5vw, 5.2rem) / .95 var(--display);letter-spacing:-.056em;margin-bottom:32px}.thesis>div>p{max-width:760px;color:var(--muted);font-size:1.04rem;line-height:1.75}.proof-section{border-block:1px solid var(--line);background-color:#0c0a19c7;background-image:linear-gradient(#82f0d205 1px,#0000 1px),linear-gradient(90deg,#82f0d205 1px,#0000 1px),none;background-position:0 0,0 0,0 0;background-repeat:repeat,repeat,repeat;background-size:32px 32px;background-attachment:scroll,scroll,scroll;background-origin:padding-box,padding-box,padding-box;background-clip:border-box,border-box,border-box;padding-block:112px 120px}.section-head{grid-template-columns:minmax(0,1fr) minmax(280px,.42fr);align-items:end;gap:64px;margin-bottom:50px;display:grid}.section-head h2{margin-block:20px 0}.section-head>p{color:var(--muted);margin-bottom:4px;font-size:1rem;line-height:1.72}.manifest-chip{border:1px solid var(--line);background:#0807129e;flex-direction:column;gap:10px;padding:18px 20px;display:flex}.manifest-chip span{color:#736e82;font:600 9px/1 var(--mono);letter-spacing:.14em}.manifest-chip code{color:var(--cream);font:500 12px/1.4 var(--mono)}.proof-lab{border:1px solid var(--line-strong);background:#080712d4;overflow:hidden;box-shadow:0 35px 100px #0000003b}.obligation-picker{border-bottom:1px solid var(--line);grid-template-columns:minmax(180px,.34fr) minmax(0,1fr);align-items:center;gap:24px;padding:24px;display:grid}.picker-copy p{color:#878294;margin:8px 0 0;font-size:.92rem}.receipt-tabs{grid-template-columns:repeat(5,minmax(0,1fr));display:grid}.receipt-tabs button{cursor:pointer;color:#777283;border:1px solid var(--line);min-height:58px;font:600 9px/1.35 var(--mono);background:0 0;border-right-width:0;padding:9px 12px;transition:color .18s,background .18s,border-color .18s}.receipt-tabs button:last-child{border-right-width:1px}.receipt-tabs button:hover{color:var(--ink)}.receipt-tabs button.active{z-index:1;color:var(--night);border-color:var(--mint);background:var(--mint);position:relative}.lab-summary{border-bottom:1px solid var(--line);justify-content:space-between;align-items:flex-start;gap:36px;min-height:178px;padding:30px;display:flex}.lab-summary h3{font:560 clamp(1.65rem, 2.8vw, 2.65rem) / 1 var(--display);letter-spacing:-.04em;margin-block:11px 10px}.lab-summary p{color:#9691a3;max-width:680px;margin-bottom:0;line-height:1.6}.run-button{cursor:pointer;min-height:44px;color:var(--mint);font:650 9px/1 var(--mono);letter-spacing:.1em;text-transform:uppercase;background:#82f0d209;border:1px solid #82f0d259;flex:none;align-items:center;gap:10px;padding:0 16px;display:inline-flex}.run-button:disabled{cursor:progress;opacity:.55}.run-dot{background:var(--mint);border-radius:50%;width:6px;height:6px;box-shadow:0 0 10px #82f0d2cc}.proof-track{grid-template-columns:repeat(5,minmax(0,1fr));gap:8px;padding:0 22px 28px;display:grid}.proof-step{border:1px solid var(--line);background:#1210229e;min-height:196px;margin:0;padding:22px 18px 18px;transition:border-color .18s,transform .18s,box-shadow .18s;position:relative;overflow:hidden}.proof-step:before{content:"";opacity:0;background:var(--mint);width:2px;transition:opacity .18s;position:absolute;inset:0 auto 0 0}.proof-step.active{z-index:2;border-color:#aa8dff99;transform:translateY(-4px);box-shadow:0 18px 45px #00000038}.proof-step[data-verdict=PASS]{border-color:#82f0d257}.proof-step[data-verdict=PASS]:before{opacity:1}.step-order{color:#5f5a6c;font:600 10px/1 var(--mono);margin-bottom:28px}.proof-step>p{color:#777183;font:650 8px/1 var(--mono);letter-spacing:.12em;margin-bottom:8px}.proof-step h4{min-height:38px;font:600 .94rem/1.25 var(--sans);margin-bottom:18px}.step-verdict{color:#6e697a;font:700 12px/1 var(--mono)}.proof-step[data-verdict=PASS] .step-verdict{color:var(--mint)}.step-metric{color:#5f5a6c;font:500 8px/1.3 var(--mono);margin-top:8px;display:block}.receipt-panel{border:1px solid var(--line);background:#070611;margin:0 22px}.receipt-head{color:#686274;border-bottom:1px solid var(--line);min-height:46px;font:600 8px/1.4 var(--mono);letter-spacing:.11em;justify-content:space-between;align-items:center;gap:18px;padding-inline:16px;display:flex}.receipt-head span:last-child{color:var(--mint);letter-spacing:0;text-transform:none}.receipt-panel pre{color:#c9c2dc;max-height:330px;font:500 11px/1.65 var(--mono);white-space:pre-wrap;overflow-wrap:anywhere;margin:0;padding:20px;overflow:auto}.replay-boundary{color:#6a6577;font:500 9px/1.55 var(--mono);margin:15px 22px 23px}.contract-section,.stack-section{padding-block:116px}.contract-grid{grid-template-columns:repeat(4,minmax(0,1fr));display:grid}.contract-card{border:1px solid var(--line);background:#0d0b1b8a;border-right-width:0;min-height:340px;padding:27px}.contract-card:last-child{border-right-width:1px}.contract-card>span,.allow-card>span{color:#aa8dff75;font:400 28px/1 var(--mono);margin-bottom:72px;display:block}.contract-card>p:first-of-type,.allow-card>p:first-of-type{color:var(--mint);font:650 8px/1 var(--mono);letter-spacing:.14em;margin-bottom:10px}.contract-card h3,.allow-card h3{font:580 1.42rem/1.05 var(--display);letter-spacing:-.03em;margin-bottom:15px}.contract-card>p:last-child,.allow-card>p:last-of-type{color:#8e899b;margin-bottom:0;font-size:.92rem;line-height:1.64}.allowlist-section{border-block:1px solid var(--line);background:#0c0a19;padding-block:112px}.allowlist-grid{grid-template-columns:repeat(6,minmax(0,1fr));display:grid}.allow-card{border:1px solid var(--line);background:#0f0d1ec2;border-right-width:0;flex-direction:column;grid-column:span 2;min-height:390px;padding:26px;display:flex}.allow-card:nth-child(3),.allow-card:last-child{border-right-width:1px}.allow-card:nth-child(4){grid-column:2/span 2}.allow-card>span{margin-bottom:40px}.allow-card code{color:var(--violet);font:500 10px/1.45 var(--mono);overflow-wrap:anywhere;margin-bottom:18px;display:block}.allow-card a{color:var(--mint);font:650 8px/1 var(--mono);letter-spacing:.12em;text-transform:uppercase;margin-top:auto;padding-top:24px;display:inline-block}.stack-flow{grid-template-columns:.8fr 1.45fr 1fr 1fr;align-items:center;gap:64px;display:grid}.stack-candidate,.stack-node{border:1px solid var(--line-strong);background:#0f0d1ead;flex-direction:column;justify-content:center;min-height:150px;padding:24px;transition:border-color .18s,transform .18s;display:flex;position:relative}.stack-node:hover{border-color:var(--violet);transform:translateY(-3px)}.stack-candidate:after,.stack-fork:after,.stack-flow>.stack-node:not(:last-child):after{content:"";background:linear-gradient(90deg, var(--line-strong), var(--violet));width:64px;height:1px;position:absolute;top:50%;left:calc(100% + 1px)}.stack-candidate:before,.stack-fork:before,.stack-flow>.stack-node:not(:last-child):before{z-index:2;content:"";border-top:1px solid var(--violet);border-right:1px solid var(--violet);width:7px;height:7px;position:absolute;top:calc(50% - 3px);left:calc(100% + 58px);transform:rotate(45deg)}.stack-fork{gap:10px;display:grid;position:relative}.stack-fork .stack-node{min-height:130px}.stack-node.current{box-shadow:inset 3px 0 var(--mint);border-color:#82f0d280}.stack-candidate span,.stack-node span{color:var(--mint);font:650 8px/1 var(--mono);letter-spacing:.13em;margin-bottom:10px}.stack-candidate strong,.stack-node strong{font-size:1.12rem}.stack-node small{color:#767180;font:500 9px/1.4 var(--mono);margin-top:10px}.boundary-section{color:#171126;background:radial-gradient(circle at 78% 32%,#ffffff3d,#0000 31rem),#c8afff;padding-block:108px}.boundary-grid{grid-template-columns:minmax(0,.92fr) minmax(380px,.68fr);gap:88px;display:grid}.boundary-section .section-index{color:#4b386f}.boundary-section h2{margin-block:22px 0}.boundary-section h2 em{color:#594079;font-style:normal}.boundary-copy>p{margin-bottom:34px;font-size:1.03rem;line-height:1.72}.boundary-row{border-top:1px solid #271a3838;grid-template-columns:130px 1fr;align-items:start;gap:24px;padding-block:16px;display:grid}.boundary-row:last-child{border-bottom:1px solid #271a3838}.boundary-row span{color:#533f71;font:700 8px/1.5 var(--mono);letter-spacing:.1em}.boundary-row strong{font-size:.91rem;line-height:1.45}.cta{text-align:center;place-content:center;min-height:620px;padding-block:130px;display:grid}.cta .section-index{margin-bottom:24px}.cta h2{margin-bottom:42px}.cta-actions{justify-content:center}footer{color:#5e596b;border-top:1px solid var(--line);font:500 8px/1 var(--mono);letter-spacing:.12em;justify-content:space-between;gap:20px;padding-block:28px 42px;display:flex}.reveal{opacity:0;transition:opacity .7s,transform .7s;transform:translateY(18px)}.reveal.visible{opacity:1;transform:translateY(0)}@media (max-width:1120px){.hero{grid-template-columns:1fr .88fr;min-height:auto}h1{font-size:clamp(4rem,8vw,6rem)}.proof-node{width:155px}.receipt-tabs{grid-template-columns:repeat(3,minmax(0,1fr));gap:5px}.receipt-tabs button{border-right-width:1px}.proof-track{grid-template-columns:repeat(3,minmax(0,1fr))}.contract-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.contract-card:nth-child(2){border-right-width:1px}.contract-card:nth-child(n+3){border-top-width:0}.allowlist-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.allow-card,.allow-card:nth-child(4){grid-column:auto}.allow-card:nth-child(odd){border-right-width:0}.allow-card:nth-child(2n){border-right-width:1px}.allow-card:nth-child(n+3){border-top-width:0}.allow-card:last-child{border-right-width:1px;grid-column:1/-1}.stack-flow{gap:34px}.stack-candidate:after,.stack-fork:after,.stack-flow>.stack-node:not(:last-child):after{width:34px}.stack-candidate:before,.stack-fork:before,.stack-flow>.stack-node:not(:last-child):before{left:calc(100% + 28px)}}@media (max-width:820px){.shell{width:min(100% - 34px,680px)}.site-header{width:calc(100% - 32px)}nav a:not(.nav-cta){display:none}.hero{grid-template-columns:1fr;gap:42px;padding-block:72px 84px}.hero-copy{max-width:none}.proof-orbit{justify-self:center;width:min(590px,100%)}.thesis,.section-head,.boundary-grid{grid-template-columns:1fr;gap:34px}.thesis{min-height:0;padding-block:88px}.section-head{align-items:start}.proof-section,.contract-section,.allowlist-section,.stack-section{padding-block:90px}.obligation-picker{grid-template-columns:1fr}.lab-summary{flex-direction:column}.run-button{justify-content:center;align-self:stretch}.proof-track{grid-template-columns:repeat(2,minmax(0,1fr))}.stack-flow{grid-template-columns:1fr;gap:28px}.stack-candidate:after,.stack-fork:after,.stack-flow>.stack-node:not(:last-child):after{background:linear-gradient(var(--line-strong), var(--violet));width:1px;height:28px;top:100%;left:50%}.stack-candidate:before,.stack-fork:before,.stack-flow>.stack-node:not(:last-child):before{top:calc(100% + 22px);left:calc(50% - 3px);transform:rotate(135deg)}}@media (max-width:560px){.shell{width:calc(100% - 28px)}.site-header{min-height:62px}.brand{font-size:8px}.brand-mark{width:22px;height:22px}nav .nav-cta{padding:9px 10px;font-size:8px}.hero{padding-top:56px}h1{font-size:clamp(3.15rem,16vw,4.35rem)}.lede{font-size:.98rem}.hero-actions,.cta-actions{grid-template-columns:1fr;display:grid}.button{width:100%}.hero-facts{grid-template-columns:repeat(3,1fr);gap:10px;display:grid}.hero-facts span{flex-direction:column;display:flex}.proof-orbit{margin-top:14px}.proof-core{width:128px;min-height:128px;padding:15px}.proof-core strong{margin-block:10px 8px;font-size:15px}.proof-node{width:130px;min-height:82px;padding:12px}.proof-node strong{margin-block:7px 4px;font-size:.76rem}.proof-node.obligation{top:4%;left:0}.proof-node.template{top:7%;right:0}.proof-node.receipt{bottom:2%;right:1%}.thesis h2,.section-head h2,.boundary-section h2,.cta h2{font-size:clamp(2.35rem,12vw,3.5rem)}.receipt-tabs{scroll-snap-type:x mandatory;padding-bottom:5px;display:flex;overflow-x:auto}.receipt-tabs button{scroll-snap-align:start;min-width:144px}.proof-track,.contract-grid,.allowlist-grid{grid-template-columns:1fr}.proof-track{padding-inline:14px}.proof-step{min-height:168px}.receipt-panel{margin-inline:14px}.receipt-head{flex-direction:column;justify-content:center;align-items:flex-start}.replay-boundary{margin-inline:14px}.contract-card,.contract-card:nth-child(2),.contract-card:nth-child(n+3),.allow-card,.allow-card:nth-child(odd),.allow-card:nth-child(2n),.allow-card:last-child{border:1px solid var(--line);border-bottom-width:0;grid-column:auto;min-height:310px}.contract-card:last-child,.allow-card:last-child{border-bottom-width:1px}.contract-card>span{margin-bottom:45px}.boundary-grid{gap:48px}.boundary-row{grid-template-columns:1fr;gap:7px}.cta{min-height:540px}footer{text-align:center;flex-direction:column}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}