
/* PlanSift viewer. Tokens on :root, light + dark (prefers-color-scheme, or data-theme override). No inline styles needed (CSP style-src 'self'). */
:root{color-scheme:light dark;
  --bg:#eceff3; --surface:#ffffff; --surface-2:#f4f6f9; --surface-3:#e9edf2; --ink:#161b22; --ink-2:#444c59; --ink-3:#5d6673; --line:#cfd5de; --line-2:#e2e6ec;
  --accent:#2250cf; --accent-bg:#e4ebfc; --accent-ink:#ffffff; --focus:#1b46c0;
  --ok:#0b8a63; --ok-bg:#dcf4ea; --ok-ink:#065a40;
  --verify:#c07400; --verify-bg:#fcebc8; --verify-ink:#764400;
  --nf:#6b7380; --nf-bg:#e8ebef; --nf-ink:#454c58;
  --alarm:#d1242f; --alarm-bg:#fce0e2; --alarm-ink:#98131d;
  --conflict:#7b3fe0; --conflict-bg:#ece3fd; --conflict-ink:#56208f;
  --m-read:#1a62d6; --m-measured:#0a7388; --m-calculated:#566577; --m-assumed:#a8337f;
  --assumed:#b5348a; --assumed-bg:#f9e3f1; --assumed-ink:#7d1b5d;
  --shadow:0 1px 2px rgba(15,23,42,.08), 0 4px 14px rgba(15,23,42,.10);
  --page-bg:#cfd4db;

  --r:6px; --rh:32px; --font:system-ui,-apple-system,"Segoe UI",Roboto,"Helvetica Neue",Arial,sans-serif; --mono:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;
  --right-w:40vw; --prov-h:52%;}
@media (prefers-color-scheme:dark){:root:not([data-theme="light"]){
  --bg:#0d1117; --surface:#161b22; --surface-2:#1c232c; --surface-3:#242d38; --ink:#e8edf3; --ink-2:#b9c2cf; --ink-3:#97a3b3; --line:#323c49; --line-2:#262f3a;
  --accent:#6b97ff; --accent-bg:#1b2a4d; --accent-ink:#0b1220; --focus:#8fb0ff;
  --ok:#35c795; --ok-bg:#12372b; --ok-ink:#7be3bf;
  --verify:#f0a634; --verify-bg:#43300c; --verify-ink:#ffcf80;
  --nf:#8d97a6; --nf-bg:#262e38; --nf-ink:#b8c1cd;
  --alarm:#ff6b74; --alarm-bg:#4a1c20; --alarm-ink:#ffaab0;
  --conflict:#b48cff; --conflict-bg:#33214f; --conflict-ink:#d6c0ff;
  --m-read:#74a7ff; --m-measured:#4fd0e6; --m-calculated:#9aa8ba; --m-assumed:#ff8fcf;
  --assumed:#ff8fcf; --assumed-bg:#4a1f3b; --assumed-ink:#ffc2e6;
  --shadow:0 1px 2px rgba(0,0,0,.4), 0 6px 20px rgba(0,0,0,.45);
  --page-bg:#0a0d12;
}}
:root[data-theme="dark"]{color-scheme:dark;
  --bg:#0d1117; --surface:#161b22; --surface-2:#1c232c; --surface-3:#242d38; --ink:#e8edf3; --ink-2:#b9c2cf; --ink-3:#97a3b3; --line:#323c49; --line-2:#262f3a;
  --accent:#6b97ff; --accent-bg:#1b2a4d; --accent-ink:#0b1220; --focus:#8fb0ff;
  --ok:#35c795; --ok-bg:#12372b; --ok-ink:#7be3bf;
  --verify:#f0a634; --verify-bg:#43300c; --verify-ink:#ffcf80;
  --nf:#8d97a6; --nf-bg:#262e38; --nf-ink:#b8c1cd;
  --alarm:#ff6b74; --alarm-bg:#4a1c20; --alarm-ink:#ffaab0;
  --conflict:#b48cff; --conflict-bg:#33214f; --conflict-ink:#d6c0ff;
  --m-read:#74a7ff; --m-measured:#4fd0e6; --m-calculated:#9aa8ba; --m-assumed:#ff8fcf;
  --assumed:#ff8fcf; --assumed-bg:#4a1f3b; --assumed-ink:#ffc2e6;
  --shadow:0 1px 2px rgba(0,0,0,.4), 0 6px 20px rgba(0,0,0,.45);
  --page-bg:#0a0d12;
}
:root[data-theme="light"]{color-scheme:light}

*{box-sizing:border-box}
html,body{height:100%;margin:0}
body{background:var(--bg);color:var(--ink);font:13.5px/1.4 var(--font);-webkit-font-smoothing:antialiased;overflow:hidden}
h1,h2,h3{margin:0;font-weight:650}
h2{font-size:15px} h3{font-size:12px;letter-spacing:.04em;text-transform:uppercase;color:var(--ink-3)}
p{margin:.3em 0}
button,input,select{font:inherit;color:inherit}
button{cursor:pointer}
button:disabled{cursor:not-allowed;opacity:.5}
code,.mono{font-family:var(--mono);font-size:12px}
.small{font-size:12px} .muted{color:var(--ink-3)} .dash{color:var(--ink-3)} .bad{color:var(--alarm-ink)}
.sr{position:absolute!important;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap}
.spacer{flex:1}
svg.ic{width:1.15em;height:1.15em;flex:none;vertical-align:-.2em}
svg.ic.xl{width:44px;height:44px}
#sprite{position:absolute;width:0;height:0}
:focus-visible{outline:2px solid var(--focus);outline-offset:1px;border-radius:3px}
.skip{position:absolute;left:-999px;top:0;background:var(--accent);color:var(--accent-ink);padding:6px 10px;z-index:100}
.skip:focus{left:8px;top:8px}
[hidden]{display:none!important}

/* ---- state tokens */
.st-ok{--c:var(--ok);--c-ink:var(--ok-ink);--c-bg:var(--ok-bg)}
.st-verify{--c:var(--verify);--c-ink:var(--verify-ink);--c-bg:var(--verify-bg)}
.st-not_found{--c:var(--nf);--c-ink:var(--nf-ink);--c-bg:var(--nf-bg)}
.st-alarm{--c:var(--alarm);--c-ink:var(--alarm-ink);--c-bg:var(--alarm-bg)}
.st-conflict{--c:var(--conflict);--c-ink:var(--conflict-ink);--c-bg:var(--conflict-bg)}
.st-assumed{--c:var(--assumed);--c-ink:var(--assumed-ink);--c-bg:var(--assumed-bg)}
.sev-ok{--c:var(--ok);--c-ink:var(--ok-ink);--c-bg:var(--ok-bg)} .sev-warn{--c:var(--verify);--c-ink:var(--verify-ink);--c-bg:var(--verify-bg)} .sev-alarm{--c:var(--alarm);--c-ink:var(--alarm-ink);--c-bg:var(--alarm-bg)} .sev-info{--c:var(--nf);--c-ink:var(--nf-ink);--c-bg:var(--nf-bg)}
.chip{display:inline-flex;align-items:center;gap:4px;padding:1px 7px;border-radius:999px;font-size:11.5px;font-weight:600;background:var(--c-bg,var(--surface-3));color:var(--c-ink,var(--ink-2));white-space:nowrap;border:1px solid color-mix(in srgb,var(--c,var(--line)) 35%,transparent)}
.chip.st-found,.chip.st-derived{--c:var(--ok);--c-ink:var(--ok-ink);--c-bg:var(--ok-bg)}
.chip.diff{--c:var(--accent);--c-ink:var(--accent);--c-bg:var(--accent-bg)}
.chip.prov{--c:var(--nf);--c-ink:var(--nf-ink);--c-bg:var(--nf-bg);font-weight:500}
.chip.measure{--c:var(--m-read);--c-ink:var(--ink-2);--c-bg:var(--surface-3);font-weight:500}
.chip.measure.m-unspecified{--c:var(--verify);--c-ink:var(--verify-ink);--c-bg:var(--verify-bg);font-weight:700}
.ask{display:flex;gap:6px;align-items:flex-start;padding:6px 8px;border-radius:var(--r);background:var(--verify-bg);color:var(--verify-ink);margin:4px 0}
.chip.weakchip{--c:var(--verify);--c-ink:var(--verify-ink);--c-bg:var(--verify-bg)}
.chip.origin{--c:var(--ink-3);--c-ink:var(--ink-2);--c-bg:var(--surface-3);font-weight:500}
.m-read{color:var(--m-read)} .m-measured{color:var(--m-measured)} .m-calculated{color:var(--m-calculated)} .m-assumed{color:var(--m-assumed)}

/* ---- buttons */
.btn,.topbar button,.tool{display:inline-flex;align-items:center;gap:6px;padding:5px 10px;border:1px solid var(--line);background:var(--surface);border-radius:var(--r);line-height:1.2}
.btn:hover,.topbar button:hover,.tool:hover{background:var(--surface-3)}
.btn.primary{background:var(--accent);color:var(--accent-ink);border-color:var(--accent);font-weight:600}
.btn.primary:hover{filter:brightness(1.08)}
.btn.small{padding:2px 8px;font-size:12px}
.btn.ghost{border-color:transparent;background:transparent}
.btn.ghost:hover{background:var(--surface-3)}
.keychip{border:1px solid var(--line);background:var(--surface-2);border-radius:4px;padding:0 5px;margin:2px 4px 0 0;font:12px var(--mono);color:var(--ink-2)}
.keychip:hover{border-color:var(--accent);color:var(--accent)}

/* ---- app grid */
.app{height:100vh;height:100dvh;display:flex;flex-direction:column;min-width:0}
.topbar{display:flex;align-items:center;gap:8px;padding:6px 10px;background:var(--surface);border-bottom:1px solid var(--line);flex-wrap:wrap;min-height:46px}
.brand{display:flex;align-items:center;gap:6px;font-weight:750;font-size:15px;color:var(--accent);margin-right:6px}
.brand svg.ic{width:22px;height:22px}
.field select{max-width:170px;padding:5px 8px;border:1px solid var(--line);background:var(--surface);border-radius:var(--r)}
.btns{display:flex;gap:6px;align-items:center}
.badge{font-size:11.5px;padding:2px 8px;border-radius:999px;border:1px solid var(--line);background:var(--surface-2);color:var(--ink-2)}
.badge.js{border-style:dashed}
#run-badge{background:var(--accent-bg);color:var(--accent);border-color:var(--accent)}
.counters{display:flex;gap:6px;align-items:center;flex-wrap:wrap}
.cnt{display:inline-flex;align-items:center;gap:5px;padding:3px 9px;border-radius:var(--r);background:var(--surface-2);border:1px solid var(--line-2)}
.cnt b{font-variant-numeric:tabular-nums;font-size:15px}
.cnt .lbl{color:var(--ink-2)}
.c-assumed svg{color:var(--assumed)} .c-found svg{color:var(--ok)} .c-nf svg{color:var(--nf)} .c-conflict svg{color:var(--conflict)} .c-guess svg{color:var(--ok)}
.c-guess.bad{background:var(--alarm-bg);border-color:var(--alarm)} .c-guess.bad svg{color:var(--alarm)}
.viewtabs{display:flex;gap:2px;background:var(--surface-3);padding:2px;border-radius:var(--r)}
.vtab{border:0!important;background:transparent!important;padding:4px 10px!important}
.vtab.on{background:var(--surface)!important;box-shadow:var(--shadow);font-weight:600}
.banner{display:flex;gap:10px;align-items:flex-start;padding:7px 12px;border-bottom:1px solid var(--line);background:var(--accent-bg);color:var(--ink)}
.banner.warn{background:var(--verify-bg);color:var(--verify-ink)}
.banner .btext{flex:1}

.main{display:flex;flex:1;min-height:0;min-width:0}
.left{flex:1;min-width:0;position:relative;background:var(--page-bg)}
.view{position:absolute;inset:0}
.view-extra{overflow:auto;background:var(--bg)}
.right{width:var(--right-w);min-width:300px;display:flex;flex-direction:column;background:var(--surface);border-left:1px solid var(--line);min-height:0}
.tablepanel{flex:1;min-height:120px;display:flex;flex-direction:column;min-width:0}
.provpanel{height:var(--prov-h);min-height:90px;overflow:auto;border-top:1px solid var(--line);background:var(--surface)}
.splitter{flex:none;background:transparent;position:relative;z-index:5}
.splitter.v{width:7px;margin:0 -3px;cursor:col-resize}
.splitter.h{height:7px;margin:-3px 0;cursor:row-resize}
.splitter:hover,.splitter:focus-visible{background:color-mix(in srgb,var(--accent) 35%,transparent)}
.bottom{background:var(--surface);border-top:1px solid var(--line);max-height:24vh;display:flex;flex-direction:column;flex:none}

/* ---- drawing */
.plan{overflow:hidden}
.plan-viewport{position:absolute;inset:0;overflow:hidden;touch-action:none;cursor:grab;outline-offset:-2px}
.plan-viewport.panning{cursor:grabbing}
.plan-stage{position:absolute;left:0;top:0;transform-origin:0 0;will-change:transform;background:#fff;box-shadow:0 0 0 1px rgba(0,0,0,.25),0 8px 30px rgba(0,0,0,.25)}
.plan-gl{position:absolute;left:0;top:0;width:100%;height:100%;pointer-events:none}
.plan-stage.gpu{background:transparent;box-shadow:none}
.plan-img{position:absolute;inset:0;width:100%;height:100%;user-select:none;-webkit-user-drag:none;image-rendering:auto}
.plan-blank{position:absolute;inset:0;display:grid;place-items:center;background:repeating-linear-gradient(45deg,#fafafa 0 12px,#f1f1f1 12px 24px);color:#444;text-align:center}
.blank-note{display:flex;flex-direction:column;gap:6px;max-width:60%;padding:14px;background:rgba(255,255,255,.9);border:1px dashed #888;border-radius:8px;font-size:calc(14px / var(--k,1))}
.plan-ov{position:absolute;inset:0;overflow:visible}
.plan-tools{position:absolute;left:10px;top:10px;display:flex;flex-direction:column;gap:4px;z-index:3}
.tool{padding:6px;box-shadow:var(--shadow)}
.tool.on{background:var(--accent);color:var(--accent-ink);border-color:var(--accent)}
.plan-status{position:absolute;left:10px;bottom:8px;font:11px var(--mono);background:var(--surface);padding:1px 6px;border-radius:4px;border:1px solid var(--line);opacity:.85}
.plan-tip{position:absolute;left:0;top:0;pointer-events:none;background:var(--surface);color:var(--ink);border:1px solid var(--line);border-radius:6px;padding:6px 9px;box-shadow:var(--shadow);max-width:320px;z-index:6;font-size:12px}
.plan-tip .mono{color:var(--ink-3);margin-top:2px;white-space:pre-wrap;word-break:break-word}
.plan-msg{position:absolute;left:50%;top:10px;transform:translateX(-50%);background:var(--verify-bg);color:var(--verify-ink);padding:5px 12px;border-radius:6px;z-index:4}
.box{fill:var(--bx-fill,transparent);stroke:var(--c,var(--ok));stroke-width:1.6;vector-effect:non-scaling-stroke;cursor:pointer;paint-order:stroke;pointer-events:all;--bx-fill:color-mix(in srgb,var(--c,var(--ok)) 10%,transparent)}
.box.st-assumed{--c:var(--assumed)} .box.st-ok{--c:var(--ok)} .box.st-verify{--c:var(--verify)} .box.st-not_found{--c:var(--nf)} .box.st-alarm{--c:var(--alarm)} .box.st-conflict{--c:var(--conflict)}
.box.m-measured{fill:url(#h-measured)} .box.m-calculated{fill:url(#h-calculated);stroke-dasharray:1 3} .box.m-assumed{fill:url(#h-assumed);stroke-dasharray:6 3}
.pat-line{stroke:var(--m-measured)}
#h-assumed .pat-line{stroke:var(--m-assumed)} #h-calculated .pat-line{stroke:var(--m-calculated)}
.box.big{fill:none;stroke-width:1;stroke-dasharray:none;opacity:.75}
.box.big:hover,.box.big.sel,.box.big.hover,.box.big.leaf,.box.big.strong{fill:var(--bx-fill)}
.box:hover,.box.hover{stroke-width:3;fill-opacity:1;filter:drop-shadow(0 0 3px var(--c))}
.has-hl .box:not(.sel):not(.leaf):not(.strong):not(.soft):not(.hover){opacity:.28}
.box.sel{stroke-width:3.2;opacity:1}
.box.leaf{stroke-width:2.6;stroke:var(--accent);stroke-dasharray:none;opacity:1;--c:var(--accent)}
.box.strong{stroke-width:3.4;stroke:var(--alarm);opacity:1;--c:var(--alarm)}
.box.soft{stroke-width:2;opacity:.9}
.g-poly polygon,.poly{fill:none;stroke:var(--accent);stroke-width:1.2;vector-effect:non-scaling-stroke;opacity:.7;stroke-dasharray:4 3;pointer-events:visiblePainted}
.g-poly.off{display:none}
.poly.bad{stroke:var(--alarm);fill:color-mix(in srgb,var(--alarm) 14%,transparent);stroke-dasharray:none}
.halo{fill:none;stroke:var(--accent);stroke-width:3;vector-effect:non-scaling-stroke;pointer-events:none;animation:pulse 1.6s ease-out 2}
.halo.alarm{stroke:var(--alarm)} .halo.leaf{stroke:var(--accent);stroke-width:2;animation:none;stroke-dasharray:5 3} .halo.cand{stroke:var(--verify);stroke-dasharray:6 3}
@keyframes pulse{0%{stroke-opacity:1;stroke-width:3}70%{stroke-opacity:.35;stroke-width:9}100%{stroke-opacity:1;stroke-width:3}}
.cand-box{fill:none;stroke:var(--verify);stroke-width:2;vector-effect:non-scaling-stroke;stroke-dasharray:6 4}
.cand-label{font:600 calc(11px / var(--k,1)) var(--font);fill:var(--verify-ink);paint-order:stroke;stroke:var(--surface);stroke-width:calc(3px / var(--k,1))}
.ulabel{display:none;font:700 calc(10px / var(--k,1)) var(--font);fill:#111;paint-order:stroke;stroke:#fff;stroke-width:calc(2.5px / var(--k,1));pointer-events:none}
.unc .ulabel{display:block}
.unc .plan-img{filter:grayscale(1) contrast(.85) opacity(.55)}
.unc .box{--bx-fill:color-mix(in srgb,var(--verify) calc(var(--u,0) * 85%),transparent);fill:var(--bx-fill)}

.emptycard{position:absolute;left:50%;top:40%;transform:translate(-50%,-50%);z-index:5;max-width:min(440px,86%);text-align:center;background:var(--surface);border:1px solid var(--line);border-radius:12px;padding:20px 22px;box-shadow:var(--shadow);display:flex;flex-direction:column;align-items:center;gap:6px}
.emptycard svg.xl{color:var(--accent)}

/* ---- table */
.tbl-tools{display:flex;gap:8px;align-items:center;padding:6px 8px;border-bottom:1px solid var(--line);flex-wrap:wrap}
.chips{display:flex;gap:4px;flex-wrap:wrap}
.fchip{border:1px solid var(--line);background:var(--surface-2);border-radius:999px;padding:2px 9px;font-size:12px;display:inline-flex;gap:5px;align-items:center}
.fchip.on{background:var(--accent);color:var(--accent-ink);border-color:var(--accent)}
.fchip .n{font-variant-numeric:tabular-nums;opacity:.85}
.fchip.f-alarm:not(.on) .n,.fchip.f-conflict:not(.on) .n{font-weight:700}
.searchbox{display:flex;align-items:center;gap:4px;border:1px solid var(--line);border-radius:var(--r);padding:0 7px;background:var(--surface-2);flex:1;min-width:140px}
.search{border:0;background:transparent;padding:4px 2px;min-width:0;flex:1;outline:0}
.searchbox:focus-within{outline:2px solid var(--focus)}
.tbl-grid{display:flex;flex-direction:column;flex:1;min-height:0}
.tbl-head,.row{display:grid;grid-template-columns:26px minmax(120px,1fr) minmax(70px,.7fr) 40px 76px 36px;align-items:center;column-gap:6px;padding:0 8px}
.tbl-head{font-size:11px;text-transform:uppercase;letter-spacing:.04em;color:var(--ink-3);height:26px;border-bottom:1px solid var(--line);background:var(--surface-2)}
.tbl-body{position:relative;overflow:auto;flex:1;outline-offset:-2px}
.tbl-spacer{width:1px}
.tbl-win{position:absolute;left:0;right:0;top:0}
.row{position:absolute;left:0;right:0;height:38px;border-bottom:1px solid var(--line-2);cursor:pointer;border-left:3px solid var(--c,transparent);will-change:transform}
.row:hover,.row.hover{background:var(--surface-3)}
.row.sel{background:var(--accent-bg);box-shadow:inset 0 0 0 1px var(--accent)}
.row.flash{animation:flash 1.6s ease-out}
@keyframes flash{0%{background:var(--verify-bg)}100%{background:transparent}}
.row .c-state svg{color:var(--c)}
.row.group{background:var(--surface-2);font-weight:650;border-left-color:transparent;gap:8px;display:flex;align-items:center;text-transform:capitalize}
.row.group .c-state svg{color:var(--ink-3)}
.row.group .gcount{color:var(--ink-3);font-weight:400;font-size:12px;margin-right:auto;text-transform:none}
.row.group .chip{text-transform:none}
.c-name{display:flex;flex-direction:column;justify-content:center;gap:0;min-width:0;overflow:hidden;white-space:nowrap;line-height:1.25}
.c-name .l2{display:flex;gap:5px;align-items:center}
.row.group .c-name{flex-direction:row}
.pname{overflow:hidden;text-overflow:ellipsis;font-weight:550}
.ent{font:10.5px var(--mono);color:var(--ink-3);overflow:hidden;text-overflow:ellipsis}
.tag{font-size:10.5px;color:var(--accent);border:1px solid var(--accent);border-radius:4px;padding:0 4px;display:inline-flex;gap:2px;align-items:center}
.tag.partial{color:var(--verify-ink);border-color:var(--verify);background:var(--verify-bg);font-weight:700}
.tag.assumed{color:var(--assumed-ink);border-color:var(--assumed);background:var(--assumed-bg);font-weight:700}
.c-val{text-align:right;font-variant-numeric:tabular-nums;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;font-weight:600}
.c-val .dash{font-weight:400;font-size:12px}
.row.rejected .c-val{text-decoration:line-through}
.c-meth{display:flex;justify-content:center}
.c-conf{display:flex;align-items:center;gap:5px}
.c-src{color:var(--ink-3);font-size:12px;text-align:right}
.bar{display:inline-block;width:34px;height:6px;border-radius:3px;background:var(--surface-3);overflow:hidden;flex:none}
.bar.wide{width:80px}
.bar .fill{display:block;height:100%;background:var(--c,var(--ink-3))}
.num{font-variant-numeric:tabular-nums;font-size:12px}
.fill.w0{width:0%}
.fill.w5{width:5%}
.fill.w10{width:10%}
.fill.w15{width:15%}
.fill.w20{width:20%}
.fill.w25{width:25%}
.fill.w30{width:30%}
.fill.w35{width:35%}
.fill.w40{width:40%}
.fill.w45{width:45%}
.fill.w50{width:50%}
.fill.w55{width:55%}
.fill.w60{width:60%}
.fill.w65{width:65%}
.fill.w70{width:70%}
.fill.w75{width:75%}
.fill.w80{width:80%}
.fill.w85{width:85%}
.fill.w90{width:90%}
.fill.w95{width:95%}
.fill.w100{width:100%}
.tbl-empty{padding:30px 20px;text-align:center;color:var(--ink-3)}

/* ---- provenance */
.prov{padding:10px 12px 18px}
.phead{border-left:4px solid var(--c,var(--line));padding-left:10px;margin-bottom:8px}
.ptitle{display:flex;gap:8px;align-items:center}
.ptitle .state{width:22px;height:22px;color:var(--c)}
.pkey{display:flex;gap:6px;align-items:center;margin:2px 0 6px;color:var(--ink-3)}
.pvalue{display:flex;align-items:center;gap:8px;flex-wrap:wrap}
.pvalue .big{font-size:24px;font-weight:700;font-variant-numeric:tabular-nums}
.pvalue .big.dash{font-size:17px;font-weight:500}
.facts{display:grid;grid-template-columns:auto 1fr;gap:3px 12px;margin:8px 0 0}
.facts dt{color:var(--ink-3)} .facts dd{margin:0;display:flex;align-items:center;gap:5px}
.confcell{display:inline-flex;align-items:center;gap:6px}
.psec{margin:12px 0;padding-top:8px;border-top:1px solid var(--line-2)}
.psec h3{margin-bottom:6px}
.sechead{display:flex;align-items:center;gap:6px;margin-bottom:6px}
.src{display:flex;gap:10px;align-items:flex-start;margin-bottom:8px;flex-wrap:wrap}
.src-main{flex:1;min-width:200px}
.quote{margin:4px 0 6px;padding:4px 8px;background:var(--surface-2);border-left:3px solid var(--m-read);white-space:pre-wrap;word-break:break-word}
.crop{position:relative;width:232px;height:70px;border:1px solid var(--line);border-radius:4px;background-color:#fff;background-repeat:no-repeat;overflow:hidden;flex:none}
.crop-box{position:absolute;left:50%;top:50%;transform:translate(-50%,-50%);border:2px solid var(--alarm);border-radius:2px;box-shadow:0 0 0 1px #fff}
.cand{display:flex;align-items:center;gap:6px;flex-wrap:wrap;padding:4px 0;border-bottom:1px dashed var(--line-2)}
.cand .cval{font-weight:700;min-width:60px;font-variant-numeric:tabular-nums}
.cand .cquote{color:var(--ink-3);flex:1;min-width:80px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}
.warn{display:flex;gap:8px;padding:5px 8px;margin:4px 0;border-radius:var(--r);background:var(--verify-bg);color:var(--verify-ink)}
.warn.w-conflict{background:var(--conflict-bg);color:var(--conflict-ink)} .warn.w-ratio_outlier{background:var(--alarm-bg);color:var(--alarm-ink)}
.alarmref{display:flex;gap:8px;align-items:flex-start;text-align:left;width:100%;border:1px solid var(--line);background:var(--surface-2);border-radius:var(--r);padding:6px 8px;margin:3px 0}
.alarmref:hover{border-color:var(--accent)}
.alarmref.sev-alarm svg{color:var(--alarm)} .alarmref.sev-warn svg{color:var(--verify)}
.editrow{display:flex;gap:6px;align-items:center}
.editin{flex:1;min-width:80px;padding:6px 8px;border:1px solid var(--line);border-radius:var(--r);background:var(--surface-2);font:15px var(--font);font-variant-numeric:tabular-nums}
.editin:focus{outline:2px solid var(--focus);background:var(--surface)}
.editprev{min-height:20px;margin:4px 0;font-size:12.5px}
.assume{display:flex;gap:6px;align-items:flex-start;margin:2px 0 6px;font-size:12px;color:var(--ink-2)}
.assume input{margin-top:2px}
.editbtns{display:flex;gap:6px;flex-wrap:wrap}
.unit{color:var(--ink-3);min-width:1.5em}
.pempty{padding:14px 4px;color:var(--ink-2)}
.formula{margin:2px 0;color:var(--ink-2)}
.why{padding:6px 8px;background:var(--verify-bg);color:var(--verify-ink);border-radius:var(--r);margin:6px 0}
.ratio-parts{display:flex;flex-direction:column;gap:6px}
.rpart{display:flex;gap:8px;align-items:center;flex-wrap:wrap}
.rlabel{width:84px;color:var(--ink-3)}
.msg{margin:6px 0 0}

/* ---- tree */
.tree{font-size:12.5px;margin-top:6px}
.tn{display:flex;align-items:flex-start;gap:2px;padding:3px 4px 3px calc(4px + var(--lvl,0) * 16px);border-radius:4px;cursor:pointer;border-left:3px solid transparent}
.tn:hover{background:var(--surface-3)}
.tn.sel{background:var(--accent-bg)}
.tn.weak{background:var(--verify-bg);border-left-color:var(--verify)}
.tn.cand{opacity:.85;font-style:italic}
.tn-chev{width:18px;flex:none;border:0;background:transparent;padding:0;color:var(--ink-3);display:grid;place-items:center;height:20px}
.tn-chev.none{visibility:hidden}
.tn-main{flex:1;min-width:0}
.tn-line{display:flex;align-items:center;gap:6px;flex-wrap:wrap}
.tn-label{font-weight:550}
.tn-val{font-variant-numeric:tabular-nums;font-weight:700;margin-left:auto}
.tn-conf{display:inline-flex;gap:4px;align-items:center}
.tn-note{color:var(--ink-3);font-size:12px;margin:1px 0 2px;white-space:pre-wrap;word-break:break-word}
.tn-note.mono{font-size:11.5px}
.tn.st-not_found .tn-label,.tn.k-missing .tn-label{color:var(--nf-ink)}
.tn.k-missing{--c:var(--nf)} .tn.k-missing .tn-line svg{color:var(--nf)}
.tn.st-conflict .tn-line svg{color:var(--conflict)}
.tn.k-source .tn-line svg{color:var(--m-read)}
.tn .tn-conf .bar{--c:var(--ink-3)}

/* ---- bottom */
.bhead{display:flex;align-items:center;gap:8px;padding:4px 8px;border-bottom:1px solid var(--line-2);flex-wrap:wrap}
.btabs{display:flex;gap:2px}
.btab{border:0;background:transparent;padding:4px 10px;border-radius:var(--r) var(--r) 0 0;border-bottom:2px solid transparent}
.btab.on{border-bottom-color:var(--accent);font-weight:650}
.btab .n{margin-left:5px;background:var(--surface-3);border-radius:999px;padding:0 6px;font-size:11px}
.btab .n.alert{background:var(--alarm);color:#fff}
.bsum{display:flex;gap:6px}
.bbody{overflow:auto;padding:6px 8px}
.bottom.collapsed .bbody{display:none}
.bottom.collapsed .collapse svg{transform:rotate(180deg)}
.cards{display:flex;gap:10px;align-items:stretch}
.gcard{flex:0 0 268px;min-width:0;text-align:left;border:1px solid var(--line);border-radius:8px;background:var(--surface-2);padding:8px 10px;display:flex;flex-direction:column;gap:3px}
.gcard:hover{border-color:var(--accent)}
.gcard.sel{outline:2px solid var(--accent)}
.gcard.sev-alarm{border-color:var(--alarm);background:color-mix(in srgb,var(--alarm) 7%,var(--surface))}
.gcard.sev-warn{border-color:var(--verify)}
.gcard.finding .gsub{white-space:normal;max-height:3.2em;overflow:hidden}
.gtitle{display:flex;gap:4px 6px;align-items:center;flex-wrap:wrap;min-width:0}
.gtitle strong{overflow:hidden;text-overflow:ellipsis;white-space:nowrap;min-width:8ch;flex:1 1 8ch}
.gtitle .chip{flex:none}
.gtitle svg{color:var(--c)}
.gsub{color:var(--ink-3);font-size:12px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}
.greason{color:var(--verify-ink);background:var(--verify-bg);border-radius:4px;padding:2px 6px;font-size:12px}
.gauge{width:100%;height:auto;display:block}
.g-track{fill:var(--surface-3);stroke:var(--line)}
.g-band{fill:color-mix(in srgb,var(--ok) 22%,transparent);stroke:var(--ok);stroke-width:1.5}
.g-band.outer{fill:color-mix(in srgb,var(--verify) 14%,transparent);stroke:var(--verify);stroke-dasharray:4 2}
.g-band.outer.bs-alarm{stroke:var(--alarm);fill:color-mix(in srgb,var(--alarm) 8%,transparent)}
.g-band.inner{fill:color-mix(in srgb,var(--ok) 30%,transparent)}
.tiers{display:flex;gap:4px;flex-wrap:wrap}
.g-mark.in{fill:var(--ok);stroke:var(--surface);stroke-width:2}
.g-mark.out{fill:var(--c,var(--alarm));stroke:var(--surface);stroke-width:2}
.g-stem{stroke:var(--ink-3);stroke-width:1;stroke-dasharray:2 2}
.g-na{fill:none;stroke:var(--nf);stroke-width:2;stroke-dasharray:3 3}
.g-tick,.g-end,.g-clip{font:10.5px var(--font);fill:var(--ink-3)}
.g-val{font:700 12px var(--font);fill:var(--ink);paint-order:stroke;stroke:var(--surface-2);stroke-width:3px}
.gcard.incomplete .g-mark.out{fill:var(--nf)}
.boqwrap{overflow:auto}
table.boq{border-collapse:collapse;width:100%}
.boq th,.boq td{padding:4px 8px;border-bottom:1px solid var(--line-2);text-align:left}
.boq td.num,.boq th:nth-child(3){text-align:right}
.boq tr{cursor:pointer} .boq tr:hover{background:var(--surface-3)}
.bempty{color:var(--ink-3);padding:6px}

/* ---- toasts, modal, menu, dropzone */
.toasts{position:fixed;right:12px;bottom:12px;display:flex;flex-direction:column;gap:6px;z-index:60;max-width:min(520px,92vw)}
.toast{display:flex;gap:8px;align-items:center;background:var(--ink);color:var(--surface);padding:8px 10px;border-radius:8px;box-shadow:var(--shadow)}
.toast .btn{color:var(--ink);background:var(--surface)} .toast .btn.ghost{background:transparent;color:inherit}
.toast.alarm{background:var(--alarm);color:#fff} .toast.ok{background:var(--ok);color:#fff} .toast.error{background:var(--alarm);color:#fff} .toast.warn{background:var(--verify);color:#1b1200}
.modal{position:fixed;inset:0;background:rgba(0,0,0,.45);display:grid;place-items:center;z-index:80}
.modal-card{background:var(--surface);border-radius:12px;padding:16px 18px;max-width:min(680px,94vw);max-height:88vh;overflow:auto;box-shadow:var(--shadow)}
.keys{display:grid;grid-template-columns:auto 1fr;gap:5px 14px;margin:10px 0}
.keys dd{margin:0} kbd{font:12px var(--mono);border:1px solid var(--line);border-bottom-width:2px;border-radius:4px;padding:1px 6px;background:var(--surface-2)}
.legend{list-style:none;padding:0;margin:4px 0}
.legend li{display:flex;gap:6px;align-items:center;margin:3px 0}
.legend .st-assumed{color:var(--assumed)}.legend .st-ok{color:var(--ok)}.legend .st-verify{color:var(--verify)}.legend .st-not_found{color:var(--nf)}.legend .st-alarm{color:var(--alarm)}.legend .st-conflict{color:var(--conflict)}
.menu{position:fixed;background:var(--surface);border:1px solid var(--line);border-radius:8px;box-shadow:var(--shadow);padding:4px;display:flex;flex-direction:column;z-index:70;min-width:260px}
.menu button{border:0;background:transparent;text-align:left;padding:6px 10px;border-radius:5px}
.menu button:hover:not(:disabled){background:var(--surface-3)}
.dropzone{position:fixed;inset:0;background:color-mix(in srgb,var(--accent) 22%,rgba(0,0,0,.35));display:grid;place-items:center;z-index:90;text-align:center;color:#fff;border:4px dashed #fff;margin:10px;border-radius:14px;pointer-events:none}
.dropzone p{font-size:20px;margin:6px} .dropzone small{max-width:480px;display:block}

/* ---- run panel */
.modal-card.run{width:min(620px,94vw)}
.runform{display:grid;grid-template-columns:1fr 1fr;gap:8px 12px;margin:10px 0}
.runform label{display:flex;flex-direction:column;gap:3px;font-size:12px;color:var(--ink-3);min-width:0}
.runform select,.runform input{width:100%;min-width:0;text-overflow:ellipsis;padding:6px 8px;border:1px solid var(--line);border-radius:var(--r);background:var(--surface-2);color:var(--ink);font-size:13px}
.runbtns{display:flex;gap:8px;margin:8px 0}
.ticker{list-style:none;display:flex;gap:6px;padding:0;margin:10px 0 6px;flex-wrap:wrap}
.ticker li{display:flex;gap:5px;align-items:center;padding:2px 8px;border-radius:999px;background:var(--surface-3);color:var(--ink-3)}
.ticker li.cur{background:var(--accent-bg);color:var(--accent);font-weight:600}
.ticker li.done{background:var(--ok-bg);color:var(--ok-ink)}
.runbar{height:6px;border-radius:3px;background:var(--surface-3);overflow:hidden}
.runbar .fill{display:block;height:100%;background:var(--accent)}
.runlog{background:var(--surface-2);border:1px solid var(--line-2);border-radius:var(--r);padding:8px;margin:8px 0 0;max-height:180px;overflow:auto;white-space:pre-wrap;min-height:60px}
@media (max-width:640px){.runform{grid-template-columns:1fr}}

/* ---- BoQ / explain views */
.tmbar{display:flex;align-items:center;gap:10px;flex-wrap:wrap;margin-bottom:8px}
.crumbs{display:flex;align-items:center;gap:4px;flex-wrap:wrap}
.crumb{border:0;background:transparent;color:var(--accent);padding:2px 4px;border-radius:4px;text-decoration:underline}
.crumb[aria-current]{color:var(--ink);text-decoration:none;font-weight:650}
.sep{color:var(--ink-3)}
.segs{display:flex;gap:0}
.seg{border:1px solid var(--line);background:var(--surface);padding:4px 10px;display:inline-flex;gap:5px;align-items:center}
.seg:first-child{border-radius:var(--r) 0 0 var(--r)} .seg:last-child{border-radius:0 var(--r) var(--r) 0}
.seg.on{background:var(--accent);color:var(--accent-ink);border-color:var(--accent)}
.metric{padding:4px 8px;border:1px solid var(--line);border-radius:var(--r);background:var(--surface)}
.tmlegend{display:flex;gap:12px;flex-wrap:wrap;margin:4px 0 8px;font-size:12px;color:var(--ink-2)}
.tmlegend .lg{display:inline-flex;align-items:center;gap:5px}
.tmlegend .sw{width:16px;height:12px;border:1px solid var(--line);border-radius:2px;display:inline-block}
.tmhost{height:min(62vh,640px);min-height:260px;position:relative;border:1px solid var(--line);border-radius:var(--r);background:var(--surface);overflow:auto}
.tmsvg{display:block}
.tmn{cursor:pointer;outline:none}
.tmn:hover rect,.tmn:focus-visible rect{stroke:var(--accent);stroke-width:2.5}
.tmn:focus-visible{outline:none}
.tminfo{margin:4px 0}

/* ---- dependency graph */
.dagbody{display:grid;grid-template-columns:minmax(0,1fr) 280px;gap:10px;min-height:0}
.daghost{height:min(66vh,700px);min-height:300px;border:1px solid var(--line);border-radius:var(--r);background:var(--surface);overflow:hidden;position:relative}
.dagsvg{display:block;width:100%;height:100%;cursor:grab;outline-offset:-2px}
.dagsvg.panning{cursor:grabbing}
.dn{cursor:pointer;outline:none}
.dn:hover rect,.dn:focus-visible rect{stroke:var(--accent);stroke-width:2.6}
.dagside{border:1px solid var(--line);border-radius:var(--r);padding:10px;background:var(--surface);overflow:auto;max-height:min(66vh,700px)}
.dagside .keychip{display:inline-block}
.daginfo{display:flex;gap:6px;flex-wrap:wrap}
.tmlegend .lg.root{color:var(--alarm-ink)}
@media (max-width:900px){.dagbody{grid-template-columns:1fr}}

/* ---- constraint inspector */
.rbody{display:grid;grid-template-columns:minmax(260px,.9fr) minmax(0,1.3fr);gap:14px;min-height:0}
.rleft,.rright{min-width:0}
.rcat{border:1px solid var(--line);border-radius:var(--r);margin-bottom:8px;background:var(--surface)}
.rcathead{display:flex;align-items:center;gap:8px;width:100%;border:0;background:transparent;padding:6px 8px;text-align:left;text-transform:capitalize}
.rcount{display:flex;gap:4px;margin-left:auto;flex-wrap:wrap}
.rrules{list-style:none;margin:0;padding:0 8px 6px}
.rrule{display:flex;gap:8px;padding:5px 0;border-top:1px solid var(--line-2)}
.rrule svg{flex:none;margin-top:2px}
.rrule.failed svg{color:var(--alarm)} .rrule.passed svg{color:var(--ok)} .rrule.not_evaluable svg{color:var(--nf)}
.rtitle{display:flex;gap:6px;align-items:baseline;flex-wrap:wrap}
.fcards{display:flex;flex-direction:column;gap:10px}
.fcard{border:1px solid var(--line);border-left:5px solid var(--c,var(--line));border-radius:var(--r);padding:8px 10px;background:var(--surface)}
.fcard.sel{outline:2px solid var(--accent)}
.fhead{display:flex;align-items:center;gap:8px;flex-wrap:wrap}
.fmsg{margin:6px 0;color:var(--ink-2)}
.fsec{margin:8px 0}
.fsec h4{margin:0 0 4px;font-size:12px;text-transform:uppercase;letter-spacing:.04em;color:var(--ink-3)}
.fsec.conflict{background:var(--verify-bg);border-radius:var(--r);padding:6px 8px}
.chip.cert{font-weight:700}
.chip.c-proven{--c:var(--alarm);--c-ink:var(--alarm-ink);--c-bg:var(--alarm-bg)}
.chip.c-likely{--c:var(--verify);--c-ink:var(--verify-ink);--c-bg:var(--verify-bg)}
.chip.c-possible{--c:var(--nf);--c-ink:var(--nf-ink);--c-bg:var(--nf-bg)}
.resid{display:flex;align-items:center;gap:8px;flex-wrap:wrap}
.rbar{position:relative;width:160px;height:8px;border-radius:4px;background:var(--surface-3);overflow:hidden}
.rbar .rfill{position:absolute;left:0;top:0;bottom:0;background:var(--ok)}
.rbar.over .rfill{background:var(--alarm)}
.rbar .rtol{position:absolute;top:-2px;bottom:-2px;width:2px;background:var(--ink);opacity:.7}
.rbar .rfill.w5,.rbar .rfill.w0{min-width:2px}
.rbar .rtol{background:var(--ink)}
.suspect{display:flex;align-items:center;gap:8px;width:100%;text-align:left;border:1px solid var(--line);background:var(--surface-2);border-radius:var(--r);padding:3px 8px;margin:2px 0}
.suspect:hover{border-color:var(--accent)}
.suspect .sbar{width:60px;height:6px;border-radius:3px;background:var(--surface-3);overflow:hidden;flex:none}
.suspect .sbar .fill{display:block;height:100%;background:var(--alarm)}
.suspect .sname{font-weight:600}
.chipsrow{display:flex;gap:4px;flex-wrap:wrap;margin:4px 0}
.chipsrow .suspect{width:auto}
.sugg{display:flex;align-items:center;gap:8px;flex-wrap:wrap;margin:4px 0}
.fexplain{margin-top:6px}
.fexplain summary{cursor:pointer;color:var(--accent)}
.bempty.ok{color:var(--ok-ink)}
.backpill{position:absolute;right:12px;top:10px;z-index:4;box-shadow:var(--shadow)}
@media (max-width:900px){.rbody{grid-template-columns:1fr}}

.rbar .rfill.w0{width:0%}.rbar .rtol.w0{left:0%}
.rbar .rfill.w5{width:5%}.rbar .rtol.w5{left:5%}
.rbar .rfill.w10{width:10%}.rbar .rtol.w10{left:10%}
.rbar .rfill.w15{width:15%}.rbar .rtol.w15{left:15%}
.rbar .rfill.w20{width:20%}.rbar .rtol.w20{left:20%}
.rbar .rfill.w25{width:25%}.rbar .rtol.w25{left:25%}
.rbar .rfill.w30{width:30%}.rbar .rtol.w30{left:30%}
.rbar .rfill.w35{width:35%}.rbar .rtol.w35{left:35%}
.rbar .rfill.w40{width:40%}.rbar .rtol.w40{left:40%}
.rbar .rfill.w45{width:45%}.rbar .rtol.w45{left:45%}
.rbar .rfill.w50{width:50%}.rbar .rtol.w50{left:50%}
.rbar .rfill.w55{width:55%}.rbar .rtol.w55{left:55%}
.rbar .rfill.w60{width:60%}.rbar .rtol.w60{left:60%}
.rbar .rfill.w65{width:65%}.rbar .rtol.w65{left:65%}
.rbar .rfill.w70{width:70%}.rbar .rtol.w70{left:70%}
.rbar .rfill.w75{width:75%}.rbar .rtol.w75{left:75%}
.rbar .rfill.w80{width:80%}.rbar .rtol.w80{left:80%}
.rbar .rfill.w85{width:85%}.rbar .rtol.w85{left:85%}
.rbar .rfill.w90{width:90%}.rbar .rtol.w90{left:90%}
.rbar .rfill.w95{width:95%}.rbar .rtol.w95{left:95%}
.rbar .rfill.w100{width:100%}.rbar .rtol.w100{left:100%}

/* ---- price waterfall */
.wfhost{border:1px solid var(--line);border-radius:var(--r);background:var(--surface);overflow:auto;min-height:200px}
.wfsvg{display:block}
.wfbanner .banner{border-radius:var(--r);border:1px solid var(--verify);margin-bottom:8px}
.wftable{margin:8px 0}
.wfnotes p{margin:3px 0}
.boq tr.total td{font-weight:700;background:var(--surface-2)}

/* ---- 3D tab */
.v3host{position:relative;height:min(66vh,680px);min-height:300px;border:1px solid var(--line);border-radius:var(--r);background:var(--surface);overflow:hidden}
.v3-msg{display:flex;flex-direction:column;align-items:center;justify-content:center;height:100%;text-align:center;gap:6px;padding:20px;color:var(--ink-2)}
.v3-msg.error{color:var(--alarm-ink)}
.v3-title{font-size:16px;font-weight:650;color:var(--ink)}

/* ---- extra views */
.xview{padding:12px;min-height:100%}
.xview h2{margin-bottom:6px}

/* ---- responsive / print / motion */
@media (max-width:1700px){.btns button span{display:none}}
@media (max-width:900px){
  body{overflow:auto}
  .app{height:auto;min-height:100vh}
  .main{flex-direction:column}
  .left{height:58vh;flex:none}
  .splitter.v{display:none}
  .right{width:auto;min-width:0;border-left:0;border-top:1px solid var(--line)}
  .tablepanel{height:46vh;flex:none}
  .provpanel{height:auto;max-height:none;overflow:visible}
  .bottom{max-height:none}
  .cards{flex-wrap:wrap}
}
@media (max-width:640px){
  .topbar{gap:6px}
  .btns span{display:none}
  .counters .lbl{display:none}
  .tbl-head,.row{grid-template-columns:24px minmax(90px,1fr) minmax(60px,.8fr) 30px 56px 0}
  .c-src{display:none}
  .crop{width:100%}
}
@media (prefers-reduced-motion:reduce){*{animation:none!important;transition:none!important}}
@media (forced-colors:active){.box{stroke:CanvasText}.chip,.fchip{border:1px solid CanvasText}}
@media print{
  body{overflow:visible;background:#fff}
  .topbar,.plan-tools,.plan-status,.splitter,.tablepanel,.bottom,.toasts,.banner,.viewtabs{display:none!important}
  .app{display:block;height:auto}
  .main{display:block}
  .left{position:static;height:auto;background:#fff}
  .view{position:static}
  .plan-viewport{position:static;height:75vh}
  .right{width:auto;border:0;display:block}
  .provpanel{height:auto;overflow:visible;border:0}
}
