@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;
  --bg: #fcfbfe;
  --surface: #ffffff;
  --surface-2: #f2f3ff;
  --ink: #131b2e;
  --ink-2: #35405a;
  --muted: #656d82;
  --faint: #8c93a5;
  --line: #d9dced;
  --line-strong: #aeb4ca;
  --blue: #003ec7;
  --blue-bright: #2f68ff;
  --blue-soft: #eef2ff;
  --navy: #0c1834;
  --navy-2: #142448;
  --green: #168451;
  --green-soft: #e2f3e9;
  --amber: #a45b09;
  --amber-soft: #fef3c7;
  --red: #ba1a1a;
  --red-soft: #ffdad6;
  --sans: "Montserrat", ui-sans-serif, system-ui, -apple-system, "Segoe UI", sans-serif;
  --mono: "JetBrains Mono", ui-monospace, "SFMono-Regular", Menlo, Consolas, monospace;
  --page: min(1480px, calc(100vw - 64px));
  --article: min(1080px, calc(100vw - 48px));
}

* {
  box-sizing: border-box;
}

html {
  background: var(--bg);
  color: var(--ink);
  scroll-behavior: smooth;
  scrollbar-color: var(--blue) var(--surface-2);
  scrollbar-width: thin;
}

body {
  margin: 0;
  overflow-x: clip;
  background: var(--bg);
  color: var(--ink);
  font-family: var(--sans);
  -webkit-font-smoothing: antialiased;
}

::-webkit-scrollbar {
  width: 10px;
}

::-webkit-scrollbar-track {
  background: var(--surface-2);
}

::-webkit-scrollbar-thumb {
  border: 2px solid var(--surface-2);
  background: var(--blue);
}

button,
a {
  font: inherit;
}

button:focus-visible,
a:focus-visible {
  outline: 3px solid #7da0ff;
  outline-offset: 3px;
}

::selection {
  background: #cfdbff;
  color: #07142f;
}

.reading-progress {
  position: fixed;
  inset: 0 auto auto 0;
  z-index: 120;
  width: var(--reading-progress, 0%);
  height: 3px;
  background: var(--blue-bright);
  pointer-events: none;
}

.boundary-journey {
  position: fixed;
  top: 50%;
  right: 14px;
  z-index: 80;
  display: grid;
  gap: 0;
  width: 86px;
  padding: 13px 10px 10px;
  border: 1px solid var(--line);
  background: rgb(252 251 254 / 94%);
  backdrop-filter: blur(12px);
  transform: translateY(-50%);
}

.boundary-journey > strong {
  margin: 0 0 10px;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 8px;
  letter-spacing: 0.12em;
  text-align: center;
}

.boundary-journey a {
  position: relative;
  display: grid;
  grid-template-columns: 18px 1fr;
  gap: 6px;
  align-items: center;
  min-height: 40px;
  border-top: 1px solid var(--line);
  color: var(--faint);
  text-decoration: none;
  transition: color 160ms ease, background 160ms ease;
}

.boundary-journey a::before {
  position: absolute;
  top: 0;
  bottom: 0;
  left: -10px;
  width: 2px;
  background: transparent;
  content: "";
}

.boundary-journey a small {
  font-family: var(--mono);
  font-size: 8px;
}

.boundary-journey a span {
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 700;
}

.boundary-journey a.is-passed {
  color: var(--green);
}

.boundary-journey a.is-active {
  color: var(--blue);
}

.boundary-journey a.is-active::before {
  background: var(--blue);
}

.boundary-journey.is-live {
  border-color: #334a78;
  background: rgb(12 24 52 / 96%);
}

.boundary-journey.is-live > strong,
.boundary-journey.is-live a {
  border-color: #30436b;
  color: #8fa1c4;
}

.boundary-journey.is-live a.is-active {
  color: #ffd18d;
}

.boundary-journey.is-live a.is-active::before {
  background: #ffd18d;
}

.boundary-journey.is-live a.is-passed {
  color: #8be0b5;
}

.boundary-journey.is-live a.is-passed::before,
.boundary-journey.is-live a.is-blocked::before {
  background: #49bd88;
}

.boundary-journey.is-live a.is-blocked {
  color: #8be0b5;
}

.oversight-hero {
  display: grid;
  grid-template-columns: minmax(0, 5fr) minmax(620px, 7fr);
  gap: clamp(40px, 5vw, 96px);
  width: var(--page);
  min-height: calc(100vh - 68px);
  margin: 0 auto;
  padding: clamp(72px, 9vh, 128px) 0 80px;
  align-items: center;
}

.hero-copy {
  max-width: 660px;
}

.section-label,
.boundary-observatory figcaption > span,
.case-head span,
.proof-state span,
.released-signal > span,
.lineage-origin span,
.lineage-destination span,
.architecture-runtime > span,
.scope-split > div > span,
.closing-cta span {
  display: block;
  margin: 0 0 18px;
  color: var(--blue);
  font-family: var(--mono);
  font-size: 12px;
  font-weight: 700;
  letter-spacing: 0.12em;
  line-height: 1.3;
  text-transform: uppercase;
}

.hero-copy h1 {
  max-width: 720px;
  margin: 0;
  font-size: clamp(46px, 5.2vw, 82px);
  font-weight: 700;
  letter-spacing: -0.04em;
  line-height: 0.99;
}

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

.hero-deck {
  max-width: 660px;
  margin: 34px 0 0;
  color: var(--ink-2);
  font-size: clamp(18px, 1.45vw, 22px);
  line-height: 1.62;
}

.hero-actions,
.closing-cta > div:last-child {
  display: flex;
  flex-wrap: wrap;
  gap: 12px;
  margin-top: 38px;
}

.button {
  display: inline-flex;
  min-height: 46px;
  align-items: center;
  justify-content: center;
  padding: 11px 18px;
  border: 1px solid var(--line-strong);
  border-radius: 999px;
  background: var(--surface);
  color: var(--ink);
  font-size: 13px;
  font-weight: 700;
  text-decoration: none;
  cursor: pointer;
  transition: transform 160ms ease, border-color 160ms ease, background 160ms ease;
}

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

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

.button-primary:hover {
  border-color: #002c91;
  background: #002c91;
}

.button-secondary:hover {
  border-color: #8ea1ff;
  background: var(--blue-soft);
}

.hero-meta {
  display: flex;
  flex-wrap: wrap;
  gap: 8px 18px;
  margin-top: 42px;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 11px;
}

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

.boundary-observatory {
  position: relative;
  margin: 0;
  overflow: hidden;
  border: 1px solid #27395f;
  background: var(--navy);
  color: #fff;
}

.boundary-observatory::after {
  position: absolute;
  inset: 0;
  border: 8px solid rgb(255 255 255 / 3%);
  content: "";
  pointer-events: none;
}

.boundary-observatory figcaption {
  display: flex;
  min-height: 98px;
  align-items: flex-end;
  justify-content: space-between;
  gap: 24px;
  padding: 24px 28px;
  border-bottom: 1px solid #2a3b60;
}

.boundary-observatory figcaption > span {
  margin: 0;
  color: #8faeff;
}

.boundary-observatory figcaption strong {
  max-width: 390px;
  font-size: 17px;
  line-height: 1.45;
  text-align: right;
}

.observatory-tabs {
  display: grid;
  grid-template-columns: 1fr 1fr;
  border-bottom: 1px solid #2a3b60;
}

.observatory-tabs button {
  min-height: 54px;
  border: 0;
  border-right: 1px solid #2a3b60;
  background: transparent;
  color: #9ba8c5;
  font-size: 12px;
  font-weight: 700;
  cursor: pointer;
}

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

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

.observatory-panel {
  min-height: 610px;
  padding: 30px 28px 28px;
}

.observatory-source {
  display: grid;
  grid-template-columns: 148px 1fr;
  gap: 8px 18px;
  align-items: baseline;
  padding: 20px;
  border: 1px solid #40537b;
  background: var(--navy-2);
}

.observatory-source small {
  color: #8faeff;
  font-family: var(--mono);
  font-size: 11px;
  font-weight: 700;
  letter-spacing: 0.1em;
}

.observatory-source strong {
  font-size: 15px;
}

.observatory-source code {
  grid-column: 1 / -1;
  margin-top: 8px;
  overflow: hidden;
  color: #cbd6f2;
  font-family: var(--mono);
  font-size: 11px;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.observatory-line {
  position: relative;
  width: 1px;
  height: 34px;
  margin-left: 31px;
  background: #53668c;
}

.observatory-line i {
  position: absolute;
  bottom: -2px;
  left: -3px;
  width: 7px;
  height: 7px;
  border-right: 1px solid #8faeff;
  border-bottom: 1px solid #8faeff;
  transform: rotate(45deg);
}

.observatory-derivatives {
  display: grid;
  gap: 7px;
}

.observatory-derivatives > div {
  display: grid;
  grid-template-columns: 42px 1fr auto;
  gap: 14px;
  min-height: 56px;
  align-items: center;
  padding: 10px 14px;
  border: 1px solid #31456d;
  background: #102041;
  transition: opacity 220ms ease, transform 220ms ease, border-color 220ms ease, background 220ms ease;
}

.observatory-derivatives small {
  color: #7f9ad4;
  font-family: var(--mono);
  font-size: 11px;
}

.observatory-derivatives strong {
  font-size: 13px;
}

.observatory-derivatives span {
  color: #aab6d0;
  font-size: 12px;
  text-align: right;
}

.observatory-panel[data-mode="protected"] .observatory-derivatives > div:nth-child(n + 3) {
  border-style: dashed;
  border-color: #3a4865;
  background: transparent;
  opacity: 0.38;
}

.observatory-panel[data-mode="protected"] .observatory-derivatives > div:nth-child(2) {
  border-color: #3b9d72;
  background: #102f2a;
}

.observatory-verdict {
  margin-top: 18px;
  padding: 17px 18px;
  border-top: 1px solid #ffb45b;
  background: #1a294a;
}

.observatory-panel[data-mode="protected"] .observatory-verdict {
  border-top-color: #49bd88;
  background: #102f2a;
}

.observatory-verdict span {
  display: block;
  margin-bottom: 6px;
  color: #ffc988;
  font-family: var(--mono);
  font-size: 11px;
  font-weight: 700;
  letter-spacing: 0.09em;
}

.observatory-panel[data-mode="protected"] .observatory-verdict span {
  color: #8be0b5;
}

.observatory-verdict strong {
  display: block;
  font-size: 15px;
}

.observatory-verdict p {
  margin: 7px 0 0;
  color: #b6c2dc;
  font-size: 12px;
  line-height: 1.55;
}

.research-article {
  width: var(--article);
  margin: 0 auto;
}

.research-article > section {
  padding: clamp(90px, 11vw, 150px) 0;
  border-top: 1px solid var(--line);
}

.research-article > .opening {
  padding-top: 120px;
}

.opening,
.conclusion {
  max-width: 850px;
  margin-inline: auto;
}

.opening h2,
.section-heading h2,
.proof-heading h2,
.conclusion h2,
.closing-cta h2 {
  margin: 0;
  font-size: clamp(34px, 4.1vw, 58px);
  font-weight: 700;
  letter-spacing: -0.04em;
  line-height: 1.06;
}

.opening-lede,
.section-heading > p:last-child,
.conclusion > p:not(.section-label) {
  color: var(--ink-2);
  font-size: clamp(18px, 1.7vw, 22px);
  line-height: 1.72;
}

.opening > p:not(.section-label),
.conclusion > p:not(.section-label) {
  margin: 28px 0 0;
}

.recent-evidence {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  margin: 46px 0 40px;
  border-top: 2px solid var(--ink);
  border-bottom: 1px solid var(--line);
}

.recent-evidence article {
  display: flex;
  flex-direction: column;
  min-height: 310px;
  padding: 24px 22px 22px;
  border-right: 1px solid var(--line);
}

.recent-evidence article:last-child {
  border-right: 0;
}

.recent-evidence small {
  min-height: 34px;
  color: var(--blue);
  font-family: var(--mono);
  font-size: 10px;
  font-weight: 700;
  letter-spacing: 0.05em;
  line-height: 1.5;
}

.recent-evidence strong {
  display: block;
  margin-top: 22px;
  color: var(--ink);
  font-size: clamp(19px, 2vw, 25px);
  letter-spacing: -0.025em;
  line-height: 1.18;
}

.recent-evidence p {
  margin: 16px 0 24px;
  color: var(--ink-2);
  font-size: 13px;
  line-height: 1.65;
}

.recent-evidence a {
  margin-top: auto;
  color: var(--blue);
  font-size: 12px;
  font-weight: 700;
  line-height: 1.5;
  text-decoration-thickness: 1px;
  text-underline-offset: 3px;
}

.opening blockquote,
.conclusion blockquote {
  margin: 54px 0 0;
  padding: 30px 0;
  border-top: 2px solid var(--blue);
  border-bottom: 1px solid var(--line);
  color: var(--ink);
  font-size: clamp(26px, 3vw, 42px);
  font-weight: 700;
  letter-spacing: -0.04em;
  line-height: 1.2;
}

.section-heading {
  max-width: 900px;
  margin-bottom: 58px;
}

.section-heading > p:last-child {
  max-width: 790px;
  margin: 26px 0 0;
}

.section-bridge {
  max-width: 850px;
  margin: 52px 0 0 auto;
  padding: 28px 0 0;
  border-top: 2px solid var(--blue);
  color: var(--ink-2);
  font-size: clamp(17px, 1.55vw, 20px);
  line-height: 1.72;
}

.inline-citation {
  color: var(--blue);
  font-size: 0.72em;
  font-weight: 700;
  text-decoration-thickness: 1px;
  text-underline-offset: 3px;
  white-space: nowrap;
}

.lineage-figure {
  margin: 0;
}

.lineage-origin,
.lineage-destination {
  display: grid;
  grid-template-columns: 180px 1fr auto;
  gap: 22px;
  align-items: center;
  padding: 26px;
  border: 1px solid var(--line-strong);
  background: var(--surface);
}

.lineage-origin {
  border-top: 2px solid var(--blue);
}

.lineage-destination {
  border-top: 2px solid var(--green);
}

.lineage-origin span,
.lineage-destination span {
  margin: 0;
}

.lineage-origin strong,
.lineage-destination strong {
  font-size: 18px;
}

.lineage-origin small,
.lineage-destination small {
  color: var(--muted);
  font-family: var(--mono);
  font-size: 11px;
  text-align: right;
}

.lineage-figure ol {
  position: relative;
  display: grid;
  margin: 0 0 0 42px;
  padding: 28px 0 28px 58px;
  list-style: none;
}

.lineage-figure ol::before {
  position: absolute;
  top: 0;
  bottom: 0;
  left: 0;
  width: 2px;
  background: var(--blue);
  content: "";
}

.lineage-figure li {
  position: relative;
  display: grid;
  grid-template-columns: 180px minmax(0, 1fr) minmax(230px, 0.7fr);
  gap: 28px;
  align-items: baseline;
  padding: 20px 0;
  border-bottom: 1px solid var(--line);
}

.lineage-figure li::before {
  position: absolute;
  top: 27px;
  left: -65px;
  width: 14px;
  height: 14px;
  border: 3px solid var(--blue);
  background: var(--bg);
  content: "";
}

.lineage-figure li span {
  color: var(--blue);
  font-family: var(--mono);
  font-size: 12px;
  font-weight: 700;
  text-transform: uppercase;
}

.lineage-figure li strong {
  font-size: 15px;
  line-height: 1.5;
}

.lineage-figure li small {
  color: var(--muted);
  font-size: 13px;
  line-height: 1.55;
}

.lineage-figure figcaption,
.architecture-figure figcaption {
  margin-top: 18px;
  color: var(--muted);
  font-size: 12px;
  line-height: 1.6;
}

.practice-table {
  border-top: 2px solid var(--ink);
}

.practice-row {
  display: grid;
  grid-template-columns: minmax(220px, 0.8fr) minmax(0, 1.25fr) minmax(0, 1fr);
  gap: 30px;
  padding: 26px 4px;
  border-bottom: 1px solid var(--line);
}

.practice-head {
  padding-block: 12px;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 11px;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.practice-row a {
  color: var(--blue);
  font-size: 15px;
  font-weight: 700;
  line-height: 1.4;
  text-decoration-thickness: 1px;
  text-underline-offset: 3px;
}

.practice-row div small {
  display: block;
  margin-top: 8px;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 11px;
  text-transform: uppercase;
}

.practice-row p {
  margin: 0;
  color: var(--ink-2);
  font-size: 13px;
  line-height: 1.68;
}

.practice-reading {
  display: grid;
  grid-template-columns: 220px 1fr;
  gap: 30px;
  margin-top: 36px;
  padding: 28px;
  border-top: 2px solid var(--blue);
  background: var(--blue-soft);
}

.practice-reading strong {
  font-size: 17px;
}

.practice-reading p {
  margin: 0;
  color: var(--ink-2);
  font-size: 14px;
  line-height: 1.65;
}

.question-grid {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  border-top: 2px solid var(--ink);
  border-bottom: 1px solid var(--line);
}

.question-grid article {
  min-height: 250px;
  padding: 28px 24px;
  border-right: 1px solid var(--line);
}

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

.question-grid span,
.control-ledger span {
  display: block;
  margin-bottom: 48px;
  color: var(--blue);
  font-family: var(--mono);
  font-size: 11px;
  font-weight: 700;
  letter-spacing: 0.09em;
}

.question-grid strong {
  display: block;
  font-size: 19px;
  line-height: 1.35;
}

.question-grid p {
  margin: 16px 0 0;
  color: var(--muted);
  font-size: 13px;
  line-height: 1.65;
}

.research-article > .live-proof {
  width: min(1280px, calc(100vw - 36px));
  margin-left: 50%;
  padding: clamp(48px, 6vw, 78px);
  border: 0;
  background: var(--navy);
  color: #fff;
  transform: translateX(-50%);
}

.proof-heading {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 40px;
  padding-bottom: 40px;
  border-bottom: 1px solid #34476e;
}

.proof-heading .section-label {
  color: #8faeff;
}

.proof-heading h2 {
  max-width: 720px;
  color: #fff;
}

.proof-intro {
  max-width: 720px;
  margin: 22px 0 0;
  color: #b4c0d9;
  font-size: 14px;
  line-height: 1.65;
}

.proof-state {
  min-width: 180px;
  padding: 14px 16px;
  border: 1px solid #40537b;
  text-align: right;
}

.proof-state span {
  margin: 0;
  color: #b5c6ee;
}

.proof-state small {
  display: block;
  margin-top: 8px;
  color: #98a7c5;
  font-size: 11px;
  line-height: 1.45;
}

.proof-state.is-running span {
  color: #ffd18d;
}

.proof-state.is-complete span {
  color: #8be0b5;
}

.proof-state.is-failed span {
  color: #ffb0aa;
}

.proof-layout {
  display: grid;
  grid-template-columns: minmax(0, 0.78fr) minmax(0, 1.22fr);
  gap: clamp(34px, 5vw, 74px);
  padding-top: 48px;
}

.proof-case {
  align-self: start;
}

.case-head {
  display: flex;
  justify-content: space-between;
  gap: 20px;
  color: #9eacc9;
  font-family: var(--mono);
  font-size: 11px;
  text-transform: uppercase;
}

.case-head span {
  margin: 0;
  color: #8faeff;
  font-size: inherit;
}

.proof-case blockquote {
  margin: 20px 0 0;
  padding: 24px;
  border: 1px solid #40537b;
  background: var(--navy-2);
  color: #fff;
  font-size: 18px;
  font-weight: 600;
  line-height: 1.6;
}

.proof-case mark {
  padding: 2px 5px;
  background: #ffdb95;
  color: #402600;
  font-family: var(--mono);
  font-size: 0.8em;
}

.proof-case > p,
.proof-boundary-note {
  color: #aebbd4;
  font-size: 12px;
  line-height: 1.7;
}

.proof-run {
  margin-top: 22px;
  border-color: #fff;
  background: #fff;
  color: var(--navy);
}

.proof-run:hover {
  border-color: #dce4ff;
  background: #dce4ff;
  color: var(--navy);
}

.proof-run:disabled {
  cursor: wait;
  opacity: 0.7;
  transform: none;
}

.proof-execution ol {
  margin: 0;
  padding: 0;
  border-top: 1px solid #34476e;
  list-style: none;
}

.proof-execution li {
  display: grid;
  grid-template-columns: 44px 1fr auto;
  gap: 18px;
  min-height: 88px;
  align-items: center;
  padding: 14px 8px;
  border-bottom: 1px solid #34476e;
  transition: background 180ms ease, border-color 180ms ease;
}

.proof-execution li > span {
  color: #7788ad;
  font-family: var(--mono);
  font-size: 12px;
}

.proof-execution li strong {
  display: block;
  font-size: 14px;
}

.proof-execution li p {
  margin: 6px 0 0;
  color: #9eacc7;
  font-size: 12px;
  line-height: 1.5;
}

.stage-event {
  display: inline-block;
  margin-top: 9px;
  color: #8fa1c4;
  font-family: var(--mono);
  font-size: 10px;
  font-style: normal;
  font-weight: 600;
  letter-spacing: 0.03em;
}

.stage-event.is-blocked {
  color: #8be0b5;
}

.proof-execution li > small {
  color: #7584a5;
  font-family: var(--mono);
  font-size: 11px;
  font-weight: 700;
}

.proof-execution li.is-running {
  border-bottom-color: #8a641f;
  background: #332b1d;
}

.proof-execution li.is-running > small {
  color: #ffd18d;
}

.proof-execution li.is-complete {
  border-bottom-color: #276f55;
  background: #102f2a;
}

.proof-execution li.is-complete > span,
.proof-execution li.is-complete > small {
  color: #8be0b5;
}

.proof-execution li.is-failed {
  border-bottom-color: #8c3c3c;
  background: #371f29;
}

.proof-execution li.is-failed > small {
  color: #ffb0aa;
}

.proof-result {
  display: grid;
  grid-template-columns: minmax(280px, 0.8fr) minmax(0, 1.2fr);
  gap: 1px;
  margin-top: 48px;
  border: 1px solid #3b4f77;
  background: #3b4f77;
}

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

.proof-result:focus-visible {
  outline: 3px solid #8faeff;
  outline-offset: 4px;
}

.released-signal,
.released-derivative,
.proof-facts,
.receipt-verification,
.proof-checks {
  margin: 0;
  background: #0f2040;
}

.released-signal {
  padding: 28px;
}

.released-signal > span {
  margin: 0 0 20px;
  color: #8be0b5;
}

.released-signal > strong {
  display: block;
  color: #fff;
  font-family: var(--mono);
  font-size: clamp(22px, 2.8vw, 38px);
  letter-spacing: -0.03em;
  overflow-wrap: anywhere;
}

.released-signal p {
  display: flex;
  gap: 10px;
  margin: 24px 0 0;
  align-items: center;
}

.released-signal b,
.released-signal p span {
  padding: 6px 9px;
  background: #173a31;
  color: #8be0b5;
  font-family: var(--mono);
  font-size: 11px;
  text-transform: uppercase;
}

.released-derivative {
  padding: 28px;
}

.released-derivative > span,
.receipt-verification > span {
  display: block;
  color: #8faeff;
  font-family: var(--mono);
  font-size: 11px;
  font-weight: 700;
  letter-spacing: 0.09em;
  text-transform: uppercase;
}

.released-derivative blockquote {
  margin: 18px 0 12px;
  color: #fff;
  font-size: clamp(16px, 1.7vw, 21px);
  font-weight: 600;
  line-height: 1.55;
}

.released-derivative small {
  color: #9eacc7;
  font-size: 11px;
  line-height: 1.55;
}

.proof-facts {
  display: grid;
  grid-template-columns: repeat(2, 1fr);
}

.proof-facts > div {
  padding: 20px;
  border-bottom: 1px solid #31476f;
  border-left: 1px solid #31476f;
}

.proof-facts dt {
  color: #8293b6;
  font-family: var(--mono);
  font-size: 11px;
  text-transform: uppercase;
}

.proof-facts dd {
  margin: 9px 0 0;
  color: #e0e7f8;
  font-family: var(--mono);
  font-size: 12px;
  overflow-wrap: anywhere;
}

.receipt-verification {
  padding: 26px 28px;
}

.receipt-verification > span {
  margin-bottom: 14px;
  color: #8be0b5;
}

.receipt-verification strong {
  display: block;
  color: #fff;
  font-size: 16px;
}

.receipt-verification p {
  margin: 12px 0 0;
  color: #9eacc7;
  font-size: 12px;
  line-height: 1.65;
}

.proof-checks {
  grid-column: 1 / -1;
  display: grid;
  grid-template-columns: 0.45fr 1fr;
  gap: 32px;
  padding: 26px 28px;
}

.proof-checks > div span {
  display: block;
  color: #8be0b5;
  font-family: var(--mono);
  font-size: 30px;
  font-weight: 700;
}

.proof-checks > div strong {
  color: #c5d0e7;
  font-size: 12px;
}

.proof-checks ol {
  display: grid;
  grid-template-columns: repeat(2, 1fr);
  gap: 9px 20px;
  margin: 0;
  padding: 0;
  list-style: none;
}

.proof-checks li {
  position: relative;
  padding-left: 20px;
  color: #9eacc7;
  font-size: 12px;
  line-height: 1.5;
}

.proof-checks li::before {
  position: absolute;
  top: 5px;
  left: 0;
  width: 8px;
  height: 8px;
  border: 1px solid #586b91;
  content: "";
}

.proof-checks li.is-passed {
  color: #d6f3e4;
}

.proof-checks li.is-passed::before {
  border-color: #49bd88;
  background: #49bd88;
}

.proof-boundary-note {
  margin: 24px 0 0;
}

.architecture-figure {
  margin: 0;
}

.architecture-rail {
  display: grid;
  grid-template-columns: 1fr 100px 1fr;
  gap: 18px;
  align-items: center;
}

.architecture-rail > div,
.architecture-runtime > div {
  min-height: 108px;
  padding: 22px;
  border: 1px solid var(--line-strong);
  background: var(--surface);
}

.architecture-rail small,
.architecture-runtime small {
  display: block;
  margin-bottom: 12px;
  color: var(--blue);
  font-family: var(--mono);
  font-size: 11px;
  font-weight: 700;
  letter-spacing: 0.08em;
}

.architecture-rail strong,
.architecture-runtime strong {
  font-size: 15px;
  line-height: 1.5;
}

.architecture-rail i {
  position: relative;
  height: 1px;
  background: var(--blue);
}

.architecture-rail i::after {
  position: absolute;
  top: -4px;
  right: 0;
  width: 8px;
  height: 8px;
  border-top: 1px solid var(--blue);
  border-right: 1px solid var(--blue);
  content: "";
  transform: rotate(45deg);
}

.architecture-runtime {
  position: relative;
  display: grid;
  grid-template-columns: repeat(2, 1fr);
  gap: 12px;
  margin: 24px 0;
  padding: 50px 24px 24px;
  border: 1px solid #334a7c;
  background: var(--navy);
}

.architecture-runtime > span {
  position: absolute;
  top: 17px;
  left: 24px;
  margin: 0;
  color: #8faeff;
}

.architecture-runtime > div {
  border-color: #40537b;
  background: var(--navy-2);
  color: #fff;
}

.architecture-runtime small {
  color: #8faeff;
}

.architecture-release > div:last-child {
  border-top: 2px solid var(--green);
}

.control-ledger {
  display: grid;
  grid-template-columns: repeat(5, 1fr);
  margin-top: 52px;
  border-top: 2px solid var(--ink);
}

.control-ledger > div {
  min-height: 230px;
  padding: 24px 18px;
  border-right: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

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

.control-ledger span {
  min-height: 26px;
  margin-bottom: 38px;
}

.control-ledger strong {
  display: block;
  font-size: 16px;
  line-height: 1.4;
}

.control-ledger p {
  margin: 14px 0 0;
  color: var(--muted);
  font-size: 12px;
  line-height: 1.65;
}

.scope-split {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 1px;
  border: 1px solid var(--line-strong);
  background: var(--line);
}

.scope-split > div {
  padding: 34px;
  background: var(--surface);
}

.scope-split > div:first-child {
  border-top: 2px solid var(--green);
}

.scope-split > div:last-child {
  border-top: 2px solid var(--blue);
}

.scope-split > div > span {
  margin-bottom: 24px;
}

.scope-split ul {
  display: grid;
  gap: 16px;
  margin: 0;
  padding-left: 20px;
}

.scope-split li {
  color: var(--ink-2);
  font-size: 14px;
  line-height: 1.65;
}

.sources {
  max-width: 900px;
  margin-inline: auto;
}

.sources h2 {
  margin: 0 0 32px;
  font-size: 28px;
  letter-spacing: -0.035em;
}

.sources ol {
  margin: 0;
  padding: 0;
  border-top: 2px solid var(--ink);
  counter-reset: sources;
  list-style: none;
}

.sources li {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 28px;
  padding: 20px 4px;
  border-bottom: 1px solid var(--line);
  counter-increment: sources;
}

.sources a {
  color: var(--blue);
  font-size: 13px;
  font-weight: 700;
  line-height: 1.5;
}

.sources a::before {
  margin-right: 10px;
  color: var(--faint);
  content: counter(sources, decimal-leading-zero);
  font-family: var(--mono);
  font-size: 11px;
}

.sources span {
  color: var(--muted);
  font-size: 12px;
  line-height: 1.6;
}

.closing-cta {
  display: flex;
  width: var(--page);
  min-height: 330px;
  align-items: center;
  justify-content: space-between;
  gap: 50px;
  margin: 80px auto 0;
  padding: 70px;
  background: var(--navy);
  color: #fff;
}

.closing-cta span {
  color: #8faeff;
}

.closing-cta h2 {
  max-width: 650px;
}

.closing-cta .button-secondary {
  border-color: #526487;
  background: transparent;
  color: #fff;
}

.site-footer {
  display: flex;
  width: var(--page);
  align-items: center;
  justify-content: space-between;
  gap: 30px;
  margin: 0 auto;
  padding: 34px 0 44px;
  color: var(--muted);
}

.site-footer .brand {
  display: inline-flex;
  align-items: center;
  gap: 14px;
  color: var(--ink);
  font-size: 13px;
  font-weight: 700;
  text-decoration: none;
}

.site-footer .brand img {
  width: auto;
  height: 30px;
}

.site-footer p {
  margin: 0;
  font-family: var(--mono);
  font-size: 11px;
}

@media (max-width: 1540px) {
  .boundary-journey {
    position: sticky;
    top: 68px;
    right: auto;
    bottom: auto;
    left: auto;
    grid-template-columns: 76px repeat(5, 1fr);
    width: 100%;
    padding: 7px 9px;
    border-right: 0;
    border-left: 0;
    transform: none;
  }

  .boundary-journey > strong {
    align-self: center;
    margin: 0;
    text-align: left;
  }

  .boundary-journey a {
    grid-template-columns: 1fr;
    gap: 2px;
    min-height: 40px;
    padding-left: 10px;
    border-top: 0;
    border-left: 1px solid var(--line);
  }

  .boundary-journey a::before {
    top: auto;
    right: 6px;
    bottom: -7px;
    left: 6px;
    width: auto;
    height: 2px;
  }

  .boundary-journey.is-live a {
    border-color: #30436b;
  }
}

@media (max-width: 1180px) {
  :root {
    --page: min(100% - 40px, 1120px);
  }

  .oversight-hero {
    grid-template-columns: 1fr;
    min-height: auto;
  }

  .hero-copy {
    max-width: 860px;
  }

  .hero-copy h1 {
    max-width: 900px;
  }

  .boundary-observatory {
    width: min(860px, 100%);
  }

  .question-grid {
    grid-template-columns: repeat(2, 1fr);
  }

  .question-grid article:nth-child(2) {
    border-right: 0;
  }

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

  .control-ledger {
    grid-template-columns: repeat(3, 1fr);
  }

  .control-ledger > div:nth-child(3) {
    border-right: 0;
  }
}

@media (max-width: 820px) {
  :root {
    --article: min(100% - 36px, 720px);
  }

  .oversight-hero {
    width: min(100% - 36px, 760px);
    padding-top: 66px;
  }

  .boundary-journey {
    position: sticky;
    top: 68px;
    right: auto;
    bottom: auto;
    left: auto;
    z-index: 90;
    display: grid;
    grid-template-columns: repeat(5, 1fr);
    width: 100%;
    padding: 5px 12px;
    border-right: 0;
    border-left: 0;
    background: var(--bg);
    backdrop-filter: none;
    transform: none;
  }

  body {
    padding-bottom: 0;
  }

  #top,
  .research-article > section,
  #proof-result {
    scroll-margin-top: 118px;
  }

  .boundary-journey > strong {
    display: none;
  }

  .boundary-journey a {
    grid-template-columns: 16px 1fr;
    gap: 4px;
    min-height: 38px;
    padding: 0 7px;
  }

  .boundary-journey a:first-of-type {
    border-left: 0;
  }

  .boundary-journey a::before {
    right: 4px;
    bottom: -5px;
    left: 4px;
  }

  .boundary-journey a small,
  .boundary-journey a span {
    font-size: 8px;
  }

  .hero-copy h1 {
    font-size: clamp(42px, 12vw, 66px);
  }

  .boundary-observatory figcaption {
    display: block;
  }

  .boundary-observatory figcaption strong {
    display: block;
    margin-top: 10px;
    text-align: left;
  }

  .observatory-panel {
    min-height: auto;
    padding: 22px 18px;
  }

  .observatory-source {
    grid-template-columns: 1fr;
  }

  .observatory-source code {
    grid-column: auto;
  }

  .observatory-derivatives > div {
    grid-template-columns: 36px 1fr;
  }

  .observatory-derivatives span {
    grid-column: 2;
    text-align: left;
  }

  .lineage-origin,
  .lineage-destination,
  .lineage-figure li,
  .recent-evidence,
  .practice-row,
  .practice-reading,
  .proof-layout,
  .proof-result,
  .proof-checks,
  .scope-split,
  .sources li {
    grid-template-columns: 1fr;
  }

  .recent-evidence article {
    min-height: auto;
    padding-inline: 4px;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .recent-evidence article:last-child {
    border-bottom: 0;
  }

  .recent-evidence small {
    min-height: 0;
  }

  .recent-evidence a {
    margin-top: 0;
  }

  .lineage-origin small,
  .lineage-destination small {
    text-align: left;
  }

  .lineage-figure ol {
    margin-left: 24px;
    padding-left: 38px;
  }

  .lineage-figure li::before {
    left: -45px;
  }

  .practice-head {
    display: none;
  }

  .practice-row {
    gap: 14px;
  }

  .question-grid,
  .control-ledger {
    grid-template-columns: 1fr;
  }

  .question-grid article,
  .question-grid article:nth-child(2),
  .control-ledger > div,
  .control-ledger > div:nth-child(3) {
    min-height: auto;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .question-grid span,
  .control-ledger span {
    margin-bottom: 24px;
  }

  .research-article > .live-proof {
    width: 100vw;
    padding: 48px 20px;
  }

  .proof-heading {
    display: grid;
  }

  .proof-state {
    text-align: left;
  }

  .proof-result,
  .proof-checks {
    display: grid;
  }

  .proof-checks {
    grid-column: auto;
  }

  .proof-checks ol {
    grid-template-columns: 1fr;
  }

  .architecture-rail,
  .architecture-runtime {
    grid-template-columns: 1fr;
  }

  .architecture-rail i {
    width: 1px;
    height: 36px;
    margin-left: 28px;
  }

  .architecture-rail i::after {
    top: auto;
    right: -4px;
    bottom: 0;
    transform: rotate(135deg);
  }

  .closing-cta {
    display: block;
    width: 100%;
    padding: 56px 22px;
  }

  .site-footer {
    display: grid;
    width: min(100% - 36px, 720px);
  }
}

@media (max-width: 520px) {
  .hero-meta {
    display: grid;
  }

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

  .observatory-tabs button {
    padding: 10px;
    font-size: 11px;
  }

  .proof-execution li {
    grid-template-columns: 32px 1fr;
  }

  .proof-execution li > small {
    grid-column: 2;
  }

  .proof-facts {
    grid-template-columns: 1fr;
  }

  .proof-facts > div {
    border-left: 0;
  }
}

@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }

  *,
  *::before,
  *::after {
    scroll-behavior: auto !important;
    transition-duration: 0.01ms !important;
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
  }
}