:root {
  --erdos-ink: #10130f;
  --erdos-ink-2: #151a15;
  --erdos-ink-3: #1c221c;
  --erdos-paper: #eee9dc;
  --erdos-paper-dim: #b9b7aa;
  --erdos-muted: #858a80;
  --erdos-rule: rgba(238, 233, 220, 0.16);
  --erdos-rule-strong: rgba(238, 233, 220, 0.28);
  --erdos-green: #a6e36f;
  --erdos-green-soft: rgba(166, 227, 111, 0.13);
  --erdos-amber: #e2b561;
  --erdos-red: #dc806f;
  --page-pad: clamp(1.25rem, 4vw, 4.75rem);
  --content-max: 1480px;
}

html {
  background: var(--erdos-ink);
  scroll-padding-top: 5rem;
}

body {
  color: var(--erdos-paper);
  background:
    radial-gradient(circle at 74% 8%, rgba(166, 227, 111, 0.055), transparent 23rem),
    var(--erdos-ink);
  font-family: var(--mono);
  font-size: 16px;
  font-weight: 400;
  line-height: 1.55;
}

body::before {
  opacity: 0.24;
  mix-blend-mode: soft-light;
}

::selection {
  color: var(--erdos-ink);
  background: var(--erdos-green);
}

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

.site-head {
  position: absolute;
  z-index: 20;
  top: 0;
  left: 0;
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  width: 100%;
  min-height: 76px;
  padding: 0 var(--page-pad);
  border-bottom: 1px solid var(--erdos-rule);
  background: rgba(16, 19, 15, 0.54);
  backdrop-filter: blur(14px);
}

.brand {
  width: max-content;
  font-family: var(--serif);
  font-size: 1.55rem;
  font-weight: 660;
  letter-spacing: -0.04em;
}

.brand span {
  color: var(--erdos-green);
}

.site-nav {
  display: flex;
  gap: clamp(1.1rem, 3vw, 2.7rem);
  color: var(--erdos-paper-dim);
  font-size: 0.68rem;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.site-nav a,
.lab-link,
footer a {
  transition: color 160ms ease;
}

.site-nav a:hover,
.site-nav a:focus-visible,
.lab-link:hover,
.lab-link:focus-visible,
footer a:hover,
footer a:focus-visible {
  color: var(--erdos-green);
}

.lab-link {
  justify-self: end;
  color: var(--erdos-paper-dim);
  font-size: 0.69rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.hero {
  position: relative;
  display: grid;
  grid-template-columns: minmax(0, 0.94fr) minmax(440px, 0.76fr);
  align-items: stretch;
  min-height: max(760px, 100svh);
  padding: 76px var(--page-pad) 0;
  overflow: hidden;
  border-bottom: 1px solid var(--erdos-rule);
}

.hero-grid {
  position: absolute;
  inset: 76px 0 0;
  pointer-events: none;
  opacity: 0.25;
  background-image:
    linear-gradient(var(--erdos-rule) 1px, transparent 1px),
    linear-gradient(90deg, var(--erdos-rule) 1px, transparent 1px);
  background-size: 72px 72px;
  mask-image: linear-gradient(90deg, transparent 0, #000 56%, #000 100%);
}

.hero-copy,
.hero-instrument {
  position: relative;
  z-index: 1;
}

.hero-copy {
  align-self: center;
  max-width: 920px;
  padding: 6rem clamp(2rem, 6vw, 7rem) 6rem 0;
}

.kicker,
.eyebrow-label,
.section-index,
.claim-plain > span,
.contract-number {
  font-family: var(--mono);
  font-size: 0.67rem;
  letter-spacing: 0.16em;
  text-transform: uppercase;
}

.kicker {
  display: flex;
  align-items: center;
  gap: 0.65rem;
  margin-bottom: clamp(2rem, 4.5vh, 3.6rem);
  color: var(--erdos-paper-dim);
}

.status-dot {
  display: inline-block;
  width: 8px;
  height: 8px;
  flex: 0 0 auto;
  border-radius: 50%;
  background: var(--erdos-green);
  box-shadow: 0 0 0 5px rgba(166, 227, 111, 0.09), 0 0 22px rgba(166, 227, 111, 0.35);
}

.hero h1,
.section-heading h2,
.closing h2 {
  font-family: var(--serif);
  font-weight: 380;
  letter-spacing: -0.052em;
  line-height: 0.98;
  text-wrap: balance;
}

.hero h1 {
  max-width: 950px;
  font-size: clamp(3.2rem, 6.25vw, 7.5rem);
}

.hero h1 em,
.closing h2 em {
  color: var(--erdos-paper-dim);
  font-weight: 300;
}

.hero h1 em {
  margin-left: 0.08em;
}

.hero-deck {
  max-width: 720px;
  margin-top: clamp(1.8rem, 4vh, 3.3rem);
  color: var(--erdos-paper-dim);
  font-family: var(--serif);
  font-size: clamp(1.12rem, 1.6vw, 1.42rem);
  line-height: 1.48;
}

.hero-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 0.75rem;
  margin-top: clamp(2rem, 4vh, 3rem);
}

.action {
  display: inline-flex;
  align-items: center;
  justify-content: space-between;
  gap: 2.3rem;
  min-height: 52px;
  padding: 0.1rem 1.1rem;
  border: 1px solid var(--erdos-rule-strong);
  font-size: 0.73rem;
  letter-spacing: 0.045em;
  transition: background 160ms ease, border-color 160ms ease, color 160ms ease, transform 160ms ease;
}

.action:hover,
.action:focus-visible {
  transform: translateY(-2px);
}

.action-primary {
  color: var(--erdos-ink);
  border-color: var(--erdos-green);
  background: var(--erdos-green);
}

.action-primary:hover,
.action-primary:focus-visible {
  border-color: #bdf18e;
  background: #bdf18e;
}

.action-secondary:hover,
.action-secondary:focus-visible {
  color: var(--erdos-green);
  border-color: var(--erdos-green);
  background: var(--erdos-green-soft);
}

.scope-line {
  max-width: 700px;
  margin-top: 1.35rem;
  color: var(--erdos-muted);
  font-size: 0.72rem;
}

.scope-line strong {
  color: var(--erdos-amber);
  font-weight: 600;
}

.hero-instrument {
  display: grid;
  grid-template-rows: auto 1fr auto;
  min-width: 0;
  border-right: 1px solid var(--erdos-rule);
  border-left: 1px solid var(--erdos-rule);
  background: rgba(13, 17, 13, 0.66);
}

.instrument-head {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  min-height: 62px;
  padding: 1.3rem 1.4rem;
  border-bottom: 1px solid var(--erdos-rule);
  color: var(--erdos-paper-dim);
  font-size: 0.66rem;
  letter-spacing: 0.11em;
}

.live-state {
  color: var(--erdos-amber);
}

.live-state i {
  display: inline-block;
  width: 6px;
  height: 6px;
  margin-right: 0.45rem;
  border-radius: 50%;
  background: currentColor;
}

.live-state.pass {
  color: var(--erdos-green);
}

.live-state.fail {
  color: var(--erdos-red);
}

.witness-stage {
  position: relative;
  display: grid;
  place-items: center;
  min-height: 440px;
  padding: clamp(1rem, 4vw, 4rem);
  overflow: hidden;
}

.witness-stage::after {
  content: '';
  position: absolute;
  width: 70%;
  aspect-ratio: 1;
  border-radius: 50%;
  background: radial-gradient(circle, rgba(166, 227, 111, 0.07), transparent 67%);
  filter: blur(10px);
  pointer-events: none;
}

#witness-plot {
  position: relative;
  z-index: 1;
  width: min(100%, 680px);
  height: auto;
  overflow: visible;
}

.plot-fallback path,
.plot-grid path,
.plot-grid line {
  fill: none;
  stroke: rgba(238, 233, 220, 0.2);
  stroke-width: 1;
}

.plot-fallback circle,
.plot-point {
  fill: var(--erdos-green);
  stroke: var(--erdos-ink);
  stroke-width: 3;
  vector-effect: non-scaling-stroke;
}

.plot-point {
  opacity: 0;
  transform-box: fill-box;
  transform-origin: center;
  animation: point-in 540ms var(--ease-organic) forwards;
}

.plot-point:hover {
  fill: var(--erdos-paper);
  stroke: var(--erdos-green);
}

.plot-label {
  fill: var(--erdos-muted);
  font-family: var(--mono);
  font-size: 10px;
}

.axis-key {
  position: absolute;
  right: 1.4rem;
  bottom: 1.25rem;
  display: flex;
  gap: 0.8rem;
  color: var(--erdos-muted);
  font-size: 0.62rem;
}

.axis-key span:first-child { color: var(--erdos-green); }
.axis-key span:nth-child(2) { color: var(--erdos-amber); }

.instrument-readout {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  border-top: 1px solid var(--erdos-rule);
}

.instrument-readout div {
  min-width: 0;
  padding: 1.15rem 1.2rem;
  border-right: 1px solid var(--erdos-rule);
}

.instrument-readout div:last-child {
  border-right: 0;
}

.instrument-readout span,
.receipt-meta span,
.terminal-bar,
.inspector-top,
.claim-boundary span {
  display: block;
  color: var(--erdos-muted);
  font-size: 0.6rem;
  letter-spacing: 0.13em;
  text-transform: uppercase;
}

.instrument-readout strong {
  display: block;
  margin-top: 0.32rem;
  overflow: hidden;
  color: var(--erdos-paper);
  font-size: 0.72rem;
  font-weight: 500;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.instrument-readout strong.pass {
  color: var(--erdos-green);
}

/* In-browser re-verification — the fourth, live verifier under the instrument */
.browser-recheck {
  border-top: 1px solid var(--erdos-rule);
  padding: 1.15rem 1.2rem 1.25rem;
}
.br-head {
  display: flex; justify-content: space-between; align-items: baseline; gap: 1rem;
  color: var(--erdos-muted); font-size: 0.6rem; letter-spacing: 0.13em; text-transform: uppercase;
}
.br-status { color: var(--erdos-amber); }
.br-status.pass { color: var(--erdos-green); }
.br-status.fail { color: var(--erdos-red); }
.br-bar {
  margin: 0.7rem 0 0.55rem; height: 4px; border-radius: 3px;
  background: var(--erdos-ink-3); overflow: hidden;
}
.br-bar i {
  display: block; height: 100%; width: 0%;
  background: var(--erdos-green); box-shadow: 0 0 10px rgba(166, 227, 111, 0.5);
  transition: width 0.12s linear;
}
.br-count {
  color: var(--erdos-paper-dim); font-size: 0.72rem; font-variant-numeric: tabular-nums;
}
.br-count strong { color: var(--erdos-paper); font-weight: 600; font-variant-numeric: tabular-nums; }
.br-note {
  margin-top: 0.55rem; color: var(--erdos-muted); font-size: 0.66rem; line-height: 1.55;
}
.br-note a { color: var(--erdos-green); text-decoration: none; border-bottom: 1px solid rgba(166, 227, 111, 0.35); }
.br-note a:hover { border-color: var(--erdos-green); }
@media (prefers-reduced-motion: reduce) {
  .br-bar i { transition: none; }
}

.section {
  position: relative;
  max-width: var(--content-max);
  margin: 0 auto;
  padding: clamp(6.5rem, 11vw, 11rem) var(--page-pad);
  border-bottom: 1px solid var(--erdos-rule);
}

.section-index {
  position: absolute;
  top: clamp(2.2rem, 4vw, 3.75rem);
  left: var(--page-pad);
  color: var(--erdos-muted);
}

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

.eyebrow-label {
  margin-bottom: 1.45rem;
  color: var(--erdos-green);
}

.section-heading h2 {
  font-size: clamp(2.8rem, 5.4vw, 6rem);
}

.section-heading > p:last-child {
  max-width: 640px;
  margin-top: 1.7rem;
  color: var(--erdos-paper-dim);
  font-family: var(--serif);
  font-size: clamp(1.05rem, 1.5vw, 1.28rem);
}

.contract {
  display: grid;
  grid-template-columns: minmax(280px, 0.72fr) minmax(420px, 1fr);
  gap: clamp(4rem, 9vw, 10rem);
  align-items: end;
}

.contract-lines {
  border-top: 1px solid var(--erdos-rule-strong);
}

.contract-lines article {
  display: grid;
  grid-template-columns: 3.5rem 1fr;
  gap: 1rem;
  padding: 1.8rem 0;
  border-bottom: 1px solid var(--erdos-rule);
}

.contract-number {
  color: var(--erdos-green);
}

.contract-lines h3 {
  margin-bottom: 0.5rem;
  font-family: var(--serif);
  font-size: 1.34rem;
  font-weight: 500;
}

.contract-lines p {
  max-width: 650px;
  color: var(--erdos-paper-dim);
  font-size: 0.81rem;
}

.contract-lines .refusal .contract-number,
.contract-lines .refusal h3 {
  color: var(--erdos-amber);
}

.specimen {
  max-width: none;
  padding-right: max(var(--page-pad), calc((100vw - var(--content-max)) / 2 + var(--page-pad)));
  padding-left: max(var(--page-pad), calc((100vw - var(--content-max)) / 2 + var(--page-pad)));
  background: var(--erdos-ink-2);
}

.specimen .section-index {
  left: max(var(--page-pad), calc((100vw - var(--content-max)) / 2 + var(--page-pad)));
}

.specimen-intro {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(320px, 0.55fr);
  gap: clamp(3rem, 8vw, 9rem);
  align-items: end;
}

.claim-plain {
  padding: 1.3rem 0 0;
  border-top: 1px solid var(--erdos-rule-strong);
}

.claim-plain > span {
  color: var(--erdos-muted);
}

.claim-plain strong {
  display: block;
  margin: 1.25rem 0;
  color: var(--erdos-green);
  font-family: var(--serif);
  font-size: clamp(3.8rem, 7vw, 7.5rem);
  font-weight: 450;
  letter-spacing: -0.06em;
  line-height: 0.85;
}

.claim-plain p {
  max-width: 520px;
  color: var(--erdos-paper-dim);
  font-size: 0.78rem;
}

.evidence-ledger {
  margin-top: clamp(5rem, 9vw, 8rem);
  border-top: 1px solid var(--erdos-rule-strong);
}

.ledger-row {
  display: grid;
  grid-template-columns: minmax(220px, 0.75fr) minmax(340px, 1.35fr) 100px;
  gap: 2rem;
  align-items: center;
  padding: 1.5rem 0;
  border-bottom: 1px solid var(--erdos-rule);
  font-size: 0.78rem;
}

.ledger-row > span:nth-child(2) {
  color: var(--erdos-paper-dim);
}

.ledger-head {
  padding: 0.8rem 0;
  color: var(--erdos-muted);
  font-size: 0.58rem;
  letter-spacing: 0.13em;
  text-transform: uppercase;
}

.verdict {
  justify-self: end;
  min-width: 70px;
  padding: 0.35rem 0.5rem;
  border: 1px solid currentColor;
  color: var(--erdos-green);
  font-size: 0.62rem;
  font-weight: 600;
  text-align: center;
}

.verdict.fail {
  color: var(--erdos-red);
}

.claim-boundary {
  display: grid;
  grid-template-columns: 1fr 1fr;
  margin-top: 3.5rem;
  border: 1px solid var(--erdos-rule);
}

.claim-boundary p {
  padding: 1.5rem;
  color: var(--erdos-paper-dim);
  font-family: var(--serif);
  font-size: 1rem;
}

.claim-boundary p + p {
  border-left: 1px solid var(--erdos-rule);
}

.claim-boundary span {
  margin-bottom: 0.55rem;
  color: var(--erdos-green);
  font-family: var(--mono);
}

.claim-boundary p + p span {
  color: var(--erdos-amber);
}

.receipt-meta {
  display: grid;
  grid-template-columns: 1.25fr 1.25fr 1fr 0.75fr;
  margin-top: 2.25rem;
  border-top: 1px solid var(--erdos-rule);
}

.receipt-meta div {
  min-width: 0;
  padding: 1.15rem 1rem 0 0;
}

.receipt-meta code {
  display: block;
  margin-top: 0.35rem;
  overflow: hidden;
  color: var(--erdos-paper-dim);
  font-family: var(--mono);
  font-size: 0.65rem;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.meaning-layout {
  display: grid;
  grid-template-columns: 1fr 0.78fr;
  gap: clamp(4rem, 10vw, 11rem);
}

.meaning-copy {
  align-self: end;
  padding-top: 1rem;
  color: var(--erdos-paper-dim);
  font-family: var(--serif);
  font-size: 1.05rem;
}

.meaning-copy .lead {
  color: var(--erdos-paper);
  font-size: clamp(1.28rem, 2vw, 1.7rem);
  line-height: 1.38;
}

.meaning-copy p + p {
  margin-top: 1.4rem;
}

.meaning-copy blockquote {
  margin-top: 3rem;
  padding: 1.5rem 0 0 1.5rem;
  border-top: 1px solid var(--erdos-rule-strong);
  border-left: 1px solid var(--erdos-green);
  color: var(--erdos-paper);
  font-style: italic;
  font-size: 1.2rem;
}

.separation {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  margin-top: clamp(5rem, 9vw, 9rem);
  border-top: 1px solid var(--erdos-rule-strong);
  border-bottom: 1px solid var(--erdos-rule-strong);
}

.separation > div {
  padding: 1.7rem 1.7rem 2rem 0;
}

.separation > div + div {
  padding-left: 1.7rem;
  border-left: 1px solid var(--erdos-rule);
}

.separation span {
  display: block;
  color: var(--erdos-green);
  font-size: 0.6rem;
}

.separation strong {
  display: block;
  margin: 1.7rem 0 0.7rem;
  font-family: var(--serif);
  font-size: 1.45rem;
  font-weight: 500;
}

.separation p {
  color: var(--erdos-paper-dim);
  font-size: 0.74rem;
}

.provenance {
  max-width: none;
  padding-right: max(var(--page-pad), calc((100vw - var(--content-max)) / 2 + var(--page-pad)));
  padding-left: max(var(--page-pad), calc((100vw - var(--content-max)) / 2 + var(--page-pad)));
  background: var(--erdos-ink-2);
}

.provenance .section-index {
  left: max(var(--page-pad), calc((100vw - var(--content-max)) / 2 + var(--page-pad)));
}

.provenance-heading {
  max-width: 900px;
}

.trace-shell {
  display: grid;
  grid-template-columns: minmax(400px, 0.95fr) minmax(390px, 0.8fr);
  gap: clamp(3rem, 7vw, 8rem);
  margin-top: clamp(4rem, 8vw, 7rem);
}

.trace {
  position: relative;
  counter-reset: trace;
  list-style: none;
}

.trace::before {
  content: '';
  position: absolute;
  top: 1.6rem;
  bottom: 1.6rem;
  left: 1.45rem;
  width: 1px;
  background: linear-gradient(var(--erdos-green), var(--erdos-rule-strong));
}

.trace li {
  position: relative;
}

.trace button {
  position: relative;
  display: grid;
  grid-template-columns: 3rem minmax(150px, 1fr) auto;
  gap: 1rem;
  align-items: center;
  width: 100%;
  padding: 1.15rem 0;
  color: var(--erdos-paper-dim);
  border: 0;
  border-bottom: 1px solid var(--erdos-rule);
  background: transparent;
  font: inherit;
  text-align: left;
  cursor: pointer;
  transition: color 160ms ease, padding 160ms ease, background 160ms ease;
}

.trace button::before {
  content: '';
  position: absolute;
  left: 1.15rem;
  width: 0.62rem;
  height: 0.62rem;
  border: 2px solid var(--erdos-ink-2);
  border-radius: 50%;
  background: var(--erdos-muted);
  box-shadow: 0 0 0 1px var(--erdos-rule-strong);
}

.trace button:hover,
.trace button:focus-visible,
.trace button[aria-current="true"] {
  padding-right: 0.75rem;
  color: var(--erdos-paper);
  background: linear-gradient(90deg, rgba(166, 227, 111, 0.055), transparent);
}

.trace button[aria-current="true"]::before {
  background: var(--erdos-green);
  box-shadow: 0 0 0 1px var(--erdos-green), 0 0 16px rgba(166, 227, 111, 0.42);
}

.trace button span {
  padding-left: 0.15rem;
  color: var(--erdos-muted);
  font-size: 0.58rem;
  text-align: right;
}

.trace button strong {
  font-family: var(--serif);
  font-size: 1.15rem;
  font-weight: 470;
}

.trace button small {
  color: var(--erdos-muted);
  font-size: 0.61rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.node-inspector {
  align-self: start;
  min-height: 390px;
  padding: clamp(1.5rem, 3vw, 2.5rem);
  border: 1px solid var(--erdos-rule-strong);
  background:
    linear-gradient(rgba(238, 233, 220, 0.025) 1px, transparent 1px),
    linear-gradient(90deg, rgba(238, 233, 220, 0.025) 1px, transparent 1px),
    var(--erdos-ink);
  background-size: 28px 28px;
}

.inspector-top {
  display: flex;
  justify-content: space-between;
  padding-bottom: 1rem;
  border-bottom: 1px solid var(--erdos-rule);
}

.node-status {
  color: var(--erdos-green);
}

.node-inspector h3 {
  margin: 2.6rem 0;
  font-family: var(--serif);
  font-size: clamp(2rem, 4vw, 3.5rem);
  font-weight: 400;
  letter-spacing: -0.04em;
}

.node-inspector dl > div {
  display: grid;
  grid-template-columns: 100px 1fr;
  gap: 1.2rem;
  padding: 0.9rem 0;
  border-top: 1px solid var(--erdos-rule);
}

.node-inspector dt {
  color: var(--erdos-muted);
  font-size: 0.6rem;
  letter-spacing: 0.09em;
  text-transform: uppercase;
}

.node-inspector dd {
  min-width: 0;
  overflow-wrap: anywhere;
  color: var(--erdos-paper-dim);
  font-size: 0.72rem;
}

.replay-note {
  display: grid;
  grid-template-columns: auto 1fr auto;
  gap: 1.5rem;
  align-items: center;
  margin-top: 4rem;
  padding: 1.4rem 0;
  border-top: 1px solid var(--erdos-rule-strong);
  border-bottom: 1px solid var(--erdos-rule-strong);
}

.replay-mark {
  color: var(--erdos-green);
  font-size: 1.8rem;
}

.replay-note h3 {
  margin-bottom: 0.25rem;
  font-family: var(--serif);
  font-size: 1.1rem;
  font-weight: 500;
}

.replay-note p {
  color: var(--erdos-paper-dim);
  font-size: 0.69rem;
}

.replay-status {
  padding: 0.4rem 0.6rem;
  color: var(--erdos-green);
  border: 1px solid currentColor;
  font-size: 0.62rem;
}

.boundary {
  display: grid;
  grid-template-columns: 0.7fr 1fr;
  gap: clamp(4rem, 10vw, 11rem);
}

.boundary-table {
  border-top: 1px solid var(--erdos-rule-strong);
}

.boundary-table section {
  display: grid;
  grid-template-columns: minmax(170px, 0.42fr) 1fr;
  gap: 2rem;
  padding: 1.8rem 0;
  border-bottom: 1px solid var(--erdos-rule);
}

.boundary-table h3 {
  display: flex;
  align-items: center;
  gap: 0.65rem;
  font-family: var(--serif);
  font-size: 1.16rem;
  font-weight: 480;
}

.status-dot.amber {
  background: var(--erdos-amber);
  box-shadow: 0 0 0 5px rgba(226, 181, 97, 0.08);
}

.status-dot.hollow {
  border: 1px solid var(--erdos-muted);
  background: transparent;
  box-shadow: none;
}

.boundary-table ul {
  color: var(--erdos-paper-dim);
  list-style: none;
}

.boundary-table li {
  position: relative;
  padding: 0.42rem 0 0.42rem 1.25rem;
  font-size: 0.73rem;
}

.boundary-table li::before {
  content: '—';
  position: absolute;
  left: 0;
  color: var(--erdos-muted);
}

.reproduce {
  max-width: none;
  padding-right: max(var(--page-pad), calc((100vw - var(--content-max)) / 2 + var(--page-pad)));
  padding-left: max(var(--page-pad), calc((100vw - var(--content-max)) / 2 + var(--page-pad)));
  background: var(--erdos-ink-2);
}

.reproduce .section-index {
  left: max(var(--page-pad), calc((100vw - var(--content-max)) / 2 + var(--page-pad)));
}

.reproduce-layout {
  display: grid;
  grid-template-columns: 0.72fr 1fr;
  gap: clamp(4rem, 9vw, 10rem);
  align-items: start;
}

.artifact-links {
  margin-top: 3rem;
  border-top: 1px solid var(--erdos-rule-strong);
}

.artifact-links a {
  display: flex;
  justify-content: space-between;
  padding: 0.8rem 0;
  color: var(--erdos-paper-dim);
  border-bottom: 1px solid var(--erdos-rule);
  font-size: 0.71rem;
  transition: color 160ms ease, padding 160ms ease;
}

.artifact-links a span {
  color: var(--erdos-muted);
}

.artifact-links a:hover,
.artifact-links a:focus-visible {
  padding-right: 0.3rem;
  color: var(--erdos-green);
}

.terminal {
  border: 1px solid var(--erdos-rule-strong);
  background: #0b0e0b;
  box-shadow: 0 34px 90px rgba(0, 0, 0, 0.28);
}

.terminal-bar {
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 0.85rem 1rem;
  border-bottom: 1px solid var(--erdos-rule);
}

.terminal-bar button {
  padding: 0.3rem 0.45rem;
  color: var(--erdos-paper-dim);
  border: 1px solid var(--erdos-rule);
  background: transparent;
  font: inherit;
  font-size: 0.58rem;
  cursor: pointer;
}

.terminal-bar button:hover,
.terminal-bar button:focus-visible {
  color: var(--erdos-green);
  border-color: var(--erdos-green);
}

.terminal pre {
  overflow-x: auto;
  padding: 1.45rem;
  color: var(--erdos-paper);
  border-bottom: 1px solid var(--erdos-rule);
  font-family: var(--mono);
  font-size: clamp(0.69rem, 1.1vw, 0.8rem);
  white-space: pre;
}

.terminal pre::before {
  content: '$ ';
  color: var(--erdos-green);
}

.terminal-output {
  display: flex;
  flex-direction: column;
  gap: 0.45rem;
  padding: 1.45rem;
  overflow-x: auto;
  color: var(--erdos-paper-dim);
  font-size: clamp(0.64rem, 1vw, 0.75rem);
  white-space: nowrap;
}

.terminal-output strong {
  margin: 0.5rem 0;
  color: var(--erdos-green);
  font-weight: 500;
}

.terminal-dim {
  color: var(--erdos-muted);
}

.source-note {
  max-width: 1050px;
  margin-top: 3rem;
  color: var(--erdos-muted);
  font-size: 0.66rem;
}

.source-note code {
  color: var(--erdos-paper-dim);
}

.closing {
  display: flex;
  flex-direction: column;
  align-items: center;
  min-height: min(860px, 90svh);
  padding: clamp(7rem, 14vw, 13rem) var(--page-pad);
  text-align: center;
}

.closing h2 {
  max-width: 1100px;
  font-size: clamp(3.4rem, 7.6vw, 8rem);
}

.closing > p:not(.eyebrow-label) {
  max-width: 670px;
  margin-top: 2.5rem;
  color: var(--erdos-paper-dim);
  font-family: var(--serif);
  font-size: 1.1rem;
}

.closing-actions {
  justify-content: center;
}

footer {
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  gap: 2rem;
  min-height: 120px;
  padding: 2rem var(--page-pad);
  color: var(--erdos-muted);
  border-top: 1px solid var(--erdos-rule);
  font-size: 0.63rem;
}

footer p:last-child {
  justify-self: end;
}

.footer-brand {
  color: var(--erdos-paper);
}

.noscript {
  position: fixed;
  z-index: 30;
  right: 1rem;
  bottom: 1rem;
  max-width: 420px;
  padding: 0.8rem 1rem;
  color: var(--erdos-ink);
  background: var(--erdos-amber);
  font-size: 0.68rem;
}

[data-reveal] {
  opacity: 0;
  transform: translateY(18px);
  transition: opacity 650ms ease, transform 650ms ease;
}

[data-reveal].is-visible {
  opacity: 1;
  transform: none;
}

@keyframes point-in {
  from { opacity: 0; transform: scale(0.3); }
  to { opacity: 0.96; transform: scale(1); }
}

@media (max-width: 1100px) {
  .site-nav { display: none; }
  .site-head { grid-template-columns: 1fr 1fr; }

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

  .hero-copy {
    padding-right: 2rem;
  }

  .hero h1 {
    font-size: clamp(3.1rem, 6.5vw, 5.6rem);
  }

  .instrument-readout {
    grid-template-columns: 1fr;
  }

  .instrument-readout div {
    padding: 0.75rem 1rem;
    border-right: 0;
    border-bottom: 1px solid var(--erdos-rule);
  }

  .instrument-readout div:last-child { border-bottom: 0; }

  .contract,
  .boundary,
  .reproduce-layout {
    grid-template-columns: 1fr;
  }

  .contract {
    align-items: start;
  }

  .meaning-layout {
    gap: 4rem;
  }

  .receipt-meta {
    grid-template-columns: 1fr 1fr;
  }
}

@media (max-width: 760px) {
  :root { --page-pad: 1.2rem; }

  .site-head {
    position: absolute;
    min-height: 64px;
  }

  .brand { font-size: 1.35rem; }
  .lab-link { font-size: 0.61rem; }

  .hero {
    display: block;
    min-height: 0;
    padding-top: 64px;
  }

  .hero-grid { inset: 64px 0 0; }

  .hero-copy {
    padding: 4.5rem 0 4rem;
  }

  .kicker {
    margin-bottom: 2rem;
    font-size: 0.59rem;
  }

  .hero h1 {
    font-size: clamp(3.15rem, 14.5vw, 5rem);
    line-height: 0.94;
  }

  .hero-deck {
    margin-top: 2rem;
    font-size: 1.08rem;
  }

  .hero-actions,
  .hero-actions .action {
    width: 100%;
  }

  .scope-line {
    line-height: 1.55;
  }

  .hero-instrument {
    margin: 0 calc(var(--page-pad) * -1);
    border-right: 0;
    border-left: 0;
  }

  .instrument-head {
    padding: 1rem var(--page-pad);
    font-size: 0.57rem;
  }

  .witness-stage {
    min-height: 340px;
    padding: 1.4rem;
  }

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

  .instrument-readout div {
    padding: 0.9rem 0.65rem;
    border-right: 1px solid var(--erdos-rule);
    border-bottom: 0;
  }

  .instrument-readout div:last-child { border-right: 0; }
  .instrument-readout span { font-size: 0.5rem; }
  .instrument-readout strong { font-size: 0.59rem; }

  .section {
    padding-top: 7rem;
    padding-bottom: 7rem;
  }

  .section-index {
    top: 2.1rem;
  }

  .section-heading h2 {
    font-size: clamp(2.8rem, 13vw, 4.3rem);
  }

  .contract,
  .specimen-intro,
  .meaning-layout,
  .trace-shell,
  .boundary,
  .reproduce-layout {
    display: block;
  }

  .contract-lines,
  .claim-plain,
  .meaning-copy,
  .node-inspector,
  .boundary-table,
  .terminal {
    margin-top: 3.5rem;
  }

  .claim-plain strong {
    font-size: 4.9rem;
  }

  .evidence-ledger {
    margin-top: 4rem;
  }

  .ledger-head { display: none; }

  .ledger-row {
    grid-template-columns: 1fr auto;
    gap: 0.75rem 1rem;
    padding: 1.3rem 0;
  }

  .ledger-row > span:first-child {
    font-family: var(--serif);
    font-size: 1rem;
  }

  .ledger-row > span:nth-child(2) {
    grid-column: 1 / -1;
    grid-row: 2;
    font-size: 0.68rem;
  }

  .verdict {
    grid-column: 2;
    grid-row: 1;
  }

  .claim-boundary,
  .receipt-meta,
  .separation {
    grid-template-columns: 1fr;
  }

  .claim-boundary p + p {
    border-top: 1px solid var(--erdos-rule);
    border-left: 0;
  }

  .receipt-meta div {
    padding: 1rem 0;
    border-bottom: 1px solid var(--erdos-rule);
  }

  .meaning-copy {
    padding: 0;
  }

  .separation {
    display: block;
    margin-top: 4rem;
  }

  .separation > div,
  .separation > div + div {
    padding: 1.5rem 0;
    border-top: 1px solid var(--erdos-rule);
    border-left: 0;
  }

  .separation > div:first-child { border-top: 0; }

  .trace-shell {
    margin-top: 3.5rem;
  }

  .trace button {
    grid-template-columns: 2.6rem 1fr;
  }

  .trace button small { display: none; }

  .node-inspector {
    min-height: 0;
  }

  .node-inspector dl > div {
    grid-template-columns: 76px 1fr;
  }

  .replay-note {
    grid-template-columns: auto 1fr;
  }

  .replay-status {
    grid-column: 2;
    justify-self: start;
  }

  .boundary-table section {
    grid-template-columns: 1fr;
    gap: 1rem;
  }

  .terminal pre,
  .terminal-output {
    padding: 1rem;
  }

  .source-note {
    overflow-wrap: anywhere;
  }

  .closing {
    min-height: 760px;
  }

  .closing h2 {
    font-size: clamp(3.2rem, 14vw, 5rem);
  }

  footer {
    grid-template-columns: 1fr;
    gap: 0.8rem;
    text-align: left;
  }

  footer p:last-child {
    justify-self: start;
  }
}

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after {
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
    scroll-behavior: auto !important;
    transition-duration: 0.01ms !important;
  }
  [data-reveal] {
    opacity: 1;
    transform: none;
  }
}

@media print {
  .site-head,
  .hero-actions,
  .closing,
  footer,
  .copy-command { display: none !important; }
  body { color: #111; background: #fff; }
  .hero,
  .section { border-color: #bbb; }
}