/* ============================================================
   code-native agent — insight-first build log (v2)
   Aesthetic: the agent's notebook / annotated trace.
   Warm paper + near-black ink. ARC 16-color palette in grids.
   Self-contained: system fonts only, no CDNs.
   ============================================================ */

:root {
  --paper:   #f5f3ec;
  --paper-2: #efece2;
  --ink:     #17150f;
  --ink-2:   #4a4636;
  --ink-3:   #6f6a58;
  --rule:    #d8d3c2;
  --rule-2:  #c7c1ad;
  --accent:  #921231;
  --amber:   #8a5a00;
  --amber-bg:#fdf3d7;
  --green:   #1f6a1f;

  /* ARC-AGI 16 color palette (index -> hex) */
  --c0:  #FFFFFF; --c1:  #CCCCCC; --c2:  #999999; --c3:  #666666;
  --c4:  #333333; --c5:  #000000; --c6:  #E53AA3; --c7:  #FF7BCC;
  --c8:  #F93C31; --c9:  #1E93FF; --c10: #88D8F1; --c11: #FFDC00;
  --c12: #FF851B; --c13: #921231; --c14: #4FCC30; --c15: #A356D6;

  --serif: Georgia, "Times New Roman", "Noto Serif", serif;
  --mono:  ui-monospace, "SF Mono", Menlo, Consolas, "Liberation Mono", monospace;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }

body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font-family: var(--serif);
  font-size: 18px;
  line-height: 1.62;
  background-image:
    repeating-linear-gradient(
      to bottom,
      transparent 0, transparent 31px,
      rgba(146, 18, 49, 0.035) 31px, rgba(146, 18, 49, 0.035) 32px
    );
}

/* ---------- sticky nav ---------- */
.nav {
  position: sticky; top: 0; z-index: 50;
  display: flex; align-items: center; gap: 1.1rem; flex-wrap: wrap;
  padding: 0.55rem 1.4rem;
  background: rgba(245, 243, 236, 0.93);
  backdrop-filter: blur(4px);
  border-bottom: 1px solid var(--rule-2);
}
.nav .brand {
  font-family: var(--mono); font-size: 0.78rem; font-weight: 700;
  letter-spacing: 0.02em; color: var(--ink);
  display: flex; align-items: center; gap: 0.5rem;
}
.nav a {
  font-family: var(--mono); font-size: 0.72rem;
  letter-spacing: 0.04em; text-transform: uppercase;
  color: var(--ink-3); text-decoration: none; padding: 0.15rem 0;
  border-bottom: 1.5px solid transparent;
  transition: color .15s, border-color .15s;
}
.nav a:hover { color: var(--ink); border-bottom-color: var(--accent); }
.nav .spacer { flex: 1 1 auto; }

.sigloop {
  font-family: var(--mono); font-size: 0.66rem; color: var(--ink-3);
  white-space: nowrap;
}
.sigloop b { color: var(--accent); font-weight: 700; }
.sigloop .arr { color: var(--rule-2); padding: 0 0.15rem; }

/* ---------- layout ---------- */
.wrap { max-width: 1080px; margin: 0 auto; padding: 0 1.4rem 6rem; }

header.hero { max-width: 1080px; margin: 0 auto; padding: 3rem 1.4rem 1.4rem; }
.kicker {
  font-family: var(--mono); font-size: 0.74rem; letter-spacing: 0.16em;
  text-transform: uppercase; color: var(--accent); margin: 0 0 0.9rem;
}
h1 {
  font-family: var(--serif); font-weight: 600;
  font-size: clamp(1.9rem, 5vw, 3rem);
  line-height: 1.1; letter-spacing: -0.01em; margin: 0 0 1rem;
}
h1 .strike { text-decoration: line-through; text-decoration-color: var(--accent); text-decoration-thickness: 3px; color: var(--ink-3); }
.lede { font-size: 1.16rem; color: var(--ink-2); max-width: 68ch; margin: 0 0 1.2rem; }

.stamp {
  display: inline-flex; align-items: center; gap: 0.5rem;
  font-family: var(--mono); font-size: 0.72rem; letter-spacing: 0.04em;
  text-transform: uppercase; color: var(--accent);
  border: 1.5px solid var(--accent); border-radius: 3px;
  padding: 0.3rem 0.7rem; transform: rotate(-1.4deg);
  background: rgba(146,18,49,0.04);
}
.stamp .dot { width: 7px; height: 7px; border-radius: 50%; background: var(--accent); }

/* ---------- hero stat chips ---------- */
.statrow { display: flex; flex-wrap: wrap; gap: 0.7rem; margin: 1.3rem 0 0.4rem; }
.stat {
  border: 1.5px solid var(--ink); border-radius: 5px;
  padding: 0.4rem 0.9rem; background: var(--paper-2);
  font-family: var(--mono); text-align: center;
}
.stat .v { display: block; font-size: 1.5rem; font-weight: 700; line-height: 1.15; }
.stat .k { display: block; font-size: 0.62rem; text-transform: uppercase; letter-spacing: 0.06em; color: var(--ink-3); }
.stat.hi { border-color: var(--accent); }
.stat.hi .v { color: var(--accent); }

/* ---------- hero level-progression strip ---------- */
.lvstrip {
  display: flex; align-items: flex-end; gap: clamp(0.4rem, 2vw, 1.1rem);
  margin: 1.8rem 0 0.3rem;
  padding: 1.1rem 1.1rem 0.7rem;
  background: var(--paper-2);
  border: 1px solid var(--rule-2); border-radius: 6px;
  overflow-x: auto;
}
.lvcol { display: flex; flex-direction: column; align-items: center; gap: 0.3rem; min-width: 54px; flex: 1; }
.lvcol .n { font-family: var(--mono); font-size: 1.15rem; font-weight: 700; }
.lvcol.win .n { color: var(--accent); font-size: 1.5rem; }
.lvbarbox { height: 110px; display: flex; align-items: flex-end; width: 100%; justify-content: center; }
.lvbar {
  width: 60%; max-width: 42px; border-radius: 3px 3px 0 0;
  background: var(--ink); position: relative;
  transform-origin: bottom; animation: lvgrow 1.2s cubic-bezier(.2,.8,.2,1) both;
}
.lvcol.win .lvbar { background: var(--accent); }
.lvbar.zero { background: none; border-bottom: 4px solid #7a1020; border-radius: 0; }
@keyframes lvgrow { from { transform: scaleY(0); } to { transform: scaleY(1); } }
.lvcol .lab { font-family: var(--mono); font-size: 0.6rem; color: var(--ink-3); white-space: nowrap; }
.lvcol .era { font-family: var(--mono); font-size: 0.55rem; color: #7a1020; text-transform: uppercase; letter-spacing: 0.04em; }
.stripcap { font-family: var(--mono); font-size: 0.72rem; color: var(--ink-3); margin-top: 0.35rem; }
.kor {
  display: block; font-family: var(--serif); font-size: 0.92rem;
  color: var(--accent); margin-top: 0.35rem; font-style: normal;
}

/* ---------- sections ---------- */
section { padding-top: 2.6rem; margin-top: 1.4rem; scroll-margin-top: 72px; }
.sec-head {
  display: flex; align-items: baseline; gap: 0.8rem;
  border-bottom: 2px solid var(--ink);
  padding-bottom: 0.4rem; margin-bottom: 1.4rem;
}
.sec-num { font-family: var(--mono); font-size: 0.8rem; font-weight: 700; color: var(--accent); }
.sec-head h2 { font-family: var(--serif); font-weight: 600; font-size: 1.65rem; margin: 0; }
.sec-head .tag {
  font-family: var(--mono); font-size: 0.68rem; color: var(--ink-3);
  margin-left: auto; text-transform: uppercase; letter-spacing: 0.05em;
}
h3 { font-family: var(--serif); font-weight: 600; font-size: 1.18rem; margin: 1.8rem 0 0.5rem; }
p { margin: 0.7rem 0; }
.muted { color: var(--ink-3); }
strong { font-weight: 700; }
em.term { font-style: italic; color: var(--ink-2); }

code.inl {
  font-family: var(--mono); font-size: 0.84em;
  background: var(--paper-2); border: 1px solid var(--rule);
  border-radius: 3px; padding: 0.05em 0.35em;
}

/* ---------- badges & chips ---------- */
.badge {
  font-family: var(--mono); font-size: 0.66rem; font-weight: 700;
  letter-spacing: 0.03em; text-transform: uppercase;
  padding: 0.1rem 0.45rem; border-radius: 3px; border: 1.5px solid;
  white-space: nowrap; display: inline-flex; align-items: center; gap: 0.3rem;
}
.badge.fail    { color: #7a1020; border-color: #7a1020; background: rgba(249,60,49,0.07); }
.badge.run     { color: var(--amber); border-color: #c08400; background: rgba(255,220,0,0.12); }
.badge.proven  { color: var(--green); border-color: #2f8a2f; background: rgba(79,204,48,0.12); }
.badge.open    { color: var(--ink-3); border-color: var(--rule-2); background: var(--paper-2); }
.badge.lvl     { color: var(--ink); border-color: var(--ink); background: var(--paper); }

.chip {
  display: inline-block; font-family: var(--mono); font-size: 0.62rem; font-weight: 700;
  padding: 0.06rem 0.4rem; border-radius: 8px; border: 1px solid; vertical-align: middle;
}
.chip.ok  { color: var(--green); border-color: #2f8a2f; background: rgba(79,204,48,0.12); }
.chip.no  { color: #7a1020; border-color: #7a1020; background: rgba(249,60,49,0.08); }
.chip.ev  { color: var(--amber); border-color: #c08400; background: rgba(255,220,0,0.14); }
.chip.mut { color: var(--ink-3); border-color: var(--rule-2); background: var(--paper-2); }

/* ---------- figure / svg ---------- */
figure.diagram {
  margin: 1.6rem 0; padding: 1.1rem 1.1rem 0.4rem;
  background: var(--paper-2); border: 1px solid var(--rule-2); border-radius: 6px;
}
figure.diagram svg { display: block; width: 100%; height: auto; }
figure.diagram figcaption {
  font-family: var(--mono); font-size: 0.74rem; color: var(--ink-3);
  line-height: 1.5; padding: 0.7rem 0.2rem 0.4rem;
  border-top: 1px solid var(--rule); margin-top: 0.6rem;
}
figure.diagram figcaption b { color: var(--ink); font-weight: 700; }
.svgwrap { overflow-x: auto; }

/* ---------- animated insight figures (section 02) ---------- */
.animgrid { display: grid; grid-template-columns: 1fr 1fr; gap: 1.3rem; margin: 1.4rem 0; }
@media (max-width: 860px) { .animgrid { grid-template-columns: 1fr; } }
.animfig {
  margin: 0; padding: 0.9rem 0.9rem 0.7rem;
  background: #fbfaf5; border: 1px solid var(--rule-2); border-radius: 6px;
  display: flex; flex-direction: column;
}
.animfig.ours { border: 2px solid var(--ink); grid-column: 1 / -1; background: var(--paper-2); }
.animfig h4 {
  font-family: var(--mono); font-size: 0.8rem; margin: 0 0 0.5rem;
  display: flex; align-items: center; gap: 0.55rem; flex-wrap: wrap;
}
.animfig svg { display: block; width: 100%; height: auto; background: #fff;
  border: 1px solid var(--rule); border-radius: 4px; }
.animfig .insight {
  font-family: var(--serif); font-size: 0.98rem; font-style: italic;
  color: var(--ink); margin: 0.6rem 0 0.15rem;
}
.animfig .kor { font-size: 0.85rem; margin-top: 0.1rem; }
.animfig .absorbed {
  font-family: var(--mono); font-size: 0.66rem; color: var(--ink-2);
  margin-top: 0.5rem; padding: 0.3rem 0.5rem;
  background: rgba(146,18,49,0.05); border-left: 3px solid var(--accent); border-radius: 0 3px 3px 0;
}
.animfig .absorbed b { color: var(--accent); text-transform: uppercase; letter-spacing: 0.04em; font-size: 0.6rem; }
.animfig details { margin-top: 0.55rem; }

/* generic svg text helpers for new diagrams */
.sT { font-family: var(--mono); font-size: 11px; font-weight: 700; fill: var(--ink); }
.sL { font-family: var(--mono); font-size: 9.5px; fill: var(--ink); }
.sM { font-family: var(--mono); font-size: 8.5px; fill: var(--ink-3); }
.sBox { fill: #f5f3ec; stroke: #17150f; stroke-width: 1.5; }
.sBox2 { fill: #efece2; stroke: #6f6a58; stroke-width: 1; }
.sLine { stroke: #17150f; stroke-width: 1.4; fill: none; }
.sDash { stroke: #c7c1ad; stroke-width: 1.2; fill: none; stroke-dasharray: 4 3; }
.tb { transform-box: fill-box; }

/* =========================================================
   diagram animations — each ~8s infinite loop
   ========================================================= */

/* --- (a) OUR LOOP --- */
.aa-cursor { transform-box: fill-box; transform-origin: center; animation: aaCursor 8s linear infinite; }
@keyframes aaCursor {
  0% { opacity:1; transform: translate(0,0) scale(1); }
  5% { transform: translate(20px,24px) scale(1); }
  7% { transform: translate(20px,24px) scale(.7); }
  9% { transform: translate(20px,24px) scale(1); }
  13% { transform: translate(-8px,42px) scale(1); }
  15% { transform: translate(-8px,42px) scale(.7); }
  17% { opacity:1; transform: translate(-8px,42px) scale(1); }
  21%,100% { opacity:0; transform: translate(-8px,42px) scale(1); }
}
.aa-rip { transform-box: fill-box; transform-origin: center; opacity:0; animation: aaRip 8s linear infinite; }
.aa-rip.r2 { animation-name: aaRip2; }
@keyframes aaRip { 0%,6%{opacity:0;transform:scale(.2)} 8%{opacity:.9;transform:scale(.5)} 12%{opacity:0;transform:scale(1.6)} 100%{opacity:0} }
@keyframes aaRip2 { 0%,14%{opacity:0;transform:scale(.2)} 16%{opacity:.9;transform:scale(.5)} 20%{opacity:0;transform:scale(1.6)} 100%{opacity:0} }
.aa-stuck { transform-box: fill-box; transform-origin: center; animation: aaStuck 8s linear infinite; }
@keyframes aaStuck {
  0%,18% { opacity:0; transform: scale(.85); }
  21% { opacity:1; transform: scale(1.08); }
  23% { transform: scale(1); }
  38% { opacity:1; }
  44%,100% { opacity:0; transform: scale(1); }
}
.aa-h { transform-box: fill-box; animation: aaCard 8s linear infinite; }
.aa-h.h2 { animation-name: aaCard2; } .aa-h.h3 { animation-name: aaCard3; } .aa-h.h4 { animation-name: aaCard4; }
@keyframes aaCard  { 0%,23%{opacity:0;transform:translateX(18px)} 27%{opacity:1;transform:translateX(0)} 90%{opacity:1} 95%,100%{opacity:0} }
@keyframes aaCard2 { 0%,26%{opacity:0;transform:translateX(18px)} 30%{opacity:1;transform:translateX(0)} 90%{opacity:1} 95%,100%{opacity:0} }
@keyframes aaCard3 { 0%,29%{opacity:0;transform:translateX(18px)} 33%{opacity:1;transform:translateX(0)} 66%{opacity:1} 70%{opacity:.35} 90%{opacity:.35} 95%,100%{opacity:0} }
@keyframes aaCard4 { 0%,32%{opacity:0;transform:translateX(18px)} 36%{opacity:1;transform:translateX(0)} 90%{opacity:1} 95%,100%{opacity:0} }
.aa-t { opacity:0; animation: aaTest 8s linear infinite; }
.aa-t.t2 { animation-name: aaTest2; } .aa-t.t3 { animation-name: aaTest3; }
@keyframes aaTest  { 0%,37%{opacity:0} 39%,43%{opacity:1} 46%,100%{opacity:0} }
@keyframes aaTest2 { 0%,47%{opacity:0} 49%,53%{opacity:1} 56%,100%{opacity:0} }
@keyframes aaTest3 { 0%,57%{opacity:0} 59%,63%{opacity:1} 66%,100%{opacity:0} }
.aa-v { opacity:0; animation: aaVer 8s linear infinite; }
.aa-v.v2 { animation-name: aaVer2; } .aa-v.v3 { animation-name: aaVer3; }
@keyframes aaVer  { 0%,43%{opacity:0} 46%{opacity:1} 90%{opacity:1} 95%,100%{opacity:0} }
@keyframes aaVer2 { 0%,53%{opacity:0} 56%{opacity:1} 90%{opacity:1} 95%,100%{opacity:0} }
@keyframes aaVer3 { 0%,63%{opacity:0} 66%{opacity:1} 90%{opacity:1} 95%,100%{opacity:0} }
.aa-fly { transform-box: fill-box; opacity:0; animation: aaFly 8s linear infinite; }
@keyframes aaFly {
  0%,66% { opacity:0; transform: translate(0,0) scale(1); }
  68% { opacity:1; transform: translate(0,0) scale(1); }
  78% { opacity:1; transform: translate(-198px,-38px) scale(.82); }
  82%,100% { opacity:0; transform: translate(-198px,-38px) scale(.7); }
}
.aa-flash { opacity:0; animation: aaFlash 8s linear infinite; }
@keyframes aaFlash { 0%,78%{opacity:0} 81%{opacity:.55} 84%{opacity:.15} 87%{opacity:.45} 92%,100%{opacity:0} }
.aa-lvl { transform-box: fill-box; transform-origin: center; opacity:0; animation: aaLvl 8s linear infinite; }
@keyframes aaLvl {
  0%,80% { opacity:0; transform: scale(.7); }
  84% { opacity:1; transform: scale(1.12); }
  86% { transform: scale(1); }
  94% { opacity:1; }
  98%,100% { opacity:0; }
}

/* --- (b) posterior bars --- */
.ab-bar { transform-box: fill-box; transform-origin: bottom; }
.ab-bar.b1 { animation: abB1 8s ease-in-out infinite; }
.ab-bar.b2 { animation: abB2 8s ease-in-out infinite; }
.ab-bar.b3 { animation: abB3 8s ease-in-out infinite; }
.ab-bar.b4 { animation: abB4 8s ease-in-out infinite; }
@keyframes abB1 { 0%,34%{transform:scaleY(.48)} 52%,86%{transform:scaleY(.14)} 96%,100%{transform:scaleY(.48)} }
@keyframes abB2 { 0%,34%{transform:scaleY(.56)} 52%,86%{transform:scaleY(.94)} 96%,100%{transform:scaleY(.56)} }
@keyframes abB3 { 0%,34%{transform:scaleY(.42)} 52%,86%{transform:scaleY(.08)} 96%,100%{transform:scaleY(.42)} }
@keyframes abB4 { 0%,34%{transform:scaleY(.5)} 52%,86%{transform:scaleY(.12)} 96%,100%{transform:scaleY(.5)} }
.ab-exp { transform-box: fill-box; opacity:0; animation: abExp 8s linear infinite; }
@keyframes abExp { 0%,28%{opacity:0;transform:translateY(6px)} 33%{opacity:1;transform:translateY(0)} 50%{opacity:1} 58%,100%{opacity:0} }
.ab-win { opacity:0; animation: abWin 8s linear infinite; }
@keyframes abWin { 0%,56%{opacity:0} 62%{opacity:1} 86%{opacity:1} 94%,100%{opacity:0} }

/* --- (c) SkillOpt --- */
.ac-path { stroke-dasharray: 150; stroke-dashoffset: 150; animation: acPath 8s linear infinite; }
@keyframes acPath { 0%{stroke-dashoffset:150;opacity:1} 18%{stroke-dashoffset:0;opacity:1} 60%{opacity:1} 70%,100%{opacity:.25;stroke-dashoffset:0} }
.ac-fail { opacity:0; animation: acFail 8s linear infinite; }
@keyframes acFail { 0%,17%{opacity:0} 20%{opacity:1} 60%{opacity:1} 70%,100%{opacity:0} }
.ac-diag { transform-box: fill-box; opacity:0; animation: acDiag 8s linear infinite; }
@keyframes acDiag { 0%,24%{opacity:0;transform:translateY(6px)} 29%{opacity:1;transform:translateY(0)} 88%{opacity:1} 95%,100%{opacity:0} }
.ac-old { animation: acOld 8s linear infinite; }
@keyframes acOld { 0%,40%{opacity:1} 46%{opacity:1} 54%,100%{opacity:0} }
.ac-strike { transform-box: fill-box; transform-origin: left; transform: scaleX(0); animation: acStrike 8s linear infinite; }
@keyframes acStrike { 0%,40%{transform:scaleX(0)} 46%{transform:scaleX(1)} 54%,100%{transform:scaleX(1);opacity:0} }
.ac-new { opacity:0; animation: acNew 8s linear infinite; }
@keyframes acNew { 0%,50%{opacity:0} 58%{opacity:1} 96%{opacity:1} 100%{opacity:0} }
.ac-chip { transform-box: fill-box; opacity:0; animation: acChip 8s linear infinite; }
@keyframes acChip {
  0%,58% { opacity:0; transform: translate(0,0); }
  61% { opacity:1; transform: translate(0,0); }
  70% { transform: translate(74px,0); }
  74% { transform: translate(74px,0); }
  82% { opacity:1; transform: translate(148px,0); }
  86%,100% { opacity:0; transform: translate(148px,0); }
}
.ac-pass { opacity:0; animation: acPass 8s linear infinite; }
@keyframes acPass { 0%,68%{opacity:0} 72%,80%{opacity:1} 85%,100%{opacity:0} }
.ac-rej { transform-box: fill-box; opacity:0; animation: acRej 8s linear infinite; }
@keyframes acRej {
  0%,76% { opacity:0; transform: translate(0,0); }
  79% { opacity:1; transform: translate(0,0); }
  85% { transform: translate(58px,0); }
  88% { transform: translate(58px,0); }
  94% { opacity:1; transform: translate(8px,10px) rotate(8deg); }
  98%,100% { opacity:0; transform: translate(8px,14px) rotate(8deg); }
}
.ac-rx { opacity:0; animation: acRx 8s linear infinite; }
@keyframes acRx { 0%,84%{opacity:0} 87%,93%{opacity:1} 97%,100%{opacity:0} }

/* --- (d) SkillGrad --- */
.ad-loss { transform-box: fill-box; transform-origin: center; animation: adLoss 8s linear infinite; }
@keyframes adLoss {
  0%{transform:scale(1)} 3%{transform:scale(1.25)} 6%{transform:scale(1)}
  24%{transform:scale(1)} 27%{transform:scale(1.25)} 30%{transform:scale(1)}
  46%{transform:scale(1)} 49%{transform:scale(1.25)} 52%{transform:scale(1)}
  100%{transform:scale(1)}
}
.ad-g { transform-box: fill-box; opacity:0; }
.ad-g.g1 { animation: adG1 8s linear infinite; }
.ad-g.g2 { animation: adG2 8s linear infinite; }
.ad-g.g3 { animation: adG3 8s linear infinite; }
@keyframes adG1 { 0%,4%{opacity:0;transform:translate(-118px,-48px)} 7%{opacity:1;transform:translate(-118px,-48px)} 18%{opacity:1;transform:translate(0,0)} 88%{opacity:1;transform:translate(0,0)} 93%,100%{opacity:0} }
@keyframes adG2 { 0%,27%{opacity:0;transform:translate(-118px,-16px)} 30%{opacity:1;transform:translate(-118px,-16px)} 41%{opacity:1;transform:translate(0,0)} 88%{opacity:1;transform:translate(0,0)} 93%,100%{opacity:0} }
@keyframes adG3 { 0%,49%{opacity:0;transform:translate(-118px,16px)} 52%{opacity:1;transform:translate(-118px,16px)} 63%{opacity:1;transform:translate(0,0)} 88%{opacity:1;transform:translate(0,0)} 93%,100%{opacity:0} }
.ad-merge { transform-box: fill-box; opacity:0; animation: adMerge 8s linear infinite; }
@keyframes adMerge {
  0%,66% { opacity:0; transform: translate(0,0); }
  69% { opacity:1; transform: translate(0,0); }
  80% { opacity:1; transform: translate(118px,0); }
  84%,100% { opacity:0; transform: translate(118px,0); }
}
.ad-line { opacity:0; animation: adLine 8s linear infinite; }
@keyframes adLine { 0%,79%{opacity:0} 84%{opacity:1} 94%{opacity:1} 98%,100%{opacity:0} }

/* --- (e) symbolica posteriors --- */
.ae-g { transform-box: fill-box; transform-origin: left; }
.ae-g.g1 { animation: aeG1 8s ease-in-out infinite; }
.ae-g.g2 { animation: aeG2 8s ease-in-out infinite; }
.ae-g.g3 { animation: aeG3 8s ease-in-out infinite; }
@keyframes aeG1 { 0%,10%{transform:scaleX(.32)} 38%,90%{transform:scaleX(.86)} 98%,100%{transform:scaleX(.32)} }
@keyframes aeG2 { 0%,10%{transform:scaleX(.6)} 38%,90%{transform:scaleX(.13)} 98%,100%{transform:scaleX(.6)} }
@keyframes aeG3 { 0%,10%{transform:scaleX(.5)} 30%{transform:scaleX(.62)} 55%{transform:scaleX(.44)} 80%{transform:scaleX(.55)} 100%{transform:scaleX(.5)} }
.ae-row2 { transform-box: fill-box; animation: aeRow2 8s linear infinite; }
@keyframes aeRow2 {
  0%,52% { opacity:1; transform: translate(0,0); }
  66% { opacity:1; transform: translate(190px,0); }
  90% { opacity:1; transform: translate(190px,0); }
  94% { opacity:0; transform: translate(190px,0); }
  96%,100% { opacity:1; transform: translate(0,0); }
}
.ae-q { animation: aeQ 8s linear infinite; }
@keyframes aeQ { 0%,52%{stroke-opacity:.5} 60%,88%{stroke-opacity:1} 96%,100%{stroke-opacity:.5} }

/* --- (f) astroseger runnable world model --- */
.af-pcell { opacity:0; animation: afP 8s linear infinite; }
@keyframes afP { 0%,8%{opacity:0} 14%{opacity:1} 94%{opacity:1} 98%,100%{opacity:0} }
.af-mm { transform-box: fill-box; transform-origin: center; opacity:0; animation: afMM 8s linear infinite; }
@keyframes afMM {
  0%,22%{opacity:0;transform:scale(.6)} 26%{opacity:1;transform:scale(1.15)}
  30%{opacity:1;transform:scale(1)} 36%{opacity:.4} 42%{opacity:1} 50%,100%{opacity:0}
}
.af-back { opacity:0; animation: afBack 8s linear infinite; }
@keyframes afBack { 0%,40%{opacity:0} 45%,58%{opacity:1} 64%,100%{opacity:0} }
.af-old { animation: afOld 8s linear infinite; }
@keyframes afOld { 0%,48%{opacity:1} 56%,100%{opacity:0} }
.af-new { opacity:0; animation: afNew 8s linear infinite; }
@keyframes afNew { 0%,52%{opacity:0} 60%{opacity:1} 96%{opacity:1} 100%{opacity:0} }
.af-fix { opacity:0; animation: afFix 8s linear infinite; }
@keyframes afFix { 0%,64%{opacity:0} 70%{opacity:1} 94%{opacity:1} 98%,100%{opacity:0} }
.af-ok { transform-box: fill-box; transform-origin: center; opacity:0; animation: afOk 8s linear infinite; }
@keyframes afOk { 0%,72%{opacity:0;transform:scale(.6)} 77%{opacity:1;transform:scale(1.1)} 80%{transform:scale(1)} 93%{opacity:1} 97%,100%{opacity:0} }

@media (prefers-reduced-motion: reduce) {
  .animfig svg *, .lvbar { animation: none !important; }
}

/* ---------- code blocks (terminal frame) ---------- */
.term {
  margin: 1.3rem 0; border: 1px solid var(--ink); border-radius: 6px;
  overflow: hidden; background: #1c1a14;
}
.term .bar {
  display: flex; align-items: center; gap: 0.45rem;
  padding: 0.45rem 0.7rem; background: #262219;
  border-bottom: 1px solid #38332650;
}
.term .bar .b { width: 11px; height: 11px; border-radius: 50%; display: inline-block; }
.term .bar .b1 { background: var(--c8); }
.term .bar .b2 { background: var(--c11); }
.term .bar .b3 { background: var(--c14); }
.term .bar .title { font-family: var(--mono); font-size: 0.7rem; color: #b9b29a; margin-left: 0.4rem; letter-spacing: 0.03em; }
.term pre {
  margin: 0; padding: 0.95rem 1.1rem; overflow-x: auto;
  font-family: var(--mono); font-size: 0.8rem; line-height: 1.6; color: #e7e2d2;
}
.term pre .c { color: #7d7762; }
.term pre .k { color: #88D8F1; }
.term pre .s { color: #FFDC00; }
.term pre .f { color: #FF7BCC; }
.term pre .n { color: #4FCC30; }

/* ---------- palette legend ---------- */
.palette { display: flex; flex-wrap: wrap; gap: 0.5rem 0.8rem; margin: 1rem 0; }
.palette .pi { display: flex; align-items: center; gap: 0.35rem; font-family: var(--mono); font-size: 0.68rem; color: var(--ink-3); }
.palette .sw { width: 14px; height: 14px; border: 1px solid var(--rule-2); border-radius: 2px; }

/* ---------- fix timeline (section 03) ---------- */
.fixlist { list-style: none; margin: 1.4rem 0; padding: 0; position: relative; counter-reset: fx; }
.fixlist::before {
  content: ""; position: absolute; left: 15px; top: 8px; bottom: 8px;
  width: 2px; background: var(--rule-2);
}
.fix { position: relative; padding: 0 0 1.7rem 3rem; counter-increment: fx; }
.fix::before {
  content: counter(fx);
  position: absolute; left: 3px; top: 0;
  width: 26px; height: 26px; border-radius: 50%;
  background: var(--paper); border: 2px solid var(--ink);
  display: flex; align-items: center; justify-content: center;
  font-family: var(--mono); font-size: 0.72rem; font-weight: 700;
}
.fix h4 { font-family: var(--mono); font-size: 0.86rem; margin: 0.05rem 0 0.3rem; display: flex; gap: 0.6rem; align-items: center; flex-wrap: wrap; }
.fix .commit { font-family: var(--mono); font-size: 0.62rem; color: var(--ink-3); border: 1px solid var(--rule-2); border-radius: 3px; padding: 0.02rem 0.35rem; background: var(--paper-2); }
.fix .pf { margin: 0.15rem 0 0.6rem; font-size: 0.95rem; }
.fix .pf b.prob { color: #7a1020; }
.fix .pf b.sol { color: var(--green); }
.beforeafter {
  display: flex; align-items: center; gap: 0.7rem; flex-wrap: wrap;
  background: #fbfaf5; border: 1px solid var(--rule); border-radius: 6px;
  padding: 0.55rem 0.8rem;
}
.bachart { display: flex; flex-direction: column; gap: 0.1rem; }
.bachart .t { font-family: var(--mono); font-size: 0.6rem; color: var(--ink-3); }
.bachart .t b { color: var(--ink); }
.baarr { font-family: var(--mono); font-size: 1.2rem; color: var(--accent); font-weight: 700; }
.spark { display: block; }
.spark .axis { stroke: var(--rule-2); stroke-width: 1; }
.spark .lv { stroke: var(--ink); stroke-width: 2; fill: none; }
.spark.after .lv { stroke: var(--accent); }
.spark .endlab { font-family: var(--mono); font-size: 10px; font-weight: 700; fill: var(--ink); }
.spark.after .endlab { fill: var(--accent); }

/* ---------- run viewer (section 04) ---------- */
.viewer { border: 2px solid var(--ink); border-radius: 8px; background: #fbfaf5; margin: 1.4rem 0; overflow: hidden; }
.vtabs { display: flex; flex-wrap: wrap; border-bottom: 2px solid var(--ink); background: var(--paper-2); }
.vtab {
  font-family: var(--mono); font-size: 0.72rem; font-weight: 700;
  padding: 0.6rem 0.9rem; cursor: pointer; border: none; background: none;
  color: var(--ink-3); border-right: 1px solid var(--rule);
  display: flex; flex-direction: column; align-items: flex-start; gap: 0.1rem;
}
.vtab small { font-weight: 400; font-size: 0.6rem; }
.vtab:hover { color: var(--ink); background: rgba(146,18,49,0.05); }
.vtab.active { color: var(--paper); background: var(--ink); }
.vtab.active small { color: var(--rule-2); }
.vbody { padding: 1rem 1.1rem 1.4rem; }
.vhead { display: flex; flex-wrap: wrap; align-items: center; gap: 0.9rem; margin-bottom: 0.4rem; }
.vhead .vid { font-family: var(--mono); font-size: 1rem; font-weight: 700; }
.vhead .vcfg { font-family: var(--mono); font-size: 0.7rem; color: var(--ink-3); }
.vstats { display: flex; flex-wrap: wrap; gap: 0.45rem; margin: 0.4rem 0 0.8rem; }
.vstats .badge { font-size: 0.62rem; }
.vfid {
  font-family: var(--mono); font-size: 0.66rem; color: var(--ink-2);
  background: var(--paper-2); border: 1px dashed var(--rule-2);
  border-radius: 4px; padding: 0.3rem 0.55rem; margin: 0.3rem 0 0.9rem;
}
.vsparkwrap { margin-left: auto; text-align: right; }
.vsparkwrap .t { font-family: var(--mono); font-size: 0.58rem; color: var(--ink-3); }

.rounds { display: grid; grid-template-columns: repeat(auto-fill, minmax(215px, 1fr)); gap: 0.7rem; }
.rcard {
  border: 1px solid var(--rule-2); border-radius: 6px; background: #fff;
  padding: 0.5rem; display: flex; flex-direction: column; gap: 0.4rem;
  font-size: 0.85rem;
}
.rcard .rhead { display: flex; align-items: center; gap: 0.35rem; flex-wrap: wrap; font-family: var(--mono); font-size: 0.64rem; }
.rcard .rnum { font-weight: 700; font-size: 0.72rem; }
.rcard canvas { width: 100%; max-width: 200px; image-rendering: pixelated; border: 1px solid var(--ink); border-radius: 2px; align-self: center; }
.gridph {
  width: 100%; max-width: 200px; aspect-ratio: 1; align-self: center;
  border: 1px dashed var(--rule-2); border-radius: 2px;
  display: flex; align-items: center; justify-content: center; text-align: center;
  font-family: var(--mono); font-size: 0.6rem; color: var(--ink-3);
  padding: 0.6rem; background: repeating-linear-gradient(45deg, #faf8f2 0 8px, #f2efe6 8px 16px);
}
.rcard details { font-size: 0.78rem; }
.rcard details summary {
  cursor: pointer; font-family: var(--mono); font-size: 0.62rem;
  color: var(--ink-2); text-transform: uppercase; letter-spacing: 0.04em;
}
.rcard details p { margin: 0.3rem 0 0.1rem; white-space: pre-wrap; font-size: 0.78rem; line-height: 1.45; }
.rcard pre {
  margin: 0.3rem 0 0; padding: 0.45rem 0.55rem; overflow-x: auto;
  background: #1c1a14; color: #e7e2d2; border-radius: 4px;
  font-family: var(--mono); font-size: 0.62rem; line-height: 1.5;
  max-height: 200px; overflow-y: auto;
}
.rev { font-family: var(--mono); font-size: 0.6rem; }
.rev .chip { margin: 0 0.2rem 0.2rem 0; }

.sleepcard {
  grid-column: 1 / -1;
  border: 1.5px solid #c08400; border-radius: 6px;
  background: var(--amber-bg);
  padding: 0.65rem 0.85rem; font-size: 0.85rem;
}
.sleepcard .shead {
  display: flex; align-items: center; gap: 0.6rem; flex-wrap: wrap;
  font-family: var(--mono); font-size: 0.7rem; font-weight: 700; color: var(--amber);
  text-transform: uppercase; letter-spacing: 0.05em; margin-bottom: 0.35rem;
}
.sleepcard ul.rules { margin: 0.25rem 0; padding-left: 0; list-style: none; }
.sleepcard ul.rules li { margin: 0.22rem 0; font-size: 0.8rem; line-height: 1.45; padding-left: 0; }
.sleepcard .obs { font-family: var(--mono); font-size: 0.68rem; color: var(--ink-2); margin: 0.3rem 0 0; }
.sleepcard .obs b { color: var(--amber); }
.sleepcard .applied {
  margin: 0.35rem 0 0; padding: 0.4rem 0.6rem;
  background: rgba(79,204,48,0.1); border-left: 3px solid #2f8a2f; border-radius: 0 3px 3px 0;
  font-size: 0.78rem;
}
.sleepcard .applied b { font-family: var(--mono); font-size: 0.62rem; color: var(--green); text-transform: uppercase; }

.vnote { font-family: var(--mono); font-size: 0.66rem; color: var(--ink-3); margin-top: 0.8rem; }
.loaderr {
  padding: 1rem 1.2rem; font-family: var(--mono); font-size: 0.8rem;
  color: #7a1020; background: rgba(249,60,49,0.06);
  border: 1.5px dashed #7a1020; border-radius: 6px; margin: 1rem 0;
}

/* ---------- RHAE table ---------- */
.tblwrap { overflow-x: auto; margin: 1.3rem 0; }
table.cmp { width: 100%; border-collapse: collapse; font-size: 0.86rem; }
table.cmp th, table.cmp td {
  text-align: left; padding: 0.55rem 0.7rem;
  border-bottom: 1px solid var(--rule); vertical-align: top;
}
table.cmp thead th {
  font-family: var(--mono); font-size: 0.72rem; text-transform: uppercase;
  letter-spacing: 0.04em; color: var(--ink); border-bottom: 2px solid var(--ink);
}
table.cmp tbody th { font-family: var(--mono); font-size: 0.74rem; font-weight: 700; color: var(--ink-2); white-space: nowrap; }
table.cmp tbody tr:last-child td, table.cmp tbody tr:last-child th { border-bottom: none; }
table.cmp .ours { background: rgba(146,18,49,0.05); }
table.cmp td.num, table.cmp th.num { text-align: right; font-family: var(--mono); }
table.cmp tr.total { border-top: 2px solid var(--ink); font-weight: 700; }
.formula {
  font-family: var(--mono); font-size: 0.9rem; line-height: 1.7;
  background: var(--paper-2); border: 1px solid var(--rule-2); border-radius: 6px;
  padding: 0.9rem 1.1rem; margin: 1rem 0; overflow-x: auto;
}
.formula b { color: var(--accent); }

/* ---------- callout ---------- */
.callout {
  margin: 1.4rem 0; padding: 1rem 1.2rem;
  border-left: 4px solid var(--accent);
  background: var(--paper-2); border-radius: 0 5px 5px 0;
}
.callout .lab {
  font-family: var(--mono); font-size: 0.7rem; font-weight: 700;
  text-transform: uppercase; letter-spacing: 0.06em;
  color: var(--accent); margin-bottom: 0.3rem;
}
.callout.warn { border-left-color: #c08400; }
.callout.warn .lab { color: var(--amber); }

/* generic details */
details.tech {
  margin: 1rem 0; border: 1px solid var(--rule-2); border-radius: 6px;
  background: var(--paper-2); padding: 0.6rem 0.9rem;
}
details.tech summary {
  cursor: pointer; font-family: var(--mono); font-size: 0.72rem; font-weight: 700;
  text-transform: uppercase; letter-spacing: 0.05em; color: var(--ink-2);
}
details.tech[open] summary { margin-bottom: 0.5rem; }

/* two-column lists */
.cols2 { display: grid; grid-template-columns: 1fr 1fr; gap: 1.4rem; margin: 1.2rem 0; }
.cols2 h3 { margin-top: 0; }
.cols2 ul { margin: 0.4rem 0 0; padding-left: 1.1rem; }
.cols2 li { margin: 0.45rem 0; }

footer {
  max-width: 1080px; margin: 3rem auto 0;
  padding: 1.6rem 1.4rem 3rem;
  border-top: 1px solid var(--rule-2);
  font-family: var(--mono); font-size: 0.74rem; color: var(--ink-3);
}

/* ---------- responsive ---------- */
@media (max-width: 720px) {
  body { font-size: 16px; }
  .cols2 { grid-template-columns: 1fr; }
  .nav .sigloop { display: none; }
  header.hero { padding-top: 2.2rem; }
  .rounds { grid-template-columns: repeat(auto-fill, minmax(160px, 1fr)); }
  .beforeafter { gap: 0.4rem; }
  .fix { padding-left: 2.5rem; }
}

/* ---------- weekly-archive top bar ---------- */
.arcbar {
  display: flex;
  align-items: center;
  gap: 16px;
  padding: 7px 22px;
  background: var(--ink);
  color: rgba(245, 243, 236, 0.75);
  font-family: var(--mono);
  font-size: 12.5px;
  letter-spacing: 0.02em;
}
.arcbar a {
  color: #f5f3ec;
  text-decoration: none;
  border-bottom: 1px solid rgba(245, 243, 236, 0.35);
  white-space: nowrap;
}
.arcbar a:hover { color: #fff; border-bottom-color: #fff; }
.arcbar .arcbar-label {
  flex: 1 1 auto;
  text-align: center;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}
@media (max-width: 560px) { .arcbar .arcbar-label { display: none; } .arcbar { justify-content: space-between; } }

/* ============================================================
   explorer.html — before/after trace explorer (one screen)
   All classes prefixed xp- to avoid collisions with the log page.
   ============================================================ */

.xp-body {
  height: 100vh;
  overflow: hidden;
  display: flex;
  flex-direction: column;
  font-size: 15px;
  line-height: 1.4;
  background-image: none;
}

/* ---------- top bar ---------- */
.xp-top {
  flex: 0 0 auto;
  display: flex; align-items: baseline; gap: 1rem; flex-wrap: wrap;
  padding: 0.5rem 1.1rem 0.4rem;
  border-bottom: 1px solid var(--rule-2);
  background: var(--paper-2);
}
.xp-brand { font-family: var(--mono); font-weight: 700; font-size: 0.86rem; }
.xp-slash { color: var(--accent); }
.xp-thin { font-weight: 400; color: var(--ink-3); }
.xp-nav { display: flex; gap: 0.9rem; }
.xp-nav a {
  font-family: var(--mono); font-size: 0.72rem; color: var(--ink-2);
  text-decoration: none; border-bottom: 1px solid var(--rule-2);
}
.xp-nav a:hover { color: var(--accent); border-bottom-color: var(--accent); }
.xp-hint { margin-left: auto; font-family: var(--mono); font-size: 0.66rem; color: var(--ink-3); }
.xp-hint kbd {
  border: 1px solid var(--rule-2); border-radius: 4px; padding: 0 4px;
  background: var(--paper); font-family: var(--mono);
}

/* ---------- pair selector ---------- */
.xp-pairs {
  flex: 0 0 auto;
  display: flex; gap: 0.5rem; flex-wrap: wrap;
  padding: 0.45rem 1.1rem 0.1rem;
}
.xp-pairbtn {
  font-family: var(--mono); font-size: 0.72rem; cursor: pointer;
  padding: 0.32rem 0.7rem; border-radius: 999px;
  border: 1px solid var(--rule-2); background: var(--paper); color: var(--ink-2);
}
.xp-pairbtn:hover { border-color: var(--accent); color: var(--accent); }
.xp-pairbtn.is-active {
  background: var(--ink); color: var(--paper); border-color: var(--ink);
}

/* ---------- problem/solution banner ---------- */
.xp-banner {
  flex: 0 0 auto;
  padding: 0.35rem 1.1rem 0.45rem;
  display: flex; flex-direction: column; gap: 0.25rem;
}
.xp-bl {
  display: flex; align-items: center; gap: 0.6rem;
  padding: 0.22rem 0.6rem; border-radius: 8px;
}
.xp-bl-problem  { background: #f7e5e0; border: 1px solid #e4c2b8; }
.xp-bl-solution { background: #e3efe0; border: 1px solid #bfd8b8; }
.xp-btag {
  flex: 0 0 auto; font-family: var(--mono); font-size: 0.64rem; font-weight: 700;
  letter-spacing: 0.08em; padding: 0.1rem 0.42rem; border-radius: 4px; color: #fff;
}
.xp-btag-problem  { background: #a33421; }
.xp-btag-solution { background: var(--green); }
.xp-btext { flex: 1 1 auto; font-size: 0.83rem; line-height: 1.32; color: var(--ink); }
.xp-jump {
  flex: 0 0 auto; cursor: pointer; white-space: nowrap;
  font-family: var(--mono); font-size: 0.68rem;
  padding: 0.22rem 0.6rem; border-radius: 999px; border: 1px solid transparent;
  color: #fff;
}
.xp-jump-problem  { background: #a33421; }
.xp-jump-solution { background: var(--green); }
.xp-jump:hover { filter: brightness(1.18); }

/* ---------- two columns ---------- */
.xp-cols {
  flex: 1 1 auto; min-height: 0;
  display: grid; grid-template-columns: 1fr 1fr; gap: 0.7rem;
  padding: 0 1.1rem 0.6rem;
}
.xp-col {
  min-height: 0; min-width: 0;
  display: flex; flex-direction: column;
  border: 1px solid var(--rule-2); border-radius: 10px;
  background: var(--paper);
}
.xp-col.is-focused { border-color: var(--ink); box-shadow: 0 0 0 1px var(--ink); }
@keyframes xpFlash { 0% { box-shadow: 0 0 0 4px rgba(146,18,49,0.45); } 100% { box-shadow: 0 0 0 1px var(--ink); } }
.xp-col.xp-flash { animation: xpFlash 0.8s ease-out 1; }

.xp-colhead {
  flex: 0 0 auto;
  display: flex; align-items: baseline; gap: 0.55rem;
  padding: 0.34rem 0.7rem; border-bottom: 1px solid var(--rule);
  font-family: var(--mono); font-size: 0.68rem; color: var(--ink-3);
  overflow: hidden; white-space: nowrap;
}
.xp-side { font-weight: 700; letter-spacing: 0.08em; padding: 0.05rem 0.4rem; border-radius: 4px; color: #fff; }
.xp-side-before { background: #a33421; }
.xp-side-after  { background: var(--green); }
.xp-runid { font-weight: 700; color: var(--ink); }
.xp-runstats { overflow: hidden; text-overflow: ellipsis; }
.xp-stepno { margin-left: auto; color: var(--ink-2); }

.xp-content {
  flex: 1 1 auto; min-height: 0;
  display: flex; flex-direction: column;
  padding: 0.45rem 0.7rem 0.3rem;
  gap: 0.4rem;
}
.xp-gridwrap {
  flex: 1 1 auto; min-height: 0;
  display: flex; flex-direction: column; align-items: center; justify-content: center;
  gap: 0.3rem;
  overflow: hidden;
}
.xp-canvas {
  height: 100%; max-height: 100%; max-width: 100%;
  aspect-ratio: 1 / 1;
  image-rendering: pixelated;
  border: 1px solid var(--rule-2); border-radius: 4px;
  background: #fff;
}
.xp-evline { flex: 0 0 auto; text-align: center; }
.xp-ev {
  display: inline-block; font-family: var(--mono); font-size: 0.62rem;
  padding: 0.06rem 0.42rem; border-radius: 999px;
  background: var(--paper-2); border: 1px solid var(--rule-2); color: var(--ink-2);
  margin: 0 0.15rem;
}
.xp-ev-lvl   { background: #e3efe0; border-color: #9cc492; color: var(--green); font-weight: 700; }
.xp-ev-over  { background: #f7e0da; border-color: #d9a595; color: #a33421; font-weight: 700; }
.xp-ev-sleep { background: var(--amber-bg); border-color: #d9c07c; color: var(--amber); }

/* ---------- amber APPLY-EVENT / no-replay card ---------- */
.xp-applycard {
  max-width: 92%; max-height: 100%; overflow-y: auto;
  background: var(--amber-bg); border: 1px solid #d9c07c; border-left: 5px solid var(--amber);
  border-radius: 8px; padding: 0.6rem 0.85rem;
  font-size: 0.82rem;
}
.xp-ac-head { font-family: var(--mono); font-size: 0.68rem; font-weight: 700; letter-spacing: 0.06em; color: var(--amber); margin-bottom: 0.3rem; }
.xp-ac-note { margin: 0.2rem 0; color: var(--ink-2); font-size: 0.78rem; }
.xp-ac-rule {
  margin: 0.4rem 0; padding: 0.35rem 0.6rem;
  border-left: 3px solid var(--amber);
  background: rgba(255,255,255,0.55);
  font-style: italic; color: var(--ink);
}
.xp-ac-observed { margin: 0.2rem 0; font-size: 0.74rem; }
.xp-ac-observed code, .xp-sc-observed code { font-family: var(--mono); font-size: 0.9em; background: rgba(255,255,255,0.6); padding: 0 0.3rem; border-radius: 3px; }
.xp-ac-ev { margin-top: 0.35rem; }

/* ---------- sleep card ---------- */
.xp-sleepcard {
  width: 96%; max-height: 100%; overflow-y: auto;
  background: var(--amber-bg); border: 1px solid #d9c07c; border-left: 5px solid var(--amber);
  border-radius: 8px; padding: 0.55rem 0.85rem;
  font-size: 0.8rem;
}
.xp-sc-head {
  font-family: var(--mono); font-size: 0.7rem; font-weight: 700; color: var(--amber);
  display: flex; gap: 0.6rem; flex-wrap: wrap; align-items: baseline;
  margin-bottom: 0.35rem;
}
.xp-sc-counts { margin-left: auto; font-weight: 400; color: var(--ink-3); }
.xp-sc-rules { list-style: none; margin: 0; padding: 0; }
.xp-sc-rules li {
  padding: 0.18rem 0.2rem; border-bottom: 1px dotted #dcc98f;
  line-height: 1.3;
}
.xp-sc-rules li:last-child { border-bottom: none; }
.xp-sc-rules li.xp-rule-applied-li { background: rgba(255,255,255,0.55); border-radius: 4px; }
.xp-rule-none { color: var(--ink-3); font-style: italic; }
.xp-rulechip {
  display: inline-block; font-family: var(--mono); font-size: 0.58rem; font-weight: 700;
  padding: 0 0.34rem; border-radius: 999px; margin-right: 0.35rem;
  vertical-align: 0.08em;
}
.xp-rule-confirmed { background: #cfe8c8; color: var(--green); }
.xp-rule-refuted   { background: #f0d4cb; color: #a33421; }
.xp-rule-applied   { background: var(--ink); color: var(--paper); margin-left: 0.3rem; }
.xp-ruletext { font-size: 0.76rem; }
.xp-sc-applied, .xp-sc-observed { margin-top: 0.4rem; font-size: 0.76rem; }
.xp-sc-applied b, .xp-sc-observed b { font-family: var(--mono); font-size: 0.64rem; letter-spacing: 0.05em; color: var(--amber); }

/* ---------- excerpt panel ---------- */
.xp-excerpt {
  flex: 0 0 auto;
  border-top: 1px dashed var(--rule);
  padding-top: 0.3rem;
}
.xp-ex-head {
  display: flex; align-items: baseline; gap: 0.6rem;
  font-family: var(--mono); font-size: 0.62rem; letter-spacing: 0.05em; color: var(--ink-3);
}
.xp-ex-toggle {
  margin-left: auto; cursor: pointer;
  font-family: var(--mono); font-size: 0.6rem;
  border: 1px solid var(--rule-2); border-radius: 999px; background: var(--paper);
  color: var(--ink-2); padding: 0.02rem 0.5rem;
}
.xp-ex-toggle:hover { color: var(--accent); border-color: var(--accent); }
.xp-ex-body {
  margin: 0.25rem 0 0; padding: 0.35rem 0.5rem;
  font-family: var(--mono); font-size: 0.66rem; line-height: 1.42;
  background: var(--paper-2); border: 1px solid var(--rule); border-radius: 6px;
  white-space: pre-wrap; word-break: break-word;
  max-height: 5.4rem; overflow: hidden;
}
.xp-excerpt.is-open .xp-ex-body { max-height: 40vh; overflow-y: auto; }
.xp-hypo { background: #ffe9a8; color: var(--ink); font-weight: 700; padding: 0 0.15rem; }

/* ---------- timeline strip ---------- */
.xp-timeline {
  flex: 0 0 auto;
  display: flex; gap: 3px; align-items: flex-end;
  overflow-x: auto; overflow-y: hidden;
  padding: 0.4rem 0.55rem 0.45rem;
  border-top: 1px solid var(--rule);
  scrollbar-width: thin;
}
.xp-chip {
  position: relative; flex: 0 0 auto;
  width: 24px; height: 34px;
  border-radius: 7px; cursor: pointer;
  border: 1px solid var(--rule-2);
  background: var(--paper-2); color: var(--ink-2);
  font-family: var(--mono); font-size: 0.58rem;
  padding: 0; display: flex; align-items: flex-end; justify-content: center;
}
.xp-chip .xp-chip-label { pointer-events: none; padding-bottom: 2px; }
.xp-chip:hover { border-color: var(--ink); color: var(--ink); }
.xp-chip.is-active {
  outline: 2px solid var(--accent); outline-offset: 1px;
  transform: translateY(-2px);
  color: var(--ink); font-weight: 700;
}
/* level-up: green with star ::before */
.xp-chip-lvl { background: #cfe8c8; border-color: #9cc492; color: var(--green); }
.xp-chip-lvl::before {
  content: "\2605";
  position: absolute; top: 1px; left: 0; right: 0;
  font-size: 0.5rem; line-height: 1; color: var(--green); text-align: center;
}
/* GAME_OVER: red */
.xp-chip-over { background: #f0c9bd; border-color: #d9a595; color: #a33421; font-weight: 700; }
/* sleep pass: amber chip inserted after its round */
.xp-chip-sleep { background: var(--amber-bg); border-color: #d9c07c; color: var(--amber); border-radius: 50% 50% 7px 7px; }
.xp-chip-sleep-apply { background: #f2d98c; font-weight: 700; }
/* key turns: starred */
.xp-chip-key::after {
  content: "\2605";
  position: absolute; top: -1px; right: 0px;
  font-size: 0.56rem; line-height: 1; color: var(--accent);
  text-shadow: 0 0 2px var(--paper);
}
.xp-chip-lvl.xp-chip-key::before { content: ""; }

/* ---------- loader ---------- */
.xp-load {
  position: fixed; inset: 0; z-index: 90;
  display: flex; align-items: center; justify-content: center; text-align: center;
  background: rgba(245,243,236,0.92);
  font-family: var(--mono); font-size: 0.8rem; color: var(--ink-2);
  padding: 2rem;
}
.xp-load-err { color: #a33421; }

/* ---------- small screens: allow vertical stacking (escape hatch) ---------- */
@media (max-width: 900px) {
  .xp-body { height: auto; overflow: auto; }
  .xp-cols { grid-template-columns: 1fr; }
  .xp-col { min-height: 70vh; }
}

/* ============================================================
   v2.1 additions (2026-07-03 refinements):
   scroll-spy nav, conclusion-first hero, real-data hero replay,
   AutoMem prior card, explorer summary cards, text-diet helpers.
   ============================================================ */

/* ---------- scroll-spy highlight ---------- */
.nav a.active { color: var(--ink); border-bottom-color: var(--accent); font-weight: 700; }

/* ---------- conclusion-first hero ---------- */
.verdict { max-width: 34ch; }
.verdict em { font-style: normal; color: var(--accent); }
.verdict-kor { font-size: 0.98rem; margin: -0.3rem 0 0.6rem; }
.herostory { max-width: 78ch; }

/* ---------- text-diet helpers ---------- */
.headline { font-size: 1.08rem; color: var(--ink-2); max-width: 72ch; margin: 0.35rem 0 0.5rem; }
.chips { display: flex; flex-wrap: wrap; gap: 0.35rem; margin: 0.25rem 0 1rem; align-items: center; }
.chips .chip a { color: inherit; }
.vglegend { margin-bottom: 0.4rem; }
.limline { font-size: 0.92rem; margin: 0.25rem 0 0.3rem; color: var(--ink-2); }
.cols2 details summary { cursor: pointer; font-family: var(--mono); font-size: 0.68rem; color: var(--ink-3); text-transform: uppercase; letter-spacing: 0.05em; }
.cols2 details[open] summary { color: var(--ink-2); }
kbd {
  font-family: var(--mono); font-size: 0.68rem; border: 1px solid var(--rule-2);
  border-bottom-width: 2px; border-radius: 3px; padding: 0 0.3rem; background: var(--paper-2);
}

/* citation chip */
.cite {
  font-family: var(--mono); font-size: 0.6rem; font-weight: 400; color: var(--ink-3);
  border: 1px solid var(--rule-2); border-radius: 3px; padding: 0.02rem 0.35rem;
  background: var(--paper-2); text-decoration: none; white-space: nowrap;
}
.cite:hover { color: var(--accent); border-color: var(--accent); }

/* collapsed "absorbed into ours" per prior card */
.absorbed-d { margin-top: 0.45rem; }
.absorbed-d summary {
  cursor: pointer; font-family: var(--mono); font-size: 0.62rem; font-weight: 700;
  color: var(--accent); text-transform: uppercase; letter-spacing: 0.04em;
}
.absorbed-d .absorbed { margin-top: 0.35rem; }

/* collapsed problem->fix per fix item */
.pfd { margin: 0.15rem 0 0.6rem; }
.pfd summary { cursor: pointer; font-family: var(--mono); font-size: 0.76rem; color: var(--ink-2); }
.pfd summary:hover { color: var(--ink); }
.pfd summary .prob { color: #7a1020; font-weight: 700; }
.pfd summary .sol { color: var(--green); font-weight: 700; }
.pfd[open] summary { margin-bottom: 0.3rem; }

/* ---------- hover-pause on every animated diagram ---------- */
.animfig svg:hover * { animation-play-state: paused !important; }
.replay:hover .rp-anim { animation-play-state: paused !important; }

/* ---------- hero replay (real v5f_s28 frames) ---------- */
.replay {
  margin: 1.6rem 0 1.2rem; border: 2px solid var(--ink); border-radius: 8px;
  background: #fbfaf5; padding: 0.9rem 1rem 0.6rem;
}
.rp-stage {
  position: relative; display: grid; gap: 1.1rem;
  grid-template-columns: minmax(220px, 320px) 1fr; align-items: start;
}
.rp-board {
  position: relative; aspect-ratio: 1 / 1; border: 2px solid var(--ink);
  background: #000; overflow: hidden;
}
.rp-board canvas {
  position: absolute; inset: 0; width: 100%; height: 100%;
  image-rendering: pixelated; opacity: 0;
}
.rp-f1 { animation: rpF1 16s linear infinite; }
.rp-f2 { animation: rpF2 16s linear infinite; }
.rp-f3 { animation: rpF3 16s linear infinite; }
.rp-f4 { animation: rpF4 16s linear infinite; }
.rp-f5 { animation: rpF5 16s linear infinite; }
@keyframes rpF1 { 0%{opacity:1} 9%{opacity:1} 11%,100%{opacity:0} }
@keyframes rpF2 { 0%,8%{opacity:0} 10%{opacity:1} 18%{opacity:1} 20%,100%{opacity:0} }
@keyframes rpF3 { 0%,17%{opacity:0} 19%{opacity:1} 27%{opacity:1} 29%,100%{opacity:0} }
@keyframes rpF4 { 0%,26%{opacity:0} 28%{opacity:1} 36%{opacity:1} 38%,100%{opacity:0} }
@keyframes rpF5 { 0%,35%{opacity:0} 37%{opacity:1} 99%{opacity:1} 100%{opacity:0} }
.rp-tag {
  position: absolute; left: 6px; bottom: 6px; z-index: 3; opacity: 0;
  font-family: var(--mono); font-size: 0.62rem; font-weight: 700; color: var(--ink);
  background: rgba(245,243,236,0.92); border: 1px solid var(--ink);
  border-radius: 3px; padding: 0.06rem 0.4rem;
}
.rp-t1 { animation: rpF1 16s linear infinite; }
.rp-t2 { animation: rpF2 16s linear infinite; }
.rp-t3 { animation: rpF3 16s linear infinite; }
.rp-t4 { animation: rpF4 16s linear infinite; }
.rp-t5 { animation: rpT5 16s linear infinite; color: #8a5a00; border-color: #c08400; background: #fdf3d7; }
@keyframes rpT5 { 0%,35%{opacity:0} 37%{opacity:1} 86%{opacity:1} 88%,100%{opacity:0} }
.rp-flash { position: absolute; inset: 0; z-index: 4; background: var(--c11); opacity: 0; animation: rpFlash 16s linear infinite; }
@keyframes rpFlash { 0%,86%{opacity:0} 88%{opacity:.6} 90%{opacity:.15} 92%{opacity:.5} 95%,100%{opacity:0} }
.rp-lvl {
  position: absolute; inset: 0; z-index: 5; display: flex; flex-direction: column;
  align-items: center; justify-content: center; gap: 0.2rem;
  font-family: var(--mono); font-weight: 700; font-size: 1.25rem; color: var(--accent);
  background: rgba(255,255,255,0.86); opacity: 0; animation: rpLvl 16s linear infinite;
  text-align: center;
}
.rp-lvl span { font-size: 0.6rem; font-weight: 400; color: var(--ink-3); letter-spacing: 0.04em; }
@keyframes rpLvl {
  0%,89% { opacity:0; transform: scale(.85); }
  92%    { opacity:1; transform: scale(1.06); }
  94%    { transform: scale(1); }
  98%    { opacity:1; }
  100%   { opacity:0; }
}
.rp-side {
  border: 1.5px solid #c08400; border-radius: 6px; background: var(--amber-bg);
  padding: 0.65rem 0.75rem; opacity: 0; animation: rpSide 16s linear infinite;
}
@keyframes rpSide { 0%,37%{opacity:0;transform:translateY(6px)} 41%{opacity:1;transform:none} 97%{opacity:1} 100%{opacity:0} }
.rp-shead { font-family: var(--mono); font-size: 0.72rem; font-weight: 700; color: var(--amber); margin-bottom: 0.45rem; }
.rp-hyp {
  border: 1.5px solid var(--ink); background: #f5f3ec; border-radius: 4px;
  padding: 0.35rem 0.5rem 0.35rem 1.5rem; font-family: var(--mono); font-size: 0.66rem;
  line-height: 1.45; color: var(--ink-2); margin: 0.35rem 0; position: relative; opacity: 0;
}
.rp-h1 { animation: rpH1 16s linear infinite; }
.rp-h2 { animation: rpH2 16s linear infinite; }
.rp-h3 { animation: rpH3 16s linear infinite; }
@keyframes rpH1 { 0%,43%{opacity:0;transform:translateX(14px)} 46%{opacity:1;transform:none} 97%{opacity:1} 100%{opacity:0} }
@keyframes rpH2 { 0%,48%{opacity:0;transform:translateX(14px)} 51%{opacity:1;transform:none} 97%{opacity:1} 100%{opacity:0} }
@keyframes rpH3 {
  0%,53% { opacity:0; transform:translateX(14px); border-color:#17150f; background:#f5f3ec; }
  56%    { opacity:1; transform:none; border-color:#17150f; background:#f5f3ec; }
  68%    { border-color:#17150f; background:#f5f3ec; }
  72%    { border-color:#1f6a1f; background:#dff3d8; }
  97%    { opacity:1; border-color:#1f6a1f; background:#dff3d8; }
  100%   { opacity:0; border-color:#1f6a1f; background:#dff3d8; }
}
.rp-x, .rp-c {
  position: absolute; left: 0.45rem; top: 0.3rem; font-weight: 700; opacity: 0;
}
.rp-x { color: #7a1020; }
.rp-c { color: var(--green); transform-origin: center; }
.rp-x1 { animation: rpX1 16s linear infinite; }
.rp-x2 { animation: rpX2 16s linear infinite; }
.rp-c  { animation: rpC 16s linear infinite; }
@keyframes rpX1 { 0%,59%{opacity:0} 62%{opacity:1} 97%{opacity:1} 100%{opacity:0} }
@keyframes rpX2 { 0%,63%{opacity:0} 66%{opacity:1} 97%{opacity:1} 100%{opacity:0} }
@keyframes rpC {
  0%,68% { opacity:0; transform:scale(.5); }
  71%    { opacity:1; transform:scale(1.3); }
  74%    { transform:scale(1); }
  97%    { opacity:1; }
  100%   { opacity:0; }
}
.rp-gate {
  display: flex; align-items: center; gap: 0.45rem; margin-top: 0.45rem;
  font-family: var(--mono); font-size: 0.64rem; color: var(--amber);
  border: 1.5px dashed #c08400; border-radius: 4px; background: #fffdf4;
  padding: 0.3rem 0.5rem; opacity: 0; animation: rpGate 16s linear infinite;
}
@keyframes rpGate {
  0%,56% { opacity:0; box-shadow:none; }
  59%    { opacity:1; }
  62%    { box-shadow: 0 0 0 2.5px rgba(192,132,0,0.45); }
  70%    { box-shadow: none; }
  97%    { opacity:1; }
  100%   { opacity:0; }
}
.rp-door { width: 13px; height: 20px; flex: none; }
.rp-fly {
  position: absolute; left: 52%; top: 70%; z-index: 6; pointer-events: none;
  font-family: var(--mono); font-size: 0.66rem; font-weight: 700; color: var(--green);
  background: #dff3d8; border: 1.5px solid var(--green); border-radius: 4px;
  padding: 0.28rem 0.55rem; opacity: 0; animation: rpFly 16s linear infinite;
  white-space: nowrap; max-width: 46%; overflow: hidden; text-overflow: ellipsis;
}
@keyframes rpFly {
  0%,76% { opacity:0; left:52%; top:70%; }
  78%    { opacity:1; left:52%; top:70%; }
  87%    { opacity:1; left:4%; top:38%; }
  90%,100% { opacity:0; left:4%; top:38%; }
}
.replay figcaption {
  font-family: var(--mono); font-size: 0.7rem; color: var(--ink-3);
  margin-top: 0.6rem; line-height: 1.55;
}
@media (max-width: 720px) {
  .rp-stage { grid-template-columns: 1fr; }
  .rp-fly { display: none; }
}
@media (prefers-reduced-motion: reduce) {
  .rp-anim { animation: none !important; }
  .rp-f5, .rp-t5, .rp-side, .rp-hyp, .rp-x, .rp-c, .rp-gate { opacity: 1 !important; transform: none !important; }
  .rp-h3 { border-color: var(--green) !important; background: #dff3d8 !important; }
}

/* ---------- prior-card grammar additions ---------- */
.ab-lose { opacity: 0; animation: abLose 8s linear infinite; }
@keyframes abLose { 0%,58%{opacity:0} 64%{opacity:1} 86%{opacity:1} 94%,100%{opacity:0} }
.ae-x { opacity: 0; animation: aeX 8s linear infinite; }
@keyframes aeX { 0%,58%{opacity:0} 64%{opacity:1} 90%{opacity:1} 96%,100%{opacity:0} }

/* ---------- (g) AutoMem ---------- */
.ag-w { opacity: 0; animation: agW 8s linear infinite; }
@keyframes agW { 0%,4%{opacity:0} 9%{opacity:1} 40%{opacity:1} 48%,100%{opacity:0} }
.ag-line { opacity: 0; transform-box: fill-box; transform-origin: left; animation: agLine 8s linear infinite; }
@keyframes agLine { 0%,12%{opacity:0;transform:scaleX(0)} 20%{opacity:1;transform:scaleX(1)} 92%{opacity:1;transform:scaleX(1)} 97%,100%{opacity:0} }
.ag-r { opacity: 0; animation: agR 8s linear infinite; }
@keyframes agR { 0%,28%{opacity:0} 34%{opacity:1} 60%{opacity:1} 66%,100%{opacity:0} }
.ag-agent { animation: agAgent 8s linear infinite; }
@keyframes agAgent { 0%,32%{fill:#f5f3ec} 38%{fill:#dff3d8} 46%,100%{fill:#f5f3ec} }
.ag-meta { animation: agMeta 8s linear infinite; }
@keyframes agMeta { 0%,52%{opacity:.28} 62%{opacity:1} 88%{opacity:1} 96%,100%{opacity:.28} }
.ag-rew { transform-box: fill-box; transform-origin: center; opacity: 0; animation: agRew 8s linear infinite; }
@keyframes agRew { 0%,58%{opacity:0;transform:scale(.5)} 64%{opacity:1;transform:scale(1.2)} 68%{transform:scale(1)} 86%{opacity:1} 92%,100%{opacity:0} }

/* ---------- explorer summary cards ---------- */
.runsums {
  display: grid; grid-template-columns: repeat(auto-fit, minmax(230px, 1fr));
  gap: 0.9rem; margin: 1.3rem 0;
}
.runsum {
  display: flex; flex-direction: column; gap: 0.45rem;
  border: 1.5px solid var(--rule); border-radius: 8px; background: #fbfaf5;
  padding: 0.85rem 0.9rem; text-decoration: none; color: var(--ink);
  transition: transform 0.12s ease, border-color 0.12s ease, box-shadow 0.12s ease;
}
.runsum:hover {
  border-color: var(--accent); transform: translateY(-2px);
  box-shadow: 0 3px 12px rgba(23, 21, 15, 0.1);
}
.runsum.win { border: 2px solid var(--accent); }
.rs-id { font-family: var(--mono); font-weight: 700; font-size: 0.88rem; }
.runsum.win .rs-id { color: var(--accent); }
.rs-head { font-size: 0.86rem; color: var(--ink-2); line-height: 1.45; }
.rs-chips { display: flex; flex-wrap: wrap; gap: 0.3rem; }
.rs-spark { min-height: 46px; display: block; }
.rs-open { font-family: var(--mono); font-size: 0.68rem; font-weight: 700; color: var(--accent); margin-top: auto; }
.runsum:hover .rs-open { text-decoration: underline; }