/* Compression Falsification Ladder — Academic Manuscript palette
 * Surface: cream #fdf8f7 · primary: pure black · headings: Merriweather
 * Body: Inter · code: Fira Code · semantic colors: kill / constructive / open / proved / sorry
 */

:root {
  /* Surface (Academic Manuscript) */
  --bg:                 #fdf8f7;
  --surface:            #ffffff;
  --surface-alt:        #f7f3f1;
  --surface-container:  #f1edec;
  --surface-high:       #ece7e6;

  /* Text */
  --fg:                 #1c1b1b;
  --fg-secondary:       #4d4540;
  --fg-tertiary:        #7e7570;
  --border:             #d0c4be;
  --border-strong:      #4d4540;

  /* Primary (manuscript: pure black) */
  --primary:            #000000;
  --primary-on:         #ffffff;
  --primary-container:  #1e1b19;
  --secondary:          #645d58;
  --secondary-container:#eae1da;

  /* Semantic (carry through from PRD visual-system) */
  --kill:               #E11D48;
  --kill-light:         #FFE4E6;
  --constructive:       #059669;
  --constructive-light: #D1FAE5;
  --open:               #D97706;
  --open-light:         #FEF3C7;
  --reclassified:       #7C3AED;
  --reclassified-light: #EDE9FE;

  /* Lean status */
  --proved:             #2563EB;
  --proved-light:       #DBEAFE;
  --sorry:              #7C3AED;
  --sorry-light:        #EDE9FE;
  --axiom:              #B45309;
  --axiom-light:        #FEF3C7;

  /* Accent (links — reserved black on manuscript palette) */
  --accent:             #1c1b1b;
  --accent-hover:       #645d58;
  --accent-underline:   #4d4540;

  /* Typography */
  --font-sans:    "Inter", system-ui, -apple-system, "Segoe UI", sans-serif;
  --font-serif:   "Merriweather", Georgia, "Times New Roman", serif;
  --font-mono:    "Fira Code", "JetBrains Mono", "SF Mono", ui-monospace, monospace;

  /* Scale */
  --text-xs:   0.75rem;
  --text-sm:   0.875rem;
  --text-base: 1rem;
  --text-lg:   1.125rem;
  --text-xl:   1.25rem;
  --text-2xl:  1.5rem;
  --text-3xl:  1.875rem;
  --text-4xl:  2.25rem;
  --text-5xl:  3rem;

  /* Spacing */
  --s-1: .25rem;  --s-2: .5rem;   --s-3: .75rem;  --s-4: 1rem;
  --s-5: 1.5rem;  --s-6: 2rem;    --s-8: 3rem;    --s-10: 4rem;
  --s-12: 6rem;   --s-16: 8rem;

  /* Layout */
  --content-max: 800px;
  --wide-max:    1100px;

  /* Motion */
  --dur-fast: .15s;
  --dur-normal: .3s;
  --dur-slow: .5s;
  --ease-out: cubic-bezier(0,0,.2,1);
  --ease-spring: cubic-bezier(.34,1.56,.64,1);

  /* Radii (manuscript: minimal) */
  --radius-sm: 2px;
  --radius:    4px;
  --radius-lg: 8px;

  /* Shadow */
  --shadow-sm: 0 1px 2px rgba(28,27,27,.04);
  --shadow:    0 4px 12px rgba(28,27,27,.06);

  /* Translucent nav surface (overridable per theme) */
  --nav-bg: rgba(253,248,247,.92);
  /* Selection */
  --selection-bg: var(--secondary-container);
  /* Pre/code surfaces are theme-driven via --surface-container/--surface-alt */
  color-scheme: light;
}

/* Dark mode (data-theme="dark" or system pref when not set to light) */
[data-theme="dark"] {
  --bg:                 #0f0d0c;
  --surface:            #181513;
  --surface-alt:        #201c19;
  --surface-container:  #25201d;
  --surface-high:       #2d2724;

  --fg:                 #f1ebe7;
  --fg-secondary:       #c4bbb4;
  --fg-tertiary:        #8c847d;
  --border:             #3a322e;
  --border-strong:      #c4bbb4;

  --primary:            #f1ebe7;
  --primary-on:         #0f0d0c;
  --primary-container:  #d6cdc6;
  --secondary:          #a89e96;
  --secondary-container:#3a322e;

  --kill:               #FB7185;
  --kill-light:         #4A1320;
  --constructive:       #34D399;
  --constructive-light: #0E3327;
  --open:               #FBBF24;
  --open-light:         #3D2A0A;
  --reclassified:       #A78BFA;
  --reclassified-light: #2A1F4A;

  --proved:             #60A5FA;
  --proved-light:       #102643;
  --sorry:              #A78BFA;
  --sorry-light:        #2A1F4A;
  --axiom:              #FBBF24;
  --axiom-light:        #3D2A0A;

  --accent:             #f1ebe7;
  --accent-hover:       #a89e96;
  --accent-underline:   #c4bbb4;

  --shadow-sm: 0 1px 2px rgba(0,0,0,.4);
  --shadow:    0 4px 12px rgba(0,0,0,.55);

  --nav-bg: rgba(15,13,12,.88);
  --selection-bg: var(--secondary-container);
  color-scheme: dark;
}

@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg:                 #0f0d0c;
    --surface:            #181513;
    --surface-alt:        #201c19;
    --surface-container:  #25201d;
    --surface-high:       #2d2724;

    --fg:                 #f1ebe7;
    --fg-secondary:       #c4bbb4;
    --fg-tertiary:        #8c847d;
    --border:             #3a322e;
    --border-strong:      #c4bbb4;

    --primary:            #f1ebe7;
    --primary-on:         #0f0d0c;
    --primary-container:  #d6cdc6;
    --secondary:          #a89e96;
    --secondary-container:#3a322e;

    --kill:               #FB7185;
    --kill-light:         #4A1320;
    --constructive:       #34D399;
    --constructive-light: #0E3327;
    --open:               #FBBF24;
    --open-light:         #3D2A0A;
    --reclassified:       #A78BFA;
    --reclassified-light: #2A1F4A;

    --proved:             #60A5FA;
    --proved-light:       #102643;
    --sorry:              #A78BFA;
    --sorry-light:        #2A1F4A;
    --axiom:              #FBBF24;
    --axiom-light:        #3D2A0A;

    --accent:             #f1ebe7;
    --accent-hover:       #a89e96;
    --accent-underline:   #c4bbb4;

    --shadow-sm: 0 1px 2px rgba(0,0,0,.4);
    --shadow:    0 4px 12px rgba(0,0,0,.55);

    --nav-bg: rgba(15,13,12,.88);
    color-scheme: dark;
  }
}

/* Reset --------------------------------------------------------------- */
*, *::before, *::after { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; scroll-behavior: smooth; }
body {
  margin: 0;
  background: var(--bg);
  color: var(--fg);
  font-family: var(--font-sans);
  font-size: var(--text-base);
  line-height: 1.6;
  text-rendering: optimizeLegibility;
  -webkit-font-smoothing: antialiased;
}
img, svg { max-width: 100%; height: auto; }
a { color: var(--accent); text-decoration-color: var(--accent-underline); text-decoration-thickness: 1px; text-underline-offset: 3px; }
a:hover { color: var(--accent-hover); }
code, pre { font-family: var(--font-mono); font-size: .9em; }
pre { background: var(--surface-container); padding: var(--s-4); border-radius: var(--radius); overflow-x: auto; }
code { background: var(--surface-alt); padding: 1px 5px; border-radius: var(--radius-sm); }
pre code { background: transparent; padding: 0; }
hr { border: 0; border-top: 1px solid var(--border); margin: var(--s-8) 0; }
::selection { background: var(--selection-bg, var(--secondary-container)); color: var(--fg); }
body, .site-nav, .pub-content, .rung-card, .gate-row, .trap-card, .theorem-card { transition: background-color var(--dur-fast), color var(--dur-fast), border-color var(--dur-fast); }

h1, h2, h3, h4 { font-family: var(--font-serif); font-weight: 700; line-height: 1.2; color: var(--fg); margin: 0 0 var(--s-4); }
h1 { font-size: var(--text-4xl); letter-spacing: -.02em; }
h2 { font-size: var(--text-3xl); letter-spacing: -.01em; margin-top: var(--s-10); }
h3 { font-size: var(--text-2xl); margin-top: var(--s-6); }
h4 { font-size: var(--text-xl); }
p { margin: 0 0 var(--s-4); }

.block-label {
  font-family: var(--font-sans);
  font-size: var(--text-xs);
  font-weight: 600;
  letter-spacing: .08em;
  text-transform: uppercase;
  color: var(--fg-tertiary);
}

/* Nav ---------------------------------------------------------------- */
.site-nav {
  position: sticky; top: 0; z-index: 50;
  background: var(--nav-bg);
  backdrop-filter: blur(8px);
  border-bottom: 1px solid var(--border);
  transition: background var(--dur-fast), border-color var(--dur-fast);
}
.site-nav-inner {
  max-width: var(--wide-max);
  margin: 0 auto;
  padding: var(--s-3) var(--s-5);
  display: flex; align-items: center; gap: var(--s-5);
}
.site-nav-title {
  display: inline-flex; align-items: center; gap: var(--s-2);
  font-family: var(--font-serif); font-weight: 900;
  font-size: var(--text-base);
  letter-spacing: -.01em;
  color: var(--fg);
  text-decoration: none;
}
.brand-mark { font-size: 1.4em; line-height: 1; color: var(--primary); }
.nav-list {
  list-style: none; display: flex; gap: var(--s-5); margin: 0; padding: 0;
  margin-left: auto;
  align-items: center;
  flex-wrap: nowrap;
}
.nav-list li { white-space: nowrap; }
.nav-list a {
  font-size: var(--text-sm);
  color: var(--fg-tertiary);
  text-decoration: none;
  padding: var(--s-2) 0;
  border-bottom: 2px solid transparent;
  transition: color var(--dur-fast), border-color var(--dur-fast);
  white-space: nowrap;
}
.site-nav-title { white-space: nowrap; }
.nav-list a:hover { color: var(--fg); }
.nav-list a.active {
  color: var(--fg);
  border-bottom-color: var(--fg);
  font-weight: 600;
}
.nav-cta {
  background: var(--primary); color: var(--primary-on) !important;
  padding: var(--s-2) var(--s-4) !important;
  border: 0 !important;
  font-weight: 600;
}
.nav-cta:hover { background: var(--primary-container); }
.nav-toggle {
  display: none;
  margin-left: auto;
  background: transparent; border: 0;
  padding: var(--s-2);
  cursor: pointer;
}
.nav-toggle span {
  display: block; width: 22px; height: 2px;
  background: var(--fg); margin: 4px 0;
  transition: transform var(--dur-fast);
}

/* Layout ------------------------------------------------------------ */
.pub-content {
  max-width: var(--content-max);
  margin: 0 auto;
  padding: var(--s-10) var(--s-5);
}
.pub-content.wide { max-width: var(--wide-max); }

/* Hero -------------------------------------------------------------- */
.hero {
  padding: var(--s-12) 0 var(--s-10);
  border-bottom: 1px solid var(--border);
}
.hero-eyebrow {
  display: inline-flex; align-items: center; gap: var(--s-2);
  font-size: var(--text-xs);
  letter-spacing: .12em;
  text-transform: uppercase;
  color: var(--fg-tertiary);
  margin: 0 0 var(--s-4);
}
.hero-eyebrow .bullet { color: var(--kill); font-size: 1.2em; }
.hero h1 { font-size: var(--text-5xl); }
.hero .lede {
  font-size: var(--text-lg);
  color: var(--fg-secondary);
  max-width: 60ch;
  margin: var(--s-5) 0;
}
.hero .byline {
  font-size: var(--text-sm);
  color: var(--fg-tertiary);
  margin-top: var(--s-6);
}

.hero-stats {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(180px, 1fr));
  gap: var(--s-5);
  margin: var(--s-8) 0 0;
}
.stat {
  border-left: 3px solid var(--primary);
  padding: var(--s-2) var(--s-4);
}
.stat .n {
  font-family: var(--font-serif); font-weight: 900;
  font-size: var(--text-3xl); color: var(--fg);
}
.stat .n.kill { color: var(--kill); }
.stat .n.constructive { color: var(--constructive); }
.stat .n.open { color: var(--open); }
.stat .n.proved { color: var(--proved); }
.stat .l {
  font-size: var(--text-xs);
  color: var(--fg-tertiary);
  text-transform: uppercase;
  letter-spacing: .06em;
  margin-top: var(--s-1);
}

/* Status badges ----------------------------------------------------- */
.status-badge {
  display: inline-flex; align-items: center; gap: var(--s-2);
  font-family: var(--font-sans);
  font-size: var(--text-xs);
  font-weight: 600;
  letter-spacing: .06em;
  text-transform: uppercase;
  padding: 2px var(--s-2);
  border-radius: var(--radius-sm);
  border: 1px solid currentColor;
}
.status-badge.status-killed { color: var(--kill); background: var(--kill-light); }
.status-badge.status-constructive { color: var(--constructive); background: var(--constructive-light); }
.status-badge.status-open { color: var(--open); background: var(--open-light); }
.status-badge.status-reclassified { color: var(--reclassified); background: var(--reclassified-light); }
.status-badge.status-inconclusive { color: var(--fg-tertiary); background: var(--surface-alt); }

/* Rung cards -------------------------------------------------------- */
.rung-grid {
  display: grid;
  grid-template-columns: 1fr;
  gap: var(--s-4);
  margin-top: var(--s-6);
}
.rung-card {
  border: 1px solid var(--border);
  border-radius: var(--radius);
  background: var(--surface);
  transition: border-color var(--dur-fast), box-shadow var(--dur-fast);
}
.rung-card:hover { border-color: var(--border-strong); box-shadow: var(--shadow-sm); }
.rung-card[data-status="killed"] { border-left: 3px solid var(--kill); }
.rung-card[data-status="constructive"] { border-left: 3px solid var(--constructive); }
.rung-card[data-status="open"] { border-left: 3px solid var(--open); }
.rung-card[data-status="reclassified"] { border-left: 3px solid var(--reclassified); }
.rung-card[data-status="inconclusive"] { border-left: 3px dashed var(--fg-tertiary); }

/* Historical rungs — preserved earlier-iteration rungs displayed above the
 * current breadth-first sweep. Visually de-emphasized vs. live rungs. */
.historical-rung-grid {
  display: grid;
  grid-template-columns: 1fr;
  gap: var(--s-3);
  margin-top: var(--s-5);
  margin-bottom: var(--s-6);
}
.historical-rung {
  padding: var(--s-4);
  background: var(--surface-alt, var(--surface));
  opacity: 0.92;
}
.historical-rung header {
  display: flex;
  gap: var(--s-3);
  align-items: center;
  margin-bottom: var(--s-2);
}
.historical-rung .rung-id {
  font-family: var(--font-mono);
  font-size: 0.875rem;
  color: var(--fg-tertiary);
  letter-spacing: 0.04em;
}
.historical-rung h3 {
  margin: 0 0 var(--s-2) 0;
  font-size: 1.125rem;
}
.historical-rung p { margin: var(--s-1) 0; }
.historical-rung p.meta {
  font-size: 0.875rem;
  color: var(--fg-secondary);
}
@media (min-width: 800px) {
  .historical-rung-grid { grid-template-columns: 1fr 1fr; }
}

.rung-card-head {
  display: grid;
  grid-template-columns: auto 1fr auto auto;
  align-items: center;
  gap: var(--s-4);
  padding: var(--s-4) var(--s-5);
}
.rung-id .rung-symbol {
  font-family: var(--font-serif); font-weight: 900;
  font-size: var(--text-3xl); color: var(--fg);
}
.rung-id .rung-symbol sub { font-size: .55em; }
.rung-name { font-size: var(--text-lg); margin: 0; }
.rung-short { font-size: var(--text-xs); color: var(--fg-tertiary); margin: 0; }
.rung-toggle {
  background: transparent; border: 0; cursor: pointer;
  font-size: var(--text-xl); color: var(--fg-tertiary);
  padding: var(--s-2);
}
.rung-toggle .chevron { display: inline-block; transition: transform var(--dur-normal) var(--ease-out); }
.rung-toggle[aria-expanded="true"] .chevron { transform: rotate(180deg); }

.rung-body {
  padding: 0 var(--s-5) var(--s-5);
  border-top: 1px solid var(--border);
}
.rung-body[hidden] { display: none; }
.rung-spec {
  display: grid;
  grid-template-columns: minmax(150px, auto) 1fr;
  gap: var(--s-2) var(--s-4);
  margin: var(--s-4) 0;
  font-size: var(--text-sm);
}
.rung-spec dt { font-weight: 600; color: var(--fg-tertiary); }
.rung-spec dd { margin: 0; }
.rung-status-note { font-size: var(--text-sm); color: var(--fg-secondary); }
.rung-lean { margin-top: var(--s-4); }
.lean-list { list-style: none; padding: 0; margin: var(--s-2) 0 0; display: flex; flex-wrap: wrap; gap: var(--s-2); }

/* Lean badge -------------------------------------------------------- */
.lean-badge {
  display: inline-flex; align-items: center; gap: var(--s-2);
  font-size: var(--text-xs);
  padding: 2px var(--s-2);
  border-radius: var(--radius-sm);
  border: 1px solid var(--border);
  background: var(--surface);
}
.lean-status-dot {
  width: 8px; height: 8px; border-radius: 50%;
  background: var(--fg-tertiary);
}
.lean-name { background: transparent; padding: 0; }
.lean-status { font-weight: 600; letter-spacing: .04em; }
.lean-proved .lean-status-dot { background: var(--proved); }
.lean-proved .lean-status { color: var(--proved); }
.lean-sorry .lean-status-dot { background: var(--sorry); }
.lean-sorry .lean-status { color: var(--sorry); }
.lean-axiom .lean-status-dot { background: var(--axiom); }
.lean-axiom .lean-status { color: var(--axiom); }
.lean-killed .lean-status-dot { background: var(--kill); }
.lean-killed .lean-status { color: var(--kill); }

/* Filter tabs ------------------------------------------------------- */
.filter-tabs {
  display: flex; flex-wrap: wrap; gap: var(--s-2);
  border-bottom: 1px solid var(--border);
  margin: var(--s-6) 0 var(--s-5);
}
.filter-tab {
  background: transparent; border: 0; cursor: pointer;
  font-family: inherit;
  font-size: var(--text-sm); font-weight: 500;
  color: var(--fg-tertiary);
  padding: var(--s-3) var(--s-4);
  border-bottom: 2px solid transparent;
  margin-bottom: -1px;
  transition: color var(--dur-fast);
}
.filter-tab:hover { color: var(--fg); }
.filter-tab[aria-selected="true"] {
  color: var(--fg);
  border-bottom-color: var(--fg);
  font-weight: 700;
}
.filter-tab .count {
  font-size: var(--text-xs);
  color: var(--fg-tertiary);
  margin-left: var(--s-1);
}

/* Gate list --------------------------------------------------------- */
.gate-list {
  list-style: none; padding: 0; margin: var(--s-6) 0;
}
.gate-row {
  display: grid;
  grid-template-columns: 56px 1fr auto;
  gap: var(--s-5);
  align-items: start;
  padding: var(--s-5);
  border: 1px solid var(--border);
  border-top: 0;
  background: var(--surface);
  transition: background var(--dur-fast);
}
.gate-row:first-child { border-top: 1px solid var(--border); border-radius: var(--radius) var(--radius) 0 0; }
.gate-row:last-child { border-radius: 0 0 var(--radius) var(--radius); }
.gate-row[data-state="fail"] { background: var(--kill-light); border-left: 4px solid var(--kill); }
.gate-num span {
  display: flex; align-items: center; justify-content: center;
  width: 40px; height: 40px;
  border-radius: 50%;
  background: var(--primary); color: var(--primary-on);
  font-family: var(--font-serif); font-weight: 700;
  font-size: var(--text-lg);
}
.gate-name { margin: 0; font-size: var(--text-lg); }
.gate-question { margin: var(--s-1) 0 var(--s-3); color: var(--fg-secondary); }
.gate-analogy, .gate-metric, .gate-lean, .gate-data { font-size: var(--text-sm); margin: var(--s-1) 0; color: var(--fg-secondary); }
.gate-toggle {
  background: var(--constructive-light);
  color: var(--constructive);
  border: 1px solid currentColor;
  border-radius: var(--radius-sm);
  font-family: var(--font-sans);
  font-size: var(--text-xs); font-weight: 600;
  letter-spacing: .06em; text-transform: uppercase;
  padding: var(--s-2) var(--s-3);
  cursor: pointer;
}
.gate-toggle .gate-state-fail { display: none; }
.gate-toggle[aria-pressed="false"] { background: var(--kill-light); color: var(--kill); }
.gate-toggle[aria-pressed="false"] .gate-state-pass { display: none; }
.gate-toggle[aria-pressed="false"] .gate-state-fail { display: inline; }

.gate-killed-banner {
  position: fixed; top: var(--s-5); left: 50%;
  transform: translate(-50%, -200%);
  background: var(--kill); color: white;
  padding: var(--s-3) var(--s-5);
  font-weight: 600;
  border-radius: var(--radius);
  box-shadow: var(--shadow);
  transition: transform var(--dur-slow) var(--ease-spring);
  z-index: 100;
}
.gate-killed-banner.show { transform: translate(-50%, 0); }

/* Trap cards -------------------------------------------------------- */
.trap-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(240px, 1fr));
  gap: var(--s-5);
  margin: var(--s-6) 0;
}
.trap-card {
  perspective: 1200px;
  height: 320px;
}
.trap-flip {
  position: relative; width: 100%; height: 100%;
  background: transparent; border: 0; padding: 0; cursor: pointer;
  transform-style: preserve-3d;
  transition: transform var(--dur-slow) var(--ease-out);
}
.trap-card:hover .trap-flip,
.trap-flip[aria-pressed="true"] {
  transform: rotateY(180deg);
}
.trap-face {
  position: absolute; inset: 0;
  backface-visibility: hidden;
  padding: var(--s-5);
  border: 1px solid var(--border-strong);
  border-radius: var(--radius);
  background: var(--surface);
  text-align: left;
  display: flex; flex-direction: column; gap: var(--s-2);
  overflow: auto;
}
.trap-front { background: var(--surface); }
.trap-back { background: var(--surface-container); transform: rotateY(180deg); }
.trap-eyebrow {
  font-size: var(--text-xs);
  letter-spacing: .12em;
  text-transform: uppercase;
  color: var(--kill);
  font-weight: 600;
  margin: 0;
}
.trap-name { margin: 0; font-size: var(--text-xl); }
.trap-analogy { color: var(--fg-secondary); }
.trap-tap-hint { margin-top: auto; font-size: var(--text-xs); color: var(--fg-tertiary); font-style: italic; }
.trap-back dl { margin: 0; display: grid; gap: var(--s-2); }
.trap-back dt { font-size: var(--text-xs); letter-spacing: .04em; text-transform: uppercase; color: var(--fg-tertiary); font-weight: 600; }
.trap-back dd { margin: 0 0 var(--s-2); font-size: var(--text-sm); }
.trap-rung { font-family: var(--font-mono); font-size: .9em; color: var(--fg-secondary); }
.trap-numeric { font-family: var(--font-mono); font-size: var(--text-sm); color: var(--kill); font-weight: 600; }

/* τ calculator ------------------------------------------------------ */
.tau-calc {
  border: 1px solid var(--border);
  background: var(--surface);
  border-radius: var(--radius);
  padding: var(--s-6);
  margin: var(--s-6) 0;
}
.tau-calc h3 { margin-top: 0; }
.tau-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: var(--s-5);
  align-items: end;
}
.tau-control { display: grid; gap: var(--s-2); }
.tau-control label {
  font-size: var(--text-xs);
  letter-spacing: .06em;
  text-transform: uppercase;
  color: var(--fg-tertiary);
  font-weight: 600;
}
.tau-control input[type="range"] { width: 100%; accent-color: var(--primary); }
.tau-control output {
  font-family: var(--font-mono);
  font-size: var(--text-lg);
  font-weight: 600;
}
.tau-plot {
  margin-top: var(--s-5);
  width: 100%; height: 160px;
  background: var(--surface-alt);
  border-radius: var(--radius-sm);
}
.tau-verdict {
  display: inline-block;
  font-family: var(--font-sans);
  font-size: var(--text-sm); font-weight: 700;
  letter-spacing: .08em;
  text-transform: uppercase;
  padding: var(--s-2) var(--s-4);
  border-radius: var(--radius-sm);
  margin-top: var(--s-4);
}
.tau-verdict[data-verdict="STABLE"] { background: var(--constructive-light); color: var(--constructive); }
.tau-verdict[data-verdict="MARGINAL"] { background: var(--open-light); color: var(--open); }
.tau-verdict[data-verdict="UNSTABLE"] { background: var(--kill-light); color: var(--kill); }

/* Methodology — seal demo ------------------------------------------- */
.seal-demo {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: var(--s-6);
  align-items: start;
  border: 1px solid var(--border);
  background: var(--surface);
  border-radius: var(--radius);
  padding: var(--s-6);
  margin: var(--s-6) 0;
}
.seal-demo textarea {
  width: 100%; min-height: 240px;
  font-family: var(--font-mono); font-size: var(--text-sm);
  padding: var(--s-3);
  border: 1px solid var(--border);
  border-radius: var(--radius-sm);
  background: var(--surface-alt);
  resize: vertical;
}
.seal-status {
  font-family: var(--font-mono); font-size: var(--text-sm);
  padding: var(--s-3);
  background: var(--surface-alt);
  border-radius: var(--radius-sm);
  word-break: break-all;
}
.seal-status[data-state="broken"] { color: var(--kill); text-decoration: line-through; }

/* Lean status grid -------------------------------------------------- */
.lean-summary {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(140px, 1fr));
  gap: var(--s-4);
  margin: var(--s-6) 0;
}
.lean-summary .stat { padding: var(--s-3) var(--s-4); }
.theorem-grid {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(280px, 1fr));
  gap: var(--s-3);
  margin: var(--s-5) 0;
}
.theorem-card {
  border: 1px solid var(--border);
  border-radius: var(--radius);
  background: var(--surface);
  padding: var(--s-4);
  display: grid;
  gap: var(--s-2);
}
.theorem-card[data-status="proved"] { border-left: 3px solid var(--proved); }
.theorem-card[data-status="sorry"] { border-left: 3px solid var(--sorry); }
.theorem-card[data-status="killed"] { border-left: 3px solid var(--kill); }
.theorem-card[data-status="axiom"] { border-left: 3px solid var(--axiom); }
.theorem-card .name { font-family: var(--font-mono); font-size: var(--text-sm); font-weight: 600; }
.theorem-card .meta { font-size: var(--text-xs); color: var(--fg-tertiary); }

/* CTA row ----------------------------------------------------------- */
.cta-row {
  display: flex; flex-wrap: wrap; gap: var(--s-3);
  margin: var(--s-6) 0;
}
.cta {
  display: inline-flex; align-items: center; gap: var(--s-2);
  padding: var(--s-3) var(--s-5);
  font-weight: 600;
  text-decoration: none;
  border: 1px solid var(--primary);
  border-radius: var(--radius-sm);
  transition: background var(--dur-fast);
}
.cta-primary { background: var(--primary); color: var(--primary-on); }
.cta-primary:hover { background: var(--primary-container); }
.cta-secondary { background: var(--surface); color: var(--primary); }
.cta-secondary:hover { background: var(--surface-alt); }

/* Footer ------------------------------------------------------------ */
.site-footer {
  border-top: 1px solid var(--border);
  background: var(--surface-container);
  margin-top: var(--s-12);
  padding: var(--s-10) var(--s-5) var(--s-6);
}
.footer-inner {
  max-width: var(--wide-max);
  margin: 0 auto;
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(220px, 1fr));
  gap: var(--s-6);
}
.footer-block { font-size: var(--text-sm); }
.footer-title { font-weight: 700; font-family: var(--font-serif); margin: 0 0 var(--s-2); }
.footer-sub { color: var(--fg-secondary); margin: 0; }
.footer-block ul { list-style: none; padding: 0; margin: 0; display: grid; gap: var(--s-1); }
.footer-bibtex { font-size: var(--text-xs); margin: 0; padding: var(--s-3); }
.footer-meta {
  max-width: var(--wide-max);
  margin: var(--s-6) auto 0;
  font-size: var(--text-xs);
  color: var(--fg-tertiary);
  border-top: 1px solid var(--border);
  padding-top: var(--s-4);
}

/* Section dividers -------------------------------------------------- */
section { padding: var(--s-8) 0; }
section + section { border-top: 1px solid var(--border); }

/* Problem cards ----------------------------------------------------- */
.problem-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(220px, 1fr));
  gap: var(--s-4);
  margin: var(--s-5) 0;
}
.problem-card {
  border: 1px solid var(--border);
  border-radius: var(--radius);
  background: var(--surface);
  padding: var(--s-5);
}
.problem-card h3 { font-size: var(--text-lg); margin: 0 0 var(--s-2); }
.problem-card p { font-size: var(--text-sm); color: var(--fg-secondary); margin: 0; }

/* Tables ------------------------------------------------------------ */
table {
  width: 100%; border-collapse: collapse;
  font-size: var(--text-sm);
  margin: var(--s-4) 0;
}
th, td { padding: var(--s-2) var(--s-3); border-bottom: 1px solid var(--border); text-align: left; }
th { font-family: var(--font-sans); font-weight: 600; color: var(--fg-tertiary); font-size: var(--text-xs); letter-spacing: .04em; text-transform: uppercase; }
tbody tr:hover { background: var(--surface-alt); }

/* Responsive -------------------------------------------------------- */
@media (max-width: 1100px) {
  .nav-list {
    display: none;
    position: absolute; top: 100%; left: 0; right: 0;
    flex-direction: column; gap: var(--s-3);
    background: var(--surface);
    padding: var(--s-5);
    border-bottom: 1px solid var(--border);
    align-items: stretch;
  }
  .nav-list li { white-space: normal; }
  .nav-list.open { display: flex; }
  .nav-toggle { display: block; }
  .nav-cta { text-align: center; }
}

@media (max-width: 768px) {
  .hero h1 { font-size: var(--text-3xl); }
  .hero { padding: var(--s-8) 0 var(--s-6); }
  .pub-content { padding: var(--s-6) var(--s-4); }
  .seal-demo { grid-template-columns: 1fr; }
  .tau-grid { grid-template-columns: 1fr; }
  .gate-row { grid-template-columns: 40px 1fr; }
  .gate-toggle { grid-column: 1 / -1; justify-self: end; }
}

@media (prefers-reduced-motion: reduce) {
  *, *::before, *::after { animation: none !important; transition: none !important; }
  .trap-card:hover .trap-flip { transform: none; }
}

/* Theme toggle ------------------------------------------------------- */
.theme-toggle {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: 34px; height: 34px;
  margin-left: var(--s-2);
  padding: 0;
  background: transparent;
  color: var(--fg);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  cursor: pointer;
  transition: background-color var(--dur-fast), border-color var(--dur-fast), color var(--dur-fast);
}
.theme-toggle:hover {
  background: var(--surface-alt);
  border-color: var(--border-strong);
}
.theme-toggle:focus-visible {
  outline: 2px solid var(--primary);
  outline-offset: 2px;
}
.theme-toggle svg { width: 18px; height: 18px; display: block; }
.theme-toggle .icon-sun { display: none; }
.theme-toggle .icon-moon { display: block; }
[data-theme="dark"] .theme-toggle .icon-sun { display: block; }
[data-theme="dark"] .theme-toggle .icon-moon { display: none; }
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) .theme-toggle .icon-sun { display: block; }
  :root:not([data-theme="light"]) .theme-toggle .icon-moon { display: none; }
}
@media (max-width: 1100px) {
  .theme-toggle { margin-left: 0; align-self: flex-end; }
}