:root {
  --paper: #10110f;
  --surface: #171815;
  --surface-2: #1d1e1a;
  --surface-3: #242520;
  --ink: #efefe9;
  --muted: #a5a69f;
  --soft: #cacbc4;
  --line: #353632;
  --line-strong: #4a4b46;
  --signal: #f2f2ed;
  --inverse: #11120f;
  --mono: "DM Mono", ui-monospace, SFMono-Regular, Menlo, monospace;
  --sans: "Manrope", system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  color-scheme: dark;
}

*, *::before, *::after { box-sizing: border-box; }
html { scroll-behavior: smooth; background: var(--paper); }
body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font-family: var(--sans);
  font-size: 15px;
  line-height: 1.65;
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
}
body, button, a { -webkit-tap-highlight-color: transparent; }
a, button { font: inherit; }
a { color: inherit; }
button { color: inherit; }
code, pre { font-family: var(--mono); }
::selection { background: var(--signal); color: var(--inverse); }

.skip-link {
  position: fixed;
  z-index: 100;
  top: 12px;
  left: 12px;
  padding: 12px 16px;
  background: var(--signal);
  color: var(--inverse);
  transform: translateY(-150%);
  transition: transform .2s ease;
}
.skip-link:focus { transform: translateY(0); }
.noise {
  position: fixed;
  inset: 0;
  z-index: 20;
  pointer-events: none;
  opacity: .025;
  background-image: url("data:image/svg+xml,%3Csvg viewBox='0 0 180 180' xmlns='http://www.w3.org/2000/svg'%3E%3Cfilter id='n'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='.9' numOctaves='4' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23n)' opacity='.8'/%3E%3C/svg%3E");
}
.scroll-progress { position: fixed; z-index: 30; inset: 0 0 auto; height: 2px; }
.scroll-progress span { display: block; width: 0; height: 100%; background: var(--signal); }
.shell { width: min(1280px, calc(100% - 64px)); margin-inline: auto; }

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

.nav {
  height: 92px;
  border-bottom: 1px solid var(--line);
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 24px;
}
.mark {
  min-height: 44px;
  display: flex;
  align-items: center;
  gap: 10px;
  min-width: 142px;
  color: inherit;
  text-decoration: none;
  font: 500 10px/1.15 var(--mono);
  letter-spacing: .08em;
}
.mark svg { width: 30px; height: 30px; fill: var(--ink); stroke: var(--ink); stroke-width: 1.2; }
.nav nav { display: flex; justify-content: center; gap: clamp(16px, 2.2vw, 34px); }
.nav nav a {
  min-height: 44px;
  display: inline-flex;
  align-items: center;
  color: inherit;
  text-decoration: none;
  font-size: 12px;
  white-space: nowrap;
  transition: opacity .2s ease;
}
.nav nav a:hover { opacity: .55; }
.nav-actions { display: flex; align-items: center; gap: 22px; }
.language-switch { display: flex; border: 1px solid var(--line); border-radius: 999px; padding: 3px; }
.language-switch button {
  min-width: 38px;
  min-height: 36px;
  border: 0;
  border-radius: 999px;
  background: transparent;
  color: var(--muted);
  cursor: pointer;
  font: 500 10px var(--mono);
  transition: background .2s ease, color .2s ease;
}
.language-switch button[aria-pressed="true"] { background: var(--signal); color: var(--inverse); }
.nav-cta {
  min-height: 44px;
  display: inline-flex;
  align-items: center;
  gap: 14px;
  border-bottom: 1px solid var(--ink);
  color: inherit;
  text-decoration: none;
  font: 500 10px var(--mono);
  text-transform: uppercase;
  letter-spacing: .05em;
}

.hero { min-height: min(850px, calc(100vh - 20px)); padding: 100px 0 46px; display: flex; flex-direction: column; }
.eyebrow, .section-label {
  font: 500 10px var(--mono);
  letter-spacing: .14em;
  text-transform: uppercase;
}
.eyebrow { display: flex; align-items: center; gap: 12px; color: var(--soft); }
.eyebrow > span:first-child { width: 34px; height: 1px; background: currentColor; }
h1 {
  max-width: 1200px;
  margin: 74px 0 64px;
  font-size: clamp(58px, 8.6vw, 132px);
  font-weight: 500;
  line-height: .89;
  letter-spacing: -.068em;
  overflow-wrap: break-word;
  hyphens: none;
}
h1 em, h2 em, blockquote em { color: var(--muted); font-style: normal; font-weight: 400; }
.hero-bottom { display: flex; align-items: center; justify-content: flex-end; gap: 90px; }
.hero-bottom > p { max-width: 500px; margin: 0; font-size: 18px; line-height: 1.58; }
.round-link {
  flex: 0 0 auto;
  width: 116px;
  height: 116px;
  border: 1px solid var(--ink);
  border-radius: 50%;
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  color: inherit;
  text-align: center;
  text-decoration: none;
  font: 10px/1.35 var(--mono);
  text-transform: uppercase;
  transition: background .25s ease, color .25s ease, transform .25s ease;
}
.round-link b { margin-top: 6px; font-size: 18px; }
.round-link:hover { background: var(--signal); color: var(--inverse); transform: rotate(4deg); }
.hero-meta { margin-top: auto; padding-top: 52px; display: flex; align-items: center; gap: 8px; }
.evidence-chip {
  min-height: 30px;
  padding: 0 11px;
  border: 1px solid var(--line);
  border-radius: 999px;
  display: inline-flex;
  align-items: center;
  gap: 7px;
  color: var(--muted);
  font: 9px var(--mono);
  letter-spacing: .06em;
  text-transform: uppercase;
}
.evidence-chip i { width: 6px; height: 6px; border-radius: 50%; background: var(--signal); }
.evidence-chip.checked { color: var(--ink); border-color: var(--line-strong); }
.hero-date { margin-left: auto; color: var(--muted); font: 9px var(--mono); }

.scope-note { min-height: 82px; border: 1px solid var(--line); display: grid; grid-template-columns: 112px 1fr; align-items: stretch; }
.scope-note > span { border-right: 1px solid var(--line); display: grid; place-items: center; color: var(--muted); font: 10px var(--mono); }
.scope-note p { margin: 0; padding: 24px 30px; color: var(--soft); font-size: 13px; }

.question { padding: 150px 0; }
.question-grid { margin-top: 38px; display: grid; grid-template-columns: 1.55fr .85fr; gap: 110px; }
.large-copy { margin: 0; font-size: clamp(30px, 3.5vw, 50px); line-height: 1.25; letter-spacing: -.038em; }
.question-grid > div { padding-top: 12px; color: var(--soft); font-size: 16px; }

.collision-section { padding: 140px 0; background: #090a09; }
.section-head { margin-bottom: 72px; display: grid; grid-template-columns: 1.55fr .85fr; gap: 90px; align-items: end; }
.section-head h2 {
  margin: 28px 0 0;
  font-size: clamp(44px, 5.5vw, 78px);
  font-weight: 500;
  line-height: 1;
  letter-spacing: -.058em;
  overflow-wrap: anywhere;
  hyphens: auto;
}
.section-head > p, .head-copy > p { margin: 0; color: var(--muted); font-size: 15px; }
.head-copy .rule-display { margin-top: 24px; }
.head-copy small { display: block; margin-top: 8px; color: var(--muted); font: 10px var(--mono); }
.light { color: var(--muted); }
.rule-display { display: flex; align-items: center; gap: 13px; color: var(--ink); font: 11px var(--mono); }
.rule-display i { color: var(--muted); font-style: normal; font-size: 18px; }

.lab { border: 1px solid var(--line-strong); background: var(--surface); }
.lab-toolbar { min-height: 78px; border-bottom: 1px solid var(--line); display: flex; align-items: stretch; justify-content: space-between; }
.state-switch { display: flex; }
.state-switch button {
  min-width: 156px;
  min-height: 76px;
  padding: 10px 24px;
  border: 0;
  border-right: 1px solid var(--line);
  background: transparent;
  color: var(--muted);
  cursor: pointer;
  font: 11px var(--mono);
  transition: background .2s ease, color .2s ease;
}
.state-switch button small { display: block; margin-top: 4px; font: 9px var(--mono); letter-spacing: .08em; text-transform: uppercase; }
.state-switch button.active, .state-switch button[aria-pressed="true"] { background: var(--signal); color: var(--inverse); }
.lab-status { padding: 0 24px; display: flex; align-items: center; gap: 10px; font: 10px var(--mono); letter-spacing: .08em; text-transform: uppercase; }
.pulse { width: 7px; height: 7px; border-radius: 50%; background: var(--signal); box-shadow: 0 0 0 0 rgba(240,240,235,.35); animation: pulse 2s infinite; }
@keyframes pulse { 70% { box-shadow: 0 0 0 9px rgba(240,240,235,0); } }
.match-row { min-height: 58px; padding: 8px 20px; border-bottom: 1px solid var(--line); display: flex; align-items: center; gap: 18px; color: var(--muted); font: 10px var(--mono); text-transform: uppercase; }
.match-switch { display: flex; gap: 7px; }
.match-switch button { min-height: 36px; padding: 0 14px; border: 1px solid var(--line-strong); border-radius: 999px; background: transparent; cursor: pointer; font: 10px var(--mono); }
.match-switch button[aria-pressed="true"] { background: var(--ink); color: var(--inverse); }
.match-hint { margin-left: auto; color: #898a84; }
.graph-stage { min-height: 450px; display: grid; grid-template-columns: 1fr 180px 1fr; }
.graph-panel { min-width: 0; padding: 24px; display: flex; flex-direction: column; }
.source-panel { border-right: 1px solid var(--line); }
.result-panel { border-left: 1px solid var(--line); }
.panel-meta { display: flex; justify-content: space-between; gap: 18px; color: var(--muted); font: 9px var(--mono); letter-spacing: .08em; text-transform: uppercase; }
.graph { width: 100%; height: 300px; overflow: visible; transition: opacity .28s ease, filter .28s ease; }
.graph.ghost { opacity: .08; filter: blur(1px); }
.graph[aria-hidden="true"] { pointer-events: none; }
.graph .edge { fill: none; stroke: #c8c9c2; stroke-width: 1.7; marker-end: url(#arrowSource); transition: stroke .25s ease, stroke-width .25s ease, opacity .25s ease; }
.result-panel .graph .edge { marker-end: url(#arrowResult); }
.graph marker path { fill: #c8c9c2; }
.graph .edge.hot { stroke: #fff; stroke-width: 3; }
.graph .edge.dim { opacity: .32; }
.graph .node circle { fill: var(--surface); stroke: var(--ink); stroke-width: 1.5; transition: fill .25s ease, stroke .25s ease; }
.graph .node text { fill: var(--ink); font: 11px var(--mono); text-anchor: middle; dominant-baseline: middle; }
.graph .node.hot circle { fill: var(--signal); stroke: var(--signal); }
.graph .node.hot text { fill: var(--inverse); }
.formula { min-height: 26px; text-align: center; color: var(--muted); font: 11px var(--mono); overflow-wrap: anywhere; }
.rewrite-control { padding: 20px; display: flex; flex-direction: column; align-items: center; justify-content: center; text-align: center; }
.rewrite-button {
  width: 116px;
  height: 116px;
  border: 1px solid var(--ink);
  border-radius: 50%;
  background: transparent;
  color: var(--ink);
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  cursor: pointer;
  font: 10px var(--mono);
  text-transform: uppercase;
  transition: background .25s ease, color .25s ease, transform .25s ease;
}
.rewrite-button b { font: italic 24px Georgia, serif; }
.rewrite-button:hover { background: var(--signal); color: var(--inverse); transform: scale(1.035); }
.rewrite-button:disabled { opacity: .5; cursor: wait; transform: none; }
.rewrite-control > p { max-width: 130px; margin: 13px 0 0; color: var(--muted); font: 9px/1.5 var(--mono); }
.lab-note { min-height: 78px; border-top: 1px solid var(--line); display: grid; grid-template-columns: 72px 1fr; align-items: stretch; }
.lab-note > span { border-right: 1px solid var(--line); display: grid; place-items: center; color: var(--ink); font: 10px var(--mono); }
.lab-note p { margin: 0; padding: 20px 24px; align-self: center; color: var(--soft); font-size: 13px; }
.collision-tracker { min-height: 64px; padding: 12px 20px; border-top: 1px solid var(--line); display: grid; grid-template-columns: 1fr auto 1fr; align-items: center; gap: 20px; color: var(--muted); font: 9px var(--mono); text-transform: uppercase; letter-spacing: .06em; }
.collision-tracker > div { display: flex; gap: 7px; }
.collision-tracker b { padding: 7px 10px; border: 1px solid var(--line); border-radius: 999px; color: #6e6f69; font-weight: 400; transition: color .2s ease, border .2s ease, background .2s ease; }
.collision-tracker b.reached { border-color: var(--ink); color: var(--ink); }
.collision-tracker b.reached::before { content: "✓ "; }
.collision-tracker strong { justify-self: end; color: var(--soft); font-weight: 400; }
.collision-tracker.complete strong { color: var(--ink); }
.iso-caption { max-width: 750px; margin: 30px 0 0 auto; color: var(--muted); font-size: 12px; }
.proof-in-brief { margin-top: 100px; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); display: grid; grid-template-columns: repeat(3, 1fr); }
.proof-in-brief article { position: relative; min-width: 0; padding: 36px 32px 44px; border-right: 1px solid var(--line); }
.proof-in-brief article:last-child { border-right: 0; }
.proof-in-brief article > b { position: absolute; right: 28px; color: var(--muted); font: 10px var(--mono); }
.proof-in-brief article > span { color: var(--muted); font: 9px var(--mono); letter-spacing: .1em; }
.proof-in-brief h3 { margin: 62px 0 15px; font-size: 19px; font-weight: 500; line-height: 1.35; }
.proof-in-brief p { margin: 0; color: var(--muted); font-size: 13px; }

.converse-section { padding: 150px 0; border-top: 1px solid var(--line); background: var(--paper); }
.converse-status { margin-top: 24px; display: flex; flex-wrap: wrap; gap: 8px; }
.axis-strip { margin-bottom: 28px; display: grid; grid-template-columns: repeat(2, 1fr); border: 1px solid var(--line-strong); background: var(--surface); }
.axis-strip article { min-width: 0; min-height: 134px; padding: 28px 30px; display: grid; grid-template-columns: 58px 1fr auto; align-items: center; gap: 22px; border-right: 1px solid var(--line); }
.axis-strip article:last-child { border-right: 0; }
.axis-strip article > span { color: var(--ink); font: 500 19px var(--mono); }
.axis-strip article > b { padding: 7px 10px; border: 1px solid var(--line-strong); color: var(--soft); font: 500 9px var(--mono); letter-spacing: .08em; }
.axis-strip h3 { margin: 0 0 7px; font-size: 18px; font-weight: 500; }
.axis-strip p { margin: 0; color: var(--muted); font-size: 12px; }

.research-lab { margin-top: 28px; border: 1px solid var(--line-strong); background: var(--surface); }
.research-lab-head { min-height: 92px; padding: 18px 22px 18px 30px; border-bottom: 1px solid var(--line); display: flex; align-items: center; justify-content: space-between; gap: 28px; }
.research-lab-head > div:first-child > span, .micro-label, .boundary-kicker { color: var(--muted); font: 9px var(--mono); letter-spacing: .1em; text-transform: uppercase; }
.research-lab-head h3 { margin: 7px 0 0; font-size: 23px; font-weight: 500; letter-spacing: -.02em; }
.segmented-control { min-width: max-content; padding: 3px; display: flex; border: 1px solid var(--line-strong); border-radius: 999px; }
.segmented-control button { min-width: 62px; min-height: 44px; padding: 0 15px; border: 0; border-radius: 999px; background: transparent; color: var(--muted); cursor: pointer; font: 500 10px var(--mono); transition: background .2s ease, color .2s ease; }
.segmented-control button:hover { color: var(--ink); }
.segmented-control button.active, .segmented-control button[aria-pressed="true"] { background: var(--signal); color: var(--inverse); }

.delta-grid { display: grid; grid-template-columns: 1.1fr .82fr 1fr; }
.delta-grid > div { min-width: 0; min-height: 310px; padding: 36px 34px; border-right: 1px solid var(--line); }
.delta-grid > div:last-child { border-right: 0; }
.rule-inspector { display: flex; flex-direction: column; }
.rule-inspector > strong { margin-top: 58px; font: 500 18px var(--mono); }
.equation-row { margin-top: 24px; display: flex; align-items: center; flex-wrap: wrap; gap: 10px; }
.equation-row code { padding: 8px 10px; border: 1px solid var(--line); color: var(--soft); font-size: 11px; overflow-wrap: anywhere; }
.equation-row i { color: var(--muted); font-style: normal; }
.rule-inspector > p { max-width: 460px; margin: auto 0 0; color: var(--muted); font-size: 12px; }
.vector-inspector { display: flex; flex-direction: column; justify-content: center; }
.vector-labels, .vector { display: grid; grid-template-columns: repeat(4, minmax(38px, 1fr)); }
.vector-labels { margin-top: 36px; color: var(--muted); font: 9px var(--mono); text-align: center; }
.vector { border: 1px solid var(--line-strong); }
.vector b { min-height: 52px; border-right: 1px solid var(--line); display: grid; place-items: center; font: 400 15px var(--mono); }
.vector b:last-child { border-right: 0; }
.swap-arrow { margin: 8px 0; color: var(--muted); font: 10px var(--mono); text-align: center; }
.criterion-card { display: flex; flex-direction: column; }
.criterion-card > strong { margin-top: 52px; font: 500 clamp(32px, 3vw, 48px) var(--mono); letter-spacing: -.06em; }
.criterion-card > p { margin: 20px 0 30px; color: var(--muted); font-size: 12px; }
.criterion-pass { margin-top: auto; display: inline-flex; align-items: center; gap: 9px; color: var(--soft); font: 9px var(--mono); letter-spacing: .06em; }
.criterion-pass i { width: 7px; height: 7px; border-radius: 50%; background: var(--signal); }
.grammar-strip { border-top: 1px solid var(--line); display: grid; grid-template-columns: repeat(3, 1fr); }
.grammar-strip article { min-height: 118px; padding: 24px 28px; border-right: 1px solid var(--line); display: flex; align-items: center; gap: 20px; }
.grammar-strip article:last-child { border-right: 0; }
.grammar-strip strong { min-width: 52px; font: 400 34px var(--mono); }
.grammar-strip span { color: var(--muted); font-size: 11px; }

.history-grid { display: grid; grid-template-columns: 1.15fr .85fr; }
.history-grid > div { min-width: 0; min-height: 395px; padding: 36px 34px; }
.occurrence-ledger { border-right: 1px solid var(--line); }
.occurrence-row, .produced-row { margin-top: 28px; display: grid; grid-template-columns: repeat(6, 1fr); gap: 7px; }
.occurrence-row > span, .produced-row > span { min-height: 57px; border: 1px solid var(--line-strong); display: flex; flex-direction: column; align-items: center; justify-content: center; color: var(--soft); font: 11px var(--mono); transition: opacity .2s ease, background .2s ease, color .2s ease; }
.occurrence-row b, .produced-row b { color: var(--muted); font-size: 8px; font-weight: 400; }
.occurrence-row > span.spent { opacity: .32; background: var(--surface-2); }
.produced-row { max-width: 50%; margin-top: 9px; grid-template-columns: repeat(3, 1fr); }
.second-produced-row { margin-top: 7px; }
.produced-row > span { opacity: .18; }
.produced-row > span.produced { opacity: 1; }
.produced-row > span.consumed-output { outline: 1px solid var(--ink); outline-offset: -4px; }
.event-supports { margin-top: 26px; border-top: 1px solid var(--line); }
.event-supports > div { min-height: 54px; border-bottom: 1px solid var(--line); display: grid; grid-template-columns: 48px 1fr; align-items: center; opacity: .22; transition: opacity .2s ease; }
.event-supports > div.is-active { opacity: 1; }
.event-supports span { color: var(--soft); font: 11px var(--mono); }
.event-supports code { color: var(--muted); font-size: 10px; overflow-wrap: anywhere; }
.causal-stage { display: flex; flex-direction: column; }
.causal-events { min-height: 112px; display: grid; grid-template-columns: 1fr 62px 1fr; align-items: center; }
.causal-event { min-width: 0; min-height: 94px; padding: 16px; border: 1px solid var(--line-strong); display: flex; flex-direction: column; justify-content: center; opacity: .2; transition: opacity .2s ease, background .2s ease; }
.causal-event.is-active { opacity: 1; background: var(--surface-2); }
.causal-event > span { font: 500 18px var(--mono); }
.causal-event small { margin-top: 8px; color: var(--muted); font-size: 9px; line-height: 1.45; }
.causal-edge { color: var(--line-strong); font: 24px var(--mono); text-align: center; opacity: .35; transition: color .2s ease, opacity .2s ease; }
.causal-edge.active { color: var(--ink); opacity: 1; }
.history-verdict { margin-top: 34px; }
.history-verdict strong { display: block; margin-top: 12px; font: 400 34px var(--mono); }
.history-verdict p { margin: 8px 0 0; color: var(--muted); font-size: 12px; }
.step-button { min-height: 46px; margin-top: auto; padding: 0 20px; border: 1px solid var(--line-strong); background: transparent; cursor: pointer; align-self: flex-start; color: var(--soft); font: 10px var(--mono); text-transform: uppercase; }
.step-button:hover { background: var(--signal); color: var(--inverse); }
.endpoint-strip { min-height: 94px; padding: 18px 28px; border-top: 1px solid var(--line); display: grid; grid-template-columns: 1fr auto 1fr; align-items: center; gap: 22px; }
.endpoint-strip > span { display: flex; flex-direction: column; gap: 5px; }
.endpoint-strip > span:last-child { text-align: right; }
.endpoint-strip small { color: var(--muted); font: 8px var(--mono); letter-spacing: .08em; }
.endpoint-strip code { color: var(--soft); font-size: 11px; overflow-wrap: anywhere; }
.endpoint-strip > b { color: var(--muted); font: 9px var(--mono); }
.lab-footnote { margin: 0; padding: 22px 28px; border-top: 1px solid var(--line); color: var(--muted); font-size: 11px; }

.boundary-stage { position: relative; min-height: 385px; padding: 36px 34px; display: grid; grid-template-columns: .65fr 1.35fr; align-items: center; gap: 70px; }
.vertex-orbit { min-height: 240px; display: grid; grid-template-columns: 1fr 70px 1fr; grid-template-rows: 1fr 1fr; align-items: center; justify-items: center; }
.vertex-orbit > span { width: 78px; height: 78px; border: 1px solid var(--line-strong); border-radius: 50%; display: grid; place-items: center; font: 18px var(--mono); }
.vertex-orbit i { color: var(--muted); font: 14px var(--mono); }
.vertex-orbit .third-vertex { grid-column: 2; grid-row: 2; opacity: 0; transform: translateY(-10px); transition: opacity .25s ease, transform .25s ease; }
.boundary-lab.ambient-active .third-vertex { opacity: 1; transform: none; }
.boundary-panel { max-width: 720px; }
.boundary-panel h4 { margin: 30px 0 14px; font-size: clamp(25px, 3vw, 39px); font-weight: 500; line-height: 1.2; letter-spacing: -.035em; }
.boundary-panel > p { max-width: 650px; margin: 0; color: var(--muted); font-size: 13px; }
.domain-verdict { margin-top: 32px; padding: 9px 12px; display: inline-block; border: 1px solid var(--line-strong); color: var(--soft); font: 9px var(--mono); letter-spacing: .08em; }
.domain-verdict.negative { border-style: dashed; }
.ambient-collision { margin-top: 24px; padding: 17px; border: 1px solid var(--line); display: grid; grid-template-columns: 1fr auto 1fr auto 1fr; align-items: center; gap: 9px; }
.ambient-collision code { min-width: 0; color: var(--soft); font-size: 9px; text-align: center; overflow-wrap: anywhere; }
.ambient-collision b { color: var(--muted); font-weight: 400; }

.obstruction-block { margin-top: 92px; }
.obstruction-copy { display: grid; grid-template-columns: .7fr 1.3fr; gap: 50px; }
.obstruction-copy h3 { margin: 0; max-width: 640px; font-size: clamp(28px, 3.6vw, 48px); font-weight: 500; line-height: 1.15; letter-spacing: -.04em; }
.obstruction-copy p { grid-column: 2; max-width: 710px; margin: 0; color: var(--muted); font-size: 13px; }
.hypothesis-list { grid-column: 2; margin: 6px 0 0; padding: 0; display: flex; flex-wrap: wrap; gap: 7px; list-style: none; }
.hypothesis-list li { padding: 7px 9px; border: 1px solid var(--line); color: var(--muted); font: 9px var(--mono); }
.double-comatch { margin-top: 48px; padding: 26px; border: 1px solid var(--line-strong); display: grid; grid-template-columns: 1fr auto 1fr auto 1fr; align-items: center; gap: 16px; background: var(--surface); }
.double-comatch > div { min-width: 0; min-height: 130px; padding: 22px; border: 1px solid var(--line); display: flex; flex-direction: column; justify-content: space-between; }
.double-comatch > div.target { background: var(--surface-2); border-color: var(--line-strong); }
.double-comatch span { color: var(--ink); font: 500 18px var(--mono); }
.double-comatch code { color: var(--muted); font-size: 9px; overflow-wrap: anywhere; }
.double-comatch > b { color: var(--muted); font: 18px var(--mono); }

.escape-block { margin-top: 92px; padding-top: 50px; border-top: 1px solid var(--line); }
.escape-intro { display: grid; grid-template-columns: .7fr 1.3fr; gap: 50px; align-items: start; }
.escape-intro h3 { max-width: 720px; margin: 0; font-size: clamp(27px, 3vw, 40px); font-weight: 500; line-height: 1.2; letter-spacing: -.035em; }
.escape-grid { margin-top: 46px; border-top: 1px solid var(--line); border-left: 1px solid var(--line); display: grid; grid-template-columns: repeat(3, 1fr); }
.escape-grid article { min-height: 210px; padding: 25px 26px; border-right: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.escape-grid article > span { color: var(--muted); font: 9px var(--mono); }
.escape-grid h4 { margin: 52px 0 10px; font-size: 17px; font-weight: 500; }
.escape-grid p { margin: 0; color: var(--muted); font-size: 12px; }
.claim-boundary { margin-top: 28px; display: grid; grid-template-columns: repeat(3, 1fr); border: 1px solid var(--line-strong); }
.claim-boundary article { min-height: 180px; padding: 30px; border-right: 1px solid var(--line); }
.claim-boundary article:last-child { border-right: 0; }
.claim-boundary span { color: var(--soft); font: 9px var(--mono); letter-spacing: .09em; }
.claim-boundary p { margin: 44px 0 0; color: var(--muted); font-size: 12px; }

.definitions, .computation, .positioning { padding: 150px 0; }
.definition-grid { display: grid; grid-template-columns: repeat(2, 1fr); border: 1px solid var(--line); }
.definition-grid article { min-height: 290px; padding: 32px 34px; border-right: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.definition-grid article:nth-child(2n) { border-right: 0; }
.definition-grid article:nth-last-child(-n+2) { border-bottom: 0; }
.definition-grid article > div { display: flex; justify-content: space-between; gap: 20px; color: var(--muted); font: 9px var(--mono); letter-spacing: .08em; }
.definition-grid article > div b { color: var(--soft); font-weight: 400; }
.definition-grid h3 { max-width: 450px; margin: 82px 0 14px; font-size: 24px; font-weight: 500; line-height: 1.25; letter-spacing: -.02em; }
.definition-grid p { max-width: 500px; margin: 0; color: var(--muted); font-size: 13px; }
.boundary-note { margin-top: 28px; padding: 26px 28px; border-left: 2px solid var(--ink); background: var(--surface); display: grid; grid-template-columns: 220px 1fr; gap: 40px; }
.boundary-note span { color: var(--soft); font: 9px var(--mono); letter-spacing: .1em; }
.boundary-note p { margin: 0; color: var(--muted); font-size: 13px; }

.formal-section { padding: 140px 0; background: #090a09; }
.evidence-legend { margin-bottom: 28px; display: grid; grid-template-columns: repeat(4, 1fr); border: 1px solid var(--line); }
.evidence-legend > span { min-height: 62px; padding: 0 20px; border-right: 1px solid var(--line); display: flex; align-items: center; gap: 10px; }
.evidence-legend > span:last-child { border-right: 0; }
.evidence-legend i, .proof-status i { width: 7px; height: 7px; border-radius: 50%; background: var(--ink); }
.evidence-legend .hand i, .proof-status.hand i { background: #aaa9a3; }
.evidence-legend .bounded i, .proof-status.bounded i { border: 1px solid var(--ink); background: transparent; }
.evidence-legend .open i, .proof-status.open i { border: 1px dashed var(--muted); background: transparent; }
.evidence-legend b { color: var(--soft); font: 500 9px var(--mono); letter-spacing: .08em; }
.lean-card { border: 1px solid var(--line-strong); display: grid; grid-template-columns: .8fr 1.2fr; }
.lean-copy { min-width: 0; padding: 44px; border-right: 1px solid var(--line); }
.proof-status { display: inline-flex; align-items: center; gap: 8px; color: var(--soft); font: 9px var(--mono); letter-spacing: .08em; }
.lean-copy h3 { margin: 46px 0 16px; overflow-wrap: anywhere; font: 500 23px var(--mono); }
.lean-copy p { margin: 0; color: var(--muted); font-size: 13px; }
.lean-copy code { color: var(--ink); }
.lean-copy a { margin-top: 30px; display: inline-flex; gap: 26px; border-bottom: 1px solid var(--soft); color: var(--soft); text-decoration: none; font: 10px var(--mono); text-transform: uppercase; }
.lean-card > pre { min-width: 0; max-width: 100%; margin: 0; padding: 48px; display: flex; align-items: center; overflow: auto; background: var(--surface); color: #d0d1ca; font: 11px/1.9 var(--mono); }
.lean-card > pre span, .lean-card > pre i { color: #fff; }
.proof-scope { display: grid; grid-template-columns: repeat(2, 1fr); border: 1px solid var(--line); border-top: 0; }
.proof-scope article { padding: 34px 42px; }
.proof-scope article:first-child { border-right: 1px solid var(--line); }
.proof-scope ul { margin: 26px 0 0; padding: 0; list-style: none; }
.proof-scope li { padding: 9px 0 9px 23px; position: relative; color: var(--muted); font-size: 13px; }
.proof-scope li::before { content: "—"; position: absolute; left: 0; color: var(--soft); }
.technical-note { max-width: 850px; margin: 28px 0 0 auto; color: var(--muted); font: 10px/1.7 var(--mono); }

.computation .numbers { display: grid; grid-template-columns: repeat(4, 1fr); border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.numbers article { min-width: 0; padding: 38px 26px 42px; border-right: 1px solid var(--line); }
.numbers article:last-child { border-right: 0; }
.numbers strong { display: block; font-size: clamp(52px, 6vw, 82px); font-weight: 500; line-height: 1; letter-spacing: -.07em; }
.numbers span { font: 9px var(--mono); text-transform: uppercase; }
.numbers p { min-height: 42px; margin: 34px 0 0; color: var(--muted); font-size: 12px; }
.results-table-wrap { margin-top: 70px; overflow-x: auto; }
.results-table-wrap table { width: 100%; border-collapse: collapse; border-top: 1px solid var(--line-strong); }
.results-table-wrap caption { margin-bottom: 18px; color: var(--muted); text-align: left; font: 10px var(--mono); text-transform: uppercase; letter-spacing: .1em; }
.results-table-wrap th, .results-table-wrap td { padding: 18px 16px; border-bottom: 1px solid var(--line); text-align: left; vertical-align: top; }
.results-table-wrap th { color: var(--muted); font: 9px var(--mono); letter-spacing: .08em; text-transform: uppercase; }
.results-table-wrap td { font-size: 13px; }
.results-table-wrap td:first-child { font-family: var(--mono); color: var(--soft); white-space: nowrap; }
.results-table-wrap td:last-child { color: var(--muted); }
.results-table-wrap > p { max-width: 780px; margin: 24px 0 0 auto; color: var(--muted); font-size: 12px; }
.pipeline { margin-top: 100px; display: grid; grid-template-columns: repeat(4, 1fr); }
.pipeline article { min-height: 240px; padding: 26px 24px; border-top: 1px solid var(--line); border-right: 1px solid var(--line); }
.pipeline article:last-child { border-right: 0; }
.pipeline span { color: var(--muted); font: 10px var(--mono); }
.pipeline h3 { margin: 64px 0 12px; font-size: 17px; font-weight: 500; }
.pipeline p { margin: 0; color: var(--muted); font-size: 12px; }

.rigidity-section { padding: 140px 0; background: var(--surface-2); }
.rigidity-section blockquote { max-width: 1100px; margin: 70px 0 100px; font-size: clamp(44px, 6vw, 88px); font-weight: 500; line-height: 1.04; letter-spacing: -.06em; }
.rigidity-grid { display: grid; grid-template-columns: 1.25fr .75fr; border: 1px solid var(--line-strong); }
.theorem-card { padding: 46px; border-right: 1px solid var(--line); }
.theorem-card h3 { margin: 80px 0 18px; font-size: 30px; font-weight: 500; }
.theorem-card p { max-width: 650px; font-size: 19px; line-height: 1.55; }
.theorem-card small { max-width: 600px; display: block; color: var(--muted); font-size: 12px; }
.theorem-card a { margin-top: 38px; display: inline-flex; gap: 28px; border-bottom: 1px solid; color: var(--soft); text-decoration: none; font: 10px var(--mono); text-transform: uppercase; }
.open-list { display: grid; grid-template-rows: 1fr 1fr; }
.open-list article { padding: 34px; }
.open-list article:first-child { border-bottom: 1px solid var(--line); }
.open-list h3 { margin: 40px 0 12px; font-size: 20px; font-weight: 500; }
.open-list p { margin: 0; color: var(--muted); font-size: 13px; }
.holdout-note { margin-top: 28px; padding: 30px 34px; border: 1px solid var(--line); display: grid; grid-template-columns: 120px 1fr; align-items: center; gap: 30px; }
.holdout-note strong { font-size: 68px; font-weight: 500; line-height: 1; letter-spacing: -.06em; }
.holdout-note p { max-width: 850px; margin: 0; color: var(--muted); font-size: 13px; }

.position-grid { display: grid; grid-template-columns: repeat(3, 1fr); border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.position-grid article { min-width: 0; padding: 34px 30px 40px; border-right: 1px solid var(--line); }
.position-grid article:last-child { border-right: 0; }
.position-grid article > span { color: var(--muted); font: 9px var(--mono); letter-spacing: .06em; }
.position-grid h3 { min-height: 58px; margin: 58px 0 14px; font-size: 20px; font-weight: 500; line-height: 1.4; }
.position-grid p { min-height: 130px; margin: 0; color: var(--muted); font-size: 13px; }
.position-grid a { margin-top: 28px; display: inline-block; border-bottom: 1px solid; color: var(--soft); text-decoration: none; font: 10px var(--mono); }

.reproduce-section { padding: 140px 0; background: #090a09; }
.terminal { border: 1px solid var(--line-strong); background: var(--surface); }
.terminal-top { min-height: 54px; padding: 0 18px; border-bottom: 1px solid var(--line); display: flex; align-items: center; justify-content: space-between; color: var(--muted); font: 9px var(--mono); }
.terminal-top button, .citation-code button { min-height: 36px; padding: 0 15px; border: 1px solid var(--line-strong); background: transparent; cursor: pointer; color: var(--soft); font: 9px var(--mono); text-transform: uppercase; }
.terminal pre { margin: 0; padding: 34px; overflow: auto; color: #d4d5ce; font: 12px/1.9 var(--mono); }
.terminal pre span { color: #858680; }
.terminal > p { margin: 0; padding: 18px 24px; border-top: 1px solid var(--line); color: var(--muted); font-size: 11px; }
.artifact-grid { margin-top: 54px; display: grid; grid-template-columns: repeat(3, 1fr); border-top: 1px solid var(--line); border-left: 1px solid var(--line); }
.artifact-grid a { position: relative; min-height: 210px; padding: 26px; border-right: 1px solid var(--line); border-bottom: 1px solid var(--line); color: inherit; text-decoration: none; transition: background .2s ease, color .2s ease; }
.artifact-grid a > span { color: var(--muted); font: 9px var(--mono); }
.artifact-grid a > b { position: absolute; top: 24px; right: 24px; font-weight: 400; }
.artifact-grid h3 { margin: 58px 0 7px; font-size: 18px; font-weight: 500; }
.artifact-grid p { margin: 0; color: var(--muted); font-size: 12px; }
.artifact-grid a:hover, .artifact-grid a:focus-visible { background: var(--signal); color: var(--inverse); }
.artifact-grid a:hover span, .artifact-grid a:hover p, .artifact-grid a:focus-visible span, .artifact-grid a:focus-visible p { color: #454640; }
.artifact-grid .featured-artifact { grid-column: span 3; min-height: 150px; }
.artifact-grid .featured-artifact h3 { margin-top: 35px; }
.citation { margin-top: 100px; padding-top: 50px; border-top: 1px solid var(--line); display: grid; grid-template-columns: .75fr 1.25fr; gap: 90px; }
.citation h3 { margin: 25px 0 12px; font-size: 29px; font-weight: 500; line-height: 1.25; }
.citation p { color: var(--muted); font-size: 12px; }
.citation-code { min-width: 0; }
.citation-code pre { margin: 0; padding: 24px; border: 1px solid var(--line); overflow: auto; color: var(--soft); white-space: pre-wrap; font: 10px/1.75 var(--mono); }
.citation-code button { margin-top: 12px; }
.citation-source { margin: 12px 0 0 14px; display: inline-flex; gap: 12px; border-bottom: 1px solid var(--line-strong); color: var(--soft); text-decoration: none; font: 9px var(--mono); text-transform: uppercase; }

footer { padding: 110px 0 30px; background: #151613; color: var(--ink); }
.footer-grid { display: grid; grid-template-columns: 2fr 1fr; gap: 80px; }
.footer-kicker { color: var(--muted); font: 9px var(--mono); letter-spacing: .13em; }
.footer-grid h2 { margin: 38px 0 0; font-size: clamp(44px, 5.6vw, 78px); font-weight: 500; line-height: .98; letter-spacing: -.06em; }
.footer-links { display: flex; flex-direction: column; justify-content: center; }
.footer-links a { min-height: 56px; border-bottom: 1px solid var(--line); display: flex; align-items: center; justify-content: space-between; color: inherit; text-decoration: none; font: 10px var(--mono); text-transform: uppercase; }
.disclosure { margin-top: 76px; padding: 24px 0; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.disclosure p { max-width: 740px; margin: 0; color: var(--muted); font-size: 11px; }
.footer-bottom { padding-top: 24px; display: flex; justify-content: space-between; gap: 20px; color: var(--muted); font: 9px var(--mono); text-transform: uppercase; }

.reveal { opacity: 1; transform: none; }
.js .reveal { opacity: 0; transform: translateY(18px); transition: opacity .75s ease, transform .75s ease; }
.js .reveal.visible { opacity: 1; transform: none; }
.js .delay-1 { transition-delay: .1s; }
.js .delay-2 { transition-delay: .2s; }

@media (max-width: 1160px) {
  .nav nav { display: none; }
  .question-grid, .section-head { grid-template-columns: 1.25fr .75fr; gap: 55px; }
  .graph-stage { grid-template-columns: 1fr 142px 1fr; }
  .rewrite-button { width: 100px; height: 100px; }
  .position-grid h3, .position-grid p { min-height: 0; }
}

@media (max-width: 900px) {
  .shell { width: min(100% - 34px, 1280px); }
  .hero { min-height: 720px; padding-top: 72px; }
  h1 { margin-top: 60px; font-size: clamp(48px, 11vw, 92px); }
  .hero-bottom { justify-content: space-between; gap: 28px; }
  .question-grid, .section-head, .citation { grid-template-columns: 1fr; gap: 34px; }
  .delta-grid { grid-template-columns: 1fr 1fr; }
  .delta-grid > div { min-height: 280px; }
  .delta-grid > div:nth-child(2) { border-right: 0; }
  .delta-grid > div:last-child { grid-column: 1 / -1; min-height: 245px; border-top: 1px solid var(--line); }
  .criterion-card > strong { margin-top: 36px; }
  .history-grid { grid-template-columns: 1fr; }
  .history-grid > div { min-height: 340px; }
  .occurrence-ledger { border-right: 0; border-bottom: 1px solid var(--line); }
  .boundary-stage { grid-template-columns: 1fr; gap: 20px; }
  .vertex-orbit { max-width: 430px; width: 100%; min-height: 190px; margin-inline: auto; }
  .double-comatch { grid-template-columns: 1fr; }
  .double-comatch > b { transform: rotate(90deg); text-align: center; }
  .escape-grid { grid-template-columns: repeat(2, 1fr); }
  .claim-boundary { grid-template-columns: 1fr; }
  .claim-boundary article { border-right: 0; border-bottom: 1px solid var(--line); }
  .claim-boundary article:last-child { border-bottom: 0; }
  .question-grid > div { max-width: 620px; margin-left: auto; }
  .graph-stage { grid-template-columns: 1fr; }
  .source-panel { border-right: 0; border-bottom: 1px solid var(--line); }
  .result-panel { border-left: 0; border-top: 1px solid var(--line); }
  .rewrite-control { padding: 30px; }
  .rewrite-button { width: 90px; height: 90px; }
  .proof-in-brief { grid-template-columns: 1fr; }
  .proof-in-brief article { border-right: 0; border-bottom: 1px solid var(--line); }
  .proof-in-brief article:last-child { border-bottom: 0; }
  .lean-card { grid-template-columns: minmax(0, 1fr); }
  .lean-copy { border-right: 0; border-bottom: 1px solid var(--line); }
  .numbers, .computation .numbers { grid-template-columns: repeat(2, 1fr); }
  .numbers article:nth-child(2) { border-right: 0; }
  .numbers article:nth-child(-n+2) { border-bottom: 1px solid var(--line); }
  .pipeline { grid-template-columns: repeat(2, 1fr); }
  .pipeline article:nth-child(2) { border-right: 0; }
  .pipeline article:nth-child(-n+2) { border-bottom: 1px solid var(--line); }
  .rigidity-grid { grid-template-columns: 1fr; }
  .theorem-card { border-right: 0; border-bottom: 1px solid var(--line); }
  .position-grid { grid-template-columns: 1fr; }
  .position-grid article { border-right: 0; border-bottom: 1px solid var(--line); }
  .position-grid article:last-child { border-bottom: 0; }
  .artifact-grid { grid-template-columns: repeat(2, 1fr); }
  .artifact-grid .featured-artifact { grid-column: span 2; }
  .footer-grid { grid-template-columns: 1fr; }
}

@media (max-width: 620px) {
  .nav { height: 78px; }
  .mark { min-width: auto; }
  .mark span { display: none; }
  .nav-actions { gap: 10px; }
  .nav-cta { display: none; }
  .nav-actions { margin-left: auto; }
  .language-switch button { min-width: 44px; min-height: 44px; }
  .hero { min-height: 650px; padding-top: 60px; }
  h1 { font-size: clamp(39px, 12vw, 64px); }
  html[lang="fr"] h1, html[lang="es"] h1 { font-size: clamp(36px, 11vw, 58px); }
  html[lang="fr"] h1, html[lang="es"] h1 { hyphens: none; }
  .section-head h2 { font-size: clamp(36px, 11.5vw, 52px); }
  .converse-section .section-head h2 { overflow-wrap: normal; hyphens: none; word-break: normal; }
  .hero-bottom > p { font-size: 14px; }
  .round-link { width: 92px; height: 92px; }
  .hero-meta { display: grid; grid-template-columns: minmax(0, 1fr); align-items: flex-start; justify-content: start; }
  .hero-meta .evidence-chip { width: max-content; max-width: 100%; }
  .hero-meta .evidence-chip:nth-child(3) { grid-column: auto; }
  .hero-date { width: 100%; margin: 8px 0 0; }
  .scope-note { grid-template-columns: 68px 1fr; }
  .scope-note p { padding: 18px; }
  .question, .definitions, .computation, .positioning, .converse-section { padding: 96px 0; }
  .collision-section, .formal-section, .rigidity-section, .reproduce-section { padding: 96px 0; }
  .axis-strip { grid-template-columns: 1fr; }
  .axis-strip article { grid-template-columns: 48px 1fr auto; padding: 24px 20px; border-right: 0; border-bottom: 1px solid var(--line); }
  .axis-strip article:last-child { border-bottom: 0; }
  .research-lab-head { padding: 20px; align-items: flex-start; flex-direction: column; }
  .research-lab-head h3 { font-size: 20px; }
  .segmented-control { max-width: 100%; min-width: 0; width: 100%; overflow-x: auto; }
  .segmented-control button { flex: 1 0 auto; min-height: 44px; }
  .delta-grid { grid-template-columns: 1fr; }
  .delta-grid > div, .delta-grid > div:last-child { min-height: 250px; padding: 28px 20px; grid-column: auto; border-right: 0; border-top: 1px solid var(--line); }
  .delta-grid > div:first-child { border-top: 0; }
  .rule-inspector > strong { margin-top: 42px; }
  .grammar-strip { grid-template-columns: 1fr; }
  .grammar-strip article { min-height: 94px; border-right: 0; border-bottom: 1px solid var(--line); }
  .grammar-strip article:last-child { border-bottom: 0; }
  .history-grid > div { min-height: 0; padding: 28px 20px; }
  .occurrence-row { grid-template-columns: repeat(3, 1fr); }
  .produced-row { max-width: 100%; }
  .causal-events { grid-template-columns: 1fr 42px 1fr; }
  .causal-event { min-height: 112px; padding: 12px; }
  .endpoint-strip { grid-template-columns: 1fr; gap: 10px; }
  .endpoint-strip > span:last-child { text-align: left; }
  .endpoint-strip > b { padding: 4px 0; }
  .boundary-stage { padding: 28px 20px; }
  .vertex-orbit { min-height: 170px; }
  .vertex-orbit > span { width: 62px; height: 62px; }
  .ambient-collision { grid-template-columns: 1fr; }
  .ambient-collision b { transform: rotate(90deg); text-align: center; }
  .obstruction-block, .escape-block { margin-top: 72px; }
  .obstruction-copy, .escape-intro { grid-template-columns: 1fr; gap: 22px; }
  .obstruction-copy p, .hypothesis-list { grid-column: auto; }
  .double-comatch { padding: 18px; }
  .escape-grid { grid-template-columns: 1fr; }
  .escape-grid article { min-height: 180px; }
  .claim-boundary { grid-template-columns: 1fr; }
  .claim-boundary article { border-right: 0; border-bottom: 1px solid var(--line); }
  .claim-boundary article:last-child { border-bottom: 0; }
  .noise, .scroll-progress { display: none; }
  .js .reveal { opacity: 1; transform: none; transition: none; }
  .pulse { animation: none; box-shadow: none; }
  .lab-toolbar { flex-direction: column; }
  .state-switch button { min-width: 0; width: 50%; padding-inline: 12px; }
  .state-switch { width: 100%; }
  .lab-status { min-height: 52px; border-top: 1px solid var(--line); }
  .match-row { align-items: flex-start; flex-wrap: wrap; padding: 15px; }
  .match-switch button, .terminal-top button, .citation-code button { min-height: 44px; }
  .match-hint { width: 100%; margin-left: 0; }
  .graph-panel { padding: 16px; }
  .graph { height: 270px; }
  .collision-tracker { grid-template-columns: 1fr; }
  .collision-tracker strong { justify-self: start; }
  .definition-grid { grid-template-columns: 1fr; }
  .definition-grid article { min-height: 250px; border-right: 0; border-bottom: 1px solid var(--line) !important; }
  .definition-grid article:last-child { border-bottom: 0 !important; }
  .definition-grid h3 { margin-top: 62px; }
  .boundary-note { grid-template-columns: 1fr; gap: 14px; }
  .evidence-legend { grid-template-columns: repeat(2, 1fr); }
  .evidence-legend > span:nth-child(2) { border-right: 0; }
  .evidence-legend > span:nth-child(-n+2) { border-bottom: 1px solid var(--line); }
  .lean-copy, .lean-card > pre { padding: 28px 22px; }
  .proof-scope { grid-template-columns: 1fr; }
  .proof-scope article:first-child { border-right: 0; border-bottom: 1px solid var(--line); }
  .proof-scope article { padding: 28px 24px; }
  .numbers, .computation .numbers { grid-template-columns: 1fr; }
  .numbers article { border-right: 0; border-bottom: 1px solid var(--line); }
  .numbers article:last-child { border-bottom: 0; }
  .results-table-wrap table { min-width: 700px; }
  .pipeline { grid-template-columns: 1fr; }
  .pipeline article { min-height: 190px; border-right: 0; border-bottom: 1px solid var(--line); }
  .pipeline article:last-child { border-bottom: 0; }
  .rigidity-section blockquote { margin-bottom: 70px; }
  .theorem-card { padding: 30px 24px; }
  .theorem-card h3 { margin-top: 60px; }
  .theorem-card p { font-size: 16px; }
  .holdout-note { grid-template-columns: 1fr; }
  .artifact-grid { grid-template-columns: 1fr; }
  .artifact-grid .featured-artifact { grid-column: span 1; }
  .citation { margin-top: 75px; }
  .footer-bottom { flex-wrap: wrap; }
}

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { animation-duration: .01ms !important; animation-iteration-count: 1 !important; transition-duration: .01ms !important; }
  .js .reveal { opacity: 1; transform: none; }
  .noise, .scroll-progress { display: none; }
}