:root {
  color-scheme: dark;
  --bg: #050806;
  --surface: #08110d;
  --surface-soft: #0d1913;
  --surface-strong: #12251b;
  --terminal: #b9fbc0;
  --terminal-strong: #41ff8f;
  --terminal-dim: #6ea77d;
  --text: #d7f9df;
  --muted: #7fa88a;
  --line: #1c3b29;
  --line-strong: #2f6f48;
  --memory: #b88cff;
  --memory-soft: #251a36;
  --code: #6ad7ff;
  --code-soft: #102633;
  --warn: #ffd166;
  --danger: #ff6b6b;
  --edge: #6d8f79;
  --shadow: 0 18px 60px rgba(0, 0, 0, 0.46);
}

* { box-sizing: border-box; }

body {
  margin: 0;
  min-width: 320px;
  background:
    radial-gradient(circle at 16% 0%, rgba(65, 255, 143, 0.11), transparent 32%),
    linear-gradient(180deg, #07100b 0%, var(--bg) 44%, #030504 100%);
  color: var(--text);
  font: 13px/1.45 ui-monospace, "SFMono-Regular", "SF Mono", Menlo, Consolas, "Liberation Mono", monospace;
}

button, input, select { font: inherit; }
h1, h2, p { margin: 0; }
h1 { font-size: clamp(22px, 3vw, 36px); line-height: 1; letter-spacing: 0; }
h2 { color: var(--terminal); font-size: 13px; letter-spacing: 0.04em; text-transform: uppercase; }

.app-header {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto auto auto;
  gap: 16px;
  align-items: center;
  padding: 14px 18px;
  border-bottom: 1px solid var(--line);
  background: rgba(5, 8, 6, 0.94);
  backdrop-filter: blur(16px);
  position: sticky;
  top: 0;
  z-index: 10;
}

.brand-block { min-width: 0; }
.eyebrow {
  display: inline-flex;
  margin-bottom: 5px;
  color: var(--terminal-strong);
  font-size: 11px;
  font-weight: 800;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}
.brand-block h1::before {
  content: "> ";
  color: var(--terminal-strong);
}
.app-header p {
  margin-top: 6px;
  color: var(--muted);
  overflow-wrap: anywhere;
}

.status-strip {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  justify-content: flex-end;
}

.autoload-status {
  display: inline-flex;
  align-items: center;
  min-height: 28px;
  padding: 4px 9px;
  border: 1px solid var(--line);
  border-radius: 4px;
  background: #040805;
  color: var(--warn);
  font-size: 11px;
  font-weight: 760;
  white-space: nowrap;
}
.autoload-status.ok {
  border-color: var(--line-strong);
  color: var(--terminal-strong);
}

.status-pill, .detail-kind {
  display: inline-flex;
  align-items: center;
  gap: 7px;
  min-height: 28px;
  padding: 4px 9px;
  border: 1px solid var(--line-strong);
  border-radius: 4px;
  background: rgba(13, 25, 19, 0.92);
  color: var(--muted);
  font-size: 11px;
  font-weight: 750;
  white-space: nowrap;
}
.status-pill strong { color: var(--terminal-strong); }
.status-pill.warn strong { color: var(--warn); }
.status-pill.code strong { color: var(--code); }
.status-pill.memory strong { color: var(--memory); }

.file-picker, button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-height: 38px;
  padding: 0 13px;
  border: 1px solid var(--terminal-strong);
  border-radius: 4px;
  background: #07130d;
  color: var(--terminal-strong);
  cursor: pointer;
  white-space: nowrap;
  font-weight: 780;
  box-shadow: inset 0 0 0 1px rgba(65, 255, 143, 0.10);
}
.file-picker:hover, button:hover { background: #0d1f15; }
.file-picker input {
  position: absolute;
  width: 1px;
  height: 1px;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
}
.file-picker > span {
  display: inline;
  margin: 0;
  color: var(--terminal-strong) !important;
  font-size: inherit;
  font-weight: inherit;
}

.layout {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 380px;
  grid-template-rows: minmax(680px, calc(100vh - 108px)) auto minmax(220px, 30vh) minmax(270px, 34vh);
  grid-template-areas:
    "graph details"
    "controls details"
    "review proof"
    "entities edges";
  gap: 12px;
  padding: 12px;
  min-height: calc(100vh - 78px);
}

.control-panel, .graph-panel, .details-panel, .table-panel, .review-panel, .proof-panel {
  border: 1px solid var(--line);
  border-radius: 6px;
  background: rgba(8, 17, 13, 0.94);
  box-shadow: var(--shadow);
}

.control-panel {
  grid-area: controls;
  min-height: 0;
  overflow: auto;
  padding: 12px;
}

@media (min-width: 1121px) {
  .control-panel {
    display: grid;
    grid-template-columns: repeat(7, minmax(118px, 1fr)) auto;
    gap: 10px;
    align-items: end;
  }
  .control-panel .panel-heading, .metrics-grid, .legend { grid-column: 1 / -1; }
  .control-panel label, .control-panel button { margin-top: 0; }
}

.control-panel label { display: block; margin-top: 12px; }
.control-panel .toggle-control {
  display: flex;
  align-items: center;
  gap: 9px;
  min-height: 38px;
  padding: 0 10px;
  border: 1px solid var(--line);
  border-radius: 4px;
  background: #030604;
}
.control-panel .toggle-control input {
  width: 15px;
  min-height: 15px;
  accent-color: var(--terminal-strong);
}
.control-panel .toggle-control span {
  margin: 0;
  color: var(--terminal-dim);
  line-height: 1.2;
}
label span {
  display: block;
  margin-bottom: 6px;
  color: var(--terminal-dim);
  font-size: 11px;
  font-weight: 760;
  text-transform: uppercase;
}

input, select {
  width: 100%;
  min-height: 38px;
  border: 1px solid var(--line);
  border-radius: 4px;
  padding: 0 10px;
  background: #030604;
  color: var(--text);
}
input::placeholder { color: #4e7458; }
input:focus, select:focus, button:focus, .file-picker:focus-within {
  outline: 2px solid rgba(65, 255, 143, 0.35);
  outline-offset: 1px;
}
.control-panel button { width: 100%; margin-top: 12px; }

.panel-heading {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 10px;
  padding: 11px 12px 0;
  margin-bottom: 10px;
}
.panel-heading.compact { padding: 0; margin-bottom: 12px; }
.panel-heading span, #workspaceMode, #selectionStatus {
  color: var(--terminal-dim);
  font-size: 11px;
  font-variant-numeric: tabular-nums;
}

.metrics-grid {
  display: grid;
  grid-template-columns: repeat(6, minmax(0, 1fr));
  gap: 8px;
  margin-bottom: 12px;
}
.metric {
  min-height: 58px;
  padding: 9px;
  border: 1px solid var(--line);
  border-radius: 4px;
  background: #06100b;
}
.metric strong {
  display: block;
  color: var(--terminal-strong);
  font-size: 17px;
  line-height: 1.1;
  overflow-wrap: anywhere;
}
.metric span {
  display: block;
  margin-top: 5px;
  color: var(--terminal-dim);
  font-size: 10px;
  font-weight: 760;
  text-transform: uppercase;
}

.legend {
  display: flex;
  flex-wrap: wrap;
  gap: 12px;
  margin-top: 12px;
  padding-top: 12px;
  border-top: 1px solid var(--line);
  color: var(--muted);
  font-size: 11px;
  font-weight: 720;
}
.legend span { display: flex; align-items: center; gap: 8px; }
.dot { width: 12px; height: 8px; border-radius: 2px; display: inline-block; }
.memory-dot { background: var(--memory); }
.code-dot { background: var(--code); }
.line { width: 24px; height: 2px; display: inline-block; background: var(--edge); }

.graph-panel {
  grid-area: graph;
  position: relative;
  min-height: 640px;
  overflow: hidden;
  display: grid;
  grid-template-rows: auto minmax(0, 1fr);
}

.graph-toolbar {
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: 12px;
  padding: 11px 12px;
  border-bottom: 1px solid var(--line);
  background: linear-gradient(180deg, #0b1710, #07110c);
}
.graph-toolbar p { color: var(--terminal-dim); font-size: 11px; margin-top: 3px; }
.graph-actions { display: inline-flex; align-items: center; gap: 6px; }
.graph-actions button { min-width: 40px; min-height: 34px; padding: 0 10px; }
.interaction-hint {
  display: inline-flex;
  align-items: center;
  padding-right: 6px;
  color: var(--terminal-dim);
  font-size: 11px;
  font-weight: 700;
  white-space: nowrap;
}

.graph-canvas-wrap {
  position: relative;
  min-height: 600px;
  width: 100%;
  height: 100%;
  overflow: hidden;
  background:
    radial-gradient(circle at 52% 46%, rgba(65, 255, 143, 0.055), transparent 44%),
    #020503;
}

#graphCanvas {
  width: 100%;
  height: 100%;
  min-height: 600px;
  display: block;
  cursor: grab;
}

#graphCanvas:active { cursor: grabbing; }

#graphSvg {
  width: 100%;
  height: 100%;
  min-height: 600px;
  display: block;
  cursor: grab;
  background:
    linear-gradient(rgba(65, 255, 143, 0.035) 1px, transparent 1px),
    linear-gradient(90deg, rgba(65, 255, 143, 0.035) 1px, transparent 1px),
    radial-gradient(circle at 52% 46%, rgba(65, 255, 143, 0.10), transparent 44%),
    #020503;
  background-size: 28px 28px, 28px 28px, 100% 100%, 100% 100%;
}
#graphSvg.fallback-graph { display: none; }
#graphSvg.dragging { cursor: grabbing; }
#arrow path { fill: var(--edge); }
.graph-tooltip {
  position: absolute;
  z-index: 5;
  display: none;
  max-width: min(320px, calc(100% - 28px));
  padding: 10px 12px;
  border: 1px solid rgba(65, 255, 143, 0.28);
  border-radius: 4px;
  background: rgba(2, 5, 3, 0.94);
  box-shadow: 0 14px 34px rgba(0, 0, 0, 0.42), inset 0 0 0 1px rgba(65, 255, 143, 0.06);
  backdrop-filter: blur(12px);
  color: var(--text);
  pointer-events: none;
}
.graph-tooltip.visible { display: block; }
.tt-name {
  color: var(--terminal);
  font-weight: 820;
  overflow-wrap: anywhere;
}
.tt-type {
  margin-top: 4px;
  font-size: 10px;
  font-weight: 800;
  letter-spacing: 0.10em;
  text-transform: uppercase;
}
.tt-summary {
  margin-top: 7px;
  color: var(--muted);
  font-size: 11px;
  overflow-wrap: anywhere;
}
.tt-conns {
  margin-top: 7px;
  padding-top: 7px;
  border-top: 1px solid rgba(65, 255, 143, 0.16);
  color: var(--terminal-dim);
  font-size: 10px;
  font-weight: 760;
}
.lane-label {
  fill: rgba(185, 251, 192, 0.34);
  font-size: 12px;
  font-weight: 900;
  letter-spacing: 0.16em;
  pointer-events: none;
}

.empty-state {
  position: absolute;
  inset: 54px 0 0;
  display: grid;
  place-content: center;
  gap: 6px;
  color: var(--muted);
  text-align: center;
  pointer-events: none;
}
.empty-state strong { color: var(--terminal); font-size: 18px; }
.empty-state.hidden { display: none; }

.details-panel {
  grid-area: details;
  min-height: 0;
  overflow: auto;
  padding: 12px;
}
.details-empty { color: var(--terminal-dim); }
.detail-title { margin-bottom: 8px; color: var(--text); font-weight: 780; font-size: 17px; overflow-wrap: anywhere; }
.detail-kind { margin-bottom: 10px; color: var(--terminal-strong); background: #07130d; }
.detail-row { padding: 9px 0; border-top: 1px solid var(--line); }
.detail-row dt { margin: 0 0 4px; color: var(--terminal-dim); font-size: 11px; font-weight: 760; text-transform: uppercase; }
.detail-row dd { margin: 0; color: var(--text); overflow-wrap: anywhere; white-space: pre-wrap; }
.detail-section {
  margin-top: 12px;
  padding-top: 12px;
  border-top: 1px solid var(--line);
}
.detail-section-title {
  margin-bottom: 8px;
  color: var(--terminal-dim);
  font-size: 11px;
  font-weight: 800;
  text-transform: uppercase;
}
.detail-link {
  width: 100%;
  display: grid;
  gap: 4px;
  min-height: 0;
  margin-top: 8px;
  padding: 9px;
  border-color: rgba(216, 255, 95, 0.28);
  background: rgba(216, 255, 95, 0.045);
  color: var(--text);
  text-align: left;
  white-space: normal;
  box-shadow: none;
}
.detail-link:hover { background: rgba(216, 255, 95, 0.085); }
.detail-link-title {
  color: var(--terminal);
  font-weight: 820;
  overflow-wrap: anywhere;
}
.detail-link-meta {
  color: var(--warn);
  font-size: 10px;
  font-weight: 760;
  text-transform: uppercase;
  overflow-wrap: anywhere;
}
.detail-link-body {
  color: var(--muted);
  font-size: 11px;
  overflow-wrap: anywhere;
}
.detail-more {
  margin-top: 9px;
  color: var(--terminal-dim);
  font-size: 11px;
}

.entities-panel { grid-area: entities; }
.edges-panel { grid-area: edges; }
.review-panel { grid-area: review; }
.proof-panel { grid-area: proof; }
.table-panel { min-height: 0; overflow: hidden; }
.review-panel, .proof-panel { min-height: 0; overflow: hidden; }
.list { height: calc(100% - 48px); overflow: auto; padding: 0 8px 10px; }
.review-list, .proof-list {
  height: calc(100% - 48px);
  overflow: auto;
  padding: 0 10px 12px;
}
.review-item {
  padding: 10px 0;
  border-top: 1px solid var(--line);
}
.review-title {
  color: var(--terminal);
  font-weight: 820;
  overflow-wrap: anywhere;
}
.review-meta, .review-risks {
  margin-top: 4px;
  color: var(--terminal-dim);
  font-size: 11px;
}
.review-summary {
  margin-top: 6px;
  color: var(--text);
  overflow-wrap: anywhere;
}
.review-artifact {
  margin-top: 10px;
  border-top: 1px solid var(--line);
  padding-top: 10px;
}
.review-artifact summary {
  color: var(--terminal-strong);
  cursor: pointer;
  font-weight: 780;
}
.review-artifact pre {
  margin: 10px 0 0;
  white-space: pre-wrap;
  color: var(--muted);
  font-size: 11px;
}
.proof-list {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 8px;
  align-content: start;
}
.proof-item {
  min-height: 62px;
  padding: 10px;
  border: 1px solid var(--line);
  border-radius: 4px;
  background: #06100b;
}
.proof-item strong {
  display: block;
  color: var(--terminal-strong);
  font-size: 18px;
}
.proof-item span {
  display: block;
  margin-top: 5px;
  color: var(--terminal-dim);
  font-size: 10px;
  font-weight: 760;
  text-transform: uppercase;
}
.list-item {
  width: 100%;
  display: grid;
  gap: 4px;
  padding: 10px 8px;
  border: 0;
  border-top: 1px solid var(--line);
  border-radius: 0;
  background: transparent;
  color: inherit;
  text-align: left;
  cursor: pointer;
}
.list-item:hover, .list-item.selected { background: rgba(65, 255, 143, 0.08); }
.item-title { color: var(--terminal); font-weight: 780; overflow-wrap: anywhere; }
.item-meta { color: var(--terminal-dim); font-size: 11px; overflow-wrap: anywhere; }

.edge-line { stroke: var(--edge); stroke-width: 1.35; marker-end: url(#arrow); opacity: 0.50; }
.edge-line.memory-code-link { stroke: #d8ff5f; stroke-width: 2.2; opacity: 0.88; }
.edge-line.filtered { opacity: 0.05; }
.edge-line.selected, .edge-line.connected { stroke: var(--terminal-strong); stroke-width: 2.8; opacity: 1; }
.edge-line.review-low-confidence { stroke-dasharray: 5 4; stroke: var(--warn); }
.edge-line.review-missing-evidence { opacity: 0.34; stroke-dasharray: 3 5; }
.edge-line.review-invalidated { stroke: #68716c; stroke-dasharray: 2 5; }
.edge-hit { stroke: transparent; stroke-width: 18; cursor: pointer; }

.node { cursor: pointer; }
.node-body {
  stroke-width: 1.5;
  rx: 4;
  filter: drop-shadow(0 8px 16px rgba(0, 0, 0, 0.38));
}
.node.graph-memory .node-body {
  fill: var(--memory-soft);
  stroke: var(--memory);
}
.node.graph-code .node-body {
  fill: var(--code-soft);
  stroke: var(--code);
}
.node.graph-unknown .node-body {
  fill: #151b18;
  stroke: var(--terminal-dim);
}
.node.dependency-node .node-body {
  fill: #101714;
  stroke: #506c5a;
}
.node.dependency-node .node-title,
.node.dependency-node .node-type {
  fill: #8aa394;
}
.node.selected .node-body, .node.connected .node-body {
  stroke: var(--terminal-strong);
  stroke-width: 2.8;
}
.node.filtered { opacity: 0.10; }
.node-title {
  fill: var(--text);
  font-size: 12px;
  font-weight: 800;
  pointer-events: none;
}
.node-type {
  fill: var(--terminal-dim);
  font-size: 9px;
  font-weight: 760;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  pointer-events: none;
}
.node-port {
  fill: var(--terminal-strong);
  opacity: 0.88;
  pointer-events: none;
}

@media (max-width: 1120px) {
  .app-header {
    grid-template-columns: 1fr;
    align-items: stretch;
    padding: 12px 14px;
  }
  .brand-block h1 { font-size: 24px; }
  .app-header p { font-size: 12px; }
  .status-strip { justify-content: flex-start; }
  .status-pill { min-height: 24px; padding: 3px 8px; }
  .layout {
    grid-template-columns: 1fr;
    grid-template-rows: minmax(620px, 78vh) auto auto minmax(220px, 36vh) minmax(220px, 36vh) minmax(220px, 36vh) minmax(220px, 36vh);
    grid-template-areas:
      "graph"
      "controls"
      "details"
      "review"
      "proof"
      "entities"
      "edges";
  }
  .metrics-grid { grid-template-columns: repeat(3, minmax(0, 1fr)); }
  .control-panel { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 10px; }
  .control-panel .panel-heading, .metrics-grid, .legend { grid-column: 1 / -1; }
  .control-panel label, .control-panel button { margin-top: 0; }
  .graph-panel { min-height: 620px; }
  #graphCanvas, .graph-canvas-wrap, #graphSvg { min-height: 560px; }
}

@media (max-width: 620px) {
  .app-header { padding: 12px; }
  .layout { padding: 8px; gap: 8px; }
  .control-panel { grid-template-columns: 1fr; }
  .metrics-grid { grid-template-columns: 1fr 1fr; }
  .proof-list { grid-template-columns: 1fr 1fr; }
  .graph-toolbar { align-items: flex-start; flex-direction: column; }
  .graph-actions { width: 100%; }
  .interaction-hint { flex: 1; white-space: normal; }
  #graphCanvas, .graph-canvas-wrap, #graphSvg { min-height: 450px; }
}
