:root {
  color-scheme: dark;
  font-family: Inter, "Segoe UI", system-ui, sans-serif;
  color: #e6edf2;
  background: #081016;
  --canvas: #081016;
  --panel: #0d1820;
  --panel-raised: #111f29;
  --line: #253744;
  --line-strong: #39505f;
  --muted: #8296a3;
  --quiet: #5f737f;
  --accent: #63d6bd;
  --accent-dark: #17483f;
  --pass: #71ddbd;
  --reject: #ff947f;
  --reject-dark: #512d2c;
  --blind: #d6bd76;
  --unknown: #9caab3;
  --mono: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
}

* { box-sizing: border-box; }
body { margin: 0; min-width: 300px; background: var(--canvas); }
button, select, input { font: inherit; }
button, select { color: inherit; }
button:focus-visible, select:focus-visible, input:focus-visible, a:focus-visible {
  outline: 2px solid var(--accent);
  outline-offset: 3px;
}

.site-header, main, footer { width: min(1440px, 100%); margin-inline: auto; }
.site-header {
  min-height: 82px;
  padding: 19px clamp(20px, 4vw, 56px);
  border-bottom: 1px solid var(--line);
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 28px;
}
.identity { color: inherit; text-decoration: none; display: flex; align-items: center; gap: 13px; }
.identity .mark {
  width: 42px;
  height: 42px;
  display: grid;
  place-items: center;
  border: 1px solid var(--line-strong);
  color: var(--accent);
  font: 700 12px/1 var(--mono);
  letter-spacing: .12em;
}
.identity b { display: block; font-size: 14px; letter-spacing: .02em; }
.identity small { display: block; color: var(--muted); margin-top: 3px; font-size: 11px; }
.runtime-state {
  display: flex;
  align-items: center;
  gap: 9px;
  color: var(--muted);
  font: 11px/1.4 var(--mono);
  text-transform: uppercase;
  letter-spacing: .08em;
  text-align: right;
}
.signal { width: 7px; height: 7px; background: var(--unknown); border-radius: 50%; flex: 0 0 auto; }
.signal.connected { background: var(--accent); }
.signal.failed { background: var(--reject); }

main { padding: 0 clamp(20px, 4vw, 56px) 80px; }
.intro { padding: clamp(58px, 8vw, 112px) 0 clamp(44px, 6vw, 80px); }
.kicker, .annotation {
  margin: 0 0 10px;
  color: var(--accent);
  font: 650 10px/1.4 var(--mono);
  letter-spacing: .16em;
  text-transform: uppercase;
}
.intro h1 {
  max-width: 1030px;
  margin: 0;
  font-size: clamp(42px, 7.4vw, 98px);
  line-height: .98;
  letter-spacing: -.055em;
  font-weight: 520;
}
.intro-copy { max-width: 610px; color: var(--muted); font-size: 16px; line-height: 1.7; margin: 30px 0 0; }
.coverage-summary {
  display: grid;
  grid-template-columns: repeat(6, minmax(0, 1fr));
  margin-top: 42px;
  border-top: 1px solid var(--line);
  border-left: 1px solid var(--line);
}
.coverage-summary dl { margin: 0; min-height: 94px; padding: 17px; border-right: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.coverage-summary dt { color: var(--muted); font: 9px/1.45 var(--mono); letter-spacing: .1em; text-transform: uppercase; }
.coverage-summary dd { margin: 13px 0 0; color: var(--accent); font: 650 21px/1 var(--mono); }

.query-panel, .result-panel, .trace-panel {
  display: grid;
  grid-template-columns: 68px minmax(0, 1fr);
  border: 1px solid var(--line);
  background: var(--panel);
}
.section-index {
  border-right: 1px solid var(--line);
  padding-top: 27px;
  color: var(--quiet);
  text-align: center;
  font: 11px/1 var(--mono);
}
.query-content, .result-content, .trace-content { padding: clamp(24px, 4vw, 46px); }
.section-heading, .result-header {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 24px;
}
.section-heading h2, .result-header h2, .mechanism-panel h2, .record-panel h2,
.basis-panel h2 {
  margin: 0;
  font-size: clamp(20px, 2.4vw, 31px);
  letter-spacing: -.025em;
  font-weight: 560;
}
.annotation { color: var(--muted); margin: 3px 0 0; white-space: nowrap; }

#query-form {
  display: grid;
  grid-template-columns: auto minmax(240px, 1fr) auto;
  align-items: end;
  gap: 18px;
  margin-top: 35px;
}
.dimension-switch { border: 0; padding: 0; margin: 0; }
.dimension-switch legend, .entity-field > span, .cases > span {
  display: block;
  margin-bottom: 9px;
  color: var(--muted);
  font: 10px/1.2 var(--mono);
  text-transform: uppercase;
  letter-spacing: .12em;
}
.dimension-switch label { display: inline-block; }
.dimension-switch input { position: absolute; opacity: 0; pointer-events: none; }
.dimension-switch label span {
  display: inline-block;
  min-width: 85px;
  padding: 13px 17px;
  border: 1px solid var(--line-strong);
  text-align: center;
  cursor: pointer;
  color: var(--muted);
}
.dimension-switch label + label span { border-left: 0; }
.dimension-switch input:checked + span { color: #07120f; background: var(--accent); border-color: var(--accent); }
.dimension-switch input:focus-visible + span { outline: 2px solid var(--accent); outline-offset: 3px; }
.entry-options { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 12px; }
.entry-options.catalog-only { grid-template-columns: 1fr; }
.entity-field { min-width: 0; }
.entity-field select, .entity-field input {
  width: 100%;
  height: 46px;
  border: 1px solid var(--line-strong);
  border-radius: 0;
  background: #0a141b;
}
.entity-field select { padding: 0 42px 0 14px; }
.entity-field input { padding: 0 14px; color: inherit; }
.entity-field input::placeholder { color: var(--quiet); }
.entity-field select:disabled { color: var(--quiet); }
.entity-field small { display: block; margin-top: 7px; color: var(--quiet); font: 9px/1.4 var(--mono); }
.resolve {
  height: 46px;
  padding: 0 22px;
  border: 1px solid var(--accent);
  border-radius: 0;
  color: #07120f;
  background: var(--accent);
  font-weight: 680;
  cursor: pointer;
}
.resolve:hover:not(:disabled) { background: #84e3cf; }
.resolve:disabled { cursor: not-allowed; opacity: .45; }
.resolve span { margin-left: 18px; }
.cases { display: grid; grid-template-columns: 116px minmax(0, 1fr); gap: 17px; align-items: center; margin-top: 26px; }
.cases > span { margin: 0; }
.case-list { display: flex; flex-wrap: wrap; gap: 8px; }
.case-list button {
  border: 1px solid var(--line);
  border-radius: 0;
  background: transparent;
  color: var(--muted);
  padding: 7px 11px;
  font: 11px/1.2 var(--mono);
  cursor: pointer;
}
.case-list button:hover:not(:disabled) { color: var(--accent); border-color: var(--accent); }
.case-list .rejected-case { color: var(--reject); border-color: #70423d; }
.case-list button:disabled { cursor: wait; opacity: .6; }

.page-message { border: 1px solid var(--reject-dark); color: #ffc0b5; background: #231616; padding: 16px; margin: 20px 0; }
.assessment { margin-top: 24px; }
.empty-state {
  min-height: 330px;
  border: 1px solid var(--line);
  display: grid;
  place-content: center;
  text-align: center;
  padding: 36px;
}
.empty-state .reticle { width: 44px; height: 44px; border: 1px solid var(--line-strong); margin: 0 auto 20px; position: relative; }
.empty-state .reticle::before, .empty-state .reticle::after { content: ""; position: absolute; background: var(--accent); }
.empty-state .reticle::before { width: 14px; height: 1px; left: 14px; top: 21px; }
.empty-state .reticle::after { width: 1px; height: 14px; left: 21px; top: 14px; }
.empty-state h2 { margin: 0; font-size: 26px; font-weight: 540; }
.empty-state p:last-child { color: var(--muted); }

.result-panel { border-top: 3px solid var(--unknown); }
.result-panel.pass { border-top-color: var(--pass); }
.result-panel.rejected { border-top-color: var(--reject); }
.result-panel.blinded { border-top-color: var(--blind); }
.verdict { min-width: 190px; border: 1px solid var(--line-strong); padding: 14px 17px; text-align: right; }
.verdict small { display: block; color: var(--muted); font: 9px/1.2 var(--mono); letter-spacing: .14em; }
.verdict strong { display: block; margin-top: 8px; font: 700 18px/1 var(--mono); }
.verdict.pass strong { color: var(--pass); }
.verdict.rejected { border-color: #70423d; background: #1b1415; }
.verdict.rejected strong { color: var(--reject); }
.verdict.blinded strong { color: var(--blind); }
.verdict.unknown strong { color: var(--unknown); }
.result-summary { max-width: 940px; margin: 28px 0; color: #cbd7dd; font-size: 17px; line-height: 1.7; }
.metrics { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); border-top: 1px solid var(--line); border-left: 1px solid var(--line); }
.metric { min-height: 102px; border-right: 1px solid var(--line); border-bottom: 1px solid var(--line); padding: 17px; }
.metric dt { color: var(--muted); font: 9px/1.35 var(--mono); letter-spacing: .12em; text-transform: uppercase; }
.metric dd { margin: 12px 0 0; font: 600 14px/1.45 var(--mono); overflow-wrap: anywhere; }
.type-tag { display: block; width: max-content; margin-top: 9px; padding: 3px 6px; border: 1px solid var(--line); color: var(--muted); font: 8px/1 var(--mono); letter-spacing: .12em; }
.type-tag.measurement { color: var(--accent); border-color: var(--accent-dark); }
.type-tag.estimate { color: var(--blind); border-color: #594b28; }
.type-tag.unknown { color: var(--unknown); }

.ledger-panel { margin-top: 24px; border: 1px solid var(--line); background: var(--panel); padding: clamp(24px, 4vw, 46px); }
.record-list { display: grid; gap: 12px; margin-top: 28px; }
.ledger-record { border: 1px solid var(--line); border-left: 3px solid var(--unknown); background: #0a141b; }
.ledger-record.pass { border-left-color: var(--pass); }
.ledger-record.rejected { border-left-color: var(--reject); background: #171315; }
.ledger-header { display: flex; justify-content: space-between; gap: 20px; padding: 15px 18px; border-bottom: 1px solid var(--line); }
.ledger-header strong { display: block; font: 650 13px/1.4 var(--mono); }
.ledger-header small { display: block; margin-top: 4px; color: var(--muted); font: 9px/1.45 var(--mono); overflow-wrap: anywhere; }
.ledger-verdict { align-self: flex-start; padding: 5px 8px; border: 1px solid var(--line); color: var(--unknown); font: 700 9px/1 var(--mono); letter-spacing: .1em; }
.ledger-verdict.pass { color: var(--pass); border-color: var(--accent-dark); }
.ledger-verdict.rejected { color: var(--reject); border-color: #70423d; }
.ledger-fields { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); margin: 0; }
.ledger-field { min-width: 0; padding: 14px 18px; border-right: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.ledger-field:nth-child(4n) { border-right: 0; }
.ledger-field dt { color: var(--muted); font: 8px/1.3 var(--mono); letter-spacing: .1em; text-transform: uppercase; }
.ledger-field dd { margin: 7px 0 0; font: 10px/1.55 var(--mono); overflow-wrap: anywhere; }

.basis-panel { margin-top: 24px; border: 1px solid var(--line); background: var(--panel); padding: clamp(24px, 4vw, 46px); }
.basis-list { display: grid; gap: 12px; margin-top: 28px; }
.basis-record { border: 1px solid var(--line); background: #0a141b; }
.basis-header { display: flex; justify-content: space-between; gap: 20px; padding: 14px 18px; border-bottom: 1px solid var(--line); }
.basis-header strong { font: 650 12px/1.4 var(--mono); }
.basis-header span { color: var(--accent); font: 9px/1.5 var(--mono); letter-spacing: .1em; }
.basis-record > p { margin: 0; padding: 18px; color: #d5dfe4; line-height: 1.7; }
.basis-record > p.unknown { color: var(--unknown); font-family: var(--mono); }
.basis-limitations { border-top: 1px solid var(--line); padding: 15px 18px; }
.basis-limitations small { color: var(--muted); font: 9px/1.4 var(--mono); letter-spacing: .1em; }
.basis-limitations ul { margin: 12px 0 0; padding-left: 20px; color: #aebdc4; }
.basis-limitations li { margin-top: 7px; line-height: 1.55; }
.basis-limitations p { margin: 11px 0 0; color: var(--unknown); font: 10px/1.5 var(--mono); }

.evidence-layout { display: grid; grid-template-columns: minmax(0, 1.65fr) minmax(280px, .7fr); gap: 24px; margin: 24px 0; }
.mechanism-panel, .record-panel { border: 1px solid var(--line); background: var(--panel); padding: clamp(24px, 3.5vw, 40px); }
.section-heading.compact { align-items: end; }
.mechanism-list { list-style: none; counter-reset: mechanism; margin: 28px 0 0; padding: 0; }
.mechanism-step { counter-increment: mechanism; display: grid; grid-template-columns: 43px minmax(0, 1fr); gap: 16px; padding: 19px 0; border-top: 1px solid var(--line); }
.mechanism-step::before { content: counter(mechanism, decimal-leading-zero); color: var(--accent); font: 11px/1.5 var(--mono); }
.mechanism-step p { margin: 0; color: #d5dfe4; line-height: 1.6; }
.mechanism-step small { display: block; margin-top: 8px; color: var(--muted); font: 10px/1.5 var(--mono); overflow-wrap: anywhere; }
.record-panel { background: #0a141b; }
.record-seal { margin: 25px 0 0; }
.record-seal div { padding: 13px 0; border-top: 1px solid var(--line); }
.record-seal dt { color: var(--muted); font: 9px/1.3 var(--mono); letter-spacing: .12em; text-transform: uppercase; }
.record-seal dd { margin: 7px 0 0; font: 11px/1.55 var(--mono); overflow-wrap: anywhere; }

.trace-list { margin-top: 30px; }
.trace-node { position: relative; padding: 0 0 27px 36px; }
.trace-node:not(:last-child)::before { content: ""; position: absolute; left: 8px; top: 16px; bottom: 0; width: 1px; background: var(--line-strong); }
.trace-node::after { content: ""; position: absolute; left: 4px; top: 7px; width: 7px; height: 7px; border: 1px solid var(--accent); background: var(--panel); }
.trace-node.unknown::after { border-color: var(--unknown); }
.trace-card { border: 1px solid var(--line); background: #0a141b; }
.trace-card-header { display: flex; justify-content: space-between; gap: 20px; padding: 15px 18px; border-bottom: 1px solid var(--line); }
.trace-card-header strong { font-size: 13px; font-weight: 620; }
.trace-card-header span { color: var(--muted); font: 9px/1.5 var(--mono); letter-spacing: .1em; text-transform: uppercase; }
.trace-fields { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); }
.trace-field { min-width: 0; padding: 14px 18px; border-right: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.trace-field:nth-child(3n) { border-right: 0; }
.trace-field dt { color: var(--muted); font: 8px/1.3 var(--mono); letter-spacing: .1em; text-transform: uppercase; }
.trace-field dd { margin: 7px 0 0; font: 10px/1.55 var(--mono); overflow-wrap: anywhere; }
.trace-field.wide { grid-column: 1 / -1; border-right: 0; }

footer {
  border-top: 1px solid var(--line);
  padding: 22px clamp(20px, 4vw, 56px);
  color: var(--quiet);
  display: flex;
  justify-content: space-between;
  gap: 20px;
  font: 9px/1.4 var(--mono);
  letter-spacing: .12em;
}

@media (max-width: 900px) {
  #query-form { grid-template-columns: 1fr; align-items: stretch; }
  .entry-options { grid-template-columns: 1fr; }
  .resolve { width: 100%; }
  .evidence-layout { grid-template-columns: 1fr; }
  .metrics, .ledger-fields { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .coverage-summary { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .ledger-field:nth-child(4n) { border-right: 1px solid var(--line); }
  .ledger-field:nth-child(2n) { border-right: 0; }
}
@media (max-width: 650px) {
  .site-header { align-items: flex-start; }
  .runtime-state { max-width: 145px; }
  .query-panel, .result-panel, .trace-panel { grid-template-columns: 1fr; }
  .section-index { display: none; }
  .section-heading, .result-header { flex-direction: column; }
  .annotation { white-space: normal; }
  .verdict { width: 100%; text-align: left; }
  .cases { grid-template-columns: 1fr; }
  .metrics, .ledger-fields, .trace-fields { grid-template-columns: 1fr; }
  .coverage-summary { grid-template-columns: 1fr; }
  .ledger-field, .ledger-field:nth-child(2n), .ledger-field:nth-child(4n) { border-right: 0; }
  .trace-field, .trace-field:nth-child(3n) { border-right: 0; }
  footer { flex-direction: column; }
}