@font-face {
  font-family: "Satoshi";
  src: url("../fonts/Satoshi-Variable.woff2") format("woff2");
  font-weight: 300 900;
  font-display: swap;
}
@font-face {
  font-family: "JetBrains Mono";
  src: url("../fonts/jetbrains-mono-latin-400-normal.woff2") format("woff2");
  font-weight: 400;
  font-display: swap;
}
@font-face {
  font-family: "JetBrains Mono";
  src: url("../fonts/jetbrains-mono-latin-500-normal.woff2") format("woff2");
  font-weight: 500;
  font-display: swap;
}

:root {
  --paper: #f5f4ef;
  --ink: #242424;
  --muted: #6d6b65;
  --rule: rgb(36 36 36 / 0.07);
  --rule-strong: rgb(36 36 36 / 0.22);
  --mono: "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, monospace;
  --sans: Satoshi, ui-sans-serif, system-ui, sans-serif;
  color: var(--ink);
  background: var(--paper);
  font-family: var(--sans);
  font-synthesis: none;
  text-rendering: optimizeLegibility;
}

* { box-sizing: border-box; }
[hidden] { display: none !important; }
html { scroll-behavior: smooth; }
body { min-width: 320px; margin: 0; background: var(--paper); }
button, input, select { font: inherit; }
button, a { -webkit-tap-highlight-color: transparent; }
button:focus-visible, a:focus-visible, pre:focus-visible {
  outline: 2px solid var(--ink);
  outline-offset: 3px;
}
a { color: inherit; }
.sr-only { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0, 0, 0, 0); white-space: nowrap; }

.site-shell { width: min(1400px, calc(100% - 80px)); margin: 0 auto; }
.site-header {
  height: 4.5rem;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 2rem;
  border-bottom: 1px solid var(--rule);
}
.wordmark { text-decoration: none; font-size: 1.05rem; font-weight: 600; letter-spacing: -0.025em; }
.site-nav { display: flex; align-items: center; gap: 1.75rem; }
.site-nav a { color: var(--muted); font-size: 0.83rem; text-decoration: none; }
.site-nav a:hover { color: var(--ink); }
.site-nav .nav-button {
  border: 1px solid var(--rule-strong);
  border-radius: 4px;
  padding: 0.42rem 0.75rem;
  color: var(--ink);
}

.page-intro { max-width: 820px; padding: clamp(6rem, 10vw, 9rem) 0 clamp(4rem, 7vw, 6rem); }
.eyebrow, .sheet-reference {
  margin: 0 0 1.5rem;
  color: var(--muted);
  font: 400 0.68rem/1.3 var(--mono);
  letter-spacing: 0.025em;
  text-transform: uppercase;
}
.page-intro h1 {
  max-width: 780px;
  margin: 0;
  font-size: clamp(3rem, 6.2vw, 5.2rem);
  font-weight: 500;
  line-height: 1.04;
  letter-spacing: -0.04em;
  text-wrap: balance;
}
.page-intro > p:last-child {
  max-width: 660px;
  margin: 2.25rem 0 0;
  color: var(--muted);
  font-size: clamp(1.1rem, 1.7vw, 1.3rem);
  line-height: 1.65;
}

.runner-figure { margin: 0; }
.window-frame {
  overflow: hidden;
  border: 1px solid var(--rule-strong);
  border-radius: 8px;
  background: var(--paper);
  box-shadow: 0 40px 100px -40px rgb(36 36 36 / 0.45);
}
.window-titlebar {
  height: 38px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  padding: 0 1.25rem;
  border-bottom: 1px solid var(--rule);
  color: var(--muted);
  font: 400 0.68rem/1 var(--mono);
}
.window-titlebar > span:first-child { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.live-tag { display: inline-flex; align-items: center; gap: 0.4rem; color: var(--ink); font-size: 0.62rem; letter-spacing: 0.05em; text-transform: uppercase; }
.live-tag i { width: 6px; height: 6px; border-radius: 50%; background: var(--ink); }
.live-tag[data-state="idle"] { color: var(--muted); }
.live-tag[data-state="idle"] i { background: var(--muted); animation: none; }
.live-tag[data-state="running"] i { animation: status-blink 1.2s steps(2, end) infinite; }
.runner-caption { padding: 1.1rem 0 0; color: var(--muted); font: 400 0.67rem/1.6 var(--mono); }

.laboratory { display: grid; grid-template-columns: 300px minmax(0, 1fr); }

.case-ledger { min-width: 0; display: flex; flex-direction: column; border-right: 1px solid var(--rule); }
.case-ledger__heading {
  min-height: 70px;
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 0.75rem;
  padding: 1.5rem 1.25rem 1.25rem;
  border-bottom: 1px solid var(--rule);
}
.case-ledger__heading h2 { margin: 0; font-size: 0.95rem; font-weight: 500; }
.case-ledger__heading span { color: var(--muted); font: 400 0.65rem/1.2 var(--mono); }
.case-ledger ol { margin: 0; padding: 0; list-style: none; }
.case-ledger li + li { border-top: 1px solid var(--rule); }
.case-row {
  width: 100%;
  min-height: 96px;
  display: grid;
  grid-template-columns: 1.75rem minmax(0, 1fr) 1rem;
  gap: 0.55rem;
  align-items: start;
  border: 0;
  padding: 1.1rem 1.25rem;
  background: transparent;
  color: var(--ink);
  text-align: left;
  cursor: pointer;
}
.case-row:hover:not(:disabled), .case-row[data-active] { background: rgb(36 36 36 / 0.035); }
.case-row[data-active] { box-shadow: inset 2px 0 0 var(--ink); }
.case-row:disabled { cursor: not-allowed; opacity: 0.55; }
.case-row__number { padding-top: 0.15rem; color: var(--muted); font: 400 0.64rem/1.35 var(--mono); }
.case-row__content { min-width: 0; display: grid; gap: 0.4rem; }
.case-row__content strong { overflow: hidden; font-size: 0.8rem; font-weight: 500; line-height: 1.3; text-overflow: ellipsis; white-space: nowrap; }
.case-row__content > span { color: var(--muted); font: 400 0.64rem/1.35 var(--mono); }
.case-row__arrow { width: 14px; height: 14px; margin-top: 0.12rem; color: var(--muted); }
.case-state { display: inline-flex; align-items: center; gap: 0.3rem; }
.case-state[data-kind="verified"], .case-state[data-kind="running"] { color: var(--ink); }
.case-state svg { width: 11px; height: 11px; }

.worker-ledger { margin-top: auto; padding: 1.5rem 1.25rem 1.6rem; border-top: 1px solid var(--rule); }
.worker-ledger h3 { margin: 0 0 1rem; font-size: 0.8rem; font-weight: 500; }
.worker-ledger ul { display: grid; gap: 0.65rem; margin: 0; padding: 0; list-style: none; }
.worker-ledger li { display: flex; align-items: center; gap: 0.5rem; color: var(--muted); font: 400 0.65rem/1.3 var(--mono); }
.worker-ledger li i { width: 6px; height: 6px; border-radius: 50%; background: var(--muted); }
.worker-ledger li[data-busy] { color: var(--ink); }
.worker-ledger li[data-busy] i { background: var(--ink); animation: status-blink 1.2s steps(2, end) infinite; }

.run-sheet { min-width: 0; padding: clamp(1.75rem, 3.5vw, 3rem); }
.sheet-reference { margin-bottom: 1.1rem; }
.run-sheet__header { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 2rem; align-items: start; }
.run-sheet__header h2 {
  max-width: 700px;
  margin: 0;
  font-size: clamp(2rem, 3.6vw, 3.1rem);
  font-weight: 500;
  line-height: 1.05;
  letter-spacing: -0.035em;
  text-wrap: balance;
}
.model-description { max-width: 60ch; margin: 1.1rem 0 0; color: var(--muted); font-size: 0.9rem; line-height: 1.65; }
.run-controls { display: flex; align-items: center; gap: 0.5rem; padding-top: 0.35rem; }
.run-button, .cancel-button {
  min-height: 44px;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 0.45rem;
  border-radius: 4px;
  padding: 0.65rem 1.15rem;
  font-size: 0.78rem;
  font-weight: 500;
  cursor: pointer;
}
.run-button { min-width: 108px; border: 1px solid var(--ink); background: var(--ink); color: var(--paper); }
.run-button:hover:not(:disabled) { background: transparent; color: var(--ink); }
.cancel-button { border: 1px solid var(--rule-strong); background: transparent; color: var(--ink); }
.cancel-button:hover:not(:disabled) { border-color: var(--ink); }
.run-button:disabled, .cancel-button:disabled { cursor: not-allowed; opacity: 0.35; }

.model-facts { display: grid; grid-template-columns: repeat(4, 1fr); margin-top: 2.25rem; border-top: 1px solid var(--rule); border-bottom: 1px solid var(--rule); }
.model-facts > span { display: grid; gap: 0.5rem; padding: 1rem 0; color: var(--ink); font: 400 0.7rem/1.3 var(--mono); }
.model-facts > span + span { border-left: 1px solid var(--rule); padding-left: 1.1rem; }
.model-facts b { color: var(--muted); font-size: 0.61rem; font-weight: 400; letter-spacing: 0.04em; text-transform: uppercase; }

.status-line { min-height: 52px; display: grid; grid-template-columns: auto 1fr auto; align-items: center; gap: 0.65rem; border-bottom: 1px solid var(--rule); }
.status-line__signal { width: 6px; height: 6px; border-radius: 50%; background: var(--muted); }
.status-line[data-state="running"] .status-line__signal,
.status-line[data-state="loading"] .status-line__signal { background: var(--ink); animation: status-blink 1.2s steps(2, end) infinite; }
.status-line[data-state="complete"] .status-line__signal,
.status-line[data-state="error"] .status-line__signal { background: var(--ink); }
.status-line p { margin: 0; font-size: 0.76rem; }
.status-line__boundary { color: var(--muted); font: 400 0.64rem/1.2 var(--mono); }
@keyframes status-blink { 50% { opacity: 0.22; } }

.run-metrics { display: grid; grid-template-columns: repeat(5, 1fr); border-bottom: 1px solid var(--rule); }
.run-metrics span { min-width: 0; display: grid; gap: 0.5rem; padding: 1.1rem 0; }
.run-metrics span + span { border-left: 1px solid var(--rule); padding-left: 1.1rem; }
.run-metrics b { color: var(--muted); font: 400 0.61rem/1.2 var(--mono); letter-spacing: 0.04em; text-transform: uppercase; }
.run-metrics strong { overflow: hidden; color: var(--ink); font: 500 0.82rem/1.2 var(--mono); font-variant-numeric: tabular-nums; text-overflow: ellipsis; white-space: nowrap; }

.reference-verdict { display: grid; gap: 0.7rem; padding: 1.25rem 0; border-bottom: 1px solid var(--rule); }
.reference-verdict p { display: flex; align-items: baseline; gap: 0.6rem; margin: 0; color: var(--ink); font: 400 0.72rem/1.5 var(--mono); }
.reference-verdict p::before { content: "✓"; font-weight: 500; }
.reference-verdict p[data-verdict="fail"]::before { content: "×"; }

.calibration-lab { display: grid; grid-template-columns: minmax(0, 1.15fr) minmax(0, 1fr); gap: 1.25rem; margin-top: 1.75rem; }
.calibration-lab--solo { grid-template-columns: minmax(0, 1fr); }
.calibration-lab--solo .instruments { display: none; }
.terminal-pane { min-width: 0; min-height: 0; display: flex; flex-direction: column; border: 1px solid var(--rule-strong); }
.terminal-pane__titlebar {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  padding: 0.7rem 1rem;
  border-bottom: 1px solid var(--rule);
  color: var(--muted);
  font: 400 0.62rem/1.2 var(--mono);
  letter-spacing: 0.04em;
  text-transform: uppercase;
}
.terminal-pane pre {
  flex: 1 1 0;
  height: 0;
  min-height: 460px;
  overflow: auto;
  margin: 0;
  padding: 1.1rem 1.2rem;
  background: #0e1116;
  color: var(--paper);
  font: 400 0.66rem/1.6 var(--mono);
  white-space: pre-wrap;
  overflow-wrap: anywhere;
}
.calibration-lab--solo .terminal-pane pre { height: auto; min-height: 420px; max-height: 560px; }

.instruments { min-width: 0; display: grid; gap: 1.25rem; align-content: start; }
.solver-monitor { border: 1px solid var(--rule-strong); }
.solver-monitor__heading {
  min-height: 60px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  padding: 0.9rem 1.1rem;
  border-bottom: 1px solid var(--rule);
}
.solver-monitor__heading h3 { margin: 0; font-size: 0.84rem; font-weight: 500; }
.solver-monitor__heading p { margin: 0.3rem 0 0; color: var(--muted); font: 400 0.63rem/1.3 var(--mono); }
.solver-monitor__state { display: inline-flex; align-items: center; gap: 0.45rem; color: var(--muted); font: 400 0.62rem/1.2 var(--mono); }
.solver-monitor__state i { width: 6px; height: 6px; border-radius: 50%; background: var(--muted); }
.solver-monitor__state[data-running] { color: var(--ink); }
.solver-monitor__state[data-running] i { background: var(--ink); animation: status-blink 1.2s steps(2, end) infinite; }
.solver-monitor__plot { width: 100%; height: 190px; padding: 0.4rem 0; }
.solver-monitor__plot--tall { height: 280px; }
.solver-monitor__plot--fit { height: 356px; }
.solver-monitor__plot:empty {
  display: grid;
  place-content: center;
  padding: 0;
  color: var(--muted);
  font: 400 0.68rem/1.5 var(--mono);
}
.solver-monitor__plot:empty::after { content: "Waiting for a run"; }

.layer-control { display: flex; align-items: center; gap: 0.5rem; color: var(--muted); font: 400 0.65rem/1 var(--mono); }
.layer-control select {
  min-width: 60px;
  height: 32px;
  border: 1px solid var(--rule-strong);
  border-radius: 4px;
  padding: 0 0.5rem;
  background: var(--paper);
  color: var(--ink);
  font-family: var(--mono);
}

.head-map__plot { width: 100%; height: clamp(320px, 30vw, 440px); background: #e4e6df; }
.head-map__plot--k { height: 236px; }
.head-legend {
  min-height: 42px;
  display: grid;
  grid-template-columns: 1fr auto minmax(120px, 240px) auto;
  align-items: center;
  gap: 0.7rem;
  padding: 0.65rem 1rem;
  border-top: 1px solid var(--rule);
  background: var(--paper);
  color: var(--ink);
  font: 500 0.62rem/1 var(--mono);
}
.head-legend__label { color: var(--muted); font-weight: 400; letter-spacing: 0.04em; text-transform: uppercase; }
.head-legend__scale {
  height: 10px;
  border: 1px solid var(--rule-strong);
  background: linear-gradient(90deg, #0000ff 0%, #00ffff 25%, #00ff00 50%, #ffff00 75%, #ff0000 100%);
}

.model-state { display: grid; grid-template-columns: minmax(0, 1.15fr) minmax(0, 1fr); gap: 1.25rem; margin-top: 1.25rem; }

.parity-sheet { border: 1px solid var(--rule-strong); }
.parity-table { width: 100%; border-collapse: collapse; font: 400 0.68rem/1.5 var(--mono); }
.parity-table th {
  padding: 0.7rem 1.1rem;
  border-bottom: 1px solid var(--rule);
  color: var(--muted);
  font-size: 0.61rem;
  font-weight: 400;
  letter-spacing: 0.04em;
  text-transform: uppercase;
  text-align: right;
}
.parity-table th:first-child, .parity-table td:first-child { text-align: left; }
.parity-table td { padding: 0.7rem 1.1rem; border-bottom: 1px solid var(--rule); text-align: right; font-variant-numeric: tabular-nums; }
.parity-table tr:last-child td { border-bottom: 0; }
.parity-table td:first-child { color: var(--muted); }

.scope-note { max-width: 760px; display: grid; gap: 2rem; padding: clamp(6rem, 11vw, 10rem) 0; }
.scope-note h2 { max-width: 500px; margin: 0; font-size: clamp(1.8rem, 3.5vw, 2.4rem); font-weight: 500; line-height: 1.1; letter-spacing: -0.03em; }
.scope-note > p { margin: 0; color: var(--muted); font-size: 1rem; line-height: 1.7; }
.scope-note > div { display: grid; grid-template-columns: repeat(3, 1fr); gap: 0 1.5rem; border-top: 1px solid var(--rule); }
.scope-note > div span { display: grid; gap: 0.55rem; align-content: start; padding-top: 1.4rem; color: var(--muted); font-size: 0.72rem; line-height: 1.6; }
.scope-note > div strong { color: var(--ink); font: 400 0.72rem/1.3 var(--mono); }

.site-footer { min-height: 5.5rem; display: flex; align-items: center; justify-content: space-between; gap: 1rem; border-top: 1px solid var(--rule); color: var(--muted); font: 400 0.64rem/1.5 var(--mono); }
.site-footer a:hover { color: var(--ink); }

@media (max-width: 1050px) {
  .site-shell { width: min(100% - 48px, 900px); }
  .laboratory { grid-template-columns: 1fr; }
  .case-ledger { border-right: 0; border-bottom: 1px solid var(--rule); }
  .case-ledger ol { display: grid; grid-template-columns: repeat(3, 1fr); }
  .case-ledger li + li { border-top: 0; border-left: 1px solid var(--rule); }
  .case-row[data-active] { box-shadow: inset 0 2px 0 var(--ink); }
  .worker-ledger { display: none; }
  .calibration-lab { grid-template-columns: 1fr; }
  .model-state { grid-template-columns: 1fr; }
  .terminal-pane pre { height: auto; min-height: 300px; max-height: 380px; }
}

@media (max-width: 720px) {
  .site-shell { width: min(100% - 32px, 620px); }
  .site-header { height: auto; min-height: 4.5rem; }
  .site-nav { gap: 0.75rem; }
  .site-nav a:not(.nav-button) { display: none; }
  .page-intro { padding: 4.5rem 0 3rem; }
  .page-intro h1 { font-size: clamp(2.3rem, 11vw, 3.4rem); }
  .window-titlebar { padding: 0 0.85rem; }
  .case-ledger ol { display: flex; overflow-x: auto; scroll-snap-type: x mandatory; }
  .case-ledger li { min-width: 220px; scroll-snap-align: start; }
  .run-sheet { padding: 1.4rem 1.1rem 1.75rem; }
  .run-sheet__header { grid-template-columns: 1fr; gap: 1.5rem; }
  .run-controls { width: 100%; padding-top: 0; }
  .run-button, .cancel-button { flex: 1; padding: 0.65rem 0.6rem; white-space: nowrap; }
  .run-button { min-width: 0; }
  .model-facts { grid-template-columns: repeat(2, 1fr); }
  .model-facts > span:nth-child(3), .model-facts > span:nth-child(4) { border-top: 1px solid var(--rule); }
  .model-facts > span:nth-child(3) { border-left: 0; padding-left: 0; }
  .run-metrics { grid-template-columns: repeat(2, 1fr); }
  .run-metrics span:nth-child(n + 3) { border-top: 1px solid var(--rule); }
  .run-metrics span:nth-child(odd) { border-left: 0; padding-left: 0; }
  .runner-caption { overflow-wrap: anywhere; }
  .scope-note > div { grid-template-columns: 1fr; }
  .scope-note > div span + span { padding-top: 1rem; }
  .site-footer { align-items: flex-start; flex-direction: column; justify-content: center; padding: 1.5rem 0; }
}

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  .status-line__signal, .live-tag i, .solver-monitor__state[data-running] i, .worker-ledger li i { animation: none !important; }
}