body{background:#fff}.site-nav{max-width:1440px;margin:0 auto;min-height:94px;display:flex;align-items:center;justify-content:space-between;padding:20px 5vw;gap:30px}.site-nav nav{display:flex;align-items:center;gap:30px;margin-left:auto;margin-right:38px}.site-nav nav a,.nav-cta{font-size:12px;text-decoration:none;color:var(--ink);font-weight:500}.site-nav nav a:hover{color:var(--blue)}.nav-cta{display:flex;gap:15px;align-items:center;border-bottom:1px solid var(--ink);padding:8px 0}.hero{max-width:1440px;margin:auto;padding:72px 5vw 65px;display:grid;grid-template-columns:1fr 1.05fr;gap:5%;align-items:center}.hero h1{font:660 clamp(48px,5.2vw,78px)/1.06 var(--display);font-stretch:103%;letter-spacing:-.038em;margin:0 0 28px;text-wrap:balance}.hero h1 span{color:var(--blue)}.hero-copy>p{font-size:15px;line-height:1.8;color:var(--muted);max-width:53ch;margin:0 0 30px}.hero-actions{display:flex;align-items:center;gap:24px;flex-wrap:wrap}.text-link{display:inline-flex;align-items:center;gap:12px;font-size:12px;font-weight:600;color:var(--ink);text-decoration:none;border-bottom:1px solid var(--line);padding:8px 0}.text-link:hover{color:var(--blue);border-color:var(--blue)}.hero-copy>.hero-footnote{font-size:12px;font-weight:600;margin:19px 0 0;color:var(--ink)}.signal-panel{background:var(--ice);border:1px solid #e0e7f9;border-radius:6px;overflow:hidden;position:relative}.signal-panel-head{padding:21px 24px 14px;display:flex;justify-content:space-between;gap:15px;align-items:center}.signal-name{font:600 13px var(--sans)}.schematic-label{font-size:9px;color:var(--muted)}.layer-controls{display:inline-flex;gap:0;margin:0 24px;border:1px solid #ccd7f1;border-radius:4px;overflow:hidden;background:#fff}.layer-button{background:transparent;color:var(--muted);border:0;border-right:1px solid #d8e0f3;min-height:33px;padding:7px 16px;font-size:10px}.layer-button:last-child{border:0}.layer-button:hover{background:#e4ebff}.layer-button.active{background:var(--blue);color:white}.signal-diagram{display:block;width:100%;height:auto;margin-top:5px}.diagram-label{font:9px var(--sans);font-weight:600;letter-spacing:.7px;fill:#4c5e88}.diagram-copy{font:500 12px var(--sans);fill:var(--blue)}.signal-caption{border-top:1px solid #d0daf2;padding:18px 24px 22px;background:#e5edff}.signal-caption strong{font-size:12px;font-weight:600}.signal-caption p{font-size:11px;line-height:1.7;color:#435577;margin:6px 0 10px;max-width:60ch}.signal-caption>span{display:block;font-size:9px;color:#52617e}.live-strip{border-top:1px solid var(--line);border-bottom:1px solid var(--line);max-width:1296px;margin:0 auto;display:flex;align-items:center;gap:24px;padding:18px 0;font-size:11px;color:var(--muted)}.live-indicator{display:flex;align-items:center;gap:8px;color:var(--blue);font-weight:600}.live-indicator::before{content:'';width:6px;height:6px;background:currentColor;border-radius:50%}.live-indicator.offline{color:var(--red)}.live-strip>a{margin-left:auto;display:inline-flex;gap:16px;align-items:center;font-size:11px;font-weight:600;color:var(--ink);text-decoration:none}.live-strip .icon{width:14px;height:14px}.approach-section,.lab-section,.proof-section{max-width:1440px;margin:0 auto;padding:100px 5vw}.section-intro{display:flex;align-items:flex-end;justify-content:space-between;gap:50px;margin-bottom:44px}.section-intro h2,.proof-section h2{font:620 42px/1.14 var(--display);font-stretch:104%;letter-spacing:-.033em;margin:0}.section-intro>p{max-width:42ch;font-size:13px;line-height:1.8;color:var(--muted);margin:0 0 3px}.verification-flow{display:grid;grid-template-columns:repeat(3,1fr);gap:42px;border-top:1px solid var(--line)}.verification-flow article{padding-top:25px}.step-symbol{display:grid;place-items:center;width:28px;height:28px;font:600 12px var(--display);color:var(--blue);background:var(--ice);border-radius:3px;margin-bottom:22px}.verification-flow h3{font:600 19px var(--display);letter-spacing:-.025em;margin:0 0 12px}.verification-flow p{font-size:12px;line-height:1.85;color:var(--muted);max-width:39ch;margin:0}.lab-section{background:var(--bg);max-width:none;padding-left:max(5vw,calc((100vw - 1296px)/2));padding-right:max(5vw,calc((100vw - 1296px)/2))}.layer-table{border-top:1px solid var(--line)}.lab-row{display:grid;grid-template-columns:140px 1fr 260px;align-items:center;gap:35px;padding:25px 0;border-bottom:1px solid var(--line)}.lab-layer{font-size:12px;font-weight:600;color:var(--blue)}.lab-component h3{font:600 20px var(--display);letter-spacing:-.025em;margin:0 0 6px}.lab-component p{font-size:12px;color:var(--muted);margin:0 0 6px}.lab-component>span{font:9px/1.7 var(--mono);color:var(--muted)}.lab-outcome{text-align:right}.lab-outcome small{display:block;font-size:10px;color:var(--muted);margin-top:8px}.lab-scope{font-size:10px;color:var(--muted);line-height:1.8;max-width:85ch;margin:22px 0 0}.proof-section{display:grid;grid-template-columns:1fr 1fr;gap:90px;align-items:center}.proof-section>div>p{font-size:13px;color:var(--muted);line-height:1.85;max-width:49ch;margin:24px 0}.proof-record{border:1px solid var(--line);background:var(--paper);border-radius:5px}.proof-record-head{display:flex;justify-content:space-between;align-items:center;gap:20px;padding:18px 23px;border-bottom:1px solid var(--line);font-size:11px;font-weight:600}.proof-record-head span:last-child{font-size:9px;color:var(--muted);font-weight:400}.proof-record dl{padding:0 23px;margin:0}.proof-record dl>div{display:flex;align-items:center;justify-content:space-between;gap:20px;padding:15px 0;border-bottom:1px solid var(--line);font-size:11px}.proof-record dl>div:last-child{border:0}.proof-record dt{color:var(--muted)}.proof-record dd{margin:0;font-weight:600;font-variant-numeric:tabular-nums}.proof-record>p{font-size:9px;color:var(--muted);padding:13px 23px;margin:0;border-top:1px solid var(--line);background:var(--bg)}.closing{background:var(--blue);color:white;padding:66px max(5vw,calc((100vw - 1296px)/2));display:flex;align-items:center;justify-content:space-between;gap:40px}.closing h2{font:610 46px/1.13 var(--display);font-stretch:104%;letter-spacing:-.035em;margin:0 0 17px}.closing p{font-size:12px;color:#d8e2ff;margin:0}.closing .button{border-color:white;gap:35px;flex-shrink:0}.site-footer{max-width:1440px;margin:auto;padding:35px 5vw;display:flex;align-items:center;gap:28px}.site-footer .wordmark{font-size:19px}.site-footer .brand-symbol{height:27px;width:29px}.site-footer>span{font-size:10px;color:var(--muted)}.site-footer>div{margin-left:auto;display:flex;gap:24px}.site-footer>div a{font-size:10px;color:var(--muted);text-decoration:none}.signal-traveler{animation:carry-signal 6s linear infinite}.signal-panel{--window-offset:0px}.signal-panel[data-layer="library"]{--window-offset:-48px}.signal-panel[data-layer="kernel"]{--window-offset:48px}.intervention-window{transform:translateX(var(--window-offset))}.intervention-window.is-acquiring{animation:acquire-window 1.2s cubic-bezier(.16,1,.3,1) both}@keyframes carry-signal{0%{transform:translateX(-36px)}100%{transform:translateX(470px)}}@keyframes acquire-window{from{transform:translateX(calc(var(--window-offset) + 36px))}to{transform:translateX(var(--window-offset))}}
@media(min-width:1600px){.hero{gap:7%}.hero h1{font-size:82px}.live-strip{max-width:1296px}}@media(max-width:1439px){.live-strip{margin-left:5vw;margin-right:5vw}}@media(max-width:1100px){.site-nav nav{gap:20px;margin-right:15px}.hero{gap:4%;padding-top:46px}.hero h1{font-size:59px}.hero-copy>p{font-size:13px}.hero-actions{gap:13px}.hero-actions .text-link{font-size:11px}.signal-panel-head{padding:18px 18px 13px}.signal-name{font-size:11px}.layer-controls{margin-left:18px}.signal-caption{padding:16px 18px}.signal-caption>span{font-size:9px}.lab-row{grid-template-columns:100px 1fr 210px;gap:20px}.section-intro h2,.proof-section h2{font-size:36px}.proof-section{gap:50px}.closing h2{font-size:40px}}@media(max-width:850px){.site-nav{min-height:82px}.site-nav nav{display:none}.hero{grid-template-columns:1fr;gap:40px;max-width:720px;padding-top:40px;padding-bottom:45px}.hero h1{font-size:72px;max-width:650px}.hero-copy>p{max-width:53ch;font-size:14px}.signal-panel{max-width:640px}.live-strip{flex-wrap:wrap;gap:12px 22px}.live-strip>a{margin-left:auto}.approach-section,.lab-section,.proof-section{padding-top:70px;padding-bottom:70px}.section-intro{gap:30px;align-items:flex-start}.section-intro>p{max-width:35ch;font-size:12px}.verification-flow{gap:24px}.verification-flow p{font-size:11px}.lab-row{grid-template-columns:70px 1fr 150px}.lab-component h3{font-size:18px}.proof-section{gap:35px}.closing{padding-top:50px;padding-bottom:50px}.closing h2{font-size:35px}.closing .button{gap:15px}.site-footer{gap:18px}.site-footer>div{gap:15px}}@media(max-width:600px){.site-nav{padding:19px 22px;gap:20px;min-height:77px}.site-nav .wordmark{font-size:21px}.site-nav .brand-symbol{width:30px;height:30px}.brand-lockup{gap:9px}.nav-cta{font-size:10px;gap:10px}.nav-cta .icon{width:15px;height:15px}.hero{padding:38px 22px 36px;gap:32px}.hero h1{font-size:51px;letter-spacing:-.037em;margin-bottom:24px}.hero-copy>p{font-size:13px;line-height:1.8;margin-bottom:25px}.hero-actions{gap:16px}.hero-actions .button{font-size:12px;gap:17px;padding-left:16px;padding-right:16px}.hero-actions .text-link{font-size:10px}.hero-copy>.hero-footnote{font-size:11px;margin-top:16px}.signal-panel-head{padding:16px 16px 12px}.signal-name{font-size:10px}.schematic-label{font-size:8px}.layer-controls{margin-left:16px}.layer-button{font-size:10px;min-height:40px;padding:8px 14px}.signal-caption{padding:16px}.signal-caption strong{font-size:11px}.signal-caption p{font-size:10px}.signal-caption>span{font-size:9px}.live-strip{margin-left:22px;margin-right:22px;padding:17px 0;font-size:10px;gap:9px 15px}.live-strip>a{width:100%;margin:4px 0 0;font-size:10px;justify-content:space-between}.approach-section,.lab-section,.proof-section{padding:55px 22px}.section-intro{display:block;margin-bottom:30px}.section-intro h2,.proof-section h2{font-size:34px}.section-intro>p{max-width:49ch;margin-top:20px;font-size:12px}.verification-flow{grid-template-columns:1fr;gap:23px}.verification-flow article{display:grid;grid-template-columns:28px 1fr;column-gap:17px;padding-top:23px;border-top:1px solid var(--line)}.verification-flow article:first-child{border-top:0}.step-symbol{grid-row:1/3;margin:0}.verification-flow h3{font-size:18px;margin-bottom:9px}.verification-flow p{max-width:53ch;font-size:11px}.verification-flow{border-top:1px solid var(--line)}.lab-row{grid-template-columns:1fr;gap:12px;padding:23px 0}.lab-layer{font-size:10px}.lab-component h3{font-size:21px}.lab-component p{font-size:12px}.lab-outcome{text-align:left;display:flex;align-items:center;justify-content:space-between;gap:20px}.lab-outcome small{max-width:180px;text-align:right;font-size:9px;margin:0}.lab-scope{font-size:9px}.proof-section{grid-template-columns:1fr;gap:31px}.proof-section>div>p{font-size:12px;margin-top:20px}.proof-record-head{padding:17px}.proof-record dl{padding:0 17px}.proof-record>p{padding:13px 17px}.closing{padding:46px 22px;display:block}.closing h2{font-size:35px}.closing p{font-size:11px}.closing .button{margin-top:26px;width:100%;justify-content:space-between}.site-footer{padding:29px 22px;flex-wrap:wrap;gap:17px}.site-footer>span{margin-left:auto;font-size:9px}.site-footer>div{width:100%;margin:4px 0 0;justify-content:space-between}.site-footer>div a{font-size:10px}}
.proof-section .proof-record>p{max-width:none;margin:0;font-size:9px;line-height:1.8}
@media(max-width:600px){.signal-diagram .diagram-label{font-size:16px;letter-spacing:.3px}.signal-diagram .diagram-copy{font-size:18px}.layer-button,.nav-cta{min-height:44px}}