/* Palette validated with the dataviz skill; re-run its validator before changing colors. */
:root {
  color-scheme: light;

  --page:        #f9f9f7;
  --surface:     #fcfcfb;
  --surface-2:   #f3f2ee;
  --ink:         #0b0b0b;
  --ink-2:       #52514e;
  --muted:       #898781;
  --grid:        #e1e0d9;
  --axis:        #c3c2b7;
  --border:      rgba(11,11,11,.10);
  --border-2:    rgba(11,11,11,.16);

  --s1: #2a78d6;
  --s2: #eb6834;
  --s3: #1baf7a;
  --s4: #eda100;
  --s5: #e87ba4;
  --s6: #008300;
  --s7: #4a3aa7;
  --s8: #e34948;

  --good:     #0ca30c;
  --warning:  #fab219;
  --serious:  #ec835a;
  --critical: #d03b3b;
  --good-ink: #006300;

  --font: system-ui, -apple-system, "Segoe UI", sans-serif;
  --mono: ui-monospace, "SF Mono", "SFMono-Regular", Menlo, monospace;
  --radius: 10px;
  --radius-sm: 7px;
  --gap: 14px;
  --pad: 16px;
  --maxw: 1360px;
}

@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    color-scheme: dark;
    --page:      #0d0d0d;
    --surface:   #1a1a19;
    --surface-2: #232322;
    --ink:       #ffffff;
    --ink-2:     #c3c2b7;
    --muted:     #898781;
    --grid:      #2c2c2a;
    --axis:      #383835;
    --border:    rgba(255,255,255,.10);
    --border-2:  rgba(255,255,255,.17);

    --s1: #3987e5;  --s2: #d95926;  --s3: #199e70;  --s4: #c98500;
    --s5: #d55181;  --s6: #008300;  --s7: #9085e9;  --s8: #e66767;

    --good: #0ca30c; --warning: #fab219; --serious: #ec835a; --critical: #d03b3b;
    --good-ink: #0ca30c;
  }
}
:root[data-theme="dark"] {
  color-scheme: dark;
  --page:      #0d0d0d;
  --surface:   #1a1a19;
  --surface-2: #232322;
  --ink:       #ffffff;
  --ink-2:     #c3c2b7;
  --muted:     #898781;
  --grid:      #2c2c2a;
  --axis:      #383835;
  --border:    rgba(255,255,255,.10);
  --border-2:  rgba(255,255,255,.17);

  --s1: #3987e5;  --s2: #d95926;  --s3: #199e70;  --s4: #c98500;
  --s5: #d55181;  --s6: #008300;  --s7: #9085e9;  --s8: #e66767;

  --good: #0ca30c; --warning: #fab219; --serious: #ec835a; --critical: #d03b3b;
  --good-ink: #0ca30c;
}

/* ---------- base ---------- */
* { box-sizing: border-box; }
html, body { margin: 0; padding: 0; }
body {
  font-family: var(--font);
  background: var(--page);
  color: var(--ink);
  font-size: 14px;
  line-height: 1.45;
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
}
a { color: var(--s1); text-decoration: none; }
a:hover { text-decoration: underline; }
h1, h2, h3 { margin: 0; font-weight: 600; }
.tnum { font-variant-numeric: tabular-nums; }
.muted { color: var(--muted); }
.sec   { color: var(--ink-2); }

/* ---------- header ---------- */
.appbar {
  position: sticky; top: 0; z-index: 40;
  background: color-mix(in srgb, var(--page) 88%, transparent);
  backdrop-filter: saturate(1.4) blur(8px);
  border-bottom: 1px solid var(--border);
}
.appbar-inner, .subbar {
  max-width: var(--maxw); margin: 0 auto; padding: 0 var(--pad);
  display: flex; align-items: center; gap: 14px;
}
.subbar { padding-top: 6px; padding-bottom: 8px; flex-wrap: wrap; gap: 8px; }
.subbar[hidden] { display: none; }
.brand { font-size: 15px; font-weight: 650; letter-spacing: -.01em; color: var(--ink); white-space: nowrap; }
.brand:hover { text-decoration: none; }
.run { font-size: 12.5px; color: var(--muted); font-family: var(--mono); white-space: nowrap; overflow: hidden; text-overflow: ellipsis; max-width: 40ch; }
.spacer { flex: 1 1 auto; }

.nav { display: flex; gap: 2px; overflow-x: auto; scrollbar-width: none; min-width: 0; }
.nav a {
  font-size: 13.5px; font-weight: 550; color: var(--muted); white-space: nowrap;
  padding: 13px 11px 11px; border-bottom: 2px solid transparent;
}
.nav a:hover { color: var(--ink-2); text-decoration: none; }
.nav a[aria-current] { color: var(--ink); border-bottom-color: var(--s1); }
.nav-group { align-self: center; margin-left: 10px; padding-left: 12px; border-left: 1px solid var(--border-2);
  font-size: 11px; letter-spacing: .06em; text-transform: uppercase; color: var(--muted); white-space: nowrap; }

/* status pill */
.status {
  display: inline-flex; align-items: center; gap: 7px;
  padding: 3px 10px 3px 8px; border-radius: 999px;
  font-size: 12px; font-weight: 600;
  border: 1px solid var(--border-2); background: var(--surface);
}
.status .dot { width: 8px; height: 8px; border-radius: 50%; background: var(--muted); }
.status.live    { color: var(--good-ink); border-color: color-mix(in srgb, var(--good) 45%, var(--border-2)); }
.status.live .dot    { background: var(--good); box-shadow: 0 0 0 3px color-mix(in srgb, var(--good) 22%, transparent); }
.status.stopped { color: var(--ink-2); }
.status.wedged  { color: var(--critical); border-color: color-mix(in srgb, var(--critical) 45%, var(--border-2)); }
.status.wedged .dot  { background: var(--critical); box-shadow: 0 0 0 3px color-mix(in srgb, var(--critical) 22%, transparent); }

.chip {
  display: inline-flex; align-items: center; gap: 6px;
  padding: 3px 9px; border-radius: 7px; font-size: 12px;
  background: var(--surface-2); color: var(--ink-2); border: 1px solid var(--border);
}
.chip b { color: var(--ink); font-weight: 600; }

.iconbtn {
  display: inline-flex; align-items: center; justify-content: center; flex: none;
  width: 32px; height: 32px; border-radius: 8px; cursor: pointer;
  background: var(--surface); border: 1px solid var(--border-2); color: var(--ink-2);
}
.iconbtn:hover { background: var(--surface-2); color: var(--ink); }

/* ---------- chart controls ---------- */
.controls { display: flex; align-items: center; gap: 14px; flex-wrap: wrap; }
.controls[hidden] { display: none; }
.segmented { display: inline-flex; border: 1px solid var(--border-2); border-radius: 8px; overflow: hidden; }
.segmented button {
  appearance: none; border: none; background: var(--surface); cursor: pointer;
  font: inherit; font-size: 12px; color: var(--ink-2); padding: 4px 10px;
}
.segmented button + button { border-left: 1px solid var(--border); }
.segmented button[aria-pressed="true"] { background: var(--s1); color: #fff; }
.slider { display: inline-flex; align-items: center; gap: 8px; font-size: 12px; color: var(--muted); }
.slider input[type=range] { width: 110px; accent-color: var(--s1); }

/* ---------- layout ---------- */
main { max-width: var(--maxw); margin: 0 auto; padding: var(--pad); min-height: 60vh; transition: opacity .12s; }
.mt { margin-top: var(--gap); }
.mb { margin-bottom: var(--gap); }
#view > .card + .card, #view > .card + .figs, .patchcol > * + * { margin-top: var(--gap); }
.hint { font-size: 11.5px; color: var(--muted); margin-top: 8px; }
.grid { display: grid; gap: var(--gap); }
.grid.cols-2 { grid-template-columns: repeat(2, minmax(0, 1fr)); }
.span-2 { grid-column: span 2; }

/* ---------- cards ---------- */
.card {
  background: var(--surface); border: 1px solid var(--border);
  border-radius: var(--radius); padding: var(--pad);
}
.card > header { display: flex; align-items: center; flex-wrap: wrap; gap: 6px 10px; margin-bottom: 12px; }
.card h3 { font-size: 13.5px; font-weight: 600; letter-spacing: -.005em; }
.card .sub { font-size: 12px; color: var(--muted); }
.card .hint { font-size: 11.5px; color: var(--muted); margin-top: 8px; }

.note {
  display: flex; gap: 9px; align-items: flex-start;
  padding: 9px 12px; border-radius: var(--radius-sm); font-size: 12.5px; color: var(--ink-2);
  background: color-mix(in srgb, var(--warning) 12%, var(--surface));
  border: 1px solid color-mix(in srgb, var(--warning) 34%, var(--border));
}
.note svg { flex: none; margin-top: 1px; color: var(--warning); }

/* ---------- status banner ---------- */
.banner {
  display: flex; align-items: center; gap: 12px;
  padding: 12px 16px; border-radius: var(--radius); margin-bottom: var(--gap);
  border: 1px solid var(--border-2); background: var(--surface);
}
.banner .glyph { width: 34px; height: 34px; border-radius: 8px; display: grid; place-items: center; flex: none; }
.banner .msg { min-width: 0; }
.banner .msg .t { font-weight: 600; font-size: 14px; }
.banner .msg .d { font-size: 12.5px; color: var(--ink-2); }
.banner.ok       { border-color: color-mix(in srgb, var(--good) 40%, var(--border-2)); }
.banner.ok .glyph{ background: color-mix(in srgb, var(--good) 18%, transparent); color: var(--good-ink); }
.banner.warn     { border-color: color-mix(in srgb, var(--warning) 45%, var(--border-2)); }
.banner.warn .glyph { background: color-mix(in srgb, var(--warning) 20%, transparent); color: var(--serious); }
.banner.bad      { border-color: color-mix(in srgb, var(--critical) 45%, var(--border-2)); }
.banner.bad .glyph  { background: color-mix(in srgb, var(--critical) 16%, transparent); color: var(--critical); }

/* ---------- stat tiles ---------- */
.tiles { display: grid; gap: var(--gap); grid-template-columns: repeat(4, minmax(0,1fr)); }
.tile {
  background: var(--surface); border: 1px solid var(--border);
  border-radius: var(--radius); padding: 13px 15px 12px;
  display: flex; flex-direction: column; gap: 3px; min-width: 0;
}
.tile .label { font-size: 12px; color: var(--muted); }
.tile .value { font-size: 26px; font-weight: 600; letter-spacing: -.02em; line-height: 1.1; }
.tile .spark { margin-top: 4px; height: 26px; }

/* ---------- charts ---------- */
.chart { width: 100%; }
.legend { display: flex; flex-wrap: wrap; gap: 12px; margin-top: 10px; font-size: 12px; }
.legend .item { display: inline-flex; align-items: center; gap: 6px; color: var(--ink-2); cursor: default; }
.legend .k { width: 14px; height: 2.5px; border-radius: 2px; flex: none; }
.legend .item.off { opacity: .4; }

.uplot { font-family: var(--font); }
.u-tooltip {
  position: absolute; pointer-events: none; z-index: 20;
  background: var(--surface); border: 1px solid var(--border-2);
  border-radius: 8px; padding: 8px 10px; font-size: 12px;
  box-shadow: 0 4px 16px rgba(0,0,0,.14); min-width: 120px;
}
.u-tooltip .x { color: var(--muted); font-size: 11px; margin-bottom: 5px; font-variant-numeric: tabular-nums; }
.u-tooltip .r { display: flex; align-items: center; gap: 7px; justify-content: space-between; }
.u-tooltip .r .n { display: inline-flex; align-items: center; gap: 6px; color: var(--ink-2); }
.u-tooltip .r .n i { width: 12px; height: 2.5px; border-radius: 2px; display: inline-block; }
.u-tooltip .r .v { font-weight: 650; color: var(--ink); font-variant-numeric: tabular-nums; }

/* ---------- tables ---------- */
table.tbl { width: 100%; border-collapse: collapse; font-size: 12.5px; }
table.tbl th, table.tbl td { text-align: left; padding: 7px 10px; border-bottom: 1px solid var(--border); }
table.tbl th { color: var(--muted); font-weight: 550; font-size: 11.5px; text-transform: none; }
table.tbl td { font-variant-numeric: tabular-nums; color: var(--ink-2); }
table.tbl td .lib { display: inline-flex; align-items: center; gap: 7px; color: var(--ink); }
table.tbl td .lib i { width: 9px; height: 9px; border-radius: 2px; display: inline-block; flex: none; }
table.tbl tbody tr:hover td { background: var(--surface-2); }

.barcell { position: relative; }
.barcell .fill { display: block; position: absolute; left: 0; top: 0; bottom: 0; border-radius: 3px; opacity: .16; }
.barcell span { position: relative; }

/* ---------- empty / loading states ---------- */
.empty {
  display: grid; place-items: center; min-height: 160px; text-align: center;
  color: var(--muted); font-size: 13px; gap: 8px; padding: 20px;
}
.empty .big { font-size: 14px; color: var(--ink-2); font-weight: 550; }
.refetching { opacity: .55; }
.first-load::before { content: ""; display: block; height: 3px; border-radius: 2px; margin-bottom: 12px;
  background: linear-gradient(90deg, transparent, var(--s1), transparent); background-size: 40% 100%; background-repeat: no-repeat;
  animation: slide 1s linear infinite; }
@keyframes slide { from { background-position: -40% 0; } to { background-position: 140% 0; } }

/* ---------- attempts: nav + detail ---------- */
.crumb { font-size: 12.5px; color: var(--muted); margin-bottom: 12px; display: flex; gap: 6px; align-items: center; flex-wrap: wrap; }
.crumb .here { color: var(--ink); font-weight: 550; }
.crumb .sep { color: var(--muted); }

table.tbl .mono { font-family: var(--mono); font-size: 11.5px; }

.badge {
  display: inline-flex; align-items: center; gap: 4px; padding: 1.5px 7px; border-radius: 6px;
  font-size: 11px; font-weight: 600; border: 1px solid transparent; white-space: nowrap;
}
.badge.ok   { color: var(--good-ink); background: color-mix(in srgb, var(--good) 15%, var(--surface)); border-color: color-mix(in srgb, var(--good) 35%, transparent); }
.badge.bad  { color: var(--critical); background: color-mix(in srgb, var(--critical) 13%, var(--surface)); border-color: color-mix(in srgb, var(--critical) 35%, transparent); }
.badge.warn { color: var(--serious); background: color-mix(in srgb, var(--warning) 15%, var(--surface)); border-color: color-mix(in srgb, var(--warning) 38%, transparent); }
.badge.mut  { color: var(--ink-2); background: var(--surface-2); border-color: var(--border); }

.rew-pos { color: var(--good-ink); font-weight: 600; }
.rew-neg { color: var(--critical); font-weight: 600; }
.rew-zero, .faint { color: var(--muted); }

.statgrid { display: grid; grid-template-columns: repeat(3, minmax(0,1fr)); gap: var(--gap); margin-bottom: var(--gap); }
.stat { background: var(--surface); border: 1px solid var(--border); border-radius: var(--radius); padding: 12px 14px; }
.stat .k { font-size: 11.5px; color: var(--muted); margin-bottom: 3px; }
.stat .v { font-size: 20px; font-weight: 600; letter-spacing: -.01em; }
.stat .s { font-size: 11px; color: var(--muted); margin-top: 4px; overflow-wrap: anywhere; }

.subtabs { display: flex; gap: 2px; margin: 4px 0 14px; border-bottom: 1px solid var(--border); overflow-x: auto; }
.subtabs .btn {
  appearance: none; background: none; border: none; border-bottom: 2px solid transparent; cursor: pointer;
  font: inherit; font-size: 12.5px; font-weight: 550; color: var(--muted); padding: 8px 12px; flex: none; white-space: nowrap;
}
.subtabs .btn:hover { color: var(--ink-2); text-decoration: none; }
.subtabs .btn.on { color: var(--ink); border-bottom-color: var(--s1); }

/* reward algebra */
.algebra .eq { font-size: 13px; line-height: 1.7; margin: 8px 0; }
.algebra .cfg { display: flex; flex-wrap: wrap; gap: 10px 16px; font-size: 11.5px; color: var(--muted); margin-bottom: 8px; }
.algebra .cfg span { font-variant-numeric: tabular-nums; }

/* action-replay timeline */
.timeline { display: flex; flex-direction: column; gap: 8px; max-height: 620px; overflow-y: auto; padding-right: 4px; }
.timeline .ev { border: 1px solid var(--border); border-radius: 8px; padding: 8px 10px; background: var(--surface); }
.timeline .ev .head { display: flex; align-items: center; gap: 8px; font-size: 11px; margin-bottom: 4px; }
.timeline .ev .head .t { color: var(--muted); font-variant-numeric: tabular-nums; }
.timeline .ev .head .kind { font-weight: 600; text-transform: uppercase; letter-spacing: .04em; color: var(--ink-2); font-size: 10px; }
.timeline .ev .head .name { font-family: var(--mono); font-size: 11px; color: var(--s1); }
.timeline .ev.text { background: var(--surface-2); }
.timeline .ev.tool.edit { border-color: color-mix(in srgb, var(--good) 45%, var(--border)); }
.timeline .ev .body, .timeline .ev pre { font-size: 11.5px; white-space: pre-wrap; word-break: break-word; margin: 0; color: var(--ink-2); font-family: var(--mono); }
.timeline details.ev summary { cursor: pointer; font-size: 12px; }
.timeline.full { max-height: none; }
.timeline .ev.api { padding: 3px 10px; border-style: dashed; }
.timeline .ev.api .head { margin: 0; }
.timeline .ev.thought { background: var(--surface-2); color: var(--muted); }
.timeline .ev.error { border-color: var(--critical); }
.timeline .ev .btn-ghost { margin-top: 4px; }

/* diff */
.diffwrap { border: 1px solid var(--border); border-radius: 8px; overflow: auto; max-height: 560px; background: var(--surface); }
pre.diff { margin: 0; font-family: var(--mono); font-size: 11.5px; line-height: 1.5; }
pre.diff .dl { padding: 0 10px; white-space: pre; }
pre.diff .dl.add { background: color-mix(in srgb, var(--good) 12%, transparent); color: var(--good-ink); }
pre.diff .dl.del { background: color-mix(in srgb, var(--critical) 12%, transparent); color: var(--critical); }
pre.diff .dl.hunk { color: var(--s7); background: var(--surface-2); }
pre.diff .dl.meta { color: var(--muted); }
pre.diff .dl.ctx { color: var(--ink-2); }
.filechips { display: flex; flex-wrap: wrap; gap: 6px; margin: 6px 0 10px; }
.filechips span { font-family: var(--mono); font-size: 11px; padding: 2px 7px; border-radius: 6px; background: var(--surface-2); color: var(--ink-2); border: 1px solid var(--border); }
.filechips span.match { border-color: color-mix(in srgb, var(--good) 45%, transparent); color: var(--good-ink); }

/* heatmap */
.heat svg { display: block; }
.u-tooltip.heat-tip { position: fixed; }

.loader { color: var(--muted); font-size: 13px; padding: 16px; }

/* ---------- footer ---------- */
.foot[hidden] { display: none; }
.foot {
  max-width: var(--maxw); margin: 0 auto; padding: 18px var(--pad) 32px;
  color: var(--muted); font-size: 12px; display: flex; gap: 14px; flex-wrap: wrap;
}

/* ---------- responsive ---------- */
@media (max-width: 1080px) {
  .tiles { grid-template-columns: repeat(2, minmax(0,1fr)); }
}
@media (max-width: 680px) {
  :root { --pad: 12px; }
  .grid.cols-2 { grid-template-columns: 1fr; }
  .span-2 { grid-column: auto; }
  .tiles { grid-template-columns: repeat(2, minmax(0,1fr)); }
  .tile .value { font-size: 22px; }
  .run { display: none; }
  .nav-group { display: none; }
  .statgrid { grid-template-columns: repeat(2, minmax(0,1fr)); }
  .figs { grid-template-columns: 1fr; }
}

/* survey pages */
.phases { display: grid; grid-template-columns: repeat(auto-fit, minmax(260px, 1fr)); gap: var(--gap); }
.phase-card { position: relative; transition: border-color .12s; }
.phase-card:hover { border-color: var(--s1); }
.phase-link { font-size: 13.5px; font-weight: 600; color: var(--ink); }
.phase-link::after { content: ""; position: absolute; inset: 0; }
.phase-link:hover { text-decoration: none; }
.countchip { position: relative; z-index: 1; display: inline-flex; align-items: center; gap: 5px; margin-right: 6px; color: var(--ink-2); }
.countchip:hover { text-decoration: none; }
.countchip:hover .badge { border-color: var(--s1); }
.countchip .n { font-variant-numeric: tabular-nums; font-size: 12px; }
.phase-card .big { font-size: 26px; font-weight: 600; margin: 6px 0 2px; font-variant-numeric: tabular-nums; }
.phase-card .row { display: flex; flex-wrap: wrap; gap: 6px; margin-top: 8px; }
.figs { display: grid; grid-template-columns: repeat(auto-fit, minmax(min(420px, 100%), 1fr)); gap: var(--gap); }
.figs img { width: 100%; height: auto; background: #fff; border: 1px solid var(--border); border-radius: var(--radius-sm); }
.figs.one { grid-template-columns: 1fr; margin: 0 0 10px; }
.figs figcaption { font-size: 12px; color: var(--muted); margin-top: 4px; }
td.c-up   { background: color-mix(in oklab, var(--d-pos) 30%, var(--d-mid)); font-weight: 600; }
td.c-down { background: color-mix(in oklab, var(--d-neg) 30%, var(--d-mid)); font-weight: 600; }
td.c-past { background: color-mix(in srgb, var(--serious) 30%, transparent); font-weight: 600; }
.tbl td.num, .tbl th.num { text-align: right; font-variant-numeric: tabular-nums; }

.chip-label { font-size: 11px; font-weight: 600; letter-spacing: .04em; text-transform: uppercase; color: var(--ink-2); margin: 10px 0 4px; }
.chip-label-split { border-top: 1px solid var(--border); padding-top: 10px; margin-top: 12px; }

/* ---------- data tables ---------- */
.dt-bar { display: flex; flex-wrap: wrap; align-items: center; gap: 8px 14px; margin-bottom: 8px; }
.dt-search {
  font: inherit; font-size: 13px; color: var(--ink); background: var(--page);
  border: 1px solid var(--border-2); border-radius: 8px; padding: 5px 10px; width: 240px; max-width: 100%;
}
.dt-search:focus { outline: 2px solid color-mix(in srgb, var(--s1) 45%, transparent); border-color: var(--s1); }
.dt-filters { display: flex; flex-wrap: wrap; gap: 6px 18px; margin-bottom: 8px; }
.dt-filters:empty { display: none; }
.chipgroup { display: flex; flex-wrap: wrap; align-items: center; gap: 4px; }
.chipgroup-label { font-size: 11px; font-weight: 600; letter-spacing: .04em; text-transform: uppercase; color: var(--muted); margin-right: 2px; }
.fchip {
  appearance: none; font: inherit; cursor: pointer; display: inline-flex; align-items: center; gap: 5px;
  padding: 1px 4px 1px 1px; border-radius: 8px; border: 1px solid transparent; background: none; color: var(--ink-2);
}
.fchip .n { font-size: 11px; font-variant-numeric: tabular-nums; color: var(--muted); }
.fchip:hover { background: var(--surface-2); }
.fchip.zero { opacity: .45; }
.fchip.on { border-color: var(--s1); background: color-mix(in srgb, var(--s1) 10%, transparent); }
.dt-count { font-size: 12px; color: var(--muted); font-variant-numeric: tabular-nums; }
.btn-ghost {
  appearance: none; font: inherit; font-size: 12px; cursor: pointer; color: var(--s1);
  background: none; border: 1px solid var(--border-2); border-radius: 7px; padding: 3px 9px;
}
.btn-ghost:hover { background: var(--surface-2); }
.btn-ghost[hidden] { display: none; }
.dt-scroll { overflow-x: auto; }
@media (max-width: 900px) {
  .dt-wrap { overflow-x: auto; }
  table.tbl thead th { position: static; }
}
.dt-none[hidden], table.tbl[hidden] { display: none; }

table.tbl thead th { position: sticky; top: var(--bar-h, 0px); z-index: 2; background: var(--surface); padding: 0; }
.dt-scroll table.tbl thead th { position: static; }
table.tbl th:not(:has(button)) { padding: 7px 10px; }
button.sort {
  appearance: none; border: none; background: none; font: inherit; color: inherit; cursor: pointer;
  width: 100%; text-align: inherit; padding: 7px 10px; white-space: nowrap;
}
button.sort:hover { color: var(--ink); }
th[aria-sort="ascending"] button.sort::after { content: " ↑"; color: var(--s1); }
th[aria-sort="descending"] button.sort::after { content: " ↓"; color: var(--s1); }
th[aria-sort="none"] button.sort::after { content: " ↕"; opacity: 0.45; }
button.sort:hover { text-decoration: underline; }
th[aria-sort="ascending"], th[aria-sort="descending"] { color: var(--ink); }

table.tbl td.lk { padding: 0; }
table.tbl td.lk > a { display: block; padding: 7px 10px; color: inherit; text-decoration: none; }
table.tbl.linked tbody tr:not(.nolink) { cursor: pointer; }
table.tbl tr.nolink td { color: var(--muted); }
table.tbl tr.nolink:hover td { background: none; }
table.tbl tr.kb td { background: color-mix(in srgb, var(--s1) 10%, var(--surface)); }
table.tbl tr.kb td:first-child { box-shadow: inset 2px 0 0 var(--s1); }
table.tbl td.lk > a:focus-visible { outline: 2px solid var(--s1); outline-offset: -2px; }

/* ---------- page head ---------- */
.pagehead { display: flex; align-items: center; gap: 10px; flex-wrap: wrap; margin-bottom: 12px; }
.pagehead .crumb { margin-bottom: 0; }
.prevnext { display: flex; gap: 12px; align-items: center; font-size: 12.5px; }
pre.prose { white-space: pre-wrap; font-size: 12px; color: var(--ink-2); font-family: var(--mono); margin: 0; }

/* ---------- training bits that were inline ---------- */
.rdist { display: grid; gap: 2px; align-items: center; font-size: 11px; }
.rdist-label { color: var(--muted); text-align: right; padding-right: 6px; }
.rdist-cell { height: 20px; border-radius: 3px; }
.rdist-x { color: var(--muted); text-align: center; }
.hbar { display: flex; height: 14px; border-radius: 4px; overflow: hidden; gap: 2px; background: var(--surface-2); }
.hbar.tall { height: 18px; margin: 10px 0 12px; }
.kvlist { display: grid; grid-template-columns: 1fr auto; gap: 5px; font-size: 12.5px; }
.kvlist .total { border-top: 1px solid var(--border); padding-top: 6px; }
.sbar { margin: 10px 0; }
.sbar-head { display: flex; justify-content: space-between; font-size: 12.5px; margin-bottom: 3px; }
.sbar-head .lib { display: inline-flex; align-items: center; gap: 7px; }
.sbar-head .lib i, table.tbl td .lib i { width: 9px; height: 9px; border-radius: 2px; display: inline-block; }
/* ---------- speedup scale: blue faster, red slower, grey middle (dataviz diverging pair) ---------- */
:root { --d-mid: #f0efec; --d-pos: #184f95; --d-neg: #a8262c; --d-na: transparent; --d-na-line: #c3c2b7; --ct-hi: #fff; }
@media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) { --d-mid: #383835; --d-pos: #86b6ef; --d-neg: #f08a87; --d-na-line: #52514e; --ct-hi: #0d0d0d; } }
:root[data-theme="dark"] { --d-mid: #383835; --d-pos: #86b6ef; --d-neg: #f08a87; --d-na-line: #52514e; --ct-hi: #0d0d0d; }
.d0  { --c: var(--d-mid); }
.dp1 { --c: color-mix(in oklab, var(--d-pos) 16%, var(--d-mid)); } .dn1 { --c: color-mix(in oklab, var(--d-neg) 16%, var(--d-mid)); }
.dp2 { --c: color-mix(in oklab, var(--d-pos) 30%, var(--d-mid)); } .dn2 { --c: color-mix(in oklab, var(--d-neg) 30%, var(--d-mid)); }
.dp3 { --c: color-mix(in oklab, var(--d-pos) 44%, var(--d-mid)); } .dn3 { --c: color-mix(in oklab, var(--d-neg) 44%, var(--d-mid)); }
.dp4 { --c: color-mix(in oklab, var(--d-pos) 58%, var(--d-mid)); } .dn4 { --c: color-mix(in oklab, var(--d-neg) 58%, var(--d-mid)); }
.dp5 { --c: color-mix(in oklab, var(--d-pos) 72%, var(--d-mid)); --ct: var(--ct-hi); } .dn5 { --c: color-mix(in oklab, var(--d-neg) 72%, var(--d-mid)); --ct: var(--ct-hi); }
.dp6 { --c: color-mix(in oklab, var(--d-pos) 86%, var(--d-mid)); --ct: var(--ct-hi); } .dn6 { --c: color-mix(in oklab, var(--d-neg) 86%, var(--d-mid)); --ct: var(--ct-hi); }
.dp7 { --c: var(--d-pos); --ct: var(--ct-hi); } .dn7 { --c: var(--d-neg); --ct: var(--ct-hi); }
.dna { --c: var(--d-na); }
.sv { display: inline-block; min-width: 3.6em; padding: 0 4px; border-radius: 3px; text-align: right; font-family: var(--mono); font-size: 11px;
  background: var(--c); color: var(--ct, var(--ink)); font-variant-numeric: tabular-nums; }
.sv.dna { color: var(--muted); box-shadow: inset 0 0 0 1px var(--d-na-line); }
.svs { display: inline-flex; gap: 2px; }
.scalekey { display: flex; align-items: flex-start; gap: 8px; font-size: 11px; color: var(--muted); flex-wrap: wrap; }
.scalekey .scale { width: 280px; max-width: 70vw; }
.scalekey .bar { display: flex; height: 8px; }
.scalekey .bar span { flex: 1; background: var(--c); }
.scalekey .ticks { position: relative; height: 14px; }
.scalekey .ticks span { position: absolute; transform: translateX(-50%); top: 1px; font-variant-numeric: tabular-nums; }
.scalekey .lab { line-height: 8px; }
.scalekey .na { display: inline-flex; gap: 4px; align-items: center; line-height: 8px; }
.scalekey .na i { width: 8px; height: 8px; box-shadow: inset 0 0 0 1px var(--d-na-line); }
/* tooltip */
.vtip { position: fixed; z-index: 60; pointer-events: none; background: var(--surface); border: 1px solid var(--border-2); border-radius: 6px;
  padding: 6px 9px; font-size: 11.5px; max-width: min(420px, 92vw); box-shadow: 0 2px 10px rgba(0,0,0,.12); }
.vtip[hidden] { display: none; }
.vtip-t { font-family: var(--mono); font-size: 11px; color: var(--ink); margin-bottom: 3px; overflow-wrap: anywhere; }
.vtip table { border-collapse: collapse; }
.vtip th { text-align: left; font-weight: 400; color: var(--muted); padding: 0 10px 0 0; }
.vtip td { text-align: right; font-variant-numeric: tabular-nums; color: var(--ink); }
/* word-sized strips */
svg.strip { display: block; }
svg.strip .band, svg.ecdf .band { fill: var(--surface-2); }
svg.strip .zero { stroke: var(--axis); stroke-width: 1; }
svg.strip .nop { stroke: var(--muted); stroke-width: 1; }
svg.strip .orc { stroke: var(--s1); stroke-width: 1.5; }
svg.strip .agt { fill: var(--ink); }
svg.dstrip .pt { fill: var(--ink-2); fill-opacity: .55; }
svg.dstrip .iqr { stroke: var(--axis); stroke-width: 4; }
svg.dstrip .med { stroke: var(--ink); stroke-width: 1.5; }
/* ECDF */
svg.ecdf { width: 100%; height: auto; display: block; font-size: 10.5px; touch-action: pan-y; }
svg.ecdf .grid { stroke: var(--grid); }
svg.ecdf .tick { stroke: var(--axis); }
svg.ecdf .ax { fill: var(--muted); font-variant-numeric: tabular-nums; }
svg.ecdf .line { fill: none; stroke-width: 2; stroke-linejoin: round; }
svg.ecdf .line.agent { stroke: var(--ink); }
svg.ecdf .line.oracle { stroke: var(--s1); }
svg.ecdf .line.nop { stroke: var(--axis); stroke-width: 1.25; }
svg.ecdf .lab { font-size: 11px; }
svg.ecdf .lab.agent { fill: var(--ink); font-weight: 600; }
svg.ecdf .lab.oracle { fill: var(--s1); font-weight: 600; }
svg.ecdf .lab.nop { fill: var(--muted); }
svg.ecdf .hair { stroke: var(--ink-2); stroke-dasharray: 2 2; }
svg.ecdf .ax.edge { fill: var(--ink-2); font-weight: 600; }
svg.ecdf .ax.side { font-size: 11px; }
.axlab { text-align: center; font-size: 12px; color: var(--muted); margin-top: 2px; }
/* dot grid */
.dgrid { display: flex; flex-wrap: wrap; gap: 12px 18px; align-items: flex-start; }
.dblock { min-width: 0; max-width: 100%; }
.dblock .dh { font-family: var(--mono); font-size: 10.5px; color: var(--ink-2); white-space: nowrap; overflow: hidden; text-overflow: ellipsis; max-width: 100%; }
.dblock .dh .n { color: var(--muted); font-family: var(--font); margin-left: 4px; }
.dblock svg { display: block; cursor: pointer; }
.dblock .dband { display: flex; max-width: 100%; }
.dblock svg.dlab { flex: none; cursor: default; }
.dblock .dscroll { min-width: 0; overflow-x: auto; overflow-y: hidden; }
.dblock rect.c, .dkeys rect.c { fill: var(--c); }
.dblock rect.c.dna, .dkeys rect.c.dna { fill: none; stroke: var(--d-na-line); stroke-width: .8; }
.dblock rect.role-scored, .dkeys rect.role-scored { fill: var(--ink); }
.dblock rect.role-collateral, .dkeys rect.role-collateral { fill: var(--d-neg); }
.dblock text.rl { font-size: 10px; fill: var(--muted); text-anchor: end; }
.dblock text.rl.agent { fill: var(--ink); font-weight: 650; }
.dblock rect.nop, .dkeys rect.nop { opacity: .35; }
.dblock rect.nop.alarm, .dkeys rect.nop.alarm { opacity: 1; }
.dblock rect.split, .dkeys rect.split { fill: var(--ink); }
.dblock rect.hl { fill: none; stroke: var(--ink); stroke-width: 1.2; }
.dkey { display: flex; flex-wrap: wrap; gap: 6px 18px; align-items: center; font-size: 11px; color: var(--muted); margin-bottom: 10px; }
.dkey svg { vertical-align: middle; }
.dkeys { display: flex; flex-wrap: wrap; gap: 4px 14px; }
.dkeys .ki { display: inline-flex; align-items: center; gap: 3px; white-space: nowrap; }
/* proportional bar and phase colours */
.pbar { display: flex; gap: 2px; height: 20px; min-width: 0; }
.pbar .seg { min-width: 2px; background: var(--ph, var(--axis)); border-radius: 2px; overflow: hidden; display: flex; align-items: center; }
.pbar .seg span { font-size: 10.5px; padding: 0 5px; white-space: nowrap; color: #fff; font-variant-numeric: tabular-nums; }
.pbar .seg.running { background-image: repeating-linear-gradient(135deg, transparent 0 4px, rgba(255,255,255,.35) 4px 6px); }
.ph-start-up { --ph: var(--muted); } .ph-agent-run { --ph: var(--s1); } .ph-rebuild { --ph: var(--s4); } .ph-gate-wait { --ph: var(--axis); }
.ph-LSV-timing { --ph: var(--s2); } .ph-snapshots { --ph: var(--s3); } .ph-pytest { --ph: var(--s7); } .ph-verifier-other { --ph: var(--s5); }
.ph-teardown { --ph: var(--muted); }
.ph-gate-wait span, .ph-start-up span, .ph-teardown span { color: var(--ink); }
.facts { display: grid; grid-template-columns: repeat(auto-fill, minmax(108px, 1fr)); gap: 8px 16px; margin: 0 0 12px; }
.facts .f .k { font-size: 11px; color: var(--muted); }
.facts .f .v { font-size: 15px; font-weight: 600; font-variant-numeric: tabular-nums; }
.facts .f .s { font-size: 11px; color: var(--muted); }
.phasebar { margin: 0 0 14px; }
.phasebar .keys { display: flex; flex-wrap: wrap; gap: 2px 14px; font-size: 11px; color: var(--muted); margin-top: 4px; }
.phasebar .keys span b { color: var(--ink-2); font-weight: 500; font-variant-numeric: tabular-nums; margin-left: 4px; }
.phasebar .keys i { display: inline-block; width: 8px; height: 8px; border-radius: 2px; background: var(--ph); margin-right: 4px; }
.split { display: grid; grid-template-columns: minmax(0, 1.6fr) minmax(0, 1fr); gap: 18px; align-items: start; }
@media (max-width: 760px) { .split { grid-template-columns: 1fr; } }
.math { font-size: 13px; line-height: 1.6; max-width: 92ch; }
.math ol { padding-left: 20px; margin: 0; }
.math li { margin: 6px 0; }
.math mjx-container[display="true"] { margin: 4px 0 !important; overflow-x: auto; overflow-y: hidden; max-width: 100%; }
.dt-select { font: inherit; font-size: 12px; color: var(--ink); background: var(--page); border: 1px solid var(--border-2); border-radius: 7px; padding: 3px 6px; max-width: 100%; }
.dt-more { margin-top: 8px; }
table.tbl tr.hl td { background: color-mix(in srgb, var(--s1) 10%, var(--surface)); }
/* Gantt */
.gantt { font-size: 11px; }
.gantt .row { display: grid; grid-template-columns: 92px minmax(0, 1fr); align-items: center; gap: 8px; min-height: 16px; }
.gantt .row .lab { color: var(--muted); text-align: right; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.gantt .track { position: relative; height: 14px; }
.gantt .track .seg { position: absolute; top: 2px; bottom: 2px; background: var(--ph, var(--axis)); border-radius: 2px; min-width: 1px; }
.gantt .track .seg.running { background-image: repeating-linear-gradient(135deg, transparent 0 4px, rgba(255,255,255,.35) 4px 6px); }
.gantt .track .ev { position: absolute; top: 1px; bottom: 1px; width: 2px; margin-left: -1px; background: var(--ink-2); }
.gantt .track .ev.span { background: color-mix(in srgb, var(--ink-2) 35%, transparent); width: auto; margin: 0; min-width: 2px; }
.gantt .track .lim { position: absolute; top: -2px; bottom: -2px; border-left: 1px dashed var(--critical); }
.gantt .axis { position: relative; height: 16px; color: var(--muted); font-variant-numeric: tabular-nums; }
.gantt .axis span { position: absolute; transform: translateX(-50%); top: 2px; }
.gantt .hit { cursor: default; }
.p2 table.tbl td .mono { white-space: nowrap; }
.gantt .axis span { white-space: nowrap; }
.dt-select { width: auto; }
.math p { color: var(--ink); }

/* ---------- Phase 2 pages ---------- */
.p2 > * + *, .stack > * + * { margin-top: var(--gap); }
.p2 > .pagehead + *, .p2 > .crumb + * { margin-top: 0; }
.tiles.auto { grid-template-columns: repeat(auto-fit, minmax(150px, 1fr)); }
.tile .value .badge { font-size: 13px; padding: 3px 9px; letter-spacing: 0; }
.tile .hint { margin-top: 2px; display: flex; flex-direction: column; gap: 5px; }
.tile .hint .badge { align-self: flex-start; }
.badges { display: inline-flex; flex-wrap: wrap; gap: 4px; }
.badge.info { color: var(--s1); background: color-mix(in srgb, var(--s1) 12%, var(--surface)); border-color: color-mix(in srgb, var(--s1) 35%, transparent); }
.statgrid.auto { grid-template-columns: repeat(auto-fit, minmax(160px, 1fr)); }
.meter { height: 6px; border-radius: 3px; background: var(--surface-2); box-shadow: inset 0 0 0 1px var(--border); overflow: hidden; }
.meter > span { display: block; height: 100%; background: var(--s1); border-radius: 3px; }
.meter.warn > span { background: var(--warning); }
.chip-label:first-child { margin-top: 0; }
details.more { margin-top: 12px; }
details.more > summary { list-style: none; display: inline-block; }
details.more > summary::-webkit-details-marker { display: none; }
details.more[open] > summary { margin-bottom: 10px; }
table.tbl.compact th, table.tbl.compact td { padding: 5px 10px; white-space: nowrap; }
table.tbl.compact th { position: static; }
table.tbl tr.grp td { font-size: 11px; font-weight: 600; letter-spacing: .04em; text-transform: uppercase; color: var(--muted); padding-top: 12px; background: none; }
/* small multiples of dots */
.smgrid { display: grid; grid-template-columns: minmax(0, 2fr) minmax(0, 1fr) minmax(0, 1fr); gap: 18px 28px; }
.smgrid .wide { grid-column: 1 / -1; }
.smgrid .panel { min-width: 0; }
@media (max-width: 900px) { .smgrid { grid-template-columns: minmax(0, 1fr); } }
.fig { width: 100%; min-width: 0; }
svg.dotpanel { display: block; font-size: 11.5px; }
svg.dotpanel .grid { stroke: var(--grid); }
svg.dotpanel .brk { stroke: var(--axis); stroke-dasharray: 2 2; }
svg.dotpanel .ax { fill: var(--muted); font-size: 10.5px; font-variant-numeric: tabular-nums; }
svg.dotpanel .lab { fill: var(--ink-2); }
svg.dotpanel .lab.strong { fill: var(--ink); font-weight: 600; }
svg.dotpanel .band { fill: color-mix(in srgb, var(--ink) 7%, var(--surface)); }
svg.dotpanel .med { stroke: var(--ink); stroke-width: 2; }
svg.dotpanel .pt { stroke: var(--surface); stroke-width: 1; cursor: pointer; }
svg.dotpanel .pt:hover { stroke: var(--ink); stroke-width: 1.5; }
svg.dotpanel .mv { fill: var(--ink); font-weight: 600; font-variant-numeric: tabular-nums; }
svg.dotpanel .lane { font-size: 11px; font-weight: 650; }
svg.dotpanel .sep { stroke: var(--border-2); }
svg.dotpanel.key { display: inline-block; vertical-align: middle; }
.figfoot { display: flex; flex-wrap: wrap; align-items: flex-start; justify-content: space-between; gap: 12px 24px; margin-top: 14px; padding-top: 12px; border-top: 1px solid var(--border); }
.figfoot details.more { margin-top: 0; flex: 1 1 100%; }
.keynums { display: flex; flex-wrap: wrap; gap: 8px 32px; }
.keynums .k, .scoreset .k { font-size: 12px; color: var(--muted); }
.keynums .v { font-size: 20px; font-weight: 600; letter-spacing: -.01em; font-variant-numeric: tabular-nums; }
/* means per task: stacked bars on one axis, aligned numbers */
.means { font-size: 12.5px; }
.means .mrow { display: grid; grid-template-columns: minmax(130px, 210px) minmax(0, 1fr) 48px 72px 52px; column-gap: 14px; align-items: center; min-height: 30px; border-bottom: 1px solid var(--border); }
.means .mrow.head { min-height: 0; padding-bottom: 6px; font-size: 11.5px; color: var(--muted); }
.means .mrow.all { background: var(--surface-2); border-radius: var(--radius-sm); border-bottom: none; }
.means .mrow.axisrow { border-bottom: none; min-height: 18px; }
.means .num { text-align: right; font-variant-numeric: tabular-nums; color: var(--ink-2); }
.means .head .num { color: var(--muted); }
.means .mrow.all .num { color: var(--ink); font-weight: 600; }
.means .lab { display: flex; gap: 7px; align-items: center; min-width: 0; padding-left: 6px; white-space: nowrap; overflow: hidden; }
.means .lab i { width: 9px; height: 9px; border-radius: 50%; flex: none; }
.means .lab .mono { font-size: 11.5px; color: var(--muted); overflow: hidden; text-overflow: ellipsis; }
.means .lab a.mono { color: var(--ink); }
.means .track { position: relative; height: 20px; }
.means .track .seg { position: absolute; top: 0; bottom: 0; background: var(--ph, var(--axis)); border-radius: 2px; overflow: hidden; display: flex; align-items: center; }
.means .track .seg span { font-size: 10.5px; padding: 0 5px; white-space: nowrap; color: #fff; font-variant-numeric: tabular-nums; }
.means .axis { position: relative; height: 16px; color: var(--muted); font-size: 10.5px; font-variant-numeric: tabular-nums; }
.means .axis span { position: absolute; transform: translateX(-50%); top: 2px; white-space: nowrap; }
.means .phasebar { margin: 0 0 8px; }
@media (max-width: 680px) {
  .means .mrow { grid-template-columns: minmax(0, 1fr) 30px 64px 40px; grid-template-areas: "lab n tot calls" "bar bar bar bar"; row-gap: 4px; padding: 6px 0; column-gap: 8px; }
  .means .mrow > .lab { grid-area: lab; } .means .mrow > .bar, .means .mrow > .axis { grid-area: bar; }
  .means .mrow.head > .bar, .means .mrow.axisrow > .lab { display: none; }
  .means .mrow.head { grid-template-areas: "lab n tot calls"; }
}
/* agent vs oracle */
.cmp { display: grid; grid-template-columns: 50px minmax(0, 1fr) repeat(4, max-content); gap: 8px 12px; align-items: center; font-size: 12.5px; margin-bottom: 14px; }
.cmp .h { font-size: 11px; color: var(--muted); text-align: right; }
.cmp .n { text-align: right; font-variant-numeric: tabular-nums; font-weight: 600; color: var(--ink-2); }
.cmp .n.dn5 { color: var(--d-neg); } .cmp .n.dp5 { color: var(--d-pos); }
.cmp .who { color: var(--ink-2); font-weight: 550; }
.cmpbar { display: flex; height: 24px; gap: 2px; min-width: 0; }
.cmpbar .seg { background: var(--c); border-radius: 3px; display: flex; align-items: center; justify-content: center; min-width: 3px; overflow: hidden; }
.cmpbar .seg span { font-size: 11px; color: var(--ct, var(--ink)); white-space: nowrap; padding: 0 5px; font-variant-numeric: tabular-nums; font-weight: 550; }
.scoreset { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 10px; }
.scoreset > div { background: var(--surface-2); border-radius: var(--radius-sm); padding: 8px 10px; }
.scoreset .v { font-size: 20px; font-weight: 600; font-variant-numeric: tabular-nums; }
.scoreset .s { font-size: 11px; color: var(--muted); }
.big-r { margin-left: auto; font-size: 15px; font-variant-numeric: tabular-nums; }
.math-split { grid-template-columns: minmax(0, 1.5fr) minmax(0, 1fr); }
.math-split .vals .sym { font-size: 13px; }
.vals th:last-child, .vals td:last-child { text-align: left; color: var(--muted); }
@media (max-width: 760px) { .math-split { grid-template-columns: minmax(0, 1fr); } }
.math .chip-label { margin-top: 14px; }
.tkey { display: inline-flex; gap: 14px; font-size: 11.5px; color: var(--muted); margin-left: auto; }
.tkey span { display: inline-flex; align-items: center; gap: 5px; }
.tkey i.lim { width: 0; height: 12px; border-left: 1.5px dashed var(--critical); }
.tkey i.hatch { width: 14px; height: 10px; border-radius: 2px; background: var(--s1) repeating-linear-gradient(135deg, transparent 0 4px, rgba(255,255,255,.35) 4px 6px); }
.copybox { position: fixed; left: -99999px; top: 0; white-space: pre-wrap; }
@media (max-width: 680px) {
  .scoreset { grid-template-columns: repeat(3, minmax(0, 1fr)); }
  .cmp { grid-template-columns: 44px minmax(0, 1fr) repeat(4, max-content); column-gap: 7px; }
  .cmp .h { font-size: 10px; }
  .means .axis span:nth-child(even) { display: none; }
}

.tchips { display: flex; gap: 0.9rem; }
.tchip { display: inline-flex; flex-direction: column; align-items: flex-start; gap: 3px; }
.tchip small { color: var(--muted); font-size: 11.5px; font-weight: 400; }