:root {
  --bg: #080b10;
  --surface: #10151d;
  --surface-2: #151c26;
  --surface-3: #0c1118;
  --text: #f4f7fb;
  --muted: #aab5c4;
  --line: #273140;
  --accent: #91ff63;
  --accent-soft: rgba(145, 255, 99, 0.09);
  --warning: #ffd166;
  --danger: #ff7b72;
  --max: 1180px;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  line-height: 1.65;
}
a { color: inherit; }
code { font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; color: var(--accent); }
.skip-link { position: absolute; left: -9999px; }
.skip-link:focus { left: 1rem; top: 1rem; z-index: 100; background: var(--text); color: var(--bg); padding: .75rem 1rem; }
.shell { width: min(calc(100% - 2rem), var(--max)); margin-inline: auto; }
.narrow { max-width: 820px; }
.center { text-align: center; justify-content: center; }

.site-header { position: sticky; top: 0; z-index: 20; background: rgba(8,11,16,.9); border-bottom: 1px solid var(--line); backdrop-filter: blur(16px); }
.nav { min-height: 72px; display: flex; align-items: center; justify-content: space-between; gap: 2rem; }
.brand { display: inline-flex; align-items: center; gap: .7rem; text-decoration: none; font-weight: 800; letter-spacing: .08em; }
.brand-mark { display: grid; place-items: center; width: 34px; height: 34px; color: var(--bg); background: var(--accent); border-radius: 8px; }
.nav-links { display: flex; align-items: center; gap: 1.25rem; }
.nav-links a { text-decoration: none; color: var(--muted); font-size: .92rem; }
.nav-links a:hover, .nav-links a:focus { color: var(--text); }
.nav-toggle { display: none; }

.button { display: inline-flex; align-items: center; justify-content: center; min-height: 48px; padding: .7rem 1.15rem; border-radius: 10px; background: var(--accent); color: #071006; text-decoration: none; font-weight: 760; border: 1px solid var(--accent); }
.button:hover, .button:focus { filter: brightness(1.08); transform: translateY(-1px); }
.button-secondary { background: transparent; color: var(--text); border-color: var(--line); }
.button-small { min-height: 38px; padding: .45rem .8rem; color: #071006 !important; }

.benchmark-strip { border-bottom: 1px solid var(--line); background: radial-gradient(circle at 15% 0%, rgba(145,255,99,.12), transparent 38%), var(--surface-3); }
.benchmark-shell { padding-block: 4rem 3.5rem; }
.benchmark-heading { max-width: 900px; }
.benchmark-heading h1 { font-size: clamp(2.5rem, 5vw, 4.8rem); }
.benchmark-heading > p:last-child { color: var(--muted); max-width: 820px; font-size: 1.05rem; }
.install-card { display: grid; gap: .75rem; margin-top: 1.5rem; padding: 1.2rem; border: 1px solid var(--accent); border-radius: 14px; background: var(--accent-soft); }
.install-card > div { display: grid; }
.install-card span { color: var(--accent); font-size: .76rem; font-weight: 820; letter-spacing: .08em; text-transform: uppercase; }
.install-card strong { font-size: 1.2rem; }
.install-card code { display: block; overflow-x: auto; padding: .75rem; border: 1px solid var(--line); border-radius: 8px; background: #05080c; white-space: nowrap; }
.install-card p { margin: 0; color: var(--muted); font-size: .9rem; }
.install-card b { color: var(--text); }
.benchmark-metrics { display: grid; grid-template-columns: repeat(5, 1fr); gap: .75rem; margin-top: 2.4rem; }
.benchmark-metrics article { display: grid; gap: .3rem; min-height: 145px; padding: 1.15rem; border: 1px solid var(--line); border-radius: 14px; background: rgba(16,21,29,.82); }
.benchmark-metrics article > span { color: var(--muted); font-size: .73rem; font-weight: 800; letter-spacing: .07em; text-transform: uppercase; }
.benchmark-metrics strong { align-self: end; font-size: clamp(1.5rem, 2.6vw, 2.35rem); line-height: 1; letter-spacing: -.04em; }
.benchmark-metrics small { color: var(--muted); }
.benchmark-metrics .benchmark-primary { border-color: var(--accent); background: var(--accent-soft); }
.benchmark-metrics .benchmark-primary strong { color: var(--accent); }
.benchmark-disclosure { display: flex; justify-content: space-between; gap: 2rem; margin-top: 1rem; padding: 1rem 1.15rem; border: 1px solid var(--line); border-radius: 12px; color: var(--muted); font-size: .87rem; }
.benchmark-disclosure p { max-width: 760px; margin: 0; }
.benchmark-disclosure strong { color: var(--text); }
.benchmark-links { display: flex; flex-wrap: wrap; justify-content: flex-end; align-content: flex-start; gap: .55rem 1rem; min-width: 270px; }
.benchmark-links a { color: var(--accent); font-weight: 760; text-decoration: none; }

.hero { min-height: 760px; display: grid; grid-template-columns: 1.08fr .92fr; align-items: center; gap: 4.5rem; padding-block: 7rem 5rem; }
.eyebrow { color: var(--accent); text-transform: uppercase; letter-spacing: .14em; font-size: .77rem; font-weight: 820; }
h1, .hero-title { font-size: clamp(3rem, 6.7vw, 6rem); line-height: .98; letter-spacing: -.055em; margin: .5rem 0 1.4rem; max-width: 900px; }
h2 { font-size: clamp(2rem, 4.2vw, 4rem); line-height: 1.05; letter-spacing: -.04em; margin: .45rem 0 1.2rem; }
h3 { line-height: 1.2; }
.hero-lead { color: var(--muted); font-size: clamp(1.08rem, 2vw, 1.3rem); max-width: 720px; }
.hero-actions { display: flex; gap: .8rem; margin-top: 2rem; flex-wrap: wrap; }
.trust-row { display: flex; flex-wrap: wrap; gap: .7rem 1.25rem; list-style: none; padding: 0; margin: 2.2rem 0 0; color: var(--muted); font-size: .9rem; }
.trust-row li::before { content: "✓"; color: var(--accent); margin-right: .4rem; }

.trace-card { border: 1px solid var(--line); background: linear-gradient(160deg, var(--surface-2), var(--surface)); padding: 1.25rem; border-radius: 20px; box-shadow: 0 30px 80px rgba(0,0,0,.36); }
.trace-label { display: flex; justify-content: space-between; gap: 1rem; color: var(--muted); font-size: .78rem; text-transform: uppercase; letter-spacing: .08em; margin-bottom: .9rem; }
.trace-label strong { color: var(--warning); }
.trace-row { display: grid; grid-template-columns: 34px 1fr auto; gap: .8rem; align-items: center; padding: 1rem .65rem; border-top: 1px solid var(--line); }
.trace-num { color: var(--muted); font-family: ui-monospace, monospace; font-size: .78rem; }
.trace-row div { display: grid; }
.trace-row small { color: var(--muted); }
.status { font-size: .68rem; font-weight: 850; letter-spacing: .08em; border-radius: 999px; padding: .28rem .5rem; border: 1px solid var(--line); }
.status.ok { color: var(--accent); }
.status.warn { color: var(--warning); }
.status.stop { color: var(--danger); }
.trace-note { color: var(--muted); font-size: .83rem; margin: .85rem .65rem .2rem; }

.section { padding-block: 6.5rem; border-top: 1px solid var(--line); }
.thesis, .community-section, .roadmap-section { background: var(--surface); }
.dark-band { background: #06080c; }
.section-heading { max-width: 790px; margin-bottom: 3rem; }
.section-heading > p:last-child, .body-copy { color: var(--muted); }
.body-copy strong { color: var(--text); }
.split { display: grid; grid-template-columns: 1fr 1fr; gap: 5rem; align-items: start; }
.compact-gap { gap: 3rem; }

.metric-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 1rem; }
.metric-grid article, .decision-cards article { border: 1px solid var(--line); border-radius: 14px; padding: 1.35rem; background: var(--surface); }
.metric-grid article > span:first-child { color: var(--accent); font-size: .75rem; font-weight: 850; letter-spacing: .1em; }
.metric-grid p, .decision-cards p { color: var(--muted); font-size: .94rem; }
.metric-grid .accent-card { border-color: var(--accent); background: linear-gradient(160deg, var(--accent-soft), var(--surface)); }
.evidence-banner { margin-top: 1rem; border: 1px solid var(--line); border-radius: 14px; padding: 1.15rem 1.35rem; display: grid; grid-template-columns: auto 1fr; gap: 1.2rem; align-items: center; }
.evidence-key { color: var(--accent); font-size: .75rem; font-weight: 850; text-transform: uppercase; letter-spacing: .1em; }

.terminal { display: grid; gap: .4rem; margin: 1.5rem 0; border: 1px solid var(--line); border-radius: 12px; padding: 1.2rem; background: #05080c; font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; }
.terminal span, .terminal small { color: var(--muted); }
.terminal b { color: var(--accent); }
.fine-print { color: var(--muted); font-size: .88rem; }

.logic-list { border-top: 1px solid var(--line); }
.logic-list div { display: grid; grid-template-columns: 180px 1fr; gap: 1rem; border-bottom: 1px solid var(--line); padding: 1rem 0; }
.logic-list span { color: var(--muted); }
.text-link { color: var(--accent); font-weight: 760; text-decoration: none; }

.decision-cards { display: grid; grid-template-columns: repeat(2, 1fr); gap: 1rem; }
.decision { display: inline-flex; border-radius: 999px; padding: .25rem .55rem; font-size: .69rem; font-weight: 850; letter-spacing: .08em; text-transform: uppercase; border: 1px solid var(--line); }
.decision.accept { color: var(--accent); }
.decision.partial { color: var(--warning); }
.decision.reject { color: var(--danger); }

.proof-list { display: grid; grid-template-columns: repeat(2, 1fr); gap: .7rem; }
.proof-list span { border: 1px solid var(--line); border-radius: 9px; padding: .8rem; color: var(--muted); }
.proof-list span::before { content: "✓"; color: var(--accent); margin-right: .5rem; }

.roadmap-line { display: grid; grid-template-columns: repeat(3, 1fr); gap: 1rem; margin-bottom: 2.5rem; }
.roadmap-line div { min-height: 170px; display: flex; flex-direction: column; gap: .45rem; border: 1px solid var(--line); border-radius: 14px; padding: 1.35rem; }
.roadmap-line span { color: var(--muted); font-size: .74rem; font-weight: 850; text-transform: uppercase; letter-spacing: .1em; }
.roadmap-line small { color: var(--muted); }
.roadmap-line .done { border-color: rgba(145,255,99,.4); }
.roadmap-line .current { border-color: var(--accent); background: var(--accent-soft); }

.cta { background: radial-gradient(circle at 50% 20%, rgba(145,255,99,.13), transparent 45%); }
footer { padding-block: 3rem; border-top: 1px solid var(--line); color: var(--muted); }
.footer-grid { display: grid; grid-template-columns: 2fr 1fr 1fr; gap: 2rem; }
.footer-grid div { display: flex; flex-direction: column; gap: .4rem; align-items: flex-start; }
.footer-grid p { margin: 0; }
.footer-grid a { text-decoration: none; }

@media (max-width: 900px) {
  .hero, .split { grid-template-columns: 1fr; }
  .hero { min-height: auto; gap: 2.5rem; padding-top: 5rem; }
  .metric-grid { grid-template-columns: repeat(2, 1fr); }
  .roadmap-line { grid-template-columns: 1fr; }
  .benchmark-metrics { grid-template-columns: repeat(2, 1fr); }
  .benchmark-disclosure { display: grid; }
  .benchmark-links { justify-content: flex-start; min-width: 0; }
  .nav-toggle { display: inline-flex; background: transparent; border: 1px solid var(--line); color: var(--text); padding: .55rem .75rem; border-radius: 8px; }
  .nav-links { display: none; position: absolute; left: 1rem; right: 1rem; top: 72px; background: var(--surface); border: 1px solid var(--line); border-radius: 12px; padding: 1rem; flex-direction: column; align-items: stretch; }
  .nav-links.open { display: flex; }
}

@media (max-width: 620px) {
  h1, .hero-title { font-size: 3.1rem; }
  .section { padding-block: 4.5rem; }
  .metric-grid, .decision-cards, .footer-grid, .proof-list { grid-template-columns: 1fr; }
  .trace-row { grid-template-columns: 28px 1fr; }
  .trace-row .status { grid-column: 2; justify-self: start; }
  .logic-list div { grid-template-columns: 1fr; gap: .25rem; }
  .evidence-banner { grid-template-columns: 1fr; }
  .benchmark-metrics { grid-template-columns: 1fr; }
  .benchmark-metrics article { min-height: 120px; }
}

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