@font-face {
  font-family: "Instrument Serif Local";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("fonts/instrument-serif-latin-400-normal.woff2") format("woff2");
}

@font-face {
  font-family: "Manrope Local";
  font-style: normal;
  font-weight: 200 800;
  font-display: swap;
  src: url("fonts/manrope-latin-variable.woff2") format("woff2-variations");
}

@font-face {
  font-family: "JetBrains Mono Local";
  font-style: normal;
  font-weight: 100 800;
  font-display: swap;
  src: url("fonts/jetbrains-mono-latin-variable.woff2") format("woff2-variations");
}

:root {
  --ink: #f3efe5;
  --text: #d7d3c8;
  --muted: #aaa99f;
  --faint: #92948b;
  --paper: #111310;
  --surface: #181a17;
  --surface-2: #20221e;
  --line: #30332d;
  --line-strong: #54584f;
  --green: #d9ff63;
  --green-bright: #d9ff63;
  --green-soft: #1f2617;
  --blue: #7399b8;
  --orange: #c98c4a;
  --purple: #9788b0;
  --teal: #6f9f94;
  --math-source: #78b7c5;
  --math-solve: #c1ca65;
  --math-known: #dea757;
  --math-error: #d77e82;
  --math-law: #a99dcc;
  --math-dark: #10120f;
  --math-dark-2: #181a17;
  --sans: "Manrope Local", "Avenir Next", "Helvetica Neue", Arial, sans-serif;
  --mono: "JetBrains Mono Local", "SFMono-Regular", Consolas, monospace;
  --serif: "Instrument Serif Local", "Iowan Old Style", Georgia, serif;
  --math: "STIX Two Text", "STIXGeneral", "Times New Roman", serif;
}

* {
  box-sizing: border-box;
}

html {
  scroll-behavior: smooth;
}

body {
  margin: 0;
  overflow-x: hidden;
  background: var(--paper);
  color: var(--text);
  font: 400 18px/1.7 var(--sans);
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
}

::selection {
  background: #695a2b;
  color: #fff5d7;
}

a {
  color: inherit;
}

a:focus-visible,
button:focus-visible,
select:focus-visible,
input:focus-visible {
  outline: 2px solid var(--green-bright);
  outline-offset: 3px;
}

button,
input,
select {
  font-family: var(--sans);
}

code {
  font-family: var(--mono);
}

.site-header {
  border-bottom: 1px solid var(--line);
  background: var(--paper);
}

.site-header-inner {
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  gap: 28px;
  align-items: center;
  width: min(1400px, calc(100% - 64px));
  min-height: 66px;
  margin-inline: auto;
}

.wordmark {
  display: inline-flex;
  gap: 11px;
  align-items: center;
  width: fit-content;
  color: var(--ink);
  font-family: var(--sans);
  font-size: 14px;
  font-weight: 780;
  letter-spacing: 0.11em;
  text-decoration: none;
}

.wordmark > span:last-child > span {
  color: var(--green);
}

.wordmark-mark {
  display: grid;
  width: 32px;
  height: 32px;
  place-items: center;
  border: 1px solid var(--green-bright);
  background: transparent;
  color: var(--green-bright);
  font: 800 17px/1 var(--mono);
}

.site-header-inner > p {
  margin: 0;
  color: var(--muted);
  font: 12px/1.3 var(--mono);
  letter-spacing: 0.07em;
  text-align: center;
  text-transform: uppercase;
}

.site-header nav {
  display: flex;
  gap: 30px;
  justify-self: end;
}

.site-header nav a {
  color: var(--muted);
  font: 13px/1 var(--mono);
  letter-spacing: 0.04em;
  text-decoration: none;
  text-transform: uppercase;
}

.site-header nav a:hover {
  color: var(--green);
}

.tutorial-hero {
  padding: 36px max(32px, calc((100% - 1400px) / 2)) 78px;
  border-bottom: 1px solid var(--line);
  background: var(--paper);
}

.tutorial-hero-top {
  display: flex;
  flex-wrap: wrap;
  gap: 30px;
  align-items: flex-end;
  justify-content: space-between;
  padding-bottom: 20px;
  border-bottom: 1px solid var(--line-strong);
}

.tutorial-hero-top > .eyebrow {
  flex: 1 1 260px;
}

.leaderboard-card {
  display: flex;
  flex: 0 0 auto;
  gap: 13px;
  align-items: center;
  min-height: 50px;
  padding: 8px 12px;
  border: 1px solid color-mix(in srgb, var(--green-bright) 58%, var(--line));
  background: var(--green-soft);
  color: var(--ink);
  text-decoration: none;
}

.leaderboard-card:hover {
  border-color: var(--green-bright);
}

.leaderboard-card > strong {
  color: var(--green-bright);
  font: 520 30px/1 var(--mono);
  letter-spacing: -0.08em;
}

.leaderboard-card > span {
  display: grid;
  gap: 5px;
}

.leaderboard-card b,
.leaderboard-card small {
  font-family: var(--mono);
  line-height: 1;
}

.leaderboard-card b {
  color: var(--ink);
  font-size: 11px;
  letter-spacing: 0.07em;
}

.leaderboard-card small {
  color: var(--muted);
  font-size: 10px;
  white-space: nowrap;
}

.eyebrow,
.chapter-count,
.section-label {
  margin: 0;
  color: var(--green);
  font: 750 13px/1.4 var(--mono);
  letter-spacing: 0.09em;
  text-transform: uppercase;
}

.algorithm-picker {
  display: grid;
  flex: 0 1 380px;
  gap: 7px;
  width: min(420px, 100%);
}

.algorithm-picker > span {
  color: var(--muted);
  font: 12px/1.2 var(--mono);
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.algorithm-picker select {
  width: 100%;
  padding: 12px 42px 12px 15px;
  border: 1px solid var(--line-strong);
  border-radius: 0;
  background: var(--surface);
  color: var(--ink);
  font-size: 16px;
  font-weight: 600;
}

.tutorial-hero-grid {
  display: grid;
  grid-template-columns: minmax(0, 1.38fr) minmax(430px, 0.62fr);
  gap: clamp(54px, 6vw, 92px);
  align-items: start;
  padding-top: 54px;
}

.tutorial-hero-grid > * {
  min-width: 0;
}

.chapter-count {
  margin-bottom: 23px;
  color: var(--muted);
}

.tutorial-hero h1 {
  max-width: 900px;
  margin: 0;
  color: var(--ink);
  font-family: var(--serif);
  font-size: clamp(56px, 4.5vw, 68px);
  font-weight: 400;
  letter-spacing: -0.042em;
  line-height: 0.98;
}

.tutorial-subtitle {
  max-width: 740px;
  margin: 32px 0 0;
  color: var(--muted);
  font-size: 19px;
  line-height: 1.66;
}

.contract-card {
  min-height: 0;
  padding: 30px 32px 32px;
  border: 1px solid var(--line);
  border-left: 3px solid var(--green-bright);
  background: var(--surface);
  color: var(--ink);
}

.contract-card > span {
  display: block;
  color: var(--faint);
  font: 750 12px/1.4 var(--mono);
  letter-spacing: 0.09em;
}

.problem-card > h2 {
  margin: 14px 0 0;
  color: var(--ink);
  font-family: var(--serif);
  font-size: clamp(30px, 2.35vw, 38px);
  font-weight: 400;
  letter-spacing: -0.03em;
  line-height: 1.08;
}

.contract-label {
  margin: 24px 0 0;
  padding-top: 18px;
  border-top: 1px solid var(--line);
  color: var(--faint);
  font: 700 12px/1.4 var(--mono);
  letter-spacing: 0.08em;
}

.hero-equation {
  margin: 24px 0 21px;
  color: var(--ink);
  font: italic clamp(34px, 2.8vw, 44px)/1.15 var(--math);
  letter-spacing: -0.02em;
  white-space: nowrap;
}

.hero-equation sup {
  font-size: 58%;
}

.math-render {
  min-width: 0;
}

.math-display,
.math-display > span {
  display: block;
}

.math-inline,
.math-inline > span {
  display: inline-block;
}

.tex-math {
  display: none !important;
}

.math-render.is-typeset > .math-fallback {
  display: none;
}

.math-render.is-typeset > .tex-math {
  display: inherit !important;
}

.math-render:has(mjx-container) > .math-fallback {
  display: none;
}

.math-render:has(mjx-container) > .tex-math {
  display: inherit !important;
}

.math-source-color {
  color: var(--math-source) !important;
  fill: var(--math-source) !important;
}

.math-solve-color {
  color: var(--math-solve) !important;
  fill: var(--math-solve) !important;
}

.math-known-color {
  color: var(--math-known) !important;
  fill: var(--math-known) !important;
}

.math-error-color {
  color: var(--math-error) !important;
  fill: var(--math-error) !important;
}

.math-law-color {
  color: var(--math-law) !important;
  fill: var(--math-law) !important;
}

mjx-container[jax="SVG"] {
  max-width: none;
  color: inherit;
}

mjx-container[jax="SVG"][display="true"] {
  margin: 0 !important;
  text-align: left !important;
}

mjx-container[jax="SVG"] > svg {
  display: inline-block;
  width: auto;
  max-width: none;
  overflow: visible;
}

.hero-equation .math-display {
  overflow: hidden;
}

.hero-equation mjx-container {
  font-size: 0.92em;
}

.contract-card ul {
  display: grid;
  gap: 9px;
  margin: 0;
  padding: 18px 0 0 20px;
  border-top: 1px solid var(--line);
}

.contract-card li {
  padding-left: 4px;
  color: var(--muted);
  font-size: 15px;
  line-height: 1.55;
}

.contract-card li::marker {
  color: var(--green-bright);
}

.problem-spine {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 18px;
  margin: 58px 0 0;
  padding: 0;
  border: 0;
  background: transparent;
  list-style: none;
}

.problem-spine li {
  position: relative;
  min-width: 0;
  min-height: 250px;
  padding: 28px 30px 30px;
  border: 1px solid var(--line);
  background: var(--surface);
}

.problem-spine li:last-child {
  border-right: 1px solid var(--line);
}

.problem-spine li:not(:last-child)::after {
  position: absolute;
  top: 50%;
  right: -19px;
  z-index: 2;
  display: grid;
  width: 20px;
  height: 20px;
  place-items: center;
  border: 0;
  background: var(--paper);
  color: var(--green);
  content: "→";
  font: 700 15px/1 var(--mono);
  transform: translateY(-50%);
}

.problem-spine li > span {
  color: var(--green);
  font: 700 12px/1.4 var(--mono);
  letter-spacing: 0.07em;
}

.problem-spine h3 {
  margin: 13px 0 0;
  color: var(--ink);
  font-family: var(--serif);
  font-size: 28px;
  font-weight: 400;
  letter-spacing: -0.02em;
  line-height: 1.08;
}

.problem-spine p {
  margin: 10px 0 0;
  color: var(--muted);
  font-size: 15px;
  line-height: 1.6;
}

.problem-spine-equation {
  min-width: 0;
  overflow: hidden;
  margin-top: 22px;
  padding-top: 19px;
  border-top: 1px solid var(--line);
  color: var(--ink);
  font: italic 24px/1.5 var(--math);
}

.problem-spine-equation mjx-container {
  font-size: 0.9em;
}

.tutorial-layout {
  display: grid;
  grid-template-columns: 216px minmax(0, 1fr);
  gap: 48px;
  width: min(1400px, calc(100% - 64px));
  margin-inline: auto;
  padding-bottom: 120px;
}

.tutorial-sidebar {
  min-width: 0;
  align-self: stretch;
  padding-top: 84px;
}

.sidebar-sticky {
  position: sticky;
  top: 28px;
  padding-top: 0;
}

.sidebar-sticky > p {
  margin: 0;
  padding-bottom: 14px;
  border-bottom: 1px solid var(--line-strong);
  color: var(--green);
  font: 750 12px/1.4 var(--mono);
  letter-spacing: 0.09em;
}

.tutorial-sidebar nav {
  display: flex;
  flex-direction: column;
}

.tutorial-sidebar nav a {
  display: grid;
  grid-template-columns: 32px minmax(0, 1fr);
  gap: 9px;
  padding: 13px 0;
  border-bottom: 1px solid var(--line);
  color: var(--muted);
  font-size: 14.5px;
  font-weight: 600;
  line-height: 1.38;
  text-decoration: none;
}

.tutorial-sidebar nav a:hover {
  color: var(--green);
}

.tutorial-sidebar nav a span {
  color: var(--faint);
  font: 12px/1.6 var(--mono);
}

.machine-card {
  margin: 35px 0 0;
  border-top: 1px solid var(--line-strong);
}

.machine-card div {
  display: grid;
  grid-template-columns: 66px 1fr;
  gap: 9px;
  padding: 9px 0;
  border-bottom: 1px solid var(--line);
}

.machine-card dt,
.machine-card dd {
  font: 12px/1.45 var(--mono);
}

.machine-card dt {
  color: var(--faint);
}

.machine-card dd {
  margin: 0;
  color: var(--muted);
}

.tutorial-article {
  min-width: 0;
}

.tutorial-content {
  min-width: 0;
}

.visual-story {
  margin-top: 108px;
  padding-top: 30px;
  border-top: 1px solid var(--line-strong);
  scroll-margin-top: 24px;
}

.visual-story-header {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(300px, 0.55fr);
  gap: 64px;
  align-items: end;
  padding-bottom: 30px;
}

.visual-story-header h2 {
  max-width: 820px;
  margin: 12px 0 0;
  color: var(--ink);
  font-family: var(--serif);
  font-size: clamp(46px, 3.7vw, 56px);
  font-weight: 400;
  letter-spacing: -0.035em;
  line-height: 1.02;
}

.visual-story-header > p {
  margin: 0;
  color: var(--muted);
  font-size: 19px;
  line-height: 1.65;
}

.visual-story .section-label {
  font-size: 13px;
}

.story-player {
  display: grid;
  grid-template-columns: minmax(0, 1fr);
  min-height: 0;
  border: 1px solid var(--line);
  background: var(--math-dark);
  color: var(--ink);
}

.story-narrative {
  display: flex;
  min-width: 0;
  padding: 42px 36px 34px;
  border-bottom: 1px solid var(--line);
  flex-direction: column;
}

.story-progress {
  display: flex;
  gap: 20px;
  align-items: center;
  justify-content: space-between;
  padding-bottom: 17px;
  border-bottom: 1px solid var(--line);
}

.story-progress span,
.story-progress b {
  font: 700 13px/1.4 var(--mono);
  letter-spacing: 0.07em;
}

.story-progress span {
  color: var(--math-solve);
}

.story-progress b {
  display: none;
}

.story-narrative h3 {
  max-width: 880px;
  margin: 34px 0 0;
  color: var(--ink);
  font-family: var(--serif);
  font-size: clamp(42px, 3.3vw, 50px);
  font-weight: 400;
  letter-spacing: -0.032em;
  line-height: 1.03;
}

.story-copy {
  max-width: 880px;
  margin: 20px 0 0;
  color: var(--muted);
  font-size: 19px;
  line-height: 1.65;
}

.story-equation-shell {
  position: relative;
  min-width: 0;
}

.story-equation {
  min-width: 0;
  overflow: hidden;
  margin-top: 25px;
  padding: 19px 0;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
  color: var(--ink);
  font: italic 30px/1.45 var(--math);
}

.story-equation-line + .story-equation-line {
  margin-top: 9px;
}

.story-equation .math-fallback {
  color: var(--text);
  font-size: 16px;
  font-style: normal;
  overflow-wrap: anywhere;
}

.story-equation mjx-container {
  font-size: 0.9em;
}

.story-narrative aside {
  display: block;
  margin-top: 25px;
  padding: 17px 18px;
  border: 0;
  border-left: 2px solid var(--math-known);
  background: transparent;
}

.story-narrative aside p {
  margin: 0;
  color: var(--text);
  font-family: var(--serif);
  font-size: 23px;
  line-height: 1.35;
}

.story-controls {
  display: grid;
  grid-template-columns: auto minmax(70px, 1fr) auto;
  gap: 15px;
  align-items: center;
  margin-top: auto;
  padding-top: 28px;
}

.story-controls > button {
  min-height: 43px;
  padding: 0 13px;
  border: 1px solid var(--line-strong);
  border-radius: 0;
  background: transparent;
  color: var(--text);
  cursor: pointer;
  font: 700 12px/1 var(--mono);
}

.story-controls > button:last-child {
  border-color: var(--math-solve);
  background: var(--math-solve);
  color: #23231f;
}

.story-controls > button:hover:not(:disabled) {
  border-color: var(--ink);
}

.story-dots {
  display: flex;
  gap: 7px;
  align-items: center;
  justify-content: center;
}

.story-dots button {
  width: 10px;
  height: 10px;
  padding: 0;
  border: 1px solid var(--line-strong);
  border-radius: 50%;
  background: transparent;
  cursor: pointer;
}

.story-dots button.active {
  border-color: var(--math-solve);
  background: var(--math-solve);
  box-shadow: 0 0 0 4px rgba(229, 186, 63, 0.12);
}

.story-canvas {
  min-width: 0;
  overflow: hidden;
  background: #20211f;
}

.story-canvas > svg {
  display: block;
  width: 100%;
  height: auto;
  min-height: 0;
  aspect-ratio: 760 / 430;
}

.story-canvas > p {
  margin: 0;
  padding: 13px 20px;
  border-top: 1px solid var(--line);
  color: var(--faint);
  font: 14px/1.45 var(--sans);
  letter-spacing: 0.03em;
  text-align: right;
}

.story-background {
  fill: #20211f;
}

.story-grid-line {
  stroke: #2c2d29;
  stroke-width: 1;
}

.story-axis {
  stroke: #646359;
  stroke-width: 1.5;
}

.story-arrow-head {
  fill: context-stroke;
}

.story-vector {
  stroke-width: 4;
}

.story-thick {
  stroke-width: 5;
}

.story-source,
.story-source-color {
  color: var(--math-source);
  fill: none;
  stroke: var(--math-source);
}

.story-solve,
.story-solve-color {
  color: var(--math-solve);
  fill: none;
  stroke: var(--math-solve);
}

.story-known,
.story-known-color {
  color: var(--math-known);
  fill: none;
  stroke: var(--math-known);
}

.story-error,
.story-error-color {
  color: var(--math-error);
  fill: none;
  stroke: var(--math-error);
}

.story-law,
.story-law-color {
  color: var(--math-law);
  fill: none;
  stroke: var(--math-law);
}

.story-source-fill {
  fill: var(--math-source);
}

.story-solve-fill {
  fill: var(--math-solve);
}

.story-known-fill {
  fill: var(--math-known);
}

.story-error-fill {
  fill: var(--math-error);
}

.story-law-fill {
  fill: var(--math-law);
}

.story-svg-title {
  fill: var(--ink);
  font: 650 25px var(--sans);
  paint-order: stroke fill;
  stroke: #20211f;
  stroke-linejoin: round;
  stroke-width: 6px;
}

.story-svg-label {
  fill: var(--text);
  font: 600 19px var(--sans);
  paint-order: stroke fill;
  stroke: #20211f;
  stroke-linejoin: round;
  stroke-width: 5px;
}

.story-svg-symbol {
  fill: currentcolor;
  font: italic 23px var(--math);
}

.story-svg-equation {
  fill: var(--ink);
  font: italic 23px var(--math);
}

.story-svg-caption {
  fill: var(--muted);
  font: 17px var(--sans);
  paint-order: stroke fill;
  stroke: #20211f;
  stroke-linejoin: round;
  stroke-width: 4px;
}

.story-svg-kicker {
  fill: var(--math-solve);
  font: 700 15px var(--mono);
  letter-spacing: 0.06em;
  paint-order: stroke fill;
  stroke: #20211f;
  stroke-linejoin: round;
  stroke-width: 4px;
}

.story-math-object {
  overflow: visible;
}

.story-math-label {
  display: flex;
  width: 100%;
  height: 48px;
  align-items: center;
  color: var(--ink);
  font: italic 23px/1.2 var(--math);
  white-space: nowrap;
}

.story-math-middle {
  justify-content: center;
  text-align: center;
}

.story-math-end {
  justify-content: flex-end;
  text-align: right;
}

.story-math-label.story-svg-title,
.story-math-label.story-svg-equation,
.story-math-label.story-svg-symbol {
  color: var(--ink);
}

.story-math-label.story-svg-title {
  font-size: 25px;
  font-weight: 650;
}

.story-math-label.story-svg-label {
  font-size: 19px;
  font-weight: 600;
}

.story-math-label.story-svg-caption {
  color: var(--muted);
  font-family: var(--sans);
  font-size: 17px;
  font-style: normal;
}

.story-math-label.story-matrix-label {
  font-size: 18px;
}

.story-math-label.story-node-text {
  color: #24241f;
  font-size: 15px;
  font-weight: 750;
}

.story-math-label:not(.story-matrix-label):not(.story-node-text) > .math-render {
  padding: 2px 4px;
  background: color-mix(in srgb, #20211f 94%, transparent);
}

.story-math-label.story-source {
  color: var(--math-source);
}

.story-math-label.story-solve {
  color: var(--math-solve);
}

.story-math-label.story-known {
  color: var(--math-known);
}

.story-math-label.story-error {
  color: var(--math-error);
}

.story-math-label.story-law {
  color: var(--math-law);
}

.story-math-label mjx-container {
  font-size: 0.94em;
}

.story-angle,
.story-orbit-arc,
.story-reflection-arc {
  stroke-width: 2.5;
}

.story-matrix-cell {
  fill: #2e302c;
  stroke: #55564e;
  stroke-width: 1;
}

.story-source-cell {
  fill: rgba(120, 183, 197, 0.2);
  stroke: var(--math-source);
}

.story-law-cell {
  fill: rgba(169, 157, 204, 0.22);
  stroke: var(--math-law);
}

.story-known-cell {
  fill: rgba(211, 153, 100, 0.2);
  stroke: var(--math-known);
}

.story-solve-cell {
  fill: rgba(193, 202, 101, 0.22);
  stroke: var(--math-solve);
}

.story-error-cell {
  fill: rgba(218, 119, 119, 0.18);
  stroke: var(--math-error);
}

.story-zero-cell {
  fill: #252622;
  stroke: #383934;
}

.story-matrix-label {
  fill: var(--text);
  font: italic 18px var(--math);
}

.story-note-box {
  fill: #292a26;
  stroke-width: 1.5;
}

.story-known-box {
  stroke: var(--math-known);
}

.story-solve-box {
  stroke: var(--math-solve);
}

.story-law-box {
  stroke: var(--math-law);
}

.story-source-box {
  stroke: var(--math-source);
}

.story-right-angle {
  fill: none;
  stroke: #817f72;
  stroke-width: 1.5;
}

.story-projection {
  stroke-dasharray: 7 6;
  stroke-width: 1.8;
}

.story-gpu-row {
  fill: #2c2d29;
  stroke: #55564e;
}

.story-orbit {
  fill: none;
  stroke: #4a4a43;
  stroke-width: 1.5;
  stroke-dasharray: 6 7;
}

.story-chord {
  stroke-width: 3;
}

.story-mirror {
  stroke-width: 3;
  stroke-dasharray: 10 7;
}

.story-short-chord {
  stroke-width: 4;
  stroke-dasharray: 5 4;
}

.story-ellipse {
  fill: rgba(190, 166, 255, 0.08);
  stroke-width: 4;
}

.story-principal-axis,
.story-frame-axis {
  stroke-width: 2;
  stroke-dasharray: 8 6;
}

.story-heat-cell {
  stroke-width: 1;
}

.story-cut {
  stroke-width: 4;
  stroke-dasharray: 5 6;
}

.story-node-text {
  fill: #24241f;
  font: 700 15px var(--mono);
}

.story-rank-one {
  stroke-width: 3;
}

.story-pole {
  stroke-width: 2;
  stroke-dasharray: 8 6;
  opacity: 0.75;
}

.story-secular-curve {
  stroke-width: 3;
}

.story-draw {
  animation: story-draw 620ms ease-out both;
  stroke-dasharray: 900;
  stroke-dashoffset: 900;
}

.story-pulse {
  animation: story-pulse 850ms ease-out both;
  transform-box: fill-box;
  transform-origin: center;
}

@keyframes story-draw {
  to {
    stroke-dashoffset: 0;
  }
}

@keyframes story-pulse {
  0% {
    opacity: 0;
    transform: scale(0.2);
  }

  65% {
    opacity: 1;
    transform: scale(1.4);
  }

  100% {
    transform: scale(1);
  }
}

.notation-guide {
  margin-top: 84px;
  padding: 0 0 28px;
  border-top: 1px solid var(--line-strong);
  border-bottom: 1px solid var(--line);
}

.notation-guide summary {
  display: grid;
  grid-template-columns: 0.72fr 1.28fr;
  gap: 48px;
  align-items: center;
  padding: 25px 0;
  cursor: pointer;
  list-style: none;
}

.notation-guide summary::-webkit-details-marker {
  display: none;
}

.notation-guide summary::after {
  grid-column: 2;
  grid-row: 1;
  justify-self: end;
  color: var(--green);
  content: "+";
  font: 700 20px/1 var(--mono);
}

.notation-guide[open] summary {
  margin-bottom: 22px;
  border-bottom: 1px solid var(--line);
}

.notation-guide[open] summary::after {
  content: "−";
}

.notation-guide summary > span {
  color: var(--green);
  font: 750 13px/1.4 var(--mono);
  letter-spacing: 0.09em;
}

.notation-guide summary p {
  grid-column: 2;
  grid-row: 1;
  max-width: 320px;
  margin: 0;
  color: var(--muted);
  font-size: 15px;
  line-height: 1.55;
}

.notation-guide dl {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 0 30px;
  margin: 0;
}

.notation-guide dl div {
  display: grid;
  grid-template-columns: 94px 1fr;
  gap: 12px;
  padding: 9px 0;
  border-bottom: 1px solid var(--line);
  align-items: center;
}

.notation-guide dt {
  display: grid;
  min-height: 45px;
  padding: 7px 10px;
  place-items: center;
  border-left: 2px solid currentcolor;
  background: var(--surface);
  color: var(--ink);
  font: italic 20px/1.45 var(--math);
  text-align: center;
}

.notation-guide dt mjx-container {
  font-size: 0.9em;
}

.notation-guide dd {
  margin: 0;
  color: var(--muted);
  font-size: 14px;
}

.lesson {
  padding-top: 132px;
  scroll-margin-top: 24px;
}

.lesson + .lesson {
  margin-top: 28px;
  border-top: 1px solid var(--line-strong);
}

.lesson-header {
  max-width: 980px;
}

.lesson-header > p {
  display: flex;
  gap: 12px;
  align-items: center;
  flex-wrap: wrap;
  margin: 0 0 19px;
  color: var(--green);
  font: 750 13px/1.4 var(--mono);
  letter-spacing: 0.09em;
}

.lesson-scope {
  display: inline-flex;
  align-items: center;
  min-height: 27px;
  padding: 4px 8px;
  border: 1px solid var(--line-strong);
  background: var(--surface);
  color: var(--muted);
  font: 700 12px/1.25 var(--mono);
  letter-spacing: 0.055em;
}

.lesson-header h2 {
  max-width: 860px;
  margin: 0;
  color: var(--ink);
  font-family: var(--serif);
  font-size: clamp(44px, 3.5vw, 52px);
  font-weight: 400;
  letter-spacing: -0.035em;
  line-height: 1.02;
}

.lesson-lead {
  max-width: 820px;
  margin-top: 28px;
  padding-left: 22px;
  border-left: 2px solid var(--green-bright);
  color: var(--text);
  font-size: 20px;
  font-weight: 480;
  line-height: 1.62;
}

.lesson-lead-label {
  display: block;
  margin-bottom: 9px;
  color: var(--green);
  font: 750 12px/1.35 var(--mono);
  letter-spacing: 0.08em;
}

.lesson-prose {
  max-width: 820px;
  margin-top: 39px;
}

.lesson-prose p {
  margin: 0 0 21px;
  color: var(--text);
  font-size: 18px;
  line-height: 1.78;
}

.chapter-special-diagram {
  min-width: 0;
  overflow: hidden;
  margin-top: 43px;
  border: 1px solid var(--line-strong);
  background: var(--math-dark);
}

.chapter-special-diagram > header {
  display: grid;
  grid-template-columns: 190px minmax(0, 1fr);
  gap: 34px;
  align-items: start;
  padding: 25px 27px 26px;
  border-bottom: 1px solid var(--line-strong);
  background: var(--surface);
}

.chapter-special-diagram > header > span,
.strategy-question > span,
.strategy-pack > span,
.strategy-far-update > span,
.qr-strategy-card dt,
.qr-strategy-card footer span,
.strategy-shared-invariant > span,
.portfolio-input > span,
.portfolio-probe-pipeline span,
.portfolio-host-gate > span,
.portfolio-fanout > header span,
.portfolio-routes span,
.portfolio-safety span,
.portfolio-contract > span {
  color: var(--math-source);
  font: 750 12.5px/1.35 var(--mono);
  letter-spacing: 0.065em;
  text-transform: uppercase;
}

.chapter-special-diagram > header h3 {
  margin: 0;
  color: var(--ink);
  font-family: var(--serif);
  font-size: 32px;
  font-weight: 400;
  letter-spacing: -0.025em;
  line-height: 1.05;
}

.chapter-special-diagram > header p {
  max-width: 720px;
  margin: 10px 0 0;
  color: var(--muted);
  font-size: 15.5px;
  line-height: 1.58;
}

.qr-strategy-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
}

.qr-strategy-card {
  display: flex;
  min-width: 0;
  padding: 27px;
  flex-direction: column;
}

.qr-strategy-card:first-child {
  border-right: 1px solid var(--line-strong);
}

.strategy-question {
  min-width: 0;
  min-height: 92px;
  padding-bottom: 20px;
  border-bottom: 1px solid var(--line);
}

.strategy-question > span {
  color: var(--math-known);
}

.strategy-question > strong {
  display: block;
  margin-top: 9px;
  color: var(--ink);
  font-size: 19px;
  font-weight: 650;
  line-height: 1.42;
}

.flat-reflector-chain {
  display: grid;
  grid-template-columns: auto auto auto auto auto auto auto;
  gap: 7px;
  align-items: center;
  justify-content: center;
  min-width: 0;
  margin-top: 23px;
}

.flat-reflector-chain i {
  display: grid;
  min-width: 46px;
  min-height: 48px;
  padding: 8px;
  place-items: center;
  border: 1px solid color-mix(in srgb, var(--math-known) 55%, var(--line));
  background: color-mix(in srgb, var(--math-known) 9%, var(--surface));
  color: var(--ink);
  font: normal 18px/1 var(--math);
}

.flat-reflector-chain b {
  color: var(--math-known);
  font: 700 15px/1 var(--mono);
}

.strategy-down-arrow {
  padding: 7px 0;
  color: var(--faint);
  font: 700 17px/1 var(--mono);
  text-align: center;
}

.strategy-pack,
.strategy-far-update {
  display: grid;
  grid-template-columns: 112px minmax(0, 1fr);
  gap: 15px;
  align-items: center;
  min-width: 0;
  padding: 14px 15px;
  border: 1px solid var(--line-strong);
}

.strategy-pack {
  border-color: color-mix(in srgb, var(--math-source) 55%, var(--line));
  background: color-mix(in srgb, var(--math-source) 8%, var(--surface));
}

.strategy-far-update {
  border-color: color-mix(in srgb, var(--math-law) 55%, var(--line));
  background: color-mix(in srgb, var(--math-law) 8%, var(--surface));
}

.strategy-pack > b,
.strategy-far-update > b {
  min-width: 0;
  color: var(--ink);
  font-size: 15.5px;
  font-weight: 620;
  line-height: 1.42;
  overflow-wrap: anywhere;
}

.strategy-far-update > b {
  font-family: var(--math);
  font-size: 17px;
  font-weight: 400;
}

.recursive-panel-chain {
  display: grid;
  gap: 10px;
  margin: 23px 0 0;
  padding: 0;
  list-style: none;
}

.recursive-panel-chain li {
  position: relative;
  display: grid;
  grid-template-columns: 40px minmax(0, 1fr);
  gap: 13px;
  align-items: center;
  min-width: 0;
  padding: 11px 13px;
  border: 1px solid var(--line);
  background: var(--surface);
}

.recursive-panel-chain li:not(:last-child)::after {
  position: absolute;
  bottom: -14px;
  left: 27px;
  z-index: 2;
  padding: 1px 3px;
  background: var(--math-dark);
  color: var(--math-known);
  content: "↓";
  font: 700 13px/1 var(--mono);
}

.recursive-panel-chain li > span {
  display: grid;
  width: 32px;
  height: 32px;
  place-items: center;
  border: 1px solid var(--math-known);
  color: var(--math-known);
  font: 750 13px/1 var(--mono);
}

.recursive-panel-chain li.is-merge {
  border-color: color-mix(in srgb, var(--math-law) 60%, var(--line));
  background: color-mix(in srgb, var(--math-law) 8%, var(--surface));
}

.recursive-panel-chain li.is-merge > span {
  border-color: var(--math-law);
  color: var(--math-law);
}

.recursive-panel-chain b,
.recursive-panel-chain small {
  display: block;
  min-width: 0;
}

.recursive-panel-chain b {
  color: var(--ink);
  font-size: 15.5px;
  font-weight: 650;
  line-height: 1.35;
}

.recursive-panel-chain small {
  margin-top: 3px;
  color: var(--muted);
  font-size: 13px;
  line-height: 1.4;
}

.qr-strategy-card dl {
  display: grid;
  gap: 0;
  margin: 23px 0 0;
  border-top: 1px solid var(--line);
}

.qr-strategy-card dl > div {
  display: grid;
  grid-template-columns: 112px minmax(0, 1fr);
  gap: 15px;
  padding: 10px 0;
  border-bottom: 1px solid var(--line);
}

.qr-strategy-card dt {
  color: var(--faint);
}

.qr-strategy-card dd {
  min-width: 0;
  margin: 0;
  color: var(--text);
  font-size: 14px;
  line-height: 1.45;
}

.qr-strategy-card footer {
  display: grid;
  grid-template-columns: 102px minmax(0, 1fr);
  gap: 15px;
  align-items: start;
  min-width: 0;
  min-height: 0;
  margin-top: auto;
  padding: 19px 0 0;
  border: 0;
  background: transparent;
  color: inherit;
  font: inherit;
  letter-spacing: normal;
  text-transform: none;
}

.qr-strategy-card footer span {
  color: var(--math-solve);
}

.qr-strategy-card footer b {
  min-width: 0;
  color: var(--muted);
  font: 650 13px/1.55 var(--mono);
  overflow-wrap: anywhere;
}

.strategy-shared-invariant {
  display: grid;
  grid-template-columns: 190px minmax(0, 1fr);
  gap: 3px 34px;
  align-items: center;
  min-width: 0;
  padding: 24px 27px 26px;
  border-top: 1px solid var(--line-strong);
  background: var(--surface);
}

.strategy-shared-invariant > span {
  grid-row: 1 / 3;
  color: var(--math-law);
}

.strategy-shared-invariant > div {
  min-width: 0;
  color: var(--ink);
  font: italic 27px/1.45 var(--math);
}

.strategy-shared-invariant mjx-container {
  font-size: 0.9em;
}

.strategy-shared-invariant p {
  margin: 5px 0 0;
  color: var(--muted);
  font-size: 14.5px;
  line-height: 1.52;
}

.portfolio-input {
  display: grid;
  grid-template-columns: 135px minmax(0, 1fr);
  gap: 17px;
  align-items: center;
  width: min(620px, calc(100% - 54px));
  margin: 27px auto 0;
  padding: 14px 17px;
  border: 1px solid var(--line-strong);
  background: var(--surface);
}

.portfolio-input > b {
  min-width: 0;
  color: var(--ink);
  font: 650 14px/1.5 var(--mono);
  overflow-wrap: anywhere;
}

.portfolio-arrow {
  min-height: 35px;
  padding: 7px 0;
  color: var(--math-known);
  font: 700 18px/1.1 var(--mono);
  text-align: center;
}

.portfolio-arrow.is-captioned {
  display: flex;
  gap: 10px;
  align-items: center;
  justify-content: center;
  min-height: 45px;
}

.portfolio-arrow.is-captioned span {
  color: var(--faint);
  font: 700 12px/1.3 var(--mono);
  letter-spacing: 0.055em;
  text-transform: uppercase;
}

.portfolio-probe-pipeline {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 18px;
  margin: 0 27px;
  padding: 0;
  list-style: none;
}

.portfolio-probe-pipeline li {
  position: relative;
  display: grid;
  align-content: start;
  min-width: 0;
  min-height: 129px;
  padding: 16px;
  border: 1px solid color-mix(in srgb, var(--math-source) 55%, var(--line));
  background: color-mix(in srgb, var(--math-source) 7%, var(--surface));
}

.portfolio-probe-pipeline li:not(:last-child)::after {
  position: absolute;
  top: 50%;
  right: -15px;
  z-index: 2;
  padding: 2px;
  background: var(--math-dark);
  color: var(--math-source);
  content: "→";
  font: 700 14px/1 var(--mono);
  transform: translateY(-50%);
}

.portfolio-probe-pipeline b,
.portfolio-probe-pipeline small {
  display: block;
  min-width: 0;
}

.portfolio-probe-pipeline b {
  margin-top: 11px;
  color: var(--ink);
  font: 650 15.5px/1.45 var(--mono);
  overflow-wrap: anywhere;
}

.portfolio-probe-pipeline small {
  align-self: end;
  margin-top: 10px;
  color: var(--muted);
  font-size: 13px;
  line-height: 1.45;
}

.portfolio-host-gate {
  display: grid;
  grid-template-columns: 190px 150px minmax(0, 1fr);
  gap: 22px;
  align-items: center;
  margin: 18px 27px 0;
  padding: 15px 17px;
  border: 1px solid color-mix(in srgb, var(--math-known) 62%, var(--line));
  background: color-mix(in srgb, var(--math-known) 7%, var(--surface));
}

.portfolio-host-gate > span {
  color: var(--math-known);
}

.portfolio-host-gate > b {
  color: var(--ink);
  font: 700 17px/1.35 var(--mono);
}

.portfolio-host-gate > p {
  min-width: 0;
  margin: 0;
  color: var(--text);
  font-size: 14px;
  line-height: 1.5;
}

.portfolio-fanout {
  margin: 18px 27px 0;
  border: 1px solid var(--line-strong);
}

.portfolio-fanout > header {
  display: flex;
  gap: 20px;
  align-items: center;
  justify-content: space-between;
  padding: 12px 15px;
  border-bottom: 1px solid var(--line);
  background: var(--surface-2);
}

.portfolio-fanout > header b {
  color: var(--muted);
  font-size: 13.5px;
  font-weight: 580;
}

.portfolio-routes {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
}

.portfolio-routes article {
  position: relative;
  min-width: 0;
  min-height: 94px;
  padding: 14px 13px;
  border-top: 2px solid var(--route-color, var(--math-solve));
  border-right: 1px solid var(--line);
  background: color-mix(in srgb, var(--route-color, var(--math-solve)) 6%, var(--surface));
}

.portfolio-routes article:last-child {
  border-right: 0;
}

.portfolio-routes article.is-exact { --route-color: var(--math-source); }
.portfolio-routes article.is-dense { --route-color: var(--math-solve); }
.portfolio-routes article.is-rank { --route-color: var(--math-known); }
.portfolio-routes article.is-cluster { --route-color: var(--math-law); }
.portfolio-routes article.is-floor { --route-color: var(--muted); }

.portfolio-routes span {
  color: var(--route-color);
}

.portfolio-routes b {
  display: block;
  min-width: 0;
  margin-top: 10px;
  color: var(--ink);
  font-size: 14.5px;
  font-weight: 650;
  line-height: 1.4;
  overflow-wrap: anywhere;
}

@media (min-width: 1241px) {
  .portfolio-routes article:not(:last-child)::after {
    position: absolute;
    top: 50%;
    right: -10px;
    z-index: 2;
    display: grid;
    width: 19px;
    height: 19px;
    place-items: center;
    border: 1px solid var(--line-strong);
    border-radius: 50%;
    background: var(--math-dark);
    color: var(--math-known);
    content: "→";
    font: 700 12px/1 var(--mono);
    transform: translateY(-50%);
  }
}

.portfolio-safety {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  margin: 0 27px;
  border: 1px solid var(--line-strong);
}

.portfolio-safety > div {
  min-width: 0;
  min-height: 92px;
  padding: 15px;
  border-right: 1px solid var(--line);
}

.portfolio-safety > div:last-child {
  border-right: 0;
}

.portfolio-safety span {
  color: var(--math-error);
}

.portfolio-safety b {
  display: block;
  margin-top: 9px;
  color: var(--text);
  font-size: 14px;
  font-weight: 580;
  line-height: 1.45;
}

.portfolio-contract {
  display: grid;
  grid-template-columns: 190px minmax(0, 1fr) auto;
  gap: 24px;
  align-items: center;
  min-width: 0;
  margin-top: 27px;
  padding: 22px 27px;
  border-top: 1px solid var(--line-strong);
  background: var(--surface);
}

.portfolio-contract > span {
  color: var(--math-law);
}

.portfolio-contract > div {
  min-width: 0;
  color: var(--ink);
  font: italic 24px/1.45 var(--math);
}

.portfolio-contract mjx-container {
  font-size: 0.9em;
}

.portfolio-contract > a {
  padding: 7px 9px;
  border: 1px solid var(--line-strong);
  color: var(--muted);
  font: 700 12px/1.35 var(--mono);
  letter-spacing: 0.045em;
  text-decoration: none;
  white-space: nowrap;
}

.portfolio-contract > a:hover {
  border-color: var(--math-source);
  color: var(--math-source);
}

.derivation {
  margin-top: 46px;
  border: 1px solid var(--line);
  border-top: 2px solid var(--green-bright);
  background: var(--surface);
}

.derivation > header {
  display: flex;
  gap: 24px;
  align-items: baseline;
  justify-content: space-between;
  padding: 18px 24px;
  border-bottom: 1px solid var(--line);
  background: var(--surface-2);
}

.derivation > header span {
  color: var(--green);
  font: 750 13px/1.4 var(--mono);
  letter-spacing: 0.09em;
}

.derivation > header p {
  margin: 0;
  color: var(--muted);
  font-size: 14px;
}

.derivation ol {
  margin: 0;
  padding: 0;
  list-style: none;
  counter-reset: derivation;
}

.derivation li {
  position: relative;
  display: grid;
  grid-template-columns: 50px minmax(0, 1fr);
  gap: 0 28px;
  padding: 38px 34px;
  border-bottom: 1px solid var(--line);
}

.derivation-algebra {
  grid-column: 2;
  min-width: 0;
}

.derivation li:not(:last-child)::after {
  position: absolute;
  bottom: -14px;
  left: 39px;
  z-index: 2;
  display: none;
  width: 27px;
  height: 27px;
  place-items: center;
  border: 1px solid var(--line);
  border-radius: 50%;
  background: var(--surface);
  color: var(--green);
  content: "↓";
  font: 700 15px/1 var(--mono);
}

.derivation li:last-child {
  border-bottom: 0;
}

.derivation-step {
  display: grid;
  width: 38px;
  height: 38px;
  place-items: center;
  border: 0;
  color: var(--green);
  font: 700 18px/1 var(--mono);
}

.derivation-equation-shell {
  position: relative;
  min-width: 0;
}

.derivation-equation {
  overflow: hidden;
  margin-top: 7px;
  padding: 23px 25px;
  border-left: 2px solid var(--line-strong);
  background: var(--math-dark);
  color: var(--ink);
  font: italic 34px/1.4 var(--math);
  letter-spacing: -0.014em;
}

.derivation-equation mjx-container {
  font-size: 0.91em;
}

.derivation-equation sup,
.derivation-equation sub {
  font-size: 61%;
  line-height: 0;
}

.derivation-verb {
  color: var(--green);
  font: 750 12px/1.3 var(--mono);
  letter-spacing: 0.08em;
}

.derivation li p {
  margin: 17px 0 0;
  color: var(--muted);
  font-size: 16px;
  line-height: 1.65;
}

.derivation-side {
  grid-column: 2;
  align-self: start;
  display: flex;
  min-width: 0;
  flex-direction: column;
  gap: 16px;
  width: 100%;
  margin-top: 20px;
}

.matrix-map {
  --map-color: var(--green-bright);
  display: grid;
  grid-template-columns: minmax(220px, 0.9fr) minmax(250px, auto) minmax(200px, 0.8fr);
  align-items: stretch;
  min-width: 0;
  margin: 0;
  border: 1px solid var(--line);
  background: #20211f;
}

.matrix-map-source {
  --map-color: var(--math-source);
}

.matrix-map-solve {
  --map-color: var(--math-solve);
}

.matrix-map-known {
  --map-color: var(--math-known);
}

.matrix-map-error {
  --map-color: var(--math-error);
}

.matrix-map-law {
  --map-color: var(--math-law);
}

.matrix-map > header {
  display: flex;
  gap: 12px;
  align-items: baseline;
  justify-content: space-between;
  padding: 10px 12px;
  border-bottom: 1px solid var(--line);
}

.matrix-map > header span,
.matrix-map > header b {
  font: 700 12px/1.3 var(--mono);
  letter-spacing: 0.055em;
}

.matrix-map > header span {
  color: var(--map-color);
}

.matrix-map > header b {
  color: var(--faint);
  font-weight: 500;
  text-align: right;
}

.matrix-state-identity {
  padding: 13px 13px 14px;
  border-right: 1px solid var(--line);
  background: #252622;
}

.matrix-state-title {
  display: flex;
  gap: 8px;
  align-items: flex-start;
  flex-direction: column;
}

.matrix-state-title > b {
  color: var(--faint);
  font: 700 12px/1.3 var(--mono);
  letter-spacing: 0.04em;
  text-align: left;
}

.matrix-state-identity > span:first-child,
.matrix-map figcaption > span,
.matrix-axis-caption,
.matrix-column-labels,
.matrix-state-row > b {
  color: var(--faint);
  font: 700 12px/1.25 var(--mono);
  letter-spacing: 0.055em;
}

.matrix-state-identity .matrix-state-title > .math-inline {
  display: block;
  overflow: hidden;
  margin-top: 0;
  padding-bottom: 2px;
  color: var(--ink);
  font: italic 20px/1.45 var(--math);
  white-space: nowrap;
}

.matrix-state-identity .matrix-state-title > .math-inline mjx-container {
  font-size: 0.95em;
}

.matrix-state-detail {
  margin-top: 7px;
  color: var(--muted);
  font-size: 14px;
  line-height: 1.48;
}

.matrix-state-visual {
  display: flex;
  min-width: 0;
  justify-content: center;
  border-right: 1px solid var(--line);
  flex-direction: column;
}

.matrix-state-visual-descriptor {
  padding: 12px;
}

.matrix-axis-caption {
  display: flex;
  justify-content: space-between;
  width: 252px;
  margin: 14px auto 4px;
  padding: 0 6px;
}

.matrix-axis-caption b {
  color: var(--faint);
  font: inherit;
}

.matrix-column-labels {
  display: grid;
  grid-template-columns: 17px repeat(var(--matrix-columns), 36px);
  gap: 3px;
  width: fit-content;
  margin: 0 auto 3px;
  text-align: center;
}

.matrix-column-labels > span {
  display: grid;
  height: 14px;
  place-items: center;
}

.matrix-map-grid {
  width: fit-content;
  margin: 0 auto 16px;
  padding: 0 7px;
  border-right: 2px solid var(--line-strong);
  border-left: 2px solid var(--line-strong);
}

.matrix-state-row {
  display: grid;
  grid-template-columns: 17px auto;
  gap: 3px;
  margin-bottom: 3px;
}

.matrix-state-row:last-child {
  margin-bottom: 0;
}

.matrix-state-row > b {
  display: grid;
  place-items: center;
}

.matrix-state-values {
  display: grid;
  grid-template-columns: repeat(var(--matrix-columns), 36px);
  gap: 3px;
}

.matrix-map-cell {
  display: grid;
  width: 36px;
  height: 30px;
  place-items: center;
  border: 1px solid #393a35;
  background: #282925;
  color: var(--faint);
  font: 12px/1 var(--mono);
  font-variant-numeric: tabular-nums;
}

.matrix-map-cell.matrix-map-compact {
  font-size: 12px;
  letter-spacing: -0.04em;
}

.matrix-map-cell.matrix-map-focus {
  border-color: color-mix(in srgb, var(--map-color) 72%, #393a35);
  background: color-mix(in srgb, var(--map-color) 27%, #282925);
  color: var(--ink);
}

.matrix-map-cell.matrix-map-secondary {
  border-color: #5d5947;
  background: #353329;
  color: var(--text);
}

.matrix-map-cell.matrix-map-zero {
  border-color: #30312d;
  background: #242522;
  color: #66675f;
}

.matrix-map figcaption {
  display: flex;
  min-width: 0;
}

.matrix-map figcaption > span {
  display: block;
  padding: 10px 12px 0;
  color: var(--map-color);
}

.matrix-map-object {
  display: grid;
  grid-template-columns: 1fr;
  gap: 12px;
  align-content: center;
  width: 100%;
  padding: 18px;
  border-left: 3px solid var(--map-color);
}

.matrix-map-object .math-inline {
  color: var(--map-color);
  font: italic 18px/1.3 var(--math);
  white-space: nowrap;
}

.matrix-map-object .math-inline mjx-container {
  font-size: 0.9em;
}

.matrix-map-object > span:last-child {
  color: var(--text);
  font-size: 14.5px;
  line-height: 1.35;
}

.matrix-descriptor {
  padding: 14px 13px 16px;
}

.matrix-descriptor > strong {
  display: block;
  margin-bottom: 10px;
  padding: 8px 9px;
  border: 1px solid color-mix(in srgb, var(--map-color) 45%, var(--line));
  background: color-mix(in srgb, var(--map-color) 9%, #252622);
  color: var(--map-color);
  font: 700 12px/1.4 var(--mono);
  letter-spacing: 0.045em;
}

.matrix-descriptor > div {
  display: grid;
  grid-template-columns: 1fr 1fr;
  border-top: 1px solid var(--line);
  border-left: 1px solid var(--line);
}

.matrix-descriptor > div > div {
  min-width: 0;
  padding: 9px;
  border-right: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.matrix-descriptor span,
.matrix-descriptor b {
  display: block;
  overflow-wrap: anywhere;
  font-family: var(--mono);
}

.matrix-descriptor span {
  margin-bottom: 4px;
  color: var(--faint);
  font-size: 12px;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.matrix-descriptor b {
  color: var(--ink);
  font-size: 14px;
  font-weight: 650;
}

.execution-map,
.execution-evidence {
  min-width: 0;
  border: 1px solid var(--line);
  border-top: 2px solid var(--map-color);
  background: #1d1e1b;
}

.execution-map {
  margin-top: 23px;
}

.execution-map > header,
.execution-evidence > header,
.execution-work-domain > header,
.execution-work-meta {
  display: flex;
  gap: 12px;
  align-items: baseline;
  justify-content: space-between;
  padding: 11px 14px;
  border-bottom: 1px solid var(--line);
}

.execution-map > header span,
.execution-map > header b,
.execution-evidence > header span,
.execution-evidence > header b,
.execution-work-domain > header span,
.execution-work-domain > header b,
.execution-work-meta span,
.execution-work-meta b,
.execution-workset-label span,
.execution-workset-label b {
  font: 700 12px/1.35 var(--mono);
  letter-spacing: 0.05em;
}

.execution-map > header span,
.execution-evidence > header span,
.execution-work-domain > header span,
.execution-work-meta span,
.execution-workset-label span {
  color: var(--map-color);
}

.execution-map > header b,
.execution-evidence > header b,
.execution-work-domain > header b,
.execution-work-meta b,
.execution-workset-label b {
  color: var(--faint);
  font-weight: 520;
  text-align: right;
}

.execution-kind-math {
  --map-color: var(--faint);
}

.execution-kind-real {
  box-shadow: inset 0 0 0 1px color-mix(in srgb, var(--map-color) 12%, transparent);
}

.execution-operator {
  display: grid;
  grid-template-columns: 112px minmax(0, 1fr);
  gap: 14px;
  align-items: baseline;
  padding: 13px 14px;
  border-bottom: 1px solid var(--line);
  background: #232420;
}

.execution-operator span,
.execution-fused-owner span,
.execution-evidence dt {
  color: var(--faint);
  font: 700 12px/1.3 var(--mono);
  letter-spacing: 0.05em;
}

.execution-operator strong {
  min-width: 0;
  color: var(--ink);
  font: 720 19px/1.3 var(--sans);
  overflow-wrap: anywhere;
}

.execution-math-only {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(150px, 0.62fr);
}

.execution-math-only > div {
  display: grid;
  min-width: 0;
  min-height: 92px;
  align-content: center;
  padding: 18px 20px;
  border-right: 1px solid var(--line);
  background: #232420;
}

.execution-math-only > div:nth-child(2) {
  justify-items: end;
  border-right: 0;
}

.execution-math-only strong {
  color: var(--map-color);
  font: 760 34px/1 var(--mono);
}

.execution-math-only span,
.execution-math-only b {
  font: 700 12px/1.3 var(--mono);
  letter-spacing: 0.06em;
}

.execution-math-only span {
  color: var(--muted);
}

.execution-math-only b {
  margin-top: 5px;
  color: var(--ink);
}

.execution-math-only p {
  grid-column: 1 / -1;
  margin: 0 !important;
  padding: 15px 20px 17px;
  border-top: 1px solid var(--line);
  color: var(--muted) !important;
  font: 540 14px/1.55 var(--sans) !important;
}

.execution-workset-label,
.execution-work-meta {
  display: flex;
  gap: 12px;
  align-items: baseline;
  justify-content: space-between;
  padding: 10px 14px;
}

.execution-workset-label {
  border-bottom: 1px solid var(--line);
  background: #232420;
}

.execution-work-meta {
  border-top: 1px solid var(--line);
}

.execution-launch-anatomy {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  border-top: 1px solid var(--line);
  background: #232420;
}

.execution-launch-anatomy > div {
  min-width: 0;
  min-height: 150px;
  padding: 14px;
  border-right: 1px solid var(--line);
}

.execution-launch-anatomy > div:last-child {
  border-right: 0;
}

.execution-launch-anatomy span,
.execution-launch-anatomy b,
.execution-launch-anatomy small {
  display: block;
}

.execution-launch-anatomy span {
  color: var(--map-color);
  font: 700 12px/1.3 var(--mono);
  letter-spacing: 0.05em;
}

.execution-launch-anatomy b {
  margin-top: 9px;
  color: var(--ink);
  font: 650 14px/1.45 var(--sans);
}

.execution-launch-anatomy small {
  margin-top: 12px;
  color: var(--faint);
  font: 540 12.5px/1.45 var(--sans);
}

.execution-warp-strip {
  display: grid;
  grid-template-columns: repeat(var(--warp-columns), minmax(0, 1fr));
  gap: 3px;
  margin-top: 15px;
}

.execution-warp-strip i {
  display: grid;
  min-height: 21px;
  place-items: center;
  border: 1px solid color-mix(in srgb, var(--map-color) 54%, var(--line));
  background: color-mix(in srgb, var(--map-color) 15%, #242521);
  color: var(--muted);
  font-style: normal;
}

.execution-warp-strip i span {
  color: inherit;
  font: 650 12px/1 var(--mono);
  letter-spacing: 0;
}

.execution-grid {
  display: grid;
  grid-template-columns: repeat(var(--work-columns), minmax(0, 1fr));
  gap: 4px;
  padding: 18px;
  background: #20211e;
}

.execution-grid i {
  display: grid;
  min-width: 0;
  min-height: 38px;
  place-items: center;
  border: 1px solid color-mix(in srgb, var(--map-color) 54%, var(--line));
  background: color-mix(in srgb, var(--map-color) 14%, #242521);
  color: var(--muted);
  font-style: normal;
}

.execution-grid i span {
  font: 650 12px/1 var(--mono);
}

.execution-grid i:nth-child(3n + 1) {
  background: color-mix(in srgb, var(--map-color) 24%, #242521);
}

.execution-grid i.is-masked {
  border-color: #34352f;
  background: #252622;
  color: #55564f;
  opacity: 0.42;
}

.execution-grid i.is-ellipsis {
  border-style: dashed;
  background: transparent;
  color: var(--faint);
}

.execution-grid-scalar {
  grid-template-columns: minmax(320px, 520px);
  justify-content: center;
  padding: 32px;
}

.execution-grid-scalar i {
  min-height: 230px;
  padding: 28px;
  border-width: 2px;
  background:
    linear-gradient(var(--line) 1px, transparent 1px),
    linear-gradient(90deg, var(--line) 1px, transparent 1px),
    color-mix(in srgb, var(--map-color) 17%, #242521);
  background-size: 28px 28px;
}

.execution-grid-scalar i span {
  padding: 7px 11px;
  background: var(--math-dark);
  color: var(--map-color);
  font: 750 13px/1.2 var(--mono);
  letter-spacing: 0.05em;
}

.execution-grid-scalar i strong,
.execution-grid-scalar i small {
  display: block;
  max-width: 360px;
  padding-inline: 12px;
  background: color-mix(in srgb, var(--math-dark) 94%, transparent);
  text-align: center;
}

.execution-grid-scalar i strong {
  padding-top: 13px;
  color: var(--ink);
  font: 650 20px/1.35 var(--sans);
}

.execution-grid-scalar i small {
  padding-top: 8px;
  padding-bottom: 13px;
  color: var(--muted);
  font: 550 14px/1.45 var(--sans);
}

.execution-grid-warp i {
  min-height: 24px;
}

.execution-grid-warp i span {
  font-size: 12px;
}

.execution-fused-owner {
  display: grid;
  grid-template-columns: 1fr 1fr;
}

.execution-fused-owner > div:not(.execution-grid) {
  min-width: 0;
  padding: 13px 14px;
  border-bottom: 1px solid var(--line);
}

.execution-fused-owner > div:first-child {
  border-right: 1px solid var(--line);
}

.execution-fused-owner > div > span,
.execution-fused-owner > div > b {
  display: block;
}

.execution-fused-owner > div > b {
  margin-top: 5px;
  color: var(--ink);
  font: 650 13px/1.4 var(--sans);
}

.execution-fused-owner .execution-grid {
  grid-column: 1 / -1;
}

.execution-pipeline {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(105px, 1fr));
  border-bottom: 1px solid var(--line);
}

.execution-pipeline > div {
  position: relative;
  min-width: 0;
  min-height: 116px;
  padding: 18px 15px;
  border-right: 1px solid var(--line);
}

.execution-pipeline > div:last-child {
  border-right: 0;
}

.execution-pipeline > div.is-source-backed {
  min-height: 252px;
  background: color-mix(in srgb, var(--map-color) 8%, #1d1e1b);
}

.execution-pipeline > div:not(:last-child)::after {
  position: absolute;
  top: 50%;
  right: -9px;
  z-index: 1;
  display: grid;
  width: 18px;
  height: 18px;
  place-items: center;
  background: #1d1e1b;
  color: var(--map-color);
  content: "→";
  font: 720 12px/1 var(--mono);
  transform: translateY(-50%);
}

.execution-pipeline span {
  color: var(--map-color);
  font: 700 12px/1 var(--mono);
}

.execution-pipeline b {
  display: block;
  margin-top: 22px;
  color: var(--ink);
  font: 700 14px/1.4 var(--mono);
}

.execution-pipeline small,
.execution-pipeline em {
  display: block;
  overflow-wrap: anywhere;
}

.execution-pipeline .execution-stage-tile,
.execution-pipeline .execution-stage-coordinate {
  padding-top: 8px;
  border-top: 1px solid color-mix(in srgb, var(--map-color) 22%, var(--line));
}

.execution-pipeline .execution-stage-tile::before,
.execution-pipeline .execution-stage-coordinate::before {
  display: block;
  margin-bottom: 4px;
  color: var(--map-color);
  font: 700 12px/1 var(--mono);
}

.execution-pipeline .execution-stage-tile::before {
  content: "OWNED DATA";
}

.execution-pipeline .execution-stage-coordinate::before {
  content: "COORDINATE";
}

.execution-pipeline small {
  margin-top: 18px;
  color: var(--ink);
  font: 650 12px/1.4 var(--mono);
}

.execution-pipeline em {
  margin-top: 8px;
  color: var(--faint);
  font: normal 540 12.5px/1.45 var(--sans);
}

.execution-note {
  margin: 0 !important;
  padding: 11px 14px 13px;
  border-top: 1px solid var(--line);
  color: var(--muted) !important;
  font: 540 14px/1.5 var(--sans) !important;
}

.execution-evidence dl {
  margin: 0;
}

.execution-evidence dl > div {
  display: grid;
  grid-template-columns: 62px minmax(0, 1fr);
  gap: 10px;
  padding: 10px 12px;
  border-bottom: 1px solid var(--line);
}

.execution-evidence dd {
  min-width: 0;
  margin: 0;
  color: var(--ink);
  font: 620 14px/1.45 var(--sans);
  overflow-wrap: anywhere;
}

.execution-evidence > a {
  display: block;
  padding: 10px 12px;
  color: var(--map-color);
  font: 650 12px/1.5 var(--mono);
  overflow-wrap: anywhere;
  text-decoration: none;
}

.execution-source-stages {
  display: grid;
}

.execution-source-stage {
  min-width: 0;
  border-bottom: 1px solid var(--line);
}

.execution-source-stage:last-child {
  border-bottom: 0;
}

.execution-source-stage > header {
  display: grid;
  grid-template-columns: 86px minmax(0, 1fr);
  gap: 10px;
  padding: 10px 12px;
  border-bottom: 1px solid var(--line);
  background: #232420;
}

.execution-source-stage > header span {
  color: var(--map-color);
  font: 700 12px/1.35 var(--mono);
}

.execution-source-stage > header b {
  min-width: 0;
  color: var(--ink);
  font: 650 12.5px/1.45 var(--mono);
  overflow-wrap: anywhere;
}

.execution-source-stage > a {
  display: block;
  padding: 9px 12px 10px;
  color: var(--map-color);
  font: 650 12px/1.5 var(--mono);
  overflow-wrap: anywhere;
  text-decoration: none;
}

.execution-source-stage > a:hover {
  text-decoration: underline;
}

.execution-evidence > a:hover {
  text-decoration: underline;
}

.concept-flow {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  margin-top: 28px;
  border: 1px solid var(--line);
  border-top: 2px solid var(--line-strong);
  background: var(--surface);
}

.concept-flow > div {
  position: relative;
  min-height: 155px;
  padding: 21px 19px;
  border-right: 1px solid var(--line);
}

.concept-flow > div:last-child {
  border-right: 0;
}

.concept-flow > div:not(:last-child)::after {
  position: absolute;
  top: 50%;
  right: -8px;
  z-index: 2;
  width: 14px;
  height: 14px;
  border-top: 1px solid var(--line-strong);
  border-right: 1px solid var(--line-strong);
  background: var(--surface);
  content: "";
  transform: translateY(-50%) rotate(45deg);
}

.concept-flow span {
  color: var(--green);
  font: 750 12px/1.3 var(--mono);
  letter-spacing: 0.06em;
}

.concept-flow strong {
  display: block;
  margin-top: 16px;
  color: var(--ink);
  font-size: 18px;
  line-height: 1.35;
}

.concept-flow p {
  margin: 8px 0 0;
  color: var(--muted);
  font-size: 15px;
  line-height: 1.5;
}

.chapter-result {
  display: grid;
  grid-template-columns: 180px minmax(0, 1fr);
  gap: 34px;
  margin-top: 28px;
  padding: 28px 30px;
  border: 1px solid var(--line);
  border-left: 3px solid var(--green-bright);
  background: var(--green-soft);
}

.chapter-result > span {
  color: var(--green);
  font: 750 12px/1.45 var(--mono);
  letter-spacing: 0.08em;
}

.chapter-result strong {
  color: var(--ink);
  font-size: 19.5px;
}

.chapter-result p {
  max-width: 780px;
  margin: 7px 0 0;
  color: var(--muted);
  font-size: 16.5px;
  line-height: 1.68;
}

.kernel-focus {
  margin-top: 132px;
  padding-top: 27px;
  border-top: 1px solid var(--line-strong);
  scroll-margin-top: 24px;
}

.kernel-focus-header {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(300px, 0.58fr);
  gap: 52px;
  align-items: end;
  padding-bottom: 32px;
}

.kernel-focus-header h2 {
  max-width: 760px;
  margin: 12px 0 0;
  color: var(--ink);
  font-family: var(--serif);
  font-size: clamp(46px, 3.7vw, 56px);
  font-weight: 400;
  letter-spacing: -0.035em;
  line-height: 1.02;
}

.kernel-focus-header > p {
  margin: 0;
  color: var(--muted);
  font-size: 16px;
  line-height: 1.68;
}

.kernel-case {
  border: 1px solid var(--line);
  background: var(--surface);
}

.kernel-case + .kernel-case {
  margin-top: 28px;
}

.kernel-case > header {
  display: grid;
  grid-template-columns: 110px minmax(0, 1fr);
  gap: 24px;
  align-items: baseline;
  padding: 22px 25px;
  border-bottom: 1px solid var(--line);
  background: var(--surface-2);
}

.kernel-case > header span,
.kernel-focus-item-label,
.kernel-case-thesis span {
  color: var(--green);
  font: 700 12px/1.4 var(--mono);
  letter-spacing: 0.07em;
}

.kernel-case > header h3 {
  margin: 0;
  color: var(--ink);
  font-family: var(--serif);
  font-size: 34px;
  font-weight: 400;
  letter-spacing: -0.025em;
  line-height: 1.08;
}

.kernel-case-thesis {
  display: grid;
  grid-template-columns: minmax(0, 0.9fr) minmax(0, 1.1fr);
  gap: 42px;
  padding: 24px 25px;
  border-bottom: 1px solid var(--line);
}

.kernel-case-thesis strong {
  display: block;
  margin-top: 9px;
  color: var(--ink);
  font-size: 20px;
  line-height: 1.5;
}

.kernel-case-thesis > p {
  margin: 0;
  color: var(--muted);
  font-size: 16px;
  line-height: 1.65;
}

.kernel-focus-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(360px, 1fr));
}

.kernel-focus-item {
  min-width: 0;
  padding: 24px;
  border-right: 1px solid var(--line);
}

.kernel-focus-item:last-child {
  border-right: 0;
}

.kernel-focus-item-label {
  margin: 0 0 12px;
}

.kernel-focus-item .execution-map,
.kernel-focus-item .execution-evidence {
  margin-top: 12px;
}

/* Kernel cases read as diagrams first. Source provenance collapses to a
   compact footer, while launch geometry and owned data stay visually primary. */
.kernel-focus .execution-map,
.kernel-focus .execution-evidence {
  border-right: 0;
  border-bottom: 0;
  border-left: 0;
}

.kernel-focus .execution-evidence {
  margin-top: 0;
  border-top-width: 1px;
}

.kernel-focus .execution-evidence > header,
.kernel-focus .execution-evidence:not(.execution-evidence-pipeline) dl {
  display: none;
}

.kernel-focus .execution-evidence > a {
  padding: 13px 14px 14px;
  font-size: 13px;
}

.kernel-focus .execution-map > header span,
.kernel-focus .execution-map > header b,
.kernel-focus .execution-work-domain > header span,
.kernel-focus .execution-work-domain > header b,
.kernel-focus .execution-work-meta span,
.kernel-focus .execution-work-meta b,
.kernel-focus .execution-workset-label span,
.kernel-focus .execution-workset-label b,
.kernel-focus .execution-operator span,
.kernel-focus .execution-launch-anatomy span,
.kernel-focus .execution-fused-owner span,
.kernel-focus .execution-source-stage > header span {
  font-size: 13px;
}

.kernel-focus .execution-operator {
  grid-template-columns: 120px minmax(0, 1fr);
  padding-block: 15px;
}

.kernel-focus .execution-operator strong {
  font: 700 18px/1.35 var(--mono);
}

.kernel-focus .execution-grid {
  gap: 7px;
  padding: 24px;
}

.kernel-focus .execution-grid:not(.execution-grid-scalar) i {
  min-height: 52px;
}

.kernel-focus .execution-grid i span,
.kernel-focus .execution-warp-strip i span {
  font-size: 13px;
}

.kernel-focus .execution-launch-anatomy > div {
  min-height: 166px;
  padding: 17px;
}

.kernel-focus .execution-launch-anatomy b {
  font-size: 16px;
}

.kernel-focus .execution-launch-anatomy small,
.kernel-focus .execution-pipeline em {
  color: var(--muted);
  font-size: 14px;
}

.kernel-focus .execution-warp-strip {
  gap: 5px;
  margin-top: 18px;
}

.kernel-focus .execution-warp-strip i {
  min-height: 29px;
}

.kernel-focus .execution-pipeline > div {
  padding: 21px 18px;
}

.kernel-focus .execution-pipeline > div.is-source-backed {
  min-height: 288px;
}

.kernel-focus .execution-pipeline span,
.kernel-focus .execution-pipeline .execution-stage-tile::before,
.kernel-focus .execution-pipeline .execution-stage-coordinate::before {
  font-size: 13px;
}

.kernel-focus .execution-pipeline b {
  font-size: 15px;
}

.kernel-focus .execution-pipeline small {
  font-size: 13.5px;
}

.kernel-focus .execution-note {
  padding: 14px 16px 16px;
  font-size: 15px !important;
}

.kernel-focus .execution-source-stage > header {
  grid-template-columns: 110px minmax(0, 1fr);
  padding: 13px 14px;
}

.kernel-focus .execution-source-stage > header b,
.kernel-focus .execution-source-stage > a {
  font-size: 13px;
}

.kernel-focus .execution-source-stage > a {
  padding: 12px 14px 13px;
}

.implementation-machine {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  margin: 0;
  border-top: 0;
  border-right: 1px solid var(--line);
  border-left: 1px solid var(--line);
}

.implementation-machine div {
  grid-template-columns: auto minmax(0, 1fr);
  padding: 10px 14px;
  border-right: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.implementation-machine div:last-child {
  border-right: 0;
}

.implementation-reference,
.model-lab,
.evidence-section {
  padding-top: 122px;
  scroll-margin-top: 20px;
}

.implementation-reference > header {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 40px;
  align-items: end;
  padding-bottom: 26px;
  border-bottom: 1px solid var(--line-strong);
}

.implementation-reference h2,
.major-section-header h2 {
  margin: 12px 0 0;
  color: var(--ink);
  font-family: var(--serif);
  font-size: clamp(46px, 3.7vw, 56px);
  font-weight: 400;
  letter-spacing: -0.035em;
  line-height: 1.02;
}

.implementation-reference > header dl {
  display: grid;
  grid-template-columns: auto auto;
  gap: 0;
  margin: 0;
  border: 1px solid var(--line-strong);
}

.implementation-reference > header dl div {
  min-width: 140px;
  padding: 13px 16px;
  border-right: 1px solid var(--line);
}

.implementation-reference > header dl div:last-child {
  border-right: 0;
}

.implementation-reference dt {
  color: var(--faint);
  font: 12px/1.3 var(--mono);
}

.implementation-reference dd {
  margin: 6px 0 0;
  color: var(--ink);
  font: 14px/1.35 var(--mono);
}

.implementation {
  border-bottom: 1px solid var(--line-strong);
  background: var(--surface);
}

.route-explanation {
  display: grid;
  grid-template-columns: 1.2fr 0.8fr;
  gap: 44px;
  padding: 34px 36px;
  border-bottom: 1px solid var(--line);
}

.route-summary,
.route-caveat {
  margin: 0;
}

.route-summary {
  color: var(--ink);
  font-size: 19.5px;
  font-weight: 600;
  line-height: 1.62;
}

.route-caveat {
  padding-left: 18px;
  border-left: 2px solid var(--green-bright);
  color: var(--muted);
  font-size: 16px;
  line-height: 1.65;
}

.route-caveat strong {
  color: var(--ink);
}

.route-stages {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  margin: 0;
  padding: 0;
  list-style: none;
}

.route-stages li {
  display: grid;
  grid-template-columns: 28px minmax(0, 1fr);
  gap: 11px;
  min-height: 168px;
  padding: 23px 18px;
  border-top: 5px solid var(--step-color);
  border-right: 1px solid var(--line);
}

.route-stages li:last-child {
  border-right: 0;
}

.route-stages li > span {
  color: var(--step-color);
  font: 750 13px/1.4 var(--mono);
}

.route-stages strong {
  color: var(--ink);
  font-size: 16px;
  line-height: 1.4;
}

.route-stages p {
  margin: 8px 0 0;
  color: var(--muted);
  font-size: 14px;
  line-height: 1.55;
}

.route-meta {
  display: flex;
  gap: 30px;
  align-items: center;
  justify-content: space-between;
  padding: 20px 24px;
  border-top: 1px solid var(--line);
  background: var(--surface-2);
}

.route-meta > span {
  display: flex;
  gap: 9px;
  align-items: center;
  flex-wrap: wrap;
}

.route-meta small {
  color: var(--green);
  font: 750 12px/1.3 var(--mono);
  letter-spacing: 0.07em;
}

.route-meta code {
  color: var(--muted);
  font-size: 13px;
}

.route-meta nav {
  display: flex;
  gap: 9px;
  flex-wrap: wrap;
}

.route-meta a {
  padding: 8px 12px;
  border: 1px solid var(--line-strong);
  background: var(--surface);
  color: var(--ink);
  font: 12px/1 var(--mono);
  text-decoration: none;
  text-transform: uppercase;
}

.route-meta a:hover {
  border-color: var(--green);
  color: var(--green);
}

.major-section-header {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(290px, 0.58fr);
  gap: 50px;
  align-items: end;
  margin-bottom: 34px;
  padding-bottom: 25px;
  border-bottom: 1px solid var(--line-strong);
}

.major-section-header .section-label {
  grid-column: 1;
}

.major-section-header h2 {
  grid-column: 1;
}

.major-section-header > p:last-child {
  grid-column: 2;
  grid-row: 1 / 3;
  margin: 0;
  color: var(--muted);
  font-size: 16px;
  line-height: 1.65;
}

.model-controls {
  margin-bottom: 19px;
  border: 1px solid var(--line-strong);
  background: var(--surface);
}

.controls {
  display: grid;
  grid-template-columns: 210px 180px minmax(300px, 1fr) 130px;
}

.control {
  display: flex;
  min-width: 0;
  min-height: 88px;
  padding: 15px 18px;
  border-right: 1px solid var(--line);
  flex-direction: column;
  justify-content: center;
}

.control > span:first-child {
  display: flex;
  gap: 12px;
  justify-content: space-between;
  margin-bottom: 12px;
  color: var(--muted);
  font: 12px/1.3 var(--mono);
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.control output {
  color: var(--ink);
  font-variant-numeric: tabular-nums;
}

input[type="range"] {
  width: 100%;
  height: 20px;
  margin: 0;
  appearance: none;
  background: transparent;
  accent-color: var(--green);
}

input[type="range"]::-webkit-slider-runnable-track {
  height: 4px;
  background: var(--line-strong);
}

input[type="range"]::-webkit-slider-thumb {
  width: 18px;
  height: 18px;
  margin-top: -7px;
  appearance: none;
  border: 3px solid var(--surface);
  border-radius: 50%;
  background: var(--green);
  box-shadow: 0 0 0 1px var(--green);
}

input[type="range"]::-moz-range-track {
  height: 4px;
  background: var(--line-strong);
}

input[type="range"]::-moz-range-thumb {
  width: 15px;
  height: 15px;
  border: 3px solid var(--surface);
  border-radius: 50%;
  background: var(--green);
}

input:disabled,
button:disabled {
  cursor: not-allowed;
  opacity: 0.36;
}

.switch-row {
  position: relative;
  display: flex;
  gap: 10px;
  align-items: center;
  color: var(--ink);
  font-size: 15px;
  font-weight: 650;
}

.switch-row input {
  position: absolute;
  width: 1px;
  height: 1px;
  opacity: 0;
}

.switch {
  position: relative;
  width: 38px;
  height: 21px;
  border-radius: 20px;
  background: var(--line-strong);
}

.switch::after {
  position: absolute;
  top: 4px;
  left: 4px;
  width: 13px;
  height: 13px;
  border-radius: 50%;
  background: var(--ink);
  content: "";
  transition: transform 150ms ease;
}

.switch-row input:checked + .switch {
  background: var(--green-bright);
}

.switch-row input:checked + .switch::after {
  transform: translateX(17px);
}

.switch-row input:focus-visible + .switch {
  outline: 2px solid var(--green-bright);
  outline-offset: 3px;
}

.play-button {
  display: flex;
  gap: 9px;
  align-items: center;
  justify-content: center;
  border: 0;
  border-radius: 0;
  background: var(--green-bright);
  color: #26251f;
  cursor: pointer;
  font: 750 13px/1 var(--mono);
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.play-button span {
  font-size: 12px;
}

.model-note {
  min-height: 46px;
  margin: 0;
  padding: 13px 17px;
  border-top: 1px solid var(--line);
  color: var(--muted);
  font: 12px/1.6 var(--mono);
  letter-spacing: 0.03em;
  text-transform: uppercase;
}

.model-note::before {
  display: inline-block;
  width: 9px;
  height: 9px;
  margin-right: 9px;
  border-radius: 50%;
  background: var(--green-bright);
  content: "";
}

.visual-pair {
  display: grid;
  grid-template-columns: minmax(390px, 0.82fr) minmax(560px, 1.18fr);
  gap: 18px;
  align-items: start;
}

.viz-panel {
  min-width: 0;
  overflow: hidden;
  border: 1px solid var(--line-strong);
  background:
    linear-gradient(rgba(241, 228, 195, 0.025) 1px, transparent 1px),
    linear-gradient(90deg, rgba(241, 228, 195, 0.025) 1px, transparent 1px),
    var(--surface);
  background-size: 36px 36px;
}

.dag-card,
.eigh-card {
  margin-top: 18px;
}

.viz-title {
  display: flex;
  gap: 22px;
  align-items: flex-start;
  justify-content: space-between;
  min-height: 86px;
  padding: 18px 20px;
  border-bottom: 1px solid var(--line);
  background: var(--surface-2);
}

.viz-title > div > span {
  display: block;
  margin-bottom: 7px;
  color: var(--green);
  font: 750 12px/1 var(--mono);
  letter-spacing: 0.08em;
}

.viz-title h3 {
  margin: 0;
  color: var(--ink);
  font-size: 20px;
  font-weight: 650;
}

.viz-title p {
  max-width: 430px;
  margin: 2px 0 0;
  color: var(--muted);
  font-size: 13px;
  line-height: 1.5;
  text-align: right;
}

.viz-title code {
  color: var(--green);
}

.svg-wrap {
  overflow: auto;
  padding: 12px;
}

.svg-wrap > svg {
  display: block;
  width: 100%;
}

.matrix-card svg {
  min-width: 440px;
}

.wide-svg svg {
  min-width: 720px;
}

.legend {
  display: flex;
  gap: 9px 13px;
  max-width: 290px;
  justify-content: flex-end;
  flex-wrap: wrap;
}

.swatch {
  display: inline-flex;
  gap: 6px;
  align-items: center;
  color: var(--muted);
  font: 12px/1 var(--mono);
}

.swatch i {
  width: 10px;
  height: 10px;
  border-radius: 50%;
}

.task {
  stroke: rgba(35, 36, 33, 0.8);
  stroke-width: 0.8;
}

.inactive {
  opacity: 0.12;
}

.edge {
  fill: none;
  stroke: var(--line-strong);
  stroke-width: 1.2;
  opacity: 0.6;
}

.node-label {
  fill: #20211e;
  font: 700 12px var(--mono);
  pointer-events: none;
}

.axis-label,
.stream-label {
  fill: var(--muted);
  font: 12px var(--mono);
}

.stream-label {
  font-size: 13px;
}

.hidden {
  display: none !important;
}

#phases {
  padding: 28px;
}

.phase-stack {
  display: flex;
  min-width: 0;
  height: 128px;
  margin: 0 0 24px;
  overflow: hidden;
  border: 1px solid var(--line);
}

.phase-stack div {
  display: flex;
  min-width: 0;
  padding: 19px;
  border-right: 1px solid rgba(35, 36, 33, 0.28);
  flex-direction: column;
  justify-content: center;
  color: var(--ink);
}

.phase-stack strong {
  font-size: 16px;
}

.phase-stack small {
  margin-top: 7px;
  font: 12px/1.4 var(--mono);
}

.phase-list {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 24px;
  margin: 0;
  padding: 0;
  list-style: none;
}

.phase-list li {
  padding: 16px 0;
  border-top: 3px solid var(--line-strong);
}

.phase-list strong,
.phase-list span {
  display: block;
}

.phase-list strong {
  color: var(--ink);
  font-size: 16px;
}

.phase-list span,
.phase-note {
  margin-top: 8px;
  color: var(--muted);
  font-size: 14px;
  line-height: 1.55;
}

#phases > .note {
  margin: 23px 0 0;
  color: var(--green);
  font: 12px/1.6 var(--mono);
  letter-spacing: 0.03em;
}

.analysis-note {
  display: grid;
  grid-template-columns: 190px minmax(0, 1fr);
  gap: 38px;
  margin-top: 32px;
  padding: 30px 32px;
  border: 1px solid var(--line);
  border-top: 2px solid var(--line-strong);
  background: var(--surface);
}

.analysis-note > span {
  color: var(--green);
  font: 750 12px/1.5 var(--mono);
  letter-spacing: 0.08em;
}

.analysis-note h3 {
  margin: 0 0 10px;
  color: var(--ink);
  font-size: 24px;
  font-weight: 620;
  letter-spacing: -0.02em;
}

.analysis-note p {
  max-width: 850px;
  margin: 0;
  color: var(--muted);
  font-size: 16px;
  line-height: 1.7;
}

.benchmarks {
  min-height: 200px;
}

.benchmark-suite {
  display: none;
  min-width: 0;
  padding: 28px 30px 31px;
  border: 1px solid var(--line-strong);
  border-top: 2px solid var(--green-bright);
  background: var(--surface);
}

.benchmark-suite.selected {
  display: block;
}

.suite-head {
  display: flex;
  gap: 14px;
  align-items: center;
  justify-content: space-between;
  padding-bottom: 18px;
  border-bottom: 1px solid var(--line);
}

.suite-name {
  color: var(--green);
  font: 780 16px/1 var(--mono);
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.suite-meta {
  display: flex;
  gap: 9px;
  align-items: center;
}

.suite-context {
  color: var(--faint);
  font: 12px/1.35 var(--mono);
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.evidence-rank {
  display: inline-block;
  padding: 6px 8px;
  border: 1px solid color-mix(in srgb, var(--green-bright) 58%, var(--line));
  color: var(--green-bright);
  font: 12px/1 var(--mono);
  letter-spacing: 0.03em;
  text-decoration: none;
  text-transform: uppercase;
}

.evidence-rank:hover {
  border-color: var(--green-bright);
  background: var(--green-soft);
}

.evidence-tag {
  display: inline-block;
  padding: 6px 8px;
  border: 1px solid #729b83;
  color: #91b89e;
  font: 12px/1 var(--mono);
  letter-spacing: 0.03em;
  text-transform: uppercase;
}

.evidence-tag.local {
  border-color: #a88752;
  color: #d4ad6c;
}

.competition-snapshot {
  margin-top: 24px;
  border: 1px solid color-mix(in srgb, var(--green-bright) 46%, var(--line));
  background: color-mix(in srgb, var(--green-soft) 58%, var(--surface));
}

.competition-snapshot > header {
  display: flex;
  gap: 20px;
  align-items: center;
  justify-content: space-between;
  padding: 15px 17px;
  border-bottom: 1px solid var(--line);
}

.competition-snapshot > header > div {
  display: grid;
  gap: 4px;
}

.competition-snapshot > header span,
.competition-snapshot dt,
.retained-measurement-head span,
.retained-measurement-head small {
  font-family: var(--mono);
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.competition-snapshot > header span {
  color: var(--green-bright);
  font-size: 11px;
}

.competition-snapshot > header strong {
  color: var(--ink);
  font: 650 15px/1.3 var(--mono);
}

.competition-snapshot > header a {
  color: var(--green-bright);
  font: 12px/1.2 var(--mono);
  text-decoration: none;
  text-transform: uppercase;
}

.competition-snapshot dl {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  margin: 0;
}

.competition-snapshot dl > div {
  min-width: 0;
  padding: 16px 17px;
  border-right: 1px solid var(--line);
}

.competition-snapshot dl > div:last-child {
  border-right: 0;
}

.competition-snapshot dt {
  color: var(--faint);
  font-size: 10px;
}

.competition-snapshot dd {
  margin: 7px 0 0;
  color: var(--ink);
  font: 560 clamp(17px, 2vw, 23px)/1.1 var(--mono);
  letter-spacing: -0.035em;
  overflow-wrap: anywhere;
}

.competition-snapshot > p {
  margin: 0;
  padding: 14px 17px;
  border-top: 1px solid var(--line);
  color: var(--muted);
  font-size: 13px;
  line-height: 1.55;
}

.competition-snapshot > p code {
  color: var(--ink);
  font-size: 0.92em;
}

.post-competition-card {
  margin-top: 14px;
  border: 1px solid color-mix(in srgb, var(--orange) 55%, var(--line));
  background: color-mix(in srgb, var(--orange) 10%, var(--surface));
}

.post-competition-card > header {
  display: grid;
  gap: 4px;
  padding: 15px 17px;
  border-bottom: 1px solid var(--line);
}

.post-competition-card > header span,
.post-competition-card dt,
.post-competition-card small {
  font-family: var(--mono);
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.post-competition-card > header span {
  color: var(--orange);
  font-size: 11px;
}

.post-competition-card > header strong {
  color: var(--ink);
  font: 650 15px/1.3 var(--mono);
}

.post-competition-card > p {
  margin: 0;
  padding: 14px 17px;
  color: var(--muted);
  font-size: 13px;
  line-height: 1.55;
}

.post-competition-card dl {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  margin: 0;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.post-competition-card dl > div {
  min-width: 0;
  padding: 16px 17px;
  border-right: 1px solid var(--line);
}

.post-competition-card dl > div:last-child {
  border-right: 0;
}

.post-competition-card dt {
  color: var(--faint);
  font-size: 10px;
}

.post-competition-card dd {
  margin: 7px 0 5px;
  color: var(--ink);
  font: 560 clamp(17px, 2vw, 23px)/1.1 var(--mono);
  letter-spacing: -0.035em;
  overflow-wrap: anywhere;
}

.post-competition-card small {
  color: var(--faint);
  font-size: 9px;
  line-height: 1.45;
}

.post-competition-card > p.post-competition-boundary {
  color: var(--faint);
}

.retained-measurement-head {
  display: flex;
  gap: 18px;
  align-items: center;
  justify-content: space-between;
  margin-top: 30px;
  padding-top: 22px;
  border-top: 1px solid var(--line);
}

.retained-measurement-head > div {
  display: grid;
  gap: 6px;
}

.retained-measurement-head span {
  color: var(--ink);
  font-size: 12px;
}

.retained-measurement-head small {
  color: var(--faint);
  font-size: 10px;
}

.suite-score {
  display: flex;
  gap: 14px;
  align-items: baseline;
  margin-top: 27px;
}

.suite-score strong {
  color: var(--ink);
  font: 430 clamp(40px, 4.5vw, 59px)/0.95 var(--mono);
  letter-spacing: -0.06em;
  font-variant-numeric: tabular-nums;
}

.suite-score span {
  color: var(--muted);
  font: 12px/1.4 var(--mono);
  text-transform: uppercase;
}

.suite-pass {
  margin: 16px 0 27px;
  color: var(--muted);
  font: 14px/1.4 var(--mono);
}

.bench-list {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 12px 34px;
  padding-top: 25px;
  border-top: 1px solid var(--line);
}

.bench-row {
  display: grid;
  grid-template-columns: minmax(145px, 1.3fr) minmax(80px, 0.8fr) 90px;
  gap: 12px;
  align-items: center;
  color: var(--muted);
  font: 12px/1.35 var(--mono);
}

.bar-track {
  height: 7px;
  overflow: hidden;
  background: var(--line);
}

.bar-track i {
  display: block;
  height: 100%;
  background: var(--green-bright);
}

.bench-row b {
  color: var(--ink);
  font-weight: 600;
  text-align: right;
  font-variant-numeric: tabular-nums;
}

.benchmarks > .phase-note {
  margin: 0;
  padding: 26px;
  border: 1px solid var(--line);
  background: var(--surface);
}

.note {
  color: var(--math-known);
}

footer {
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  gap: 34px;
  align-items: center;
  min-height: 130px;
  padding: 28px max(32px, calc((100% - 1320px) / 2));
  border-top: 1px solid var(--line);
  background: #1e1f1d;
  color: var(--muted);
  font: 13px/1.55 var(--mono);
  letter-spacing: 0.02em;
  text-transform: uppercase;
}

footer .wordmark {
  color: var(--ink);
}

footer p {
  margin: 0;
  text-align: center;
}

.footer-links {
  display: flex;
  gap: 14px;
  align-items: center;
  justify-self: end;
  flex-wrap: wrap;
}

.footer-links a {
  justify-self: end;
  color: var(--green-bright);
  text-decoration: none;
}

/* --------------------------------------------------------------------------
   Source-backed kernel microscope

   Hardware color is intentionally independent of the mathematics above:
   global memory = blue, shared/DSM = cyan, compute = amber, TMEM = violet,
   synchronization = red.  No color represents measured utilization.
   -------------------------------------------------------------------------- */

.kernel-smem-math {
  color: #7dc8d3 !important;
  fill: #7dc8d3 !important;
}

.kernel-tmem-math {
  color: #b8a2e0 !important;
  fill: #b8a2e0 !important;
}

.kernel-microscope-section {
  position: relative;
  width: 100%;
  margin-left: 0;
}

.kernel-microscope-section .kernel-focus-header {
  grid-template-columns: minmax(0, 1.2fr) minmax(360px, 0.62fr);
  gap: 72px;
  padding: 0 0 38px;
}

.kernel-microscope-section .kernel-focus-header h2 {
  max-width: 900px;
  font-size: clamp(48px, 4vw, 62px);
}

.kernel-microscope-section .kernel-focus-header > p {
  max-width: 510px;
  font-size: 17px;
  line-height: 1.72;
}

.kernel-microscope {
  min-width: 0;
  border: 1px solid var(--line-strong);
  background:
    linear-gradient(rgba(241, 228, 195, 0.018) 1px, transparent 1px),
    linear-gradient(90deg, rgba(241, 228, 195, 0.018) 1px, transparent 1px),
    var(--surface);
  background-size: 40px 40px;
}

.kernel-microscope-title {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(260px, 0.42fr);
  gap: 36px;
  align-items: center;
  padding: 25px 28px;
  border-bottom: 1px solid var(--line-strong);
  background: #1d1f1b;
}

.kernel-microscope-title > div {
  min-width: 0;
}

.kernel-microscope-title span {
  display: block;
  margin-bottom: 10px;
  color: var(--green);
  font: 750 13px/1.25 var(--mono);
  letter-spacing: 0.08em;
}

.kernel-microscope-title code {
  display: block;
  overflow-wrap: anywhere;
  color: var(--ink);
  font: 650 21px/1.35 var(--mono);
}

.kernel-microscope-title > p {
  margin: 0;
  padding-left: 20px;
  border-left: 1px solid var(--line-strong);
  color: var(--muted);
  font-size: 15.5px;
  line-height: 1.62;
}

.kernel-route-strip {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  margin: 0;
  padding: 0;
  border-bottom: 1px solid var(--line-strong);
  list-style: none;
}

.kernel-route-strip li {
  position: relative;
  display: grid;
  grid-template-columns: 27px minmax(0, 1fr);
  gap: 10px;
  min-width: 0;
  min-height: 102px;
  padding: 18px 16px 17px;
  border-right: 1px solid var(--line);
  background: rgba(17, 19, 16, 0.48);
}

.kernel-route-strip li:last-child {
  border-right: 0;
}

.kernel-route-strip li::before {
  position: absolute;
  top: -1px;
  right: 0;
  left: 0;
  height: 3px;
  background: transparent;
  content: "";
}

.kernel-route-strip li.is-selected {
  background: #22261b;
}

.kernel-route-strip li.is-selected::before {
  background: var(--green);
}

.kernel-route-strip li > span {
  color: var(--faint);
  font: 700 13px/1.4 var(--mono);
}

.kernel-route-strip li.is-selected > span {
  color: var(--green);
}

.kernel-route-strip strong,
.kernel-route-strip small {
  display: block;
}

.kernel-route-strip strong {
  color: var(--ink);
  font-size: 14.5px;
  line-height: 1.35;
}

.kernel-route-strip small {
  margin-top: 7px;
  color: var(--muted);
  font-size: 13px;
  line-height: 1.42;
}

.kernel-fact-rail {
  display: grid;
  grid-template-columns: repeat(6, minmax(0, 1fr));
  margin: 0;
  border-bottom: 1px solid var(--line-strong);
  background: #141613;
}

.kernel-fact-rail > div {
  min-width: 0;
  padding: 14px 15px 15px;
  border-right: 1px solid var(--line);
}

.kernel-fact-rail > div:last-child {
  border-right: 0;
}

.kernel-fact-rail dt {
  color: var(--faint);
  font: 700 12px/1.25 var(--mono);
  letter-spacing: 0.06em;
}

.kernel-fact-rail dd {
  margin: 7px 0 0;
  overflow-wrap: anywhere;
  color: var(--ink);
  font: 600 13px/1.45 var(--mono);
}

.kernel-phase-tabs {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  border-bottom: 1px solid var(--line-strong);
  background: var(--surface-2);
}

.kernel-phase-tabs button {
  position: relative;
  display: grid;
  grid-template-columns: 30px minmax(0, 1fr);
  min-width: 0;
  min-height: 104px;
  padding: 17px 16px 16px;
  border: 0;
  border-right: 1px solid var(--line);
  border-radius: 0;
  background: transparent;
  color: var(--muted);
  cursor: pointer;
  text-align: left;
}

.kernel-phase-tabs button:last-child {
  border-right: 0;
}

.kernel-phase-tabs button::after {
  position: absolute;
  right: 15px;
  bottom: -1px;
  left: 15px;
  height: 3px;
  background: transparent;
  content: "";
}

.kernel-phase-tabs button:hover,
.kernel-phase-tabs button.is-active {
  background: #25281f;
  color: var(--ink);
}

.kernel-phase-tabs button.is-active::after {
  background: var(--green);
}

.kernel-phase-tabs button > span {
  grid-row: 1 / 3;
  color: var(--faint);
  font: 700 13px/1.4 var(--mono);
}

.kernel-phase-tabs button.is-active > span {
  color: var(--green);
}

.kernel-phase-tabs b,
.kernel-phase-tabs small {
  display: block;
}

.kernel-phase-tabs b {
  color: inherit;
  font: 750 14px/1.3 var(--mono);
  letter-spacing: 0.05em;
}

.kernel-phase-tabs small {
  margin-top: 6px;
  color: var(--muted);
  font-size: 13px;
  line-height: 1.4;
}

.kernel-microscope-body {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 420px;
  align-items: start;
}

.kernel-stage {
  min-width: 0;
  border-right: 1px solid var(--line-strong);
}

.kernel-matrix-zone,
.kernel-owner-zone,
.kernel-memory-diagram {
  min-width: 0;
  padding: 26px;
  border-bottom: 1px solid var(--line-strong);
  background: rgba(19, 21, 18, 0.82);
}

.kernel-matrix-heading,
.kernel-owner-zone > header,
.kernel-memory-diagram > header {
  display: flex;
  gap: 22px;
  align-items: flex-start;
  justify-content: space-between;
  margin-bottom: 22px;
}

.kernel-matrix-heading > div > span,
.kernel-owner-zone > header span,
.kernel-memory-diagram > header span {
  display: block;
  margin-bottom: 7px;
  color: var(--green);
  font: 750 12.5px/1.25 var(--mono);
  letter-spacing: 0.07em;
}

.kernel-matrix-heading strong {
  color: var(--ink);
  font-size: 18px;
  line-height: 1.4;
}

.kernel-matrix-heading p,
.kernel-owner-zone > header b,
.kernel-memory-diagram > header b {
  max-width: 470px;
  margin: 0;
  color: var(--muted);
  font: 500 13px/1.5 var(--mono);
  text-align: right;
}

.kernel-matrix-frame {
  position: relative;
  min-height: 414px;
  padding: 32px 42px 44px 62px;
  border: 1px solid var(--line);
  background: #11130f;
}

.kernel-matrix-grid {
  display: grid;
  grid-template-columns: repeat(var(--matrix-columns), minmax(0, 1fr));
  grid-template-rows: repeat(var(--matrix-rows), minmax(0, 1fr));
  gap: 2px;
  width: min(62%, 510px);
  aspect-ratio: 1;
  margin: 16px auto 0;
}

.kernel-matrix-qr .kernel-matrix-grid {
  width: min(72%, 620px);
  aspect-ratio: 1.34;
}

.kernel-matrix-cholesky {
  display: grid;
  grid-template-columns: minmax(115px, 160px) minmax(260px, 1fr) minmax(115px, 160px);
  gap: 16px;
  align-items: center;
}

.kernel-matrix-cholesky .kernel-matrix-grid {
  grid-column: 2;
  width: 100%;
  max-width: 510px;
}

.kernel-matrix-cholesky .kernel-matrix-callout {
  position: static;
  width: 100%;
  max-width: none;
}

.kernel-matrix-cholesky .is-history-note {
  grid-column: 1;
  grid-row: 1;
}

.kernel-matrix-cholesky .is-output-note {
  grid-column: 3;
  grid-row: 1;
}

.kernel-matrix-eigh {
  display: grid;
  grid-template-columns: minmax(100px, 140px) minmax(260px, 1fr) minmax(100px, 140px);
  gap: 14px;
  align-items: center;
}

.kernel-matrix-eigh .kernel-matrix-grid {
  grid-column: 2;
  width: 100%;
  max-width: 510px;
}

.kernel-matrix-eigh .kernel-matrix-callout {
  position: static;
  width: 100%;
  max-width: none;
}

.kernel-matrix-eigh .is-resident-note {
  grid-column: 1;
  grid-row: 1;
}

.kernel-matrix-eigh .is-panel-note {
  grid-column: 3;
  grid-row: 1;
}

.kernel-matrix-cell {
  display: block;
  min-width: 0;
  border: 1px solid #393c35;
  background: #262923;
  transition: border-color 160ms ease, background 160ms ease, opacity 160ms ease, transform 160ms ease;
}

.kernel-matrix-cell.is-masked {
  border-color: #23251f;
  background: #171915;
  opacity: 0.38;
}

.kernel-matrix-cell.is-history {
  background: rgba(85, 128, 154, 0.3);
}

.kernel-matrix-cell.is-output {
  background: rgba(183, 150, 73, 0.22);
}

.kernel-matrix-cell.is-rank-zero {
  background: rgba(85, 128, 154, 0.28);
}

.kernel-matrix-cell.is-rank-one {
  background: rgba(82, 143, 150, 0.25);
}

.kernel-matrix-cell.is-hot {
  z-index: 1;
  border-color: #d8ff65;
  background: #8aa33d;
  box-shadow: 0 0 0 1px rgba(216, 255, 101, 0.2);
  transform: scale(1.035);
}

.kernel-matrix-cell.is-written {
  border-color: #edb45f;
  background: #a16c32;
}

.kernel-matrix-axis {
  position: absolute;
  color: var(--muted);
  font: 650 13px/1.3 var(--mono);
}

.kernel-matrix-axis.is-column-axis {
  top: 16px;
  left: 50%;
  transform: translateX(-50%);
}

.kernel-matrix-axis.is-row-axis {
  top: 50%;
  left: 14px;
  writing-mode: vertical-rl;
  transform: translateY(-50%) rotate(180deg);
}

.kernel-matrix-callout {
  position: absolute;
  display: block;
  max-width: 260px;
  padding: 8px 10px;
  border: 1px solid var(--line-strong);
  background: #1d201b;
  color: var(--muted);
  font: 500 12.5px/1.45 var(--mono);
}

.kernel-matrix-callout b {
  display: block;
  margin-top: 3px;
  color: var(--ink);
  font-weight: 650;
}

.kernel-matrix-callout.is-history-note,
.kernel-matrix-callout.is-rank-zero-note,
.kernel-matrix-callout.is-resident-note {
  top: 54px;
  left: 18px;
}

.kernel-matrix-callout.is-output-note,
.kernel-matrix-callout.is-rank-one-note,
.kernel-matrix-callout.is-panel-note {
  right: 18px;
  bottom: 18px;
}

.kernel-owner-diagram {
  min-width: 0;
}

.kernel-cta-card {
  min-width: 0;
  border: 1px solid var(--line-strong);
  background: #141613;
}

.kernel-cta-card > header {
  display: flex;
  gap: 18px;
  align-items: baseline;
  justify-content: space-between;
  padding: 14px 16px;
  border-bottom: 1px solid var(--line);
  background: #20221e;
}

.kernel-cta-card > header span {
  color: var(--green);
  font: 750 12.5px/1.3 var(--mono);
  letter-spacing: 0.06em;
}

.kernel-cta-card > header strong {
  color: var(--ink);
  font: 650 14px/1.4 var(--mono);
}

.kernel-owner-cholesky .kernel-cta-card {
  display: grid;
  grid-template-columns: 1fr 1fr;
}

.kernel-owner-cholesky .kernel-cta-card > header {
  grid-column: 1 / -1;
}

.kernel-warp-group {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 9px;
  padding: 18px;
}

.kernel-warp-group + .kernel-warp-group {
  border-left: 1px solid var(--line);
}

.kernel-warp-group > div {
  grid-column: 1 / -1;
  display: flex;
  gap: 16px;
  justify-content: space-between;
  margin-bottom: 4px;
}

.kernel-warp-group > div b,
.kernel-warp-group > div span {
  font: 650 13px/1.35 var(--mono);
}

.kernel-warp-group > div b {
  color: var(--ink);
}

.kernel-warp-group > div span {
  color: var(--muted);
}

[data-kernel-warp] {
  display: grid;
  min-height: 44px;
  place-items: center;
  border: 1px solid #42463e;
  background: #242720;
  color: var(--muted);
  font: 650 13px/1 var(--mono);
  font-style: normal;
  transition: border-color 160ms ease, background 160ms ease, color 160ms ease, opacity 160ms ease;
}

[data-kernel-warp].is-active {
  border-color: #d8ff65;
  background: #3e4a25;
  color: var(--ink);
}

.kernel-owner-qr {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 132px minmax(0, 1fr);
  gap: 14px;
  align-items: stretch;
}

.kernel-warp-grid {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 7px;
  padding: 15px;
}

.kernel-warp-grid [data-kernel-warp] {
  min-height: 36px;
}

.kernel-dsm-bridge {
  display: flex;
  min-height: 100%;
  padding: 14px 10px;
  border: 1px dashed #557e88;
  background: rgba(55, 107, 117, 0.13);
  flex-direction: column;
  justify-content: center;
  text-align: center;
  transition: border-color 160ms ease, background 160ms ease;
}

.kernel-dsm-bridge.is-active {
  border-color: #7dc8d3;
  background: rgba(72, 151, 161, 0.26);
}

.kernel-dsm-bridge span,
.kernel-dsm-bridge b,
.kernel-dsm-bridge small {
  display: block;
}

.kernel-dsm-bridge span {
  color: #7dc8d3;
  font: 750 13px/1.3 var(--mono);
}

.kernel-dsm-bridge b {
  margin-top: 9px;
  color: var(--ink);
  font-size: 14px;
  line-height: 1.35;
}

.kernel-dsm-bridge small {
  margin-top: 6px;
  color: var(--muted);
  font-size: 12.5px;
  line-height: 1.35;
}

.kernel-lane-map {
  grid-column: 1 / -1;
  display: grid;
  grid-template-columns: 190px minmax(0, 1fr);
  gap: 12px 18px;
  align-items: center;
  padding: 15px;
  border: 1px solid var(--line);
  background: #11130f;
}

.kernel-lane-map > span {
  color: var(--ink);
  font: 700 13px/1.4 var(--mono);
}

.kernel-lane-map > div {
  display: grid;
  grid-template-columns: repeat(8, minmax(0, 1fr));
  gap: 5px;
}

.kernel-lane-map [data-kernel-warp] {
  min-height: 34px;
  padding: 4px;
  font-size: 12px;
  text-align: center;
}

.kernel-lane-map p {
  grid-column: 2;
  margin: 0;
  color: var(--muted);
  font: 500 13px/1.45 var(--mono);
}

.kernel-eigh-warp-zero {
  display: grid;
  grid-template-columns: 56px minmax(0, 1fr);
  gap: 14px;
  align-items: center;
  margin: 16px;
  padding: 14px;
}

.kernel-eigh-warp-zero b {
  color: var(--green);
  font: 750 18px/1 var(--mono);
}

.kernel-eigh-warp-zero span {
  color: var(--ink);
  font-size: 14px;
}

.kernel-worker-warps {
  display: grid;
  grid-template-columns: repeat(8, minmax(0, 1fr));
  gap: 7px;
  padding: 0 16px 16px;
}

.kernel-worker-warps > div {
  grid-column: 1 / -1;
  display: flex;
  gap: 18px;
  justify-content: space-between;
  margin-bottom: 3px;
}

.kernel-worker-warps > div b,
.kernel-worker-warps > div span {
  font: 650 13px/1.4 var(--mono);
}

.kernel-worker-warps > div b {
  color: var(--ink);
}

.kernel-worker-warps > div span {
  color: var(--muted);
}

.kernel-worker-warps [data-kernel-warp] {
  min-height: 35px;
}

.kernel-memory-diagram {
  border-bottom: 0;
}

.kernel-memory-flow {
  display: flex;
  min-width: 0;
  align-items: stretch;
}

.kernel-memory-node {
  display: flex;
  min-width: 0;
  min-height: 104px;
  padding: 13px 11px;
  border: 1px solid var(--line-strong);
  background: #1b1e19;
  flex: 1 1 0;
  flex-direction: column;
  justify-content: center;
  opacity: 0.48;
  transition: border-color 160ms ease, background 160ms ease, opacity 160ms ease, transform 160ms ease;
}

.kernel-memory-node.is-active {
  opacity: 1;
  transform: translateY(-3px);
}

.kernel-memory-node span,
.kernel-memory-node strong {
  display: block;
  min-width: 0;
  overflow-wrap: anywhere;
}

.kernel-memory-node span {
  font: 750 12.5px/1.3 var(--mono);
  letter-spacing: 0.04em;
}

.kernel-memory-node strong {
  margin-top: 8px;
  color: var(--ink);
  font-size: 13px;
  font-weight: 650;
  line-height: 1.4;
}

.kernel-memory-node.is-gmem span {
  color: #84b6d7;
}

.kernel-memory-node.is-gmem.is-active {
  border-color: #7399b8;
  background: rgba(67, 104, 132, 0.25);
}

.kernel-memory-node.is-smem span {
  color: #7dc8d3;
}

.kernel-memory-node.is-smem.is-active {
  border-color: #6fadb5;
  background: rgba(61, 127, 136, 0.25);
}

.kernel-memory-node.is-compute span {
  color: #efb45d;
}

.kernel-memory-node.is-compute.is-active {
  border-color: #c98c4a;
  background: rgba(153, 99, 42, 0.25);
}

.kernel-memory-node.is-tmem span {
  color: #c0a8e7;
}

.kernel-memory-node.is-tmem.is-active {
  border-color: #9788b0;
  background: rgba(113, 91, 144, 0.26);
}

.kernel-memory-node.is-register span {
  color: #b6a6d6;
}

.kernel-memory-node.is-register.is-active {
  border-color: #8f7cac;
  background: rgba(102, 84, 132, 0.24);
}

.kernel-memory-arrow {
  display: grid;
  width: 26px;
  flex: 0 0 26px;
  place-items: center;
  color: var(--faint);
  font: 700 15px/1 var(--mono);
}

.kernel-sync-row {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 10px;
  margin-top: 12px;
}

.kernel-sync-token {
  display: flex;
  gap: 14px;
  align-items: baseline;
  min-width: 0;
  padding: 10px 12px;
  border: 1px dashed #70474c;
  background: rgba(102, 48, 54, 0.1);
  opacity: 0.52;
  transition: opacity 160ms ease, border-color 160ms ease, background 160ms ease;
}

.kernel-sync-token.is-active {
  border-color: #d77e82;
  background: rgba(130, 59, 66, 0.22);
  opacity: 1;
}

.kernel-sync-token b {
  color: #e59498;
  font: 700 12.5px/1.4 var(--mono);
}

.kernel-sync-token span {
  color: var(--muted);
  font-size: 13px;
  line-height: 1.4;
}

.kernel-inactive-units {
  display: flex;
  gap: 8px;
  flex-wrap: wrap;
  margin-top: 12px;
}

.kernel-inactive-units span {
  padding: 7px 9px;
  border: 1px solid #34372f;
  background: #171915;
  color: var(--faint);
  font: 650 12px/1.3 var(--mono);
  text-decoration: line-through;
}

.kernel-inactive-units b {
  color: var(--muted);
  font-weight: 650;
}

.kernel-phase-detail {
  position: sticky;
  top: 18px;
  min-width: 0;
  padding: 30px 28px;
  background: #171915;
}

.kernel-phase-index {
  display: flex;
  gap: 16px;
  align-items: center;
  justify-content: space-between;
  padding-bottom: 17px;
  border-bottom: 1px solid var(--line);
}

.kernel-phase-index span,
.kernel-phase-index b {
  font: 700 12.5px/1.35 var(--mono);
  letter-spacing: 0.04em;
}

.kernel-phase-index span {
  color: var(--green);
}

.kernel-phase-index b {
  color: var(--muted);
  text-align: right;
}

.kernel-phase-detail h3 {
  margin: 25px 0 0;
  color: var(--ink);
  font-family: var(--serif);
  font-size: 38px;
  font-weight: 400;
  letter-spacing: -0.025em;
  line-height: 1.04;
}

.kernel-phase-detail > p {
  margin: 16px 0 0;
  color: var(--muted);
  font-size: 16px;
  line-height: 1.66;
}

.kernel-phase-math {
  min-width: 0;
  overflow: hidden;
  margin-top: 22px;
  padding: 21px 18px;
  border: 1px solid var(--line-strong);
  background: #10120f;
  color: var(--ink);
  font: italic 27px/1.5 var(--math);
}

.kernel-phase-math mjx-container {
  font-size: 0.92em;
}

.kernel-phase-facts {
  margin: 22px 0 0;
  border-top: 1px solid var(--line);
}

.kernel-phase-facts > div {
  padding: 15px 0 16px;
  border-bottom: 1px solid var(--line);
}

.kernel-phase-facts dt {
  color: var(--green);
  font: 750 12px/1.35 var(--mono);
  letter-spacing: 0.06em;
}

.kernel-phase-facts dd {
  margin: 7px 0 0;
  overflow-wrap: anywhere;
  color: var(--text);
  font-size: 15px;
  line-height: 1.58;
}

.kernel-code-landmark {
  margin-top: 22px;
  border: 1px solid var(--line-strong);
  background: #10120f;
}

.kernel-code-landmark > span {
  display: block;
  padding: 10px 12px;
  border-bottom: 1px solid var(--line);
  color: var(--faint);
  font: 700 12px/1.3 var(--mono);
  letter-spacing: 0.05em;
}

.kernel-code-landmark pre {
  overflow-x: hidden;
  margin: 0;
  padding: 14px 13px 16px;
  scrollbar-color: var(--line-strong) transparent;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
}

.kernel-code-landmark code {
  color: #d8d4c9;
  font: 500 13px/1.65 var(--mono);
}

.kernel-phase-detail .kernel-evidence-boundary {
  margin-top: 22px;
  padding: 15px 16px;
  border-left: 3px solid #d77e82;
  background: rgba(119, 53, 59, 0.13);
  color: var(--muted);
  font-size: 13px;
  line-height: 1.6;
}

.kernel-evidence-boundary b {
  display: block;
  margin-bottom: 4px;
  color: #e59498;
  font: 750 12px/1.3 var(--mono);
  letter-spacing: 0.06em;
}

.kernel-microscope-footer {
  display: grid;
  grid-template-columns: minmax(0, 0.7fr) minmax(0, 1.3fr);
  gap: 28px;
  align-items: center;
  padding: 18px 20px;
  border-top: 1px solid var(--line-strong);
  background: #11130f;
}

.kernel-hardware-legend {
  display: flex;
  gap: 12px;
  flex-wrap: wrap;
}

.kernel-hardware-legend span {
  display: inline-flex;
  gap: 7px;
  align-items: center;
  color: var(--muted);
  font: 650 12px/1.4 var(--mono);
}

.kernel-hardware-legend i {
  width: 9px;
  height: 9px;
  border-radius: 50%;
  background: var(--faint);
}

.kernel-hardware-legend .is-gmem i { background: #7399b8; }
.kernel-hardware-legend .is-smem i { background: #7dc8d3; }
.kernel-hardware-legend .is-compute i { background: #c98c4a; }
.kernel-hardware-legend .is-tmem i,
.kernel-hardware-legend .is-register i { background: #9788b0; }
.kernel-hardware-legend .is-sync i { background: #d77e82; }

.kernel-microscope-footer nav {
  display: flex;
  gap: 8px;
  justify-content: flex-end;
  flex-wrap: wrap;
}

.kernel-microscope-footer a {
  padding: 8px 10px;
  border: 1px solid var(--line-strong);
  color: var(--ink);
  font: 600 12px/1.35 var(--mono);
  text-decoration: none;
}

.kernel-microscope-footer a:hover {
  border-color: var(--green);
  color: var(--green);
}

.conceptual-appendix,
.route-appendix {
  border-top: 1px solid var(--line-strong);
}

.conceptual-appendix > summary,
.route-appendix > summary {
  display: grid;
  grid-template-columns: minmax(260px, 0.7fr) minmax(320px, 1fr) minmax(260px, 0.8fr);
  gap: 28px;
  align-items: center;
  padding: 22px 24px;
  border: 1px solid var(--line-strong);
  background: var(--surface);
  cursor: pointer;
  list-style: none;
}

.conceptual-appendix > summary::-webkit-details-marker,
.route-appendix > summary::-webkit-details-marker {
  display: none;
}

.conceptual-appendix > summary span,
.route-appendix > summary span {
  color: var(--green);
  font: 750 12px/1.4 var(--mono);
  letter-spacing: 0.06em;
}

.conceptual-appendix > summary strong,
.route-appendix > summary strong {
  color: var(--ink);
  font-size: 17px;
}

.conceptual-appendix > summary small,
.route-appendix > summary small {
  color: var(--muted);
  font-size: 13px;
  line-height: 1.5;
}

.conceptual-appendix[open] > summary,
.route-appendix[open] > summary {
  margin-bottom: 42px;
  border-color: var(--green);
}

@media (max-width: 1400px) {
  .kernel-microscope-body {
    grid-template-columns: 1fr;
  }

  .kernel-stage {
    border-right: 0;
    border-bottom: 1px solid var(--line-strong);
  }

  .kernel-phase-detail {
    position: static;
  }

  .kernel-matrix-grid {
    width: min(64%, 570px);
  }

  .kernel-phase-detail h3 {
    max-width: 760px;
  }

  .kernel-phase-detail > p,
  .kernel-phase-facts,
  .kernel-code-landmark,
  .kernel-phase-detail .kernel-evidence-boundary {
    max-width: 880px;
  }

  .conceptual-appendix > summary,
  .route-appendix > summary {
    grid-template-columns: 1fr;
    gap: 7px;
  }
}

@media (max-width: 1100px) {
  .kernel-microscope-section {
    width: 100%;
    margin-left: 0;
  }

  .kernel-microscope-section .kernel-focus-header {
    grid-template-columns: 1fr;
    gap: 22px;
  }

  .kernel-microscope-section .kernel-focus-header > p {
    max-width: 780px;
  }

  .kernel-fact-rail {
    grid-template-columns: repeat(3, minmax(0, 1fr));
  }

  .kernel-fact-rail > div:nth-child(3) {
    border-right: 0;
  }

  .kernel-fact-rail > div:nth-child(-n + 3) {
    border-bottom: 1px solid var(--line);
  }

}

@media (max-width: 760px) {
  .kernel-route-strip {
    grid-template-columns: 1fr;
  }

  .kernel-route-strip li {
    min-height: 0;
    padding: 13px 15px;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .kernel-route-strip li:last-child {
    border-bottom: 0;
  }

  .kernel-route-strip small {
    margin-top: 3px;
  }

  .kernel-phase-tabs {
    grid-template-columns: 1fr 1fr;
  }

  .kernel-phase-tabs button {
    min-height: 94px;
    border-bottom: 1px solid var(--line);
  }

  .kernel-phase-tabs button:nth-child(even) {
    border-right: 0;
  }

  .kernel-phase-tabs button:last-child {
    grid-column: 1 / -1;
    border-bottom: 0;
  }

  .kernel-owner-qr {
    grid-template-columns: 1fr;
  }

  .kernel-dsm-bridge {
    min-height: 112px;
  }

  .kernel-lane-map {
    grid-column: 1;
    grid-template-columns: 1fr;
  }

  .kernel-lane-map p {
    grid-column: 1;
  }

  .kernel-memory-flow {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 8px;
  }

  .kernel-memory-arrow {
    display: none;
  }

  .kernel-memory-node {
    min-height: 94px;
  }

  .kernel-microscope-footer {
    grid-template-columns: 1fr;
  }

  .kernel-microscope-footer nav {
    justify-content: flex-start;
  }
}

@media (max-width: 680px) {
  .kernel-microscope-section {
    margin-top: 96px;
  }

  .kernel-microscope-section .kernel-focus-header h2 {
    font-size: 42px;
    line-height: 1;
  }

  .kernel-microscope-section .kernel-focus-header > p {
    font-size: 16px;
  }

  .kernel-microscope-title {
    grid-template-columns: 1fr;
    gap: 14px;
    padding: 21px 18px;
  }

  .kernel-microscope-title code {
    font-size: 17px;
  }

  .kernel-microscope-title > p {
    padding: 13px 0 0;
    border-top: 1px solid var(--line);
    border-left: 0;
  }

  .kernel-fact-rail {
    grid-template-columns: 1fr 1fr;
  }

  .kernel-fact-rail > div,
  .kernel-fact-rail > div:nth-child(3) {
    border-right: 1px solid var(--line);
    border-bottom: 1px solid var(--line);
  }

  .kernel-fact-rail > div:nth-child(even) {
    border-right: 0;
  }

  .kernel-fact-rail > div:nth-last-child(-n + 2) {
    border-bottom: 0;
  }

  .kernel-phase-tabs button {
    padding: 14px 12px;
  }

  .kernel-phase-tabs small {
    font-size: 12.5px;
  }

  .kernel-matrix-zone,
  .kernel-owner-zone,
  .kernel-memory-diagram {
    padding: 18px 15px;
  }

  .kernel-matrix-heading,
  .kernel-owner-zone > header,
  .kernel-memory-diagram > header {
    align-items: flex-start;
    flex-direction: column;
    gap: 8px;
  }

  .kernel-matrix-heading p,
  .kernel-owner-zone > header b,
  .kernel-memory-diagram > header b {
    text-align: left;
  }

  .kernel-matrix-frame {
    display: flex;
    min-height: 0;
    padding: 16px;
    flex-direction: column;
  }

  .kernel-matrix-grid,
  .kernel-matrix-qr .kernel-matrix-grid {
    order: 1;
    width: 100%;
    margin: 0;
  }

  .kernel-matrix-axis {
    display: none;
  }

  .kernel-matrix-callout {
    position: static;
    order: 2;
    width: 100%;
    max-width: none;
    margin-top: 8px;
    font-size: 12px;
  }

  .kernel-owner-cholesky .kernel-cta-card {
    grid-template-columns: 1fr;
  }

  .kernel-owner-cholesky .kernel-cta-card > header {
    grid-column: 1;
  }

  .kernel-warp-group + .kernel-warp-group {
    border-top: 1px solid var(--line);
    border-left: 0;
  }

  .kernel-cta-card > header {
    align-items: flex-start;
    flex-direction: column;
    gap: 5px;
  }

  .kernel-warp-grid {
    grid-template-columns: repeat(4, minmax(0, 1fr));
  }

  .kernel-lane-map > div {
    grid-template-columns: repeat(4, minmax(0, 1fr));
  }

  .kernel-lane-map [data-kernel-warp] {
    min-height: 42px;
    font-size: 12px;
  }

  .kernel-worker-warps {
    grid-template-columns: repeat(4, minmax(0, 1fr));
  }

  .kernel-worker-warps > div {
    align-items: flex-start;
    flex-direction: column;
    gap: 3px;
  }

  .kernel-sync-row {
    grid-template-columns: 1fr;
  }

  .kernel-sync-token {
    align-items: flex-start;
    flex-direction: column;
    gap: 3px;
  }

  .kernel-phase-detail {
    padding: 25px 18px;
  }

  .kernel-phase-detail h3 {
    font-size: 34px;
  }

  .kernel-phase-math {
    padding: 18px 14px;
    font-size: 24px;
  }

  .kernel-microscope-footer {
    padding: 16px;
  }

  .kernel-microscope-footer nav {
    display: grid;
    grid-template-columns: 1fr;
  }

  .conceptual-appendix > summary,
  .route-appendix > summary {
    padding: 18px;
  }
}

@media (max-width: 1240px) {
  .tutorial-layout {
    grid-template-columns: 190px minmax(0, 1fr);
    gap: 36px;
  }

  .visual-pair {
    grid-template-columns: 1fr;
  }

  .matrix-card svg {
    max-height: 480px;
    min-width: 0;
  }

  .controls {
    grid-template-columns: 190px 170px minmax(260px, 1fr) 120px;
  }

  .bench-list {
    grid-template-columns: 1fr;
  }

  .derivation li {
    grid-template-columns: 48px minmax(0, 1fr);
  }

  .derivation-equation {
    font-size: 32px;
  }

  .visual-story-header,
  .story-player {
    grid-template-columns: 1fr;
  }

  .story-narrative {
    min-height: 0;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .story-canvas > svg {
    min-height: 0;
  }

  .controls {
    grid-template-columns: 1fr 1fr;
  }

  .control-time {
    grid-column: 1 / -1;
  }

  .derivation-side {
    grid-column: 2;
    display: grid;
    grid-template-columns: minmax(0, 1fr);
    align-items: start;
    width: 100%;
    margin-top: 20px;
  }

  .matrix-map {
    width: 100%;
  }
}

@media (max-width: 1100px) {
  .site-header-inner {
    grid-template-columns: 1fr auto;
  }

  .site-header-inner > p {
    display: none;
  }

  .tutorial-hero-grid {
    grid-template-columns: 1fr;
    gap: 48px;
  }

  .problem-spine {
    grid-template-columns: 1fr;
  }

  .problem-spine li {
    min-height: auto;
    border-right: 1px solid var(--line);
  }

  .problem-spine h3 {
    font-size: 28px;
  }

  .problem-spine p {
    max-width: 680px;
    font-size: 16px;
  }

  .problem-spine-equation {
    font-size: 25px;
  }

  .problem-spine li:last-child {
    border-bottom: 1px solid var(--line);
  }

  .problem-spine li:not(:last-child)::after {
    top: auto;
    right: 24px;
    bottom: -9px;
    content: "↓";
    transform: none;
  }

  .visual-story-header,
  .story-player {
    grid-template-columns: 1fr;
  }

  .visual-story-header {
    align-items: start;
  }

  .story-narrative {
    min-height: 0;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .story-canvas > svg {
    min-height: 0;
  }

  .contract-card {
    min-height: 0;
  }

  .tutorial-layout {
    display: block;
  }

  .tutorial-sidebar {
    padding-top: 0;
  }

  .sidebar-sticky {
    position: static;
    padding-top: 62px;
  }

  .tutorial-sidebar nav {
    display: grid;
    grid-template-columns: 1fr 1fr;
  }

  .tutorial-sidebar nav a:nth-child(odd) {
    padding-right: 20px;
    border-right: 1px solid var(--line);
  }

  .tutorial-sidebar nav a:nth-child(even) {
    padding-left: 20px;
  }

  .tutorial-sidebar nav a:last-child:nth-child(odd) {
    grid-column: 1 / -1;
    padding-right: 0;
    border-right: 0;
  }

  .tutorial-sidebar .machine-card {
    display: none;
  }

  .implementation-machine {
    display: grid;
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .implementation-machine div:nth-child(even) {
    border-right: 0;
  }

  .implementation-machine div:last-child {
    grid-column: 1 / -1;
  }

  .notation-guide {
    margin-top: 62px;
  }

  .route-explanation,
  .major-section-header,
  .kernel-focus-header,
  .kernel-case-thesis {
    grid-template-columns: 1fr;
  }

  .kernel-focus-header {
    align-items: start;
  }

  .major-section-header > p:last-child {
    grid-column: 1;
    grid-row: auto;
  }

  .route-stages,
  .concept-flow {
    grid-template-columns: 1fr 1fr;
  }

  .route-stages li:nth-child(2),
  .route-stages li:nth-child(4),
  .concept-flow > div:nth-child(2),
  .concept-flow > div:nth-child(4) {
    border-right: 0;
  }

  .concept-flow > div:nth-child(2)::after {
    display: none;
  }

  .route-stages li:nth-child(-n + 2),
  .concept-flow > div:nth-child(-n + 2) {
    border-bottom: 1px solid var(--line);
  }

  .controls {
    grid-template-columns: 1fr 1fr;
  }

  .control-time {
    grid-column: 1 / -1;
    border-top: 1px solid var(--line);
  }

  .play-button {
    min-height: 62px;
  }

  .phase-list {
    grid-template-columns: 1fr;
  }
}

@media (max-width: 680px) {
  body {
    font-size: 18.5px;
  }

  .site-header-inner,
  .tutorial-layout {
    width: calc(100% - 28px);
  }

  .site-header-inner {
    min-height: 66px;
  }

  .site-header nav {
    display: none;
  }

  .tutorial-hero {
    padding: 34px 14px 50px;
  }

  .tutorial-hero-top {
    align-items: stretch;
    flex-direction: column;
  }

  .leaderboard-card {
    width: 100%;
  }

  .algorithm-picker {
    flex-basis: auto;
    width: 100%;
  }

  .suite-head,
  .suite-meta {
    align-items: flex-start;
    flex-direction: column;
  }

  .competition-snapshot > header,
  .retained-measurement-head {
    align-items: flex-start;
    flex-direction: column;
  }

  .competition-snapshot dl {
    grid-template-columns: 1fr 1fr;
  }

  .competition-snapshot dl > div:nth-child(2) {
    border-right: 0;
  }

  .competition-snapshot dl > div:nth-child(-n + 2) {
    border-bottom: 1px solid var(--line);
  }

  .post-competition-card dl {
    grid-template-columns: 1fr;
  }

  .post-competition-card dl > div {
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .post-competition-card dl > div:last-child {
    border-bottom: 0;
  }

  .tutorial-hero-grid {
    padding-top: 47px;
  }

  .tutorial-hero h1 {
    font-size: clamp(48px, 13vw, 59px);
    line-height: 0.98;
    overflow-wrap: normal;
    word-break: normal;
  }

  .tutorial-hero h1 br {
    display: none;
  }

  .tutorial-subtitle {
    font-size: 18px;
    line-height: 1.65;
  }

  .contract-card {
    padding: 28px 24px;
  }

  .problem-card > h2 {
    font-size: 34px;
  }

  .hero-equation {
    overflow: hidden;
    font-size: 35px;
  }

  .tutorial-sidebar nav {
    grid-template-columns: 1fr;
  }

  .tutorial-sidebar nav a:nth-child(odd),
  .tutorial-sidebar nav a:nth-child(even) {
    padding-inline: 0;
    border-right: 0;
  }

  .notation-guide summary {
    grid-template-columns: 1fr;
    gap: 9px;
  }

  .notation-guide summary p {
    grid-column: 1;
    grid-row: 2;
    padding-right: 34px;
  }

  .notation-guide summary::after {
    grid-column: 1;
    grid-row: 1 / 3;
  }

  .visual-story {
    margin-top: 62px;
  }

  .visual-story-header {
    gap: 22px;
  }

  .visual-story-header h2 {
    font-size: 45px;
    line-height: 1;
  }

  .story-narrative {
    min-height: 0;
    padding: 28px 20px 23px;
  }

  .story-narrative h3 {
    font-size: 42px;
    line-height: 1.03;
  }

  .story-copy {
    font-size: 19px;
  }

  .story-narrative aside {
    grid-template-columns: 1fr;
    gap: 8px;
  }

  .story-controls {
    grid-template-columns: 1fr 1fr;
  }

  .story-dots {
    grid-column: 1 / -1;
    grid-row: 1;
  }

  .story-controls > button {
    grid-row: 2;
  }

  .story-canvas {
    position: relative;
    overflow-x: auto;
    scrollbar-width: none;
  }

  .story-canvas::-webkit-scrollbar {
    display: none;
  }

  .story-canvas::before {
    position: sticky;
    top: 8px;
    left: 10px;
    z-index: 3;
    display: inline-block;
    padding: 4px 6px;
    border: 1px solid var(--line-strong);
    background: var(--math-dark);
    color: var(--green);
    content: "SWIPE DIAGRAM →";
    font: 700 12px/1 var(--mono);
    letter-spacing: 0.04em;
  }

  .story-canvas > svg {
    width: 760px;
    height: 430px;
    min-height: 430px;
  }

  .story-canvas > p {
    min-width: 760px;
    text-align: left;
  }

  .notation-guide dl {
    grid-template-columns: 1fr;
  }

  .kernel-focus {
    margin-top: 100px;
  }

  .kernel-case > header,
  .kernel-case-thesis {
    grid-template-columns: 1fr;
    gap: 12px;
  }

  .kernel-focus-grid {
    grid-template-columns: 1fr;
  }

  .kernel-focus-item {
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .kernel-focus-item:last-child {
    border-bottom: 0;
  }

  .kernel-focus .execution-operator {
    grid-template-columns: 1fr;
    gap: 9px;
  }

  .lesson {
    padding-top: 88px;
  }

  .lesson-header h2 {
    font-size: 46px;
    line-height: 1;
  }

  .lesson-lead {
    padding-left: 17px;
    font-size: 19px;
  }

  .derivation > header {
    align-items: flex-start;
    flex-direction: column;
  }

  .derivation li {
    display: block;
    padding: 24px 12px;
  }

  .derivation-step {
    position: absolute;
    top: 24px;
    left: 12px;
    width: 32px;
    height: 32px;
  }

  .derivation-verb {
    display: flex;
    min-height: 32px;
    align-items: center;
    margin-left: 44px;
  }

  .derivation-equation {
    padding-right: 5px;
    padding-left: 5px;
    font-size: 27px;
  }

  .derivation-side {
    grid-template-columns: 1fr;
    width: 100%;
    margin-top: 24px;
  }

  .matrix-map {
    display: block;
  }

  .matrix-state-identity {
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .matrix-state-title {
    gap: 14px;
    align-items: center;
    justify-content: space-between;
    flex-direction: row;
  }

  .matrix-state-title > b {
    text-align: right;
  }

  .matrix-state-visual {
    border-right: 0;
  }

  .matrix-state-visual-descriptor {
    padding: 0;
  }

  .matrix-map figcaption {
    border-top: 1px solid var(--line);
  }

  .matrix-map-object {
    grid-template-columns: minmax(66px, auto) 1fr;
    gap: 10px;
    align-content: normal;
    align-items: center;
    padding: 8px 12px 12px;
  }

  .execution-map > header,
  .execution-evidence > header,
  .execution-work-domain > header,
  .execution-work-meta,
  .execution-workset-label {
    align-items: flex-start;
    flex-direction: column;
  }

  .execution-map > header b,
  .execution-evidence > header b,
  .execution-work-domain > header b,
  .execution-work-meta b,
  .execution-workset-label b {
    text-align: left;
  }

  .execution-operator {
    grid-template-columns: 1fr;
    gap: 6px;
  }

  .execution-math-only {
    grid-template-columns: minmax(0, 1fr) 112px;
  }

  .execution-math-only > div {
    min-height: 82px;
    padding: 14px;
  }

  .execution-math-only > div:first-child {
    border-right: 1px solid var(--line);
  }

  .execution-fused-owner {
    grid-template-columns: 1fr;
  }

  .execution-fused-owner > div:first-child {
    border-right: 0;
  }

  .execution-fused-owner .execution-grid {
    grid-column: 1;
  }

  .execution-launch-anatomy {
    grid-template-columns: 1fr;
  }

  .execution-launch-anatomy > div {
    min-height: 0;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .execution-launch-anatomy > div:last-child {
    border-bottom: 0;
  }

  .execution-grid-one-d {
    grid-template-columns: repeat(3, minmax(0, 1fr)) !important;
  }

  .execution-grid-warp {
    grid-template-columns: repeat(8, minmax(0, 1fr));
  }

  .execution-grid {
    gap: 3px;
    padding: 12px;
  }

  .execution-grid i {
    min-height: 34px;
  }

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

  .execution-pipeline > div {
    min-height: 72px;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .execution-source-stage > header {
    grid-template-columns: 1fr;
  }

  .execution-pipeline > div:last-child {
    border-bottom: 0;
  }

  .execution-pipeline > div::after {
    display: none !important;
  }

  .concept-flow,
  .route-stages {
    grid-template-columns: 1fr;
  }

  .concept-flow > div,
  .route-stages li {
    min-height: 0;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .concept-flow > div::after {
    display: none;
  }

  .chapter-result,
  .analysis-note {
    grid-template-columns: 1fr;
    gap: 13px;
    padding: 25px 22px;
  }

  .implementation-reference,
  .model-lab,
  .evidence-section {
    padding-top: 92px;
  }

  .implementation-reference > header {
    grid-template-columns: 1fr;
  }

  .implementation-reference > header dl {
    width: 100%;
  }

  .implementation-reference > header dl div {
    min-width: 0;
    width: 50%;
  }

  .route-explanation {
    gap: 27px;
    padding: 27px 22px;
  }

  .route-meta {
    align-items: flex-start;
    flex-direction: column;
  }

  .controls {
    grid-template-columns: 1fr 1fr;
  }

  .control {
    min-height: 82px;
    padding-inline: 13px;
    border-bottom: 1px solid var(--line);
  }

  .control-time {
    grid-column: 1 / -1;
  }

  .viz-title {
    align-items: flex-start;
    flex-direction: column;
  }

  .viz-title p,
  .legend {
    max-width: 100%;
    justify-content: flex-start;
    text-align: left;
  }

  .matrix-card svg {
    min-width: 440px;
  }

  .wide-svg svg {
    min-width: 760px;
  }

  #phases {
    overflow: visible;
    padding: 20px;
  }

  .phase-stack {
    display: none;
  }

  .benchmark-suite {
    padding: 24px 20px;
  }

  .bench-row {
    grid-template-columns: minmax(132px, 1.25fr) 70px 86px;
  }

  footer {
    grid-template-columns: 1fr;
    gap: 20px;
    justify-items: start;
    padding: 34px 20px;
  }

  footer p {
    text-align: left;
  }

  .footer-links {
    justify-self: start;
  }
}

@media (max-width: 1240px) {
  .chapter-special-diagram > header {
    grid-template-columns: 1fr;
    gap: 12px;
  }

  .qr-strategy-grid {
    grid-template-columns: 1fr;
  }

  .qr-strategy-card:first-child {
    border-right: 0;
    border-bottom: 1px solid var(--line-strong);
  }

  .strategy-question {
    min-height: 0;
  }

  .portfolio-routes {
    grid-template-columns: repeat(3, minmax(0, 1fr));
  }

  .portfolio-routes article:nth-child(3) {
    border-right: 0;
  }

  .portfolio-routes article:nth-child(n + 4) {
    border-top-width: 2px;
  }

  .portfolio-contract {
    grid-template-columns: 180px minmax(0, 1fr);
  }

  .portfolio-contract > a {
    grid-column: 2;
    width: fit-content;
  }
}

@media (max-width: 680px) {
  .lesson-header > p {
    gap: 9px;
  }

  .lesson-scope {
    min-height: 25px;
    padding: 3px 7px;
  }

  .chapter-special-diagram {
    margin-top: 34px;
  }

  .chapter-special-diagram > header {
    padding: 20px 18px 21px;
  }

  .chapter-special-diagram > header h3 {
    font-size: 30px;
  }

  .chapter-special-diagram > header p {
    font-size: 15px;
  }

  .qr-strategy-card {
    padding: 21px 18px;
  }

  .flat-reflector-chain {
    gap: 4px;
  }

  .flat-reflector-chain i {
    min-width: 39px;
    min-height: 43px;
    padding: 6px;
    font-size: 16px;
  }

  .strategy-pack,
  .strategy-far-update,
  .qr-strategy-card dl > div,
  .qr-strategy-card footer {
    grid-template-columns: 1fr;
    gap: 6px;
  }

  .strategy-pack > b,
  .strategy-far-update > b {
    font-size: 15px;
  }

  .strategy-shared-invariant {
    grid-template-columns: 1fr;
    gap: 12px;
    padding: 21px 18px 22px;
  }

  .strategy-shared-invariant > span {
    grid-row: auto;
  }

  .strategy-shared-invariant > div {
    font-size: 22px;
  }

  .portfolio-input {
    grid-template-columns: 1fr;
    gap: 6px;
    width: calc(100% - 36px);
    margin-top: 20px;
  }

  .portfolio-probe-pipeline {
    grid-template-columns: 1fr;
    gap: 18px;
    margin-inline: 18px;
  }

  .portfolio-probe-pipeline li {
    min-height: 0;
  }

  .portfolio-probe-pipeline li:not(:last-child)::after {
    top: auto;
    right: auto;
    bottom: -15px;
    left: 50%;
    content: "↓";
    transform: translateX(-50%);
  }

  .portfolio-host-gate {
    grid-template-columns: 1fr;
    gap: 6px;
    margin: 18px 18px 0;
  }

  .portfolio-fanout {
    margin: 18px 18px 0;
  }

  .portfolio-fanout > header {
    align-items: flex-start;
    flex-direction: column;
    gap: 5px;
  }

  .portfolio-routes {
    grid-template-columns: 1fr;
  }

  .portfolio-routes article,
  .portfolio-routes article:nth-child(3),
  .portfolio-routes article:last-child {
    min-height: 0;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .portfolio-routes article:last-child {
    border-bottom: 0;
  }

  .portfolio-safety {
    grid-template-columns: 1fr;
    margin-inline: 18px;
  }

  .portfolio-safety > div,
  .portfolio-safety > div:last-child {
    min-height: 0;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .portfolio-safety > div:last-child {
    border-bottom: 0;
  }

  .portfolio-contract {
    grid-template-columns: 1fr;
    gap: 13px;
    padding: 20px 18px;
  }

  .portfolio-contract > div {
    font-size: 21px;
  }

  .portfolio-contract > a {
    grid-column: auto;
    width: 100%;
    white-space: normal;
  }
}

@media (max-width: 412px) {
  .derivation-equation {
    font-size: 24px;
  }
}

@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }

  *,
  *::before,
  *::after {
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
    scroll-behavior: auto !important;
    transition-duration: 0.01ms !important;
  }
}