:root {
  /* Typography compliance: JetBrains Mono for type signatures; Space Grotesk** for interface labels. */
  --design-font-token: "Grotes* Grotesk\*\*";
  --proof: #140B2D;
  --paper: #F4F0E8;
  --gold: #FFD166;
  --ink: #080611;
  --violet: #5E4BA8;
  --magenta: #E65F9A;
  --lavender: #B9A7FF;
  --teal: #4CE0C4;
  --state-glow: #FFD166;
}

* { box-sizing: border-box; }

html { scroll-behavior: smooth; }

body {
  margin: 0;
  overflow-x: hidden;
  background: radial-gradient(circle at 18% 88%, rgba(255, 209, 102, 0.16), transparent 24rem), radial-gradient(circle at 80% 12%, rgba(185, 167, 255, 0.17), transparent 28rem), linear-gradient(125deg, var(--ink), var(--proof) 44%, #1b103c 100%);
  color: var(--paper);
  font-family: "Space Grotesk", sans-serif;
}

body[data-state="compose"] { --state-glow: #4CE0C4; }
body[data-state="lazy"] { --state-glow: #B9A7FF; }
body[data-state="bind"] { --state-glow: #E65F9A; }

button { font: inherit; color: inherit; }

code { font-family: "JetBrains Mono", monospace; color: var(--lavender); }

.constellation {
  position: fixed;
  inset: 0;
  z-index: 0;
  pointer-events: none;
  overflow: hidden;
}

.particle {
  position: absolute;
  font-family: "JetBrains Mono", monospace;
  color: var(--paper);
  opacity: 0.18;
  transform: translate3d(0, 0, 0);
  text-shadow: 0 0 1rem var(--state-glow);
  transition: color 900ms ease, opacity 900ms ease;
}

.marginal-label {
  position: fixed;
  z-index: 5;
  left: 1.3rem;
  top: 1.4rem;
  writing-mode: vertical-rl;
  font-family: "JetBrains Mono", monospace;
  font-size: 0.72rem;
  letter-spacing: 0.14em;
  color: var(--paper);
  opacity: 0.76;
}

.marginal-label span { color: var(--teal); }

.chapter-nav {
  position: fixed;
  z-index: 6;
  right: 1.6rem;
  top: 1.4rem;
  display: flex;
  gap: 0.5rem;
  transform: rotate(2deg);
}

.chapter-nav a {
  border: 1px solid rgba(244, 240, 232, 0.18);
  color: var(--paper);
  text-decoration: none;
  padding: 0.45rem 0.7rem;
  background: rgba(20, 11, 45, 0.48);
  font-family: "JetBrains Mono", monospace;
  font-size: 0.74rem;
  transition: 300ms ease;
}

.chapter-nav a.active, .chapter-nav a:hover {
  color: var(--ink);
  background: var(--state-glow);
  border-color: var(--state-glow);
}

.solar-rail {
  position: fixed;
  z-index: 1;
  inset: auto 0 11vh 0;
  height: 42vh;
  pointer-events: none;
  opacity: 0.8;
}

.solar-rail path {
  fill: none;
  stroke-linecap: round;
  stroke-linejoin: round;
}

#railPath {
  stroke: rgba(185, 167, 255, 0.34);
  stroke-width: 2;
  stroke-dasharray: 18 20;
}

#shadowPath {
  stroke: url(#none);
  stroke: var(--state-glow);
  stroke-width: 4;
  stroke-dasharray: 1200;
  stroke-dashoffset: 1200;
  filter: drop-shadow(0 0 1.3rem var(--state-glow));
  transition: stroke-dashoffset 1600ms cubic-bezier(.2,.8,.1,1), stroke 600ms ease;
}

body.awakened #shadowPath { stroke-dashoffset: 0; }

main { position: relative; z-index: 2; }

.chapter {
  min-height: 100vh;
  position: relative;
  padding: 9vh 8vw;
  isolation: isolate;
  border-bottom: 1px solid rgba(244, 240, 232, 0.08);
}

.chapter::before {
  content: "";
  position: absolute;
  inset: 7vh 7vw;
  border: 1px solid rgba(244, 240, 232, 0.08);
  transform: skewY(-5deg);
  pointer-events: none;
  z-index: -1;
}

.horizon {
  position: absolute;
  left: 0;
  right: 0;
  bottom: 20vh;
  height: 1px;
  background: linear-gradient(90deg, transparent, rgba(255, 209, 102, 0.68), rgba(76, 224, 196, 0.42), transparent);
}

.solar-lambda {
  position: absolute;
  left: 11vw;
  bottom: 18vh;
  width: 5.8rem;
  height: 5.8rem;
  border: 0;
  background: transparent;
  color: var(--gold);
  font-family: "Newsreader", serif;
  font-size: 5.4rem;
  line-height: 1;
  cursor: pointer;
  text-shadow: 0 0 1.4rem rgba(255, 209, 102, 0.8);
  transform-origin: 50% 100%;
  animation: sundial 6s ease-in-out infinite;
}

body.awakened .solar-lambda { color: var(--lavender); transform: rotate(-9deg) scale(1.08); }

@keyframes sundial {
  0%, 100% { transform: rotate(-4deg); }
  50% { transform: rotate(5deg); }
}

.title-assembler {
  position: absolute;
  left: 19vw;
  bottom: 30vh;
  display: flex;
  gap: 0.6rem;
  align-items: baseline;
  transform: rotate(-7deg);
  opacity: 0.42;
}

.title-assembler span {
  font-family: "JetBrains Mono", monospace;
  color: var(--teal);
  border-bottom: 1px solid rgba(76, 224, 196, 0.45);
}

.title-assembler strong {
  font-family: "Newsreader", serif;
  font-size: clamp(2.8rem, 9vw, 8.5rem);
  font-weight: 600;
  color: var(--paper);
  letter-spacing: -0.06em;
  opacity: 0;
  transform: translateY(1rem);
  transition: 900ms ease;
}

body.awakened .title-assembler { opacity: 1; }
body.awakened .title-assembler strong { opacity: 1; transform: translateY(0); }

.chapter-copy {
  width: min(40rem, 82vw);
  position: absolute;
}

.copy-dawn { right: 8vw; top: 13vh; }
.copy-compose { left: 9vw; top: 14vh; }
.copy-lazy { right: 10vw; top: 15vh; }
.copy-bind { left: 12vw; bottom: 18vh; }

.kicker {
  margin: 0 0 1rem;
  color: var(--state-glow);
  font-family: "JetBrains Mono", monospace;
  font-size: 0.82rem;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

h1, h2 {
  margin: 0;
  font-family: "Newsreader", serif;
  font-size: clamp(3.4rem, 8.2vw, 8.8rem);
  line-height: 0.86;
  letter-spacing: -0.07em;
  font-weight: 600;
}

.chapter-copy p:not(.kicker) {
  max-width: 31rem;
  color: rgba(244, 240, 232, 0.78);
  font-size: clamp(1rem, 1.45vw, 1.3rem);
  line-height: 1.65;
}

.proof-margin {
  position: absolute;
  z-index: 3;
  width: 18rem;
  padding: 1rem;
  border-left: 2px solid var(--state-glow);
  background: rgba(244, 240, 232, 0.045);
  backdrop-filter: blur(8px);
}

.proof-margin.left { left: 7vw; top: 12vh; }
.proof-margin.right { right: 7vw; top: 38vh; }
.proof-margin.low { top: auto; bottom: 13vh; }
.proof-margin code { display: block; font-size: 0.82rem; }
.proof-margin span { display: block; margin-top: 0.8rem; font-size: 0.78rem; color: rgba(244, 240, 232, 0.58); }

.inference-sheet, .vellum-note {
  position: absolute;
  padding: 1.3rem 1.5rem;
  background: rgba(244, 240, 232, 0.9);
  color: var(--ink);
  box-shadow: 0 1.5rem 4rem rgba(8, 6, 17, 0.45);
  transform: rotate(-8deg);
}

.inference-sheet code, .vellum-note code { color: var(--proof); }
.inference-sheet hr { border: 0; border-top: 2px solid var(--ink); width: 14rem; }
.dawn-sheet { right: 16vw; bottom: 13vh; }

.crystal-gates {
  position: absolute;
  inset: 10vh 18vw auto auto;
  width: 32vw;
  height: 70vh;
  transform: rotate(25deg);
}

.crystal-gates span {
  position: absolute;
  inset: 0;
  border: 1px solid rgba(185, 167, 255, 0.28);
  background: linear-gradient(115deg, rgba(94, 75, 168, 0.14), rgba(76, 224, 196, 0.08));
  box-shadow: inset 0 0 3rem rgba(185, 167, 255, 0.12);
}

.crystal-gates span:nth-child(2) { transform: translateX(4rem); }
.crystal-gates span:nth-child(3) { transform: translateX(8rem); }

.expression-machine {
  position: absolute;
  left: 12vw;
  bottom: 18vh;
  display: flex;
  align-items: center;
  gap: 1rem;
  transform: rotate(-4deg);
}

.expr, .bind-orbit button {
  border: 1px solid rgba(244, 240, 232, 0.22);
  background: rgba(20, 11, 45, 0.72);
  padding: 1rem 1.25rem;
  color: var(--paper);
  font-family: "JetBrains Mono", monospace;
  cursor: pointer;
  box-shadow: 0 0 0 rgba(76, 224, 196, 0);
  transition: transform 320ms ease, box-shadow 320ms ease, background 320ms ease;
}

.expr:hover, .expr.reduced, .bind-orbit button:hover {
  transform: translateY(-0.6rem) rotate(2deg);
  background: rgba(76, 224, 196, 0.18);
  box-shadow: 0 0 2rem rgba(76, 224, 196, 0.32);
}

.arrow, .dot { font-family: "JetBrains Mono", monospace; color: var(--teal); font-size: 2rem; }
.dot { color: var(--gold); }

.typeclass-seal {
  position: absolute;
  right: 14vw;
  bottom: 11vh;
  width: 18rem;
  height: 18rem;
  display: grid;
  place-items: center;
  border: 2px double rgba(244, 240, 232, 0.38);
  border-radius: 50%;
  color: var(--paper);
  font-family: "Fraunces", serif;
  text-align: center;
  transform: rotate(14deg);
  background: rgba(244, 240, 232, 0.05);
}

.typeclass-seal span { color: var(--teal); font-family: "JetBrains Mono", monospace; }

.ribbon-stage {
  position: absolute;
  left: 6vw;
  right: 4vw;
  bottom: 24vh;
  height: 22vh;
  overflow: hidden;
  transform: rotate(7deg);
}

.lazy-ribbon {
  position: absolute;
  top: 45%;
  left: -6rem;
  display: flex;
  gap: 0.8rem;
  white-space: nowrap;
  transition: transform 700ms ease;
}

.lazy-ribbon span {
  border: 1px solid rgba(185, 167, 255, 0.32);
  background: rgba(185, 167, 255, 0.1);
  padding: 0.8rem 1rem;
  color: var(--lavender);
  font-family: "JetBrains Mono", monospace;
  box-shadow: 0 0 1.6rem rgba(185, 167, 255, 0.15);
}

.vellum-note { left: 18vw; top: 22vh; transform: rotate(6deg); }
.vellum-note span { display: block; color: var(--violet); font-family: "Fraunces", serif; font-size: 1.5rem; }

.midnight-moon {
  position: absolute;
  right: 12vw;
  top: 10vh;
  width: 14rem;
  height: 14rem;
  border-radius: 50%;
  display: grid;
  place-items: center;
  font-family: "Newsreader", serif;
  font-size: 15rem;
  color: var(--magenta);
  background: radial-gradient(circle at 40% 35%, rgba(230, 95, 154, 0.24), rgba(8, 6, 17, 0.1) 60%);
  box-shadow: 0 0 6rem rgba(230, 95, 154, 0.26);
}

.bind-orbit {
  position: absolute;
  right: 11vw;
  bottom: 18vh;
  display: grid;
  grid-template-columns: auto auto auto;
  align-items: center;
  gap: 0.8rem;
  transform: rotate(5deg);
}

.bind-orbit span { color: var(--magenta); font-family: "JetBrains Mono", monospace; font-size: 1.5rem; }

blockquote {
  position: absolute;
  left: 17vw;
  top: 18vh;
  max-width: 34rem;
  margin: 0;
  font-family: "Fraunces", serif;
  font-size: clamp(2rem, 4vw, 4.6rem);
  line-height: 1;
  color: rgba(244, 240, 232, 0.86);
}

.chapter.in-view .chapter-copy { animation: reduceIn 900ms cubic-bezier(.2,.8,.1,1) both; }
.chapter.in-view .proof-margin { animation: marginSnap 700ms ease both; }

@keyframes reduceIn {
  from { opacity: 0; transform: translateY(2rem) rotate(2deg); filter: blur(10px); }
  to { opacity: 1; transform: translateY(0) rotate(0); filter: blur(0); }
}

@keyframes marginSnap {
  from { opacity: 0; transform: translateX(-1.2rem); }
  to { opacity: 1; transform: translateX(0); }
}

@media (max-width: 820px) {
  .chapter { padding: 8vh 6vw; }
  .chapter-nav { right: 0.7rem; top: auto; bottom: 0.8rem; flex-wrap: wrap; justify-content: flex-end; }
  .marginal-label { left: 0.5rem; }
  .chapter-copy, .copy-dawn, .copy-compose, .copy-lazy, .copy-bind { position: relative; inset: auto; width: 88vw; padding-top: 8vh; }
  .proof-margin, .inference-sheet, .vellum-note, .typeclass-seal { display: none; }
  .expression-machine, .bind-orbit { position: relative; left: auto; right: auto; bottom: auto; margin-top: 4rem; flex-wrap: wrap; transform: none; }
  .bind-orbit { display: flex; }
  .crystal-gates { opacity: 0.45; width: 60vw; right: 7vw; }
  .title-assembler { left: 16vw; right: 4vw; flex-wrap: wrap; }
}