@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 {
  color-scheme: light dark;
  --bg: #fcfbfe;
  --surface: #ffffff;
  --surface-2: #f2f3ff;
  --surface-3: #eaedff;
  --ink: #131b2e;
  --muted: #434656;
  --faint: #737688;
  --line: #d9dced;
  --line-strong: #aeb4ca;
  --accent: #003ec7;
  --accent-strong: #004ced;
  --accent-soft: #eef2ff;
  --danger: #ba1a1a;
  --danger-soft: #ffdad6;
  --warning: #b45309;
  --warning-soft: #fef3c7;
  --shadow: 0 24px 70px rgba(0, 82, 255, 0.12);
  --radius: 16px;
  --control-radius: 10px;
  --sans: "Montserrat", ui-sans-serif, system-ui, -apple-system, "Segoe UI", sans-serif;
  --mono: "JetBrains Mono", "SFMono-Regular", Consolas, monospace;
}

@media (prefers-color-scheme: dark) {
  :root {
    --bg: #0a0c12;
    --surface: #121826;
    --surface-2: #1a2030;
    --surface-3: #222a3d;
    --ink: #ffffff;
    --muted: #a0a4b8;
    --faint: #7a7e92;
    --line: #2d3448;
    --line-strong: #4b536d;
    --accent: #6b9cff;
    --accent-strong: #4a7aff;
    --accent-soft: #1e2350;
    --danger: #f87171;
    --danger-soft: #450a0a;
    --warning: #f59e0b;
    --warning-soft: #3f2a08;
    --shadow: 0 28px 80px rgba(0, 0, 0, 0.4);
  }
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
#proof, #architecture, #plain-language, #zdr-vs-fhe, #privacy-matrix, #lifecycle-proof, #lifecycle-synthesis, #reasoning-replay, #article { scroll-margin-top: 148px; }
body {
  margin: 0;
  background: var(--bg);
  color: var(--ink);
  font-family: var(--sans);
  font-size: 17px;
  line-height: 1.5;
  -webkit-font-smoothing: antialiased;
}

button, input { font: inherit; }
button, a { -webkit-tap-highlight-color: transparent; }
a { color: inherit; }
img { display: block; max-width: 100%; }
code, pre { font-family: var(--mono); }

.skip-link {
  position: fixed;
  left: 16px;
  top: 12px;
  z-index: 20;
  transform: translateY(-160%);
  background: var(--ink);
  color: var(--bg);
  padding: 10px 14px;
  border-radius: var(--control-radius);
}
.skip-link:focus { transform: translateY(0); }

.site-header {
  align-items: center;
  background: color-mix(in srgb, var(--bg) 88%, transparent);
  backdrop-filter: blur(16px);
  border-bottom: 1px solid var(--line);
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  height: 66px;
  padding: 0 clamp(20px, 4vw, 68px);
  position: sticky;
  top: 0;
  z-index: 10;
}

.brand {
  align-items: center;
  display: inline-flex;
  gap: 12px;
  text-decoration: none;
  width: fit-content;
}
.brand img { height: 31px; width: auto; }
.brand span { color: var(--muted); font-size: 14px; font-weight: 700; }
.site-header nav { display: flex; gap: 28px; }
.site-header nav a, .paper-link, footer > a {
  color: var(--muted);
  font-size: 14px;
  font-weight: 650;
  text-decoration: none;
}
.site-header nav a:hover, .paper-link:hover, footer > a:hover { color: var(--ink); }
.paper-link { justify-self: end; }

.research-library {
  margin: 0 auto;
  max-width: 1500px;
  padding: 0 clamp(20px, 5vw, 78px) 96px;
}
.research-library-hero {
  align-items: end;
  border-bottom: 1px solid var(--line);
  display: grid;
  gap: clamp(44px, 10vw, 160px);
  grid-template-columns: minmax(0, 1.2fr) minmax(320px, 0.8fr);
  min-height: 460px;
  padding: clamp(80px, 11vw, 150px) 0 58px;
}
.research-library-hero h1 {
  font-size: clamp(46px, 6.2vw, 92px);
  letter-spacing: -0.065em;
  line-height: 0.97;
  margin: 18px 0 0;
  max-width: 860px;
}
.research-library-intro {
  border-left: 1px solid var(--line);
  color: var(--muted);
  font-size: clamp(16px, 1.35vw, 20px);
  padding-left: clamp(24px, 3vw, 44px);
}
.research-library-intro p { margin: 0; }
.research-library-intro p + p { margin-top: 18px; }

.research-featured,
.research-catalog { padding: clamp(72px, 9vw, 126px) 0 0; }
.research-section-heading {
  align-items: end;
  display: grid;
  gap: 32px;
  grid-template-columns: 1fr minmax(280px, 0.55fr);
  margin-bottom: 34px;
}
.research-section-heading span,
.research-principle > span {
  color: var(--accent);
  font: 750 10px var(--mono);
  letter-spacing: 0.12em;
}
.research-section-heading h2 {
  font-size: clamp(30px, 3.3vw, 52px);
  letter-spacing: -0.045em;
  line-height: 1.05;
  margin: 11px 0 0;
}
.research-section-heading > p {
  color: var(--muted);
  font-size: 15px;
  margin: 0;
}
.research-featured-grid {
  display: grid;
  gap: 1px;
  grid-template-columns: minmax(0, 1.12fr) minmax(0, 0.88fr);
  background: var(--line);
  border: 1px solid var(--line);
}
.research-feature {
  background: var(--surface);
  display: flex;
  flex-direction: column;
  min-height: 510px;
  padding: clamp(28px, 4vw, 56px);
}
.research-feature-primary {
  background:
    radial-gradient(circle at 14% 9%, color-mix(in srgb, var(--accent) 11%, transparent), transparent 34%),
    var(--surface);
}
.research-feature-meta {
  align-items: center;
  color: var(--accent);
  display: flex;
  font: 700 9px var(--mono);
  justify-content: space-between;
  letter-spacing: 0.08em;
}
.research-feature-meta i {
  color: var(--faint);
  font-style: normal;
  letter-spacing: 0;
}
.research-feature h3 {
  font-size: clamp(28px, 3vw, 46px);
  letter-spacing: -0.045em;
  line-height: 1.06;
  margin: 52px 0 20px;
  max-width: 720px;
}
.research-feature p {
  color: var(--muted);
  font-size: 15px;
  margin: 0;
  max-width: 650px;
}
.research-feature-proof {
  border-top: 1px solid var(--line);
  display: grid;
  gap: 6px;
  margin-top: auto;
  padding-top: 24px;
}
.research-feature-proof span { color: var(--faint); font: 700 9px var(--mono); letter-spacing: 0.08em; }
.research-feature-proof strong { font-size: 13px; }
.research-feature-actions {
  align-items: center;
  display: flex;
  flex-wrap: wrap;
  gap: 20px;
  margin-top: 25px;
}
.text-link {
  color: var(--muted);
  font-size: 13px;
  font-weight: 700;
  text-decoration: none;
}
.text-link:hover,
.text-link:focus-visible { color: var(--accent); }

.research-catalog-list { border-top: 1px solid var(--line-strong); }
.research-catalog-row {
  align-items: center;
  border-bottom: 1px solid var(--line);
  display: grid;
  gap: 26px;
  grid-template-columns: 54px minmax(260px, 1fr) minmax(230px, 0.55fr) 28px;
  min-height: 116px;
  padding: 22px 4px;
  text-decoration: none;
  transition: background-color 160ms ease, padding 160ms ease;
}
.research-catalog-row:hover,
.research-catalog-row:focus-visible {
  background: var(--surface-2);
  padding-left: 18px;
  padding-right: 18px;
}
.research-catalog-index { color: var(--accent); font: 750 10px var(--mono); }
.research-catalog-topic { display: grid; gap: 5px; }
.research-catalog-topic small { color: var(--faint); font: 700 9px var(--mono); letter-spacing: 0.08em; text-transform: uppercase; }
.research-catalog-topic strong { font-size: clamp(17px, 1.55vw, 23px); letter-spacing: -0.025em; }
.research-catalog-format { color: var(--muted); font-size: 12px; }
.research-catalog-arrow { color: var(--accent); font-size: 18px; text-align: right; }

.research-principle {
  border-bottom: 1px solid var(--line);
  border-top: 1px solid var(--line);
  margin-top: clamp(80px, 10vw, 150px);
  padding: clamp(54px, 7vw, 94px) 0;
}
.research-principle blockquote {
  border: 0;
  font-size: clamp(30px, 4.2vw, 64px);
  font-weight: 700;
  letter-spacing: -0.05em;
  line-height: 1.08;
  margin: 24px 0 32px;
  max-width: 1160px;
  padding: 0;
}
.research-principle a { color: var(--accent); font-size: 13px; font-weight: 750; text-decoration: none; }

.reflection-index {
  margin: 0 auto;
  max-width: 1500px;
  padding: 0 clamp(20px, 5vw, 78px) 100px;
}
.reflection-intro {
  align-items: end;
  border-bottom: 1px solid var(--line-strong);
  display: grid;
  gap: clamp(44px, 6vw, 92px);
  grid-template-columns: minmax(0, 1.25fr) minmax(330px, 0.75fr);
  padding: clamp(74px, 9vw, 126px) 0 clamp(56px, 6vw, 82px);
}
.reflection-intro h1 {
  font-size: clamp(42px, 4.45vw, 66px);
  letter-spacing: -0.058em;
  line-height: 1.01;
  margin: 20px 0 30px;
  max-width: 900px;
}
.reflection-intro .brand-gradient {
  background: none;
  color: var(--accent);
  -webkit-text-fill-color: currentColor;
}
.reflection-intro-copy > p:last-child {
  color: var(--muted);
  font-size: clamp(16px, 1.45vw, 20px);
  line-height: 1.6;
  margin: 0;
  max-width: 720px;
}
.reflection-contract {
  border-bottom: 1px solid var(--line-strong);
  border-top: 1px solid var(--line-strong);
  display: grid;
  padding: 18px 0;
}
.reflection-contract > span {
  color: var(--accent);
  font: 750 9px var(--mono);
  letter-spacing: 0.11em;
  margin-bottom: 15px;
}
.reflection-contract > div {
  align-items: center;
  display: grid;
  gap: 5px 12px;
  grid-template-columns: minmax(0, 1fr) auto;
  padding: 14px 15px;
}
.reflection-contract small { color: var(--faint); font: 700 7px var(--mono); grid-column: 1 / -1; letter-spacing: 0.08em; }
.reflection-contract strong { font-size: 12px; }
.reflection-contract b { color: var(--accent); font: 700 8px var(--mono); text-transform: uppercase; }
.reflection-contract > i { color: var(--line-strong); font: normal 11px var(--mono); padding-left: 16px; }
.reflection-contract .reflection-contract-result {
  background: var(--accent-soft);
  border-left: 2px solid var(--accent);
  display: grid;
  grid-template-columns: 1fr;
}
.reflection-contract-result strong { color: var(--accent); font-size: 14px; }
.reflection-layout {
  align-items: start;
  display: grid;
  gap: clamp(46px, 6vw, 94px);
  grid-template-columns: 230px minmax(0, 1fr);
}
.reflection-rail {
  border-right: 1px solid var(--line);
  min-height: 520px;
  padding: 62px 30px 30px 0;
  position: sticky;
  top: 66px;
}
.reflection-rail-nav { display: grid; }
.reflection-rail-nav > span,
.reflection-standard > span,
.reflection-publications-head span,
.reflection-entry-type,
.reflection-thesis > span {
  color: var(--accent);
  font: 750 9px var(--mono);
  letter-spacing: 0.11em;
}
.reflection-rail-nav > span { margin-bottom: 15px; }
.reflection-rail-nav a {
  align-items: center;
  border-top: 1px solid var(--line);
  color: var(--muted);
  display: flex;
  font-size: 11px;
  font-weight: 700;
  justify-content: space-between;
  padding: 13px 0;
  text-decoration: none;
}
.reflection-rail-nav a:last-child { border-bottom: 1px solid var(--line); }
.reflection-rail-nav a:hover,
.reflection-rail-nav a:focus-visible,
.reflection-rail-nav a.is-current { color: var(--ink); }
.reflection-rail-nav a.is-current { box-shadow: inset 2px 0 0 var(--accent); padding-left: 12px; }
.reflection-rail-nav b { color: var(--faint); font: 600 9px var(--mono); }
.reflection-standard { margin-top: 54px; }
.reflection-standard p { color: var(--muted); font-size: 11px; line-height: 1.65; margin: 12px 0 0; }

.reflection-publications { min-width: 0; padding-top: 58px; }
.reflection-publications-head {
  align-items: end;
  display: flex;
  justify-content: space-between;
  margin-bottom: 30px;
}
.reflection-publications-head h2 {
  font-size: clamp(32px, 3.1vw, 48px);
  letter-spacing: -0.045em;
  line-height: 1.05;
  margin: 9px 0 0;
}
.reflection-publications-head > p { color: var(--faint); font: 600 9px var(--mono); margin: 0 0 5px; text-transform: uppercase; }
.reflection-entry {
  border-top: 1px solid var(--line-strong);
  display: grid;
  gap: clamp(28px, 4vw, 58px);
  grid-template-columns: 108px minmax(280px, 1fr) minmax(250px, 0.72fr);
  padding: clamp(40px, 5vw, 66px) 0;
  scroll-margin-top: 90px;
}
.reflection-entry + .reflection-entry { border-color: var(--line); }
.reflection-entry-label { display: grid; gap: 10px; height: fit-content; }
.reflection-entry-label > span { color: var(--accent); font: 700 26px var(--mono); }
.reflection-entry-label small { color: var(--faint); font: 650 9px/1.5 var(--mono); text-transform: uppercase; }
.reflection-entry-copy h3 {
  font-size: clamp(27px, 2.65vw, 40px);
  letter-spacing: -0.045em;
  line-height: 1.08;
  margin: 17px 0 20px;
}
.reflection-entry-copy > p { color: var(--muted); font-size: 14px; line-height: 1.7; margin: 0; max-width: 670px; }
.reflection-entry-actions { align-items: center; display: flex; flex-wrap: wrap; gap: 18px; margin-top: 31px; }
.reflection-entry-actions .button { min-height: 42px; padding: 11px 17px; }
.reflection-boundary {
  align-self: start;
  background: var(--surface-2);
  border: 1px solid var(--line);
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  padding: 22px;
}
.reflection-boundary > span { color: var(--faint); flex: 1 0 100%; font: 700 8px var(--mono); letter-spacing: 0.1em; margin-bottom: 10px; }
.reflection-boundary > div { background: var(--surface); border: 1px solid var(--line); display: grid; flex: 1 1 75px; gap: 5px; min-height: 76px; padding: 12px; }
.reflection-boundary > i { align-self: center; color: var(--faint); font: normal 12px var(--mono); }
.reflection-boundary small { color: var(--faint); font: 700 7px var(--mono); letter-spacing: 0.08em; }
.reflection-boundary strong { font-size: 10px; line-height: 1.35; }
.reflection-boundary .is-blocked { border-color: color-mix(in srgb, var(--danger) 45%, var(--line)); }
.reflection-boundary .is-blocked strong { color: var(--danger); }
.reflection-boundary .is-protected { border-color: color-mix(in srgb, var(--accent) 45%, var(--line)); }
.reflection-boundary .is-protected strong { color: var(--accent); }
.reflection-thesis {
  border-bottom: 1px solid var(--line-strong);
  border-top: 1px solid var(--line-strong);
  margin-top: 24px;
  padding: clamp(54px, 6vw, 86px) 0;
}
.reflection-thesis blockquote {
  border: 0;
  font-size: clamp(29px, 3.55vw, 53px);
  font-weight: 700;
  letter-spacing: -0.05em;
  line-height: 1.1;
  margin: 22px 0 30px;
  max-width: 1000px;
  padding: 0;
}

.hero {
  align-items: center;
  display: grid;
  gap: clamp(38px, 7vw, 108px);
  grid-template-columns: minmax(0, 0.9fr) minmax(500px, 1.1fr);
  margin: 0 auto;
  min-height: calc(100dvh - 66px);
  max-width: 1500px;
  overflow: hidden;
  padding: 38px clamp(20px, 5vw, 78px) 46px;
  position: relative;
  isolation: isolate;
}

.hero::before {
  background:
    radial-gradient(42% 45% at 8% 24%, color-mix(in srgb, #0052ff 15%, transparent), transparent 72%),
    radial-gradient(34% 38% at 70% 8%, color-mix(in srgb, #a855f7 10%, transparent), transparent 74%),
    radial-gradient(30% 34% at 96% 80%, color-mix(in srgb, #4cd7f6 8%, transparent), transparent 76%);
  content: "";
  inset: 0;
  pointer-events: none;
  position: absolute;
  z-index: -1;
}

.hero-copy { max-width: 610px; }
.eyebrow {
  color: var(--accent);
  font-family: var(--mono);
  font-size: 12px;
  font-weight: 750;
  letter-spacing: 0.13em;
  margin: 0 0 24px;
  text-transform: uppercase;
}
h1, h2, h3, h4, p { margin-top: 0; }
h1 {
  font-size: clamp(50px, 4.4vw, 64px);
  letter-spacing: -0.06em;
  line-height: 0.98;
  margin-bottom: 28px;
  max-width: 13ch;
}
.brand-gradient {
  background: linear-gradient(90deg, #3b82f6, #a855f7 46%, #ec4899 72%, #f97316);
  background-clip: text;
  color: transparent;
  display: inline-block;
  margin-left: 0.16em;
  -webkit-background-clip: text;
}
.hero-lede {
  color: var(--muted);
  font-size: clamp(18px, 1.35vw, 21px);
  line-height: 1.55;
  margin-bottom: 32px;
  max-width: 47ch;
}
.hero-paper {
  border-left: 3px solid var(--accent);
  display: grid;
  gap: 3px;
  margin: -4px 0 28px;
  padding: 4px 0 4px 15px;
  text-decoration: none;
}
.hero-paper span {
  color: var(--accent);
  font: 700 10px var(--mono);
  letter-spacing: 0.1em;
  text-transform: uppercase;
}
.hero-paper strong { font-size: 13px; line-height: 1.35; }
.hero-paper small { color: var(--muted); font-size: 12px; }
.hero-paper:hover strong { color: var(--accent); }
.hero-actions, .closing > div { display: flex; flex-wrap: wrap; gap: 10px; }
.button {
  align-items: center;
  border: 1px solid transparent;
  border-radius: 999px;
  cursor: pointer;
  display: inline-flex;
  font-size: 15px;
  font-weight: 750;
  justify-content: center;
  min-height: 50px;
  padding: 0 21px;
  text-decoration: none;
  transition: transform 160ms ease, background-color 160ms ease, border-color 160ms ease;
  white-space: nowrap;
}
.button:active { transform: translateY(1px); }
.button:focus-visible, button:focus-visible, a:focus-visible, input:focus-visible {
  outline: 3px solid color-mix(in srgb, var(--accent) 48%, transparent);
  outline-offset: 3px;
}
.button-primary {
  background: linear-gradient(135deg, #004ced, #4648d4);
  box-shadow: 0 10px 24px rgba(0, 76, 237, 0.2);
  color: #ffffff;
}
.button-primary:hover { background: linear-gradient(135deg, #003ec7, #393bb8); }
.button-secondary { background: var(--surface); border-color: var(--line); color: var(--ink); }
.button-secondary:hover { border-color: var(--line-strong); }
.button:disabled { cursor: wait; opacity: 0.6; }

.hero-evidence {
  background: #0a0c12;
  border: 1px solid var(--line);
  border-radius: var(--radius);
  box-shadow: var(--shadow);
  margin: 0;
  overflow: hidden;
}
.hero-evidence img { height: auto; width: 100%; }
.hero-evidence figcaption {
  align-items: center;
  background: var(--surface);
  color: var(--muted);
  display: flex;
  gap: 18px;
  justify-content: space-between;
  padding: 13px 16px;
}
.hero-evidence figcaption strong { color: var(--ink); font-size: 13px; }
.hero-evidence figcaption span { font-size: 12px; text-align: right; }

.hero-live-proof {
  background: var(--surface);
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  box-shadow: var(--shadow);
  padding: clamp(24px, 3vw, 38px);
}
.hero-live-proof > header { align-items: flex-start; display: flex; gap: 24px; justify-content: space-between; }
.hero-live-proof .button-primary { background: linear-gradient(135deg, #004ced, #4648d4); color: #ffffff; }
.hero-live-proof .button-primary:hover { background: linear-gradient(135deg, #003ec7, #393bb8); color: #ffffff; }
.hero-live-proof h2 { font-size: clamp(29px, 2.55vw, 38px); letter-spacing: -0.045em; line-height: 1.07; margin: 8px 0 0; max-width: 13ch; }
.hero-proof-state { color: var(--faint); font: 750 10px var(--mono); letter-spacing: 0.05em; }
.hero-proof-state.is-live { color: var(--accent); }
.hero-proof-state.is-unavailable { color: var(--danger); }
.hero-live-proof > p { color: var(--muted); font-size: 15px; line-height: 1.55; margin: 20px 0 25px; max-width: 53ch; }
.hero-proof-contexts { border-bottom: 1px solid var(--line); border-top: 1px solid var(--line); display: grid; grid-template-columns: 1fr 0.82fr 1fr; }
.hero-proof-contexts > div { min-height: 122px; padding: 17px 14px; }
.hero-proof-contexts > div + div { border-left: 1px solid var(--line); }
.hero-proof-contexts span { color: var(--accent); display: block; font: 700 9px var(--mono); margin-bottom: 12px; }
.hero-proof-contexts strong { display: block; font-size: 14px; line-height: 1.35; }
.hero-proof-contexts small { color: var(--muted); display: block; font-size: 11px; line-height: 1.4; margin-top: 9px; }
.hero-proof-contexts small code { color: var(--accent); }
.hero-proof-transfer { background: var(--accent-soft); }
.hero-proof-result { background: var(--surface-2); border: 1px solid transparent; border-radius: var(--control-radius); margin-top: 22px; min-height: 154px; padding: 23px; }
.hero-proof-result.is-running { border-color: var(--accent); }
.hero-proof-result.is-blocked { background: var(--danger-soft); border-color: var(--danger); }
.hero-proof-result.is-unavailable { background: var(--warning-soft); border-color: var(--warning); }
.hero-proof-result > span { color: var(--faint); display: block; font: 750 10px var(--mono); margin-bottom: 14px; }
.hero-proof-result.is-blocked > span { color: var(--danger); }
.hero-proof-result > strong { display: block; font-size: 20px; letter-spacing: -0.025em; line-height: 1.3; }
.hero-proof-result code { color: var(--accent); display: block; font-size: 12px; margin-top: 17px; overflow-wrap: anywhere; }
.hero-proof-detail { color: var(--muted); font: 12px/1.5 var(--mono); margin-top: 18px; }

.plain-language {
  display: grid;
  gap: clamp(46px, 7vw, 100px);
  grid-template-columns: minmax(260px, 0.72fr) minmax(0, 1.28fr);
  margin: 0 auto;
  max-width: 1500px;
  padding: 94px clamp(20px, 5vw, 78px);
}
.plain-intro h2 {
  font-size: clamp(42px, 4vw, 60px);
  letter-spacing: -0.05em;
  line-height: 1;
  margin-bottom: 18px;
  max-width: 10ch;
}
.plain-intro p { color: var(--muted); font-size: 18px; line-height: 1.6; max-width: 34ch; }
.plain-answers article {
  border-top: 1px solid var(--line-strong);
  display: grid;
  gap: 24px;
  grid-template-columns: 140px minmax(220px, 0.9fr) minmax(250px, 1.1fr);
  padding: 25px 0 28px;
}
.plain-answers article:last-child { border-bottom: 1px solid var(--line-strong); }
.plain-answers span { color: var(--accent); font: 750 12px var(--mono); }
.plain-answers h3 { font-size: 21px; letter-spacing: -0.025em; line-height: 1.25; margin: 0; }
.plain-answers p { color: var(--muted); font-size: 15px; line-height: 1.55; margin: 0; }

.zdr-comparison {
  background: var(--surface-2);
  border-bottom: 1px solid var(--line);
  border-top: 1px solid var(--line);
  padding: 112px max(clamp(20px, 5vw, 78px), calc((100vw - 1500px) / 2 + 78px)) 124px;
}
.zdr-heading {
  align-items: end;
  display: grid;
  gap: clamp(42px, 8vw, 120px);
  grid-template-columns: minmax(0, 1.1fr) minmax(340px, 0.9fr);
  margin-bottom: 58px;
}
.zdr-heading h1, .zdr-heading h2 {
  font-size: clamp(45px, 5.4vw, 78px);
  letter-spacing: -0.06em;
  line-height: 0.96;
  margin: 0;
  max-width: 15ch;
}
.zdr-heading h1 { max-width: 15ch; }
.zdr-heading-copy p { color: var(--muted); font-size: 16px; line-height: 1.68; margin-bottom: 18px; max-width: 58ch; }
.zdr-heading-copy p:last-child { margin-bottom: 0; }

.lifecycle-proof {
  background: var(--surface);
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  margin: 48px 0 0;
  overflow: hidden;
}
.lifecycle-proof-heading {
  align-items: end;
  display: grid;
  gap: clamp(38px, 7vw, 96px);
  grid-template-columns: minmax(320px, 0.9fr) minmax(380px, 1.1fr);
  padding: clamp(31px, 4vw, 50px);
}
.lifecycle-proof-heading span {
  color: var(--accent);
  display: block;
  font: 750 10px var(--mono);
  letter-spacing: 0.07em;
  margin-bottom: 17px;
}
.lifecycle-proof-heading h2 {
  font-size: clamp(37px, 4.2vw, 62px);
  letter-spacing: -0.055em;
  line-height: 0.98;
  margin: 0;
  max-width: 13ch;
  text-wrap: balance;
}
.lifecycle-proof-heading p {
  color: var(--muted);
  font-size: 14px;
  line-height: 1.7;
  margin: 0 0 24px;
  max-width: 62ch;
}
.lifecycle-stages { list-style: none; margin: 0; padding: 0; }
.lifecycle-stages li {
  align-items: center;
  background: var(--surface-2);
  border-top: 1px solid var(--line);
  display: grid;
  gap: clamp(20px, 3vw, 44px);
  grid-template-columns: 48px minmax(280px, 1fr) minmax(260px, 0.9fr);
  min-height: 142px;
  padding: 24px clamp(24px, 4vw, 48px);
  transition: background-color 220ms ease, box-shadow 220ms ease;
}
.lifecycle-stages li.is-running { background: var(--accent-soft); box-shadow: inset 4px 0 0 var(--accent); }
.lifecycle-stages li.is-complete { background: var(--surface); box-shadow: inset 4px 0 0 var(--accent); }
.lifecycle-stages li.is-error { background: var(--danger-soft); box-shadow: inset 4px 0 0 var(--danger); }
.lifecycle-stages li.is-skipped { opacity: 0.58; }
.lifecycle-stage-number { color: var(--faint); font: 650 19px var(--mono); font-variant-numeric: tabular-nums; }
.lifecycle-stage-copy > span { color: var(--accent); display: block; font: 750 9px var(--mono); letter-spacing: 0.06em; margin-bottom: 8px; }
.lifecycle-stage-copy strong { display: block; font-size: 17px; letter-spacing: -0.02em; line-height: 1.35; }
.lifecycle-stage-copy p { color: var(--muted); font-size: 11px; line-height: 1.6; margin: 8px 0 0; max-width: 64ch; }
.lifecycle-stage-result { border-left: 1px solid var(--line-strong); min-width: 0; padding-left: clamp(20px, 3vw, 36px); }
.lifecycle-stage-result b { color: var(--faint); display: block; font: 750 9px var(--mono); letter-spacing: 0.07em; margin-bottom: 10px; }
.is-running .lifecycle-stage-result b, .is-complete .lifecycle-stage-result b { color: var(--accent); }
.is-error .lifecycle-stage-result b { color: var(--danger); }
.lifecycle-stage-result code { color: var(--muted); display: block; font-size: 10px; line-height: 1.6; overflow-wrap: anywhere; }
.lifecycle-receipt {
  align-items: start;
  background: #0c1020;
  color: #eef0ff;
  display: grid;
  gap: 26px;
  grid-template-columns: minmax(250px, 0.82fr) minmax(320px, 1.18fr) minmax(240px, 0.8fr);
  min-height: 156px;
  padding: 28px clamp(24px, 4vw, 48px);
}
.lifecycle-receipt > div span { color: #8ea1ff; display: block; font: 750 9px var(--mono); letter-spacing: 0.07em; margin-bottom: 11px; }
.lifecycle-receipt > div strong { display: block; font-size: 18px; letter-spacing: -0.025em; line-height: 1.38; }
.lifecycle-receipt > p { color: #b6bfd8; font-size: 11px; line-height: 1.7; margin: 0; }
.lifecycle-receipt > code { border-left: 1px solid #29334d; color: #aebcff; font-size: 10px; line-height: 1.7; overflow-wrap: anywhere; padding-left: 26px; }
.lifecycle-receipt.is-error > div span, .lifecycle-receipt.is-error > code { color: #ffaaa3; }

.lifecycle-synthesis {
  border-top: 1px solid var(--line-strong);
  margin-top: 76px;
  padding-top: 68px;
}
.lifecycle-synthesis > header {
  align-items: end;
  display: grid;
  gap: clamp(42px, 8vw, 118px);
  grid-template-columns: minmax(340px, 0.88fr) minmax(380px, 1.12fr);
}
.lifecycle-synthesis > header span, .lifecycle-close span {
  color: var(--accent);
  display: block;
  font: 750 10px var(--mono);
  letter-spacing: 0.075em;
  margin-bottom: 16px;
}
.lifecycle-synthesis > header h2 {
  font-size: clamp(40px, 4.5vw, 66px);
  letter-spacing: -0.055em;
  line-height: 0.98;
  margin: 0;
  max-width: 13ch;
  text-wrap: balance;
}
.lifecycle-synthesis > header p {
  color: var(--muted);
  font-size: 14px;
  line-height: 1.75;
  margin: 0;
  max-width: 67ch;
}
.lifecycle-windows {
  border-top: 1px solid var(--line-strong);
  margin-top: 54px;
}
.lifecycle-windows article {
  align-items: baseline;
  border-bottom: 1px solid var(--line-strong);
  display: grid;
  gap: clamp(24px, 4vw, 58px);
  grid-template-columns: minmax(170px, 0.48fr) minmax(260px, 0.78fr) minmax(360px, 1.45fr);
  padding: 28px 0 30px;
}
.lifecycle-windows span {
  color: var(--accent);
  font: 750 10px var(--mono);
  letter-spacing: 0.045em;
}
.lifecycle-windows strong {
  font-size: 19px;
  letter-spacing: -0.025em;
  line-height: 1.35;
}
.lifecycle-windows p {
  color: var(--muted);
  font-size: 12px;
  line-height: 1.72;
  margin: 0;
  max-width: 70ch;
}
.lifecycle-questions {
  background: #0c1020;
  color: #eef0ff;
  display: grid;
  grid-template-columns: minmax(0, 1fr) 62px minmax(0, 1fr);
  margin-top: 54px;
}
.lifecycle-questions > div { padding: clamp(29px, 4vw, 48px); }
.lifecycle-questions > div + div { border-left: 1px solid #29334d; }
.lifecycle-questions span {
  color: #8ea1ff;
  display: block;
  font: 750 9px var(--mono);
  letter-spacing: 0.075em;
  margin-bottom: 17px;
  text-transform: uppercase;
}
.lifecycle-questions strong {
  display: block;
  font-size: clamp(24px, 2.6vw, 37px);
  letter-spacing: -0.04em;
  line-height: 1.08;
  max-width: 15ch;
}
.lifecycle-questions p { color: #b6bfd8; font-size: 11px; line-height: 1.68; margin: 18px 0 0; max-width: 52ch; }
.lifecycle-questions i { align-items: center; border-left: 1px solid #29334d; border-right: 1px solid #29334d; color: #8ea1ff; display: flex; font: normal 500 24px var(--mono); justify-content: center; }
.lifecycle-close {
  align-items: center;
  border-bottom: 1px solid var(--line-strong);
  display: grid;
  gap: 28px 46px;
  grid-template-columns: minmax(300px, 0.85fr) minmax(360px, 1.15fr) auto;
  padding: 32px 0 35px;
}
.lifecycle-close span { font-size: 9px; margin-bottom: 10px; }
.lifecycle-close strong { display: block; font-size: 21px; letter-spacing: -0.025em; line-height: 1.28; }
.lifecycle-close p { color: var(--muted); font-size: 12px; line-height: 1.65; margin: 0; }
.lifecycle-close a { color: var(--accent); font-size: 12px; font-weight: 750; text-decoration: none; white-space: nowrap; }
.lifecycle-close a:hover { text-decoration: underline; text-underline-offset: 4px; }

.privacy-matrix {
  margin-bottom: 70px;
  position: relative;
}
.privacy-matrix-heading {
  align-items: end;
  border-bottom: 1px solid var(--line-strong);
  display: grid;
  gap: 48px;
  grid-template-columns: minmax(360px, 0.85fr) minmax(440px, 1.15fr);
  padding: 30px 0 27px;
}
.privacy-matrix-heading > div > span {
  color: var(--accent);
  display: block;
  font: 750 10px var(--mono);
  letter-spacing: 0.075em;
  margin-bottom: 13px;
}
.privacy-matrix-heading h2, .privacy-matrix-heading h3 {
  font-size: clamp(30px, 3.3vw, 49px);
  letter-spacing: -0.045em;
  line-height: 1.04;
  margin: 0;
  text-wrap: balance;
}
.privacy-matrix-heading > p {
  color: var(--muted);
  font-size: 13px;
  line-height: 1.65;
  margin: 0;
  max-width: 67ch;
}

.privacy-view-switch {
  align-items: center;
  display: flex;
  justify-content: space-between;
  padding: 20px 0;
}
.privacy-view-switch > div {
  background: var(--surface-2);
  border: 1px solid var(--line);
  display: grid;
  grid-template-columns: repeat(2, minmax(120px, 1fr));
  padding: 3px;
}
.privacy-view-switch button {
  appearance: none;
  background: transparent;
  border: 0;
  color: var(--muted);
  cursor: pointer;
  font-size: 11px;
  font-weight: 750;
  padding: 10px 17px;
}
.privacy-view-switch button.is-active { background: var(--ink); color: var(--bg); }
.privacy-view-switch button:focus-visible, .flow-provider-tabs button:focus-visible, .policy-flow-node:focus-visible, .capability-card button:focus-visible {
  outline: 3px solid color-mix(in srgb, var(--accent) 30%, transparent);
  outline-offset: 2px;
}
.privacy-view-switch p { color: var(--faint); font: 650 10px var(--mono); margin: 0; }
.privacy-view-switch p strong { color: var(--ink); }
.privacy-view-panel[hidden] { display: none !important; }

.policy-flow-panel { border: 1px solid var(--line-strong); }
.flow-provider-header {
  align-items: center;
  background: var(--surface);
  border-bottom: 1px solid var(--line);
  display: flex;
  justify-content: space-between;
  padding: 14px 16px;
}
.flow-provider-tabs { display: flex; flex-wrap: wrap; gap: 4px; }
.flow-provider-tabs button {
  appearance: none;
  background: transparent;
  border: 1px solid transparent;
  color: var(--muted);
  cursor: pointer;
  font-size: 10px;
  font-weight: 750;
  padding: 8px 10px;
}
.flow-provider-tabs button:hover { border-color: var(--line); color: var(--ink); }
.flow-provider-tabs button.is-active { background: var(--accent-soft); border-color: color-mix(in srgb, var(--accent) 28%, var(--line)); color: var(--accent); }
.flow-provider-header > p { color: var(--faint); font: 600 8px var(--mono); margin: 0; max-width: 30ch; text-align: right; }
.policy-flow-shell { background: var(--surface-2); }
.policy-flow-summary {
  align-items: end;
  border-bottom: 1px solid var(--line);
  display: grid;
  gap: 34px;
  grid-template-columns: minmax(260px, 0.7fr) minmax(360px, 1.3fr);
  padding: 25px 28px 22px;
}
.policy-flow-summary span { color: var(--accent); display: block; font: 750 9px var(--mono); letter-spacing: 0.06em; margin-bottom: 8px; }
.policy-flow-summary h3, .policy-flow-summary h4 { font-size: 25px; letter-spacing: -0.035em; margin: 0; }
.policy-flow-summary p { color: var(--muted); font-size: 12px; line-height: 1.6; margin: 0; max-width: 68ch; }
.policy-flow-key {
  align-items: center;
  background: var(--surface);
  border-bottom: 1px solid var(--line);
  display: flex;
  flex-wrap: wrap;
  gap: 12px 20px;
  padding: 12px 28px;
}
.policy-flow-key strong { font-size: 10px; margin-right: 4px; }
.policy-flow-key span { align-items: center; color: var(--muted); display: inline-flex; font: 650 9px var(--mono); gap: 7px; }
.policy-flow-key i { background: var(--line-strong); display: block; height: 9px; width: 9px; }
.policy-flow-key i.tone-controlled { background: var(--accent); }
.policy-flow-key i.tone-conditional { background: var(--warning); }
.policy-flow-key i.tone-retained { background: var(--danger); }
.policy-flow-key i.tone-plaintext { background: var(--ink); }
.policy-flow-key small { color: var(--faint); font: 600 8px var(--mono); margin-left: auto; }
.policy-flow-swipe { display: none; }
.policy-flow-scroll { overflow-x: auto; overscroll-behavior-inline: contain; }
.policy-flow-scroll:focus-visible { outline: 3px solid color-mix(in srgb, var(--accent) 25%, transparent); outline-offset: -3px; }
.policy-flow-canvas {
  background:
    linear-gradient(90deg, transparent 20.4%, var(--line) 20.4%, var(--line) calc(20.4% + 1px), transparent calc(20.4% + 1px)),
    linear-gradient(90deg, transparent 44.2%, var(--line) 44.2%, var(--line) calc(44.2% + 1px), transparent calc(44.2% + 1px)),
    linear-gradient(90deg, transparent 71.2%, var(--line) 71.2%, var(--line) calc(71.2% + 1px), transparent calc(71.2% + 1px)),
    var(--surface-2);
  height: 454px;
  min-width: 1080px;
  position: relative;
}
.policy-flow-ribbons { height: 454px; inset: 0; position: absolute; width: 1080px; }
.flow-column-label {
  color: var(--faint);
  font: 750 8px var(--mono);
  letter-spacing: 0.06em;
  position: absolute;
  top: 14px;
  z-index: 2;
}
.policy-ribbon {
  fill: none;
  opacity: 0.42;
  transition: opacity 180ms ease, stroke-width 180ms ease;
}
.policy-ribbon.tone-controlled { stroke: var(--accent); }
.policy-ribbon.tone-conditional { stroke: var(--warning); }
.policy-ribbon.tone-retained { stroke: var(--danger); }
.policy-ribbon.tone-plaintext { stroke: var(--ink); }
.policy-ribbon.tone-plaintext { opacity: 0.58; }
.policy-ribbon.is-selected { opacity: 0.96; }
.policy-flow-node {
  appearance: none;
  background: var(--surface);
  border: 1px solid var(--line-strong);
  color: var(--ink);
  cursor: pointer;
  display: grid;
  gap: 7px 9px;
  grid-template-columns: minmax(0, 1fr) auto;
  align-content: center;
  height: 96px;
  padding: 16px 17px;
  position: absolute;
  text-align: left;
  transition: background-color 180ms ease, border-color 180ms ease, color 180ms ease, transform 180ms ease;
  width: 226px;
  z-index: 1;
}
.policy-flow-node:hover { border-color: var(--ink); transform: translateY(-2px); }
.policy-flow-node.is-static { cursor: default; }
.policy-flow-node.is-static:hover { transform: none; }
.policy-flow-node.is-selected { border-color: var(--ink); box-shadow: inset 0 0 0 2px var(--ink); }
.policy-flow-node.tone-controlled { background: color-mix(in srgb, var(--accent) 8%, var(--surface)); }
.policy-flow-node.tone-conditional { background: color-mix(in srgb, var(--warning) 9%, var(--surface)); }
.policy-flow-node.tone-retained { background: color-mix(in srgb, var(--danger) 8%, var(--surface)); }
.policy-flow-node.tone-plaintext { background: color-mix(in srgb, var(--ink) 7%, var(--surface)); }
.policy-flow-node span { color: var(--faint); font: 750 8px var(--mono); letter-spacing: 0.05em; text-transform: uppercase; }
.policy-flow-node strong { font-size: 13px; grid-column: 1 / -1; letter-spacing: -0.015em; line-height: 1.35; }
.flow-node-status { font: 750 7px var(--mono); text-transform: uppercase; white-space: nowrap; }
.tone-controlled .flow-node-status { color: var(--accent); }
.tone-conditional .flow-node-status { color: var(--warning); }
.tone-retained .flow-node-status { color: var(--danger); }
.tone-plaintext .flow-node-status { color: var(--ink); }
.policy-flow-node::before { background: var(--line-strong); content: ""; height: 100%; left: 0; position: absolute; top: 0; width: 3px; }
.policy-flow-node.tone-controlled::before { background: var(--accent); }
.policy-flow-node.tone-conditional::before { background: var(--warning); }
.policy-flow-node.tone-retained::before { background: var(--danger); }
.policy-flow-node.tone-plaintext::before { background: var(--ink); }
.policy-flow-node.is-selected::before { background: var(--accent); }
.flow-origin { background: var(--ink); border-color: var(--ink); color: var(--bg); height: 96px; width: 200px; }
.flow-origin span { color: #aebcff; }
.flow-origin::before { background: var(--accent); }
.flow-operator { height: 64px; }
.flow-operator strong { font-size: 11px; }
.flow-outcome { height: 78px; width: 264px; }
.flow-outcome strong { font-size: 12px; }
.policy-flow-detail {
  background: #0c1020;
  color: #eef0ff;
  display: grid;
  gap: 30px;
  grid-template-columns: minmax(240px, 0.75fr) minmax(320px, 1.15fr) minmax(300px, 1.1fr);
  min-height: 205px;
  padding: 30px 28px;
}
.policy-flow-detail > div:first-child { display: flex; flex-direction: column; }
.policy-flow-detail span { color: #8ea1ff; display: block; font: 750 9px var(--mono); letter-spacing: 0.06em; margin-bottom: 12px; }
.policy-flow-detail h3, .policy-flow-detail h4 { font-size: 24px; letter-spacing: -0.035em; line-height: 1.15; margin: 0; }
.policy-flow-detail > p, .policy-flow-detail > div:last-child > p { color: #b6bfd8; font-size: 11px; line-height: 1.7; margin: 0; }
.policy-flow-detail > div:last-child { border-left: 1px solid #29334d; padding-left: 28px; }
.policy-flow-detail-links, #policy-flow-detail-links { display: grid; gap: 7px; margin-top: 16px; }
#policy-flow-detail-links a { color: #dce2ff; font-size: 9px; font-weight: 650; line-height: 1.45; text-decoration-color: #536287; text-underline-offset: 3px; }

.matrix-toolbar {
  align-items: center;
  display: flex;
  gap: 28px;
  justify-content: space-between;
  padding: 20px 0;
}
.matrix-filters {
  display: flex;
  flex-wrap: wrap;
  gap: 6px;
}
.matrix-filters button {
  background: transparent;
  border: 1px solid var(--line);
  border-radius: 7px;
  color: var(--muted);
  cursor: pointer;
  font-size: 11px;
  font-weight: 700;
  padding: 9px 12px;
  transition: background-color 180ms ease, border-color 180ms ease, color 180ms ease, transform 180ms ease;
}
.matrix-filters button:hover { border-color: var(--line-strong); color: var(--ink); }
.matrix-filters button:active { transform: translateY(1px); }
.matrix-filters button:focus-visible, .matrix-cell:focus-visible {
  outline: 3px solid color-mix(in srgb, var(--accent) 30%, transparent);
  outline-offset: 2px;
}
.matrix-filters button.is-active {
  background: var(--ink);
  border-color: var(--ink);
  color: var(--bg);
}
.matrix-legend {
  align-items: center;
  color: var(--faint);
  display: flex;
  flex-wrap: wrap;
  font: 650 9px var(--mono);
  gap: 14px;
  justify-content: flex-end;
  letter-spacing: 0.025em;
}
.matrix-legend span { align-items: center; display: inline-flex; gap: 6px; white-space: nowrap; }
.matrix-legend i { border-radius: 50%; display: block; height: 7px; width: 7px; }
.matrix-legend .tone-controlled { background: var(--accent); }
.matrix-legend .tone-conditional { background: var(--warning); }
.matrix-legend .tone-retained { background: var(--danger); }
.matrix-legend .tone-plaintext { background: var(--ink); }

.matrix-scroll {
  border: 1px solid var(--line-strong);
  border-radius: var(--radius) var(--radius) 0 0;
  overflow-x: auto;
  overscroll-behavior-inline: contain;
  scrollbar-color: var(--line-strong) transparent;
}
.matrix-swipe-hint, .mirror-gap-swipe { display: none; }
.matrix-scroll:focus-visible { outline: 3px solid color-mix(in srgb, var(--accent) 25%, transparent); outline-offset: 3px; }
.matrix-grid {
  background: var(--line);
  display: grid;
  gap: 1px;
  grid-template-columns: minmax(205px, 1.15fr) repeat(var(--matrix-columns), minmax(168px, 1fr));
  min-width: 1110px;
}
.matrix-corner, .matrix-provider, .matrix-row-label, .matrix-cell { background: var(--surface); min-width: 0; }
.matrix-corner, .matrix-provider {
  min-height: 93px;
  padding: 20px 17px;
}
.matrix-corner { background: var(--surface-3); }
.matrix-corner span {
  display: block;
  font-size: 12px;
  font-weight: 750;
  margin-bottom: 8px;
}
.matrix-corner small { color: var(--faint); display: block; font: 9px var(--mono); line-height: 1.45; }
.matrix-provider {
  display: flex;
  flex-direction: column;
  justify-content: space-between;
}
.matrix-provider strong { font-size: 13px; line-height: 1.35; }
.matrix-provider span {
  color: var(--accent);
  font: 700 9px var(--mono);
  letter-spacing: 0.045em;
  text-transform: uppercase;
}
.matrix-row-label {
  display: flex;
  flex-direction: column;
  justify-content: center;
  min-height: 108px;
  padding: 18px 17px;
}
.matrix-row-label strong { font-size: 13px; letter-spacing: -0.012em; margin-bottom: 7px; }
.matrix-row-label span { color: var(--faint); font-size: 10px; line-height: 1.45; max-width: 24ch; }
.matrix-cell {
  appearance: none;
  border: 0;
  color: var(--ink);
  cursor: pointer;
  display: grid;
  grid-template-columns: 9px 1fr;
  min-height: 108px;
  padding: 18px 15px;
  text-align: left;
  transition: background-color 180ms ease, box-shadow 180ms ease, color 180ms ease, transform 180ms ease;
}
.matrix-cell:hover { background: var(--surface-3); }
.matrix-cell:active { transform: scale(0.985); }
.matrix-cell.is-selected {
  background: var(--ink);
  box-shadow: inset 0 0 0 2px var(--ink);
  color: var(--bg);
}
.matrix-cell-tone {
  align-self: start;
  border-radius: 50%;
  display: block;
  height: 7px;
  margin-top: 4px;
  width: 7px;
}
.matrix-cell.tone-controlled .matrix-cell-tone { background: var(--accent); }
.matrix-cell.tone-conditional .matrix-cell-tone { background: var(--warning); }
.matrix-cell.tone-retained .matrix-cell-tone { background: var(--danger); }
.matrix-cell.tone-plaintext .matrix-cell-tone { background: var(--ink); }
.matrix-cell.is-selected .matrix-cell-tone { background: var(--accent); }
.matrix-cell strong {
  font-size: 11px;
  font-weight: 750;
  letter-spacing: -0.01em;
  line-height: 1.4;
}
.matrix-cell span {
  color: var(--faint);
  font: 650 8px var(--mono);
  grid-column: 2;
  letter-spacing: 0.025em;
  line-height: 1.4;
  margin-top: 10px;
  text-transform: uppercase;
}
.matrix-cell.is-selected span { color: color-mix(in srgb, var(--bg) 64%, transparent); }

.matrix-detail {
  background: #0c1020;
  border-radius: 0 0 var(--radius) var(--radius);
  color: #eef0ff;
  display: grid;
  gap: 0;
  grid-template-columns: minmax(220px, 0.65fr) minmax(500px, 1.35fr) minmax(225px, 0.7fr);
  min-height: 230px;
  overflow: hidden;
}
.matrix-detail > div { padding: 28px 25px; }
.matrix-detail > div + div { border-left: 1px solid #29334d; }
.matrix-detail-identity { display: flex; flex-direction: column; }
.matrix-detail-identity > span, .matrix-detail-copy span, .matrix-detail-sources > span {
  color: #8ea1ff;
  display: block;
  font: 700 9px var(--mono);
  letter-spacing: 0.06em;
  margin-bottom: 15px;
}
.matrix-detail-identity h4 {
  font-size: clamp(25px, 2.4vw, 37px);
  letter-spacing: -0.045em;
  line-height: 1.05;
  margin: 0 0 23px;
}
.matrix-detail-identity b {
  align-self: flex-start;
  border: 1px solid #3d4868;
  border-radius: 5px;
  color: #c5cffb;
  font: 700 9px var(--mono);
  letter-spacing: 0.035em;
  margin-top: auto;
  padding: 7px 9px;
  text-transform: uppercase;
}
.matrix-detail-identity b.tone-retained { border-color: #713440; color: #ffb4ab; }
.matrix-detail-identity b.tone-conditional { border-color: #725727; color: #ffd59a; }
.matrix-detail-identity b.tone-controlled { border-color: #314d89; color: #b8c8ff; }
.matrix-detail-identity b.tone-plaintext { border-color: #5d6476; color: #f2f3ff; }
.matrix-detail-copy {
  display: grid;
  gap: 24px;
  grid-template-columns: repeat(2, minmax(0, 1fr));
}
.matrix-detail-copy > div + div { border-left: 1px solid #29334d; padding-left: 24px; }
.matrix-detail-copy p {
  color: #b6bfd8;
  font-size: 12px;
  line-height: 1.72;
  margin: 0;
}
.matrix-detail-sources { background: #10162a; }
.matrix-detail-sources div { display: grid; gap: 9px; }
.matrix-detail-sources a {
  border-bottom: 1px solid #29334d;
  color: #dce2ff;
  font-size: 10px;
  font-weight: 650;
  line-height: 1.5;
  padding: 0 0 10px;
  text-decoration: none;
}
.matrix-detail-sources a:hover { color: #ffffff; text-decoration: underline; text-underline-offset: 3px; }

.matrix-findings {
  border-bottom: 1px solid var(--line-strong);
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  margin-top: 26px;
}
.matrix-findings article {
  min-height: 210px;
  padding: 26px 30px 31px 0;
}
.matrix-findings article + article { border-left: 1px solid var(--line); padding-left: 30px; }
.matrix-findings span { color: var(--accent); display: block; font: 750 10px var(--mono); margin-bottom: 29px; }
.matrix-findings strong { display: block; font-size: 17px; letter-spacing: -0.02em; line-height: 1.4; margin-bottom: 10px; }
.matrix-findings p { color: var(--muted); font-size: 11px; line-height: 1.65; margin: 0; }

.policy-revision {
  background: #0d1324;
  color: #ffffff;
  margin: 54px 0 0;
  padding: clamp(32px, 5vw, 62px);
}
.policy-revision > header {
  align-items: end;
  display: grid;
  gap: 24px clamp(32px, 7vw, 96px);
  grid-template-columns: minmax(300px, 0.9fr) minmax(360px, 1.1fr);
}
.policy-revision > header > span,
.policy-revision article > span {
  color: #8ea1ff;
  font: 750 9px var(--mono);
  letter-spacing: 0.07em;
}
.policy-revision > header > span { grid-column: 1 / -1; }
.policy-revision h2 {
  font-size: clamp(30px, 3.4vw, 50px);
  letter-spacing: -0.045em;
  line-height: 1.04;
  margin: 0;
}
.policy-revision > header > p {
  color: #b6bfd8;
  font-size: 13px;
  line-height: 1.7;
  margin: 0;
}
.policy-revision > div {
  border-top: 1px solid #29334d;
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin-top: 42px;
}
.policy-revision article {
  display: flex;
  flex-direction: column;
  min-height: 270px;
  padding: 30px 34px 0 0;
}
.policy-revision article + article {
  border-left: 1px solid #29334d;
  padding-left: 34px;
}
.policy-revision article strong {
  display: block;
  font-size: 18px;
  letter-spacing: -0.025em;
  line-height: 1.38;
  margin-top: 28px;
}
.policy-revision article p {
  color: #b6bfd8;
  font-size: 11px;
  line-height: 1.72;
  margin: 13px 0 24px;
}
.policy-revision article code { color: #dce2ff; font-size: 10px; }
.policy-revision article a {
  color: #dce2ff;
  font-size: 10px;
  font-weight: 700;
  margin-top: auto;
  text-decoration-color: #536287;
  text-underline-offset: 4px;
}

.mirror-gap-map {
  background: var(--surface);
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  margin-top: 48px;
  overflow: hidden;
}
.mirror-gap-map > header {
  align-items: end;
  display: grid;
  gap: clamp(34px, 7vw, 100px);
  grid-template-columns: minmax(330px, 0.9fr) minmax(380px, 1.1fr);
  padding: clamp(31px, 4vw, 50px);
}
.mirror-gap-map > header span {
  color: var(--accent);
  display: block;
  font: 750 10px var(--mono);
  letter-spacing: 0.07em;
  margin-bottom: 16px;
}
.mirror-gap-map > header h2, .mirror-gap-map > header h3 {
  font-size: clamp(34px, 4vw, 60px);
  letter-spacing: -0.055em;
  line-height: 0.98;
  margin: 0;
  max-width: 15ch;
}
.mirror-gap-map > header p { color: var(--muted); font-size: 13px; line-height: 1.7; margin: 0; max-width: 60ch; }
.mirror-gap-track {
  background: var(--line);
  display: grid;
  gap: 1px;
  grid-template-columns: repeat(4, minmax(0, 1fr));
}
.mirror-gap-track article {
  background: var(--surface-2);
  min-height: 218px;
  padding: 26px 21px;
  transition: background-color 200ms ease, transform 200ms ease;
}
.mirror-gap-track article:hover { background: var(--surface-3); transform: translateY(-3px); }
.mirror-gap-track article.is-selected { background: var(--surface); box-shadow: inset 0 -3px 0 var(--accent); }
.mirror-gap-track span { color: var(--accent); display: block; font: 750 8px var(--mono); letter-spacing: 0.055em; margin-bottom: 37px; }
.mirror-gap-track strong { display: block; font-size: 15px; letter-spacing: -0.02em; line-height: 1.35; margin-bottom: 11px; }
.mirror-gap-track p { color: var(--muted); font-size: 10px; line-height: 1.65; margin: 0; }
.capability-card { display: flex; flex-direction: column; }
.capability-card button {
  align-self: flex-start;
  appearance: none;
  background: transparent;
  border: 0;
  border-bottom: 1px solid var(--accent);
  color: var(--accent);
  cursor: pointer;
  font-size: 10px;
  font-weight: 750;
  margin-top: auto;
  padding: 16px 0 4px;
}
.capability-proof {
  align-items: start;
  background: #0c1020;
  color: #eef0ff;
  display: grid;
  gap: 25px;
  grid-template-columns: minmax(230px, 0.85fr) minmax(300px, 1.15fr) minmax(280px, 1fr);
  min-height: 150px;
  padding: 27px clamp(24px, 4vw, 48px);
}
.capability-proof > div span { color: #8ea1ff; display: block; font: 750 9px var(--mono); letter-spacing: 0.06em; margin-bottom: 10px; }
.capability-proof strong { display: block; font-size: 18px; letter-spacing: -0.025em; line-height: 1.35; }
.capability-proof > p { color: #b6bfd8; font-size: 11px; line-height: 1.7; margin: 0; }
.capability-proof code { border-left: 1px solid #29334d; color: #aebcff; font-size: 9px; line-height: 1.7; overflow-wrap: anywhere; padding-left: 25px; }
.mirror-gap-verdict {
  align-items: center;
  background: var(--ink);
  color: var(--bg);
  display: grid;
  gap: 14px 22px;
  grid-template-columns: auto minmax(220px, 1fr) auto auto minmax(220px, 1fr);
  padding: 23px clamp(24px, 4vw, 48px);
}
.mirror-gap-verdict span { color: color-mix(in srgb, var(--bg) 58%, transparent); font: 700 9px var(--mono); text-transform: uppercase; }
.mirror-gap-verdict strong { font-size: 14px; line-height: 1.35; }
.mirror-gap-verdict i { color: var(--accent); font: normal 700 22px var(--mono); }

.boundary-compare { display: grid; grid-template-columns: minmax(0, 1fr) 58px minmax(0, 1fr); }
.boundary-lane {
  background: var(--surface);
  border: 1px solid var(--line);
  border-radius: var(--radius);
  min-width: 0;
  overflow: hidden;
  transition: border-color 240ms ease, box-shadow 240ms ease, transform 240ms ease;
}
.boundary-fhe { border-color: color-mix(in srgb, var(--accent) 55%, var(--line)); }
.boundary-fhe.is-proven { border-color: var(--accent); box-shadow: 0 22px 58px color-mix(in srgb, var(--accent) 15%, transparent); transform: translateY(-4px); }
.boundary-lane > header { align-items: center; border-bottom: 1px solid var(--line); display: flex; justify-content: space-between; padding: 19px 22px; }
.boundary-lane > header span { color: var(--faint); font: 750 10px var(--mono); letter-spacing: 0.07em; }
.boundary-fhe > header span { color: var(--accent); }
.boundary-lane > header strong { font-size: 13px; }
.boundary-wire { background: #0c1020; color: #eef0ff; min-height: 164px; padding: 24px; }
.boundary-wire small { color: #8ea1ff; display: block; font: 700 9px var(--mono); letter-spacing: 0.07em; margin-bottom: 20px; }
.boundary-wire code { color: #c5cffb; display: block; font-size: 13px; line-height: 1.6; overflow-wrap: anywhere; }
.boundary-wire b { color: #ffffff; display: block; font-size: 15px; margin-top: 24px; }
.boundary-lane ol { list-style: none; margin: 0; padding: 10px 22px; }
.boundary-lane li { align-items: baseline; border-bottom: 1px solid var(--line); display: grid; gap: 14px; grid-template-columns: 28px 1fr; padding: 16px 0; }
.boundary-lane li:last-child { border-bottom: 0; }
.boundary-lane li span { color: var(--accent); font: 700 10px var(--mono); }
.boundary-lane li p { color: var(--muted); font-size: 13px; line-height: 1.5; margin: 0; }
.boundary-verdict { align-items: end; background: var(--surface-3); display: grid; gap: 9px 18px; grid-template-columns: 1fr auto; min-height: 112px; padding: 21px 22px; }
.boundary-verdict span { color: var(--faint); font: 750 9px var(--mono); letter-spacing: 0.06em; }
.boundary-verdict strong { font-size: 34px; grid-row: span 2; letter-spacing: -0.05em; }
.boundary-fhe .boundary-verdict strong { color: var(--accent); }
.boundary-verdict small { color: var(--muted); font-size: 11px; line-height: 1.4; }
.boundary-divider { align-items: center; display: flex; justify-content: center; position: relative; }
.boundary-divider::before { background: var(--line-strong); content: ""; height: 100%; left: 50%; position: absolute; top: 0; width: 1px; }
.boundary-divider span { background: var(--surface-2); border: 1px solid var(--line-strong); border-radius: 50%; color: var(--muted); font: 750 10px var(--mono); padding: 10px 8px; position: relative; }

.boundary-demo {
  align-items: stretch;
  background: var(--surface);
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  display: grid;
  gap: 1px;
  grid-template-columns: minmax(0, 0.92fr) minmax(0, 1.08fr);
  margin-top: 32px;
  overflow: hidden;
}
.boundary-demo-copy { padding: clamp(28px, 4vw, 50px); }
.boundary-demo-copy > span, .boundary-demo-result > span { color: var(--accent); display: block; font: 750 10px var(--mono); letter-spacing: 0.07em; margin-bottom: 16px; }
.boundary-demo-copy h2, .boundary-demo-copy h3 { font-size: clamp(27px, 3vw, 42px); letter-spacing: -0.045em; line-height: 1.08; margin-bottom: 16px; }
.boundary-demo-copy p { color: var(--muted); font-size: 14px; line-height: 1.65; margin-bottom: 25px; max-width: 58ch; }
.boundary-demo-copy code { color: var(--accent); font-size: 0.9em; }
.boundary-demo-result { background: #0c1020; color: #eef0ff; min-height: 350px; padding: clamp(28px, 4vw, 50px); transition: background-color 220ms ease; }
.boundary-demo-result.is-running { background: #111934; }
.boundary-demo-result.is-complete { background: #0d1b35; }
.boundary-demo-result.is-error { background: #2c1118; }
.boundary-demo-result strong { display: block; font-size: clamp(27px, 3vw, 42px); letter-spacing: -0.04em; line-height: 1.1; margin-bottom: 18px; }
.boundary-demo-result p { color: #b6bfd8; font-size: 14px; line-height: 1.65; margin-bottom: 28px; }
.boundary-demo-result code { border-top: 1px solid #29334d; color: #aebcff; display: block; font-size: 11px; line-height: 1.65; overflow-wrap: anywhere; padding-top: 21px; }
.zdr-bottom-line { align-items: center; border-top: 1px solid var(--line-strong); display: grid; gap: 20px; grid-template-columns: minmax(200px, 0.65fr) minmax(300px, 1.35fr) auto; margin-top: 42px; padding-top: 25px; }
.zdr-bottom-line strong { font-size: 20px; letter-spacing: -0.025em; line-height: 1.3; }
.zdr-bottom-line p { color: var(--muted); font-size: 13px; line-height: 1.55; margin: 0; }
.zdr-bottom-line a { color: var(--accent); font-size: 13px; font-weight: 750; text-decoration: none; white-space: nowrap; }
.zdr-bottom-line a:hover { text-decoration: underline; text-underline-offset: 4px; }

.evidence-strip {
  border-bottom: 1px solid var(--line);
  border-top: 1px solid var(--line);
  display: grid;
  grid-template-columns: minmax(230px, 0.8fr) minmax(0, 2.4fr);
  margin: 0 auto;
  max-width: 1500px;
  padding: 0 clamp(20px, 5vw, 78px);
}
.evidence-source {
  align-self: stretch;
  border-right: 1px solid var(--line);
  display: flex;
  flex-direction: column;
  justify-content: center;
  padding: 26px 36px 26px 0;
  text-decoration: none;
}
.evidence-source span { color: var(--accent); font: 700 11px var(--mono); margin-bottom: 7px; text-transform: uppercase; }
.evidence-source strong { font-size: 15px; line-height: 1.4; }
.evidence-strip dl { display: grid; grid-template-columns: repeat(4, 1fr); margin: 0; }
.evidence-strip dl div { border-right: 1px solid var(--line); padding: 26px clamp(16px, 2vw, 32px); }
.evidence-strip dl div:last-child { border-right: 0; }
.evidence-strip dt { font-size: clamp(22px, 2vw, 31px); font-weight: 800; letter-spacing: -0.04em; }
.evidence-strip dd { color: var(--muted); font-size: 13px; line-height: 1.45; margin: 6px 0 0; }

.proof-section, .architecture, .consequences {
  margin: 0 auto;
  max-width: 1500px;
  padding: 104px clamp(20px, 5vw, 78px);
}
.section-heading { margin-bottom: 38px; max-width: 790px; }
.section-heading h2, .cause-statement h2, .distinction h2, .closing h2 {
  font-size: clamp(38px, 4.2vw, 66px);
  letter-spacing: -0.055em;
  line-height: 0.98;
  margin-bottom: 18px;
}
.section-heading p, .cause-statement p, .distinction p, .closing p {
  color: var(--muted);
  font-size: 18px;
  line-height: 1.6;
  margin-bottom: 0;
  max-width: 64ch;
}

.demo-health {
  align-items: center;
  background: var(--surface);
  border: 1px solid var(--line);
  border-radius: var(--radius);
  display: flex;
  gap: 28px;
  justify-content: space-between;
  margin-bottom: 18px;
  padding: 23px 26px;
}
.health-summary strong { display: block; font-size: 19px; letter-spacing: -0.02em; }
.health-summary > span { color: var(--muted); display: block; font-size: 14px; margin-top: 4px; }
.health-items { display: flex; flex-wrap: wrap; gap: 8px; justify-content: flex-end; }
.health-items > div { align-items: center; background: var(--surface-2); border-radius: 8px; display: flex; gap: 10px; padding: 9px 11px; }
.health-items strong { font-size: 12px; line-height: 1.35; }
.health-state { color: var(--faint); display: block; font: 750 10px var(--mono); }
.health-state.is-ready, .health-state.is-live { color: var(--accent); }
.health-state.is-unavailable { color: var(--danger); }

.mode-tabs {
  background: var(--surface-2);
  border: 1px solid var(--line);
  border-radius: var(--control-radius);
  display: grid;
  gap: 4px;
  grid-template-columns: repeat(2, 1fr);
  margin-bottom: 14px;
  padding: 4px;
}
.mode-tabs-single { grid-template-columns: 1fr; }
.reasoning-page .zdr-comparison[hidden], .reasoning-page .lane[hidden], [hidden] { display: none !important; }
.mode-tabs button {
  align-items: flex-start;
  background: transparent;
  border: 0;
  border-radius: 7px;
  color: var(--muted);
  cursor: pointer;
  display: flex;
  flex-direction: column;
  gap: 4px;
  align-items: center;
  min-height: 68px;
  padding: 13px 16px;
  text-align: left;
}
.mode-tabs button[aria-selected="true"] { background: var(--surface); color: var(--ink); }
.mode-tabs span { font-size: 16px; font-weight: 750; }
.mode-tabs small { color: var(--faint); font: 12px var(--mono); }

.proof-shell {
  background: var(--surface);
  border: 1px solid var(--line);
  border-radius: var(--radius);
  display: block;
  min-height: 0;
  overflow: hidden;
}
.proof-main { padding: clamp(28px, 3.2vw, 48px); }
.proof-header { align-items: flex-start; display: grid; gap: 28px; grid-template-columns: minmax(0, 1fr) auto; }
.proof-header > div { max-width: 780px; }
.claim-badge {
  border: 1px solid currentColor;
  border-radius: 999px;
  display: inline-block;
  font: 750 9px var(--mono);
  letter-spacing: 0.08em;
  margin-bottom: 16px;
  padding: 5px 8px;
}
.claim-live { color: var(--accent); }
.claim-unavailable { color: var(--danger); }
.proof-header h3 { font-size: clamp(31px, 3vw, 46px); letter-spacing: -0.045em; line-height: 1.05; margin-bottom: 14px; }
.proof-header p { color: var(--muted); font-size: 17px; line-height: 1.55; margin-bottom: 0; }
.run-button { flex: 0 0 auto; }

.flow { display: grid; gap: 8px; grid-template-columns: repeat(4, 1fr); margin: 36px 0 30px; }
.flow-step {
  background: var(--surface-2);
  border: 1px solid transparent;
  border-radius: var(--control-radius);
  min-height: 116px;
  padding: 15px;
  position: relative;
  transition: transform 260ms ease, background-color 260ms ease, border-color 260ms ease, opacity 260ms ease;
}
.flow-step + .flow-step::before {
  background: var(--line-strong);
  content: "";
  height: 1px;
  left: -9px;
  position: absolute;
  top: 31px;
  width: 8px;
}
.flow-step span { color: var(--faint); display: block; font: 700 11px var(--mono); letter-spacing: 0.04em; margin-bottom: 14px; }
.flow-step strong { display: block; font-size: 15px; line-height: 1.35; }
.flow-step small { color: var(--muted); display: block; font-size: 12px; line-height: 1.45; margin-top: 8px; }
.flow-step.running { background: var(--accent-soft); border-color: var(--accent); transform: translateY(-3px); }
.flow-step.complete { border-color: color-mix(in srgb, var(--accent) 60%, var(--line)); }
.flow-step.blocked { background: var(--danger-soft); border-color: var(--danger); }
.flow-step.not-run { opacity: 0.46; }

.outcome {
  background: var(--surface-2);
  border-radius: var(--control-radius);
  min-height: 180px;
  padding: 25px;
}
.outcome-empty { align-items: center; color: var(--muted); display: flex; gap: 18px; min-height: 128px; }
.outcome-empty[hidden], .outcome-content[hidden] { display: none; }
.outcome-empty span, .outcome-content > span { color: var(--faint); font: 750 11px var(--mono); }
.outcome-empty p { font-size: 15px; margin: 0; }
.outcome-content h4 { font-size: 28px; letter-spacing: -0.03em; margin: 10px 0 9px; }
.outcome-content p { color: var(--muted); font-size: 16px; line-height: 1.55; margin-bottom: 16px; }
.outcome-content code { color: var(--accent); display: block; font-size: 14px; overflow-wrap: anywhere; }

.inspector { background: #0c1020; border-top: 1px solid #29334d; color: #e8ecff; min-width: 0; }
.inspector summary {
  align-items: center;
  cursor: pointer;
  display: flex;
  justify-content: space-between;
  list-style: none;
  min-height: 68px;
  padding: 16px 24px;
  position: relative;
}
.inspector summary::-webkit-details-marker { display: none; }
.inspector summary::after { color: #8ea1ff; content: "+"; font: 500 24px var(--mono); }
.inspector[open] summary::after { content: "−"; }
.inspector summary span { font-size: 15px; font-weight: 750; }
.inspector summary small { color: #9ca6c1; font-size: 12px; margin-left: auto; margin-right: 20px; }
.inspector:not([open]) > .inspector-body { display: none; }
.inspector-body { border-top: 1px solid #29334d; display: flex; flex-direction: column; min-height: 380px; padding: 18px 24px 22px; }
.inspector-tabs { border-bottom: 1px solid #29334d; display: flex; gap: 5px; padding-bottom: 12px; }
.inspector-tabs button { background: transparent; border: 0; border-radius: 6px; color: #9ca6c1; cursor: pointer; font: 700 11px var(--mono); padding: 9px 10px; text-transform: uppercase; }
.inspector-tabs button[aria-selected="true"] { background: #1e2d50; color: #eef0ff; }
.inspector pre { color: #b7c4ff; flex: 1; font-size: 13px; line-height: 1.7; margin: 0; overflow: auto; padding: 24px 4px; white-space: pre-wrap; word-break: break-word; }
.inspector-note { border-top: 1px solid #29334d; color: #98a1bb; font-size: 12px; line-height: 1.5; padding: 15px 4px 0; }
.mismatch-control { align-items: center; color: var(--muted); display: flex; flex-wrap: wrap; font-size: 14px; gap: 20px; padding: 17px 4px 0; }
.mismatch-control[hidden] { display: none; }
.mismatch-control > span { color: var(--ink); font-weight: 700; }
.mismatch-control label { align-items: center; cursor: pointer; display: inline-flex; gap: 6px; }
.mismatch-control input { accent-color: var(--accent); }

.root-cause {
  background: var(--surface-2);
  display: grid;
  gap: clamp(48px, 8vw, 120px);
  grid-template-columns: minmax(0, 0.85fr) minmax(500px, 1.15fr);
  padding: 120px max(clamp(20px, 5vw, 78px), calc((100vw - 1500px) / 2 + 78px));
}
.cause-statement > span { color: var(--accent); display: block; font: 750 10px var(--mono); margin-bottom: 22px; text-transform: uppercase; }
.cause-statement h2 { font-size: clamp(40px, 4.8vw, 72px); max-width: 10ch; }
.attack-sequence { display: grid; gap: 1px; list-style: none; margin: 0; padding: 0; }
.attack-sequence li { align-items: center; background: var(--surface); display: grid; gap: 18px; grid-template-columns: 84px 1fr; min-height: 88px; padding: 18px 22px; }
.attack-sequence li:first-child { border-radius: var(--radius) var(--radius) 0 0; }
.attack-sequence li:last-child { border-radius: 0 0 var(--radius) var(--radius); }
.attack-sequence span { color: var(--accent); font: 700 10px var(--mono); text-transform: uppercase; }
.attack-sequence strong { font-size: 15px; line-height: 1.4; }

.architecture { padding-bottom: 80px; }
.lane { border-top: 1px solid var(--line-strong); padding: 22px 0 55px; }
.lane header { display: flex; justify-content: space-between; margin-bottom: 24px; }
.lane header span { font-size: 18px; font-weight: 800; }
.lane header strong { color: var(--muted); font: 650 10px var(--mono); text-transform: uppercase; }
.lane-flow { align-items: stretch; display: grid; gap: 10px; grid-template-columns: 1fr 18px 1fr 18px 1fr 18px 1fr; }
.lane-flow > div { background: var(--surface); border: 1px solid var(--line); border-radius: var(--control-radius); min-height: 138px; padding: 19px; }
.lane-flow > i { align-self: center; color: var(--line-strong); font-style: normal; text-align: center; }
.lane-flow small { color: var(--faint); display: block; font: 700 11px var(--mono); margin-bottom: 20px; }
.lane-flow b { display: block; font-size: 16px; line-height: 1.35; }
.lane-flow em { color: var(--muted); display: block; font-size: 13px; font-style: normal; line-height: 1.45; margin-top: 8px; }
.lane-flow .mirror-boundary { background: var(--accent-soft); border-color: var(--accent); }

.distinction {
  align-items: start;
  background: var(--surface-3);
  display: grid;
  gap: clamp(48px, 9vw, 150px);
  grid-template-columns: 1.1fr 0.9fr;
  padding: 110px max(clamp(20px, 5vw, 78px), calc((100vw - 1500px) / 2 + 78px));
}
.distinction h2 { max-width: 12ch; }
.distinction blockquote { border-left: 3px solid var(--accent); font-size: clamp(22px, 2.2vw, 34px); font-weight: 650; letter-spacing: -0.025em; line-height: 1.35; margin: 0; padding-left: 28px; }

.consequence-grid { display: grid; gap: 14px; grid-template-columns: 1.15fr 0.85fr; }
.consequence-grid article { background: var(--surface); border: 1px solid var(--line); border-radius: var(--radius); min-height: 230px; padding: 30px; }
.consequence-grid article:first-child { background: var(--accent-soft); border-color: var(--accent); grid-row: span 2; min-height: 474px; padding-top: 46px; }
.consequence-grid article:first-child h3 { font-size: clamp(33px, 3vw, 48px); max-width: 8ch; }
.consequence-grid article:nth-child(4) { grid-column: 1 / -1; min-height: 190px; }
.consequence-grid span { color: var(--accent); display: block; font: 700 10px var(--mono); margin-bottom: 52px; text-transform: uppercase; }
.consequence-grid h3 { font-size: 24px; letter-spacing: -0.035em; margin-bottom: 12px; }
.consequence-grid p { color: var(--muted); font-size: 13px; line-height: 1.55; margin: 0; max-width: 58ch; }

.closing { margin: 0 auto; max-width: 1030px; padding: 80px 24px 140px; text-align: center; }
.closing h2 { margin-left: auto; margin-right: auto; max-width: 14ch; }
.closing p { margin: 0 auto 30px; }
.closing > div { justify-content: center; }

footer {
  align-items: center;
  border-top: 1px solid var(--line);
  display: grid;
  gap: 24px;
  grid-template-columns: 1fr auto 1fr;
  margin: 0 auto;
  max-width: 1500px;
  min-height: 110px;
  padding: 24px clamp(20px, 5vw, 78px);
}
footer p { color: var(--muted); font-size: 11px; margin: 0; text-align: center; }
footer > a { justify-self: end; }

.article-page { margin: 0 auto; max-width: 1500px; padding: 0 clamp(20px, 5vw, 78px) 110px; }
.article-hero { max-width: 980px; padding: 110px 0 72px; }
.article-hero h1 { font-size: clamp(58px, 8vw, 116px); max-width: none; }
.article-hero-narrow { max-width: 1120px; }
.article-hero-narrow h1 { font-size: clamp(54px, 7.2vw, 102px); max-width: 15ch; }
.article-hero > p:not(.eyebrow) { color: var(--muted); font-size: clamp(18px, 1.7vw, 24px); line-height: 1.5; max-width: 67ch; }
.article-meta { color: var(--faint); display: flex; font: 10px var(--mono); gap: 24px; margin-top: 34px; text-transform: uppercase; }
.article-visual { margin: 0 0 80px; }
.article-visual img { aspect-ratio: 1.8 / 1; border-radius: var(--radius); object-fit: cover; object-position: center top; width: 100%; }
.article-visual figcaption { color: var(--faint); font-size: 11px; line-height: 1.5; margin-top: 12px; }
.article-body { margin-left: clamp(0px, 13vw, 190px); max-width: 800px; }
.article-body > p, .article-body > ol { color: var(--muted); font-size: 17px; line-height: 1.8; }
.article-body > p { margin-bottom: 28px; }
.article-body > p a { color: var(--ink); text-decoration-color: var(--accent); text-underline-offset: 3px; }
.article-body .article-lede { color: var(--ink); font-size: clamp(23px, 2.1vw, 31px); font-weight: 600; letter-spacing: -0.025em; line-height: 1.45; }
.article-body h2 { font-size: clamp(33px, 3.2vw, 48px); letter-spacing: -0.045em; line-height: 1.05; margin: 90px 0 24px; }
.article-body blockquote { border-left: 3px solid var(--accent); font-size: clamp(22px, 2.3vw, 32px); font-weight: 650; letter-spacing: -0.025em; line-height: 1.45; margin: 60px 0; padding-left: 28px; }
.article-body code { color: var(--accent-strong); font-size: 0.88em; }
.article-equation { align-items: center; background: var(--surface-2); border-radius: var(--radius); display: grid; gap: 12px; grid-template-columns: 1fr auto 1fr auto 1fr; margin: 58px -80px; padding: 32px; text-align: center; }
.article-equation strong { font-size: 14px; line-height: 1.4; }
.article-equation span { color: var(--accent); font: 700 20px var(--mono); }
.article-stat { background: var(--accent-soft); border-left: 3px solid var(--accent); margin: 60px -80px; padding: 34px 38px; }
.article-stat span { color: var(--accent); display: block; font: 750 10px var(--mono); margin-bottom: 20px; text-transform: uppercase; }
.article-stat strong { display: block; font-size: clamp(45px, 5vw, 72px); letter-spacing: -0.055em; }
.article-stat p { color: var(--muted); font-size: 13px; line-height: 1.55; margin: 14px 0 0; max-width: 55ch; }
.article-table-wrap { margin: 42px -80px; overflow-x: auto; }
.article-table-wrap table { border-collapse: collapse; min-width: 700px; width: 100%; }
.article-table-wrap th { color: var(--faint); font: 700 10px var(--mono); text-align: left; text-transform: uppercase; }
.article-table-wrap th, .article-table-wrap td { border-bottom: 1px solid var(--line); padding: 18px; vertical-align: top; }
.article-table-wrap td { color: var(--muted); font-size: 13px; line-height: 1.55; }
.article-table-wrap td:first-child { color: var(--ink); font-weight: 750; }
.article-code { background: #0c1020; border-radius: var(--radius); color: #b7c4ff; font-size: 12px; line-height: 1.65; margin: 42px -80px; overflow-x: auto; padding: 32px; }
.article-code code { color: inherit; }
.article-warning { background: var(--warning-soft); border-radius: var(--radius); margin: 58px -80px; padding: 34px 38px; }
.article-warning strong { display: block; font-size: 22px; margin-bottom: 10px; }
.article-warning p { color: var(--muted); font-size: 14px; line-height: 1.6; margin: 0; }
.article-body ol { padding-left: 24px; }
.article-body ol li { margin-bottom: 16px; padding-left: 8px; }
.article-body ol strong { color: var(--ink); }
.article-cta { background: var(--surface-2); border-radius: var(--radius); margin: 100px -80px 0; padding: 48px; }
.article-cta h2 { margin: 0 0 14px; }
.article-cta p { color: var(--muted); line-height: 1.6; margin-bottom: 26px; }
.article-boundary-visual {
  align-items: stretch;
  background: var(--surface-2);
  border: 1px solid var(--line);
  border-radius: var(--radius);
  display: grid;
  gap: 0;
  grid-template-columns: 1fr 72px 1fr;
  margin: 0 0 82px;
  overflow: hidden;
}
.article-boundary-visual > div { min-height: 230px; padding: clamp(28px, 4vw, 52px); }
.article-boundary-visual > div:last-child { background: #0c1020; color: #eef0ff; }
.article-boundary-visual span { color: var(--accent); display: block; font: 750 10px var(--mono); letter-spacing: 0.07em; margin-bottom: 26px; }
.article-boundary-visual strong { display: block; font: 650 clamp(19px, 2vw, 27px)/1.45 var(--mono); letter-spacing: -0.03em; }
.article-boundary-visual small { color: var(--muted); display: block; font-size: 13px; line-height: 1.55; margin-top: 24px; max-width: 44ch; }
.article-boundary-visual > div:last-child small { color: #aeb7cf; }
.article-boundary-visual > i { align-items: center; color: var(--accent); display: flex; font: normal 750 25px var(--mono); justify-content: center; }
.article-state-stack { margin: 42px -80px; }
.article-state-stack > div { border-top: 1px solid var(--line); display: grid; gap: 24px; grid-template-columns: 112px minmax(220px, 0.9fr) minmax(260px, 1.1fr); padding: 23px 0; }
.article-state-stack > div:last-child { border-bottom: 1px solid var(--line); }
.article-state-stack > div.is-gap { background: var(--surface-2); box-shadow: -16px 0 0 var(--surface-2), 16px 0 0 var(--surface-2); }
.article-state-stack > div.is-gap span { color: var(--danger); }
.article-state-stack span { color: var(--accent); font: 750 10px var(--mono); }
.article-state-stack strong { font-size: 16px; line-height: 1.45; }
.article-state-stack p { color: var(--muted); font-size: 13px; line-height: 1.6; margin: 0; }
.article-threat-grid {
  border-bottom: 1px solid var(--line);
  border-top: 1px solid var(--line);
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin: 42px -80px;
}
.article-threat-grid > div { min-height: 235px; padding: 28px 32px 31px 0; }
.article-threat-grid > div:nth-child(even) { border-left: 1px solid var(--line); padding-left: 32px; }
.article-threat-grid > div:nth-child(-n + 2) { border-bottom: 1px solid var(--line); }
.article-threat-grid span { color: var(--danger); display: block; font: 750 9px var(--mono); letter-spacing: 0.06em; margin-bottom: 31px; }
.article-threat-grid strong { display: block; font-size: 17px; letter-spacing: -0.02em; line-height: 1.4; margin-bottom: 10px; }
.article-threat-grid p { color: var(--muted); font-size: 12px; line-height: 1.65; margin: 0; }
.article-sources { border-top: 1px solid var(--line-strong); margin: 100px -80px 0; padding-top: 4px; }
.article-sources h2 { font-size: 30px; margin-top: 46px; }
.article-sources ul { list-style: none; margin: 0; padding: 0; }
.article-sources li { border-top: 1px solid var(--line); display: grid; gap: 20px; grid-template-columns: minmax(220px, 0.85fr) minmax(280px, 1.15fr); padding: 19px 0; }
.article-sources li:last-child { border-bottom: 1px solid var(--line); }
.article-sources a { color: var(--ink); font-size: 14px; font-weight: 750; line-height: 1.45; text-decoration-color: var(--accent); text-underline-offset: 3px; }
.article-sources span { color: var(--muted); font-size: 12px; line-height: 1.55; }

@media (max-width: 1100px) {
  .reflection-intro { align-items: start; grid-template-columns: 1fr; }
  .reflection-intro-copy { max-width: 920px; }
  .reflection-contract { grid-template-columns: 1fr auto 1fr auto 1fr; }
  .reflection-contract > span { grid-column: 1 / -1; }
  .reflection-contract > i { align-self: center; padding: 0; transform: rotate(-90deg); }
  .reflection-contract .reflection-contract-result { align-self: stretch; }
  .reflection-entry { grid-template-columns: 90px minmax(0, 1fr); }
  .reflection-boundary { grid-column: 2; }
  .hero { gap: 42px; grid-template-columns: minmax(0, 0.9fr) minmax(430px, 1.1fr); }
  .policy-flow-detail { grid-template-columns: minmax(220px, 0.7fr) minmax(420px, 1.3fr); }
  .policy-flow-detail > div:last-child { border-left: 0; border-top: 1px solid #29334d; grid-column: 1 / -1; padding-left: 0; padding-top: 22px; }
  .capability-proof { grid-template-columns: minmax(220px, 0.8fr) minmax(320px, 1.2fr); }
  .capability-proof code { border-left: 0; border-top: 1px solid #29334d; grid-column: 1 / -1; padding-left: 0; padding-top: 20px; }
  .matrix-detail { grid-template-columns: minmax(220px, 0.6fr) minmax(500px, 1.4fr); }
  .matrix-detail-sources { border-left: 0 !important; border-top: 1px solid #29334d; grid-column: 1 / -1; }
  .matrix-detail-sources div { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .lifecycle-receipt { grid-template-columns: minmax(220px, 0.8fr) minmax(320px, 1.2fr); }
  .lifecycle-receipt > code { border-left: 0; border-top: 1px solid #29334d; grid-column: 1 / -1; padding-left: 0; padding-top: 20px; }
  .mirror-gap-track { grid-template-columns: repeat(4, minmax(190px, 1fr)); overflow-x: auto; }
  .proof-shell { grid-template-columns: 1fr; }
  .inspector { min-height: 0; }
  .root-cause { grid-template-columns: 1fr; }
  .cause-statement h2 { max-width: 13ch; }
  .lane-flow { grid-template-columns: 1fr 12px 1fr; }
  .lane-flow > i:nth-of-type(2) { display: none; }
  .lane-flow > div:nth-of-type(3) { grid-column: 1; }
  .lane-flow > i:nth-of-type(3) { grid-column: 2; }
  .lane-flow > div:nth-of-type(4) { grid-column: 3; }
}

@media (max-width: 820px) {
  .site-header { grid-template-columns: 1fr auto; padding: 0 20px; }
  .site-header nav { display: none; }
  .brand span { display: none; }
  .reflection-intro { padding-top: 82px; }
  .reflection-layout { grid-template-columns: 1fr; }
  .reflection-rail {
    border-bottom: 1px solid var(--line);
    border-right: 0;
    display: grid;
    gap: 34px;
    grid-template-columns: minmax(0, 1fr) minmax(220px, 0.6fr);
    min-height: 0;
    padding: 38px 0;
    position: static;
  }
  .reflection-standard { margin-top: 0; }
  .reflection-publications { padding-top: 36px; }
  .research-library-hero {
    align-items: start;
    gap: 38px;
    grid-template-columns: 1fr;
    min-height: 0;
    padding: 88px 0 52px;
  }
  .research-library-intro { max-width: 680px; }
  .research-section-heading { align-items: start; grid-template-columns: 1fr; }
  .research-section-heading > p { max-width: 620px; }
  .research-featured-grid { grid-template-columns: 1fr; }
  .research-feature { min-height: 460px; }
  .research-catalog-row { grid-template-columns: 44px minmax(0, 1fr) 24px; }
  .research-catalog-format { grid-column: 2; }
  .research-catalog-arrow { grid-column: 3; grid-row: 1 / span 2; }
  .hero { grid-template-columns: 1fr; min-height: auto; padding-bottom: 66px; padding-top: 54px; }
  .hero-copy { max-width: 680px; }
  h1 { max-width: 11ch; }
  .hero-evidence { max-width: 760px; }
  .plain-language { grid-template-columns: 1fr; }
  .plain-intro h2 { max-width: 14ch; }
  .zdr-heading { align-items: start; grid-template-columns: 1fr; }
  .lifecycle-proof-heading { align-items: start; gap: 28px; grid-template-columns: 1fr; }
  .lifecycle-stages li { align-items: start; grid-template-columns: 40px 1fr; }
  .lifecycle-stage-result { border-left: 0; border-top: 1px solid var(--line); grid-column: 2; padding-left: 0; padding-top: 18px; }
  .lifecycle-receipt { grid-template-columns: 1fr; }
  .lifecycle-receipt > code { grid-column: auto; }
  .lifecycle-synthesis > header { align-items: start; gap: 28px; grid-template-columns: 1fr; }
  .lifecycle-windows article { grid-template-columns: minmax(160px, 0.5fr) minmax(240px, 0.8fr) minmax(300px, 1.2fr); }
  .lifecycle-questions { grid-template-columns: 1fr 52px 1fr; }
  .lifecycle-close { align-items: start; grid-template-columns: 1fr 1fr; }
  .lifecycle-close a { grid-column: 2; }
  .privacy-matrix-heading { align-items: start; gap: 24px; grid-template-columns: 1fr; }
  .flow-provider-header { align-items: flex-start; flex-direction: column; gap: 12px; }
  .flow-provider-header > p { text-align: left; }
  .policy-flow-summary { align-items: start; grid-template-columns: 1fr; gap: 14px; }
  .policy-flow-swipe { color: var(--accent); display: block; font: 700 9px var(--mono); letter-spacing: 0.045em; padding: 12px 20px; text-transform: uppercase; }
  .policy-flow-detail { grid-template-columns: 1fr; }
  .policy-flow-detail > div:last-child { grid-column: auto; }
  .matrix-toolbar { align-items: flex-start; flex-direction: column; gap: 17px; }
  .matrix-swipe-hint, .mirror-gap-swipe {
    color: var(--accent);
    display: block;
    font: 700 9px var(--mono);
    letter-spacing: 0.045em;
    padding: 0 0 10px;
    text-transform: uppercase;
  }
  .mirror-gap-swipe { background: var(--surface-2); border-top: 1px solid var(--line); padding: 12px 20px; }
  .matrix-legend { justify-content: flex-start; }
  .matrix-detail { grid-template-columns: 1fr; }
  .matrix-detail > div + div { border-left: 0; border-top: 1px solid #29334d; }
  .matrix-detail-sources { grid-column: auto; }
  .matrix-findings { grid-template-columns: 1fr; }
  .matrix-findings article { min-height: 0; padding: 25px 0 27px; }
  .matrix-findings article + article { border-left: 0; border-top: 1px solid var(--line); padding-left: 0; }
  .matrix-findings span { margin-bottom: 16px; }
  .policy-revision > header { align-items: start; grid-template-columns: 1fr; }
  .mirror-gap-map > header { align-items: start; gap: 26px; grid-template-columns: 1fr; }
  .mirror-gap-verdict { grid-template-columns: auto 1fr; }
  .mirror-gap-verdict i { display: none; }
  .capability-proof { grid-template-columns: 1fr; }
  .capability-proof code { grid-column: auto; }
  .boundary-compare { grid-template-columns: 1fr; }
  .boundary-divider { min-height: 62px; }
  .boundary-divider::before { height: 1px; left: 0; top: 50%; width: 100%; }
  .boundary-demo { grid-template-columns: 1fr; }
  .boundary-demo-result { min-height: 0; }
  .zdr-bottom-line { align-items: start; grid-template-columns: 1fr; }
  .evidence-strip { grid-template-columns: 1fr; }
  .evidence-source { border-bottom: 1px solid var(--line); border-right: 0; padding-right: 0; }
  .evidence-strip dl { grid-template-columns: repeat(2, 1fr); }
  .evidence-strip dl div:nth-child(2) { border-right: 0; }
  .evidence-strip dl div:nth-child(-n+2) { border-bottom: 1px solid var(--line); }
  .proof-section, .architecture, .consequences { padding-bottom: 90px; padding-top: 90px; }
  .demo-health { align-items: flex-start; flex-direction: column; }
  .health-items { justify-content: flex-start; }
  .flow { grid-template-columns: repeat(2, 1fr); }
  .flow-step:nth-child(3)::before { display: none; }
  .distinction { grid-template-columns: 1fr; }
  .consequence-grid { grid-template-columns: 1fr; }
  .consequence-grid article:first-child { grid-row: auto; min-height: 300px; }
  .consequence-grid article:nth-child(4) { grid-column: auto; }
  footer { grid-template-columns: 1fr auto; }
  footer p { display: none; }
  .article-hero { padding-top: 80px; }
  .article-body { margin-left: 0; }
  .article-equation, .article-stat, .article-table-wrap, .article-code, .article-warning, .article-cta, .article-state-stack, .article-threat-grid, .article-sources { margin-left: 0; margin-right: 0; }
  .article-boundary-visual { grid-template-columns: 1fr; }
  .article-boundary-visual > i { min-height: 64px; }
  .article-state-stack > div { grid-template-columns: 100px 1fr; }
  .article-state-stack p { grid-column: 2; }
  .article-threat-grid { grid-template-columns: 1fr; }
  .article-threat-grid > div { border-bottom: 1px solid var(--line); min-height: 0; padding: 25px 0 28px; }
  .article-threat-grid > div:nth-child(even) { border-left: 0; padding-left: 0; }
  .article-threat-grid > div:last-child { border-bottom: 0; }
}

@media (max-width: 620px) {
  .site-header { height: 58px; }
  .reflection-index { padding: 0 16px 72px; }
  .reflection-intro { padding: 62px 0 45px; }
  .reflection-intro h1 { font-size: 43px; margin-bottom: 24px; }
  .reflection-intro-copy > p:last-child { font-size: 15px; }
  .reflection-contract { grid-template-columns: 1fr; }
  .reflection-contract > span { grid-column: auto; }
  .reflection-contract > i { padding-left: 16px; transform: none; }
  .reflection-rail { gap: 30px; grid-template-columns: 1fr; }
  .reflection-standard { border-top: 1px solid var(--line); padding-top: 24px; }
  .reflection-publications-head { align-items: start; flex-direction: column; gap: 12px; }
  .reflection-publications-head h2 { font-size: 36px; }
  .reflection-entry { gap: 26px; grid-template-columns: 1fr; padding: 42px 0 48px; }
  .reflection-entry-label { align-items: center; display: flex; justify-content: space-between; }
  .reflection-entry-label > span { font-size: 20px; }
  .reflection-entry-copy h3 { font-size: 31px; }
  .reflection-entry-actions { align-items: stretch; flex-direction: column; }
  .reflection-entry-actions .button { width: 100%; }
  .reflection-boundary { grid-column: auto; padding: 18px; }
  .reflection-boundary > div { min-width: 72px; }
  .reflection-thesis blockquote { font-size: 34px; }
  .research-library { padding: 0 16px 72px; }
  .research-library-hero { gap: 30px; padding: 68px 0 42px; }
  .research-library-hero h1 { font-size: 46px; }
  .research-library-intro { border-left: 0; border-top: 1px solid var(--line); font-size: 15px; padding: 24px 0 0; }
  .research-featured, .research-catalog { padding-top: 70px; }
  .research-section-heading { gap: 18px; margin-bottom: 26px; }
  .research-section-heading h2 { font-size: 36px; }
  .research-feature { min-height: 0; padding: 28px 20px; }
  .research-feature-meta { align-items: flex-start; flex-direction: column; gap: 6px; }
  .research-feature h3 { font-size: 31px; margin-top: 42px; }
  .research-feature-proof { margin-top: 54px; }
  .research-feature-actions { align-items: stretch; flex-direction: column; }
  .research-feature-actions .button { width: 100%; }
  .research-catalog-row { gap: 12px; grid-template-columns: 28px minmax(0, 1fr) 20px; min-height: 132px; }
  .research-catalog-row:hover, .research-catalog-row:focus-visible { padding-left: 4px; padding-right: 4px; }
  .research-catalog-topic strong { font-size: 17px; }
  .research-catalog-format { font-size: 10px; }
  .research-principle { margin-top: 84px; }
  .research-principle blockquote { font-size: 34px; }
  #proof, #architecture, #plain-language, #zdr-vs-fhe, #privacy-matrix, #lifecycle-proof, #lifecycle-synthesis, #reasoning-replay, #article { scroll-margin-top: 125px; }
  .paper-link { font-size: 12px; }
  .hero { gap: 34px; padding: 40px 16px 54px; }
  .eyebrow { margin-bottom: 18px; }
  h1 { font-size: 48px; }
  .hero-lede { font-size: 16px; }
  .hero-actions .button { flex: 1 1 100%; }
  .hero-live-proof { padding: 22px 18px; }
  .hero-live-proof > header { flex-direction: column; }
  .hero-live-proof > header .button { width: 100%; }
  .hero-proof-contexts { grid-template-columns: 1fr; }
  .hero-proof-contexts > div { min-height: 0; }
  .hero-proof-contexts > div + div { border-left: 0; border-top: 1px solid var(--line); }
  .hero-evidence figcaption { align-items: flex-start; flex-direction: column; gap: 5px; }
  .hero-evidence figcaption span { text-align: left; }
  .evidence-strip { padding: 0 16px; }
  .evidence-strip dl { grid-template-columns: 1fr; }
  .evidence-strip dl div { border-bottom: 1px solid var(--line); border-right: 0; padding-left: 0; }
  .evidence-strip dl div:last-child { border-bottom: 0; }
  .plain-language { gap: 34px; padding: 70px 16px; }
  .plain-intro h2 { font-size: 39px; }
  .plain-intro p { font-size: 17px; }
  .plain-answers article { gap: 9px; grid-template-columns: 1fr; padding: 22px 0 25px; }
  .plain-answers h3 { font-size: 20px; }
  .plain-answers p { font-size: 15px; }
  .zdr-comparison { padding: 74px 16px 82px; }
  .zdr-heading { gap: 28px; margin-bottom: 38px; }
  .zdr-heading h1, .zdr-heading h2 { font-size: 42px; }
  .zdr-heading-copy p { font-size: 15px; }
  .privacy-matrix { margin-bottom: 52px; }
  .privacy-matrix-heading { padding-top: 12px; }
  .privacy-matrix-heading h2, .privacy-matrix-heading h3 { font-size: 35px; }
  .privacy-matrix-heading > p { font-size: 12px; }
  .lifecycle-synthesis { margin-top: 58px; padding-top: 52px; }
  .lifecycle-synthesis > header h2 { font-size: 40px; }
  .lifecycle-windows { margin-top: 38px; }
  .lifecycle-windows article { align-items: start; gap: 12px; grid-template-columns: 1fr; padding: 24px 0 26px; }
  .lifecycle-windows strong { font-size: 18px; }
  .lifecycle-questions { grid-template-columns: 1fr; margin-top: 38px; }
  .lifecycle-questions > div + div { border-left: 0; border-top: 1px solid #29334d; }
  .lifecycle-questions i { border: 0; border-bottom: 1px solid #29334d; border-top: 1px solid #29334d; min-height: 48px; }
  .lifecycle-close { gap: 18px; grid-template-columns: 1fr; padding: 27px 0 30px; }
  .lifecycle-close a { grid-column: auto; }
  .privacy-view-switch { align-items: flex-start; flex-direction: column; gap: 12px; }
  .privacy-view-switch > div { width: 100%; }
  .flow-provider-tabs { flex-wrap: nowrap; max-width: 100%; overflow-x: auto; padding-bottom: 3px; }
  .flow-provider-tabs button { flex: 0 0 auto; }
  .policy-flow-summary { padding: 22px 20px; }
  .policy-flow-detail { gap: 22px; padding: 26px 20px; }
  .policy-flow-detail h3, .policy-flow-detail h4 { font-size: 22px; }
  .matrix-toolbar { padding: 16px 0; }
  .matrix-filters { flex-wrap: nowrap; max-width: 100%; overflow-x: auto; padding-bottom: 3px; }
  .matrix-filters button { flex: 0 0 auto; }
  .matrix-legend { display: grid; grid-template-columns: repeat(2, auto); }
  .matrix-grid { grid-template-columns: minmax(180px, 1.1fr) repeat(var(--matrix-columns), minmax(155px, 1fr)); min-width: 980px; }
  .matrix-detail > div { padding: 24px 20px; }
  .matrix-detail-copy { grid-template-columns: 1fr; }
  .matrix-detail-copy > div + div { border-left: 0; border-top: 1px solid #29334d; padding-left: 0; padding-top: 22px; }
  .matrix-detail-sources div { grid-template-columns: 1fr; }
  .policy-revision { margin-top: 38px; padding: 30px 20px; }
  .policy-revision > div { grid-template-columns: 1fr; margin-top: 32px; }
  .policy-revision article { min-height: 0; padding: 26px 0 30px; }
  .policy-revision article + article { border-left: 0; border-top: 1px solid #29334d; padding-left: 0; }
  .mirror-gap-map > header { padding: 30px 20px; }
  .mirror-gap-map > header h2, .mirror-gap-map > header h3 { font-size: 38px; }
  .mirror-gap-track { grid-template-columns: repeat(4, minmax(210px, 1fr)); }
  .mirror-gap-track article { min-height: 205px; }
  .capability-proof { gap: 20px; padding: 25px 20px; }
  .mirror-gap-verdict { gap: 8px 14px; padding: 22px 20px; }
  .mirror-gap-verdict strong { font-size: 12px; }
  .boundary-lane > header { align-items: flex-start; flex-direction: column; gap: 5px; }
  .boundary-wire { min-height: 148px; padding: 21px 18px; }
  .boundary-lane ol { padding-left: 18px; padding-right: 18px; }
  .boundary-verdict { padding: 19px 18px; }
  .boundary-demo { margin-top: 22px; }
  .boundary-demo-copy, .boundary-demo-result { padding: 28px 20px; }
  .boundary-demo-copy .button { width: 100%; }
  .zdr-bottom-line { margin-top: 32px; }
  .proof-section, .architecture, .consequences { padding: 72px 16px; }
  .section-heading { margin-bottom: 30px; }
  .section-heading h2, .cause-statement h2, .distinction h2, .closing h2 { font-size: 39px; }
  .section-heading p { font-size: 17px; }
  .demo-health { gap: 18px; padding: 20px 18px; }
  .health-items { display: grid; gap: 7px; grid-template-columns: 1fr; width: 100%; }
  .health-items > div { justify-content: space-between; }
  .mode-tabs { grid-template-columns: 1fr; }
  .mode-tabs button { min-height: 62px; }
  .proof-shell { min-height: 0; }
  .proof-main { padding: 22px 16px; }
  .proof-header { grid-template-columns: 1fr; }
  .run-button { width: 100%; }
  .flow { grid-template-columns: 1fr; margin-top: 34px; }
  .flow-step { min-height: 94px; }
  .flow-step + .flow-step::before { height: 8px; left: 28px; top: -9px; width: 1px; }
  .flow-step:nth-child(3)::before { display: block; }
  .inspector { min-height: 0; }
  .inspector summary { align-items: flex-start; flex-direction: column; gap: 4px; padding: 15px 16px; }
  .inspector summary small { margin: 0; }
  .inspector summary::after { position: absolute; right: 16px; }
  .inspector-body { min-height: 330px; padding: 14px 16px 18px; }
  .root-cause, .distinction { padding: 74px 16px; }
  .attack-sequence li { grid-template-columns: 66px 1fr; padding: 16px; }
  .lane header { align-items: flex-start; flex-direction: column; gap: 8px; }
  .lane-flow { grid-template-columns: 1fr; }
  .lane-flow > i, .lane-flow > i:nth-of-type(2) { display: block; transform: rotate(90deg); }
  .lane-flow > div:nth-of-type(3), .lane-flow > i:nth-of-type(3), .lane-flow > div:nth-of-type(4) { grid-column: auto; }
  .distinction blockquote { font-size: 22px; padding-left: 20px; }
  .closing { padding: 70px 16px 100px; text-align: left; }
  .closing > div { justify-content: flex-start; }
  .closing .button { width: 100%; }
  footer { padding: 22px 16px; }
  .article-page { padding: 0 16px 80px; }
  .article-hero { padding: 66px 0 48px; }
  .article-hero h1 { font-size: 54px; }
  .article-hero-narrow h1 { font-size: 47px; }
  .article-visual { margin-bottom: 54px; }
  .article-visual img { aspect-ratio: 1.35 / 1; }
  .article-body > p, .article-body > ol { font-size: 16px; }
  .article-body h2 { margin-top: 68px; }
  .article-equation { grid-template-columns: 1fr; padding: 25px 18px; }
  .article-stat, .article-warning, .article-cta { padding: 28px 22px; }
  .article-code { font-size: 10px; padding: 24px 18px; }
  .article-boundary-visual { margin-bottom: 54px; }
  .article-boundary-visual > div { min-height: 0; padding: 28px 20px; }
  .article-state-stack > div { gap: 9px; grid-template-columns: 1fr; padding: 20px 0; }
  .article-state-stack p { grid-column: auto; }
  .article-sources li { gap: 7px; grid-template-columns: 1fr; }
}

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