:root {
  --paper-deep: #f4f7f9;
  --forest: var(--green);
  --forest-bright: #4b879f;
  --forest-soft: #e7f0f5;
  --plum: #683c5b;
  --plum-soft: #eee1e9;
  --amber: #9b5d12;
  --amber-soft: #f7e8cf;
  --blue: #215f91;
  --blue-soft: #deebf5;
  --code: #202723;
  --white: #ffffff;
  --reader-offset: 108px;
  --reader-width: clamp(380px, 36vw, 560px);
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 0; }
body {
  margin: 0;
}
a { color: inherit; }
button, input { font: inherit; }
button { color: inherit; }
[hidden] { display: none !important; }
button, select, input, summary, a { -webkit-tap-highlight-color: transparent; }
:focus-visible { outline: 2px solid var(--forest-bright); outline-offset: 4px; }
.sr-only { position: absolute; width: 1px; height: 1px; margin: -1px; overflow: hidden; clip-path: inset(50%); white-space: nowrap; }
.skip-link { position: fixed; z-index: 120; left: 12px; top: -80px; padding: 12px; background: var(--paper); color: var(--forest); }
.skip-link:focus { top: 8px; }
.chapter-anchor { scroll-margin-top: calc(var(--reader-offset) + 12px); }
.reader-button { padding: 7px 10px; border: 1px solid var(--line); border-radius: 3px; background: var(--paper); color: var(--forest); cursor: pointer; font: 11px/1.4 var(--mono); }
.reader-button:hover { background: var(--forest-soft); border-color: var(--forest); }
.reader-button:disabled { opacity: .4; cursor: default; }
.reader-button[aria-pressed="true"] { border-color: var(--forest); background: var(--forest-soft); }
.chapter-bar { position: sticky; top: var(--topbar-height); z-index: 85; display: flex; align-items: center; gap: 10px; min-height: 49px; padding: 8px max(20px, calc((100vw - 1100px) / 2)); border-bottom: 1px solid var(--line); background: rgba(255, 255, 255, .98); }
.chapter-select-label { display: flex; align-items: center; gap: 12px; min-width: 0; flex: 1; }
.chapter-select-label > span { flex: 0 0 auto; color: var(--muted); font: 11px var(--mono); }
.chapter-select-label select { width: 100%; max-width: 530px; min-width: 0; padding: 6px 24px 6px 4px; border: 0; background: transparent; color: var(--ink); font: 13px var(--serif); }
.chapter-paper-jump { margin-top: 14px; padding: 5px 0; border: 0; color: var(--forest); background: transparent; cursor: pointer; font: 11px var(--mono); text-decoration: underline; text-underline-offset: 3px; }
.chapter-paper-jump:hover { color: var(--ink); }
.pdf-pane-heading { display: flex; flex-wrap: wrap; align-items: center; justify-content: space-between; gap: 12px; padding: 10px 12px; border: 1px solid var(--line); background: var(--paper-deep); }
.pdf-pane-heading > span { color: var(--forest); font: 11px var(--mono); }
.pdf-pane-actions { display: flex; flex-wrap: wrap; gap: 8px; }
.pdf-page-controls { display: flex; align-items: center; flex-wrap: wrap; gap: 8px; margin: 0; padding: 10px 12px; border-right: 1px solid var(--line); border-left: 1px solid var(--line); background: var(--paper); }
.pdf-page-controls label { display: flex; align-items: center; gap: 6px; font: 11px var(--mono); }
.pdf-page-controls input[type="number"] { width: 54px; padding: 5px 4px; border: 1px solid var(--line); border-radius: 3px; background: white; font: 11px var(--mono); }
.pdf-page-controls .follow-chapters { margin-left: auto; color: var(--muted); font-size: 11px; cursor: pointer; }
.follow-chapters input { accent-color: var(--forest); }
.pdf-frame-wrap.is-docked { position: fixed; z-index: 80; top: var(--reader-offset); right: 16px; bottom: 16px; display: flex; flex-direction: column; width: var(--reader-width); min-height: 220px; box-shadow: 0 5px 30px #18201c20; background: var(--paper); }
.pdf-frame-wrap.is-docked .pdf-pane-heading, .pdf-frame-wrap.is-docked .pdf-page-controls { flex: 0 0 auto; }
.pdf-frame-wrap.is-docked iframe { flex: 1 1 auto; min-height: 100px; height: auto; }

@media (min-width: 1101px) {
  body.report-open main { width: calc(100% - var(--reader-width) - 36px); max-width: 1200px; margin-left: 0; margin-right: 0; }
  body.report-open .hero h1 { white-space: normal; }
  body.report-open .distill-margin { max-width: 620px; }
  body.report-open .paper-reader-grid { grid-template-columns: minmax(0, 1fr); }
  body.report-open .report-map { display: grid; grid-template-columns: 1fr 1fr; gap: 0 22px; }
  body.report-open .orientation { grid-template-columns: 1fr; }
  body.report-open .method-code-grid { grid-template-columns: 1fr; }
  body.report-open .module-atlas { grid-template-columns: 1fr 1fr; }
  body.report-open .report-table-wrap, body.report-open .expert-matrix, body.report-open .knowledge-graph, body.report-open .trajectory-strip, body.report-open .context-parallel-figure, body.report-open .prefix-cache-figure, body.report-open .benchmark-ledger { margin-right: 0; margin-left: 0; }
}

@media (max-width: 1100px) {
  .pdf-frame-wrap.is-docked { top: auto; right: 12px; bottom: 12px; left: 12px; width: auto; height: min(72dvh, calc(100dvh - var(--reader-offset) - 12px)); }
}

@media (max-width: 600px) {
  .topbar-actions { gap: 10px; }
  #paperToggle { padding: 6px; font-size: 11px; }
  .chapter-bar { flex-wrap: wrap; gap: 6px; padding: 6px 12px; }
  .chapter-select-label { width: calc(100% - 72px); flex: 1 1 calc(100% - 72px); }
  .chapter-select-label select { font-size: 12px; }
  .chapter-select-label > span { display: none; }
  .chapter-bar .reader-button { padding: 6px 8px; }
  .pdf-pane-heading { padding: 8px; }
  .pdf-pane-heading > span { font-size: 11px; }
  .pdf-page-controls { gap: 6px; padding: 8px; }
  .pdf-page-controls .follow-chapters { flex: 1 0 100%; margin-left: 0; }
  .pdf-frame-wrap.is-docked { right: 6px; bottom: 6px; left: 6px; height: min(72dvh, calc(100dvh - var(--reader-offset) - 6px)); }
}

.reading-progress {
  position: fixed;
  z-index: 100;
  top: 0;
  left: 0;
  width: 100%;
  height: 3px;
  background: transparent;
}
.reading-progress span { display: block; width: 0; height: 100%; background: var(--forest-bright); }

.topbar {
  position: sticky;
  z-index: 90;
  top: 0;
}
.source-button {
  font: 13px var(--sans);
  text-decoration: none;
}
.source-button { justify-self: end; padding: 7px 0; text-underline-offset: 4px; }
.source-button:hover { text-decoration: underline; }
main { max-width: calc(var(--measure) + 48px); margin: 0 auto; padding: 0 24px; }
main > :is(.hero, section, .site-footer) { max-width: var(--measure); margin-right: auto; margin-left: auto; }
.hero { max-width: var(--measure); margin: 0 auto; padding: 48px 0 38px; }
.hero .article-meta { padding: 16px 0; margin: 20px 0 32px; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.hero-introduction { max-width: var(--measure); margin: 22px 0 0; font: 18px/1.7 var(--sans); color: var(--ink); }
.hero h1 {
  max-width: none;
  margin: 0;
  font: 600 34px/1.3 var(--heading);
  letter-spacing: -.027em;
  white-space: normal;
}
.article-toc { max-width: 700px; margin-top: 36px; border-bottom: 1px solid var(--line); }
.article-toc summary { width: fit-content; padding: 8px 0 12px; color: var(--muted); cursor: pointer; font: 11px var(--mono); text-transform: uppercase; }
.article-toc nav { display: grid; grid-template-columns: repeat(2, 1fr); gap: 0 24px; padding: 4px 0 18px; }
.article-toc a { padding: 7px 0; border-bottom: 1px solid #ebe8e1; color: #48524c; font: 13px var(--serif); text-decoration: none; }
.article-toc a:hover, .article-toc a.active { color: var(--forest); }

.essay-section { max-width: var(--measure); margin: 0 auto 56px; padding: 46px 0 0; border-top: 1px solid var(--line); }
.essay-heading { max-width: var(--measure); margin: 0 0 25px; text-align: left; }
.essay-heading h2 { margin: 0; font: 600 25px/1.3 var(--heading); letter-spacing: -.025em; }
.essay-copy { max-width: var(--measure); margin: 0; text-align: left; }
.essay-copy > p { margin: 0 0 20px; color: var(--ink); font: 17.5px/1.7 var(--sans); }
.essay-copy .essay-lead { color: var(--ink); font-size: 21px; line-height: 1.62; }
.paper-cite { color: var(--forest); font: 10.5px/1.5 var(--mono); text-underline-offset: 3px; }
.model-scale { display: grid; grid-template-columns: 1fr auto 1fr auto 1fr; gap: 18px; align-items: center; margin: 34px 0 38px; padding: 20px 0; border-top: 1px solid var(--ink); border-bottom: 1px solid var(--line); }
.model-scale div { text-align: center; }
.model-scale strong, .model-scale span { display: block; }
.model-scale strong { font: 500 34px var(--serif); }
.model-scale span { margin-top: 3px; color: var(--muted); font: 11px var(--mono); text-transform: uppercase; }
.model-scale i { color: #9ba29e; font-style: normal; }
.essay-aside { margin: 32px 0; padding: 24px 48px; border-top: 1px solid var(--forest); border-bottom: 1px solid var(--line); background: #f3f7f4; }
.essay-aside p { margin: 0; color: #414b44; font: 14px/1.65 var(--sans); }

.paper-reader { margin: 0 0 112px; padding: 56px 0 48px; border-top: 1px solid var(--ink); border-bottom: 1px solid var(--line); }
.paper-reader-heading { max-width: 760px; margin: 0 auto 38px; }
.paper-reader-heading h2 { margin: 0; font: 600 25px/1.3 var(--heading); letter-spacing: -.025em; }
.paper-reader-heading > p:last-child { margin: 20px 0 0; color: #465048; font: 16px/1.7 var(--serif); }
.paper-reader-grid { display: grid; grid-template-columns: minmax(0, 1fr); gap: 32px; align-items: start; max-width: 1120px; margin: 0 auto; }
.pdf-frame-wrap { min-width: 0; }
.pdf-frame-wrap iframe { display: block; width: 100%; height: 720px; border: 1px solid #cfcac1; background: var(--white); }
.pdf-frame-wrap > p { margin: 9px 0 0; color: var(--muted); font: 11px/1.5 var(--mono); }
.pdf-frame-wrap a { color: var(--forest); }
.report-map { border-top: 1px solid var(--ink); }
.report-map article { position: relative; padding: 15px 0 17px; border-bottom: 1px solid var(--line); }
.report-map h3 { margin: 5px 0 6px; font: 500 18px/1.2 var(--serif); }
.report-map p { margin: 0 0 9px; color: #536058; font: 11.5px/1.5 var(--sans); }
.report-map .paper-jump { padding: 0; border: 0; color: var(--forest); background: transparent; cursor: pointer; font: 11px var(--mono); text-decoration: underline; text-underline-offset: 3px; }
.report-map .paper-jump.active { color: var(--ink); font-weight: 500; }
.report-map article > a { float: right; margin-top: 4px; color: var(--forest); font: 11px var(--mono); text-underline-offset: 3px; }

.longform-section { max-width: var(--measure); margin: 0 auto 56px; padding: 46px 0 0; border-top: 1px solid var(--line); }
.longform-heading { max-width: var(--measure); margin: 0 0 28px; }
.longform-heading > p:first-child { margin: 0 0 13px; color: var(--forest); font: 11px var(--mono); letter-spacing: .07em; text-transform: uppercase; }
.longform-heading h2 { margin: 0; font: 600 25px/1.3 var(--heading); letter-spacing: -.03em; }
.longform-heading > p:last-child { margin: 22px 0 0; color: #39443d; font: 18px/1.66 var(--serif); }
.longform-body { max-width: var(--measure); margin: 0; }
.longform-body > h3 { margin: 48px 0 14px; font: 600 24px/1.2 var(--serif); letter-spacing: -.012em; }
.longform-body > h3:first-child { margin-top: 0; }
.longform-body > p { margin: 0 0 23px; color: var(--ink); font: 17.5px/1.7 var(--sans); }
.longform-body code { font-size: .78em; }
.reader-terms {
  margin: 0 0 38px;
  padding: 14px 0 5px;
  border-top: 1px solid var(--ink);
  border-bottom: 1px solid var(--line);
}
.reader-terms > p {
  margin: 0 0 10px;
  color: var(--forest);
  font: 500 9px var(--mono);
  letter-spacing: .06em;
  text-transform: uppercase;
}
.reader-terms dl {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 0 28px;
  margin: 0;
}
.reader-terms dl > div {
  display: grid;
  grid-template-columns: 92px minmax(0, 1fr);
  gap: 12px;
  padding: 10px 0;
  border-top: 1px solid #ebe8e1;
}
.reader-terms dl > div:last-child:nth-child(odd) { grid-column: 1 / -1; }
.reader-terms dt, .reader-terms dd { margin: 0; }
.reader-terms dt { color: var(--ink); font: 500 9.5px/1.5 var(--mono); }
.reader-terms dd { color: #536058; font: 12px/1.55 var(--sans); }
.reader-terms + h3 { margin-top: 36px; }
.implementation-note {
  margin: 4px 0 30px;
  padding: 10px 0 0;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}
.implementation-note summary {
  width: fit-content;
  padding: 0 0 10px;
  color: var(--forest);
  cursor: pointer;
  font: 500 9px var(--mono);
  text-transform: uppercase;
}
.implementation-note p {
  margin: 0;
  padding: 0 0 14px;
  color: #536058;
  font: 12px/1.65 var(--sans);
}
.caption-copy, figcaption { color: #5a645d !important; font: 11.5px/1.6 var(--sans) !important; }
.margin-note { margin: 34px 0; padding: 20px 0 20px 44px; border-left: 2px solid var(--forest); }
.margin-note strong { display: block; margin-bottom: 6px; color: var(--forest); font: 600 12px var(--sans); }
.margin-note p { margin: 0; color: #48534b; font: 13px/1.62 var(--sans); }
.report-table-wrap { margin: 34px 0 16px; overflow-x: auto; }
.report-table { width: 100%; border-collapse: collapse; font-size: 11.5px; text-align: left; }
.report-table caption { padding: 0 0 12px; color: var(--muted); font: 11px var(--mono); text-align: left; text-transform: uppercase; }
.report-table th { border-top: 1px solid var(--ink); color: var(--muted); font: 8.5px var(--mono); text-transform: uppercase; }
.report-table th, .report-table td { padding: 10px 12px; border-bottom: 1px solid var(--line); }
.report-table td:first-child { font-family: var(--serif); font-size: 13px; }
.report-table td:nth-child(n+2) { font-family: var(--mono); font-size: 9.5px; }

.training-flow { display: grid; grid-template-columns: 1fr 1fr auto 1.25fr auto 1.1fr; gap: 9px; align-items: stretch; margin: 36px 0 30px; }
.training-flow > div { display: grid; align-content: center; min-height: 92px; padding: 13px; border-top: 1px solid var(--ink); border-bottom: 1px solid var(--line); }
.training-flow span, .training-flow b { display: block; }
.training-flow span { color: var(--muted); font: 11px var(--mono); text-transform: uppercase; }
.training-flow b { margin-top: 7px; font: 500 11px/1.45 var(--sans); }
.training-flow > i { align-self: center; color: var(--forest); font-style: normal; }
.training-flow-main { background: var(--forest-soft); }
.training-flow figcaption { grid-column: 1 / -1; margin-top: 4px; }
.evidence-balance { display: grid; grid-template-columns: 1fr 1fr; margin: 40px 0 0; border-top: 1px solid var(--ink); }
.evidence-balance > div { padding: 18px 20px 0; }
.evidence-balance > div + div { border-left: 1px solid var(--line); }
.evidence-balance span { color: var(--forest); font: 11px var(--mono); text-transform: uppercase; }
.evidence-balance p { margin: 9px 0 0; color: #4c564f; font: 12.5px/1.6 var(--sans); }

.expert-matrix { display: grid; grid-template-columns: 1.1fr repeat(3, 1fr); margin: 34px 0; border-top: 1px solid var(--ink); border-left: 1px solid var(--line); }
.expert-matrix > div { min-height: 64px; padding: 12px; border-right: 1px solid var(--line); border-bottom: 1px solid var(--line); color: #505b53; font: 11px/1.45 var(--sans); }
.expert-matrix .expert-head { min-height: auto; color: var(--forest); font: 11px var(--mono); text-transform: uppercase; }
.expert-matrix .expert-domain { color: var(--ink); font: 500 13px var(--serif); }
.expert-matrix .expert-corner { min-height: auto; }
.rollout-sequence { margin: 30px 0 34px; padding: 0; list-style: none; border-top: 1px solid var(--line); }
.rollout-sequence li { display: grid; grid-template-columns: 30px 1fr; gap: 13px; padding: 13px 0; border-bottom: 1px solid var(--line); }
.rollout-sequence li > span { color: var(--forest); font: 11px var(--mono); }
.rollout-sequence p { margin: 0; color: #455048; font: 12.5px/1.6 var(--sans); }

.knowledge-graph { margin: 38px 0 30px; }
.kg-root, .kg-output { width: 52%; margin: 0 auto; padding: 13px 16px; border-top: 1px solid var(--ink); border-bottom: 1px solid var(--line); text-align: center; }
.knowledge-graph span { display: block; color: var(--muted); font: 11px var(--mono); text-transform: uppercase; }
.knowledge-graph b { display: block; margin-top: 5px; font: 500 12px var(--sans); }
.kg-branches { display: grid; grid-template-columns: repeat(3, 1fr); gap: 12px; margin: 26px 0; }
.kg-branches > div { padding: 15px; border-top: 1px solid var(--forest); border-bottom: 1px solid var(--line); }
.kg-branches b { color: #4d5850; font-weight: 400; }
.kg-output { background: var(--forest-soft); }
.knowledge-graph figcaption { margin-top: 16px; }
.trajectory-strip { display: grid; grid-template-columns: repeat(7, auto); gap: 8px; align-items: center; margin: 32px 0; }
.trajectory-strip div { min-width: 118px; padding: 12px 10px; border-top: 1px solid var(--ink); border-bottom: 1px solid var(--line); }
.trajectory-strip span, .trajectory-strip b, .trajectory-strip small { display: block; }
.trajectory-strip span { color: var(--forest); font: 11px var(--mono); }
.trajectory-strip b { margin-top: 6px; font: 500 12px var(--serif); }
.trajectory-strip small { margin-top: 3px; color: var(--muted); font-size: 11px; }
.trajectory-strip > i { color: #9aa29c; font-style: normal; }

.context-parallel-figure { margin: 34px 0; }
.cp-segments, .cp-local, .cp-results { display: grid; grid-template-columns: repeat(4, 1fr); gap: 5px; }
.cp-segments span, .cp-results span { padding: 8px; color: var(--muted); font: 12px/1.5 var(--mono); text-align: center; }
.cp-local b { padding: 13px 7px; border: 1px solid var(--line); font: 500 12px/1.5 var(--sans); text-align: center; }
.cp-scan { margin: 10px 0; padding: 10px; color: white; background: var(--forest); font: 11px var(--mono); text-align: center; }
.buffer-comparison { display: grid; grid-template-columns: 1fr 1fr; margin: 34px 0; border-top: 1px solid var(--ink); }
.buffer-comparison div { padding: 18px; border-bottom: 1px solid var(--line); }
.buffer-comparison div + div { border-left: 1px solid var(--line); background: var(--forest-soft); }
.buffer-comparison span, .buffer-comparison strong { display: block; }
.buffer-comparison span { color: var(--muted); font: 11px var(--mono); text-transform: uppercase; }
.buffer-comparison strong { margin-top: 8px; font: 500 28px var(--serif); }
.buffer-comparison p { margin: 7px 0 0; color: #566159; font-size: 11px; }
.system-numbers { display: grid; grid-template-columns: repeat(5, 1fr); margin: 36px 0; border-top: 1px solid var(--ink); border-bottom: 1px solid var(--line); }
.system-numbers div { padding: 17px 12px; text-align: center; }
.system-numbers div + div { border-left: 1px solid var(--line); }
.system-numbers strong, .system-numbers span { display: block; }
.system-numbers strong { font: 500 24px var(--serif); }
.system-numbers span { margin-top: 5px; color: var(--muted); font: 11px/1.45 var(--mono); }
.prefix-cache-figure { margin: 38px 0 30px; }
.physical-block-label { padding: 9px; border: 1px solid var(--ink); border-bottom: 0; color: var(--muted); font: 11px var(--mono); text-align: center; text-transform: uppercase; }
.hash-blocks { display: grid; grid-template-columns: repeat(12, 1fr); }
.hash-blocks span { min-width: 0; padding: 18px 2px; border: 1px solid var(--line); color: var(--muted); font: 11px var(--mono); text-align: center; writing-mode: vertical-rl; }
.hash-blocks .hit { color: var(--forest); background: #e4efe9; }
.hash-blocks .checkpoint { color: white; background: var(--forest); }
.prefix-result { display: flex; justify-content: space-between; gap: 20px; padding: 11px 0; border-bottom: 1px solid var(--line); font-size: 11px; }
.prefix-result span { color: var(--muted); }
.prefix-cache-figure figcaption { margin-top: 12px; }

.score-lines { margin: 32px 0; border-top: 1px solid var(--ink); }
.score-lines > div { display: grid; grid-template-columns: 145px 1fr 150px; gap: 13px; align-items: center; padding: 10px 0; border-bottom: 1px solid var(--line); }
.score-lines span { font: 500 12px var(--serif); }
.score-lines b { position: relative; z-index: 0; padding: 7px 9px; font: 11px var(--mono); }
.score-lines b::before { position: absolute; z-index: -1; top: 0; bottom: 0; left: 0; width: var(--score); background: var(--forest-soft); content: ""; }
.score-lines small { color: var(--muted); font: 11px var(--mono); text-align: right; }
.benchmark-ledger { margin: 34px 0; border-top: 1px solid var(--ink); }
.benchmark-ledger > div { display: grid; grid-template-columns: 1.35fr .5fr 1fr .55fr; gap: 14px; padding: 10px 8px; border-bottom: 1px solid var(--line); font-size: 11px; }
.benchmark-ledger .ledger-head { color: var(--muted); font: 11px var(--mono); text-transform: uppercase; }
.benchmark-ledger b { color: var(--forest); font-family: var(--mono); }
.benchmark-ledger em { color: var(--muted); font-style: normal; }
.tool-gain-figure { margin: 36px 0 30px; border-top: 1px solid var(--ink); }
.tool-gain-figure > div { display: grid; grid-template-columns: 1fr 60px 22px 60px 55px; gap: 8px; align-items: baseline; padding: 11px; border-bottom: 1px solid var(--line); }
.tool-gain-figure span { font: 500 13px var(--serif); }
.tool-gain-figure b, .tool-gain-figure strong, .tool-gain-figure small { font: 11px var(--mono); }
.tool-gain-figure strong, .tool-gain-figure small { color: var(--forest); }
.tool-gain-figure i { color: var(--muted); font-style: normal; }
.tool-gain-figure figcaption { margin-top: 12px; }
.preference-bar { display: flex; min-height: 48px; margin: 34px 0; overflow: hidden; color: white; font: 11px/1.4 var(--mono); }
.preference-bar span { display: grid; place-items: center; padding: 8px; text-align: center; }
.pref-win { background: var(--forest); }.pref-tie { color: var(--ink); background: #d9d6cf; }.pref-loss { background: var(--plum); }
.third-party-ranks { display: grid; grid-template-columns: repeat(5, 1fr); margin: 36px 0; border-top: 1px solid var(--ink); border-bottom: 1px solid var(--line); }
.third-party-ranks div { padding: 16px 10px; text-align: center; }
.third-party-ranks div + div { border-left: 1px solid var(--line); }
.third-party-ranks strong, .third-party-ranks span { display: inline; font-family: var(--serif); }
.third-party-ranks strong { font-size: 25px; }.third-party-ranks span { color: var(--muted); font-size: 11px; }
.third-party-ranks p { margin: 6px 0 0; color: var(--muted); font: 11px var(--mono); }
.reader-verdict { margin: 52px 0 0; padding: 34px 24px; border-top: 2px solid var(--forest); border-bottom: 1px solid var(--line); background: #f1f6f3; }
.reader-verdict h3 { margin: 0 0 16px; font: 600 24px var(--serif); }
.reader-verdict p { margin: 0 0 15px; color: #39453d; font: 15px/1.7 var(--serif); }
.reader-verdict p:last-child { margin-bottom: 0; }

.case-metrics { display: grid; grid-template-columns: repeat(2, 1fr); margin: 34px 0; border-top: 1px solid var(--ink); }
.case-metrics div { display: flex; align-items: baseline; gap: 9px; padding: 14px 10px; border-bottom: 1px solid var(--line); }
.case-metrics div:nth-child(odd) { border-right: 1px solid var(--line); }
.case-metrics span { margin-right: auto; color: var(--muted); font: 11px var(--mono); }
.case-metrics b { color: var(--muted); font: 400 12px var(--mono); text-decoration: line-through; }
.case-metrics i { color: var(--muted); font-style: normal; }.case-metrics strong { color: var(--forest); font: 500 18px var(--serif); }

.chapter-anchor { scroll-margin-top: calc(var(--reader-offset) + 12px); }
.orientation {
  display: grid;
  grid-template-columns: .72fr 1.28fr;
  gap: 54px;
  margin: 0;
  padding: 54px 0;
  border-top: 1px solid var(--ink);
}
.orientation h2, .section-heading h2 {
  margin: 0;
  font: 600 25px/1.3 var(--heading);
  letter-spacing: -.025em;
}
.orientation-copy > p { margin: 0 0 24px; font: 400 18px/1.65 var(--serif); }
.status-explainer { display: grid; gap: 9px; margin: 35px 0; }
.status-explainer div { display: grid; grid-template-columns: 82px 1fr; gap: 16px; align-items: start; padding: 13px 0; border-top: 1px solid var(--line); }
.status-explainer p { margin: 0; color: #4c554e; font-size: 13px; line-height: 1.55; }
.status {
  display: inline-block;
  width: fit-content;
  padding: 4px 7px;
  border-radius: 2px;
  font: 500 8px var(--mono);
  letter-spacing: .06em;
  text-transform: uppercase;
}
.status.defined { color: var(--plum); background: var(--plum-soft); }
.status.proved { color: var(--forest); background: var(--forest-soft); }
.status.boundary { color: var(--amber); background: var(--amber-soft); }
.plain-warning { padding: 19px 21px; border-left: 3px solid var(--amber); background: rgba(255, 250, 239, .75); }

.formal-method {
  margin: 0 0 104px;
  padding: 54px 0 46px;
  border-top: 1px solid var(--ink);
  border-bottom: 1px solid var(--ink);
}
.formal-method .section-heading { padding-top: 0; border-top: 0; }
.method-code-grid { display: grid; grid-template-columns: minmax(0, 1fr); gap: 28px; }
.method-code-grid > article { min-width: 0; padding: 8px 0 8px 20px; border-left: 1px solid var(--line); }
.method-code-grid h3, .method-theorem h3 { margin: 0 0 10px; font: 600 20px/1.2 var(--serif); }
.method-code-grid p, .method-theorem p { margin: 16px 0 0; color: var(--ink); font-size: 17.5px; line-height: 1.7; }
.method-code-grid .lean-code { margin-bottom: 0; }
.method-theorem { margin-top: 24px; padding: 8px 0 8px 20px; border-left: 3px solid var(--forest); }
.method-theorem .lean-code { max-width: 760px; }

.spread {
  display: grid;
  grid-template-columns: minmax(0, 1.2fr) minmax(380px, .8fr);
  min-width: 0;
  margin: 0 0 90px;
  border-top: 1px solid var(--ink);
  background: transparent;
  transition: opacity .25s ease, filter .25s ease;
}
.paper-side { min-width: 0; padding: 42px 40px 48px 48px; }
.lean-side {
  position: sticky;
  top: 52px;
  align-self: start;
  min-width: 0;
  padding: 40px 32px 38px;
  border-left: 1px solid var(--line);
  background: rgba(246, 245, 241, .72);
}
.spread-header { margin-bottom: 26px; }
.spread-header p { display: flex; align-items: center; gap: 10px; margin: 0 0 14px; color: var(--muted); font: 11px var(--mono); }
.spread-header p span { display: grid; place-items: center; width: 26px; height: 26px; border: 1px solid var(--forest); border-radius: 50%; color: var(--forest); }
.spread-header h2 { max-width: 720px; margin: 0; font: 500 clamp(32px, 3.25vw, 42px)/1.04 var(--serif); letter-spacing: -.025em; }
.paper-side > p { max-width: var(--measure); margin: 0 0 20px; color: var(--ink); font: 400 17.5px/1.7 var(--sans); }
.paper-side > p:first-of-type { font-size: 17.5px; line-height: 1.7; }
.minor-heading { margin: 32px 0 8px; font: 600 15px var(--sans); }
.control-copy { font: 14px/1.55 var(--sans) !important; }
.lean-side h3 { margin: 0 0 14px; font: 600 22px/1.12 var(--serif); letter-spacing: -.015em; }
.lean-side > p { margin: 0 0 16px; color: #465049; font-size: 12.5px; line-height: 1.62; }
code { padding: .1em .28em; border-radius: 2px; background: #f3f5f6; font: .82em var(--mono); }
.lean-code { max-width: 100%; margin: 18px 0; padding: 18px; overflow-x: auto; border: 1px solid var(--line); color: var(--ink); background: var(--soft); tab-size: 2; }
.lean-code code { padding: 0; color: inherit; background: transparent; font: inherit; }
.lean-code .kw { color: #8b4371; }
.lean-code .thm { color: #286493; }
.source-link { display: inline-block; margin-top: 8px; color: var(--forest); font: 500 10px var(--mono); text-underline-offset: 4px; }
.paper-note, .assumption-box { margin: 24px 0 0; padding: 15px 17px; border: 1px solid var(--line); background: rgba(255, 255, 255, .7); color: #465048; font-size: 12.5px; line-height: 1.6; }
.assumption-box { border-color: #d4b887; background: var(--amber-soft); }
.assumption-box strong { color: #71420d; }
.assumption-box p { margin: 5px 0 0; }
.proof-reading { margin: 16px 0; border-top: 1px solid var(--line); }
.proof-reading p { margin: 0; padding: 10px 0; border-bottom: 1px solid var(--line); color: #4b534d; font-size: 11px; line-height: 1.55; }

.architecture-map { margin: 32px 0 26px; }
.architecture-map svg { display: block; width: 100%; height: auto; overflow: visible; }
.architecture-map .map-kicker { fill: var(--muted); font: 16px var(--sans); }
.architecture-map .map-label { fill: var(--ink); font: 600 22px var(--serif); }
.architecture-map .map-copy { fill: var(--muted); font: 18px var(--sans); }
.architecture-map .token-trace circle { fill: white; stroke: var(--forest); stroke-width: 3; }
.architecture-map .token-trace circle:nth-child(2) { fill: #dceaf3; }
.architecture-map .token-trace circle:nth-child(3) { fill: #93b6cf; }
.architecture-map .token-trace circle:nth-child(4) { fill: var(--forest); }
.architecture-map .token-trace path { fill: none; stroke: var(--forest); stroke-width: 3; }
.architecture-map .layer-tower > rect { fill: white; stroke: var(--line); }
.architecture-map .layer-lines path { stroke: var(--line); stroke-width: 5; stroke-linecap: round; }
.architecture-map .layer-tower circle { fill: #774965; }
.architecture-map .depth-trace path { fill: none; stroke: #774965; stroke-width: 3; }
.architecture-map .depth-trace path:nth-child(2) { opacity: .45; }
.architecture-map .experts circle { fill: #e1edf5; stroke: #3379a2; stroke-width: 2; }
.architecture-map .experts circle:nth-child(2n) { fill: #3379a2; }
.architecture-map .expert-cloud > path { fill: none; stroke: var(--forest); stroke-width: 3; }
.architecture-map figcaption { max-width: 700px; margin: -5px auto 0; padding: 14px 0 0; border-top: 1px solid var(--line); color: var(--muted); font: 13px/1.65 var(--sans); }
.architecture-map figcaption span { color: var(--ink); font-weight: 700; }
.reading-note { display: grid; grid-template-columns: 110px 1fr; gap: 20px; margin: 28px 0; padding: 18px 0; border-top: 1px solid var(--ink); border-bottom: 1px solid var(--line); }
.reading-note > span { color: var(--forest); font: 500 9px/1.5 var(--mono); letter-spacing: .05em; text-transform: uppercase; }
.reading-note p { margin: 0; color: #3f4942; font: 15.5px/1.62 var(--serif); }

.number-grid { display: grid; grid-template-columns: repeat(3, 1fr); margin: 28px 0; border-top: 1px solid var(--line); border-left: 1px solid var(--line); }
.number-grid div { padding: 13px; border-right: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.number-grid strong { display: block; font: 500 22px var(--serif); }
.number-grid span { color: var(--muted); font-size: 11px; }
.layer-schedule { display: grid; grid-template-columns: repeat(24, 1fr); gap: 3px; margin: 18px 0 12px; }
.layer-cell { aspect-ratio: 1; border: 0; border-radius: 1px; cursor: pointer; transition: transform .15s ease; }
.layer-cell:hover, .layer-cell.active { z-index: 2; outline: 2px solid var(--ink); transform: scale(1.45); }
.layer-cell.kda { background: #73a691; }
.layer-cell.mla { background: var(--plum); }
.schedule-legend { display: flex; align-items: center; gap: 16px; color: var(--muted); font-size: 11px; }
.schedule-legend span { display: flex; align-items: center; gap: 5px; }
.schedule-legend i { width: 8px; height: 8px; border-radius: 50%; }
.kda-dot { background: #73a691; }.mla-dot { background: var(--plum); }
.schedule-legend output { margin-left: auto; color: var(--ink); font: 11px var(--mono); }

.equation-block { position: relative; margin: 30px 0; padding: 29px 20px 25px; border: 0; border-top: 1px solid var(--ink); border-bottom: 1px solid var(--line); background: transparent; font: 500 clamp(17px, 1.65vw, 22px)/1.65 var(--serif); text-align: center; overflow-x: auto; }
.equation-block div + div { margin-top: 14px; }
.equation-number { position: absolute; top: 12px; right: 15px; color: var(--forest); font: 500 9px var(--mono); }
.compact-equation { padding-top: 34px; font-size: 18px; }
.equation-block .katex-display { margin: .2em 0; }
.equation-block .katex { font-size: 1em; }
.typeset-stack .katex-display { margin: 0; text-align: left; }
[data-latex]:not(.katex-rendered) { font-family: var(--serif); }
.reading-steps { margin: 8px 0 32px; padding: 0; list-style: none; border-top: 1px solid var(--line); }
.reading-steps li { display: grid; grid-template-columns: 36px 1fr; gap: 12px; padding: 14px 0; border-bottom: 1px solid var(--line); }
.reading-steps li > span { padding-top: 4px; color: var(--forest); font: 500 9px var(--mono); }
.reading-steps p { margin: 0; color: #475149; font: 13.5px/1.62 var(--sans); }
.reading-steps strong { color: var(--ink); }
.reading-steps .katex { font-size: 1em; }
.compact-steps { margin-top: -14px; }
.figure-instruction { margin-top: -10px !important; padding-left: 15px; border-left: 2px solid var(--forest); color: #536058 !important; font: 13px/1.6 var(--sans) !important; }
[data-symbol] { border-radius: 2px; transition: background .15s ease, color .15s ease; }
[data-symbol].symbol-active { color: #6f3905; background: #f6d49b; outline: 3px solid #f6d49b; }
.equation-stack { display: grid; margin: 30px 0; border-top: 1px solid var(--line); }
.equation-stack div { display: grid; grid-template-columns: 36px 1fr; gap: 12px; padding: 15px 0; border-bottom: 1px solid var(--line); }
.equation-stack span { color: var(--muted); font: 11px var(--mono); }
.equation-stack p { margin: 0; font: 18px/1.5 var(--serif); }

.interactive-card { position: relative; margin: 28px 0 32px; padding: 20px 0; border: 0; border-top: 1px solid var(--ink); border-bottom: 1px solid #cbd2cd; border-radius: 0; background: transparent; box-shadow: none; }
.interactive-heading { display: flex; align-items: baseline; justify-content: space-between; gap: 15px; margin-bottom: 18px; }
.interactive-heading strong { font: 600 15px var(--serif); }.interactive-heading span { color: var(--muted); font: 8.5px var(--mono); }
.kda-controls { display: grid; grid-template-columns: 1fr 1fr; gap: 18px; }
.kda-controls label, .wide-control { display: grid; grid-template-columns: auto 1fr 46px; align-items: center; gap: 10px; color: var(--muted); font-size: 11px; }
input[type="range"] { width: 100%; accent-color: var(--forest); }
output { color: var(--ink); font: 11px var(--mono); text-align: right; }
.matrix-flow { display: flex; align-items: center; justify-content: space-between; gap: 10px; margin-top: 24px; }
.matrix-flow > div > span { display: block; margin-bottom: 7px; color: var(--muted); font: 11px var(--mono); text-align: center; }
.matrix-flow > b { color: #9aa39d; }
.matrix { display: grid; grid-template-columns: repeat(2, 42px); gap: 3px; padding: 5px; border-left: 2px solid var(--ink); border-right: 2px solid var(--ink); }
.matrix i { padding: 6px 2px; background: #e8eee9; font: normal 9px var(--mono); text-align: center; }
.accent-matrix i { color: white; background: var(--forest); }
.calculation-note { margin: 17px 0 0; color: #566159; font: 11px/1.55 var(--mono); }
.decay-readout, .cache-readout, .reward-readout, .mx-readout, .acceptance-readout { display: grid; grid-template-columns: repeat(3, 1fr); gap: 1px; margin: 20px 0; background: var(--line); }
.decay-readout div, .cache-readout div, .reward-readout div, .mx-readout div, .acceptance-readout div { padding: 12px; background: var(--white); }
.decay-readout small, .cache-readout small, .reward-readout small, .mx-readout small, .acceptance-readout small { display: block; color: var(--muted); font-size: 11px; }
.decay-readout strong, .cache-readout strong, .reward-readout strong, .mx-readout strong, .acceptance-readout strong { display: block; margin-top: 4px; font: 500 16px var(--serif); }
.cache-readout span { color: var(--muted); font-size: 11px; }
canvas { display: block; width: 100%; height: auto; border-radius: 2px; background: #fff; }
.chart-note { margin: 14px 0 0; color: var(--muted); font: 13px/1.6 var(--sans); }

.proof-ladder { display: grid; gap: 7px; margin: 20px 0; }
.proof-ladder div { display: flex; justify-content: space-between; gap: 10px; padding: 10px; border: 1px solid var(--line); background: var(--white); font-size: 11px; }
.proof-ladder i { color: var(--muted); font: normal 8px var(--mono); text-align: center; }
.proof-ladder .boundary-rung { border-color: #d5ba8d; background: var(--amber-soft); }
.cache-diagram { display: grid; grid-template-columns: 1fr auto 1fr; gap: 12px; align-items: center; margin: 32px 0; }
.cache-column { position: relative; min-height: 180px; padding: 22px; border: 0; background: var(--white); box-shadow: 0 10px 30px rgba(25,35,29,.07); }
.cache-column::after { position: absolute; right: 14px; bottom: 14px; left: 14px; height: 52px; border: 1px solid #d6ded9; background: repeating-linear-gradient(90deg, rgba(20,121,90,.12) 0 5px, transparent 5px 9px); content: ""; }
.latent-cache::after { background: repeating-linear-gradient(90deg, rgba(119,73,101,.24) 0 14px, transparent 14px 21px); }
.cache-column strong, .cache-column span, .cache-column b { display: block; }
.cache-column strong { margin-bottom: 30px; font: 600 16px var(--serif); }
.cache-column span { color: var(--muted); font-size: 11px; line-height: 1.45; }
.cache-column b { margin-top: 11px; color: var(--forest); font-size: 12px; }
.latent-cache { outline: 2px solid var(--forest); }.compression-arrow { color: var(--forest); font: 500 18px var(--serif); }
.depth-blocks { display: flex; align-items: end; gap: 7px; min-height: 100px; margin: 22px 0 10px; }
.depth-block { position: relative; flex: 1; min-width: 28px; border: 1px solid #b9c1bb; background: #dce8e1; }
.depth-block.embedding { max-width: 48px; background: var(--plum-soft); border-color: #a88da0; }
.depth-block.partial { background: repeating-linear-gradient(135deg, #f6e6c9, #f6e6c9 5px, #efdbb8 5px, #efdbb8 10px); border-color: #c69b59; }
.depth-block span { position: absolute; bottom: -19px; left: 50%; color: var(--muted); font: 11px var(--mono); transform: translateX(-50%); white-space: nowrap; }

.moe-flow { display: grid; justify-items: center; margin: 35px 0; }
.flow-node { width: 180px; padding: 12px; border: 1px solid var(--line); border-radius: 3px; background: var(--white); text-align: center; }
.flow-node small, .flow-node strong { display: block; }.flow-node small { color: var(--muted); font: 11px var(--mono); }.flow-node strong { margin-top: 4px; font: 600 16px var(--serif); }
.split-lines { display: grid; grid-template-columns: 1fr 1fr; width: 70%; padding: 22px 0 8px; border-top: 1px solid var(--line); color: var(--muted); font: 11px var(--mono); text-align: center; }
.parallel-paths { display: grid; grid-template-columns: 1fr 1.7fr; gap: 10px; width: 100%; }
.parallel-paths div { padding: 15px; border: 1px solid var(--line); background: var(--white); text-align: center; }
.parallel-paths b, .parallel-paths small { display: block; }.parallel-paths b { font-size: 11px; }.parallel-paths small { margin-top: 5px; color: var(--muted); font-size: 11px; }
.output-node { margin-top: 28px; border-color: var(--forest); }

.chart-legend { display: flex; gap: 17px; align-items: center; margin-top: 11px; font-size: 11px; }
.chart-legend span::before { display: inline-block; width: 14px; height: 2px; margin-right: 5px; vertical-align: middle; content: ""; }
.situ-legend::before { background: var(--forest); }.swiglu-legend::before { background: var(--plum); }.chart-legend output { margin-left: auto; }
.router-controls { display: grid; grid-template-columns: repeat(4, 1fr); gap: 8px; }
.router-controls label { display: grid; gap: 4px; color: var(--muted); font-size: 11px; }.router-controls output { text-align: left; }
.router-bars { display: grid; gap: 8px; margin-top: 20px; }
.router-row { display: grid; grid-template-columns: 28px 1fr 50px 50px; gap: 7px; align-items: center; font: 11px var(--mono); }
.router-track { position: relative; height: 18px; background: #e5e8e4; }
.router-raw, .router-adjusted { position: absolute; left: 0; height: 8px; }.router-raw { top: 1px; background: #849d91; }.router-adjusted { bottom: 1px; background: var(--plum); }
.router-row.selected { color: var(--forest); font-weight: 700; }.router-row.selected .router-track { outline: 2px solid var(--forest); }

.mode-switch { display: inline-flex; margin: 10px 0 20px; border: 1px solid var(--line); border-radius: 999px; padding: 3px; }
.vision-mode { padding: 6px 14px; border: 0; border-radius: 999px; background: transparent; cursor: pointer; font-size: 11px; }
.vision-mode.active { color: white; background: var(--forest); }
.vision-flow { display: grid; grid-template-columns: repeat(6, 1fr); gap: 6px; align-items: stretch; }
.vision-stage { position: relative; display: grid; place-items: center; min-height: 105px; padding: 10px; border: 1px solid var(--line); background: var(--white); text-align: center; }
.vision-stage::after { position: absolute; right: -8px; z-index: 2; top: 45%; content: "→"; color: var(--muted); }
.vision-stage:last-child::after { display: none; }.vision-stage b { display: block; font: 600 10px var(--sans); }.vision-stage small { display: block; margin-top: 5px; color: var(--muted); font: 11px var(--mono); }
.composition-steps { margin: 30px 0; padding: 0; list-style: none; border-top: 1px solid var(--line); }
.composition-steps li { display: grid; grid-template-columns: 34px 1fr; gap: 12px; align-items: center; padding: 13px 0; border-bottom: 1px solid var(--line); }
.composition-steps li > span { display: grid; place-items: center; width: 26px; height: 26px; border-radius: 50%; color: white; background: var(--forest); font: 11px var(--mono); }
.composition-steps p { margin: 0; font-size: 12px; }
.muon-matrix { display: grid; grid-template-columns: repeat(12, 1fr); gap: 2px; }
.muon-cell { aspect-ratio: 1; border-radius: 1px; transition: opacity .15s ease, transform .15s ease; }
.muon-matrix[data-hover] .muon-cell:not(.hovered) { opacity: .2; }.muon-cell.hovered { transform: scale(1.05); }

.context-timeline { display: grid; grid-template-columns: repeat(4, 1fr); margin: 38px 0; }
.context-timeline div { position: relative; min-height: 90px; padding: 10px 13px; border-top: 3px solid var(--forest); border-left: 1px solid var(--line); }
.context-timeline div:last-child { border-right: 1px solid var(--line); }.context-timeline span { display: block; color: var(--muted); font-size: 11px; }.context-timeline strong { display: block; margin-top: 14px; font: 500 24px var(--serif); }.context-timeline i { position: absolute; z-index: 2; top: -8px; right: -5px; width: 11px; height: 11px; border-radius: 50%; background: var(--forest); }
.mask-demo { margin: 26px 0; padding: 17px; border: 1px solid var(--line); background: var(--white); }.mask-demo p { margin: 0 0 13px; font-size: 11px; }.mask-demo > div { display: flex; gap: 6px; flex-wrap: wrap; }.token { padding: 7px 10px; border-radius: 2px; font: 11px var(--mono); }.token.supervised { color: var(--forest); background: var(--forest-soft); }.token.masked { color: var(--amber); background: var(--amber-soft); text-decoration: line-through; }.mask-demo small { display: block; margin-top: 11px; color: var(--muted); font-size: 11px; }
.reward-readout { grid-template-columns: repeat(2, 1fr); }

.mx-block { display: grid; grid-template-columns: 72px 1fr; gap: 8px; align-items: stretch; margin: 32px 0; }.scale-chip { display: grid; place-items: center; padding: 10px; border-radius: 3px; color: white; background: var(--plum); font: 11px/1.5 var(--mono); text-align: center; }.scale-chip strong { font-size: 15px; }.mx-values { display: grid; grid-template-columns: repeat(8, 1fr); gap: 3px; }.mx-values span { display: grid; place-items: center; aspect-ratio: 1.2; border-radius: 2px; color: #425047; background: #dfe7e2; font: 11px var(--mono); }
.eagle-unroll { display: grid; grid-template-columns: 150px 55px 1fr; align-items: center; gap: 10px; max-width: 100%; margin: 34px 0; overflow-x: auto; }.target-feature, .fusion-node { padding: 12px; border: 1px solid var(--line); background: var(--white); text-align: center; }.target-feature span, .target-feature b { display: block; }.target-feature span { color: var(--muted); font-size: 11px; }.target-feature b { margin-top: 5px; font-size: 11px; }.fusion-node { color: white; background: var(--forest); font: 11px var(--mono); }.eagle-steps { display: flex; gap: 5px; }.eagle-step { position: relative; display: grid; place-items: center; min-width: 44px; height: 55px; border: 1px solid var(--line); background: var(--white); font: 11px var(--mono); }.eagle-step + .eagle-step::before { position: absolute; left: -7px; content: "→"; color: var(--forest); }
.distribution-controls { display: grid; grid-template-columns: repeat(3, 1fr); gap: 10px; }.distribution-controls label { display: grid; gap: 5px; color: var(--muted); font-size: 11px; }.distribution-bars { display: grid; grid-template-columns: repeat(3, 1fr); gap: 12px; align-items: end; height: 170px; margin: 24px 0 12px; border-bottom: 1px solid var(--ink); }.distribution-token { display: flex; align-items: end; justify-content: center; gap: 3px; height: 100%; }.distribution-token i { width: 28%; min-height: 2px; }.distribution-token .target-bar { background: var(--forest); }.distribution-token .draft-bar { background: var(--plum); }.distribution-token .overlap-bar { background: #d4a95e; }.acceptance-readout { margin-bottom: 0; }

.proof-chain { display: grid; justify-items: center; gap: 8px; margin: 36px 0; }.proof-chain div { width: 90%; padding: 15px 18px; border: 1px solid var(--line); background: var(--white); text-align: center; }.proof-chain span, .proof-chain b, .proof-chain small { display: block; }.proof-chain span { color: var(--muted); font: 11px var(--mono); text-transform: uppercase; }.proof-chain b { margin: 6px 0; font: 600 13px var(--sans); }.proof-chain small { color: var(--muted); font-size: 11px; }.proof-chain > i { color: var(--forest); font-style: normal; }.proof-chain .final-proof { border: 2px solid var(--forest); background: var(--forest-soft); }.hypothesis-list { border-top: 1px solid var(--line); }.hypothesis-list p { margin: 0; padding: 11px 0; border-bottom: 1px solid var(--line); color: #4c554f; font-size: 11px; line-height: 1.55; }

.boundaries, .atlas { margin: 0 0 96px; transition: opacity .25s ease; }
.section-heading { display: block; max-width: 820px; margin-bottom: 38px; padding-top: 44px; border-top: 1px solid var(--ink); }
.section-heading > p:last-child { max-width: 720px; margin: 20px 0 0; color: #4d564f; font: 17px/1.6 var(--serif); }
.boundary-table { border-top: 1px solid var(--ink); }.boundary-row { display: grid; grid-template-columns: 1.1fr 130px 1.3fr; gap: 20px; align-items: start; padding: 15px 8px; border-bottom: 1px solid var(--line); }.boundary-row > span:first-child { font: 500 13px/1.4 var(--serif); }.boundary-row p { margin: 0; color: var(--muted); font-size: 11px; line-height: 1.5; }.boundary-head { color: var(--muted); font: 11px var(--mono); text-transform: uppercase; }
.formalization-roadmap {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin: 0 0 24px;
  border-top: 1px solid var(--ink);
  border-bottom: 1px solid var(--ink);
}
.formalization-roadmap article { min-width: 0; padding: 18px 15px 20px 0; border-bottom: 1px solid var(--line); }
.formalization-roadmap article + article { padding-left: 15px; border-left: 1px solid var(--line); }
.formalization-roadmap span { color: var(--forest); font: 11px/1.4 var(--mono); text-transform: uppercase; }
.formalization-roadmap .open span { color: var(--plum); }
.formalization-roadmap strong { display: block; margin: 9px 0 8px; font: 600 14px/1.25 var(--serif); }
.formalization-roadmap p { margin: 0; color: var(--muted); font-size: 13px; line-height: 1.55; }
.roadmap-note { max-width: 850px; margin: 0 0 38px; color: #344239; font: 16px/1.7 var(--serif); }
.atlas-search { display: grid; grid-template-columns: auto 1fr; align-items: center; gap: 15px; margin-bottom: 24px; color: var(--muted); font: 11px var(--mono); }.atlas-search input { padding: 10px 12px; border: 1px solid var(--line); border-radius: 2px; background: var(--white); outline: 0; }.atlas-search input:focus { border-color: var(--forest); }.module-atlas { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 12px; }.module-atlas article { min-height: 185px; padding: 17px; border: 1px solid var(--line); background: rgba(255, 253, 248, .72); }.module-atlas article[hidden] { display: none; }.module-atlas article > span { color: var(--forest); font: 11px var(--mono); text-transform: uppercase; }.module-atlas h3 { margin: 20px 0 5px; font: 600 15px var(--serif); overflow-wrap: anywhere; }.module-atlas b { color: var(--plum); font: 500 9px var(--mono); }.module-atlas p { margin: 13px 0 0; color: var(--muted); font-size: 11px; line-height: 1.55; }

.site-footer { display: grid; grid-template-columns: 1fr 1fr 1.5fr; gap: 30px; padding: 45px 0 80px; border-top: 1px solid var(--ink); }.site-footer p { margin: 0 0 7px; color: var(--muted); font-size: 11px; }.site-footer a { color: var(--forest); font: 11px var(--mono); }.site-footer .footer-note { margin: 0; line-height: 1.6; }

/* Notes and illustrations follow the same reading column as the text. */
.distill-section {
  max-width: var(--measure);
  margin: 0 auto;
  padding: 46px 0 50px;
  border-top: 1px solid var(--line);
}
.distill-heading {
  display: block;
  max-width: var(--measure);
  margin: 0 0 28px;
}
.distill-heading h2 {
  margin: 0;
  font: 600 25px/1.3 var(--heading);
  letter-spacing: -.028em;
}
.distill-grid {
  display: grid;
  grid-template-columns: minmax(0, 1fr);
  gap: 40px;
  margin-left: 0;
  align-items: start;
}
.distill-copy { min-width: 0; }
.distill-copy p code { white-space: normal; overflow-wrap: anywhere; }
.distill-copy > p {
  margin: 0 0 20px;
  color: var(--ink);
  font: 400 17.5px/1.7 var(--sans);
}
.distill-copy > h3 {
  margin: 52px 0 14px;
  font: 600 23px/1.18 var(--serif);
  letter-spacing: -.018em;
}
.distill-copy .distill-lead {
  color: var(--ink);
  font-size: 19px;
  line-height: 1.64;
}
.distill-copy a {
  color: var(--forest);
  text-decoration-thickness: 1px;
  text-underline-offset: 4px;
}
.opening-dropcap::first-letter {
  float: left;
  margin: .06em .11em 0 0;
  color: var(--forest);
  font: 500 4.05em/.72 var(--serif);
}
.distill-margin {
  min-width: 0;
  margin-top: 5px;
  padding-top: 15px;
  border-top: 2px solid var(--forest);
}
.margin-kicker {
  margin: 0 0 19px;
  color: var(--forest);
  font: 500 9px var(--mono);
  letter-spacing: .07em;
  text-transform: uppercase;
}
.margin-source {
  margin: 18px 0 0;
  color: var(--muted);
  font: 11px/1.65 var(--mono);
}
.margin-source a { color: var(--forest); text-underline-offset: 3px; }
.essay-code {
  margin: 28px 0;
  padding: 20px;
  font-size: 12px;
  line-height: 1.7;
}

.attention-playground, .context-lab {
  margin: 0;
  padding: 0;
}
.attention-playground figcaption, .context-lab figcaption {
  color: var(--ink) !important;
  font: 600 17px/1.25 var(--serif) !important;
}
.attention-playground > p, .context-lab > p {
  margin: 9px 0 19px;
  color: var(--muted);
  font: 10.5px/1.55 var(--sans);
}
.attention-tokens {
  display: flex;
  flex-wrap: wrap;
  gap: 5px;
  margin-bottom: 19px;
}
.attention-tokens button {
  padding: 6px 7px;
  border: 1px solid var(--line);
  background: rgba(255,255,255,.7);
  cursor: pointer;
  font: 11px var(--mono);
}
.attention-tokens button[aria-pressed="true"] { color: white; border-color: var(--plum); background: var(--plum); }
.attention-bars { display: grid; gap: 7px; }
.attention-bar-row {
  display: grid;
  grid-template-columns: 58px 1fr 34px;
  gap: 8px;
  align-items: center;
  font: 11px var(--mono);
}
.attention-bar-row > i { position: relative; height: 12px; overflow: hidden; background: #e3e9e5; }
.attention-bar-row > i > b { display: block; height: 100%; background: var(--forest); }
.attention-bar-row.masked { color: #a1a7a2; }
.attention-bar-row.masked > i { background: repeating-linear-gradient(135deg, #eee 0 4px, #ddd 4px 8px); }
.attention-playground > output {
  display: block;
  margin-top: 16px;
  color: #455048;
  font: 11px/1.6 var(--mono);
  text-align: left;
}
.context-lab label {
  display: grid;
  grid-template-columns: 1fr;
  gap: 8px;
  margin: 20px 0;
  color: var(--muted);
  font: 11px var(--mono);
}
.context-lab label output { color: var(--forest); font-size: 15px; text-align: left; }
.context-results { border-top: 1px solid var(--ink); }
.context-results article { padding: 15px 0; border-bottom: 1px solid var(--line); }
.context-results span, .context-results strong, .context-results small { display: block; }
.context-results span { color: var(--muted); font: 11px/1.45 var(--mono); text-transform: uppercase; }
.context-results strong { margin: 7px 0 4px; color: var(--forest); font: 500 22px/1.05 var(--serif); overflow-wrap: anywhere; }
.context-results small { color: var(--muted); font-size: 11px; }
.context-results .constant strong { color: var(--plum); font-size: 18px; }

.syntax-dictionary {
  margin: 0;
  border-top: 1px solid var(--ink);
}
.syntax-dictionary > div {
  display: grid;
  grid-template-columns: minmax(86px, auto) 1fr;
  gap: 14px;
  padding: 10px 0;
  border-bottom: 1px solid var(--line);
}
.syntax-dictionary dt,
.syntax-dictionary dd { margin: 0; }
.syntax-dictionary dt { color: var(--forest); font: 500 10px/1.45 var(--mono); }
.syntax-dictionary dd { color: var(--muted); font: 11px/1.5 var(--sans); }

.concept-walk {
  margin: 32px 0 36px;
  padding: 0;
  list-style: none;
  border-top: 1px solid var(--ink);
}
.concept-walk li {
  display: grid;
  grid-template-columns: 28px 1fr;
  gap: 14px;
  padding: 14px 0;
  border-bottom: 1px solid var(--line);
}
.concept-walk li > span { color: var(--forest); font: 11px/1.7 var(--mono); }
.concept-walk p { margin: 0; font-size: 15px; line-height: 1.65; }
.k3-memory-walk li { display: block; text-align: left; }
.k3-memory-walk li > span { display: block; margin-bottom: 5px; text-transform: uppercase; }

.code-walk {
  margin: 18px 0 28px;
  padding: 0;
  list-style: none;
  counter-reset: code-step;
}
.code-walk li {
  position: relative;
  margin: 0;
  padding: 10px 0 10px 34px;
  border-top: 1px solid var(--line);
  color: var(--muted);
  font-size: 12px;
  line-height: 1.6;
  counter-increment: code-step;
}
.code-walk li::before {
  content: counter(code-step, decimal-leading-zero);
  position: absolute;
  top: 12px;
  left: 0;
  color: var(--forest);
  font: 11px var(--mono);
}
.lean-side > .code-caption {
  margin: 12px 0 7px;
  color: var(--muted);
  font: 11px/1.55 var(--mono);
}

/* The annotated equations continue the same essay instead of becoming a second documentation UI. */
.spread {
  display: block;
  max-width: var(--measure);
  margin: 0 auto 56px;
  padding: 46px 0 0;
  border-top: 1px solid var(--line);
}
.paper-side { padding: 0; }
.lean-side {
  position: relative;
  top: auto;
  margin-top: 36px;
  padding: 24px 0 0;
  border-top: 1px solid var(--line);
  border-left: 0;
  background: transparent;
}
.spread-header p span, .report-map .status { display: none; }
.spread-header p { gap: 0; color: var(--forest); font-size: 11px; letter-spacing: .04em; text-transform: uppercase; }
.spread-header h2 { font: 600 25px/1.3 var(--heading); }
.paper-side > p { font-size: 17.5px; line-height: 1.7; }
.paper-side > p:first-of-type { font-size: 18.5px; line-height: 1.68; }
.lean-side h3 { font-size: 19px; }
.lean-side > p { font-size: 13px; line-height: 1.65; }
.orientation, .formal-method, .boundaries, .atlas {
  max-width: var(--measure);
  margin-right: auto;
  margin-left: auto;
}
.orientation { display: block; }
.orientation .section-heading { margin-bottom: 24px; }
.formal-method { padding-right: 0; padding-left: 0; }
.longform-body > p { font-size: 17.5px; }
.longform-heading > p:last-child { font-size: 18px; }

@media (max-width: 1100px) {
  .hero h1 { white-space: normal; }
  .distill-heading, .distill-grid, .longform-heading, .longform-body, .essay-heading, .essay-copy { margin-left: 0; }
  .distill-grid, .spread { grid-template-columns: minmax(0, 1fr); gap: 28px; }
  .distill-margin, .lean-side { max-width: var(--measure); }
  .module-atlas { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .paper-reader { margin-right: 0; margin-left: 0; }
}

@media (max-width: 900px) {
  .source-button { grid-column: 2; }
  .hero { padding: 40px 0 36px; }
  .hero h1 { font-size: 34px; white-space: normal; }
  .distill-section { padding: 40px 0; }
  .distill-heading { margin-bottom: 42px; }
  .distill-heading h2 { font-size: 25px; }
  .distill-grid { grid-template-columns: 1fr; gap: 52px; }
  .distill-margin { max-width: 620px; }
  .essay-code { margin-right: 0; margin-left: 0; }
  .paper-reader-grid { grid-template-columns: 1fr; }
  .pdf-frame-wrap iframe { height: 640px; }
  .report-map { display: grid; grid-template-columns: 1fr 1fr; border-left: 1px solid var(--line); }
  .report-map article { padding: 15px; border-right: 1px solid var(--line); }
  .margin-note { margin-right: 0; margin-left: 0; padding-right: 20px; padding-left: 20px; }
  .report-table-wrap, .training-flow, .expert-matrix, .knowledge-graph,
  .trajectory-strip, .context-parallel-figure, .system-numbers,
  .prefix-cache-figure, .benchmark-ledger, .tool-gain-figure,
  .preference-bar, .third-party-ranks, .reader-verdict { margin-right: 0; margin-left: 0; }
  .orientation { grid-template-columns: 1fr; gap: 30px; }
  .method-code-grid { grid-template-columns: 1fr; }
  .spread { grid-template-columns: 1fr; gap: 46px; margin-bottom: 84px; padding-top: 64px; }
  .paper-side { padding: 0; }
  .lean-side { position: relative; top: auto; max-height: none; overflow: visible; padding: 24px 0 0; border-top: 2px solid var(--forest); border-left: 0; }
  .formalization-roadmap { grid-template-columns: 1fr 1fr; }
  .formalization-roadmap article { padding-left: 15px; border-left: 1px solid var(--line); border-bottom: 1px solid var(--line); }
  .module-atlas { grid-template-columns: repeat(2, 1fr); }
  .site-footer { grid-template-columns: 1fr 1fr; }
  .site-footer .footer-note { grid-column: 1 / -1; }
}

@media (max-width: 600px) {
  main { padding-right: 20px; padding-left: 20px; }
  .topbar { padding: 8px 12px; }
  .source-button { font-size: 11px; }.brand { font-size: 11px; }
  .hero { padding: 38px 0 44px; }
  .hero h1 { font-size: 28px; }
  .article-toc nav { grid-template-columns: 1fr; }
  .distill-section { padding: 36px 0; }
  .distill-heading { margin-bottom: 32px; }
  .distill-heading h2 { font-size: 23px; }
  .distill-copy > p { font-size: 17px; }
  .distill-copy .distill-lead { font-size: 18px; }
  .distill-copy > h3 { margin-top: 42px; font-size: 22px; }
  .opening-dropcap::first-letter { font-size: 3.65em; }
  .architecture-map { max-width: 100%; overflow-x: auto; }
  .architecture-map::before {
    position: sticky;
    z-index: 2;
    left: 0;
    display: block;
    width: fit-content;
    margin-bottom: 8px;
    padding: 4px 7px;
    color: var(--forest);
    background: rgba(255, 255, 255, .92);
    content: "Swipe the diagram horizontally →";
    font: 11px var(--mono);
    text-transform: uppercase;
  }
  .architecture-map svg { width: 720px; max-width: none; }
  .architecture-map figcaption { min-width: 0; }
  .essay-code { padding: 19px 17px; font-size: 11px; }
  .paper-reader { margin-bottom: 78px; padding: 44px 0 34px; }
  .paper-reader-heading h2 { font-size: 23px; }
  .paper-reader-heading > p:last-child { font-size: 15.5px; }
  .pdf-frame-wrap iframe { height: 480px; }
  .report-map { grid-template-columns: 1fr; }
  .longform-section { margin-bottom: 78px; padding: 46px 0 0; }
  .longform-heading { margin-bottom: 30px; }
  .longform-heading h2 { font-size: 23px; }
  .longform-heading > p:last-child { font-size: 17px; }
  .longform-body > h3 { margin-top: 40px; font-size: 22px; }
  .longform-body > p { font-size: 16.5px; }
  .reader-terms dl { grid-template-columns: 1fr; }
  .reader-terms dl > div:last-child:nth-child(odd) { grid-column: auto; }
  .reader-terms dl > div { grid-template-columns: 82px minmax(0, 1fr); }
  .margin-note { padding-right: 18px; padding-left: 18px; }
  .training-flow { grid-template-columns: 1fr; }
  .training-flow > i { transform: rotate(90deg); text-align: center; }
  .expert-matrix { grid-template-columns: 88px repeat(3, minmax(110px, 1fr)); overflow-x: auto; }
  .trajectory-strip { grid-template-columns: 1fr; }
  .trajectory-strip > i { transform: rotate(90deg); text-align: center; }
  .kg-branches { grid-template-columns: 1fr; }
  .kg-root, .kg-output { width: 100%; }
  .cp-segments, .cp-local, .cp-results { min-width: 520px; }
  .context-parallel-figure { overflow-x: auto; }
  .buffer-comparison, .evidence-balance { grid-template-columns: 1fr; }
  .evidence-balance { margin-right: 0; margin-left: 0; }
  .buffer-comparison div + div, .evidence-balance > div + div { border-left: 0; }
  .system-numbers, .third-party-ranks { grid-template-columns: 1fr 1fr; }
  .system-numbers div + div, .third-party-ranks div + div { border-left: 0; }
  .system-numbers div:nth-child(even), .third-party-ranks div:nth-child(even) { border-left: 1px solid var(--line); }
  .prefix-cache-figure { overflow-x: auto; }
  .physical-block-label, .hash-blocks, .prefix-result { min-width: 590px; }
  .score-lines > div { grid-template-columns: 110px 1fr; }
  .score-lines small { grid-column: 2; text-align: left; }
  .benchmark-ledger { overflow-x: auto; }
  .benchmark-ledger > div { min-width: 580px; }
  .tool-gain-figure > div { grid-template-columns: 1fr 45px 18px 45px 45px; }
  .preference-bar { min-width: 0; font-size: 11px; }
  .reader-verdict { padding: 26px 18px; }
  .case-metrics { grid-template-columns: 1fr; }
  .case-metrics div:nth-child(odd) { border-right: 0; }
  .essay-section { margin-bottom: 72px; padding: 46px 0 0; }
  .essay-heading { margin-bottom: 24px; }
  .essay-heading h2 { font-size: 23px; }
  .essay-copy > p { font-size: 16.5px; }
  .essay-copy .essay-lead { font-size: 17.5px; }
  .model-scale { grid-template-columns: 1fr; gap: 10px; }
  .model-scale i { transform: rotate(90deg); }
  .essay-aside { padding: 20px 18px; }
  .formal-method { padding-top: 44px; }
  .method-code-grid > article, .method-theorem { padding: 17px; }
  .paper-side, .lean-side { padding-right: 0; padding-left: 0; }
  .paper-side > p:first-of-type { font-size: 17.5px; }
  .paper-side > p { font-size: 16.5px; }
  .reading-note { grid-template-columns: 1fr; gap: 8px; }
  .equation-block { margin-right: 0; margin-left: 0; padding-right: 18px; padding-left: 18px; }
  .equation-block .katex { font-size: .76em; }
  .architecture-map figcaption { padding-right: 0; padding-left: 0; }
  .number-grid { grid-template-columns: 1fr; }
  .layer-schedule { grid-template-columns: repeat(12, 1fr); }
  .kda-controls { grid-template-columns: 1fr; }
  .matrix-flow { gap: 4px; }.matrix { grid-template-columns: repeat(2, 34px); }.matrix-flow > b { font-size: 11px; }
  .cache-diagram { grid-template-columns: 1fr; }.compression-arrow { text-align: center; }
  .decay-readout, .cache-readout, .mx-readout, .acceptance-readout { grid-template-columns: 1fr; }
  .parallel-paths { grid-template-columns: 1fr; }.vision-flow { grid-template-columns: repeat(2, 1fr); }
  .vision-stage::after { display: none; }
  .router-controls { grid-template-columns: repeat(2, 1fr); }.router-row { grid-template-columns: 22px 1fr 42px; }.router-row > :last-child { display: none; }
  .context-timeline { grid-template-columns: 1fr 1fr; }.eagle-unroll { grid-template-columns: 110px 48px minmax(330px, 1fr); }
  .distribution-controls { grid-template-columns: 1fr; }
  .boundary-row, .boundary-head { grid-template-columns: 1fr; }.boundary-head { display: none; }
  .formalization-roadmap { grid-template-columns: 1fr; }
  .formalization-roadmap article { padding: 16px 0; border-left: 0; }
  .module-atlas { grid-template-columns: 1fr; }.atlas-search { grid-template-columns: 1fr; }
  .site-footer { grid-template-columns: 1fr; }.site-footer .footer-note { grid-column: auto; }
}

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { transition: none !important; }
}