:root {
  color-scheme: dark;
  --ink: #eefcff;
  --muted: #86a9b3;
  --muted-strong: #b7cdd2;
  --void: #030912;
  --panel: #07131d;
  --panel-deep: #040c14;
  --line: rgba(126, 208, 222, 0.18);
  --line-hot: rgba(42, 231, 255, 0.55);
  --cyan: #2ae7ff;
  --mint: #44f5b6;
  --amber: #ffc74d;
  --violet: #9f7cff;
  --red: #ff4769;
  --radius: 14px;
  --mono: "SFMono-Regular", "Cascadia Code", "Roboto Mono", monospace;
  --sans: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
}

* {
  box-sizing: border-box;
}

html {
  min-width: 320px;
  overflow-anchor: none;
  background: var(--void);
}

body {
  margin: 0;
  min-width: 320px;
  min-height: 100vh;
  overflow-x: hidden;
  color: var(--ink);
  background:
    radial-gradient(circle at 12% -15%, rgba(30, 164, 195, 0.2), transparent 35rem),
    radial-gradient(circle at 96% 10%, rgba(92, 58, 185, 0.13), transparent 30rem),
    var(--void);
  font-family: var(--sans);
}

button,
textarea {
  font: inherit;
}

button {
  min-height: 38px;
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: 0.55rem 0.85rem;
  color: var(--muted-strong);
  background: rgba(8, 24, 34, 0.78);
  cursor: pointer;
  transition: border-color 140ms ease, color 140ms ease, background 140ms ease, transform 140ms ease;
}

button:hover:not(:disabled),
button:focus-visible {
  border-color: var(--line-hot);
  color: var(--ink);
  outline: none;
}

button:active:not(:disabled) {
  transform: translateY(1px);
}

button:disabled {
  cursor: not-allowed;
  opacity: 0.38;
}

button.primary {
  border-color: var(--cyan);
  color: #001217;
  background: var(--cyan);
  box-shadow: 0 0 24px rgba(42, 231, 255, 0.18);
  font-weight: 800;
}

.play-mark {
  display: inline-block;
  width: 0;
  height: 0;
  margin-right: 0.45rem;
  border-top: 5px solid transparent;
  border-bottom: 5px solid transparent;
  border-left: 8px solid currentColor;
}

.site-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 2rem;
  min-height: 78px;
  padding: 0.9rem clamp(1rem, 2.2vw, 2.5rem);
  border-bottom: 1px solid var(--line);
  background: rgba(3, 9, 18, 0.82);
  backdrop-filter: blur(18px);
}

.product-heading {
  display: flex;
  align-items: baseline;
  gap: 0.55rem;
  min-width: 0;
}

.brand,
.product-name {
  color: var(--ink);
  text-decoration: none;
  font-size: 1rem;
  font-weight: 850;
  letter-spacing: 0.02em;
}

.brand:hover {
  color: var(--cyan);
}

.product-slash {
  color: var(--line-hot);
}

.product-heading h1 {
  margin: 0 0 0 0.6rem;
  color: var(--muted);
  font-size: 0.88rem;
  font-weight: 550;
  letter-spacing: 0.01em;
}

.runtime-block {
  display: flex;
  align-items: center;
  justify-content: flex-end;
  gap: 0.7rem;
  min-width: 0;
  text-align: right;
}

.pulse {
  width: 9px;
  height: 9px;
  flex: 0 0 auto;
  border-radius: 50%;
  background: var(--mint);
  box-shadow: 0 0 16px var(--mint);
}

.runtime-label,
.section-label {
  display: block;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.66rem;
  font-weight: 750;
  letter-spacing: 0.11em;
  text-transform: uppercase;
}

.runtime-status {
  display: block;
  max-width: 42rem;
  overflow: hidden;
  color: var(--ink);
  font-size: 0.78rem;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.runtime-status[data-kind="error"],
.runtime-status[data-kind="failed"] {
  color: var(--red);
}

.runtime-status[data-kind="completed"],
.runtime-status[data-kind="ready"] {
  color: var(--mint);
}

.runtime-identities {
  display: grid;
  max-width: 30rem;
  padding-left: 0.7rem;
  border-left: 1px solid var(--line);
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.58rem;
  line-height: 1.5;
}

main {
  width: 100%;
  padding: 1rem clamp(0.8rem, 1.6vw, 1.8rem) 1.6rem;
}

.mission-section {
  display: grid;
  grid-template-columns: minmax(14rem, 0.72fr) minmax(24rem, 1.6fr) auto;
  align-items: center;
  gap: 1rem;
  padding: 0.82rem 1rem;
  border: 1px solid var(--line);
  border-radius: var(--radius) var(--radius) 0 0;
  background: linear-gradient(110deg, rgba(9, 27, 38, 0.86), rgba(5, 16, 25, 0.96));
}

.mission-heading,
.stage-title,
.evidence-heading {
  display: flex;
  align-items: center;
  gap: 0.7rem;
  min-width: 0;
}

.section-index {
  color: rgba(42, 231, 255, 0.4);
  font-family: var(--mono);
  font-size: 1.35rem;
  font-weight: 300;
}

h2,
h3,
p {
  margin-top: 0;
}

.mission-heading h2,
.stage-heading h2,
.evidence-heading h2 {
  margin: 0.16rem 0 0;
  color: var(--ink);
  font-size: 0.96rem;
  line-height: 1.25;
}

.mission-field {
  min-width: 0;
}

.mission-field textarea {
  display: block;
  width: 100%;
  min-height: 58px;
  max-height: 104px;
  resize: vertical;
  border: 1px solid rgba(42, 231, 255, 0.24);
  border-radius: 8px;
  padding: 0.7rem 0.8rem;
  color: var(--ink);
  background: rgba(1, 8, 14, 0.76);
  font-size: 0.82rem;
  line-height: 1.4;
}

.mission-field textarea:focus {
  border-color: var(--cyan);
  box-shadow: 0 0 0 3px rgba(42, 231, 255, 0.08);
  outline: none;
}

.mission-controls {
  display: flex;
  flex-wrap: wrap;
  justify-content: flex-end;
  gap: 0.42rem;
  max-width: 26rem;
}

.metric-strip {
  display: grid;
  grid-template-columns: repeat(8, minmax(0, 1fr));
  border-right: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
  border-left: 1px solid var(--line);
  background: var(--panel-deep);
}

.metric-strip > div {
  min-width: 0;
  padding: 0.62rem 0.78rem;
  border-right: 1px solid var(--line);
}

.metric-strip > div:last-child {
  border-right: 0;
}

.metric-strip span {
  display: block;
  margin-bottom: 0.2rem;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.56rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.metric-strip strong {
  display: block;
  overflow: hidden;
  color: var(--ink);
  font-family: var(--mono);
  font-size: 0.78rem;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.workspace {
  display: grid;
  grid-template-columns: minmax(0, 1.72fr) minmax(340px, 0.78fr);
  gap: 1rem;
  margin-top: 1rem;
}

.simulation-stage,
.evidence-panel {
  min-width: 0;
  border: 1px solid var(--line);
  border-radius: var(--radius);
  background: var(--panel);
  box-shadow: 0 22px 70px rgba(0, 0, 0, 0.25);
}

.simulation-stage {
  overflow: hidden;
}

.stage-heading {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  min-height: 62px;
  padding: 0.65rem 0.8rem 0.65rem 1rem;
  border-bottom: 1px solid var(--line);
}

.camera-controls {
  display: flex;
  align-items: center;
  gap: 0.25rem;
  padding: 0.2rem;
  border: 1px solid var(--line);
  border-radius: 9px;
  background: rgba(1, 8, 14, 0.58);
}

.camera-focus-label,
.camera-controls select {
  min-width: 0;
}

.camera-controls select {
  width: 10.5rem;
  min-height: 30px;
  border: 1px solid rgba(42, 231, 255, 0.24);
  border-radius: 6px;
  padding: 0.3rem 1.5rem 0.3rem 0.48rem;
  color: var(--text);
  background: #03111c;
  font-family: var(--mono);
  font-size: 0.64rem;
}

.camera-controls button {
  min-height: 30px;
  border-color: transparent;
  padding: 0.35rem 0.62rem;
  font-family: var(--mono);
  font-size: 0.64rem;
}

.camera-controls button.is-active {
  border-color: rgba(42, 231, 255, 0.46);
  color: var(--cyan);
  background: rgba(42, 231, 255, 0.1);
}

.canvas-shell {
  position: relative;
  min-height: 760px;
  overflow: hidden;
  background: #020812;
}

#autonomy-canvas {
  display: block;
  width: 100%;
  height: 760px;
  touch-action: none;
  cursor: grab;
}

#autonomy-canvas:active {
  cursor: grabbing;
}

.map-provenance,
.legend,
.map-hint {
  position: absolute;
  z-index: 2;
  border: 1px solid rgba(117, 214, 229, 0.2);
  background: rgba(2, 10, 18, 0.74);
  backdrop-filter: blur(14px);
  pointer-events: none;
}

.map-provenance {
  top: 0.8rem;
  left: 0.8rem;
  display: grid;
  gap: 0.15rem;
  padding: 0.62rem 0.72rem;
  border-radius: 9px;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.58rem;
}

.map-provenance strong {
  color: var(--mint);
  font-size: 0.65rem;
  text-transform: uppercase;
}

.legend {
  right: 0.8rem;
  bottom: 0.8rem;
  display: flex;
  flex-wrap: wrap;
  justify-content: flex-end;
  gap: 0.65rem;
  max-width: calc(100% - 1.6rem);
  padding: 0.58rem 0.7rem;
  border-radius: 9px;
  color: var(--muted-strong);
  font-family: var(--mono);
  font-size: 0.58rem;
}

.legend span {
  display: inline-flex;
  align-items: center;
  gap: 0.32rem;
}

.legend i {
  display: inline-block;
  width: 14px;
  height: 3px;
  border-radius: 2px;
  background: var(--muted);
  box-shadow: 0 0 8px currentColor;
}

.legend i.building { color: #4b8799; background: #4b8799; height: 8px; }
.legend i.park { color: #3dff94; background: #3dff94; height: 7px; }
.legend i.protected { color: var(--mint); background: var(--mint); }
.legend i.shared { color: #4a8fa8; background: #4a8fa8; }
.legend i.route { color: var(--cyan); background: var(--cyan); }
.legend i.trace { color: var(--amber); background: var(--amber); }
.legend i.prediction { color: #ff48d9; background: #ff48d9; }

.map-hint {
  left: 0.8rem;
  bottom: 0.8rem;
  padding: 0.42rem 0.58rem;
  border-radius: 7px;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.55rem;
}

.evidence-panel {
  height: 824px;
  overflow-y: auto;
  overflow-anchor: none;
  scrollbar-color: rgba(42, 231, 255, 0.25) transparent;
}

.evidence-heading {
  position: sticky;
  top: 0;
  z-index: 3;
  min-height: 84px;
  padding: 0.85rem 1rem;
  border-bottom: 1px solid var(--line);
  background: rgba(6, 18, 28, 0.94);
  backdrop-filter: blur(16px);
}

.evidence-heading p {
  margin: 0.18rem 0 0;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.61rem;
}

.evidence-section {
  padding: 0.85rem 1rem 0.95rem;
  border-bottom: 1px solid var(--line);
}

.evidence-section:last-child {
  border-bottom: 0;
}

.evidence-section-heading {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 0.8rem;
  margin-bottom: 0.62rem;
}

.evidence-section-heading h3 {
  margin: 0;
  color: var(--ink);
  font-size: 0.76rem;
  letter-spacing: 0.02em;
}

.evidence-section-heading span {
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.54rem;
  text-align: right;
}

.route-evidence code {
  display: block;
  overflow-wrap: anywhere;
  color: var(--cyan);
  font-family: var(--mono);
  font-size: 0.57rem;
  line-height: 1.5;
}

.component-line {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 0.35rem;
  margin-top: 0.62rem;
}

.metric-token {
  min-width: 0;
  padding: 0.45rem;
  border-left: 2px solid rgba(42, 231, 255, 0.22);
  background: rgba(2, 11, 18, 0.55);
}

.metric-token small,
.metric-token strong {
  display: block;
  overflow: hidden;
  font-family: var(--mono);
  text-overflow: ellipsis;
  white-space: nowrap;
}

.metric-token small {
  color: var(--muted);
  font-size: 0.48rem;
  text-transform: uppercase;
}

.metric-token strong {
  margin-top: 0.2rem;
  color: var(--muted-strong);
  font-size: 0.7rem;
}

.metric-token.is-total {
  border-left-color: var(--cyan);
}

.metric-token.is-total strong {
  color: var(--cyan);
}

.pipeline-row {
  display: grid;
  grid-template-columns: 3.4rem minmax(0, 1fr);
  gap: 0.5rem;
  align-items: start;
  padding: 0.42rem 0;
  border-top: 1px solid rgba(126, 208, 222, 0.09);
}

.pipeline-row > span {
  padding-top: 0.26rem;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.52rem;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.pipeline-row > div {
  display: flex;
  flex-wrap: wrap;
  gap: 0.28rem;
  min-width: 0;
  color: var(--muted-strong);
  font-size: 0.62rem;
}

.evidence-proof {
  margin: 0.48rem 0 0;
  color: var(--mint);
  font-family: var(--mono);
  font-size: 0.54rem;
  line-height: 1.45;
}

.query-token,
.candidate-token,
.rank-token,
.settlement-token {
  max-width: 100%;
  overflow: hidden;
  border: 1px solid rgba(126, 208, 222, 0.13);
  border-radius: 5px;
  padding: 0.25rem 0.36rem;
  background: rgba(3, 12, 19, 0.62);
  text-overflow: ellipsis;
  white-space: nowrap;
}

.rank-token {
  color: var(--muted-strong);
}

.rank-token.is-first {
  border-color: rgba(68, 245, 182, 0.42);
  color: var(--mint);
}

.bet-list {
  display: grid;
  gap: 0.35rem;
}

.bet-row {
  display: grid;
  grid-template-columns: 3.8rem minmax(5.5rem, 0.8fr) 3.2rem;
  gap: 0.32rem 0.5rem;
  align-items: center;
  min-width: 0;
  padding: 0.52rem 0.58rem;
  border: 1px solid rgba(126, 208, 222, 0.11);
  border-radius: 7px;
  background: rgba(2, 11, 18, 0.48);
}

.bet-row.is-selected {
  border-color: var(--line-hot);
  background: linear-gradient(90deg, rgba(42, 231, 255, 0.12), rgba(42, 231, 255, 0.025));
  box-shadow: inset 2px 0 var(--cyan);
}

.bet-row.is-rejected {
  opacity: 0.48;
}

.bet-state,
.bet-utility,
.bet-prediction,
.bet-equation {
  font-family: var(--mono);
  font-size: 0.53rem;
}

.bet-state {
  color: var(--muted);
}

.bet-row.is-selected .bet-state,
.bet-row.is-selected .bet-utility {
  color: var(--cyan);
}

.bet-name {
  min-width: 0;
  overflow: hidden;
  font-size: 0.68rem;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.bet-utility {
  color: var(--muted-strong);
  text-align: right;
}

.bet-prediction,
.bet-equation {
  grid-column: 2 / 4;
  min-width: 0;
  overflow: hidden;
  color: var(--muted);
  text-overflow: ellipsis;
  white-space: nowrap;
}

.bet-equation {
  color: rgba(155, 190, 198, 0.64);
}

.gate-list {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0.35rem;
}

.gate-row {
  display: grid;
  grid-template-columns: 2.4rem minmax(0, 1fr);
  gap: 0.38rem;
  align-items: center;
  min-width: 0;
  color: var(--muted-strong);
  font-size: 0.58rem;
}

.gate-row span:last-child {
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.gate-mark {
  border: 1px solid rgba(68, 245, 182, 0.28);
  border-radius: 4px;
  padding: 0.16rem 0.2rem;
  color: var(--mint);
  font-family: var(--mono);
  font-size: 0.44rem;
  text-align: center;
}

.gate-row.is-blocked .gate-mark {
  border-color: rgba(255, 71, 105, 0.35);
  color: var(--red);
}

.settlement-math {
  display: flex;
  flex-wrap: wrap;
  gap: 0.32rem;
  color: var(--muted-strong);
  font-family: var(--mono);
  font-size: 0.58rem;
}

.settlement-math[data-verdict="won"] .settlement-token {
  border-color: rgba(68, 245, 182, 0.23);
}

.settlement-math[data-verdict="lost"] .settlement-token {
  border-color: rgba(255, 71, 105, 0.32);
}

.trace-list {
  display: grid;
  gap: 0.28rem;
}

.trace-row {
  padding: 0.44rem 0.5rem;
  border-left: 2px solid rgba(126, 208, 222, 0.18);
  background: rgba(2, 10, 17, 0.5);
}

.trace-row.is-selected {
  border-left-color: var(--cyan);
}

.trace-row.is-failure {
  border-left-color: var(--red);
  color: var(--red);
  font-size: 0.62rem;
}

.trace-row-head {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  color: var(--muted-strong);
  font-family: var(--mono);
  font-size: 0.56rem;
}

.trace-row-meta {
  margin-top: 0.18rem;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.5rem;
}

footer {
  padding: 0.3rem clamp(1rem, 2vw, 2rem) 1.5rem;
  color: rgba(134, 169, 179, 0.64);
  font-family: var(--mono);
  font-size: 0.56rem;
  line-height: 1.5;
  text-align: center;
}

.sr-only {
  position: absolute;
  width: 1px;
  height: 1px;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
}

@media (max-width: 1180px) {
  .mission-section {
    grid-template-columns: minmax(13rem, 0.7fr) minmax(22rem, 1.3fr);
  }

  .mission-controls {
    grid-column: 1 / -1;
    justify-content: flex-start;
    max-width: none;
  }

  .workspace {
    grid-template-columns: minmax(0, 1.45fr) minmax(330px, 0.8fr);
  }

  .canvas-shell,
  #autonomy-canvas {
    min-height: 680px;
    height: 680px;
  }

  .evidence-panel {
    height: 744px;
  }
}

@media (max-width: 920px) {
  .site-header {
    align-items: flex-start;
  }

  .product-heading {
    flex-wrap: wrap;
  }

  .product-heading h1 {
    flex-basis: 100%;
    margin-left: 0;
  }

  .runtime-identities {
    display: none;
  }

  .mission-section {
    grid-template-columns: 1fr;
  }

  .mission-controls {
    grid-column: auto;
  }

  .metric-strip {
    grid-template-columns: repeat(4, minmax(0, 1fr));
  }

  .metric-strip > div:nth-child(4) {
    border-right: 0;
  }

  .metric-strip > div:nth-child(-n + 4) {
    border-bottom: 1px solid var(--line);
  }

  .workspace {
    grid-template-columns: 1fr;
  }

  .canvas-shell,
  #autonomy-canvas {
    min-height: 620px;
    height: 620px;
  }

  .evidence-panel {
    height: auto;
    max-height: none;
    overflow: visible;
  }

  .evidence-heading {
    position: static;
  }
}

@media (max-width: 560px) {
  .site-header {
    display: block;
    padding: 0.78rem 0.85rem;
  }

  .runtime-block {
    justify-content: flex-start;
    margin-top: 0.65rem;
    text-align: left;
  }

  main {
    padding: 0.65rem 0.55rem 1rem;
  }

  .mission-section {
    padding: 0.75rem;
  }

  .mission-controls {
    display: grid;
    grid-template-columns: repeat(3, minmax(0, 1fr));
  }

  .mission-field textarea {
    min-height: 84px;
  }

  .mission-controls .primary {
    grid-column: span 2;
  }

  .mission-controls button {
    min-width: 0;
    padding-right: 0.45rem;
    padding-left: 0.45rem;
    font-size: 0.7rem;
  }

  .metric-strip {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .metric-strip > div {
    border-right: 1px solid var(--line);
    border-bottom: 1px solid var(--line);
  }

  .metric-strip > div:nth-child(even) {
    border-right: 0;
  }

  .stage-heading {
    align-items: flex-start;
    flex-direction: column;
  }

  .camera-controls {
    align-self: stretch;
    flex-wrap: wrap;
  }

  .camera-focus-label {
    flex: 1 0 100%;
  }

  .camera-controls select {
    width: 100%;
  }

  .camera-controls button {
    flex: 1;
  }

  .canvas-shell,
  #autonomy-canvas {
    min-height: 520px;
    height: 520px;
  }

  .map-provenance {
    max-width: 11rem;
  }

  .map-hint {
    display: none;
  }

  .legend {
    left: 0.55rem;
    right: 0.55rem;
    justify-content: flex-start;
  }

  .component-line {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .gate-list {
    grid-template-columns: 1fr;
  }
}

@media (prefers-reduced-motion: reduce) {
  *,
  *::before,
  *::after {
    scroll-behavior: auto !important;
    transition-duration: 0.01ms !important;
  }
}