/* anima.sao.dev — consumes //dev/sao/design tokens (served as /tokens.css).
   Deliberate brand deviation: Geist Serif for headings and the mark; Plex keeps labels, data, body. */
@font-face { font-family: 'IBM Plex Mono'; font-weight: 400; font-display: swap; src: url('/fonts/ibm-plex-mono-400.woff2') format('woff2'); }
@font-face { font-family: 'IBM Plex Mono'; font-weight: 500; font-display: swap; src: url('/fonts/ibm-plex-mono-500.woff2') format('woff2'); }
@font-face { font-family: 'IBM Plex Mono'; font-weight: 600; font-display: swap; src: url('/fonts/ibm-plex-mono-600.woff2') format('woff2'); }
@font-face { font-family: 'IBM Plex Sans'; font-weight: 400 700; font-display: swap; src: url('/fonts/ibm-plex-sans-latin.woff2') format('woff2'); }
@font-face { font-family: 'Geist Serif'; font-weight: 100 900; font-display: swap; src: url('/fonts/geist-serif-vf.woff2') format('woff2'); }
:root { --font-display: 'Geist Serif', Georgia, serif; }

* { box-sizing: border-box; }
html { touch-action: manipulation; }
body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font: 17px/1.6 var(--font-sans);
  -webkit-font-smoothing: antialiased;
}
a { color: inherit; }
code, .mono { font-family: var(--font-mono); font-size: 0.86em; }

.lbl, .kicker, .claim-n, .rung-n, .count, .chip, .meta, .fig-note, .site-footer {
  font-family: var(--font-mono);
  font-size: 11px;
  font-weight: 500;
  letter-spacing: var(--track-label);
  text-transform: uppercase;
  color: var(--text-muted);
}

/* ---- header / footer ---- */
.site-header, .site-footer, main { max-width: 1120px; margin: 0 auto; padding-left: 16px; padding-right: 16px; }
.site-header {
  display: flex; justify-content: space-between; align-items: center;
  padding-top: 20px; padding-bottom: 20px;
  border-bottom: var(--rule-hair) solid var(--border);
}
.mark { font: 500 19px var(--font-display); letter-spacing: -0.01em; text-decoration: none; display: flex; align-items: center; gap: 10px; }
.dot { width: 9px; height: 9px; background: var(--accent); }
.theme-toggle { display: flex; border: 1px solid var(--border-strong); }
.theme-toggle button {
  background: none; border: 0; color: var(--text-muted); cursor: pointer;
  font: 500 10px var(--font-mono); letter-spacing: var(--track-label); padding: 5px 10px;
}
.theme-toggle button.active { background: var(--text); color: var(--bg); }
.site-footer {
  display: flex; justify-content: space-between; gap: 16px; flex-wrap: wrap;
  padding-top: 24px; padding-bottom: 40px; font-size: 10px; font-weight: 400;
  border-top: var(--rule-strong) solid var(--border-strong);
}
.site-footer a { text-decoration: none; }
.koan { background: none; border: 0; padding: 0; cursor: pointer; font: inherit; letter-spacing: inherit; text-transform: inherit; color: inherit; }
.site-footer a:hover { color: var(--accent); }

/* ---- type ---- */
.kicker { letter-spacing: var(--track-kicker); margin: 0 0 18px; display: flex; align-items: center; gap: 10px; }
.kicker::before { content: ""; width: 7px; height: 7px; background: var(--accent); }
h1, h2, h3 { font-family: var(--font-display); font-weight: 500; margin: 0; }
h1 { font-size: clamp(36px, 5.6vw, 58px); line-height: 1.02; letter-spacing: -0.025em; margin-bottom: 22px; }
h2 { font-size: clamp(26px, 3.4vw, 36px); line-height: 1.1; letter-spacing: -0.02em; margin-bottom: 18px; }
h3 { font-size: 21px; line-height: 1.25; letter-spacing: -0.01em; margin: 10px 0 10px; }
.lede { font-size: 18px; line-height: 1.72; color: var(--text-muted); margin: 0 0 28px; max-width: 560px; }
.prose { max-width: 720px; margin: 0 0 32px; color: var(--text-muted); }

.btn, form button {
  display: inline-block; background: var(--text); color: var(--bg); border: 0; cursor: pointer; text-decoration: none;
  font: 500 12px var(--font-mono); letter-spacing: var(--track-label); text-transform: uppercase; padding: 14px 22px;
}
.btn:hover, form button:hover { box-shadow: inset 0 -2px 0 var(--accent); }

/* ---- sections ---- */
.hero {
  display: grid; grid-template-columns: minmax(0, 5fr) minmax(0, 6fr); gap: 56px; align-items: center;
  padding: 11vh 0 10vh;
}
.band { padding: 72px 0; border-top: var(--rule-strong) solid var(--border-strong); }

/* ---- hero net: places as rows, transition in the margin ---- */
.net {
  margin: 0; display: grid; grid-template-columns: minmax(0, 1fr) 40px 156px;
  grid-template-areas: "a in t" "b out t"; gap: 14px 0;
}
#p-await { grid-area: a; }
#p-live { grid-area: b; }
.place { background: var(--surface); border: 1px solid var(--border); }
.place-head {
  display: flex; align-items: baseline; gap: 10px; padding: 10px 12px;
  border-bottom: 1px solid var(--border); background: var(--bg-inset);
}
.place-name { font: 500 12px var(--font-mono); color: var(--text); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.count { margin-left: auto; white-space: nowrap; }
.tokens { list-style: none; margin: 0; padding: 0; min-height: 132px; }
.tok {
  display: grid; grid-template-columns: 76px minmax(0, 1fr) auto; gap: 10px; align-items: center;
  padding: 9px 12px; border-bottom: 1px solid var(--hair);
  font: 12px var(--font-mono); transition: background 0.3s, opacity 0.3s, transform 0.3s;
}
.tok:last-child { border-bottom: 0; }
.tok .color { color: var(--text-muted); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.tok .state { display: flex; gap: 6px; align-items: center; font-size: 10px; letter-spacing: 0.06em; color: var(--text-dim); text-transform: uppercase; }
.g { display: inline-flex; align-items: center; gap: 4px; }
.g::before { content: ""; width: 7px; height: 7px; border: 1px solid var(--text-dim); }
.g.ok { color: var(--text-muted); }
.g.ok::before { background: var(--ok); border-color: var(--ok); }
.tok.stuck .state { color: var(--warn); }
.tok.stuck .state::before { content: ""; width: 7px; height: 7px; background: var(--warn); }
.tok.firing { background: var(--surface-raised); box-shadow: inset 2px 0 0 var(--text); }
.tok.leaving { opacity: 0; transform: translateY(8px); }
.tok.arrived { background: var(--surface-raised); }
.receipt { color: var(--text-dim); font-size: 10px; letter-spacing: 0.06em; text-transform: uppercase; }

.transition {
  grid-area: t; display: flex; flex-direction: column; justify-content: center;
  padding: 12px; border: 1px solid var(--border-strong); background: var(--bg);
  font: 12px var(--font-mono); transition: border-color 0.3s;
}
.transition.firing { border-color: var(--text); }
.t-head { display: flex; flex-direction: column; gap: 4px; margin-bottom: 10px; }
.t-name { font: 600 14px var(--font-mono); color: var(--text); }
.t-row { display: flex; flex-direction: column; gap: 2px; margin-top: 8px; color: var(--text-muted); }
.t-row code { font-size: 11px; }
.transition.firing .t-name::after { content: " ●"; animation: pulse 1.4s infinite; }

/* Arcs: place → transition → place. Arrowheads point at the arc's target. */
.arc { --c: var(--border-strong); position: relative; align-self: center; height: 1px; background: var(--c); transition: background 0.3s; }
.transition.firing ~ .arc { --c: var(--text); }
#arc-in { grid-area: in; }
#arc-out { grid-area: out; }
.arc::after { content: ""; position: absolute; top: -4px; border: 4px solid transparent; }
#arc-in::after { right: 0; border-right: 0; border-left: 6px solid var(--c); }
#arc-out::after { left: 0; border-left: 0; border-right: 6px solid var(--c); }
@keyframes pulse { 50% { opacity: 0.25; } }

/* ---- comparison + proofs ---- */
.compare { display: grid; grid-template-columns: 1fr 1fr; border: 1px solid var(--border-strong); background: var(--surface); }
.col { padding: 22px 24px; }
.col + .col { border-left: 1px solid var(--border-strong); }
.col-head { font: 600 13px var(--font-mono); display: flex; align-items: center; gap: 10px; margin-bottom: 14px; }
.hollow, .filled { width: 9px; height: 9px; border-radius: 50%; }
.hollow { border: 1px solid var(--text-muted); }
.filled { background: var(--accent); }
.col ul, .proofs ul { list-style: none; margin: 0; padding: 0; }
.col li { padding: 8px 0; border-top: 1px solid var(--hair); font-size: 15px; color: var(--text-muted); }
.proofs { margin-top: 24px; border: 1px solid var(--border); background: var(--bg-inset); }
.proofs-head { display: flex; justify-content: space-between; gap: 16px; flex-wrap: wrap; padding: 10px 16px; border-bottom: 1px solid var(--border); }
.proofs li { display: flex; align-items: center; gap: 12px; padding: 12px 16px; font: 14px var(--font-mono); border-bottom: 1px solid var(--hair); }
.proofs li:last-child { border-bottom: 0; }
.ok-sq, .warn-sq { flex: none; display: inline-block; width: 8px; height: 8px; background: var(--ok); }
.warn-sq { background: var(--warn); margin-right: 8px; }

/* ---- claims ---- */
.claims { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); border: 1px solid var(--border); }
.claim { padding: 24px; display: flex; flex-direction: column; background: var(--surface); }
.claim + .claim { border-left: 1px solid var(--border); }
.claim p { font-size: 15px; color: var(--text-muted); margin: 0 0 20px; }
.fig { margin-top: auto; border: 1px solid var(--border); background: var(--bg-inset); padding: 14px; font: 12px/1.5 var(--font-mono); }
.fig-row { display: flex; justify-content: space-between; align-items: center; margin-bottom: 12px; }
.chip { font-size: 10px; font-weight: 400; letter-spacing: 0.06em; border: 1px solid var(--border); border-radius: var(--radius-sm); padding: 2px 7px; }
.fig-actions { display: flex; gap: 8px; flex-wrap: wrap; }
.fake {
  font: 500 10px var(--font-mono); letter-spacing: var(--track-label); text-transform: uppercase;
  padding: 8px 12px; background: transparent; color: var(--text-muted); border: 1px solid var(--border-strong); pointer-events: none;
}
.fake.primary { background: var(--text); color: var(--bg); border-color: var(--text); }
.fake:disabled { color: var(--text-dim); border-color: var(--border); }
.fig-note { margin-top: 12px; font-size: 10px; font-weight: 400; letter-spacing: 0.04em; text-transform: none; color: var(--text-dim); }
.log div { padding: 1px 0; }
.log .q { color: var(--text-dim); }
.log .dim { color: var(--text-muted); padding-left: 14px; }
.log b { font-weight: 500; color: var(--text); }
.bar-label { margin-bottom: 10px; font-size: 10px; }
.bar { display: grid; grid-template-columns: 34px minmax(0, 1fr) 40px; align-items: center; gap: 8px; margin: 6px 0; }
.bar .lbl { font-size: 10px; }
.bar i { display: block; height: 8px; background: linear-gradient(var(--accent-2), var(--accent-2)) no-repeat 0 0 / var(--v) 100%, var(--hair); }
.bar .v { text-align: right; color: var(--text-muted); font-size: 11px; }

/* ---- ladder ---- */
.ladder { border: 1px solid var(--border-strong); background: var(--surface); }
.ladder-t { display: flex; align-items: baseline; gap: 12px; flex-wrap: wrap; padding: 14px 18px; border-bottom: 1px solid var(--border-strong); background: var(--bg-inset); }
.ladder-out { margin-left: auto; font-weight: 400; }
.rungs { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); }
.rung { padding: 20px 18px; }
.rung + .rung { border-left: 1px solid var(--border); }
.rung-who { font: 500 24px var(--font-display); letter-spacing: -0.01em; margin: 6px 0 8px; }
.rung p { margin: 0; font-size: 15px; color: var(--text-muted); }

/* ---- delta ---- */
.delta {
  margin: 0; padding: 18px 20px; overflow-x: auto; max-width: 760px;
  border: 1px solid var(--border); background: var(--bg-inset); font: 13px/1.8 var(--font-mono);
}
.delta .dim { color: var(--text-dim); }
.delta .add, .delta .ok { color: var(--ok); }
.delta .chg { color: var(--warn); }

/* ---- cta ---- */
form { display: flex; max-width: 520px; border: 1px solid var(--border-strong); background: var(--surface); }
input[type=email] {
  flex: 1; min-width: 0; border: 0; background: transparent; color: var(--text);
  font: 16px var(--font-mono); padding: 14px 16px; outline: none;
}
.meta { font-size: 10px; font-weight: 400; letter-spacing: 0.06em; margin-top: 14px; }
.cta .lede { color: var(--text); }

@media (max-width: 900px) {
  .hero { grid-template-columns: minmax(0, 1fr); gap: 40px; padding-top: 8vh; }
  .claims, .rungs { grid-template-columns: minmax(0, 1fr); }
  .claim + .claim, .rung + .rung { border-left: 0; border-top: 1px solid var(--border); }
}
@media (max-width: 560px) {
  .net { grid-template-columns: minmax(0, 1fr); grid-template-areas: "a" "in" "t" "out" "b"; gap: 0; }
  .transition { display: flex; flex-flow: row wrap; gap: 4px 18px; align-items: baseline; }
  .t-head { flex-direction: row; gap: 10px; margin: 0; flex-basis: 100%; }
  .t-row { flex-direction: row; gap: 8px; margin: 0; }
  .arc { justify-self: start; margin-left: 24px; width: 1px; height: 18px; }
  #arc-in::after, #arc-out::after { top: auto; bottom: 0; left: -4px; right: auto; border: 4px solid transparent; border-bottom: 0; border-top: 6px solid var(--c); }
  .tok { grid-template-columns: 70px minmax(0, 1fr); }
  .tok .state { grid-column: 1 / -1; }
  .compare { grid-template-columns: minmax(0, 1fr); }
  .col + .col { border-left: 0; border-top: 1px solid var(--border-strong); }
  .band { padding: 56px 0; }
  form { flex-direction: column; }
}
@media (prefers-reduced-motion: reduce) {
  * { transition: none !important; animation: none !important; }
}