:root {
  --ink: #17211f;
  --ink-2: #35413e;
  --muted: #66706c;
  --forest: #0d2b27;
  --forest-2: #123a34;
  --forest-3: #1b5047;
  --acid: #e8ff6a;
  --acid-soft: #f1ffad;
  --coral: #ff6d5f;
  --coral-deep: #a83a31;
  --sky: #acd8f2;
  --violet: #9e8fc5;
  --sand: #eee8dc;
  --paper: #f8f5ed;
  --paper-2: #eee9dd;
  --white: #fffdf7;
  --line: rgba(23, 33, 31, .16);
  --line-light: rgba(255, 255, 255, .18);
  --serif: "Instrument Serif", Georgia, serif;
  --sans: "Manrope", system-ui, -apple-system, sans-serif;
  --mono: "DM Mono", ui-monospace, monospace;
  --content: min(1220px, calc(100vw - 56px));
  --shadow: 0 24px 70px rgba(9, 31, 27, .12);
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 96px; }
[id] { scroll-margin-top: 96px; }
.motion-paused { scroll-behavior: auto; }
.motion-paused *, .motion-paused *::before, .motion-paused *::after { transition-duration: .01ms !important; }
body {
  margin: 0;
  color: var(--ink);
  background: var(--paper);
  font: 400 16px/1.7 var(--sans);
  text-rendering: optimizeLegibility;
}
body::before {
  content: "";
  position: fixed;
  inset: 0;
  z-index: 90;
  pointer-events: none;
  opacity: .11;
  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='.82' numOctaves='3' stitchTiles='stitchTiles'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23n)' opacity='.13'/%3E%3C/svg%3E");
}
.sr-only { position: absolute !important; width: 1px !important; height: 1px !important; padding: 0 !important; margin: -1px !important; overflow: hidden !important; clip: rect(0,0,0,0) !important; white-space: nowrap !important; border: 0 !important; }

a { color: inherit; }
button, input, select { font: inherit; }
button { color: inherit; }
canvas, svg { display: block; max-width: 100%; }
img { max-width: 100%; }
p, h1, h2, h3, h4, dl, ol, ul { margin-top: 0; }
h1, h2, h3 { text-wrap: balance; }
h1, h2 {
  font-family: var(--serif);
  font-weight: 400;
  line-height: .94;
  letter-spacing: -.035em;
}
h2 { font-size: clamp(3.3rem, 6.8vw, 6.4rem); }
h3 { line-height: 1.15; }
sup, sub { line-height: 0; }

button:focus-visible,
a:focus-visible,
input:focus-visible,
select:focus-visible,
[tabindex]:focus-visible {
  outline: 2px solid var(--acid);
  outline-offset: 3px;
  box-shadow: 0 0 0 6px var(--forest);
}
.paper-section button:focus-visible,
.page-section button:focus-visible,
.page-section input:focus-visible,
.page-section select:focus-visible { outline-color: var(--coral); box-shadow: 0 0 0 6px var(--white); }

.skip-link {
  position: fixed;
  z-index: 120;
  top: -100px;
  left: 16px;
  padding: 12px 18px;
  color: var(--forest);
  background: var(--acid);
  font-weight: 700;
  transition: top .2s;
}
.skip-link:focus { top: 16px; }
.reading-progress { position: fixed; z-index: 110; top: 0; left: 0; width: 100%; height: 3px; }
.reading-progress span { display: block; width: 0; height: 100%; background: var(--acid); }

.site-header {
  position: absolute;
  z-index: 50;
  top: 0;
  left: 50%;
  width: var(--content);
  height: 96px;
  transform: translateX(-50%);
  display: flex;
  align-items: center;
  justify-content: space-between;
  color: var(--white);
  border-bottom: 1px solid var(--line-light);
}
.brand { display: flex; align-items: center; gap: 13px; color: inherit; text-decoration: none; }
.brand small { display: block; color: rgba(255,255,255,.55); font: 500 9px/1.2 var(--mono); letter-spacing: .13em; }
.brand strong { display: block; font-size: 14px; font-weight: 650; }
.brand-glyph { position: relative; width: 42px; height: 42px; border: 1px solid rgba(255,255,255,.3); border-radius: 12px; overflow: hidden; }
.brand-glyph i { position: absolute; top: 20px; left: 5px; width: 32px; height: 2px; background: var(--acid); transform-origin: center; }
.brand-glyph i:nth-child(1) { transform: rotate(0); }
.brand-glyph i:nth-child(2) { transform: rotate(43deg); }
.brand-glyph i:nth-child(3) { transform: rotate(-43deg); }
.top-nav { display: flex; align-items: center; gap: 26px; }
.top-nav a { color: rgba(255,255,255,.75); text-decoration: none; font-size: 12px; }
.top-nav a:hover { color: var(--acid); }
.nav-toggle { display: none; width: 44px; height: 44px; border: 0; background: transparent; cursor: pointer; }
.nav-toggle span { display: block; width: 24px; height: 1px; margin: 7px auto; background: white; }

.chapter-rail {
  position: fixed;
  z-index: 45;
  top: 50%;
  left: 18px;
  transform: translateY(-50%);
  display: flex;
  flex-direction: column;
  gap: 3px;
  opacity: 0;
  visibility: hidden;
  pointer-events: none;
  transition: opacity .25s;
}
.chapter-rail.visible { opacity: 1; visibility: visible; pointer-events: auto; }
.chapter-rail p { margin: 0 0 8px 28px; color: var(--muted); font: 500 8px/1 var(--mono); letter-spacing: .12em; text-transform: uppercase; }
.chapter-rail a {
  display: flex;
  align-items: center;
  gap: 9px;
  width: 34px;
  height: 27px;
  overflow: hidden;
  color: var(--muted);
  text-decoration: none;
  white-space: nowrap;
  font-size: 10px;
  transition: width .2s, color .2s;
}
.chapter-rail a span { flex: 0 0 27px; display: grid; place-items: center; height: 27px; border: 1px solid var(--line); border-radius: 50%; background: rgba(248,245,237,.92); font: 8px/1 var(--mono); backdrop-filter: blur(7px); }
.chapter-rail a:hover, .chapter-rail a.active, .chapter-rail a:focus-visible { width: 142px; color: var(--ink); }
.chapter-rail a.active span { color: var(--forest); border-color: var(--acid); background: var(--acid); }
.motion-toggle {
  position: fixed;
  z-index: 70;
  right: 18px;
  bottom: 18px;
  min-height: 44px;
  padding: 11px 15px;
  color: white;
  border: 1px solid rgba(255,255,255,.3);
  background: rgba(13,43,39,.95);
  box-shadow: var(--shadow);
  cursor: pointer;
  font: 500 10px/1 var(--mono);
  text-transform: uppercase;
  letter-spacing: .05em;
}
.motion-toggle > span:first-child { margin-right: 6px; color: var(--acid); }

.hero {
  position: relative;
  overflow: hidden;
  min-height: 960px;
  color: var(--white);
  background:
    radial-gradient(circle at 82% 23%, rgba(172,216,242,.14), transparent 29%),
    radial-gradient(circle at 34% 80%, rgba(232,255,106,.07), transparent 36%),
    var(--forest);
}
.hero::before {
  content: "";
  position: absolute;
  inset: 0;
  opacity: .3;
  background-image: linear-gradient(rgba(255,255,255,.035) 1px, transparent 1px), linear-gradient(90deg,rgba(255,255,255,.035) 1px,transparent 1px);
  background-size: 55px 55px;
  mask-image: linear-gradient(to bottom, black, transparent 88%);
}
.hero-grid { position: relative; z-index: 2; width: var(--content); min-height: 830px; margin: 0 auto; padding-top: 142px; display: grid; grid-template-columns: .9fr 1.1fr; align-items: center; gap: 42px; }
.hero-copy { padding-bottom: 30px; }
.eyebrow { margin: 0 0 19px; color: var(--forest-3); font: 500 10px/1.2 var(--mono); letter-spacing: .14em; text-transform: uppercase; }
.eyebrow.light { color: rgba(255,255,255,.56); }
.hero h1 { max-width: 730px; margin-bottom: 28px; font-size: clamp(4.4rem, 7.5vw, 8.3rem); }
.hero h1 em { color: var(--acid); font-weight: 400; }
.hero-deck { max-width: 620px; margin-bottom: 33px; color: rgba(255,255,255,.75); font-size: 18px; line-height: 1.65; }
.hero-actions { display: flex; flex-wrap: wrap; gap: 12px; margin-bottom: 42px; }
.button { display: inline-flex; min-height: 48px; align-items: center; justify-content: center; gap: 12px; padding: 12px 20px; border: 1px solid transparent; text-decoration: none; cursor: pointer; font-size: 13px; font-weight: 700; }
.button.acid { color: var(--forest); background: var(--acid); }
.button.outline { color: var(--white); border-color: rgba(255,255,255,.3); background: transparent; }
.button.dark { color: white; background: var(--forest); }
.button.text-button { color: var(--ink); border-color: var(--line); background: transparent; }
.hero-meta { display: flex; gap: 24px; margin: 0; }
.hero-meta div { padding-left: 13px; border-left: 1px solid rgba(255,255,255,.18); }
.hero-meta dt { color: rgba(255,255,255,.72); font: 500 9px/1.2 var(--mono); text-transform: uppercase; }
.hero-meta dd { margin: 4px 0 0; color: rgba(255,255,255,.86); font-size: 11px; }
.hero-visual { position: relative; min-width: 0; }
.hero-visual canvas { width: 100%; aspect-ratio: 1.06; }
.hero-orbit { position: absolute; display: grid; place-items: center; width: 42px; height: 42px; color: var(--acid); border: 1px solid rgba(232,255,106,.36); border-radius: 50%; font: 12px/1 var(--mono); }
.orbit-a { top: 17%; right: 11%; }
.orbit-b { bottom: 22%; left: 8%; width: 60px; height: 60px; color: var(--sky); border-color: rgba(172,216,242,.35); }
.visual-caption { position: absolute; right: 5%; bottom: 6%; margin: 0; color: rgba(255,255,255,.72); font: 9px/1.3 var(--mono); }
.visual-caption span { display: inline-block; width: 6px; height: 6px; margin-right: 7px; border-radius: 50%; background: var(--acid); box-shadow: 0 0 0 5px rgba(232,255,106,.12); }
.result-ribbon { position: relative; z-index: 3; width: var(--content); min-height: 118px; margin: 0 auto; display: grid; grid-template-columns: .6fr 2fr .8fr; gap: 24px; align-items: center; border-top: 1px solid var(--line-light); }
.result-ribbon span { color: rgba(255,255,255,.72); font: 500 9px/1.2 var(--mono); letter-spacing: .13em; }
.result-ribbon p { margin: 0; color: var(--acid); font-family: var(--serif); font-size: clamp(1.8rem, 3vw, 3rem); }
.result-ribbon small { color: rgba(255,255,255,.55); font-size: 11px; }

.page-section { width: var(--content); margin: 0 auto; padding: 118px 0; }
.section-heading { margin-bottom: 54px; }
.section-heading h2 { max-width: 890px; margin-bottom: 0; }
.split-heading { display: grid; grid-template-columns: 1.15fr .85fr; gap: 64px; align-items: end; }
.split-heading .lede { margin-bottom: 0; }
.lede { color: var(--ink-2); font-size: clamp(1.08rem, 1.7vw, 1.35rem); line-height: 1.58; }
.lede.light { color: rgba(255,255,255,.69); }
.lede-stack > *:last-child { margin-bottom: 0; }
.lede-stack > p:not(.lede) { color: var(--muted); font-size: 14px; }
.cite { color: var(--forest-3); font: 500 10px/1 var(--mono); text-decoration: none; white-space: nowrap; }
.light-cite { color: var(--acid); }

.award-grid { display: grid; grid-template-columns: repeat(6, 1fr); gap: 14px; }
.award-card { min-height: 285px; padding: 25px; display: flex; flex-direction: column; border: 1px solid var(--line); background: var(--white); }
.award-card.featured { grid-column: span 2; color: white; background: var(--forest); border-color: var(--forest); }
.award-card:not(.featured) { grid-column: span 1; }
.award-card span { margin-bottom: 37px; color: var(--muted); font: 500 9px/1 var(--mono); letter-spacing: .1em; }
.award-card.featured span { color: var(--acid); }
.award-card h3 { margin-bottom: 13px; font-family: var(--serif); font-size: 31px; font-weight: 400; }
.award-card p { flex: 1; color: var(--muted); font-size: 12px; line-height: 1.65; }
.award-card.featured p { color: rgba(255,255,255,.68); }
.award-card a { font-size: 11px; font-weight: 700; }
.reading-contract { margin-top: 34px; display: grid; grid-template-columns: repeat(3, 1fr); border: 1px solid var(--line); }
.reading-contract > div { padding: 25px 27px; }
.reading-contract > div + div { border-left: 1px solid var(--line); }
.reading-contract b { display: block; margin-bottom: 9px; color: var(--forest-3); font: 500 9px/1 var(--mono); letter-spacing: .1em; }
.reading-contract p { margin: 0; color: var(--muted); font-size: 12px; }
.reader-routes { display: grid; grid-template-columns: repeat(3, 1fr); gap: 1px; margin-top: 16px; border: 1px solid var(--line); background: var(--line); }
.reader-routes article { padding: 22px; background: var(--paper); }
.reader-routes b { display: block; margin-bottom: 9px; color: var(--forest-3); font: 500 10px/1.3 var(--mono); }
.reader-routes p { margin: 0; color: var(--muted); font-size: 13px; }
.reader-routes a { color: var(--forest-3); font-weight: 700; }

.argument-spine { margin-top: 24px; padding: 29px; color: white; border: 1px solid var(--forest); background: var(--forest); }
.spine-heading { display: grid; grid-template-columns: .55fr .8fr 1.2fr; gap: 28px; align-items: end; padding-bottom: 24px; }
.spine-heading .eyebrow { margin: 0; color: var(--acid); }
.spine-heading h3 { margin: 0; font-family: var(--serif); font-size: 34px; font-weight: 400; }
.spine-heading > p:last-child { margin: 0; color: rgba(255,255,255,.64); font-size: 13px; }
.argument-spine ol { display: grid; grid-template-columns: repeat(6, 1fr); margin: 0; padding: 0; list-style: none; border-top: 1px solid var(--line-light); border-bottom: 1px solid var(--line-light); }
.argument-spine li + li { border-left: 1px solid var(--line-light); }
.argument-spine a { display: flex; min-height: 166px; padding: 19px 16px; flex-direction: column; text-decoration: none; }
.argument-spine a:hover { background: rgba(255,255,255,.055); }
.argument-spine a span, .logic-chain span, .chapter-bridge span, .chapter-bridge small { color: var(--acid); font: 500 9px/1.3 var(--mono); letter-spacing: .08em; }
.argument-spine a b { margin: 19px 0 9px; font-size: 13px; line-height: 1.4; }
.argument-spine a small { margin-top: auto; color: rgba(255,255,255,.58); font-size: 11px; line-height: 1.5; }
.logic-chain { display: grid; grid-template-columns: 1fr 24px 1fr 24px 1fr 24px 1fr; align-items: center; padding-top: 22px; }
.logic-chain div { min-width: 0; }
.logic-chain span { display: block; margin-bottom: 7px; }
.logic-chain p { margin: 0; color: rgba(255,255,255,.8); font-size: 12px; line-height: 1.45; }
.logic-chain i { color: var(--coral); font-style: normal; text-align: center; }

.chapter-bridge { display: grid; grid-template-columns: 1fr 1fr 1.15fr; margin-top: 64px; color: white; border: 1px solid var(--line-light); background: #081b18; }
.chapter-bridge > div, .chapter-bridge > a { min-width: 0; padding: 24px 26px; }
.chapter-bridge > * + * { border-left: 1px solid var(--line-light); }
.chapter-bridge span, .chapter-bridge small { display: block; margin-bottom: 10px; }
.chapter-bridge p { margin: 0; color: rgba(255,255,255,.67); font-size: 12px; line-height: 1.6; }
.chapter-bridge a { display: flex; flex-direction: column; justify-content: center; color: var(--forest); background: var(--acid); text-decoration: none; }
.chapter-bridge a small { color: var(--forest-3); }
.chapter-bridge a b { font-size: 13px; line-height: 1.45; }
.chapter-bridge a:hover { background: var(--acid-soft); }

.legend { display: flex; gap: 24px; justify-content: flex-end; margin-top: 23px; color: var(--muted); font-size: 11px; }
.continuity-note { display: grid; grid-template-columns: minmax(150px,.38fr) minmax(0,1.62fr); gap: 22px; align-items: start; margin: 0 0 26px; padding: 18px 20px; border-left: 4px solid var(--coral-deep); background: var(--paper-2); }
.continuity-note > span { color: var(--coral-deep); font: 600 9px/1.4 var(--mono); letter-spacing: .07em; }
.continuity-note p { margin: 0; color: var(--muted); font-size: 12px; line-height: 1.65; }
.continuity-note p b { color: var(--ink-2); }
.theorem-continuity-note { border-left-color: var(--acid); background: rgba(232,255,106,.07); }
.theorem-continuity-note > span { color: var(--acid); }
.theorem-continuity-note p { color: rgba(255,255,255,.72); }
.theorem-continuity-note p b { color: white; }
.original-factoring-sieve + .continuity-note, .scale-lab + .continuity-note { margin-top: 22px; }

.level { display: inline-block; width: 8px; height: 8px; margin-right: 5px; border-radius: 50%; }
.level.intuition { background: var(--sky); }
.level.derivation { background: var(--acid); border: 1px solid var(--forest); }
.level.research { background: var(--coral); }

.dark-section { color: white; background: var(--forest); }
.dark-section .page-section { padding-top: 126px; }
.dark-section .section-heading h2, .theorem-section h2, .connections-section h2, .lineage-section h2, .glossary-section h2 { color: white; }
.two-definition-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 18px; margin-bottom: 32px; }
.two-definition-grid article { padding: 32px; border: 1px solid var(--line-light); background: rgba(255,255,255,.035); }
.number-chip { display: inline-block; margin-bottom: 28px; padding: 6px 9px; color: var(--forest); background: var(--acid); font: 500 9px/1 var(--mono); }
.number-chip.coral { background: var(--coral); }
.two-definition-grid h3 { font-family: var(--serif); font-size: 34px; font-weight: 400; }
.two-definition-grid p { color: rgba(255,255,255,.66); font-size: 14px; }
.formula { padding: 20px 24px; color: var(--forest); background: var(--acid-soft); border-left: 3px solid var(--acid); font: 500 clamp(1rem, 2vw, 1.35rem)/1.6 var(--mono); overflow-x: auto; }
.dark-section .formula { color: var(--acid); background: rgba(232,255,106,.08); }
.formula.compact { padding: 11px 15px; font-size: 13px; }
.formula.small { font-size: 14px; }

.interactive-card { border: 1px solid var(--line); background: var(--white); box-shadow: var(--shadow); }
.dark-section .interactive-card, .theorem-section .interactive-card, .connections-section .interactive-card { border-color: var(--line-light); background: rgba(255,255,255,.055); box-shadow: none; }
.needle-lab, .angle-lab, .density-lab, .wave-lab, .scale-lab { display: grid; grid-template-columns: .8fr 1.2fr; min-height: 560px; }
.lab-copy { padding: 38px; }
.lab-copy h3 { margin-bottom: 14px; font-family: var(--serif); font-size: clamp(2rem, 3.5vw, 3.1rem); font-weight: 400; }
.lab-copy > p:not(.lab-tag):not(.lab-note) { color: var(--muted); font-size: 13px; }
.dark-section .lab-copy > p:not(.lab-tag):not(.lab-note), .theorem-section .lab-copy > p:not(.lab-tag):not(.lab-note), .connections-section .lab-copy > p:not(.lab-tag):not(.lab-note) { color: rgba(255,255,255,.62); }
.lab-tag { margin-bottom: 15px; color: var(--forest-3); font: 500 9px/1.2 var(--mono); letter-spacing: .11em; }
.dark-section .lab-tag, .theorem-section .lab-tag, .connections-section .lab-tag { color: var(--acid); }
.control-stack { margin-top: 28px; }
.lab-copy label, .dimension-lab label, .regime-lab label { display: flex; justify-content: space-between; margin: 18px 0 7px; font-size: 12px; font-weight: 700; }
.lab-copy output, .dimension-lab output, .regime-lab output { color: var(--acid); font: 500 11px/1 var(--mono); }
input[type="range"] { width: 100%; accent-color: var(--coral); cursor: pointer; }
select, input[type="search"] { width: 100%; min-height: 46px; padding: 9px 12px; color: var(--ink); border: 1px solid var(--line); background: var(--white); }
.live-ledger, .lab-results { margin: 30px 0 0; border-top: 1px solid var(--line-light); }
.lab-identity { margin-top: 16px; font-size: 11px !important; }
.live-ledger div, .lab-results div { display: grid; grid-template-columns: 1fr 1fr; gap: 12px; padding: 10px 0; border-bottom: 1px solid var(--line-light); }
.live-ledger dt, .lab-results dt { color: rgba(255,255,255,.72); font-size: 12px; }
.live-ledger dd, .lab-results dd { margin: 0; text-align: right; color: white; font: 500 10px/1.5 var(--mono); }
.page-section .lab-results { border-top-color: var(--line); }
.page-section .lab-results div { border-bottom-color: var(--line); }
.page-section .lab-results dt { color: var(--muted); }
.page-section .lab-results dd { color: var(--ink); }
.lab-note { margin: 22px 0 0; color: rgba(255,255,255,.72); font-size: 12px; line-height: 1.6; }
.page-section .lab-note { color: var(--muted); }
.lab-stage { position: relative; min-width: 0; overflow: hidden; background: rgba(0,0,0,.08); }
.lab-stage canvas { width: 100%; height: 100%; }
.stage-axis { position: absolute; right: 19px; bottom: 15px; color: rgba(255,255,255,.72); font: 9px/1 var(--mono); }
.concept-callout { display: grid; grid-template-columns: 50px 1fr; gap: 20px; margin-top: 32px; padding: 28px; border: 1px solid var(--line-light); }
.concept-callout > span { display: grid; place-items: center; width: 46px; height: 46px; border-radius: 50%; color: var(--forest); background: var(--acid); font: 500 19px/1 var(--mono); }
.concept-callout h3 { margin: 0 0 8px; font-size: 18px; }
.concept-callout p { margin: 0; color: rgba(255,255,255,.66); font-size: 13px; }

.derivation-grid { display: grid; grid-template-columns: 1.08fr .92fr; gap: 24px; align-items: start; }
.derivation-main { border-top: 1px solid var(--line); }
.math-step { display: grid; grid-template-columns: 55px 1fr; gap: 20px; padding: 26px 0; border-bottom: 1px solid var(--line); }
.math-step > span { display: grid; place-items: center; width: 40px; height: 40px; color: white; border-radius: 50%; background: var(--forest); font: 500 10px/1 var(--mono); }
.math-step h3 { margin-bottom: 7px; font-size: 18px; }
.math-step p { margin: 10px 0 0; color: var(--muted); font-size: 13px; }
.dimension-lab { padding: 30px; }
.dimension-lab svg { width: 100%; margin: 20px 0 8px; border: 1px solid var(--line); background: var(--paper); }
.hausdorff-panel { display: grid; grid-template-columns: .7fr 1.3fr; gap: 50px; margin: 70px 0 0; padding: 40px 0; border-top: 2px solid var(--ink); border-bottom: 1px solid var(--line); }
.hausdorff-panel h3 { font-family: var(--serif); font-size: 38px; font-weight: 400; }
.hausdorff-panel p { margin: 17px 0 0; color: var(--muted); font-size: 13px; }
.tube-dictionary { margin-top: 92px; }
.compact-heading h3 { max-width: 700px; margin: 0; font-family: var(--serif); font-size: clamp(2.7rem, 5vw, 4.8rem); font-weight: 400; }
.dictionary-grid { display: grid; grid-template-columns: repeat(4, 1fr); gap: 13px; }
.dictionary-grid article { padding: 24px; border: 1px solid var(--line); background: var(--white); }
.dictionary-grid b { display: block; margin-bottom: 15px; font: 500 10px/1 var(--mono); text-transform: uppercase; }
.dictionary-grid p { margin: 14px 0 0; color: var(--muted); font-size: 11px; }
.proof-mini { margin-top: 28px; padding: 36px; color: white; background: var(--forest); }
.proof-mini .eyebrow { color: var(--acid); }
.proof-mini ol { margin: 0; padding: 0; list-style: none; counter-reset: mini; display: grid; grid-template-columns: repeat(3, 1fr); gap: 1px; background: var(--line-light); }
.proof-mini li { position: relative; min-height: 178px; padding: 46px 22px 22px; background: var(--forest); counter-increment: mini; font-size: 12px; }
.proof-mini li::before { content: counter(mini, decimal-leading-zero); position: absolute; top: 18px; left: 22px; color: var(--acid); font: 500 10px/1 var(--mono); }
.boundary-note { margin: 25px 0 0; color: rgba(255,255,255,.58); font-size: 11px; }

.paper-section { background: var(--paper-2); }
.paper-section .page-section { padding-top: 126px; }
.angle-lab { grid-template-columns: 1.2fr .8fr; }
.angle-lab .pale { background: var(--white); }
.angle-lab svg { width: 100%; height: 100%; }
.strip { stroke-width: 2; }
.strip-one { fill: rgba(172,216,242,.55); stroke: #5487a3; }
.strip-two { fill: rgba(255,109,95,.42); stroke: #c85046; }
.strip-overlap { fill: var(--acid); stroke: none; }
#angleArc { fill: none; stroke: var(--ink); stroke-width: 2; }
#angleLabel { fill: var(--ink); font: 500 12px var(--mono); }
.angle-lab .lab-copy output { color: var(--coral); }
.cordoba-proof { margin-top: 36px; }
.cordoba-proof article { display: grid; grid-template-columns: 105px 1fr; gap: 34px; padding: 40px 0; border-bottom: 1px solid var(--line); }
.cordoba-proof article:first-child { border-top: 1px solid var(--line); }
.proof-num { color: var(--coral-deep); font: 500 32px/1 var(--mono); }
.cordoba-proof h3 { font-family: var(--serif); font-size: 40px; font-weight: 400; }
.cordoba-proof p { max-width: 800px; color: var(--muted); font-size: 14px; }
.cordoba-proof .formula { max-width: 880px; }
.why-breaks-grid { display: grid; grid-template-columns: .7fr 1.3fr; gap: 60px; margin-top: 62px; padding: 42px; color: white; background: var(--forest); }
.why-breaks-grid h3 { font-family: var(--serif); font-size: 44px; font-weight: 400; }
.why-breaks-grid > div:last-child p { color: rgba(255,255,255,.66); font-size: 13px; }
.shell-lab { display: grid; grid-template-columns: .78fr 1.22fr; min-height: 590px; margin-top: 26px; box-shadow: none; }
.shell-lab .lab-copy output { color: var(--coral-deep); }
.shell-ledger { margin: 24px 0 0; border-top: 1px solid var(--line); }
.shell-ledger div { display: grid; grid-template-columns: 1fr auto; gap: 18px; padding: 8px 0; border-bottom: 1px solid var(--line); }
.shell-ledger dt { color: var(--muted); font-size: 11px; }
.shell-ledger dd { margin: 0; text-align: right; font: 500 10px/1.5 var(--mono); }
.shell-stage { display: flex; min-width: 0; padding: 24px; flex-direction: column; justify-content: center; color: white; background: var(--forest); }
.shell-stage svg { width: 100%; }
.shell-kicker { fill: var(--acid); font: 500 11px var(--mono); letter-spacing: .05em; }
.shell-axis-line { stroke: rgba(255,255,255,.32); stroke-width: 2; }
.shell-origin { fill: var(--acid); stroke: var(--forest); stroke-width: 3; }
.shell-ring { fill: none; stroke: rgba(172,216,242,.46); stroke-width: 18; }
.shell-mark { fill: var(--coral); stroke: var(--white); stroke-width: 1.5; }
.shell-gap { fill: none; stroke: var(--coral); stroke-width: 2; stroke-dasharray: 5 5; }
.shell-caption-svg { fill: rgba(255,255,255,.66); font: 500 10px var(--mono); }
.shell-equation-svg { fill: white; font: 500 16px var(--mono); }
.shell-divider { stroke: rgba(255,255,255,.15); }
.shell-bar-track { fill: rgba(255,255,255,.1); }
.shell-bar { transition: width .18s ease; }
.shell-bar-2d { fill: var(--coral); }
.shell-bar-3d { fill: var(--sky); }
.shell-verdict { display: grid; grid-template-columns: auto 1fr auto 1fr; gap: 10px; align-items: center; padding: 14px 17px; border: 1px solid var(--line-light); }
.shell-verdict span { color: var(--acid); font: 500 9px/1.3 var(--mono); }
.shell-verdict b { font: 500 11px/1.5 var(--mono); }
.shell-verdict i { color: rgba(255,255,255,.5); font-size: 11px; }
.static-lab-summary { display: none; margin: 20px 0 0; padding: 16px 18px; color: var(--ink-2); border-left: 4px solid var(--violet); background: var(--paper); font-size: 13px; line-height: 1.65; }
.visual-fallback { margin: 20px 0; padding: 18px 20px; border-left: 4px solid var(--coral); background: var(--white); font-size: 13px; }
.checkpoint { display: grid; grid-template-columns: .65fr 1.35fr; gap: 36px; margin-top: 30px; padding: 30px; border: 1px solid var(--line); background: var(--white); }
.checkpoint h3 { margin: 0; font-size: 19px; }
.checkpoint-options { display: grid; gap: 8px; }
.checkpoint-options button { padding: 12px 15px; text-align: left; border: 1px solid var(--line); background: var(--paper); cursor: pointer; font-size: 12px; }
.checkpoint-options button:hover { border-color: var(--coral); }
.checkpoint-options button.selected { color: white; border-color: var(--forest); background: var(--forest); }
.checkpoint-options button.correct { color: var(--forest); border-color: var(--acid); background: var(--acid); }
.checkpoint-options button.wrong { color: var(--forest); border-color: var(--coral); background: var(--coral); }
.checkpoint-feedback { grid-column: 2; margin: 0; min-height: 24px; font-size: 13px; }
.dark-section .checkpoint, .theorem-section .checkpoint, .connections-section .checkpoint { color: var(--ink); }
.dark-section .checkpoint .lab-tag, .theorem-section .checkpoint .lab-tag, .connections-section .checkpoint .lab-tag { color: var(--coral-deep); }
.checkpoint-options button { color: var(--ink); }

.theorem-section { color: white; background: #18221f; }
.theorem-section .page-section { padding-top: 126px; }
.theorem-box { margin-bottom: 26px; padding: 44px; border: 1px solid rgba(232,255,106,.38); background: #0d2b27; }
.theorem-label { display: flex; justify-content: space-between; gap: 20px; margin-bottom: 28px; }
.theorem-label span { color: var(--acid); font: 500 10px/1 var(--mono); letter-spacing: .1em; }
.theorem-label small { color: rgba(255,255,255,.72); font-size: 10px; }
.theorem-box > p { max-width: 850px; color: rgba(255,255,255,.7); }
.theorem-box .theorem-formula { max-width: 720px; margin: 18px 0; font-size: clamp(1.25rem, 2.6vw, 2rem); }
.theorem-formula.result { color: var(--forest); background: var(--acid); }
.theorem-source { margin: 30px 0 0; padding-top: 22px; border-top: 1px solid var(--line-light); font-size: 11px; }
.notation-strip { display: grid; grid-template-columns: repeat(4, 1fr); gap: 1px; margin: 0 0 12px; background: var(--line-light); border: 1px solid var(--line-light); }
.notation-strip > div { padding: 17px; background: var(--forest); }
.notation-strip b, .notation-strip span { display: block; }
.notation-strip b { color: var(--acid); font: 500 15px/1.3 var(--mono); }
.notation-strip span { margin-top: 7px; color: rgba(255,255,255,.75); font-size: 12px; }
.numerical-toy { margin: 0 0 26px; padding: 18px 21px; color: rgba(255,255,255,.78); border-left: 3px solid var(--sky); background: rgba(255,255,255,.05); font-size: 13px; }
.decoder-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 12px; }
.decoder-grid article { padding: 25px; border: 1px solid var(--line-light); background: rgba(255,255,255,.035); }
.decoder-grid article > span { display: block; color: var(--acid); font: 500 9px/1 var(--mono); letter-spacing: .1em; }
.decoder-grid h3 { margin: 14px 0 12px; font-family: var(--serif); font-size: 30px; font-weight: 400; }
.decoder-grid p { margin: 12px 0 0; color: rgba(255,255,255,.75); font-size: 13px; }
.density-lab { margin-top: 28px; }
.density-key { display: flex; flex-wrap: wrap; gap: 14px; margin-top: 22px; color: rgba(255,255,255,.72); font-size: 10px; }
.density-key i { display: inline-block; width: 19px; height: 6px; margin-right: 4px; vertical-align: middle; }
.tube-key { background: var(--sky); }
.convex-key { border: 1px dashed var(--acid); }
.direction-proof { display: grid; grid-template-columns: .7fr 1.3fr; gap: 45px; margin-top: 30px; padding: 38px; border: 1px solid var(--line-light); }
.direction-proof h3 { font-family: var(--serif); font-size: 38px; font-weight: 400; }
.direction-proof ol { margin: 0; padding-left: 22px; }
.direction-proof li { padding: 4px 0 9px 8px; color: rgba(255,255,255,.7); font-size: 12px; }
.direction-proof > p { grid-column: 2; margin: -8px 0 0; color: rgba(255,255,255,.72); font-size: 12px; }
.paper-identity-checkpoint { margin-bottom: 28px; }
.theorem-close-loop { margin-top: 28px; padding: 34px; border: 1px solid rgba(232,255,106,.38); background: rgba(255,255,255,.035); }
.close-loop-heading { display: grid; grid-template-columns: .7fr 1.3fr; gap: 42px; align-items: end; }
.close-loop-heading h3 { margin: 0; font-family: var(--serif); font-size: clamp(2.2rem, 4vw, 3.8rem); font-weight: 400; }
.theorem-close-loop ol { display: grid; grid-template-columns: repeat(4, 1fr); gap: 1px; margin: 28px 0 0; padding: 1px; list-style: none; background: var(--line-light); }
.theorem-close-loop li { min-width: 0; padding: 22px; background: var(--forest); }
.theorem-close-loop li span { display: block; color: var(--acid); font: 500 9px/1.3 var(--mono); letter-spacing: .08em; }
.theorem-close-loop li p { margin: 14px 0 0; color: rgba(255,255,255,.74); font-size: 11px; }
.close-loop-hausdorff { margin: 14px 0 0; padding: 18px 21px; color: var(--ink-2); border-left: 4px solid var(--coral); background: var(--acid); font-size: 12px; }

.misconceptions { margin-top: 28px; padding: 34px; color: var(--ink); background: var(--acid); }
.misconceptions > div { display: grid; grid-template-columns: 1fr 1fr; gap: 20px; }
.misconceptions article { padding: 24px; background: rgba(255,255,255,.42); }
.misconceptions article b { font: 500 10px/1 var(--mono); }
.misconceptions ul { margin: 16px 0 0; padding-left: 18px; font-size: 12px; }

.proof-thesis { display: grid; grid-template-columns: .85fr 1.15fr; gap: 0; margin-bottom: 28px; color: white; background: var(--forest); }
.proof-thesis > div { padding: 30px; }
.proof-thesis > div:first-child span { color: var(--acid); font: 500 9px/1 var(--mono); }
.proof-thesis p { margin: 12px 0 0; color: rgba(255,255,255,.7); font-size: 13px; }
.proof-thesis .formula { display: block; color: var(--acid); border-left-color: var(--coral); background: rgba(255,255,255,.06); }
.proof-thesis .formula :is(sub, sup) { color: inherit; }

.route-crosswalk { margin: 28px 0 34px; padding: 34px; border: 1px solid var(--line); background: var(--paper-2); }
.route-crosswalk-heading { display: grid; grid-template-columns: 1.05fr .95fr; gap: 40px; align-items: end; }
.route-crosswalk-heading h3 { max-width: 720px; margin: 0; font-family: var(--serif); font-size: clamp(2.5rem, 4.5vw, 4.3rem); font-weight: 400; }
.route-crosswalk-heading > p { margin: 0; color: var(--ink-2); font-size: 13px; }
.route-trunk { margin-top: 30px; padding: 22px; color: white; background: var(--forest); }
.route-label { margin: 0 0 15px; color: var(--acid); font: 500 10px/1 var(--mono); letter-spacing: .08em; }
.route-trunk-flow { display: grid; grid-template-columns: repeat(4, 1fr); gap: 9px; margin: 0; padding: 0; list-style: none; }
.route-trunk-flow li { position: relative; min-width: 0; padding: 17px; border: 1px solid var(--line-light); background: rgba(255,255,255,.045); }
.route-trunk-flow li + li::before { content: "→"; position: absolute; top: 50%; left: -9px; z-index: 2; width: 18px; color: var(--coral); text-align: center; transform: translateY(-50%); }
.route-trunk-flow span { display: grid; width: 25px; height: 25px; margin-bottom: 14px; place-items: center; color: var(--forest); border-radius: 50%; background: var(--acid); font: 500 9px/1 var(--mono); }
.route-trunk-flow b, .route-trunk-flow small { display: block; }
.route-trunk-flow b { font-size: 12px; }
.route-trunk-flow small { margin-top: 7px; color: rgba(255,255,255,.68); font-size: 10px; line-height: 1.55; }
.route-branch { display: flex; gap: 14px; align-items: center; justify-content: center; min-height: 60px; color: var(--coral-deep); font: 500 9px/1 var(--mono); letter-spacing: .08em; }
.route-branch span { width: 90px; height: 1px; background: var(--coral); }
.route-lanes { display: grid; grid-template-columns: 1fr 1fr; gap: 16px; }
.route-lane { min-width: 0; border: 1px solid var(--line); background: var(--white); }
.route-lane header { min-height: 164px; padding: 24px; border-top: 5px solid var(--coral); }
.route-streamlined header { border-top-color: var(--forest); }
.route-lane header > span { color: var(--coral-deep); font: 500 9px/1 var(--mono); letter-spacing: .08em; }
.route-streamlined header > span { color: var(--forest-3); }
.route-lane h4 { margin: 18px 0 10px; font-family: var(--serif); font-size: 31px; font-weight: 400; }
.route-lane header a { color: var(--forest-3); font-size: 10px; font-weight: 700; }
.route-lane ol { margin: 0; padding: 0; list-style: none; }
.route-lane li { display: grid; grid-template-columns: 42px 1fr; gap: 13px; min-height: 118px; padding: 18px 20px; border-top: 1px solid var(--line); }
.route-lane li > span { padding-top: 3px; color: var(--coral-deep); font: 500 10px/1 var(--mono); }
.route-streamlined li > span { color: var(--forest-3); }
.route-lane li b { font-size: 13px; }
.route-lane li p { margin: 7px 0 0; color: var(--muted); font-size: 11px; }
.route-warning { margin-top: 16px; padding: 18px 21px; color: var(--ink-2); border-left: 4px solid var(--coral-deep); background: var(--acid-soft); font-size: 12px; }
.route-rejoin { display: grid; grid-template-columns: 1fr auto 2fr auto 1fr; gap: 13px; align-items: center; margin-top: 16px; padding: 20px; color: white; text-align: center; background: var(--forest); }
.route-rejoin span { color: var(--acid); font: 500 9px/1 var(--mono); }
.route-rejoin i { color: var(--coral); font-style: normal; font-size: 20px; }
.route-rejoin b { font-family: var(--serif); font-size: 24px; font-weight: 400; }

.zoom-figure { margin: 78px 0 0; padding: 34px; border: 1px solid var(--line); background: var(--white); box-shadow: var(--shadow); }
.zoom-figure-heading { display: grid; grid-template-columns: 1.05fr .95fr; gap: 40px; align-items: end; }
.zoom-figure-heading h3 { max-width: 720px; margin: 0; font-family: var(--serif); font-size: clamp(2.8rem, 5vw, 4.9rem); font-weight: 400; }
.zoom-figure-heading > div:last-child p { margin: 0 0 11px; color: var(--muted); font-size: 12px; }
.zoom-figure-heading a { color: var(--forest-3); font-size: 11px; font-weight: 700; }
.zoom-panels { display: grid; grid-template-columns: repeat(3, 1fr); gap: 12px; margin-top: 29px; }
.zoom-panel { min-width: 0; padding: 18px; border: 1px solid var(--line); background: var(--paper-2); }
.zoom-step { display: flex; gap: 11px; align-items: center; }
.zoom-step span { display: grid; width: 27px; height: 27px; place-items: center; color: var(--forest); border-radius: 50%; background: var(--acid); font: 500 9px/1 var(--mono); }
.zoom-step b { font-size: 12px; }
.zoom-panel svg { display: block; width: 100%; margin: 13px 0 6px; background: var(--white); }
.zoom-panel > p { min-height: 76px; margin: 10px 2px 0; color: var(--ink-2); font-size: 12px; }
.zoom-parent { fill: rgba(172,216,242,.15); stroke: var(--forest-3); stroke-width: 2; }
.zoom-parent-outline { fill: rgba(172,216,242,.11); stroke: var(--forest-3); stroke-width: 2; }
.zoom-grain > * { fill: rgba(255,109,95,.2); stroke: var(--coral-deep); stroke-width: 1.5; }
.zoom-grain.compact > * { fill: rgba(232,255,106,.36); stroke: var(--forest-3); }
.zoom-tube-lines path { fill: none; stroke: var(--forest-3); stroke-width: 3; stroke-linecap: round; opacity: .7; }
.zoom-box { fill: rgba(172,216,242,.1); stroke: var(--forest-3); stroke-width: 2; stroke-dasharray: 7 6; }
.zoom-unit-box { fill: rgba(13,43,39,.06); stroke: var(--forest); stroke-width: 2; }
.zoom-coarse-tubes path { fill: none; stroke: var(--coral-deep); stroke-width: 8; stroke-linecap: round; opacity: .68; }
.zoom-arrow, .zoom-arrow-head { fill: none; stroke: var(--coral-deep); stroke-width: 2; }
.zoom-svg-label { fill: var(--ink-2); font: 500 12px var(--mono); }
.zoom-svg-note { fill: var(--muted); font: 11px var(--sans); }
.zoom-dimension-row { display: grid; grid-template-columns: 1fr 32px 1fr 32px 1fr; align-items: stretch; margin-top: 13px; border: 1px solid var(--line); background: var(--paper); }
.zoom-dimension-row > div { padding: 18px; background: var(--white); }
.zoom-dimension-row > i { display: grid; place-items: center; color: var(--coral-deep); font-style: normal; }
.zoom-dimension-row span, .zoom-dimension-row b { display: block; }
.zoom-dimension-row span { color: var(--coral-deep); font: 500 11px/1.3 var(--mono); }
.zoom-dimension-row b { margin-top: 11px; font: 500 13px/1.45 var(--mono); }
.zoom-dimension-row p { margin: 7px 0 0; color: var(--muted); font-size: 11px; }
.zoom-multiplicity { display: grid; grid-template-columns: .58fr 1.42fr; margin-top: 13px; border: 1px solid var(--line); }
.zoom-multiplicity > .formula { display: grid; margin: 0; place-items: center; border-left: 0; border-right: 1px solid var(--line); background: var(--acid-soft); font-size: clamp(1.1rem, 2.1vw, 1.6rem); }
.zoom-multiplicity dl { display: grid; grid-template-columns: repeat(3, 1fr); margin: 0; }
.zoom-multiplicity dl > div { padding: 17px; }
.zoom-multiplicity dl > div + div { border-left: 1px solid var(--line); }
.zoom-multiplicity dt { color: var(--forest-3); font: 500 12px/1 var(--mono); }
.zoom-multiplicity dd { margin: 8px 0 0; color: var(--muted); font-size: 11px; }
.zoom-text-alt { margin-top: 13px; padding: 17px 20px; color: var(--ink-2); border-left: 4px solid var(--forest-3); background: var(--paper-2); }
.zoom-text-alt p { margin: 0; font-size: 12px; }
.zoom-caveats { display: grid; grid-template-columns: 1fr 1fr; gap: 8px 24px; margin: 13px 0 0; padding: 18px 18px 18px 38px; color: var(--muted); border: 1px dashed var(--line); font-size: 11px; }
.zoom-figure figcaption { margin-top: 13px; padding-top: 13px; color: var(--muted); border-top: 1px solid var(--line); font-size: 11px; }

.scale-lab { box-shadow: none; }
.tree-stage { padding: 25px; background: var(--forest); }
.tree-stage svg { width: 100%; height: calc(100% - 35px); }
.tree-legend { display: flex; gap: 20px; justify-content: center; color: rgba(255,255,255,.55); font-size: 9px; }
.tree-legend i { display: inline-block; width: 9px; height: 9px; margin-right: 5px; border-radius: 50%; }
.node-full { background: var(--acid); }
.node-gap { background: var(--coral); }
.roadmap { margin-top: 95px; }
.roadmap-top { display: flex; justify-content: space-between; gap: 40px; align-items: end; margin-bottom: 30px; }
.roadmap-top h3 { margin: 0; font-family: var(--serif); font-size: 48px; font-weight: 400; }
.roadmap-top > p { max-width: 430px; margin: 0; color: var(--muted); font-size: 12px; }
.roadmap-fork-note { margin: -14px 0 24px; padding: 15px 18px; color: var(--ink-2); border-left: 3px solid var(--coral-deep); background: var(--paper-2); font-size: 13px; }

.roadmap-layout { display: grid; grid-template-columns: 320px 1fr; min-height: 610px; border: 1px solid var(--line); background: var(--white); }
.roadmap-flow { padding: 22px; border-right: 1px solid var(--line); }
.roadmap-node { display: flex; width: 100%; min-height: 49px; align-items: center; gap: 13px; padding: 9px 12px; text-align: left; border: 1px solid transparent; background: transparent; cursor: pointer; font-size: 12px; }
.roadmap-node > span:first-child { display: grid; flex: 0 0 29px; height: 29px; place-items: center; border: 1px solid var(--line); border-radius: 50%; font: 500 9px/1 var(--mono); }
.roadmap-node:hover { background: var(--paper); }
.roadmap-node.active { color: white; background: var(--forest); }
.roadmap-node.active > span:first-child { color: var(--forest); border-color: var(--acid); background: var(--acid); }
.roadmap-flow > i { display: block; width: 1px; height: 15px; margin-left: 26px; background: var(--line); }
.roadmap-panel { padding: 48px; }
.roadmap-index { margin-bottom: 23px; color: var(--coral-deep); font: 500 10px/1 var(--mono); }
.roadmap-panel h3 { max-width: 700px; margin-bottom: 17px; font-family: var(--serif); font-size: clamp(2.6rem, 5vw, 4.8rem); font-weight: 400; }
.roadmap-panel > p { max-width: 760px; color: var(--muted); font-size: 14px; }
.roadmap-contract { display: grid; grid-template-columns: 1fr 1fr; gap: 1px; margin-top: 30px; background: var(--line); border: 1px solid var(--line); }
.roadmap-contract > div { min-height: 122px; padding: 19px; background: var(--paper); }
.roadmap-contract b { display: block; margin-bottom: 8px; color: var(--forest-3); font: 500 9px/1 var(--mono); }
.roadmap-contract p { margin: 0; color: var(--muted); font-size: 13px; }
.roadmap-formula { margin-top: 22px; padding: 15px 19px; color: var(--forest); background: var(--acid-soft); font: 500 13px/1.6 var(--mono); }
.roadmap-source { margin-top: 12px; font-size: 10px !important; }
.sticky-story, .nonsticky-story { margin-top: 108px; }
.sticky-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 13px; }
.sticky-grid article { min-height: 245px; padding: 26px; color: white; background: var(--forest); }
.sticky-grid article > span { color: var(--acid); font: 500 10px/1 var(--mono); }
.sticky-grid h4 { margin: 34px 0 10px; font-family: var(--serif); font-size: 30px; font-weight: 400; }
.sticky-grid p { color: rgba(255,255,255,.76); font-size: 13px; }
.sticky-grid .formula { color: var(--acid); background: rgba(255,255,255,.06); }
.research-boundary { padding: 24px; border: 1px solid var(--line); color: var(--muted); font-size: 13px; }
.research-boundary i { margin-right: 7px; }
.beta-panel { display: grid; grid-template-columns: 1fr 1fr; gap: 1px; background: var(--line); border: 1px solid var(--line); }
.beta-panel > div { padding: 29px; background: var(--white); }
.beta-panel p { color: var(--muted); font-size: 13px; }
.beta-loop-lab { display: grid; grid-template-columns: 1.25fr .75fr; margin-top: 18px; box-shadow: none; }
.beta-loop-copy, .beta-absorb { min-width: 0; padding: 30px; }
.beta-loop-copy h3 { max-width: 720px; margin-bottom: 13px; font-family: var(--serif); font-size: clamp(2rem, 3.5vw, 3.2rem); font-weight: 400; }
.beta-loop-copy > p:not(.lab-tag) { color: var(--muted); font-size: 13px; }
.beta-loop-track { display: grid; grid-template-columns: 1fr 76px 1fr 92px 1.25fr; gap: 8px; align-items: stretch; margin: 24px 0 0; padding: 0; list-style: none; }
.beta-loop-track li:not(.loop-arrow) { display: flex; min-height: 126px; padding: 17px; flex-direction: column; justify-content: center; color: white; background: var(--forest); }
.beta-loop-track li > span:first-child { color: var(--acid); font: 500 10px/1.3 var(--mono); letter-spacing: .08em; }
.beta-loop-track b { margin-top: 14px; font: 500 15px/1.35 var(--mono); }
.beta-loop-track small { margin-top: 9px; color: rgba(255,255,255,.68); font-size: 11px; }
.beta-loop-track .loop-gain { background: var(--coral-deep); }
.beta-loop-track .loop-arrow { display: flex; align-items: center; flex-direction: column; justify-content: center; text-align: center; }
.beta-loop-track .loop-arrow > span { color: var(--coral-deep); font-size: 24px; }
.beta-loop-track .loop-arrow small { color: var(--muted); font: 500 10px/1.3 var(--mono); }
.beta-loopback { display: grid; grid-template-columns: 48px 1fr; gap: 13px; align-items: center; margin-top: 10px; padding: 15px 18px; border: 1px dashed var(--coral); background: var(--paper-2); }
.beta-loopback > span { color: var(--coral-deep); font-size: 32px; }
.beta-loopback p { margin: 0; color: var(--muted); font-size: 12px; }
.beta-absorb { border-left: 1px solid var(--line); background: var(--paper-2); }
.absorb-step { display: grid; grid-template-columns: 34px 1fr; gap: 13px; padding: 17px; border: 1px solid var(--line); background: var(--white); }
.absorb-step > span { display: grid; width: 30px; height: 30px; place-items: center; color: var(--forest); border-radius: 50%; background: var(--acid); font: 500 10px/1 var(--mono); }
.absorb-step b { font-size: 13px; }
.absorb-step p { margin: 5px 0 0; color: var(--muted); font-size: 11px; }
.absorb-step.result { color: white; border-color: var(--forest); background: var(--forest); }
.absorb-step.result p { color: rgba(255,255,255,.72); }
.absorb-arrow { height: 24px; text-align: center; color: var(--coral-deep); }
.beta-no-endpoint { margin: 18px 0 0; padding-top: 16px; color: var(--muted); border-top: 1px solid var(--line); font-size: 11px; }
.factor-chain { display: grid; grid-template-columns: 1fr 28px 1fr 28px 1fr 28px 1fr; align-items: stretch; margin-top: 18px; }
.factor-chain article { padding: 22px; border: 1px solid var(--line); background: var(--paper-2); }
.factor-chain > span { display: grid; place-items: center; color: var(--coral); }
.factor-chain b { font: 500 10px/1 var(--mono); }
.factor-chain p { margin: 12px 0 0; color: var(--muted); font-size: 13px; }
.inheritance-table { margin-top: 18px; border: 1px solid var(--line); }
.inheritance-table > div { display: grid; grid-template-columns: .55fr 1.2fr 1fr 1fr; }
.inheritance-table > div > * { padding: 15px; border-right: 1px solid var(--line); }
.inheritance-table > div > *:last-child { border-right: 0; }
.inheritance-table > div + div { border-top: 1px solid var(--line); }
.inheritance-table span { color: var(--muted); font-size: 13px; }
.inheritance-table b { font-size: 12px; }
.table-head { color: white; background: var(--forest); font: 500 9px/1.3 var(--mono); }
.high-density-card { margin-top: 18px; padding: 33px; border: 2px solid var(--coral); }
.high-density-card { display: grid; grid-template-columns: .8fr 1.2fr; gap: 30px; }
.high-density-card h4 { margin: 0; font-family: var(--serif); font-size: 35px; font-weight: 400; }
.high-density-card .formula { grid-column: 2; }
.high-density-card > p { grid-column: 2; margin: 0; color: var(--muted); font-size: 13px; }
.closure-steps { display: grid; grid-template-columns: repeat(4, 1fr); gap: 12px; margin-top: 18px; }
.closure-steps article { padding: 24px; color: white; background: var(--forest); }
.closure-steps span { color: var(--acid); font: 500 9px/1 var(--mono); }
.closure-steps p { margin: 27px 0 0; color: rgba(255,255,255,.76); font-size: 13px; }
.version-ledger { margin-top: 100px; }
.version-ledger > div { display: grid; grid-template-columns: repeat(4, 1fr); gap: 13px; }
.version-ledger article { min-height: 280px; padding: 25px; border-top: 4px solid var(--forest); background: var(--white); box-shadow: var(--shadow); }
.version-ledger article span { color: var(--coral-deep); font: 500 10px/1 var(--mono); }
.version-ledger h3 { margin: 30px 0 12px; font-family: var(--serif); font-size: 30px; font-weight: 400; }
.version-ledger p { color: var(--muted); font-size: 13px; }
.version-ledger a { font-size: 10px; font-weight: 700; }

.connections-section { color: white; background: var(--forest); }
.wave-lab { grid-template-columns: 1.2fr .8fr; }
.wave-lab .lab-stage { background: #081f1c; }
.fourier-primer { display: grid; grid-template-columns: repeat(3, 1fr); gap: 1px; margin: -16px 0 28px; border: 1px solid var(--line-light); background: var(--line-light); }
.fourier-primer article { padding: 23px; background: var(--forest); }
.fourier-primer b { color: var(--acid); font: 500 10px/1.2 var(--mono); }
.fourier-primer p { margin: 11px 0 0; color: rgba(255,255,255,.75); font-size: 13px; }


.extension-card { display: grid; grid-template-columns: .75fr 1.25fr; gap: 55px; margin-top: 28px; padding: 40px; border: 1px solid var(--line-light); }
.extension-card > * { min-width: 0; }
.extension-card h3 { font-family: var(--serif); font-size: 43px; font-weight: 400; }
.extension-card p { color: rgba(255,255,255,.63); font-size: 12px; }
.threshold-line { display: grid; grid-template-columns: 1fr auto 24px 1fr auto 24px 1fr auto 24px 1fr auto; align-items: center; gap: 8px; margin-top: 24px; padding: 18px; border: 1px solid var(--line-light); }
.threshold-line span { color: rgba(255,255,255,.74); font-size: 10px; }
.threshold-line b { color: var(--acid); font: 500 10px/1 var(--mono); }
.threshold-line i { height: 1px; background: var(--coral); }
.broom-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 48px; align-items: center; margin-top: 80px; }
.broom-grid svg { width: 100%; background: rgba(255,255,255,.04); }
.poly-wall { fill: none; stroke: var(--violet); stroke-width: 22; opacity: .45; }
.broom-lines path { fill: none; stroke: var(--acid); stroke-width: 5; opacity: .7; }
.broom-grid circle { fill: var(--coral); }
.broom-grid text { fill: rgba(255,255,255,.58); font: 500 11px var(--mono); }
.broom-grid h3 { font-family: var(--serif); font-size: 43px; font-weight: 400; }
.broom-grid p { color: rgba(255,255,255,.65); font-size: 13px; }
.note-on-proof { padding: 15px; border-left: 2px solid var(--coral); font-size: 10px !important; }
.relationship-map { display: grid; grid-template-columns: .4fr .6fr; gap: 35px; margin-top: 100px; padding-top: 55px; border-top: 1px solid var(--line-light); }
.map-intro h3 { font-family: var(--serif); font-size: 42px; font-weight: 400; }
.map-intro > p:last-child { min-height: 110px; color: rgba(255,255,255,.65); font-size: 12px; }
.map-stage svg { width: 100%; }
.map-links path { fill: none; stroke: rgba(255,255,255,.25); stroke-width: 2; marker-end: url(#arrowHead); }
.map-links text { fill: rgba(255,255,255,.72); font: 9px var(--mono); }
.map-node { cursor: pointer; }
.map-node rect { fill: rgba(255,255,255,.05); stroke: rgba(255,255,255,.27); transition: fill .2s, stroke .2s; }
.map-node text { fill: white; text-anchor: middle; font: 500 11px var(--mono); pointer-events: none; }
.map-node:hover rect, .map-node.active rect { fill: var(--forest-3); stroke: var(--acid); }
.map-node.accent rect { fill: rgba(232,255,106,.12); stroke: var(--acid); }
.map-node.outcome rect { fill: rgba(255,109,95,.14); stroke: var(--coral); }
.map-badges { display: flex; flex-wrap: wrap; gap: 14px; color: rgba(255,255,255,.72); font-size: 10px; }
.map-links.has-selection path { opacity: .18; }
.map-links.has-selection path.is-active { opacity: 1; stroke: var(--acid); stroke-width: 4; }
.map-readable { margin: 16px 0 0; padding: 15px 15px 15px 34px; color: rgba(255,255,255,.76); border: 1px solid var(--line-light); font-size: 12px; }
.map-readable li + li { margin-top: 7px; }


.portfolio-chapter { display: grid; grid-template-columns: 100px 1fr; gap: 25px; margin-bottom: 22px; padding: 36px; border: 1px solid var(--line); background: var(--white); }
.portfolio-number { color: var(--coral-deep); font: 500 50px/1 var(--mono); }
.portfolio-heading { display: flex; justify-content: space-between; gap: 28px; align-items: start; }
.portfolio-heading p { color: var(--forest-3); font: 500 9px/1 var(--mono); }
.portfolio-heading h3 { max-width: 750px; margin-bottom: 22px; font-family: var(--serif); font-size: clamp(2.4rem, 4.4vw, 4.3rem); font-weight: 400; }
.status { display: inline-block; flex: 0 0 auto; padding: 7px 9px; font: 500 8px/1 var(--mono); letter-spacing: .07em; }
.status.solved { color: var(--forest); background: var(--acid); }
.status.progress { color: var(--forest); background: var(--coral); }
.portfolio-lede { max-width: 900px; color: var(--muted); font-size: 15px; }
.portfolio-columns { display: grid; grid-template-columns: repeat(3, 1fr); gap: 1px; margin: 20px 0; background: var(--line); border: 1px solid var(--line); }
.portfolio-columns > div { padding: 20px; background: var(--paper); }
.portfolio-columns b { font: 500 9px/1 var(--mono); text-transform: uppercase; }
.portfolio-columns p { margin: 10px 0 0; color: var(--muted); font-size: 13px; }
.source-link { color: var(--forest-3); font-size: 11px; font-weight: 700; }
.result-soft { background: var(--acid-soft); }
.regime-lab { display: grid; grid-template-columns: 1.2fr .8fr; gap: 20px; margin-top: 18px; padding: 22px; border: 1px solid var(--line); }
.regime-lab output { color: var(--coral-deep); }
.regime-output { display: flex; flex-direction: column; justify-content: center; padding: 18px; color: white; background: var(--forest); }
.regime-output span { color: rgba(255,255,255,.5); font: 500 9px/1 var(--mono); }
.regime-output b { margin: 12px 0; color: var(--acid); font: 500 25px/1 var(--mono); }
.regime-output p { margin: 0; color: rgba(255,255,255,.6); font-size: 10px; }
.mechanism-equation { display: grid; grid-template-columns: 1fr auto 1fr auto 1fr; gap: 12px; align-items: center; margin: 20px 0; }
.mechanism-equation > div { padding: 20px; color: white; background: var(--forest); }
.mechanism-equation b, .mechanism-equation span { display: block; }
.mechanism-equation b { font-size: 13px; }
.mechanism-equation span { margin-top: 8px; color: rgba(255,255,255,.5); font-size: 9px; }
.mechanism-equation i { color: var(--coral); font-style: normal; font-size: 22px; }

.lineage-section { color: white; background: #17211f; }
.timeline { display: flex; overflow-x: auto; padding-bottom: 13px; scrollbar-color: var(--coral) rgba(255,255,255,.1); }
.timeline-item { position: relative; flex: 0 0 145px; min-height: 118px; padding: 16px; text-align: left; color: white; border: 0; border-top: 1px solid var(--line-light); background: transparent; cursor: pointer; }
.timeline-item::before { content: ""; position: absolute; top: -5px; left: 16px; width: 9px; height: 9px; border-radius: 50%; background: var(--muted); }
.timeline-item.active::before { background: var(--acid); box-shadow: 0 0 0 6px rgba(232,255,106,.12); }
.timeline-item span, .timeline-item b, .timeline-item small { display: block; }
.timeline-item span { color: var(--acid); font: 500 10px/1 var(--mono); }
.timeline-item b { margin-top: 18px; font-size: 11px; }
.timeline-item small { color: rgba(255,255,255,.72); font-size: 10px; }
.timeline-detail { display: grid; grid-template-columns: 160px 1fr; gap: 32px; min-height: 245px; padding: 37px; border: 1px solid var(--line-light); background: rgba(255,255,255,.04); }
.timeline-detail > span { color: var(--acid); font: 500 40px/1 var(--mono); }
.timeline-detail h3 { font-family: var(--serif); font-size: 40px; font-weight: 400; }
.timeline-detail p { max-width: 780px; color: rgba(255,255,255,.62); font-size: 13px; }
.timeline-links { display: flex; flex-wrap: wrap; gap: 8px 16px; }
.timeline-links a + a { padding-left: 16px; border-left: 1px solid var(--line-light); }
.timeline-detail a { color: var(--acid); font-size: 10px; }
.frontier-board { display: grid; grid-template-columns: .4fr .6fr; gap: 45px; margin-top: 85px; }
.frontier-board h3 { font-family: var(--serif); font-size: 43px; font-weight: 400; }
.frontier-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 12px; }
.frontier-grid article { padding: 22px; border: 1px solid var(--line-light); }
.frontier-grid h4 { margin: 21px 0 8px; font-size: 14px; }
.frontier-grid p { margin: 0; color: rgba(255,255,255,.72); font-size: 12px; }

.quiz-form { margin-top: 25px; }
.quiz-mode { display: grid; min-width: 0; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 10px; margin: 0 0 14px; padding: 0; border: 0; }
.quiz-mode > legend { grid-column: 1 / -1; width: 100%; margin-bottom: 5px; color: var(--muted); font: 600 10px/1.45 var(--mono); letter-spacing: .045em; text-transform: uppercase; }
.quiz-mode > label { display: flex; min-width: 0; min-height: 72px; gap: 12px; align-items: flex-start; padding: 14px 16px; color: var(--ink-2); border: 1px solid var(--line); border-top: 4px solid var(--violet); background: var(--white); cursor: pointer; }
.quiz-mode > label:has(input:checked) { color: var(--forest); border-color: var(--forest-3); border-top-color: var(--coral); background: var(--acid-soft); }
.quiz-mode > label:focus-within { outline: 3px solid var(--coral); outline-offset: 3px; }
.quiz-mode input { flex: 0 0 auto; margin: .25em 0 0; accent-color: var(--forest); }
.quiz-mode span, .quiz-mode b, .quiz-mode small { display: block; min-width: 0; }
.quiz-mode b { font-size: 13px; line-height: 1.35; }
.quiz-mode small { margin-top: 4px; color: var(--muted); font-size: 10px; line-height: 1.5; }
.quiz-progress-row { display: flex; flex-wrap: wrap; gap: 8px 18px; align-items: baseline; justify-content: space-between; margin: 0 0 20px; padding: 11px 14px; border-left: 4px solid var(--forest-3); background: var(--paper-2); }
.quiz-progress-row output { flex: 0 0 auto; color: var(--forest); font: 650 11px/1.45 var(--mono); }
.quiz-progress-row p { flex: 1 1 390px; margin: 0; color: var(--muted); font-size: 11px; line-height: 1.55; }
.quiz-list { display: grid; gap: 14px; }
.quiz-question[hidden] { display: none !important; }
.quiz-question { padding: 28px; border: 1px solid var(--line); background: var(--white); }
.quiz-question.is-unanswered { border-color: #b36a54; }
.quiz-meta { display: flex; flex-wrap: wrap; gap: 7px 10px; align-items: center; margin-bottom: 14px; font: 500 10px/1.4 var(--mono); letter-spacing: .04em; text-transform: uppercase; }
.quiz-stage, .quiz-category { display: inline-flex; padding: 6px 8px; }
.quiz-stage { color: var(--forest); background: var(--acid-soft); }
.quiz-category { color: var(--muted); border: 1px solid var(--line); }
.quiz-revisit { margin-left: auto; color: var(--coral-deep); text-underline-offset: 3px; }
.quiz-revisit:hover { color: var(--forest); }
.quiz-question fieldset { margin: 0; padding: 0; border: 0; }
.quiz-question legend { display: flex; gap: 17px; width: 100%; margin-bottom: 18px; font-weight: 700; }
.quiz-question legend span { color: var(--coral-deep); font: 500 11px/1.7 var(--mono); }
.quiz-options { display: grid; grid-template-columns: repeat(3, 1fr); gap: 8px; }
.quiz-options label { display: flex; gap: 9px; align-items: flex-start; padding: 13px; border: 1px solid var(--line); background: var(--paper); cursor: pointer; font-size: 13px; }
.quiz-options label:has(input:checked) { border-color: var(--forest); background: var(--acid-soft); }
.quiz-options label.correct { border-color: #3d8a67; background: #e2f5e8; }
.quiz-options label.wrong { border-color: var(--coral); background: #ffe5df; }
.quiz-explanation { margin: 17px 0 0; padding-top: 14px; border-top: 1px solid var(--line); color: var(--muted); font-size: 13px; }
.quiz-actions { display: flex; gap: 10px; margin-top: 23px; }
.quiz-score { margin-top: 18px; padding: 25px; border: 1px solid var(--line); background: var(--acid-soft); font-size: 14px; }
.quiz-score:empty { display: none; }
.quiz-scoreline { margin: 0; color: var(--forest); font-size: 18px; font-weight: 700; }
.quiz-score h3 { margin: 18px 0 6px; font-size: 16px; }
.quiz-score > p:not(.quiz-scoreline) { margin: 6px 0 0; color: var(--muted); }
.quiz-diagnostic-links { display: flex; flex-wrap: wrap; gap: 8px; margin: 16px 0 0; padding: 0; list-style: none; }
.quiz-diagnostic-links a { display: inline-flex; padding: 9px 11px; border: 1px solid var(--forest); color: var(--forest); background: white; font: 600 11px/1.35 var(--mono); text-decoration: none; }
.quiz-diagnostic-links a:hover { color: white; background: var(--forest); }
.quiz-diagnostic-clear { padding-top: 12px; border-top: 1px solid var(--line); }

.glossary-section { color: white; background: var(--forest); }
.search-label { display: block; margin-bottom: 8px; color: rgba(255,255,255,.55); font-size: 10px; }
.glossary-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 10px; }
.glossary-grid article { min-height: 145px; padding: 22px; border: 1px solid var(--line-light); background: rgba(255,255,255,.035); }
.glossary-grid article[hidden] { display: none; }
.glossary-grid h3 { margin-bottom: 11px; color: var(--acid); font-family: var(--mono); font-size: 13px; font-weight: 500; }
.glossary-grid p { margin: 0; color: rgba(255,255,255,.75); font-size: 13px; }
.no-results { color: var(--acid); }

.sources-section { background: var(--paper-2); }
.source-legend { display: flex; gap: 8px; margin-bottom: 19px; }
.source-type { display: inline-block; padding: 5px 7px; font: 500 8px/1 var(--mono); }
.source-type.official { color: var(--forest); background: var(--acid); }
.source-type.primary { color: white; background: var(--forest); }
.source-type.exposition { color: var(--forest); background: var(--violet); }
.source-list { margin: 0; padding: 0; list-style: none; border-top: 1px solid var(--line); counter-reset: sources; }
.source-list li { display: grid; grid-template-columns: 100px 1fr; gap: 24px; padding: 24px 0; border-bottom: 1px solid var(--line); counter-increment: sources; scroll-margin-top: 30px; }
.source-list li::before { content: "S" counter(sources, decimal-leading-zero); grid-column: 1; grid-row: 1 / span 2; color: var(--coral-deep); font: 500 24px/1 var(--mono); }
.source-list .source-type { grid-column: 1; align-self: end; justify-self: start; margin-top: 39px; }
.source-list li > div { grid-column: 2; grid-row: 1 / span 2; }
.source-list b { font-size: 14px; }
.source-list p { margin: 7px 0; color: var(--muted); font-size: 13px; }
.source-list a { margin-right: 12px; color: var(--forest-3); font-size: 10px; font-weight: 700; }
.credit-box { margin-top: 35px; padding: 28px; color: white; background: var(--forest); }
.credit-box p { margin: 0; color: rgba(255,255,255,.68); font-size: 12px; }

footer { display: grid; grid-template-columns: 1fr 1fr; gap: 40px; padding: 54px max(28px, calc((100vw - 1220px)/2)); color: white; background: #081b18; }
footer p { color: rgba(255,255,255,.5); font-size: 11px; }
footer > div:last-child { display: flex; justify-content: flex-end; align-items: center; gap: 24px; }
footer a { color: rgba(255,255,255,.7); font-size: 10px; }
.noscript { width: var(--content); margin: 0 auto 30px; padding: 15px; color: var(--forest); background: var(--acid); font-size: 11px; }

@media (max-width: 1180px) {
  .award-grid { grid-template-columns: repeat(3, 1fr); }
  .award-card:not(.featured) { grid-column: span 1; }
  .dictionary-grid { grid-template-columns: 1fr 1fr; }
  .threshold-line { grid-template-columns: 1fr auto; }
  .threshold-line i { display: none; }
  .version-ledger > div { grid-template-columns: 1fr 1fr; }
  .factor-chain { grid-template-columns: 1fr 20px 1fr; }
  .factor-chain article:nth-of-type(3) { grid-column: 1; }
  .factor-chain > span:nth-of-type(2) { grid-column: 3; display: none; }
  .factor-chain article:nth-of-type(4) { grid-column: 3; }
}

@media (max-width: 980px) {
  .close-loop-heading { grid-template-columns: 1fr; gap: 18px; }
  .theorem-close-loop ol { grid-template-columns: 1fr 1fr; }
  .route-crosswalk-heading, .zoom-figure-heading { grid-template-columns: 1fr; gap: 20px; align-items: start; }
  .route-trunk-flow { grid-template-columns: 1fr 1fr; }
  .route-trunk-flow li:nth-child(3)::before { content: none; }
  .route-lanes, .zoom-panels { grid-template-columns: 1fr; }
  .route-lane header { min-height: 0; }
  .zoom-panel { display: grid; grid-template-columns: .7fr 1.3fr; gap: 14px; align-items: center; }
  .zoom-panel .zoom-step, .zoom-panel > p { grid-column: 1 / -1; }
  .zoom-panel svg { grid-column: 1 / -1; max-width: 520px; margin-right: auto; margin-left: auto; }
  .zoom-panel > p { min-height: 0; }
  .zoom-dimension-row { grid-template-columns: 1fr; }
  .zoom-dimension-row > i { min-height: 30px; transform: rotate(90deg); }
  .zoom-multiplicity { grid-template-columns: 1fr; }
  .zoom-multiplicity > .formula { min-height: 100px; border-right: 0; border-bottom: 1px solid var(--line); }
  :root { --content: min(100% - 34px, 820px); }
  .top-nav { display: none; }
  .nav-toggle { display: block; }
  .chapter-rail { top: 0; left: auto; right: 0; width: min(330px, 88vw); height: 100dvh; padding: 90px 28px 28px; transform: none; color: white; background: rgba(13,43,39,.98); box-shadow: var(--shadow); overflow-y: auto; }
  .chapter-rail p { margin-left: 0; color: rgba(255,255,255,.5); }
  .chapter-rail a { width: 100%; height: 38px; color: rgba(255,255,255,.7); }
  .chapter-rail a:hover, .chapter-rail a.active, .chapter-rail a:focus-visible { width: 100%; color: white; }
  .chapter-rail a span { background: rgba(255,255,255,.07); border-color: rgba(255,255,255,.2); }
  .hero-grid { grid-template-columns: 1fr; padding-top: 145px; padding-bottom: 25px; }
  .hero-copy { position: relative; z-index: 2; }
  .hero-visual { max-width: 680px; margin: -100px auto 0; opacity: .8; }
  .result-ribbon { grid-template-columns: 1fr; gap: 8px; padding: 25px 0; }
  .split-heading { grid-template-columns: 1fr; gap: 28px; align-items: start; }
  .award-grid { grid-template-columns: 1fr 1fr; }
  .award-card.featured { grid-column: span 2; }
  .reading-contract { grid-template-columns: 1fr; }
  .reading-contract > div + div { border-left: 0; border-top: 1px solid var(--line); }
  .reader-routes { grid-template-columns: 1fr; }
  .spine-heading { grid-template-columns: 1fr 1fr; }
  .spine-heading > p:last-child { grid-column: 1 / -1; }
  .argument-spine ol { grid-template-columns: repeat(3, 1fr); }
  .argument-spine li:nth-child(4) { border-left: 0; }
  .argument-spine li:nth-child(n+4) { border-top: 1px solid var(--line-light); }
  .notation-strip { grid-template-columns: 1fr 1fr; }
  .fourier-primer { grid-template-columns: 1fr; }
  .needle-lab, .angle-lab, .density-lab, .wave-lab, .scale-lab { grid-template-columns: 1fr; }
  .shell-lab, .beta-loop-lab { grid-template-columns: 1fr; }
  .beta-absorb { border-top: 1px solid var(--line); border-left: 0; }
  .lab-stage, .tree-stage { min-height: 500px; }
  .derivation-grid { grid-template-columns: 1fr; }
  .dimension-lab { max-width: 680px; }
  .proof-mini ol { grid-template-columns: 1fr 1fr; }
  .decoder-grid { grid-template-columns: 1fr 1fr; }
  .roadmap-layout { grid-template-columns: 1fr; }
  .roadmap-flow { display: flex; overflow-x: auto; padding: 13px; border-right: 0; border-bottom: 1px solid var(--line); }
  .roadmap-node { flex: 0 0 140px; }
  .roadmap-flow > i { flex: 0 0 16px; width: 16px; height: 1px; margin: 25px 0; }
  .sticky-grid { grid-template-columns: 1fr 1fr; }
  .closure-steps { grid-template-columns: 1fr 1fr; }
  .extension-card, .relationship-map, .frontier-board { grid-template-columns: 1fr; }
  .broom-grid { grid-template-columns: 1fr; }
  .portfolio-chapter { grid-template-columns: 70px 1fr; }
  .portfolio-columns { grid-template-columns: 1fr; }
  .glossary-grid { grid-template-columns: 1fr 1fr; }
}

@media (max-width: 700px) {
  .continuity-note { grid-template-columns: 1fr; gap: 9px; }
  .theorem-close-loop { padding: 21px; }
  .theorem-close-loop ol { grid-template-columns: 1fr; }
  .route-crosswalk, .zoom-figure { padding: 21px; }
  .route-trunk-flow { grid-template-columns: 1fr; }
  .route-trunk-flow li + li::before { top: -8px; left: 50%; transform: translateX(-50%) rotate(90deg); }
  .route-branch span { width: 28px; }
  .route-lane li { grid-template-columns: 34px 1fr; padding: 16px; }
  .route-rejoin { grid-template-columns: 1fr; }
  .route-rejoin i { display: none; }
  .zoom-panel { display: block; }
  .zoom-multiplicity dl { grid-template-columns: 1fr; }
  .zoom-multiplicity dl > div + div { border-top: 1px solid var(--line); border-left: 0; }
  .zoom-caveats { grid-template-columns: 1fr; }
  :root { --content: calc(100vw - 28px); }
  body { font-size: 15px; }
  .site-header { height: 76px; }
  .brand strong { font-size: 12px; }
  .brand-glyph { width: 37px; height: 37px; }
  .brand-glyph i { top: 18px; left: 4px; width: 29px; }
  .page-section { padding: 82px 0; }
  h2 { font-size: clamp(2.9rem, 14vw, 4.5rem); }
  .argument-spine { padding: 22px; }
  .spine-heading, .argument-spine ol, .logic-chain, .chapter-bridge { grid-template-columns: 1fr; }
  .spine-heading > p:last-child { grid-column: auto; }
  .argument-spine li + li { border-left: 0; border-top: 1px solid var(--line-light); }
  .argument-spine a { min-height: 132px; }
  .logic-chain { gap: 8px; }
  .logic-chain i { transform: rotate(90deg); }
  .chapter-bridge > * + * { border-left: 0; border-top: 1px solid var(--line-light); }
  .hero { min-height: 940px; }
  .hero-grid { min-height: 790px; padding-top: 115px; }
  .hero h1 { font-size: clamp(4rem, 18vw, 6.4rem); }
  .hero-meta { display: grid; grid-template-columns: 1fr 1fr; }
  .hero-visual { margin-top: -65px; }
  .notation-strip { grid-template-columns: 1fr; }
  .award-grid, .two-definition-grid { grid-template-columns: 1fr; }
  .award-card.featured, .award-card:not(.featured) { grid-column: span 1; }
  .award-card { min-height: 230px; }
  .legend { justify-content: flex-start; flex-wrap: wrap; }
  .lab-copy { padding: 25px; }
  .lab-stage, .tree-stage { min-height: 390px; }
  .shell-stage { min-height: 430px; padding: 10px; }
  .shell-verdict { grid-template-columns: 1fr; }
  .shell-verdict i { display: none; }
  .beta-loop-copy, .beta-absorb { padding: 22px; }
  .beta-loop-track { grid-template-columns: 1fr; }
  .beta-loop-track .loop-arrow { min-height: 55px; }
  .beta-loop-track .loop-arrow > span { transform: rotate(90deg); }
  .beta-loop-track li:not(.loop-arrow) { min-height: 106px; }
  .beta-loop-lab p, .beta-loop-lab b { overflow-wrap: break-word; }
  .hausdorff-panel, .why-breaks-grid, .direction-proof, .checkpoint, .proof-thesis, .high-density-card { grid-template-columns: 1fr; gap: 20px; }
  .direction-proof > p, .checkpoint-feedback, .high-density-card .formula, .high-density-card > p { grid-column: 1; }
  .dictionary-grid { grid-template-columns: 1fr; }
  .proof-mini { padding: 25px; }
  .proof-mini ol { grid-template-columns: 1fr; }
  .cordoba-proof article { grid-template-columns: 55px 1fr; gap: 15px; }
  .proof-num { font-size: 20px; }
  .decoder-grid { grid-template-columns: 1fr; }
  .misconceptions > div { grid-template-columns: 1fr; }
  .roadmap-top { display: block; }
  .roadmap-top > p { margin-top: 15px; }
  .roadmap-panel { padding: 27px; }
  .roadmap-contract { grid-template-columns: 1fr; }
  .sticky-grid, .closure-steps, .version-ledger > div { grid-template-columns: 1fr; }
  .beta-panel { grid-template-columns: 1fr; }
  .factor-chain { grid-template-columns: 1fr; }
  .factor-chain > span { min-height: 30px; }
  .factor-chain article:nth-of-type(3), .factor-chain article:nth-of-type(4) { grid-column: 1; }
  .factor-chain > span:nth-of-type(2) { display: grid; grid-column: 1; }
  .inheritance-table { overflow-x: auto; }
  .inheritance-table::before, .map-stage::before { content: "Swipe horizontally →"; position: sticky; z-index: 2; left: 0; display: block; width: max-content; padding: 6px 9px; color: var(--forest); background: var(--acid); font: 500 10px/1.2 var(--mono); }
  .inheritance-table > div { min-width: 720px; }
  .threshold-line { grid-template-columns: 1fr auto; }
  .relationship-map { margin-top: 70px; }
  .map-stage { overflow-x: auto; overscroll-behavior-inline: contain; }
  .map-stage svg { min-width: 650px; }
  .portfolio-chapter { grid-template-columns: 1fr; padding: 24px; }
  .portfolio-heading { display: block; }
  .portfolio-heading .status { margin-bottom: 20px; }
  .regime-lab { grid-template-columns: 1fr; }
  .mechanism-equation { grid-template-columns: 1fr; }
  .mechanism-equation i { text-align: center; }
  .timeline-detail { grid-template-columns: 1fr; }
  .frontier-grid { grid-template-columns: 1fr; }
  .quiz-mode { grid-template-columns: 1fr; }
  .quiz-mode > label { min-height: 0; }
  .quiz-progress-row { align-items: flex-start; }
  .quiz-options { grid-template-columns: 1fr; }
  .glossary-grid { grid-template-columns: 1fr; }
  .source-list li { grid-template-columns: 64px 1fr; gap: 13px; }
  footer { grid-template-columns: 1fr; padding: 45px 18px 90px; }
  footer > div:last-child { justify-content: flex-start; flex-wrap: wrap; }
  .motion-toggle { display: grid; right: 10px; bottom: 10px; width: 44px; min-width: 44px; padding: 0; place-items: center; }
  .motion-toggle > span:first-child { margin-right: 0; }
  .motion-toggle-label { display: none; }
}

@media (max-width: 600px) {
  .shell-stage { min-height: 0; padding: 18px; }
  .shell-stage svg { display: none; }
  .shell-verdict { width: 100%; }
  .shell-verdict b { font-size: 12px; }
}

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

@media print {
  .static-lab-summary { display: block !important; margin: 12px 0; padding: 10px 12px; color: black; border: 1px solid #888; border-left: 4px solid #555; background: white; break-inside: avoid; }
  .continuity-note { break-inside: avoid; color: black; border: 1px solid #777; border-left: 4px solid #555; background: white; }
  .continuity-note > span, .continuity-note p, .continuity-note p b { color: black; }
  .site-header, .chapter-rail, .motion-toggle, .reading-progress, .hero-visual, .interactive-card canvas, .nav-toggle { display: none !important; }
  body { color: black; background: white; }
  .hero, .dark-section, .theorem-section, .connections-section, .lineage-section, .glossary-section { color: black; background: white; }
  .hero { min-height: 0; }
  .hero-grid { display: block; min-height: 0; padding: 50px 0; }
  .page-section { padding: 45px 0; }
  a { text-decoration: underline; }
}

/* Original 2025 route · accessible visual system (Round 2) */
.original-proof-route { --module-accent: var(--forest-3); margin-top: 96px; }
.original-proof-heading { max-width: none; margin-bottom: 22px; padding: clamp(28px, 4vw, 48px); color: white; background: var(--forest); }
.original-proof-heading .eyebrow { color: var(--acid); }
.original-proof-heading h3 { max-width: 880px; }
.original-proof-heading > p:last-child { max-width: 930px; margin: 20px 0 0; color: rgba(255,255,255,.76); font-size: 13px; }
.original-proof-heading .cite { color: var(--acid); }
.original-dependency-spine { display: grid; grid-template-columns: 1fr 20px 1fr 20px 1fr 20px 1fr 20px 1fr 20px 1fr 20px 1fr; align-items: stretch; margin-bottom: 24px; padding: 12px; border: 1px solid var(--line); background: var(--paper-2); }
.original-dependency-spine a { display: flex; min-width: 0; min-height: 48px; gap: 9px; align-items: center; padding: 9px 10px; color: var(--ink-2); background: var(--white); font: 600 10px/1.35 var(--mono); text-decoration: none; }
.original-dependency-spine a:hover { color: white; background: var(--forest-3); }
.original-dependency-spine a:focus-visible { outline-color: var(--coral); box-shadow: 0 0 0 4px var(--white); }
.original-dependency-spine a span { display: grid; flex: 0 0 27px; width: 27px; height: 27px; place-items: center; color: var(--forest); border-radius: 50%; background: var(--acid); font-size: 9px; }
.original-dependency-spine > i { display: grid; place-items: center; color: var(--coral-deep); font-style: normal; }
.original-state-ledger { margin: 0 0 34px; padding: 24px; border: 1px solid var(--line); border-top: 5px solid var(--coral-deep); background: var(--paper-2); }
.original-state-ledger .logic-figure-heading { margin-bottom: 18px; }
.original-state-ledger-frame { min-width: 0; border: 1px solid var(--line); background: var(--line); }
.original-state-ledger table { width: 100%; border-collapse: separate; border-spacing: 1px; table-layout: fixed; }
.original-state-ledger th, .original-state-ledger td { min-width: 0; padding: 12px; text-align: left; vertical-align: top; overflow-wrap: anywhere; }
.original-state-ledger thead th { color: var(--forest); border-top: 4px solid var(--forest-3); background: var(--acid-soft); font: 600 8px/1.35 var(--mono); letter-spacing: .055em; }
.original-state-ledger thead th:first-child { width: 13%; border-top-color: var(--coral-deep); }
.original-state-ledger thead th:nth-child(3) { border-top-color: var(--coral); }
.original-state-ledger thead th:nth-child(4) { border-top-color: var(--violet); }
.original-state-ledger thead th:nth-child(5) { border-top-color: var(--acid); }
.original-state-ledger tbody th { color: white; background: var(--forest); font: 600 9px/1.45 var(--mono); }
.original-state-ledger tbody th span { display: grid; width: 24px; height: 24px; margin-bottom: 10px; place-items: center; color: var(--forest); border-radius: 50%; background: var(--acid); font-size: 8px; }
.original-state-ledger tbody td { color: var(--muted); background: var(--white); font-size: 9px; line-height: 1.55; }
.original-state-ledger tbody tr:nth-child(even) td { background: var(--paper); }
.original-state-ledger figcaption { margin-top: 14px; padding-top: 13px; color: var(--muted); border-top: 1px solid var(--line); font-size: 10px; }
.original-paper-anatomy { margin: 0 0 34px; padding: 24px; border: 1px solid var(--line); border-top: 5px solid var(--violet); background: var(--paper); }
.original-paper-anatomy .logic-figure-heading { margin-bottom: 18px; }
.paper-anatomy-list { display: grid; grid-template-columns: repeat(3, minmax(0,1fr)); gap: 1px; margin: 0; padding: 1px; list-style: none; background: var(--line); }
.paper-anatomy-list li { display: grid; grid-template-columns: 76px minmax(0,1fr); gap: 11px; min-width: 0; min-height: 92px; padding: 13px; border-top: 4px solid var(--forest-3); background: var(--white); overflow-wrap: anywhere; }
.paper-anatomy-list li:nth-child(3n+2) { border-top-color: var(--coral); }
.paper-anatomy-list li:nth-child(3n) { border-top-color: var(--violet); }
.paper-page-range { color: var(--coral-deep); font: 600 8px/1.35 var(--mono); letter-spacing: .045em; }
.paper-anatomy-list li > div { display: flex; min-width: 0; flex-direction: column; gap: 9px; }
.paper-anatomy-list b { color: var(--ink-2); font-size: 10px; line-height: 1.45; }
.paper-anatomy-list a { margin-top: auto; color: var(--forest-3); font: 600 8px/1.35 var(--mono); text-underline-offset: 3px; }
.paper-anatomy-list a:hover { color: var(--coral-deep); }
.original-paper-anatomy figcaption { margin-top: 14px; padding-top: 13px; color: var(--muted); border-top: 1px solid var(--line); font-size: 10px; }
.original-proof-module { min-width: 0; margin-top: 26px; padding: clamp(25px, 3.5vw, 44px); scroll-margin-top: 96px; border: 1px solid var(--line); border-top: 6px solid var(--module-accent); background: var(--white); }
.original-proof-module > * { min-width: 0; }
.original-de-module { --module-accent: var(--coral-deep); }
.original-factoring-module { --module-accent: var(--violet); }
.original-near-extremizer-module { --module-accent: var(--forest-3); }
.original-grains-module { --module-accent: var(--coral); }
.original-scale-module { --module-accent: #507c68; }
.original-closure-module { --module-accent: var(--acid); }
.original-module-heading { display: grid; grid-template-columns: 210px minmax(0,1fr); gap: 32px; align-items: end; margin-bottom: 24px; }
.original-module-heading > span { color: var(--coral-deep); font: 600 10px/1.5 var(--mono); letter-spacing: .07em; }
.original-module-heading h3 { max-width: 840px; margin: 0; font-family: var(--serif); font-size: clamp(2.2rem, 4vw, 4rem); font-weight: 400; }
.original-module-contract { display: grid; grid-template-columns: repeat(4, minmax(0,1fr)); gap: 1px; margin: 0 0 28px; border: 1px solid var(--line); background: var(--line); }
.original-module-contract > div { position: relative; min-width: 0; min-height: 154px; padding: 18px; border-top: 4px solid var(--forest-3); background: var(--paper); }
.original-module-contract > div:nth-child(3) { border-top-color: var(--coral); }
.original-module-contract > div:nth-child(4) { border-top-color: var(--acid); background: var(--forest); }
.original-module-contract b { display: block; color: var(--forest-3); font: 600 9px/1.25 var(--mono); letter-spacing: .07em; }
.original-module-contract > div:nth-child(4) b { color: var(--acid); }
.original-module-contract p { margin: 17px 0 0; color: var(--muted); font-size: 11px; line-height: 1.62; }
.original-module-contract > div:nth-child(4) p { color: rgba(255,255,255,.78); }
.original-seed-card { display: grid; grid-template-columns: .72fr 1.28fr; gap: 24px; align-items: center; margin: 0 0 24px; padding: 22px; color: white; border-left: 5px solid var(--acid); background: var(--forest); }
.original-seed-card span { color: var(--acid); font: 600 9px/1.35 var(--mono); letter-spacing: .07em; }
.original-seed-card h4 { margin: 13px 0 0; font-family: var(--serif); font-size: 27px; font-weight: 400; }
.original-seed-card p { margin: 0; color: rgba(255,255,255,.76); font-size: 11px; }
.original-seed-card .formula { margin: 10px 0; color: var(--forest); background: var(--acid); }
.original-module-handoff { display: grid; grid-template-columns: auto minmax(0,1fr) auto; gap: 14px; align-items: center; margin-top: 28px; padding: 17px 20px; color: white; border-left: 5px solid var(--coral); background: var(--forest); text-decoration: none; }
.original-module-handoff span { color: var(--acid); font: 600 9px/1.3 var(--mono); letter-spacing: .08em; }
.original-module-handoff b { font-size: 12px; font-weight: 500; }
.original-module-handoff i { color: var(--acid); font-style: normal; font-size: 20px; }
.original-module-handoff:hover { color: var(--forest); background: var(--acid); }
.original-module-handoff:hover span, .original-module-handoff:hover i { color: var(--coral-deep); }
.original-vignette-convention, .prop91-notation, .original-closure-set { margin: 17px 0; padding: 16px 19px; color: var(--ink-2); border-left: 4px solid var(--violet); background: var(--paper-2); font-size: 12px; }
.factoring-guarantee-stack { display: grid; gap: 8px; margin-top: 12px; }
.factoring-guarantee-stack p { margin: 0 !important; padding: 10px; color: var(--ink-2) !important; border: 1px solid var(--line); background: var(--white); font-size: 9px !important; }
.prop91-causal-chain { display: grid; grid-template-columns: repeat(5,minmax(0,1fr)); gap: 8px; margin: 18px 0; padding: 0; list-style: none; }
.prop91-causal-chain li { position: relative; min-width: 0; padding: 15px; border-top: 4px solid var(--forest-3); background: var(--white); }
.prop91-causal-chain li:nth-child(2), .prop91-causal-chain li:nth-child(4) { border-top-color: var(--coral); }
.prop91-causal-chain li:nth-child(3), .prop91-causal-chain li:nth-child(5) { border-top-color: var(--violet); }
.prop91-causal-chain li:not(:last-child)::after { content: "→"; position: absolute; z-index: 2; top: 50%; right: -9px; width: 18px; color: var(--coral-deep); text-align: center; }
.prop91-causal-chain span, .three-nested-questions span { display: block; color: var(--coral-deep); font: 600 8px/1.35 var(--mono); }
.prop91-causal-chain p { margin: 10px 0 0; color: var(--muted); font-size: 9px; line-height: 1.5; }
.three-nested-questions { display: grid; grid-template-columns: repeat(3,minmax(0,1fr)); gap: 10px; margin: 18px 0; }
.three-nested-questions article { min-width: 0; padding: 16px; border: 1px solid var(--line); background: var(--white); }
.three-nested-questions p { margin: 10px 0 0 !important; color: var(--muted); font-size: 10px !important; }

.original-proof-route .formula { max-width: 100%; }
.original-density-contract { margin: 18px 0; padding: 22px 25px; border-left: 4px solid var(--forest-3); background: var(--acid-soft); }
.original-density-contract p { margin: 0; color: var(--ink-2); font-size: 13px; }
.original-density-contract .formula { margin: 13px 0; border: 1px solid rgba(23,33,31,.12); border-left: 3px solid var(--coral); background: rgba(255,255,255,.6); }
.original-error-definitions, .original-two-wins, .original-sticky-contracts { display: grid; grid-template-columns: repeat(2, minmax(0,1fr)); gap: 12px; margin-top: 18px; }
.original-error-definitions article, .original-two-wins article, .original-sticky-contracts article { min-width: 0; padding: 23px; border: 1px solid var(--line); background: var(--paper-2); }
.original-error-definitions article > span, .original-two-wins article > span, .original-sticky-contracts article > span { display: block; color: var(--coral-deep); font: 600 9px/1.35 var(--mono); letter-spacing: .06em; }
.original-error-definitions h4, .original-sticky-contracts h4 { margin: 16px 0 10px; font-family: var(--serif); font-size: 27px; font-weight: 400; }
.original-error-definitions p, .original-two-wins p, .original-sticky-contracts p { margin: 12px 0 0; color: var(--muted); font-size: 12px; }
.original-de-rail { display: grid; grid-template-columns: minmax(0,1fr) 112px minmax(0,1fr); gap: 12px; align-items: stretch; margin-top: 22px; }
.original-assertion-card { min-width: 0; padding: 25px; color: white; background: var(--forest); }
.original-assertion-card.assertion-e { background: var(--forest-3); }
.original-assertion-card header > span { color: var(--acid); font: 600 9px/1.3 var(--mono); letter-spacing: .08em; }
.original-assertion-card h4 { margin: 18px 0 13px; font-family: var(--serif); font-size: 32px; font-weight: 400; }
.original-assertion-card > p { color: rgba(255,255,255,.74); font-size: 12px; }
.original-assertion-card .formula { color: var(--acid); border-left-color: var(--coral); background: rgba(255,255,255,.07); }
.de-rail-bridge { display: flex; min-height: 170px; flex-direction: column; gap: 7px; align-items: center; justify-content: center; color: var(--muted); border: 1px dashed var(--line); background: var(--paper); font: 600 8px/1.3 var(--mono); text-align: center; }
.de-rail-bridge b { color: var(--coral-deep); font-size: 25px; }
.de-landscape, .factoring-figure, .grains-prelude, .repair-geometry-figure, .nsp-flow-figure { min-width: 0; margin: 0; padding: 25px; border: 1px solid var(--line); background: var(--paper); }
.original-penalty-decoder { grid-column: 1 / -1; min-width: 0; margin-top: 4px; padding: 25px; border: 1px solid var(--line); border-top: 5px solid var(--coral); background: var(--paper-2); }
.original-penalty-decoder .logic-figure-heading { margin-bottom: 16px; }
.penalty-target-formula { margin: 0 0 14px !important; color: var(--forest) !important; border-left-color: var(--violet) !important; background: var(--acid-soft) !important; }
.penalty-model-grid { display: grid; grid-template-columns: repeat(2,minmax(0,1fr)); gap: 12px; }
.penalty-model { min-width: 0; padding: 20px; border: 1px solid var(--line); background: var(--white); }
.penalty-model header { padding-bottom: 13px; border-bottom: 1px solid var(--line); }
.penalty-model header > span { color: var(--coral-deep); font: 600 9px/1.35 var(--mono); letter-spacing: .065em; }
.penalty-model h5 { margin: 10px 0 0; color: var(--ink); font-family: var(--serif); font-size: 25px; font-weight: 400; line-height: 1.1; }
.penalty-causal-chain { margin: 0; padding: 0; list-style: none; }
.penalty-causal-chain li { display: grid; grid-template-columns: 105px minmax(0,1fr); gap: 12px; min-width: 0; padding: 13px 0; border-bottom: 1px solid var(--line); }
.penalty-causal-chain li:last-child { border-bottom: 0; }
.penalty-causal-chain li > span { color: var(--forest-3); font: 600 8px/1.4 var(--mono); letter-spacing: .05em; }
.penalty-causal-chain li:last-child > span { color: var(--coral-deep); }
.penalty-causal-chain p { min-width: 0; margin: 0; color: var(--muted); font-size: 10px; line-height: 1.6; overflow-wrap: anywhere; }
.penalty-model-boundary { margin: 14px 0 0; padding: 14px 16px; color: var(--ink-2); border-left: 5px solid var(--coral-deep); background: var(--white); font-size: 11px; }
.penalty-model-boundary > b { color: var(--coral-deep); font: 700 9px/1.4 var(--mono); letter-spacing: .055em; }
.de-landscape { grid-column: 1 / -1; margin-top: 4px; }
.logic-figure-heading { display: grid; grid-template-columns: 1fr 1fr; gap: 32px; align-items: end; }
.logic-figure-heading span, .repair-geometry-heading > span { display: block; margin-bottom: 9px; color: var(--coral-deep); font: 600 9px/1.3 var(--mono); letter-spacing: .08em; }
.logic-figure-heading h4, .repair-geometry-heading h4 { margin: 0; font-family: var(--serif); font-size: clamp(1.9rem, 3vw, 3rem); font-weight: 400; line-height: 1.05; }
.logic-figure-heading > p { margin: 0; color: var(--muted); font-size: 12px; }
.de-landscape-plot, .factoring-plot { width: 100%; margin-top: 20px; background: var(--white); }
.de-grid path { fill: none; stroke: rgba(23,33,31,.12); stroke-width: 1; }
.de-grid path:first-child { stroke: var(--ink-2); stroke-width: 2; }
.de-direction path { fill: none; stroke: var(--coral-deep); stroke-width: 2; marker-end: url(#deArrow); }
.de-direction text { fill: var(--coral-deep); font: 600 11px var(--mono); }
.de-path { fill: none; stroke: var(--forest-3); stroke-width: 3; marker-end: url(#deArrow); }
.de-path.gain { stroke: var(--coral-deep); }
.de-path.trade { stroke: var(--violet); }
.de-path.closure { stroke: var(--forest); }
.de-node rect { fill: var(--white); stroke: var(--forest-3); stroke-width: 2; }
.de-node.transport rect { fill: var(--acid-soft); }
.de-node.gain rect { fill: #ffe3dc; stroke: var(--coral-deep); }
.de-node.trade rect { fill: #eee9f7; stroke: #67558e; }
.de-node.endpoint rect { fill: var(--forest); stroke: var(--forest); }
.de-node text { fill: var(--ink); font: 600 13px var(--mono); text-anchor: middle; }
.de-node text.sub { fill: var(--muted); font-size: 9px; }
.de-node.endpoint text { fill: white; font-size: 10px; }
.de-node.endpoint text.sub { fill: var(--acid); }
.de-badge rect { fill: var(--coral); }
.de-badge text { fill: var(--forest); font: 600 11px var(--mono); text-anchor: middle; }
.de-labels text { fill: var(--muted); font: 500 9px var(--mono); }
.de-mobile-ladder { display: grid; grid-template-columns: repeat(5,minmax(0,1fr)); gap: 8px; margin: 14px 0 0; padding: 0; list-style: none; }
.de-mobile-ladder li { position: relative; min-width: 0; padding: 15px; border-top: 3px solid var(--forest-3); background: var(--white); }
.de-mobile-ladder li:nth-child(3) { border-top-color: var(--coral); }
.de-mobile-ladder li:nth-child(4) { border-top-color: var(--violet); }
.de-mobile-ladder li:nth-child(5) { color: white; border-top-color: var(--acid); background: var(--forest); }
.de-mobile-ladder li:not(:last-child)::after { content: "→"; position: absolute; z-index: 2; top: 50%; right: -9px; width: 18px; color: var(--coral-deep); text-align: center; transform: translateY(-50%); }
.de-mobile-ladder span { color: var(--coral-deep); font: 600 8px/1.3 var(--mono); }
.de-mobile-ladder li:last-child span { color: var(--acid); }
.de-mobile-ladder p { margin: 10px 0 0; color: var(--muted); font-size: 10px; line-height: 1.55; }
.de-mobile-ladder li:last-child p { color: rgba(255,255,255,.76); }
.de-landscape figcaption, .factoring-figure figcaption, .grains-prelude figcaption, .repair-geometry-figure figcaption, .nsp-flow-figure figcaption { margin-top: 14px; padding-top: 13px; color: var(--muted); border-top: 1px solid var(--line); font-size: 10px; }
.original-parameter-reading, .original-zoom-bridge, .visual-text-equivalent { margin: 15px 0 0; padding: 17px 20px; color: var(--ink-2); border-left: 4px solid var(--forest-3); background: var(--paper-2); font-size: 12px; }

.original-factoring-sieve { display: grid; grid-template-columns: repeat(3,minmax(0,1fr)); gap: 12px; margin-top: 20px; }
.factoring-figure { grid-column: 1 / -1; }
.factoring-plot .sieve-stage > rect { fill: var(--white); stroke: rgba(23,33,31,.2); stroke-width: 1.5; }
.factoring-plot .sieve-stage.audit > rect { fill: var(--forest); stroke: var(--forest); }
.factoring-plot .stage-kicker { fill: var(--coral-deep); font: 600 10px var(--mono); }
.factoring-plot .stage-copy { fill: var(--muted); font: 10px var(--sans); }
.factoring-plot .sieve-objects rect { stroke-width: 1.4; }
.factoring-plot .sieve-objects.raw rect { fill: rgba(255,109,95,.22); stroke: var(--coral-deep); }
.factoring-plot .sieve-objects.kept rect, .factoring-plot .sieve-objects.fiber rect { fill: rgba(172,216,242,.32); stroke: var(--forest-3); }
.factoring-plot .sieve-discard path { fill: none; stroke: var(--coral-deep); stroke-width: 2; opacity: .7; }
.factoring-plot .sieve-containers path { fill: rgba(232,255,106,.2); stroke: var(--forest-3); stroke-width: 2; stroke-dasharray: 7 5; }
.factoring-plot .container-label { fill: var(--forest); font: 700 12px var(--mono); }
.factoring-plot .sieve-flow-arrow { fill: none; stroke: var(--coral-deep); stroke-width: 2; marker-end: url(#sieveArrow); }
.factoring-plot .sieve-stage.audit .stage-kicker { fill: var(--acid); }
.factoring-plot .audit path { fill: none; stroke: rgba(255,255,255,.25); stroke-width: 1; }
.factoring-plot .audit-head { fill: rgba(255,255,255,.78); font: 600 8px var(--mono); text-anchor: middle; }
.factoring-plot .audit-row { fill: var(--acid); font: 600 8px var(--mono); }
.factoring-plot .audit-cell { fill: white; font: 600 10px var(--mono); text-anchor: middle; }
.factoring-plot .audit-note { fill: rgba(255,255,255,.62); font: 9px var(--sans); }
.factoring-text-equivalent { margin-top: 13px; }
.factoring-text-equivalent > p { margin: 0; font-size: 12px; }
.factoring-text-equivalent > ol { display: grid; grid-template-columns: repeat(4,minmax(0,1fr)); gap: 1px; margin: 12px 0; padding: 1px; list-style-position: inside; background: var(--line); }
.factoring-text-equivalent > ol li { min-width: 0; padding: 14px; background: var(--white); font-size: 10px; }
.factoring-audit { border: 1px solid var(--line); }
.factoring-audit > div { display: grid; grid-template-columns: .85fr 1fr 1fr; min-width: 0; }
.factoring-audit > div + div { border-top: 1px solid var(--line); }
.factoring-audit > div > * { min-width: 0; margin: 0; padding: 13px; border-right: 1px solid var(--line); font-size: 10px; }
.factoring-audit > div > *:last-child { border-right: 0; }
.factoring-audit-head { color: white; background: var(--forest); font: 600 9px/1.35 var(--mono); }
.factoring-audit [role="rowheader"] { color: var(--coral-deep); background: var(--paper-2); font: 600 9px/1.4 var(--mono); }
.original-factoring-sieve > article { min-width: 0; padding: 21px; border-top: 4px solid var(--violet); background: var(--paper-2); }
.original-factoring-sieve > article > span, .original-factor-exits span, .original-three-case-diagnostic span, .original-three-level-product span { display: block; color: var(--coral-deep); font: 600 9px/1.35 var(--mono); letter-spacing: .05em; }
.original-factoring-sieve > article h4, .original-three-case-diagnostic h4, .original-refined-induction h4 { margin: 16px 0 10px; font-family: var(--serif); font-size: 25px; font-weight: 400; }
.original-factoring-sieve > article p, .original-factor-exits p, .original-three-case-diagnostic p { margin: 11px 0 0; color: var(--muted); font-size: 11px; }
.original-factor-exits { display: grid; grid-template-columns: repeat(3,minmax(0,1fr)); gap: 1px; margin: 14px 0 20px; border: 1px solid var(--line); background: var(--line); }
.original-factor-exits article { min-width: 0; padding: 17px; background: var(--white); }
.grains-prelude { margin: 22px 0 0; background: var(--paper-2); }
.grains-prelude-flow { display: grid; grid-template-columns: repeat(3,minmax(0,1fr)); gap: 12px; margin-top: 20px; }
.grains-prelude-flow article { position: relative; min-width: 0; padding: 17px; border-top: 4px solid var(--forest-3); background: var(--white); }
.grains-prelude-flow article:nth-child(2) { border-top-color: var(--coral); }
.grains-prelude-flow article:nth-child(3) { border-top-color: var(--violet); }
.grains-prelude-flow article:not(:last-child)::after { content: "→"; position: absolute; z-index: 2; top: 50%; right: -13px; width: 26px; color: var(--coral-deep); text-align: center; }
.grains-prelude-flow article > span { color: var(--coral-deep); font: 600 9px/1.35 var(--mono); }
.grains-prelude-flow svg { width: 100%; margin: 12px 0 8px; border: 1px solid var(--line); background: var(--paper); }
.grains-prelude-flow article > p { margin: 10px 0 0; color: var(--muted); font-size: 11px; }
.grain-active-region { fill: rgba(255,109,95,.18); stroke: var(--coral-deep); stroke-width: 1.5; stroke-dasharray: 5 4; }
.grain-prelude-tubes path { fill: none; stroke: var(--forest-3); stroke-width: 7; stroke-linecap: round; opacity: .66; }
.grain-prelude-tubes.muted path { stroke-width: 4; opacity: .28; }
.grain-active-dot { fill: var(--coral); }
.grain-prelude-box { fill: var(--white); stroke: var(--forest-3); }
.grain-partition-wall { fill: none; stroke: var(--violet); stroke-width: 9; stroke-dasharray: 7 5; opacity: .65; }
.grain-selected-pieces path { fill: none; stroke: var(--coral-deep); stroke-width: 8; stroke-linecap: round; }
.grain-cover-plates path { fill: rgba(232,255,106,.42); stroke: var(--forest-3); stroke-width: 1.5; }
.grain-cover-traces path { fill: none; stroke: var(--coral-deep); stroke-width: 3; }
.grains-prelude-flow svg text { fill: var(--muted); font: 9px var(--mono); }
.grains-prelude + .zoom-figure { margin-top: 18px; }
.original-three-case-diagnostic { display: grid; grid-template-columns: repeat(3,minmax(0,1fr)); gap: 12px; margin-top: 20px; }
.original-three-case-diagnostic article { min-width: 0; padding: 21px; border: 1px solid var(--line); border-top: 4px solid var(--forest-3); background: var(--paper-2); }
.original-three-case-diagnostic article:nth-child(2) { border-top-color: var(--coral); }
.original-three-case-diagnostic article:nth-child(3) { border-top-color: var(--violet); }
.original-advanced-details { margin-top: 20px; border: 1px solid var(--line); background: var(--paper); }
.original-advanced-details summary { display: flex; min-height: 56px; align-items: center; justify-content: space-between; gap: 18px; padding: 12px 18px; color: white; background: var(--forest); cursor: pointer; font: 600 11px/1.45 var(--mono); list-style: none; }
.original-advanced-details summary::-webkit-details-marker { display: none; }
.original-advanced-details summary::after { content: "+"; display: grid; flex: 0 0 32px; width: 32px; height: 32px; place-items: center; color: var(--forest); border-radius: 50%; background: var(--acid); font-size: 18px; }
.original-advanced-details[open] summary::after { content: "−"; }
.original-advanced-details summary:focus-visible { outline: 3px solid var(--coral); outline-offset: 3px; }
.original-advanced-details[open] > *:not(summary) { margin-right: 20px; margin-left: 20px; }
.original-proposition-contract { display: grid; grid-template-columns: .8fr 1.2fr; gap: 12px; padding-top: 20px; }
.original-proposition-contract > p { grid-column: 1 / -1; margin: 0; color: var(--muted); font-size: 12px; }
.original-proposition-contract article { min-width: 0; padding: 20px; border: 1px solid var(--line); background: var(--white); }
.original-proposition-contract article > span { color: var(--coral-deep); font: 600 9px/1.3 var(--mono); }
.original-proposition-contract article > p { color: var(--muted); font-size: 11px; }
.original-repair-loop { display: grid; grid-template-columns: minmax(0,1fr) 34px minmax(0,1fr) 34px minmax(0,1fr); gap: 8px; align-items: stretch; margin-top: 18px; }
.original-repair-loop > article { min-width: 0; padding: 20px; color: white; border-top: 4px solid var(--acid); background: var(--forest); }
.original-repair-loop > article:nth-of-type(2) { border-top-color: var(--coral); }
.original-repair-loop > article:nth-of-type(3) { border-top-color: var(--violet); }
.original-repair-loop > article > span { color: var(--acid); font: 600 9px/1.3 var(--mono); }
.original-repair-loop h4 { margin: 17px 0 9px; font-family: var(--serif); font-size: 24px; font-weight: 400; }
.original-repair-loop > article p { margin: 0; color: rgba(255,255,255,.72); font-size: 11px; }
.original-repair-loop > i { display: grid; place-items: center; color: var(--coral-deep); font-style: normal; font-size: 20px; }
.repair-loopback { display: grid; grid-column: 1 / -1; grid-template-columns: 48px minmax(0,1fr); gap: 14px; align-items: center; padding: 17px; border: 1px dashed var(--coral-deep); background: var(--white); }
.repair-loopback > span { grid-row: 1 / span 2; color: var(--coral-deep); font-size: 34px; }
.repair-loopback > p { margin: 0; color: var(--muted); font-size: 11px; }
.repair-monotone-badges { display: flex; flex-wrap: wrap; gap: 6px; }
.repair-monotone-badges span { padding: 6px 8px; color: var(--forest); border: 1px solid var(--line); background: var(--acid-soft); font: 600 8px/1.25 var(--mono); }
.repair-monotone-badges span:first-child { color: white; border-color: var(--coral-deep); background: var(--coral-deep); }
.repair-geometry-figure { margin-top: 18px !important; }
.repair-geometry-heading { display: grid; grid-template-columns: 190px minmax(0,1fr); gap: 24px; align-items: end; }
.repair-geometry-grid { display: grid; grid-template-columns: repeat(3,minmax(0,1fr)); gap: 12px; margin-top: 18px; }
.repair-geometry-grid article { min-width: 0; padding: 16px; border: 1px solid var(--line); background: var(--white); }
.repair-geometry-grid article > span { display: block; min-height: 27px; color: var(--coral-deep); font: 600 8px/1.35 var(--mono); }
.repair-geometry-grid svg { width: 100%; margin-top: 8px; background: var(--paper); }
.repair-geometry-grid svg text { fill: var(--muted); font: 9px var(--mono); }
.repair-geometry-grid article > p { margin: 10px 0 0; color: var(--muted); font-size: 10px; }
.repair-grain-body { fill: rgba(172,216,242,.28); stroke: var(--forest-3); stroke-width: 2; }
.repair-long-ends { fill: none; stroke: var(--coral-deep); stroke-width: 6; }
.repair-tube-path, .repair-direction-head, .repair-gain-arrow { fill: none; stroke: var(--forest); stroke-width: 4; }
.repair-plate { stroke-width: 1.5; }
.repair-plate.one { fill: rgba(255,109,95,.25); stroke: var(--coral-deep); }
.repair-plate.two { fill: rgba(158,143,197,.35); stroke: #67558e; }
.repair-gain-badge { fill: var(--forest); }
.repair-geometry-grid .repair-gain-badge ~ text { fill: var(--acid); font-size: 8px; font-weight: 600; }
.repair-common-box { fill: rgba(172,216,242,.12); stroke: var(--forest-3); stroke-width: 2; stroke-dasharray: 7 5; }
.repair-plate.tangent { fill: rgba(232,255,106,.4); stroke: var(--forest-3); }
.original-geometric-caveat { margin: 18px 20px 20px !important; padding: 20px; border-left: 4px solid var(--coral-deep); background: #ffe9e4; }
.original-geometric-caveat h4 { margin: 0 0 8px; font-size: 14px; }
.original-geometric-caveat p { margin: 0; color: var(--ink-2); font-size: 11px; }

.original-refined-induction, .original-scale-ladder-contract { margin-top: 20px; padding: 24px; border: 1px solid var(--line); background: var(--paper-2); }
.original-refined-induction > p, .original-scale-ladder-contract > p { color: var(--muted); font-size: 12px; }
.original-three-level-product { display: grid; grid-template-columns: repeat(3,minmax(0,1fr)); gap: 10px; margin: 18px 0; }
.original-three-level-product article { min-width: 0; padding: 17px; border-top: 4px solid var(--forest-3); background: var(--white); }
.original-three-level-product article:nth-child(2) { border-top-color: var(--coral); }
.original-three-level-product article:nth-child(3) { border-top-color: var(--violet); }
.original-three-level-product .formula { margin-top: 12px; }
.original-refined-induction > .formula.result { color: var(--forest); border-left-color: var(--coral); background: var(--acid); }
.original-scale-ladder-contract { border-left: 4px solid var(--forest-3); }
.original-scale-ladder-contract .formula { margin: 13px 0; background: var(--white); }
.original-scale-module .scale-lab { margin-top: 20px; }
.original-sticky-contracts article:first-child { border-top: 4px solid var(--violet); }
.original-sticky-contracts article:last-child { color: white; border-top: 4px solid var(--acid); background: var(--forest); }
.original-sticky-contracts article:last-child > span { color: var(--acid); }
.original-sticky-contracts article:last-child p { color: rgba(255,255,255,.74); }
.original-sticky-contracts article:last-child .formula { color: var(--acid); background: rgba(255,255,255,.07); }
.original-nsp-amplifier { display: grid; grid-template-columns: minmax(0,1fr) 32px minmax(0,1.25fr) 32px minmax(0,1fr); gap: 8px; align-items: stretch; margin-top: 20px; }
.nsp-flow-figure { grid-column: 1 / -1; background: var(--paper-2); }
.nsp-flow-stages { display: grid; grid-template-columns: repeat(5,minmax(0,1fr)); gap: 9px; margin-top: 20px; }
.nsp-flow-stages article { position: relative; min-width: 0; padding: 14px; border-top: 4px solid var(--forest-3); background: var(--white); }
.nsp-flow-stages article:nth-child(2) { border-top-color: var(--coral); }
.nsp-flow-stages article:nth-child(3) { border-top-color: var(--violet); }
.nsp-flow-stages article:nth-child(4) { border-top-color: var(--acid); }
.nsp-flow-stages article:nth-child(5) { color: white; border-top-color: var(--acid); background: var(--forest); }
.nsp-flow-stages article:not(:last-child)::after { content: "→"; position: absolute; z-index: 2; top: 50%; right: -10px; width: 20px; color: var(--coral-deep); text-align: center; }
.nsp-flow-stages article > span { display: block; color: var(--coral-deep); font: 600 8px/1.3 var(--mono); }
.nsp-flow-stages article:nth-child(5) > span { color: var(--acid); }
.nsp-flow-stages svg { width: 100%; margin: 8px 0 5px; background: var(--paper); }
.nsp-flow-stages article:nth-child(5) svg { background: rgba(255,255,255,.06); }
.nsp-flow-stages article > p { margin: 8px 0 0; color: var(--muted); font-size: 10px; line-height: 1.5; }
.nsp-flow-stages article:nth-child(5) > p { color: rgba(255,255,255,.72); }
.nsp-flow-stages svg text { fill: var(--muted); font: 8px var(--mono); }
.nsp-tubes path, .nsp-copy path { fill: none; stroke: var(--forest-3); stroke-width: 7; stroke-linecap: round; opacity: .72; }
.nsp-copy.cluster-b path { stroke: var(--coral-deep); opacity: .58; }
.nsp-copy.cluster-c path { stroke: #67558e; opacity: .55; }
.nsp-warning { fill: var(--coral); }
.nsp-copies-stage .nsp-warning ~ text { fill: var(--forest); font-size: 7px; font-weight: 700; }
.nsp-tubes.selected path { stroke-width: 6; }
.nsp-checks path { fill: none; stroke: var(--coral-deep); stroke-width: 3; }
.nsp-union-region { fill: rgba(232,255,106,.45); stroke: var(--forest-3); stroke-width: 2; }
.nsp-equation-large, .nsp-equation-small { fill: var(--acid) !important; font: 600 12px var(--mono) !important; }
.nsp-divide-arrow { fill: none; stroke: var(--coral); stroke-width: 2; }
.nsp-amplifier-input, .nsp-amplifier-move, .nsp-amplifier-output { min-width: 0; padding: 22px; border: 1px solid var(--line); background: var(--paper-2); }
.nsp-amplifier-output { color: white; background: var(--forest); }
.original-nsp-amplifier > i { display: grid; place-items: center; color: var(--coral-deep); font-style: normal; font-size: 20px; }
.nsp-amplifier-input > span, .nsp-amplifier-move > span, .nsp-amplifier-output > span { color: var(--coral-deep); font: 600 9px/1.3 var(--mono); }
.nsp-amplifier-output > span { color: var(--acid); }
.nsp-amplifier-input h4, .nsp-amplifier-move h4, .nsp-amplifier-output h4 { margin: 17px 0 10px; font-family: var(--serif); font-size: 27px; font-weight: 400; }
.nsp-amplifier-input p, .nsp-amplifier-move p, .nsp-amplifier-output p { margin: 10px 0 0; color: var(--muted); font-size: 11px; }
.nsp-amplifier-output p { color: rgba(255,255,255,.72); }
.nsp-amplifier-output .formula { color: var(--acid); background: rgba(255,255,255,.07); }
.original-sticky-deep-dive { margin-bottom: 18px; }
.original-sticky-deep-dive .sticky-story { margin-top: 22px; }
.original-prop17-output { margin: 20px 0 10px; padding-left: 18px; border-left: 4px solid var(--coral); }
.original-closure-chain { display: grid; grid-template-columns: repeat(6,minmax(0,1fr)); gap: 8px; margin: 20px 0 0; padding: 0; list-style: none; }
.original-closure-chain li { position: relative; min-width: 0; min-height: 214px; padding: 18px; border-top: 4px solid var(--forest-3); background: var(--paper-2); }
.original-closure-chain li:nth-child(2), .original-closure-chain li:nth-child(3) { border-top-color: var(--coral); }
.original-closure-chain li:nth-child(4), .original-closure-chain li:nth-child(5) { border-top-color: var(--violet); }
.original-closure-chain li:last-child { color: white; border-top-color: var(--acid); background: var(--forest); }
.original-closure-chain li:not(:last-child)::after { content: "→"; position: absolute; z-index: 2; top: 50%; right: -9px; width: 18px; color: var(--coral-deep); text-align: center; }
.original-closure-chain li > span { display: block; color: var(--coral-deep); font: 600 8px/1.3 var(--mono); }
.original-closure-chain li:last-child > span { color: var(--acid); }
.original-closure-chain b { display: block; margin-top: 17px; font-size: 12px; }
.original-closure-chain p { margin: 9px 0 0; color: var(--muted); font-size: 10px; line-height: 1.55; }
.original-closure-chain li:last-child p { color: rgba(255,255,255,.75); }
.original-endpoint-handoff { display: grid; grid-template-columns: .75fr 1.25fr; gap: 20px; align-items: center; margin-top: 14px; padding: 23px; color: white; background: var(--forest); }
.original-endpoint-handoff .formula { margin: 0; color: var(--forest); background: var(--acid); }
.original-endpoint-handoff > p { margin: 0; color: rgba(255,255,255,.75); font-size: 12px; }
.original-consequence-coda { margin-top: 26px; padding: 25px; border: 1px dashed var(--violet); background: var(--paper-2); }
.original-consequence-coda > div:first-child { display: grid; grid-template-columns: .5fr 1.5fr; gap: 24px; align-items: end; }
.original-consequence-coda h4 { margin: 0; font-family: var(--serif); font-size: 31px; font-weight: 400; }
.original-coda-cards { display: grid; grid-template-columns: repeat(2,minmax(0,1fr)); gap: 12px; margin-top: 18px; }
.original-coda-cards article { min-width: 0; padding: 20px; border-top: 4px solid var(--violet); background: var(--white); }
.original-coda-cards article > span { color: var(--coral-deep); font: 600 9px/1.35 var(--mono); }
.original-coda-cards article > p { color: var(--muted); font-size: 11px; }
.proof-route-divider { margin: 86px 0 38px; padding: clamp(30px,4vw,48px); color: white; border-left: 8px solid var(--coral); background: var(--forest); }
.proof-route-divider .eyebrow { color: var(--acid); }
.proof-route-divider h3 { max-width: 850px; margin: 12px 0 18px; font-family: var(--serif); font-size: clamp(2.4rem,4.8vw,4.6rem); font-weight: 400; }
.proof-route-divider > p:last-child { max-width: 930px; margin: 0; color: rgba(255,255,255,.74); font-size: 12px; }
.proof-route-divider .cite { color: var(--acid); }

@media (max-width: 1180px) {
  .original-closure-chain { grid-template-columns: repeat(3,minmax(0,1fr)); }
  .original-closure-chain li { min-height: 180px; }
  .original-closure-chain li::after { display: none; }
}

@media (max-width: 980px) {
  .original-dependency-spine { display: flex; width: 100%; max-width: 100%; min-width: 0; gap: 8px; overflow-x: auto; overflow-y: hidden; scroll-snap-type: x proximity; scroll-padding-inline: 12px; overscroll-behavior-inline: contain; -webkit-overflow-scrolling: touch; scrollbar-width: thin; position: relative; z-index: 0; isolation: isolate; }
  .original-dependency-spine a { flex: 0 0 min(72vw, 230px); scroll-snap-align: start; scroll-snap-stop: normal; }
  .paper-anatomy-list { grid-template-columns: repeat(2,minmax(0,1fr)); }
  .penalty-model-grid { grid-template-columns: 1fr; }
  .original-dependency-spine > i { flex: 0 0 16px; width: 16px; min-height: 0; align-self: center; transform: none; pointer-events: none; }
  .original-module-heading, .logic-figure-heading, .repair-geometry-heading { grid-template-columns: 1fr; gap: 13px; align-items: start; }
  .original-module-contract { grid-template-columns: repeat(2,minmax(0,1fr)); }
  .original-module-contract > div { min-height: 132px; }
  .original-repair-loop { grid-template-columns: 1fr; }
  .original-repair-loop > i { min-height: 34px; transform: rotate(90deg); }
  .repair-loopback { grid-column: 1; }
  .nsp-flow-stages { grid-template-columns: 1fr; }
  .nsp-flow-stages article { display: grid; grid-template-columns: 160px minmax(0,1fr); gap: 0 16px; align-items: center; min-height: 150px; }
  .nsp-flow-stages article > span { grid-column: 1 / -1; }
  .nsp-flow-stages article svg { grid-column: 1; grid-row: 2; }
  .nsp-flow-stages article > p { grid-column: 2; grid-row: 2; }
  .nsp-flow-stages article:not(:last-child)::after { top: auto; right: 50%; bottom: -14px; transform: translateX(50%) rotate(90deg); }
  .original-nsp-amplifier { grid-template-columns: 1fr; }
  .nsp-flow-figure { grid-column: 1; }
  .original-nsp-amplifier > i { min-height: 34px; transform: rotate(90deg); }
  .original-endpoint-handoff { grid-template-columns: 1fr; }
  .original-seed-card { grid-template-columns: 1fr; }
  .prop91-causal-chain { grid-template-columns: repeat(2,minmax(0,1fr)); }
  .prop91-causal-chain li::after { display: none; }
}

@media (max-width: 700px) {
  .original-state-ledger { padding: 18px; }
  .original-paper-anatomy, .original-penalty-decoder { padding: 18px; }
  .paper-anatomy-list { grid-template-columns: 1fr; }
  .paper-anatomy-list li { grid-template-columns: 1fr; gap: 6px; min-height: 0; }
  .penalty-model { padding: 16px; }
  .penalty-causal-chain li { grid-template-columns: 1fr; gap: 6px; }
  .original-proof-route .continuity-note { grid-template-columns: 1fr; gap: 9px; }
  .original-state-ledger .logic-figure-heading { gap: 12px; }
  .original-state-ledger table, .original-state-ledger tbody, .original-state-ledger tr, .original-state-ledger th, .original-state-ledger td { display: block; width: 100%; }
  .original-state-ledger thead { position: absolute; width: 1px; height: 1px; margin: -1px; overflow: hidden; clip: rect(0,0,0,0); white-space: nowrap; }
  .original-state-ledger tbody { display: grid; gap: 12px; }
  .original-state-ledger tbody tr { border: 1px solid var(--line); }
  .original-state-ledger tbody th { display: flex; gap: 10px; align-items: center; padding: 11px 13px; }
  .original-state-ledger tbody th span { flex: 0 0 24px; margin: 0; }
  .original-state-ledger tbody td { padding: 10px 13px; border-top: 1px solid var(--line); font-size: 10px; }
  .original-state-ledger tbody td::before { content: attr(data-ledger-label); display: block; margin-bottom: 5px; color: var(--coral-deep); font: 600 8px/1.3 var(--mono); letter-spacing: .05em; }
  .original-proof-route { margin-top: 68px; }
  .original-proof-heading, .original-proof-module, .proof-route-divider { padding: 21px; }
  .original-module-heading h3 { font-size: clamp(2rem,10vw,3rem); }
  .original-module-contract { grid-template-columns: 1fr; }
  .original-module-contract > div { grid-column: 1; min-height: 0; }
  .original-error-definitions, .original-two-wins, .original-sticky-contracts, .original-factoring-sieve, .original-factor-exits, .grains-prelude-flow, .original-three-case-diagnostic, .original-proposition-contract, .repair-geometry-grid, .original-three-level-product, .original-coda-cards { grid-template-columns: 1fr; }
  .original-de-rail { grid-template-columns: 1fr; }
  .de-rail-bridge { min-height: 70px; flex-direction: row; }
  .de-rail-bridge b { transform: rotate(90deg); }
  .de-landscape, .factoring-figure, .grains-prelude, .repair-geometry-figure, .nsp-flow-figure { grid-column: 1; padding: 18px; }
  .de-landscape-plot, .factoring-plot { display: none; }
  .de-mobile-ladder { grid-template-columns: 1fr; gap: 12px; }
  .de-mobile-ladder li { min-height: 82px; padding-left: 21px; border-top-width: 1px; border-left: 4px solid var(--forest-3); }
  .de-mobile-ladder li:nth-child(3) { border-left-color: var(--coral); }
  .de-mobile-ladder li:nth-child(4) { border-left-color: var(--violet); }
  .de-mobile-ladder li:nth-child(5) { border-left-color: var(--acid); }
  .de-mobile-ladder li:not(:last-child)::after { top: auto; right: 50%; bottom: -15px; transform: translateX(50%) rotate(90deg); }
  .factoring-text-equivalent > ol { grid-template-columns: 1fr; }
  .factoring-audit > div { grid-template-columns: 1fr; }
  .factoring-audit > div > * { border-right: 0; border-bottom: 1px solid var(--line); }
  .factoring-audit > div > *:last-child { border-bottom: 0; }
  .factoring-audit-head b:nth-child(n+2) { display: none; }
  .factoring-audit [role="cell"]::before { display: block; margin-bottom: 4px; color: var(--muted); font: 600 8px/1.3 var(--mono); }
  .factoring-audit [role="cell"]:nth-child(2)::before { content: "OUTER CONTAINERS 𝒲"; }
  .factoring-audit [role="cell"]:nth-child(3)::before { content: "NORMALIZED INNER FIBERS 𝒰′[W]"; }
  .grains-prelude-flow article:not(:last-child)::after { top: auto; right: 50%; bottom: -16px; transform: translateX(50%) rotate(90deg); }
  .original-advanced-details summary { min-height: 60px; padding: 10px 13px; font-size: 10px; }
  .original-advanced-details[open] > *:not(summary) { margin-right: 12px; margin-left: 12px; }
  .original-proposition-contract > p { grid-column: 1; }
  .original-repair-loop > article { padding: 18px; }
  .repair-loopback { grid-template-columns: 1fr; }
  .repair-loopback > span { grid-row: auto; }
  .repair-monotone-badges { display: grid; grid-template-columns: 1fr 1fr; }
  .original-geometric-caveat { margin-right: 12px !important; margin-left: 12px !important; }
  .nsp-flow-stages article { display: block; min-height: 0; }
  .nsp-flow-stages article svg { max-width: 240px; margin-right: auto; margin-left: auto; }
  .original-closure-chain { grid-template-columns: 1fr; }
  .original-closure-chain li { min-height: 0; }
  .original-closure-chain li:not(:last-child)::after { display: block; top: auto; right: 50%; bottom: -15px; transform: translateX(50%) rotate(90deg); }
  .prop91-causal-chain, .three-nested-questions { grid-template-columns: 1fr; }
  .original-module-handoff { grid-template-columns: 1fr auto; }
  .original-module-handoff span { grid-column: 1 / -1; }
  .original-module-handoff b { grid-column: 1; }
  .original-module-handoff i { grid-column: 2; grid-row: 2; }
  .original-consequence-coda { padding: 18px; }
  .original-consequence-coda > div:first-child { grid-template-columns: 1fr; gap: 10px; }
  .proof-route-divider { margin-top: 64px; border-left-width: 5px; }
  .original-proof-route .formula { font-size: 11px; overflow-x: auto; -webkit-overflow-scrolling: touch; }
  .original-proof-route p, .original-proof-route li, .original-proof-route b { overflow-wrap: anywhere; }
}

@media (prefers-reduced-motion: reduce) {
  .original-dependency-spine a { transition: none; }
}

@media print {
  .original-state-ledger { padding: 16px; break-inside: avoid; }
  .original-paper-anatomy, .original-penalty-decoder { padding: 14px; color: black; border: 1px solid #777; background: white; }
  .paper-anatomy-list { grid-template-columns: repeat(3,1fr); background: white; }
  .paper-anatomy-list li, .penalty-model, .penalty-model-boundary, .penalty-target-formula { color: black !important; border: 1px solid #999; background: white !important; break-inside: avoid; }
  .paper-anatomy-list b, .paper-anatomy-list a, .paper-page-range, .penalty-model h5, .penalty-model header > span, .penalty-causal-chain li > span, .penalty-causal-chain p, .penalty-model-boundary > b { color: black; }
  .paper-anatomy-list li { min-height: 0; padding: 8px; }
  .paper-anatomy-list b, .paper-anatomy-list a, .paper-page-range, .penalty-causal-chain p { font-size: 7px; }
  .original-state-ledger table { display: table; table-layout: fixed; }
  .original-state-ledger thead { position: static; display: table-header-group; width: auto; height: auto; margin: 0; overflow: visible; clip: auto; white-space: normal; }
  .original-state-ledger tbody { display: table-row-group; }
  .original-state-ledger tr { display: table-row; }
  .original-state-ledger th, .original-state-ledger td { display: table-cell; width: auto; padding: 7px; color: black; border: 1px solid #999; background: white; font-size: 7px; }
  .original-state-ledger tbody th { color: black; background: white; }
  .original-state-ledger tbody th span { display: inline-grid; width: 18px; height: 18px; margin: 0 5px 0 0; color: black; border: 1px solid #777; background: white; }
  .original-state-ledger tbody td::before { content: none; }
  .original-proof-route { margin-top: 30px; }
  .original-proof-heading, .original-proof-module, .proof-route-divider, .original-assertion-card, .nsp-amplifier-output, .original-sticky-contracts article:last-child, .original-closure-chain li:last-child, .original-endpoint-handoff { print-color-adjust: exact; -webkit-print-color-adjust: exact; }
  .original-dependency-spine { grid-template-columns: repeat(3,1fr); }
  .original-dependency-spine > i { display: none; }
  .original-module-contract { grid-template-columns: repeat(4,1fr); }
  .original-proof-module { break-before: page; }
  .original-proof-module:first-of-type { break-before: auto; }
  .de-landscape, .factoring-figure, .grains-prelude, .repair-geometry-figure, .nsp-flow-figure, .original-repair-loop > article, .original-closure-chain li { break-inside: avoid; }
  .original-advanced-details summary { display: none !important; }
  .original-advanced-details:not([open]) > *:not(summary) { display: block !important; }
  .original-repair-details { display: none !important; }
  .original-module-handoff, .original-seed-card, .prop91-causal-chain li, .three-nested-questions article { break-inside: avoid; }
  .nsp-flow-stages { grid-template-columns: repeat(2,1fr); }
  .nsp-flow-stages article:not(:last-child)::after { display: none; }
  .original-closure-chain { grid-template-columns: repeat(3,1fr); }
  .original-closure-chain li::after { display: none !important; }
  .proof-route-divider { color: black; border: 2px solid black; background: white; }
  .proof-route-divider > p:last-child { color: black; }
}

.repair-print-equivalent { display: none; }
@media print {
  .repair-print-equivalent { display: block; margin: 18px 0; padding: 18px; border: 1px solid #777; break-inside: avoid; }
  .original-module-handoff { color: black; border: 1px solid #777; background: white; }
  .original-module-handoff span, .original-module-handoff i { color: black; }
  .repair-print-equivalent h4 { margin: 0 0 10px; font-size: 16px; }
  .repair-print-equivalent p, .repair-print-equivalent li { font-size: 10px; }
}

/* Round 11 · progressive disclosure, readable proof state, and route branching */
#original-proof-state-ledger,
#paper-anatomy-disclosure,
#original-paper-anatomy,
#original-penalty-decoder { scroll-margin-top: 96px; }
.paper-anatomy-disclosure { margin: 0 0 34px; }
.paper-anatomy-disclosure > summary { padding: 17px 20px; color: var(--forest); border: 1px solid var(--line); border-left: 5px solid var(--violet); background: var(--paper); cursor: pointer; font: 600 11px/1.55 var(--mono); }
.paper-anatomy-disclosure > summary:hover { color: var(--coral-deep); background: var(--paper-2); }
.paper-anatomy-disclosure > summary:focus-visible { outline: 3px solid var(--coral); outline-offset: 3px; }
.paper-anatomy-disclosure[open] > summary { border-bottom-color: transparent; }
.paper-anatomy-disclosure > .original-paper-anatomy { margin: 0; }
.original-state-ledger tbody td { font-size: 11px; line-height: 1.58; }
#original-paper-anatomy-title { font-size: clamp(24px,3vw,36px); }
.paper-anatomy-list b { font-size: 11px; }
.paper-anatomy-list a, .paper-page-range { font-size: 9px; }
.penalty-model-key { margin: 0 0 14px; padding: 12px 15px; color: var(--ink-2); border-left: 4px solid var(--violet); background: var(--white); font-size: 11px; line-height: 1.6; }
.penalty-causal-chain p { font-size: 11px; line-height: 1.6; }
.original-factoring-descent { display: grid; grid-template-columns: repeat(4,minmax(0,1fr)); gap: 1px; margin: 18px 0 10px; padding: 1px; list-style: none; background: var(--line); }
.original-factoring-descent li { min-width: 0; padding: 17px; border-top: 4px solid var(--violet); background: var(--paper); }
.original-factoring-descent li:nth-child(2) { border-top-color: var(--coral); }
.original-factoring-descent li:nth-child(3) { border-top-color: var(--forest-3); }
.original-factoring-descent li:nth-child(4) { border-top-color: var(--acid); background: var(--forest); }
.original-factoring-descent span { display: block; color: var(--coral-deep); font: 600 8px/1.4 var(--mono); letter-spacing: .045em; }
.original-factoring-descent p { margin: 10px 0 0 !important; color: var(--muted); font-size: 11px !important; line-height: 1.6; }
.original-factoring-descent li:nth-child(4) span { color: var(--acid); }
.original-factoring-descent li:nth-child(4) p { color: rgba(255,255,255,.78); }
.roadmap-node > .roadmap-node-copy { display: flex; flex: 1 1 auto; height: auto; flex-direction: column; align-items: flex-start; gap: 3px; place-items: initial; color: inherit; border: 0; border-radius: 0; background: transparent; font: inherit; }
.roadmap-node-copy small { color: var(--muted); font: 600 7px/1.25 var(--mono); letter-spacing: .055em; }
.roadmap-node-copy b { font-weight: 600; }
.roadmap-node.active .roadmap-node-copy small { color: var(--acid); }
.roadmap-node-sticky { border-left-color: var(--violet); }
.roadmap-node-nonsticky { border-left-color: var(--coral-deep); }
.roadmap-node-reunion { border-left-color: var(--acid); }
.roadmap-branch-switch { display: grid; min-height: 38px; margin: 5px 0; padding: 7px 12px 7px 52px; align-items: center; color: var(--coral-deep); border-top: 1px dashed var(--coral); border-bottom: 1px dashed var(--coral); background: var(--paper-2); }
.roadmap-branch-switch span { font: 700 8px/1.35 var(--mono); letter-spacing: .06em; }
@media (max-width: 980px) {
  .original-factoring-descent { grid-template-columns: repeat(2,minmax(0,1fr)); }
  .roadmap-branch-switch { flex: 0 0 130px; min-height: 49px; margin: 0 6px; padding: 7px 10px; place-items: center; text-align: center; border: 1px dashed var(--coral); }
}
@media (max-width: 700px) {
  .paper-anatomy-disclosure > summary { padding: 14px 16px; }
  .original-factoring-descent { grid-template-columns: 1fr; }
}
@media print {
  .paper-anatomy-disclosure { display: block; margin: 0 0 20px; }
  .paper-anatomy-disclosure > summary { display: none !important; }
  .paper-anatomy-disclosure:not([open]) > .original-paper-anatomy { display: block !important; }
  .paper-anatomy-disclosure > .original-paper-anatomy { margin: 0; }
  .original-state-ledger tbody td { font-size: 7px; }
  .paper-anatomy-list b, .paper-anatomy-list a, .paper-page-range, .penalty-causal-chain p { font-size: 8px; }
  .original-factoring-descent { grid-template-columns: repeat(2,1fr); background: white; break-inside: avoid; }
  .original-factoring-descent li { color: black; border: 1px solid #999; background: white; break-inside: avoid; }
  .original-factoring-descent li span, .original-factoring-descent li p { color: black !important; }
}
@media print {
  .paper-anatomy-disclosure::details-content { display: block !important; content-visibility: visible !important; }
}

/* Round 13 · connected proof flow, compact reference disclosures, and static primers */
#paper-identity-disclosure,
#route-crosswalk-disclosure,
#proof-state-ledger-disclosure,
#original-penalty-details,
#factoring-induction-invariant,
#near-extremizer-benchmark,
#three-scale-cancellation,
#scale-ladder-causal-chain,
#original-ladder-details,
#tube-count-trade-decoder,
#streamlined-primer { scroll-margin-top: 96px; }

.proof-route-choice { display: grid; grid-template-columns: repeat(2,minmax(0,1fr)); gap: 12px; margin: 24px 0; }
.proof-route-choice a { display: flex; min-width: 0; padding: 21px 22px; flex-direction: column; gap: 7px; color: var(--ink); border: 1px solid var(--line); border-top: 5px solid var(--coral-deep); background: var(--white); text-decoration: none; transition: transform .16s ease, border-color .16s ease; }
.proof-route-choice a:last-child { border-top-color: var(--violet); }
.proof-route-choice a:hover { border-color: var(--coral-deep); transform: translateY(-2px); }
.proof-route-choice a:focus-visible { outline-color: var(--coral); box-shadow: 0 0 0 6px var(--paper); }
.proof-route-choice span { color: var(--coral-deep); font: 650 8px/1.35 var(--mono); letter-spacing: .07em; }
.proof-route-choice a:last-child span { color: #67558e; }
.proof-route-choice b { font-family: var(--serif); font-size: 25px; font-weight: 400; line-height: 1.08; }
.proof-route-choice small { color: var(--muted); font-size: 10px; line-height: 1.5; }

.route-crosswalk-disclosure,
.proof-state-ledger-disclosure { margin: 0 0 28px; border: 1px solid var(--line); background: var(--paper-2); }
.route-crosswalk-disclosure > summary,
.proof-state-ledger-disclosure > summary,
.paper-identity-disclosure > summary { display: flex; min-height: 54px; align-items: center; justify-content: space-between; gap: 18px; padding: 13px 18px; cursor: pointer; font: 650 10px/1.45 var(--mono); letter-spacing: .025em; list-style: none; }
.route-crosswalk-disclosure > summary::-webkit-details-marker,
.proof-state-ledger-disclosure > summary::-webkit-details-marker,
.paper-identity-disclosure > summary::-webkit-details-marker { display: none; }
.route-crosswalk-disclosure > summary::after,
.proof-state-ledger-disclosure > summary::after,
.paper-identity-disclosure > summary::after { content: "+"; display: grid; flex: 0 0 30px; width: 30px; height: 30px; place-items: center; border-radius: 50%; font-size: 17px; }
.route-crosswalk-disclosure[open] > summary::after,
.proof-state-ledger-disclosure[open] > summary::after,
.paper-identity-disclosure[open] > summary::after { content: "−"; }
.route-crosswalk-disclosure > summary,
.proof-state-ledger-disclosure > summary { color: var(--forest); border-left: 5px solid var(--violet); background: var(--white); }
.proof-state-ledger-disclosure > summary { border-left-color: var(--coral-deep); }
.route-crosswalk-disclosure > summary::after,
.proof-state-ledger-disclosure > summary::after { color: var(--forest); background: var(--acid); }
.route-crosswalk-disclosure > summary:hover,
.proof-state-ledger-disclosure > summary:hover { color: var(--coral-deep); background: var(--paper); }
.route-crosswalk-disclosure > summary:focus-visible,
.proof-state-ledger-disclosure > summary:focus-visible,
.paper-identity-disclosure > summary:focus-visible { outline: 3px solid var(--coral); outline-offset: 3px; }
.route-crosswalk-disclosure > .route-crosswalk { margin: 0; border: 0; border-top: 1px solid var(--line); }
.proof-state-ledger-disclosure > .original-state-ledger { margin: 0; border: 0; border-top: 1px solid var(--line); }

.paper-identity-disclosure { margin: 28px 0; border: 1px solid var(--line-light); background: rgba(255,255,255,.035); }
.paper-identity-disclosure > summary { color: white; border-left: 5px solid var(--acid); background: var(--forest); }
.paper-identity-disclosure > summary::after { color: var(--forest); background: var(--acid); }
.paper-identity-disclosure > summary:hover { color: var(--acid); }
.paper-identity-disclosure > section { padding: 30px 30px 0; }
.paper-identity-disclosure > .paper-identity-checkpoint { margin: 28px 30px 30px; }

.factoring-induction-invariant,
.near-extremizer-benchmark,
.three-scale-cancellation,
.scale-ladder-causal-chain,
.tube-count-trade-decoder,
.streamlined-contract-pair,
.streamlined-lemma-pair { display: grid; gap: 12px; margin: 20px 0; }
.factoring-induction-invariant,
.scale-ladder-causal-chain,
.tube-count-trade-decoder { grid-template-columns: repeat(3,minmax(0,1fr)); }
.near-extremizer-benchmark,
.three-scale-cancellation { grid-template-columns: repeat(4,minmax(0,1fr)); }
.streamlined-contract-pair,
.streamlined-lemma-pair { grid-template-columns: repeat(2,minmax(0,1fr)); }
.factoring-induction-invariant article,
.near-extremizer-benchmark article,
.three-scale-cancellation article,
.scale-ladder-causal-chain article,
.tube-count-trade-decoder article,
.streamlined-contract-pair article,
.streamlined-lemma-pair article { min-width: 0; padding: 19px; border: 1px solid var(--line); border-top: 4px solid var(--forest-3); background: var(--white); }
.factoring-induction-invariant article:nth-child(2),
.near-extremizer-benchmark article:nth-child(2),
.three-scale-cancellation article:nth-child(2),
.scale-ladder-causal-chain article:nth-child(2),
.tube-count-trade-decoder article:nth-child(2),
.streamlined-contract-pair article:nth-child(2),
.streamlined-lemma-pair article:nth-child(2) { border-top-color: var(--coral); }
.factoring-induction-invariant article:nth-child(3),
.near-extremizer-benchmark article:nth-child(3),
.three-scale-cancellation article:nth-child(3),
.scale-ladder-causal-chain article:nth-child(3),
.tube-count-trade-decoder article:nth-child(3) { border-top-color: var(--violet); }
.near-extremizer-benchmark article:nth-child(4),
.three-scale-cancellation article:nth-child(4) { color: white; border-top-color: var(--acid); background: var(--forest); }
.factoring-induction-invariant article > span,
.near-extremizer-benchmark article > span,
.three-scale-cancellation article > span,
.scale-ladder-causal-chain article > span,
.tube-count-trade-decoder article > span,
.streamlined-contract-pair article > span,
.streamlined-lemma-pair article > span { display: block; color: var(--coral-deep); font: 650 8px/1.35 var(--mono); letter-spacing: .055em; }
.near-extremizer-benchmark article:nth-child(4) > span,
.three-scale-cancellation article:nth-child(4) > span { color: var(--acid); }
.factoring-induction-invariant h4,
.near-extremizer-benchmark h4,
.three-scale-cancellation h4,
.scale-ladder-causal-chain h4,
.streamlined-contract-pair h4 { margin: 11px 0 8px; font-family: var(--serif); font-size: 23px; font-weight: 400; line-height: 1.08; }
.factoring-induction-invariant p,
.near-extremizer-benchmark p,
.three-scale-cancellation p,
.scale-ladder-causal-chain p,
.tube-count-trade-decoder p,
.streamlined-contract-pair p,
.streamlined-lemma-pair p { margin: 9px 0 0; color: var(--muted); font-size: 11px; line-height: 1.62; }
.near-extremizer-benchmark article:nth-child(4) p,
.three-scale-cancellation article:nth-child(4) p { color: rgba(255,255,255,.76); }
.factoring-symbol-note,
.streamlined-quantifier { margin: 12px 0 20px; padding: 15px 18px; color: var(--ink-2); border-left: 4px solid var(--violet); background: var(--paper-2); font-size: 11px; line-height: 1.65; }

.streamlined-primer { margin: 34px 0 28px; padding: 28px; border: 1px solid var(--line); border-top: 6px solid var(--violet); background: var(--paper-2); }
.streamlined-primer .logic-figure-heading { margin-bottom: 18px; }
.streamlined-primer .logic-figure-heading h4 { font-size: clamp(28px,3.4vw,43px); }
.streamlined-contract-pair article { border-top-color: var(--forest-3); }
.streamlined-contract-pair article:last-child { border-top-color: var(--violet); }
.streamlined-lemma-pair { margin-bottom: 0; }
.streamlined-lemma-pair article:first-child { border-top-color: var(--coral); }
.streamlined-lemma-pair article:last-child { color: white; border-top-color: var(--acid); background: var(--forest); }
.streamlined-lemma-pair article:last-child > span { color: var(--acid); }
.streamlined-lemma-pair article:last-child p { color: rgba(255,255,255,.76); }
.streamlined-primer .formula.compact { margin: 12px 0; overflow-wrap: anywhere; font-size: 11px; }

@media (max-width: 980px) {
  .factoring-induction-invariant,
  .near-extremizer-benchmark,
  .three-scale-cancellation,
  .scale-ladder-causal-chain,
  .tube-count-trade-decoder { grid-template-columns: repeat(2,minmax(0,1fr)); }
  .paper-identity-disclosure > section { padding: 24px 24px 0; }
  .paper-identity-disclosure > .paper-identity-checkpoint { margin-right: 24px; margin-left: 24px; }
}
@media (max-width: 700px) {
  .proof-route-choice,
  .factoring-induction-invariant,
  .near-extremizer-benchmark,
  .three-scale-cancellation,
  .scale-ladder-causal-chain,
  .tube-count-trade-decoder,
  .streamlined-contract-pair,
  .streamlined-lemma-pair { grid-template-columns: 1fr; }
  .route-crosswalk-disclosure > summary,
  .proof-state-ledger-disclosure > summary,
  .paper-identity-disclosure > summary { padding: 12px 14px; }
  .paper-identity-disclosure > section { padding: 20px 16px 0; }
  .paper-identity-disclosure > .paper-identity-checkpoint { margin: 22px 16px 20px; }
  .streamlined-primer { padding: 20px 16px; }
}
@media print {
  .route-crosswalk-disclosure,
  .proof-state-ledger-disclosure,
  .paper-identity-disclosure { display: block; border: 0; background: white; }
  .route-crosswalk-disclosure > summary,
  .proof-state-ledger-disclosure > summary,
  .paper-identity-disclosure > summary { display: none !important; }
  .route-crosswalk-disclosure:not([open]) > .route-crosswalk,
  .proof-state-ledger-disclosure:not([open]) > .original-state-ledger,
  .paper-identity-disclosure:not([open]) > section,
  .paper-identity-disclosure:not([open]) > .paper-identity-checkpoint { display: block !important; }
  .route-crosswalk-disclosure::details-content,
  .proof-state-ledger-disclosure::details-content,
  .paper-identity-disclosure::details-content,
  .original-advanced-details::details-content { display: block !important; content-visibility: visible !important; }
  .paper-identity-disclosure > section { padding: 0; }
  .paper-identity-disclosure > .paper-identity-checkpoint { margin: 18px 0; }
  .original-state-ledger { break-inside: auto; }
  .original-state-ledger tr { break-inside: avoid; }
  .original-state-ledger th,
  .original-state-ledger td,
  .original-state-ledger tbody td { font-size: 9px; }
  .proof-route-choice,
  .factoring-induction-invariant,
  .near-extremizer-benchmark,
  .three-scale-cancellation,
  .scale-ladder-causal-chain,
  .tube-count-trade-decoder,
  .streamlined-contract-pair,
  .streamlined-lemma-pair { grid-template-columns: repeat(2,1fr); }
  .proof-route-choice a,
  .factoring-induction-invariant article,
  .near-extremizer-benchmark article,
  .three-scale-cancellation article,
  .scale-ladder-causal-chain article,
  .tube-count-trade-decoder article,
  .streamlined-contract-pair article,
  .streamlined-lemma-pair article { color: black !important; border: 1px solid #888; background: white !important; break-inside: avoid; }
  .near-extremizer-benchmark article p,
  .three-scale-cancellation article p,
  .streamlined-lemma-pair article p { color: black !important; }
  .streamlined-primer { border: 1px solid #777; background: white; }
}