:root {
  --bg: #0b1018;
  --bg-elevated: #101722;
  --surface: #121b27;
  --surface-strong: #172331;
  --line: #253345;
  --line-soft: rgba(137, 164, 190, 0.16);
  --line-strong: #34465a;
  --surface-verified: #142a28;
  --line-verified: rgba(110, 243, 197, 0.66);
  --line-structure: rgba(108, 168, 255, 0.34);
  --line-risk: rgba(255, 127, 159, 0.62);
  --text: #f5f8fb;
  --muted: #91a2b5;
  --muted-strong: #b8c4d0;
  --mint: #6ef3c5;
  --mint-strong: #39dca9;
  --blue: #6ca8ff;
  --orange: #ff9d6c;
  --rose: #ff7f9f;
  --yellow: #f2d47a;
  --focus: #a8e8ff;
  --workbench-tab-selected-surface: #1a2634;
  --workbench-tab-selected-border: #2c3b4d;
  --diagram-stage-grid: rgba(108, 168, 255, 0.025);
  --diagram-grid-line: rgba(121, 151, 180, 0.045);
  --diagram-boundary-fill: rgba(108, 168, 255, 0.025);
  --diagram-boundary-border: rgba(108, 168, 255, 0.28);
  --diagram-boundary-label: #6f89a4;
  --diagram-primary-text: #ecf3f9;
  --diagram-meta-text: #8297ab;
  --diagram-edge-label: #93a9bd;
  --diagram-node-sheen-start: #142332;
  --diagram-node-sheen-end: #101924;
  --sequence-label-surface: #14202d;
  --sequence-lifeline: #2f4256;
  --sequence-message-text: #a9b9c8;
  --preview-lane-line: rgba(145, 162, 181, 0.22);
  --workbench-shell-border: #2b3a4d;
  --workbench-shell-surface: #0d141e;
  --workbench-shell-shadow: 0 38px 90px rgba(0, 0, 0, 0.36);
  --workbench-dot-idle: #344356;
  --page-background-start: rgba(11, 16, 24, 0.94);
  --page-background-end: rgba(11, 16, 24, 0.98);
  --page-grid-line: rgba(255, 255, 255, 0.018);
  --page-ambient-glow: rgba(108, 168, 255, 0.09);
  --text-on-accent: #07120f;
  --header-border: rgba(145, 162, 181, 0.14);
  --header-surface: rgba(11, 16, 24, 0.78);
  --brand-ring: rgba(110, 243, 197, 0.2);
  --button-primary-shadow: 0 12px 34px rgba(57, 220, 169, 0.13);
  --button-primary-hover: #8af8d2;
  --surface-interactive: rgba(18, 27, 39, 0.56);
  --line-interactive-hover: #43556b;
  --evidence-fact-border: rgba(110, 243, 197, 0.4);
  --evidence-assumption-border: rgba(242, 212, 122, 0.45);
  --evidence-recommendation-border: rgba(108, 168, 255, 0.5);
  --section-surface: rgba(16, 23, 34, 0.72);
  --signal-glow: 0 0 8px rgba(110, 243, 197, 0.5);
  --view-code-text: #7890a8;
  --glyph-surface: #101925;
  --glyph-line: #3a5b78;
  --contract-surface: #0e151f;
  --code-window-border: #2a3a4d;
  --code-window-surface: #0a1017;
  --code-window-shadow: 0 30px 80px rgba(0, 0, 0, 0.25);
  --code-text: #c8d6e3;
  --code-punctuation: #8094a8;
  --install-panel-surface: rgba(15, 23, 34, 0.86);
  --terminal-border: #2c3d50;
  --terminal-surface: #080d13;
  --footer-surface: #080c12;
  --mobile-menu-surface: #101721;
  --mobile-nav-surface: #0d141e;
  --mobile-nav-shadow: 0 20px 50px rgba(0, 0, 0, 0.35);
  --font-weight-strong: 700;
  --font-weight-diagram-label: 720;
  --font-weight-meta: 500;
  --workbench-type-chrome: 0.62rem;
  --workbench-type-tab: 0.64rem;
  --workbench-type-control: 0.58rem;
  --diagram-type-boundary: 10px;
  --diagram-type-edge: 8.5px;
  --diagram-type-node: 13px;
  --diagram-type-meta: 8.7px;
  --diagram-type-caption: 8px;
  --diagram-type-sequence-label: 11px;
  --diagram-type-message: 9px;
  --diagram-type-preview-label: 12px;
  --diagram-tracking-boundary: 0.1em;
  --workbench-border-width: 1px;
  --workbench-shell-accent-offset: -1px;
  --workbench-shell-accent-height: 1px;
  --workbench-chrome-height: 42px;
  --workbench-chrome-padding-inline: 16px;
  --workbench-dot-gap: 5px;
  --workbench-dot-offset: 14px;
  --workbench-dot-size: 7px;
  --workbench-status-gap: 6px;
  --workbench-status-dot-size: 5px;
  --workbench-status-glow: 0 0 8px currentColor;
  --workbench-tab-rail-gap: 6px;
  --workbench-tab-rail-padding: 8px;
  --workbench-install-tab-gap: 4px;
  --workbench-tab-button-padding: 7px 12px;
  --workbench-tab-button-radius: 7px;
  --workbench-toggle-margin: 10px;
  --workbench-toggle-padding: 5px 8px;
  --workbench-toggle-radius: 6px;
  --workbench-progress-inline-inset: 8px;
  --workbench-progress-block-inset: 2px;
  --workbench-progress-height: 1px;
  --diagram-stage-min-height: 350px;
  --diagram-grid-line-offset: 24px;
  --diagram-grid-step: 25px;
  --workbench-sr-size: 1px;
  --workbench-sr-offset: -1px;
  --diagram-stroke-primary: 1.7;
  --diagram-stroke-message: 1.5;
  --diagram-dash-boundary: 5 6;
  --diagram-dash-primary: 7 5;
  --diagram-dash-short: 3 5;
  --diagram-dash-standard: 4 5;
  --diagram-dash-async: 5 4;
  --diagram-dash-lane: 4 6;
  --sans: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --mono: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
  --max: 1180px;
  --radius-sm: 10px;
  --radius-md: 18px;
  --radius-lg: 28px;
  --preview-cycle: 5000ms;
  --preview-enter: 260ms;
  --preview-resolve: 320ms;
  --preview-trace: 420ms;
  --preview-stagger: 55ms;
  --preview-ease: cubic-bezier(0.22, 1, 0.36, 1);
  --preview-lift: 8px;
}

* {
  box-sizing: border-box;
}

html {
  scroll-behavior: smooth;
}

main section[id] {
  scroll-margin-top: 88px;
}

body {
  margin: 0;
  min-width: 320px;
  background:
    linear-gradient(var(--page-background-start), var(--page-background-end)),
    repeating-linear-gradient(90deg, transparent 0 79px, var(--page-grid-line) 80px);
  color: var(--text);
  font-family: var(--sans);
  line-height: 1.6;
  -webkit-font-smoothing: antialiased;
}

body::before {
  position: fixed;
  inset: 0;
  z-index: -1;
  pointer-events: none;
  content: "";
  background: radial-gradient(circle at 78% 8%, var(--page-ambient-glow), transparent 26%);
}

a {
  color: inherit;
  text-decoration: none;
}

button,
a {
  -webkit-tap-highlight-color: transparent;
}

button {
  color: inherit;
  font: inherit;
}

svg {
  display: block;
}

:focus-visible {
  outline: 2px solid var(--focus);
  outline-offset: 4px;
}

::selection {
  background: var(--mint);
  color: var(--text-on-accent);
}

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

.skip-link {
  position: fixed;
  top: 12px;
  left: 12px;
  z-index: 100;
  padding: 10px 14px;
  border-radius: 8px;
  background: var(--mint);
  color: var(--text-on-accent);
  font-weight: 700;
  transform: translateY(-150%);
}

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

.section-shell {
  width: min(calc(100% - 40px), var(--max));
  margin-inline: auto;
}

.site-header {
  position: sticky;
  top: 0;
  z-index: 50;
  width: 100%;
  border-bottom: 1px solid var(--header-border);
  background: var(--header-surface);
  backdrop-filter: blur(18px);
}

.nav-shell {
  position: relative;
  display: flex;
  align-items: center;
  justify-content: space-between;
  width: min(calc(100% - 40px), var(--max));
  min-height: 72px;
  margin-inline: auto;
}

.brand {
  display: inline-flex;
  align-items: center;
  gap: 11px;
  font-size: 0.9rem;
  font-weight: 720;
  letter-spacing: -0.01em;
}

.brand img {
  border-radius: 9px;
  box-shadow: 0 0 0 1px var(--brand-ring);
}

.site-nav {
  display: flex;
  align-items: center;
  gap: 29px;
  color: var(--muted-strong);
  font-size: 0.84rem;
  font-weight: 600;
}

.site-nav a {
  transition: color 160ms ease;
}

.site-nav a:hover {
  color: var(--text);
}

.site-nav .nav-github {
  display: flex;
  align-items: center;
  gap: 7px;
  padding: 9px 13px;
  border: 1px solid var(--line);
  border-radius: 9px;
  color: var(--text);
}

.site-nav svg,
.button svg {
  width: 15px;
  height: 15px;
  fill: none;
  stroke: currentColor;
  stroke-linecap: round;
  stroke-linejoin: round;
  stroke-width: 1.5;
}

.menu-button {
  display: none;
}

.hero {
  display: grid;
  grid-template-columns: minmax(0, 0.88fr) minmax(560px, 1.12fr);
  gap: 54px;
  align-items: center;
  min-height: 780px;
  padding-block: 96px 110px;
}

.eyebrow {
  display: flex;
  align-items: center;
  gap: 10px;
  margin: 0 0 22px;
  color: var(--mint);
  font-family: var(--mono);
  font-size: 0.72rem;
  font-weight: 700;
  letter-spacing: 0.11em;
  text-transform: uppercase;
}

.eyebrow > span {
  display: inline-block;
  width: 22px;
  height: 1px;
  background: currentColor;
}

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

h1 {
  max-width: 680px;
  margin-bottom: 26px;
  font-size: clamp(3.2rem, 5.35vw, 5.3rem);
  font-weight: 650;
  letter-spacing: -0.065em;
  line-height: 0.99;
}

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

.hero-lede {
  max-width: 630px;
  margin-bottom: 34px;
  color: var(--muted-strong);
  font-size: 1.06rem;
  line-height: 1.75;
}

.hero-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 12px;
}

.button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 9px;
  min-height: 48px;
  padding: 0 19px;
  border-radius: 10px;
  font-size: 0.88rem;
  font-weight: 750;
  transition: transform 160ms ease, border-color 160ms ease, background 160ms ease;
}

.button:hover {
  transform: translateY(-2px);
}

.button-primary {
  background: var(--mint);
  color: var(--text-on-accent);
  box-shadow: var(--button-primary-shadow);
}

.button-primary:hover {
  background: var(--button-primary-hover);
}

.button-secondary {
  border: 1px solid var(--line);
  background: var(--surface-interactive);
}

.button-secondary:hover {
  border-color: var(--line-interactive-hover);
}

.hero-proof {
  display: flex;
  gap: 30px;
  padding: 0;
  margin: 44px 0 0;
  list-style: none;
}

.hero-proof li {
  display: grid;
  gap: 2px;
}

.hero-proof strong {
  font-size: 0.77rem;
  font-weight: 750;
}

.hero-proof span {
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.62rem;
}

.workbench {
  position: relative;
  overflow: hidden;
  border: var(--workbench-border-width) solid var(--workbench-shell-border);
  border-radius: var(--radius-md);
  background: var(--workbench-shell-surface);
  box-shadow: var(--workbench-shell-shadow);
}

.workbench::before {
  position: absolute;
  inset: var(--workbench-shell-accent-offset) auto auto 8%;
  width: 45%;
  height: var(--workbench-shell-accent-height);
  content: "";
  background: linear-gradient(90deg, transparent, var(--mint), transparent);
}

.workbench-bar,
.workbench-footer {
  display: flex;
  align-items: center;
  min-height: var(--workbench-chrome-height);
  padding-inline: var(--workbench-chrome-padding-inline);
  border-bottom: var(--workbench-border-width) solid var(--line-soft);
  color: var(--muted);
  font-family: var(--mono);
  font-size: var(--workbench-type-chrome);
}

.window-dots {
  display: flex;
  gap: var(--workbench-dot-gap);
  margin-right: var(--workbench-dot-offset);
}

.window-dots i {
  width: var(--workbench-dot-size);
  height: var(--workbench-dot-size);
  border-radius: 50%;
  background: var(--workbench-dot-idle);
}

.window-dots i:first-child {
  background: var(--orange);
}

.window-dots i:nth-child(2) {
  background: var(--yellow);
}

.window-dots i:last-child {
  background: var(--mint);
}

.workbench-title {
  overflow: hidden;
  flex: 1;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.status-pill {
  display: inline-flex;
  align-items: center;
  gap: var(--workbench-status-gap);
  color: var(--mint);
}

.status-pill i {
  width: var(--workbench-status-dot-size);
  height: var(--workbench-status-dot-size);
  border-radius: 50%;
  background: currentColor;
  box-shadow: var(--workbench-status-glow);
}

.view-switcher {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: var(--workbench-tab-rail-gap);
  padding: var(--workbench-tab-rail-padding);
  border-bottom: var(--workbench-border-width) solid var(--line-soft);
}

.install-tabs {
  display: flex;
  gap: var(--workbench-install-tab-gap);
  padding: var(--workbench-tab-rail-padding);
  border-bottom: var(--workbench-border-width) solid var(--line-soft);
}

.view-switcher button,
.install-tabs button {
  padding: var(--workbench-tab-button-padding);
  border: 0;
  border-radius: var(--workbench-tab-button-radius);
  background: transparent;
  color: var(--muted);
  cursor: pointer;
  font-family: var(--mono);
  font-size: var(--workbench-type-tab);
  font-weight: var(--font-weight-strong);
}

.preview-toggle {
  flex: 0 0 auto;
  margin-inline: var(--workbench-toggle-margin);
  padding: var(--workbench-toggle-padding);
  border: var(--workbench-border-width) solid var(--line);
  border-radius: var(--workbench-toggle-radius);
  background: var(--surface);
  color: var(--muted-strong);
  cursor: pointer;
  font-family: var(--mono);
  font-size: var(--workbench-type-control);
  font-weight: var(--font-weight-strong);
  line-height: 1;
}

.view-switcher button {
  position: relative;
  min-width: 0;
  overflow: hidden;
  white-space: nowrap;
}

.view-switcher button::after {
  position: absolute;
  right: var(--workbench-progress-inline-inset);
  bottom: var(--workbench-progress-block-inset);
  left: var(--workbench-progress-inline-inset);
  height: var(--workbench-progress-height);
  content: "";
  background: var(--mint);
  opacity: 0;
  transform: scaleX(0);
  transform-origin: left;
}

[data-preview-running="true"] .view-switcher button.is-progressing::after {
  opacity: 0.9;
  animation: preview-progress var(--preview-cycle) linear both;
}

.view-switcher button[aria-selected="true"],
.install-tabs button[aria-selected="true"] {
  background: var(--workbench-tab-selected-surface);
  color: var(--text);
  box-shadow: inset 0 0 0 var(--workbench-border-width) var(--workbench-tab-selected-border);
}

.diagram-stage {
  position: relative;
  min-height: var(--diagram-stage-min-height);
  background:
    linear-gradient(transparent var(--diagram-grid-line-offset), var(--diagram-stage-grid) var(--diagram-grid-step)),
    linear-gradient(90deg, transparent var(--diagram-grid-line-offset), var(--diagram-stage-grid) var(--diagram-grid-step));
  background-size: var(--diagram-grid-step) var(--diagram-grid-step);
}

.diagram-stage-hint {
  position: absolute;
  width: var(--workbench-sr-size);
  height: var(--workbench-sr-size);
  padding: 0;
  margin: var(--workbench-sr-offset);
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0;
}

.diagram-view {
  display: none;
  width: 100%;
  height: auto;
}

.diagram-view.is-active {
  display: block;
  animation: preview-panel-in var(--preview-enter) var(--preview-ease) both;
}

.diagram-view.is-active [data-animate-node] {
  animation: preview-resolve var(--preview-resolve) var(--preview-ease) both;
  animation-delay: calc(var(--reveal-index) * var(--preview-stagger));
}

.diagram-view.is-active [data-animate-edge] {
  animation: preview-trace var(--preview-trace) var(--preview-ease) both;
  animation-delay: calc(var(--reveal-index) * var(--preview-stagger));
}

.diagram-grid path {
  fill: none;
  stroke: var(--diagram-grid-line);
}

.boundary {
  fill: var(--diagram-boundary-fill);
  stroke: var(--diagram-boundary-border);
  stroke-dasharray: var(--diagram-dash-boundary);
}

.boundary-label {
  fill: var(--diagram-boundary-label);
  font-family: var(--mono);
  font-size: var(--diagram-type-boundary);
  letter-spacing: var(--diagram-tracking-boundary);
}

.flow-lines path {
  fill: none;
  stroke: var(--blue);
  stroke-width: var(--diagram-stroke-primary);
  marker-end: url("#arrow-a");
  stroke-dasharray: var(--diagram-dash-primary);
}

.diagram-view.is-active .flow-lines path {
  animation: preview-trace var(--preview-trace) var(--preview-ease) both;
  animation-delay: calc(var(--reveal-index) * var(--preview-stagger));
}

.flow-lines .flow-secondary {
  stroke: var(--mint);
  stroke-dasharray: var(--diagram-dash-short);
}

.diagram-view [data-animate-edge] .flow-primary {
  fill: none;
  stroke: var(--blue);
  stroke-width: var(--diagram-stroke-primary);
}

.diagram-view [data-animate-edge] .flow-secondary {
  fill: none;
  stroke: var(--mint);
  stroke-width: var(--diagram-stroke-primary);
  stroke-dasharray: var(--diagram-dash-standard);
}

.diagram-view [data-animate-edge] text {
  fill: var(--muted);
  font-family: var(--mono);
  font-size: var(--diagram-type-edge);
}

.diagram-view marker path {
  fill: context-stroke;
}

.diagram-node rect {
  fill: var(--surface);
  stroke: var(--line-strong);
}

.node-sheen-start {
  stop-color: var(--diagram-node-sheen-start);
}

.node-sheen-end {
  stop-color: var(--diagram-node-sheen-end);
}

#preview-panel-architecture .diagram-node rect {
  fill: url("#node-sheen");
}

.diagram-node circle {
  fill: var(--blue);
}

.diagram-node text {
  fill: var(--diagram-primary-text);
  font-family: var(--sans);
  font-size: var(--diagram-type-node);
  font-weight: var(--font-weight-diagram-label);
}

.diagram-node .node-meta {
  fill: var(--diagram-meta-text);
  font-family: var(--mono);
  font-size: var(--diagram-type-meta);
  font-weight: var(--font-weight-meta);
}

.diagram-node .node-highlight rect {
  fill: var(--surface-verified);
  stroke: var(--line-verified);
}

.diagram-node.node-highlight rect {
  fill: var(--surface-verified);
  stroke: var(--line-verified);
}

.diagram-node .node-highlight circle,
.diagram-node.node-highlight circle,
.diagram-node .node-store circle,
.diagram-node.node-store circle {
  fill: var(--mint);
}

.diagram-node .node-store rect {
  fill: var(--surface-verified);
  stroke: var(--line-verified);
}

.diagram-node.node-store rect {
  fill: var(--surface-verified);
  stroke: var(--line-verified);
}

.diagram-node .node-provider rect {
  fill: var(--surface-strong);
  stroke: var(--orange);
}

.diagram-node.node-provider rect {
  fill: var(--surface-strong);
  stroke: var(--orange);
}

.diagram-node .node-provider circle,
.diagram-node.node-provider circle {
  fill: var(--orange);
}

.edge-labels text {
  fill: var(--diagram-edge-label);
  font-family: var(--mono);
  font-size: var(--diagram-type-caption);
}

.sequence-labels rect {
  fill: var(--sequence-label-surface);
  stroke: var(--line-strong);
}

.sequence-labels text {
  fill: var(--diagram-primary-text);
  font-family: var(--sans);
  font-size: var(--diagram-type-sequence-label);
  font-weight: var(--font-weight-strong);
  text-anchor: middle;
}

.lifelines path {
  stroke: var(--sequence-lifeline);
  stroke-dasharray: var(--diagram-dash-standard);
}

.sequence-messages path {
  fill: none;
  stroke: var(--blue);
  stroke-width: var(--diagram-stroke-message);
  marker-end: url("#arrow-a");
}

.sequence-messages path.async {
  stroke: var(--mint);
  stroke-dasharray: var(--diagram-dash-async);
}

.sequence-messages path.return {
  stroke: var(--orange);
}

.sequence-messages text {
  fill: var(--sequence-message-text);
  font-family: var(--mono);
  font-size: var(--diagram-type-message);
}

.preview-lane,
.preview-track-line {
  fill: none;
  stroke: var(--preview-lane-line);
  stroke-dasharray: var(--diagram-dash-lane);
}

.preview-card rect,
.preview-state rect,
.preview-entity rect,
.preview-layer rect {
  fill: var(--surface);
  stroke: var(--line-strong);
}

.preview-card.is-verified rect,
.preview-state.is-verified rect,
.preview-layer.is-verified rect {
  fill: var(--surface-verified);
  stroke: var(--line-verified);
}

.preview-card.is-risk rect,
.preview-state.is-risk rect {
  stroke: var(--line-risk);
}

.preview-label {
  fill: var(--text);
  font-family: var(--sans);
  font-size: var(--diagram-type-preview-label);
  font-weight: var(--font-weight-diagram-label);
}

.preview-meta,
.preview-edge-label,
.preview-cardinality {
  fill: var(--muted);
  font-family: var(--mono);
  font-size: var(--diagram-type-edge);
}

.preview-edge {
  fill: none;
  stroke: var(--blue);
  stroke-width: var(--diagram-stroke-primary);
}

.preview-edge.is-proposed {
  stroke: var(--mint);
  stroke-dasharray: var(--diagram-dash-standard);
}

.preview-edge.is-risk {
  stroke: var(--rose);
  stroke-dasharray: var(--diagram-dash-short);
}

.preview-assumption {
  fill: var(--yellow);
  font-family: var(--mono);
  font-size: var(--diagram-type-caption);
}

.preview-crosscut {
  fill: color-mix(in srgb, var(--blue) 7%, transparent);
  stroke: var(--line-structure);
  stroke-dasharray: var(--diagram-dash-standard);
}

.evidence-panel {
  min-height: 350px;
  padding: 34px 32px;
}

.evidence-row {
  display: grid;
  grid-template-columns: 112px 1fr;
  gap: 19px;
  align-items: start;
  padding: 19px 0;
  border-bottom: 1px solid var(--line-soft);
}

.evidence-kind {
  display: inline-flex;
  justify-content: center;
  padding: 5px 9px;
  border: 1px solid;
  border-radius: 999px;
  font-family: var(--mono);
  font-size: 0.6rem;
  font-weight: 800;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.evidence-kind.fact {
  border-color: var(--evidence-fact-border);
  color: var(--mint);
}

.evidence-kind.assumption {
  border-color: var(--evidence-assumption-border);
  color: var(--yellow);
}

.evidence-kind.recommendation {
  border-color: var(--evidence-recommendation-border);
  color: var(--blue);
}

.evidence-row strong {
  display: block;
  margin-bottom: 3px;
  font-size: 0.85rem;
}

.evidence-row small {
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.59rem;
}

.evidence-rule {
  display: flex;
  align-items: center;
  gap: 12px;
  padding-top: 25px;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.6rem;
}

.evidence-rule i {
  width: 50px;
  height: 1px;
  background: var(--mint);
}

.evidence-rule i.dashed {
  background: repeating-linear-gradient(90deg, var(--blue) 0 5px, transparent 5px 9px);
}

.workbench-footer {
  gap: 15px;
  min-height: 38px;
  border-top: 1px solid var(--line-soft);
  border-bottom: 0;
}

.workbench-footer span {
  display: inline-flex;
  align-items: center;
  gap: 5px;
}

.legend-dot {
  width: 5px;
  height: 5px;
  border-radius: 50%;
}

.legend-dot.verified {
  background: var(--mint);
}

.legend-dot.assumed {
  background: var(--yellow);
}

.legend-line {
  width: 14px;
  height: 1px;
  background: var(--blue);
}

.legend-line.dashed {
  background: repeating-linear-gradient(90deg, var(--blue) 0 3px, transparent 3px 5px);
}

.why-section {
  border-block: 1px solid var(--line-soft);
  background: var(--section-surface);
}

.why-section .section-shell {
  padding-block: 112px;
}

.section-heading {
  max-width: 680px;
  margin-bottom: 56px;
}

.section-heading h2,
.contract-copy h2,
.final-cta h2 {
  margin-bottom: 22px;
  font-size: clamp(2.25rem, 4vw, 3.7rem);
  font-weight: 620;
  letter-spacing: -0.052em;
  line-height: 1.04;
}

.section-heading > p:last-child,
.contract-copy > p {
  color: var(--muted-strong);
}

.principles {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 0;
  border-top: 1px solid var(--line);
}

.principles article {
  min-height: 270px;
  padding: 32px 34px 20px 0;
  border-right: 1px solid var(--line);
}

.principles article:not(:first-child) {
  padding-left: 34px;
}

.principles article:last-child {
  border-right: 0;
}

.principle-number {
  color: var(--mint);
  font-family: var(--mono);
  font-size: 0.68rem;
}

.principles h3 {
  margin: 56px 0 14px;
  font-size: 1.15rem;
  letter-spacing: -0.02em;
}

.principles p {
  color: var(--muted);
  font-size: 0.87rem;
}

.principle-signal {
  display: flex;
  align-items: center;
  gap: 8px;
  margin-top: 28px;
  color: var(--muted-strong);
  font-family: var(--mono);
  font-size: 0.62rem;
}

.principle-signal i {
  width: 5px;
  height: 5px;
  border-radius: 50%;
  background: var(--mint);
  box-shadow: var(--signal-glow);
}

.views-section {
  padding-block: 124px;
}

.split-heading {
  display: grid;
  grid-template-columns: 1.3fr 0.7fr;
  gap: 80px;
  align-items: end;
  max-width: none;
}

.split-heading h2 {
  margin-bottom: 0;
}

.split-heading > p {
  margin-bottom: 4px;
}

.view-list {
  border-top: 1px solid var(--line);
}

.view-list article {
  display: grid;
  grid-template-columns: 72px 1fr auto;
  gap: 24px;
  align-items: center;
  min-height: 122px;
  border-bottom: 1px solid var(--line-soft);
  transition: background 180ms ease, padding 180ms ease;
}

.view-list article:hover {
  padding-inline: 14px;
  background: var(--surface-interactive);
}

.view-list h3 {
  margin: 0 0 4px;
  font-size: 1.04rem;
}

.view-list p {
  margin: 0;
  color: var(--muted);
  font-size: 0.86rem;
}

.view-list code {
  color: var(--view-code-text);
  font-family: var(--mono);
  font-size: 0.66rem;
}

.view-glyph {
  position: relative;
  display: block;
  width: 46px;
  height: 46px;
}

.view-glyph i {
  position: absolute;
  display: block;
  width: 11px;
  height: 11px;
  border: 1px solid var(--blue);
  border-radius: 3px;
  background: var(--glyph-surface);
}

.view-glyph::before,
.view-glyph::after {
  position: absolute;
  content: "";
  background: var(--glyph-line);
}

.architecture-glyph i:first-child,
.sequence-glyph i:first-child {
  top: 4px;
  left: 17px;
}

.architecture-glyph i:nth-child(2) {
  bottom: 4px;
  left: 3px;
}

.architecture-glyph i:nth-child(3) {
  right: 3px;
  bottom: 4px;
}

.architecture-glyph::before {
  top: 16px;
  left: 22px;
  width: 1px;
  height: 17px;
}

.architecture-glyph::after {
  bottom: 14px;
  left: 8px;
  width: 30px;
  height: 1px;
}

.sequence-glyph i:nth-child(2) {
  top: 18px;
  left: 17px;
}

.sequence-glyph i:nth-child(3) {
  bottom: 4px;
  left: 17px;
}

.sequence-glyph::before {
  top: 15px;
  left: 22px;
  width: 1px;
  height: 20px;
}

.workflow-glyph i:first-child {
  top: 3px;
  left: 3px;
}

.workflow-glyph i:nth-child(2) {
  top: 17px;
  right: 3px;
  transform: rotate(45deg);
}

.workflow-glyph i:nth-child(3) {
  bottom: 3px;
  left: 3px;
}

.workflow-glyph::before {
  top: 10px;
  left: 14px;
  width: 19px;
  height: 1px;
  transform: rotate(33deg);
}

.workflow-glyph::after {
  bottom: 10px;
  left: 14px;
  width: 19px;
  height: 1px;
  transform: rotate(-33deg);
}

.dataflow-glyph i:first-child {
  top: 17px;
  left: 2px;
  border-radius: 50%;
}

.dataflow-glyph i:nth-child(2) {
  top: 3px;
  right: 2px;
  border-radius: 50%;
}

.dataflow-glyph i:nth-child(3) {
  right: 2px;
  bottom: 3px;
  border-radius: 50%;
}

.dataflow-glyph::before,
.dataflow-glyph::after {
  left: 13px;
  width: 22px;
  height: 1px;
}

.dataflow-glyph::before {
  top: 17px;
  transform: rotate(-27deg);
}

.dataflow-glyph::after {
  bottom: 17px;
  transform: rotate(27deg);
}

.lifecycle-glyph {
  border: 1px dashed var(--glyph-line);
  border-radius: 50%;
}

.lifecycle-glyph i:first-child {
  top: -2px;
  left: 17px;
}

.lifecycle-glyph i:nth-child(2) {
  right: -2px;
  bottom: 8px;
}

.lifecycle-glyph i:nth-child(3) {
  bottom: 2px;
  left: 3px;
}

.data-model-glyph i:first-child {
  top: 3px;
  left: 2px;
  width: 16px;
  height: 18px;
}

.data-model-glyph i:nth-child(2) {
  right: 2px;
  bottom: 3px;
  width: 16px;
  height: 18px;
}

.data-model-glyph i:nth-child(3) {
  display: none;
}

.data-model-glyph::before {
  top: 22px;
  left: 17px;
  width: 13px;
  height: 1px;
  transform: rotate(29deg);
}

.timeline-glyph::before {
  top: 22px;
  left: 3px;
  width: 40px;
  height: 1px;
}

.timeline-glyph i:first-child {
  top: 17px;
  left: 3px;
  border-radius: 50%;
}

.timeline-glyph i:nth-child(2) {
  top: 17px;
  left: 17px;
  border-radius: 50%;
}

.timeline-glyph i:nth-child(3) {
  top: 17px;
  right: 3px;
  border-radius: 50%;
}

.layers-glyph i {
  left: 3px;
  width: 40px;
  height: 8px;
}

.layers-glyph i:first-child {
  top: 6px;
}

.layers-glyph i:nth-child(2) {
  top: 19px;
}

.layers-glyph i:nth-child(3) {
  top: 32px;
}

.contract-section {
  padding-block: 120px;
  border-block: 1px solid var(--line-soft);
  background: var(--contract-surface);
}

.contract-layout {
  display: grid;
  grid-template-columns: 0.8fr 1.2fr;
  gap: 88px;
  align-items: center;
}

.contract-copy > p {
  margin-bottom: 34px;
}

.check-list {
  display: grid;
  gap: 13px;
  padding: 0;
  list-style: none;
  color: var(--muted-strong);
  font-size: 0.86rem;
}

.check-list span {
  margin-right: 9px;
  color: var(--mint);
}

.code-window {
  overflow: hidden;
  border: 1px solid var(--code-window-border);
  border-radius: var(--radius-md);
  background: var(--code-window-surface);
  box-shadow: var(--code-window-shadow);
}

.code-window-bar,
.terminal-bar {
  display: flex;
  align-items: center;
  justify-content: space-between;
  min-height: 43px;
  padding-inline: 16px;
  border-bottom: 1px solid var(--line-soft);
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.64rem;
}

.copy-button {
  padding: 5px 9px;
  border: 1px solid var(--line);
  border-radius: 6px;
  background: transparent;
  color: var(--muted-strong);
  cursor: pointer;
  font-size: 0.62rem;
}

.copy-button:hover {
  border-color: var(--mint);
  color: var(--mint);
}

.code-window pre,
.terminal pre {
  padding: 28px;
  margin: 0;
  overflow-x: auto;
  color: var(--code-text);
  font-family: var(--mono);
  font-size: 0.76rem;
  line-height: 1.85;
}

.code-key {
  color: var(--blue);
}

.code-string {
  color: var(--mint);
}

.code-punc {
  color: var(--code-punctuation);
}

.code-proof {
  display: flex;
  gap: 18px;
  padding: 12px 16px;
  border-top: 1px solid var(--line-soft);
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.6rem;
}

.code-proof span:last-child {
  color: var(--mint);
}

.install-section {
  padding-block: 124px;
}

.install-panel {
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: var(--radius-md);
  background: var(--install-panel-surface);
}

.install-tabs {
  padding: 12px;
}

.install-tabs button {
  min-width: 112px;
  padding: 9px 14px;
}

.install-content {
  display: grid;
  grid-template-columns: 0.7fr 1.3fr;
  gap: 50px;
  align-items: center;
  padding: 48px;
}

.install-step {
  display: inline-block;
  margin-bottom: 45px;
  color: var(--mint);
  font-family: var(--mono);
  font-size: 0.72rem;
}

.install-copy h3 {
  margin-bottom: 12px;
  font-size: 1.35rem;
}

.install-copy p {
  color: var(--muted);
  font-size: 0.87rem;
}

.terminal {
  overflow: hidden;
  border: 1px solid var(--terminal-border);
  border-radius: 12px;
  background: var(--terminal-surface);
}

.terminal pre {
  min-height: 130px;
  color: var(--mint);
  white-space: pre-wrap;
  word-break: break-word;
}

.prompt-strip {
  display: grid;
  grid-template-columns: auto 1fr;
  gap: 18px;
  padding: 17px 48px;
  border-top: 1px solid var(--line-soft);
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.65rem;
}

.prompt-strip span {
  color: var(--orange);
  font-weight: 800;
}

.prompt-strip code {
  color: var(--muted-strong);
}

.usage-section {
  border-block: 1px solid var(--line-soft);
  background: var(--section-surface);
}

.usage-section .section-shell {
  padding-block: 118px;
}

.agent-invocations {
  display: grid;
  gap: 10px;
  margin-top: 28px;
}

.agent-invocations p {
  display: grid;
  grid-template-columns: 104px 1fr;
  gap: 14px;
  align-items: center;
  margin: 0;
}

.agent-invocations span,
.usage-note > span {
  color: var(--orange);
  font-family: var(--mono);
  font-size: 0.62rem;
  font-weight: 800;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.agent-invocations code,
.usage-note code {
  color: var(--muted-strong);
  font-family: var(--mono);
  font-size: 0.72rem;
}

.usage-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin-top: 62px;
  border-top: 1px solid var(--line);
  border-left: 1px solid var(--line);
}

.usage-example {
  min-width: 0;
  padding: 30px;
  border-right: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.usage-example-heading {
  display: grid;
  grid-template-columns: 36px 1fr auto;
  gap: 14px;
  align-items: start;
}

.usage-index {
  padding-top: 3px;
  color: var(--mint);
  font-family: var(--mono);
  font-size: 0.65rem;
}

.usage-example small {
  display: block;
  margin-bottom: 5px;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.6rem;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.usage-example h3 {
  margin-bottom: 0;
  font-size: 1rem;
}

.usage-example pre {
  margin: 24px 0 0 50px;
  white-space: pre-wrap;
}

.usage-example pre code {
  color: var(--muted-strong);
  font-family: var(--mono);
  font-size: 0.7rem;
  line-height: 1.75;
}

.usage-note {
  display: flex;
  gap: 14px;
  align-items: baseline;
  margin: 22px 0 0;
  color: var(--muted);
  font-size: 0.76rem;
}

.final-cta {
  display: flex;
  align-items: end;
  justify-content: space-between;
  gap: 80px;
  padding-block: 130px;
}

.final-cta > div:first-child {
  max-width: 720px;
}

.final-cta h2 {
  margin-bottom: 0;
}

.final-actions {
  display: grid;
  gap: 20px;
  min-width: 190px;
}

.text-link {
  color: var(--muted-strong);
  font-size: 0.83rem;
  font-weight: 700;
  text-align: center;
}

.text-link span {
  margin-left: 6px;
  color: var(--mint);
}

footer {
  border-top: 1px solid var(--line-soft);
  background: var(--footer-surface);
}

.footer-inner {
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  gap: 24px;
  align-items: center;
  min-height: 110px;
}

.footer-inner p {
  margin: 0;
  color: var(--muted);
  font-size: 0.7rem;
}

.footer-inner > div {
  display: flex;
  justify-content: end;
  gap: 20px;
  color: var(--muted);
  font-size: 0.7rem;
}

.footer-inner a:hover {
  color: var(--text);
}

@keyframes preview-progress {
  to {
    transform: scaleX(1);
  }
}

@keyframes preview-panel-in {
  from {
    opacity: 0;
    transform: translateY(var(--preview-lift));
  }

  to {
    opacity: 1;
    transform: translateY(0);
  }
}

@keyframes preview-resolve {
  from {
    opacity: 0;
    transform: translateY(calc(var(--preview-lift) * 0.625));
  }

  to {
    opacity: 1;
    transform: translateY(0);
  }
}

@keyframes preview-trace {
  from {
    opacity: 0;
    stroke-dashoffset: 48;
  }

  to {
    opacity: 1;
    stroke-dashoffset: 0;
  }
}

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

  .hero-copy {
    max-width: 760px;
  }

  .workbench {
    max-width: 760px;
  }

  .contract-layout {
    grid-template-columns: 1fr;
    gap: 54px;
  }
}

@media (max-width: 760px) {
  .section-shell,
  .nav-shell {
    width: min(calc(100% - 28px), var(--max));
  }

  main section[id] {
    scroll-margin-top: 76px;
  }

  .nav-shell {
    min-height: 64px;
  }

  .brand span {
    max-width: 180px;
    overflow: hidden;
    text-overflow: ellipsis;
    white-space: nowrap;
  }

  .menu-button {
    display: grid;
    gap: 5px;
    width: 42px;
    height: 42px;
    place-content: center;
    border: 1px solid var(--line);
    border-radius: 9px;
    background: var(--mobile-menu-surface);
  }

  .menu-button > span:not(.sr-only) {
    width: 16px;
    height: 1px;
    background: var(--text);
  }

  .site-nav {
    position: absolute;
    top: calc(100% - 1px);
    right: 0;
    left: 0;
    display: none;
    align-items: stretch;
    gap: 0;
    padding: 12px;
    border: 1px solid var(--line);
    border-radius: 12px;
    background: var(--mobile-nav-surface);
    box-shadow: var(--mobile-nav-shadow);
  }

  .site-nav.is-open {
    display: grid;
  }

  .site-nav a {
    padding: 12px;
  }

  .site-nav .nav-github {
    justify-content: space-between;
    margin-top: 4px;
  }

  .hero {
    min-height: auto;
    padding-block: 62px 80px;
  }

  h1 {
    font-size: clamp(2.85rem, 14vw, 4.4rem);
  }

  .hero-proof {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 17px;
  }

  .view-switcher {
    display: flex;
    overflow-x: auto;
    overscroll-behavior-inline: contain;
    scroll-snap-type: x mandatory;
    scrollbar-width: none;
  }

  .view-switcher::-webkit-scrollbar {
    display: none;
  }

  .view-switcher button {
    flex: 0 0 auto;
    min-width: max-content;
    scroll-snap-align: start;
  }

  .workbench-title {
    max-width: 150px;
  }

  .preview-toggle {
    margin-inline: 6px;
  }

  .diagram-stage {
    min-height: 280px;
    overflow-x: auto;
    overscroll-behavior-inline: contain;
    scrollbar-width: thin;
  }

  .diagram-stage-hint {
    position: static;
    width: auto;
    height: auto;
    margin: 0;
    padding: 7px 12px;
    overflow: visible;
    clip: auto;
    color: var(--muted);
    font-family: var(--mono);
    font-size: 0.625rem;
    letter-spacing: 0.04em;
    white-space: normal;
  }

  .diagram-stage .diagram-view {
    min-width: 640px;
    min-height: 280px;
  }

  .evidence-panel {
    min-height: 280px;
    padding: 20px 18px;
  }

  .evidence-row {
    grid-template-columns: 1fr;
    gap: 10px;
  }

  .workbench-footer {
    flex-wrap: wrap;
    padding-block: 10px;
  }

  .why-section .section-shell,
  .views-section,
  .contract-section,
  .install-section,
  .usage-section .section-shell {
    padding-block: 82px;
  }

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

  .principles article,
  .principles article:not(:first-child) {
    min-height: 230px;
    padding: 28px 0;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .principles h3 {
    margin-top: 36px;
  }

  .split-heading {
    grid-template-columns: 1fr;
    gap: 18px;
  }

  .view-list article {
    grid-template-columns: 56px 1fr;
    min-height: 132px;
  }

  .view-list code {
    display: none;
  }

  .contract-layout {
    gap: 44px;
  }

  .code-window pre,
  .terminal pre {
    padding: 20px;
    font-size: 0.67rem;
  }

  .install-content {
    grid-template-columns: 1fr;
    gap: 24px;
    padding: 28px 18px;
  }

  .install-step {
    margin-bottom: 18px;
  }

  .install-tabs {
    overflow-x: auto;
  }

  .install-tabs button {
    min-width: max-content;
  }

  .prompt-strip {
    grid-template-columns: 1fr;
    padding: 17px 18px;
  }

  .agent-invocations p {
    grid-template-columns: 1fr;
    gap: 3px;
  }

  .usage-grid {
    grid-template-columns: 1fr;
    margin-top: 44px;
  }

  .usage-example {
    padding: 24px 18px;
  }

  .usage-example-heading {
    grid-template-columns: 28px 1fr auto;
    gap: 10px;
  }

  .usage-example pre {
    margin-left: 38px;
  }

  .usage-note {
    display: block;
  }

  .usage-note > span {
    display: block;
    margin-bottom: 5px;
  }

  .final-cta {
    align-items: start;
    flex-direction: column;
    padding-block: 90px;
  }

  .final-actions {
    width: 100%;
  }

  .footer-inner {
    grid-template-columns: 1fr;
    padding-block: 30px;
    text-align: left;
  }

  .footer-inner > div {
    justify-content: start;
  }
}

@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }

  *,
  *::before,
  *::after {
    scroll-behavior: auto !important;
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
    transition-duration: 0.01ms !important;
  }

  .diagram-view,
  .diagram-view [data-animate-node],
  .diagram-view [data-animate-edge] {
    animation: none !important;
    opacity: 1;
    transform: none;
  }

  .view-switcher button::after {
    animation: none !important;
    opacity: 0;
    transform: none;
  }

  .flow-lines path {
    animation: none !important;
  }
}