:root {
  --ink: #1b1f2a;
  --ink-soft: #515a6e;
  --paper: #f7f4ec;
  --paper-deep: #eee9dc;
  --white: #fffdf8;
  --line: rgba(27, 31, 42, 0.14);
  --blue: #2256d9;
  --blue-deep: #173fa8;
  --blue-soft: #e6edff;
  --orange: #e76835;
  --orange-soft: #fff0e7;
  --green: #15836d;
  --green-soft: #e4f4ef;
  --violet: #6e4ac8;
  --violet-soft: #eee8ff;
  --dark: #11182a;
  --serif: "Iowan Old Style", "Palatino Linotype", "Songti SC", STSong, serif;
  --sans: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", "PingFang SC", "Hiragino Sans GB", "Microsoft YaHei", sans-serif;
  --mono: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
  --shadow: 0 24px 70px rgba(31, 38, 58, 0.09);
}

* { box-sizing: border-box; }

html {
  scroll-behavior: smooth;
  scroll-padding-top: 92px;
}

body {
  margin: 0;
  color: var(--ink);
  background: var(--paper);
  font-family: var(--sans);
  font-size: 17px;
  line-height: 1.75;
  text-rendering: optimizeLegibility;
  -webkit-font-smoothing: antialiased;
}

a { color: inherit; }

.wrap {
  width: min(1180px, calc(100% - 56px));
  margin-inline: auto;
}

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

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

.topbar {
  position: sticky;
  z-index: 50;
  top: 0;
  border-bottom: 1px solid rgba(27, 31, 42, 0.1);
  background: rgba(247, 244, 236, 0.9);
  -webkit-backdrop-filter: blur(18px);
  backdrop-filter: blur(18px);
}

.topbar-inner {
  width: min(1260px, calc(100% - 42px));
  min-height: 70px;
  margin-inline: auto;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 28px;
}

.brand {
  display: flex;
  align-items: center;
  gap: 11px;
  text-decoration: none;
  line-height: 1.15;
}

.brand-mark {
  width: 36px;
  height: 36px;
  display: grid;
  place-items: center;
  color: white;
  background: var(--ink);
  border-radius: 9px;
  font-family: var(--serif);
  font-size: 23px;
  font-style: italic;
}

.brand strong { display: block; font-size: 14px; letter-spacing: 0.01em; }
.brand small { display: block; margin-top: 3px; color: var(--ink-soft); font-size: 10px; letter-spacing: 0.11em; text-transform: uppercase; }

.topnav { display: flex; align-items: center; gap: 25px; }
.topnav a { color: var(--ink-soft); font-size: 13px; font-weight: 650; text-decoration: none; }
.topnav a:hover { color: var(--blue); }
.topnav { scrollbar-width: none; }
.topnav::-webkit-scrollbar { display: none; }

.hero {
  position: relative;
  min-height: 650px;
  padding-block: 104px 94px;
  display: grid;
  grid-template-columns: minmax(0, 1.55fr) minmax(300px, 0.72fr);
  align-items: center;
  gap: 78px;
}

.hero::before {
  content: "";
  position: absolute;
  z-index: -1;
  top: 54px;
  right: 11%;
  width: 380px;
  height: 380px;
  background: radial-gradient(circle, rgba(34, 86, 217, 0.14) 0 2px, transparent 3px);
  background-size: 20px 20px;
  mask-image: radial-gradient(circle, black 16%, transparent 70%);
  opacity: 0.7;
}

.eyebrow {
  margin: 0 0 20px;
  color: var(--blue);
  font-size: 12px;
  font-weight: 800;
  letter-spacing: 0.15em;
  text-transform: uppercase;
}

.hero h1 {
  max-width: 780px;
  margin: 0;
  font-family: var(--serif);
  font-size: clamp(54px, 6.5vw, 88px);
  font-weight: 500;
  letter-spacing: -0.06em;
  line-height: 1.04;
}

.hero h1 em { color: var(--blue); font-style: normal; }

.hero-lead {
  max-width: 720px;
  margin: 31px 0 0;
  color: #3f475a;
  font-size: clamp(19px, 2vw, 23px);
  line-height: 1.67;
}

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

.button {
  min-height: 48px;
  padding: 11px 19px;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  border: 1px solid var(--line);
  border-radius: 9px;
  font-size: 14px;
  font-weight: 720;
  text-decoration: none;
  transition: transform 0.18s ease, box-shadow 0.18s ease, background 0.18s ease;
}

.button:hover { transform: translateY(-2px); }
.button.primary { color: white; background: var(--blue); border-color: var(--blue); box-shadow: 0 10px 24px rgba(34, 86, 217, 0.22); }
.button.primary:hover { background: var(--blue-deep); }
.button.ghost { background: rgba(255, 253, 248, 0.6); }

.hero-aside {
  position: relative;
  padding: 31px 31px 27px;
  background: var(--white);
  border: 1px solid var(--line);
  border-radius: 4px 24px 4px 24px;
  box-shadow: var(--shadow);
}

.hero-aside::before {
  content: "";
  position: absolute;
  top: -10px;
  left: 24px;
  width: 58px;
  height: 20px;
  background: rgba(231, 104, 53, 0.8);
  transform: rotate(-3deg);
  opacity: 0.52;
}

.aside-label, .card-label {
  margin: 0 0 8px;
  color: var(--blue);
  font-size: 11px;
  font-weight: 850;
  letter-spacing: 0.13em;
  text-transform: uppercase;
}

.hero-aside > strong { display: block; font-family: var(--serif); font-size: 23px; line-height: 1.35; }
.hero-aside ul { margin: 20px 0 22px; padding: 0; list-style: none; }
.hero-aside li { position: relative; padding: 8px 0 8px 22px; border-bottom: 1px solid var(--line); font-size: 14px; }
.hero-aside li::before { content: "•"; position: absolute; left: 4px; color: var(--orange); }
.aside-boundary { margin: 0; color: var(--ink-soft); font-size: 12px; line-height: 1.65; }
.nowrap { white-space: nowrap; }

.one-minute {
  padding: 66px 54px 60px;
  background: var(--white);
  border: 1px solid var(--line);
  border-radius: 26px;
  box-shadow: var(--shadow);
}

.section-kicker { margin-bottom: 30px; display: flex; align-items: center; gap: 14px; }
.section-kicker span { min-width: 35px; height: 23px; padding: 0 8px; display: grid; place-items: center; color: white; background: var(--blue); border-radius: 999px; font-size: 10px; font-weight: 850; letter-spacing: 0.08em; }
.section-kicker p { margin: 0; color: var(--ink-soft); font-size: 11px; font-weight: 800; letter-spacing: 0.14em; text-transform: uppercase; }
.section-kicker.light span { color: var(--dark); background: #92b1ff; }
.section-kicker.light p { color: #9eabc5; }

.one-minute-heading, .section-intro { margin-bottom: 40px; display: grid; grid-template-columns: minmax(260px, 0.9fr) minmax(320px, 1.1fr); gap: 64px; align-items: end; }
.one-minute-heading h2, .section-intro h2, .review-section h2 { margin: 0; font-family: var(--serif); font-size: clamp(37px, 4.3vw, 56px); font-weight: 520; letter-spacing: -0.04em; line-height: 1.12; }
.one-minute-heading p, .section-intro > p { margin: 0 0 5px; color: var(--ink-soft); font-size: 17px; }

.pipeline { display: flex; align-items: stretch; gap: 10px; overflow-x: auto; padding: 8px 2px 16px; }
.pipe-step { min-width: 132px; flex: 1 0 132px; padding: 17px 15px; border: 1px solid var(--line); border-radius: 11px; background: #faf9f5; }
.pipe-step > span { display: block; color: var(--ink-soft); font-size: 9px; font-weight: 850; letter-spacing: 0.13em; text-transform: uppercase; }
.pipe-step strong { display: block; margin-top: 9px; font-size: 13px; line-height: 1.35; }
.pipe-step code { display: block; margin-top: 14px; color: var(--blue); font-family: var(--mono); font-size: 13px; }
.pipe-step.world { background: var(--orange-soft); }
.pipe-step.abduct { background: var(--violet-soft); }
.pipe-step.generate { background: var(--blue-soft); }
.pipe-step.outcome { background: var(--green-soft); }
.pipe-arrow { align-self: center; color: #8991a2; font-size: 18px; }

.core-formulas { margin-top: 27px; display: grid; grid-template-columns: 0.8fr 1.2fr; gap: 18px; }
.core-formulas > div { padding: 21px 22px; background: var(--paper); border-radius: 12px; overflow-x: auto; }
.core-formulas span { color: var(--ink-soft); font-size: 11px; font-weight: 750; letter-spacing: 0.1em; text-transform: uppercase; }
.core-formulas p { margin: 5px 0 0; font-size: 15px; }

.section { padding-block: 116px; }
.section-intro { align-items: start; }
.split-intro { grid-template-columns: 1fr 1fr; }

.two-worlds { min-width: 0; display: grid; grid-template-columns: 1fr 1fr; gap: 22px; }
.logic-card { min-width: 0; padding: 36px; background: var(--white); border: 1px solid var(--line); border-radius: 18px; }
.logic-card.world-card { border-top: 4px solid var(--orange); }
.logic-card.learner-card { border-top: 4px solid var(--blue); }
.logic-card h3, .abduction-card h3, .learn-card h3, .tractable-family h3, .paper-lenses h3 { margin: 7px 0 20px; font-family: var(--serif); font-size: 25px; font-weight: 600; line-height: 1.3; }
.display-formula { padding: 6px 10px; overflow-x: auto; background: var(--paper); border-radius: 10px; font-size: 19px; }
.logic-card dl { margin: 25px 0 20px; }
.logic-card dl > div { padding: 10px 0; display: grid; grid-template-columns: 88px 1fr; gap: 12px; border-bottom: 1px solid var(--line); }
.logic-card dt { font-weight: 800; }
.logic-card dd { margin: 0; color: var(--ink-soft); font-size: 15px; }
.card-note { margin: 18px 0 0; color: var(--ink-soft); font-size: 13px; }
.truth-note { margin: 11px 0 0; padding: 11px 13px; color: #6f512f; background: #fff8e5; border-radius: 8px; font-size: 12px; }

.notation-callout { margin-top: 22px; padding: 29px 34px; display: grid; grid-template-columns: 0.65fr 1.35fr; align-items: center; gap: 38px; color: white; background: var(--ink); border-radius: 15px; }
.notation-formula { overflow-x: auto; color: #b6c9ff; font-size: 22px; }
.notation-callout strong { font-family: var(--serif); font-size: 20px; }
.notation-callout p { margin: 8px 0 0; color: #c0c6d4; font-size: 14px; }

.tinted { background: var(--paper-deep); }
.dual-role-grid { display: grid; grid-template-columns: 1fr 205px 1fr; gap: 22px; align-items: stretch; }
.dual-role-grid > article { padding: 34px; background: var(--white); border: 1px solid var(--line); border-radius: 18px; }
.dual-role-grid h3 { margin: 17px 0 13px; font-family: var(--serif); font-size: 28px; }
.dual-role-grid p { margin: 0; color: var(--ink-soft); font-size: 15px; }
.role-tag { display: inline-flex; padding: 4px 9px; border-radius: 999px; font-size: 10px; font-weight: 850; letter-spacing: 0.12em; text-transform: uppercase; }
.evidence-tag { color: #82421f; background: var(--orange-soft); }
.query-tag { color: var(--blue-deep); background: var(--blue-soft); }
.same-value { display: flex; flex-direction: column; align-items: center; justify-content: center; text-align: center; color: white; background: var(--blue); border-radius: 18px; }
.same-value span, .same-value small { font-size: 10px; letter-spacing: 0.12em; text-transform: uppercase; opacity: 0.76; }
.same-value strong { margin: 12px 0; font-family: var(--serif); font-size: 21px; }
.coordinate-note, .latent-chart-note { margin: 20px 0 0; padding: 17px 20px; color: var(--ink-soft); border: 1px dashed rgba(27, 31, 42, 0.25); border-radius: 10px; font-size: 13px; }

.abduction-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 20px; }
.abduction-card { min-width: 0; padding: 32px; background: var(--white); border: 1px solid var(--line); border-radius: 17px; overflow: hidden; }
.abduction-card h3 { min-height: 65px; }
.abduction-card > p:last-child { color: var(--ink-soft); font-size: 14px; }
.small-formula { min-height: 84px; padding: 8px 3px; overflow-x: auto; border-block: 1px solid var(--line); font-size: 13px; }
.distribution-icon { position: relative; height: 80px; margin: -10px -10px 22px; overflow: hidden; border-bottom: 1px solid var(--line); }
.distribution-icon::after { content: ""; position: absolute; left: 5%; right: 5%; bottom: 15px; height: 1px; background: var(--line); }
.point-icon i { position: absolute; z-index: 2; left: 50%; bottom: 10px; width: 10px; height: 10px; background: var(--orange); border-radius: 50%; box-shadow: 0 0 0 8px rgba(231, 104, 53, 0.14); }
.point-icon::before { content: ""; position: absolute; left: calc(50% + 4px); bottom: 15px; width: 2px; height: 53px; background: var(--orange); }
.bell-icon i, .cauchy-icon i { position: absolute; left: 14%; right: 14%; bottom: 15px; height: 57px; border: 3px solid var(--blue); border-bottom: 0; border-radius: 52% 52% 0 0 / 100% 100% 0 0; }
.cauchy-icon i { left: 3%; right: 3%; height: 46px; border-color: var(--violet); border-radius: 49% 49% 0 0 / 100% 100% 0 0; }
.warning-callout { margin-top: 21px; padding: 24px 29px; display: grid; grid-template-columns: 0.62fr 1.38fr; gap: 34px; background: var(--orange-soft); border-left: 4px solid var(--orange); }
.warning-callout strong { font-family: var(--serif); font-size: 20px; }
.warning-callout p { margin: 0; color: #744c38; font-size: 14px; }

.dark { color: white; background: var(--dark); }
.light-copy h2 { color: white; }
.light-copy > p { color: #aeb8cd; }
.prediction-stage { display: grid; grid-template-columns: 1fr 42px 1fr 56px 1.15fr; gap: 11px; align-items: stretch; }
.uncertainty { padding: 27px; background: rgba(255,255,255,0.055); border: 1px solid rgba(255,255,255,0.14); border-radius: 15px; }
.uncertainty > span { color: #91a1bd; font-size: 10px; font-weight: 800; letter-spacing: 0.12em; text-transform: uppercase; }
.uncertainty > strong { display: block; margin-top: 8px; font-family: var(--serif); font-size: 19px; }
.uncertainty p { margin: 13px 0 0; color: #b8c9f7; font-size: 15px; overflow-x: auto; }
.uncertainty.epistemic { border-color: rgba(140, 108, 230, 0.7); }
.uncertainty.aleatoric { border-color: rgba(231, 104, 53, 0.65); }
.uncertainty.result { background: rgba(34, 86, 217, 0.23); border-color: rgba(111, 151, 255, 0.8); }
.plus, .equals { display: grid; place-items: center; color: #8190aa; font-family: var(--serif); font-size: 29px; }
.density-formula { margin-top: 25px; padding: 17px 25px; overflow-x: auto; color: #d7e1ff; background: rgba(255,255,255,0.045); border-radius: 13px; font-size: 19px; }
.dark-note { margin: 19px 0 0; color: #9eabc5; text-align: center; font-size: 13px; }

.counterfactual-flow { display: grid; grid-template-columns: 1fr 35px 1.05fr 52px 1.2fr; gap: 13px; align-items: stretch; }
.cf-step, .cf-queries > div { padding: 25px; background: var(--white); border: 1px solid var(--line); border-radius: 14px; }
.cf-step > span, .cf-queries span { display: block; color: var(--ink-soft); font-size: 10px; font-weight: 800; letter-spacing: 0.11em; text-transform: uppercase; }
.cf-step strong, .cf-queries strong { display: block; margin: 13px 0 9px; font-family: var(--serif); font-size: 21px; }
.cf-step small, .cf-queries small { color: var(--ink-soft); }
.cf-step.factual { border-top: 4px solid var(--orange); }
.cf-step.locked { border-top: 4px solid var(--violet); background: var(--violet-soft); }
.cf-arrow, .cf-branch { display: grid; place-items: center; color: #7d8596; font-size: 23px; text-align: center; }
.cf-queries { display: grid; grid-template-rows: 1fr 1fr; gap: 10px; }
.cf-queries > div { padding: 18px 22px; border-left: 4px solid var(--green); }
.cf-queries > div.alternative { border-left-color: var(--blue); background: var(--blue-soft); }
.do-dont { margin-top: 22px; display: grid; grid-template-columns: 1fr 1fr; gap: 18px; }
.do-dont > div { padding: 22px 25px; border-radius: 12px; }
.do-dont span { font-size: 12px; font-weight: 850; letter-spacing: 0.06em; text-transform: uppercase; }
.do-dont p { margin: 6px 0 0; font-size: 14px; }
.do-box { color: #155e4e; background: var(--green-soft); }
.dont-box { color: #874422; background: var(--orange-soft); }
.boundary-note, .identification-note { margin: 22px 0 0; padding: 23px 27px; color: var(--ink-soft); background: transparent; border: 1px dashed rgba(27, 31, 42, 0.3); border-radius: 12px; font-size: 14px; }
.boundary-note strong, .identification-note strong { color: var(--ink); }

.comparison-section { background: #eceaf2; }
.comparison-table { overflow: hidden; background: var(--white); border: 1px solid var(--line); border-radius: 15px; }
.table-row { display: grid; grid-template-columns: 0.62fr 1.1fr 1.1fr; }
.table-row > div { padding: 19px 22px; border-bottom: 1px solid var(--line); font-size: 14px; }
.table-row > div + div { border-left: 1px solid var(--line); }
.table-row:not(.table-head) > div:first-child { font-weight: 780; }
.table-row:not(.table-head) > div:nth-child(2) { color: var(--ink-soft); }
.table-row:not(.table-head) > div:nth-child(3) { background: rgba(230, 237, 255, 0.44); }
.table-row.table-head { color: white; background: var(--ink); }
.table-row.table-head > div { border-color: rgba(255,255,255,0.15); font-size: 11px; font-weight: 800; letter-spacing: 0.08em; text-transform: uppercase; }
.table-row:last-child > div { border-bottom: 0; }
.identification-note { background: rgba(255,255,255,0.45); }

.learnability-grid { display: grid; grid-template-columns: 1.25fr 0.75fr; gap: 20px; }
.learn-card { padding: 34px; border: 1px solid var(--line); border-radius: 16px; }
.learn-card.positive { background: var(--white); border-top: 4px solid var(--green); }
.learn-card.negative { background: var(--orange-soft); border-top: 4px solid var(--orange); }
.learn-card > p:not(.card-label) { color: var(--ink-soft); font-size: 14px; }
.learn-formula { margin-top: 20px; padding: 16px 18px; overflow-x: auto; background: var(--green-soft); border-radius: 10px; font-size: 15px; }
.learn-card ul { margin: 16px 0 0; padding-left: 20px; color: #6c4b3c; font-size: 14px; }
.learn-card li + li { margin-top: 8px; }
.tractable-family { margin-top: 21px; padding: 35px; display: grid; grid-template-columns: 0.7fr 1.3fr; gap: 45px; align-items: center; color: white; background: var(--blue); border-radius: 17px; }
.tractable-family .card-label { color: #bdcdfb; }
.tractable-family h3 { margin-bottom: 12px; }
.tractable-copy > p:last-child { color: #d9e2ff; font-size: 14px; }
.tractable-copy .condition-note { margin-top: 18px; padding-top: 15px; color: #d9e2ff; border-top: 1px solid rgba(255,255,255,0.18); font-size: 12px; }
.tractable-math { min-width: 0; padding: 20px; overflow-x: auto; background: rgba(255,255,255,0.09); border-radius: 12px; }
.tractable-math > p { margin: 0; font-size: 14px; }
.output-params { margin-top: 15px; display: grid; grid-template-columns: 65px 1fr; gap: 7px 12px; align-items: center; }
.output-params span { color: #bed0ff; font-size: 10px; font-weight: 800; letter-spacing: 0.1em; text-transform: uppercase; }
.output-params code { color: white; font-family: var(--mono); font-size: 11px; white-space: nowrap; }

.evidence-section { background: var(--white); }
.evidence-matrix { display: grid; grid-template-columns: repeat(3, 1fr); border: 1px solid var(--line); border-radius: 15px; overflow: hidden; }
.evidence-matrix article { padding: 28px 31px; }
.evidence-matrix article + article { border-left: 1px solid var(--line); }
.evidence-matrix span { color: var(--blue); font-size: 11px; font-weight: 850; letter-spacing: 0.12em; text-transform: uppercase; }
.evidence-matrix ul { margin: 18px 0 0; padding: 0; list-style: none; }
.evidence-matrix li { padding: 7px 0; color: var(--ink-soft); border-bottom: 1px solid var(--line); font-family: var(--mono); font-size: 12px; }
.evidence-boundary { margin: 21px 0 0; color: var(--ink-soft); font-size: 13px; text-align: center; }

.paper-lenses { display: grid; grid-template-columns: repeat(4, 1fr); gap: 19px; }
.paper-lenses article { padding: 31px; background: var(--white); border: 1px solid var(--line); border-radius: 15px; }
.paper-lenses article.flagship-lens { color: white; background: var(--ink); border-color: var(--ink); transform: translateY(-8px); }
.paper-lenses span { color: var(--blue); font-size: 10px; font-weight: 850; letter-spacing: 0.12em; text-transform: uppercase; }
.paper-lenses .flagship-lens span { color: #96b3ff; }
.paper-lenses h3 { margin-bottom: 12px; }
.paper-lenses p { margin: 0; color: var(--ink-soft); font-size: 14px; }
.paper-lenses .flagship-lens p { color: #bfc7d8; }

.review-section { padding-block: 108px; color: white; background: var(--blue); }
.review-wrap { display: grid; grid-template-columns: 0.66fr 1.34fr; gap: 80px; align-items: start; }
.review-section .eyebrow { color: #c5d4ff; }
.review-section h2 { font-size: clamp(43px, 5vw, 64px); }
.review-wrap > div > p:last-child { max-width: 390px; color: #d7e1ff; }
.review-questions { margin: 0; padding: 0; list-style: none; border-top: 1px solid rgba(255,255,255,0.25); }
.review-questions li { padding: 19px 0; display: grid; grid-template-columns: 52px 1fr; gap: 15px; align-items: start; border-bottom: 1px solid rgba(255,255,255,0.25); }
.review-questions span { color: #b9ccff; font-family: var(--mono); font-size: 12px; }
.review-questions p { margin: 0; font-size: 16px; }

footer { padding-block: 48px; color: #b9c1d2; background: #0b1020; }
.footer-inner { display: flex; align-items: center; justify-content: space-between; gap: 30px; }
.footer-inner strong { color: white; }
.footer-inner p { margin: 4px 0 0; font-size: 12px; }
.footer-links { display: flex; gap: 24px; }
.footer-links a { font-size: 13px; text-decoration: none; }
.footer-links a:hover { color: white; }

@media (max-width: 980px) {
  .topnav { max-width: 58vw; overflow-x: auto; padding-block: 15px; white-space: nowrap; }
  .hero { grid-template-columns: 1fr; gap: 46px; padding-top: 80px; }
  .hero-aside { max-width: 650px; }
  .one-minute { padding-inline: 34px; }
  .pipeline { align-items: stretch; }
  .one-minute-heading, .section-intro { gap: 34px; }
  .dual-role-grid { grid-template-columns: 1fr 155px 1fr; }
  .abduction-grid { grid-template-columns: 1fr; }
  .abduction-card h3 { min-height: auto; }
  .prediction-stage { grid-template-columns: 1fr 34px 1fr; }
  .prediction-stage .equals { grid-column: 1 / -1; height: 26px; transform: rotate(90deg); }
  .prediction-stage .result { grid-column: 1 / -1; }
  .counterfactual-flow { grid-template-columns: 1fr 30px 1fr; }
  .cf-branch { grid-column: 1 / -1; height: 18px; transform: rotate(90deg); }
  .cf-queries { grid-column: 1 / -1; grid-template-columns: 1fr 1fr; grid-template-rows: none; }
  .tractable-family { grid-template-columns: 1fr; gap: 18px; }
  .review-wrap { gap: 48px; }
}

@media (max-width: 740px) {
  body { font-size: 16px; line-height: 1.7; }
  .wrap { width: min(100% - 30px, 620px); }
  .topbar-inner { width: calc(100% - 24px); min-height: 62px; }
  .brand-mark { width: 32px; height: 32px; }
  .brand strong { font-size: 12px; }
  .brand small { display: none; }
  .topnav { max-width: 45vw; gap: 18px; }
  .topnav a { font-size: 11px; }
  .hero { min-height: 0; padding-block: 66px 72px; }
  .hero h1 { font-size: clamp(46px, 14vw, 65px); letter-spacing: -0.055em; }
  .hero-lead { font-size: 18px; }
  .hero::before { width: 250px; height: 250px; right: 0; }
  .hero-actions { display: grid; }
  .button { width: 100%; }
  .hero-aside { padding: 28px 24px 23px; }
  .one-minute { width: 100%; padding: 50px 20px 44px; border-inline: 0; border-radius: 0; }
  .section { padding-block: 78px; }
  .section-kicker { margin-bottom: 22px; }
  .one-minute-heading, .section-intro, .split-intro { grid-template-columns: 1fr; gap: 19px; margin-bottom: 30px; }
  .one-minute-heading h2, .section-intro h2 { font-size: 39px; }
  .pipeline { margin-inline: -4px; }
  .pipe-step { min-width: 142px; }
  .core-formulas { grid-template-columns: 1fr; }
  .core-formulas > div { padding-inline: 15px; font-size: 12px; }
  .two-worlds { grid-template-columns: 1fr; }
  .logic-card { padding: 28px 22px; }
  .logic-card dl > div { grid-template-columns: 66px 1fr; }
  .notation-callout { padding: 27px 22px; grid-template-columns: 1fr; gap: 9px; }
  .notation-formula { font-size: 17px; }
  .dual-role-grid { grid-template-columns: 1fr; }
  .same-value { min-height: 145px; order: -1; }
  .dual-role-grid > article { padding: 27px 23px; }
  .abduction-card { padding: 27px 23px; }
  .warning-callout { padding: 23px; grid-template-columns: 1fr; gap: 9px; }
  .prediction-stage { grid-template-columns: 1fr; }
  .prediction-stage .plus, .prediction-stage .equals { grid-column: auto; height: 25px; transform: rotate(90deg); }
  .prediction-stage .result { grid-column: auto; }
  .uncertainty { padding: 24px 20px; }
  .density-formula { padding-inline: 10px; font-size: 14px; }
  .counterfactual-flow { grid-template-columns: 1fr; }
  .cf-arrow, .cf-branch { grid-column: auto; height: 23px; transform: rotate(90deg); }
  .cf-queries { grid-column: auto; grid-template-columns: 1fr; }
  .do-dont { grid-template-columns: 1fr; }
  .boundary-note, .identification-note { padding: 20px; }
  .comparison-table { overflow-x: auto; }
  .table-row { min-width: 720px; }
  .learnability-grid { grid-template-columns: 1fr; }
  .learn-card { padding: 28px 22px; }
  .learn-formula { margin-inline: -7px; padding-inline: 7px; font-size: 11px; }
  .tractable-family { padding: 29px 22px; }
  .tractable-math { padding-inline: 8px; font-size: 11px; }
  .output-params { grid-template-columns: 1fr; }
  .output-params code { padding-bottom: 10px; overflow-x: auto; white-space: nowrap; }
  .evidence-matrix { grid-template-columns: 1fr; }
  .evidence-matrix article + article { border-left: 0; border-top: 1px solid var(--line); }
  .paper-lenses { grid-template-columns: 1fr; }
  .paper-lenses article.flagship-lens { transform: none; }
  .review-section { padding-block: 77px; }
  .review-wrap { grid-template-columns: 1fr; gap: 39px; }
  .review-section h2 { font-size: 48px; }
  .review-questions li { grid-template-columns: 38px 1fr; }
  .footer-inner { align-items: flex-start; flex-direction: column; }
  .footer-links { flex-direction: column; gap: 9px; }
}

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { transition: none !important; }
}

/* Reader argument V2 ------------------------------------------------------- */

.v2 .v2-hero h1 {
  font-size: clamp(62px, 7.2vw, 104px);
  letter-spacing: -0.065em;
}

.v2 .v2-hero h1 em {
  display: inline-block;
  color: var(--blue);
}

.hero-subtitle {
  max-width: 690px;
  margin: 19px 0 0;
  color: var(--ink);
  font-family: var(--serif);
  font-size: clamp(22px, 2.2vw, 30px);
  line-height: 1.35;
}

.v2 .hero-lead {
  margin-top: 22px;
  font-size: 19px;
}

.thesis-strip {
  max-width: 760px;
  margin-top: 27px;
  padding: 15px 18px;
  display: flex;
  align-items: center;
  gap: 10px;
  color: #5c6579;
  background: rgba(255, 253, 248, 0.68);
  border: 1px solid var(--line);
  border-radius: 10px;
  font-size: 13px;
}

.thesis-strip span {
  color: var(--orange);
  font-size: 10px;
  font-weight: 850;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.thesis-strip strong { color: var(--ink); }
.thesis-strip i { margin-inline: 3px; color: var(--blue); font-style: normal; }

.scope-aside { align-self: center; }

.scope-collapse {
  margin: 23px 0;
  display: grid;
  gap: 10px;
}

.scope-collapse > div:not(.scope-arrow) {
  padding: 16px 18px;
  border: 1px solid var(--line);
  border-radius: 10px;
}

.scope-collapse span {
  color: var(--ink-soft);
  font-size: 9px;
  font-weight: 850;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.scope-collapse p {
  margin: 5px 0 0;
  font-family: var(--mono);
  font-size: 11px;
  line-height: 1.55;
}

.scope-full { background: #f4f1e9; }
.scope-first { color: var(--blue-deep); background: var(--blue-soft); }
.scope-arrow { height: 18px; display: grid; place-items: center; color: var(--orange); }

.argument-section {
  padding-block: 92px;
  color: white;
  background:
    radial-gradient(circle at 80% 20%, rgba(60, 105, 225, 0.25), transparent 28%),
    var(--dark);
}

.argument-chain {
  margin: 0;
  padding: 0;
  display: grid;
  grid-template-columns: repeat(7, minmax(0, 1fr));
  gap: 9px;
  list-style: none;
}

.argument-chain li {
  position: relative;
  min-height: 230px;
  padding: 22px 17px 19px;
  background: rgba(255, 255, 255, 0.055);
  border: 1px solid rgba(255, 255, 255, 0.13);
  border-radius: 12px;
}

.argument-chain li:not(:last-child)::after {
  content: "→";
  position: absolute;
  z-index: 2;
  top: 50%;
  right: -12px;
  width: 16px;
  color: #8ea9ef;
  background: var(--dark);
  text-align: center;
  transform: translateY(-50%);
}

.argument-chain li > span {
  color: #92b1ff;
  font-family: var(--mono);
  font-size: 10px;
}

.argument-chain strong {
  display: block;
  margin-top: 31px;
  font-family: var(--serif);
  font-size: 18px;
  line-height: 1.35;
}

.argument-chain p {
  margin: 13px 0 0;
  color: #aeb8cd;
  font-size: 12px;
  line-height: 1.6;
}

.slice-grid {
  display: grid;
  grid-template-columns: 0.9fr 1.1fr;
  gap: 21px;
}

.slice-grid article {
  padding: 34px;
  background: var(--white);
  border: 1px solid var(--line);
  border-radius: 16px;
}

.slice-formula .display-formula {
  margin: 24px 0 20px;
  color: var(--blue-deep);
  font-size: 25px;
}

.slice-grid article > p:last-child {
  color: var(--ink-soft);
  font-size: 14px;
}

.slice-questions ol {
  margin: 18px 0 0;
  padding: 0;
  list-style: none;
  counter-reset: question;
}

.slice-questions li {
  padding: 11px 0;
  display: grid;
  grid-template-columns: 34px 1fr;
  gap: 9px;
  align-items: center;
  border-bottom: 1px solid var(--line);
  counter-increment: question;
  font-size: 14px;
}

.slice-questions li::before {
  content: "0" counter(question);
  color: var(--blue);
  font-family: var(--mono);
  font-size: 10px;
}

.deletion-section { background: #eeeae0; }

.deletion-equation {
  display: grid;
  grid-template-columns: 1fr 170px 1fr;
  gap: 18px;
  align-items: stretch;
}

.deletion-equation > div:not(.delete-mark) {
  padding: 25px;
  background: var(--white);
  border: 1px solid var(--line);
  border-radius: 14px;
  text-align: center;
}

.deletion-equation span {
  color: var(--ink-soft);
  font-size: 10px;
  font-weight: 850;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.deletion-equation p { margin: 11px 0 0; font-size: 21px; }
.deletion-equation .without-u { color: #8b4930; background: var(--orange-soft); }

.delete-mark {
  display: grid;
  place-items: center;
  color: white;
  background: var(--orange);
  border-radius: 14px;
  font-size: 12px;
  font-weight: 800;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.loss-grid {
  margin-top: 20px;
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: 13px;
}

.loss-grid article {
  padding: 25px 22px;
  background: rgba(255, 253, 248, 0.72);
  border: 1px solid var(--line);
  border-top: 3px solid var(--orange);
  border-radius: 12px;
}

.loss-grid span {
  color: var(--orange);
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 800;
}

.loss-grid h3 {
  margin: 14px 0 10px;
  font-family: var(--serif);
  font-size: 19px;
  line-height: 1.35;
}

.loss-grid p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 12px;
}

.primitive-proposition {
  margin-top: 21px;
  padding: 31px 35px;
  color: white;
  background: var(--ink);
  border-radius: 15px;
}

.primitive-proposition .card-label { color: #94b2ff; }

.primitive-proposition strong {
  display: block;
  max-width: 1050px;
  font-family: var(--serif);
  font-size: 23px;
  font-weight: 520;
  line-height: 1.5;
}

.primitive-proposition > p:last-child {
  margin: 14px 0 0;
  color: #b8c0d1;
  font-size: 13px;
}

.token-layers {
  display: grid;
  grid-template-columns: 1fr 145px 1fr;
  gap: 18px;
  align-items: stretch;
}

.token-layer {
  position: relative;
  padding: 34px;
  overflow: hidden;
  background: var(--white);
  border: 1px solid var(--line);
  border-radius: 17px;
}

.token-layer .layer-number {
  position: absolute;
  top: 8px;
  right: 21px;
  color: rgba(27, 31, 42, 0.06);
  font-family: var(--serif);
  font-size: 88px;
  line-height: 1;
}

.token-layer h3 {
  position: relative;
  margin: 24px 0 14px;
  font-family: var(--serif);
  font-size: 28px;
}

.token-layer > p:last-child {
  position: relative;
  margin: 0;
  color: var(--ink-soft);
  font-size: 14px;
}

.identity-layer { border-top: 4px solid var(--orange); }
.code-layer { border-top: 4px solid var(--blue); }

.embedding-map {
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  color: var(--ink-soft);
  text-align: center;
}

.embedding-map span {
  font-size: 9px;
  font-weight: 800;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.embedding-map strong {
  margin-top: 12px;
  color: var(--violet);
  font-family: var(--serif);
  font-size: 34px;
}

.embedding-map i {
  margin-top: 8px;
  color: var(--blue);
  font-size: 27px;
  font-style: normal;
}

.forced-abduction .logic-card {
  color: var(--ink);
  background: #fbfaf5;
}

.forced-abduction .logic-card > p:last-child {
  margin: 18px 0 0;
  color: var(--ink-soft);
  font-size: 13px;
}

.forced-chain {
  margin-top: 23px;
  padding: 21px;
  display: grid;
  grid-template-columns: repeat(9, auto);
  align-items: stretch;
  gap: 9px;
  overflow-x: auto;
  background: rgba(255, 255, 255, 0.04);
  border: 1px solid rgba(255, 255, 255, 0.11);
  border-radius: 14px;
}

.forced-chain > div {
  min-width: 145px;
  padding: 16px;
  border: 1px solid rgba(255, 255, 255, 0.12);
  border-radius: 9px;
}

.forced-chain > div.accent {
  background: rgba(111, 77, 200, 0.27);
  border-color: rgba(167, 141, 235, 0.5);
}

.forced-chain span {
  display: block;
  color: #93a1bc;
  font-size: 9px;
  font-weight: 800;
  letter-spacing: 0.11em;
  text-transform: uppercase;
}

.forced-chain strong {
  display: block;
  margin-top: 8px;
  color: white;
  font-size: 13px;
}

.forced-chain i {
  display: grid;
  place-items: center;
  color: #74839f;
  font-style: normal;
}

.epistemic-ladder {
  margin: 0;
  padding: 0;
  display: grid;
  gap: 15px;
  list-style: none;
}

.epistemic-ladder li {
  position: relative;
  padding: 30px 34px;
  display: grid;
  grid-template-columns: 110px 1fr;
  gap: 30px;
  align-items: center;
  background: var(--white);
  border: 1px solid var(--line);
  border-radius: 15px;
}

.epistemic-ladder li:not(:last-child)::after {
  content: "↓";
  position: absolute;
  z-index: 2;
  left: 77px;
  bottom: -24px;
  width: 28px;
  height: 28px;
  display: grid;
  place-items: center;
  color: white;
  background: var(--ink);
  border-radius: 50%;
  font-size: 13px;
}

.ladder-index {
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  align-self: stretch;
  border-right: 1px solid var(--line);
}

.ladder-index span {
  color: var(--ink-soft);
  font-size: 9px;
  font-weight: 800;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.ladder-index strong {
  margin-top: 5px;
  font-family: var(--serif);
  font-size: 46px;
  font-weight: 500;
}

.epistemic-ladder h3 {
  margin: 4px 0 9px;
  font-family: var(--serif);
  font-size: 26px;
}

.epistemic-ladder li > div:last-child > p:not(.card-label) {
  margin: 9px 0;
  overflow-x: auto;
  color: var(--blue-deep);
}

.epistemic-ladder small { color: var(--ink-soft); }
.ladder-point { border-left: 5px solid var(--orange) !important; }
.ladder-distribution { border-left: 5px solid var(--violet) !important; }
.ladder-geometry { border-left: 5px solid var(--blue) !important; background: var(--blue-soft) !important; }

.cauchy-derivation { background: #eceaf2; }

.gaussian-test {
  display: grid;
  grid-template-columns: 0.82fr 1.18fr;
  gap: 20px;
}

.gaussian-test article {
  padding: 34px;
  background: var(--white);
  border: 1px solid var(--line);
  border-radius: 16px;
}

.gaussian-commitments { border-top: 4px solid #7b849a !important; }
.desired-geometry { border-top: 4px solid var(--violet) !important; }

.gaussian-test h3 {
  margin: 12px 0 20px;
  font-family: var(--serif);
  font-size: 24px;
  line-height: 1.4;
}

.gaussian-commitments ul {
  margin: 0;
  padding: 0;
  list-style: none;
}

.gaussian-commitments li {
  padding: 9px 0;
  color: var(--ink-soft);
  border-bottom: 1px solid var(--line);
  font-size: 13px;
}

.pressure-question {
  margin: 24px 0 0;
  padding: 15px;
  color: #804120;
  background: var(--orange-soft);
  border-radius: 9px;
  font-family: var(--serif);
  font-size: 17px;
  text-align: center;
}

.desired-geometry ol {
  margin: 0;
  padding: 0;
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 10px;
  list-style: none;
  counter-reset: desiderata;
}

.desired-geometry li {
  padding: 15px;
  background: var(--paper);
  border-radius: 9px;
  counter-increment: desiderata;
}

.desired-geometry li::before {
  content: "0" counter(desiderata);
  display: block;
  color: var(--violet);
  font-family: var(--mono);
  font-size: 9px;
}

.desired-geometry strong {
  display: block;
  margin-top: 7px;
  font-size: 13px;
}

.desired-geometry span {
  display: block;
  margin-top: 3px;
  color: var(--ink-soft);
  font-size: 11px;
}

.stable-family {
  margin-top: 21px;
  display: grid;
  grid-template-columns: 1fr 180px 1fr;
  gap: 17px;
  align-items: stretch;
}

.stable-card {
  padding: 25px 28px;
  border: 1px solid var(--line);
  border-radius: 13px;
}

.stable-card > span {
  color: var(--ink-soft);
  font-size: 9px;
  font-weight: 800;
  letter-spacing: 0.11em;
  text-transform: uppercase;
}

.stable-card > strong {
  display: block;
  margin-top: 8px;
  font-family: var(--serif);
  font-size: 28px;
}

.stable-card p {
  margin: 6px 0 0;
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 11px;
}

.gaussian-stable { background: #f5f4f7; }
.cauchy-stable { color: white; background: var(--violet); border-color: var(--violet); }
.cauchy-stable > span, .cauchy-stable p { color: #dcd2fb; }

.stable-arrow {
  display: grid;
  place-items: center;
  color: white;
  background: var(--ink);
  border-radius: 13px;
  font-size: 10px;
  font-weight: 800;
  letter-spacing: 0.1em;
  text-align: center;
  text-transform: uppercase;
}

.honesty-callout {
  margin-top: 21px;
  padding: 25px 29px;
  display: grid;
  grid-template-columns: 0.55fr 1.45fr;
  gap: 28px;
  background: var(--orange-soft);
  border-left: 4px solid var(--orange);
}

.honesty-callout strong {
  font-family: var(--serif);
  font-size: 20px;
}

.honesty-callout p {
  margin: 0;
  color: #744c38;
  font-size: 13px;
}

.derived-pipeline {
  display: grid;
  grid-template-columns: 1fr 32px 1.25fr 32px 1.25fr 32px 1.15fr;
  gap: 8px;
  align-items: stretch;
}

.derived-pipeline > div {
  padding: 22px;
  background: var(--white);
  border: 1px solid var(--line);
  border-radius: 12px;
}

.derived-pipeline > div.cauchy-node { background: var(--violet-soft); border-color: rgba(110, 74, 200, 0.35); }
.derived-pipeline > div.law-node { background: var(--green-soft); border-color: rgba(21, 131, 109, 0.35); }

.derived-pipeline span {
  display: block;
  color: var(--ink-soft);
  font-size: 9px;
  font-weight: 800;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.derived-pipeline strong {
  display: block;
  margin-top: 12px;
  font-size: 13px;
  line-height: 1.55;
}

.derived-pipeline i {
  display: grid;
  place-items: center;
  color: #8690a4;
  font-style: normal;
}

.prediction-law {
  margin-top: 21px;
  padding: 28px 32px;
  background: var(--white);
  border: 1px solid var(--line);
  border-radius: 15px;
}

.prediction-law > div {
  margin-block: 12px;
  padding: 10px;
  overflow-x: auto;
  color: var(--blue-deep);
  background: var(--blue-soft);
  border-radius: 9px;
  font-size: 18px;
}

.prediction-law > p:last-child {
  margin: 0;
  color: var(--ink-soft);
  font-size: 13px;
}

.learnability-v2 { background: var(--paper-deep); }

.equivalence-callout {
  margin-top: 20px;
  padding: 23px 28px;
  color: white;
  background: var(--green);
  border-radius: 12px;
}

.equivalence-callout strong {
  font-size: 11px;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.equivalence-callout p {
  margin: 7px 0 0;
  font-family: var(--serif);
  font-size: 20px;
}

.robustness-section { background: var(--dark); color: white; }
.robustness-section .section-kicker p { color: #8e9db9; }
.robustness-section .section-intro > p { color: #aeb8cd; }

.robustness-grid {
  display: grid;
  grid-template-columns: 1.15fr 0.85fr;
  gap: 20px;
}

.robustness-grid article {
  min-width: 0;
  padding: 34px;
  border: 1px solid rgba(255, 255, 255, 0.14);
  border-radius: 15px;
}

.direct-robustness { background: rgba(34, 86, 217, 0.17); }
.hypothesis-robustness { background: rgba(255, 255, 255, 0.045); }
.robustness-grid .card-label { color: #9bb5fb; }

.robustness-grid h3 {
  margin: 11px 0 17px;
  font-family: var(--serif);
  font-size: 25px;
}

.robust-formula {
  padding: 14px;
  overflow-x: auto;
  color: #d6e0ff;
  background: rgba(255, 255, 255, 0.055);
  border-radius: 9px;
  font-size: 15px;
}

.robustness-grid article > p:last-child {
  color: #abb6cc;
  font-size: 13px;
}

.hypothesis-robustness > strong {
  display: block;
  margin-top: 20px;
  padding-top: 17px;
  color: #ffba97;
  border-top: 1px solid rgba(255, 255, 255, 0.15);
  font-size: 12px;
}

.v2-comparison { margin-top: 22px; }

.guard-nav-link {
  color: #b84d27 !important;
}

.notation-preflight {
  position: relative;
  z-index: 3;
  margin-top: -44px;
  padding: 24px 27px;
  display: grid;
  grid-template-columns: 112px minmax(0, 1fr) 235px;
  align-items: center;
  gap: 27px;
  background: #fff7f2;
  border: 1px solid rgba(231, 104, 53, 0.35);
  border-top: 5px solid var(--orange);
  border-radius: 16px;
  box-shadow: 0 24px 60px rgba(80, 43, 26, 0.13);
}

.preflight-symbol {
  min-height: 92px;
  display: grid;
  place-items: center;
  align-content: center;
  background: var(--ink);
  border-radius: 12px;
}

.preflight-symbol span {
  color: #ffb397;
  font-size: 8px;
  font-weight: 850;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.preflight-symbol strong {
  margin-top: 2px;
  color: white;
  font-family: var(--serif);
  font-size: 35px;
  font-weight: 500;
}

.preflight-copy .eyebrow {
  margin-bottom: 4px;
  color: var(--orange);
}

.preflight-copy h2 {
  margin: 0;
  font-family: var(--serif);
  font-size: clamp(21px, 2.2vw, 29px);
  font-weight: 600;
  line-height: 1.25;
}

.preflight-copy > p:last-child {
  margin: 7px 0 0;
  color: #6e5143;
  font-size: 12px;
  line-height: 1.6;
}

.notation-preflight > a {
  min-height: 88px;
  padding: 16px 18px;
  display: flex;
  flex-direction: column;
  justify-content: center;
  color: white;
  background: var(--orange);
  border-radius: 11px;
  text-decoration: none;
  transition: transform 0.18s ease, background 0.18s ease;
}

.notation-preflight > a:hover {
  background: #c84f24;
  transform: translateY(-2px);
}

.notation-preflight > a span {
  color: #ffd8c8;
  font-size: 9px;
  font-weight: 850;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.notation-preflight > a strong {
  margin-top: 6px;
  font-family: var(--serif);
  font-size: 17px;
  line-height: 1.35;
}

.artifact-strip {
  margin-top: -38px;
  margin-bottom: 94px;
  padding: 30px;
  display: grid;
  grid-template-columns: minmax(0, 0.82fr) minmax(0, 1.18fr);
  gap: 34px;
  align-items: center;
  background: var(--white);
  border: 1px solid var(--line);
  border-radius: 18px;
  box-shadow: var(--shadow);
}

.notation-preflight + .artifact-strip {
  margin-top: 24px;
}

.artifact-copy .eyebrow { margin-bottom: 8px; }

.artifact-copy h2 {
  margin: 0;
  font-family: var(--serif);
  font-size: clamp(24px, 2.5vw, 34px);
  font-weight: 600;
  line-height: 1.2;
}

.artifact-copy > p:last-child {
  margin: 12px 0 0;
  color: var(--ink-soft);
  font-size: 13px;
  line-height: 1.65;
}

.artifact-links {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 10px;
}

.artifact-links a {
  min-height: 104px;
  padding: 17px;
  display: flex;
  flex-direction: column;
  justify-content: space-between;
  border: 1px solid var(--line);
  border-radius: 12px;
  text-decoration: none;
  transition: transform 0.18s ease, border-color 0.18s ease, background 0.18s ease;
}

.artifact-links a:first-child {
  color: white;
  background: var(--orange);
  border-color: var(--orange);
}

.artifact-links a:hover {
  transform: translateY(-2px);
  border-color: rgba(34, 86, 217, 0.5);
  background: var(--blue-soft);
}

.artifact-links a:first-child:hover { color: white; background: #c84f24; }
.artifact-links a.bridge-artifact {
  grid-column: 1 / -1;
  min-height: 92px;
  flex-direction: row;
  align-items: center;
  gap: 28px;
  color: white;
  border-color: #1a347c;
  background: linear-gradient(115deg, #1b2534, #2457d6);
}
.artifact-links a.bridge-artifact span {
  flex: 0 0 auto;
  color: #ffb69b;
}
.artifact-links a.bridge-artifact strong {
  max-width: 760px;
  font-size: clamp(17px, 2vw, 23px);
}
.artifact-links a.bridge-artifact:hover {
  color: white;
  border-color: #e35b2b;
  background: linear-gradient(115deg, #17202d, #1f49b7);
}
.artifact-links span { font-size: 10px; font-weight: 820; letter-spacing: 0.1em; text-transform: uppercase; }
.artifact-links strong { font-family: var(--serif); font-size: 15px; line-height: 1.35; }

.source-note {
  margin: 17px 0 0;
  color: var(--ink-soft);
  font-size: 12px;
  text-align: center;
}
.source-note a {
  color: var(--blue);
  text-underline-offset: 3px;
}

.experiment-guide-link {
  margin: -4px 0 28px;
  padding: 25px 28px;
  display: grid;
  grid-template-columns: 170px 1fr auto;
  align-items: center;
  gap: 24px;
  color: white;
  background: var(--blue);
  border-radius: 14px;
  box-shadow: 0 18px 42px rgba(34, 86, 217, 0.2);
  text-decoration: none;
  transition: transform 0.18s ease, background 0.18s ease;
}

.experiment-guide-link:hover {
  background: var(--blue-deep);
  transform: translateY(-2px);
}

.experiment-guide-link span {
  color: #cdd9ff;
  font-size: 9px;
  font-weight: 850;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.experiment-guide-link strong {
  font-family: var(--serif);
  font-size: 18px;
  line-height: 1.5;
}

.experiment-guide-link i {
  color: #e9eeff;
  font-size: 11px;
  font-style: normal;
  font-weight: 760;
  white-space: nowrap;
}

.next-design-link {
  margin-top: 12px;
  color: #244c43;
  background: var(--green-soft);
  border-color: rgba(20, 123, 104, 0.27);
}

.next-design-link:hover {
  color: #143f36;
  border-color: rgba(20, 123, 104, 0.58);
  background: #d9efe8;
}

.next-design-link span,
.next-design-link i { color: var(--green); }
.papers-v2 { background: #eceaf2; }

@media (max-width: 1120px) {
  .argument-chain {
    grid-template-columns: repeat(4, 1fr);
  }

  .argument-chain li:not(:last-child)::after { display: none; }
  .loss-grid { grid-template-columns: 1fr 1fr; }
  .desired-geometry ol { grid-template-columns: 1fr; }
  .derived-pipeline { grid-template-columns: 1fr 24px 1fr; }
  .derived-pipeline > div:nth-of-type(3),
  .derived-pipeline > div:nth-of-type(4) { margin-top: 10px; }
  .artifact-strip { grid-template-columns: 1fr; }
  .artifact-links { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .notation-preflight {
    grid-template-columns: 96px minmax(0, 1fr);
  }
  .notation-preflight > a {
    grid-column: 1 / -1;
    min-height: 66px;
  }
}

@media (max-width: 740px) {
  .v2 .v2-hero h1 {
    font-size: clamp(55px, 16vw, 72px);
    line-height: 0.98;
  }

  .hero-subtitle { font-size: 21px; }
  .v2 .hero-lead { font-size: 17px; }
  .notation-preflight {
    width: min(100% - 32px, 1180px);
    margin-top: -22px;
    padding: 20px;
    grid-template-columns: 1fr;
  }
  .preflight-symbol {
    min-height: 74px;
    place-items: start;
    padding: 12px 16px;
  }
  .preflight-symbol strong { font-size: 28px; }
  .notation-preflight > a { grid-column: auto; }

  .thesis-strip {
    align-items: flex-start;
    flex-direction: column;
  }

  .thesis-strip i { transform: rotate(90deg); }
  .argument-section { padding-block: 72px; }

  .argument-chain {
    grid-template-columns: 1fr;
  }

  .argument-chain li {
    min-height: 0;
    padding: 22px;
  }

  .argument-chain strong { margin-top: 14px; font-size: 21px; }
  .slice-grid { grid-template-columns: 1fr; }
  .slice-grid article { padding: 27px 22px; }

  .deletion-equation {
    grid-template-columns: 1fr;
  }

  .delete-mark {
    min-height: 54px;
  }

  .loss-grid { grid-template-columns: 1fr; }
  .primitive-proposition { padding: 28px 23px; }
  .primitive-proposition strong { font-size: 19px; }

  .token-layers {
    grid-template-columns: 1fr;
  }

  .embedding-map { min-height: 96px; }
  .embedding-map i { transform: rotate(90deg); }
  .token-layer { padding: 28px 23px; }

  .forced-chain {
    margin-inline: -5px;
  }

  .epistemic-ladder li {
    padding: 26px 22px;
    grid-template-columns: 62px 1fr;
    gap: 17px;
  }

  .epistemic-ladder li:not(:last-child)::after { left: 39px; }
  .ladder-index strong { font-size: 37px; }
  .epistemic-ladder h3 { font-size: 22px; }

  .gaussian-test { grid-template-columns: 1fr; }
  .gaussian-test article { padding: 28px 22px; }

  .stable-family {
    grid-template-columns: 1fr;
  }

  .stable-arrow {
    min-height: 64px;
  }

  .honesty-callout {
    padding: 23px;
    grid-template-columns: 1fr;
    gap: 10px;
  }

  .derived-pipeline {
    grid-template-columns: 1fr;
  }

  .derived-pipeline i {
    height: 25px;
    transform: rotate(90deg);
  }

  .prediction-law { padding: 25px 20px; }
  .prediction-law > div { margin-inline: -4px; font-size: 13px; }
  .robustness-grid { grid-template-columns: 1fr; }
  .robustness-grid article { padding: 28px 22px; }
  .robust-formula { margin-inline: -5px; padding-inline: 7px; font-size: 12px; }
  .artifact-strip {
    width: min(100% - 32px, 1180px);
    margin-top: -20px;
    margin-bottom: 70px;
    padding: 22px;
  }
  .artifact-links { grid-template-columns: 1fr; }
  .artifact-links a { min-height: 88px; }
  .artifact-links a.bridge-artifact {
    grid-column: auto;
    flex-direction: column;
    align-items: flex-start;
    gap: 12px;
  }
  .experiment-guide-link {
    padding: 23px 20px;
    grid-template-columns: 1fr;
    gap: 9px;
  }
}
