@import "../../../tokens.css";@font-face{font-family:Berkeley Mono;src:url(../../../fonts/BerkeleyMono-Regular.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:Berkeley Mono;src:url(../../../fonts/BerkeleyMono-Light.woff2)format("woff2");font-weight:300;font-style:normal;font-display:swap}@font-face{font-family:Berkeley Mono;src:url(../../../fonts/BerkeleyMono-Medium.woff2)format("woff2");font-weight:500;font-style:normal;font-display:swap}@font-face{font-family:IBM Plex Serif;src:url(../../../fonts/IBMPlexSerif-Regular.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}*,:before,:after{box-sizing:border-box;margin:0;padding:0}:root{--dash-bg-dark:#05080c;--dash-bg-dark-mid:#080b10;--dash-bg-dark-end:#05070a;--dash-surface-dark:rgba(9,13,18,.88);--dash-border-dark:rgba(94,126,146,.42);--dash-text-primary:#e6edf3;--dash-text-secondary:#b8c4cf;--dash-text-dim:#6e7f8d;--dash-accent-blue:#87b5d1;--dash-wild:var(--sl-color-workflow-wild-stroke,#8694ad);--dash-intervention:var(--sl-color-workflow-intervention-stroke,#4a8a61);--dash-success:var(--sl-color-workflow-success-stroke,#3f8458);--dash-blocked:var(--sl-color-workflow-blocked-stroke,#b4573d);--dash-font:var(--sl-font-mono);--dash-font-prose:var(--sl-font-prose)}html,body{height:100%;font-family:var(--dash-font);-webkit-font-smoothing:antialiased;overflow:hidden}body{background:linear-gradient(180deg, var(--dash-bg-dark) 0%, var(--dash-bg-dark-mid) 48%, var(--dash-bg-dark-end) 100%);color:var(--dash-text-primary)}.boot-overlay{z-index:1000;pointer-events:none;background:linear-gradient(rgba(6,9,13,.94) 0%,rgba(6,9,13,.4) 52%,rgba(6,9,13,.16) 100%);justify-content:flex-start;align-items:flex-start;padding:max(16px,min(3vw,32px));transition:opacity .4s;display:flex;position:fixed;top:0;bottom:0;left:0;right:0}.boot-overlay[hidden]{opacity:0;pointer-events:none;display:flex}.boot-card{border:1px solid var(--dash-border-dark);background:var(--dash-surface-dark);-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);border-radius:18px;max-width:34rem;padding:1.25rem 1.35rem;box-shadow:0 22px 72px rgba(0,0,0,.4)}.boot-overlay[data-state=error] .boot-card{border-color:rgba(255,122,107,.6)}.boot-eyebrow{color:var(--dash-accent-blue);letter-spacing:.18em;text-transform:uppercase;margin-bottom:.7rem;font-size:.76rem}.boot-title{font-size:max(1.4rem,min(2.7vw,2.1rem));font-weight:400;line-height:1.05}.boot-message{color:var(--dash-text-secondary);margin-top:.75rem;font-size:.96rem;line-height:1.55}.boot-detail{color:#d0d7de;white-space:pre-wrap;pointer-events:auto;background:rgba(20,27,35,.9);border-radius:12px;margin-top:1rem;padding:.8rem .95rem;font-size:.78rem;line-height:1.55}.dash-nav{z-index:100;-webkit-backdrop-filter:blur(16px);backdrop-filter:blur(16px);background:rgba(5,8,12,.82);border-bottom:1px solid rgba(94,126,146,.18);justify-content:space-between;align-items:center;gap:1rem;height:48px;padding:0 max(16px,min(3vw,32px));display:flex;position:fixed;top:0;left:0;right:0}.dash-nav-tabs{gap:2px;display:flex}.dash-nav-tab{-ms-appearance:none;appearance:none;color:var(--dash-text-dim);font-family:var(--dash-font);letter-spacing:.08em;text-transform:uppercase;cursor:pointer;background:0 0;border:none;border-radius:6px;padding:.55rem .85rem;font-size:.78rem;transition:color .15s,background .15s}.dash-nav-tab:hover{color:var(--dash-text-secondary);background:rgba(94,126,146,.12)}.dash-nav-tab.active{color:var(--dash-text-primary);background:rgba(94,126,146,.2)}.dash-nav-run-select{-ms-appearance:none;appearance:none;color:var(--dash-text-secondary);font-family:var(--dash-font);cursor:pointer;background:rgba(94,126,146,.12);border:1px solid rgba(94,126,146,.28);border-radius:6px;max-width:220px;padding:.35rem .65rem;font-size:.72rem}.dash-nav-run-select:focus{outline:1px solid var(--dash-accent-blue);outline-offset:1px}#app{height:100vh;padding-top:48px;overflow-y:auto}.view-hero,.view-proof-graph{background:radial-gradient(ellipse 70% 40% at 50% 15%, rgba(53,109,145,.18), transparent), linear-gradient(180deg, var(--dash-bg-dark) 0%, var(--dash-bg-dark-mid) 48%, var(--dash-bg-dark-end) 100%);flex-direction:column;min-height:calc(100vh - 48px);display:flex}.hero-controls{flex-shrink:0;align-items:center;gap:.75rem;padding:.75rem max(16px,min(3vw,32px));display:flex}.hero-controls select,.hero-controls button{-ms-appearance:none;appearance:none;color:var(--dash-text-secondary);font-family:var(--dash-font);cursor:pointer;background:rgba(94,126,146,.1);border:1px solid rgba(94,126,146,.28);border-radius:6px;padding:.35rem .65rem;font-size:.72rem}.hero-controls button:hover{background:rgba(94,126,146,.2)}.hero-controls .control-label{color:var(--dash-text-dim);letter-spacing:.08em;text-transform:uppercase;font-size:.68rem}.hero-controls input[type=checkbox]{accent-color:var(--dash-accent-blue)}.hero-canvas-row{flex:1;gap:2px;min-height:0;padding:0 max(16px,min(3vw,32px)) max(16px,min(3vw,32px));display:flex}.hero-panel{background:rgba(9,13,18,.5);border:1px solid rgba(94,126,146,.14);border-radius:12px;flex-direction:column;flex:1;transition:flex .6s,opacity .4s;display:flex;position:relative;overflow:hidden}.hero-canvas-row .hero-panel{opacity:1;flex:1}.hero-panel-header{border-bottom:1px solid rgba(94,126,146,.1);align-items:center;gap:.5rem;padding:.5rem .75rem;display:flex}.hero-panel-badge{border-radius:50%;width:8px;height:8px}.hero-panel-badge.wild{background:var(--dash-wild)}.hero-panel-badge.intervention{background:var(--dash-intervention)}.hero-panel-label{color:var(--dash-text-dim);letter-spacing:.06em;text-transform:uppercase;font-size:.72rem}.hero-panel canvas{cursor:grab;flex:1;width:100%;min-height:400px}.view-light{color:var(--sl-color-ink,#0b0e14);background:#f4f5f7;min-height:calc(100vh - 48px);padding:max(16px,min(3vw,32px))}.view-light .section-title{font-family:var(--dash-font);letter-spacing:.06em;text-transform:uppercase;color:rgba(11,14,20,.52);margin-bottom:1rem;font-size:.82rem;font-weight:500}.rescue-container{max-width:1200px;margin:0 auto}.rescue-grid{gap:2px;font-size:.7rem;display:grid}.rescue-cell{aspect-ratio:1;cursor:pointer;border-radius:3px;min-width:18px;min-height:18px;transition:transform .1s,box-shadow .15s}.rescue-cell:hover{z-index:1;transform:scale(1.3);box-shadow:0 2px 8px rgba(0,0,0,.25)}.rescue-cell.rescued{background:var(--dash-success)}.rescue-cell.collapsed{background:var(--dash-blocked)}.rescue-cell.unchanged{background:#c4c9cf}.rescue-cell.no-data{background:#e8eaed}.rescue-axis-label{color:rgba(11,14,20,.52);text-overflow:ellipsis;white-space:nowrap;font-size:.62rem;overflow:hidden}.explorer-grid{grid-template-columns:repeat(auto-fit,minmax(320px,1fr));gap:1rem;max-width:1400px;margin:0 auto;display:grid}.explorer-panel{background:#fff;border:1px solid rgba(11,14,20,.1);border-radius:10px;padding:1rem;box-shadow:0 1px 3px rgba(0,0,0,.06)}.explorer-panel-title{letter-spacing:.06em;text-transform:uppercase;color:rgba(11,14,20,.48);margin-bottom:.75rem;font-size:.72rem;font-weight:500}.stat-card{text-align:center}.stat-value{color:var(--sl-color-ink,#0b0e14);font-size:2rem;font-weight:300;line-height:1}.stat-label{letter-spacing:.08em;text-transform:uppercase;color:rgba(11,14,20,.48);margin-top:.35rem;font-size:.68rem}.dash-tooltip{z-index:200;color:var(--dash-text-primary);font-family:var(--dash-font);pointer-events:none;-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px);background:rgba(9,13,18,.94);border:1px solid rgba(94,126,146,.32);border-radius:8px;max-width:280px;padding:.45rem .65rem;font-size:.7rem;line-height:1.45;position:fixed}.empty-state{color:var(--dash-text-dim);text-align:center;flex-direction:column;justify-content:center;align-items:center;min-height:200px;padding:3rem;font-size:.82rem;display:flex}.mcts-overlay{pointer-events:none;width:100%;height:100%;position:absolute;top:0;left:0;overflow:hidden}.mcts-math-panel{pointer-events:none;color:var(--dash-text-secondary);white-space:nowrap;text-overflow:ellipsis;background:rgba(15,20,30,.85);border:1px solid rgba(135,181,209,.2);border-radius:4px;max-width:360px;padding:3px 8px;font-size:14px;transition:opacity .3s,transform .2s;position:absolute;overflow:hidden}.mcts-math-panel.on-proof-path{color:var(--dash-text-primary);border-color:#d4a853;box-shadow:0 0 8px rgba(212,168,83,.3)}.mcts-math-panel.dimmed{opacity:.4}.mcts-math-panel .katex{text-overflow:ellipsis;font-size:1em;overflow:hidden}.mcts-visit-badge{color:var(--dash-text-dim);margin-left:4px;font-family:Berkeley Mono,monospace;font-size:11px}.hero-timeline{background:rgba(15,20,30,.6);align-items:center;gap:8px;padding:8px 16px;display:flex}.hero-timeline input[type=range]{-webkit-appearance:none;background:rgba(255,255,255,.1);border-radius:2px;outline:none;flex:1;height:4px}.hero-timeline input[type=range]::-webkit-slider-thumb{-webkit-appearance:none;background:var(--dash-accent-blue);cursor:pointer;border-radius:50%;width:12px;height:12px}.hero-timeline .timeline-label{color:var(--dash-text-dim);text-transform:uppercase;letter-spacing:.08em;font-family:Berkeley Mono,monospace;font-size:10px}.hero-loading{color:var(--dash-text-dim);font-family:var(--dash-font);letter-spacing:.06em;pointer-events:none;justify-content:center;align-items:center;font-size:.78rem;display:flex;position:absolute;top:0;bottom:0;left:0;right:0}.tactic-chain{flex-wrap:wrap;justify-content:center;align-items:center;gap:.75rem;padding:1rem;display:flex;position:absolute;top:0;bottom:0;left:0;right:0}.tactic-chain-goal{color:var(--dash-text-secondary);white-space:nowrap;text-overflow:ellipsis;background:rgba(15,20,30,.85);border:1px solid rgba(135,181,209,.2);border-radius:6px;max-width:280px;padding:.35rem .7rem;font-size:.85rem;overflow:hidden}.tactic-chain-goal .katex{font-size:.85em}.tactic-chain-arrow{color:var(--dash-text-dim);font-family:var(--dash-font);white-space:nowrap;font-size:.72rem}.tactic-blocked-badge{color:#b4573d;background:rgba(180,87,61,.15);border:1px solid rgba(180,87,61,.3);border-radius:3px;padding:2px 8px;font-family:Berkeley Mono,monospace;font-size:11px}@media (max-width:700px){.hero-canvas-row{flex-direction:column}.explorer-grid{grid-template-columns:1fr}.dash-nav-run-select{display:none}}