:root {
  color-scheme: dark;
  --ink: #eef0e8;
  --muted: #969e94;
  --dim: #626a63;
  --night: #090b0a;
  --surface: rgba(18, 22, 19, 0.88);
  --surface-strong: #141816;
  --line: rgba(197, 214, 200, 0.15);
  --line-strong: rgba(197, 214, 200, 0.28);
  --acid: #c7ff52;
  --cyan: #62e6d4;
  --amber: #ffc857;
  --red: #ff6b68;
  --radius: 18px;
  --shadow: 0 22px 60px rgba(0, 0, 0, 0.34);
  font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
}

* {
  box-sizing: border-box;
}

html {
  min-width: 320px;
  background: var(--night);
  scroll-behavior: smooth;
}

body {
  min-height: 100vh;
  margin: 0;
  overflow-x: hidden;
  color: var(--ink);
  background:
    linear-gradient(rgba(255, 255, 255, 0.018) 1px, transparent 1px),
    linear-gradient(90deg, rgba(255, 255, 255, 0.018) 1px, transparent 1px),
    radial-gradient(circle at 78% 8%, rgba(98, 230, 212, 0.09), transparent 28rem),
    var(--night);
  background-size: 42px 42px, 42px 42px, auto, auto;
}

button,
select,
textarea {
  font: inherit;
}

button,
select {
  color: inherit;
}

button:focus-visible,
select:focus-visible,
textarea:focus-visible,
a:focus-visible {
  outline: 2px solid var(--acid);
  outline-offset: 3px;
}

.skip-link {
  position: fixed;
  z-index: 50;
  top: 12px;
  left: 12px;
  padding: 10px 14px;
  color: #10140d;
  background: var(--acid);
  border-radius: 8px;
  transform: translateY(-150%);
}

.skip-link:focus {
  transform: translateY(0);
}

.ambient {
  position: fixed;
  z-index: -1;
  width: 420px;
  height: 420px;
  border-radius: 999px;
  filter: blur(130px);
  opacity: 0.08;
  pointer-events: none;
}

.ambient-one {
  top: -180px;
  right: -110px;
  background: var(--cyan);
}

.ambient-two {
  bottom: -220px;
  left: -120px;
  background: var(--acid);
}

.site-header,
main,
footer {
  width: min(1540px, calc(100% - 48px));
  margin-inline: auto;
}

.site-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  min-height: 84px;
  border-bottom: 1px solid var(--line);
}

.brand {
  display: inline-flex;
  gap: 12px;
  align-items: center;
  color: inherit;
  text-decoration: none;
}

.brand-mark {
  display: grid;
  width: 34px;
  height: 34px;
  place-items: center;
  border: 1px solid var(--line-strong);
  border-radius: 50%;
}

.brand-mark::before,
.brand-mark span {
  display: block;
  width: 15px;
  height: 15px;
  border: 2px solid var(--acid);
  content: "";
  transform: rotate(45deg);
}

.brand-mark span {
  width: 5px;
  height: 5px;
  border: 0;
  background: var(--cyan);
}

.brand strong,
.brand small {
  display: block;
}

.brand strong {
  font-size: 15px;
  letter-spacing: 0.05em;
}

.brand small {
  margin-top: 2px;
  color: var(--dim);
  font: 600 10px/1.2 ui-monospace, SFMono-Regular, Menlo, monospace;
  letter-spacing: 0.16em;
}

.runtime-badges {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  justify-content: flex-end;
}

.badge,
.state-chip {
  display: inline-flex;
  align-items: center;
  min-height: 26px;
  padding: 0 9px;
  border: 1px solid var(--line);
  border-radius: 999px;
  color: var(--muted);
  background: rgba(0, 0, 0, 0.18);
  font: 650 9px/1 ui-monospace, SFMono-Regular, Menlo, monospace;
  letter-spacing: 0.1em;
}

.badge-safe,
.state-active {
  color: var(--acid);
  border-color: rgba(199, 255, 82, 0.32);
}

.hero {
  display: grid;
  grid-template-columns: minmax(0, 1.6fr) minmax(280px, 0.7fr);
  gap: 48px;
  align-items: end;
  padding: 72px 0 50px;
}

.eyebrow,
.section-index {
  margin: 0 0 14px;
  color: var(--cyan);
  font: 650 10px/1.4 ui-monospace, SFMono-Regular, Menlo, monospace;
  letter-spacing: 0.14em;
  text-transform: uppercase;
}

.eyebrow span {
  display: inline-grid;
  width: 24px;
  height: 24px;
  margin-right: 10px;
  place-items: center;
  border: 1px solid rgba(98, 230, 212, 0.35);
  border-radius: 50%;
}

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

h1 {
  max-width: 900px;
  margin-bottom: 24px;
  font-size: clamp(3rem, 6vw, 6.9rem);
  font-weight: 520;
  line-height: 0.92;
  letter-spacing: -0.066em;
}

h1 em {
  color: var(--acid);
  font-family: Georgia, "Times New Roman", serif;
  font-weight: 400;
}

.hero-copy {
  max-width: 720px;
  margin-bottom: 0;
  color: var(--muted);
  font-size: clamp(1rem, 1.5vw, 1.2rem);
  line-height: 1.65;
}

.hero-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  margin-top: 26px;
}

.link-button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  text-decoration: none;
}

.hero-proof {
  display: flex;
  gap: 14px;
  padding: 22px;
  border-top: 1px solid var(--line-strong);
  border-bottom: 1px solid var(--line);
}

.pulse-dot {
  width: 9px;
  height: 9px;
  margin-top: 4px;
  flex: 0 0 auto;
  border-radius: 50%;
  background: var(--acid);
  box-shadow: 0 0 0 7px rgba(199, 255, 82, 0.08);
}

.hero-proof small,
.hero-proof strong {
  display: block;
  font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
}

.hero-proof small {
  color: var(--dim);
  font-size: 9px;
  letter-spacing: 0.12em;
}

.hero-proof strong {
  margin: 6px 0 10px;
  color: var(--acid);
  font-size: 12px;
  overflow-wrap: anywhere;
}

.hero-proof p {
  margin-bottom: 0;
  color: var(--muted);
  font-size: 12px;
  line-height: 1.6;
}

.runtime-map {
  display: grid;
  grid-template-columns: minmax(260px, 0.68fr) minmax(0, 1.8fr);
  gap: 28px;
  align-items: center;
  margin-bottom: 12px;
  padding: 26px 24px;
  border: 1px solid rgba(199, 255, 82, 0.22);
  border-radius: var(--radius);
  background:
    linear-gradient(110deg, rgba(199, 255, 82, 0.07), transparent 44%),
    rgba(12, 15, 13, 0.78);
}

.runtime-map-copy .section-index {
  margin-bottom: 7px;
  color: var(--acid);
}

.runtime-map-copy h2 {
  margin-bottom: 10px;
  color: var(--ink);
}

.runtime-map-copy p:last-child {
  margin-bottom: 0;
  color: var(--muted);
  font-size: 12px;
  line-height: 1.6;
}

.runtime-route {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  gap: 7px;
  margin: 0;
  padding: 0;
  list-style: none;
}

.runtime-route li {
  position: relative;
  min-width: 0;
  min-height: 116px;
  padding: 14px 12px;
  border: 1px solid rgba(199, 255, 82, 0.2);
  border-radius: 11px;
  background: rgba(0, 0, 0, 0.2);
}

.runtime-route li:not(:last-child)::after {
  position: absolute;
  z-index: 2;
  top: 50%;
  right: -8px;
  width: 8px;
  height: 1px;
  background: var(--acid);
  content: "";
}

.runtime-route span,
.runtime-route strong,
.runtime-route small {
  display: block;
}

.runtime-route span {
  margin-bottom: 20px;
  color: var(--acid);
  font: 650 9px/1 ui-monospace, SFMono-Regular, Menlo, monospace;
}

.runtime-route strong {
  font-size: 11px;
  line-height: 1.3;
  overflow-wrap: anywhere;
}

.runtime-route small {
  margin-top: 5px;
  color: var(--muted);
  font-size: 9px;
  line-height: 1.35;
}

.profile-boundary {
  display: grid;
  grid-template-columns: minmax(250px, 0.7fr) minmax(0, 1.8fr);
  gap: 28px;
  margin-bottom: 12px;
  padding: 18px 22px;
  border-left: 3px solid var(--amber);
  color: var(--muted);
  background: rgba(255, 200, 87, 0.045);
}

.profile-boundary strong {
  color: var(--amber);
  font-size: 12px;
  line-height: 1.5;
}

.profile-boundary p {
  margin-bottom: 0;
  font-size: 11px;
  line-height: 1.65;
}

.agent-path {
  display: grid;
  grid-template-columns: minmax(260px, 0.7fr) minmax(0, 1.8fr);
  gap: 28px;
  align-items: center;
  margin-bottom: 18px;
  padding: 22px 24px;
  border: 1px solid rgba(98, 230, 212, 0.18);
  border-radius: var(--radius);
  background:
    linear-gradient(110deg, rgba(98, 230, 212, 0.07), transparent 40%),
    rgba(12, 15, 13, 0.74);
}

.agent-path-copy .section-index {
  margin-bottom: 7px;
}

.agent-path-copy h2 {
  margin-bottom: 8px;
  color: var(--acid);
}

.agent-path-copy > p {
  margin-bottom: 0;
  color: var(--muted);
  font-size: 12px;
  line-height: 1.55;
}

.agent-path-copy code {
  color: var(--cyan);
  overflow-wrap: anywhere;
}

.judge-launch {
  display: grid;
  gap: 8px;
  margin-top: 16px;
}

.judge-launch .button {
  width: fit-content;
  min-height: 44px;
  padding-inline: 18px;
}

#judge-guide {
  max-width: 390px;
  color: var(--muted);
  font: 600 9px/1.5 ui-monospace, SFMono-Regular, Menlo, monospace;
}

#judge-guide[data-tone="success"] {
  color: var(--acid);
}

#judge-guide[data-tone="error"] {
  color: var(--red);
}

.agent-route {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  gap: 7px;
  margin: 0;
  padding: 0;
  list-style: none;
}

.agent-route li {
  position: relative;
  min-width: 0;
  padding: 13px 12px;
  border: 1px solid var(--line);
  border-radius: 11px;
  background: rgba(0, 0, 0, 0.18);
}

.agent-route li:not(:last-child)::after {
  position: absolute;
  z-index: 2;
  top: 50%;
  right: -8px;
  width: 8px;
  height: 1px;
  background: var(--cyan);
  content: "";
}

.agent-route li[data-role="human"] {
  border-color: rgba(255, 200, 87, 0.5);
  background: rgba(255, 200, 87, 0.07);
}

.agent-route span,
.agent-route strong,
.agent-route small {
  display: block;
}

.agent-route span {
  margin-bottom: 14px;
  color: var(--dim);
  font: 650 9px/1 ui-monospace, SFMono-Regular, Menlo, monospace;
}

.agent-route strong {
  overflow-wrap: anywhere;
  font-size: 11px;
  line-height: 1.25;
}

.agent-route small {
  margin-top: 5px;
  color: var(--muted);
  font-size: 9px;
  line-height: 1.3;
}

.agent-route li[data-role="human"] strong {
  color: var(--amber);
}

.lab-grid {
  display: grid;
  grid-template-columns: minmax(310px, 0.72fr) minmax(0, 1.75fr);
  gap: 16px;
  align-items: start;
}

.panel {
  border: 1px solid var(--line);
  border-radius: var(--radius);
  background: linear-gradient(145deg, rgba(21, 26, 22, 0.94), rgba(12, 15, 13, 0.94));
  box-shadow: var(--shadow);
  backdrop-filter: blur(18px);
}

.scenario-panel {
  position: sticky;
  top: 14px;
  padding: 24px;
}

.proof-panel {
  padding: 26px;
}

.panel-heading,
.subheading-row,
.proof-title-row,
.editor-heading {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 14px;
}

.panel-heading {
  margin-bottom: 24px;
}

.panel-heading .section-index,
.evidence-card .section-index {
  margin-bottom: 6px;
}

h2 {
  margin-bottom: 0;
  font-size: 21px;
  font-weight: 600;
  letter-spacing: -0.025em;
}

h3 {
  margin-bottom: 0;
  font-size: 14px;
  font-weight: 620;
  letter-spacing: -0.01em;
}

.field-label {
  display: block;
  margin-bottom: 8px;
  color: var(--muted);
  font: 600 10px/1.3 ui-monospace, SFMono-Regular, Menlo, monospace;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.select-row {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 8px;
  margin-bottom: 22px;
}

select,
textarea {
  width: 100%;
  border: 1px solid var(--line);
  border-radius: 10px;
  color: var(--ink);
  background: rgba(3, 5, 4, 0.7);
}

select {
  min-height: 42px;
  padding: 0 34px 0 12px;
}

.editor-heading .field-label {
  margin-bottom: 0;
}

#scenario-file {
  position: absolute;
  width: 1px;
  height: 1px;
  overflow: hidden;
  clip: rect(0 0 0 0);
}

.file-trigger {
  color: var(--cyan);
  font: 600 10px/1.2 ui-monospace, SFMono-Regular, Menlo, monospace;
  cursor: pointer;
  letter-spacing: 0.05em;
}

textarea {
  min-height: 380px;
  margin-top: 9px;
  padding: 14px;
  resize: vertical;
  font: 11px/1.6 ui-monospace, SFMono-Regular, Menlo, monospace;
  tab-size: 2;
}

.field-help {
  margin: 9px 2px 18px;
  color: var(--dim);
  font-size: 10px;
  line-height: 1.5;
}

.button-row,
.action-bar {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
}

.adversarial-card {
  display: grid;
  grid-template-columns: minmax(210px, 0.7fr) minmax(250px, 1fr);
  gap: 16px 22px;
  align-items: end;
  margin: 16px 0;
  padding: 18px;
  border: 1px solid rgba(255, 107, 104, 0.22);
  border-radius: 12px;
  background:
    linear-gradient(115deg, rgba(255, 107, 104, 0.06), transparent 45%),
    rgba(7, 9, 8, 0.52);
}

.adversarial-card .section-index {
  margin-bottom: 5px;
  color: var(--red);
}

.adversarial-card h3 {
  margin-bottom: 6px;
}

.adversarial-card p:last-child {
  margin-bottom: 0;
  color: var(--muted);
  font-size: 10px;
  line-height: 1.5;
}

.adversarial-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  justify-content: flex-end;
}

.button-danger {
  border-color: rgba(255, 107, 104, 0.34);
  color: #ffb4b2;
  background: rgba(255, 107, 104, 0.06);
}

.button-danger:not(:disabled):hover {
  border-color: var(--red);
  color: #fff;
}

#adversarial-result {
  grid-column: 1 / -1;
  min-height: 34px;
  padding: 9px 11px;
  border: 1px solid var(--line);
  border-radius: 8px;
  color: var(--muted);
  background: rgba(0, 0, 0, 0.2);
  font: 600 9px/1.55 ui-monospace, SFMono-Regular, Menlo, monospace;
}

#adversarial-result[data-tone="success"] {
  color: var(--acid);
  border-color: rgba(199, 255, 82, 0.28);
}

#adversarial-result[data-tone="error"] {
  color: var(--red);
  border-color: rgba(255, 107, 104, 0.38);
}

.button {
  min-height: 40px;
  padding: 0 14px;
  border: 1px solid transparent;
  border-radius: 9px;
  font-size: 11px;
  font-weight: 700;
  cursor: pointer;
  transition: border-color 140ms ease, background 140ms ease, color 140ms ease, transform 140ms ease;
}

.button:hover:not(:disabled) {
  transform: translateY(-1px);
}

.button:disabled {
  cursor: not-allowed;
  opacity: 0.34;
}

.button-primary {
  color: #10150c;
  background: var(--acid);
}

.button-secondary {
  border-color: var(--line-strong);
  background: rgba(255, 255, 255, 0.04);
}

.button-human {
  color: var(--amber);
  border-color: rgba(255, 200, 87, 0.36);
  background: rgba(255, 200, 87, 0.08);
}

.button-ghost {
  color: var(--muted);
  border-color: var(--line);
  background: transparent;
}

.message {
  min-height: 18px;
  margin-top: 12px;
  color: var(--muted);
  font-size: 11px;
  line-height: 1.45;
}

.message[data-tone="error"] {
  color: var(--red);
}

.message[data-tone="success"] {
  color: var(--acid);
}

.decision-grid {
  display: grid;
  grid-template-columns: 1.45fr 0.55fr 0.8fr;
  gap: 10px;
  margin-bottom: 10px;
}

.risk-card,
.metric-card,
.detail-card,
.evidence-card,
.lifecycle {
  border: 1px solid var(--line);
  background: rgba(0, 0, 0, 0.14);
}

.risk-card {
  display: flex;
  gap: 22px;
  align-items: center;
  min-height: 160px;
  padding: 20px;
  border-radius: 14px;
}

.risk-orbit {
  --risk: 0deg;
  position: relative;
  display: grid;
  width: 108px;
  height: 108px;
  flex: 0 0 auto;
  place-content: center;
  text-align: center;
  border-radius: 50%;
  background: conic-gradient(var(--acid) var(--risk), rgba(255, 255, 255, 0.08) 0);
}

.risk-orbit::after {
  position: absolute;
  inset: 7px;
  z-index: 0;
  border-radius: 50%;
  background: var(--surface-strong);
  content: "";
}

.risk-orbit span,
.risk-orbit small {
  position: relative;
  z-index: 1;
}

.risk-orbit span {
  font: 500 30px/1 ui-monospace, SFMono-Regular, Menlo, monospace;
}

.risk-orbit small {
  color: var(--dim);
  font: 500 9px/1.4 ui-monospace, SFMono-Regular, Menlo, monospace;
}

.risk-card > div > small,
.metric-card > small {
  display: block;
  margin-bottom: 10px;
  color: var(--dim);
  font: 600 9px/1.2 ui-monospace, SFMono-Regular, Menlo, monospace;
  letter-spacing: 0.1em;
}

.risk-card strong {
  display: block;
  margin-bottom: 8px;
  color: var(--acid);
  font: 650 16px/1.25 ui-monospace, SFMono-Regular, Menlo, monospace;
  overflow-wrap: anywhere;
}

.risk-card p,
.metric-card span {
  margin-bottom: 0;
  color: var(--muted);
  font-size: 11px;
  line-height: 1.5;
}

.metric-card {
  display: flex;
  min-width: 0;
  min-height: 160px;
  padding: 20px;
  flex-direction: column;
  justify-content: flex-end;
  border-radius: 14px;
}

.metric-card strong {
  margin-bottom: 8px;
  font-size: 30px;
  font-weight: 500;
}

.metric-card code {
  display: block;
  margin-bottom: 10px;
  color: var(--cyan);
  font: 11px/1.5 ui-monospace, SFMono-Regular, Menlo, monospace;
  overflow-wrap: anywhere;
}

.adapter-proof {
  display: grid;
  grid-template-columns: minmax(190px, 0.55fr) minmax(240px, 1fr) auto;
  gap: 18px;
  align-items: center;
  margin-bottom: 10px;
  padding: 14px 18px;
  border: 1px solid var(--line);
  border-radius: 12px;
  background: rgba(0, 0, 0, 0.14);
}

.adapter-proof small,
.adapter-proof strong {
  display: block;
}

.adapter-proof small {
  margin-bottom: 5px;
  color: var(--dim);
  font: 600 9px/1.2 ui-monospace, SFMono-Regular, Menlo, monospace;
  letter-spacing: 0.1em;
}

.adapter-proof strong {
  color: var(--muted);
  font: 650 13px/1.3 ui-monospace, SFMono-Regular, Menlo, monospace;
}

.adapter-proof strong[data-tone="success"] {
  color: var(--acid);
}

.adapter-proof strong[data-tone="error"] {
  color: var(--red);
}

.adapter-proof code {
  color: var(--cyan);
  font: 10px/1.5 ui-monospace, SFMono-Regular, Menlo, monospace;
  overflow-wrap: anywhere;
}

.adapter-proof > span {
  color: var(--dim);
  font: 550 9px/1.4 ui-monospace, SFMono-Regular, Menlo, monospace;
  text-align: right;
}

.lifecycle {
  margin-bottom: 10px;
  padding: 22px;
  border-radius: 14px;
}

.subheading-row > small,
.subheading-row > span {
  color: var(--dim);
  font: 550 9px/1.4 ui-monospace, SFMono-Regular, Menlo, monospace;
  letter-spacing: 0.06em;
  text-align: right;
}

.lifecycle-track {
  display: grid;
  grid-template-columns: repeat(6, 1fr);
  gap: 0;
  margin: 22px 0;
  padding: 0;
  list-style: none;
}

.lifecycle-track li {
  position: relative;
  min-width: 0;
  color: var(--dim);
}

.lifecycle-track li::before {
  position: absolute;
  z-index: 0;
  top: 13px;
  right: 50%;
  left: -50%;
  height: 1px;
  background: var(--line);
  content: "";
}

.lifecycle-track li:first-child::before {
  display: none;
}

.lifecycle-track li > span {
  position: relative;
  z-index: 1;
  display: grid;
  width: 27px;
  height: 27px;
  margin-bottom: 10px;
  place-items: center;
  border: 1px solid var(--line);
  border-radius: 50%;
  background: var(--surface-strong);
  font: 600 9px/1 ui-monospace, SFMono-Regular, Menlo, monospace;
}

.lifecycle-track strong,
.lifecycle-track small {
  display: block;
  overflow-wrap: anywhere;
}

.lifecycle-track strong {
  color: inherit;
  font-size: 10px;
}

.lifecycle-track small {
  margin-top: 4px;
  font-size: 8px;
}

.lifecycle-track li[data-progress="done"],
.lifecycle-track li[data-progress="current"] {
  color: var(--ink);
}

.lifecycle-track li[data-progress="done"] > span {
  color: #0b1008;
  border-color: var(--acid);
  background: var(--acid);
}

.lifecycle-track li[data-progress="current"] > span {
  color: var(--acid);
  border-color: var(--acid);
  box-shadow: 0 0 0 5px rgba(199, 255, 82, 0.08);
}

.lifecycle-track li[data-progress="done"]::before,
.lifecycle-track li[data-progress="current"]::before {
  background: rgba(199, 255, 82, 0.58);
}

.action-bar {
  padding-top: 18px;
  border-top: 1px solid var(--line);
}

.detail-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 10px;
  margin-bottom: 10px;
}

.detail-card,
.evidence-card {
  padding: 20px;
  border-radius: 14px;
}

.capability-columns {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 18px;
  margin-top: 18px;
}

.allowed-label,
.blocked-label {
  font: 650 9px/1 ui-monospace, SFMono-Regular, Menlo, monospace;
  letter-spacing: 0.1em;
}

.allowed-label {
  color: var(--acid);
}

.blocked-label {
  color: var(--red);
}

.capability-columns ul,
.check-list,
.audit-timeline {
  margin: 10px 0 0;
  padding: 0;
  list-style: none;
}

.capability-columns li,
.check-list li {
  margin-top: 7px;
  color: var(--muted);
  font: 10px/1.45 ui-monospace, SFMono-Regular, Menlo, monospace;
  overflow-wrap: anywhere;
}

.capability-columns li::before,
.check-list li::before {
  margin-right: 7px;
  color: var(--dim);
  content: "·";
}

.check-list li[data-pass="true"]::before {
  color: var(--acid);
  content: "✓";
}

.check-list li[data-pass="false"]::before {
  color: var(--red);
  content: "×";
}

.evidence-card .subheading-row {
  align-items: flex-end;
}

.evidence-grid {
  display: grid;
  grid-template-columns: minmax(180px, 0.56fr) minmax(0, 1.44fr);
  gap: 14px;
  margin-top: 18px;
}

.audit-timeline {
  max-height: 290px;
  overflow: auto;
}

.audit-timeline li {
  position: relative;
  margin-left: 5px;
  padding: 0 0 16px 18px;
  border-left: 1px solid var(--line);
  color: var(--muted);
  font-size: 10px;
  line-height: 1.4;
}

.audit-timeline li::before {
  position: absolute;
  top: 2px;
  left: -4px;
  width: 7px;
  height: 7px;
  border-radius: 50%;
  background: var(--cyan);
  content: "";
}

.audit-timeline strong,
.audit-timeline code {
  display: block;
}

.audit-timeline code {
  margin-top: 4px;
  color: var(--dim);
  font-size: 8px;
}

pre {
  min-height: 210px;
  max-height: 290px;
  margin: 0;
  padding: 16px;
  overflow: auto;
  border: 1px solid var(--line);
  border-radius: 10px;
  color: #b8c2ba;
  background: #080a09;
  font: 10px/1.55 ui-monospace, SFMono-Regular, Menlo, monospace;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
}

.verification-strip {
  display: flex;
  gap: 18px;
  align-items: center;
  justify-content: center;
  margin: 18px 0 54px;
  padding: 18px;
  color: var(--dim);
  font: 650 9px/1.3 ui-monospace, SFMono-Regular, Menlo, monospace;
  letter-spacing: 0.1em;
}

.verification-strip i {
  width: 4px;
  height: 4px;
  border-radius: 50%;
  background: var(--acid);
}

footer {
  display: flex;
  gap: 20px;
  align-items: center;
  justify-content: space-between;
  padding: 24px 0 34px;
  border-top: 1px solid var(--line);
  color: var(--dim);
  font-size: 10px;
}

footer p {
  margin-bottom: 0;
}

footer code {
  color: var(--muted);
}

footer div {
  display: flex;
  gap: 8px;
  align-items: center;
}

@media (max-width: 1080px) {
  .lab-grid {
    grid-template-columns: 1fr;
  }

  .scenario-panel {
    position: static;
  }

  textarea {
    min-height: 280px;
  }
}

@media (max-width: 820px) {
  .hero {
    grid-template-columns: 1fr;
    padding-top: 52px;
  }

  .agent-path,
  .runtime-map,
  .profile-boundary {
    grid-template-columns: 1fr;
  }

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

  .risk-card {
    grid-column: 1 / -1;
  }

  .detail-grid,
  .evidence-grid {
    grid-template-columns: 1fr;
  }

  .adapter-proof {
    grid-template-columns: 1fr;
  }

  .adapter-proof > span {
    text-align: left;
  }

  .adversarial-card {
    grid-template-columns: 1fr;
    align-items: start;
  }

  .adversarial-actions {
    justify-content: flex-start;
  }
}

@media (max-width: 620px) {
  .site-header,
  main,
  footer {
    width: min(100% - 28px, 1540px);
  }

  .site-header {
    align-items: flex-start;
    padding: 18px 0;
  }

  .runtime-badges .badge:not(.badge-safe) {
    display: none;
  }

  h1 {
    font-size: 3.35rem;
  }

  .proof-panel,
  .scenario-panel {
    padding: 17px;
  }

  .agent-path {
    padding: 17px;
  }

  .runtime-map {
    padding: 17px;
  }

  .agent-route,
  .runtime-route {
    grid-template-columns: 1fr;
  }

  .agent-route li:not(:last-child)::after,
  .runtime-route li:not(:last-child)::after {
    top: auto;
    right: auto;
    bottom: -8px;
    left: 22px;
    width: 1px;
    height: 8px;
  }

  .runtime-route li {
    min-height: 0;
  }

  .runtime-route span {
    margin-bottom: 10px;
  }

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

  .risk-card,
  .metric-card {
    grid-column: auto;
  }

  .risk-card {
    align-items: flex-start;
  }

  .lifecycle-track {
    grid-template-columns: repeat(3, 1fr);
    row-gap: 18px;
  }

  .lifecycle-track li:nth-child(4)::before {
    display: none;
  }

  .action-bar .button,
  .button-row .button {
    flex: 1 1 130px;
  }

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

  .verification-strip {
    flex-wrap: wrap;
  }

  footer {
    align-items: flex-start;
    flex-direction: column;
  }

  footer div {
    flex-wrap: wrap;
  }
}

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