:root {
  --ink-950: #09101f;
  --ink-900: #111827;
  --ink-700: #303a4b;
  --ink-500: #626b79;
  --ink-300: #aeb5bf;
  --ink-200: #d6dbe1;
  --ink-100: #e9ecef;
  --paper: #f4f2ec;
  --surface: #fff;
  --surface-soft: #f8f8f5;
  --seal: #0c8177;
  --seal-deep: #075f58;
  --seal-wash: #e7f5f2;
  --warn: #8a641c;
  --warn-wash: #fff7e5;
  --closed: #8e3b3b;
  --closed-wash: #fff0ef;
  --font-display: "Fraunces", Georgia, "Times New Roman", serif;
  --font-body: "IBM Plex Sans", Arial, sans-serif;
  --font-mono: "IBM Plex Mono", Consolas, monospace;
  --page: min(1180px, calc(100% - 48px));
  --radius: 4px;
  --shadow: 0 20px 55px rgb(9 16 31 / 8%);
  --ticks: repeating-linear-gradient(
    90deg,
    var(--ink-300) 0,
    var(--ink-300) 1px,
    transparent 1px,
    transparent 13px
  );
}

* {
  box-sizing: border-box;
}

html {
  color-scheme: light;
  scroll-behavior: smooth;
}

body {
  margin: 0;
  background:
    radial-gradient(circle at 82% 8%, rgb(12 129 119 / 6%), transparent 28rem),
    var(--paper);
  color: var(--ink-900);
  font-family: var(--font-body);
  -webkit-font-smoothing: antialiased;
}

body::before {
  position: fixed;
  z-index: -1;
  inset: 0;
  background-image: linear-gradient(rgb(9 16 31 / 2.5%) 1px, transparent 1px);
  background-size: 100% 48px;
  content: "";
  pointer-events: none;
}

a {
  color: inherit;
  text-decoration: none;
}

button,
input {
  font: inherit;
}

button,
a {
  -webkit-tap-highlight-color: transparent;
}

.skip-link {
  position: fixed;
  z-index: 100;
  top: 8px;
  left: 8px;
  padding: 10px 14px;
  transform: translateY(-150%);
  background: var(--ink-950);
  color: #fff;
}

.skip-link:focus {
  transform: translateY(0);
}

.site-shell {
  min-height: 100vh;
}

.site-header {
  position: sticky;
  z-index: 20;
  top: 0;
  display: grid;
  grid-template-columns: auto 1fr auto;
  align-items: center;
  min-height: 78px;
  padding: 0 max(24px, calc((100vw - 1180px) / 2));
  border-bottom: 1px solid rgb(17 24 39 / 10%);
  background: rgb(244 242 236 / 94%);
  backdrop-filter: blur(14px);
}

.brand {
  display: inline-flex;
  align-items: center;
  gap: 11px;
}

.brand-mark {
  width: 34px;
  height: 34px;
}

.brand-word {
  font-family: var(--font-display);
  font-size: 24px;
  font-weight: 600;
}

.nav-links {
  display: flex;
  justify-content: center;
  gap: clamp(18px, 2.4vw, 34px);
}

.nav-links a {
  padding: 28px 0 25px;
  border-bottom: 2px solid transparent;
  color: var(--ink-500);
  font-size: 14px;
  font-weight: 500;
}

.nav-links a:hover,
.nav-links a[aria-current="page"] {
  border-bottom-color: var(--seal);
  color: var(--ink-950);
}

.header-actions {
  display: flex;
  justify-content: flex-end;
}

.menu-button {
  display: none;
  padding: 9px 11px;
  border: 1px solid var(--ink-300);
  background: transparent;
  color: var(--ink-900);
  font-family: var(--font-mono);
  font-size: 12px;
  text-transform: uppercase;
}

.page {
  width: var(--page);
  margin-inline: auto;
}

.section {
  padding-block: 54px;
}

.product-hero,
.page-hero {
  padding-block: clamp(64px, 9vw, 116px);
}

.product-hero {
  display: grid;
  grid-template-columns: minmax(0, 1.08fr) minmax(380px, 0.92fr);
  align-items: center;
  gap: clamp(50px, 8vw, 110px);
}

.page-hero {
  max-width: 840px;
}

.compact-hero {
  padding-bottom: 34px;
}

.eyebrow,
.card-kicker {
  display: block;
  color: var(--seal-deep);
  font-family: var(--font-mono);
  font-size: 11px;
  font-weight: 600;
  letter-spacing: 0.14em;
  text-transform: uppercase;
}

h1,
h2,
h3,
p {
  margin-top: 0;
}

h1,
h2,
h3 {
  font-family: var(--font-display);
  font-weight: 600;
  letter-spacing: -0.025em;
}

h1 {
  max-width: 780px;
  margin-block: 14px 22px;
  font-size: clamp(52px, 7vw, 84px);
  line-height: 0.99;
}

h1 em,
.footer-claim em {
  color: var(--seal-deep);
  font-weight: 500;
}

h2 {
  margin-bottom: 15px;
  font-size: clamp(28px, 3.5vw, 42px);
  line-height: 1.08;
}

h3 {
  margin-bottom: 10px;
  font-size: 23px;
  line-height: 1.18;
}

.lead {
  max-width: 760px;
  margin-bottom: 16px;
  color: var(--ink-700);
  font-size: clamp(19px, 2.3vw, 25px);
  line-height: 1.48;
}

.support,
.card p,
.release-card p,
.paper-card p,
.limitations p {
  color: var(--ink-500);
  line-height: 1.7;
}

.support {
  max-width: 700px;
  font-size: 16px;
}

.hero-actions,
.card-actions,
.status-line {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 11px;
  margin-top: 28px;
}

.button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-height: 44px;
  padding: 11px 17px;
  border: 1px solid transparent;
  border-radius: 2px;
  cursor: pointer;
  font-size: 13px;
  font-weight: 600;
  transition:
    background-color 150ms ease,
    border-color 150ms ease,
    color 150ms ease,
    transform 150ms ease;
}

.button:hover {
  transform: translateY(-1px);
}

.button-primary {
  border-color: var(--ink-950);
  background: var(--ink-950);
  color: #fff;
}

.button-primary:hover {
  background: #202b3e;
}

.button-secondary {
  border-color: var(--ink-300);
  background: transparent;
  color: var(--ink-900);
}

.button-secondary:hover {
  border-color: var(--seal);
  color: var(--seal-deep);
}

.button-light {
  border-color: #fff;
  background: #fff;
  color: var(--ink-950);
}

.button-small {
  min-height: 37px;
  margin-top: 12px;
  padding: 8px 12px;
}

.rule-ticks {
  height: 8px;
  border-top: 1px solid var(--ink-300);
  background: var(--ticks);
}

.hero-visual {
  position: relative;
  min-height: 470px;
}

.sigil-stage {
  position: absolute;
  top: -38px;
  right: -24px;
  width: 250px;
  height: 250px;
  opacity: 0.42;
}

.sigil-frame,
.sigil-trace {
  fill: none;
  stroke-linecap: square;
}

.sigil-frame {
  stroke: var(--ink-300);
  stroke-width: 2;
}

.sigil-trace {
  stroke: var(--seal);
  stroke-width: 3;
  stroke-dasharray: 7 9;
  animation: trace 18s linear infinite;
}

@keyframes trace {
  to {
    stroke-dashoffset: -640;
  }
}

.registry-instrument {
  position: absolute;
  right: 0;
  bottom: 0;
  width: min(100%, 460px);
  padding: 28px;
  border: 1px solid var(--ink-200);
  background: rgb(255 255 255 / 95%);
  box-shadow: var(--shadow);
}

.registry-head,
.release-card-head,
.model-card-head,
.release-summary-top {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 18px;
}

.registry-head {
  margin-bottom: 13px;
  color: var(--ink-500);
  font-family: var(--font-mono);
  font-size: 10px;
  letter-spacing: 0.1em;
}

.registry-head strong {
  color: var(--ink-900);
}

.instrument-row {
  display: grid;
  grid-template-columns: 120px 1fr;
  gap: 12px;
  padding: 14px 0;
  border-bottom: 1px solid var(--ink-100);
}

.instrument-row span {
  color: var(--ink-500);
  font-family: var(--font-mono);
  font-size: 11px;
  text-transform: uppercase;
}

.instrument-row strong {
  font-size: 14px;
  font-weight: 500;
}

.registry-note,
.guardrail-note {
  margin: 18px 0 0;
  color: var(--ink-500);
  font-size: 12px;
  line-height: 1.6;
}

.section-header {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(280px, 0.72fr);
  align-items: end;
  gap: 48px;
  margin-bottom: 28px;
}

.section-header h2 {
  margin: 6px 0 0;
}

.section-header > p {
  margin: 0;
  color: var(--ink-500);
  line-height: 1.65;
}

.three-column,
.model-grid,
.detail-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 16px;
}

.detail-grid {
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin-top: 28px;
}

.method-grid {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  gap: 12px;
}

.card,
.release-card,
.model-card,
.release-summary,
.paper-card,
.verify-panel,
.limitations {
  border: 1px solid var(--ink-200);
  background: var(--surface);
}

.card,
.release-card,
.model-card,
.limitations {
  padding: 25px;
}

.card-glyph {
  display: grid;
  width: 42px;
  height: 42px;
  margin-bottom: 24px;
  place-items: center;
  border: 1px solid var(--seal);
  color: var(--seal-deep);
  font-family: var(--font-mono);
  font-size: 17px;
}

.card .card-kicker,
.release-card .card-kicker,
.model-card .card-kicker {
  margin-bottom: 16px;
}

.dark-panel {
  padding: clamp(30px, 5vw, 58px);
  background: var(--ink-950);
  color: #fff;
}

.dark-panel h2 {
  max-width: 860px;
}

.dark-panel p {
  max-width: 760px;
  color: var(--ink-300);
  line-height: 1.7;
}

.dark-panel .eyebrow {
  margin-bottom: 14px;
  color: #74cfc4;
}

.process-panel {
  background:
    radial-gradient(circle at 90% 20%, rgb(12 129 119 / 25%), transparent 24rem),
    var(--ink-950);
}

.stamp {
  display: inline-flex;
  width: fit-content;
  align-items: center;
  min-height: 27px;
  padding: 5px 8px;
  border: 1px solid var(--ink-300);
  color: var(--ink-500);
  font-family: var(--font-mono);
  font-size: 9px;
  font-weight: 600;
  letter-spacing: 0.08em;
  line-height: 1.2;
  text-transform: uppercase;
}

.stamp-live {
  border-color: var(--seal);
  background: var(--seal-wash);
  color: var(--seal-deep);
}

.stamp-warn {
  border-color: #d5b572;
  background: var(--warn-wash);
  color: var(--warn);
}

.state-panel {
  display: grid;
  grid-template-columns: auto 1fr;
  align-items: center;
  gap: 18px;
  min-height: 150px;
  padding: 28px;
  border: 1px solid var(--ink-200);
  background: var(--surface);
}

.state-panel strong {
  display: block;
  margin: 4px 0 6px;
  font-family: var(--font-display);
  font-size: 24px;
}

.state-panel p {
  max-width: 700px;
  margin: 0;
  color: var(--ink-500);
  line-height: 1.6;
}

.state-pulse,
.state-mark {
  display: grid;
  width: 42px;
  height: 42px;
  place-items: center;
  border: 1px solid var(--seal);
  color: var(--seal-deep);
  font-family: var(--font-mono);
}

.state-pulse {
  border-radius: 50%;
  animation: pulse 1.4s ease-in-out infinite;
}

.state-closed {
  border-color: #e2c9c6;
  background: var(--closed-wash);
}

.state-closed .state-mark {
  border-color: var(--closed);
  color: var(--closed);
}

@keyframes pulse {
  50% {
    opacity: 0.3;
    transform: scale(0.82);
  }
}

.release-summary {
  padding: clamp(26px, 4vw, 42px);
  box-shadow: var(--shadow);
}

.release-summary h2,
.release-card h2 {
  margin: 7px 0 13px;
}

.release-list {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 16px;
}

.release-card {
  display: flex;
  flex-direction: column;
  min-height: 390px;
}

.release-card-head {
  display: flex;
}

.release-card .button {
  align-self: flex-start;
  margin-top: auto;
}

.readout-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(160px, 1fr));
  gap: 1px;
  margin: 24px 0;
  border: 1px solid var(--ink-200);
  background: var(--ink-200);
}

.readout-grid > div {
  min-width: 0;
  padding: 15px;
  background: var(--surface-soft);
}

.readout-grid dt,
.ledger dt {
  margin-bottom: 6px;
  color: var(--ink-500);
  font-family: var(--font-mono);
  font-size: 9px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.readout-grid dd,
.ledger dd {
  margin: 0;
  overflow-wrap: anywhere;
  color: var(--ink-900);
  font-family: var(--font-mono);
  font-size: 12px;
  line-height: 1.55;
}

.readout-compact {
  margin-block: 18px;
}

.model-grid {
  grid-template-columns: repeat(3, minmax(0, 1fr));
}

.model-card {
  display: flex;
  flex-direction: column;
  min-height: 330px;
}

.model-card h3 {
  margin-top: 22px;
}

.model-card .button,
.model-card .guardrail-note {
  margin-top: auto;
}

.model-id,
.muted {
  color: var(--ink-500);
  font-family: var(--font-mono);
  font-size: 11px;
  line-height: 1.55;
  overflow-wrap: anywhere;
}

.detail-header {
  display: flex;
  align-items: flex-end;
  justify-content: space-between;
  gap: 42px;
  padding-block: 44px 20px;
}

.detail-header h1 {
  margin-bottom: 18px;
  font-size: clamp(45px, 6vw, 70px);
}

.detail-status {
  display: grid;
  justify-items: end;
  gap: 10px;
  padding-bottom: 20px;
  color: var(--ink-500);
  font-family: var(--font-mono);
  font-size: 11px;
}

.detail-status a {
  color: var(--seal-deep);
}

.ledger {
  margin: 22px 0 0;
}

.ledger > div {
  display: grid;
  grid-template-columns: minmax(110px, 0.45fr) minmax(0, 1fr);
  gap: 18px;
  padding: 12px 0;
  border-bottom: 1px solid var(--ink-100);
}

.ledger > div:last-child {
  border-bottom: 0;
}

.nested-section {
  padding-top: 58px;
}

.cell-table-wrap {
  overflow-x: auto;
  border: 1px solid var(--ink-200);
  background: var(--surface);
}

.cell-table {
  width: 100%;
  border-collapse: collapse;
  text-align: left;
}

.cell-table th {
  padding: 13px 15px;
  border-bottom: 1px solid var(--ink-300);
  background: var(--surface-soft);
  color: var(--ink-500);
  font-family: var(--font-mono);
  font-size: 9px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.cell-table td {
  padding: 15px;
  border-bottom: 1px solid var(--ink-100);
  font-size: 13px;
}

.cell-table tr:last-child td {
  border-bottom: 0;
}

.cell-table .number {
  font-family: var(--font-mono);
  white-space: nowrap;
}

.limitations,
.artifact-card {
  margin-top: 24px;
}

.verify-panel {
  display: grid;
  grid-template-columns: minmax(260px, 0.7fr) minmax(340px, 1.3fr);
  align-items: center;
  gap: 48px;
  padding: clamp(28px, 5vw, 52px);
  box-shadow: var(--shadow);
}

.verify-panel h2 {
  margin: 8px 0 10px;
}

.verify-panel p {
  margin: 0;
  color: var(--ink-500);
  line-height: 1.65;
}

.verify-form label {
  display: block;
  margin-bottom: 8px;
  color: var(--ink-500);
  font-family: var(--font-mono);
  font-size: 10px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.verify-input-row {
  display: flex;
}

.verify-input-row input {
  min-width: 0;
  flex: 1;
  padding: 13px 14px;
  border: 1px solid var(--ink-300);
  border-right: 0;
  border-radius: 0;
  background: var(--surface-soft);
  color: var(--ink-900);
  font-family: var(--font-mono);
  font-size: 13px;
}

.verify-input-row input:focus {
  z-index: 1;
  border-color: var(--seal);
  outline: 2px solid rgb(12 129 119 / 18%);
}

.verification-result {
  display: grid;
  grid-template-columns: auto 1fr;
  align-items: center;
  gap: 28px;
  padding: clamp(34px, 6vw, 66px);
  border: 1px solid var(--ink-200);
  background: var(--surface);
}

.verification-result h1 {
  margin-block: 6px 13px;
  font-size: clamp(42px, 6vw, 68px);
}

.verification-seal {
  display: grid;
  width: 92px;
  height: 92px;
  place-items: center;
  border: 2px solid var(--seal);
  border-radius: 50%;
  color: var(--seal-deep);
  font-family: var(--font-mono);
  font-size: 34px;
}

.verification-failed {
  border-color: #e2c9c6;
  background: var(--closed-wash);
}

.verification-failed .verification-seal {
  border-color: var(--closed);
  color: var(--closed);
}

.paper-card {
  display: grid;
  grid-template-columns: minmax(0, 1.3fr) minmax(220px, 0.7fr);
  gap: 48px;
  padding: clamp(28px, 5vw, 52px);
  box-shadow: var(--shadow);
}

.paper-card h2 {
  max-width: 760px;
  margin: 10px 0 12px;
}

.paper-byline {
  font-family: var(--font-mono);
  font-size: 12px;
}

.paper-action {
  display: flex;
  flex-direction: column;
  align-items: flex-end;
  justify-content: space-between;
  gap: 28px;
}

.paper-ledger {
  max-width: 620px;
}


/* ---------- Wilson forest plot (Surface M model card) ---------- */

.forest-plot {
  margin: 0 0 24px;
  padding: clamp(20px, 3.5vw, 34px);
  border: 1px solid var(--ink-200);
  background: var(--surface);
  box-shadow: var(--shadow);
}

.forest-plot svg {
  display: block;
  width: 100%;
  height: auto;
}

.fp-grid {
  stroke: var(--ink-100);
  stroke-width: 1;
}

.fp-axis {
  stroke: var(--ink-300);
  stroke-width: 1;
}

.fp-axis-label {
  fill: var(--ink-500);
  font-family: var(--font-mono);
  font-size: 11px;
}

.fp-row-label {
  fill: var(--ink-900);
  font-family: var(--font-body);
  font-size: 14px;
  font-weight: 500;
}

.fp-row-meta {
  fill: var(--ink-500);
  font-family: var(--font-mono);
  font-size: 10px;
}

.fp-whisker {
  stroke: var(--seal);
  stroke-width: 2;
}

.fp-cap {
  stroke: var(--seal);
  stroke-width: 2;
}

.fp-point {
  fill: var(--seal-deep);
  stroke: var(--surface);
  stroke-width: 2;
}

.fp-value {
  fill: var(--ink-700);
  font-family: var(--font-mono);
  font-size: 12px;
}

.fp-caption {
  margin: 14px 0 0;
  color: var(--ink-500);
  font-size: 12px;
  line-height: 1.6;
}

/* ---------- Verification chain (claim page) ---------- */

.verify-chain {
  margin-top: 24px;
  padding: clamp(22px, 4vw, 40px);
  border: 1px solid var(--ink-200);
  background: var(--surface);
}

.verify-chain-list {
  display: grid;
  gap: 0;
  margin: 18px 0 0;
  padding: 0;
  list-style: none;
}

.verify-chain-step {
  position: relative;
  display: grid;
  grid-template-columns: 34px 1fr;
  gap: 16px;
  padding: 13px 0;
  border-bottom: 1px solid var(--ink-100);
  animation: chain-resolve 420ms ease-out backwards;
}

.verify-chain-step:last-child {
  border-bottom: 0;
}

.verify-chain-step:nth-child(1) { animation-delay: 120ms; }
.verify-chain-step:nth-child(2) { animation-delay: 280ms; }
.verify-chain-step:nth-child(3) { animation-delay: 440ms; }
.verify-chain-step:nth-child(4) { animation-delay: 600ms; }
.verify-chain-step:nth-child(5) { animation-delay: 760ms; }
.verify-chain-step:nth-child(6) { animation-delay: 920ms; }
.verify-chain-step:nth-child(7) { animation-delay: 1080ms; }

.verify-chain-mark {
  display: grid;
  width: 28px;
  height: 28px;
  place-items: center;
  border: 1px solid var(--seal);
  border-radius: 50%;
  background: var(--seal-wash);
  color: var(--seal-deep);
  font-family: var(--font-mono);
  font-size: 13px;
}

.verify-chain-text {
  display: grid;
  gap: 2px;
}

.verify-chain-text strong {
  font-size: 14px;
  font-weight: 600;
}

.verify-chain-text span {
  color: var(--ink-500);
  font-size: 13px;
  line-height: 1.5;
}

@keyframes chain-resolve {
  from {
    opacity: 0;
    transform: translateY(6px);
  }
  to {
    opacity: 1;
    transform: translateY(0);
  }
}

@media (prefers-reduced-motion: reduce) {
  .verify-chain-step {
    animation: none;
  }

  .sigil-trace {
    animation: none;
  }

  .state-pulse {
    animation: none;
  }
}


/* ---------- Pre-registered release panel ---------- */

.prereg-card {
  max-width: 880px;
}

.prereg-card .status-line {
  display: flex;
  gap: 8px;
  flex-wrap: wrap;
}

.prereg-targets {
  margin: 22px 0 18px;
  padding: 18px 20px;
  border: 1px solid var(--ink-200);
  background: var(--paper);
}

.prereg-targets .ledger {
  margin-top: 12px;
}

.prereg-targets .ledger dd {
  font-family: var(--font-mono);
  font-size: 13px;
}


/* ---------- Contact ---------- */

.footer-contact a {
  color: var(--ink-500);
  font-family: var(--font-mono);
  font-size: 13px;
  text-decoration: none;
  border-bottom: 1px solid var(--ink-200);
}

.footer-contact a:hover {
  color: var(--seal-deep);
  border-bottom-color: var(--seal);
}

.contact-card {
  max-width: 640px;
}

.contact-card a {
  font-family: var(--font-mono);
  color: var(--seal-deep);
}