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,.coverage-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}.coverage-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)}.coverage-row{display:grid;grid-template-columns:140px 1fr 260px;align-items:center;gap:35px;padding:25px 0;border-bottom:1px solid var(--line)}.coverage-layer{font-size:12px;font-weight:600;color:var(--blue)}.coverage-component h3{font:600 20px var(--display);letter-spacing:-.025em;margin:0 0 6px}.coverage-component p{font-size:12px;color:var(--muted);margin:0 0 6px}.coverage-component>span{font:9px/1.7 var(--mono);color:var(--muted)}.coverage-outcome{text-align:right}.coverage-outcome small{display:block;font-size:10px;color:var(--muted);margin-top:8px}.coverage-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}@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}.coverage-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,.coverage-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}.coverage-row{grid-template-columns:70px 1fr 150px}.coverage-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,.coverage-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)}.coverage-row{grid-template-columns:1fr;gap:12px;padding:23px 0}.coverage-layer{font-size:10px}.coverage-component h3{font-size:21px}.coverage-component p{font-size:12px}.coverage-outcome{text-align:left;display:flex;align-items:center;justify-content:space-between;gap:20px}.coverage-outcome small{max-width:180px;text-align:right;font-size:9px;margin:0}.coverage-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}}

/* A busy workload around a deliberately calm, continuously serving host. */
.signal-toolbar{display:flex;align-items:center;justify-content:space-between;padding-right:18px;gap:12px}
.signal-toolbar .layer-controls{margin-right:0;flex-shrink:0}
.motion-toggle{display:inline-flex;align-items:center;justify-content:center;gap:5px;min-height:44px;min-width:70px;padding:6px;border:0;border-radius:4px;background:transparent;color:var(--muted);font-size:10px}
.motion-toggle:hover{background:#dce5ff;color:var(--ink)}
.motion-toggle svg{width:16px;height:16px;fill:none;stroke:currentColor;stroke-width:1.6}
.motion-toggle .play-icon{display:none}
.signal-panel[data-paused="true"] .pause-icon{display:none}
.signal-panel[data-paused="true"] .play-icon{display:block}
.signal-diagram{margin-top:0;overflow:hidden}
.traffic-heading{font:500 13px var(--sans);fill:var(--muted)}
.traffic-tracks{stroke:#ccd8f5;stroke-width:1}
.traffic-tracks .traffic-arrow{stroke:#9aaedc;stroke-width:1.5}
.host-boundary{fill:#e0e9ff;stroke:#b0c2f5;stroke-width:1}
.host-guard{fill:none;stroke:var(--blue);stroke-width:3}
.signal-panel[data-ready="true"] .static-requests,.signal-panel[data-ready="true"] .static-threats{display:none}
.static-requests{stroke:var(--blue);stroke-width:9;stroke-linecap:round}
.static-threats{fill:#c65332}
.request-packet{fill:var(--blue)}
.request-tail{stroke:var(--blue);stroke-width:2;opacity:.28}
.threat-packet{fill:#c65332}
.threat-tail{stroke:#c65332;stroke-width:2;opacity:.35}
.traffic-impact{fill:none;stroke:#c65332;stroke-width:2;stroke-linecap:round}
.server-case{fill:var(--ink);stroke:#15213d;stroke-width:1}
.server-title{font:600 12px var(--sans);letter-spacing:1.5px;fill:#fff}
.server-detail{stroke:#3c4b6b;stroke-width:1}
.server-slots{stroke:#8193b9;stroke-width:3;stroke-linecap:round}
.server-leds{fill:#8fe4b7}
.server-activity{stroke:#8fe4b7;stroke-width:2;opacity:.65}
.guard-signature rect{fill:var(--blue)}
.guard-signature path{fill:none;stroke:white;stroke-width:2;stroke-linecap:round;stroke-linejoin:round}
.guard-signature text{font:600 12px var(--sans);fill:white}
.guard-label{font:600 10px var(--sans);letter-spacing:.7px;fill:var(--blue)}
.response-labels{font:500 11px var(--mono);fill:var(--blue);text-anchor:middle}
.blocked-label{font:500 12px var(--sans);fill:#aa4227}
.blocked-label path{stroke:#aa4227;stroke-width:2;stroke-linecap:round}
.traffic-status{display:flex;align-items:center;justify-content:space-between;gap:12px;padding:13px 24px 18px;font-size:10px}
.service-status{display:inline-flex;align-items:center;gap:7px;font-weight:600;color:var(--success);white-space:nowrap}
.service-status>span{width:6px;height:6px;border-radius:50%;background:currentColor}
.traffic-legend{display:flex;gap:14px;color:var(--muted);font-size:9px}
.traffic-legend>span{display:inline-flex;align-items:center;gap:5px;white-space:nowrap}
.request-key::before{content:'';width:12px;height:4px;background:var(--blue);border-radius:2px}
.threat-key::before{content:'';width:6px;height:6px;background:#c65332;transform:rotate(45deg)}
.signal-panel[data-motion="running"] .server-activity{animation:server-activity .7s steps(2,end) infinite}
@keyframes server-activity{50%{opacity:.25}}
@media(max-width:1100px) and (min-width:851px){.traffic-status{align-items:flex-start;flex-direction:column;gap:8px}}
@media(max-width:600px){.signal-toolbar{padding-right:10px;gap:8px}.signal-name{font-size:12px}.schematic-label{font-size:9px}.traffic-status{padding:12px 16px 16px;flex-wrap:wrap;gap:9px 14px}.traffic-heading{font-size:17px}.guard-label{font-size:13px;letter-spacing:.3px}.response-labels{font-size:14px}.blocked-label{font-size:16px}.server-title{font-size:15px}.guard-signature text{font-size:14px}.traffic-legend{font-size:9px}}
@media(max-width:380px){.motion-toggle{min-width:44px;flex-shrink:0}.motion-toggle span{display:none}.signal-panel-head{gap:8px}}

.site-footer{flex-wrap:wrap}.site-footer>div{flex-wrap:wrap;row-gap:12px}.site-footer .legal-links{font-size:12px}
.closing .start-note{margin-top:12px}.closing .start-note a{color:inherit}