@import url("https://fonts.googleapis.com/css2?family=JetBrains+Mono:wght@400;500;600;700&family=Montserrat:wght@400;500;600;700;800&display=swap");

:root {
  --paper: #f2f3ef;
  --paper-raised: #fafbf8;
  --ink: #141713;
  --ink-soft: #626960;
  --ink-faint: #888f86;
  --line: #cbd0c7;
  --line-strong: #aeb5aa;
  --blue: #003ec7;
  --blue-dark: #002c91;
  --blue-soft: #e4eaff;
  --green: #0b7548;
  --green-soft: #dfeee6;
  --amber: #a85e26;
  --amber-soft: #f3e6da;
  --sans: "Montserrat", "Helvetica Neue", Helvetica, Arial, sans-serif;
  --mono: "JetBrains Mono", "SFMono-Regular", "Cascadia Code", Menlo, monospace;
  --content: 1240px;
  --prose: 760px;
  --header-height: 68px;
}

* {
  box-sizing: border-box;
}

html {
  scroll-behavior: smooth;
  scroll-padding-top: calc(var(--header-height) + 26px);
}

body {
  margin: 0;
  color: var(--ink);
  background: var(--paper);
  font-family: var(--sans);
  font-size: 17px;
  line-height: 1.62;
  text-rendering: optimizeLegibility;
  -webkit-font-smoothing: antialiased;
}

a {
  color: inherit;
}

button {
  color: inherit;
  font: inherit;
}

a:focus-visible,
button:focus-visible,
[tabindex="0"]:focus-visible {
  outline: 2px solid var(--blue);
  outline-offset: 4px;
}

.reading-progress {
  position: fixed;
  inset: 0 auto auto 0;
  z-index: 120;
  width: 100%;
  height: 3px;
  transform: scaleX(0);
  transform-origin: left;
  background: var(--blue);
  animation: reading-progress linear;
  animation-timeline: scroll(root);
}

@keyframes reading-progress {
  to { transform: scaleX(1); }
}

.site-header {
  position: sticky;
  top: 0;
  z-index: 100;
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  min-height: var(--header-height);
  padding: 0 32px;
  border-bottom: 1px solid var(--line);
  background: rgb(242 243 239 / 93%);
  backdrop-filter: blur(16px);
}

.brand,
.footer-brand {
  display: inline-flex;
  align-items: center;
  gap: 12px;
  width: fit-content;
  font-family: var(--mono);
  font-size: 12px;
  font-weight: 700;
  letter-spacing: -0.02em;
  text-decoration: none;
}

.brand img,
.footer-brand img {
  width: auto;
  height: 34px;
}

.site-header nav {
  display: flex;
  align-items: center;
  gap: 30px;
}

.site-header nav a {
  color: var(--ink-soft);
  font-size: 13px;
  text-decoration: none;
}

.site-header nav a:hover {
  color: var(--ink);
}

.header-topic {
  justify-self: end;
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 10px;
  letter-spacing: 0.08em;
  text-decoration: none;
}

main {
  overflow: clip;
}

.hero {
  display: grid;
  grid-template-columns: minmax(0, 0.88fr) minmax(560px, 1.12fr);
  gap: clamp(54px, 7vw, 110px);
  align-items: center;
  min-height: calc(100dvh - var(--header-height));
  max-width: var(--content);
  margin: 0 auto;
  padding: 68px 32px 76px;
}

.eyebrow,
.section-label {
  margin: 0 0 24px;
  color: var(--blue-dark);
  font-family: var(--mono);
  font-size: 11px;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.hero h1 {
  max-width: 690px;
  margin: 0;
  font-size: clamp(54px, 5.8vw, 86px);
  font-weight: 450;
  letter-spacing: -0.066em;
  line-height: 0.96;
}

.hero h1 span {
  display: block;
  color: var(--blue);
}

.hero-deck {
  max-width: 640px;
  margin: 34px 0 0;
  color: var(--ink-soft);
  font-size: clamp(19px, 1.45vw, 23px);
  letter-spacing: -0.025em;
  line-height: 1.4;
}

.hero-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 12px;
  margin-top: 36px;
}

.button {
  display: inline-flex;
  min-height: 48px;
  align-items: center;
  justify-content: center;
  padding: 0 20px;
  border: 1px solid var(--line-strong);
  border-radius: 5px;
  font-size: 13px;
  font-weight: 700;
  text-decoration: none;
  transition: transform 160ms ease, background 160ms ease;
}

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

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

.button-primary:hover {
  background: var(--blue-dark);
}

.button-secondary {
  background: var(--paper-raised);
}

.hero-meta {
  display: flex;
  flex-wrap: wrap;
  gap: 9px 20px;
  margin-top: 32px;
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 10px;
  letter-spacing: 0.045em;
  text-transform: uppercase;
}

.hero-meta span + span::before {
  margin-right: 20px;
  color: var(--line-strong);
  content: "/";
}

.hero-system {
  position: relative;
  display: grid;
  grid-template-columns: 120px 1fr 250px 1fr 120px;
  grid-template-rows: auto 1fr auto;
  gap: 22px 0;
  min-height: 600px;
  margin: 0;
  padding: 28px;
  overflow: hidden;
  border: 1px solid var(--line-strong);
  border-radius: 10px;
  background-color: var(--paper-raised);
  background-image:
    linear-gradient(var(--line) 1px, transparent 1px),
    linear-gradient(90deg, var(--line) 1px, transparent 1px);
  background-size: 42px 42px;
}

.hero-system::after {
  position: absolute;
  inset: 0;
  pointer-events: none;
  background: linear-gradient(180deg, var(--paper-raised), transparent 18%, transparent 82%, var(--paper-raised));
  content: "";
}

.hero-system figcaption,
.hero-party,
.hero-path,
.hero-enclave,
.hero-result {
  position: relative;
  z-index: 2;
}

.hero-system figcaption {
  grid-column: 1 / -1;
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 22px;
  padding: 0 2px 20px;
  border-bottom: 1px solid var(--line);
  background: var(--paper-raised);
}

.hero-system figcaption span,
.hero-system figcaption strong,
.hero-party small,
.hero-party code,
.enclave-label,
.enclave-assets small,
.enclave-compute,
.hero-result span {
  font-family: var(--mono);
}

.hero-system figcaption span {
  color: var(--ink-faint);
  font-size: 9px;
  letter-spacing: 0.07em;
}

.hero-system figcaption strong {
  max-width: 310px;
  font-size: 11px;
  text-align: right;
}

.hero-party {
  align-self: center;
  padding: 17px 13px;
  border: 1px solid var(--line-strong);
  border-radius: 6px;
  background: rgb(250 251 248 / 96%);
}

.hero-party small,
.hero-party code {
  display: block;
}

.hero-party small {
  margin-bottom: 13px;
  color: var(--ink-faint);
  font-size: 8px;
  letter-spacing: 0.06em;
}

.hero-party strong {
  display: block;
  font-size: 13px;
  line-height: 1.3;
}

.hero-party code {
  margin-top: 9px;
  color: var(--blue-dark);
  font-size: 12px;
}

.hero-path {
  display: flex;
  align-items: center;
}

.hero-path i {
  width: 100%;
  height: 1px;
  background: var(--blue);
}

.hero-path span {
  position: absolute;
  top: calc(50% - 25px);
  left: 50%;
  width: max-content;
  padding: 2px 5px;
  transform: translateX(-50%);
  color: var(--blue-dark);
  background: var(--paper-raised);
  font-family: var(--mono);
  font-size: 7px;
}

.hero-enclave {
  align-self: center;
  min-height: 320px;
  padding: 17px;
  border: 1px solid var(--blue);
  border-radius: 8px;
  background: var(--blue-soft);
  box-shadow: 0 0 0 8px rgb(0 62 199 / 6%);
}

.enclave-label {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  padding-bottom: 14px;
  border-bottom: 1px solid rgb(0 62 199 / 24%);
  color: var(--blue-dark);
  font-size: 8px;
}

.enclave-label b {
  padding: 3px 6px;
  color: #fff;
  background: var(--blue);
  font-size: 8px;
}

.enclave-assets {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 8px;
  margin: 16px 0;
}

.enclave-assets div {
  min-height: 80px;
  padding: 12px;
  border: 1px solid rgb(0 62 199 / 24%);
  background: rgb(250 251 248 / 76%);
}

.enclave-assets small,
.enclave-assets strong {
  display: block;
}

.enclave-assets small {
  color: var(--ink-faint);
  font-size: 7px;
}

.enclave-assets strong {
  margin-top: 12px;
  font-size: 10px;
  line-height: 1.35;
}

.enclave-compute {
  padding: 13px 10px;
  border: 1px solid rgb(0 62 199 / 32%);
  background: var(--paper-raised);
  color: var(--blue-dark);
  font-size: 11px;
  text-align: center;
}

.hero-enclave p {
  margin: 15px 0 0;
  color: var(--ink-soft);
  font-size: 10px;
  text-align: center;
}

.hero-result {
  grid-column: 2 / 5;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 22px;
  padding: 16px 18px;
  border: 1px solid var(--green);
  border-radius: 6px;
  background: var(--green-soft);
}

.hero-result span {
  color: var(--green);
  font-size: 8px;
  letter-spacing: 0.07em;
}

.hero-result strong {
  font-size: 11px;
  text-align: right;
}

.hero-contrast {
  grid-template-columns: 1fr;
  grid-template-rows: auto auto auto auto;
  gap: 14px;
  align-content: center;
  min-height: 580px;
}

.hero-contrast figcaption {
  margin-bottom: 8px;
}

.hero-compare-row {
  display: grid;
  grid-template-columns: 86px repeat(3, 1fr);
  gap: 8px;
  align-items: stretch;
}

.hero-compare-label,
.hero-compare-node,
.hero-compare-rule {
  border: 1px solid var(--line-strong);
  background: rgb(250 251 248 / 92%);
}

.hero-compare-label {
  display: flex;
  flex-direction: column;
  justify-content: space-between;
  padding: 13px 10px;
}

.hero-compare-label span,
.hero-compare-label small,
.hero-compare-node small,
.hero-compare-node code,
.hero-compare-rule span {
  font-family: var(--mono);
}

.hero-compare-label span {
  color: var(--ink);
  font-size: 8px;
  font-weight: 700;
  letter-spacing: 0.06em;
}

.hero-compare-label small {
  color: var(--ink-faint);
  font-size: 7px;
}

.hero-compare-node {
  position: relative;
  min-height: 130px;
  padding: 14px;
}

.hero-compare-node:not(:last-child)::after {
  position: absolute;
  top: 50%;
  right: -9px;
  z-index: 3;
  width: 9px;
  height: 1px;
  background: currentColor;
  content: "";
}

.hero-compare-node small,
.hero-compare-node strong,
.hero-compare-node code {
  display: block;
}

.hero-compare-node small {
  color: var(--ink-faint);
  font-size: 7px;
  letter-spacing: 0.05em;
}

.hero-compare-node strong {
  margin-top: 17px;
  font-size: 12px;
  line-height: 1.35;
}

.hero-compare-node code {
  margin-top: 13px;
  color: var(--ink-soft);
  font-size: 8px;
}

.hero-compare-tee .hero-compare-runtime,
.hero-compare-tee .hero-compare-label {
  border-color: var(--amber);
  background: var(--amber-soft);
}

.hero-compare-mirror .hero-compare-runtime,
.hero-compare-mirror .hero-compare-label {
  border-color: var(--green);
  background: var(--green-soft);
}

.hero-compare-mirror .hero-compare-label span,
.hero-compare-mirror .hero-compare-runtime code {
  color: var(--green);
}

.hero-compare-rule {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 22px;
  padding: 17px 18px;
  border-color: var(--blue);
  background: var(--blue-soft);
}

.hero-compare-rule span {
  color: var(--blue-dark);
  font-size: 8px;
  letter-spacing: 0.07em;
}

.hero-compare-rule strong {
  font-size: 12px;
  text-align: right;
}

article > section {
  border-top: 1px solid var(--line);
}

.opening,
.pilot-section,
.boundary-section,
.live-proof-section,
.protocol-section,
.placement-section,
.scale-section,
.mirror-section,
.outcome-section,
.conclusion,
.sources {
  max-width: var(--content);
  margin: 0 auto;
  padding: 126px 32px;
}

.opening {
  display: grid;
  grid-template-columns: minmax(0, 1.35fr) minmax(280px, 0.65fr);
  gap: 38px clamp(54px, 8vw, 132px);
  max-width: 1060px;
}

.opening .section-label,
.opening h2,
.opening .opening-lede,
.opening blockquote {
  grid-column: 1;
}

.opening > p:not(.section-label):not(.opening-lede) {
  grid-column: 2;
  grid-row: 2 / span 2;
  align-self: end;
  margin: 0;
  color: var(--ink-soft);
}

.opening h2,
.section-heading h2,
.outcome-copy h2,
.conclusion h2 {
  margin: 0;
  font-size: clamp(43px, 5vw, 72px);
  font-weight: 450;
  letter-spacing: -0.058em;
  line-height: 0.99;
}

.opening-lede {
  margin: 0;
  font-size: clamp(25px, 2.25vw, 36px);
  font-weight: 500;
  letter-spacing: -0.043em;
  line-height: 1.24;
}

.opening blockquote,
.conclusion blockquote {
  margin: 34px 0 0;
  padding: 26px 0 0;
  border-top: 2px solid var(--blue);
  color: var(--blue-dark);
  font-size: clamp(23px, 2.1vw, 32px);
  font-weight: 600;
  letter-spacing: -0.035em;
  line-height: 1.3;
}

.section-heading {
  max-width: 850px;
}

.section-heading > p:last-child {
  max-width: 700px;
  margin: 28px 0 0;
  color: var(--ink-soft);
  font-size: 19px;
}

.pilot-ledger {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  margin-top: 80px;
  border-top: 1px solid var(--line-strong);
  border-bottom: 1px solid var(--line-strong);
}

.pilot-ledger article {
  min-height: 260px;
  padding: 28px 25px 32px;
  border-right: 1px solid var(--line);
}

.pilot-ledger article:last-child {
  border-right: 0;
}

.pilot-ledger span,
.pilot-sequence span,
.pilot-reading strong,
.report-boundary span,
.live-proof-head span,
.live-proof-flow span,
.live-proof-flow code,
.proof-state,
.live-proof-result span,
.live-proof-result dt,
.live-proof-result dd,
.protocol-stack small,
.protocol-stack > article > span,
.protocol-detail span,
.placement-grid > article > span,
.mirror-map-head span,
.mirror-flow span,
.outcome-section li > span,
.sources h2 {
  font-family: var(--mono);
}

.pilot-ledger span {
  color: var(--ink-faint);
  font-size: 9px;
  letter-spacing: 0.08em;
}

.pilot-ledger strong {
  display: block;
  min-height: 62px;
  margin-top: 28px;
  font-size: 19px;
  line-height: 1.35;
}

.pilot-ledger p {
  margin: 22px 0 0;
  color: var(--ink-soft);
  font-size: 14px;
}

.pilot-sequence {
  display: grid;
  grid-template-columns: 1fr 54px 1fr 54px 1fr 54px 1fr;
  align-items: start;
  margin-top: 76px;
}

.pilot-sequence > div {
  min-height: 220px;
}

.pilot-sequence span {
  display: grid;
  width: 36px;
  height: 36px;
  place-items: center;
  border: 1px solid var(--blue);
  border-radius: 50%;
  color: var(--blue-dark);
  font-size: 10px;
}

.pilot-sequence strong {
  display: block;
  margin-top: 22px;
  font-size: 17px;
}

.pilot-sequence p {
  margin: 12px 0 0;
  color: var(--ink-soft);
  font-size: 13px;
}

.pilot-sequence > i {
  width: calc(100% - 14px);
  height: 1px;
  margin: 18px 7px 0;
  background: var(--line-strong);
}

.pilot-reading,
.report-boundary,
.integrity-note {
  margin: 28px 0 0;
  padding: 24px 26px;
  border-left: 3px solid var(--blue);
  background: var(--blue-soft);
}

.pilot-reading strong,
.report-boundary span {
  color: var(--blue-dark);
  font-size: 10px;
  letter-spacing: 0.07em;
}

.pilot-reading p,
.report-boundary p,
.integrity-note {
  font-size: 14px;
}

.pilot-reading p,
.report-boundary p {
  margin: 8px 0 0;
}

.boundary-section {
  max-width: none;
  padding-right: max(32px, calc((100vw - var(--content)) / 2 + 32px));
  padding-left: max(32px, calc((100vw - var(--content)) / 2 + 32px));
  background: #e9ebe6;
}

.boundary-tabs {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  max-width: 940px;
  margin-top: 70px;
  border: 1px solid var(--line-strong);
  background: var(--paper-raised);
}

.boundary-tabs button {
  display: grid;
  gap: 8px;
  min-height: 92px;
  padding: 17px 20px;
  border: 0;
  border-right: 1px solid var(--line);
  background: transparent;
  text-align: left;
  cursor: pointer;
}

.boundary-tabs button:last-child {
  border-right: 0;
}

.boundary-tabs button.is-active {
  color: #fff;
  background: var(--blue);
}

.boundary-tabs span {
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 8px;
  letter-spacing: 0.07em;
}

.boundary-tabs button.is-active span {
  color: rgb(255 255 255 / 70%);
}

.boundary-tabs strong {
  font-size: 15px;
}

.boundary-panel {
  display: grid;
  grid-template-columns: minmax(0, 1.35fr) minmax(320px, 0.65fr);
  gap: 28px;
  margin-top: 20px;
}

.boundary-canvas,
.boundary-verdict {
  border: 1px solid var(--line-strong);
  background: var(--paper-raised);
}

.boundary-canvas {
  display: grid;
  grid-template-columns: 135px 1fr 290px 1fr 135px;
  align-items: center;
  min-height: 460px;
  padding: 32px;
  background-color: var(--paper-raised);
  background-image:
    linear-gradient(var(--line) 1px, transparent 1px),
    linear-gradient(90deg, var(--line) 1px, transparent 1px);
  background-size: 38px 38px;
}

.boundary-origin,
.boundary-release,
.boundary-runtime {
  position: relative;
  z-index: 2;
  background: var(--paper-raised);
}

.boundary-origin,
.boundary-release {
  padding: 18px 14px;
  border: 1px solid var(--line-strong);
  border-radius: 6px;
}

.boundary-origin span,
.boundary-release span,
.runtime-head,
.runtime-payload small,
.runtime-payload code,
.boundary-wire code,
.boundary-verdict span,
.boundary-verdict dt,
.boundary-verdict dd {
  font-family: var(--mono);
}

.boundary-origin span,
.boundary-release span {
  display: block;
  color: var(--ink-faint);
  font-size: 8px;
  letter-spacing: 0.07em;
}

.boundary-origin strong,
.boundary-release strong {
  display: block;
  margin-top: 14px;
  font-size: 12px;
  line-height: 1.35;
}

.boundary-origin small,
.boundary-release small {
  display: block;
  margin-top: 6px;
  color: var(--ink-soft);
  font-size: 9px;
}

.boundary-wire {
  position: relative;
  display: flex;
  align-items: center;
}

.boundary-wire i {
  width: 100%;
  height: 1px;
  background: var(--blue);
}

.boundary-wire code {
  position: absolute;
  top: calc(50% - 28px);
  left: 50%;
  width: max-content;
  padding: 2px 5px;
  transform: translateX(-50%);
  color: var(--blue-dark);
  background: var(--paper-raised);
  font-size: 7px;
}

.boundary-runtime {
  min-height: 300px;
  padding: 18px;
  border: 1px solid var(--blue);
  border-radius: 8px;
  background: var(--blue-soft);
  transition: background 180ms ease, border-color 180ms ease;
}

.runtime-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 14px;
  padding-bottom: 14px;
  border-bottom: 1px solid rgb(0 62 199 / 25%);
  color: var(--blue-dark);
  font-size: 8px;
}

.runtime-head b {
  padding: 3px 6px;
  color: #fff;
  background: var(--blue);
  font-size: 7px;
}

.runtime-payload {
  margin-top: 20px;
  padding: 17px;
  border: 1px solid rgb(0 62 199 / 30%);
  background: rgb(250 251 248 / 80%);
}

.runtime-payload small,
.runtime-payload strong,
.runtime-payload code {
  display: block;
}

.runtime-payload small {
  color: var(--ink-faint);
  font-size: 7px;
}

.runtime-payload strong {
  margin-top: 14px;
  font-size: 12px;
}

.runtime-payload code {
  margin-top: 16px;
  padding: 9px;
  overflow: hidden;
  color: var(--blue-dark);
  background: var(--paper);
  font-size: 8px;
  white-space: nowrap;
}

.boundary-runtime > p {
  margin: 17px 2px 0;
  color: var(--ink-soft);
  font-size: 10px;
}

.boundary-panel[data-mode="cluster"] .boundary-runtime {
  border-color: var(--amber);
  background: var(--amber-soft);
}

.boundary-panel[data-mode="cluster"] .runtime-head {
  border-color: rgb(168 94 38 / 25%);
  color: var(--amber);
}

.boundary-panel[data-mode="cluster"] .runtime-head b {
  background: var(--amber);
}

.boundary-panel[data-mode="cluster"] .runtime-payload {
  border-color: rgb(168 94 38 / 30%);
}

.boundary-panel[data-mode="fhe"] .boundary-runtime {
  border-color: var(--green);
  background: var(--green-soft);
}

.boundary-panel[data-mode="fhe"] .runtime-head {
  border-color: rgb(11 117 72 / 24%);
  color: var(--green);
}

.boundary-panel[data-mode="fhe"] .runtime-head b {
  background: var(--green);
}

.boundary-panel[data-mode="fhe"] .runtime-payload {
  border-color: rgb(11 117 72 / 28%);
}

.boundary-verdict {
  display: flex;
  flex-direction: column;
  padding: 30px;
}

.boundary-verdict span {
  color: var(--blue-dark);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.07em;
}

.boundary-verdict h3 {
  margin: 18px 0 0;
  font-size: clamp(25px, 2.2vw, 34px);
  letter-spacing: -0.04em;
  line-height: 1.15;
}

.boundary-verdict > p {
  margin: 24px 0 0;
  color: var(--ink-soft);
  font-size: 14px;
}

.boundary-verdict dl {
  margin: auto 0 0;
  padding-top: 28px;
}

.boundary-verdict dl > div {
  display: grid;
  grid-template-columns: 1fr auto;
  gap: 18px;
  padding: 13px 0;
  border-top: 1px solid var(--line);
}

.boundary-verdict dt,
.boundary-verdict dd {
  margin: 0;
  font-size: 9px;
}

.boundary-verdict dt {
  color: var(--ink-faint);
}

.boundary-verdict dd {
  font-weight: 700;
  text-align: right;
}

.report-boundary {
  max-width: 940px;
  margin-top: 28px;
  border-left-color: var(--amber);
  background: var(--amber-soft);
}

.information-contract {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  margin-top: 28px;
  border: 1px solid var(--line-strong);
  background: var(--paper-raised);
}

.information-contract article {
  min-height: 180px;
  padding: 24px;
  border-right: 1px solid var(--line);
}

.information-contract article:last-child {
  border-right: 0;
}

.information-contract span {
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 8px;
  letter-spacing: 0.07em;
}

.information-contract p {
  margin: 24px 0 0;
  font-size: 13px;
}

.report-boundary span {
  color: var(--amber);
}

.live-proof-section {
  max-width: none;
  padding-right: max(32px, calc((100vw - var(--content)) / 2 + 32px));
  padding-left: max(32px, calc((100vw - var(--content)) / 2 + 32px));
  color: #f5f7f2;
  background: #111511;
}

.live-proof-section .section-label,
.live-proof-section .section-heading > p:last-child {
  color: #aeb9ab;
}

.live-proof-section .section-heading h2 {
  color: #fff;
}

.live-proof {
  margin-top: 72px;
  border-top: 1px solid #465047;
  border-bottom: 1px solid #465047;
}

.live-proof-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 30px;
  min-height: 92px;
  border-bottom: 1px solid #333c34;
}

.live-proof-head > div {
  display: grid;
  gap: 7px;
}

.live-proof-head span,
.live-proof-flow span,
.live-proof-result span,
.live-proof-result dt,
.live-proof-result dd {
  font-family: var(--mono);
}

.live-proof-head > div span,
.live-proof-sample span,
.live-proof-sample dt,
.live-proof-flow span,
.live-proof-result span,
.live-proof-result dt {
  color: #899488;
  font-size: 8px;
  letter-spacing: 0.075em;
}

.live-proof-head strong {
  font-size: 16px;
}

.live-proof-sample {
  display: grid;
  grid-template-columns: minmax(250px, 0.72fr) minmax(0, 1.28fr);
  gap: 56px;
  padding: 34px 0;
  border-bottom: 1px solid #333c34;
}

.live-proof-sample > div {
  display: grid;
  align-content: start;
  gap: 14px;
}

.live-proof-sample span,
.live-proof-sample dt,
.live-proof-sample dd {
  font-family: var(--mono);
}

.live-proof-sample span,
.live-proof-sample dt {
  color: #899488;
  font-size: 8px;
  letter-spacing: 0.075em;
}

.live-proof-sample > div strong {
  max-width: 390px;
  font-size: 22px;
  letter-spacing: -0.03em;
  line-height: 1.3;
}

.live-proof-sample a {
  width: fit-content;
  color: #83aaff;
  font-family: var(--mono);
  font-size: 9px;
  text-underline-offset: 4px;
}

.live-proof-sample dl {
  margin: 0;
}

.live-proof-sample dl > div {
  display: grid;
  grid-template-columns: 130px 1fr;
  gap: 24px;
  padding: 10px 0;
  border-top: 1px solid #333c34;
}

.live-proof-sample dd {
  margin: 0;
  color: #dce3da;
  font-size: 10px;
}

.proof-state {
  display: flex;
  align-items: center;
  gap: 9px;
  margin: 0;
  color: #d6ddd3;
  font-size: 9px;
  letter-spacing: 0.08em;
}

.proof-state i {
  width: 8px;
  height: 8px;
  border-radius: 50%;
  background: #8f998d;
}

.live-proof[data-proof-state="running"] .proof-state i {
  background: #f0b055;
  animation: proof-pulse 1.1s ease-in-out infinite;
}

.live-proof[data-proof-state="complete"] .proof-state i {
  background: #48d895;
}

.live-proof[data-proof-state="unavailable"] .proof-state i {
  background: #ef7b6c;
}

@keyframes proof-pulse {
  50% { opacity: 0.35; }
}

.live-proof-flow {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr) 22px) minmax(0, 1fr);
  align-items: center;
  padding: 42px 0;
  border-bottom: 1px solid #333c34;
}

.live-proof-flow article {
  position: relative;
  min-height: 238px;
  padding: 22px 18px 20px;
  overflow: hidden;
  border: 1px solid #3d473e;
  background: #171c18;
}

.live-proof[data-proof-state="running"] .live-proof-flow article {
  animation: proof-stage-breathe 1.8s ease-in-out infinite;
}

.live-proof[data-proof-state="running"] .live-proof-flow article:nth-of-type(2) { animation-delay: 0.16s; }
.live-proof[data-proof-state="running"] .live-proof-flow article:nth-of-type(3) { animation-delay: 0.32s; }
.live-proof[data-proof-state="running"] .live-proof-flow article:nth-of-type(4) { animation-delay: 0.48s; }
.live-proof[data-proof-state="running"] .live-proof-flow article:nth-of-type(5) { animation-delay: 0.64s; }

@keyframes proof-stage-breathe {
  0%, 100% { border-color: #3d473e; }
  50% { border-color: #6e91e6; }
}

.live-proof-flow article strong {
  display: block;
  margin-top: 18px;
  font-size: 18px;
  letter-spacing: -0.025em;
}

.live-proof-flow article p {
  margin: 14px 0 0;
  color: #aeb9ab;
  font-size: 12px;
  line-height: 1.55;
}

.live-proof-flow article code {
  display: block;
  margin-top: 22px;
  overflow: hidden;
  color: #83aaff;
  font-size: 9px;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.live-proof-flow > i {
  height: 1px;
  background: #5873ad;
}

.live-proof[data-proof-state="complete"] .live-proof-flow article {
  border-color: #35674e;
}

.live-proof[data-proof-state="running"] .live-proof-flow > i {
  background: #6e91e6;
  animation: proof-connector-pulse 1.1s ease-in-out infinite;
}

@keyframes proof-connector-pulse {
  0%, 100% { opacity: 0.3; }
  50% { opacity: 1; }
}

.live-proof-controls {
  display: flex;
  align-items: center;
  gap: 24px;
  padding: 30px 0;
}

.live-proof-controls .button {
  border-color: #4f79e3;
  color: #fff;
  background: #2459d8;
  cursor: pointer;
}

.live-proof-controls .button:disabled {
  cursor: wait;
  opacity: 0.58;
  transform: none;
}

.live-proof-controls p {
  margin: 0;
  color: #aeb9ab;
  font-size: 13px;
}

.live-proof-progress {
  display: none;
  grid-template-columns: minmax(140px, 1fr) auto auto;
  align-items: center;
  gap: 18px;
  padding: 0 0 30px;
  color: #dce3da;
}

.live-proof[data-proof-state="running"] .live-proof-progress {
  display: grid;
}

.live-proof-progress > span {
  position: relative;
  height: 3px;
  overflow: hidden;
  background: #303932;
}

.live-proof-progress > span i {
  position: absolute;
  inset: 0;
  width: 35%;
  background: #6e91e6;
  animation: proof-progress-travel 1.35s ease-in-out infinite;
}

.live-proof-progress strong {
  font-size: 12px;
  font-weight: 600;
}

.live-proof-progress code {
  min-width: 42px;
  color: #83aaff;
  font-family: var(--mono);
  font-size: 10px;
  text-align: right;
}

@keyframes proof-progress-travel {
  from { transform: translateX(-110%); }
  to { transform: translateX(390%); }
}

.live-proof-result {
  display: grid;
  grid-template-columns: minmax(280px, 0.85fr) minmax(0, 1.15fr);
  gap: 60px;
  padding: 36px 0 42px;
  border-top: 1px solid #333c34;
}

.live-proof-result[hidden] {
  display: none;
}

.live-proof-result .proof-output {
  max-width: 520px;
  margin: 13px 0 0;
  color: #fff;
  font-size: clamp(17px, 1.45vw, 21px);
  letter-spacing: -0.02em;
  line-height: 1.55;
  white-space: pre-wrap;
}

.live-proof-result dl {
  margin: 0;
}

.live-proof-result dl > div {
  display: grid;
  grid-template-columns: 1fr auto;
  gap: 22px;
  padding: 11px 0;
  border-top: 1px solid #333c34;
}

.live-proof-result dd {
  margin: 0;
  color: #dce3da;
  font-size: 9px;
  font-weight: 700;
  text-align: right;
}

.live-proof-boundary {
  max-width: 800px;
  margin: 30px 0 0;
  color: #aeb9ab;
  font-size: 13px;
}

.live-proof-boundary strong {
  color: #fff;
}

.protocol-stack {
  margin-top: 78px;
  border-top: 1px solid var(--line-strong);
}

.protocol-stack > article {
  display: grid;
  grid-template-columns: 62px minmax(0, 1fr) 220px;
  gap: 28px;
  align-items: center;
  min-height: 150px;
  padding: 26px 0;
  border-bottom: 1px solid var(--line);
  cursor: pointer;
  transition: padding 180ms ease, background 180ms ease;
}

.protocol-stack > article:hover,
.protocol-stack > article.is-active {
  padding-right: 24px;
  padding-left: 24px;
  background: var(--paper-raised);
}

.protocol-stack > article > span {
  display: grid;
  width: 42px;
  height: 42px;
  place-items: center;
  border: 1px solid var(--line-strong);
  border-radius: 50%;
  color: var(--ink-faint);
  font-size: 10px;
}

.protocol-stack > article.is-active > span {
  border-color: var(--blue);
  color: #fff;
  background: var(--blue);
}

.protocol-stack small {
  color: var(--ink-faint);
  font-size: 8px;
  letter-spacing: 0.07em;
}

.protocol-stack h3 {
  margin: 7px 0 0;
  font-size: 21px;
  letter-spacing: -0.025em;
}

.protocol-stack p {
  max-width: 680px;
  margin: 8px 0 0;
  color: var(--ink-soft);
  font-size: 14px;
}

.protocol-stack code {
  padding: 15px;
  border: 1px solid var(--line);
  color: var(--blue-dark);
  background: var(--blue-soft);
  font-family: var(--mono);
  font-size: 12px;
  text-align: center;
}

.protocol-detail {
  display: grid;
  grid-template-columns: minmax(260px, 0.65fr) minmax(0, 1.35fr);
  gap: 42px;
  margin-top: 28px;
  padding: 32px;
  border: 1px solid var(--blue);
  background: var(--blue-soft);
}

.protocol-detail span {
  color: var(--blue-dark);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.07em;
}

.protocol-detail h3 {
  margin: 12px 0 0;
  font-size: 22px;
  letter-spacing: -0.03em;
  line-height: 1.3;
}

.protocol-detail p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 15px;
}

.placement-grid {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  margin-top: 78px;
  border: 1px solid var(--line-strong);
  background: var(--paper-raised);
}

.placement-grid > article {
  min-height: 420px;
  padding: 30px;
  border-right: 1px solid var(--line);
}

.placement-grid > article:last-child {
  border-right: 0;
}

.placement-grid > article > span {
  color: var(--ink-faint);
  font-size: 9px;
  letter-spacing: 0.08em;
}

.placement-grid h3 {
  margin: 32px 0 0;
  font-size: 25px;
  letter-spacing: -0.035em;
  line-height: 1.2;
}

.placement-grid p {
  margin: 22px 0 0;
  color: var(--ink-soft);
  font-size: 14px;
}

.placement-grid ul {
  margin: 34px 0 0;
  padding: 22px 0 0;
  border-top: 1px solid var(--line);
  list-style: none;
}

.placement-grid li {
  position: relative;
  padding: 7px 0 7px 17px;
  font-size: 12px;
}

.placement-grid li::before {
  position: absolute;
  top: 15px;
  left: 0;
  width: 5px;
  height: 5px;
  border-radius: 50%;
  background: var(--blue);
  content: "";
}

.placement-grid .placement-fhe {
  border-top: 3px solid var(--blue);
  background: var(--blue-soft);
}

.integrity-note {
  border-left-color: var(--ink);
  background: #e5e7e2;
}

.scale-section {
  max-width: none;
  padding-right: max(32px, calc((100vw - var(--content)) / 2 + 32px));
  padding-left: max(32px, calc((100vw - var(--content)) / 2 + 32px));
  background: #e9ebe6;
}

.scale-tabs {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  max-width: 760px;
  margin-top: 72px;
  border: 1px solid var(--line-strong);
  background: var(--paper-raised);
}

.scale-tabs button {
  display: grid;
  gap: 8px;
  min-height: 86px;
  padding: 16px 20px;
  border: 0;
  border-right: 1px solid var(--line);
  background: transparent;
  text-align: left;
  cursor: pointer;
}

.scale-tabs button:last-child {
  border-right: 0;
}

.scale-tabs button.is-active {
  color: #fff;
  background: var(--blue);
}

.scale-tabs span,
.scale-plane-head span,
.scale-input span,
.scale-release span,
.scale-runtime-head,
.scale-shards small,
.scale-shards code,
.scale-state span,
.scale-state small,
.scale-fhe-lane span,
.scale-eval-plane span,
.case-workers i,
.scale-reading > span,
.scale-reading dt,
.scale-reading dd,
.scale-axes span,
.runtime-contract span,
.runtime-contract li {
  font-family: var(--mono);
}

.scale-tabs span {
  color: var(--ink-faint);
  font-size: 8px;
  letter-spacing: 0.07em;
}

.scale-tabs button.is-active span {
  color: rgb(255 255 255 / 72%);
}

.scale-tabs strong {
  font-size: 14px;
}

.scale-panel {
  display: grid;
  grid-template-columns: minmax(0, 1.45fr) minmax(300px, 0.55fr);
  gap: 24px;
  margin-top: 20px;
}

.scale-canvas,
.scale-reading {
  border: 1px solid var(--line-strong);
  background: var(--paper-raised);
}

.scale-canvas {
  padding: 26px;
  background-color: var(--paper-raised);
  background-image:
    linear-gradient(var(--line) 1px, transparent 1px),
    linear-gradient(90deg, var(--line) 1px, transparent 1px);
  background-size: 38px 38px;
}

.scale-plane-head {
  display: grid;
  grid-template-columns: auto 1fr;
  gap: 4px 18px;
  align-items: baseline;
  padding: 0 0 18px;
  border-bottom: 1px solid var(--line-strong);
}

.scale-plane-head span {
  grid-row: 1 / span 2;
  align-self: start;
  padding: 5px 8px;
  color: #fff;
  background: var(--ink);
  font-size: 8px;
  letter-spacing: 0.07em;
}

.scale-plane-head strong {
  font-size: 17px;
}

.scale-plane-head small {
  color: var(--ink-soft);
  font-size: 10px;
}

.scale-model-flow {
  display: grid;
  grid-template-columns: 112px minmax(38px, 1fr) minmax(330px, 3.3fr) minmax(38px, 1fr) 112px;
  align-items: center;
  min-height: 390px;
  padding: 28px 0;
}

.scale-input,
.scale-release {
  position: relative;
  z-index: 2;
  padding: 16px 12px;
  border: 1px solid var(--line-strong);
  border-radius: 5px;
  background: var(--paper-raised);
}

.scale-input span,
.scale-release span {
  color: var(--ink-faint);
  font-size: 7px;
  letter-spacing: 0.07em;
}

.scale-input strong,
.scale-input code,
.scale-release strong,
.scale-release small {
  display: block;
}

.scale-input strong,
.scale-release strong {
  margin-top: 12px;
  font-size: 11px;
  line-height: 1.3;
}

.scale-input code,
.scale-release small {
  margin-top: 7px;
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 8px;
}

.scale-model-flow > i {
  position: relative;
  width: 100%;
  height: 1px;
  background: var(--blue);
}

.scale-model-flow > i b {
  position: absolute;
  top: -25px;
  left: 50%;
  width: max-content;
  transform: translateX(-50%);
  color: var(--blue-dark);
  background: var(--paper-raised);
  font-family: var(--mono);
  font-size: 7px;
  font-style: normal;
}

.scale-runtime {
  position: relative;
  z-index: 2;
  min-height: 330px;
  padding: 17px;
  border: 1px solid var(--green);
  border-radius: 7px;
  background: var(--green-soft);
  box-shadow: 0 0 0 7px rgb(11 117 72 / 6%);
}

.scale-runtime-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  padding-bottom: 13px;
  border-bottom: 1px solid rgb(11 117 72 / 25%);
  color: var(--green);
  font-size: 8px;
}

.scale-runtime-head b {
  padding: 3px 6px;
  color: #fff;
  background: var(--green);
  font-size: 7px;
}

.scale-shards {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: 7px;
  margin-top: 15px;
}

.scale-shards > div {
  min-width: 0;
  min-height: 80px;
  padding: 10px;
  border: 1px solid rgb(11 117 72 / 25%);
  background: rgb(250 251 248 / 82%);
}

.scale-panel[data-scale-mode="single"] .scale-shards > div:not(:first-child) {
  display: none;
}

.scale-panel[data-scale-mode="single"] .scale-shards {
  grid-template-columns: 1fr;
}

.scale-shards small,
.scale-shards strong,
.scale-shards code {
  display: block;
}

.scale-shards small {
  color: var(--ink-faint);
  font-size: 7px;
}

.scale-shards strong {
  margin-top: 9px;
  overflow: hidden;
  font-size: 10px;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.scale-shards code {
  margin-top: 5px;
  color: var(--green);
  font-size: 8px;
}

.scale-state,
.scale-fhe-lane {
  display: grid;
  grid-template-columns: auto 1fr auto;
  gap: 10px;
  align-items: center;
  margin-top: 8px;
  padding: 10px 11px;
  border: 1px solid rgb(0 62 199 / 22%);
  background: rgb(250 251 248 / 74%);
}

.scale-state span,
.scale-fhe-lane span {
  color: var(--ink-faint);
  font-size: 7px;
  letter-spacing: 0.06em;
}

.scale-state strong,
.scale-fhe-lane strong {
  font-size: 9px;
}

.scale-state small {
  color: var(--ink-soft);
  font-size: 7px;
}

.scale-fhe-lane {
  grid-template-columns: auto 1fr;
  border-color: rgb(11 117 72 / 32%);
  background: var(--green-soft);
}

.scale-fhe-lane span {
  color: var(--green);
}

.scale-eval-plane {
  display: grid;
  grid-template-columns: minmax(150px, 0.7fr) minmax(230px, 1.6fr) minmax(140px, 0.7fr);
  gap: 18px;
  align-items: center;
  padding: 20px;
  border: 1px solid var(--line-strong);
  background: rgb(250 251 248 / 92%);
}

.scale-eval-plane span {
  display: block;
  color: var(--ink-faint);
  font-size: 7px;
  letter-spacing: 0.07em;
}

.scale-eval-plane strong {
  display: block;
  margin-top: 8px;
  font-size: 11px;
  line-height: 1.3;
}

.case-workers {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: 5px;
}

.case-workers i {
  padding: 8px 3px;
  border: 1px solid var(--line);
  color: var(--blue-dark);
  background: var(--blue-soft);
  font-size: 7px;
  font-style: normal;
  text-align: center;
}

.scale-reduce {
  padding: 10px;
  border-left: 2px solid var(--green);
  background: var(--green-soft);
}

.scale-reading {
  display: flex;
  flex-direction: column;
  min-height: 100%;
  padding: 30px;
}

.scale-reading > span {
  color: var(--blue-dark);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.07em;
}

.scale-reading h3 {
  margin: 18px 0 0;
  font-size: clamp(25px, 2.3vw, 36px);
  letter-spacing: -0.045em;
  line-height: 1.12;
}

.scale-reading > p {
  margin: 24px 0 0;
  color: var(--ink-soft);
  font-size: 14px;
}

.scale-reading dl {
  margin: auto 0 0;
  padding-top: 28px;
}

.scale-reading dl > div {
  display: grid;
  grid-template-columns: 1fr auto;
  gap: 16px;
  padding: 12px 0;
  border-top: 1px solid var(--line);
}

.scale-reading dt,
.scale-reading dd {
  margin: 0;
  font-size: 8px;
}

.scale-reading dt {
  color: var(--ink-faint);
}

.scale-reading dd {
  max-width: 150px;
  font-weight: 700;
  text-align: right;
}

.scale-axes {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  margin-top: 28px;
  border: 1px solid var(--line-strong);
  background: var(--paper-raised);
}

.scale-axes article {
  min-height: 260px;
  padding: 24px;
  border-right: 1px solid var(--line);
}

.scale-axes article:last-child {
  border-right: 0;
}

.scale-axes span,
.runtime-contract span {
  color: var(--ink-faint);
  font-size: 8px;
  letter-spacing: 0.07em;
}

.scale-axes strong {
  display: block;
  margin-top: 28px;
  font-size: 17px;
  letter-spacing: -0.025em;
  line-height: 1.3;
}

.scale-axes p {
  margin: 18px 0 0;
  color: var(--ink-soft);
  font-size: 12px;
}

.fhe-scale-case {
  display: grid;
  grid-template-columns: minmax(300px, 0.9fr) minmax(0, 1.1fr);
  gap: 26px 64px;
  margin-top: 28px;
  padding: 34px;
  border: 1px solid var(--green);
  background: var(--green-soft);
}

.fhe-scale-case span {
  color: var(--green);
  font-family: var(--mono);
  font-size: 8px;
  font-weight: 700;
  letter-spacing: 0.07em;
}

.fhe-scale-case h3 {
  margin: 15px 0 0;
  font-size: 27px;
  letter-spacing: -0.04em;
  line-height: 1.18;
}

.fhe-scale-case > p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 14px;
}

.fhe-scale-formula {
  grid-column: 1 / -1;
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 8px;
  padding-top: 22px;
  border-top: 1px solid rgb(11 117 72 / 28%);
}

.fhe-scale-formula code {
  padding: 12px 14px;
  border: 1px solid rgb(11 117 72 / 28%);
  background: rgb(250 251 248 / 70%);
  color: var(--green);
  font-family: var(--mono);
  font-size: 10px;
  text-align: center;
}

.runtime-contract {
  display: grid;
  grid-template-columns: minmax(0, 1.25fr) minmax(360px, 0.75fr);
  gap: 50px;
  align-items: end;
  margin-top: 28px;
  padding: 34px;
  color: #fff;
  background: var(--ink);
}

.runtime-contract strong {
  display: block;
  margin-top: 14px;
  font-size: 25px;
  letter-spacing: -0.035em;
}

.runtime-contract p {
  max-width: 720px;
  margin: 16px 0 0;
  color: rgb(255 255 255 / 68%);
  font-size: 13px;
}

.runtime-contract ul {
  display: grid;
  grid-template-columns: 1fr 1fr;
  margin: 0;
  padding: 0;
  border-top: 1px solid rgb(255 255 255 / 28%);
  list-style: none;
}

.runtime-contract li {
  padding: 10px 8px;
  border-right: 1px solid rgb(255 255 255 / 18%);
  border-bottom: 1px solid rgb(255 255 255 / 18%);
  color: rgb(255 255 255 / 82%);
  font-size: 8px;
}

.runtime-contract li:nth-child(2n) {
  border-right: 0;
}

.scale-principle {
  margin: 28px 0 0;
  padding: 23px 26px;
  border-left: 3px solid var(--green);
  background: var(--green-soft);
  font-size: 15px;
}

.mirror-map {
  margin-top: 74px;
  border-top: 1px solid var(--line-strong);
}

.mirror-map-row {
  display: grid;
  grid-template-columns: 160px 210px minmax(0, 1fr);
  gap: 28px;
  align-items: center;
  min-height: 88px;
  padding: 16px 8px;
  border-bottom: 1px solid var(--line);
}

.mirror-map-head {
  min-height: 50px;
  color: var(--ink-faint);
}

.mirror-map-head span {
  font-size: 8px;
  letter-spacing: 0.07em;
}

.mirror-map-row strong {
  font-size: 14px;
}

.mirror-map-row code {
  width: fit-content;
  padding: 5px 8px;
  border: 1px solid var(--line);
  color: var(--blue-dark);
  background: var(--blue-soft);
  font-family: var(--mono);
  font-size: 9px;
}

.mirror-map-row p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 13px;
}

.mirror-flow {
  display: grid;
  grid-template-columns: 1fr 90px 1.45fr 90px 1fr;
  align-items: center;
  margin-top: 80px;
  padding: 38px;
  border: 1px solid var(--line-strong);
  background: var(--paper-raised);
}

.mirror-flow > div {
  min-height: 160px;
  padding: 21px;
  border: 1px solid var(--line);
  background: var(--paper);
}

.mirror-flow span,
.mirror-flow strong,
.mirror-flow small {
  display: block;
}

.mirror-flow span {
  color: var(--ink-faint);
  font-size: 8px;
  letter-spacing: 0.07em;
}

.mirror-flow strong {
  margin-top: 25px;
  font-size: 17px;
}

.mirror-flow small {
  margin-top: 8px;
  color: var(--ink-soft);
  font-size: 11px;
}

.mirror-flow .mirror-runtime {
  border-color: var(--blue);
  background: var(--blue-soft);
}

.mirror-flow > i {
  position: relative;
  width: 100%;
  height: 1px;
  background: var(--blue);
}

.mirror-flow > i b {
  position: absolute;
  top: -28px;
  left: 50%;
  width: max-content;
  transform: translateX(-50%);
  color: var(--blue-dark);
  font-family: var(--mono);
  font-size: 8px;
  font-style: normal;
}

.outcome-section {
  display: grid;
  grid-template-columns: minmax(0, 0.85fr) minmax(420px, 1.15fr);
  gap: clamp(60px, 9vw, 140px);
  align-items: start;
}

.outcome-copy {
  position: sticky;
  top: calc(var(--header-height) + 60px);
}

.outcome-copy > p:last-child {
  margin: 30px 0 0;
  color: var(--ink-soft);
}

.outcome-section ol {
  margin: 0;
  padding: 0;
  border-top: 1px solid var(--line-strong);
  list-style: none;
}

.outcome-section li {
  display: grid;
  grid-template-columns: 56px 1fr;
  gap: 20px;
  min-height: 150px;
  padding: 28px 0;
  border-bottom: 1px solid var(--line);
}

.outcome-section li > span {
  color: var(--blue-dark);
  font-size: 11px;
}

.outcome-section li strong {
  font-size: 22px;
  letter-spacing: -0.03em;
}

.outcome-section li p {
  margin: 10px 0 0;
  color: var(--ink-soft);
  font-size: 14px;
}

.conclusion {
  max-width: 980px;
  text-align: center;
}

.conclusion .section-label {
  text-align: center;
}

.conclusion > p:not(.section-label) {
  max-width: 780px;
  margin: 36px auto 0;
  color: var(--ink-soft);
  font-size: 19px;
}

.conclusion blockquote {
  max-width: 820px;
  margin-right: auto;
  margin-left: auto;
}

.conclusion .button {
  margin-top: 38px;
}

.sources {
  display: grid;
  grid-template-columns: 250px minmax(0, 1fr);
  gap: 54px;
  max-width: 1000px;
  padding-top: 80px;
  padding-bottom: 80px;
}

.sources h2 {
  margin: 0;
  font-size: 11px;
  letter-spacing: 0.07em;
  text-transform: uppercase;
}

.sources ol {
  margin: 0;
  padding: 0;
  list-style: none;
}

.sources li {
  padding: 13px 0;
  border-top: 1px solid var(--line);
  font-size: 13px;
}

.sources li:first-child {
  border-top-color: var(--line-strong);
}

.sources a {
  text-underline-offset: 4px;
}

footer {
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  min-height: 118px;
  padding: 24px 32px;
  border-top: 1px solid var(--line-strong);
}

footer p {
  margin: 0;
  color: var(--ink-faint);
  font-size: 12px;
  text-align: center;
}

footer > a:last-child {
  justify-self: end;
  font-size: 12px;
  text-underline-offset: 4px;
}

@media (max-width: 1120px) {
  .hero {
    grid-template-columns: 1fr;
    min-height: auto;
  }

  .hero-copy {
    max-width: 820px;
    padding-top: 40px;
  }

  .hero-system {
    min-height: 560px;
  }

  .boundary-panel {
    grid-template-columns: 1fr;
  }

  .boundary-verdict {
    min-height: 350px;
  }

  .boundary-verdict dl {
    margin-top: 34px;
  }

  .scale-panel {
    grid-template-columns: 1fr;
  }

  .scale-reading {
    min-height: 390px;
  }
}

@media (max-width: 900px) {
  .site-header {
    grid-template-columns: 1fr auto;
  }

  .site-header nav {
    display: none;
  }

  .opening {
    grid-template-columns: 1fr;
  }

  .opening > * {
    grid-column: 1 !important;
    grid-row: auto !important;
  }

  .pilot-ledger,
  .placement-grid,
  .information-contract {
    grid-template-columns: 1fr 1fr;
  }

  .pilot-ledger article:nth-child(2),
  .placement-grid article:nth-child(2) {
    border-right: 0;
  }

  .pilot-ledger article:nth-child(-n + 2),
  .placement-grid article:nth-child(-n + 2),
  .information-contract article:nth-child(-n + 2) {
    border-bottom: 1px solid var(--line);
  }

  .information-contract article:nth-child(2) {
    border-right: 0;
  }

  .scale-axes {
    grid-template-columns: 1fr 1fr;
  }

  .scale-axes article:nth-child(2) {
    border-right: 0;
  }

  .scale-axes article:nth-child(-n + 2) {
    border-bottom: 1px solid var(--line);
  }

  .runtime-contract {
    grid-template-columns: 1fr;
  }

  .fhe-scale-case {
    grid-template-columns: 1fr;
  }

  .placement-grid article:last-child {
    grid-column: 1 / -1;
  }

  .pilot-sequence {
    grid-template-columns: 1fr 1fr;
    gap: 34px;
  }

  .pilot-sequence > i {
    display: none;
  }

  .pilot-sequence > div {
    min-height: 170px;
  }

  .boundary-canvas {
    grid-template-columns: 120px 1fr 250px 1fr 120px;
    overflow-x: auto;
  }

  .protocol-stack > article {
    grid-template-columns: 52px 1fr;
  }

  .protocol-stack code {
    grid-column: 2;
    width: fit-content;
  }

  .mirror-map-row {
    grid-template-columns: 120px 175px minmax(0, 1fr);
  }

  .mirror-flow {
    grid-template-columns: 1fr;
    gap: 34px;
  }

  .mirror-flow > i {
    width: 1px;
    height: 34px;
    margin: 0 auto;
  }

  .mirror-flow > i b {
    top: 50%;
    left: 18px;
    transform: translateY(-50%);
  }

  .outcome-section {
    grid-template-columns: 1fr;
  }

  .outcome-copy {
    position: static;
  }
}

@media (max-width: 680px) {
  body {
    font-size: 16px;
  }

  .site-header {
    min-height: 60px;
    padding: 0 18px;
  }

  .brand img {
    height: 29px;
  }

  .brand span {
    display: none;
  }

  .hero,
  .opening,
  .pilot-section,
  .live-proof-section,
  .protocol-section,
  .placement-section,
  .scale-section,
  .mirror-section,
  .outcome-section,
  .conclusion,
  .sources {
    padding-right: 20px;
    padding-left: 20px;
  }

  .hero {
    gap: 54px;
    padding-top: 64px;
    padding-bottom: 68px;
  }

  .hero h1 {
    font-size: clamp(46px, 14vw, 68px);
  }

  .hero-actions .button {
    width: 100%;
  }

  .hero-meta span + span::before {
    display: none;
  }

  .hero-system {
    grid-template-columns: 1fr;
    grid-template-rows: auto auto 34px auto 34px auto auto;
    min-height: auto;
    padding: 20px;
  }

  .hero-contrast {
    grid-template-rows: auto;
    gap: 14px;
  }

  .hero-compare-row {
    grid-template-columns: 1fr;
  }

  .hero-compare-label {
    flex-direction: row;
    min-height: 42px;
  }

  .hero-compare-node {
    min-height: 105px;
  }

  .hero-compare-node:not(:last-child)::after {
    display: none;
  }

  .hero-compare-rule {
    display: grid;
  }

  .hero-compare-rule strong {
    text-align: left;
  }

  .hero-system figcaption,
  .hero-party,
  .hero-path,
  .hero-enclave,
  .hero-result {
    grid-column: 1;
  }

  .hero-system figcaption {
    display: grid;
  }

  .hero-system figcaption strong {
    text-align: left;
  }

  .evaluator-party { grid-row: 2; }
  .path-left { grid-row: 3; }
  .hero-enclave { grid-row: 4; }
  .path-right { grid-row: 5; }
  .model-party { grid-row: 6; }
  .hero-result { grid-row: 7; }

  .hero-path {
    width: 1px;
    height: 34px;
    margin: 0 auto;
  }

  .hero-path i {
    width: 1px;
    height: 100%;
  }

  .hero-path span {
    top: 50%;
    left: 12px;
    transform: translateY(-50%);
  }

  .hero-result {
    display: grid;
    margin-top: 12px;
  }

  .hero-result strong {
    text-align: left;
  }

  .opening,
  .pilot-section,
  .boundary-section,
  .protocol-section,
  .placement-section,
  .scale-section,
  .mirror-section,
  .outcome-section,
  .conclusion {
    padding-top: 92px;
    padding-bottom: 92px;
  }

  .pilot-ledger,
  .placement-grid,
  .information-contract {
    grid-template-columns: 1fr;
  }

  .pilot-ledger article,
  .placement-grid > article,
  .information-contract article {
    min-height: auto;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .pilot-ledger article:last-child,
  .placement-grid > article:last-child,
  .information-contract article:last-child {
    border-bottom: 0;
  }

  .placement-grid article:last-child {
    grid-column: auto;
  }

  .pilot-ledger strong {
    min-height: auto;
  }

  .pilot-sequence {
    grid-template-columns: 1fr;
  }

  .boundary-section {
    padding-right: 20px;
    padding-left: 20px;
  }

  .live-proof-section {
    padding-right: 20px;
    padding-left: 20px;
  }

  .live-proof-head,
  .live-proof-controls {
    align-items: flex-start;
    flex-direction: column;
    justify-content: center;
  }

  .live-proof-head {
    padding: 22px 0;
  }

  .live-proof-flow {
    grid-template-columns: 1fr;
    gap: 0;
  }

  .live-proof-flow article {
    min-height: auto;
  }

  .live-proof-flow > i {
    width: 1px;
    height: 32px;
    margin: 0 auto;
  }

  .live-proof-controls .button {
    width: 100%;
  }

  .live-proof-progress {
    grid-template-columns: 1fr auto;
  }

  .live-proof-progress > span {
    grid-column: 1 / -1;
  }

  .live-proof-result {
    grid-template-columns: 1fr;
    gap: 34px;
  }

  .live-proof-sample {
    grid-template-columns: 1fr;
    gap: 30px;
  }

  .live-proof-sample dl > div {
    grid-template-columns: 1fr;
    gap: 7px;
  }

  .scale-section {
    padding-right: 20px;
    padding-left: 20px;
  }

  .boundary-tabs {
    grid-template-columns: 1fr;
  }

  .boundary-tabs button {
    min-height: 74px;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .boundary-tabs button:last-child {
    border-bottom: 0;
  }

  .boundary-canvas {
    grid-template-columns: 1fr;
    gap: 0;
    padding: 22px;
  }

  .boundary-origin,
  .boundary-release,
  .boundary-runtime {
    width: 100%;
  }

  .boundary-wire {
    width: 1px;
    height: 46px;
    margin: 0 auto;
  }

  .boundary-wire i {
    width: 1px;
    height: 100%;
  }

  .boundary-wire code {
    top: 50%;
    left: 14px;
    transform: translateY(-50%);
  }

  .boundary-verdict {
    min-height: 420px;
    padding: 24px;
  }

  .protocol-stack > article {
    grid-template-columns: 42px 1fr;
    gap: 18px;
    padding: 24px 0;
  }

  .protocol-stack > article:hover,
  .protocol-stack > article.is-active {
    padding-right: 14px;
    padding-left: 14px;
  }

  .protocol-stack code {
    grid-column: 1 / -1;
    margin-left: 60px;
  }

  .protocol-detail {
    grid-template-columns: 1fr;
    padding: 24px;
  }

  .scale-tabs {
    grid-template-columns: 1fr;
  }

  .scale-tabs button {
    min-height: 72px;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .scale-tabs button:last-child {
    border-bottom: 0;
  }

  .scale-canvas {
    padding: 20px;
  }

  .scale-model-flow {
    grid-template-columns: 1fr;
    gap: 0;
  }

  .scale-input,
  .scale-release,
  .scale-runtime {
    width: 100%;
  }

  .scale-model-flow > i {
    width: 1px;
    height: 42px;
    margin: 0 auto;
  }

  .scale-model-flow > i b {
    top: 50%;
    left: 13px;
    transform: translateY(-50%);
  }

  .scale-eval-plane {
    grid-template-columns: 1fr;
  }

  .scale-axes {
    grid-template-columns: 1fr;
  }

  .scale-axes article,
  .scale-axes article:nth-child(2) {
    min-height: auto;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .scale-axes article:last-child {
    border-bottom: 0;
  }

  .runtime-contract {
    gap: 30px;
    padding: 26px;
  }

  .fhe-scale-case {
    padding: 26px;
  }

  .fhe-scale-formula {
    grid-template-columns: 1fr;
  }

  .mirror-map-head {
    display: none;
  }

  .mirror-map-row {
    grid-template-columns: 1fr;
    gap: 10px;
    padding: 24px 4px;
  }

  .mirror-flow {
    padding: 22px;
  }

  .sources {
    grid-template-columns: 1fr;
    gap: 24px;
  }

  footer {
    grid-template-columns: 1fr auto;
    padding: 22px 20px;
  }

  footer p {
    display: none;
  }
}

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