@import url("https://fonts.googleapis.com/css2?family=JetBrains+Mono:wght@400;500;600;700&family=Montserrat:wght@400;500;600;700;800&display=swap");

:root {
  --paper: #f2f3ef;
  --paper-raised: #f9faf7;
  --ink: #141713;
  --ink-soft: #666d64;
  --ink-faint: #898f87;
  --line: #cbd0c7;
  --line-strong: #aeb5aa;
  --accent: #003ec7;
  --accent-dark: #002c91;
  --accent-soft: #e4eaff;
  --warning: #9a5930;
  --warning-soft: #eee2d8;
  --mono: "JetBrains Mono", "SFMono-Regular", "Cascadia Code", "Liberation Mono", Menlo, monospace;
  --sans: "Montserrat", "Helvetica Neue", Helvetica, Arial, sans-serif;
  --content: 1240px;
  --prose: 720px;
  --header-height: 68px;
  --radius: 12px;
}

* {
  box-sizing: border-box;
}

html {
  scroll-behavior: smooth;
  scroll-padding-top: calc(var(--header-height) + 28px);
}

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

button,
a,
summary {
  -webkit-tap-highlight-color: transparent;
}

a {
  color: inherit;
}

button {
  color: inherit;
  font: inherit;
}

button:focus-visible,
a:focus-visible,
summary:focus-visible,
[tabindex="0"]:focus-visible {
  outline: 2px solid var(--accent);
  outline-offset: 4px;
}

.reading-progress {
  position: fixed;
  inset: 0 auto auto 0;
  z-index: 100;
  width: 100%;
  height: 3px;
  transform: scaleX(0);
  transform-origin: left;
  background: var(--accent);
  animation: reading-progress linear;
  animation-timeline: scroll(root);
}

@keyframes reading-progress {
  to {
    transform: scaleX(1);
  }
}

.site-header {
  position: sticky;
  top: 0;
  z-index: 90;
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  min-height: var(--header-height);
  padding: 0 32px;
  border-bottom: 1px solid var(--line);
  background: rgb(242 243 239 / 92%);
  backdrop-filter: blur(16px);
}

.brand,
.footer-brand {
  display: inline-flex;
  align-items: center;
  gap: 12px;
  width: fit-content;
  color: var(--ink);
  font-family: var(--mono);
  font-size: 13px;
  font-weight: 700;
  letter-spacing: -0.02em;
  text-decoration: none;
}

.brand-mark {
  display: grid;
  width: 36px;
  height: 36px;
  place-items: center;
  border: 1.5px solid var(--ink);
  border-radius: 6px;
  font-family: var(--sans);
  font-size: 17px;
  font-weight: 700;
}

.brand img,
.footer-brand img {
  width: auto;
  height: 34px;
}

.site-header nav {
  display: flex;
  align-items: center;
  gap: 32px;
}

.site-header nav a {
  color: var(--ink-soft);
  font-size: 14px;
  text-decoration: none;
  transition: color 160ms ease;
}

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

.header-topic {
  justify-self: end;
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.07em;
  text-decoration: none;
}

main {
  overflow: clip;
}

.hero {
  display: grid;
  grid-template-columns: minmax(0, 0.92fr) minmax(480px, 1.08fr);
  gap: clamp(56px, 7vw, 112px);
  align-items: center;
  min-height: calc(100dvh - var(--header-height));
  max-width: var(--content);
  margin: 0 auto;
  padding: 64px 32px 72px;
}

.eyebrow,
.section-label {
  margin: 0 0 24px;
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 12px;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.hero h1 {
  max-width: 790px;
  margin: 0;
  font-size: clamp(56px, 6.35vw, 94px);
  font-weight: 450;
  letter-spacing: -0.067em;
  line-height: 0.93;
}

.hero-deck {
  max-width: 610px;
  margin: 34px 0 0;
  color: var(--ink-soft);
  font-size: clamp(20px, 1.55vw, 25px);
  letter-spacing: -0.025em;
  line-height: 1.34;
}

.hero-meta {
  display: flex;
  flex-wrap: wrap;
  gap: 10px 22px;
  margin-top: 40px;
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.hero-meta span + span::before {
  content: "/";
  margin-right: 22px;
  color: var(--line-strong);
}

.hero-system {
  position: relative;
  min-height: 570px;
  padding: 28px;
  overflow: hidden;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  background:
    linear-gradient(var(--line) 1px, transparent 1px),
    linear-gradient(90deg, var(--line) 1px, transparent 1px),
    var(--paper-raised);
  background-size: 40px 40px;
}

.hero-system::after {
  content: "";
  position: absolute;
  inset: 0;
  pointer-events: none;
  background: linear-gradient(180deg, var(--paper-raised) 0, transparent 18%, transparent 82%, var(--paper-raised) 100%);
}

.hero-system-heading,
.hero-invariant {
  position: relative;
  z-index: 2;
  background: var(--paper-raised);
}

.hero-system-heading {
  display: flex;
  justify-content: space-between;
  align-items: baseline;
  gap: 24px;
  padding-bottom: 20px;
  border-bottom: 1px solid var(--line);
}

.hero-system-heading span,
.hero-system-heading strong,
.hero-node span,
.hero-runtime > span,
.hero-node small,
.hero-runtime small {
  font-family: var(--mono);
}

.hero-system-heading span {
  color: var(--ink-faint);
  font-size: 10px;
  letter-spacing: 0.08em;
}

.hero-system-heading strong {
  font-size: 12px;
}

.hero-flow {
  position: relative;
  z-index: 2;
  display: grid;
  grid-template-columns: 1fr 54px 1.35fr 54px 1fr;
  align-items: center;
  min-height: 400px;
}

.hero-node,
.hero-runtime {
  padding: 22px 18px;
  border: 1px solid var(--line-strong);
  border-radius: 8px;
  background: rgb(249 250 247 / 94%);
}

.hero-node span,
.hero-runtime > span {
  display: block;
  margin-bottom: 17px;
  color: var(--ink-faint);
  font-size: 9px;
  letter-spacing: 0.07em;
}

.hero-node strong,
.hero-runtime strong {
  display: block;
  font-size: 15px;
  line-height: 1.3;
}

.hero-node small,
.hero-runtime small {
  display: block;
  margin-top: 8px;
  color: var(--ink-soft);
  font-size: 10px;
  line-height: 1.4;
}

.hero-runtime {
  border-color: var(--accent);
  background: var(--accent-soft);
}

.runtime-loop {
  display: grid;
  grid-template-columns: auto 1fr auto 1fr auto;
  align-items: center;
  gap: 7px;
}

.runtime-loop b {
  display: grid;
  min-height: 48px;
  place-items: center;
  padding: 0 7px;
  border: 1px solid rgb(11 117 72 / 35%);
  border-radius: 6px;
  background: rgb(249 250 247 / 74%);
  font-family: var(--mono);
  font-size: 8px;
}

.runtime-loop i {
  height: 1px;
  background: var(--accent-dark);
}

.hero-connector {
  position: relative;
  display: flex;
  align-items: center;
}

.hero-connector i {
  width: 100%;
  height: 1px;
  background: var(--accent);
}

.hero-connector b {
  position: absolute;
  left: 50%;
  padding: 3px 5px;
  transform: translate(-50%, -15px);
  background: var(--paper-raised);
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 8px;
}

.hero-invariant {
  display: flex;
  align-items: center;
  gap: 12px;
  padding-top: 18px;
  border-top: 1px solid var(--line);
}

.hero-invariant span {
  width: 9px;
  height: 9px;
  border-radius: 50%;
  background: var(--accent);
  box-shadow: 0 0 0 6px rgb(0 62 199 / 10%);
}

.hero-invariant p {
  margin: 0;
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 10px;
}

article {
  border-top: 1px solid var(--line);
}

.article-opening {
  display: grid;
  grid-template-columns: minmax(0, 1.5fr) minmax(280px, 0.7fr);
  column-gap: clamp(56px, 9vw, 150px);
  row-gap: 56px;
  max-width: 1060px;
  margin: 0 auto;
  padding: 124px 32px 152px;
}

.article-opening p {
  margin: 0;
}

.opening-lede {
  max-width: 700px;
  margin: 12px 0 0;
  font-size: clamp(27px, 2.45vw, 40px);
  font-weight: 500;
  letter-spacing: -0.045em;
  line-height: 1.18;
}

.opening-explanation {
  align-self: end;
  color: var(--ink-soft);
  font-size: 18px;
}

.fhe-simple-flow {
  grid-column: 1 / -1;
  display: grid;
  grid-template-columns: 1fr 80px 1fr 80px 1fr;
  align-items: center;
  padding: 38px 0;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.fhe-simple-flow > div {
  display: grid;
  grid-template-columns: 28px 1fr;
  gap: 6px 12px;
  align-items: baseline;
}

.fhe-simple-flow span {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 11px;
}

.fhe-simple-flow strong {
  font-size: 18px;
  font-weight: 600;
}

.fhe-simple-flow small {
  grid-column: 2;
  color: var(--ink-soft);
  font-size: 14px;
  line-height: 1.5;
}

.fhe-simple-flow > i {
  position: relative;
  display: block;
  width: calc(100% - 22px);
  height: 1px;
  margin: 0 auto;
  background: var(--line-strong);
}

.fhe-simple-flow > i::after {
  position: absolute;
  top: -3px;
  right: 0;
  width: 7px;
  height: 7px;
  border-top: 1px solid var(--line-strong);
  border-right: 1px solid var(--line-strong);
  content: "";
  transform: rotate(45deg);
}

.story-map {
  grid-column: 1 / -1;
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  margin-top: 8px;
}

.story-map a {
  display: grid;
  min-height: 150px;
  align-content: start;
  gap: 10px;
  padding: 25px 24px 22px 0;
  border-right: 1px solid var(--line);
  color: var(--ink);
  text-decoration: none;
  transition: color 180ms ease, transform 180ms ease;
}

.story-map a + a {
  padding-left: 24px;
}

.story-map a:last-child {
  border-right: 0;
}

.story-map a:hover,
.story-map a:focus-visible {
  color: var(--accent-dark);
  transform: translateY(-2px);
}

.story-map a:focus-visible {
  outline: 2px solid var(--accent);
  outline-offset: 4px;
}

.story-map span,
.story-map small {
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 10px;
}

.story-map strong {
  font-size: 17px;
  line-height: 1.25;
}

.story-map small {
  max-width: 210px;
  font-family: var(--sans);
  font-size: 13px;
  line-height: 1.5;
}

.section-heading {
  max-width: 790px;
}

.section-heading h2,
.turning-copy h2,
.mechanism-heading h2,
.runtime-copy h2,
.compiler-copy h2,
.conclusion h2 {
  margin: 0;
  font-size: clamp(42px, 5vw, 72px);
  font-weight: 450;
  letter-spacing: -0.058em;
  line-height: 0.99;
}

.section-heading > p:last-child,
.mechanism-heading > p:last-child,
.runtime-copy > p:last-child {
  max-width: 680px;
  margin: 28px 0 0;
  color: var(--ink-soft);
  font-size: 19px;
}

.history-story,
.boundary-section,
.walkthrough-section,
.security-section {
  max-width: var(--content);
  margin: 0 auto;
  padding: 130px 32px;
}

.history-story {
  border-top: 1px solid var(--line);
}

.history-heading {
  margin-bottom: 92px;
}

.history-layout {
  display: grid;
  grid-template-columns: minmax(320px, 0.72fr) minmax(520px, 1.28fr);
  gap: clamp(50px, 8vw, 120px);
  align-items: start;
}

.history-steps {
  display: grid;
  gap: 22px;
}

.history-step {
  min-height: 52vh;
  padding: 30px 0 48px 28px;
  border-left: 2px solid var(--line);
  opacity: 0.44;
  transition: opacity 240ms ease, border-color 240ms ease, transform 240ms ease;
  cursor: pointer;
}

.history-step.is-active {
  border-color: var(--accent);
  opacity: 1;
  transform: translateX(5px);
}

.history-step > span {
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.history-step h3 {
  margin: 15px 0 18px;
  font-size: clamp(30px, 3vw, 43px);
  font-weight: 500;
  letter-spacing: -0.045em;
  line-height: 1.05;
}

.history-step > p {
  max-width: 530px;
  margin: 0;
  color: var(--ink-soft);
}

.citation {
  margin-left: 2px;
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 11px;
  text-decoration: none;
  vertical-align: super;
}

.history-step dl {
  display: grid;
  gap: 12px;
  margin: 28px 0 0;
}

.history-step dl div {
  display: grid;
  grid-template-columns: 120px 1fr;
  gap: 14px;
  padding-top: 12px;
  border-top: 1px solid var(--line);
}

.history-step dt {
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 9px;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.history-step dd {
  margin: 0;
  font-size: 14px;
  line-height: 1.45;
}

.mirror-step h3 {
  color: var(--accent-dark);
}

.history-visual {
  position: sticky;
  top: calc(var(--header-height) + 32px);
  min-height: 660px;
  padding: 30px;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  background: var(--paper-raised);
}

.history-meter {
  padding-bottom: 26px;
  border-bottom: 1px solid var(--line);
}

.meter-track {
  width: 100%;
  height: 3px;
  background: var(--line);
}

.meter-track span {
  display: block;
  width: 10%;
  height: 100%;
  background: var(--accent);
  transition: width 360ms cubic-bezier(0.2, 0.75, 0.25, 1);
}

.history-meter ol {
  display: grid;
  grid-template-columns: repeat(5, 1fr);
  gap: 8px;
  margin: 12px 0 0;
  padding: 0;
  list-style: none;
}

.history-meter li {
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 8px;
  letter-spacing: -0.02em;
  text-transform: uppercase;
  transition: color 180ms ease;
}

.history-meter li.is-active {
  color: var(--accent-dark);
  font-weight: 700;
}

.history-canvas {
  --stage-index: 0;
  position: relative;
  display: grid;
  min-height: 330px;
  align-items: center;
  padding: 40px 0 65px;
}

.history-canvas[data-stage="1"] { --stage-index: 1; }
.history-canvas[data-stage="2"] { --stage-index: 2; }
.history-canvas[data-stage="3"] { --stage-index: 3; }
.history-canvas[data-stage="4"] { --stage-index: 4; }

.protected-chain {
  display: grid;
  grid-template-columns: repeat(5, 1fr);
  gap: 8px;
}

.chain-cell {
  display: grid;
  min-height: 106px;
  place-items: center;
  border: 1px solid var(--line-strong);
  border-radius: 7px;
  background: var(--paper);
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 8px;
  transition: background 280ms ease, border-color 280ms ease, color 280ms ease, transform 280ms ease;
}

.history-canvas[data-stage="0"] .chain-cell:nth-child(-n + 1),
.history-canvas[data-stage="1"] .chain-cell:nth-child(-n + 2),
.history-canvas[data-stage="2"] .chain-cell:nth-child(-n + 3),
.history-canvas[data-stage="3"] .chain-cell:nth-child(-n + 4),
.history-canvas[data-stage="4"] .chain-cell:nth-child(-n + 5) {
  border-color: var(--accent);
  background: var(--accent-soft);
  color: var(--accent-dark);
  transform: translateY(-4px);
}

.boundary-marker {
  position: absolute;
  bottom: 54px;
  left: calc((var(--stage-index) + 1) * 20%);
  display: flex;
  align-items: center;
  width: calc(100% - ((var(--stage-index) + 1) * 20%));
  transition: left 360ms cubic-bezier(0.2, 0.75, 0.25, 1), width 360ms cubic-bezier(0.2, 0.75, 0.25, 1);
}

.boundary-marker i {
  width: 100%;
  height: 1px;
  background: var(--warning);
}

.boundary-marker span {
  position: absolute;
  top: 10px;
  left: 0;
  color: var(--warning);
  font-family: var(--mono);
  font-size: 8px;
  white-space: nowrap;
}

.history-canvas[data-stage="4"] .boundary-marker {
  left: 82%;
  width: 18%;
}

.history-canvas[data-stage="4"] .boundary-marker i {
  background: var(--accent);
}

.history-canvas[data-stage="4"] .boundary-marker span {
  color: var(--accent-dark);
}

.history-verdict {
  padding-top: 26px;
  border-top: 1px solid var(--line);
}

.history-verdict > span {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.05em;
}

.history-verdict h3 {
  max-width: 600px;
  margin: 13px 0 12px;
  font-size: 24px;
  font-weight: 500;
  letter-spacing: -0.025em;
  line-height: 1.2;
}

.history-verdict p {
  max-width: 570px;
  margin: 0;
  color: var(--ink-soft);
  font-size: 14px;
}

.research-frontier {
  max-width: var(--content);
  margin: 0 auto;
  padding: 140px 32px;
  border-top: 1px solid var(--line);
}

.frontier-tracks {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  margin-top: 68px;
  border-top: 1px solid var(--line-strong);
  border-bottom: 1px solid var(--line);
}

.frontier-tracks > div {
  min-height: 190px;
  padding: 24px 22px;
  border-right: 1px solid var(--line);
}

.frontier-tracks > div:last-child {
  border-right: 0;
}

.frontier-tracks span {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 9px;
}

.frontier-tracks strong {
  display: block;
  margin-top: 36px;
  font-size: 17px;
  line-height: 1.25;
}

.frontier-tracks p {
  margin: 10px 0 0;
  color: var(--ink-soft);
  font-size: 12px;
  line-height: 1.45;
}

.frontier-map {
  margin: 72px 0 0;
}

.frontier-map > figcaption {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 32px;
  padding-bottom: 20px;
  border-bottom: 1px solid var(--line-strong);
}

.frontier-map > figcaption span,
.frontier-fork > span {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.05em;
}

.frontier-map > figcaption strong {
  font-size: 18px;
  font-weight: 500;
}

.frontier-mainline {
  display: grid;
  grid-template-columns: 1fr 38px 1fr 38px 1fr 38px 1.15fr;
  align-items: center;
  min-height: 310px;
}

.frontier-mainline > div {
  min-height: 210px;
  padding: 30px 8px 26px 0;
}

.frontier-mainline time,
.frontier-mainline > div > span {
  display: block;
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 11px;
}

.frontier-mainline > div > strong {
  display: block;
  margin-top: 62px;
  font-size: 20px;
  font-weight: 550;
  line-height: 1.2;
}

.frontier-mainline > div > p {
  margin: 12px 0 0;
  color: var(--ink-soft);
  font-size: 13px;
  line-height: 1.45;
}

.frontier-mainline > i {
  position: relative;
  height: 1px;
  background: var(--line-strong);
}

.frontier-mainline > i::after {
  position: absolute;
  top: -3px;
  right: 0;
  width: 7px;
  height: 7px;
  border-top: 1px solid var(--line-strong);
  border-right: 1px solid var(--line-strong);
  transform: rotate(45deg);
  content: "";
}

.frontier-mainline .frontier-target {
  min-height: 240px;
  padding: 26px;
  border: 1px solid var(--accent);
  border-radius: var(--radius);
  background: var(--accent-soft);
}

.frontier-mainline .frontier-target > strong {
  margin-top: 72px;
}

.frontier-fork {
  display: grid;
  grid-template-columns: 150px 1.1fr 0.9fr;
  gap: 34px;
  align-items: start;
  padding: 28px 0;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.frontier-fork > strong {
  font-size: 16px;
  line-height: 1.35;
}

.frontier-fork > p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 13px;
}

.paper-catalog {
  margin-top: 42px;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  background: var(--paper-raised);
  overflow: hidden;
}

.paper-catalog > summary {
  display: flex;
  min-height: 62px;
  align-items: center;
  justify-content: space-between;
  gap: 28px;
  padding: 0 22px;
  font-family: var(--mono);
  font-size: 10px;
  font-weight: 700;
  cursor: pointer;
}

.paper-catalog > summary b {
  color: var(--ink-faint);
  font-weight: 500;
}

.paper-catalog[open] > summary {
  border-bottom: 1px solid var(--line-strong);
}

.paper-catalog:not([open]) > .research-controls,
.paper-catalog:not([open]) > .paper-index {
  display: none;
}

.paper-catalog .research-controls {
  margin: 28px 28px 0;
}

.paper-catalog .paper-index {
  margin: 32px 28px 28px;
}

.research-controls {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  width: min(620px, 100%);
  margin-top: 68px;
  border: 1px solid var(--line-strong);
  border-radius: 8px;
  overflow: hidden;
}

.research-controls button {
  min-height: 46px;
  padding: 8px 14px;
  border: 0;
  border-right: 1px solid var(--line-strong);
  background: transparent;
  color: var(--ink-soft);
  font-size: 12px;
  cursor: pointer;
}

.research-controls button:last-child {
  border-right: 0;
}

.research-controls button[aria-selected="true"] {
  background: var(--ink);
  color: var(--paper-raised);
}

.research-controls button:active {
  transform: translateY(1px);
}

.paper-index {
  margin-top: 46px;
  border-top: 1px solid var(--line-strong);
}

.paper-row {
  display: grid;
  grid-template-columns: 130px minmax(250px, 1.2fr) minmax(190px, 0.8fr) minmax(190px, 0.8fr);
  gap: 32px;
  align-items: start;
  padding: 28px 0;
  border-bottom: 1px solid var(--line);
  transition: opacity 180ms ease, transform 180ms ease;
}

.paper-row[hidden] {
  display: none;
}

.paper-meta {
  display: grid;
  gap: 9px;
}

.paper-meta span,
.paper-meta b,
.paper-row > div:nth-child(n + 3) > span {
  font-family: var(--mono);
  font-size: 9px;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.paper-meta span {
  color: var(--ink-faint);
}

.paper-meta b {
  width: fit-content;
  color: var(--accent-dark);
  font-weight: 700;
}

.paper-row h3,
.paper-row p {
  margin: 0;
}

.paper-row h3 {
  font-size: 22px;
  font-weight: 550;
  letter-spacing: -0.025em;
  line-height: 1.2;
}

.paper-row h3 a {
  text-decoration-color: var(--line-strong);
  text-decoration-thickness: 1px;
  text-underline-offset: 4px;
}

.paper-row h3 a:hover {
  color: var(--accent-dark);
  text-decoration-color: var(--accent);
}

.paper-row > div:nth-child(2) p {
  margin-top: 9px;
}

.paper-row p {
  color: var(--ink-soft);
  font-size: 13px;
  line-height: 1.48;
}

.paper-row > div:nth-child(n + 3) > span {
  display: block;
  margin-bottom: 9px;
  color: var(--ink-faint);
}

.frontier-reading {
  display: grid;
  grid-template-columns: 190px minmax(0, 700px);
  gap: 34px;
  margin-top: 56px;
  padding: 30px;
  border: 1px solid var(--accent);
  border-radius: var(--radius);
  background: var(--accent-soft);
}

.frontier-reading strong {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 10px;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.frontier-reading p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 15px;
}

.turning-point {
  display: grid;
  grid-template-columns: minmax(0, 0.88fr) minmax(480px, 1.12fr);
  gap: clamp(60px, 9vw, 150px);
  align-items: center;
  max-width: var(--content);
  margin: 0 auto;
  padding: 150px 32px;
  border-top: 1px solid var(--line);
}

.turning-copy p:not(.section-label) {
  max-width: 610px;
  margin: 28px 0 0;
  color: var(--ink-soft);
}

.decode-loop {
  margin: 0;
}

.decode-cycle {
  position: relative;
  min-height: 420px;
  padding: 24px;
  overflow: hidden;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  background:
    linear-gradient(var(--line) 1px, transparent 1px),
    linear-gradient(90deg, var(--line) 1px, transparent 1px),
    var(--paper-raised);
  background-size: 28px 28px;
}

.decode-cycle-header {
  display: flex;
  justify-content: space-between;
  gap: 24px;
  padding: 0 0 20px;
  border-bottom: 1px solid var(--line-strong);
}

.decode-cycle-header span,
.decode-cycle-header b,
.decode-cycle-stage > span,
.decode-feedback-rail span,
.decode-cycle-rule > span {
  font-family: var(--mono);
  font-size: 9px;
  letter-spacing: 0.07em;
  text-transform: uppercase;
}

.decode-cycle-header span {
  color: var(--ink-soft);
}

.decode-cycle-header b {
  color: var(--accent-dark);
  font-weight: 700;
}

.decode-cycle-path {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 34px minmax(0, 1fr) 34px minmax(0, 1fr);
  gap: 8px;
  align-items: stretch;
  margin-top: 26px;
}

.decode-cycle-stage {
  position: relative;
  display: flex;
  min-height: 142px;
  flex-direction: column;
  justify-content: space-between;
  gap: 14px;
  padding: 18px;
  border: 1px solid var(--line-strong);
  border-radius: 8px;
  background: rgb(249 250 247 / 94%);
}

.decode-cycle-stage::before {
  content: "";
  position: absolute;
  inset: -1px auto -1px -1px;
  width: 4px;
  border-radius: 8px 0 0 8px;
  background: var(--accent);
}

.decode-cycle-stage > span {
  color: var(--accent-dark);
  font-weight: 700;
}

.decode-cycle-stage strong {
  max-width: 180px;
  font-size: 15px;
  line-height: 1.22;
}

.decode-cycle-stage code {
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 9px;
  line-height: 1.45;
}

.decode-cycle-stage code sub {
  font-size: 7px;
}

.decode-cycle-arrow {
  position: relative;
  align-self: center;
  height: 1px;
  background: var(--accent);
}

.decode-cycle-arrow::after {
  content: "";
  position: absolute;
  top: 50%;
  right: -1px;
  width: 7px;
  height: 7px;
  transform: translateY(-50%) rotate(45deg);
  border-top: 1px solid var(--accent);
  border-right: 1px solid var(--accent);
}

.decode-cycle-arrow span {
  position: absolute;
  top: 50%;
  left: 0;
  width: 6px;
  height: 6px;
  transform: translateY(-50%);
  border-radius: 50%;
  background: var(--accent);
  animation: decode-pulse 2.4s ease-in-out infinite;
}

@keyframes decode-pulse {
  0% { transform: translate(0, -50%); opacity: 0; }
  18% { opacity: 1; }
  82% { opacity: 1; }
  100% { transform: translate(28px, -50%); opacity: 0; }
}

.decode-feedback {
  display: grid;
  grid-template-columns: 58px minmax(0, 1fr) 58px;
  align-items: center;
  min-height: 72px;
  margin: 0 12px;
}

.decode-feedback-turn {
  align-self: stretch;
  border-bottom: 1px solid var(--accent);
  border-left: 1px solid var(--accent);
  border-radius: 0 0 0 24px;
}

.decode-feedback-turn-end {
  transform: scaleX(-1);
}

.decode-feedback-turn-end::before {
  content: "";
  position: absolute;
  left: 8px;
  bottom: -4px;
  width: 7px;
  height: 7px;
  transform: rotate(45deg);
  border-bottom: 1px solid var(--accent);
  border-left: 1px solid var(--accent);
}

.decode-feedback-turn {
  position: relative;
}

.decode-feedback-rail {
  display: flex;
  align-items: baseline;
  justify-content: center;
  gap: 14px;
  min-height: 48px;
  padding: 12px 16px;
  transform: translateY(24px);
  border: 1px solid var(--accent);
  border-radius: 999px;
  background: var(--accent-soft);
  color: var(--accent-dark);
}

.decode-feedback-rail span {
  font-weight: 700;
}

.decode-feedback-rail strong {
  font-size: 12px;
  font-weight: 500;
}

.decode-cycle-rule {
  display: grid;
  grid-template-columns: auto minmax(0, 1fr) auto minmax(0, 1fr);
  gap: 12px;
  align-items: start;
  margin-top: 28px;
  padding-top: 18px;
  border-top: 1px solid var(--line-strong);
}

.decode-cycle-rule > span {
  padding: 4px 7px;
  border-radius: 4px;
  background: var(--ink);
  color: var(--paper-raised);
  font-weight: 700;
}

.decode-cycle-rule > span:nth-of-type(2) {
  background: var(--accent);
}

.decode-cycle-rule p {
  margin: 1px 0 0;
  color: var(--ink-soft);
  font-size: 11px;
  line-height: 1.45;
}

.decode-loop figcaption {
  margin-top: 16px;
  color: var(--ink-soft);
  font-size: 14px;
}

.boundary-section {
  border-top: 1px solid var(--line);
}

.boundary-lab {
  margin: 80px 0 0;
  padding: 30px;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  background: var(--paper-raised);
}

.boundary-controls {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 0;
  width: min(700px, 100%);
  margin-bottom: 70px;
  border: 1px solid var(--line-strong);
  border-radius: 8px;
  overflow: hidden;
}

.boundary-controls button {
  min-height: 48px;
  padding: 8px 16px;
  border: 0;
  border-right: 1px solid var(--line-strong);
  background: transparent;
  color: var(--ink-soft);
  font-size: 13px;
  cursor: pointer;
}

.boundary-controls button:last-child {
  border-right: 0;
}

.boundary-controls button[aria-selected="true"] {
  background: var(--ink);
  color: var(--paper-raised);
}

.boundary-controls button:active,
.token-controls button:active,
.token-rail button:active {
  transform: translateY(1px);
}

.boundary-stage {
  display: grid;
  grid-template-columns: 1fr 0.45fr 1.2fr 0.45fr 1fr;
  align-items: center;
  min-height: 260px;
}

.boundary-node {
  min-height: 146px;
  padding: 22px;
  border: 1px solid var(--line-strong);
  border-radius: 8px;
  background: var(--paper);
}

.boundary-node > span,
.boundary-result > span {
  display: block;
  margin-bottom: 22px;
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 9px;
  letter-spacing: 0.05em;
}

.boundary-node strong {
  display: block;
  font-size: 17px;
  line-height: 1.25;
}

.boundary-node small {
  display: block;
  margin-top: 9px;
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 9px;
}

.boundary-middle {
  border-color: var(--accent);
  background: var(--accent-soft);
  transition: border-color 200ms ease, background 200ms ease;
}

.boundary-stage[data-mode="isolated"] .boundary-middle {
  border-color: var(--warning);
  background: var(--warning-soft);
}

.boundary-stage[data-mode="bridge"] .boundary-middle {
  border-color: var(--line-strong);
  background: var(--paper);
}

.boundary-crossing {
  position: relative;
  display: flex;
  align-items: center;
}

.boundary-crossing i {
  width: 100%;
  height: 1px;
  background: var(--line-strong);
}

.boundary-crossing span {
  position: absolute;
  left: 50%;
  bottom: 11px;
  padding: 2px 5px;
  transform: translateX(-50%);
  background: var(--paper-raised);
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 8px;
  white-space: nowrap;
}

.boundary-result {
  display: grid;
  grid-template-columns: 180px 0.85fr 1fr;
  gap: 30px;
  align-items: start;
  margin-top: 26px;
  padding-top: 26px;
  border-top: 1px solid var(--line);
}

.boundary-result > span {
  margin: 4px 0 0;
  color: var(--accent-dark);
  font-weight: 700;
}

.boundary-result h3,
.boundary-result p {
  margin: 0;
}

.boundary-result h3 {
  font-size: 21px;
  font-weight: 500;
  line-height: 1.25;
}

.boundary-result p {
  color: var(--ink-soft);
  font-size: 14px;
}

.boundary-result[data-state="stopped"] > span,
.boundary-result[data-state="costly"] > span {
  color: var(--warning);
}

.mirror-mechanism {
  max-width: var(--content);
  margin: 0 auto;
  padding: 150px 32px;
  border-top: 1px solid var(--line);
}

.mechanism-heading {
  display: grid;
  grid-template-columns: minmax(0, 1.25fr) minmax(280px, 0.55fr);
  column-gap: 100px;
  align-items: end;
}

.mechanism-heading .section-label,
.mechanism-heading h2 {
  grid-column: 1;
}

.mechanism-heading > p:last-child {
  grid-column: 2;
  grid-row: 1 / span 2;
  align-self: end;
}

.mechanism-list {
  margin-top: 94px;
  border-top: 1px solid var(--line-strong);
}

.mechanism-list article {
  display: grid;
  grid-template-columns: 170px minmax(280px, 1.15fr) minmax(250px, 0.7fr) minmax(220px, 0.8fr);
  gap: 28px;
  align-items: start;
  padding: 30px 0;
  border-bottom: 1px solid var(--line);
}

.mechanism-list article > span {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 10px;
  font-weight: 700;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.mechanism-list h3,
.mechanism-list p {
  margin: 0;
}

.mechanism-list h3 {
  font-size: 22px;
  font-weight: 500;
  letter-spacing: -0.02em;
  line-height: 1.25;
}

.mechanism-list p {
  color: var(--ink-soft);
  font-size: 14px;
}

.mechanism-list code,
.continuity-contract code {
  font-family: var(--mono);
}

.mechanism-list code {
  padding: 9px 11px;
  border: 1px solid var(--line);
  border-radius: 6px;
  background: var(--paper-raised);
  font-size: 10px;
  line-height: 1.6;
}

.continuity-contract {
  display: grid;
  grid-template-columns: 180px 1fr 0.9fr;
  gap: 40px;
  align-items: center;
  margin-top: 70px;
  padding: 34px;
  border: 1px solid var(--accent);
  border-radius: var(--radius);
  background: var(--accent-soft);
}

.continuity-contract > span {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 10px;
  font-weight: 700;
  letter-spacing: 0.05em;
}

.continuity-contract code {
  font-size: clamp(17px, 2vw, 26px);
  text-align: center;
}

.continuity-contract p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 14px;
}

.decoder-system-section {
  max-width: var(--content);
  margin: 0 auto;
  padding: 150px 32px;
  border-top: 1px solid var(--line);
}

.decoder-system-heading {
  max-width: 900px;
}

.decoder-shape {
  display: grid;
  grid-template-columns: 190px auto 28px auto 28px auto 28px auto 28px auto;
  gap: 12px;
  align-items: center;
  margin-top: 72px;
  padding: 24px 0;
  border-top: 1px solid var(--line-strong);
  border-bottom: 1px solid var(--line-strong);
}

.decoder-shape > span,
.decoder-block-label span,
.decoder-detail header > span,
.decoder-transition > span,
.decoder-system-result > span {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.05em;
}

.decoder-shape strong {
  font-size: 13px;
  font-weight: 600;
  white-space: nowrap;
}

.decoder-shape i {
  position: relative;
  height: 1px;
  background: var(--line-strong);
}

.decoder-shape i::after {
  position: absolute;
  top: -3px;
  right: 0;
  width: 7px;
  height: 7px;
  border-top: 1px solid var(--line-strong);
  border-right: 1px solid var(--line-strong);
  content: "";
  transform: rotate(45deg);
}

.decoder-workbench {
  display: grid;
  grid-template-columns: minmax(260px, 0.72fr) minmax(0, 1.28fr);
  min-height: 760px;
  margin: 54px 0 0;
  overflow: hidden;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  background: var(--paper-raised);
}

.decoder-graph {
  display: grid;
  align-content: start;
  border-right: 1px solid var(--line-strong);
  background:
    linear-gradient(var(--grid) 1px, transparent 1px),
    linear-gradient(90deg, var(--grid) 1px, transparent 1px),
    var(--paper);
  background-size: 34px 34px;
}

.decoder-graph button {
  position: relative;
  display: grid;
  grid-template-columns: 34px 1fr;
  gap: 4px 12px;
  min-height: 80px;
  padding: 17px 24px;
  border: 0;
  border-bottom: 1px solid var(--line);
  background: rgb(242 243 239 / 90%);
  color: var(--ink);
  text-align: left;
  cursor: pointer;
  transition: background 180ms ease, color 180ms ease, transform 180ms ease;
}

.decoder-graph button::after {
  position: absolute;
  top: 0;
  right: 0;
  bottom: 0;
  width: 3px;
  background: transparent;
  content: "";
}

.decoder-graph button:hover {
  background: var(--paper-raised);
}

.decoder-graph button:active {
  transform: translateY(1px);
}

.decoder-graph button:focus-visible {
  z-index: 1;
  outline: 2px solid var(--accent);
  outline-offset: -3px;
}

.decoder-graph button[aria-selected="true"] {
  background: var(--accent-soft);
  color: var(--accent-dark);
}

.decoder-graph button[aria-selected="true"]::after {
  background: var(--accent);
}

.decoder-graph button > span {
  grid-row: 1 / span 2;
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 9px;
}

.decoder-graph button > strong {
  font-size: 15px;
  font-weight: 600;
  line-height: 1.2;
}

.decoder-graph button > small {
  grid-column: 2;
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 9px;
  line-height: 1.4;
}

.decoder-block-label {
  display: flex;
  min-height: 34px;
  align-items: center;
  padding: 0 24px;
  border-bottom: 1px solid var(--line);
  background: rgb(255 255 255 / 55%);
}

.decoder-detail {
  display: flex;
  min-width: 0;
  flex-direction: column;
  padding: 46px;
}

.decoder-detail header {
  max-width: 680px;
}

.decoder-detail h3 {
  margin: 16px 0 0;
  font-size: clamp(30px, 3.3vw, 48px);
  font-weight: 500;
  letter-spacing: -0.045em;
  line-height: 1.04;
  text-wrap: balance;
}

.decoder-detail header > p {
  max-width: 650px;
  margin: 24px 0 0;
  color: var(--ink-soft);
  font-size: 16px;
}

.decoder-layers {
  margin: 44px 0 0;
  border-top: 1px solid var(--line-strong);
}

.decoder-layers > div {
  display: grid;
  grid-template-columns: 110px 1fr;
  gap: 28px;
  padding: 18px 0;
  border-bottom: 1px solid var(--line);
}

.decoder-layers dt {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.decoder-layers dd {
  margin: 0;
  font-size: 14px;
  line-height: 1.5;
}

.decoder-transition {
  display: grid;
  grid-template-columns: 150px 1fr;
  gap: 12px 28px;
  margin-top: auto;
  padding: 26px;
  border: 1px solid var(--accent);
  border-radius: 8px;
  background: var(--accent-soft);
}

.decoder-transition code {
  font-size: 13px;
  line-height: 1.5;
}

.decoder-transition p {
  grid-column: 2;
  margin: 0;
  color: var(--ink-soft);
  font-size: 13px;
}

.decoder-system-result {
  display: grid;
  grid-template-columns: 230px minmax(0, 1fr);
  gap: 50px;
  align-items: start;
  padding: 38px 0 0;
}

.decoder-system-result p {
  max-width: 780px;
  margin: 0;
  font-size: clamp(20px, 2.2vw, 29px);
  letter-spacing: -0.025em;
  line-height: 1.35;
}

.walkthrough-section {
  border-top: 1px solid var(--line);
}

.token-walkthrough {
  margin: 80px 0 0;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  background: var(--paper-raised);
  overflow: hidden;
}

.token-rail {
  display: grid;
  grid-template-columns: repeat(6, 1fr);
  border-bottom: 1px solid var(--line-strong);
}

.token-rail button {
  display: flex;
  gap: 9px;
  align-items: center;
  justify-content: center;
  min-height: 58px;
  padding: 8px;
  border: 0;
  border-right: 1px solid var(--line);
  background: transparent;
  color: var(--ink-soft);
  font-size: 12px;
  cursor: pointer;
}

.token-rail button:last-child {
  border-right: 0;
}

.token-rail button span {
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 9px;
}

.token-rail button[aria-selected="true"] {
  background: var(--accent-soft);
  color: var(--accent-dark);
  font-weight: 600;
}

.token-stage {
  display: grid;
  grid-template-columns: minmax(430px, 1.15fr) minmax(350px, 0.85fr);
  min-height: 560px;
}

.token-visual {
  display: grid;
  grid-template-columns: 100px 100px 1fr;
  align-items: center;
  padding: 48px;
  border-right: 1px solid var(--line);
  background:
    linear-gradient(var(--line) 1px, transparent 1px),
    linear-gradient(90deg, var(--line) 1px, transparent 1px),
    var(--paper);
  background-size: 36px 36px;
}

.token-client {
  display: grid;
  min-height: 92px;
  place-items: center;
  border: 1px solid var(--line-strong);
  border-radius: 7px;
  background: var(--paper-raised);
  font-family: var(--mono);
  font-size: 9px;
}

.token-packet {
  position: relative;
  display: flex;
  align-items: center;
}

.token-packet i {
  width: 100%;
  height: 1px;
  background: var(--accent);
}

.token-packet span {
  position: absolute;
  left: 50%;
  padding: 3px 5px;
  transform: translate(-50%, -13px);
  background: var(--paper);
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 8px;
}

.token-runtime {
  min-height: 310px;
  padding: 26px;
  border: 1px solid var(--accent);
  border-radius: 9px;
  background: rgb(223 236 228 / 88%);
}

.token-runtime > span {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.06em;
}

.runtime-cells {
  display: grid;
  gap: 8px;
  margin-top: 30px;
}

.runtime-cells b {
  display: grid;
  min-height: 38px;
  place-items: center start;
  padding: 0 12px;
  border: 1px solid rgb(11 117 72 / 25%);
  border-radius: 5px;
  background: rgb(249 250 247 / 68%);
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 8px;
  transition: color 180ms ease, background 180ms ease, transform 180ms ease;
}

.token-visual[data-step="0"] .runtime-cells b:nth-child(1),
.token-visual[data-step="1"] .runtime-cells b:nth-child(2),
.token-visual[data-step="2"] .runtime-cells b:nth-child(2),
.token-visual[data-step="3"] .runtime-cells b:nth-child(3),
.token-visual[data-step="4"] .runtime-cells b:nth-child(4),
.token-visual[data-step="5"] .runtime-cells b:nth-child(5) {
  background: var(--accent);
  color: white;
  transform: translateX(8px);
}

.token-copy {
  padding: 48px 42px;
}

.token-copy > span {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.05em;
}

.token-copy h3 {
  margin: 16px 0 18px;
  font-size: 29px;
  font-weight: 500;
  letter-spacing: -0.035em;
  line-height: 1.12;
}

.token-copy > p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 15px;
}

.token-copy dl {
  margin: 30px 0 0;
}

.token-copy dl div {
  display: grid;
  grid-template-columns: 100px 1fr;
  gap: 16px;
  padding: 13px 0;
  border-top: 1px solid var(--line);
}

.token-copy dt {
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 9px;
  text-transform: uppercase;
}

.token-copy dd {
  margin: 0;
  font-size: 13px;
  line-height: 1.45;
}

.token-controls {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  margin-top: 28px;
}

.token-controls button {
  min-height: 40px;
  padding: 0 15px;
  border: 1px solid var(--line-strong);
  border-radius: 7px;
  background: transparent;
  font-size: 12px;
  cursor: pointer;
}

.token-controls button:hover {
  border-color: var(--ink);
}

.token-controls button[aria-pressed="true"] {
  border-color: var(--accent);
  background: var(--accent-soft);
  color: var(--accent-dark);
}

.co-design-section,
.operator-section,
.transition-section,
.performance-section,
.storage-section,
.compiler-section,
.schema-section,
.continuity-section,
.stack-contract-section {
  max-width: var(--content);
  margin: 0 auto;
  padding: 140px 32px;
  border-top: 1px solid var(--line);
}

.continuity-intro,
.stack-contract-intro {
  max-width: 900px;
}

.continuity-intro > div > span {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 10px;
  font-weight: 700;
  letter-spacing: 0.05em;
}

.continuity-intro h2,
.stack-contract-intro h2 {
  margin: 16px 0 0;
  font-size: clamp(42px, 5vw, 72px);
  font-weight: 450;
  letter-spacing: -0.058em;
  line-height: 0.99;
}

.continuity-intro > p,
.stack-contract-intro > p {
  max-width: 700px;
  margin: 30px 0 0;
  color: var(--ink-soft);
  font-size: 19px;
}

.continuity-equation {
  display: grid;
  grid-template-columns: 1fr 64px 1.25fr 64px 1fr;
  align-items: center;
  margin-top: 76px;
  padding: 42px;
  border: 1px solid var(--accent);
  border-radius: var(--radius);
  background: var(--accent-soft);
}

.continuity-equation code {
  display: flex;
  min-height: 92px;
  align-items: center;
  justify-content: center;
  padding: 16px;
  border: 1px solid rgb(11 117 72 / 24%);
  border-radius: 7px;
  background: rgb(249 250 247 / 72%);
  color: var(--accent-dark);
  font-size: clamp(12px, 1.3vw, 17px);
  text-align: center;
}

.continuity-equation i {
  height: 1px;
  background: var(--accent);
}

.invariant-ledger {
  display: grid;
  grid-template-columns: repeat(5, 1fr);
  margin-top: 54px;
  border-top: 1px solid var(--line-strong);
  border-bottom: 1px solid var(--line);
}

.invariant-ledger > div {
  min-height: 210px;
  padding: 24px 22px;
  border-right: 1px solid var(--line);
}

.invariant-ledger > div:last-child {
  border-right: 0;
}

.invariant-ledger span {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 9px;
}

.invariant-ledger strong {
  display: block;
  margin-top: 44px;
  font-size: 16px;
  line-height: 1.3;
}

.invariant-ledger p {
  margin: 12px 0 0;
  color: var(--ink-soft);
  font-size: 12px;
  line-height: 1.45;
}

.continuity-consequence {
  max-width: 680px;
  margin: 40px 0 0;
  font-size: 20px;
  letter-spacing: -0.015em;
}

.stack-flow {
  display: grid;
  grid-template-columns: 1fr 24px 1fr 24px 1fr 24px 1fr 24px 1fr;
  align-items: center;
  margin-top: 74px;
}

.stack-flow > div {
  display: grid;
  min-height: 230px;
  align-content: space-between;
  padding: 24px 20px;
  border: 1px solid var(--line-strong);
  border-radius: 8px;
  background: var(--paper-raised);
}

.stack-flow > div:nth-of-type(2),
.stack-flow > div:nth-of-type(3),
.stack-flow > div:nth-of-type(4) {
  border-color: var(--accent);
  background: var(--accent-soft);
}

.stack-flow span,
.stack-flow small {
  font-family: var(--mono);
}

.stack-flow span {
  color: var(--accent-dark);
  font-size: 8px;
  font-weight: 700;
}

.stack-flow strong {
  font-size: 16px;
  line-height: 1.25;
}

.stack-flow small {
  color: var(--ink-soft);
  font-size: 8px;
  line-height: 1.45;
}

.stack-flow > i {
  height: 1px;
  background: var(--accent);
}

.stack-verdict {
  display: grid;
  grid-template-columns: 0.7fr 1.3fr;
  gap: 54px;
  margin-top: 54px;
  padding-top: 30px;
  border-top: 1px solid var(--line-strong);
}

.stack-verdict strong {
  font-size: 20px;
  line-height: 1.25;
}

.stack-verdict p {
  max-width: 620px;
  margin: 0;
  color: var(--ink-soft);
}

.continuity-handoff {
  margin: 72px 0 0;
  overflow: hidden;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  background: var(--paper-raised);
}

.handoff-stage {
  display: grid;
  grid-template-columns: 250px minmax(320px, 1fr) 250px;
  align-items: center;
  min-height: 390px;
  padding: 48px;
}

.handoff-node {
  display: grid;
  min-height: 190px;
  align-content: space-between;
  padding: 24px;
  border: 1px solid var(--line-strong);
  border-radius: 8px;
  background: var(--paper);
}

.handoff-node > span,
.handoff-packet > span,
.trace-outcome > span {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.05em;
}

.handoff-node > strong {
  font-size: 18px;
  line-height: 1.25;
}

.handoff-node > code {
  color: var(--ink-soft);
  font-size: 12px;
}

.handoff-consumer {
  border-color: var(--accent);
}

.handoff-route {
  position: relative;
  display: grid;
  min-height: 220px;
  place-items: center;
}

.handoff-route > i {
  position: absolute;
  right: 0;
  left: 0;
  height: 1px;
  background: var(--accent);
}

.handoff-packet {
  position: relative;
  z-index: 1;
  display: grid;
  width: min(260px, calc(100% - 28px));
  min-height: 110px;
  align-content: space-between;
  padding: 19px;
  border: 1px solid var(--accent);
  border-radius: 7px;
  background: var(--accent-soft);
  box-shadow: 0 8px 24px rgb(11 117 72 / 8%);
}

.handoff-packet > strong {
  font-family: var(--mono);
  font-size: 11px;
  line-height: 1.35;
}

.handoff-route > small {
  position: absolute;
  bottom: 20px;
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 8px;
}

.continuity-handoff > figcaption {
  padding: 0 48px 34px;
  border-top: 1px solid var(--line);
}

.continuity-handoff dl {
  display: grid;
  grid-template-columns: repeat(5, 1fr);
  gap: 22px;
  margin: 0;
}

.continuity-handoff dl > div {
  padding-top: 24px;
}

.continuity-handoff dt,
.trace-outcome dt {
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 8px;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.continuity-handoff dd,
.trace-outcome dd {
  margin: 8px 0 0;
  font-size: 12px;
  line-height: 1.4;
}

.stack-trace {
  display: grid;
  grid-template-columns: minmax(0, 1.1fr) minmax(340px, 0.9fr);
  gap: clamp(70px, 9vw, 130px);
  align-items: start;
  margin-top: 78px;
}

.trace-rail {
  position: relative;
  display: grid;
  gap: 0;
  padding-left: 40px;
}

.trace-rail::before {
  position: absolute;
  top: 11px;
  bottom: 11px;
  left: 8px;
  width: 1px;
  background: var(--accent);
  content: "";
}

.trace-rail > div {
  position: relative;
  display: grid;
  grid-template-columns: 120px minmax(180px, 1fr) minmax(150px, 0.7fr);
  gap: 24px;
  align-items: center;
  min-height: 112px;
  padding: 20px 0;
}

.trace-rail > div::before {
  position: absolute;
  left: -40px;
  width: 17px;
  height: 1px;
  background: var(--accent);
  content: "";
}

.trace-rail span {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 700;
}

.trace-rail strong {
  font-size: 17px;
  line-height: 1.25;
}

.trace-rail code {
  color: var(--ink-soft);
  font-size: 9px;
  line-height: 1.45;
}

.trace-outcome {
  position: sticky;
  top: calc(var(--header-height) + 34px);
  min-height: 560px;
  padding: 42px;
  border: 1px solid var(--accent);
  border-radius: var(--radius);
  background: var(--accent-soft);
}

.trace-outcome > strong {
  display: block;
  margin-top: 86px;
  font-size: clamp(42px, 4.4vw, 65px);
  font-weight: 450;
  letter-spacing: -0.055em;
  line-height: 0.98;
}

.trace-outcome > p {
  max-width: 420px;
  margin: 30px 0 0;
  color: var(--ink-soft);
  font-size: 16px;
}

.trace-outcome dl {
  margin: 62px 0 0;
  border-top: 1px solid rgb(11 117 72 / 25%);
}

.trace-outcome dl > div {
  display: grid;
  grid-template-columns: 110px 1fr;
  gap: 22px;
  padding: 13px 0;
  border-bottom: 1px solid rgb(11 117 72 / 20%);
}

.trace-outcome dd {
  margin: 0;
}

.constraint-map,
.operator-atlas,
.transition-explorer,
.storage-explorer,
.certificate-explorer,
.threat-explorer {
  margin: 76px 0 0;
  overflow: hidden;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  background: var(--paper-raised);
}

.constraint-tabs,
.operator-tabs,
.transition-tabs,
.storage-controls,
.threat-tabs {
  display: grid;
  border-bottom: 1px solid var(--line-strong);
}

.constraint-tabs,
.operator-tabs,
.threat-tabs {
  grid-template-columns: repeat(4, 1fr);
}

.transition-tabs {
  grid-template-columns: repeat(3, 1fr);
}

.storage-controls {
  grid-template-columns: repeat(2, 1fr);
}

.constraint-tabs button,
.operator-tabs button,
.transition-tabs button,
.storage-controls button,
.threat-tabs button {
  min-height: 50px;
  padding: 10px 16px;
  border: 0;
  border-right: 1px solid var(--line);
  background: transparent;
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.04em;
  text-transform: uppercase;
  cursor: pointer;
}

.constraint-tabs button:last-child,
.operator-tabs button:last-child,
.transition-tabs button:last-child,
.storage-controls button:last-child,
.threat-tabs button:last-child {
  border-right: 0;
}

.constraint-tabs button[aria-selected="true"],
.operator-tabs button[aria-selected="true"],
.transition-tabs button[aria-selected="true"],
.storage-controls button[aria-selected="true"],
.threat-tabs button[aria-selected="true"] {
  background: var(--accent-soft);
  color: var(--accent-dark);
}

.constraint-system {
  display: grid;
  grid-template-columns: 1fr 44px 1fr 44px 1fr;
  align-items: center;
  min-height: 290px;
  padding: 42px;
}

.constraint-system [data-constraint-node] {
  display: grid;
  min-height: 150px;
  align-content: space-between;
  padding: 22px;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: var(--paper);
  transition: border-color 180ms ease, background 180ms ease, transform 180ms ease;
}

.constraint-system [data-constraint-node] span,
.constraint-detail > span,
.operator-detail > span,
.transition-copy > span,
.storage-copy > span,
.threat-result > span {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.05em;
}

.constraint-system [data-constraint-node] strong {
  font-size: 19px;
  font-weight: 500;
  line-height: 1.18;
}

.constraint-system > i {
  height: 1px;
  background: var(--line-strong);
}

.constraint-system[data-active="model"] [data-constraint-node="model"],
.constraint-system[data-active="crypto"] [data-constraint-node="crypto"],
.constraint-system[data-active="gpu"] [data-constraint-node="gpu"],
.constraint-system[data-active="contract"] [data-constraint-node] {
  border-color: var(--accent);
  background: var(--accent-soft);
  transform: translateY(-4px);
}

.constraint-detail {
  display: grid;
  grid-template-columns: 0.85fr 1.15fr;
  gap: 24px 48px;
  padding: 38px 42px 42px;
  border-top: 1px solid var(--line);
}

.constraint-detail h3,
.operator-detail h3,
.transition-copy h3,
.storage-copy h3,
.threat-result h3 {
  margin: 12px 0 0;
  font-size: 27px;
  font-weight: 500;
  letter-spacing: -0.03em;
  line-height: 1.15;
}

.constraint-detail > p,
.operator-detail > p,
.transition-copy > p,
.storage-copy > p,
.threat-result > p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 15px;
}

.constraint-detail dl,
.operator-detail dl,
.storage-copy dl {
  grid-column: 1 / -1;
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  margin: 10px 0 0;
  border-top: 1px solid var(--line);
}

.constraint-detail dl div,
.operator-detail dl div,
.storage-copy dl div {
  padding: 20px 22px 0 0;
}

.constraint-detail dt,
.operator-detail dt,
.storage-copy dt,
.performance-ledger dt,
.certificate-sheet dt {
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 8px;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.constraint-detail dd,
.operator-detail dd,
.storage-copy dd,
.performance-ledger dd,
.certificate-sheet dd {
  margin: 8px 0 0;
  font-size: 13px;
  line-height: 1.45;
}

.approach-ledger,
.performance-ledger {
  margin-top: 54px;
  border-top: 1px solid var(--line-strong);
}

.approach-ledger > div,
.performance-ledger > div {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: 28px;
  padding: 22px 0;
  border-bottom: 1px solid var(--line);
}

.approach-ledger .approach-head,
.performance-ledger .performance-head {
  padding: 13px 0;
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 8px;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.approach-ledger strong,
.approach-ledger span,
.performance-ledger strong,
.performance-ledger span {
  font-size: 13px;
  line-height: 1.45;
}

.approach-ledger div:not(.approach-head) span,
.performance-ledger div:not(.performance-head) span {
  color: var(--ink-soft);
}

.operator-layout,
.transition-layout,
.storage-layout {
  display: grid;
  grid-template-columns: 1fr 0.95fr;
  min-height: 500px;
}

.operator-visual,
.transition-visual,
.storage-visual {
  display: grid;
  align-content: center;
  padding: 54px;
  border-right: 1px solid var(--line);
  background: var(--paper);
}

.operator-visual {
  grid-template-columns: 1fr 52px 1fr 52px 1fr;
  align-items: center;
}

.operator-visual > span,
.operator-visual > strong {
  display: grid;
  min-height: 125px;
  place-items: center;
  padding: 18px;
  border: 1px solid var(--line);
  border-radius: 7px;
  background: var(--paper-raised);
  text-align: center;
  font-family: var(--mono);
  font-size: 11px;
}

.operator-visual > strong {
  border-color: var(--accent);
  background: var(--accent-soft);
  color: var(--accent-dark);
}

.operator-visual > i {
  height: 1px;
  background: var(--accent);
}

.operator-flow,
.transition-flow {
  display: grid;
  grid-template-columns: 1fr 58px 1fr 58px 1fr;
  align-items: center;
}

.operator-node,
.transition-node,
.transition-core {
  display: grid;
  min-height: 125px;
  align-content: space-between;
  padding: 18px;
  border: 1px solid var(--line);
  border-radius: 7px;
  background: var(--paper-raised);
}

.operator-node span,
.transition-node span,
.transition-core span {
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 8px;
}

.operator-node strong,
.transition-node strong,
.transition-core strong {
  font-family: var(--mono);
  font-size: 13px;
  line-height: 1.3;
}

.operator-core,
.transition-core {
  border-color: var(--accent);
  background: var(--accent-soft);
}

.operator-arrow,
.transition-arrow {
  height: 1px;
  background: var(--accent);
}

.operator-caption,
.transition-caption {
  margin: 32px 0 0;
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 10px;
}

.transition-visual {
  grid-template-columns: 1fr 42px 1.25fr 42px 1fr;
  align-items: center;
}

.transition-visual > div {
  display: grid;
  min-height: 145px;
  align-content: space-between;
  padding: 18px;
  border: 1px solid var(--line);
  border-radius: 7px;
  background: var(--paper-raised);
}

.transition-visual > div span {
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 8px;
}

.transition-visual > div strong {
  font-family: var(--mono);
  font-size: 11px;
  line-height: 1.35;
}

.transition-visual > .transition-core {
  border-color: var(--accent);
  background: var(--accent-soft);
}

.transition-visual > i {
  height: 1px;
  background: var(--accent);
}

.operator-detail,
.transition-copy,
.storage-copy {
  padding: 50px 42px;
}

.operator-detail dl,
.storage-copy dl {
  grid-template-columns: 1fr;
}

.operator-detail dl div,
.storage-copy dl div {
  display: grid;
  grid-template-columns: 108px 1fr;
  gap: 20px;
  padding: 14px 0;
  border-bottom: 1px solid var(--line);
}

.operator-detail dd,
.storage-copy dd {
  margin: 0;
}

.arithmetic-planes {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  margin-top: 52px;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  overflow: hidden;
}

.arithmetic-planes article {
  min-height: 210px;
  padding: 26px;
  border-right: 1px solid var(--line);
}

.arithmetic-planes article:last-child {
  border-right: 0;
}

.arithmetic-planes span {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 9px;
}

.arithmetic-planes h3 {
  margin: 40px 0 12px;
  font-size: 20px;
}

.arithmetic-planes p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 13px;
}

.transition-prose {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 70px;
  margin-top: 68px;
}

.transition-prose h3 {
  margin: 0 0 18px;
  font-size: 24px;
}

.transition-prose p {
  margin: 0;
  color: var(--ink-soft);
}

.transition-equation,
.performance-equation {
  margin: 30px 0 0;
  padding: 18px;
  border-left: 2px solid var(--accent);
  background: var(--accent-soft);
  font-family: var(--mono);
  font-size: 12px;
  line-height: 1.55;
}

.scaling-path {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  margin-top: 62px;
  border-top: 1px solid var(--line-strong);
  border-bottom: 1px solid var(--line-strong);
}

.scaling-path article {
  min-height: 250px;
  padding: 24px;
  border-right: 1px solid var(--line);
}

.scaling-path article:last-child {
  border-right: 0;
}

.scaling-path span {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.04em;
}

.scaling-path h3 {
  margin: 62px 0 16px;
  font-size: 20px;
  font-weight: 500;
  letter-spacing: -0.02em;
  line-height: 1.2;
}

.scaling-path p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 13px;
}

.technical-definition {
  margin-top: 58px;
  border-top: 1px solid var(--line-strong);
  border-bottom: 1px solid var(--line);
}

.technical-definition summary {
  padding: 19px 0;
  font-family: var(--mono);
  font-size: 10px;
  font-weight: 700;
  cursor: pointer;
}

.technical-definition > div {
  max-width: 870px;
  padding: 4px 0 28px;
  color: var(--ink-soft);
}

.technical-definition dl {
  margin: 26px 0 0;
}

.technical-definition dl div {
  display: grid;
  grid-template-columns: 140px 1fr;
  gap: 24px;
  padding: 14px 0;
  border-top: 1px solid var(--line);
}

.technical-definition dt {
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 8px;
  text-transform: uppercase;
}

.technical-definition dd {
  margin: 0;
  font-size: 13px;
}

.performance-equation {
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  gap: 18px;
  align-items: center;
  margin-top: 70px;
  padding: 30px;
  border: 1px solid var(--line-strong);
  border-left: 2px solid var(--accent);
  border-radius: 0 var(--radius) var(--radius) 0;
}

.performance-equation strong {
  font-family: var(--sans);
  font-size: 18px;
}

.performance-equation span {
  color: var(--accent-dark);
  text-align: center;
}

.batching-note {
  display: grid;
  grid-template-columns: 150px 1fr;
  gap: 34px;
  margin-top: 48px;
  padding: 28px;
  border: 1px solid var(--accent);
  border-radius: var(--radius);
  background: var(--accent-soft);
}

.batching-note strong {
  font-family: var(--mono);
  font-size: 10px;
}

.batching-note p {
  margin: 0;
  font-size: 14px;
}

.storage-pages {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: 7px;
}

.storage-pages i {
  display: grid;
  min-height: 64px;
  place-items: center;
  border: 1px solid var(--accent);
  border-radius: 5px;
  background: var(--accent-soft);
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 8px;
}

.storage-layout[data-storage="objects"] .storage-pages {
  gap: 18px 8px;
}

.storage-layout[data-storage="objects"] .storage-pages i:nth-child(3n) {
  transform: translateY(12px);
  border-color: var(--warning);
  background: var(--warning-soft);
  color: var(--warning);
}

.storage-legend {
  display: flex;
  justify-content: space-between;
  margin-top: 28px;
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 8px;
}

.storage-visual > span {
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 9px;
}

.storage-pages {
  margin-top: 26px;
}

.storage-keys {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 7px;
  margin-top: 18px;
}

.storage-keys b {
  padding: 9px;
  border: 1px solid var(--line);
  border-radius: 4px;
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 7px;
  text-align: center;
}

.certificate-explorer {
  display: grid;
  grid-template-columns: 240px 1fr;
}

.compiler-copy {
  max-width: 850px;
}

.compiler-copy > p:last-of-type {
  max-width: 720px;
  margin-top: 28px;
  color: var(--ink-soft);
  font-size: 19px;
}

.tensor-type {
  display: block;
  width: fit-content;
  max-width: 100%;
  margin-top: 30px;
  padding: 13px 16px;
  border: 1px solid var(--accent);
  border-radius: 6px;
  background: var(--accent-soft);
  color: var(--accent-dark);
  overflow-wrap: anywhere;
}

.candidate-list {
  display: grid;
  align-content: start;
  border-right: 1px solid var(--line-strong);
}

.candidate-list button {
  min-height: 58px;
  padding: 0 18px;
  border: 0;
  border-bottom: 1px solid var(--line);
  background: transparent;
  text-align: left;
  font-family: var(--mono);
  font-size: 9px;
  cursor: pointer;
}

.candidate-list button[aria-selected="true"] {
  background: var(--accent-soft);
  color: var(--accent-dark);
}

.certificate-sheet {
  display: grid;
  grid-template-columns: repeat(2, 1fr);
  gap: 0;
  padding: 40px;
}

.certificate-sheet div {
  min-height: 112px;
  padding: 20px;
  border-right: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.certificate-sheet div:nth-child(even) {
  border-right: 0;
}

.certificate-sheet div:last-child {
  grid-column: 1 / -1;
  display: flex;
  min-height: 70px;
  align-items: center;
  justify-content: space-between;
  border-right: 0;
  border-bottom: 0;
}

.certificate-sheet span {
  display: block;
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 8px;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.certificate-sheet strong {
  display: block;
  margin-top: 8px;
  font-size: 13px;
  line-height: 1.45;
}

.certificate-sheet .certificate-decision strong {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 17px;
  font-weight: 700;
}

.certificate-sheet[data-decision="reject"] .certificate-decision strong {
  color: var(--warning);
}

.threat-result {
  min-height: 230px;
  padding: 48px;
}

.threat-result p {
  max-width: 720px;
  margin-top: 18px;
}

.runtime-section {
  max-width: var(--content);
  margin: 0 auto;
  padding: 150px 32px;
  border-top: 1px solid var(--line);
}

.runtime-copy {
  max-width: 790px;
}

.serving-path {
  display: grid;
  grid-template-columns: 1fr 54px 1fr 54px 1fr 54px 1fr 54px 1fr;
  align-items: center;
  margin-top: 80px;
}

.serving-path > div {
  min-height: 140px;
  padding: 20px;
  border: 1px solid var(--line-strong);
  border-radius: 8px;
  background: var(--paper-raised);
}

.serving-path > div:nth-of-type(3),
.serving-path > div:nth-of-type(4) {
  border-color: var(--accent);
  background: var(--accent-soft);
}

.serving-path span,
.serving-path small {
  display: block;
  font-family: var(--mono);
}

.serving-path span {
  margin-bottom: 24px;
  color: var(--ink-faint);
  font-size: 9px;
}

.serving-path strong {
  display: block;
  font-size: 15px;
  line-height: 1.25;
}

.serving-path small {
  margin-top: 8px;
  color: var(--ink-soft);
  font-size: 8px;
  line-height: 1.45;
}

.serving-path > i {
  height: 1px;
  background: var(--accent);
}

.security-section {
  border-top: 1px solid var(--line);
}

.security-ledger {
  margin-top: 80px;
  border-top: 1px solid var(--line-strong);
}

.security-ledger > div {
  display: grid;
  grid-template-columns: 0.82fr 1.05fr 1fr 1fr;
  gap: 30px;
  padding: 24px 0;
  border-bottom: 1px solid var(--line);
}

.security-ledger .security-head {
  padding: 14px 0;
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 9px;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.security-ledger strong,
.security-ledger span {
  font-size: 14px;
  line-height: 1.45;
}

.security-ledger strong {
  font-weight: 600;
}

.security-ledger div:not(.security-head) span {
  color: var(--ink-soft);
}

.conclusion {
  max-width: 1080px;
  margin: 0 auto;
  padding: 160px 32px 120px;
  border-top: 1px solid var(--line);
}

.conclusion h2 {
  max-width: 950px;
}

.conclusion > p:not(.section-label) {
  max-width: 730px;
  margin: 36px 0 0;
  color: var(--ink-soft);
  font-size: 21px;
}

.conclusion-points {
  display: grid;
  grid-template-columns: repeat(2, 1fr);
  margin-top: 70px;
  border-top: 1px solid var(--line-strong);
}

.conclusion-points span {
  padding: 24px 26px 24px 0;
  border-bottom: 1px solid var(--line);
  font-size: 18px;
}

.conclusion-points span:nth-child(odd) {
  border-right: 1px solid var(--line);
}

.conclusion-points span:nth-child(even) {
  padding-left: 26px;
}

.mirror-finish-flow {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  margin-top: 72px;
  border-top: 1px solid var(--line-strong);
  border-left: 1px solid var(--line);
}

.mirror-finish-flow article {
  display: grid;
  min-height: 290px;
  align-content: space-between;
  padding: 24px;
  border-right: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
  background: var(--paper-raised);
}

.mirror-finish-flow article:nth-child(2),
.mirror-finish-flow article:nth-child(3) {
  background: var(--accent-soft);
}

.mirror-finish-flow span,
.mirror-finish-result > span {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.05em;
}

.mirror-finish-flow strong {
  margin-top: 48px;
  font-size: 17px;
  line-height: 1.25;
}

.mirror-finish-flow p {
  margin: 18px 0 0;
  color: var(--ink-soft);
  font-size: 12px;
  line-height: 1.5;
}

.mirror-finish-result {
  display: grid;
  grid-template-columns: 190px minmax(0, 1fr);
  gap: 48px;
  margin-top: 56px;
  padding: 30px 0;
  border-top: 1px solid var(--line-strong);
  border-bottom: 1px solid var(--line);
}

.mirror-finish-result p {
  max-width: 740px;
  margin: 0;
  color: var(--ink-soft);
  font-size: 16px;
}

.conclusion > p.conclusion-closing {
  max-width: 930px;
  margin: 72px 0 0;
  color: var(--ink);
  font-size: clamp(31px, 4vw, 49px);
  font-weight: 450;
  letter-spacing: -0.045em;
  line-height: 1.08;
}

.conclusion-link {
  display: inline-flex;
  gap: 16px;
  align-items: center;
  margin-top: 42px;
  padding-bottom: 5px;
  border-bottom: 1px solid var(--ink);
  font-size: 14px;
  font-weight: 600;
  text-decoration: none;
}

.conclusion-link:hover {
  color: var(--accent-dark);
  border-color: var(--accent-dark);
}

.references {
  max-width: 1080px;
  margin: 0 auto 120px;
  padding: 0 32px;
}

.references summary {
  padding: 22px 0;
  border-top: 1px solid var(--line-strong);
  border-bottom: 1px solid var(--line);
  font-family: var(--mono);
  font-size: 11px;
  font-weight: 700;
  letter-spacing: 0.05em;
  text-transform: uppercase;
  cursor: pointer;
}

.references ol {
  margin: 0;
  padding: 24px 0 0 22px;
}

.references:not([open]) > ol {
  display: none;
}

.references li {
  padding: 8px 0;
  color: var(--ink-soft);
  font-size: 14px;
}

.references a:hover {
  color: var(--accent-dark);
}

footer {
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  gap: 32px;
  align-items: center;
  min-height: 170px;
  padding: 42px 32px;
  border-top: 1px solid var(--line-strong);
  background: var(--paper-raised);
}

footer p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 14px;
}

footer > a:last-child {
  justify-self: end;
  color: var(--ink-soft);
  font-size: 13px;
  text-decoration: none;
}

footer > a:last-child:hover {
  color: var(--ink);
}

/* Paper structure and measured evidence */
.paper-abstract {
  max-width: 1120px;
  margin: 0 auto;
  padding: 88px 32px 76px;
  border-bottom: 1px solid var(--line-strong);
}

.paper-citation-line {
  display: flex;
  flex-wrap: wrap;
  gap: 10px 28px;
  padding-bottom: 24px;
  border-bottom: 1px solid var(--line);
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 9px;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.paper-abstract-copy,
.paper-contributions {
  display: grid;
  grid-template-columns: 150px minmax(0, 1fr);
  gap: 44px;
}

.paper-abstract-copy {
  padding: 52px 0 48px;
}

.paper-abstract-copy h2,
.paper-contributions h3 {
  margin: 0;
  font-family: var(--mono);
  font-size: 11px;
  font-weight: 700;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.paper-abstract-copy p {
  max-width: 820px;
  margin: 0;
  font-size: 20px;
  letter-spacing: -0.018em;
  line-height: 1.62;
}

.paper-contributions {
  padding: 32px 0;
  border-top: 1px solid var(--line);
}

.paper-contributions ol {
  display: grid;
  gap: 13px;
  margin: 0;
  padding: 0;
  counter-reset: contribution;
  list-style: none;
}

.paper-contributions li {
  position: relative;
  padding-left: 34px;
  counter-increment: contribution;
  font-size: 15px;
  line-height: 1.5;
}

.paper-contributions li::before {
  position: absolute;
  left: 0;
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 10px;
  content: counter(contribution, decimal-leading-zero);
}

.paper-scope {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  margin: 28px 0 0;
  border-top: 1px solid var(--line-strong);
  border-left: 1px solid var(--line);
}

.paper-scope > div {
  min-height: 112px;
  padding: 20px;
  border-right: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.paper-scope dt,
.claim-table-head,
.evidence-ledger span,
.evidence-ledger small {
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 9px;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.paper-scope dd {
  margin: 15px 0 0;
  font-size: 14px;
  line-height: 1.45;
}

.token-cycle-figure {
  margin: 72px 0 0;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  background: var(--paper-raised);
  overflow: hidden;
}

.token-cycle-figure > figcaption {
  display: grid;
  grid-template-columns: minmax(0, 1.2fr) minmax(300px, 0.8fr);
  gap: 54px;
  align-items: end;
  padding: 34px;
  border-bottom: 1px solid var(--line-strong);
}

.token-cycle-figure figcaption span,
.cycle-key-boundary span,
.cycle-key-boundary b,
.cycle-node > span,
.cycle-model-plane header span,
.cycle-kv-loop span,
.cycle-outcomes span,
.cycle-proof-strip span,
.schema-detail-heading > span {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.05em;
}

.token-cycle-figure figcaption h3 {
  max-width: 720px;
  margin: 15px 0 0;
  font-size: 31px;
  font-weight: 500;
  letter-spacing: -0.035em;
  line-height: 1.12;
}

.token-cycle-figure figcaption > p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 13px;
}

.cycle-key-boundary {
  display: grid;
  grid-template-columns: 190px 88px minmax(0, 1fr);
  align-items: center;
  padding: 26px 34px;
  border-bottom: 1px solid var(--line);
  background: var(--paper);
}

.cycle-key-boundary > div {
  display: grid;
  gap: 4px;
}

.cycle-key-boundary strong {
  font-size: 14px;
}

.cycle-key-boundary code {
  color: var(--warning);
  font-family: var(--mono);
  font-size: 10px;
}

.cycle-key-boundary > i {
  position: relative;
  height: 1px;
  margin: 0 18px;
  background: var(--line-strong);
}

.cycle-key-boundary > i::after {
  position: absolute;
  top: -4px;
  right: -1px;
  width: 7px;
  height: 7px;
  border-top: 1px solid var(--line-strong);
  border-right: 1px solid var(--line-strong);
  transform: rotate(45deg);
  content: "";
}

.cycle-key-boundary > p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 12px;
}

.cycle-key-boundary b {
  margin-right: 8px;
}

.token-cycle-path {
  display: grid;
  grid-template-columns:
    minmax(125px, 0.7fr) 42px minmax(150px, 0.9fr) 42px
    minmax(380px, 2.1fr) 42px minmax(150px, 0.9fr);
  align-items: stretch;
  padding: 34px;
  border-bottom: 1px solid var(--line-strong);
}

.cycle-node,
.cycle-model-plane {
  min-width: 0;
  border: 1px solid var(--line-strong);
  border-radius: 7px;
}

.cycle-node {
  display: grid;
  min-height: 310px;
  align-content: space-between;
  padding: 19px;
  background: var(--paper);
}

.cycle-node > strong,
.cycle-model-plane header strong,
.cycle-outcomes strong,
.cycle-proof-strip strong {
  display: block;
  line-height: 1.25;
}

.cycle-node > strong {
  margin-top: 32px;
  font-size: 17px;
}

.cycle-node > p {
  margin: 18px 0;
  color: var(--ink-soft);
  font-size: 12px;
  line-height: 1.45;
}

.cycle-node > code,
.cycle-model-plane > code,
.cycle-outcomes code,
.cycle-proof-strip code {
  font-family: var(--mono);
  font-size: 9px;
  overflow-wrap: anywhere;
}

.cycle-exact {
  border-color: #b69b57;
  background: #f3ecdc;
}

.cycle-exact > span,
.cycle-exact > code,
.cycle-arrow-cross span {
  color: #735d28;
}

.cycle-bridge {
  border-color: var(--accent);
  background: var(--accent-soft);
}

.cycle-arrow {
  display: grid;
  min-width: 0;
  place-items: center;
}

.cycle-arrow span {
  align-self: end;
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 7px;
  line-height: 1.2;
  text-align: center;
}

.cycle-arrow i {
  position: relative;
  align-self: start;
  width: 100%;
  height: 1px;
  margin-top: 30px;
  background: var(--accent);
}

.cycle-arrow i::after {
  position: absolute;
  top: -3px;
  right: 0;
  width: 6px;
  height: 6px;
  border-top: 1px solid var(--accent);
  border-right: 1px solid var(--accent);
  transform: rotate(45deg);
  content: "";
}

.cycle-arrow-cross i {
  background: #9a7b31;
}

.cycle-arrow-cross i::after {
  border-color: #9a7b31;
}

.cycle-model-plane {
  display: grid;
  min-height: 310px;
  align-content: space-between;
  padding: 19px;
  border-color: var(--accent);
  background: var(--accent-soft);
}

.cycle-model-plane header strong {
  margin-top: 10px;
  font-size: 17px;
}

.cycle-model-steps {
  display: grid;
  grid-template-columns: 1fr 18px 1fr 18px 1fr 18px 1fr;
  align-items: center;
  margin-top: 18px;
}

.cycle-model-steps b {
  display: grid;
  min-height: 44px;
  place-items: center;
  border: 1px solid rgb(11 117 72 / 25%);
  background: rgb(249 250 247 / 68%);
  font-family: var(--mono);
  font-size: 8px;
  font-weight: 600;
  text-align: center;
}

.cycle-model-steps i {
  height: 1px;
  background: var(--accent);
}

.cycle-kv-loop {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 16px;
  margin: 14px 0;
  padding: 13px;
  border: 1px dashed var(--accent);
  background: rgb(249 250 247 / 52%);
}

.cycle-kv-loop strong {
  display: block;
  margin-top: 5px;
  font-size: 11px;
}

.cycle-kv-loop p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 9px;
  line-height: 1.4;
}

.cycle-model-plane > code {
  color: var(--accent-dark);
}

.cycle-outcomes {
  display: grid;
  grid-template-columns: 1fr 1fr;
  border-bottom: 1px solid var(--line-strong);
}

.cycle-outcomes article {
  position: relative;
  min-height: 174px;
  padding: 26px 34px;
}

.cycle-outcomes article + article {
  border-left: 1px solid var(--line-strong);
}

.cycle-outcomes strong {
  margin-top: 12px;
  font-size: 18px;
}

.cycle-outcomes p {
  max-width: 480px;
  margin: 12px 0 17px;
  color: var(--ink-soft);
  font-size: 12px;
}

.cycle-continue {
  padding-left: 66px !important;
  background: var(--accent-soft);
}

.cycle-continue::before {
  position: absolute;
  top: 32px;
  bottom: 32px;
  left: 30px;
  width: 20px;
  border-bottom: 1px solid var(--accent);
  border-left: 1px solid var(--accent);
  border-radius: 0 0 0 12px;
  content: "";
}

.cycle-continue::after {
  position: absolute;
  bottom: 29px;
  left: 44px;
  width: 6px;
  height: 6px;
  border-top: 1px solid var(--accent);
  border-right: 1px solid var(--accent);
  transform: rotate(45deg);
  content: "";
}

.cycle-release {
  background: var(--paper);
}

.cycle-proof-strip {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
}

.cycle-proof-strip > div {
  min-height: 164px;
  padding: 22px;
  border-right: 1px solid var(--line);
}

.cycle-proof-strip > div:last-child {
  border-right: 0;
}

.cycle-proof-strip strong {
  margin-top: 30px;
  font-size: 14px;
}

.cycle-proof-strip p {
  margin: 9px 0 0;
  color: var(--ink-soft);
  font-size: 11px;
  line-height: 1.45;
}

.mechanism-ledger {
  margin-top: 96px;
}

.mechanism-ledger > header {
  display: grid;
  grid-template-columns: 200px minmax(0, 1fr);
  gap: 54px;
  align-items: start;
  padding-top: 30px;
  border-top: 1px solid var(--line-strong);
}

.mechanism-ledger > header > span,
.mechanism-table-head span,
.mechanism-table article b,
.mechanism-table article small {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.05em;
}

.mechanism-ledger h3 {
  margin: 0;
  font-size: 35px;
  font-weight: 500;
  letter-spacing: -0.035em;
  line-height: 1.1;
}

.mechanism-ledger header p {
  max-width: 700px;
  margin: 18px 0 0;
  color: var(--ink-soft);
  font-size: 15px;
}

.mechanism-table {
  margin-top: 38px;
  border-top: 1px solid var(--line-strong);
  border-left: 1px solid var(--line-strong);
}

.mechanism-table-head,
.mechanism-table article {
  display: grid;
  grid-template-columns: minmax(190px, 0.7fr) minmax(320px, 1.15fr) minmax(300px, 1fr);
}

.mechanism-table-head span {
  min-height: 46px;
  padding: 14px 18px;
  border-right: 1px solid var(--line-strong);
  border-bottom: 1px solid var(--line-strong);
  color: var(--ink-faint);
}

.mechanism-table article > div {
  min-width: 0;
  min-height: 154px;
  padding: 22px 18px;
  border-right: 1px solid var(--line-strong);
  border-bottom: 1px solid var(--line-strong);
  background: var(--paper-raised);
}

.mechanism-table article > div:first-child {
  background: var(--paper);
}

.mechanism-table article b,
.mechanism-table article strong,
.mechanism-table article small {
  display: block;
}

.mechanism-table article strong {
  margin-top: 34px;
  font-size: 17px;
  line-height: 1.2;
}

.mechanism-table article small {
  margin-top: 9px;
  color: var(--ink-faint);
  font-weight: 500;
  line-height: 1.45;
}

.mechanism-table article p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 12px;
  line-height: 1.5;
}

.mechanism-table article code {
  display: block;
  margin-top: 22px;
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 10px;
  line-height: 1.45;
  overflow-wrap: anywhere;
}

.schema-detail-heading {
  display: grid;
  grid-template-columns: 200px minmax(0, 1fr);
  gap: 54px;
  margin-top: 96px;
  padding-top: 30px;
  border-top: 1px solid var(--line-strong);
}

.schema-detail-heading h3 {
  margin: 0;
  font-size: 29px;
  font-weight: 500;
  letter-spacing: -0.03em;
  line-height: 1.15;
}

.schema-detail-heading p {
  max-width: 720px;
  margin: 18px 0 0;
  color: var(--ink-soft);
  font-size: 14px;
}

.schema-compiler-flow {
  display: grid;
  grid-template-columns: 1fr 40px 1fr 40px 1fr 40px 1fr;
  align-items: center;
  margin-top: 72px;
  padding: 28px;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  background: var(--paper-raised);
}

.schema-compiler-flow > div {
  display: grid;
  min-height: 112px;
  align-content: space-between;
  padding: 17px;
  border: 1px solid var(--line);
  border-radius: 6px;
  background: var(--paper);
}

.schema-compiler-flow > div:nth-of-type(2),
.schema-compiler-flow > div:nth-of-type(3) {
  border-color: var(--accent);
  background: var(--accent-soft);
}

.schema-compiler-flow span,
.schema-comparison header span,
.scheme-handling span,
.domain-bridge span,
.error-contract figcaption > span,
.domain-crossing-note span {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.04em;
}

.schema-compiler-flow strong {
  font-size: 14px;
  line-height: 1.3;
}

.schema-compiler-flow > i,
.schema-mini-flow > i,
.domain-bridge > i {
  position: relative;
  height: 1px;
  background: var(--accent);
}

.schema-compiler-flow > i::after,
.schema-mini-flow > i::after,
.domain-bridge > i::after {
  position: absolute;
  top: -3px;
  right: 0;
  width: 6px;
  height: 6px;
  border-top: 1px solid var(--accent);
  border-right: 1px solid var(--accent);
  transform: rotate(45deg);
  content: "";
}

.schema-comparison {
  display: grid;
  grid-template-columns: 1fr 1fr;
  margin-top: 58px;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  overflow: hidden;
}

.schema-comparison > article {
  padding: 34px;
  background: var(--paper-raised);
}

.schema-comparison > article + article {
  border-left: 1px solid var(--line-strong);
}

.schema-comparison h3 {
  margin: 17px 0 0;
  font-size: 27px;
  font-weight: 500;
  letter-spacing: -0.03em;
  line-height: 1.12;
}

.schema-comparison article > p {
  min-height: 108px;
  margin: 24px 0 0;
  color: var(--ink-soft);
  font-size: 14px;
}

.schema-mini-flow {
  display: grid;
  grid-template-columns: 1fr 24px 1.25fr 24px 1fr;
  align-items: center;
  margin-top: 28px;
  padding: 20px;
  border: 1px solid var(--line);
  background: var(--paper);
}

.schema-mini-flow b {
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 500;
  line-height: 1.4;
  text-align: center;
}

.schema-comparison dl {
  margin: 28px 0 0;
}

.schema-comparison dl div {
  display: grid;
  grid-template-columns: 110px 1fr;
  gap: 18px;
  padding: 12px 0;
  border-top: 1px solid var(--line);
}

.schema-comparison dt {
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 9px;
  text-transform: uppercase;
}

.schema-comparison dd {
  margin: 0;
  font-size: 13px;
}

.scheme-handling {
  display: grid;
  grid-template-columns: minmax(260px, 0.8fr) minmax(340px, 1.2fr);
  gap: 34px 58px;
  margin-top: 58px;
  padding: 34px;
  border: 1px solid var(--accent);
  border-radius: var(--radius);
  background: var(--accent-soft);
}

.scheme-handling h3 {
  margin: 17px 0 0;
  font-size: 27px;
  font-weight: 500;
  letter-spacing: -0.03em;
  line-height: 1.15;
}

.scheme-handling p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 14px;
}

.scheme-handling > code {
  grid-column: 1 / -1;
  padding-top: 22px;
  border-top: 1px solid rgba(22, 137, 99, 0.28);
  font-family: var(--mono);
  font-size: 12px;
  overflow-wrap: anywhere;
}

.domain-bridge {
  display: grid;
  grid-template-columns: 1fr 42px 1.5fr 42px 1fr;
  align-items: center;
  margin-top: 30px;
  padding: 28px;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  background: var(--paper-raised);
}

.domain-bridge > div {
  display: grid;
  min-height: 170px;
  align-content: space-between;
  padding: 20px;
  border: 1px solid var(--line);
  border-radius: 6px;
  background: var(--paper);
}

.domain-bridge > .bridge-core {
  border-color: var(--accent);
  background: var(--accent-soft);
}

.domain-bridge strong {
  font-size: 15px;
  line-height: 1.35;
}

.domain-bridge code {
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 11px;
}

.error-contract {
  margin: 88px 0 0;
  padding-top: 28px;
  border-top: 1px solid var(--line-strong);
}

.error-contract > figcaption {
  display: grid;
  grid-template-columns: 180px minmax(0, 1.1fr) minmax(280px, 0.8fr);
  gap: 36px;
  align-items: start;
}

.error-contract figcaption h3 {
  margin: 0;
  font-size: 29px;
  font-weight: 500;
  letter-spacing: -0.03em;
  line-height: 1.15;
}

.error-contract figcaption p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 14px;
}

.contract-charts {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 14px;
  margin-top: 36px;
}

.contract-charts svg {
  width: 100%;
  height: auto;
  border: 1px solid var(--line);
  background: var(--paper-raised);
}

.chart-kicker,
.chart-note,
.axis-label {
  fill: var(--ink-faint);
  font-family: var(--mono);
}

.chart-kicker {
  fill: var(--accent-dark);
  font-size: 13px;
  font-weight: 700;
}

.chart-note {
  font-size: 11px;
}

.axis-label {
  font-size: 10px;
}

.contract-grid,
.error-limit,
.refresh-marker {
  stroke: var(--line-strong);
  stroke-width: 1;
}

.error-limit,
.refresh-marker {
  stroke-dasharray: 5 5;
}

.capacity-line,
.boolean-margin-line,
.error-bound-line {
  fill: none;
  stroke: var(--accent);
  stroke-width: 4;
  stroke-linecap: round;
  stroke-linejoin: round;
}

.boolean-margin-line {
  stroke: #9a7b31;
}

.error-bound-line {
  stroke: var(--ink-soft);
}

.error-formulas {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  margin-top: 14px;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.error-formulas code {
  min-width: 0;
  padding: 17px;
  border-right: 1px solid var(--line);
  font-family: var(--mono);
  font-size: 10px;
  line-height: 1.45;
  overflow-wrap: anywhere;
}

.error-formulas code:nth-child(-n + 3) {
  border-bottom: 1px solid var(--line);
}

.error-formulas code:nth-child(3n) {
  border-right: 0;
}

.error-formulas code:last-child {
  border-right: 0;
}

.symbolic-note {
  margin: 14px 0 0;
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 9px;
}

.domain-crossing-note {
  display: grid;
  grid-template-columns: 220px 1fr;
  gap: 36px;
  margin-top: 32px;
  padding: 26px;
  border-left: 2px solid var(--accent);
  background: var(--accent-soft);
}

.domain-crossing-note p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 14px;
}

.measured-results-section,
.latency-mechanism-section {
  max-width: var(--content);
  margin: 0 auto;
  padding: 110px 32px 130px;
  border-top: 1px solid var(--line-strong);
}

.paper-section-heading {
  display: grid;
  grid-template-columns: 180px minmax(0, 1fr);
  gap: 48px;
  max-width: 1080px;
}

.paper-section-heading > span,
.figure-heading > span {
  padding-top: 8px;
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.paper-section-heading h2 {
  margin: 0;
  font-size: clamp(35px, 4vw, 54px);
  font-weight: 500;
  letter-spacing: -0.045em;
  line-height: 1.04;
}

.paper-section-heading p {
  max-width: 760px;
  margin: 26px 0 0;
  color: var(--ink-soft);
  font-size: 17px;
}

.evidence-ledger {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  margin-top: 64px;
  border-top: 1px solid var(--line-strong);
  border-bottom: 1px solid var(--line-strong);
}

.evidence-ledger > div {
  display: grid;
  min-height: 126px;
  align-content: space-between;
  padding: 20px;
  border-right: 1px solid var(--line);
}

.evidence-ledger > div:nth-child(3n) {
  border-right: 0;
}

.evidence-ledger > div:nth-child(-n + 3) {
  border-bottom: 1px solid var(--line);
}

.evidence-ledger strong {
  margin: 20px 0 7px;
  font-family: var(--mono);
  font-size: 27px;
  font-weight: 500;
  font-variant-numeric: tabular-nums;
}

.evidence-ledger small {
  font-size: 8px;
  text-transform: none;
}

.evidence-stat-note {
  max-width: 760px;
  margin: 18px 0 0;
  color: var(--ink-faint);
  font-size: 12px;
  line-height: 1.55;
}

.critical-path-comparison {
  margin: 84px 0 0;
  border-top: 1px solid var(--line-strong);
}

.critical-path-comparison > figcaption {
  display: grid;
  grid-template-columns: 180px minmax(0, 1.1fr) minmax(280px, 0.8fr);
  gap: 36px;
  align-items: start;
  padding: 28px 0 36px;
}

.critical-path-comparison > figcaption span,
.critical-path-lanes header span {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.05em;
}

.critical-path-comparison > figcaption h3 {
  margin: 0;
  font-size: 29px;
  font-weight: 500;
  letter-spacing: -0.03em;
  line-height: 1.15;
}

.critical-path-comparison > figcaption p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 14px;
}

.critical-path-lanes {
  display: grid;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  overflow: hidden;
}

.critical-path-lanes article {
  padding: 34px;
  background: var(--paper-raised);
}

.critical-path-lanes article + article {
  border-top: 1px solid var(--line-strong);
}

.critical-path-lanes .compiled-path {
  background: var(--accent-soft);
}

.critical-path-lanes header {
  display: grid;
  grid-template-columns: 180px 1fr;
  gap: 24px;
  align-items: baseline;
}

.critical-path-lanes header h4 {
  margin: 0;
  font-size: 21px;
  font-weight: 500;
  letter-spacing: -0.02em;
}

.path-rail {
  display: flex;
  align-items: center;
  margin-top: 32px;
}

.path-rail > div {
  display: grid;
  flex: 1 1 0;
  min-width: 0;
  min-height: 128px;
  align-content: space-between;
  padding: 14px;
  border: 1px solid var(--line);
  border-radius: 5px;
  background: var(--paper);
}

.path-rail > div.avoidable {
  border-color: #cbb783;
  background: #f3ecda;
}

.path-rail > div.fused-step {
  flex-grow: 2.1;
  border-color: var(--accent);
  background: #e1f1e9;
}

.path-rail b {
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 500;
}

.path-rail strong {
  font-size: 14px;
  font-weight: 600;
}

.path-rail small {
  color: var(--ink-faint);
  font-size: 10px;
  line-height: 1.35;
}

.path-rail > i {
  position: relative;
  flex: 0 0 18px;
  height: 1px;
  background: var(--line-strong);
}

.path-rail > i::after {
  position: absolute;
  top: -3px;
  right: 0;
  width: 6px;
  height: 6px;
  border-top: 1px solid var(--line-strong);
  border-right: 1px solid var(--line-strong);
  transform: rotate(45deg);
  content: "";
}

.path-verdict {
  margin: 20px 0 0;
  color: var(--ink-soft);
  font-size: 13px;
}

.compiled-path .path-verdict {
  color: var(--accent-dark);
}

.latency-effects {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  margin-top: 58px;
  border-top: 1px solid var(--line-strong);
  border-bottom: 1px solid var(--line-strong);
}

.latency-effects article {
  min-height: 245px;
  padding: 24px;
  border-right: 1px solid var(--line);
}

.latency-effects article:last-child {
  border-right: 0;
}

.latency-effects span {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 9px;
}

.latency-effects h3 {
  margin: 56px 0 14px;
  font-size: 19px;
  font-weight: 500;
  letter-spacing: -0.02em;
  line-height: 1.2;
}

.latency-effects p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 13px;
}

.latency-equation {
  display: grid;
  grid-template-columns: minmax(300px, 0.8fr) 46px minmax(0, 1.2fr);
  gap: 24px;
  align-items: center;
  margin-top: 58px;
  padding: 32px;
  border: 1px solid var(--accent);
  border-radius: var(--radius);
  background: var(--accent-soft);
}

.latency-equation code {
  font-family: var(--mono);
  font-size: 13px;
  line-height: 1.6;
}

.latency-equation i {
  height: 1px;
  background: var(--accent);
}

.latency-equation p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 14px;
}

.request-latency-chart {
  padding: 42px;
  border: 1px solid var(--line);
  background: var(--paper-raised);
}

.request-total {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 24px;
  padding-bottom: 20px;
}

.request-total span,
.request-breakdown span,
.request-breakdown small,
.request-percentiles span {
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 9px;
  letter-spacing: 0.03em;
  text-transform: uppercase;
}

.request-total strong {
  font-family: var(--mono);
  font-size: 22px;
  font-weight: 500;
  font-variant-numeric: tabular-nums;
}

.request-stack {
  display: flex;
  width: 100%;
  height: 58px;
  overflow: hidden;
  border: 1px solid var(--line-strong);
  border-radius: 4px;
}

.request-stack i {
  display: block;
  width: var(--share);
  height: 100%;
}

.request-stack i + i {
  border-left: 2px solid var(--paper-raised);
}

.request-token-zero {
  background: var(--accent);
}

.request-token-one {
  background: var(--ink-soft);
}

.request-server-other {
  background: #8f9b98;
}

.request-edges {
  background: #d6b76d;
}

.request-breakdown {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  margin-top: 18px;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.request-breakdown > div {
  display: grid;
  grid-template-columns: 9px 1fr;
  gap: 7px 10px;
  padding: 17px 16px;
  border-right: 1px solid var(--line);
}

.request-breakdown > div:last-child {
  border-right: 0;
}

.request-breakdown i {
  width: 9px;
  height: 9px;
  margin-top: 2px;
}

.request-breakdown strong,
.request-breakdown small {
  grid-column: 2;
  font-family: var(--mono);
  font-variant-numeric: tabular-nums;
}

.request-breakdown strong {
  font-size: 15px;
  font-weight: 500;
}

.request-percentiles {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 1px;
  margin-top: 26px;
  background: var(--line);
}

.request-percentiles > div {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 20px;
  padding: 18px;
  background: var(--paper-raised);
}

.request-percentiles strong {
  font-family: var(--mono);
  font-size: 15px;
  font-weight: 500;
  font-variant-numeric: tabular-nums;
}

.paper-figure {
  margin: 92px 0 0;
  padding: 0;
  border-top: 1px solid var(--line-strong);
}

.figure-heading {
  display: grid;
  grid-template-columns: 150px minmax(0, 1fr);
  gap: 40px;
  padding: 28px 0 34px;
}

.figure-heading h3 {
  margin: 0;
  font-size: 29px;
  font-weight: 500;
  letter-spacing: -0.03em;
  line-height: 1.15;
}

.figure-heading p {
  max-width: 700px;
  margin: 12px 0 0;
  color: var(--ink-soft);
  font-size: 14px;
}

.paper-figure > figcaption {
  max-width: 900px;
  margin: 22px 0 0 190px;
  color: var(--ink-soft);
  font-size: 13px;
  line-height: 1.65;
}

.depth-chart {
  display: block;
  width: 100%;
  height: auto;
  border: 1px solid var(--line);
  background: var(--paper-raised);
}

.chart-grid line {
  stroke: var(--line);
  stroke-width: 1;
}

.chart-axis text,
.chart-legend text {
  fill: var(--ink-faint);
  font-family: var(--mono);
  font-size: 10px;
}

.depth-line {
  fill: none;
  stroke-width: 3;
  stroke-linecap: round;
  stroke-linejoin: round;
}

.depth-line.token-zero,
.depth-points.token-zero,
.chart-legend .token-zero {
  stroke: var(--accent);
}

.depth-line.token-one,
.depth-points.token-one,
.chart-legend .token-one {
  stroke: var(--ink-soft);
}

.depth-points circle {
  fill: var(--paper-raised);
  stroke-width: 3;
}

.error-chart,
.operator-latency-curve {
  display: block;
  width: 100%;
  height: auto;
  border: 1px solid var(--line);
  background: var(--paper-raised);
}

.error-line,
.latency-sample-line {
  fill: none;
  stroke-width: 2.5;
  stroke-linecap: round;
  stroke-linejoin: round;
}

.error-line.token-zero {
  stroke: var(--accent);
}

.error-line.token-one {
  stroke: var(--ink-soft);
}

.winner-guides line {
  stroke-width: 1;
  stroke-dasharray: 4 5;
  opacity: 0.36;
}

.winner-guides .token-zero {
  stroke: var(--accent);
}

.winner-guides .token-one {
  stroke: var(--ink-soft);
}

.curve-metrics {
  display: grid;
  grid-template-columns: repeat(5, 1fr);
  margin-top: 18px;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.curve-metrics > div {
  display: grid;
  gap: 12px;
  padding: 17px 18px;
  border-right: 1px solid var(--line);
}

.curve-metrics > div:last-child {
  border-right: 0;
}

.curve-metrics span,
.curve-metrics strong {
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 500;
}

.curve-metrics span {
  color: var(--ink-faint);
  line-height: 1.45;
}

.curve-metrics strong {
  font-size: 15px;
  font-variant-numeric: tabular-nums;
}

.latency-chart {
  padding: 42px;
  border: 1px solid var(--line);
  background: var(--paper-raised);
}

.operator-latency-curve {
  border: 0;
}

.latency-sample-line,
.chart-legend .latency-sample-key {
  stroke: var(--accent);
}

.latency-p95-guide,
.chart-legend .latency-p95-key {
  stroke: var(--ink-soft);
  stroke-width: 1.5;
  stroke-dasharray: 7 6;
}

.operator-stack {
  display: flex;
  height: 58px;
  margin-top: 28px;
  overflow: hidden;
  border: 1px solid var(--line-strong);
}

.operator-stack > span {
  min-width: 3px;
  border-right: 1px solid rgb(255 255 255 / 45%);
}

.operator-input { flex: 0.034414; background: var(--ink-faint); }
.operator-square { flex: 0.582577; background: var(--accent); }
.operator-rescale { flex: 0.035181; background: #79bc99; }
.operator-remask { flex: 0.021676; background: #c5d8cc; }

.operator-breakdown,
.operator-percentiles {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
}

.operator-breakdown {
  margin-top: 18px;
}

.operator-breakdown > div {
  display: grid;
  grid-template-columns: 8px minmax(0, 1fr);
  gap: 5px 9px;
  padding-right: 18px;
}

.operator-breakdown i {
  grid-row: 1 / span 2;
  width: 8px;
  height: 8px;
  margin-top: 3px;
}

.operator-input-key { background: var(--ink-faint); }
.operator-square-key { background: var(--accent); }
.operator-rescale-key { background: #79bc99; }
.operator-remask-key { background: #c5d8cc; }

.operator-breakdown b,
.operator-breakdown strong,
.operator-percentiles span,
.operator-percentiles strong {
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 500;
}

.operator-breakdown strong {
  grid-column: 2;
  color: var(--ink-faint);
}

.operator-percentiles {
  margin-top: 38px;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.operator-percentiles > div {
  display: grid;
  gap: 10px;
  padding: 17px 18px;
  border-right: 1px solid var(--line);
}

.operator-percentiles > div:last-child {
  border-right: 0;
}

.operator-percentiles span {
  color: var(--ink-faint);
  text-transform: uppercase;
}

.operator-percentiles strong {
  font-size: 16px;
  font-variant-numeric: tabular-nums;
}

.claim-table {
  border-top: 1px solid var(--line-strong);
}

.claim-table > div {
  display: grid;
  grid-template-columns: 1fr 0.55fr 1.35fr;
  gap: 28px;
  align-items: start;
  padding: 17px 0;
  border-bottom: 1px solid var(--line);
}

.claim-table-head {
  padding: 12px 0 !important;
}

.claim-table strong,
.claim-table span,
.claim-table small {
  font-size: 13px;
  line-height: 1.45;
}

.claim-table strong {
  font-weight: 600;
}

.claim-table span {
  color: var(--accent-dark);
  font-family: var(--mono);
  font-size: 11px;
}

.claim-table small {
  color: var(--ink-soft);
}

.paper-article .section-heading h2,
.paper-article .turning-copy h2,
.paper-article .mechanism-heading h2,
.paper-article .runtime-copy h2,
.paper-article .compiler-copy h2,
.paper-article .continuity-intro h2,
.paper-article .stack-contract-intro h2,
.paper-article .conclusion h2 {
  font-size: clamp(35px, 4vw, 56px);
  line-height: 1.04;
}

.paper-article .section-heading > p:last-child,
.paper-article .mechanism-heading > p:last-child,
.paper-article .runtime-copy > p:last-child,
.paper-article .continuity-intro > p,
.paper-article .stack-contract-intro > p {
  font-size: 17px;
}

.paper-article .history-story,
.paper-article .research-frontier,
.paper-article .boundary-section,
.paper-article .walkthrough-section,
.paper-article .security-section,
.paper-article .mirror-mechanism,
.paper-article .decoder-system-section,
.paper-article .runtime-section,
.paper-article .turning-point,
.paper-article .co-design-section,
.paper-article .operator-section,
.paper-article .transition-section,
.paper-article .performance-section,
.paper-article .storage-section,
.paper-article .compiler-section,
.paper-article .continuity-section,
.paper-article .stack-contract-section {
  padding-top: 110px;
  padding-bottom: 110px;
}

@media (max-width: 1120px) {
  .hero {
    grid-template-columns: 1fr;
  }

  .hero-system {
    min-height: 490px;
  }

  .history-layout {
    grid-template-columns: minmax(280px, 0.7fr) minmax(460px, 1.3fr);
    gap: 46px;
  }

  .mechanism-list article {
    grid-template-columns: 130px 1fr 0.8fr;
  }

  .mechanism-list code {
    grid-column: 2 / -1;
  }

  .continuity-contract {
    grid-template-columns: 150px 1fr;
  }

  .continuity-contract p {
    grid-column: 2;
  }

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

  .token-visual {
    min-height: 480px;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .operator-layout,
  .transition-layout,
  .storage-layout {
    grid-template-columns: 1fr;
  }

  .operator-visual,
  .transition-visual,
  .storage-visual {
    min-height: 420px;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .stack-flow {
    grid-template-columns: 1fr;
    gap: 10px;
  }

  .stack-flow > div {
    min-height: 150px;
  }

  .stack-flow > i {
    justify-self: center;
    width: 1px;
    height: 24px;
  }

  .stack-trace {
    grid-template-columns: 1fr;
  }

  .trace-outcome {
    position: relative;
    top: auto;
    min-height: 480px;
  }

  .serving-path {
    grid-template-columns: repeat(5, 1fr);
    gap: 10px;
  }

  .serving-path > i {
    display: none;
  }
}

@media (max-width: 860px) {
  :root {
    --header-height: 62px;
  }

  .site-header {
    grid-template-columns: 1fr auto;
    padding: 0 20px;
  }

  .site-header nav {
    display: none;
  }

  .header-topic {
    font-size: 9px;
  }

  .brand {
    font-size: 11px;
  }

  .brand-mark {
    width: 32px;
    height: 32px;
    font-size: 15px;
  }

  .schema-compiler-flow,
  .domain-bridge {
    grid-template-columns: 1fr;
  }

  .schema-compiler-flow > i,
  .domain-bridge > i {
    justify-self: center;
    width: 1px;
    height: 26px;
  }

  .schema-compiler-flow > i::after,
  .domain-bridge > i::after {
    top: auto;
    right: -3px;
    bottom: 0;
    transform: rotate(135deg);
  }

  .schema-comparison {
    grid-template-columns: 1fr;
  }

  .schema-comparison > article + article {
    border-top: 1px solid var(--line-strong);
    border-left: 0;
  }

  .schema-comparison article > p {
    min-height: 0;
  }

  .scheme-handling,
  .error-contract > figcaption {
    grid-template-columns: 1fr;
  }

  .contract-charts {
    grid-template-columns: 1fr;
  }

  .contract-charts svg {
    max-width: 620px;
    justify-self: center;
  }

  .error-formulas {
    grid-template-columns: repeat(2, 1fr);
  }

  .error-formulas code:nth-child(even) {
    border-right: 0;
  }

  .error-formulas code:nth-child(-n + 4) {
    border-bottom: 1px solid var(--line);
  }

  .domain-crossing-note {
    grid-template-columns: 1fr;
  }

  .hero {
    min-height: auto;
    padding: 64px 20px 80px;
  }

  .hero h1 {
    font-size: clamp(48px, 12vw, 72px);
  }

  .hero-system {
    min-height: 0;
  }

  .hero-flow {
    grid-template-columns: 1fr;
    gap: 12px;
    min-height: 0;
    padding: 30px 0;
  }

  .hero-connector {
    justify-self: center;
    width: 1px;
    height: 30px;
  }

  .hero-connector i {
    width: 1px;
    height: 100%;
  }

  .hero-connector b {
    left: 11px;
    top: 50%;
    transform: translateY(-50%);
  }

  .article-opening {
    grid-template-columns: 1fr;
    gap: 42px;
    padding: 90px 20px 110px;
  }

  .fhe-simple-flow {
    grid-template-columns: 1fr;
    padding: 28px 0;
  }

  .fhe-simple-flow > i {
    justify-self: start;
    width: 1px;
    height: 30px;
    margin: 12px 0 12px 13px;
  }

  .fhe-simple-flow > i::after {
    top: auto;
    right: -3px;
    bottom: 0;
    transform: rotate(135deg);
  }

  .story-map {
    grid-template-columns: repeat(2, 1fr);
  }

  .story-map a:nth-child(2) {
    border-right: 0;
  }

  .story-map a:nth-child(-n + 2) {
    border-bottom: 1px solid var(--line);
  }

  .paper-abstract,
  .measured-results-section,
  .latency-mechanism-section {
    padding-right: 20px;
    padding-left: 20px;
  }

  .paper-abstract-copy,
  .paper-contributions,
  .paper-section-heading,
  .figure-heading {
    grid-template-columns: 1fr;
    gap: 18px;
  }

  .paper-scope {
    grid-template-columns: repeat(2, 1fr);
  }

  .evidence-ledger {
    grid-template-columns: repeat(2, 1fr);
  }

  .evidence-ledger > div {
    border-bottom: 1px solid var(--line);
  }

  .evidence-ledger > div:nth-child(odd) {
    border-right: 1px solid var(--line);
  }

  .evidence-ledger > div:nth-child(even) {
    border-right: 0;
  }

  .paper-figure > figcaption {
    margin-left: 0;
  }

  .critical-path-comparison > figcaption {
    grid-template-columns: 150px 1fr;
  }

  .critical-path-comparison > figcaption p {
    grid-column: 2;
  }

  .latency-effects {
    grid-template-columns: repeat(2, 1fr);
  }

  .latency-effects article:nth-child(2) {
    border-right: 0;
  }

  .latency-effects article:nth-child(-n + 2) {
    border-bottom: 1px solid var(--line);
  }

  .request-breakdown {
    grid-template-columns: repeat(2, 1fr);
  }

  .request-breakdown > div:nth-child(2) {
    border-right: 0;
  }

  .request-breakdown > div:nth-child(-n + 2) {
    border-bottom: 1px solid var(--line);
  }

  .scaling-path {
    grid-template-columns: repeat(2, 1fr);
  }

  .scaling-path article:nth-child(2) {
    border-right: 0;
  }

  .scaling-path article:nth-child(-n + 2) {
    border-bottom: 1px solid var(--line);
  }

  .depth-figure,
  .error-figure,
  .latency-chart,
  .claim-table {
    overflow-x: auto;
  }

  .depth-chart,
  .error-chart,
  .curve-metrics,
  .operator-latency-curve,
  .operator-stack,
  .operator-breakdown,
  .operator-percentiles {
    min-width: 760px;
  }

  .claim-table > div {
    min-width: 760px;
  }

  .decoder-shape {
    grid-template-columns: 1fr;
    gap: 0;
  }

  .decoder-shape > span {
    margin-bottom: 22px;
  }

  .decoder-shape strong {
    padding-left: 20px;
  }

  .decoder-shape i {
    justify-self: start;
    width: 1px;
    height: 24px;
    margin: 7px 0 7px 3px;
  }

  .decoder-shape i::after {
    top: auto;
    right: -3px;
    bottom: 0;
    transform: rotate(135deg);
  }

  .decoder-workbench {
    grid-template-columns: 1fr;
  }

  .decoder-graph {
    border-right: 0;
    border-bottom: 1px solid var(--line-strong);
  }

  .decoder-detail {
    min-height: 760px;
  }

  .decoder-system-result {
    grid-template-columns: 1fr;
    gap: 18px;
  }

  .history-story,
  .research-frontier,
  .boundary-section,
  .walkthrough-section,
  .security-section,
  .mirror-mechanism,
  .decoder-system-section,
  .runtime-section,
  .turning-point,
  .co-design-section,
  .operator-section,
  .transition-section,
  .performance-section,
  .storage-section,
  .compiler-section,
  .continuity-section,
  .stack-contract-section {
    padding: 100px 20px;
  }

  .continuity-equation {
    grid-template-columns: 1fr;
    gap: 10px;
    padding: 26px;
  }

  .continuity-equation i {
    justify-self: center;
    width: 1px;
    height: 24px;
  }

  .invariant-ledger {
    grid-template-columns: repeat(2, 1fr);
  }

  .invariant-ledger > div {
    border-bottom: 1px solid var(--line);
  }

  .invariant-ledger > div:nth-child(even) {
    border-right: 0;
  }

  .stack-verdict {
    grid-template-columns: 1fr;
    gap: 18px;
  }

  .constraint-detail {
    grid-template-columns: 1fr;
  }

  .frontier-tracks {
    grid-template-columns: repeat(2, 1fr);
  }

  .frontier-tracks > div:nth-child(2) {
    border-right: 0;
  }

  .frontier-tracks > div:nth-child(-n + 2) {
    border-bottom: 1px solid var(--line);
  }

  .frontier-map > figcaption {
    align-items: flex-start;
    flex-direction: column;
    gap: 7px;
  }

  .frontier-mainline {
    grid-template-columns: 1fr;
    padding: 30px 0;
  }

  .frontier-mainline > div,
  .frontier-mainline .frontier-target {
    min-height: 0;
    padding: 24px;
  }

  .frontier-mainline > div:not(.frontier-target) {
    padding-right: 0;
    padding-left: 0;
  }

  .frontier-mainline > div > strong,
  .frontier-mainline .frontier-target > strong {
    margin-top: 24px;
  }

  .frontier-mainline > i {
    justify-self: center;
    width: 1px;
    height: 32px;
  }

  .frontier-mainline > i::after {
    top: auto;
    right: -3px;
    bottom: 0;
    transform: rotate(135deg);
  }

  .frontier-fork {
    grid-template-columns: 1fr;
    gap: 12px;
  }

  .handoff-stage {
    grid-template-columns: 1fr;
    padding: 34px;
  }

  .handoff-route {
    min-height: 170px;
  }

  .handoff-route > i {
    top: 0;
    bottom: 0;
    right: auto;
    left: 50%;
    width: 1px;
    height: auto;
  }

  .continuity-handoff > figcaption {
    padding: 0 34px 28px;
  }

  .continuity-handoff dl {
    grid-template-columns: repeat(2, 1fr);
  }

  .trace-rail > div {
    grid-template-columns: 120px 1fr 160px;
  }

  .constraint-detail dl {
    grid-template-columns: 1fr;
  }

  .constraint-detail dl div {
    padding-right: 0;
  }

  .approach-ledger,
  .performance-ledger,
  .security-ledger {
    overflow-x: auto;
  }

  .approach-ledger > div,
  .performance-ledger > div {
    min-width: 780px;
  }

  .transition-prose {
    grid-template-columns: 1fr;
    gap: 38px;
  }

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

  .performance-equation span {
    text-align: left;
  }

  .certificate-explorer {
    grid-template-columns: 1fr;
  }

  .candidate-list {
    grid-template-columns: repeat(4, 1fr);
    border-right: 0;
    border-bottom: 1px solid var(--line-strong);
  }

  .candidate-list button {
    min-height: 70px;
    border-right: 1px solid var(--line);
    border-bottom: 0;
  }

  .history-heading {
    margin-bottom: 60px;
  }

  .history-layout {
    display: flex;
    flex-direction: column;
  }

  .history-visual {
    position: relative;
    top: auto;
    order: -1;
    width: 100%;
    min-height: 600px;
  }

  .history-step {
    min-height: 0;
    padding-bottom: 30px;
  }

  .paper-row {
    grid-template-columns: 90px 1fr 0.75fr;
  }

  .paper-row > div:last-child {
    grid-column: 2 / -1;
  }

  .turning-point {
    grid-template-columns: 1fr;
  }

  .boundary-stage {
    grid-template-columns: 1fr;
    gap: 10px;
  }

  .boundary-crossing {
    justify-self: center;
    width: 1px;
    height: 34px;
  }

  .boundary-crossing i {
    width: 1px;
    height: 100%;
  }

  .boundary-crossing span {
    left: 12px;
    bottom: auto;
    white-space: nowrap;
  }

  .boundary-result {
    grid-template-columns: 1fr;
    gap: 12px;
  }

  .mechanism-heading {
    grid-template-columns: 1fr;
  }

  .mechanism-heading .section-label,
  .mechanism-heading h2,
  .mechanism-heading > p:last-child {
    grid-column: 1;
    grid-row: auto;
  }

  .mechanism-list article {
    grid-template-columns: 1fr;
    gap: 16px;
  }

  .mechanism-list code {
    grid-column: auto;
  }

  .continuity-contract {
    grid-template-columns: 1fr;
    gap: 22px;
  }

  .continuity-contract p {
    grid-column: auto;
  }

  .token-rail {
    grid-template-columns: repeat(3, 1fr);
  }

  .token-rail button:nth-child(-n + 3) {
    border-bottom: 1px solid var(--line);
  }

  .serving-path {
    grid-template-columns: 1fr;
  }

  .serving-path > div {
    min-height: auto;
  }

  .security-ledger {
    overflow-x: auto;
  }

  .security-ledger > div {
    min-width: 760px;
  }

  .conclusion {
    padding: 120px 20px 100px;
  }

  .references {
    padding: 0 20px;
  }

  footer {
    grid-template-columns: 1fr auto;
    padding: 36px 20px;
  }

  footer p {
    display: none;
  }
}

@media (max-width: 560px) {
  body {
    font-size: 16px;
  }

  .header-topic {
    display: none;
  }

  .hero {
    gap: 54px;
  }

  .hero h1 {
    font-size: clamp(45px, 13.2vw, 62px);
  }

  .hero-deck {
    font-size: 19px;
  }

  .hero-meta {
    display: grid;
    gap: 7px;
  }

  .hero-meta span + span::before {
    display: none;
  }

  .schema-compiler-flow,
  .domain-bridge,
  .schema-comparison > article,
  .scheme-handling {
    padding: 20px;
  }

  .schema-mini-flow {
    grid-template-columns: 1fr;
    gap: 10px;
  }

  .schema-mini-flow > i {
    justify-self: center;
    width: 1px;
    height: 20px;
  }

  .schema-mini-flow > i::after {
    top: auto;
    right: -3px;
    bottom: 0;
    transform: rotate(135deg);
  }

  .schema-comparison dl div {
    grid-template-columns: 1fr;
    gap: 7px;
  }

  .error-formulas {
    grid-template-columns: 1fr;
  }

  .error-formulas code,
  .error-formulas code:nth-child(even) {
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .error-formulas code:last-child {
    border-bottom: 0;
  }

  .hero-system {
    padding: 18px;
  }

  .hero-system-heading {
    display: grid;
    gap: 4px;
  }

  .runtime-loop {
    gap: 4px;
  }

  .article-opening {
    padding-top: 78px;
  }

  .paper-abstract {
    padding-top: 62px;
    padding-bottom: 58px;
  }

  .paper-abstract-copy p {
    font-size: 18px;
  }

  .paper-scope,
  .evidence-ledger {
    grid-template-columns: 1fr;
  }

  .evidence-ledger > div,
  .evidence-ledger > div:nth-child(odd) {
    border-right: 0;
  }

  .request-latency-chart {
    padding: 24px 18px;
  }

  .request-total {
    display: grid;
    gap: 8px;
  }

  .request-breakdown,
  .request-percentiles {
    grid-template-columns: 1fr;
  }

  .request-breakdown > div,
  .request-breakdown > div:nth-child(2) {
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .scaling-path {
    grid-template-columns: 1fr;
  }

  .scaling-path article,
  .scaling-path article:nth-child(2) {
    min-height: 0;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .scaling-path article:last-child {
    border-bottom: 0;
  }

  .scaling-path h3 {
    margin-top: 34px;
  }

  .measured-results-section,
  .latency-mechanism-section {
    padding-top: 82px;
    padding-bottom: 96px;
  }

  .critical-path-comparison {
    margin-top: 62px;
  }

  .critical-path-comparison > figcaption,
  .critical-path-lanes header,
  .latency-equation {
    grid-template-columns: 1fr;
  }

  .critical-path-comparison > figcaption p {
    grid-column: 1;
  }

  .critical-path-lanes article {
    padding: 24px 20px;
  }

  .path-rail {
    display: grid;
    grid-template-columns: 1fr;
  }

  .path-rail > div,
  .path-rail > div.fused-step {
    min-height: 104px;
  }

  .path-rail > i {
    justify-self: center;
    width: 1px;
    height: 22px;
  }

  .path-rail > i::after {
    top: auto;
    right: -3px;
    bottom: 0;
    transform: rotate(135deg);
  }

  .latency-effects {
    grid-template-columns: 1fr;
  }

  .latency-effects article,
  .latency-effects article:nth-child(2) {
    min-height: 0;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .latency-effects article:last-child {
    border-bottom: 0;
  }

  .latency-effects h3 {
    margin-top: 34px;
  }

  .latency-equation i {
    width: 100%;
  }

  .story-map {
    grid-template-columns: 1fr;
  }

  .story-map a,
  .story-map a + a {
    min-height: 0;
    padding: 22px 0;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .decoder-detail {
    min-height: 0;
    padding: 28px 22px;
  }

  .decoder-detail h3 {
    font-size: 34px;
  }

  .decoder-layers > div {
    grid-template-columns: 1fr;
    gap: 7px;
  }

  .decoder-transition {
    grid-template-columns: 1fr;
    margin-top: 38px;
  }

  .decoder-transition p {
    grid-column: 1;
  }

  .opening-lede {
    font-size: 28px;
  }

  .section-heading h2,
  .turning-copy h2,
  .mechanism-heading h2,
  .runtime-copy h2,
  .compiler-copy h2,
  .conclusion h2 {
    font-size: 43px;
  }

  .history-visual {
    min-height: 510px;
    padding: 20px;
  }

  .history-meter ol {
    gap: 3px;
  }

  .history-meter li {
    font-size: 6.5px;
  }

  .history-canvas {
    min-height: 260px;
  }

  .protected-chain {
    gap: 4px;
  }

  .chain-cell {
    min-height: 75px;
    font-size: 6px;
  }

  .history-step {
    padding-left: 20px;
  }

  .history-step dl div {
    grid-template-columns: 1fr;
    gap: 5px;
  }

  .decode-cycle {
    min-height: 0;
    padding: 18px;
  }

  .decode-cycle-header {
    align-items: flex-start;
    flex-direction: column;
    gap: 6px;
  }

  .decode-cycle-path {
    grid-template-columns: 1fr;
  }

  .decode-cycle-stage {
    min-height: 118px;
  }

  .decode-cycle-arrow {
    width: 1px;
    height: 28px;
  }

  .decode-cycle-arrow::after {
    top: auto;
    right: auto;
    bottom: 0;
    left: 50%;
    transform: translateX(-50%) rotate(135deg);
  }

  .decode-cycle-arrow span {
    top: 0;
    left: 50%;
    transform: translate(-50%, 0);
    animation: decode-pulse-mobile 2.4s ease-in-out infinite;
  }

  @keyframes decode-pulse-mobile {
    0% { transform: translate(-50%, 0); opacity: 0; }
    18% { opacity: 1; }
    82% { opacity: 1; }
    100% { transform: translate(-50%, 24px); opacity: 0; }
  }

  .decode-feedback {
    grid-template-columns: 28px minmax(0, 1fr) 28px;
    margin: 0;
  }

  .decode-feedback-rail {
    align-items: center;
    flex-direction: column;
    gap: 3px;
    border-radius: 10px;
    text-align: center;
  }

  .decode-cycle-rule {
    grid-template-columns: auto minmax(0, 1fr);
  }

  .boundary-lab {
    padding: 18px;
  }

  .constraint-map,
  .operator-atlas,
  .transition-explorer,
  .storage-explorer,
  .certificate-explorer,
  .threat-explorer {
    margin-top: 54px;
  }

  .constraint-tabs,
  .operator-tabs,
  .threat-tabs,
  .candidate-list {
    grid-template-columns: repeat(2, 1fr);
  }

  .constraint-tabs button:nth-child(2),
  .operator-tabs button:nth-child(2),
  .threat-tabs button:nth-child(2),
  .candidate-list button:nth-child(2) {
    border-right: 0;
  }

  .constraint-tabs button:nth-child(-n + 2),
  .operator-tabs button:nth-child(-n + 2),
  .threat-tabs button:nth-child(-n + 2),
  .candidate-list button:nth-child(-n + 2) {
    border-bottom: 1px solid var(--line);
  }

  .transition-tabs {
    grid-template-columns: 1fr;
  }

  .transition-tabs button {
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .constraint-system {
    grid-template-columns: 1fr;
    gap: 12px;
    padding: 22px;
  }

  .invariant-ledger {
    grid-template-columns: 1fr;
  }

  .invariant-ledger > div,
  .invariant-ledger > div:nth-child(even) {
    min-height: 0;
    border-right: 0;
  }

  .invariant-ledger strong {
    margin-top: 22px;
  }

  .continuity-handoff {
    margin-top: 54px;
  }

  .handoff-stage {
    padding: 24px 18px;
  }

  .handoff-node {
    min-height: 160px;
  }

  .continuity-handoff > figcaption {
    padding: 0 22px 24px;
  }

  .continuity-handoff dl {
    grid-template-columns: 1fr;
    gap: 0;
  }

  .continuity-handoff dl > div {
    padding: 18px 0;
    border-bottom: 1px solid var(--line);
  }

  .trace-rail {
    padding-left: 30px;
  }

  .trace-rail > div {
    grid-template-columns: 1fr;
    gap: 7px;
    min-height: 0;
    padding: 22px 0;
  }

  .trace-rail > div::before {
    left: -30px;
  }

  .trace-outcome {
    min-height: 0;
    padding: 34px 26px;
  }

  .trace-outcome > strong {
    margin-top: 52px;
    font-size: 44px;
  }

  .constraint-system > i {
    justify-self: center;
    width: 1px;
    height: 22px;
  }

  .constraint-system [data-constraint-node] {
    min-height: 118px;
  }

  .constraint-detail,
  .operator-detail,
  .transition-copy,
  .storage-copy,
  .threat-result {
    padding: 32px 24px;
  }

  .operator-visual,
  .transition-visual,
  .storage-visual {
    min-height: 350px;
    padding: 30px 20px;
  }

  .operator-visual,
  .transition-visual {
    grid-template-columns: 1fr;
    gap: 10px;
  }

  .operator-visual > span,
  .operator-visual > strong,
  .transition-visual > div {
    min-height: 92px;
  }

  .operator-visual > i,
  .transition-visual > i {
    justify-self: center;
    width: 1px;
    height: 22px;
  }

  .operator-detail dl div,
  .storage-copy dl div,
  .technical-definition dl div {
    grid-template-columns: 1fr;
    gap: 6px;
  }

  .arithmetic-planes {
    grid-template-columns: 1fr;
  }

  .arithmetic-planes article {
    min-height: 0;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .arithmetic-planes article:last-child {
    border-bottom: 0;
  }

  .batching-note {
    grid-template-columns: 1fr;
  }

  .certificate-sheet {
    grid-template-columns: 1fr;
    padding: 22px;
  }

  .certificate-sheet div,
  .certificate-sheet div:nth-child(even) {
    min-height: 90px;
    border-right: 0;
  }

  .certificate-sheet div:last-child {
    grid-column: auto;
  }

  .research-controls {
    grid-template-columns: 1fr;
  }

  .frontier-tracks {
    grid-template-columns: 1fr;
  }

  .frontier-tracks > div,
  .frontier-tracks > div:nth-child(2) {
    min-height: 0;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .frontier-tracks > div:last-child {
    border-bottom: 0;
  }

  .frontier-tracks strong {
    margin-top: 20px;
  }

  .frontier-map {
    margin-top: 54px;
  }

  .frontier-mainline .frontier-target {
    padding: 22px;
  }

  .paper-catalog > summary {
    align-items: flex-start;
    flex-direction: column;
    justify-content: center;
    gap: 3px;
    padding: 14px 18px;
  }

  .paper-catalog .research-controls {
    margin: 20px 18px 0;
  }

  .paper-catalog .paper-index {
    margin: 26px 18px 20px;
  }

  .research-controls button {
    border-right: 0;
    border-bottom: 1px solid var(--line-strong);
  }

  .research-controls button:last-child {
    border-bottom: 0;
  }

  .paper-row {
    grid-template-columns: 1fr;
    gap: 17px;
  }

  .paper-row > div:last-child {
    grid-column: auto;
  }

  .frontier-reading {
    grid-template-columns: 1fr;
    gap: 14px;
    padding: 24px;
  }

  .boundary-controls {
    grid-template-columns: 1fr;
    margin-bottom: 42px;
  }

  .boundary-controls button {
    border-right: 0;
    border-bottom: 1px solid var(--line-strong);
  }

  .boundary-controls button:last-child {
    border-bottom: 0;
  }

  .continuity-contract {
    padding: 24px;
  }

  .continuity-contract code {
    overflow-wrap: anywhere;
    text-align: left;
  }

  .token-rail {
    grid-template-columns: repeat(2, 1fr);
  }

  .token-rail button {
    border-bottom: 1px solid var(--line);
  }

  .token-stage {
    min-height: 0;
  }

  .token-visual {
    grid-template-columns: 64px 46px 1fr;
    min-height: 420px;
    padding: 24px 18px;
  }

  .token-client {
    min-height: 72px;
    font-size: 7px;
  }

  .token-runtime {
    min-height: 300px;
    padding: 18px;
  }

  .token-copy {
    padding: 34px 24px;
  }

  .token-copy dl div {
    grid-template-columns: 1fr;
    gap: 5px;
  }

  .conclusion-points {
    grid-template-columns: 1fr;
  }

  .conclusion-points span:nth-child(odd) {
    border-right: 0;
  }

  .conclusion-points span:nth-child(even) {
    padding-left: 0;
  }

  footer {
    grid-template-columns: 1fr;
  }

  footer > a:last-child {
    justify-self: start;
  }
}

@media (max-width: 1120px) {
  .token-cycle-path {
    grid-template-columns: 1fr;
    gap: 0;
  }

  .cycle-node {
    min-height: 210px;
  }

  .cycle-arrow {
    min-height: 56px;
  }

  .cycle-arrow span {
    align-self: center;
    margin-left: 22px;
  }

  .cycle-arrow i {
    align-self: center;
    justify-self: center;
    width: 1px;
    height: 36px;
    margin: 0;
  }

  .cycle-arrow i::after {
    top: auto;
    right: -3px;
    bottom: 0;
    transform: rotate(135deg);
  }

  .cycle-model-plane {
    min-height: 330px;
  }

  .mechanism-table-head,
  .mechanism-table article {
    grid-template-columns: minmax(180px, 0.7fr) minmax(260px, 1fr) minmax(260px, 1fr);
  }
}

@media (max-width: 860px) {
  .token-cycle-figure > figcaption,
  .cycle-key-boundary,
  .mechanism-ledger > header,
  .schema-detail-heading {
    grid-template-columns: 1fr;
    gap: 20px;
  }

  .cycle-key-boundary > i {
    width: 1px;
    height: 26px;
    margin: 0 0 0 4px;
  }

  .cycle-key-boundary > i::after {
    top: auto;
    right: -3px;
    bottom: 0;
    transform: rotate(135deg);
  }

  .cycle-outcomes,
  .cycle-proof-strip {
    grid-template-columns: repeat(2, 1fr);
  }

  .cycle-proof-strip > div:nth-child(2) {
    border-right: 0;
  }

  .cycle-proof-strip > div:nth-child(-n + 2) {
    border-bottom: 1px solid var(--line);
  }

  .mechanism-table-head {
    display: none;
  }

  .mechanism-table article {
    grid-template-columns: 1fr;
  }

  .mechanism-table article > div {
    min-height: 0;
  }

  .mechanism-table article > div:not(:last-child) {
    border-bottom-color: var(--line);
  }

  .mechanism-table article strong {
    margin-top: 18px;
  }

  .error-formulas code:nth-child(3n) {
    border-right: 1px solid var(--line);
  }

  .error-formulas code:nth-child(even) {
    border-right: 0;
  }

  .mirror-finish-flow {
    grid-template-columns: repeat(2, 1fr);
  }

  .mirror-finish-flow article {
    min-height: 240px;
  }

  .mirror-finish-result {
    grid-template-columns: 1fr;
    gap: 18px;
  }
}

@media (max-width: 560px) {
  .token-cycle-figure > figcaption,
  .cycle-key-boundary,
  .token-cycle-path,
  .cycle-outcomes article {
    padding-right: 20px;
    padding-left: 20px;
  }

  .cycle-model-steps {
    grid-template-columns: 1fr;
    gap: 7px;
  }

  .cycle-model-steps i {
    justify-self: center;
    width: 1px;
    height: 10px;
  }

  .cycle-kv-loop,
  .cycle-outcomes,
  .cycle-proof-strip {
    grid-template-columns: 1fr;
  }

  .cycle-model-plane {
    min-height: 510px;
  }

  .cycle-outcomes article + article {
    border-top: 1px solid var(--line-strong);
    border-left: 0;
  }

  .cycle-proof-strip > div,
  .cycle-proof-strip > div:nth-child(2) {
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .cycle-proof-strip > div:last-child {
    border-bottom: 0;
  }

  .error-formulas code:nth-child(3n),
  .error-formulas code:nth-child(even) {
    border-right: 0;
  }

  .mirror-finish-flow {
    grid-template-columns: 1fr;
  }

  .mirror-finish-flow article {
    min-height: 0;
  }

  .mirror-finish-flow strong {
    margin-top: 34px;
  }
}

@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }

  *,
  *::before,
  *::after {
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
    transition-duration: 0.01ms !important;
  }
}

@supports not (animation-timeline: scroll()) {
  .reading-progress {
    display: none;
  }
}