.ams-view {
  --ams-bg: #06090d;
  --ams-surface: #0d131a;
  --ams-surface-raised: #121a23;
  --ams-line: #2b3541;
  --ams-line-strong: #46525f;
  --ams-text: #edf0f3;
  --ams-muted: #9da7b2;
  --ams-faint: #74808c;
  --ams-platinum: #c9cfd8;
  --ams-gold: #c9a96a;
  --ams-blue: #62a7c7;
  --ams-good: #74aa8e;
  --ams-warn: #c9a96a;
  --ams-bad: #cf7a7a;
  color: var(--ams-text);
  background: var(--ams-bg);
  border: 1px solid var(--ams-line);
  min-height: calc(100vh - 100px);
  padding: clamp(18px, 2.5vw, 34px);
  font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
}

.ams-view[data-theme="day"] {
  --ams-bg: #eef1f4;
  --ams-surface: #ffffff;
  --ams-surface-raised: #f6f8fa;
  --ams-line: #cbd2d9;
  --ams-line-strong: #9da8b2;
  --ams-text: #101820;
  --ams-muted: #4e5d69;
  --ams-faint: #667580;
  --ams-platinum: #263442;
  --ams-gold: #8a6a32;
  --ams-blue: #2f708e;
  --ams-good: #347454;
  --ams-warn: #8a6a32;
  --ams-bad: #a34040;
}

.ams-view[data-theme="night"] {
  color-scheme: dark;
}

@media (prefers-color-scheme: light) {
  .ams-view[data-theme="auto"] {
    --ams-bg: #eef1f4;
    --ams-surface: #ffffff;
    --ams-surface-raised: #f6f8fa;
    --ams-line: #cbd2d9;
    --ams-line-strong: #9da8b2;
    --ams-text: #101820;
    --ams-muted: #4e5d69;
    --ams-faint: #667580;
    --ams-platinum: #263442;
    --ams-gold: #8a6a32;
    --ams-blue: #2f708e;
    --ams-good: #347454;
    --ams-warn: #8a6a32;
    --ams-bad: #a34040;
  }
}

.ams-view *,
.ams-view *::before,
.ams-view *::after {
  box-sizing: border-box;
}

.ams-header {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 28px;
  padding-bottom: 24px;
  border-bottom: 1px solid var(--ams-line);
}

.ams-identity {
  display: flex;
  align-items: flex-start;
  gap: 18px;
  max-width: 820px;
}

.ams-mark {
  width: 74px;
  height: 74px;
  object-fit: contain;
  flex: 0 0 auto;
}

.ams-kicker,
.ams-section-label {
  margin: 0 0 7px;
  color: var(--ams-gold);
  font-size: 0.7rem;
  font-weight: 700;
  letter-spacing: 0.13em;
  text-transform: uppercase;
}

.ams-header h1 {
  margin: 0;
  color: var(--ams-platinum);
  font-size: clamp(2rem, 4vw, 3.4rem);
  font-weight: 650;
  letter-spacing: -0.045em;
  line-height: 0.98;
}

.ams-intro {
  margin: 12px 0 0;
  max-width: 690px;
  color: var(--ams-muted);
  font-size: 1rem;
  line-height: 1.65;
}

.ams-header-tools {
  display: flex;
  flex-direction: column;
  align-items: flex-end;
  gap: 12px;
}

.ams-theme-control {
  display: inline-flex;
  border: 1px solid var(--ams-line);
  background: var(--ams-surface);
}

.ams-theme-control button {
  min-width: 62px;
  padding: 8px 11px;
  border: 0;
  border-right: 1px solid var(--ams-line);
  color: var(--ams-muted);
  background: transparent;
  font: inherit;
  font-size: 0.78rem;
  cursor: pointer;
}

.ams-theme-control button:last-child {
  border-right: 0;
}

.ams-theme-control button[aria-pressed="true"] {
  color: var(--ams-text);
  background: var(--ams-surface-raised);
  box-shadow: inset 0 -2px 0 var(--ams-gold);
}

.ams-button {
  min-height: 40px;
  padding: 9px 14px;
  border: 1px solid var(--ams-line-strong);
  border-radius: 4px;
  color: var(--ams-bg);
  background: var(--ams-platinum);
  font: inherit;
  font-size: 0.82rem;
  font-weight: 700;
  cursor: pointer;
}

.ams-button--quiet {
  color: var(--ams-text);
  background: var(--ams-surface);
}

.ams-button:hover,
.ams-button:focus-visible {
  border-color: var(--ams-gold);
  outline: none;
}

.ams-button:focus-visible,
.ams-theme-control button:focus-visible,
.ams-view input:focus-visible,
.ams-view a:focus-visible {
  outline: 2px solid var(--ams-gold);
  outline-offset: 3px;
}

.ams-trust-strip {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 20px;
  margin: 18px 0;
  padding: 11px 0;
  color: var(--ams-muted);
  font-size: 0.82rem;
}

.ams-trust-strip > div {
  display: flex;
  align-items: center;
  gap: 10px;
}

.ams-trust-strip a,
.ams-system-link {
  color: var(--ams-blue);
  text-decoration-thickness: 1px;
  text-underline-offset: 4px;
}

.ams-state {
  display: inline-flex;
  align-items: center;
  min-height: 24px;
  padding: 3px 8px;
  border: 1px solid var(--ams-line-strong);
  border-radius: 3px;
  color: var(--ams-muted);
  background: var(--ams-surface-raised);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 0.66rem;
  font-weight: 700;
  letter-spacing: 0.06em;
}

.ams-state--healthy { color: var(--ams-good); border-color: color-mix(in srgb, var(--ams-good) 55%, var(--ams-line)); }
.ams-state--warning { color: var(--ams-warn); border-color: color-mix(in srgb, var(--ams-warn) 55%, var(--ams-line)); }
.ams-state--failed { color: var(--ams-bad); border-color: color-mix(in srgb, var(--ams-bad) 55%, var(--ams-line)); }
.ams-state--unverified { color: var(--ams-platinum); }
.ams-state--unavailable { color: var(--ams-faint); }

.ams-layout {
  display: grid;
  grid-template-columns: repeat(12, minmax(0, 1fr));
  gap: 16px;
}

.ams-panel {
  min-width: 0;
  padding: clamp(17px, 2vw, 24px);
  border: 1px solid var(--ams-line);
  border-radius: 6px;
  background: var(--ams-surface);
}

.ams-panel--topology { grid-column: span 12; }
.ams-topology-scroll {
  margin-top: 16px;
  overflow: auto;
  max-width: 100%;
  border: 1px solid var(--ams-line);
  max-height: 420px;
  background: var(--ams-bg);
}
.ams-topology-svg {
  display: block;
  width: auto;
  height: auto;
  min-width: 720px;
  min-height: 360px;
}
.ams-topology-svg .ams-topo-edge { stroke: var(--ams-line-strong); stroke-width: 1.1; pointer-events: stroke; }
.ams-topology-svg .ams-topo-edge-hit { stroke: transparent; stroke-width: 12; cursor: pointer; pointer-events: stroke; }
.ams-topology-svg .ams-topo-node { cursor: pointer; outline: none; }
.ams-topology-svg .ams-topo-node > * { pointer-events: none; }
.ams-topology-svg .ams-topo-node:focus rect,
.ams-topology-svg .ams-topo-node:hover rect { stroke-width: 2.4; }
.ams-topology-svg .ams-topo-node rect {
  fill: var(--ams-surface-raised);
  stroke: var(--ams-line-strong);
  stroke-width: 1.6;
}
.ams-topology-svg .ams-topo-node text {
  fill: var(--ams-text);
  font-size: 11px;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
}
.ams-panel--health { grid-column: span 7; }
.ams-panel--identity { grid-column: span 5; }
.ams-panel--search { grid-column: span 7; }
.ams-panel--writeback { grid-column: span 5; }
.ams-panel--reasoning { grid-column: span 8; }
.ams-panel--code-graph { grid-column: span 12; }
.ams-panel--entity { grid-column: span 12; }
.ams-panel--entity .ams-results {
  max-height: 240px;
  overflow: auto;
  margin-top: 12px;
  padding: 10px;
  border: 1px solid var(--ams-line);
  background: var(--ams-bg);
  color: var(--ams-text);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 0.72rem;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
}
.ams-panel--session-stm { grid-column: span 12; }
.ams-panel--session-stm .ams-code-graph-scroll { max-height: 220px; }
.ams-panel--temporal { grid-column: span 4; align-self: start; }

.ams-code-graph-scroll {
  margin-top: 16px;
  overflow-x: auto;
  max-width: 100%;
  border: 1px solid var(--ams-line);
}

.ams-code-graph-table {
  width: 100%;
  min-width: 520px;
  border-collapse: collapse;
  font-size: 0.74rem;
}

.ams-code-graph-table th,
.ams-code-graph-table td {
  padding: 8px 10px;
  text-align: left;
  border-bottom: 1px solid var(--ams-line);
  overflow-wrap: anywhere;
}

.ams-code-graph-table th {
  color: var(--ams-faint);
  font-size: 0.66rem;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.ams-code-graph-table .ams-unavailable {
  color: var(--ams-faint);
  text-align: center;
}

.ams-panel-heading {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 16px;
  margin-bottom: 19px;
}

.ams-panel-heading h2 {
  margin: 0;
  color: var(--ams-text);
  font-size: 1.05rem;
  font-weight: 650;
  letter-spacing: -0.015em;
}

.ams-panel-heading p:not(.ams-section-label) {
  margin: 8px 0 0;
  max-width: 640px;
  color: var(--ams-muted);
  font-size: 0.83rem;
  line-height: 1.55;
}

.ams-health-list,
.ams-proof-list,
.ams-writeback-list {
  margin: 0;
}

.ams-health-list > div,
.ams-proof-list > div,
.ams-writeback-list > div {
  display: grid;
  grid-template-columns: minmax(105px, 0.8fr) minmax(0, 1.45fr);
  gap: 16px;
  padding: 9px 0;
  border-bottom: 1px solid var(--ams-line);
}

.ams-health-list > div:last-child,
.ams-proof-list > div:last-child,
.ams-writeback-list > div:last-child {
  border-bottom: 0;
}

.ams-view dt {
  color: var(--ams-faint);
  font-size: 0.72rem;
  font-weight: 650;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.ams-view dd {
  min-width: 0;
  margin: 0;
  color: var(--ams-text);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 0.76rem;
  overflow-wrap: anywhere;
}

.ams-counts {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  margin-top: 20px;
  border-top: 1px solid var(--ams-line);
  border-bottom: 1px solid var(--ams-line);
}

.ams-counts > div {
  min-width: 0;
  padding: 15px 12px 14px;
  border-right: 1px solid var(--ams-line);
}

.ams-counts > div:last-child { border-right: 0; }

.ams-counts strong {
  display: block;
  color: var(--ams-platinum);
  font-size: 1.45rem;
  font-weight: 600;
  font-variant-numeric: tabular-nums;
}

.ams-counts span {
  display: block;
  margin-top: 4px;
  color: var(--ams-muted);
  font-size: 0.7rem;
  line-height: 1.35;
}

.ams-note,
.ams-empty {
  color: var(--ams-muted);
  font-size: 0.78rem;
  line-height: 1.55;
}

.ams-note {
  margin: 16px 0 0;
  padding-top: 14px;
  border-top: 1px solid var(--ams-line);
}

.ams-search-form,
.ams-task-form {
  margin-bottom: 18px;
}

.ams-search-form label,
.ams-task-form label {
  display: block;
  margin-bottom: 7px;
  color: var(--ams-muted);
  font-size: 0.75rem;
  font-weight: 650;
}

.ams-input-row {
  display: flex;
  gap: 8px;
}

.ams-view input {
  width: 100%;
  min-width: 0;
  min-height: 40px;
  padding: 9px 12px;
  border: 1px solid var(--ams-line-strong);
  border-radius: 4px;
  color: var(--ams-text);
  background: var(--ams-bg);
  font: inherit;
  font-size: 0.84rem;
}

.ams-view input::placeholder { color: var(--ams-faint); }

.ams-result-list {
  display: grid;
  gap: 10px;
}

.ams-result {
  padding: 13px 0;
  border-top: 1px solid var(--ams-line);
}

.ams-result:first-child { border-top: 0; }

.ams-result h3 {
  margin: 0 0 5px;
  font-size: 0.9rem;
}

.ams-result p {
  margin: 0;
  color: var(--ams-muted);
  font-size: 0.78rem;
  line-height: 1.5;
}

.ams-result footer {
  display: flex;
  flex-wrap: wrap;
  gap: 8px 14px;
  margin-top: 9px;
  color: var(--ams-faint);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 0.68rem;
}

.ams-result a { color: var(--ams-blue); }

.ams-map-summary {
  display: grid;
  grid-template-columns: 1.3fr 1fr 0.5fr;
  margin-bottom: 15px;
  border: 1px solid var(--ams-line);
}

.ams-map-summary > div {
  min-width: 0;
  padding: 11px 13px;
  border-right: 1px solid var(--ams-line);
}

.ams-map-summary > div:last-child { border-right: 0; }

.ams-map-summary span,
.ams-map-summary strong {
  display: block;
}

.ams-map-summary span {
  color: var(--ams-faint);
  font-size: 0.67rem;
  text-transform: uppercase;
}

.ams-map-summary strong {
  margin-top: 4px;
  color: var(--ams-text);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 0.75rem;
  overflow-wrap: anywhere;
}

.ams-node-list {
  margin: 0;
  padding: 0;
  list-style: none;
}

.ams-node {
  display: grid;
  grid-template-columns: 112px minmax(0, 1fr) minmax(130px, 0.55fr);
  gap: 15px;
  padding: 14px 0;
  border-top: 1px solid var(--ams-line);
}

.ams-node-type {
  color: var(--ams-gold);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 0.7rem;
  font-weight: 700;
  text-transform: uppercase;
}

.ams-node-summary {
  color: var(--ams-text);
  font-size: 0.82rem;
  line-height: 1.5;
}

.ams-node-meta {
  color: var(--ams-faint);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 0.68rem;
  line-height: 1.5;
  overflow-wrap: anywhere;
}

.ams-system-link {
  display: inline-block;
  margin-top: 19px;
  font-size: 0.78rem;
  line-height: 1.45;
}

@media (max-width: 980px) {
  .ams-panel--health,
  .ams-panel--identity,
  .ams-panel--search,
  .ams-panel--writeback,
  .ams-panel--reasoning,
  .ams-panel--topology,
  .ams-panel--code-graph,
  .ams-panel--entity,
  .ams-panel--session-stm,
  .ams-panel--temporal {
    grid-column: 1 / -1;
  }
}

@media (max-width: 650px) {
  .ams-view { padding: 16px; }
  .ams-header { flex-direction: column; }
  .ams-header-tools { width: 100%; align-items: stretch; }
  .ams-theme-control { align-self: flex-start; }
  .ams-trust-strip { align-items: flex-start; flex-direction: column; }
  .ams-counts { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .ams-counts > div:nth-child(2) { border-right: 0; }
  .ams-counts > div:nth-child(-n + 2) { border-bottom: 1px solid var(--ams-line); }
  .ams-input-row { flex-direction: column; }
  .ams-node { grid-template-columns: 1fr; gap: 6px; }
  .ams-map-summary { grid-template-columns: 1fr; }
  .ams-map-summary > div { border-right: 0; border-bottom: 1px solid var(--ams-line); }
  .ams-map-summary > div:last-child { border-bottom: 0; }
}

@media (max-width: 390px) {
  .ams-view { padding: 12px; }
  .ams-identity { gap: 12px; }
  .ams-mark { width: 52px; height: 52px; }
  .ams-header h1 { font-size: 2rem; }
  .ams-panel { padding: 15px; }
  .ams-panel-heading { align-items: flex-start; flex-direction: column; }
  .ams-health-list > div,
  .ams-proof-list > div,
  .ams-writeback-list > div { grid-template-columns: 1fr; gap: 4px; }
  .ams-theme-control { width: 100%; }
  .ams-theme-control button { flex: 1; min-width: 0; }
}

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