@font-face {
  font-family: Sora;
  src: url("./assets/sora-semibold.ttf") format("truetype");
  font-style: normal;
  font-weight: 600;
  font-display: swap;
}
:root {
  --paper: #fafafc;
  --surface-subtle: #f1f2f6;
  --flow-bg: #f1eff8;
  --flow-border: #d7d0e5;
  --flow-node-border: #c9c1db;
  --flow-wire: #8774ab;
  --feedback: #854d79;
  --feedback-bg: #f4eaf2;
  --ink: #222133;
  --muted: #59576b;
  --violet: #5941bc;
  --violet-dark: #3d287f;
  --lavender: #eae5fa;
  --line: #d5d2e1;
  --white: #fff;
  --canvas: #252333;
  --canvas-line: #494458;
  --canvas-ink: #f2effb;
  --canvas-muted: #bab4cb;
  --active: #c7b5ff;
  --green: #276047;
  --green-bg: #e8f2eb;
  --red: #9b3741;
  --red-bg: #faebec;
  --hero-gradient: radial-gradient(
    ellipse 75% 480px at 88% 100px,
    #e8dff8 0%,
    #f3effb 42%,
    var(--paper) 78%
  );
  --flow-gradient: linear-gradient(
    115deg,
    #eeebf8 0%,
    #f5f3fb 60%,
    #faf9fd 100%
  );
  --generate-gradient: linear-gradient(
    135deg,
    #493293 0%,
    #5941bc 55%,
    #6850c7 100%
  );
  --research-gradient: linear-gradient(
    115deg,
    #493090 0%,
    #3d287f 48%,
    #252957 100%
  );
  --display: Sora, system-ui, sans-serif;
  --body-font:
    system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --code-font: ui-monospace, SFMono-Regular, Consolas, monospace;
  --text-lead: 1.0625rem;
  --text-body: 1rem;
  --text-detail: 0.875rem;
  --text-label: 0.8125rem;
  --text-caption: 0.75rem;
}
* {
  box-sizing: border-box;
}
html {
  scroll-behavior: smooth;
  scroll-padding-top: 24px;
  scrollbar-color: #a49abf var(--paper);
}
body {
  margin: 0;
  background: var(--paper);
  background-image: var(--hero-gradient);
  background-size: 100% 680px;
  background-repeat: no-repeat;
  color: var(--ink);
  font: var(--text-lead)/1.65 var(--body-font);
}
::selection {
  background: #d6ccff;
  color: #251747;
}
a {
  color: inherit;
  text-underline-offset: 5px;
}
a:hover {
  color: var(--violet);
}
button,
input {
  font: inherit;
}
button {
  cursor: pointer;
}
a:focus-visible,
button:focus-visible,
summary:focus-visible,
input:focus-visible + span {
  outline: 3px solid var(--violet);
  outline-offset: 5px;
}
h1,
h2,
h3,
p {
  margin: 0;
}
h1,
h2 {
  font-family: var(--display);
  font-weight: 600;
  line-height: 1.24;
  text-wrap: balance;
}
h1 {
  font-size: clamp(2.6rem, 4.4vw, 4.1rem);
  letter-spacing: -0.03em;
}
h2 {
  font-size: clamp(1.8rem, 2.8vw, 2.5rem);
  letter-spacing: -0.02em;
}
h3 {
  font-family: var(--body-font);
  font-size: var(--text-body);
  font-weight: 600;
  line-height: 1.35;
  text-wrap: balance;
}
p {
  max-width: 70ch;
}
code {
  font-family: var(--code-font);
  font-size: 0.95em;
}
pre {
  margin: 0;
  overflow-x: auto;
  tab-size: 4;
}
pre code {
  font-size: var(--text-detail);
  line-height: 1.9;
}
code b,
code i,
code em {
  font-style: normal;
  font-weight: 400;
}
code b {
  color: #d5b4fb;
}
code i {
  color: #94d5d7;
}
code em {
  color: #f1d49b;
}
.code-comment {
  color: var(--canvas-muted);
}
.wrap {
  width: min(1280px, calc(100% - 80px));
  margin-inline: auto;
}
.icon {
  display: inline-block;
  width: 20px;
  height: 20px;
  fill: none;
  stroke: currentColor;
  stroke-width: 1.7;
  vertical-align: middle;
  flex-shrink: 0;
}
.site-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding-block: 28px;
  border-bottom: 1px solid var(--line);
}
.wordmark {
  display: inline-flex;
  gap: 11px;
  align-items: center;
  font: 600 25px/1 var(--display);
  letter-spacing: -0.03em;
  text-decoration: none;
}
.wordmark img {
  display: block;
}
.site-header nav,
.site-footer nav {
  display: flex;
  gap: 28px;
  align-items: center;
}
.site-header nav a {
  font-size: var(--text-detail);
  text-decoration: none;
}
.repo-link {
  display: flex;
  align-items: center;
  gap: 8px;
}
.site-header nav .repo-link {
  padding: 8px 14px;
  border: 1px solid var(--line);
  border-radius: 6px;
}
.skip-link {
  position: absolute;
  left: 20px;
  top: -100px;
  padding: 12px 20px;
  background: var(--white);
  z-index: 10;
}
.skip-link:focus {
  top: 12px;
}
.hero {
  position: relative;
  padding-top: 48px;
}
.route-motif {
  position: absolute;
  width: 290px;
  height: 42px;
  top: 3px;
  right: 0;
  fill: none;
  stroke: currentColor;
  stroke-width: 1.5;
  color: var(--violet);
  opacity: 0.22;
  pointer-events: none;
}
.research-section > .route-motif {
  right: max(24px, calc((100% - 1280px) / 2));
  top: 10px;
  color: var(--active);
  opacity: 0.26;
}
.hero-heading {
  display: grid;
  grid-template-columns: 1.2fr 1fr;
  align-items: center;
  gap: 65px;
}
.hero h1 span {
  color: var(--violet);
}
.hero-intro p {
  color: var(--muted);
  font-size: var(--text-lead);
  max-width: 530px;
}
.hero-actions {
  display: flex;
  align-items: center;
  gap: 22px;
  margin-top: 24px;
  flex-wrap: wrap;
}
.button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 10px;
  padding: 13px 19px;
  border-radius: 8px;
  font-size: var(--text-detail);
  font-weight: 600;
  text-decoration: none;
  min-height: 48px;
  flex-shrink: 0;
}
.button .icon {
  width: 18px;
  height: 18px;
}
.button,
.copy-button,
.input-options span,
.research-resources a {
  transition:
    background-color 160ms ease-out,
    color 160ms ease-out,
    border-color 160ms ease-out;
}
.button:active {
  filter: brightness(0.94);
}
.primary {
  background: var(--violet);
  color: var(--white);
}
.primary:hover {
  background: var(--violet-dark);
  color: var(--white);
}
.secondary {
  border: 1px solid var(--violet);
  color: var(--violet);
}
.secondary:hover {
  background: var(--lavender);
}
.quiet-link {
  font-size: var(--text-detail);
}
.workbench {
  margin-top: 36px;
  background: var(--canvas);
  color: var(--canvas-ink);
  border-radius: 16px;
  overflow: hidden;
}
.workbench a:hover {
  color: var(--active);
}
.workbench a:focus-visible,
.workbench summary:focus-visible,
.workbench input:focus-visible + span {
  outline-color: var(--active);
}
.workbench-header {
  display: flex;
  justify-content: space-between;
  gap: 20px;
  align-items: center;
  padding: 21px 28px;
  border-bottom: 1px solid var(--canvas-line);
}
.workbench h2 {
  font-size: 19px;
  letter-spacing: -0.025em;
}
.workbench fieldset {
  border: 0;
  padding: 0;
  margin: 0;
  min-width: 0;
}
.workbench legend {
  float: left;
  font-size: var(--text-caption);
  color: var(--canvas-muted);
  padding: 9px 14px 0 0;
}
.input-options {
  display: flex;
  gap: 7px;
}
.input-options label {
  position: relative;
  cursor: pointer;
}
.input-options input {
  position: absolute;
  opacity: 0;
  width: 1px;
  height: 1px;
}
.input-options span {
  display: block;
  white-space: nowrap;
  padding: 6px 12px;
  border: 1px solid #777085;
  border-radius: 5px;
  font: var(--text-label)/1.8 var(--code-font);
  min-height: 38px;
}
.input-options input:checked + span {
  color: #24183e;
  background: var(--active);
  border-color: var(--active);
}
.input-options label:hover span {
  border-color: var(--active);
}
/* One optional, cancellable walkthrough; all evidence stays visible. */
.trace-toolbar {
  display: grid;
  grid-template-columns: auto 1fr;
  gap: 10px 28px;
  padding: 18px 28px;
  border-bottom: 1px solid var(--canvas-line);
  align-items: center;
}
.trace-toolbar[hidden] {
  display: none;
}
.trace-button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 8px;
  min-width: 158px;
  min-height: 44px;
  padding: 8px 12px;
  border: 1px solid #777085;
  border-radius: 8px;
  background: transparent;
  color: var(--canvas-ink);
  font-size: var(--text-label);
}
.trace-button .icon {
  width: 18px;
  height: 18px;
}
.trace-button:hover {
  background: #47385f;
  border-color: var(--active);
}
.trace-button:focus-visible {
  outline-color: var(--active);
}
.trace-steps {
  display: grid;
  grid-template-columns: 1fr 1fr 1.25fr;
  list-style: none;
  padding: 0;
  margin: 0;
  gap: 24px;
}
.trace-steps li {
  color: var(--canvas-muted);
  font-size: var(--text-caption);
  line-height: 1.5;
  min-width: 0;
}
.trace-steps span {
  display: block;
  font-size: var(--text-caption);
}
.trace-steps code {
  font-size: var(--text-caption);
  color: var(--canvas-ink);
  line-height: 1.5;
  display: block;
  margin-top: 4px;
}
.trace-steps li:nth-child(2) code {
  white-space: nowrap;
}
.trace-steps [aria-current="step"] > span {
  color: var(--active);
  font-weight: 600;
}
.trace-steps [aria-current="step"] code {
  text-decoration: underline;
  text-decoration-color: var(--active);
  text-underline-offset: 5px;
}
#trace-status {
  grid-column: 1 / -1;
  max-width: none;
  font-size: var(--text-caption);
  color: var(--canvas-muted);
}
.workbench[data-trace="source"] .source-panel,
.workbench[data-trace="path"] .path-panel,
.workbench[data-trace="assertion"] .assertion-panel {
  outline: 1px solid var(--active);
  outline-offset: -1px;
}
.workbench[data-trace="source"] .condition-line {
  background: #494061;
  border-radius: 4px;
}
.trace-route {
  fill: none;
  stroke: #eee6ff;
  stroke-width: 4;
  stroke-dasharray: 1;
  stroke-dashoffset: 1;
  opacity: 0;
}
.workbench[data-trace="path"][data-active="positive"] .trace-route-positive,
.workbench[data-trace="path"][data-active="nonpositive"] .trace-route-negative {
  opacity: 1;
  animation: trace-route 850ms ease-out forwards;
}
@keyframes trace-route {
  to {
    stroke-dashoffset: 0;
  }
}
.workbench-panels {
  display: grid;
  grid-template-columns: 1.28fr 0.9fr 0.88fr;
}
.workbench-panels > div {
  min-width: 0;
  padding: 24px 26px;
}
.workbench-panels > div + div {
  border-left: 1px solid var(--canvas-line);
}
.panel-title {
  display: flex;
  align-items: center;
  gap: 9px;
  color: var(--canvas-muted);
  margin-bottom: 25px;
}
.panel-title h3 {
  font: 500 var(--text-label)/1.5 var(--body-font);
  letter-spacing: 0;
}
.panel-title > span {
  font: var(--text-caption)/1.5 var(--code-font);
  margin-left: auto;
}
.panel-title .icon {
  width: 16px;
  height: 16px;
}
.source-code {
  margin-inline: -12px;
}
.source-code code {
  font-size: var(--text-detail);
  white-space: normal;
}
.source-line {
  display: grid;
  grid-template-columns: 24px 1fr;
  padding: 2px 8px;
  white-space: pre;
  transition: background-color 0.2s ease-out;
}
.line-number {
  color: #b0a9c1;
  font-size: 11px;
  user-select: none;
}
.workbench[data-active="positive"] .branch-positive,
.workbench[data-active="nonpositive"] .branch-negative {
  background: #494061;
  border-radius: 4px;
}
.source-link {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  margin-top: 23px;
  font-size: var(--text-caption);
  color: var(--canvas-muted);
}
.source-link .icon {
  width: 14px;
  height: 14px;
}
.path-panel .panel-title {
  margin-bottom: 19px;
}
.condition-name {
  display: block;
  font-size: var(--text-detail);
  text-align: center;
  color: var(--canvas-ink);
  white-space: nowrap;
}
.path-map {
  display: block;
  width: min(100%, 280px);
  margin: 5px auto 0;
  overflow: visible;
}
.route-stem,
.route {
  stroke: #81758f;
  stroke-width: 2;
  fill: none;
}
.route-origin {
  fill: var(--active);
}
.route {
  transition: stroke 0.2s ease-out;
}
.path-map g rect {
  fill: #393544;
}
.path-map g circle {
  fill: #988fac;
}
.path-map text {
  fill: #c6bfd6;
  font: var(--text-body) var(--code-font);
}
.path-map .return-label {
  font-size: var(--text-body);
}
.workbench[data-active="positive"] .route-positive,
.workbench[data-active="nonpositive"] .route-negative {
  stroke: var(--active);
  stroke-width: 3;
}
.workbench[data-active="positive"] .map-positive rect,
.workbench[data-active="nonpositive"] .map-negative rect {
  fill: var(--active);
}
.workbench[data-active="positive"] .map-positive text:not(.return-label),
.workbench[data-active="nonpositive"] .map-negative text:not(.return-label) {
  fill: #24183e;
}
.workbench[data-active="positive"] .map-positive circle,
.workbench[data-active="nonpositive"] .map-negative circle {
  fill: var(--active);
}
.workbench[data-active="positive"] .map-positive .return-label,
.workbench[data-active="nonpositive"] .map-negative .return-label {
  fill: #eee6ff;
}
.panel-note {
  font-size: var(--text-caption);
  color: var(--canvas-muted);
  line-height: 1.6;
}
.path-panel .panel-note {
  text-align: center;
}
.assertion-panel {
  background: #2e293f;
}
.selected-condition {
  font-size: var(--text-caption);
  color: var(--canvas-muted);
  margin-bottom: 15px;
}
.selected-condition strong {
  font: var(--text-label) var(--code-font);
  color: var(--active);
  margin-left: 10px;
}
.assertion-panel pre code {
  color: #f2e8ff;
  font-size: 15px;
  line-height: 1.85;
}
.return-value {
  display: flex;
  align-items: center;
  justify-content: space-between;
  border-top: 1px solid #554966;
  padding-top: 12px;
  margin-top: 17px;
  font-size: var(--text-caption);
  color: var(--canvas-muted);
}
.return-value code {
  font-size: var(--text-lead);
  color: #cee6d8;
}
.assertion-panel .panel-note {
  margin-top: 20px;
}
.context-details {
  border-top: 1px solid var(--canvas-line);
  background: #2a2739;
}
.context-details summary {
  display: flex;
  align-items: center;
  gap: 12px;
  padding: 17px 28px;
  cursor: pointer;
  list-style: none;
  font-size: var(--text-label);
}
.context-details summary::-webkit-details-marker {
  display: none;
}
.context-details summary > code {
  margin-left: auto;
  color: var(--canvas-muted);
  font-size: 11px;
}
.context-details .chevron {
  width: 16px;
}
.context-details[open] .chevron {
  transform: rotate(180deg);
}
.context-content {
  display: grid;
  grid-template-columns: 1.1fr 1fr;
  gap: 60px;
  padding: 8px 28px 28px;
}
.context-content pre code {
  font-size: var(--text-detail);
}
.context-content h3 {
  font-size: 15px;
  margin-bottom: 12px;
}
.context-content p {
  font-size: var(--text-detail);
  color: var(--canvas-muted);
}
.context-content p + p {
  margin-top: 12px;
}
.demo-caption {
  display: flex;
  gap: 35px;
  align-items: baseline;
  justify-content: space-between;
  margin-top: 16px;
  font-size: var(--text-caption);
  color: var(--muted);
}
.demo-caption p {
  max-width: 75ch;
}
.demo-caption > span {
  white-space: nowrap;
}
.section {
  padding-block: 94px;
}
.section-heading {
  display: grid;
  grid-template-columns: 1.15fr 1fr;
  gap: 90px;
  align-items: start;
}
.section-heading > p {
  color: var(--muted);
  font-size: var(--text-body);
  padding-top: 5px;
}

.workflow-bottom {
  display: flex;
  justify-content: space-between;
  gap: 25px;
  margin-top: 23px;
  font-size: var(--text-label);
  color: var(--muted);
}
.workflow-bottom .icon {
  width: 15px;
}
.repair-section {
  background: var(--surface-subtle);
  padding-block: 76px;
}
.repair-layout {
  display: grid;
  grid-template-columns: 0.85fr 1.15fr;
  gap: 64px;
  align-items: center;
}
.repair-story > p {
  margin-top: 22px;
  color: var(--muted);
  font-size: var(--text-body);
}
.repair-example {
  margin-top: 0;
  background: var(--white);
  border: 1px solid var(--line);
  border-radius: 12px;
  overflow: hidden;
}
.repair-source {
  display: grid;
  justify-content: space-between;
  gap: 10px;
  align-items: center;
  padding: 18px 26px;
  border-bottom: 1px solid var(--line);
  font-size: var(--text-label);
  background: var(--paper);
}
.repair-source > div {
  display: flex;
  align-items: center;
  gap: 10px;
  flex-shrink: 0;
}
.repair-source > code {
  font-size: var(--text-caption);
  overflow-wrap: anywhere;
}
.repair-comparison {
  display: grid;
  grid-template-columns: 1fr;
}
.repair-comparison > div {
  min-width: 0;
  padding: 26px;
}
.repair-after {
  border-top: 1px solid var(--line);
}
.comparison-title {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 20px;
  margin-bottom: 24px;
}
.comparison-title h3 {
  font-size: var(--text-body);
}
.status {
  display: inline-flex;
  gap: 5px;
  align-items: center;
  font-size: var(--text-caption);
  white-space: nowrap;
}
.status .icon {
  width: 15px;
  height: 15px;
}
.error {
  color: var(--red);
}
.success {
  color: var(--green);
}
.diff-code {
  padding: 17px 14px;
  border-radius: 5px;
}
.diff-code code {
  font-size: var(--text-detail);
  line-height: 1.7;
}
.diff-sign {
  font-weight: 600;
}
.repair-before .diff-code {
  background: var(--red-bg);
  color: #7f2632;
}
.repair-after .diff-code {
  background: var(--green-bg);
  color: #27573f;
}
.diff-code mark {
  background: #efc7cc;
  color: inherit;
  border-radius: 2px;
  padding: 3px 2px;
}
.repair-after mark {
  background: #bedfcc;
}
.diagnostic {
  margin-top: 30px;
  padding-top: 25px;
  border-top: 1px solid var(--line);
}
.diagnostic h3 {
  font-size: 22px;
  line-height: 1.45;
}
.diagnostic h3 code {
  font-size: 1em;
}
.repair-change {
  display: flex;
  align-items: center;
  gap: 18px;
  margin-top: 18px;
}
.repair-change code {
  font-size: 18px;
  padding: 5px 12px;
  border-radius: 4px;
  color: var(--red);
  background: var(--red-bg);
}
.repair-change code:last-child {
  color: var(--green);
  background: var(--green-bg);
}
.repair-change .icon {
  color: var(--muted);
}
.diagnostic > p {
  font-size: var(--text-detail);
  margin-top: 6px;
}
.fixture-outcome {
  display: flex;
  align-items: flex-start;
  gap: 9px;
  color: var(--green);
  margin-top: 30px;
}
.fixture-outcome strong {
  font-size: var(--text-detail);
  font-weight: 600;
}
.fixture-outcome p {
  color: var(--muted);
  font-size: var(--text-caption);
  margin-top: 5px;
}
.fixture-outcome .icon {
  margin-top: 2px;
}
.repair-caption {
  display: flex;
  justify-content: space-between;
  gap: 50px;
  margin-top: 19px;
  font-size: var(--text-caption);
  color: var(--muted);
}
.repair-caption p {
  max-width: 52ch;
}
.start-section {
  padding-block: 76px;
}
.workflow {
  padding-top: 76px;
}
.start-grid {
  display: grid;
  grid-template-columns: 1fr 1.1fr;
  gap: 39px 70px;
}
.start-grid h2 + p {
  margin-top: 23px;
  color: var(--muted);
  font-size: var(--text-body);
}
.prerequisites {
  display: flex;
  align-items: flex-start;
  gap: 12px;
  margin-top: 27px;
  color: var(--muted);
  font-size: var(--text-label);
}
.prerequisites .icon {
  color: var(--violet);
  margin-top: 4px;
}
.prerequisites a {
  font-weight: 600;
}
.terminal {
  background: var(--canvas);
  color: var(--canvas-ink);
  border-radius: 12px;
  padding: 23px 26px;
  min-width: 0;
  align-self: start;
}
.terminal-heading {
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: 14px;
  margin-bottom: 25px;
  font-size: var(--text-caption);
  color: var(--canvas-muted);
}
.terminal-heading > span {
  display: flex;
  gap: 9px;
  align-items: center;
}
.terminal-heading .icon {
  width: 16px;
  height: 16px;
}
.copy-button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 6px;
  border: 1px solid #807397;
  background: transparent;
  border-radius: 5px;
  color: var(--canvas-ink);
  padding: 7px 9px;
  font-size: var(--text-caption);
  min-height: 40px;
  white-space: nowrap;
}
.copy-button:hover {
  background: #47385f;
}
.copy-button[hidden] {
  display: none;
}
.copy-button:focus-visible {
  outline-color: var(--active);
}
.terminal pre code {
  font-size: var(--text-detail);
  line-height: 1.85;
}
.expected-result {
  border-top: 1px solid var(--canvas-line);
  margin-top: 24px;
  padding-top: 19px;
}
.expected-result > span {
  font-size: var(--text-caption);
  color: var(--canvas-muted);
}
.expected-result > p {
  display: flex;
  align-items: flex-start;
  gap: 9px;
  margin-top: 7px;
  color: #bce4cc;
}
.expected-result .icon {
  width: 15px;
  height: 15px;
  margin-top: 3px;
}
.expected-result code {
  font-size: var(--text-caption);
  line-height: 1.7;
  min-width: 0;
  overflow-wrap: anywhere;
}
.terminal #copy-status {
  font-size: var(--text-caption);
  color: var(--canvas-muted);
}
.terminal #copy-status:not(:empty) {
  margin-top: 12px;
}
.next-step {
  grid-column: 1/-1;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 45px;
  border-top: 1px solid var(--line);
  padding-top: 30px;
}
.next-step h3 {
  font-size: var(--text-lead);
}
.next-step p {
  font-size: var(--text-detail);
  color: var(--muted);
  max-width: 75ch;
  margin-top: 10px;
}
.scope {
  display: grid;
  grid-template-columns: 0.85fr 1.6fr;
  gap: 90px;
  padding-bottom: 95px;
}
.scope h2 {
  font-size: 28px;
}
.scope > div > p {
  font-size: var(--text-detail);
  color: var(--muted);
  margin-top: 18px;
}
.scope a {
  display: inline-block;
  font-size: var(--text-label);
  margin-top: 23px;
}
.scope a .icon {
  width: 15px;
  height: 15px;
}
.scope dl {
  margin: 0;
}
.scope dl > div {
  display: grid;
  grid-template-columns: 180px 1fr;
  gap: 25px;
  padding-block: 18px;
  border-top: 1px solid var(--line);
}
.scope dt {
  font-size: var(--text-detail);
  font-weight: 600;
}
.scope dd {
  margin: 0;
  font-size: var(--text-detail);
  line-height: 1.7;
  color: var(--muted);
}
.research-section {
  position: relative;
  background: var(--violet-dark);
  background-image: var(--research-gradient);
  color: #faf7ff;
  padding-block: 63px;
}
.research {
  display: grid;
  grid-template-columns: 1.4fr 0.85fr;
  gap: 75px;
  align-items: center;
}

.research h2 {
  font-size: 34px;
}
.research .paper-title {
  font-size: 19px;
  line-height: 1.55;
  margin-top: 22px;
  max-width: 44ch;
}
.paper-authors {
  font-size: var(--text-caption);
  color: #dfd5ee;
  margin-top: 14px;
  max-width: 65ch;
}
.paper-venue {
  font-size: var(--text-label);
  margin-top: 6px;
  color: #dfd5ee;
}
.paper-links {
  display: flex;
  flex-direction: column;
  gap: 23px;
  align-items: flex-start;
  margin-top: 0;
  font-size: var(--text-label);
}
.light {
  background: #f4efff;
  color: var(--violet-dark);
}
.light:hover {
  background: white;
  color: var(--violet-dark);
}
.research a:hover {
  color: #e1d3ff;
}
.research a.light:hover {
  color: var(--violet-dark);
}
.research a:focus-visible {
  outline-color: #c3b1ff;
}
.research-resources {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 6px 20px;
  align-items: center;
  padding-top: 25px;
  margin-top: 25px;
  border-top: 1px solid #756298;
  font-size: var(--text-label);
}
.research-resources a {
  display: flex;
  gap: 10px;
  min-height: 44px;
  padding-block: 8px;
  align-items: center;
}
.research-resources .icon {
  width: 16px;
  height: 16px;
}
.research-note {
  font-size: var(--text-caption);
  color: #dfd5ee;
  margin-top: 23px;
  max-width: 76ch;
}
.site-footer {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 25px;
  padding-block: 36px;
}
.site-footer > div {
  display: flex;
  gap: 24px;
  align-items: center;
  flex-wrap: wrap;
  row-gap: 8px;
}
.site-footer .wordmark {
  font-size: 20px;
}
.site-footer p {
  font-size: var(--text-caption);
  color: var(--muted);
}
.site-footer nav {
  gap: 22px;
  font-size: var(--text-caption);
}
@media (max-width: 1100px) {
  .repair-layout {
    grid-template-columns: 1fr;
    gap: 30px;
  }
  .repair-story {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 0 40px;
  }
  .repair-story > p {
    grid-column: 1;
    font-size: var(--text-body);
  }
  .repair-story .diagnostic {
    grid-column: 2;
    grid-row: 1 / 3;
    border-top: 0;
    padding-top: 0;
    margin-top: 0;
  }

  .wrap {
    width: calc(100% - 48px);
  }
  .hero-heading {
    gap: 35px;
    grid-template-columns: 1.1fr 1fr;
  }
  .hero-actions {
    gap: 12px;
  }
  .hero-intro p {
    font-size: var(--text-body);
  }
  .workbench-panels {
    grid-template-columns: 1.3fr 1fr;
  }
  .assertion-panel {
    grid-column: 1/-1;
    display: grid;
    grid-template-columns: 1fr 1.4fr;
    gap: 10px 35px;
    align-items: start;
  }
  .workbench-panels .assertion-panel {
    border-left: 0;
    border-top: 1px solid var(--canvas-line);
    padding-block: 20px;
  }
  .assertion-panel .panel-title {
    margin-bottom: 5px;
  }
  .assertion-result {
    grid-column: 2;
    grid-row: 1/3;
  }
  .assertion-panel .panel-note {
    margin-top: 0;
    max-width: 27ch;
  }
  .assertion-panel pre code {
    font-size: var(--text-detail);
  }
  .assertion-result pre {
    display: inline-block;
    vertical-align: top;
  }
  .return-value {
    display: inline-flex;
    vertical-align: top;
    gap: 22px;
    margin: 0 0 0 25px;
    padding: 10px 0;
    border-top: 0;
  }
  .selected-condition {
    margin-bottom: 8px;
  }
  .section-heading {
    gap: 45px;
  }

  .start-grid {
    gap: 35px;
  }
  .repair-source {
    align-items: flex-start;
  }
  .repair-source > code {
    max-width: 100%;
  }
  .comparison-title {
    gap: 12px;
  }
  .comparison-title h3 {
    font-size: var(--text-detail);
  }
  .diff-code code {
    font-size: var(--text-detail);
  }
  .scope {
    gap: 45px;
    grid-template-columns: 0.8fr 1.5fr;
  }
  .scope dl > div {
    grid-template-columns: 140px 1fr;
    gap: 20px;
  }
  .research {
    grid-template-columns: 1.2fr 0.85fr;
    gap: 48px;
  }
  .research h2 {
    font-size: 29px;
  }
  .site-footer > div {
    display: block;
    flex-wrap: wrap;
    row-gap: 8px;
  }
  .site-footer p {
    margin-top: 10px;
    font-size: var(--text-caption);
  }
  .terminal pre code {
    font-size: var(--text-detail);
    line-height: 1.85;
  }
}
@media (max-width: 760px) {
  .route-motif {
    width: 170px;
    height: 28px;
    top: 0;
    opacity: 0.18;
  }
  .research-section > .route-motif {
    right: 18px;
    top: 9px;
  }
  .trace-toolbar {
    padding: 16px 20px;
    grid-template-columns: 1fr;
    gap: 14px;
  }
  .trace-button {
    justify-self: start;
  }
  .trace-steps {
    gap: 8px;
    grid-template-columns: max-content max-content minmax(0, 1fr);
  }
  .trace-steps code {
    font-size: var(--text-caption);
    overflow-wrap: anywhere;
    line-height: 1.5;
    display: block;
    margin-top: 4px;
  }
  #trace-status {
    min-height: 3.2em;
  }
  .repair-story {
    display: block;
  }
  .repair-story .diagnostic {
    margin-top: 24px;
    padding-top: 22px;
    border-top: 1px solid var(--line);
  }
  .repair-story > p {
    font-size: var(--text-body);
  }

  body {
    background-size: 100% 560px;
  }
  .wrap {
    width: calc(100% - 36px);
  }
  .site-header {
    padding-block: 20px;
    flex-wrap: wrap;
    gap: 8px;
  }
  .wordmark {
    font-size: 22px;
    gap: 9px;
  }
  .wordmark img {
    width: 30px;
    height: 30px;
  }
  .site-header nav {
    gap: 8px;
  }
  .site-header nav a {
    display: inline-flex;
    align-items: center;
    justify-content: center;
    min-width: 44px;
    min-height: 44px;
    font-size: var(--text-label);
  }
  .site-header .wide-nav {
    display: none;
  }
  .site-header nav .repo-link {
    padding: 0;
    border: 0;
  }
  .hero {
    padding-top: 32px;
  }
  .hero-heading {
    display: block;
  }
  .hero h1 {
    font-size: clamp(2.35rem, 8vw, 3.3rem);
    line-height: 1.2;
  }
  .hero-intro {
    margin-top: 22px;
  }
  .hero-intro p {
    font-size: var(--text-body);
  }
  .hero-actions {
    gap: 20px;
    margin-top: 21px;
  }
  .hero-actions .button {
    padding-inline: 15px;
    font-size: var(--text-label);
  }
  .hero-actions .quiet-link {
    font-size: var(--text-label);
  }
  .workbench {
    margin-top: 29px;
    border-radius: 12px;
  }
  .workbench-header {
    display: block;
    padding: 20px;
  }
  .workbench h2 {
    font-size: var(--text-lead);
  }
  .workbench fieldset {
    margin-top: 18px;
  }
  .workbench legend {
    float: none;
    font-size: var(--text-caption);
    padding: 0 0 9px;
  }
  .input-options span {
    font-size: var(--text-caption);
    padding: 9px 10px;
    min-height: 44px;
  }
  .workbench-panels {
    display: block;
  }
  .workbench-panels > div {
    padding: 22px 20px;
  }
  .workbench-panels > div + div {
    border-left: 0;
    border-top: 1px solid var(--canvas-line);
  }
  .panel-title {
    margin-bottom: 20px;
  }
  .source-code code {
    font-size: var(--text-detail);
  }
  .source-code {
    margin-inline: -8px;
  }
  .source-line {
    grid-template-columns: 24px 1fr;
    line-height: 1.95;
    padding-inline: 4px;
  }
  .line-number {
    font-size: 10px;
  }
  .source-link {
    min-height: 44px;
    margin-top: 7px;
  }
  .path-map {
    max-width: 240px;
  }
  .path-panel .panel-title {
    margin-bottom: 12px;
  }
  .condition-name {
    font-size: var(--text-label);
  }
  .panel-note {
    font-size: var(--text-caption);
  }
  .workbench-panels .assertion-panel {
    display: block;
    padding: 22px 20px;
  }
  .assertion-panel .panel-title {
    margin-bottom: 17px;
  }
  .assertion-panel .panel-note {
    margin-top: 17px;
    max-width: none;
  }
  .assertion-result pre {
    display: block;
  }
  .assertion-panel pre code {
    font-size: 15px;
  }
  .return-value {
    display: flex;
    margin: 15px 0 0;
    padding: 12px 0 0;
    border-top: 1px solid #554966;
    justify-content: space-between;
  }
  .context-details summary {
    gap: 10px;
    padding: 17px 20px;
    font-size: var(--text-caption);
    line-height: 1.5;
  }
  .context-details summary > code {
    display: none;
  }
  .context-details .chevron {
    margin-left: auto;
    flex-shrink: 0;
  }
  .context-details summary > .icon:first-child {
    width: 17px;
  }
  .context-content {
    grid-template-columns: 1fr;
    gap: 25px;
    padding: 4px 20px 24px;
  }
  .context-content pre code {
    font-size: var(--text-detail);
  }
  .context-content p {
    font-size: var(--text-detail);
  }
  .demo-caption {
    display: block;
    font-size: var(--text-caption);
    line-height: 1.7;
  }
  .demo-caption > span {
    display: block;
    margin-top: 9px;
  }
  .section {
    padding-block: 52px;
  }
  .section-heading {
    display: block;
  }
  .section-heading > p {
    padding: 0;
    margin-top: 20px;
    font-size: var(--text-body);
  }
  .section-heading h2 br {
    display: none;
  }

  .workflow-bottom {
    display: block;
    font-size: var(--text-label);
  }
  .workflow-bottom a {
    display: inline-block;
    margin-top: 13px;
  }
  .repair-section {
    padding-block: 52px;
  }
  .repair-example {
    margin-top: 0;
  }
  .repair-source {
    display: block;
    padding: 17px 20px;
  }
  .repair-source > div {
    font-size: var(--text-caption);
  }
  .repair-source > code {
    display: block;
    max-width: none;
    margin-top: 10px;
    font-size: var(--text-caption);
    line-height: 1.8;
  }
  .repair-comparison {
    grid-template-columns: 1fr;
  }
  .repair-comparison > div {
    padding: 24px 20px;
  }
  .repair-after {
    border-left: 0;
    border-top: 1px solid var(--line);
  }
  .comparison-title {
    margin-bottom: 19px;
  }
  .comparison-title h3 {
    font-size: 15px;
  }
  .diff-code {
    padding: 13px 9px;
  }
  .diff-code code {
    font-size: var(--text-detail);
  }
  .fixture-outcome {
    margin-top: 23px;
  }
  .repair-caption {
    display: block;
    font-size: var(--text-caption);
  }
  .repair-caption p + p {
    margin-top: 10px;
  }
  .start-grid {
    grid-template-columns: 1fr;
    gap: 27px;
  }
  .start-grid h2 + p {
    font-size: var(--text-body);
    margin-top: 19px;
  }
  .prerequisites {
    font-size: var(--text-label);
    margin-top: 22px;
  }
  .terminal {
    padding: 21px 18px;
  }
  .terminal-heading {
    gap: 8px;
    font-size: var(--text-caption);
    margin-bottom: 21px;
  }
  .terminal-heading > span {
    gap: 6px;
  }
  .copy-button {
    font-size: var(--text-caption);
    padding-inline: 8px;
    min-height: 44px;
  }
  .copy-button > .icon {
    display: none;
  }
  .terminal pre code {
    font-size: var(--text-detail);
    line-height: 1.85;
  }
  .next-step {
    display: block;
    padding-top: 25px;
  }
  .next-step p {
    font-size: var(--text-detail);
    max-width: 75ch;
  }
  .next-step .button {
    margin-top: 21px;
    font-size: var(--text-label);
  }
  .scope {
    display: block;
    padding-bottom: 58px;
  }
  .scope h2 {
    font-size: 25px;
  }
  .scope > div > p {
    font-size: var(--text-detail);
    margin-top: 15px;
  }
  .scope > div > p br {
    display: none;
  }
  .scope a {
    margin-top: 14px;
    font-size: var(--text-label);
  }
  .scope dl {
    margin-top: 28px;
  }
  .scope dl > div {
    grid-template-columns: 1fr;
    gap: 8px;
    padding-block: 17px;
  }
  .scope dt {
    font-size: var(--text-detail);
  }
  .scope dd {
    font-size: var(--text-detail);
  }
  .research-section {
    padding-block: 45px;
  }
  .research {
    grid-template-columns: 1fr;
    gap: 35px;
  }
  .research-copy {
    grid-row: 1;
  }
  .research h2 {
    font-size: 28px;
  }
  .research .paper-title {
    font-size: var(--text-lead);
    margin-top: 19px;
  }
  .paper-authors {
    font-size: var(--text-caption);
  }
  .paper-links {
    gap: 20px;
    flex-wrap: wrap;
    margin-top: 24px;
  }
  .paper-links .button {
    font-size: var(--text-label);
  }
  .research-resources {
    gap: 4px 12px;
    font-size: var(--text-label);
    margin-top: 23px;
    padding-top: 21px;
  }
  .research-resources .icon {
    width: 16px;
  }
  .research-note {
    font-size: var(--text-caption);
    margin-top: 22px;
  }

  .site-footer {
    display: block;
    padding-block: 30px;
  }
  .site-footer > div {
    display: flex;
    gap: 19px;
    align-items: center;
    flex-wrap: wrap;
    row-gap: 8px;
  }
  .site-footer p {
    font-size: var(--text-caption);
    margin: 0;
  }
  .site-footer nav {
    margin-top: 23px;
    gap: 24px;
    font-size: var(--text-caption);
  }
}
@media (max-width: 480px) {
  .hero h1 {
    /* Reserve the three-line Sora title while its narrower fallback loads. */
    min-height: 3.6em;
  }
}
@media (prefers-reduced-motion: reduce) {
  .trace-route {
    animation: none !important;
  }

  html {
    scroll-behavior: auto;
  }
  .source-line,
  .route,
  .button,
  .copy-button,
  .input-options span,
  .research-resources a {
    transition: none;
  }
}

/* A connected graph: parallel analysis inputs and a compilation feedback loop. */
.flow-diagram {
  margin: 40px 0 0;
  padding: 24px 28px 18px;
  border: 1px solid var(--flow-border);
  border-radius: 16px;
  background: var(--flow-bg);
  background-image: var(--flow-gradient);
}
.flow-stage {
  position: relative;
  height: 360px;
}
.flow-connections {
  position: absolute;
  inset: 0;
  width: 100%;
  height: 100%;
  overflow: visible;
  fill: var(--violet);
}
.flow-wire {
  fill: none;
  stroke: var(--flow-wire);
  stroke-width: 1.8;
  vector-effect: non-scaling-stroke;
}
.directed {
  marker-end: url(#flow-arrow);
}
.flow-connections marker {
  fill: none;
  stroke: var(--flow-wire);
  stroke-width: 1.5;
}
.flow-connections #flow-success-arrow {
  stroke: var(--green);
}
.flow-connections #flow-return-arrow {
  stroke: var(--feedback);
}
.return-wire {
  stroke: var(--feedback);
  stroke-dasharray: 5 4;
  marker-end: url(#flow-return-arrow);
}
.success-wire {
  stroke: var(--green);
  marker-end: url(#flow-success-arrow);
}
.flow-connections text {
  font: var(--text-caption) var(--body-font);
  fill: #644c84;
}
.flow-connections .success-text {
  fill: var(--green);
}
.flow-connections .feedback-text {
  fill: #7e466f;
}
.flow-node {
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  padding: 14px 10px;
  border: 1px solid var(--flow-node-border);
  border-radius: 12px;
  background: var(--white);
  text-align: center;
}
.flow-node h3 {
  font-size: 15px;
  letter-spacing: normal;
  margin-top: 8px;
}
.flow-node p {
  font-size: var(--text-caption);
  color: #635371;
  margin-top: 4px;
}
.flow-node .icon {
  width: 24px;
  height: 24px;
  flex-shrink: 0;
  color: var(--violet);
}
.flow-icon {
  width: 24px;
  height: 24px;
  flex-shrink: 0;
  fill: none;
  stroke: var(--violet);
  stroke-width: 1.7;
}
.flow-source,
.flow-analysis,
.flow-generate,
.flow-verify,
.flow-output {
  position: absolute;
}
.flow-source {
  left: 0;
  top: 122px;
  width: 12.5%;
  height: 110px;
  background: #f8f7fc;
}
.flow-source h3 {
  font-size: var(--text-detail);
}
.flow-source p {
  font-size: var(--text-caption);
}
.flow-analysis {
  left: 16.25%;
  top: 55px;
  width: 16.6667%;
  display: grid;
  gap: 60px;
}
.flow-analysis .flow-node {
  height: 90px;
}
.flow-analysis h3 {
  margin-top: 5px;
}
.flow-generate {
  left: 38.75%;
  top: 122px;
  width: 15.8333%;
  height: 110px;
  background: var(--violet);
  background-image: var(--generate-gradient);
  border-color: var(--violet);
  color: white;
}
.flow-generate .flow-icon {
  stroke: white;
}
.flow-generate p {
  color: #ebe4ff;
}
.flow-verify {
  left: 60.4167%;
  top: 122px;
  width: 14.5833%;
}
.flow-compile {
  height: 110px;
}
.flow-repair {
  height: 72px;
  margin-top: 48px;
  flex-direction: row;
  gap: 8px;
  border-color: #c6a9c0;
  background: var(--feedback-bg);
}
.flow-repair h3 {
  font-size: var(--text-label);
  margin: 0;
}
.flow-repair p {
  font-size: var(--text-caption);
  color: #76456c;
}
.flow-repair .icon {
  color: var(--feedback);
  width: 17px;
}
.flow-output {
  left: 81.6667%;
  top: 122px;
  width: 18.3333%;
  height: 110px;
  border-color: #afcdbb;
  background: #edf5ef;
}
.flow-output .flow-icon {
  stroke: var(--green);
}
.flow-output p {
  color: #3f604e;
}
.mobile-error-label,
.mobile-pass-label {
  display: none;
}
.flow-diagram figcaption {
  display: flex;
  justify-content: center;
  gap: 32px;
  padding-top: 19px;
  border-top: 1px solid var(--flow-border);
  font-size: var(--text-caption);
  color: #665376;
}
.flow-diagram figcaption > span {
  display: flex;
  align-items: center;
  gap: 9px;
}
.flow-diagram figcaption i {
  width: 19px;
  border-top: 2px solid var(--violet);
}
.flow-diagram figcaption .legend-repair {
  border-top: 2px dashed var(--feedback);
}
@media (max-width: 1200px) {
  .flow-diagram {
    padding: 28px 24px 20px;
  }
  .flow-stage {
    height: auto;
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: 30px;
    max-width: 480px;
    margin: auto;
  }
  .flow-connections {
    display: none;
  }
  .flow-source,
  .flow-analysis,
  .flow-generate,
  .flow-verify,
  .flow-output {
    position: relative;
    inset: auto;
    width: 100%;
    height: auto;
  }
  .flow-source,
  .flow-generate,
  .flow-output {
    min-height: 92px;
  }
  .flow-source::after,
  .flow-generate::after,
  .flow-verify::after {
    content: "";
    position: absolute;
    top: 100%;
    left: 50%;
    height: 30px;
    border-left: 1.5px solid var(--flow-wire);
  }
  .flow-analysis {
    grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
    gap: 14px;
  }
  .flow-source::after {
    height: 15px;
  }
  .flow-analysis::before,
  .flow-analysis::after {
    content: "";
    position: absolute;
    left: calc(25% - 3.5px);
    right: calc(25% - 3.5px);
    height: 15px;
    border-inline: 1.5px solid var(--flow-wire);
  }
  .flow-analysis::before {
    bottom: 100%;
    border-top: 1.5px solid var(--flow-wire);
  }
  .flow-analysis::after {
    top: 100%;
    border-bottom: 1.5px solid var(--flow-wire);
  }
  .flow-generate::before {
    content: "";
    position: absolute;
    bottom: 100%;
    left: 50%;
    height: 15px;
    border-left: 1.5px solid var(--flow-wire);
  }
  .flow-node h3,
  .flow-source h3 {
    font-size: 15px;
  }
  .flow-node p,
  .flow-source p {
    font-size: var(--text-caption);
  }
  .flow-analysis .flow-node {
    height: auto;
    min-height: 116px;
    padding: 12px 8px;
  }
  .flow-verify {
    padding: 16px;
    border: 1px solid var(--flow-node-border);
    border-radius: 12px;
    background: var(--white);
  }
  .flow-compile {
    height: 76px;
    padding: 0;
    border: 0;
    background: none;
  }
  .flow-repair {
    position: relative;
    margin-top: 22px;
    height: auto;
    min-height: 72px;
    padding: 18px 10px 10px;
  }
  .flow-repair h3 {
    font-size: var(--text-detail);
  }
  .flow-repair p {
    font-size: var(--text-caption);
  }
  .mobile-error-label {
    display: block;
    position: absolute;
    top: -10px;
    padding-inline: 7px;
    background: var(--white);
    color: #7e466f;
    font-size: var(--text-caption);
  }
  .mobile-pass-label {
    display: block;
    margin-top: 7px;
    font-size: var(--text-caption);
    color: var(--green);
  }
  .flow-output {
    padding-block: 14px;
  }
  .flow-diagram figcaption {
    margin-top: 28px;
    flex-wrap: wrap;
    gap: 10px 24px;
    font-size: var(--text-caption);
  }
}