/* Substrate Geometry v2: one stylesheet. Tokens first, then the layers in page order.
   Tone: an instrument panel for mathematics. Dark ink, one cool signal colour, one warm one (amber marks
   what is a number or a limit), hairlines, corner brackets, mono for data. Nothing decorative that carries no fact. */
:root{
  --paper:#05070a; --panel:#0a0e14; --panel-2:#0d131b;
  --text:#e8eef6; --muted-ink:#8b9aae; --line:#161f2b; --line-2:#222f42;
  --accent:#3fd0e0; --accent-deep:#1a8fa0; --amber:#e9b552;
  --stable:#5b9cff; --unstable:#ff5f56; --violet:#a97bff;
  --display:'Inter','Segoe UI',system-ui,-apple-system,sans-serif;
  --mono:'JetBrains Mono','SF Mono','Consolas','Roboto Mono',ui-monospace,monospace;
  --serif:'Iowan Old Style','Palatino Linotype','Georgia',serif;
}
*{box-sizing:border-box}
html{scroll-behavior:smooth;overflow-x:clip}
body{margin:0;background:var(--paper);color:var(--text);font-family:var(--display);font-size:15.5px;line-height:1.65;
  -webkit-font-smoothing:antialiased;overflow-x:hidden}
img,svg,canvas{max-width:100%}
a{color:var(--accent);text-decoration:none;border-bottom:1px solid rgba(63,208,224,.28)}
a:hover{border-bottom-color:var(--accent)}
code,.mono{font-family:var(--mono);font-size:.86em}
::selection{background:rgba(63,208,224,.28)}
:focus-visible{outline:2px solid var(--accent);outline-offset:3px}

/* FIELD: the one atmospheric layer. The gradient is the fallback; the canvas replaces it when WebGL is live. */
.field{position:fixed;inset:0;z-index:0;pointer-events:none;
  background:radial-gradient(120% 80% at 70% 0%,#0c1622 0%,var(--paper) 62%)}
.field-canvas{position:absolute;inset:0;width:100%;height:100%;display:block;opacity:0;transition:opacity 1.6s ease}
.field.is-live .field-canvas{opacity:1}
.field::after{content:'';position:absolute;inset:0;background:linear-gradient(180deg,rgba(5,7,10,.55),rgba(5,7,10,.15) 30%,rgba(5,7,10,.62))}

.wrap{position:relative;z-index:1;max-width:1180px;margin:0 auto;padding:0 28px}

/* RAIL: brand, nav, live status */
.rail{position:sticky;top:0;z-index:60;background:rgba(5,7,10,.82);backdrop-filter:blur(14px);border-bottom:1px solid var(--line)}
.rail-in{max-width:1180px;margin:0 auto;padding:.6rem 28px;display:flex;align-items:center;gap:1.6rem;flex-wrap:wrap}
.brand{display:flex;align-items:center;gap:.65rem;font-family:var(--mono);font-size:.74rem;letter-spacing:.16em;text-transform:uppercase;
  color:var(--text);border:0;font-weight:600}
.brand svg{flex:none}
.nav{display:flex;gap:.2rem;flex-wrap:wrap;margin-left:auto}
.nav a{font-family:var(--mono);font-size:.68rem;letter-spacing:.12em;text-transform:uppercase;color:var(--muted-ink);border:0;
  padding:.4rem .7rem;border-radius:2px;position:relative;transition:color .2s,background .2s}
.nav a:hover{color:var(--text);background:rgba(63,208,224,.07)}
.nav a[aria-current=page]{color:var(--accent)}
.nav a[aria-current=page]::after{content:'';position:absolute;left:.7rem;right:.7rem;bottom:0;height:1px;background:var(--accent)}
.status{display:flex;align-items:center;gap:.5rem;font-family:var(--mono);font-size:.62rem;letter-spacing:.1em;text-transform:uppercase;color:var(--muted-ink)}
.dot{width:7px;height:7px;border-radius:50%;background:var(--accent);box-shadow:0 0 0 0 rgba(63,208,224,.5);animation:pulse 2.6s infinite}
@keyframes pulse{0%{box-shadow:0 0 0 0 rgba(63,208,224,.45)}70%,100%{box-shadow:0 0 0 8px rgba(63,208,224,0)}}
.progress{position:absolute;left:0;bottom:-1px;height:1px;width:100%;background:linear-gradient(90deg,var(--accent-deep),var(--accent));transform:scaleX(0);transform-origin:left}

/* TICKER: results scrolling by, each with its tier. Static and complete without motion. */
.ticker{border-bottom:1px solid var(--line);background:rgba(10,14,20,.7);overflow:hidden;position:relative;z-index:1}
.ticker-track{display:flex;gap:2.8rem;width:max-content;padding:.5rem 0;animation:tick 70s linear infinite}
.ticker:hover .ticker-track{animation-play-state:paused}
.ticker-track [data-dup]{display:contents}
.tk{flex:none;align-items:center;font-family:var(--mono);font-size:.66rem;letter-spacing:.07em;color:var(--muted-ink);white-space:nowrap;display:flex;gap:.7rem;align-items:center}
.tk b{color:var(--text);font-weight:600}
.tk i{font-style:normal;color:var(--amber);flex:none}
.tk b{flex:none}
@keyframes tick{from{transform:translateX(0)}to{transform:translateX(-50%)}}

/* TYPE */
.kicker{font-family:var(--mono);font-size:.7rem;letter-spacing:.28em;text-transform:uppercase;color:var(--accent);margin:0 0 1.2rem;display:flex;align-items:center;gap:.85rem}
.kicker::after{content:'';height:1px;flex:1;max-width:170px;background:linear-gradient(90deg,var(--accent-deep),transparent)}
h1{font-size:clamp(2.1rem,4.6vw,3.7rem);line-height:1.06;letter-spacing:-.028em;font-weight:700;margin:0 0 1.2rem}
h1 em{font-style:normal;color:var(--accent)}
h2{font-size:clamp(1.5rem,2.6vw,2.05rem);line-height:1.15;letter-spacing:-.02em;margin:0 0 .8rem;font-weight:650}
h3{font-size:1.05rem;margin:0 0 .5rem;font-weight:600}
.deck{font-size:1.12rem;color:#b8c5d6;max-width:60ch;margin:0 0 1.6rem;line-height:1.6}
p{margin:0 0 1rem;max-width:72ch}
.lead{font-size:1.05rem;color:#c6d1df}
.sec{padding:5rem 0 1rem}
.sec-n{font-family:var(--mono);font-size:.7rem;letter-spacing:.24em;color:var(--accent);margin-bottom:.7rem}
.sec-head{display:flex;flex-direction:column;margin-bottom:2rem}

/* REVEAL: hidden only when JS is present, so the no-JS page is complete */
.js .rv{opacity:0;transform:translateY(20px);transition:opacity .75s cubic-bezier(.16,1,.3,1),transform .75s cubic-bezier(.16,1,.3,1)}
.js .rv.in{opacity:1;transform:none}

/* TIER BADGES */
.tier{display:inline-flex;align-items:center;gap:.42rem;font-family:var(--mono);font-size:.62rem;letter-spacing:.13em;text-transform:uppercase;
  padding:.26rem .55rem;border-radius:3px;border:1px solid;white-space:nowrap;font-weight:600}
.tier::before{content:'';width:5px;height:5px;border-radius:1px;background:currentColor}
.t-cert{color:var(--accent);border-color:rgba(63,208,224,.45);background:rgba(63,208,224,.08)}
.t-proved{color:var(--stable);border-color:rgba(91,156,255,.45);background:rgba(91,156,255,.08)}
.t-samp{color:var(--amber);border-color:rgba(233,181,82,.45);background:rgba(233,181,82,.08)}
.t-conj{color:var(--violet);border-color:rgba(169,123,255,.45);background:rgba(169,123,255,.08)}
.rel{font-family:var(--mono);font-size:.6rem;letter-spacing:.12em;text-transform:uppercase;color:var(--muted-ink);border:1px solid var(--line-2);padding:.24rem .5rem;border-radius:3px}

/* PANEL: corner brackets, cursor-tracked specular */
.panel{position:relative;border:1px solid var(--line-2);border-radius:2px;background:linear-gradient(180deg,rgba(13,19,27,.92),rgba(10,14,20,.94));
  padding:1.8rem 1.8rem 1.5rem;overflow:hidden}
.panel::before,.panel::after{content:'';position:absolute;width:13px;height:13px;border:1px solid var(--accent);opacity:.55;pointer-events:none}
.panel::before{top:-1px;left:-1px;border-right:0;border-bottom:0}
.panel::after{bottom:-1px;right:-1px;border-left:0;border-top:0}
.spec{position:absolute;inset:0;pointer-events:none;opacity:0;transition:opacity .3s;
  background:radial-gradient(420px circle at var(--mx,50%) var(--my,50%),rgba(63,208,224,.08),transparent 60%)}
.panel:hover .spec{opacity:1}
.panel-h{display:flex;align-items:center;justify-content:space-between;gap:1rem;flex-wrap:wrap;margin-bottom:1rem;padding-bottom:.85rem;border-bottom:1px solid var(--line)}
.panel-t{font-family:var(--mono);font-size:.72rem;letter-spacing:.15em;text-transform:uppercase;font-weight:600;color:var(--muted-ink)}
.cap{font-size:.84rem;color:var(--muted-ink);margin:.9rem 0 0;line-height:1.6;max-width:none}
.cap b{color:var(--text);font-weight:500}

/* HERO */
.hero{padding:4.2rem 0 2.5rem;display:grid;grid-template-columns:minmax(0,1.05fr) minmax(0,1fr);gap:2.5rem;align-items:center}
.stage{position:relative;aspect-ratio:1/1;max-height:560px;width:100%}
.stage canvas{width:100%;height:100%;display:block;cursor:grab;touch-action:pan-y}
.stage canvas:active{cursor:grabbing}
.stage::before,.stage::after{content:'';position:absolute;width:15px;height:15px;border:1px solid var(--accent);opacity:.5}
.stage::before{top:0;left:0;border-right:0;border-bottom:0}
.stage::after{bottom:0;right:0;border-left:0;border-top:0}
.stage-cap{position:absolute;left:0;right:0;bottom:-2.4rem;text-align:center;font-family:var(--mono);font-size:.64rem;letter-spacing:.12em;text-transform:uppercase;color:var(--muted-ink)}
.stage-cap b{color:var(--accent);font-weight:600}
.legend{display:flex;gap:1.1rem;font-family:var(--mono);font-size:.64rem;letter-spacing:.1em;text-transform:uppercase;color:var(--muted-ink);margin-top:1.4rem}
.legend span::before{content:'';display:inline-block;width:8px;height:8px;border-radius:50%;margin-right:.4rem;background:var(--c)}
.cta{display:flex;gap:.9rem;flex-wrap:wrap;margin-top:1.6rem}
.btn{font-family:var(--mono);font-size:.7rem;letter-spacing:.14em;text-transform:uppercase;padding:.8rem 1.25rem;border:1px solid var(--accent);color:var(--accent);
  border-radius:2px;background:rgba(63,208,224,.06);transition:background .2s,transform .2s;display:inline-block}
.btn:hover{background:rgba(63,208,224,.16);transform:translateY(-1px)}
.btn.ghost{border-color:var(--line-2);color:var(--muted-ink);background:transparent}
.btn.ghost:hover{color:var(--text);border-color:var(--muted-ink)}

/* TILES / STATS */
.tiles{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:1px;background:var(--line-2);border:1px solid var(--line-2)}
.tile{background:rgba(10,14,20,.94);padding:1.2rem 1.2rem 1.1rem;position:relative;transition:background .25s}
.tile:hover{background:rgba(15,24,34,.96)}
.tile::after{content:'';position:absolute;left:0;bottom:0;height:2px;width:0;background:var(--accent);transition:width .45s cubic-bezier(.16,1,.3,1)}
.tile:hover::after{width:100%}
.tile-k{font-family:var(--mono);font-size:.62rem;letter-spacing:.15em;text-transform:uppercase;color:var(--muted-ink);margin-bottom:.55rem}
.tile-v{font-family:var(--mono);font-size:1.7rem;font-weight:700;letter-spacing:-.03em;line-height:1;color:var(--text)}
.tile-v small{font-size:.8rem;color:var(--amber);font-weight:500;letter-spacing:0;margin-left:.2rem}
.tile-d{font-size:.78rem;color:var(--muted-ink);margin-top:.6rem;line-height:1.45}

/* RESULT CARDS and LEDGER */
.cards{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:1.2rem}
.card{display:flex;flex-direction:column;gap:.8rem;border:1px solid var(--line-2);background:rgba(10,14,20,.9);padding:1.4rem;position:relative;border-radius:2px;
  transition:border-color .25s,transform .25s;color:var(--text);border-bottom:1px solid var(--line-2)}
.card:hover{border-color:var(--accent-deep);transform:translateY(-2px)}
.card .tier{align-self:flex-start}
.card h3{margin:0}
.card p{color:var(--muted-ink);font-size:.9rem;margin:0}
.card .more{font-family:var(--mono);font-size:.64rem;letter-spacing:.14em;text-transform:uppercase;color:var(--accent);margin-top:auto}
.filters{display:flex;gap:.5rem;flex-wrap:wrap;margin-bottom:1.6rem}
.chip{font-family:var(--mono);font-size:.65rem;letter-spacing:.1em;text-transform:uppercase;padding:.45rem .8rem;border:1px solid var(--line-2);color:var(--muted-ink);
  background:transparent;border-radius:3px;cursor:pointer;transition:all .2s}
.chip:hover{color:var(--text)}
.chip[aria-pressed=true]{border-color:var(--accent);color:var(--accent);background:rgba(63,208,224,.09)}
.res{margin-bottom:1.4rem}
.res[hidden]{display:none}
.res-top{display:flex;gap:.6rem;align-items:center;flex-wrap:wrap;margin-bottom:.9rem}
.res-id{font-family:var(--mono);font-size:.7rem;letter-spacing:.14em;color:var(--amber);font-weight:700}
.res-kind{font-family:var(--mono);font-size:.64rem;letter-spacing:.14em;text-transform:uppercase;color:var(--muted-ink)}
.res h3{font-size:1.25rem;line-height:1.25;margin-bottom:.7rem}
.res-cols{display:grid;grid-template-columns:minmax(0,1.25fr) minmax(0,1fr);gap:2rem;margin-top:1rem}
.kv{width:100%;border-collapse:collapse;font-size:.84rem}
.kv td{padding:.5rem 0;border-bottom:1px solid var(--line);vertical-align:top}
.kv td:first-child{color:var(--muted-ink);padding-right:1rem;width:46%}
.kv td:last-child{font-family:var(--mono);font-size:.8rem;color:var(--text);word-break:break-word}
.sub{font-family:var(--mono);font-size:.62rem;letter-spacing:.16em;text-transform:uppercase;color:var(--accent);margin:1.1rem 0 .4rem}
.nc{margin:0;padding:0;list-style:none}
.nc li{position:relative;padding-left:1.15rem;font-size:.86rem;color:#b4c1d1;margin-bottom:.35rem;max-width:none}
.nc li::before{content:'';position:absolute;left:0;top:.62em;width:7px;height:1px;background:var(--amber)}
.ev{font-family:var(--mono);font-size:.72rem;color:var(--muted-ink);line-height:1.75;word-break:break-all}
.second{font-size:.86rem;color:#b4c1d1;max-width:none}

/* TIER LEGEND (Method page, Results header) */
.tier-grid{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:1px;background:var(--line-2);border:1px solid var(--line-2);margin-bottom:2rem}
.tier-cell{background:rgba(10,14,20,.94);padding:1.1rem}
.tier-cell p{font-size:.8rem;color:var(--muted-ink);margin:.7rem 0 0;line-height:1.5}

/* BODIES */
.bodies{display:grid;grid-template-columns:minmax(0,1.2fr) minmax(0,1fr);gap:1.4rem;align-items:start}
.cv{width:100%;aspect-ratio:1/1;display:block;cursor:grab;touch-action:pan-y}
.ctl{margin-bottom:1.3rem}
.ctl-h{display:flex;justify-content:space-between;align-items:baseline;font-family:var(--mono);font-size:.7rem;letter-spacing:.12em;text-transform:uppercase;color:var(--muted-ink);margin-bottom:.5rem}
.ctl-h b{color:var(--accent);font-size:.95rem;font-variant-numeric:tabular-nums}
input[type=range]{-webkit-appearance:none;appearance:none;width:100%;height:3px;background:linear-gradient(90deg,var(--accent-deep),var(--line-2));outline:none;cursor:pointer}
input[type=range]::-webkit-slider-thumb{-webkit-appearance:none;width:14px;height:14px;border-radius:50%;background:var(--accent);border:2px solid var(--paper);box-shadow:0 0 0 1px var(--accent)}
input[type=range]::-moz-range-thumb{width:12px;height:12px;border-radius:50%;background:var(--accent);border:2px solid var(--paper)}
.vrow{display:flex;justify-content:space-between;align-items:baseline;padding:.55rem 0;border-bottom:1px solid var(--line)}
.vrow span{font-family:var(--mono);font-size:.7rem;letter-spacing:.1em;text-transform:uppercase;color:var(--muted-ink)}
.vrow b{font-family:var(--mono);font-size:1.05rem;font-variant-numeric:tabular-nums}
.agree{margin-top:.8rem;font-family:var(--mono);font-size:.64rem;letter-spacing:.12em;text-transform:uppercase;padding:.45rem .6rem;border:1px solid var(--line-2);color:var(--muted-ink)}
.agree.ok{color:var(--accent);border-color:rgba(63,208,224,.4);background:rgba(63,208,224,.08)}
.agree.bad{color:var(--unstable);border-color:rgba(255,95,86,.5);background:rgba(255,95,86,.08)}
.ellipse-wrap svg{width:100%;height:auto;display:block}

/* TABLES */
.scroll{overflow-x:auto;border:1px solid var(--line-2)}
table.data{width:100%;border-collapse:collapse;font-size:.84rem;min-width:520px}
table.data th{font-family:var(--mono);font-size:.62rem;letter-spacing:.14em;text-transform:uppercase;color:var(--muted-ink);text-align:left;padding:.7rem .9rem;border-bottom:1px solid var(--line-2);background:rgba(10,14,20,.95)}
table.data td{padding:.65rem .9rem;border-bottom:1px solid var(--line);font-family:var(--mono);font-size:.78rem;background:rgba(8,11,16,.9)}
table.data tr:hover td{background:rgba(15,24,34,.95)}

/* PAPERS */
.paper{display:grid;grid-template-columns:150px minmax(0,1fr);gap:1.4rem;padding:1.3rem 0;border-bottom:1px solid var(--line)}
.paper-id{font-family:var(--mono);font-size:.72rem;letter-spacing:.06em;color:var(--amber)}
.pill{font-family:var(--mono);font-size:.6rem;letter-spacing:.12em;text-transform:uppercase;padding:.2rem .5rem;border-radius:3px;border:1px solid;display:inline-block;margin-top:.5rem}
.pill.posted{color:var(--accent);border-color:rgba(63,208,224,.4)}
.pill.ready{color:var(--amber);border-color:rgba(233,181,82,.4)}
.pill.drafting{color:var(--muted-ink);border-color:var(--line-2)}

/* STEPS (method) */
.steps{counter-reset:s;display:grid;gap:1px;background:var(--line-2);border:1px solid var(--line-2)}
.step{background:rgba(10,14,20,.94);padding:1.2rem 1.4rem 1.2rem 4rem;position:relative}
.step::before{counter-increment:s;content:counter(s,decimal-leading-zero);position:absolute;left:1.3rem;top:1.15rem;font-family:var(--mono);font-size:.8rem;color:var(--accent);font-weight:700}
.step h3{margin-bottom:.3rem}
.step p{margin:0;color:#b4c1d1;font-size:.9rem}
pre{font-family:var(--mono);font-size:.76rem;background:rgba(5,7,10,.92);border:1px solid var(--line-2);padding:1rem 1.1rem;overflow-x:auto;margin:0 0 1rem;color:#cfd9e6;line-height:1.6}

/* FOOTER */
.foot{margin-top:6rem;border-top:1px solid var(--line);background:rgba(5,7,10,.88);position:relative;z-index:1}
.foot-in{max-width:1180px;margin:0 auto;padding:2rem 28px 3rem;display:grid;grid-template-columns:2fr 1fr 1fr;gap:2rem;font-size:.82rem;color:var(--muted-ink)}
.foot h4{font-family:var(--mono);font-size:.64rem;letter-spacing:.18em;text-transform:uppercase;color:var(--text);margin:0 0 .7rem}
.foot a{display:block;border:0;color:var(--muted-ink);margin-bottom:.3rem}
.foot a:hover{color:var(--accent)}
.foot p{font-size:.8rem;max-width:52ch}

/* RESPONSIVE */
@media (max-width:980px){
  .hero,.bodies,.res-cols{grid-template-columns:minmax(0,1fr)}
  .tiles,.tier-grid{grid-template-columns:repeat(2,minmax(0,1fr))}
  .cards{grid-template-columns:minmax(0,1fr)}
  .foot-in{grid-template-columns:minmax(0,1fr)}
  .nav{margin-left:0;width:100%}
  .status{display:none}
  .paper{grid-template-columns:minmax(0,1fr);gap:.4rem}
}
@media (max-width:520px){
  .wrap,.rail-in,.foot-in{padding-left:16px;padding-right:16px}
  .tiles,.tier-grid{grid-template-columns:minmax(0,1fr)}
  .panel{padding:1.3rem 1.1rem}
  .hero{padding-top:2.4rem}
  .stage-cap{position:static;margin-top:.8rem}
}
@media (prefers-reduced-motion:reduce){
  .dot,.ticker-track{animation:none}
  .ticker-track{flex-wrap:wrap;width:auto;gap:.6rem 2rem;padding:.5rem 28px}
  .ticker-track [data-dup]{display:none}
  .js .rv{opacity:1;transform:none;transition:none}
  html{scroll-behavior:auto}
}

/* updates feed */
.pill.k-result{color:var(--accent);border-color:rgba(63,208,224,.4)}
.pill.k-software{color:var(--amber);border-color:rgba(233,181,82,.4)}
.pill.k-teaching{color:#8fb6ff;border-color:rgba(91,156,255,.4)}
.pill.k-trial{color:var(--muted-ink);border-color:var(--line-2)}
.pill.k-paper{color:#d9c9ff;border-color:rgba(190,160,255,.4)}
.feed h3{margin:0 0 .35rem;font-size:1.05rem}
.feed .more{font-family:var(--mono);font-size:.64rem;letter-spacing:.14em;text-transform:uppercase;color:var(--accent);margin-left:.6rem}
.feedbox{border-top:1px solid var(--line)}