:root {
  color-scheme: light;
  --paper: #f2efe5;
  --paper-light: #fbf9f3;
  --ink: #142033;
  --ink-soft: #566174;
  --line: #cbc7ba;
  --teal: #0f766e;
  --teal-light: #b9ddd2;
  --orange: #db643f;
  --orange-light: #f3c4b0;
  --acid: #d7eb59;
  --red: #bd3d3a;
  --shadow: 0 24px 70px rgb(20 32 51 / 11%);
  --mono: "Cascadia Code", "SFMono-Regular", Consolas, monospace;
  --sans: Inter, "Segoe UI", system-ui, sans-serif;
}

* {
  box-sizing: border-box;
}

html {
  scroll-behavior: smooth;
}

body {
  margin: 0;
  background:
    linear-gradient(90deg, transparent 49.9%, rgb(20 32 51 / 2.4%) 50%, transparent 50.1%),
    radial-gradient(circle at 92% 3%, rgb(219 100 63 / 15%), transparent 24rem),
    var(--paper);
  color: var(--ink);
  font: 17px/1.6 var(--sans);
  -webkit-font-smoothing: antialiased;
}

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

button {
  font: inherit;
}

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

.skip-link {
  position: fixed;
  z-index: 100;
  top: 10px;
  left: 10px;
  padding: 10px 14px;
  transform: translateY(-150%);
  border-radius: 8px;
  background: var(--ink);
  color: white;
}

.skip-link:focus {
  transform: none;
}

.site-header {
  position: sticky;
  z-index: 20;
  top: 0;
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  min-height: 78px;
  padding: 0 4vw;
  border-bottom: 1px solid rgb(20 32 51 / 12%);
  background: rgb(242 239 229 / 90%);
  backdrop-filter: blur(18px);
}

.brand {
  display: inline-flex;
  align-items: center;
  gap: 10px;
  width: fit-content;
  font-size: 18px;
  font-weight: 800;
}

.brand-mark {
  display: grid;
  place-items: center;
  width: 36px;
  height: 36px;
  border-radius: 50%;
  background: var(--ink);
  color: var(--acid);
  font: 700 14px var(--mono);
}

.site-header nav {
  display: flex;
  gap: 4px;
  padding: 5px;
  border: 1px solid rgb(20 32 51 / 10%);
  border-radius: 999px;
  background: rgb(251 249 243 / 75%);
  color: var(--ink-soft);
  font-size: 14px;
  font-weight: 750;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.site-header nav a {
  padding: 7px 13px;
  border-radius: 999px;
}

.site-header nav a:hover {
  background: white;
  color: var(--teal);
}

.header-link {
  justify-self: end;
  font-size: 15px;
  font-weight: 800;
}

.hero {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(460px, 0.8fr);
  gap: clamp(50px, 7vw, 112px);
  align-items: center;
  width: min(1500px, 100%);
  min-height: calc(100svh - 78px);
  margin: 0 auto;
  padding: 84px 4vw 100px;
}

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

.eyebrow {
  margin: 0 0 18px;
  color: var(--teal);
  font: 800 14px var(--mono);
  letter-spacing: 0.11em;
}

.hero h1 {
  margin: 0;
  font-size: clamp(58px, 6vw, 98px);
  font-weight: 850;
  letter-spacing: -0.065em;
  line-height: 0.94;
}

.hero h1 span {
  display: block;
  color: var(--teal);
}

.hero-lede {
  max-width: 710px;
  margin: 34px 0 0;
  color: var(--ink-soft);
  font-size: clamp(20px, 1.6vw, 24px);
  line-height: 1.6;
}

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

.button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-height: 56px;
  padding: 0 25px;
  border: 1px solid var(--ink);
  border-radius: 999px;
  font-size: 16px;
  font-weight: 800;
  transition: 160ms ease;
}

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

.button-primary {
  background: var(--ink);
  color: white;
}

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

.button-secondary:hover {
  background: white;
}

.hero-footnote {
  margin-top: 22px;
  color: var(--ink-soft);
  font: 14px/1.5 var(--mono);
}

.pipeline-card {
  position: relative;
  padding: 26px;
  border: 1px solid rgb(20 32 51 / 14%);
  border-radius: 30px;
  background: var(--ink);
  box-shadow: var(--shadow);
  color: white;
}

.pipeline-topline {
  display: flex;
  justify-content: space-between;
  margin-bottom: 22px;
  color: #aeb8c8;
  font: 700 12px var(--mono);
  letter-spacing: 0.08em;
}

.pipeline-stage {
  display: grid;
  grid-template-columns: 42px 1fr;
  gap: 14px;
  align-items: start;
  padding: 20px;
  border-radius: 17px;
  background: #202d42;
}

.pipeline-stage strong,
.pipeline-stage span,
.pipeline-stage code {
  display: block;
}

.pipeline-stage strong {
  margin-bottom: 6px;
  font-size: 19px;
}

.pipeline-stage span,
.pipeline-stage code {
  color: #cbd3df;
  font: 14px/1.65 var(--mono);
}

.stage-index {
  color: var(--acid) !important;
  font-weight: 800 !important;
}

.stage-policy {
  border: 1px solid rgb(215 235 89 / 45%);
}

.stage-output {
  background: var(--teal);
}

.stage-output span {
  color: white;
}

.pipeline-connector {
  height: 28px;
  color: var(--acid);
  text-align: center;
  font: 800 20px/28px var(--mono);
}

.pipeline-seal {
  position: absolute;
  right: -16px;
  bottom: -18px;
  padding: 10px 17px;
  transform: rotate(-3deg);
  border: 3px solid var(--ink);
  border-radius: 9px;
  background: var(--acid);
  color: var(--ink);
  font: 900 13px var(--mono);
  letter-spacing: 0.08em;
}

.truth-strip {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  border-block: 1px solid var(--line);
  background: rgb(251 249 243 / 65%);
}

.truth-strip div {
  padding: 25px 4vw;
  border-right: 1px solid var(--line);
}

.truth-strip div:last-child {
  border-right: 0;
}

.truth-strip span,
.truth-strip strong {
  display: block;
}

.truth-strip span {
  margin-bottom: 4px;
  color: var(--ink-soft);
  font: 700 11px var(--mono);
  letter-spacing: 0.08em;
}

.truth-strip strong {
  font-size: 19px;
}

.section-shell {
  width: min(1500px, 100%);
  margin: 0 auto;
  padding: 120px 4vw;
}

.section-heading {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(320px, 0.62fr);
  gap: 60px;
  align-items: end;
  margin-bottom: 58px;
}

.section-heading h2 {
  max-width: 900px;
  margin: 0;
  font-size: clamp(42px, 4vw, 68px);
  letter-spacing: -0.05em;
  line-height: 1.02;
}

.section-heading > p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 19px;
}

.example-tabs {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 10px;
  margin-bottom: 16px;
}

.example-tab {
  padding: 17px 20px;
  border: 1px solid var(--line);
  border-radius: 14px;
  background: transparent;
  color: var(--ink-soft);
  cursor: pointer;
  font-size: 16px;
  font-weight: 750;
  text-align: left;
}

.example-tab span {
  margin-right: 10px;
  color: var(--teal);
  font-family: var(--mono);
}

.example-tab.is-active {
  border-color: var(--ink);
  background: var(--ink);
  color: white;
}

.example-tab.is-active span {
  color: var(--acid);
}

.compiler-card {
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: 28px;
  background: var(--paper-light);
  box-shadow: var(--shadow);
}

.compiler-card-header {
  display: flex;
  justify-content: space-between;
  gap: 40px;
  align-items: center;
  padding: 30px 34px;
  border-bottom: 1px solid var(--line);
}

.compiler-card-header p {
  margin: 0 0 5px;
  color: var(--teal);
  font: 800 12px var(--mono);
  letter-spacing: 0.08em;
}

.compiler-card-header h3 {
  margin: 0;
  font-size: 29px;
  letter-spacing: -0.03em;
}

.compiler-card-header span {
  color: var(--ink-soft);
}

.verdict-chip {
  flex: 0 0 auto;
  padding: 10px 15px;
  border-radius: 999px;
  background: #d9d6cc;
  font: 800 13px var(--mono);
}

.verdict-chip[data-verdict="compiled"] {
  background: var(--teal-light);
  color: #07584f;
}

.verdict-chip[data-verdict="rejected"] {
  background: var(--orange-light);
  color: #742619;
}

.workbench {
  display: grid;
  grid-template-columns: minmax(0, 0.95fr) minmax(300px, 0.75fr) minmax(0, 1fr);
  min-height: 650px;
}

.code-panel,
.inspection-panel,
.artifact-panel {
  min-width: 0;
  border-right: 1px solid var(--line);
}

.artifact-panel {
  border-right: 0;
}

.code-panel,
.artifact-panel {
  display: flex;
  flex-direction: column;
  background: #172235;
  color: #e7ebf1;
}

.panel-toolbar,
.panel-label {
  display: flex;
  justify-content: space-between;
  align-items: center;
  min-height: 52px;
  padding: 0 18px;
  border-bottom: 1px solid rgb(255 255 255 / 10%);
  color: #aeb8c8;
  font: 700 12px var(--mono);
  letter-spacing: 0.05em;
}

.panel-toolbar button {
  border: 0;
  background: transparent;
  color: var(--acid);
  cursor: pointer;
  font: 700 12px var(--mono);
}

pre {
  margin: 0;
}

.code-panel pre,
.artifact-panel pre {
  flex: 1;
  max-height: 650px;
  overflow: auto;
  padding: 22px;
}

.code-panel code,
.artifact-panel code {
  font: 14px/1.65 var(--mono);
  white-space: pre;
}

.inspection-panel {
  overflow: auto;
  background: #ebe7dc;
}

.inspection-block + .inspection-block {
  border-top: 1px solid var(--line);
}

.inspection-block .panel-label {
  border-color: var(--line);
  color: var(--ink-soft);
}

#diagnostic-list,
#decision-list {
  display: grid;
  gap: 10px;
  padding: 16px;
}

.diagnostic,
.decision,
.empty-state {
  padding: 15px;
  border: 1px solid var(--line);
  border-radius: 12px;
  background: var(--paper-light);
}

.diagnostic > div {
  display: flex;
  justify-content: space-between;
  gap: 10px;
}

.diagnostic strong,
.decision strong {
  color: var(--teal);
  font: 750 13px var(--mono);
}

.diagnostic span {
  color: var(--red);
  font: 750 11px var(--mono);
  text-transform: uppercase;
}

.diagnostic p,
.decision p {
  margin: 8px 0;
  font-size: 14px;
  line-height: 1.45;
}

.diagnostic code,
.decision code {
  display: block;
  overflow-wrap: anywhere;
  color: var(--ink-soft);
  font: 11px/1.4 var(--mono);
}

.empty-state {
  display: grid;
  gap: 4px;
}

.empty-state strong {
  font-size: 14px;
}

.empty-state span {
  color: var(--ink-soft);
  font-size: 13px;
}

.layer-summary {
  display: flex;
  flex-wrap: wrap;
  gap: 6px;
  padding: 14px;
  border-bottom: 1px solid rgb(255 255 255 / 10%);
}

.layer-summary:empty {
  display: none;
}

.layer-summary span {
  padding: 5px 8px;
  border: 1px solid rgb(167 216 206 / 35%);
  border-radius: 999px;
  color: var(--teal-light);
  font: 10px var(--mono);
}

.artifact-empty {
  color: #f0a68c;
}

.compiler-boundary {
  display: flex;
  gap: 16px;
  padding: 18px 26px;
  border-top: 1px solid var(--line);
  background: var(--acid);
  font-size: 14px;
}

.compiler-boundary strong {
  flex: 0 0 auto;
}

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

.primary-result {
  padding: clamp(30px, 5vw, 62px);
  border-radius: 28px;
  background: var(--ink);
  color: white;
}

.result-kicker {
  color: var(--acid);
  font: 750 13px var(--mono);
  letter-spacing: 0.07em;
}

.yield-grid {
  display: grid;
  grid-template-columns: 1fr auto 1fr minmax(220px, 0.7fr);
  gap: 26px;
  align-items: center;
  margin: 34px 0;
}

.yield-grid span,
.yield-grid small,
.yield-grid strong {
  display: block;
}

.yield-grid span,
.yield-grid small {
  color: #b9c3d1;
}

.yield-grid strong {
  margin: 4px 0;
  font-size: clamp(34px, 4vw, 58px);
  letter-spacing: -0.04em;
}

.yield-arrow {
  color: var(--acid);
  font: 700 36px var(--mono);
}

.yield-atlaspec strong {
  color: var(--teal-light);
}

.yield-delta {
  padding: 20px;
  border-left: 1px solid #4e5a6e;
}

.yield-delta strong {
  color: var(--acid);
}

.primary-result > p {
  max-width: 900px;
  margin: 0;
  color: #c9d1dc;
}

.secondary-grid {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 16px;
  margin-top: 16px;
}

.secondary-grid article {
  padding: 28px;
  border: 1px solid var(--line);
  border-radius: 20px;
  background: var(--paper-light);
}

.secondary-grid .missing-evidence {
  border-style: dashed;
}

.card-tag {
  color: var(--teal);
  font: 750 12px var(--mono);
  letter-spacing: 0.07em;
}

.secondary-grid h3 {
  margin: 14px 0 8px;
  font-size: 28px;
}

.secondary-grid p {
  margin: 0;
  color: var(--ink-soft);
}

.evidence-links {
  display: flex;
  gap: 24px;
  margin-top: 24px;
  font-size: 15px;
  font-weight: 800;
}

.evidence-links a:hover {
  color: var(--teal);
}

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

.boundary-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 16px;
}

.boundary-grid article {
  padding: clamp(28px, 4vw, 48px);
  border: 1px solid var(--line);
  border-radius: 24px;
}

.does-card {
  background: var(--teal);
  color: white;
}

.does-not-card {
  background: var(--paper-light);
}

.boundary-grid article > span {
  font: 750 13px var(--mono);
  letter-spacing: 0.08em;
}

.boundary-grid ul {
  display: grid;
  gap: 15px;
  margin: 28px 0 0;
  padding-left: 22px;
}

.final-cta {
  display: flex;
  justify-content: space-between;
  gap: 50px;
  align-items: end;
  margin-top: 80px;
  padding-top: 56px;
  border-top: 1px solid var(--line);
}

.final-cta h2 {
  max-width: 850px;
  margin: 0;
  font-size: clamp(40px, 4vw, 66px);
  letter-spacing: -0.05em;
  line-height: 1;
}

.final-cta p:last-child {
  max-width: 800px;
  color: var(--ink-soft);
  font-size: 19px;
}

footer {
  display: flex;
  justify-content: space-between;
  gap: 24px;
  align-items: center;
  padding: 34px 4vw;
  border-top: 1px solid var(--line);
  color: var(--ink-soft);
  font-size: 14px;
}

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

  .pipeline-card {
    max-width: 720px;
  }

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

  .code-panel {
    grid-row: span 2;
  }

  .inspection-panel {
    border-right: 0;
  }

  .artifact-panel {
    border-top: 1px solid var(--line);
  }

  .yield-grid {
    grid-template-columns: 1fr auto 1fr;
  }

  .yield-delta {
    grid-column: 1 / -1;
    border-top: 1px solid #4e5a6e;
    border-left: 0;
  }
}

@media (max-width: 760px) {
  body {
    font-size: 16px;
  }

  .site-header {
    grid-template-columns: 1fr auto;
    min-height: 68px;
  }

  .site-header nav {
    display: none;
  }

  .hero {
    min-height: auto;
    padding: 70px 22px 82px;
  }

  .hero h1 {
    font-size: clamp(48px, 14vw, 70px);
  }

  .truth-strip,
  .example-tabs,
  .secondary-grid,
  .boundary-grid {
    grid-template-columns: 1fr;
  }

  .truth-strip div {
    padding: 18px 22px;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .section-shell {
    padding: 82px 22px;
  }

  .section-heading {
    grid-template-columns: 1fr;
    gap: 24px;
  }

  .section-heading h2 {
    font-size: 42px;
  }

  .compiler-card-header,
  .final-cta {
    align-items: flex-start;
    flex-direction: column;
  }

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

  .code-panel,
  .inspection-panel,
  .artifact-panel {
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .code-panel pre,
  .artifact-panel pre {
    max-height: 460px;
  }

  .compiler-boundary {
    flex-direction: column;
  }

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

  .yield-arrow {
    transform: rotate(90deg);
  }

  .evidence-links,
  footer {
    align-items: flex-start;
    flex-direction: column;
  }
}

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

  * {
    transition: none !important;
  }
}