:root {
  --ink: #1d2529; --muted: #5d6b72; --line: #dde3e6; --panel: #ffffff; --bg: #f4f6f7; --accent: #1f6f8b;
  --header: #17303a; --gen: #2f6fdd; --ver: #b4541d; --rev: #6c47c4; --val: #0f8a6a; --sub: #8a6d0f; --cch: #9b2f6b;
  --mono: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
}
* { box-sizing: border-box; }
[hidden] { display: none !important; }
body { margin: 0; font: 14px/1.5 system-ui, -apple-system, "Segoe UI", sans-serif; color: var(--ink); background: var(--bg); }
button { font: inherit; cursor: pointer; }
.site-header { display: flex; justify-content: space-between; align-items: center; padding: 10px 20px; background: var(--header); color: #fff; }
.brand { display: flex; align-items: center; gap: 10px; font-weight: 700; letter-spacing: .06em; }
.brand-mark { background: #fff; color: var(--header); border-radius: 6px; padding: 2px 7px; font-family: var(--mono); }
.brand-sub { display: block; font-weight: 400; letter-spacing: 0; opacity: .8; font-size: 12px; }
.site-header nav { display: flex; gap: 16px; align-items: center; }
.site-header a, .site-header .text-button { color: #fff; }
.help { background: #fffbe8; border-bottom: 1px solid #eadfa8; padding: 10px 20px; }
.help p { margin: 6px 0; max-width: 1100px; }
.marker-demo { font-family: var(--mono); background: #eef3ff; padding: 0 4px; border-radius: 4px; }
kbd { border: 1px solid var(--line); border-radius: 3px; padding: 0 4px; background: #fff; font-family: var(--mono); }
.workspace { display: grid; grid-template-columns: 330px minmax(0, 1fr); min-height: calc(100vh - 52px); }
.sidebar { border-right: 1px solid var(--line); background: var(--panel); padding: 12px; position: sticky; top: 0; height: 100vh; overflow-y: auto; }
.bench-tabs { display: flex; gap: 6px; margin-bottom: 10px; }
.tab { flex: 1; border: 1px solid var(--line); background: #fff; border-radius: 6px; padding: 6px; }
.tab.active { background: var(--accent); color: #fff; border-color: var(--accent); }
#search { width: 100%; padding: 7px 9px; border: 1px solid var(--line); border-radius: 6px; }
.filters { display: grid; grid-template-columns: 1fr 1fr; gap: 8px; margin: 8px 0; }
.filters label { font-size: 12px; color: var(--muted); display: flex; flex-direction: column; gap: 2px; }
.filters select { padding: 4px; }
.problem-list { list-style: none; margin: 0; padding: 0; }
.problem-item { width: 100%; text-align: left; background: #fff; border: 1px solid var(--line); border-radius: 8px; padding: 8px; margin-bottom: 6px; }
.problem-item:hover { border-color: var(--accent); }
.problem-item.active { border-color: var(--accent); box-shadow: inset 3px 0 0 var(--accent); background: #f0f7fa; }
.problem-top { display: flex; justify-content: space-between; align-items: center; gap: 6px; }
.problem-id { font-weight: 600; font-family: var(--mono); font-size: 12.5px; }
.problem-preview { margin: 4px 0; color: var(--muted); font-size: 12px; max-height: 3.1em; overflow: hidden; }
.problem-stats { display: flex; gap: 8px; font-size: 11px; color: var(--muted); font-family: var(--mono); }
.detail { padding: 18px 24px 80px; min-width: 0; }
.empty-state, .empty-rollout { color: var(--muted); padding: 40px; text-align: center; }
.problem-head, .rollout-head { display: flex; justify-content: space-between; align-items: flex-start; gap: 12px; }
.problem-head h2 { margin: 0; font-family: var(--mono); }
.kicker { margin: 0; color: var(--muted); font-size: 12px; text-transform: uppercase; letter-spacing: .05em; }
.problem-nav { display: flex; align-items: center; gap: 8px; }
.button { border: 1px solid var(--accent); background: var(--accent); color: #fff; border-radius: 6px; padding: 4px 10px; }
.button.secondary { background: #fff; color: var(--accent); }
.text-button { border: 0; background: none; color: var(--accent); padding: 0 4px; text-decoration: underline; }
.text-button.tiny { font-size: 11px; }
.hint { color: var(--muted); font-size: 12px; }
.mono { font-family: var(--mono); }
.bank-line { padding: 6px 10px; border-radius: 6px; font-size: 13px; }
.bank-negative { background: #fdecec; color: #8a1f1f; }
.bank-mixed { background: #fff4de; color: #7a5200; }
.bank-positive { background: #e7f6ec; color: #1d6b39; }
.statement { background: var(--panel); border: 1px solid var(--line); border-radius: 8px; padding: 4px 16px; margin: 10px 0; }
.extras > details { background: var(--panel); border: 1px solid var(--line); border-radius: 8px; padding: 6px 12px; margin-bottom: 6px; }
details > summary { cursor: pointer; font-weight: 600; }
.grid-section { background: var(--panel); border: 1px solid var(--line); border-radius: 8px; padding: 10px 14px; margin: 14px 0; }
.grid-head { display: flex; gap: 12px; align-items: baseline; flex-wrap: wrap; }
.grid-head h3 { margin: 0; font-size: 15px; }
.table-scroll { overflow-x: auto; }
table.grid { border-collapse: collapse; margin-top: 8px; font-size: 12.5px; }
.grid th, .grid td { padding: 2px 3px; text-align: center; border-bottom: 1px solid #eef1f2; }
.grid th { color: var(--muted); font-weight: 500; font-family: var(--mono); font-size: 11.5px; }
.grid .arm-col { text-align: left; min-width: 250px; padding-right: 10px; }
.arm-name { cursor: help; }
.group-row td { text-align: left; font-weight: 700; color: var(--accent); padding-top: 8px; font-size: 12px; }
.grid td.num { font-family: var(--mono); color: var(--muted); padding-left: 8px; }
.cell { width: 42px; height: 26px; border: 1px solid rgba(0, 0, 0, .08); border-radius: 5px; font-family: var(--mono); font-size: 12px; }
.cell.selected { outline: 3px solid var(--ink); outline-offset: 1px; }
.score-s0 { background: #f6d5d2; } .score-s1 { background: #f8e0c8; } .score-s2 { background: #fae9c4; }
.score-s3 { background: #f4efc0; } .score-s4 { background: #e8f0bf; } .score-s5 { background: #d8ecc0; }
.score-s6 { background: #bfe3c3; } .score-s7 { background: #7fcf94; font-weight: 700; } .score-sna { background: #eceff1; }
.badge { display: inline-block; border-radius: 999px; padding: 1px 8px; font-size: 11.5px; background: #eef1f3; color: var(--ink); margin-left: 4px; white-space: nowrap; }
.badge.score { font-weight: 700; }
.badge.prob { background: #e8eefc; }
.badge.pinned { background: var(--ink); color: #fff; }
.verdict-correct { background: #d6f0dc; color: #1d6b39; }
.verdict-minor_fix { background: #fff0cf; color: #7a5200; }
.verdict-critical_flaw, .verdict-incorrect { background: #fbdcdc; color: #8a1f1f; }
.status-accepted { background: #d6f0dc; } .status-cycle_limit { background: #fff0cf; }
.status-protocol_error, .status-budget_exhausted, .status-context_exhausted, .status-failed { background: #fbdcdc; }
.rollout-area { margin-top: 18px; }
.rollout-area.split { display: grid; grid-template-columns: 1fr 1fr; gap: 12px; }
.rollout-slot { min-width: 0; }
.slot-bar { display: flex; gap: 8px; justify-content: flex-end; align-items: center; margin-bottom: 4px; }
.rollout { background: var(--panel); border: 1px solid var(--line); border-radius: 8px; padding: 12px 14px; }
.rollout-head h3 { margin: 2px 0; }
.badges { display: flex; flex-wrap: wrap; gap: 4px; justify-content: flex-end; }
.flow { font-family: var(--mono); font-size: 12px; background: #f3f5f6; border-radius: 6px; padding: 6px 8px; overflow-x: auto; white-space: nowrap; }
.call { border: 1px solid var(--line); border-left: 5px solid var(--muted); border-radius: 8px; padding: 8px 12px; margin: 10px 0; background: #fcfdfd; }
.call.flash { box-shadow: 0 0 0 3px #ffd54f; }
.role-generator, .role-direct, .role-worker { border-left-color: var(--gen); }
.role-verifier, .role-reviewer { border-left-color: var(--ver); }
.role-reviser { border-left-color: var(--rev); }
.role-value_solver, .role-value_verifier { border-left-color: var(--val); }
.role-subagent { border-left-color: var(--sub); }
.role-planner { border-left-color: var(--cch); }
.call-head { display: flex; flex-wrap: wrap; gap: 8px; align-items: baseline; }
.call-index { font-family: var(--mono); color: var(--muted); }
.call-role { font-weight: 700; }
.call-label { font-family: var(--mono); font-size: 12px; color: var(--muted); }
.call-usage { margin-left: auto; font-family: var(--mono); font-size: 11.5px; color: var(--muted); }
.call details { margin: 6px 0; }
.call details > summary { font-weight: 500; color: var(--accent); }
.verifier-reasoning > summary { color: var(--ver); font-weight: 600; }
.cont { margin: 4px 0; }
.messages { display: flex; flex-direction: column; gap: 6px; margin-top: 6px; }
.msg { border: 1px solid var(--line); border-radius: 6px; padding: 6px 8px; background: #fff; }
.msg-system { background: #f7f7fb; }
.msg-tool { background: #f2faf6; }
.msg-role { font-family: var(--mono); font-size: 11px; text-transform: uppercase; color: var(--muted); }
.marked { white-space: pre-wrap; word-break: break-word; font-size: 13px; }
.marked > details.chip { display: block; margin: 4px 0; }
.chip > summary { display: inline-block; font-family: var(--mono); font-size: 12px; background: #eef3ff; border: 1px solid #cdd9f5; border-radius: 5px; padding: 1px 6px; font-weight: 500; color: #25407a; }
.chip[open] { border-left: 3px solid #cdd9f5; padding-left: 8px; white-space: normal; }
.response h4, .final h4 { margin: 8px 0 4px; }
.text-block { border: 1px solid #edf0f1; border-radius: 6px; padding: 4px 10px; background: #fff; max-height: 70vh; overflow: auto; }
.text-bar { display: flex; justify-content: space-between; position: sticky; top: 0; background: #fff; padding: 2px 0; }
pre.plain { white-space: pre-wrap; word-break: break-word; font-family: var(--mono); font-size: 12px; margin: 4px 0; }
.prose { overflow-wrap: anywhere; }
.prose pre { background: #f5f7f8; padding: 8px; border-radius: 6px; overflow-x: auto; }
.prose table { border-collapse: collapse; } .prose td, .prose th { border: 1px solid var(--line); padding: 2px 6px; }
.tool-call, .verdict-record { border: 1px dashed #d4dade; border-radius: 6px; padding: 6px 10px; margin: 6px 0; background: #fbfcfc; }
.verdict-record { border-style: solid; background: #fffdf5; }
.tool-head { display: flex; align-items: center; flex-wrap: wrap; gap: 4px; }
.tool-name { font-family: var(--mono); font-size: 12.5px; font-weight: 600; }
dl.kv { display: grid; grid-template-columns: max-content minmax(0, 1fr); gap: 2px 12px; margin: 6px 0; }
dl.kv dt { font-family: var(--mono); font-size: 12px; color: var(--muted); }
dl.kv dd { margin: 0; min-width: 0; }
.json-list { margin: 0; padding-left: 18px; }
.scalar { font-family: var(--mono); }
.final { border-top: 2px solid var(--line); margin-top: 12px; padding-top: 6px; }
.error { color: #9b1c1c; background: #fdecec; padding: 6px 8px; border-radius: 6px; white-space: pre-wrap; }
.pack .labels { display: flex; flex-wrap: wrap; gap: 4px; align-items: center; margin: 6px 0; }
.label-chip { border: 1px solid var(--line); border-radius: 999px; background: #fff; font-size: 12px; padding: 1px 8px; }
.label-chip.ok { background: #e7f6ec; } .label-chip.bad { background: #fdecec; }
.transitions { font-family: var(--mono); font-size: 12px; }
.view-tabs { display: flex; gap: 2px; background: rgba(255, 255, 255, .1); border-radius: 7px; padding: 2px; }
.view-tab { border: 0; background: none; color: #fff; opacity: .8; padding: 3px 12px; border-radius: 5px; }
.view-tab:hover { opacity: 1; }
.view-tab.active { background: #fff; color: var(--header); opacity: 1; font-weight: 600; }
.stats { padding: 18px 24px 80px; min-height: calc(100vh - 52px); }
.stats-page { max-width: 1200px; margin: 0 auto; }
.stats-title { margin: 4px 0 4px; font-size: 20px; }
.stats-lede { max-width: 940px; color: var(--muted); margin: 0 0 14px; }
.filter-row { display: flex; flex-wrap: wrap; gap: 10px 18px; align-items: flex-end; margin: 0 0 14px; }
.seg-group { display: flex; flex-direction: column; gap: 3px; }
.seg-label { font-size: 11px; color: var(--muted); text-transform: uppercase; letter-spacing: .05em; }
.seg { display: inline-flex; flex-wrap: wrap; gap: 2px; border: 1px solid var(--line); border-radius: 7px; background: #fff; padding: 2px; }
.seg-btn { border: 0; background: none; border-radius: 5px; padding: 3px 10px; color: var(--ink); }
.seg-btn:hover { background: #eef3f5; }
.seg-btn.active { background: var(--accent); color: #fff; }
.stat-tiles { display: grid; grid-template-columns: repeat(auto-fit, minmax(200px, 1fr)); gap: 10px; margin: 0 0 14px; }
.stat-tile { background: var(--panel); border: 1px solid var(--line); border-radius: 8px; padding: 10px 14px; }
.stat-label { font-size: 12px; color: var(--muted); }
.stat-value { font-size: 26px; font-weight: 600; line-height: 1.25; }
.stat-sub { font-size: 12px; color: var(--muted); }
.viz-card { background: var(--panel); border: 1px solid var(--line); border-radius: 8px; padding: 12px 16px 14px; margin: 0 0 14px; }
.viz-card-head { display: flex; justify-content: space-between; align-items: flex-start; gap: 16px; }
.viz-card-head h3 { margin: 0; font-size: 15px; }
.viz-sub { margin: 3px 0 0; color: var(--muted); font-size: 12.5px; max-width: 900px; }
.viz-toggle { flex: none; font-size: 12px; }
.viz-chart { margin-top: 8px; }
.viz-body { overflow-x: auto; }
.viz-table-wrap { margin-top: 8px; }
.viz-note { margin: 8px 0 0; font-size: 12px; color: var(--muted); max-width: 900px; }
.viz-legend { display: flex; flex-wrap: wrap; gap: 4px 16px; font-size: 12px; margin: 2px 0 6px; }
.viz-legend-item { display: inline-flex; align-items: center; gap: 6px; }
.viz-swatch { display: inline-block; width: 10px; height: 10px; border-radius: 2px; }
.viz-swatch.dot { border-radius: 50%; }
.viz-swatch.ring { border-radius: 50%; border: 1.5px solid var(--muted); background: #fff; }
.viz-svg { display: block; font-family: system-ui, -apple-system, "Segoe UI", sans-serif; }
.viz-svg text { fill: var(--ink); }
.viz-label { font-size: 12px; }
.viz-panel-title { font-size: 12px; font-weight: 600; }
.viz-tick { font-size: 11px; fill: var(--muted) !important; font-variant-numeric: tabular-nums; }
.viz-value { font-size: 11.5px; fill: #3d4a50 !important; font-variant-numeric: tabular-nums; }
.viz-axis-title, .viz-ref-label { font-size: 11px; fill: var(--muted) !important; }
.viz-point-label { font-size: 11.5px; fill: #3d4a50 !important; }
.viz-inlabel { font-size: 11px; font-variant-numeric: tabular-nums; pointer-events: none; }
.viz-grid { stroke: #e9edef; stroke-width: 1; shape-rendering: crispEdges; }
.viz-axis { stroke: #c5ccd0; stroke-width: 1; shape-rendering: crispEdges; }
.viz-whisker { stroke: #3d4a50; stroke-width: 1.5; }
.viz-ref { stroke: var(--muted); stroke-width: 1; }
.viz-ringed { stroke: #fff; stroke-width: 2; }
.viz-ref-dot { fill: #fff; stroke: var(--muted); stroke-width: 1.5; }
.viz-hit { fill: transparent; pointer-events: all; }
.viz-row, .viz-seg, .viz-dot { outline: none; }
.viz-row:hover .viz-hit, .viz-row:focus .viz-hit { fill: rgba(31, 111, 139, .06); }
.viz-row:hover .viz-mark, .viz-row:focus .viz-mark, .viz-seg:hover .viz-mark, .viz-seg:focus .viz-mark,
.viz-dot:hover .viz-mark, .viz-dot:focus .viz-mark { filter: brightness(1.12); }
.viz-row:focus-visible .viz-hit, .viz-seg:focus-visible .viz-hit, .viz-dot:focus-visible .viz-hit { stroke: var(--ink); stroke-width: 1.5; }
.viz-tip { position: fixed; z-index: 30; max-width: 340px; background: #fff; border: 1px solid var(--line); border-radius: 6px; box-shadow: 0 4px 14px rgba(23, 48, 58, .14); padding: 6px 9px; font-size: 12px; pointer-events: none; }
.viz-tip-head { display: flex; align-items: baseline; gap: 6px; }
.viz-tip-head strong { font-size: 13px; font-variant-numeric: tabular-nums; }
.viz-tip-key { flex: none; align-self: center; width: 12px; height: 3px; border-radius: 2px; }
.viz-tip-label, .viz-tip-line { color: var(--muted); }
.viz-tip-line { font-variant-numeric: tabular-nums; }
table.viz-table, table.bar-table { border-collapse: collapse; font-size: 12.5px; }
table.viz-table { width: 100%; }
.viz-table th, .viz-table td, .bar-table th, .bar-table td { padding: 4px 10px 4px 0; border-bottom: 1px solid #eef1f2; text-align: left; vertical-align: middle; }
.viz-table th, .bar-table th { color: var(--muted); font-weight: 500; font-size: 12px; vertical-align: bottom; }
.viz-table .num { text-align: right; font-variant-numeric: tabular-nums; white-space: nowrap; padding-left: 10px; }
.bar-table .bt-label { min-width: 230px; }
.bt-sub { display: block; font-size: 11px; font-weight: 400; }
.bt { display: flex; align-items: center; gap: 6px; min-width: 128px; }
.bt-track { display: inline-block; width: 84px; height: 12px; }
.bt-bar { display: block; height: 100%; background: #2a78d6; border-radius: 0 3px 3px 0; }
.bt-val { font-variant-numeric: tabular-nums; font-size: 12px; white-space: nowrap; }
.bt-group td { font-weight: 700; color: var(--accent); padding-top: 12px; }
.viz-line { fill: none; stroke-width: 2; stroke-linejoin: round; stroke-linecap: round; }
.viz-swatch.line { width: 14px; height: 3px; }
.cal-wrap { display: flex; flex-wrap: wrap; gap: 12px 28px; align-items: flex-start; }
.cal-metrics { flex: 1 1 420px; min-width: 0; }
.cal-metrics td:first-child { white-space: nowrap; }
.cal-ci { display: block; font-size: 11px; color: var(--muted); }
.cal-key { display: inline-block; width: 14px; height: 3px; border-radius: 2px; margin-right: 6px; vertical-align: middle; }
.viz-table-title { margin: 10px 0 2px; font-size: 12.5px; }
.caveats { font-size: 12px; color: var(--muted); max-width: 940px; padding-left: 18px; }
.caveats li { margin: 3px 0; }
@media (max-width: 900px) {
  .workspace { grid-template-columns: 1fr; }
  .sidebar { position: static; height: auto; max-height: 45vh; }
  .rollout-area.split { grid-template-columns: 1fr; }
  .stats { padding: 12px; }
  .bt { min-width: 92px; }
  .bt-track { width: 52px; }
  .bar-table .bt-label { min-width: 160px; }
}