:root {
  --page: #eef2f4;
  --surface: #ffffff;
  --surface-muted: #f6f8f9;
  --ink: #142630;
  --muted: #647680;
  --line: #d7e0e4;
  --line-strong: #b9c8cf;
  --navy: #071823;
  --navy-soft: #102a38;
  --teal: #10a98b;
  --teal-soft: #ddf6ef;
  --red: #bd3e3a;
  --red-soft: #fce9e7;
  --amber: #9b6715;
  --amber-soft: #fff2d5;
  --blue: #286b9e;
  --blue-soft: #e6f2fb;
  --green: #147a61;
  --green-soft: #e0f4ec;
  --gray-soft: #edf1f3;
  --purple: #67549c;
  --purple-soft: #eeeafa;
  --radius: 12px;
  --radius-sm: 8px;
  --shadow: 0 18px 44px rgb(13 35 47 / 8%);
  --shell: min(1560px, calc(100vw - 32px));
  --mono: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
  --sans: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --serif: Iowan Old Style, Charter, "Bitstream Charter", Georgia, serif;
  color: var(--ink);
  background: var(--page);
  font-family: var(--sans);
  font-synthesis: none;
  text-rendering: optimizeLegibility;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 116px; }
body { margin: 0; min-width: 320px; min-height: 100vh; background: var(--page); color: var(--ink); line-height: 1.45; }
body, button, input, select, textarea { font: inherit; }
button, input, select, textarea { color: inherit; }
button, a, input, select, textarea, summary { -webkit-tap-highlight-color: transparent; }
a { color: var(--blue); }
code, pre, .mono { font-family: var(--mono); }
code { overflow-wrap: anywhere; }
button { cursor: pointer; }
::selection { background: rgb(16 169 139 / 24%); }
:focus-visible { outline: 3px solid #2387cc; outline-offset: 2px; }
[hidden] { display: none !important; }

.skip-link {
  position: fixed;
  z-index: 1000;
  top: 8px;
  left: 8px;
  padding: 9px 13px;
  border-radius: 7px;
  background: white;
  color: var(--navy);
  transform: translateY(-160%);
  transition: transform .15s ease;
}
.skip-link:focus { transform: translateY(0); }

.loading-shell {
  display: grid;
  min-height: 100vh;
  place-items: center;
  color: var(--muted);
}
.load-error {
  width: min(680px, calc(100vw - 32px));
  margin: 12vh auto;
  padding: 28px;
  border: 1px solid #e6aaa6;
  border-radius: var(--radius);
  background: white;
}

.site-header {
  position: sticky;
  z-index: 90;
  top: 0;
  display: grid;
  grid-template-columns: minmax(220px, auto) 1fr auto;
  gap: 22px;
  align-items: center;
  min-height: 64px;
  padding: 9px max(16px, calc((100vw - 1560px) / 2));
  border-bottom: 1px solid rgb(255 255 255 / 10%);
  background: rgb(7 24 35 / 96%);
  color: white;
  backdrop-filter: blur(14px);
}
.brand { min-width: 0; color: white; text-decoration: none; }
.brand strong { display: block; font-size: 14px; letter-spacing: .01em; }
.brand span { display: block; color: #8fa8b5; font-size: 10px; }
.header-facts {
  display: flex;
  min-width: 0;
  gap: 12px;
  align-items: center;
  justify-content: center;
  color: #a9bec8;
  font-size: 11px;
}
.header-facts code {
  overflow: hidden;
  max-width: 185px;
  color: #d9e7eb;
  text-overflow: ellipsis;
  white-space: nowrap;
}
.history-link { color: #b9ced7; font-weight: 700; text-decoration: none; }
.history-link:hover { color: white; text-decoration: underline; }
.variant-switcher {
  display: inline-grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 3px;
  padding: 3px;
  border: 1px solid rgb(255 255 255 / 12%);
  border-radius: 9px;
  background: rgb(255 255 255 / 5%);
}
.variant-switcher a {
  min-width: 82px;
  padding: 7px 9px;
  border-radius: 6px;
  color: #a9bec8;
  font-size: 10px;
  font-weight: 700;
  text-align: center;
  text-decoration: none;
  white-space: nowrap;
}
.variant-switcher a:hover { color: white; background: rgb(255 255 255 / 7%); }
.variant-switcher a[aria-current="page"] { background: white; color: var(--navy); }

.shell { width: var(--shell); margin-inline: auto; }
.summary { padding: 18px 0 12px; }
.authority-line {
  display: flex;
  gap: 8px 18px;
  flex-wrap: wrap;
  align-items: center;
  margin-bottom: 10px;
  color: var(--muted);
  font-size: 11px;
}
.authority-line strong { color: var(--ink); }
.authority-line code { font-size: 10px; }
.eyebrow {
  margin: 0 0 3px;
  color: var(--teal);
  font-size: 10px;
  font-weight: 800;
  letter-spacing: .1em;
  text-transform: uppercase;
}
.summary-title-row {
  display: flex;
  gap: 28px;
  align-items: end;
  justify-content: space-between;
  margin-bottom: 13px;
}
.summary-title-row h1 {
  margin: 0;
  color: var(--navy);
  font-size: clamp(22px, 2.2vw, 34px);
  line-height: 1.08;
  letter-spacing: -.035em;
}
.summary-title-row p {
  max-width: 720px;
  margin: 4px 0 0;
  color: var(--muted);
  font-size: 12px;
}
.summary-actions { display: flex; gap: 7px; flex-wrap: wrap; justify-content: end; }
.button {
  display: inline-flex;
  min-height: 36px;
  gap: 7px;
  align-items: center;
  justify-content: center;
  padding: 8px 11px;
  border: 1px solid var(--line-strong);
  border-radius: 7px;
  background: white;
  color: var(--ink);
  font-size: 11px;
  font-weight: 750;
  line-height: 1.1;
  text-decoration: none;
}
.button:hover { border-color: #7f98a4; background: #f8fafb; }
.button.primary { border-color: var(--navy); background: var(--navy); color: white; }
.button.primary:hover { background: var(--navy-soft); }
.button.danger { border-color: #d99d99; color: #913531; background: #fffafa; }
.text-button {
  padding: 0;
  border: 0;
  background: transparent;
  color: var(--blue);
  font-size: 11px;
  font-weight: 700;
}
.text-button:hover { text-decoration: underline; }

.gate-banner {
  display: grid;
  grid-template-columns: auto 1fr auto;
  gap: 14px;
  align-items: center;
  min-height: 48px;
  padding: 10px 13px;
  border: 1px solid #e2b4b0;
  border-left: 4px solid var(--red);
  border-radius: 8px;
  background: #fff9f8;
}
.gate-banner strong { color: #7f302d; font-size: 12px; }
.gate-banner p { margin: 1px 0 0; color: #7d6563; font-size: 11px; }
.gate-banner code { color: #7f302d; font-size: 10px; }
.metric-strip {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 7px;
  margin-top: 8px;
}
.metric {
  min-width: 0;
  padding: 10px 12px;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: white;
}
.metric span { display: block; color: var(--muted); font-size: 9px; font-weight: 750; letter-spacing: .04em; text-transform: uppercase; }
.metric strong { display: block; margin-top: 2px; color: var(--navy); font-size: 22px; line-height: 1; font-variant-numeric: tabular-nums; }
.metric small { display: block; overflow: hidden; margin-top: 4px; color: #819099; font-size: 9px; text-overflow: ellipsis; white-space: nowrap; }
.metric.divergence strong, .metric.blocker strong { color: var(--red); }
.metric.match strong { color: var(--green); }
.metric.reject strong { color: var(--blue); }
.claim-row {
  display: flex;
  gap: 6px;
  flex-wrap: wrap;
  margin-top: 8px;
}
.claim {
  padding: 5px 8px;
  border: 1px solid #e5c4c1;
  border-radius: 999px;
  background: #fffafa;
  color: #8a4743;
  font-family: var(--mono);
  font-size: 9px;
}
.live-status {
  display: grid;
  grid-template-columns: minmax(115px, auto) 1fr auto;
  gap: 12px;
  align-items: center;
  margin-top: 8px;
  padding: 9px 11px;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: rgb(255 255 255 / 72%);
}
.live-status > div:first-child strong, .live-status > div:first-child span { display: block; }
.live-status > div:first-child strong { color: var(--navy); font-size: 11px; }
.live-status > div:first-child span { color: var(--muted); font-size: 8px; text-transform: uppercase; }
.live-status > p, .live-status-main p { margin: 0; color: var(--muted); font-size: 10px; }
.live-status-main { display: flex; min-width: 0; gap: 6px 10px; align-items: center; flex-wrap: wrap; }
.live-status-main p { flex: 1 1 380px; color: #425761; }
.live-status-main small { color: var(--muted); font-size: 8px; }
.live-status-main small:last-child { flex-basis: 100%; }
.live-status-main a { color: var(--blue); text-decoration: none; }
.live-status-main a:hover { text-decoration: underline; }
.live-status button:disabled { cursor: wait; opacity: .6; }

.audit-nav {
  position: sticky;
  z-index: 70;
  top: 64px;
  display: flex;
  gap: 3px;
  align-items: center;
  overflow-x: auto;
  padding: 6px 0;
  border-bottom: 1px solid var(--line);
  background: rgb(238 242 244 / 96%);
  backdrop-filter: blur(12px);
  scrollbar-width: none;
}
.audit-nav::-webkit-scrollbar { display: none; }
.nav-button {
  position: relative;
  min-height: 36px;
  flex: 0 0 auto;
  padding: 8px 11px;
  border: 1px solid transparent;
  border-radius: 7px;
  background: transparent;
  color: var(--muted);
  font-size: 11px;
  font-weight: 750;
  text-decoration: none;
  white-space: nowrap;
}
.nav-button:hover { color: var(--ink); background: rgb(255 255 255 / 70%); }
.nav-button[aria-selected="true"],
.nav-button[aria-current="true"] {
  border-color: var(--line);
  background: white;
  color: var(--navy);
  box-shadow: 0 2px 5px rgb(16 38 48 / 4%);
}
.nav-count {
  display: inline-grid;
  min-width: 18px;
  height: 18px;
  margin-left: 5px;
  place-items: center;
  border-radius: 9px;
  background: var(--gray-soft);
  color: var(--muted);
  font-size: 9px;
}
.nav-button[aria-selected="true"] .nav-count,
.nav-button[aria-current="true"] .nav-count { background: var(--navy); color: white; }

.app-frame { padding: 10px 0 34px; }
.view-stack { min-width: 0; }
.view-panel {
  min-width: 0;
  border: 1px solid var(--line);
  border-radius: var(--radius);
  background: var(--surface);
  box-shadow: 0 1px 0 rgb(13 35 47 / 2%);
}
.view-panel[hidden] { display: none; }
.panel-heading {
  display: flex;
  min-height: 67px;
  gap: 22px;
  align-items: center;
  justify-content: space-between;
  padding: 13px 16px;
  border-bottom: 1px solid var(--line);
}
.panel-heading h2 { margin: 0; color: var(--navy); font-size: 17px; letter-spacing: -.02em; }
.panel-heading p { max-width: 780px; margin: 3px 0 0; color: var(--muted); font-size: 10px; }
.panel-heading .result-count { color: var(--muted); font-size: 10px; white-space: nowrap; }
.panel-body { padding: 14px 16px 18px; }

.filter-bar {
  display: grid;
  grid-template-columns: minmax(220px, 1.4fr) repeat(2, minmax(155px, .65fr)) auto;
  gap: 8px;
  align-items: end;
  padding: 10px 12px;
  border-bottom: 1px solid var(--line);
  background: var(--surface-muted);
}
.filter-bar.finding-filters { grid-template-columns: minmax(220px, 1.4fr) repeat(2, minmax(150px, .65fr)) auto auto; }
.filter-bar.witness-filters { grid-template-columns: minmax(220px, 1.4fr) repeat(2, minmax(150px, .65fr)) auto; }
.filter-bar label { display: grid; gap: 4px; color: var(--muted); font-size: 9px; font-weight: 750; letter-spacing: .03em; text-transform: uppercase; }
.filter-bar input, .filter-bar select, .review-form input, .review-form select, .review-form textarea {
  width: 100%;
  min-height: 36px;
  padding: 7px 9px;
  border: 1px solid var(--line-strong);
  border-radius: 7px;
  background: white;
  color: var(--ink);
  font-size: 11px;
  text-transform: none;
}
.filter-bar input::placeholder, .review-form textarea::placeholder { color: #94a2aa; }
.check-control {
  display: flex !important;
  min-height: 36px;
  grid-auto-flow: column;
  gap: 7px !important;
  align-items: center;
  justify-content: start;
  padding: 7px 9px;
  border: 1px solid var(--line-strong);
  border-radius: 7px;
  background: white;
  color: var(--ink) !important;
  font-size: 10px !important;
  text-transform: none !important;
}
.check-control input { width: auto; min-height: 0; margin: 0; }

.case-layout {
  display: grid;
  grid-template-columns: minmax(520px, .95fr) minmax(430px, 1.05fr);
  min-height: 620px;
}
.case-list-pane { min-width: 0; border-right: 1px solid var(--line); }
.table-scroll { width: 100%; overflow: auto; }
.case-table { width: 100%; border-collapse: collapse; table-layout: fixed; }
.case-table th, .case-table td { border-bottom: 1px solid #e7ecef; padding: 8px 9px; text-align: left; vertical-align: top; }
.case-table th {
  position: sticky;
  z-index: 2;
  top: 0;
  background: #f8fafb;
  color: var(--muted);
  font-size: 9px;
  font-weight: 800;
  letter-spacing: .035em;
  text-transform: uppercase;
}
.case-table td { color: #425762; font-size: 10px; }
.case-table tbody tr { transition: background .1s ease; }
.case-table tbody tr:hover { background: #f5f9fa; }
.case-table tbody tr.selected { background: #eaf7f3; box-shadow: inset 3px 0 var(--teal); }
.case-table .case-id-cell { width: 116px; }
.case-table .surface-cell { width: 142px; }
.case-table .status-cell { width: 118px; }
.case-table .probe-cell { width: 72px; text-align: center; }
.case-link {
  padding: 0;
  border: 0;
  background: transparent;
  color: var(--navy);
  font-family: var(--mono);
  font-size: 10px;
  font-weight: 750;
  text-align: left;
}
.case-link:hover { color: var(--teal); text-decoration: underline; }
.case-note {
  display: -webkit-box;
  overflow: hidden;
  -webkit-box-orient: vertical;
  -webkit-line-clamp: 2;
}
.boolean-mark { color: var(--muted); font-family: var(--mono); font-size: 9px; }
.boolean-mark.yes { color: var(--green); }
.boolean-mark.no { color: var(--red); }
.case-detail {
  min-width: 0;
  max-height: 78vh;
  overflow: auto;
  background: white;
}
.case-summary {
  position: sticky;
  z-index: 4;
  top: 0;
  padding: 15px 16px 13px;
  border-bottom: 1px solid var(--line);
  background: rgb(255 255 255 / 96%);
  backdrop-filter: blur(10px);
}
.case-summary-top { display: flex; gap: 12px; align-items: start; justify-content: space-between; }
.case-summary h3 { margin: 3px 0 0; color: var(--navy); font-size: 20px; letter-spacing: -.025em; }
.case-summary p { margin: 7px 0 0; color: var(--muted); font-size: 11px; }
.detail-content { padding: 9px 12px 22px; }
.detail-disclosure {
  border-bottom: 1px solid var(--line);
}
.detail-disclosure:last-child { border-bottom: 0; }
.detail-disclosure > summary {
  display: flex;
  min-height: 45px;
  gap: 10px;
  align-items: center;
  padding: 9px 5px;
  color: var(--navy);
  font-size: 11px;
  font-weight: 800;
  list-style: none;
  cursor: pointer;
}
.detail-disclosure > summary::-webkit-details-marker { display: none; }
.detail-disclosure > summary::before {
  width: 8px;
  height: 8px;
  border-right: 1.5px solid var(--muted);
  border-bottom: 1.5px solid var(--muted);
  content: "";
  transform: rotate(-45deg);
  transition: transform .13s ease;
}
.detail-disclosure[open] > summary::before { transform: rotate(45deg) translate(-2px, -2px); }
.detail-disclosure-body { padding: 0 5px 14px 23px; }
.detail-disclosure-body > :first-child { margin-top: 0; }

.status-pill {
  display: inline-flex;
  min-height: 21px;
  gap: 5px;
  align-items: center;
  justify-content: center;
  max-width: 100%;
  padding: 3px 7px;
  border: 1px solid transparent;
  border-radius: 999px;
  font-size: 8px;
  font-weight: 850;
  letter-spacing: .025em;
  line-height: 1.15;
  text-transform: uppercase;
  white-space: nowrap;
}
.status-match, .status-pass, .status-fixed { border-color: #acd8c9; background: var(--green-soft); color: var(--green); }
.status-reject { border-color: #bad7ed; background: var(--blue-soft); color: var(--blue); }
.status-divergence, .status-fail, .status-open { border-color: #eab7b3; background: var(--red-soft); color: var(--red); }
.status-pending { border-color: #e5cf9e; background: var(--amber-soft); color: var(--amber); }
.status-unverified { border-color: #cad3d8; background: var(--gray-soft); color: #5f6e76; }
.status-out { border-color: #d1c8e7; background: var(--purple-soft); color: var(--purple); }
.status-p0 { border-color: #eab7b3; color: var(--red); background: #fff7f6; }
.status-p1 { border-color: #e5cf9e; color: var(--amber); background: #fffbf0; }

.math-card {
  overflow: hidden;
  border: 1px solid #c7ddd8;
  border-radius: 9px;
  background: #f7fcfa;
}
.math-card header { padding: 9px 11px 0; color: var(--green); font-size: 9px; font-weight: 800; letter-spacing: .04em; text-transform: uppercase; }
.math-display {
  min-width: 0;
  overflow-x: auto;
  padding: 14px 16px;
  color: #0b352d;
  font-family: var(--serif);
  font-size: 18px;
  line-height: 1.5;
  text-align: center;
}
.math-display math { max-width: 100%; margin-inline: auto; font-size: 1.05em; }
.math-meaning { margin: 0; padding: 0 12px 12px; color: var(--muted); font-size: 10px; }
.notation { margin: 0 0 12px; padding: 8px 10px; border: 1px solid var(--line); border-radius: 8px; background: var(--surface-muted); }
.notation > summary { cursor: pointer; color: var(--navy); font-size: 10px; font-weight: 750; }
.notation > div { display: flex; gap: 5px; flex-wrap: wrap; margin-top: 8px; }
.notation span {
  display: inline-flex;
  gap: 5px;
  align-items: baseline;
  padding: 5px 8px;
  border: 1px solid var(--line);
  border-radius: 7px;
  background: white;
  color: var(--muted);
  font-size: 9px;
}
.notation b { color: var(--navy); font-family: var(--serif); font-size: 15px; font-weight: 500; }
.formula-grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 9px; }
.formula-record {
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: 9px;
  background: white;
}
.formula-record > summary {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 10px;
  align-items: center;
  min-height: 64px;
  padding: 10px 12px;
  list-style: none;
  cursor: pointer;
}
.formula-record > summary::-webkit-details-marker { display: none; }
.formula-record > summary:hover { background: #f8fafb; }
.formula-record h3 { margin: 0; color: var(--navy); font-size: 12px; }
.formula-record .unicode-preview { overflow: hidden; margin-top: 4px; color: var(--muted); font-family: var(--serif); font-size: 11px; text-overflow: ellipsis; white-space: nowrap; }
.formula-record > summary::after { color: var(--muted); content: "+"; font-size: 18px; font-weight: 300; }
.formula-record[open] > summary::after { content: "−"; }
.formula-body { padding: 0 12px 13px; }
.source-tags { display: flex; gap: 5px; flex-wrap: wrap; margin-top: 8px; }
.source-tag {
  padding: 4px 6px;
  border: 1px solid var(--line);
  border-radius: 5px;
  background: var(--surface-muted);
  color: #50636d;
  font-family: var(--mono);
  font-size: 8px;
  text-decoration: none;
}

.comparison-table, .kv-table, .pr-table, .artifact-table {
  width: 100%;
  border-collapse: collapse;
  table-layout: fixed;
}
.comparison-table th, .comparison-table td,
.kv-table th, .kv-table td,
.pr-table th, .pr-table td,
.artifact-table th, .artifact-table td {
  padding: 7px 8px;
  border-bottom: 1px solid #e7ecef;
  text-align: left;
  vertical-align: top;
  overflow-wrap: anywhere;
}
.comparison-table th, .kv-table th, .pr-table th, .artifact-table th {
  color: var(--muted);
  font-size: 8px;
  font-weight: 800;
  letter-spacing: .035em;
  text-transform: uppercase;
}
.comparison-table td, .kv-table td, .pr-table td, .artifact-table td { color: #40545e; font-size: 9px; }
.comparison-table tr.mismatch { background: #fff6f5; }
.comparison-table .value-cell, .kv-table .value-cell { font-family: var(--mono); font-size: 8px; }
.difference-list { margin: 9px 0 0; padding-left: 18px; color: var(--red); font-size: 10px; }
.evidence-facts { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 7px; }
.evidence-fact { min-width: 0; padding: 8px; border: 1px solid var(--line); border-radius: 7px; background: var(--surface-muted); }
.evidence-fact span { display: block; color: var(--muted); font-size: 8px; font-weight: 750; text-transform: uppercase; }
.evidence-fact strong { display: block; overflow-wrap: anywhere; margin-top: 4px; font-size: 9px; }
.detail-actions { display: flex; gap: 6px; flex-wrap: wrap; margin-top: 10px; }
pre.json-block {
  overflow: auto;
  max-height: 300px;
  margin: 8px 0 0;
  padding: 11px;
  border: 1px solid #dbe3e6;
  border-radius: 7px;
  background: #f7f9fa;
  color: #29404c;
  font-size: 8.5px;
  line-height: 1.5;
  white-space: pre-wrap;
}

.ledger-list { display: grid; gap: 7px; }
.record {
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: white;
}
.record > summary {
  display: grid;
  grid-template-columns: 112px 80px minmax(220px, 1fr) auto auto;
  gap: 9px;
  align-items: center;
  min-height: 48px;
  padding: 8px 10px;
  list-style: none;
  cursor: pointer;
}
.record > summary::-webkit-details-marker { display: none; }
.record > summary:hover { background: #f8fafb; }
.record[open] { border-color: #aebfc7; box-shadow: 0 6px 18px rgb(14 37 48 / 5%); }
.record-id { color: #526872; font-family: var(--mono); font-size: 9px; font-weight: 700; }
.record-title { min-width: 0; }
.record-title strong { display: block; color: var(--navy); font-size: 11px; }
.record-title small { display: block; overflow: hidden; margin-top: 2px; color: var(--muted); font-size: 9px; text-overflow: ellipsis; white-space: nowrap; }
.record-chevron { color: var(--muted); font-size: 16px; }
.record-chevron::after { content: "+"; }
.record[open] .record-chevron::after { content: "−"; }
.record-body { padding: 12px 14px 14px 211px; border-top: 1px solid var(--line); background: #fbfcfc; }
.record-body p { margin: 0 0 9px; color: #465a64; font-size: 10px; }
.record-body h4 { margin: 12px 0 4px; color: var(--muted); font-size: 8px; letter-spacing: .05em; text-transform: uppercase; }
.evidence-links { display: flex; gap: 5px; flex-wrap: wrap; }
.evidence-link {
  padding: 4px 6px;
  border: 1px solid var(--line);
  border-radius: 5px;
  background: white;
  color: var(--blue);
  font-family: var(--mono);
  font-size: 8px;
  text-decoration: none;
}
button.evidence-link { cursor: pointer; }
.empty-state { padding: 34px 18px; color: var(--muted); font-size: 11px; text-align: center; }

.story-list { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 8px; }
.story-card {
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: 9px;
  background: white;
}
.story-card > summary { min-height: 104px; padding: 12px; list-style: none; cursor: pointer; }
.story-card > summary::-webkit-details-marker { display: none; }
.story-card > summary:hover { background: #f8fafb; }
.story-card .story-meta { display: flex; gap: 6px; flex-wrap: wrap; justify-content: space-between; }
.story-card h3 { margin: 10px 0 4px; color: var(--navy); font-size: 13px; text-transform: capitalize; }
.story-card .job-preview {
  display: -webkit-box;
  overflow: hidden;
  margin: 0;
  color: var(--muted);
  font-size: 10px;
  -webkit-box-orient: vertical;
  -webkit-line-clamp: 2;
}
.story-body { padding: 0 12px 13px; }
.scenario { display: grid; grid-template-columns: 54px 1fr; gap: 5px 9px; margin: 5px 0 11px; }
.scenario dt { color: var(--muted); font-size: 8px; font-weight: 800; text-transform: uppercase; }
.scenario dd { margin: 0; color: #40545e; font-size: 9px; }

.provenance-grid { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 10px; }
.evidence-card { min-width: 0; padding: 13px; border: 1px solid var(--line); border-radius: 9px; background: white; }
.evidence-card.full { grid-column: 1 / -1; }
.evidence-card h3 { margin: 0 0 9px; color: var(--navy); font-size: 12px; }
.evidence-card p, .evidence-card li { color: #4d606a; font-size: 9px; }
.evidence-card ul { margin: 7px 0 0; padding-left: 18px; }
.fact-list { display: grid; grid-template-columns: 145px minmax(0, 1fr); margin: 0; }
.fact-list dt, .fact-list dd { margin: 0; padding: 6px 0; border-bottom: 1px solid #e7ecef; font-size: 9px; }
.fact-list dt { color: var(--muted); }
.fact-list dd { overflow-wrap: anywhere; color: #2e454f; }
.candidate-card { border-color: #e2cf9f; background: #fffcf4; }
.candidate-card h3 { color: #7b5b20; }
.validation-grid { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 6px; }
.validation-item { padding: 8px; border: 1px solid var(--line); border-radius: 7px; background: var(--surface-muted); }
.validation-item strong { display: block; color: var(--navy); font-size: 9px; }
.validation-item span { display: block; overflow-wrap: anywhere; margin-top: 3px; color: var(--muted); font-family: var(--mono); font-size: 8px; }
.artifact-table .hash { font-family: var(--mono); font-size: 7.5px; }

.audit-map-body { display: grid; gap: 14px; }
.gate-disclosure, .scope-explainer, .operation-disclosure {
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: 9px;
  background: var(--surface-muted);
}
.gate-disclosure > summary, .scope-explainer > summary, .operation-disclosure > summary {
  display: flex;
  gap: 12px;
  align-items: center;
  justify-content: space-between;
  padding: 11px 13px;
  color: var(--navy);
  font-size: 10px;
  list-style: none;
  cursor: pointer;
}
.gate-disclosure > summary::-webkit-details-marker,
.scope-explainer > summary::-webkit-details-marker,
.operation-disclosure > summary::-webkit-details-marker { display: none; }
.gate-disclosure > summary span { color: var(--muted); font-weight: 500; }
.gate-list { display: grid; gap: 6px; padding: 0 10px 10px; }
.gate-record { overflow: hidden; border: 1px solid var(--line); border-radius: 7px; background: white; }
.gate-record > summary {
  display: grid;
  grid-template-columns: 34px minmax(0, 1fr) auto;
  gap: 9px;
  align-items: center;
  padding: 9px 10px;
  list-style: none;
  cursor: pointer;
}
.gate-record > summary::-webkit-details-marker { display: none; }
.gate-record > summary strong { font-size: 10px; }
.gate-record-body { padding: 0 12px 12px 53px; }
.review-question { margin: 0 0 9px; color: var(--navy); font-size: 12px; font-weight: 700; }
.subheading-row { display: flex; gap: 12px; align-items: baseline; justify-content: space-between; }
.subheading-row h3 { margin: 0; color: var(--navy); font-size: 12px; }
.subheading-row span { color: var(--muted); font-size: 9px; }
.review-task-list { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 7px; margin-top: 7px; }
.review-task {
  display: grid;
  grid-template-columns: 24px minmax(0, 1fr) auto;
  gap: 9px;
  align-items: start;
  padding: 9px 10px;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: white;
}
.review-priority { display: grid; width: 22px; height: 22px; place-items: center; border-radius: 50%; background: var(--navy); color: white; font-size: 9px; font-weight: 800; }
.review-task strong { color: var(--navy); font-size: 10px; }
.review-task p { margin: 2px 0 0; color: var(--muted); font-size: 9px; }
.review-task .text-button { white-space: nowrap; }
.domain-list { display: grid; gap: 6px; }
.domain-record {
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: 9px;
  background: white;
}
.domain-record > summary {
  display: grid;
  grid-template-columns: minmax(280px, 1fr) auto auto;
  gap: 12px;
  align-items: center;
  min-height: 56px;
  padding: 9px 11px;
  list-style: none;
  cursor: pointer;
}
.domain-record > summary::-webkit-details-marker { display: none; }
.domain-record > summary:hover { background: #f8fafb; }
.domain-record[open] { border-color: #aebfc7; box-shadow: 0 6px 18px rgb(14 37 48 / 5%); }
.domain-name { min-width: 0; }
.domain-name strong { display: block; color: var(--navy); font-size: 12px; }
.domain-name small { display: block; overflow: hidden; margin-top: 2px; color: var(--muted); font-size: 9px; text-overflow: ellipsis; white-space: nowrap; }
.domain-record[open] .record-chevron::after { content: "−"; }
.domain-body { padding: 13px 14px 14px; border-top: 1px solid var(--line); background: #fbfcfc; }
.domain-facts { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 7px; margin-bottom: 10px; }
.domain-facts > div { padding: 9px; border: 1px solid var(--line); border-radius: 7px; background: white; }
.domain-facts span { color: var(--muted); font-size: 8px; font-weight: 800; letter-spacing: .03em; text-transform: uppercase; }
.domain-facts p { margin: 4px 0 0; color: #40545e; font-size: 9px; }
.domain-actions { margin-bottom: 10px; }
.transition-summary { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 7px; margin-bottom: 10px; }
.transition-list-heading { margin: 14px 0 7px; }
.operation-disclosure, .scope-explainer { margin-top: 9px; background: white; }
.operation-table { width: 100%; border-collapse: collapse; }
.operation-table th, .operation-table td { padding: 8px; border-top: 1px solid var(--line); color: #40545e; font-size: 9px; text-align: left; }
.operation-table th { color: var(--muted); font-size: 8px; letter-spacing: .03em; text-transform: uppercase; }
.transition-record > summary { grid-template-columns: 220px minmax(220px, 1fr) auto auto; }
.transition-record .record-body { padding-left: 14px; }
.repeat-list { display: grid; gap: 6px; padding: 0 10px 10px; }
.repeat-list article { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 4px 12px; padding: 9px; border: 1px solid var(--line); border-radius: 7px; background: var(--surface-muted); }
.repeat-list strong { font-size: 9px; }
.repeat-list span { color: var(--muted); font-size: 9px; }
.repeat-list p { grid-column: 1 / -1; margin: 0; color: var(--muted); font-size: 9px; }
.evidence-layer-list { display: grid; grid-column: 1 / -1; gap: 8px; }
.evidence-card > summary { display: flex; gap: 12px; align-items: center; justify-content: space-between; list-style: none; cursor: pointer; }
.evidence-card > summary::-webkit-details-marker { display: none; }
.history-actions { display: flex; grid-column: 1 / -1; gap: 7px; flex-wrap: wrap; }

.review-form { display: grid; grid-template-columns: 130px 1fr auto; gap: 7px; align-items: end; margin-top: 10px; }
.review-form label { display: grid; gap: 4px; color: var(--muted); font-size: 8px; font-weight: 750; text-transform: uppercase; }
.review-form textarea { min-height: 68px; resize: vertical; }
.review-thread { display: grid; gap: 6px; margin-top: 9px; }
.review-note { padding: 8px 9px; border: 1px solid var(--line); border-radius: 7px; background: #fbfcfc; }
.review-note header { display: flex; gap: 8px; justify-content: space-between; color: var(--muted); font-size: 8px; }
.review-note p { margin: 5px 0 0; color: #344b56; font-size: 9px; white-space: pre-wrap; }
.toast {
  position: fixed;
  z-index: 200;
  right: 18px;
  bottom: 18px;
  max-width: min(360px, calc(100vw - 36px));
  padding: 10px 13px;
  border-radius: 8px;
  background: var(--navy);
  color: white;
  font-size: 11px;
  box-shadow: var(--shadow);
  opacity: 0;
  pointer-events: none;
  transform: translateY(8px);
  transition: opacity .15s ease, transform .15s ease;
}
.toast.visible { opacity: 1; transform: translateY(0); }

/* Variant A: the compact spreadsheet console is the base visual language. */
body[data-variant="a"] .case-list-pane { background: white; }

/* Variant B: a quieter, section-by-section reading experience. */
body[data-variant="b"] {
  --page: #f4f2ed;
  --surface-muted: #faf9f6;
  --line: #ddd9d0;
  --line-strong: #c6c0b5;
  --teal: #087a69;
  --shell: min(1180px, calc(100vw - 40px));
}
body[data-variant="b"] .site-header {
  grid-template-columns: auto 1fr auto;
  min-height: 70px;
  border-color: rgb(255 255 255 / 8%);
  background: rgb(15 28 35 / 97%);
}
body[data-variant="b"] .summary { padding: 38px 0 20px; }
body[data-variant="b"] .summary-title-row { align-items: start; }
body[data-variant="b"] .summary-title-row h1 {
  max-width: 700px;
  font-family: var(--serif);
  font-size: clamp(38px, 5vw, 62px);
  font-weight: 500;
  line-height: .98;
  letter-spacing: -.045em;
}
body[data-variant="b"] .summary-title-row p { max-width: 670px; margin-top: 15px; font-size: 14px; line-height: 1.6; }
body[data-variant="b"] .authority-line { margin-bottom: 16px; }
body[data-variant="b"] .gate-banner { margin-top: 22px; padding: 15px 17px; }
body[data-variant="b"] .metric-strip { gap: 9px; margin-top: 10px; }
body[data-variant="b"] .metric { padding: 15px; }
body[data-variant="b"] .metric strong { margin-top: 6px; font-family: var(--serif); font-size: 32px; font-weight: 500; }
body[data-variant="b"] .claim-row { margin-top: 10px; }
body[data-variant="b"] .audit-nav { top: 70px; justify-content: center; padding: 8px 0; background: rgb(244 242 237 / 96%); }
body[data-variant="b"] .nav-button { min-height: 38px; }
body[data-variant="b"] .app-frame { padding-top: 24px; }
body[data-variant="b"] .view-stack { display: grid; gap: 48px; }
body[data-variant="b"] .view-panel { scroll-margin-top: 126px; border: 0; border-radius: 0; background: transparent; box-shadow: none; }
body[data-variant="b"] .view-panel[hidden] { display: block !important; }
body[data-variant="b"] .panel-heading {
  min-height: 0;
  align-items: end;
  padding: 0 0 17px;
  border-bottom: 1px solid var(--line-strong);
}
body[data-variant="b"] .panel-heading h2 { font-family: var(--serif); font-size: 31px; font-weight: 500; }
body[data-variant="b"] .panel-heading p { margin-top: 7px; font-size: 11px; }
body[data-variant="b"] .panel-body { padding: 16px 0 0; }
body[data-variant="b"] .filter-bar {
  margin-top: 14px;
  padding: 11px;
  border: 1px solid var(--line);
  border-radius: 9px 9px 0 0;
  background: #ebe8e1;
}
body[data-variant="b"] .case-layout {
  grid-template-columns: 1fr;
  min-height: 0;
  border: 1px solid var(--line);
  border-top: 0;
  border-radius: 0 0 10px 10px;
  background: white;
}
body[data-variant="b"] .case-list-pane { max-height: 430px; overflow: auto; border-right: 0; border-bottom: 1px solid var(--line); }
body[data-variant="b"] .case-detail { max-height: none; overflow: visible; }
body[data-variant="b"] .case-summary { position: static; padding: 20px 22px; }
body[data-variant="b"] .detail-content { padding: 10px 18px 24px; }
body[data-variant="b"] .ledger-list { gap: 9px; }
body[data-variant="b"] .record, body[data-variant="b"] .formula-record, body[data-variant="b"] .story-card, body[data-variant="b"] .evidence-card { border-color: var(--line); }
body[data-variant="b"] .record-body { padding-left: 211px; }
body[data-variant="b"] .formula-grid { gap: 11px; }
body[data-variant="b"] .formula-record h3, body[data-variant="b"] .story-card h3 { font-family: var(--serif); font-size: 15px; font-weight: 600; }
body[data-variant="b"] .math-display { font-size: 20px; }
body[data-variant="b"] .toast { background: #182c34; }

/* Variant C: a task-oriented audit desk with a persistent queue rail. */
body[data-variant="c"] {
  --page: #f7f8f8;
  --surface-muted: #f2f5f5;
  --shell: min(1480px, calc(100vw - 32px));
}
body[data-variant="c"] .site-header { background: rgb(255 255 255 / 96%); color: var(--ink); border-bottom: 1px solid var(--line); }
body[data-variant="c"] .brand { color: var(--navy); }
body[data-variant="c"] .brand span, body[data-variant="c"] .header-facts { color: var(--muted); }
body[data-variant="c"] .header-facts code { color: var(--ink); }
body[data-variant="c"] .history-link { color: var(--blue); }
body[data-variant="c"] .variant-switcher { border-color: var(--line); background: var(--surface-muted); }
body[data-variant="c"] .variant-switcher a { color: var(--muted); }
body[data-variant="c"] .variant-switcher a:hover { color: var(--ink); background: white; }
body[data-variant="c"] .variant-switcher a[aria-current="page"] { background: var(--navy); color: white; }
body[data-variant="c"] .summary { padding-bottom: 10px; }
body[data-variant="c"] .summary-title-row h1 { font-size: 28px; }
body[data-variant="c"] .metric-strip { grid-template-columns: repeat(4, minmax(0, 1fr)); }
body[data-variant="c"] .audit-nav {
  position: sticky;
  top: 76px;
  display: grid;
  gap: 5px;
  align-content: start;
  padding: 8px;
  border: 1px solid var(--line);
  border-radius: 10px;
  background: white;
}
body[data-variant="c"] .nav-button {
  display: flex;
  width: 100%;
  min-height: 42px;
  align-items: center;
  justify-content: space-between;
  padding: 9px 10px;
  text-align: left;
}
body[data-variant="c"] .nav-button[aria-selected="true"] { border-color: #b8ddd4; background: var(--teal-soft); color: #075f50; box-shadow: none; }
body[data-variant="c"] .nav-button[aria-selected="true"] .nav-count { background: var(--teal); }
body[data-variant="c"] .app-frame { display: grid; grid-template-columns: 190px minmax(0, 1fr); gap: 10px; align-items: start; padding-top: 4px; }
body[data-variant="c"] .panel-heading { min-height: 72px; }
body[data-variant="c"] .view-panel { box-shadow: 0 8px 28px rgb(13 35 47 / 5%); }
body[data-variant="c"] .case-layout { grid-template-columns: minmax(470px, .82fr) minmax(430px, 1.18fr); }
body[data-variant="c"] .record > summary { min-height: 52px; }
body[data-variant="c"] .panel-heading h2 { font-size: 19px; }

@media (max-width: 1180px) {
  .header-facts { display: none; }
  .site-header { grid-template-columns: 1fr auto; }
  .metric-strip { grid-template-columns: repeat(3, 1fr); }
  .case-layout, body[data-variant="c"] .case-layout { grid-template-columns: 1fr; }
  .case-list-pane { max-height: 470px; overflow: auto; border-right: 0; border-bottom: 1px solid var(--line); }
  .case-detail { max-height: none; overflow: visible; }
  .case-summary { position: static; }
  .validation-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  body[data-variant="b"] .metric-strip { grid-template-columns: repeat(3, 1fr); }
}

@media (max-width: 900px) {
  :root { --shell: min(100% - 24px, 100%); }
  .summary-title-row { align-items: start; flex-direction: column; gap: 12px; }
  .summary-actions { justify-content: start; }
  .gate-banner { grid-template-columns: 1fr; gap: 4px; }
  .gate-banner code { display: none; }
  .filter-bar, .filter-bar.finding-filters, .filter-bar.witness-filters { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .formula-grid, .story-list, .provenance-grid { grid-template-columns: 1fr; }
  .review-task-list { grid-template-columns: 1fr; }
  .domain-facts { grid-template-columns: 1fr; }
  .record > summary { grid-template-columns: 98px 74px minmax(160px, 1fr) auto auto; }
  .record-body, body[data-variant="b"] .record-body { padding-left: 14px; }
  body[data-variant="c"] .app-frame { grid-template-columns: 1fr; }
  body[data-variant="c"] .audit-nav {
    position: sticky;
    z-index: 70;
    top: 64px;
    display: flex;
    overflow-x: auto;
    padding: 6px;
  }
  body[data-variant="c"] .nav-button { width: auto; min-width: max-content; }
  body[data-variant="c"] .summary { padding-top: 14px; }
}

@media (max-width: 680px) {
  :root { --shell: calc(100vw - 18px); }
  html { scroll-padding-top: 104px; }
  .site-header { position: relative; grid-template-columns: 1fr; gap: 8px; padding: 10px; }
  .brand { text-align: center; }
  .variant-switcher { width: 100%; }
  .variant-switcher a { min-width: 0; }
  .summary { padding-top: 14px; }
  .summary-title-row h1 { font-size: 25px; }
  .summary-actions { width: 100%; }
  .summary-actions .button { flex: 1 1 auto; }
  .metric-strip, body[data-variant="b"] .metric-strip, body[data-variant="c"] .metric-strip { grid-template-columns: repeat(2, 1fr); }
  .claim { width: 100%; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
  .live-status { grid-template-columns: 1fr auto; }
  .live-status-main { grid-column: 1 / -1; grid-row: 2; }
  .audit-nav, body[data-variant="b"] .audit-nav, body[data-variant="c"] .audit-nav { top: 0; }
  .panel-heading { align-items: start; flex-direction: column; gap: 5px; }
  .filter-bar, .filter-bar.finding-filters, .filter-bar.witness-filters { grid-template-columns: 1fr; }
  .case-table { min-width: 720px; }
  .case-detail { min-width: 0; }
  .evidence-facts { grid-template-columns: 1fr; }
  .record > summary { grid-template-columns: 1fr auto; }
  .record > summary > .status-pill { justify-self: start; }
  .record > summary .record-id { grid-column: 1; }
  .record > summary .record-title { grid-column: 1; }
  .record > summary .record-chevron { grid-column: 2; grid-row: 1 / span 3; }
  .record-body { padding: 12px; }
  .domain-record > summary { grid-template-columns: 1fr auto; }
  .domain-record > summary .domain-name { grid-column: 1; }
  .domain-record > summary .status-pill { grid-column: 1; justify-self: start; }
  .domain-record > summary .record-chevron { grid-column: 2; grid-row: 1 / span 2; }
  .transition-summary { grid-template-columns: 1fr; }
  .transition-record > summary { grid-template-columns: 1fr auto; }
  .validation-grid { grid-template-columns: 1fr; }
  .fact-list { grid-template-columns: 1fr; }
  .fact-list dt { padding-bottom: 1px; border-bottom: 0; }
  .fact-list dd { padding-top: 1px; }
  .review-form { grid-template-columns: 1fr; }
  .comparison-table { min-width: 660px; }
  .pr-table, .artifact-table { min-width: 720px; }
  body[data-variant="b"] .summary { padding-top: 25px; }
  body[data-variant="b"] .summary-title-row h1 { font-size: 39px; }
  body[data-variant="b"] .view-stack { gap: 38px; }
}

@media (prefers-reduced-motion: reduce) {
  *, *::before, *::after {
    scroll-behavior: auto !important;
    transition-duration: .01ms !important;
    animation-duration: .01ms !important;
    animation-iteration-count: 1 !important;
  }
}

@media print {
  .site-header, .audit-nav, .filter-bar, .summary-actions, .detail-actions, .review-form, .toast { display: none !important; }
  :root { --page: white; --shell: 100%; }
  .view-panel[hidden], body[data-variant="a"] .view-panel[hidden], body[data-variant="c"] .view-panel[hidden] { display: block !important; }
  .app-frame, body[data-variant="c"] .app-frame { display: block; }
  .view-stack { display: grid; gap: 20px; }
  .view-panel { break-inside: avoid; box-shadow: none; }
  .case-detail { max-height: none; }
}