:root {
  /* IBM Plex Sans* Sans** for readable body copy; Space Mono only for proof labels. */
  --axiom-ivory: #F6F0DE;
  --ink-night: #111827;
  --ultramarine-premise: #243CFF;
  --verdict-green: #19A974;
  --paradox-violet: #7C3AED;
  --contradiction-vermilion: #E23D28;
  --halo-gold: #E8C547;
  --display: "Fraunces", serif;
  --sans: "IBM Plex Sans", sans-serif;
  --mono: "Space Mono", monospace;
  --progress: 0;
  --clock-rotation: 0deg;
}

* { box-sizing: border-box; }

html { scroll-behavior: smooth; }

body {
  margin: 0;
  background: var(--axiom-ivory);
  color: var(--ink-night);
  font-family: var(--sans);
  overflow-x: hidden;
}

.paper-grain {
  position: fixed;
  inset: 0;
  pointer-events: none;
  z-index: 50;
  opacity: .28;
  background-image:
    radial-gradient(circle at 20% 30%, rgba(17, 24, 39, .12) 0 1px, transparent 1px),
    radial-gradient(circle at 70% 80%, rgba(17, 24, 39, .08) 0 1px, transparent 1px);
  background-size: 28px 28px, 41px 41px;
  mix-blend-mode: multiply;
}

.proof-index {
  position: fixed;
  top: 50%;
  left: 24px;
  transform: translateY(-50%);
  z-index: 60;
  display: grid;
  gap: 10px;
  font-family: var(--mono);
}

.proof-index a {
  display: grid;
  place-items: center;
  width: 38px;
  height: 38px;
  color: var(--ink-night);
  text-decoration: none;
  border: 1px solid currentColor;
  border-radius: 50%;
  background: rgba(246, 240, 222, .62);
  transition: background .3s ease, color .3s ease, transform .3s ease;
}

.proof-index a.active { background: var(--ink-night); color: var(--axiom-ivory); transform: rotate(18deg); }

.truth-counter {
  position: fixed;
  top: 22px;
  right: 24px;
  z-index: 60;
  display: flex;
  align-items: center;
  gap: 12px;
  font-family: var(--mono);
  color: var(--ink-night);
}

.counter-label { font-size: 11px; letter-spacing: .14em; text-transform: uppercase; }
.counter-value { width: 48px; height: 48px; display: grid; place-items: center; border-radius: 50%; background: var(--halo-gold); border: 1px solid var(--ink-night); }

.act {
  min-height: 100vh;
  position: relative;
  overflow: hidden;
  padding: 9vh 8vw 8vh 10vw;
  display: grid;
  align-items: center;
}

.act::before {
  content: attr(data-phase);
  position: absolute;
  top: 26px;
  left: 96px;
  font-family: var(--mono);
  font-size: 12px;
  letter-spacing: .18em;
  text-transform: uppercase;
}

.dawn { background: radial-gradient(circle at 72% 43%, rgba(232, 197, 71, .32), transparent 28%), var(--axiom-ivory); grid-template-columns: minmax(320px, 1fr) minmax(340px, 48vw); }
.morning { background: linear-gradient(90deg, var(--axiom-ivory) 0 68%, rgba(36, 60, 255, .10) 68%); }
.noon { background: var(--axiom-ivory); }
.afternoon { background: radial-gradient(circle at 62% 48%, rgba(226, 61, 40, .18), transparent 20%), var(--axiom-ivory); }
.dusk { background: var(--ink-night); color: var(--axiom-ivory); }
.midnight { background: radial-gradient(circle at 62% 58%, rgba(124, 58, 237, .20), transparent 32%), var(--ink-night); color: var(--axiom-ivory); text-align: center; }

.hero-statement { position: relative; z-index: 4; }
.proof-label { font-family: var(--mono); color: var(--ultramarine-premise); letter-spacing: .16em; text-transform: uppercase; font-size: 12px; margin: 0 0 18px; }
.dusk .proof-label, .midnight .proof-label { color: var(--halo-gold); }

h1, h2 { font-family: var(--display); line-height: .9; font-weight: 700; margin: 0; letter-spacing: -.055em; }
h1 { font-size: clamp(74px, 12vw, 176px); }
h2 { font-size: clamp(54px, 8vw, 128px); max-width: 980px; }
.axiom-copy, .wide-proof, .dusk-title p, .qed-wrap p:last-child { max-width: 540px; font-size: clamp(18px, 2vw, 25px); line-height: 1.42; }

.proof-clock {
  position: relative;
  width: min(62vw, 720px);
  aspect-ratio: 1;
  justify-self: end;
  transform: translateX(10vw) rotate(var(--clock-rotation));
  transition: transform .5s ease;
}
.clock-halo { position: absolute; inset: 4%; border-radius: 50%; border: 1px solid rgba(17, 24, 39, .22); animation: slowSpin 42s linear infinite; }
.clock-halo::before, .clock-halo::after { content: ""; position: absolute; inset: 12%; border-radius: 50%; border: 1px dashed rgba(17, 24, 39, .22); }
.clock-halo::after { inset: 25%; border-style: solid; }
.clock-face { position: absolute; inset: 11%; border-radius: 50%; border: 2px solid var(--ink-night); }
.sun-disc { position: absolute; inset: 25%; border-radius: 50%; background: var(--halo-gold); display: grid; place-items: center; font-family: var(--display); font-size: clamp(68px, 9vw, 150px); color: var(--ink-night); box-shadow: 18px 22px 0 rgba(17, 24, 39, .14); }
.shadow-line { position: absolute; left: 50%; top: 50%; width: 47%; height: 3px; background: var(--ink-night); transform-origin: left center; transform: rotate(calc(var(--clock-rotation) * -1 + 20deg)); border-radius: 99px; }
.tick { position: absolute; font-family: var(--mono); font-size: 18px; transform: translate(-50%, -50%); }
.t1{left:50%;top:3%}.t2{left:74%;top:10%}.t3{left:92%;top:27%}.t4{left:98%;top:50%}.t5{left:91%;top:74%}.t6{left:73%;top:91%}.t7{left:50%;top:98%}.t8{left:26%;top:91%}.t9{left:9%;top:73%}.t10{left:2%;top:50%}.t11{left:8%;top:27%}.t12{left:26%;top:9%}

.symbol-orbit { position: absolute; inset: 8vh 3vw auto auto; width: 360px; height: 360px; border-radius: 50%; animation: slowSpin 55s linear infinite reverse; opacity: .65; }
.symbol-orbit span { position: absolute; font-family: var(--mono); color: var(--ultramarine-premise); }
.symbol-orbit span:nth-child(1){left:50%;top:0}.symbol-orbit span:nth-child(2){left:85%;top:15%}.symbol-orbit span:nth-child(3){left:100%;top:50%}.symbol-orbit span:nth-child(4){left:85%;top:85%}.symbol-orbit span:nth-child(5){left:50%;top:100%}.symbol-orbit span:nth-child(6){left:15%;top:85%}.symbol-orbit span:nth-child(7){left:0;top:50%}.symbol-orbit span:nth-child(8){left:15%;top:15%}

.vellum-layer { position: absolute; border: 1px solid rgba(17, 24, 39, .18); background: rgba(246, 240, 222, .24); backdrop-filter: blur(1px); transform: rotate(-7deg); }
.vellum-one { width: 32vw; height: 58vh; right: 20vw; top: 17vh; }
.vellum-two { width: 54vw; height: 44vh; left: 23vw; top: 24vh; border-color: rgba(246, 240, 222, .22); }

.margin-note { position: absolute; font-family: var(--mono); font-size: 12px; letter-spacing: .08em; writing-mode: vertical-rl; opacity: .72; }
.left-note { left: 74px; bottom: 8vh; }.right-note { right: 32px; top: 26vh; color: var(--contradiction-vermilion); }

.act-title { z-index: 3; align-self: start; }
.axiom-panel { width: min(860px, 78vw); display: grid; gap: 22px; z-index: 3; margin-top: 16vh; }
.premise-bar { min-height: 62px; padding: 18px 28px; border: 2px solid var(--ink-night); background: var(--axiom-ivory); font-family: var(--mono); font-size: clamp(16px, 2vw, 24px); transform-origin: left center; transition: transform .7s ease, background .7s ease; }
.premise-bar::before { content: attr(data-step); display: inline-grid; place-items: center; width: 32px; height: 32px; margin-right: 18px; border-radius: 50%; background: var(--ultramarine-premise); color: white; }
.premise-bar.conclusion { margin-left: 15vw; background: rgba(25, 169, 116, .15); border-color: var(--verdict-green); }
.inference-gate { width: 92px; height: 92px; display: grid; place-items: center; border: 2px solid var(--ink-night); border-radius: 50% 50% 8px 8px; font-family: var(--display); font-size: 48px; background: var(--halo-gold); margin-left: 34vw; }
.proof-line { position: absolute; inset: 37vh 7vw auto 11vw; height: 360px; width: 72vw; pointer-events: none; }
.proof-line path { fill: none; stroke: var(--ultramarine-premise); stroke-width: 5; stroke-linecap: round; stroke-dasharray: 1200; stroke-dashoffset: calc(1200 - (1200 * var(--path-progress, 0))); }
.operator-sun { position: absolute; right: 9vw; bottom: 11vh; font-family: var(--display); color: var(--halo-gold); font-size: 30vw; line-height: .6; opacity: .35; }

.ruled-sky { position: absolute; inset: 0; background: repeating-linear-gradient(0deg, transparent 0 54px, rgba(17, 24, 39, .15) 55px 56px), repeating-linear-gradient(90deg, transparent 0 120px, rgba(232, 197, 71, .28) 121px 122px); }
.compact { align-self: start; }
.syllogism-ladder { position: relative; z-index: 3; display: grid; gap: 12px; width: min(560px, 70vw); margin-left: 12vw; font-family: var(--mono); font-size: clamp(20px, 3vw, 42px); }
.syllogism-ladder div { background: var(--axiom-ivory); border-left: 8px solid var(--ultramarine-premise); padding: 16px 24px; box-shadow: 12px 12px 0 rgba(17, 24, 39, .08); transform: translateX(calc(var(--i, 0) * 28px)); }
.syllogism-ladder div:nth-child(2){--i:1}.syllogism-ladder div:nth-child(3){--i:2;border-color:var(--verdict-green)}.syllogism-ladder div:nth-child(4){--i:3;border-color:var(--halo-gold)}
.syllogism-ladder span { color: var(--contradiction-vermilion); margin-right: 24px; }
.noon-gate { position: absolute; right: 13vw; top: 33vh; width: 180px; height: 180px; color: var(--ink-night); }
.wide-proof { position: relative; z-index: 3; margin-left: 42vw; margin-top: 3vh; }

.split-orbit { position: relative; height: 62vh; }
.split-circle { position: absolute; left: 50%; top: 50%; width: min(44vw, 460px); aspect-ratio: 1; border-radius: 50%; overflow: hidden; border: 2px solid var(--ink-night); transform: translate(-50%, -50%) rotate(calc(var(--clock-rotation) * .3)); display: grid; grid-template-columns: 1fr 1fr; font-family: var(--display); font-size: 8vw; }
.split-circle span { display: grid; place-items: center; }.split-circle span:first-child { background: var(--verdict-green); color: var(--axiom-ivory); }.split-circle span:last-child { background: var(--contradiction-vermilion); color: var(--axiom-ivory); }
.counter-card { position: absolute; padding: 28px 34px; background: rgba(246, 240, 222, .78); border: 2px solid var(--ink-night); font-family: var(--display); font-size: clamp(24px, 4vw, 62px); max-width: 520px; box-shadow: 14px 14px 0 rgba(17,24,39,.12); }
.theorem-card { left: 4vw; top: 8vh; }.false-card { right: 4vw; bottom: 6vh; border-color: var(--contradiction-vermilion); transform: rotate(-5deg); }
.contradiction-seal { position: absolute; right: 18vw; top: 20vh; width: 170px; height: 170px; display: grid; place-items: center; border-radius: 50%; border: 10px double var(--contradiction-vermilion); color: var(--contradiction-vermilion); font-family: var(--display); font-size: 86px; transform: scale(.6) rotate(-18deg); opacity: 0; transition: opacity .35s ease, transform .45s cubic-bezier(.18,1.5,.4,1); }
.contradiction-seal.stamp { opacity: 1; transform: scale(1) rotate(-18deg); }

.nested-parentheses { position: absolute; inset: 5vh 0 auto 0; display: flex; justify-content: center; align-items: center; gap: .02em; font-family: var(--display); font-size: 22vw; color: rgba(246, 240, 222, .12); }
.nested-parentheses span:nth-child(4) { color: var(--paradox-violet); opacity: .75; }
.dusk-title { max-width: 980px; }
.mobius-form { position: absolute; right: 11vw; bottom: 12vh; width: 330px; height: 190px; border: 3px solid var(--paradox-violet); border-left-color: var(--halo-gold); border-right-color: var(--contradiction-vermilion); border-radius: 50%; transform: rotate(-20deg); display: grid; place-items: center; animation: mobius 7s ease-in-out infinite; }
.mobius-form::before { content:""; position:absolute; inset:32px 10px; border:3px solid currentColor; border-radius:50%; transform:rotate(90deg); color:rgba(246,240,222,.45); }
.mobius-form span { font-family: var(--display); font-size: 92px; color: var(--axiom-ivory); }

.qed-wrap { position: relative; z-index: 3; margin: auto; display: grid; justify-items: center; gap: 24px; }
.qed-mark { font-family: var(--display); font-size: clamp(88px, 18vw, 260px); line-height: .82; color: var(--axiom-ivory); text-shadow: 18px 22px 0 var(--halo-gold), 31px 38px 0 rgba(226, 61, 40, .55); letter-spacing: -.08em; transform: scale(calc(.88 + var(--progress) * .18)); }
.final-shadow { position: absolute; left: 50%; bottom: 10vh; transform: translateX(-50%); font-family: var(--mono); color: var(--halo-gold); letter-spacing: .14em; text-transform: uppercase; }

@keyframes slowSpin { to { transform: rotate(360deg); } }
@keyframes mobius { 0%,100% { border-radius: 50%; transform: rotate(-20deg) scaleX(1); } 50% { border-radius: 38% 62% 62% 38%; transform: rotate(20deg) scaleX(.82); } }

@media (max-width: 820px) {
  .act { padding-left: 76px; padding-right: 22px; }
  .dawn { grid-template-columns: 1fr; }
  .proof-clock { width: 92vw; justify-self: center; transform: translateX(9vw) rotate(var(--clock-rotation)); }
  .truth-counter { right: 12px; }
  .proof-index { left: 14px; }
  .wide-proof, .syllogism-ladder, .premise-bar.conclusion { margin-left: 0; }
  .noon-gate, .mobius-form { position: relative; right: auto; top: auto; bottom: auto; margin-top: 28px; }
  .counter-card { position: relative; left: auto; right: auto; top: auto; bottom: auto; margin: 18px 0; }
  .split-circle { opacity: .32; width: 82vw; }
}