/* ============================================================
   Veripoint — The Protocol design system
   Canvas: green-tinted near-black · surfaces by luminance ladder
   Hairlines over shadows · green spent only on verified state
   Type: IBM Plex Sans / Mono / Serif-italic (self-hosted)
   ============================================================ */

/* ---------- fonts ---------- */
@font-face { font-family: "IBM Plex Sans"; src: url("fonts/plex-sans-400.woff2") format("woff2"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "IBM Plex Sans"; src: url("fonts/plex-sans-500.woff2") format("woff2"); font-weight: 500; font-style: normal; font-display: swap; }
@font-face { font-family: "IBM Plex Sans"; src: url("fonts/plex-sans-600.woff2") format("woff2"); font-weight: 600; font-style: normal; font-display: swap; }
@font-face { font-family: "IBM Plex Mono"; src: url("fonts/plex-mono-400.woff2") format("woff2"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "IBM Plex Mono"; src: url("fonts/plex-mono-500.woff2") format("woff2"); font-weight: 500; font-style: normal; font-display: swap; }
@font-face { font-family: "IBM Plex Mono"; src: url("fonts/plex-mono-600.woff2") format("woff2"); font-weight: 600; font-style: normal; font-display: swap; }
@font-face { font-family: "IBM Plex Serif"; src: url("fonts/plex-serif-italic.woff2") format("woff2"); font-weight: 400; font-style: italic; font-display: swap; }

/* ---------- tokens ---------- */
:root {
  --bg0: #05080a;
  --bg1: #070b0e;
  --s1: #0a1014;
  --s2: #0d1519;
  --s3: #111c22;

  --line: rgba(151, 196, 175, 0.09);
  --line-2: rgba(151, 196, 175, 0.16);
  --line-3: rgba(151, 196, 175, 0.30);

  --ink-hi: #eef3ef;
  --ink: #b9c8bf;
  --dim: #7d9086;
  --faint: #55665d;

  --green: #34e0ae;
  --green-soft: #a7f2d8;
  --green-deep: #0b2c22;
  --green-dim: rgba(52, 224, 174, 0.12);

  --amber: #c99a3f;
  --red: #cf6259;
  --blue: #6a93ad;

  --paper: #edf1ec;
  --paper-2: #e3e8e1;
  --paper-ink: #0c1411;
  --paper-dim: #46554d;

  --sans: "IBM Plex Sans", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;
  --mono: "IBM Plex Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --serif: "IBM Plex Serif", Georgia, serif;

  --r-sm: 8px;
  --r-md: 12px;
  --r-lg: 16px;

  /* motion grammar: expo-out, short travel, no bounce */
  --ease: cubic-bezier(0.16, 1, 0.3, 1);
  --t-fast: 150ms;

  /* legacy aliases (docs.html compatibility) */
  --bg: var(--bg0);
  --bg2: var(--bg1);
  --panel: var(--s1);
  --text: var(--ink-hi);
}

/* ---------- reset / base ---------- */
* { box-sizing: border-box; margin: 0; padding: 0; }
html { scroll-behavior: smooth; }
html, body { overflow-x: clip; }
body {
  background: var(--bg0);
  color: var(--ink);
  font-family: var(--sans);
  font-size: 16px;
  line-height: 1.65;
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
}
::selection { background: rgba(52, 224, 174, 0.22); color: var(--ink-hi); }
a { color: inherit; }
code, pre, kbd { font-family: var(--mono); }
img, svg { display: block; max-width: 100%; }
button { font: inherit; cursor: pointer; }

:focus-visible {
  outline: 1px solid var(--green);
  outline-offset: 3px;
  border-radius: 2px;
}

.skip-link {
  position: fixed; top: -48px; left: 16px; z-index: 200;
  background: var(--green); color: #04160f;
  font-family: var(--mono); font-size: 13px;
  padding: 10px 16px; border-radius: 0 0 8px 8px;
  text-decoration: none; transition: top var(--t-fast) var(--ease);
}
.skip-link:focus-visible { top: 0; }

/* faint engineering grid over the whole canvas */
body::before {
  content: "";
  position: fixed; inset: 0; z-index: 0; pointer-events: none;
  background-image:
    linear-gradient(to right, rgba(151, 196, 175, 0.035) 1px, transparent 1px),
    linear-gradient(to bottom, rgba(151, 196, 175, 0.035) 1px, transparent 1px);
  background-size: 48px 48px;
}
/* grain for tactility */
body::after {
  content: "";
  position: fixed; inset: 0; z-index: 0; pointer-events: none; opacity: 0.5;
  background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='120' height='120'%3E%3Cfilter id='n'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.9' numOctaves='2'/%3E%3CfeColorMatrix type='matrix' values='0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0.04 0'/%3E%3C/filter%3E%3Crect width='120' height='120' filter='url(%23n)'/%3E%3C/svg%3E");
}
body > * { position: relative; z-index: 1; }

.wrap { max-width: 1140px; margin: 0 auto; padding: 0 28px; }

/* corner registration ticks — technical-drawing motif */
.reg { position: relative; }
.reg::before, .reg::after {
  content: ""; position: absolute; width: 13px; height: 13px; pointer-events: none;
  border-color: var(--line-3); border-style: solid;
}
.reg::before { top: -1px; left: -1px; border-width: 1px 0 0 1px; }
.reg::after { bottom: -1px; right: -1px; border-width: 0 1px 1px 0; }

/* ---------- section scaffolding ---------- */
.section { padding: 108px 0; border-top: 1px solid var(--line); }
.section-head { max-width: 720px; margin-bottom: 56px; }
.eyebrow {
  display: flex; align-items: baseline; gap: 14px;
  font-family: var(--mono); font-size: 11.5px; font-weight: 500;
  letter-spacing: 0.22em; text-transform: uppercase;
  color: rgba(183, 200, 191, 0.62);
  margin-bottom: 20px;
}
.eyebrow .idx { color: var(--green); letter-spacing: 0.08em; }
.eyebrow .rule { flex: 0 0 44px; height: 1px; background: var(--line-3); align-self: center; }

h2 {
  font-size: clamp(28px, 4vw, 44px);
  line-height: 1.08;
  letter-spacing: -0.02em;
  font-weight: 600;
  color: var(--ink-hi);
  text-wrap: balance;
}
.sec-sub { margin-top: 16px; font-size: 17px; color: var(--dim); max-width: 640px; }
.sec-sub strong { color: var(--ink-hi); font-weight: 500; }
.sec-sub a { color: var(--green-soft); text-decoration: none; border-bottom: 1px solid rgba(52,224,174,.3); }
.sec-sub a:hover { color: var(--green); border-color: var(--green); }

.mono-label {
  font-family: var(--mono); font-size: 11px; font-weight: 500;
  letter-spacing: 0.18em; text-transform: uppercase; color: var(--dim);
}

/* ---------- reveal system (one of two motion signatures) ---------- */
.rv { opacity: 0; transform: translateY(16px); transition: opacity 600ms var(--ease), transform 600ms var(--ease); transition-delay: var(--rv-delay, 0ms); }
.rv.in { opacity: 1; transform: none; }

/* ---------- nav ---------- */
.nav {
  position: fixed; top: 0; left: 0; right: 0; z-index: 100;
  transition: background var(--t-fast) var(--ease), border-color var(--t-fast) var(--ease), backdrop-filter var(--t-fast);
  border-bottom: 1px solid transparent;
}
.nav.scrolled {
  background: rgba(5, 8, 10, 0.82);
  -webkit-backdrop-filter: blur(14px);
  backdrop-filter: blur(14px);
  border-bottom-color: var(--line);
}
.nav-inner { display: flex; align-items: center; justify-content: space-between; height: 64px; gap: 24px; }
.brand { display: flex; align-items: center; gap: 11px; text-decoration: none; }
.brand-mark { width: 28px; height: 28px; flex: 0 0 auto; }
.brand-word {
  font-family: var(--mono); font-weight: 600; font-size: 15px;
  letter-spacing: 0.26em; color: var(--ink-hi); translate: 0 1px;
}
.nav-links { display: flex; gap: 30px; font-size: 14px; }
.nav-links a {
  color: var(--dim); text-decoration: none; font-weight: 500;
  transition: color var(--t-fast) var(--ease);
  font-family: var(--mono); font-size: 13px; letter-spacing: 0.02em;
}
.nav-links a:hover { color: var(--ink-hi); }
.nav-cta { display: flex; align-items: center; gap: 14px; }

.burger {
  display: none; background: none; border: 1px solid var(--line-2);
  border-radius: var(--r-sm); width: 38px; height: 38px;
  align-items: center; justify-content: center; color: var(--ink);
}
.burger svg { width: 17px; height: 17px; }

.drawer {
  display: none; position: fixed; inset: 64px 0 auto 0; z-index: 99;
  background: rgba(5, 8, 10, 0.97);
  border-bottom: 1px solid var(--line);
  padding: 12px 28px 28px;
}
.drawer.open { display: block; }
.drawer a {
  display: block; padding: 15px 4px; text-decoration: none;
  color: var(--ink); font-family: var(--mono); font-size: 15px;
  border-bottom: 1px solid var(--line);
}
.drawer a:last-of-type { border-bottom: none; }

/* ---------- buttons ---------- */
.btn {
  display: inline-flex; align-items: center; justify-content: center; gap: 9px;
  text-decoration: none; cursor: pointer; white-space: nowrap;
  font-family: var(--mono); font-size: 13.5px; font-weight: 500;
  padding: 12px 22px; border-radius: 10px;
  border: 1px solid var(--line-2);
  background: transparent; color: var(--ink);
  transition: border-color var(--t-fast) var(--ease), background var(--t-fast) var(--ease),
              color var(--t-fast) var(--ease), transform var(--t-fast) var(--ease);
}
.btn:hover { border-color: var(--line-3); background: rgba(151,196,175,.05); }
.btn:active { transform: translateY(1px); }

.btn-primary {
  background: var(--green); border-color: var(--green); color: #04160f;
  font-weight: 600;
}
.btn-primary:hover { background: var(--green-soft); border-color: var(--green-soft); }

.btn-ghost { background: transparent; }
.btn-sm { padding: 8px 15px; font-size: 12.5px; border-radius: 8px; }

.link-arrow {
  display: inline-flex; align-items: center; gap: 7px;
  font-family: var(--mono); font-size: 13.5px; font-weight: 500;
  color: var(--green-soft); text-decoration: none;
  border-bottom: 1px solid transparent; padding-bottom: 2px;
  transition: color var(--t-fast) var(--ease), border-color var(--t-fast) var(--ease);
}
.link-arrow .arr { transition: translate var(--t-fast) var(--ease); }
.link-arrow:hover { color: var(--green); border-color: rgba(52,224,174,.45); }
.link-arrow:hover .arr { translate: 4px 0; }

.gh-star {
  display: inline-flex; align-items: center; gap: 8px;
  font-family: var(--mono); font-size: 12.5px; color: var(--dim);
  text-decoration: none; padding: 8px 13px;
  border: 1px solid var(--line-2); border-radius: 99px;
  transition: color var(--t-fast) var(--ease), border-color var(--t-fast) var(--ease);
}
.gh-star:hover { color: var(--ink-hi); border-color: var(--line-3); }
.gh-star svg { width: 14px; height: 14px; }

/* pills + chips + kbd */
.pill {
  display: inline-flex; align-items: center; gap: 8px;
  font-family: var(--mono); font-size: 11.5px; letter-spacing: 0.06em;
  color: var(--dim); border: 1px solid var(--line-2);
  padding: 6px 13px; border-radius: 99px; background: rgba(151,196,175,.03);
  text-decoration: none;
}
.pill .dot { width: 6px; height: 6px; border-radius: 50%; background: var(--green); flex: 0 0 auto; }
.pill b { color: var(--ink); font-weight: 500; }

.chip {
  display: inline-flex; align-items: center; gap: 7px;
  font-family: var(--mono); font-size: 12px; color: var(--dim);
  border: 1px solid var(--line); background: var(--s1);
  padding: 7px 13px; border-radius: 8px;
  transition: border-color var(--t-fast) var(--ease), color var(--t-fast) var(--ease);
}
.chip:hover { border-color: var(--line-3); color: var(--ink); }
.chip code { color: var(--green-soft); font-size: 12px; }

kbd {
  font-family: var(--mono); font-size: 11px; color: var(--ink);
  border: 1px solid var(--line-2); border-bottom-width: 2px;
  border-radius: 5px; padding: 1px 6px; background: var(--s2);
}

/* window frame — reserved deep shadow ONLY for floated windows */
.window {
  background: #080d10;
  border: 1px solid var(--line-2);
  border-radius: var(--r-lg);
  overflow: hidden;
  box-shadow:
    0 1px 0 rgba(151,196,175,.06) inset,
    rgba(0, 0, 0, 0.5) 0 24px 70px -12px,
    rgba(0, 0, 0, 0.42) 0 8px 24px -8px;
}
.win-bar {
  display: flex; align-items: center; gap: 12px;
  padding: 11px 16px;
  border-bottom: 1px solid var(--line);
  background: var(--s1);
}
.win-dots { display: flex; gap: 7px; }
.win-dots span { width: 11px; height: 11px; border-radius: 50%; }
.win-dots .r { background: #74433e; }
.win-dots .y { background: #77613a; }
.win-dots .g { background: #3d6b58; }
.win-title {
  font-family: var(--mono); font-size: 12px; color: var(--dim);
  letter-spacing: 0.03em; overflow: hidden; text-overflow: ellipsis; white-space: nowrap;
}
.win-side { margin-left: auto; display: flex; align-items: center; gap: 10px; }

.status-pill {
  display: inline-flex; align-items: center; gap: 7px;
  font-family: var(--mono); font-size: 11px; letter-spacing: 0.05em;
  color: var(--green-soft);
  border: 1px solid rgba(52,224,174,.28);
  background: rgba(52,224,174,.07);
  padding: 4px 11px; border-radius: 99px; white-space: nowrap;
}
.status-pill .dot { width: 6px; height: 6px; border-radius: 50%; background: var(--green); }

/* ---------- hero ---------- */
.hero { padding: 168px 0 96px; text-align: center; position: relative; }
.hero::before {
  content: ""; position: absolute; left: 50%; top: -140px; transform: translateX(-50%);
  width: 900px; height: 520px; pointer-events: none;
  background: radial-gradient(closest-side, rgba(52, 224, 174, 0.07), transparent 70%);
}
.hero-eyebrows { display: flex; justify-content: center; gap: 10px; flex-wrap: wrap; margin-bottom: 32px; position: relative; }
.hero h1 {
  font-size: clamp(46px, 7.2vw, 86px);
  line-height: 1.02;
  letter-spacing: -0.03em;
  font-weight: 600;
  color: var(--ink-hi);
  margin: 0 auto;
  max-width: 860px;
  text-wrap: balance;
}
.hl {
  color: var(--green);
  padding-bottom: 10px;
  /* dimension-line: hairline rule with end ticks */
  background-image:
    linear-gradient(rgba(52,224,174,.5), rgba(52,224,174,.5)),
    linear-gradient(rgba(52,224,174,.5), rgba(52,224,174,.5)),
    linear-gradient(rgba(52,224,174,.5), rgba(52,224,174,.5));
  background-repeat: no-repeat;
  background-size: 100% 1px, 1px 9px, 1px 9px;
  background-position: 0 100%, 0 100%, 100% 100%;
}
.hero-sub {
  max-width: 640px; margin: 28px auto 0; font-size: 18px; color: var(--dim); position: relative;
}
.hero-sub strong { color: var(--ink-hi); font-weight: 500; }

.cta-row { display: flex; gap: 16px; align-items: stretch; justify-content: center; margin-top: 40px; flex-wrap: wrap; position: relative; }

/* install box */
.install-box {
  min-width: 400px; flex: 0 1 auto; text-align: left;
  background: #080d10; border: 1px solid var(--line-2); border-radius: 14px;
  overflow: hidden;
  box-shadow: rgba(0,0,0,.5) 0 18px 50px -12px;
}
.install-tabs { display: flex; gap: 2px; padding: 6px 6px 0; border-bottom: 1px solid var(--line); background: var(--s1); }
.install-tab {
  font-family: var(--mono); font-size: 11.5px; letter-spacing: .04em;
  color: var(--dim); background: none; border: 1px solid transparent; border-bottom: none;
  padding: 7px 13px; border-radius: 8px 8px 0 0;
  transition: color var(--t-fast) var(--ease), background var(--t-fast) var(--ease);
}
.install-tab:hover { color: var(--ink); }
.install-tab.active { color: var(--green-soft); background: #080d10; border-color: var(--line); position: relative; top: 1px; }
.install-tab .tag { color: var(--faint); font-size: 10px; margin-left: 6px; letter-spacing: .08em; }
.install-cmd { display: flex; align-items: center; gap: 12px; padding: 15px 16px; }
.install-cmd .ps1 { color: var(--faint); user-select: none; font-size: 13.5px; }
.install-cmd code {
  font-size: 13.5px; color: var(--ink-hi); overflow-x: auto;
  scrollbar-width: none; white-space: nowrap;
}
.install-cmd code::-webkit-scrollbar { display: none; }
.copy-btn {
  margin-left: auto; flex: none;
  font-family: var(--mono); font-size: 11.5px; color: var(--dim);
  background: var(--s2); border: 1px solid var(--line-2); border-radius: 7px;
  padding: 6px 11px; min-width: 74px;
  transition: color var(--t-fast) var(--ease), border-color var(--t-fast) var(--ease);
}
.copy-btn:hover { color: var(--ink-hi); border-color: var(--line-3); }
.copy-btn.done { color: var(--green); border-color: rgba(52,224,174,.4); }
.install-meta {
  padding: 9px 16px; border-top: 1px dashed var(--line);
  font-family: var(--mono); font-size: 11px; color: var(--faint); letter-spacing: .03em;
}

.spec-strip {
  margin-top: 36px; display: flex; justify-content: center; flex-wrap: wrap; gap: 8px 26px;
  font-family: var(--mono); font-size: 12px; color: var(--dim); letter-spacing: .04em;
  position: relative;
}
.spec-strip b { color: var(--ink); font-weight: 500; }

/* ---------- hero console artifact ---------- */
.console-wrap { margin: 76px auto 0; max-width: 1020px; position: relative; }
.console-body { display: grid; grid-template-columns: 250px 1fr; min-height: 416px; text-align: left; }
.console-side {
  border-right: 1px solid var(--line); background: var(--s1);
  padding: 16px; display: flex; flex-direction: column; gap: 12px;
}
.session-card { border: 1px solid var(--line-2); border-radius: 12px; padding: 13px 14px; background: var(--s2); }
.session-top { display: flex; justify-content: space-between; align-items: center; gap: 8px; }
.session-name { font-weight: 600; font-size: 13.5px; color: var(--ink-hi); }
.state-badge {
  font-family: var(--mono); font-size: 10px; text-transform: uppercase; letter-spacing: .08em;
  color: var(--green-soft); border: 1px solid rgba(52,224,174,.3);
  background: var(--green-dim); padding: 2px 9px; border-radius: 99px;
}
.session-id { font-family: var(--mono); font-size: 11.5px; color: var(--dim); margin-top: 4px; }
.session-goal { font-size: 12.5px; color: var(--dim); margin-top: 7px; line-height: 1.5; }
.stat-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 8px; }
.stat-mini { border: 1px solid var(--line); border-radius: 10px; padding: 10px 12px; }
.stat-mini b { display: block; font-weight: 600; font-size: 17px; color: var(--ink-hi); font-variant-numeric: tabular-nums; }
.stat-mini.ok b { color: var(--green); }
.stat-mini.bad b { color: #e2a49e; }
.stat-mini span {
  display: block; margin-top: 3px;
  font-family: var(--mono); font-size: 9.5px; letter-spacing: .14em; text-transform: uppercase; color: var(--faint);
}
.repro {
  margin-top: auto; border: 1px dashed var(--line-2); border-radius: 10px;
  padding: 10px 12px; font-family: var(--mono); font-size: 11.5px; color: var(--dim);
}
.repro code { color: var(--green-soft); }

.feed { position: relative; padding: 18px 22px 14px; overflow: hidden; }
.feed-head { display: flex; justify-content: space-between; align-items: baseline; gap: 12px; }
.feed-spine { position: relative; padding-left: 24px; margin-top: 14px; }
.feed-spine::before {
  content: ""; position: absolute; left: 6px; top: 8px; bottom: 8px; width: 1px; background: var(--line-2);
}
.feed-row {
  position: relative; display: flex; align-items: baseline; gap: 12px;
  font-family: var(--mono); font-size: 12px; line-height: 1.5;
  padding: 6.5px 0; opacity: 0; transform: translateY(7px);
  transition: opacity .45s var(--ease), transform .45s var(--ease);
}
.feed-row.show { opacity: 1; transform: none; }
.feed-row::before {
  content: ""; position: absolute; left: -22px; top: 50%; transform: translateY(-50%);
  width: 7px; height: 7px; border-radius: 50%; background: var(--faint);
}
.f-seq { color: var(--faint); flex: 0 0 34px; }
.f-kind { color: var(--dim); flex: 0 0 148px; font-weight: 500; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.f-msg { color: var(--ink); flex: 1; min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.f-hash { color: var(--faint); font-size: 11px; flex: 0 0 auto; }

.feed-row.st-info::before { background: var(--blue); }
.feed-row.st-info .f-msg { color: #b9cfdd; }
.feed-row.st-ok::before { background: var(--green); }
.feed-row.st-ok .f-kind, .feed-row.st-ok .f-msg { color: var(--green-soft); }
.feed-row.st-bad::before { background: var(--red); }
.feed-row.st-bad .f-kind, .feed-row.st-bad .f-msg { color: #e5aca6; }
.feed-row.st-warn::before { background: var(--amber); }
.feed-row.st-warn .f-kind, .feed-row.st-warn .f-msg { color: #dfc08a; }
.feed-row.st-rw::before { background: var(--amber); }
.feed-row.st-rw .f-kind, .feed-row.st-rw .f-msg { color: #dfc08a; }
.feed-row.st-rw .f-msg::after { content: " ↺"; color: var(--amber); }

.caret-line { display: flex; align-items: center; gap: 10px; padding: 8px 0 0 24px; font-family: var(--mono); font-size: 12px; color: var(--faint); }
.caret { width: 8px; height: 15px; background: rgba(52,224,174,.75); animation: blink 1.05s steps(1) infinite; }
@keyframes blink { 50% { opacity: 0; } }

.console-foot {
  display: flex; justify-content: space-between; align-items: center; gap: 12px; flex-wrap: wrap;
  padding: 10px 16px; border-top: 1px solid var(--line); background: var(--s1);
  font-family: var(--mono); font-size: 11px; color: var(--faint);
}
.console-foot code { color: var(--dim); }

/* ---------- receipts band ---------- */
.receipts-band { padding: 72px 0; border-top: 1px solid var(--line); }
.receipts { display: grid; grid-template-columns: repeat(3, 1fr); gap: 18px; }
.receipt { border: 1px solid var(--line); border-radius: var(--r-lg); padding: 26px 28px; background: var(--s1); }
.receipt b { display: block; font-size: 42px; font-weight: 600; letter-spacing: -0.02em; color: var(--ink-hi); font-variant-numeric: tabular-nums; line-height: 1; }
.receipt.good b { color: var(--green); }
.receipt.bad b { color: #e2a49e; }
.receipt span { display: block; margin-top: 12px; font-size: 14px; color: var(--dim); max-width: 30ch; }
.band-note { margin-top: 26px; display: flex; gap: 18px; align-items: baseline; flex-wrap: wrap; font-family: var(--mono); font-size: 11.5px; color: var(--faint); letter-spacing: .02em; }
.band-note a { color: var(--dim); text-decoration: none; border-bottom: 1px solid var(--line-3); }
.band-note a:hover { color: var(--green-soft); border-color: rgba(52,224,174,.45); }

/* ---------- mechanism ---------- */
.mech-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 18px; }
.mech-card {
  border: 1px solid var(--line); border-radius: var(--r-lg); background: var(--s1);
  padding: 24px; display: flex; flex-direction: column; gap: 16px;
  transition: border-color var(--t-fast) var(--ease), transform var(--t-fast) var(--ease);
}
.mech-card:hover { border-color: var(--line-2); transform: translateY(-2px); }
.mech-head { display: flex; align-items: baseline; justify-content: space-between; gap: 10px; }
.mech-num { font-family: var(--mono); font-size: 11px; color: var(--green); letter-spacing: .1em; }
.mech-tag { font-family: var(--mono); font-size: 10.5px; color: var(--faint); text-transform: uppercase; letter-spacing: .14em; }
.mech-card h3 { font-size: 22px; font-weight: 600; color: var(--ink-hi); letter-spacing: -0.01em; }
.mech-card h3 small {
  display: block; margin-top: 5px;
  font-family: var(--mono); font-size: 10.5px; font-weight: 400; color: var(--faint);
  text-transform: uppercase; letter-spacing: .16em;
}
.mech-fig {
  border: 1px solid var(--line); border-radius: 12px; background: #080d10;
  padding: 14px; min-height: 128px; display: flex; align-items: center;
}
.mech-fig svg { width: 100%; height: auto; color: var(--dim); }
.mech-card p { font-size: 14.5px; color: var(--dim); line-height: 1.6; }
.mech-card p strong { color: var(--ink); font-weight: 500; }

/* pipeline strip */
.pipeline {
  margin-top: 44px; border: 1px solid var(--line); border-radius: var(--r-lg);
  background: var(--s1); padding: 20px 22px;
  display: flex; flex-wrap: wrap; align-items: center; gap: 9px 0;
  font-family: var(--mono); font-size: 12px;
}
.pipe-chip {
  padding: 7px 13px; border-radius: 8px; border: 1px solid var(--line-2);
  color: var(--dim); white-space: nowrap; background: var(--s2);
}
.pipe-chip em { font-style: normal; color: var(--faint); }
.pipe-chip.ok { color: var(--green-soft); border-color: rgba(52,224,174,.32); }
.pipe-chip.bad { color: #dfc08a; border-color: rgba(201,154,63,.35); }
.pipe-chip.stop { color: #e5aca6; border-color: rgba(207,98,89,.35); }
.pipe-arrow { color: var(--faint); padding: 0 8px; }
.pipe-note { margin-left: auto; color: var(--faint); font-size: 11px; }

/* ---------- demo / terminal ---------- */
.term-tabs { display: inline-flex; gap: 4px; border: 1px solid var(--line-2); border-radius: 11px; background: var(--s1); padding: 4px; margin-bottom: -1px; position: relative; z-index: 2; }
.term-tab {
  font-family: var(--mono); font-size: 12.5px; color: var(--dim);
  background: none; border: none; border-radius: 8px; padding: 8px 16px;
  transition: color var(--t-fast) var(--ease), background var(--t-fast) var(--ease);
}
.term-tab:hover { color: var(--ink); }
.term-tab.active { color: var(--ink-hi); background: var(--s3); }
.term-tab .dotmark { display: inline-block; width: 7px; height: 7px; border-radius: 50%; margin-right: 8px; vertical-align: 1px; }
.term-tab[data-term="baseline"] .dotmark { background: #b0574f; }
.term-tab[data-term="veripoint"] .dotmark { background: var(--green); }

#term-out {
  padding: 22px 26px; min-height: 380px;
  font-size: 13.5px; line-height: 1.78; color: var(--ink);
  white-space: pre-wrap; word-break: break-word;
}
.t-ok { color: var(--green-soft); } .t-err { color: #e5aca6; }
.t-warn { color: #dfc08a; } .t-dim { color: var(--faint); } .t-info { color: #a9c6da; }
.term-caption { margin-top: 16px; color: var(--dim); font-size: 14.5px; max-width: 720px; min-height: 44px; }
.replay-btn {
  font-family: var(--mono); font-size: 11px; color: var(--dim);
  background: none; border: 1px solid var(--line-2); border-radius: 7px; padding: 5px 11px;
  transition: color var(--t-fast) var(--ease), border-color var(--t-fast) var(--ease);
}
.replay-btn:hover { color: var(--ink-hi); border-color: var(--line-3); }

.receipts-row { margin-top: 30px; display: flex; flex-wrap: wrap; gap: 10px; align-items: center; }

/* ---------- console mock (dashboard recreation) ---------- */
.console-mock-grid { display: grid; grid-template-columns: 1.25fr 1fr; gap: 40px; align-items: start; }
.dash { font-size: 12px; }
.dash-main { display: grid; grid-template-columns: 218px 1fr; }
.dash-side { border-right: 1px solid var(--line); padding: 14px; background: var(--s1); }
.dash-h {
  font-family: var(--mono); font-size: 9.5px; text-transform: uppercase; letter-spacing: .16em;
  color: var(--faint); margin-bottom: 9px;
}
.sess-item { border: 1px solid var(--line-2); background: var(--s2); border-radius: 9px; padding: 9px 11px; }
.sess-item b { font-size: 12px; color: var(--ink-hi); font-family: var(--mono); font-weight: 500; display: block; overflow: hidden; text-overflow: ellipsis; }
.sess-item .st { color: var(--green-soft); font-size: 10.5px; float: right; }
.sess-item small { color: var(--dim); display: block; font-size: 11px; margin-top: 3px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.sess-item .meta { color: var(--faint); font-size: 10px; font-family: var(--mono); display: block; margin-top: 4px; }
.serve-hint { margin-top: 12px; font-family: var(--mono); font-size: 10px; color: var(--faint); border: 1px dashed var(--line); border-radius: 8px; padding: 8px 9px; }
.serve-hint code { color: var(--dim); }
.dash-detail { padding: 14px 16px 16px; }
.dash-cards { display: flex; flex-wrap: wrap; gap: 8px; margin-bottom: 16px; }
.dcard { border: 1px solid var(--line); border-radius: 9px; padding: 8px 12px; min-width: 86px; }
.dcard b { display: block; font-size: 15px; font-weight: 600; color: var(--ink-hi); font-variant-numeric: tabular-nums; }
.dcard.ok b { color: var(--green); } .dcard.bad b { color: #e2a49e; }
.dcard span { display: block; font-family: var(--mono); font-size: 8.5px; letter-spacing: .12em; text-transform: uppercase; color: var(--faint); margin-top: 2px; }

.tl-row { position: relative; padding: 4px 0 4px 18px; font-family: var(--mono); font-size: 11.5px; }
.tl-row::before {
  content: ""; position: absolute; left: 0; top: 10px; width: 7px; height: 7px; border-radius: 50%; background: var(--faint);
}
.tl-row.k-acc::before { background: var(--green); }
.tl-row.k-rej::before { background: var(--red); }
.tl-row.k-rw::before { background: var(--amber); }
.tl-row.k-q::before { background: var(--amber); }
.tl-row .seq { color: var(--faint); }
.tl-row .kind { color: var(--dim); font-weight: 500; }
.tl-row.k-acc .kind { color: var(--green-soft); }
.tl-row.k-rej .kind { color: #e5aca6; }
.tl-row.k-rw .kind, .tl-row.k-q .kind { color: #dfc08a; }
.tl-row .det { color: var(--faint); display: block; font-size: 11px; margin: 1px 0 5px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }

.rail-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 14px; margin-top: 16px; }
.cp-card { border: 1px solid rgba(52,224,174,.28); background: rgba(52,224,174,.05); border-radius: 9px; padding: 9px 11px; cursor: pointer; transition: border-color var(--t-fast) var(--ease); }
.cp-card:hover { border-color: var(--green); }
.cp-card b { font-family: var(--mono); font-weight: 500; font-size: 11.5px; color: var(--green-soft); }
.cp-card small { display: block; color: var(--dim); font-size: 10.5px; margin-top: 2px; }
.qtn-card { border: 1px solid rgba(207,98,89,.32); background: rgba(207,98,89,.06); border-radius: 9px; padding: 9px 11px; }
.qtn-card b { font-family: var(--mono); font-weight: 500; font-size: 10.5px; color: #e5aca6; word-break: break-all; display: block; }
.qtn-card small { display: block; color: var(--dim); font-size: 10.5px; margin-top: 3px; }
.brief-box {
  margin-top: 16px; border: 1px dashed var(--line-2); border-radius: 10px;
  background: #080d10; padding: 12px 14px;
  font-family: var(--mono); font-size: 10.5px; line-height: 1.65; color: var(--dim);
  max-height: 190px; overflow: hidden; position: relative; white-space: pre-wrap;
}
.brief-box::after { content: ""; position: absolute; inset: auto 0 0 0; height: 46px; background: linear-gradient(transparent, #080d10); }

.mock-notes { list-style: none; display: grid; gap: 18px; }
.mock-notes li { display: flex; gap: 13px; font-size: 14.5px; color: var(--dim); line-height: 1.6; }
.mock-notes li strong { color: var(--ink-hi); font-weight: 500; display: block; }
.mock-notes li::before { content: "→"; color: var(--green); font-family: var(--mono); flex: 0 0 auto; }
.audit-win { margin-top: 26px; }

/* ---------- legacy codeblock (docs.html) ---------- */
.codeblock {
  border: 1px solid var(--line-2); border-radius: 14px; background: #080d10;
  padding: 22px 24px; font-size: 13px; line-height: 1.7;
  overflow-x: auto; box-shadow: rgba(0,0,0,.45) 0 20px 55px -14px;
}
.codeblock.left { text-align: left; }
.k { color: #c98a7d; } .s { color: #9cc3dd; } .cm { color: var(--faint); } .k2 { color: #b8a3c8; }

/* ---------- compare matrix ---------- */
.cmp-scroll { overflow-x: auto; border: 1px solid var(--line); border-radius: var(--r-lg); background: var(--s1); }
.cmp { width: 100%; border-collapse: separate; border-spacing: 0; min-width: 780px; }
.cmp th {
  font-family: var(--mono); font-size: 10.5px; font-weight: 500; text-align: center;
  letter-spacing: .13em; text-transform: uppercase; color: rgba(183,200,191,.62);
  padding: 15px 16px 13px; border-bottom: 1px solid var(--line-2);
}
.cmp th:first-child { text-align: left; width: 25%; }
.cmp td {
  padding: 15px 16px; border-bottom: 1px solid var(--line);
  font-size: 13.5px; color: var(--dim); text-align: center; vertical-align: top;
}
.cmp tr:last-child td { border-bottom: none; }
.cmp td:first-child { text-align: left; color: var(--ink-hi); font-weight: 500; font-size: 14px; }
.cmp .g { color: var(--green-soft); } .cmp .p { color: #dfc08a; } .cmp .x { color: var(--faint); }
.cmp td .cell-note { display: block; margin-top: 4px; font-family: var(--mono); font-size: 10.5px; color: var(--faint); }
.cmp .veripoint-col { background: rgba(52,224,174,.05); border-left: 1px solid rgba(52,224,174,.18); border-right: 1px solid rgba(52,224,174,.18); }
.cmp th.veripoint-col { color: var(--green-soft); }
.cmp-note { margin-top: 18px; font-size: 12.5px; font-family: var(--mono); color: var(--faint); line-height: 1.8; }
.cmp-note b { color: var(--dim); font-weight: 500; }

/* ---------- honesty (inverted paper) ---------- */
.paper-scope {
  background: var(--paper);
  color: var(--paper-ink);
  --line: rgba(12,20,17,.10);
  --line-2: rgba(12,20,17,.16);
  --line-3: rgba(12,20,17,.28);
  --s1: #e4e9e2;
  --s2: #dde3db;
}
.paper-scope .eyebrow { color: rgba(12,20,17,.62); }
.paper-scope h2 { color: var(--paper-ink); }
.serif-line { font-family: var(--serif); font-style: italic; font-size: clamp(19px, 2.4vw, 25px); color: var(--paper-dim); margin-top: 14px; max-width: 560px; line-height: 1.45; }
.not-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 0; border-top: 1px solid var(--line-2); margin-top: 44px; }
.not-item { display: flex; gap: 16px; padding: 22px 26px 22px 0; border-bottom: 1px solid var(--line); align-items: baseline; }
.not-item:nth-child(odd) { padding-right: 34px; }
.not-item:nth-child(even) { padding-left: 34px; border-left: 1px solid var(--line); }
.not-x { font-family: var(--mono); color: rgba(12,20,17,.35); flex: 0 0 auto; font-weight: 600; }
.not-item div strong { display: block; font-weight: 600; color: var(--paper-ink); font-size: 15.5px; margin-bottom: 3px; }
.not-item div span { font-size: 14px; color: var(--paper-dim); line-height: 1.55; }
.limits-row {
  margin-top: 36px; padding-top: 22px; border-top: 1px solid var(--line-2);
  font-family: var(--mono); font-size: 11.5px; color: rgba(12,20,17,.5);
  display: flex; flex-wrap: wrap; gap: 8px 26px; letter-spacing: .03em;
}

/* ---------- start / pricing ---------- */
.start-grid { display: grid; grid-template-columns: 1.1fr 1fr; gap: 18px; margin-top: 52px; }
.price-card {
  border: 1px solid var(--line); border-radius: var(--r-lg); background: var(--s1);
  padding: 30px 30px 26px; display: flex; flex-direction: column; gap: 0;
}
.price-card.featured { border-color: rgba(52,224,174,.32); background: linear-gradient(180deg, rgba(52,224,174,.045), transparent 42%), var(--s1); }
.price-card h3 {
  font-family: var(--mono); font-size: 11.5px; font-weight: 500; letter-spacing: .18em;
  text-transform: uppercase; color: var(--dim);
}
.price-line { display: flex; align-items: baseline; gap: 10px; margin: 14px 0 4px; }
.price-big { font-size: 44px; font-weight: 600; letter-spacing: -0.02em; color: var(--ink-hi); line-height: 1; }
.price-sub { font-family: var(--mono); font-size: 12px; color: var(--faint); }
.price-desc { font-size: 14px; color: var(--dim); margin: 10px 0 20px; max-width: 40ch; }
.price-list { list-style: none; display: grid; gap: 10px; margin-bottom: 26px; }
.price-list li { position: relative; padding-left: 22px; font-size: 14px; color: var(--dim); }
.price-list li::before { content: "+"; position: absolute; left: 0; color: var(--green); font-family: var(--mono); }
.price-actions { margin-top: auto; display: flex; gap: 12px; flex-wrap: wrap; align-items: center; }
.enterprise-line { margin-top: 22px; text-align: center; font-size: 14px; color: var(--dim); }
.enterprise-line a { color: var(--green-soft); text-decoration: none; border-bottom: 1px solid rgba(52,224,174,.3); }
.enterprise-line a:hover { color: var(--green); border-color: var(--green); }

.final-cta {
  margin-top: 96px; text-align: center; position: relative;
  border: 1px solid var(--line-2); border-radius: 20px; padding: 72px 40px 66px;
  background:
    radial-gradient(700px 320px at 50% -60px, rgba(52,224,174,.08), transparent 70%),
    var(--s1);
}
.final-cta h2 { font-size: clamp(30px, 4.6vw, 50px); max-width: 700px; margin: 0 auto; }
.final-cta p { color: var(--dim); margin: 18px auto 34px; max-width: 520px; font-size: 16.5px; }

/* ---------- footer ---------- */
footer { border-top: 1px solid var(--line); background: var(--bg1); padding: 64px 0 40px; }
.foot-grid { display: grid; grid-template-columns: 1.6fr 1fr 1fr 1fr; gap: 40px; }
.foot-brand p { color: var(--faint); font-size: 13.5px; margin-top: 14px; max-width: 30ch; }
.foot-status {
  display: inline-flex; align-items: center; gap: 8px; margin-top: 20px;
  font-family: var(--mono); font-size: 11px; color: var(--dim);
  border: 1px solid var(--line); border-radius: 99px; padding: 6px 12px;
}
.foot-status .dot { width: 6px; height: 6px; border-radius: 50%; background: var(--green); }
.foot-col h4 {
  font-family: var(--mono); font-size: 10.5px; font-weight: 500;
  letter-spacing: .18em; text-transform: uppercase; color: var(--faint); margin-bottom: 16px;
}
.foot-col a { display: block; color: var(--dim); text-decoration: none; font-size: 13.5px; padding: 5px 0; transition: color var(--t-fast) var(--ease); }
.foot-col a:hover { color: var(--ink-hi); }
.foot-bottom {
  margin-top: 56px; padding-top: 24px; border-top: 1px solid var(--line);
  display: flex; justify-content: space-between; align-items: center; gap: 16px; flex-wrap: wrap;
  font-family: var(--mono); font-size: 11.5px; color: var(--faint);
}
.foot-bottom a { color: var(--dim); text-decoration: none; }
.foot-bottom a:hover { color: var(--ink-hi); }

/* ---------- reduced motion ---------- */
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { animation-duration: 0.01ms !important; animation-iteration-count: 1 !important; transition-duration: 0.01ms !important; }
  .rv { opacity: 1; transform: none; }
  .caret { animation: none; opacity: .75; }
}

/* ---------- responsive ---------- */
@media (max-width: 1080px) {
  .console-body { grid-template-columns: 230px 1fr; }
  .f-kind { flex-basis: 120px; }
}
@media (max-width: 900px) {
  .section { padding: 76px 0; }
  .nav-links { display: none; }
  .burger { display: inline-flex; }
  .hero { padding: 140px 0 72px; }
  .mech-grid { grid-template-columns: 1fr; }
  .receipts { grid-template-columns: 1fr; }
  .console-mock-grid { grid-template-columns: 1fr; }
  .start-grid { grid-template-columns: 1fr; }
  .not-grid { grid-template-columns: 1fr; }
  .not-item:nth-child(even) { padding-left: 0; border-left: none; }
  .not-item:nth-child(odd) { padding-right: 0; }
  .foot-grid { grid-template-columns: 1fr 1fr; }
  .console-body { grid-template-columns: 1fr; }
  .console-side { border-right: none; border-bottom: 1px solid var(--line); flex-direction: row; flex-wrap: wrap; align-items: stretch; }
  .session-card { flex: 1 1 200px; }
  .stat-grid { flex: 1 1 180px; }
  .repro { flex: 1 1 100%; margin-top: 0; }
  .install-box { min-width: 0; width: 100%; }
}
@media (max-width: 520px) {
  .wrap { padding: 0 20px; }
  .hero h1 { font-size: clamp(38px, 11vw, 46px); }
  .stat-mini b { font-size: 15px; }
  .f-hash { display: none; }
  .feed-row { gap: 8px; }
  .f-kind { flex-basis: 104px; font-size: 11px; }
  .final-cta { padding: 52px 22px 48px; }
  .foot-grid { grid-template-columns: 1fr; gap: 28px; }
  .dash-main { grid-template-columns: 1fr; }
  .dash-side { border-right: none; border-bottom: 1px solid var(--line); }
}
/* mobile overflow guards */
.install-cmd code { min-width: 0; flex: 1 1 auto; }
.hero::before { max-width: 100vw; }
/* root-cause fixes: grid/flex min-content blowout */
.sess-item small { white-space: normal; }
.dash-main > * { min-width: 0; }
.cmp-scroll { max-width: 100%; }
.tl-row .det { max-width: 100%; }
/* button wrap guards on small screens */
.start-grid > * { min-width: 0; }
.price-actions .btn { flex: 0 1 auto; }
@media (max-width: 520px) {
  .btn { font-size: 12px; padding: 10px 14px; }
  .price-actions .btn { flex: 1 1 auto; }
}

/* ============================================================
   THE ARTIFACT LAYER — page as verifiable engineering document
   ============================================================ */

/* ---------- chain spine (desktop rail nav) ---------- */
.spine {
  display: none; position: fixed; left: 26px; top: 50%; transform: translateY(-50%);
  z-index: 90; flex-direction: column;
}
@media (min-width: 1280px) { .spine { display: flex; } }
.spine::before {
  content: ""; position: absolute; left: 4px; top: 14px; bottom: 14px;
  width: 1px; background: var(--line-2);
}
.sn {
  position: relative; display: flex; align-items: center; gap: 10px;
  padding: 8px 0; text-decoration: none;
  font-family: var(--mono); font-size: 10px; letter-spacing: .06em;
  color: var(--faint);
}
.sn i {
  width: 9px; height: 9px; flex: none; border-radius: 2px;
  border: 1px solid var(--line-3); background: var(--bg0);
  transition: background var(--t-fast) var(--ease), border-color var(--t-fast) var(--ease);
}
.sn em, .sn u {
  font-style: normal; text-decoration: none;
  opacity: 0; translate: -5px 0;
  transition: opacity var(--t-fast) var(--ease), translate var(--t-fast) var(--ease);
  white-space: nowrap;
}
.sn:hover em, .sn:hover u, .sn.active em, .sn.active u { opacity: 1; translate: 0 0; }
.sn.active i { background: var(--green); border-color: var(--green); }
.sn.active em { color: var(--ink-hi); }
.sn.done u { opacity: .55; color: rgba(52,224,174,.55); translate: 0 0; }

/* ---------- oversized section numerals ---------- */
.secnum {
  position: absolute; top: 64px; right: -6px; z-index: 0;
  font-family: var(--mono); font-weight: 600;
  font-size: clamp(130px, 19vw, 240px); line-height: 1;
  color: transparent; -webkit-text-stroke: 1px rgba(151,196,175,.07);
  pointer-events: none; user-select: none;
}
.paper-scope .secnum { -webkit-text-stroke-color: rgba(12,20,17,.07); }
.section > .wrap, .receipts-band > .wrap, .hero > .wrap { position: relative; }

/* ---------- editorial serif lines (dark sections) ---------- */
.ed-line {
  margin-top: 16px;
  font-family: var(--serif); font-style: italic;
  font-size: clamp(18px, 2.2vw, 23px); line-height: 1.45;
  color: rgba(183,200,191,.55); max-width: 560px;
}

/* ---------- benchmark bars figure ---------- */
.benchbar-wrap {
  display: grid; grid-template-columns: minmax(230px, 320px) 1fr;
  gap: 48px; align-items: center; margin-top: 8px;
}
.bb-num b {
  font-family: var(--mono); font-weight: 600;
  font-size: clamp(76px, 9vw, 122px); line-height: .92;
  letter-spacing: -.045em; color: var(--green);
  font-variant-numeric: tabular-nums; display: block;
}
.bb-num b span { color: rgba(183,200,191,.35); font-size: .45em; letter-spacing: -.02em; }
.bb-num small {
  display: block; margin-top: 16px;
  font-family: var(--mono); font-size: 11px; font-weight: 500;
  letter-spacing: .16em; text-transform: uppercase; color: var(--dim); line-height: 1.7;
}
.bar {
  display: grid; grid-template-columns: 86px 1fr minmax(180px,auto);
  gap: 16px; align-items: center; padding: 13px 0;
  border-bottom: 1px dashed var(--line);
}
.bar:last-child { border-bottom: none; }
.bar label {
  font-family: var(--mono); font-size: 10px; font-weight: 500;
  letter-spacing: .15em; text-transform: uppercase; color: var(--faint);
}
.track {
  display: block; height: 13px; border-radius: 4px; overflow: hidden;
  background: var(--s2); border: 1px solid var(--line);
}
.fill {
  display: block; height: 100%; width: 0;
  transition: width .9s var(--ease) .25s;
}
.bar.bad-f .fill, .fill.bad { background: #7e4640; }
.fill.good { background: var(--green); }
.rv .fill { width: 0; }
.rv.in .fill { width: var(--w, 0%); }
.bar em {
  font-style: normal; font-family: var(--mono); font-size: 11px;
  color: var(--dim); white-space: nowrap;
}

/* ---------- attempt-cycle figure ---------- */
.loopfig { max-width: 100%; }
.loopfig figcaption.mono-label { padding: 12px 18px 0; }
.loopfig svg { width: 100%; height: auto; padding: 10px 14px 4px; box-sizing: border-box; }
.loop-legend {
  display: flex; gap: 22px; flex-wrap: wrap;
  padding: 4px 20px 16px;
  font-family: var(--mono); font-size: 10.5px; color: var(--faint);
}
.loop-legend span { display: inline-flex; align-items: center; gap: 8px; }
.loop-legend i { width: 14px; height: 3px; border-radius: 2px; display: inline-block; }

/* ---------- mechanism definition rows ---------- */
.mech-defs { margin-top: 40px; border-top: 1px solid var(--line-2); }
.def {
  display: grid; grid-template-columns: 150px 1fr; gap: 24px;
  padding: 24px 4px; border-bottom: 1px solid var(--line);
}
.def code {
  font-family: var(--mono); font-size: 13px; font-weight: 600;
  letter-spacing: .14em; color: var(--green); padding-top: 4px;
}
.def code::before { content: "/ "; color: var(--faint); font-weight: 400; }
.def p { margin: 0; color: var(--dim); font-size: 15px; line-height: 1.65; max-width: 62ch; }
.def p strong { color: var(--ink); font-weight: 500; }

/* ---------- big delta moment ---------- */
.bigdiff {
  margin: 44px 0 4px; display: flex; align-items: baseline; gap: .32em; flex-wrap: wrap;
  font-family: var(--mono); font-weight: 600;
  font-size: clamp(42px, 7vw, 92px); line-height: 1;
  letter-spacing: -.03em; font-variant-numeric: tabular-nums;
}
.bigdiff .wrong {
  color: #b0574f; text-decoration: line-through;
  text-decoration-color: rgba(207,98,89,.75); text-decoration-thickness: 4px;
}
.bigdiff .neq { color: var(--faint); font-size: .5em; font-weight: 400; }
.bigdiff .right { color: var(--green); }

/* ---------- footer title block ---------- */
.titleblock {
  margin-top: 64px; border: 1px solid var(--line-2);
  border-radius: 14px; background: var(--s1); overflow: hidden;
}
.tb-top {
  display: flex; justify-content: space-between; align-items: center; gap: 16px;
  padding: 15px 18px; border-bottom: 1px solid var(--line); flex-wrap: wrap;
}
.tb-top > div:first-child b {
  display: block; font-family: var(--mono); font-weight: 500;
  font-size: 13px; color: var(--ink-hi); margin-top: 3px;
}
.tb-k {
  font-family: var(--mono); font-size: 9.5px; letter-spacing: .18em;
  text-transform: uppercase; color: var(--faint);
}
.tb-grid { display: grid; grid-template-columns: repeat(6, 1fr); }
.tb-grid > div { padding: 12px 16px; border-right: 1px solid var(--line); }
.tb-grid > div:last-child { border-right: none; }
.tb-grid span {
  display: block; font-family: var(--mono); font-size: 9.5px;
  letter-spacing: .16em; text-transform: uppercase; color: var(--faint); margin-bottom: 4px;
}
.tb-grid b { font-family: var(--mono); font-weight: 500; font-size: 12px; color: var(--ink); }
.tb-pending { color: var(--faint); }
.tb-ok { color: var(--green-soft); }
#doctor-out {
  margin: 0; padding: 14px 18px;
  border-bottom: 1px solid var(--line);
  font-family: var(--mono); font-size: 11.5px; line-height: 2;
  color: var(--dim); white-space: pre-wrap;
}
#doctor-out .dl-hash { color: var(--faint); }
#doctor-out .dl-check { color: var(--green); }
#doctor-out .dl-final { color: var(--ink-hi); }
#doctor-btn[disabled] { opacity: .55; cursor: wait; }

/* ---------- responsive for artifact layer ---------- */
@media (max-width: 1080px) {
  .benchbar-wrap { grid-template-columns: 1fr; gap: 30px; }
  .bb-num b { font-size: clamp(60px, 12vw, 90px); }
}
@media (max-width: 720px) {
  .def { grid-template-columns: 1fr; gap: 8px; padding: 18px 0; }
  .bar { grid-template-columns: 70px 1fr; }
  .bar em { grid-column: 1 / -1; white-space: normal; }
  .secnum { top: 40px; font-size: clamp(96px, 26vw, 150px); }
  .tb-grid { grid-template-columns: repeat(3, 1fr); }
  .tb-grid > div:nth-child(4) { border-right: none; }
  .tb-grid > div:nth-child(n+4) { border-top: 1px solid var(--line); }
  #doctor-out { font-size: 10.5px; }
}
.tb-grid b.tb-bad { color: #e2a49e; }

/* ---------- spine v2: labels first, hash as detail ---------- */
@media (min-width: 1320px) {
  .spine {
    left: 18px;
    align-items: flex-start;
  }
}
.spine::before { background: var(--line); }
.sn { gap: 9px; padding: 6.5px 0; font-size: 9.5px; letter-spacing: .08em; }
.sn em {
  opacity: .5; translate: 0 0;
  color: var(--dim);
  transition: opacity var(--t-fast) var(--ease), color var(--t-fast) var(--ease);
}
.spine .sn u {
  opacity: 0 !important; translate: -4px 0;
  transition: opacity var(--t-fast) var(--ease), translate var(--t-fast) var(--ease);
}
.spine .sn:hover u,
.spine .sn.active u { opacity: .65 !important; translate: 0 0; }
.sn:hover em { opacity: 1; color: var(--ink-hi); }
.sn.active em { opacity: 1; color: var(--ink-hi); }
.sn.active i { box-shadow: 0 0 0 3px rgba(52,224,174,.12); }