@font-face{font-family:Inter;src:url(/fonts/inter.woff2) format("woff2");font-weight:100 900;font-display:swap}@font-face{font-family:Cormorant;src:url(/fonts/cormorant.woff2) format("woff2");font-weight:300 700;font-display:swap}:root{--paper:#f3f0e9;--ink:#202622;--muted:#626c61;--line:#d5d8ce;--green:#42654c;--serif:Cormorant,Georgia,serif;--sans:Inter,Arial,sans-serif}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:30px}body{margin:0;background:var(--paper);color:var(--ink);font:15px/1.6 var(--sans);-webkit-font-smoothing:antialiased}a{color:inherit;text-underline-offset:5px}button{font:inherit;color:inherit;cursor:pointer}button,a,summary{touch-action:manipulation}button:disabled{opacity:.35;cursor:default}:focus-visible{outline:3px solid #ab8750;outline-offset:5px}.wrap{width:min(1180px,calc(100% - 100px));margin-inline:auto}.dark{background:#202622;color:#f3f0e9}.header{height:105px;display:flex;justify-content:space-between;align-items:center;border-bottom:1px solid #ffffff20}.wordmark{font:600 38px/1 var(--serif);letter-spacing:-1.3px;text-decoration:none}.header nav{display:flex;gap:35px;font-size:13px}.header nav a{text-decoration:none}.hero{padding-block:65px 65px}h1,h2,h3,p{margin-top:0}h1,h2,h3{font-family:var(--serif);font-weight:500;letter-spacing:-1.5px;line-height:1.04}h1{font-size:clamp(58px,6.2vw,88px);margin-bottom:42px}h1 em{color:#b1bdaa;font-weight:400}.hero-bottom{display:flex;align-items:center;justify-content:space-between;gap:50px}.hero-bottom p{max-width:390px;margin:0;font-size:16px;color:#d6d9cd;line-height:1.7}.button{display:inline-flex;align-items:center;justify-content:space-between;gap:35px;min-height:52px;padding:14px 22px;font-size:13px;text-decoration:none}.primary{background:#202622;color:#f3f0e9}.hero .primary{background:#eeeade;color:#202622}.button:hover{filter:brightness(.92)}.demo{padding-top:66px}.demo-heading{display:flex;justify-content:space-between;align-items:end;gap:25px;margin-bottom:25px}h2{font-size:49px;margin-bottom:15px}.demo-heading>div>p{margin-bottom:0;color:var(--muted);font-size:16px}.demo-label{font-size:10px;max-width:190px;color:var(--muted);margin-bottom:4px}.scenario-picker{display:flex;gap:0;border-bottom:1px solid #b9c1b5}.scenario-picker button{background:transparent;border:0;border-bottom:2px solid transparent;padding:18px 25px;font-size:13px;min-height:58px}.scenario-picker button:first-child{padding-left:0;padding-right:30px}.scenario-picker button[aria-pressed=true]{border-bottom-color:#334d36;font-weight:600}.scenario-picker button:hover{background:#e9eae0}.machine-grid{display:grid;grid-template-columns:1.2fr 1fr;gap:65px;align-items:center;padding-block:22px 26px}.machine-visual{min-width:0}#machine{display:block;width:100%;height:auto;max-height:355px}.svg-label{font:10px Inter,sans-serif;fill:#62765b;letter-spacing:.3px}[data-segment]{opacity:.17;transition:opacity .2s,stroke .2s}[data-segment].active{opacity:1}[data-segment].fault{stroke:#a04431}.replay-controls{display:flex;align-items:center;justify-content:center;gap:15px;margin-top:2px}.replay-controls button{border:1px solid #a6b09e;background:transparent;min-height:40px;min-width:40px;font-size:12px;padding:8px 15px}.replay-controls #play{min-width:160px}.frame-title{text-align:center;margin:13px 0 0;font-size:11px;color:var(--muted)}.result{padding-block:20px}.change{font-size:12px;color:var(--muted);margin-bottom:25px}.status{font:12px/1.5 var(--sans);margin-bottom:15px}.status:before{content:"○";padding-right:7px}.status.proved{color:#346445}.status.proved:before{content:"✓"}.status.disproved{color:#9a3f2b}.status.disproved:before{content:"×"}.status.inapplicable,.status.unresolved,.status.assumption{color:#7b5624}.status.inapplicable:before{content:"↻"}h3{font-size:43px;line-height:1.08;max-width:410px;margin-bottom:22px}.remaining{font-size:12px;color:#756244;margin-bottom:26px}.requirements{font-size:12px;border-top:1px solid var(--line)}summary{cursor:pointer;min-height:44px;padding:13px 0}summary:hover{color:#52704c}.requirements ul{padding-left:18px;line-height:1.8}.requirements p{color:var(--muted);font-size:12px}.evidence{border-block:1px solid #b9c1b5}.evidence>summary{display:flex;align-items:center;gap:13px;list-style:none;min-height:64px;font-size:14px}.evidence>summary::-webkit-details-marker{display:none}.evidence>summary:before{content:"+";font-size:20px}.evidence[open]>summary:before{content:"−"}.evidence>summary>span{margin-left:auto;font-size:11px;color:var(--muted)}.evidence-body{padding:15px 0 30px}.evidence-body>p{font-size:13px;max-width:820px}.claim{border-top:1px solid var(--line)}.claim>summary{display:flex;gap:15px;align-items:baseline;padding-block:17px;list-style:none}.claim>summary::-webkit-details-marker{display:none}.claim>summary:before{content:"+";font-size:17px;min-width:15px}.claim[open]>summary:before{content:"−"}.claim-title{flex:1;font-size:13px;font-weight:500}.claim .status{font-size:11px;margin:0;white-space:nowrap}.claim-body{padding:0 0 15px 30px;font-size:13px;max-width:100%}.claim-body p{font-size:13px;line-height:1.8}.branch-summary{font-size:11px;color:var(--muted);padding-left:30px}.next-action{border-left:2px solid #a4ae97;padding-left:14px}.technical{padding-inline:14px;background:#e9ece2;font-size:12px}pre{white-space:pre-wrap;overflow-wrap:anywhere;overflow:auto;font:11px/1.8 ui-monospace,monospace;max-width:100%}.trace-details{font-size:12px;border-top:1px solid var(--line)}.trace-details p{font-size:13px}.report-tools{display:flex;flex-wrap:wrap;gap:10px 25px;border-top:1px solid var(--line);padding-top:14px}.report-tools a,.report-tools button{min-height:44px;display:inline-flex;align-items:center;font-size:12px;background:transparent;border:0;padding:0;text-decoration:underline;text-underline-offset:5px}#json-panel{background:#e9ece2;padding:20px}#json-content{max-height:440px}.contact{padding-block:70px;display:flex;align-items:center;justify-content:space-between;gap:35px}.contact h2{font-size:45px;max-width:370px;margin:0}.contact p{font-size:11px;margin:13px 0 4px;color:var(--muted)}.email{font-size:12px}footer{padding-block:25px;border-top:1px solid var(--line);display:flex;justify-content:space-between;align-items:center;gap:25px}footer .wordmark{font-size:28px}footer p{font-size:11px;margin:0;color:var(--muted)}.skip{position:fixed;top:-100px;left:20px;background:var(--paper);color:var(--ink);padding:12px;z-index:30}.skip:focus{top:10px}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}@media(max-width:900px){.wrap{width:calc(100% - 60px)}.hero{padding-block:50px}h1{font-size:67px}.machine-grid{gap:30px}.result h3{font-size:36px}.contact h2{font-size:38px}.contact .button{gap:18px;font-size:12px}}@media(max-width:600px){.wrap{width:calc(100% - 40px)}.header{height:78px}.wordmark{font-size:32px}.header nav{font-size:11px;gap:20px}.hero{padding-block:35px 40px}h1{font-size:49px;line-height:1.03;letter-spacing:-1px;margin-bottom:28px}.hero-bottom{display:block}.hero-bottom p{font-size:14px;max-width:300px;margin-bottom:25px}.button{font-size:12px}.hero .button{min-height:46px}.demo{padding-top:38px}.demo-heading{display:block;margin-bottom:18px}h2{font-size:36px}.demo-heading>div>p{font-size:14px}.demo-label{max-width:none;font-size:9px;margin-top:16px}.scenario-picker{display:grid;grid-template-columns:1fr 1fr 1fr}.scenario-picker button,.scenario-picker button:first-child{font-size:10px;line-height:1.5;padding:12px 8px;min-height:58px;text-align:left}.machine-grid{display:flex;flex-direction:column;gap:8px;padding-top:13px;align-items:stretch}.result{padding:20px 0 5px}.change{margin-bottom:16px;font-size:11px}.result h3{font-size:36px;max-width:330px;margin-bottom:15px}.remaining{margin-bottom:20px}.status{font-size:11px;margin-bottom:11px}.frame-title{font-size:10px}.evidence>summary{font-size:13px}.evidence>summary>span{font-size:9px;max-width:142px;line-height:1.4}.claim>summary{flex-wrap:wrap;gap:5px 10px}.claim-title{flex-basis:calc(100% - 25px);font-size:12px}.claim .status{margin-left:25px;font-size:10px}.claim-body{padding-left:13px}.claim-body p{font-size:12px}.branch-summary{font-size:10px;padding-left:25px}.report-tools{gap:0 20px}.report-tools a,.report-tools button{font-size:11px}.contact{padding-block:40px;display:block}.contact h2{font-size:35px;margin-bottom:25px}.contact p{font-size:10px}footer{gap:15px}footer p{font-size:9px;max-width:150px}footer .wordmark{font-size:25px}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*:before,*:after{transition:none!important;animation:none!important}}[data-segment].completed{opacity:1}[data-segment].missing{opacity:.7;stroke:#a04431;stroke-width:2;stroke-dasharray:5 8}#missing-edge-label{fill:#a04431}.status.failed{color:#9a3f2b}.status.failed:before{content:"×"}.contact{justify-content:center;padding-block:90px;text-align:center}.contact p{margin-top:20px}.contact .button{text-align:left}@media(max-width:600px){.contact{padding-block:64px}}.brand-logo{position:relative;display:block;width:234px;height:48px;overflow:hidden;flex-shrink:0}.brand-logo img{position:absolute;width:400px;height:auto;max-width:none;left:-83px;top:-45px}@media(max-width:600px){.brand-logo{width:176px;height:36px}.brand-logo img{width:300px;left:-62px;top:-34px}}