:root{color-scheme:dark;--bg:#070c14;--panel:#0d1420;--border:#263348;--text:#edf3fc;--muted:#9baac0;--blue:#9bc4ff;--green:#83e7bd;--red:#ffa4b3;--mono:"JetBrains Mono",monospace}*{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;background:var(--bg);color:var(--text);font-family:Inter,Arial,sans-serif;-webkit-font-smoothing:antialiased}body:before{content:"";position:absolute;inset:60px 0 auto;height:680px;pointer-events:none;background:radial-gradient(ellipse at 65% 20%,#22436e28,transparent 65%);z-index:-1}a{color:inherit;text-decoration:none}button,select{font:inherit}button,a,select{-webkit-tap-highlight-color:transparent}:where(a,button,select,summary):focus-visible{outline:2px solid #93c5fd;outline-offset:4px}button{cursor:pointer}button:disabled,select:disabled{cursor:wait;opacity:.7}[hidden]{display:none!important}.wrap{width:min(1180px,calc(100% - 48px));margin-inline:auto}.skip-link{position:absolute;left:24px;top:-90px;padding:12px;background:#fff;color:#070c14;z-index:100}.skip-link:focus{top:12px}.demo-header{border-bottom:1px solid #ffffff0d;background:#080e17e6}.demo-nav{height:76px;display:flex;align-items:center;gap:28px}.brand{display:inline-flex;align-items:center;gap:10px;font-weight:700;letter-spacing:-.03em;white-space:nowrap}.brand-icon{display:grid;place-items:center;height:32px;width:32px;border:1px solid #67a8f375;border-radius:9px;background:#16467e;color:#e6f2ff}.nav-links{display:flex;gap:28px;margin-left:auto;color:var(--muted);font-size:13px}.nav-links a{display:flex;min-height:44px;align-items:center}.nav-links a:hover,.text-link:hover{color:#fff}.button{display:inline-flex;justify-content:center;align-items:center;gap:18px;min-height:48px;padding:14px 20px;border:1px solid #e5efff;border-radius:8px;color:#0d1726;background:#edf4ff;font-size:13px;font-weight:600;line-height:1.5}.button:hover{background:#cde1ff}.button-small{padding:10px 15px;min-height:42px;font-size:12px}.button-secondary{border-color:#3b577d;background:#14253b;color:#d8e9ff}.button-secondary:hover{background:#203955}.demo-hero{padding:76px 0 57px;max-width:850px}.eyebrow{font:500 10px/1.6 var(--mono);letter-spacing:.09em;color:var(--blue);margin:0 0 16px}.live-dot{display:inline-block;background:#88baff;width:6px;height:6px;border-radius:50%;margin-right:8px;vertical-align:middle}.demo-hero h1{font-size:clamp(48px,7vw,82px);line-height:1.03;font-weight:600;letter-spacing:-.065em;margin:24px 0}.demo-hero h1 span{color:#8eb9fa}.hero-description{color:#b4c0d2;font-size:17px;line-height:1.8;max-width:680px;margin:0}.hero-meta{display:flex;flex-wrap:wrap;gap:14px 22px;margin-top:27px;color:#8c9cb2;font-size:11px}.hero-meta span+span:before{content:"/";margin-right:22px;color:#3b526e}.evidence-section{padding-top:30px;border-top:1px solid #263348}.section-heading{display:flex;align-items:center;justify-content:space-between;gap:24px}.section-heading .eyebrow{margin-bottom:8px}h2{font-size:clamp(26px,3vw,34px);letter-spacing:-.045em;font-weight:600;line-height:1.2;margin:0}.evidence-source{font:10px var(--mono);color:#8ea3be;white-space:nowrap}.evidence-source span{margin-left:14px}.section-intro{color:var(--muted);font-size:13px;line-height:1.8;max-width:770px;margin:16px 0 28px}.scenario-controls{display:flex;align-items:center;flex-wrap:wrap;gap:10px 16px;padding:16px 20px;background:#101b2a;border:1px solid #2e425c;border-radius:10px 10px 0 0}.scenario-controls label{font-size:11px;font-weight:600;color:#b7c7dd}.scenario-controls select{color:#e2ecfb;background:#0a121e;border:1px solid #3e5779;border-radius:6px;min-height:42px;max-width:100%;padding:10px 36px 10px 12px;font-size:12px}.scenario-controls>a{margin-left:auto;font-size:11px;color:#9fbce2;min-height:40px;display:inline-flex;align-items:center;gap:12px}.scenario-controls>a:hover{color:#fff}.load-status{padding:20px;background:#0d1726;color:#bdcce1;font-size:13px;line-height:1.8;margin:0;border:1px solid #263348;border-top:0}.load-status.is-error{color:#ffd2a5}.scenario-caption{display:flex;align-items:center;justify-content:space-between;gap:24px;padding:25px 1px}.scenario-caption h3{font-size:17px;letter-spacing:-.02em;margin:0 0 9px;font-weight:600}.scenario-caption p{color:var(--muted);font-size:12px;line-height:1.8;margin:0;max-width:790px}.status{display:inline-flex;align-items:center;justify-content:center;gap:7px;white-space:nowrap;font:500 10px/1.5 var(--mono);padding:6px 9px;border:1px solid #48536a;border-radius:4px;color:#b8c5d7}.status.is-pass{color:var(--green);background:#34d3990a;border-color:#34d39938}.status.is-fail{color:var(--red);background:#fb71850a;border-color:#fb71853b}.run-grid{display:grid;grid-template-columns:1fr 1fr;gap:20px;align-items:start}.run-panel{background:var(--panel);border:1px solid #263348;border-radius:12px;overflow:hidden;min-width:0}.run-heading{display:flex;align-items:center;justify-content:space-between;gap:16px;padding:22px 24px;border-bottom:1px solid #263348}.run-heading h3{font-size:14px;letter-spacing:-.02em;margin:7px 0 0;font-weight:600}.run-kicker{font:10px var(--mono);letter-spacing:.12em;color:#8d9fb9}.run-stats{display:grid;grid-template-columns:1fr 1fr 1fr;gap:10px;padding:25px 24px 23px}.run-stats div{display:flex;flex-direction:column;gap:8px;min-width:0}.run-stats span{font-size:9px;color:#8fa1bc}.run-stats strong{font-size:27px;font-weight:500;letter-spacing:-.045em}.run-stats strong.is-fail{color:var(--red)}.run-stats strong.is-pass{color:var(--green)}.run-summary{margin:0 24px;padding:13px 14px;border-left:2px solid #3c577b;background:#121f31;color:#afc4df;font-size:11px;line-height:1.8}.run-summary.is-fail{border-color:#bd6075;background:#261822;color:#f1b5c1}.run-summary.is-pass{border-color:#39785e;background:#11231e;color:#a7d9c4}.run-content{padding:24px}.run-content h4{font-size:10px;color:#b1bfd2;font-weight:600;letter-spacing:.04em;margin:0 0 15px}.assertion-list{list-style:none;padding:0;margin:0 0 22px}.assertion-list li{display:grid;grid-template-columns:16px 1fr;gap:9px;padding:8px 0;border-bottom:1px solid #24304380;font-size:11px;line-height:1.65}.assertion-list li:last-child{border:0}.assertion-list .rule-icon{font:500 11px var(--mono);padding-top:2px}.assertion-list .is-pass .rule-icon{color:var(--green)}.assertion-list .is-fail .rule-icon{color:var(--red)}.assertion-list strong{display:block;font-weight:500;color:#c0ccdc}.assertion-list .is-fail strong{color:#ffb9c4}.assertion-list small{display:block;color:#8ea0b9;font-size:10px;margin-top:2px;overflow-wrap:anywhere}.ledger-details{border:1px solid #2c3c53;border-radius:7px;margin:0 0 26px;overflow:hidden}.ledger-details summary{padding:12px 13px;font-size:10px;color:#b7cbe5;cursor:pointer}.ledger-details summary span{color:#7f96b5;margin-left:8px}.effect-ledger{border-top:1px solid #2c3c53;padding:10px 13px}.effect-row{padding:10px 0;border-bottom:1px solid #25334a;font-size:11px}.effect-row:last-child{border:0}.effect-row strong{display:block;font-weight:500;color:#d6e4f8;margin-bottom:7px}.effect-row code{font:9px/1.8 var(--mono);color:#9bb3d2;display:block;overflow-wrap:anywhere}.empty-effects{font-size:11px;line-height:1.8;color:#8fa3bf;margin:6px 0}.trace-heading{display:flex;align-items:center;justify-content:space-between;gap:12px;margin-bottom:20px}.trace-heading h4{margin:0}.trace-heading>span{font:8px var(--mono);color:#768ca8}.trace-list{list-style:none;padding:0;margin:0;counter-reset:trace}.trace-item{position:relative;margin:0 0 0 10px;padding:0 0 16px 22px;border-left:1px solid #2b3f58}.trace-item:last-child{border-color:transparent;padding-bottom:0}.trace-item:before{content:"";position:absolute;left:-4px;top:6px;width:7px;height:7px;border-radius:50%;background:#6b8aaf;border:2px solid #0d1420}.trace-item.is-effect:before{background:#65d8a7}.trace-item.is-fault:before{background:#ffc078}.trace-event-label{font:10px/1.7 var(--mono);color:#b3c7e2;display:flex;align-items:flex-start;gap:8px}.trace-step{color:#6c83a1;flex-shrink:0;font-size:8px;min-width:16px;padding-top:2px}.trace-item.is-effect .trace-event-label{color:#89dfb8}.trace-item.is-fault .trace-event-label{color:#efbd83}.trace-event-detail{font-size:10px;line-height:1.8;color:#8b9fbb;margin:5px 0 0;overflow-wrap:anywhere;white-space:pre-wrap}.trace-item details{margin-top:6px}.trace-item summary{font-size:9px;color:#7197c8;cursor:pointer;min-height:26px;display:list-item;padding:5px 0}.trace-item pre{color:#b0c2d9;font:9px/1.7 var(--mono);padding:10px;background:#070d16;border:1px solid #1e2d40;border-radius:5px;white-space:pre-wrap;overflow-wrap:anywhere;margin:4px 0 0}.divergence{padding:24px;border:1px solid #29466b;border-radius:12px;margin-top:20px;background:#0b1727}.divergence-heading{display:flex;align-items:center;gap:14px}.divergence-symbol{display:grid;place-items:center;width:36px;height:36px;color:#a7ccff;border:1px solid #345987;background:#132c4c;border-radius:8px;font-size:20px}.divergence .eyebrow{font-size:8px;margin-bottom:5px}.divergence h3{font-size:15px;font-weight:600;margin:0;letter-spacing:-.02em}#divergence-summary{font-size:12px;line-height:1.8;color:#9eb9db;margin:15px 0 0}.divergence-grid{display:grid;grid-template-columns:1fr 1fr;gap:16px;margin-top:18px}.divergence-grid>div{min-width:0}.divergence-grid span{font:9px var(--mono);color:#89a9d2;display:block;margin-bottom:9px}.divergence pre{font:10px/1.7 var(--mono);color:#c1d3eb;margin:0;background:#070e18;border:1px solid #243c59;border-radius:7px;padding:14px;white-space:pre-wrap;overflow-wrap:anywhere}.simulation-boundary{display:flex;gap:13px;padding:18px 0;color:#8194ae;font-size:10px;line-height:1.9}.simulation-boundary>span{font-size:15px;line-height:1.8}.simulation-boundary p{margin:0;max-width:1000px}.simulation-boundary strong{font-weight:500;color:#a4b7d0}.local-section{display:grid;grid-template-columns:1fr 1fr;gap:60px;align-items:center;margin-top:72px;padding-bottom:72px;border-bottom:1px solid #263348;scroll-margin-top:30px}.local-section h2{margin-bottom:19px}.local-section>div>p:not(.eyebrow){font-size:13px;line-height:1.9;color:#9dacc0;margin:0 0 24px}.local-section .button{font-size:12px}.text-link{display:flex;align-items:center;gap:12px;min-height:44px;color:#91b9eb;font-size:11px;margin-top:12px}.terminal-card{border:1px solid #31445f;border-radius:11px;overflow:hidden;min-width:0;background:#050a12}.terminal-bar{display:flex;align-items:center;justify-content:space-between;gap:10px;min-height:48px;padding:10px 17px;background:#121d2c;border-bottom:1px solid #263348;font:9px var(--mono);color:#91a8c6}.terminal-bar button{border:1px solid #3c5677;background:#172942;color:#b9d6ff;border-radius:5px;font-size:10px;padding:7px 10px;min-height:32px}.terminal-body{padding:22px}.terminal-body p{font:9px/1.7 var(--mono);color:#6f849f;margin:0 0 10px}.terminal-body pre{font:11px/1.9 var(--mono);color:#c6dbf7;margin:0 0 28px;white-space:pre-wrap;overflow-wrap:anywhere}.terminal-note{font-size:10px;line-height:1.8;color:#8e9fb5;display:block}.terminal-card #copy-status{font-size:10px;color:#a3c1e7;margin:0 22px;min-height:25px}.why-section{padding:65px 0 60px;border-bottom:1px solid #263348}.why-section h2{max-width:650px}.why-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:40px;margin-top:39px}.why-number{font:10px var(--mono);color:#6b96ce}.why-grid h3{font-size:15px;line-height:1.6;letter-spacing:-.025em;font-weight:600;margin:15px 0 11px}.why-grid p{font-size:12px;line-height:1.9;color:#8f9fb4;margin:0}.next-step{display:flex;align-items:center;justify-content:space-between;gap:32px;padding:62px 0 70px}.next-step .eyebrow{font-size:9px}.next-step h2{font-size:25px}.next-step p:not(.eyebrow){font-size:12px;line-height:1.8;color:#8fa3be;max-width:610px}.next-step .button{flex-shrink:0}.demo-footer{padding:28px 0 38px;border-top:1px solid #263348;display:flex;align-items:center;gap:24px;font-size:10px;color:#8295af}.demo-footer .brand{font-size:13px;color:#b0c0d6}.demo-footer nav{display:flex;gap:20px;margin-left:auto;flex-wrap:wrap}.demo-footer a{min-height:30px;display:inline-flex;align-items:center}.demo-footer a:hover{color:#fff}@media(min-width:1400px){.demo-hero{padding-top:86px}}@media(max-width:900px){.wrap{width:calc(100% - 40px)}.run-grid{gap:14px}.run-heading,.run-stats,.run-content{padding-inline:18px}.run-summary{margin-inline:18px}.run-heading{gap:9px}.run-heading h3{font-size:12px}.run-stats span{font-size:8px}.run-stats strong{font-size:24px}.status{font-size:8px;padding:5px 7px}.local-section{gap:30px}.why-grid{gap:25px}.nav-links{gap:20px}.demo-nav{gap:22px}.run-stats{gap:7px}}@media(max-width:680px){.wrap{width:calc(100% - 32px)}.demo-nav{height:67px;gap:14px;justify-content:space-between}.brand{font-size:14px}.nav-links{display:none}.button-small{font-size:11px;padding:9px 12px}.demo-hero{padding:50px 0 38px}.demo-hero h1{font-size:58px}.hero-description{font-size:14px}.hero-meta{font-size:9px;gap:10px 14px}.hero-meta span+span:before{margin-right:14px}.section-heading{gap:10px;align-items:start}.evidence-source{display:none}.section-intro{font-size:12px}.scenario-controls{padding:15px;gap:10px}.scenario-controls label{width:100%}.scenario-controls select{width:100%;font-size:12px}.scenario-controls>a{margin-left:0;font-size:10px;min-height:30px}.scenario-caption{align-items:flex-start;flex-direction:column;gap:13px;padding:22px 2px}.scenario-caption h3{font-size:16px}.scenario-caption p{font-size:11px}.run-grid{grid-template-columns:1fr;gap:20px}.run-heading,.run-stats,.run-content{padding-inline:20px}.run-heading h3{font-size:14px}.run-stats span{font-size:9px}.run-stats strong{font-size:28px}.run-summary{margin-inline:20px;font-size:11px}.status{font-size:9px}.trace-event-label,.trace-event-detail{font-size:11px}.trace-heading>span{font-size:9px}.trace-item pre{font-size:10px}.assertion-list li{font-size:12px}.assertion-list small{font-size:11px}.divergence{padding:20px}.divergence-grid{grid-template-columns:1fr}.divergence pre{font-size:10px}.local-section{grid-template-columns:1fr;gap:30px;margin-top:45px;padding-bottom:50px}.local-section h2 br{display:none}.terminal-body pre{font-size:10px}.why-section{padding:45px 0}.why-grid{grid-template-columns:1fr;gap:28px;margin-top:30px}.why-grid h3{margin:10px 0 8px}.why-grid p{font-size:12px}.next-step{align-items:flex-start;flex-direction:column;gap:20px;padding:45px 0}.demo-footer{flex-wrap:wrap;gap:14px 20px;padding-top:25px}.demo-footer nav{width:100%;margin:0}.simulation-boundary{font-size:10px}.eyebrow{font-size:9px}}@media(max-width:360px){.demo-hero h1{font-size:49px}.hero-meta span+span:before{display:none}.hero-meta{flex-direction:column}.run-stats strong{font-size:25px}.run-heading h3{font-size:12px}.run-heading,.run-stats,.run-content{padding-inline:15px}.run-summary{margin-inline:15px}.brand{font-size:13px;gap:7px}.button-small{font-size:10px}.run-stats span{font-size:8px}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}.divergence-json{margin-top:16px}.divergence-json summary{font:10px/1.8 var(--mono);color:#8cadd9;cursor:pointer;min-height:36px;padding:8px 0}.divergence-json pre{margin-top:7px}.trace-details{border-top:1px solid #2b3e57}.trace-details>summary{padding:16px 0 3px;color:#a9c9f1;font-size:11px;cursor:pointer;min-height:44px}.trace-details>summary span{font:9px var(--mono);color:#7c94b3;margin-left:8px}.trace-details[open]>.trace-heading{margin-top:24px}.run-content>.ledger-details{margin-bottom:16px}