:root {
  --bg: #0b0712;
  --bg-deep: #07050c;
  --surface: #120c1c;
  --panel: #15101e;
  --text: #f4eff9;
  --text-soft: #d7cde2;
  --muted: #a99ab8;
  --muted-dark: #756680;
  --line: #30243c;
  --line-strong: #4c3760;
  --purple: #aa72ff;
  --purple-soft: #d4b8ff;
  --teal: #2bd9c5;
  --green: #59dfa4;
  --amber: #f0bd56;
  --rose: #ff6f91;
  --blue: #78a9ff;
  --max: 1380px;
  --font: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --mono: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
}

* { box-sizing: border-box; }

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

body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: var(--font);
  font-size: 16px;
  line-height: 1.55;
  letter-spacing: 0;
  text-rendering: optimizeLegibility;
}

a { color: inherit; text-decoration: none; }
a:focus-visible { outline: 2px solid var(--teal); outline-offset: 4px; }
img { display: block; max-width: 100%; }
h1, h2, h3, p { margin-top: 0; }
h1, h2, h3 { line-height: 1.04; letter-spacing: 0; }
h1 { margin-bottom: 24px; font-size: 92px; }
h2 { max-width: 980px; margin-bottom: 24px; font-size: 60px; font-weight: 680; }
code { font-family: var(--mono); }

.skip-link {
  position: fixed;
  z-index: 200;
  top: 8px;
  left: 8px;
  padding: 9px 13px;
  border: 1px solid var(--teal);
  background: var(--bg-deep);
  transform: translateY(-160%);
}

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

.reading-progress {
  position: fixed;
  z-index: 160;
  inset: 0 0 auto;
  height: 3px;
  background: #1c1327;
}

.reading-progress__bar { width: 0; height: 100%; background: var(--teal); }

.brand {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  width: fit-content;
  font-size: 16px;
}

.brand img { width: 29px; height: 32px; object-fit: contain; }
.brand span { font-weight: 400; }
.brand strong { font-weight: 760; }
.brand small { margin-left: 6px; color: #5d5066; font: 10px var(--mono); text-transform: uppercase; }

main { overflow: hidden; }

.section {
  position: relative;
  min-height: 720px;
  padding: 104px 6.5vw;
  border-bottom: 1px solid var(--line);
  scroll-margin-top: 3px;
}

.section::after {
  position: absolute;
  right: 34px;
  bottom: 24px;
  color: var(--muted-dark);
  content: attr(data-index);
  font: 11px var(--mono);
}

.section--surface { background: var(--surface); }
.wrap { width: min(100%, var(--max)); margin: 0 auto; }

.eyebrow {
  display: flex;
  align-items: center;
  gap: 10px;
  margin-bottom: 18px;
  color: var(--teal);
  font: 12px var(--mono);
  text-transform: uppercase;
}

.eyebrow::before { width: 28px; height: 1px; background: currentColor; content: ""; }
.lede { max-width: 860px; color: var(--text-soft); font-size: 22px; line-height: 1.45; }

.section-head {
  display: grid;
  grid-template-columns: minmax(0, 1.35fr) minmax(280px, 0.65fr);
  gap: 70px;
  align-items: end;
  margin-bottom: 54px;
}

.section-head > * { min-width: 0; }

.section-head p:last-child { margin-bottom: 8px; color: var(--muted); font-size: 16px; }

.hero {
  display: grid;
  min-height: 100svh;
  align-items: center;
  padding-top: 82px;
  padding-bottom: 180px;
  background: var(--bg);
}

.hero__content { position: relative; z-index: 2; }
.hero__brand { display: flex; align-items: center; gap: 30px; margin: 0 0 30px; }
.hero__brand img { width: clamp(112px, 11vw, 168px); aspect-ratio: 1; object-fit: contain; filter: drop-shadow(0 18px 34px rgba(141, 71, 255, 0.2)); }
.hero__brand h1 { display: inline-flex; max-width: 850px; margin: 0; }
.hero__brand h1 strong { font-weight: 780; }
.hero__brand h1 span { font-weight: 400; }
.hero__lead { max-width: 850px; margin-bottom: 18px; color: var(--text); font-size: 30px; line-height: 1.28; }
.hero__copy { max-width: 720px; margin-bottom: 32px; color: var(--text-soft); font-size: 18px; }
.hero__actions, .finale__links { display: flex; flex-wrap: wrap; gap: 10px; }

.action {
  display: inline-flex;
  min-height: 44px;
  align-items: center;
  justify-content: center;
  padding: 0 17px;
  border: 1px solid var(--line-strong);
  border-radius: 5px;
  background: rgba(15, 10, 22, 0.78);
  color: var(--text-soft);
  font-size: 14px;
  font-weight: 650;
}

.action:hover { border-color: var(--purple); color: var(--text); }
.action--primary { border-color: #247b74; background: #0f3835; color: #d7fffa; }
.action--primary:hover { border-color: var(--teal); }

.hero__strip {
  position: absolute;
  z-index: 2;
  inset: auto 0 0;
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  border-top: 1px solid var(--line);
  background: rgba(8, 5, 13, 0.92);
}

.hero__strip div {
  display: grid;
  min-height: 96px;
  grid-template-columns: 32px 1fr;
  align-content: center;
  gap: 2px 12px;
  padding: 0 32px;
  border-right: 1px solid var(--line);
}

.hero__strip div:last-child { border-right: 0; }
.hero__strip span { grid-row: 1 / 3; color: var(--muted-dark); font: 11px var(--mono); }
.hero__strip strong { font-size: 14px; }
.hero__strip small { color: var(--muted); font-size: 13px; }

.delivery-flow {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  margin: 0;
  padding: 0;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
  list-style: none;
}

.delivery-flow li { min-height: 220px; padding: 28px 24px; border-right: 1px solid var(--line); }
.delivery-flow li:last-child { border-right: 0; }
.delivery-flow span, .guarantees span, .application-list span { display: block; margin-bottom: 34px; color: var(--teal); font: 11px var(--mono); }
.delivery-flow strong { display: block; margin-bottom: 11px; font-size: 18px; }
.delivery-flow p { margin: 0; color: var(--muted); font-size: 14px; }

.contract-line {
  display: grid;
  grid-template-columns: 1fr auto 1fr auto 1.15fr;
  align-items: center;
  gap: 15px;
  margin-top: 34px;
  color: var(--text-soft);
  font: 14px var(--mono);
}

.contract-line span, .contract-line strong { padding: 17px; border: 1px solid var(--line); border-radius: 5px; text-align: center; }
.contract-line strong { border-color: #276e68; background: #102d2c; color: #c7fff7; }
.contract-line i { color: var(--purple); font-style: normal; }

.comparison {
  display: grid;
  grid-template-columns: 1fr 1fr;
  margin-top: 48px;
  border: 1px solid var(--line);
  border-radius: 6px;
  overflow: hidden;
}

.comparison article { min-height: 240px; padding: 28px; background: var(--panel); }
.comparison article + article { border-left: 1px solid var(--line); }
.comparison__invariant { box-shadow: inset 3px 0 var(--teal); }
.comparison__title { display: flex; align-items: center; gap: 12px; margin-bottom: 42px; }
.comparison code { display: block; margin-bottom: 18px; color: var(--purple-soft); font-size: 15px; overflow-wrap: anywhere; }
.comparison p { max-width: 560px; margin: 0; color: var(--muted); font-size: 14px; }

.badge {
  display: inline-flex;
  min-height: 24px;
  align-items: center;
  padding: 0 9px;
  border: 1px solid var(--line-strong);
  border-radius: 999px;
  color: var(--muted);
  font: 11px var(--mono);
}

.badge--teal, .badge--valid { border-color: #286d66; background: #143c38; color: #99f5e9; }
.badge--error { border-color: #7d3047; background: #35131f; color: #ff9db4; }
.badge--violet { border-color: #5c3d83; background: #27153b; color: #d5b7ff; }

.set-diff {
  display: grid;
  grid-template-columns: 1fr auto 1fr 1.25fr;
  align-items: stretch;
  margin-top: 16px;
  border: 1px solid var(--line);
  border-radius: 6px;
  overflow: hidden;
}

.set-diff > div { display: grid; gap: 8px; padding: 23px; border-right: 1px solid var(--line); }
.set-diff > i { display: grid; width: 44px; place-items: center; border-right: 1px solid var(--line); color: var(--purple); font-style: normal; }
.set-diff small { color: var(--muted-dark); font: 11px var(--mono); }
.set-diff strong { font: 16px var(--mono); }
.set-diff span { color: var(--muted); font-size: 13px; }
.set-diff__result { border-right: 0 !important; background: #101f1e; }
.set-diff__result b { color: var(--amber); }
.set-diff__result em { color: var(--green); font-style: normal; }

.lifecycle-board { border: 1px solid var(--line-strong); border-radius: 6px; background: var(--bg-deep); overflow: hidden; }

.lifecycle-board__heading {
  display: flex;
  min-height: 78px;
  align-items: center;
  justify-content: space-between;
  gap: 24px;
  padding: 0 22px;
  border-bottom: 1px solid var(--line);
}

.lifecycle-board__heading div { display: grid; gap: 3px; }
.lifecycle-board__heading span { color: var(--teal); font: 11px var(--mono); text-transform: uppercase; }
.lifecycle-board__heading strong { font-size: 17px; }
.lifecycle-board__heading small { padding: 8px 10px; border: 1px solid var(--line); border-radius: 5px; color: var(--muted); font: 11px var(--mono); }
.lifecycle-scroll { padding: 18px; overflow-x: auto; }

.lifecycle-grid {
  display: grid;
  min-width: 1060px;
  grid-template-columns: 74px repeat(5, minmax(170px, 1fr));
  gap: 7px;
}

.lifecycle-corner, .lifecycle-step, .fingerprint-label, .lifecycle-cell { border: 1px solid var(--line); border-radius: 5px; }
.lifecycle-corner { display: grid; place-items: center; color: var(--muted-dark); font: 10px var(--mono); writing-mode: vertical-rl; transform: rotate(180deg); }

.lifecycle-step {
  position: relative;
  display: grid;
  min-height: 76px;
  align-content: center;
  gap: 2px;
  padding: 12px 14px;
  background: #160e20;
}

.lifecycle-step:not(:last-child)::after { position: absolute; z-index: 2; top: 50%; right: -13px; color: var(--purple); content: "→"; transform: translateY(-50%); }
.lifecycle-step span { color: var(--teal); font: 10px var(--mono); }
.lifecycle-step strong { font-size: 14px; }
.lifecycle-step small { color: var(--muted); font-size: 11px; }
.fingerprint-label { display: grid; min-height: 55px; place-items: center; background: #1b1028; font: 14px var(--mono); font-weight: 700; }
.lifecycle-cell { display: flex; min-height: 55px; align-items: center; justify-content: center; gap: 6px; background: #100b17; }
.lifecycle-cell--double { flex-wrap: wrap; }

.mini-state, .event {
  display: inline-flex;
  min-height: 21px;
  align-items: center;
  padding: 0 8px;
  border-radius: 999px;
  font: 10px var(--mono);
  font-weight: 700;
}

.mini-state--active { background: #3c1725; color: #ff91aa; }
.mini-state--accepted { background: #172946; color: #9bbcff; }
.mini-state--resolved { background: #153229; color: #81e6b6; }
.event { border: 1px solid #5b3a7d; background: #26163a; color: #d0b1f4; }
.event--new { border-color: #65502c; background: #322614; color: #f3c76c; }
.empty-state { color: var(--muted-dark); }

.lifecycle-notes { display: grid; grid-template-columns: repeat(3, 1fr); border-top: 1px solid var(--line); }
.lifecycle-notes > div { min-height: 122px; padding: 19px; border-right: 1px solid var(--line); }
.lifecycle-notes > div:last-child { border-right: 0; }
.lifecycle-notes span { display: block; margin-bottom: 13px; color: var(--teal); font: 10px var(--mono); }
.lifecycle-notes strong { display: block; margin-bottom: 7px; font-size: 14px; }
.lifecycle-notes p { margin: 0; color: var(--muted); font-size: 12px; }

.state-model { margin-top: 34px; border-top: 1px solid var(--line); }
.state-model > div { display: grid; min-height: 68px; grid-template-columns: 145px 180px 1fr; align-items: center; gap: 18px; border-bottom: 1px solid var(--line); }
.state-model strong { font-size: 14px; }
.state-model p { margin: 0; color: var(--muted); font-size: 13px; }

.state { width: fit-content; padding: 4px 10px; border: 1px solid currentColor; border-radius: 999px; font: 11px var(--mono); }
.state--candidate { color: var(--amber); }
.state--active { color: var(--rose); }
.state--accepted { color: var(--blue); }
.state--resolved { color: var(--green); }
.state--archived { color: var(--muted); }

.state-layers {
  display: grid;
  grid-template-columns: 1.3fr repeat(3, 1fr);
  margin-top: 30px;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.state-layers > div {
  min-height: 138px;
  padding: 20px;
  border-right: 1px solid var(--line);
}

.state-layers > div:last-child { border-right: 0; }
.state-layers__title { background: #100a18; }
.state-layers__title span { display: block; margin-bottom: 27px; color: var(--teal); font: 11px var(--mono); text-transform: uppercase; }
.state-layers__title strong { font-size: 15px; }
.state-layers small { display: block; margin-bottom: 28px; color: var(--muted-dark); font: 10px var(--mono); }
.state-layers strong { display: block; margin-bottom: 8px; font-size: 14px; }
.state-layers p { margin: 0; color: var(--muted); font-size: 12px; }

.time-truth {
  display: grid;
  min-height: 66px;
  grid-template-columns: 145px 1fr;
  align-items: center;
  gap: 18px;
  margin-top: 18px;
  padding: 0 20px;
  border: 1px solid var(--line);
  border-radius: 6px;
}

.time-truth span { color: var(--amber); font: 11px var(--mono); }
.time-truth p { margin: 0; color: var(--muted); font-size: 13px; }

.engine-rule {
  display: grid;
  min-height: 76px;
  grid-template-columns: auto auto 1fr;
  align-items: center;
  gap: 18px;
  margin-top: 22px;
  padding: 0 20px;
  border: 1px solid #592335;
  border-radius: 6px;
  background: #1b0d15;
}

.engine-rule strong { font-size: 14px; }
.engine-rule p { margin: 0; color: var(--muted); font-size: 13px; }

.definition-layout { display: grid; grid-template-columns: minmax(0, 0.8fr) minmax(520px, 1.2fr); column-gap: 70px; row-gap: 30px; align-items: start; }
.definition-facts { margin: 44px 0 0; border-top: 1px solid var(--line); }
.definition-facts div { display: grid; grid-template-columns: 120px 1fr; gap: 18px; padding: 15px 0; border-bottom: 1px solid var(--line); }
.definition-facts dt { color: var(--teal); font: 12px var(--mono); }
.definition-facts dd { margin: 0; color: var(--muted); font-size: 14px; }

.code-workspace { border: 1px solid var(--line-strong); border-radius: 6px; background: #09060e; overflow: hidden; }
.code-workspace__bar, .code-workspace__footer { display: flex; min-height: 47px; align-items: center; justify-content: space-between; gap: 14px; padding: 0 16px; border-bottom: 1px solid var(--line); color: var(--muted); font: 11px var(--mono); }
.code-workspace pre { max-width: 100%; margin: 0; padding: 22px; overflow: auto; color: var(--text-soft); font: 13px/1.7 var(--mono); }
.code-workspace__footer { min-height: 42px; justify-content: flex-start; border-top: 1px solid var(--line); border-bottom: 0; }
.code-workspace__footer span + span::before { margin-right: 10px; color: var(--muted-dark); content: "·"; }
.c-comment { color: #776884; }
.c-key { color: #c694ff; }
.c-string { color: #80d9c8; }
.c-sql { color: #ff83a2; }
.c-type { color: #82adff; }

.definition-guardrails {
  display: grid;
  grid-column: 1 / -1;
  grid-template-columns: repeat(4, 1fr);
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.definition-guardrails article {
  min-height: 154px;
  padding: 20px;
  border-right: 1px solid var(--line);
}

.definition-guardrails article:last-child { border-right: 0; }
.definition-guardrails span { display: block; margin-bottom: 28px; color: var(--teal); font: 10px var(--mono); }
.definition-guardrails strong { display: block; margin-bottom: 8px; font-size: 14px; }
.definition-guardrails p { margin: 0; color: var(--muted); font-size: 12px; }

.generation-panel {
  grid-column: 1 / -1;
  border: 1px solid var(--line-strong);
  border-radius: 6px;
  background: var(--bg-deep);
  overflow: hidden;
}

.generation-panel__head {
  display: flex;
  min-height: 72px;
  align-items: center;
  justify-content: space-between;
  gap: 24px;
  padding: 0 20px;
  border-bottom: 1px solid var(--line);
}

.generation-panel__head div { display: grid; gap: 3px; }
.generation-panel__head span { color: var(--teal); font: 10px var(--mono); text-transform: uppercase; }
.generation-panel__head strong { font-size: 14px; }
.generation-panel__head small { color: var(--muted-dark); font: 10px var(--mono); }

.generation-flow {
  display: grid;
  grid-template-columns: 1fr auto 1fr auto 1fr auto 1.2fr;
  align-items: stretch;
  padding: 18px;
  overflow-x: auto;
}

.generation-flow > div {
  display: grid;
  min-width: 180px;
  min-height: 112px;
  align-content: center;
  gap: 5px;
  padding: 16px;
  border: 1px solid var(--line);
  border-radius: 5px;
  background: #120c1b;
}

.generation-flow > i { display: grid; width: 38px; place-items: center; color: var(--purple); font-style: normal; }
.generation-flow span { color: var(--teal); font: 10px var(--mono); }
.generation-flow strong { font-size: 14px; }
.generation-flow small { color: var(--muted); font-size: 11px; }
.generation-flow__result { border-color: #286a64 !important; background: #102320 !important; }
.generation-panel__note { margin: 0; padding: 14px 20px; border-top: 1px solid var(--line); color: var(--muted); font-size: 12px; }

.architecture-flow { display: grid; grid-template-columns: 1fr auto 1fr auto 1fr auto 1fr; align-items: stretch; margin-top: 50px; overflow-x: auto; }
.architecture-flow > div { min-width: 220px; min-height: 210px; padding: 25px; border: 1px solid var(--line); border-radius: 6px; background: var(--panel); }
.architecture-flow > i { display: grid; width: 52px; place-items: center; color: var(--purple); font-style: normal; }
.architecture-flow span { display: block; margin-bottom: 47px; color: var(--teal); font: 11px var(--mono); }
.architecture-flow strong { display: block; margin-bottom: 12px; font-size: 17px; }
.architecture-flow p { margin: 0; color: var(--muted); font-size: 13px; }

.guarantees { display: grid; grid-template-columns: repeat(4, 1fr); margin-top: 26px; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.guarantees article { min-height: 170px; padding: 22px; border-right: 1px solid var(--line); }
.guarantees article:last-child { border-right: 0; }
.guarantees span { margin-bottom: 27px; }
.guarantees strong { display: block; margin-bottom: 9px; font-size: 14px; }
.guarantees p { margin: 0; color: var(--muted); font-size: 13px; }

.product-preview {
  margin: 34px 0 0;
  border: 1px solid var(--line-strong);
  border-radius: 6px;
  background: var(--bg-deep);
  overflow: hidden;
}

.product-preview img { width: 100%; }

.product-preview figcaption {
  display: flex;
  min-height: 54px;
  align-items: center;
  gap: 18px;
  padding: 0 18px;
  border-top: 1px solid var(--line);
}

.product-preview figcaption strong { color: var(--teal); font: 11px var(--mono); text-transform: uppercase; }
.product-preview figcaption span { color: var(--muted); font-size: 13px; }

.self-consistency {
  display: grid;
  grid-template-columns: auto 1fr minmax(240px, 0.55fr);
  align-items: center;
  gap: 20px;
  margin-top: 22px;
  padding: 19px;
  border: 1px solid #2b665f;
  border-radius: 6px;
  background: #0e211f;
}

.self-consistency strong { display: block; margin-bottom: 5px; font-size: 14px; }
.self-consistency p { margin: 0; color: #9bbcb7; font-size: 13px; }
.self-consistency > small { color: #71928d; font: 10px/1.6 var(--mono); }

.boundary-table { margin-top: 34px; border: 1px solid var(--line); border-radius: 6px; overflow-x: auto; }
.boundary-table > div { display: grid; min-width: 880px; grid-template-columns: 0.8fr 1fr 1.35fr 0.8fr; }
.boundary-table > div > * { min-height: 64px; padding: 14px 16px; border-right: 1px solid var(--line); border-bottom: 1px solid var(--line); color: var(--muted); font-size: 13px; }
.boundary-table > div > *:last-child { border-right: 0; }
.boundary-table > div:last-child > * { border-bottom: 0; }
.boundary-table__head > * { min-height: 42px !important; color: var(--muted-dark) !important; font: 11px var(--mono) !important; text-transform: uppercase; }
.boundary-table strong { color: var(--text-soft) !important; }
.boundary-table__primary > * { background: #102421; color: #bfece4 !important; }
.boundary-table__primary strong { color: var(--teal) !important; }

.ai-boundary { display: grid; grid-template-columns: auto 1fr auto; align-items: center; gap: 18px; margin-top: 24px; padding: 18px; border: 1px solid #513570; border-radius: 6px; background: #180f25; }
.ai-boundary p { margin: 0; color: var(--muted); font-size: 13px; }
.ai-boundary code { color: var(--purple-soft); font-size: 12px; }

.applications-layout { display: grid; grid-template-columns: minmax(0, 0.8fr) minmax(500px, 1.2fr); gap: 85px; }
.application-list { margin: 0; padding: 0; border-top: 1px solid var(--line); list-style: none; }
.application-list li { display: grid; min-height: 86px; grid-template-columns: 40px 210px 1fr; align-items: center; gap: 14px; border-bottom: 1px solid var(--line); }
.application-list span { margin: 0; }
.application-list strong { font-size: 14px; }
.application-list p { margin: 0; color: var(--muted); font-size: 13px; }

.finale { display: grid; min-height: 100svh; align-items: center; background: var(--bg-deep); }
.finale__content { padding-bottom: 100px; }
.finale h2 { max-width: 1100px; font-size: 72px; }
.finale__formula { display: flex; flex-wrap: wrap; align-items: center; gap: 9px; max-width: 1100px; margin: 45px 0 34px; font: 12px var(--mono); }
.finale__formula span, .finale__formula strong { padding: 11px 13px; border: 1px solid var(--line); border-radius: 5px; color: var(--muted); }
.finale__formula strong { border-color: #286e67; background: #102c2a; color: #c9fff8; }
.finale__formula i { color: var(--purple); font-style: normal; }

footer { position: absolute; inset: auto 6.5vw 0; display: flex; min-height: 100px; align-items: center; justify-content: space-between; gap: 24px; border-top: 1px solid var(--line); color: var(--muted-dark); font-size: 12px; }
footer p { margin: 0; }

.reveal { opacity: 0; transform: translateY(16px); transition: opacity 480ms ease, transform 480ms ease; }
.reveal.is-visible { opacity: 1; transform: none; }

@media (max-width: 1180px) {
  h2 { font-size: 50px; }
  .section { padding-right: 5vw; padding-left: 5vw; }
  .definition-layout, .applications-layout { grid-template-columns: 1fr; }
  .definition-copy { max-width: 820px; }
  .guarantees { grid-template-columns: repeat(2, 1fr); }
  .guarantees article:nth-child(2) { border-right: 0; }
  .guarantees article:nth-child(n + 3) { border-top: 1px solid var(--line); }
  .definition-guardrails { grid-template-columns: repeat(2, 1fr); }
  .definition-guardrails article:nth-child(2) { border-right: 0; }
  .definition-guardrails article:nth-child(-n + 2) { border-bottom: 1px solid var(--line); }
}

@media (max-width: 940px) {
  .delivery-flow { grid-template-columns: repeat(2, 1fr); }
  .delivery-flow li:nth-child(2) { border-right: 0; }
  .delivery-flow li:nth-child(-n + 2) { border-bottom: 1px solid var(--line); }
  .set-diff { grid-template-columns: 1fr 1fr; }
  .set-diff > i { display: none; }
  .set-diff__result { grid-column: 1 / -1; border-top: 1px solid var(--line); }
  .lifecycle-notes { grid-template-columns: 1fr; }
  .lifecycle-notes > div { min-height: 0; border-right: 0; border-bottom: 1px solid var(--line); }
  .lifecycle-notes > div:last-child { border-bottom: 0; }
  .state-layers { grid-template-columns: repeat(2, 1fr); }
  .state-layers > div:nth-child(2) { border-right: 0; }
  .state-layers > div:nth-child(-n + 2) { border-bottom: 1px solid var(--line); }
  .self-consistency { grid-template-columns: auto 1fr; }
  .self-consistency > small { grid-column: 2; }
}

@media (max-width: 720px) {
  h1 { font-size: 56px; }
  h2, .finale h2 { font-size: 36px; }
  .brand small { display: none; }
  .section { min-height: 0; padding: 78px 20px; }
  .hero { min-height: 100svh; padding-top: 64px; padding-bottom: 270px; }
  .hero__brand { gap: 18px; }
  .hero__brand img { width: 88px; }
  .hero__lead { font-size: 23px; }
  .hero__copy { font-size: 15px; }
  .hero__strip { grid-template-columns: 1fr; padding: 0 20px; }
  .hero__strip div { min-height: 72px; padding: 0; border-right: 0; border-bottom: 1px solid var(--line); }
  .hero__strip div:last-child { border-bottom: 0; }
  .section-head { grid-template-columns: 1fr; gap: 20px; }
  .lede { font-size: 18px; }
  .delivery-flow, .comparison { grid-template-columns: 1fr; }
  .delivery-flow li, .delivery-flow li:nth-child(2) { min-height: 0; border-right: 0; border-bottom: 1px solid var(--line); }
  .comparison article + article { border-top: 1px solid var(--line); border-left: 0; }
  .comparison__invariant { box-shadow: inset 0 3px var(--teal); }
  .contract-line { grid-template-columns: 1fr; }
  .contract-line i { text-align: center; }
  .lifecycle-board__heading { align-items: flex-start; flex-direction: column; padding: 18px; }
  .state-model > div { grid-template-columns: 118px 1fr; padding: 16px 0; }
  .state-model p { grid-column: 1 / -1; }
  .state-layers { grid-template-columns: 1fr; }
  .state-layers > div, .state-layers > div:nth-child(2) { min-height: 0; border-right: 0; border-bottom: 1px solid var(--line); }
  .state-layers > div:last-child { border-bottom: 0; }
  .time-truth { grid-template-columns: 1fr; padding: 16px; }
  .engine-rule, .ai-boundary { grid-template-columns: 1fr; padding: 18px; }
  .code-workspace pre { font-size: 12px; }
  .architecture-flow { grid-template-columns: repeat(7, max-content); padding-bottom: 10px; }
  .guarantees { grid-template-columns: 1fr; }
  .guarantees article, .guarantees article:nth-child(2) { min-height: 0; border-top: 0; border-right: 0; border-bottom: 1px solid var(--line); }
  .application-list li { grid-template-columns: 34px 1fr; padding: 16px 0; }
  .application-list p { grid-column: 2; }
  .generation-panel__head { align-items: flex-start; flex-direction: column; padding: 17px; }
  .generation-flow { grid-template-columns: repeat(7, max-content); }
  .self-consistency { grid-template-columns: 1fr; }
  .self-consistency > small { grid-column: auto; }
  .finale { min-height: 850px; }
  footer { right: 20px; left: 20px; align-items: flex-start; flex-direction: column; justify-content: center; }
}

@media (max-width: 480px) {
  h2, .finale h2 { font-size: 34px; }
  .hero__brand { align-items: flex-start; flex-direction: column; gap: 12px; }
  .hero__actions, .finale__links { align-items: stretch; flex-direction: column; }
  .action { width: 100%; }
  .set-diff { grid-template-columns: 1fr; }
  .set-diff > div { border-right: 0; border-bottom: 1px solid var(--line); }
  .set-diff__result { grid-column: auto; }
  .definition-facts div { grid-template-columns: 1fr; gap: 5px; }
  .definition-guardrails { grid-template-columns: 1fr; }
  .definition-guardrails article, .definition-guardrails article:nth-child(2) { min-height: 0; border-right: 0; border-bottom: 1px solid var(--line); }
  .definition-guardrails article:last-child { border-bottom: 0; }
  .finale__formula { align-items: stretch; flex-direction: column; }
  .finale__formula i { text-align: center; }
}

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  .reveal { opacity: 1; transform: none; transition: none; }
}