/* ============================================================
   biject — landing page
   Design system: lean, proof-first. Alternating dark/white modes.
   ============================================================ */

:root {
  /* Dark mode surfaces */
  --black: #08090A;
  --near-black: #0C0E10;
  --panel: #121417;
  --panel-2: #16191D;
  --hairline-dark: #23272C;
  --ink-dark: #E9EBED;
  --ink-dark-dim: #9BA1A8;
  --ink-dark-faint: #5C636B;

  /* Light mode surfaces */
  --white: #FCFCFB;
  --paper: #F4F4F1;
  --hairline: #E2E2DD;
  --hairline-strong: #CFCFC8;
  --ink: #0E1012;
  --ink-dim: #565B61;
  --ink-faint: #8A8F95;

  /* Verdicts */
  --proved: #00C57A;
  --proved-dim: #0a8c5b;
  --refuted: #F5A623;
  --refuted-dim: #b9791a;

  --sans: "Geist", "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --serif: "Spectral", Georgia, "Times New Roman", serif;
  --mono: "JetBrains Mono", "IBM Plex Mono", ui-monospace, "SF Mono", Menlo, monospace;

  --maxw: 1180px;
  --gutter: clamp(20px, 5vw, 64px);
}

* { box-sizing: border-box; }

html { scroll-behavior: smooth; }

body {
  margin: 0;
  font-family: var(--sans);
  background: var(--black);
  color: var(--ink-dark);
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
  font-feature-settings: "cv01", "cv03", "ss01";
}

::selection { background: var(--proved); color: #04130C; }

h1, h2, h3, h4 { margin: 0; font-weight: 600; letter-spacing: -0.02em; line-height: 1.02; }
h2 { font-family: var(--serif); font-weight: 400; letter-spacing: -0.015em; }
p { margin: 0; }
a { color: inherit; text-decoration: none; }

.wrap { max-width: var(--maxw); margin: 0 auto; padding-inline: var(--gutter); }

/* ---------- Section modes ---------- */
section { position: relative; }
.mode-dark { background: var(--black); color: var(--ink-dark); --rule: var(--hairline-dark); --label: var(--ink-dark-faint); }
.mode-light { background: var(--white); color: var(--ink); --rule: var(--hairline); --label: var(--ink-faint); }
.section-pad { padding-block: clamp(72px, 11vh, 150px); }

/* ---------- Editorial section header ---------- */
.sec-head {
  display: grid;
  grid-template-columns: minmax(150px, 210px) 1fr;
  column-gap: clamp(22px, 4vw, 60px);
  row-gap: 18px;
  padding-top: 30px;
  border-top: 1px solid var(--rule);
  margin-bottom: clamp(46px, 7vh, 84px);
}
@media (max-width: 760px) { .sec-head { grid-template-columns: 1fr; row-gap: 14px; } }
.sec-tag { grid-column: 1; display: flex; flex-direction: column; gap: 7px; padding-top: 5px; }
.sec-no { font-family: var(--mono); font-size: 12px; color: var(--proved); letter-spacing: .02em; }
.sec-label { font-family: var(--mono); font-size: 11px; letter-spacing: .16em; text-transform: uppercase; color: var(--label); }
.sec-head h2 {
  grid-column: 2;
  font-size: clamp(28px, 3.9vw, 50px);
  line-height: 1.07;
  letter-spacing: -0.012em;
  margin: -6px 0 0;
  text-wrap: balance;
  max-width: 20ch;
}
.sec-head p { grid-column: 2; font-size: clamp(15px, 1.25vw, 17.5px); line-height: 1.58; max-width: 48ch; }
.mode-dark .sec-head p { color: var(--ink-dark-dim); }
.mode-light .sec-head p { color: var(--ink-dim); }

/* legacy kicker (hero/integration eyebrow) */
.kicker {
  font-family: var(--mono); font-size: 11px; letter-spacing: 0.16em;
  text-transform: uppercase; display: inline-flex; align-items: center; gap: 9px;
}
.mode-dark .kicker { color: var(--ink-dark-faint); }
.mode-light .kicker { color: var(--ink-faint); }

/* ============================================================
   Nav
   ============================================================ */
.nav {
  position: fixed; inset: 0 0 auto 0; z-index: 100;
  height: 64px;
  display: flex; align-items: center;
  border-bottom: 1px solid transparent;
  transition: background .35s ease, border-color .35s ease, backdrop-filter .35s ease;
}
.nav.scrolled {
  background: rgba(8,9,10,.78);
  backdrop-filter: blur(14px);
  border-bottom: 1px solid var(--hairline-dark);
}
.nav .wrap { display: flex; align-items: center; justify-content: space-between; width: 100%; }
.wordmark {
  font-family: var(--mono);
  font-size: 18px; font-weight: 600; letter-spacing: -0.01em;
  color: var(--ink-dark);
  display: inline-flex; align-items: baseline; gap: 8px;
}
.wordmark .maps { color: var(--proved); font-size: 21px; }
.nav-links { display: flex; align-items: center; gap: 26px; }
.nav-links a {
  font-size: 14px; color: var(--ink-dark-dim);
  transition: color .2s ease; white-space: nowrap;
}
.nav-links a:hover { color: var(--ink-dark); }
@media (max-width: 760px) { .nav-links .nl-hide { display: none; } }

/* ============================================================
   Buttons
   ============================================================ */
.btn {
  font-family: var(--sans);
  font-size: 15px; font-weight: 500;
  padding: 11px 20px;
  border-radius: 7px;
  border: 1px solid transparent;
  cursor: pointer;
  display: inline-flex; align-items: center; gap: 9px;
  transition: transform .15s ease, background .2s ease, border-color .2s ease, color .2s ease;
  white-space: nowrap;
}
.btn:active { transform: translateY(1px); }
.btn-primary { background: var(--proved); color: #FFFFFF; border-color: var(--proved); font-weight: 600; }
.btn-primary:hover { background: #15d98c; box-shadow: 0 0 0 4px rgba(0,197,122,.16); }
.btn-ghost { background: transparent; color: var(--ink-dark); border-color: var(--hairline-dark); }
.btn-ghost:hover { border-color: var(--ink-dark-dim); background: rgba(255,255,255,.03); }
.mode-light .btn-ghost { color: var(--ink); border-color: var(--hairline-strong); }
.mode-light .btn-ghost:hover { border-color: var(--ink); background: rgba(0,0,0,.02); }
.btn-sm { padding: 8px 15px; font-size: 13.5px; }
.btn .arr { transition: transform .2s ease; }
.btn:hover .arr { transform: translateX(3px); }

/* ============================================================
   Hero
   ============================================================ */
.hero { padding-top: 128px; padding-bottom: clamp(60px,8vh,110px); overflow: hidden; }
.hero-grid {
  display: grid; gap: clamp(36px, 5vw, 64px);
  grid-template-columns: 1.04fr 1fr;
  align-items: center;
}
@media (max-width: 860px) { .hero-grid { grid-template-columns: 1fr; } }

.hero h1 {
  font-family: var(--serif);
  font-weight: 300;
  font-size: clamp(40px, 6.6vw, 84px);
  line-height: 1.0;
  letter-spacing: -0.02em;
  margin-bottom: 28px;
}
.hero h1 .line2 { font-style: italic; font-weight: 400; color: var(--ink-dark); }
.hero .subline {
  font-family: var(--sans);
  font-size: clamp(16px, 1.4vw, 19px);
  line-height: 1.55;
  color: var(--ink-dark-dim);
  max-width: 33em;
  margin-bottom: 34px;
}
.hero .subline b { color: var(--ink-dark); font-weight: 500; }
.hero-ctas { display: flex; gap: 8px; flex-wrap: wrap; align-items: center; }
/* secondary CTA reads as a quiet text link, not a second button */
.hero .hero-ctas .btn-ghost { border-color: transparent; background: transparent; padding-inline: 12px; color: var(--ink-dark-dim); }
.hero .hero-ctas .btn-ghost:hover { color: var(--ink-dark); background: transparent; text-decoration: underline; text-underline-offset: 4px; }
.hero-meta { display: none; }

/* ---------- Terminal window ---------- */
.terminal {
  background: var(--near-black);
  border: 1px solid var(--hairline-dark);
  border-radius: 8px;
  overflow: hidden;
  box-shadow: 0 16px 44px -34px rgba(0,0,0,.7);
  font-family: var(--mono);
}
.term-bar {
  display: flex; align-items: center; gap: 8px;
  padding: 11px 14px;
  border-bottom: 1px solid var(--hairline-dark);
  background: var(--panel);
}
.hero .term-bar { justify-content: space-between; }
.term-path { font-family: var(--mono); font-size: 12px; color: var(--ink-dark-faint); letter-spacing: .02em; white-space: nowrap; }
.term-live { font-family: var(--mono); font-size: 11px; color: var(--ink-dark-dim); display: flex; align-items: center; gap: 7px; letter-spacing: .04em; white-space: nowrap; }
.live-dot { width: 6px; height: 6px; border-radius: 50%; background: var(--proved); animation: pulse 2.4s infinite; }
.term-caption { font-family: var(--mono); font-size: 11.5px; color: var(--ink-dark-faint); margin-top: 14px; padding-left: 2px; }
.term-dot { width: 11px; height: 11px; border-radius: 50%; background: var(--hairline-dark); }
.term-title { margin-left: 8px; font-size: 12px; color: var(--ink-dark-faint); letter-spacing: .02em; }
.term-title .blink { color: var(--proved); }
.term-body {
  padding: 20px 20px 22px;
  font-size: 13.5px;
  line-height: 1.7;
  min-height: 340px;
}
.term-line { white-space: pre-wrap; word-break: break-word; }
.tl-comment { color: var(--ink-dark-faint); }
.tl-key { color: #7fb2ff; }
.tl-str { color: var(--proved); }
.tl-num { color: var(--refuted); }
.tl-fn { color: var(--ink-dark); }
.tl-dim { color: var(--ink-dark-dim); }
.cursor {
  display: inline-block; width: 8px; height: 15px;
  background: var(--proved); vertical-align: -2px; margin-left: 2px;
  animation: blink 1s steps(1) infinite;
}
@keyframes blink { 50% { opacity: 0; } }

.verdict {
  margin-top: 16px; padding-top: 15px;
  border-top: 1px dashed var(--hairline-dark);
  display: flex; align-items: center; gap: 14px;
  font-size: 16px; font-weight: 600;
  opacity: 0; transform: translateY(6px);
  transition: opacity .4s ease, transform .4s ease;
}
.verdict.show { opacity: 1; transform: none; }
.verdict .badge {
  display: inline-flex; align-items: center; gap: 8px;
  padding: 4px 11px; border-radius: 5px; font-size: 14px;
  letter-spacing: .04em;
}
.verdict.is-proved .badge { color: var(--proved); border: 1px solid rgba(0,197,122,.4); background: rgba(0,197,122,.09); }
.verdict.is-refuted .badge { color: var(--refuted); border: 1px solid rgba(245,166,35,.4); background: rgba(245,166,35,.09); }
.verdict .timing { font-size: 12.5px; color: var(--ink-dark-faint); font-weight: 400; }
.verdict .reason { font-size: 12.5px; color: var(--ink-dark-dim); font-weight: 400; }
.verdict-foot {
  margin-top: 11px; font-size: 12px; font-weight: 400;
  opacity: 0; transition: opacity .4s ease .15s;
}
.verdict-foot.show { opacity: 1; }
.verdict-foot.is-proved { color: var(--proved-dim); }
.verdict-foot.is-refuted { color: var(--refuted-dim); }

/* Hero variant tag (design tool) */
.variant-switch {
  position: fixed; z-index: 120; bottom: 18px; right: 18px;
  background: rgba(8,9,10,.88); backdrop-filter: blur(10px);
  border: 1px solid var(--hairline-dark); border-radius: 9px;
  padding: 9px 11px; font-family: var(--mono); font-size: 11px;
  color: var(--ink-dark-dim); display: flex; align-items: center; gap: 10px;
  box-shadow: 0 12px 40px -16px rgba(0,0,0,.8);
}
.variant-switch .vs-label { letter-spacing: .1em; text-transform: uppercase; color: var(--ink-dark-faint); }
.variant-switch .vs-btns { display: flex; gap: 4px; }
.vs-btn {
  font-family: var(--mono); font-size: 11px; cursor: pointer;
  width: 26px; height: 24px; border-radius: 5px;
  border: 1px solid var(--hairline-dark); background: transparent; color: var(--ink-dark-dim);
  transition: all .15s ease;
}
.vs-btn:hover { border-color: var(--ink-dark-faint); color: var(--ink-dark); }
.vs-btn.active { background: var(--proved); color: #04130C; border-color: var(--proved); }

/* ============================================================
   (section heading styles consolidated above — editorial system)
   ============================================================ */

/* ============================================================
   Problem
   ============================================================ */
.problem-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 1px; background: var(--hairline-dark); border: 1px solid var(--hairline-dark); border-radius: 12px; overflow: hidden; }
@media (max-width: 820px) { .problem-grid { grid-template-columns: 1fr; } }
.problem-cell { background: var(--near-black); padding: 30px 28px 34px; }
.problem-cell .stat { font-family: var(--mono); font-size: clamp(34px,4.4vw,52px); font-weight: 600; letter-spacing: -.03em; line-height: 1; }
.problem-cell .stat.amber { color: var(--refuted); }
.problem-cell .stat.green { color: var(--proved); }
.problem-cell .stat-label { font-family: var(--mono); font-size: 11.5px; letter-spacing: .12em; text-transform: uppercase; color: var(--ink-dark-faint); margin-top: 14px; }
.problem-cell h3 { font-size: 19px; margin-top: 20px; margin-bottom: 9px; }
.problem-cell p { font-size: 14.5px; line-height: 1.6; color: var(--ink-dark-dim); }
.problem-cell .src { font-family: var(--mono); font-size: 11px; color: var(--ink-dark-faint); margin-top: 14px; }

/* ============================================================
   How it works
   ============================================================ */
.steps { display: grid; grid-template-columns: repeat(3,1fr); gap: 22px; }
@media (max-width: 820px) { .steps { grid-template-columns: 1fr; } }
.step {
  border: 1px solid var(--hairline); border-radius: 12px; padding: 28px 26px 30px;
  background: var(--white); position: relative; overflow: hidden;
}
.step .step-n { font-family: var(--mono); font-size: 12px; letter-spacing: .14em; color: var(--ink-faint); text-transform: uppercase; }
.step .step-glyph { font-family: var(--serif); font-size: 40px; color: var(--ink); margin: 16px 0 18px; line-height: 1; }
.step h3 { font-size: 20px; margin-bottom: 10px; }
.step p { font-size: 14.5px; line-height: 1.6; color: var(--ink-dim); }
.step .step-code { margin-top: 18px; font-family: var(--mono); font-size: 12px; color: var(--ink-dim); background: var(--paper); border: 1px solid var(--hairline); border-radius: 7px; padding: 12px 13px; line-height: 1.6; white-space: pre-wrap; }
.step .step-code .hl { color: var(--proved-dim); }
.step .step-code .am { color: var(--refuted-dim); }

.flow-arrow { text-align: center; font-family: var(--mono); color: var(--ink-faint); font-size: 22px; }

/* ============================================================
   Comparison table
   ============================================================ */
.cmp { border: 1px solid var(--hairline); border-radius: 13px; overflow: hidden; }
.cmp table { width: 100%; border-collapse: collapse; }
.cmp th, .cmp td { text-align: left; padding: 17px 22px; font-size: 14.5px; vertical-align: top; }
.cmp thead th { font-family: var(--mono); font-size: 12px; letter-spacing: .04em; font-weight: 500; color: var(--ink-dim); border-bottom: 1px solid var(--hairline); background: var(--paper); }
.cmp thead th.col-biject { color: var(--ink); background: #ECF8F2; }
.cmp tbody tr { border-bottom: 1px solid var(--hairline); }
.cmp tbody tr:last-child { border-bottom: none; }
.cmp td.row-label { font-weight: 500; color: var(--ink); width: 24%; }
.cmp td { color: var(--ink-dim); }
.cmp td.col-biject { color: var(--ink); font-weight: 500; background: #F4FBF7; }
.cmp .chk { color: var(--proved-dim); font-family: var(--mono); }
.cmp .no { color: var(--ink-faint); font-family: var(--mono); }
.cmp .mono { font-family: var(--mono); font-size: 13px; }
.cmp-note { font-family: var(--mono); font-size: 11.5px; color: var(--ink-faint); margin-top: 14px; }

/* ============================================================
   Live demo
   ============================================================ */
.demo-banner {
  display: inline-flex; align-items: center; gap: 10px;
  font-family: var(--mono); font-size: 12px; letter-spacing: .03em;
  color: var(--refuted); border: 1px solid rgba(245,166,35,.35);
  background: rgba(245,166,35,.07); border-radius: 6px; padding: 7px 13px;
  margin-bottom: 26px;
}
.demo-banner::before { content: "●"; font-size: 8px; }
.demo-wrap { display: grid; grid-template-columns: 320px 1fr; gap: 24px; }
@media (max-width: 880px) { .demo-wrap { grid-template-columns: 1fr; } }
.demo-scenarios { display: flex; flex-direction: column; gap: 10px; }
.scn {
  text-align: left; cursor: pointer; font-family: var(--sans);
  border: 1px solid var(--hairline-dark); background: var(--panel);
  border-radius: 10px; padding: 15px 16px; color: var(--ink-dark);
  transition: border-color .18s ease, background .18s ease;
}
.scn:hover { border-color: var(--ink-dark-faint); }
.scn.active { border-color: var(--proved); background: var(--panel-2); }
.scn .scn-tag { font-family: var(--mono); font-size: 11px; letter-spacing: .1em; text-transform: uppercase; color: var(--ink-dark-faint); }
.scn .scn-title { font-size: 15px; font-weight: 500; margin-top: 7px; }
.scn .scn-sub { font-size: 13px; color: var(--ink-dark-dim); margin-top: 4px; line-height: 1.4; }
.scn.active .scn-tag { color: var(--proved); }

.demo-term { min-height: 360px; }
.demo-term .term-body { min-height: 320px; }
.run-row { display: flex; align-items: center; gap: 13px; margin-top: 18px; }

/* ============================================================
   Regulatory coverage
   ============================================================ */
.reg-grid { display: grid; grid-template-columns: repeat(3,1fr); gap: 16px; }
@media (max-width: 880px) { .reg-grid { grid-template-columns: repeat(2,1fr); } }
@media (max-width: 560px) { .reg-grid { grid-template-columns: 1fr; } }
.reg-card { border: 1px solid var(--hairline); border-radius: 11px; padding: 22px 22px 24px; background: var(--white); transition: border-color .2s ease, transform .2s ease; }
.reg-card:hover { border-color: var(--hairline-strong); transform: translateY(-2px); }
.reg-card .reg-code { font-family: var(--mono); font-size: 12px; color: var(--proved-dim); letter-spacing: .04em; }
.reg-card h3 { font-size: 17px; margin-top: 10px; margin-bottom: 9px; letter-spacing: -.01em; }
.reg-card p { font-size: 13.5px; line-height: 1.55; color: var(--ink-dim); }
.reg-card .reg-status { margin-top: 16px; font-family: var(--mono); font-size: 11.5px; color: var(--ink-faint); display: flex; align-items: center; gap: 7px; }

/* ============================================================
   Integration
   ============================================================ */
.integ-grid { display: grid; grid-template-columns: 1fr 1.15fr; gap: clamp(30px,5vw,56px); align-items: center; }
@media (max-width: 880px) { .integ-grid { grid-template-columns: 1fr; } }
.code-block { background: var(--near-black); border: 1px solid var(--hairline-dark); border-radius: 12px; overflow: hidden; box-shadow: 0 24px 60px -34px rgba(0,0,0,.6); }
.code-block .term-bar { background: var(--panel); }
.code-body { padding: 20px 22px; font-family: var(--mono); font-size: 13px; line-height: 1.75; color: var(--ink-dark); overflow-x: auto; }
.code-body .c-kw { color: #c792ea; }
.code-body .c-fn { color: #7fb2ff; }
.code-body .c-str { color: var(--proved); }
.code-body .c-num { color: var(--refuted); }
.code-body .c-com { color: var(--ink-dark-faint); }
.code-body .c-prop { color: #7fb2ff; }
.integ-points { display: flex; flex-direction: column; gap: 22px; }
.integ-point { display: flex; gap: 15px; }
.integ-point .ip-glyph { font-family: var(--serif); color: var(--ink); font-size: 24px; flex-shrink: 0; margin-top: -2px; line-height: 1; }
.integ-point h3 { font-size: 17px; margin-bottom: 6px; }
.integ-point p { font-size: 14px; line-height: 1.55; color: var(--ink-dim); }

/* ============================================================
   Footer CTA
   ============================================================ */
.footcta { text-align: center; padding-block: clamp(90px,13vh,160px); }
.footcta h2 { font-size: clamp(34px,5vw,62px); letter-spacing: -.025em; line-height: 1.04; margin: 0 auto 24px; max-width: 17ch; text-wrap: balance; }
.footcta h2 .g { color: var(--proved); }
.footcta p { font-size: clamp(16px,1.5vw,19px); color: var(--ink-dark-dim); max-width: 32em; margin: 0 auto 34px; line-height: 1.5; }
.footcta .hero-ctas { justify-content: center; }

.footer { border-top: 1px solid var(--hairline-dark); padding-block: 40px; }
.footer .wrap { display: flex; align-items: center; justify-content: space-between; flex-wrap: wrap; gap: 18px; }
.footer .f-links { display: flex; gap: 26px; font-size: 13.5px; color: var(--ink-dark-faint); flex-wrap: wrap; }
.footer .f-links a:hover { color: var(--ink-dark-dim); }
.footer .f-copy { font-family: var(--mono); font-size: 12px; color: var(--ink-dark-faint); }

/* ============================================================
   Instrument console (forge-inspired live dashboard)
   ============================================================ */
.console {
  border: 1px solid var(--hairline-dark);
  border-radius: 14px;
  background: var(--near-black);
  overflow: hidden;
  box-shadow: 0 40px 100px -40px rgba(0,0,0,.85);
}
.console-head {
  display: flex; align-items: center; justify-content: space-between;
  padding: 13px 18px; border-bottom: 1px solid var(--hairline-dark);
  background: var(--panel); font-family: var(--mono);
}
.console-title { display: flex; align-items: center; gap: 8px; font-size: 13px; color: var(--ink-dark-dim); }
.console-title .hl-live { color: var(--proved); }
.console-live { font-size: 11.5px; color: var(--ink-dark-faint); display: flex; align-items: center; gap: 8px; letter-spacing: .02em; }
.pulse { width: 7px; height: 7px; border-radius: 50%; background: var(--proved); box-shadow: 0 0 0 0 rgba(0,197,122,.6); animation: pulse 2s infinite; }
@keyframes pulse { 0%{box-shadow:0 0 0 0 rgba(0,197,122,.5);} 70%{box-shadow:0 0 0 7px rgba(0,197,122,0);} 100%{box-shadow:0 0 0 0 rgba(0,197,122,0);} }

.console-tabs { display: flex; gap: 0; border-bottom: 1px solid var(--hairline-dark); background: var(--black); overflow-x: auto; }
.ctab {
  font-family: var(--mono); font-size: 12.5px; cursor: pointer;
  padding: 13px 20px; background: transparent; border: none; color: var(--ink-dark-faint);
  border-bottom: 2px solid transparent; white-space: nowrap; transition: color .15s ease, border-color .15s ease;
}
.ctab:hover { color: var(--ink-dark-dim); }
.ctab.active { color: var(--ink-dark); border-bottom-color: var(--proved); }

.console-body { display: grid; grid-template-columns: 216px 1fr; min-height: 440px; }
@media (max-width: 820px) { .console-body { grid-template-columns: 1fr; } }
.stat-rail { border-right: 1px solid var(--hairline-dark); padding: 8px; display: flex; flex-direction: column; gap: 2px; }
@media (max-width: 820px) { .stat-rail { flex-direction: row; flex-wrap: wrap; border-right: none; border-bottom: 1px solid var(--hairline-dark); } .stat-readout { flex: 1 1 40%; } }
.stat-readout { padding: 13px 14px; border-radius: 8px; }
.stat-readout .sr-label { font-family: var(--mono); font-size: 10.5px; letter-spacing: .12em; text-transform: uppercase; color: var(--ink-dark-faint); }
.stat-readout .sr-val { font-family: var(--mono); font-size: 26px; font-weight: 600; letter-spacing: -.02em; margin-top: 6px; color: var(--ink-dark); }
.stat-readout .sr-val.green { color: var(--proved); }
.stat-readout .sr-val.amber { color: var(--refuted); }
.stat-readout .sr-sub { font-family: var(--mono); font-size: 10.5px; color: var(--ink-dark-faint); margin-top: 3px; }

.console-main { padding: 20px; position: relative; }
.cpanel { display: none; }
.cpanel.active { display: block; animation: fadeIn .35s ease; }
@keyframes fadeIn { from { opacity: 0; transform: translateY(6px); } to { opacity: 1; transform: none; } }

.panel-head { display: flex; align-items: center; justify-content: space-between; font-family: var(--mono); font-size: 13px; color: var(--ink-dark); margin-bottom: 14px; }
.panel-meta { font-size: 11.5px; color: var(--ink-dark-faint); display: inline-flex; align-items: center; gap: 8px; }

/* verifier inside console */
.console .demo-wrap { display: grid; grid-template-columns: 280px 1fr; gap: 18px; }
@media (max-width: 760px) { .console .demo-wrap { grid-template-columns: 1fr; } }
.console .scn { background: var(--black); }
.console .demo-term { background: var(--black); }
.console .demo-term .term-body { min-height: 250px; }
.run-hint { font-family: var(--mono); font-size: 12px; color: var(--ink-dark-faint); }

/* proof feed */
.feed-table { font-family: var(--mono); font-size: 12.5px; }
.feed-row { display: grid; grid-template-columns: 78px 1fr 150px 110px 64px; gap: 12px; padding: 9px 6px; border-bottom: 1px solid var(--hairline-dark); align-items: center; }
@media (max-width: 640px) { .feed-row { grid-template-columns: 60px 1fr 70px; } .feed-row .fc-caller, .feed-row .fc-lat { display: none; } }
.feed-head { color: var(--ink-dark-faint); font-size: 10.5px; letter-spacing: .1em; text-transform: uppercase; border-bottom: 1px solid var(--hairline-dark); }
.feed-row .fc-time { color: var(--ink-dark-faint); }
.feed-row .fc-action { color: var(--ink-dark-dim); }
.feed-row .fc-action b { color: var(--ink-dark); font-weight: 500; }
.feed-row .fc-caller { color: var(--ink-dark-faint); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.feed-row .fc-lat { color: var(--ink-dark-faint); }
.feed-v { display: inline-flex; align-items: center; gap: 6px; padding: 2px 9px; border-radius: 4px; font-size: 11.5px; }
.feed-v.proved { color: var(--proved); background: rgba(0,197,122,.09); border: 1px solid rgba(0,197,122,.28); }
.feed-v.refuted { color: var(--refuted); background: rgba(245,166,35,.09); border: 1px solid rgba(245,166,35,.28); }
.feed-new { animation: feedIn .5s ease; }
@keyframes feedIn { from { opacity: 0; background: rgba(0,197,122,.07); } to { opacity: 1; } }

/* spec registry */
.spec-table { font-family: var(--mono); font-size: 12.5px; }
.spec-r { display: grid; grid-template-columns: 1.4fr 60px 1fr 90px; gap: 12px; padding: 12px 6px; border-bottom: 1px solid var(--hairline-dark); align-items: center; }
@media (max-width: 640px) { .spec-r { grid-template-columns: 1fr 80px; } .spec-r .sp-ver, .spec-r .sp-owner { display: none; } }
.spec-r .sp-name { color: var(--ink-dark); }
.spec-r .sp-name small { color: var(--ink-dark-faint); display: block; font-size: 11px; margin-top: 2px; }
.spec-r .sp-ver, .spec-r .sp-owner { color: var(--ink-dark-faint); }
.spec-r .sp-status { color: var(--proved); display: inline-flex; align-items: center; gap: 6px; justify-self: start; }

/* latency */
.lat-stats { display: grid; grid-template-columns: repeat(4,1fr); gap: 14px; margin-bottom: 26px; }
@media (max-width: 560px) { .lat-stats { grid-template-columns: repeat(2,1fr); } }
.lat-stat { border: 1px solid var(--hairline-dark); border-radius: 9px; padding: 15px 16px; }
.lat-stat .ls-label { font-family: var(--mono); font-size: 10.5px; letter-spacing: .1em; text-transform: uppercase; color: var(--ink-dark-faint); }
.lat-stat .ls-val { font-family: var(--mono); font-size: 24px; font-weight: 600; color: var(--ink-dark); margin-top: 7px; }
.lat-stat .ls-val.green { color: var(--proved); }
.lat-spark { border-top: 1px dashed var(--hairline-dark); padding-top: 18px; }
.spark-bars { display: flex; align-items: flex-end; gap: 3px; height: 110px; }
.spark-bars .bar { flex: 1; background: linear-gradient(to top, rgba(0,197,122,.35), var(--proved)); border-radius: 2px 2px 0 0; min-height: 3px; transition: height .4s ease; }
.spark-bars .bar.over { background: linear-gradient(to top, rgba(245,166,35,.4), var(--refuted)); }
.spark-axis { display: flex; justify-content: space-between; font-family: var(--mono); font-size: 10.5px; color: var(--ink-dark-faint); margin-top: 8px; }

/* audit */
.audit-table { font-family: var(--mono); font-size: 12.5px; }
.audit-r { display: grid; grid-template-columns: 130px 1fr 100px 84px; gap: 12px; padding: 11px 6px; border-bottom: 1px solid var(--hairline-dark); align-items: center; }
@media (max-width: 640px) { .audit-r { grid-template-columns: 1fr 84px; } .audit-r .au-action, .audit-r .au-time { display: none; } }
.audit-r .au-id { color: #7fb2ff; }
.audit-r .au-action { color: var(--ink-dark-dim); }
.audit-r .au-time { color: var(--ink-dark-faint); }
.audit-r .au-check { color: var(--proved); display: inline-flex; align-items: center; gap: 6px; }
.export-btn { font-family: var(--mono); font-size: 11px; cursor: pointer; background: transparent; border: 1px solid var(--hairline-dark); color: var(--ink-dark-dim); border-radius: 5px; padding: 3px 9px; transition: all .15s ease; }
.export-btn:hover { border-color: var(--proved); color: var(--proved); }

/* ============================================================
   Onboarding timeline
   ============================================================ */
.timeline { display: grid; grid-template-columns: repeat(4,1fr); gap: 24px; position: relative; }
@media (max-width: 820px) { .timeline { grid-template-columns: 1fr 1fr; gap: 36px 24px; } }
@media (max-width: 480px) { .timeline { grid-template-columns: 1fr; } }
.tl-track { position: absolute; top: 22px; left: 22px; right: 22px; height: 1px; background: var(--hairline); }
@media (max-width: 820px) { .tl-track { display: none; } }
.tl-step { position: relative; }
.tl-node {
  width: 46px; height: 46px; border-radius: 11px;
  border: 1px solid var(--hairline-strong); background: var(--white);
  display: flex; align-items: center; justify-content: center;
  font-family: var(--serif); font-size: 26px; color: var(--ink);
  position: relative; z-index: 1; margin-bottom: 18px;
}
.tl-when { font-family: var(--mono); font-size: 11px; letter-spacing: .12em; text-transform: uppercase; color: var(--ink-faint); margin-bottom: 9px; }
.tl-step h3 { font-size: 18px; margin-bottom: 8px; letter-spacing: -.01em; }
.tl-step p { font-size: 14px; line-height: 1.55; color: var(--ink-dim); }

/* ============================================================
   Problem — callouts, cards, pull-quote
   ============================================================ */
.callouts { display: grid; grid-template-columns: repeat(3, 1fr); gap: clamp(24px, 4vw, 48px); margin-bottom: clamp(40px, 6vh, 64px); }
@media (max-width: 820px) { .callouts { grid-template-columns: 1fr; gap: 30px; } }
.callout { border-top: 1px solid var(--hairline-dark); padding-top: 22px; }
.callout-n { font-family: var(--mono); font-size: clamp(34px, 4.4vw, 52px); font-weight: 600; letter-spacing: -.03em; line-height: 1; color: var(--ink-dark); }
.callout-n.amber { color: var(--refuted); }
.callout p { margin-top: 16px; font-size: 14px; line-height: 1.6; color: var(--ink-dark-dim); max-width: 36ch; }

.prob-cards { display: grid; grid-template-columns: repeat(3, 1fr); gap: 16px; }
@media (max-width: 820px) { .prob-cards { grid-template-columns: 1fr; } }
.prob-card { border: 1px solid var(--hairline-dark); border-radius: 12px; padding: 26px 24px 28px; background: var(--near-black); }
.pc-mark { font-family: var(--mono); font-size: 22px; color: var(--ink-dark-faint); margin-bottom: 16px; }
.prob-card h3 { font-family: var(--sans); font-weight: 600; font-size: 18px; margin-bottom: 11px; letter-spacing: -.01em; }
.prob-card p { font-size: 13.5px; line-height: 1.6; color: var(--ink-dark-dim); }

.pullquote { margin: clamp(48px, 7vh, 84px) 0 0; max-width: 62ch; border: none; padding: 0; }
.pullquote p { font-family: var(--serif); font-style: italic; font-weight: 300; font-size: clamp(20px, 2.4vw, 30px); line-height: 1.4; letter-spacing: -.01em; }
.mode-dark .pullquote p { color: var(--ink-dark); }
.mode-light .pullquote p { color: var(--ink); }
.pullquote cite { display: block; margin-top: 18px; font-family: var(--mono); font-size: 12px; font-style: normal; letter-spacing: .04em; color: var(--label); }

/* ============================================================
   How it works — step tagline, arch note
   ============================================================ */
.step-tagline { font-family: var(--sans); font-weight: 600; font-size: 18px; color: var(--ink); margin-bottom: 11px; letter-spacing: -.01em; }
.arch-note { font-family: var(--mono); font-size: 12.5px; line-height: 1.65; color: var(--label); margin-top: clamp(30px, 4.5vh, 48px); max-width: 74ch; }
.step-code .c-com { color: var(--ink-faint); }
.step-code .c-kw { color: #7a3ea8; }
.step-code .c-fn { color: #2563a8; }
.step-code .c-num { color: var(--refuted-dim); }

/* ============================================================
   Use cases
   ============================================================ */
.usecases { display: grid; grid-template-columns: repeat(2, 1fr); gap: 16px; }
@media (max-width: 760px) { .usecases { grid-template-columns: 1fr; } }
.usecase { border: 1px solid var(--hairline-dark); border-radius: 12px; padding: 28px 26px; background: var(--near-black); }
.uc-label { font-family: var(--mono); font-size: 12px; letter-spacing: .02em; color: var(--ink-dark); margin-bottom: 14px; }
.usecase > p { font-size: 14px; line-height: 1.6; color: var(--ink-dark-dim); }
.uc-eg { margin-top: 18px; font-family: var(--mono); font-size: 12px; line-height: 1.7; color: var(--ink-dark-dim); background: var(--black); border: 1px solid var(--hairline-dark); border-radius: 9px; padding: 14px 15px; white-space: pre-wrap; word-break: break-word; }
.uc-eg-t { display: block; font-size: 10.5px; letter-spacing: .12em; text-transform: uppercase; color: var(--ink-dark-faint); margin-bottom: 9px; }

/* ============================================================
   Regulatory cards — requirement / satisfies
   ============================================================ */
.reg-meta-label { font-family: var(--mono); font-size: 10.5px; letter-spacing: .12em; text-transform: uppercase; color: var(--ink-faint); display: block; margin: 16px 0 5px; }
.reg-req { font-size: 13px; line-height: 1.55; color: var(--ink-dim); }
.reg-sat { font-size: 13px; line-height: 1.55; color: var(--ink); display: flex; gap: 8px; }
.reg-sat .rs-mark { color: var(--proved-dim); flex-shrink: 0; }

/* ============================================================
   Integration — options, docker
   ============================================================ */
.integ-options { display: grid; grid-template-columns: repeat(auto-fit, minmax(330px, 1fr)); gap: 18px; }
.io-head { display: flex; align-items: baseline; gap: 11px; margin-bottom: 13px; }
.io-n { font-family: var(--mono); font-size: 12px; color: var(--proved-dim); }
.io-label { font-family: var(--sans); font-weight: 600; font-size: 16px; color: var(--ink); }
.integ-option .code-block { height: calc(100% - 42px); }
.integ-option .code-body { font-size: 12px; line-height: 1.7; }
.integ-option .code-body pre { margin: 0; font-family: inherit; white-space: pre-wrap; word-break: break-word; }
.docker-note { display: flex; gap: 18px; border: 1px solid var(--hairline); border-radius: 12px; padding: 24px 26px; margin-top: 22px; background: var(--paper); }
.dn-glyph { font-family: var(--serif); font-size: 28px; color: var(--ink); line-height: 1; flex-shrink: 0; }
.docker-note h3 { font-family: var(--sans); font-weight: 600; font-size: 17px; margin-bottom: 8px; }
.docker-note p { font-size: 14px; line-height: 1.6; color: var(--ink-dim); max-width: 70ch; }
.dn-code { margin-top: 14px; font-family: var(--mono); font-size: 12.5px; color: var(--ink-dim); background: var(--white); border: 1px solid var(--hairline); border-radius: 7px; padding: 11px 13px; display: inline-block; }

/* ============================================================
   Research
   ============================================================ */
.research-grid { display: grid; grid-template-columns: 0.85fr 1.15fr; gap: clamp(28px, 5vw, 56px); align-items: start; }
@media (max-width: 820px) { .research-grid { grid-template-columns: 1fr; gap: 32px; } }
.citation { border-top: 1px solid var(--proved); padding-top: 22px; margin-bottom: 26px; }
.citation-authors { font-family: var(--mono); font-size: 12.5px; color: var(--ink-dark-dim); }
.citation-title { font-family: var(--serif); font-style: italic; font-size: clamp(19px, 2vw, 24px); line-height: 1.32; color: var(--ink-dark); margin: 13px 0; }
.citation-arxiv { font-family: var(--mono); font-size: 12px; color: var(--proved); }
.paper-abstract { border: 1px solid var(--hairline-dark); border-radius: 12px; padding: 28px 30px; background: var(--near-black); margin: 0; }
.pa-label { font-family: var(--mono); font-size: 11px; letter-spacing: .16em; text-transform: uppercase; color: var(--ink-dark-faint); margin-bottom: 14px; }
.paper-abstract p { font-family: var(--serif); font-size: 16px; line-height: 1.62; color: var(--ink-dark-dim); }
.aws-callout { display: flex; gap: 20px; align-items: flex-start; border-top: 1px solid var(--hairline-dark); padding-top: 30px; margin-top: clamp(40px, 6vh, 64px); max-width: 82ch; }
.awsc-mark { font-family: var(--serif); font-size: 30px; color: var(--ink-dark); line-height: 1; flex-shrink: 0; }
.awsc-kicker { font-family: var(--mono); font-size: 11px; letter-spacing: .14em; text-transform: uppercase; color: var(--proved); margin-bottom: 10px; }
.aws-callout p { font-size: 15px; line-height: 1.62; color: var(--ink-dark-dim); }
.aws-callout b { color: var(--ink-dark); font-weight: 500; }

/* Research section button spacing */
.research-left .btn {
  display: block;
  margin-top: 10px;
}
.research-left .btn:first-of-type {
  margin-top: 26px;
}

/* ============================================================
   Demo footnote, footer CTA extras
   ============================================================ */
.demo-foot { font-family: var(--mono); font-size: 11.5px; line-height: 1.7; color: var(--ink-dark-faint); margin-top: 20px; max-width: 82ch; }
.demo-foot .mono { color: var(--ink-dark-dim); }
.footcta-ctas { justify-content: center; }
.footcta-contact { font-family: var(--sans); font-size: 13.5px; color: var(--ink-dark-dim); margin-top: 28px; }
.footcta-contact a { color: var(--ink-dark); text-decoration: underline; text-underline-offset: 3px; }
.footcta h2 .g { font-style: italic; }


.reveal { opacity: 0; transform: translateY(18px); transition: opacity .7s cubic-bezier(.22,.61,.36,1), transform .7s cubic-bezier(.22,.61,.36,1); }
.reveal.in { opacity: 1; transform: none; }
@media (prefers-reduced-motion: reduce) {
  .reveal { opacity: 1; transform: none; transition: none; }
  .cursor, .verdict { transition: none; }
  html { scroll-behavior: auto; }
}