:root{color:#eef2f3;font-synthesis:none;background:#090b0e;font-family:Inter,ui-sans-serif,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif}*{box-sizing:border-box}body{background:#090b0e;min-width:320px;min-height:100vh;margin:0}button,input{font:inherit}.deck{background:#090b0e;flex-direction:column;min-height:100vh;display:flex}.topbar{background:#0b0e12;border-bottom:1px solid #293038;grid-template-columns:1fr auto 1fr;align-items:center;height:68px;padding:0 28px;display:grid}.brand{align-items:center;gap:11px;display:flex}.brand svg{color:#49d6d0}.brand div{align-items:baseline;gap:14px;display:flex}.brand strong{letter-spacing:0;font-size:15px}.brand span,.experiment-id span{color:#7f8b94;font-size:11px}.experiment-id{text-align:center;gap:3px;display:grid}.experiment-id strong,code,.event__index{font-family:IBM Plex Mono,monospace}.live-state{color:#9ca8ae;justify-self:end;align-items:center;gap:8px;font:600 11px IBM Plex Mono,monospace;display:flex}.live-state i{background:#49d6d0;border-radius:50%;width:7px;height:7px;box-shadow:0 0 12px #49d6d0}.summary-band{background:#0e1217;border-bottom:1px solid #293038;grid-template-columns:minmax(0,1fr) 245px;align-items:end;gap:28px;padding:28px;display:grid}.experiment-switcher{background:#0b0e12;border-bottom:1px solid #293038;gap:1px;padding:0 28px;display:flex}.experiment-switcher button{text-align:left;color:#77848d;cursor:pointer;background:0 0;border:0;border-bottom:2px solid #0000;grid-template-columns:auto 1fr;gap:2px 11px;min-width:210px;padding:11px 14px;display:grid}.experiment-switcher button:hover{background:#11161b}.experiment-switcher button.active{color:#eef2f3;background:#10151a;border-bottom-color:#49d6d0}.experiment-switcher span{color:#69757d;grid-row:1/3;align-self:center;font:500 8px IBM Plex Mono,monospace}.experiment-switcher strong{font:700 12px IBM Plex Mono,monospace}.experiment-switcher small{color:#78858d;font-size:8px}.eyebrow{color:#77848d;font:600 10px IBM Plex Mono,monospace}h1{letter-spacing:0;max-width:860px;margin:7px 0 8px;font-size:clamp(24px,2.4vw,38px);line-height:1.08}.summary-band p{color:#9ca8ae;max-width:870px;margin:0;font-size:13px;line-height:1.5}.planner-ranking{color:#718089;grid-template-columns:18px auto 1fr;align-items:center;gap:8px;max-width:980px;margin-top:13px;display:grid}.planner-ranking svg{color:#49d6d0}.planner-ranking span{font:600 9px IBM Plex Mono,monospace}.planner-ranking strong{color:#b8c2c6;text-overflow:ellipsis;white-space:nowrap;min-width:0;font:500 9px IBM Plex Mono,monospace;overflow:hidden}.verdict{opacity:.45;background:#11161b;border:1px solid #343d45;align-content:center;min-height:76px;padding:14px 16px;display:grid}.verdict span{color:#8c989f;font:500 10px IBM Plex Mono,monospace}.verdict strong{color:#59646c;margin-top:5px;font:700 24px IBM Plex Mono,monospace}.verdict--shown{opacity:1;border-color:#ef5b5b;box-shadow:inset 3px 0 #ef5b5b}.verdict--shown strong{color:#ff7772}.workspace{flex:1;grid-template-columns:248px minmax(600px,1fr) 280px;min-height:610px;display:grid}.context-panel,.proof-panel{background:#0c1014;padding:22px}.context-panel{border-right:1px solid #293038}.proof-panel{border-left:1px solid #293038}.context-panel section+section{border-top:1px solid #242b31;margin-top:30px;padding-top:24px}dl{margin:13px 0 0}dl div{margin-bottom:15px}dt{color:#647079;text-transform:uppercase;font-size:10px}dd{color:#c9d0d3;overflow-wrap:anywhere;margin:3px 0 0;font:500 11px/1.45 IBM Plex Mono,monospace}.checkpoint{color:#c7d0d3;background:#12171c;border:1px solid #3e4850;justify-content:center;align-items:center;gap:8px;height:42px;margin-top:16px;font:500 10px IBM Plex Mono,monospace;display:flex}.fork-lines{grid-template-columns:1fr 1fr;height:34px;padding:0 30px;display:grid}.fork-lines span{border-bottom:1px solid #465159}.fork-lines span:first-child{border-right:1px solid #465159}.fork-lines span:last-child{border-left:1px solid #465159}.fork-labels{color:#78858d;text-align:center;grid-template-columns:1fr 1fr;gap:8px;font:500 8px IBM Plex Mono,monospace;display:grid}.integrity>div{color:#8d999f;align-items:center;gap:8px;margin-top:13px;display:flex}.integrity code{overflow-wrap:anywhere;font-size:9px}.verified,.recorded{color:#52d39c;align-items:center;gap:6px;margin-top:12px;font:600 9px IBM Plex Mono,monospace;display:flex}.recorded{color:#8d999f}.verify-button{color:#071111;cursor:pointer;background:#49d6d0;border:1px solid #49d6d0;justify-content:center;align-items:center;gap:8px;width:100%;min-height:38px;margin-top:14px;font:700 9px IBM Plex Mono,monospace;display:flex}.verify-button:hover{background:#6ee4df}.verify-button:disabled{cursor:wait;opacity:.65}.replay-panel{background:#0a0d11d6;padding:22px;position:relative;overflow:hidden}.replay-panel:after{content:"";background:#303840;width:1px;transition:background .35s,box-shadow .35s;position:absolute;top:102px;bottom:24px;left:50%}.replay-panel--diverged:after{background:#ef5b5b;box-shadow:0 0 22px #ef5b5b8c}.replay-header{justify-content:space-between;align-items:center;gap:20px;display:flex}.replay-header>div:first-child{gap:5px;display:grid}.replay-header strong{font:600 12px IBM Plex Mono,monospace}.replay-controls{gap:7px;display:flex}.replay-controls button{color:#94a0a7;cursor:pointer;background:#12171c;border:1px solid #354049;place-items:center;width:34px;height:34px;padding:0;display:grid}.replay-controls button:hover{color:#fff;border-color:#63717b}.replay-controls .primary-control{color:#071111;background:#49d6d0;border-color:#49d6d0}input[type=range]{accent-color:#49d6d0;width:100%;height:20px;margin:15px 0 19px}.branches{grid-template-columns:1fr 44px 1fr;min-height:460px;display:grid}.branch{background:#10151a;border:1px solid #283139;padding:20px}.branch--control{border-top:2px solid #52d39c}.branch--counter{border-top:2px solid #ef5b5b}.branch__header{justify-content:space-between;align-items:flex-start;gap:15px;min-height:51px;display:flex}.branch h2{margin:4px 0 0;font-size:17px}.branch__status{color:#859198;border:1px solid #374149;padding:4px 6px;font:600 8px IBM Plex Mono,monospace}.branch--control .branch__status{color:#52d39c}.branch--counter .branch__status{color:#ff7772}.event-stack{min-height:296px;margin-top:18px}.event{color:#bcc5c9;background:#141a20;border-left:2px solid #39444c;grid-template-columns:24px 1fr auto;align-items:center;gap:8px;min-height:37px;margin-bottom:7px;padding:8px 10px;font:500 10px IBM Plex Mono,monospace;animation:.25s ease-out event-in;display:grid}.event__index{color:#59656e;font-size:8px}.branch--control .event svg{color:#52d39c}.event--fault{color:#ff918c;background:#221417;border-left-color:#ef5b5b}.event--fault svg{color:#ef5b5b}.branch__metric{border-top:1px solid #283139;justify-content:space-between;align-items:center;min-height:64px;padding-top:15px;display:flex}.branch__metric span{color:#78858d;font-size:10px}.branch__metric strong{font:700 32px IBM Plex Mono,monospace}.branch--control .branch__metric strong{color:#52d39c}.branch--counter .branch__metric strong{color:#ff7772}.branch-divider{z-index:1;place-items:center;display:grid;position:relative}.branch-divider span{color:#69757d;writing-mode:vertical-rl;background:#0a0d11;padding:6px 4px;font:600 8px IBM Plex Mono,monospace}.replay-panel--diverged .branch-divider span{color:#ff7772}.proof-title{align-items:center;gap:11px;margin:17px 0 22px;display:flex}.proof-title svg{color:#49d6d0}.proof-title div{gap:3px;display:grid}.proof-title span,.comparison span,.delta span,.proof-stamp span{color:#6f7b83;font:500 9px IBM Plex Mono,monospace}.proof-title strong{font:700 19px IBM Plex Mono,monospace}.comparison{border:1px solid #2b343b;grid-template-columns:1fr 1fr;display:grid}.comparison div{text-align:center;align-content:center;min-height:98px;padding:12px;display:grid}.comparison div+div{border-left:1px solid #2b343b}.comparison strong{margin:4px 0 1px;font:700 28px IBM Plex Mono,monospace}.comparison div:first-child strong{color:#52d39c}.comparison div:last-child strong{color:#ff7772}.comparison small{color:#7c888f;font-size:9px}.delta{background:#181317;border-left:2px solid #ef5b5b;gap:4px;margin-top:8px;padding:11px 12px;display:grid}.delta strong{color:#ff8b86;font:600 11px IBM Plex Mono,monospace}.checks{margin:22px 0;padding:0;list-style:none}.checks li{color:#8f9ba1;border-bottom:1px solid #22292f;align-items:center;gap:9px;min-height:31px;font-size:11px;display:flex}.checks svg,.empty-check{color:#52d39c;border:1px solid #3a464d;width:15px;height:15px;padding:2px}.checks .check-fail{color:#ff918c}.checks .check-fail svg{color:#ef5b5b}.proof-stamp{text-align:center;opacity:.45;border:1px solid #313a41;align-content:center;min-height:66px;padding:12px;display:grid}.proof-stamp strong{color:#68747b;margin-top:5px;font:700 19px IBM Plex Mono,monospace}.proof-stamp--shown{opacity:1;border-color:#ef5b5b;box-shadow:inset 0 0 0 2px #291214}.proof-stamp--shown strong{color:#ff7772}.provenance{background:#0b0e12;border-top:1px solid #293038;justify-content:center;align-items:center;gap:28px;min-height:76px;padding:12px 28px;display:flex}.provenance>div{grid-template-columns:28px 1fr;align-items:center;column-gap:8px;min-width:190px;display:grid}.provenance svg{color:#49d6d0;grid-row:1/3}.provenance span{color:#6d7981;font:600 9px IBM Plex Mono,monospace}.provenance strong{font-size:11px}.provenance b{color:#3f4a52}.load-state{color:#96a2a8;background:#090b0e;justify-content:center;align-items:center;gap:12px;min-height:100vh;display:flex}.verification-backdrop{z-index:20;-webkit-backdrop-filter:blur(6px);backdrop-filter:blur(6px);background:#030507d6;place-items:center;padding:24px;display:grid;position:fixed;inset:0}.verification-dialog{background:#0c1014;border:1px solid #46535c;width:min(720px,100%);max-height:calc(100vh - 48px);overflow:auto;box-shadow:0 24px 90px #00000094}.verification-dialog>header{border-bottom:1px solid #293038;justify-content:space-between;align-items:center;min-height:76px;padding:17px 20px;display:flex}.verification-dialog h2{margin:5px 0 0;font-size:20px}.verification-dialog>header button{color:#8f9ba1;cursor:pointer;background:#12171c;border:1px solid #354049;place-items:center;width:34px;height:34px;display:grid}.verification-verdict{color:#ff7772;background:#181317;border:1px solid #ef5b5b;align-items:center;gap:14px;min-height:92px;margin:20px;padding:17px;display:flex}.verification-verdict--verified{color:#52d39c;background:#0d1815;border-color:#52d39c}.verification-verdict div{gap:5px;display:grid}.verification-verdict span{color:#829097;font:500 9px IBM Plex Mono,monospace}.verification-verdict strong{font:700 21px IBM Plex Mono,monospace}.verification-checks{border:1px solid #293038;margin:0 20px}.verification-checks>div{border-bottom:1px solid #242b31;grid-template-columns:20px minmax(180px,.8fr) minmax(0,1fr);align-items:center;gap:9px;min-height:46px;padding:9px 12px;display:grid}.verification-checks>div:last-child{border-bottom:0}.verification-checks .pass svg{color:#52d39c}.verification-checks .fail svg{color:#ef5b5b}.verification-checks span{color:#c3cbce;font-size:11px}.verification-checks code{color:#718089;text-overflow:ellipsis;white-space:nowrap;font-size:9px;overflow:hidden}.verification-dialog>footer{justify-content:space-between;align-items:center;gap:20px;padding:18px 20px 20px;display:flex}.verification-dialog>footer p{color:#7f8b94;max-width:430px;margin:0;font-size:10px;line-height:1.5}.verification-dialog>footer button{color:#071111;cursor:pointer;background:#49d6d0;border:1px solid #49d6d0;align-items:center;gap:8px;min-height:38px;padding:0 13px;font:700 9px IBM Plex Mono,monospace;display:flex}.verification-error{color:#ff7772;border:1px solid #ef5b5b;align-items:center;gap:12px;margin:20px;padding:20px;display:flex}.spin{animation:1.3s linear infinite spin}@keyframes spin{to{transform:rotate(360deg)}}@keyframes event-in{0%{opacity:0;transform:translateY(-5px)}}@media (width<=1150px){.workspace{grid-template-columns:210px minmax(560px,1fr)}.proof-panel{border-top:1px solid #293038;border-left:0;grid-column:1/-1;grid-template-columns:160px 1fr 1fr 1fr;align-items:center;gap:18px;display:grid}.proof-panel>.eyebrow{display:none}.proof-title,.checks{margin:0}.checks{grid-template-columns:1fr 1fr;display:grid}}@media (width<=820px){.topbar{grid-template-columns:1fr auto;gap:8px;height:auto;min-height:66px;padding:14px 16px}.brand div{gap:2px;display:grid}.experiment-id{display:none}.summary-band{grid-template-columns:1fr;padding:22px 16px}.planner-ranking{grid-template-columns:18px 1fr}.planner-ranking strong{white-space:normal;grid-column:1/-1}.experiment-switcher{padding:0 12px;overflow-x:auto}.workspace{display:block}.context-panel{border-bottom:1px solid #293038;border-right:0;grid-template-columns:1fr 1fr;gap:20px;display:grid}.context-panel section+section{border:0;margin:0;padding:0}.integrity{grid-column:1/-1}.replay-panel{padding:18px 12px}.branches{grid-template-columns:1fr;gap:12px}.replay-panel:after,.branch-divider{display:none}.proof-panel{border-left:0;display:block}.proof-title,.checks{margin:18px 0}.provenance{flex-direction:column;align-items:stretch;gap:12px}.provenance b{display:none}.verification-checks>div{grid-template-columns:20px 1fr}.verification-checks code{grid-column:2}.verification-dialog>footer{flex-direction:column;align-items:stretch}.verification-dialog>footer button{justify-content:center}}