/* Sidq — instrument-dark. One brand surface (white on near-black), one alarm
   red for the contradiction and the refusal, green only for what is live and
   passing, amber for review. Depth comes from layered light, not decoration. */

:root {
  color-scheme: dark;
  --bg: #07080b;
  --bg-2: #0b0d12;
  --panel: #101114;
  --panel-2: #151619;
  --line: rgba(255, 255, 255, 0.09);
  --line-strong: rgba(255, 255, 255, 0.16);
  --text: #eceef2;
  --muted: #9aa1ad;
  --red: #ff4b3c;
  --red-glow: rgba(255, 75, 60, 0.28);
  --green: #45e08b;
  --amber: #f5b83d;
  --grey: #8b93a1;
  --focus: #7cb1ff;
  --sans: ui-sans-serif, system-ui, "Segoe UI", Helvetica, Arial, sans-serif;
  --mono: ui-monospace, "SF Mono", "Cascadia Code", Consolas, monospace;
}

* { box-sizing: border-box; }

html { scroll-behavior: smooth; scroll-padding-top: 76px; }

body {
  min-width: 320px;
  margin: 0;
  /* An explicit background-color, with the atmosphere as background-image on
     top. The single multi-layer shorthand left audit engines unable to resolve
     the effective background, so they assumed white and reported light-on-white
     contrast failures for a page that is dark. Same pixels, resolvable now. */
  background-color: var(--bg);
  background-image:
    radial-gradient(90rem 42rem at 88% -12%, rgba(255, 75, 60, 0.07), transparent 60%),
    radial-gradient(70rem 40rem at -12% 108%, rgba(124, 177, 255, 0.05), transparent 60%);
  color: var(--text);
  font-family: var(--sans);
  font-size: 16px;
  line-height: 1.65;
  -webkit-font-smoothing: antialiased;
}

/* Fine engineering grid, faint enough to read as texture. */
body::before {
  content: "";
  position: fixed;
  inset: 0;
  z-index: 0;
  pointer-events: none;
  background-image:
    linear-gradient(rgba(255, 255, 255, 0.022) 1px, transparent 1px),
    linear-gradient(90deg, rgba(255, 255, 255, 0.022) 1px, transparent 1px);
  background-size: 56px 56px;
  mask-image: radial-gradient(120rem 80rem at 50% 0%, #000 30%, transparent 85%);
}

main, header, footer { position: relative; z-index: 1; }

a { color: inherit; }

a:focus-visible,
button:focus-visible,
summary:focus-visible,
[tabindex]:focus-visible {
  outline: 2px solid var(--focus);
  outline-offset: 4px;
  border-radius: 4px;
}

code, pre {
  direction: ltr;
  text-align: left;
  unicode-bidi: isolate;
  font-family: var(--mono);
}

.wrap {
  width: min(100% - 44px, 1200px);
  margin-inline: auto;
}

.clipboard-proxy {
  position: fixed;
  top: 0; left: 0;
  width: 1px; height: 1px;
  opacity: 0;
  pointer-events: none;
}

/* ---------------- masthead ---------------- */
.masthead {
  position: sticky;
  top: 0;
  z-index: 40;
  border-bottom: 1px solid var(--line);
  background: color-mix(in srgb, var(--bg) 82%, transparent);
  backdrop-filter: blur(14px);
}

.masthead-inner {
  display: flex;
  align-items: center;
  gap: 28px;
  min-height: 64px;
}

.brand {
  display: inline-flex;
  align-items: center;
  gap: 10px;
  text-decoration: none;
}

.brand-mark {
  width: 10px; height: 10px;
  border-radius: 3px;
  background: var(--red);
  box-shadow: 0 0 14px var(--red-glow);
}

.brand-name {
  font: 800 15px/1 var(--mono);
  letter-spacing: 0.14em;
}

.brand-ar {
  font-weight: 600;
  font-size: 1.15em;
  letter-spacing: 0;
  color: var(--muted);
  margin-inline-start: 2px;
}

.top-nav {
  display: flex;
  gap: 22px;
  margin-inline-start: auto;
}

.top-nav a {
  color: var(--muted);
  font-size: 13.5px;
  text-decoration: none;
  transition: color 120ms ease;
}

.top-nav a:hover { color: var(--text); }

.live-pill {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  padding: 6px 12px;
  border: 1px solid var(--line);
  border-radius: 999px;
  color: var(--green);
  font: 700 11px/1 var(--mono);
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.live-dot {
  width: 7px; height: 7px;
  border-radius: 50%;
  background: var(--green);
  box-shadow: 0 0 10px rgba(69, 224, 139, 0.7);
  animation: pulse 2.4s ease-in-out infinite;
}

@keyframes pulse {
  0%, 100% { opacity: 1; transform: scale(1); }
  50% { opacity: 0.45; transform: scale(0.82); }
}

/* ---------------- hero ---------------- */
.hero { padding: clamp(56px, 8vh, 104px) 0 clamp(40px, 6vh, 72px); }

.hero-grid {
  display: grid;
  grid-template-columns: minmax(0, 1.02fr) minmax(0, 0.98fr);
  gap: clamp(32px, 4vw, 64px);
  align-items: center;
}

.eyebrow {
  margin: 0 0 18px;
  color: var(--muted);
  font: 700 12px/1.4 var(--mono);
  letter-spacing: 0.18em;
  text-transform: uppercase;
}

h1 {
  margin: 0;
  font-size: clamp(2.35rem, 4.6vw, 4.15rem);
  font-weight: 800;
  letter-spacing: -0.035em;
  line-height: 1.04;
}

.lying {
  display: block;
  margin-top: 0.22em;
  color: var(--red);
  text-shadow: 0 0 34px var(--red-glow);
}

.sub {
  max-width: 56ch;
  margin: 22px 0 0;
  color: var(--muted);
  font-size: clamp(0.98rem, 1.15vw, 1.08rem);
}

.sub strong { color: var(--text); }

/* The two limits the whole product rests on, given their own line so neither
   gets buried in a clause. */
.boundary {
  max-width: 56ch;
  margin: 14px 0 0;
  color: var(--text);
  font: 600 14.5px/1.6 var(--sans);
}

.cta-row {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 18px;
  margin-top: 30px;
}

.btn-primary {
  padding: 15px 26px;
  border: 0;
  border-radius: 11px;
  background: #fff;
  color: #0a0a0c;
  font: 700 15px/1 var(--sans);
  cursor: pointer;
  box-shadow: 0 8px 28px rgba(0, 0, 0, 0.45), inset 0 -1px 0 rgba(0, 0, 0, 0.12);
  transition: transform 140ms ease, box-shadow 140ms ease;
}

.btn-primary:hover {
  transform: translateY(-1px);
  box-shadow: 0 14px 34px rgba(0, 0, 0, 0.55);
}

.btn-primary:active { transform: translateY(0) scale(0.99); box-shadow: 0 6px 20px rgba(0, 0, 0, 0.5); }

.btn-secondary:active { transform: translateY(0) scale(0.99); }

.btn-ghost {
  color: var(--muted);
  font-size: 14.5px;
  text-decoration: none;
  border-bottom: 1px solid var(--line-strong);
  padding-bottom: 2px;
  transition: color 120ms ease, border-color 120ms ease;
}

.btn-ghost:hover { color: var(--text); border-color: var(--text); }

.quota {
  margin: 16px 0 0;
  max-width: 54ch;
  color: var(--muted);
  font-size: 13.5px;
  line-height: 1.6;
}

/* The five things behind the headline, before a judge scrolls. It is a list
   rather than a dot-separated sentence so a screen reader announces five items
   instead of one run-on line, and the separator is drawn in CSS so it is never
   read aloud as a word. */
.proof-strip {
  max-width: 58ch;
  margin: 22px 0 0;
  padding: 18px 0 0;
  border-top: 1px solid var(--line);
  list-style: none;
  color: var(--muted);
  font: 600 12.5px/1.95 var(--mono);
  letter-spacing: 0.02em;
}

/* The items are inline rather than flex children on purpose: a flexed item
   parks its separator at the end of the wrapped line instead of against the
   text it follows, which reads as a stray dot in the margin at phone widths. */
.proof-strip li { display: inline; }

.proof-strip li:not(:last-child)::after {
  content: " · ";
  color: rgba(255, 255, 255, 0.34);
}

.proof-strip strong { color: var(--text); font-variant-numeric: tabular-nums; }

/* ---------------- terminal ---------------- */
.terminal {
  border: 1px solid var(--line);
  border-radius: 14px;
  background-color: var(--panel);
  background-image: linear-gradient(180deg, rgba(255, 255, 255, 0.025), transparent 60%);
  box-shadow:
    inset 0 1px 0 rgba(255, 255, 255, 0.06),
    0 30px 70px rgba(0, 0, 0, 0.55);
  overflow: hidden;
}

.terminal[aria-busy="true"] {
  border-color: rgba(69, 224, 139, 0.4);
  box-shadow:
    inset 0 1px 0 rgba(255, 255, 255, 0.06),
    0 0 0 1px rgba(69, 224, 139, 0.25),
    0 30px 70px rgba(0, 0, 0, 0.55);
}

.terminal-bar {
  display: flex;
  align-items: center;
  gap: 7px;
  padding: 12px 16px;
  border-bottom: 1px solid var(--line);
  background: rgba(255, 255, 255, 0.025);
}

.tl-dot {
  width: 11px; height: 11px;
  border-radius: 50%;
  background: rgba(255, 255, 255, 0.14);
}

.tl-dot:first-child { background: rgba(255, 95, 86, 0.8); }
.tl-dot:nth-child(2) { background: rgba(255, 189, 46, 0.8); }
.tl-dot:nth-child(3) { background: rgba(39, 201, 63, 0.8); }

.terminal-title {
  margin-inline-start: 8px;
  color: var(--muted);
  font: 500 12.5px/1 var(--mono);
}

.terminal-body { padding: 18px 20px 20px; }

/* The contract, before the evidence. Deliberately NOT a terminal block: a
   hand-written summary rendered as CLI output is the synthetic-proof problem
   this project exists to refuse. */
.sidq-loop {
  display: grid;
  gap: 1px;
  margin: 0 0 16px;
  padding: 1px;
  border-radius: 10px;
  background: var(--line);
  overflow: hidden;
}

.sidq-loop > div {
  display: grid;
  grid-template-columns: 104px minmax(0, 1fr);
  gap: 14px;
  align-items: baseline;
  padding: 11px 14px;
  background: var(--panel);
}

.sidq-loop dt {
  color: var(--text);
  font: 700 11px/1.5 var(--mono);
  letter-spacing: 0.14em;
  text-transform: uppercase;
}

.sidq-loop dd {
  margin: 0;
  min-width: 0;
  color: var(--muted);
  font-size: 13px;
  line-height: 1.6;
}

@media (max-width: 520px) {
  .sidq-loop > div { grid-template-columns: 1fr; gap: 4px; }
}

#run-status {
  margin: 0;
  color: var(--muted);
  font-size: 13.5px;
  line-height: 1.6;
}

#run-progress {
  margin: 10px 0 0;
  color: var(--amber);
  font: 500 13px/1.5 var(--mono);
}

#recorded-output,
#run-output {
  margin: 14px 0 0;
  padding: 14px 16px;
  max-height: 380px;
  overflow: auto;
  border: 1px solid var(--line);
  border-radius: 10px;
  background: #060709;
  color: #d6e4d9;
  font: 500 12.8px/1.7 var(--mono);
  white-space: pre-wrap;
  overflow-wrap: anywhere;
}

#recorded-proof .fine { margin-top: 0; }

#recorded-proof .fine strong { color: var(--text); }

.more-live, .mcp-tools { margin-top: 14px; border-top: 1px solid var(--line); }

.more-live summary, .mcp-tools summary, .method summary {
  display: flex;
  align-items: center;
  gap: 10px;
  margin: 4px -10px 0;
  padding: 11px 10px;
  border-radius: 9px;
  color: var(--muted);
  font: 700 11.5px/1 var(--mono);
  letter-spacing: 0.14em;
  text-transform: uppercase;
  cursor: pointer;
  list-style: none;
  user-select: none;
  transition: background 130ms ease, color 130ms ease;
}

.more-live summary::-webkit-details-marker,
.mcp-tools summary::-webkit-details-marker,
.method summary::-webkit-details-marker { display: none; }

.more-live summary::before, .mcp-tools summary::before, .method summary::before {
  content: "";
  flex: none;
  width: 7px; height: 7px;
  border-right: 1.5px solid currentColor;
  border-bottom: 1.5px solid currentColor;
  transform: rotate(-45deg);
  transition: transform 180ms cubic-bezier(0.16, 1, 0.3, 1);
}

.more-live[open] summary::before,
.mcp-tools[open] summary::before,
.method[open] summary::before { transform: rotate(45deg); }

.more-live summary:hover, .mcp-tools summary:hover, .method summary:hover {
  background: rgba(255, 255, 255, 0.045);
  color: var(--text);
}

.more-live summary:active, .mcp-tools summary:active, .method summary:active {
  background: rgba(255, 255, 255, 0.07);
}

/* Opened content arrives, it does not pop. */
.more-live[open] > *:not(summary),
.mcp-tools[open] > *:not(summary),
.method[open] > *:not(summary) {
  animation: settle 260ms cubic-bezier(0.16, 1, 0.3, 1) both;
}

@keyframes settle {
  from { opacity: 0; transform: translateY(-5px); }
  to { opacity: 1; transform: none; }
}

.run-row { display: flex; flex-wrap: wrap; gap: 10px; padding-bottom: 6px; }

.chip {
  padding: 9px 14px;
  border: 1px solid var(--line-strong);
  border-radius: 999px;
  background: transparent;
  color: var(--text);
  font: 600 12.5px/1 var(--sans);
  cursor: pointer;
  transition: border-color 120ms ease, background 120ms ease;
}

.chip:hover { border-color: var(--text); background: rgba(255, 255, 255, 0.06); transform: translateY(-1px); }

.chip:active { transform: translateY(0) scale(0.985); background: rgba(255, 255, 255, 0.09); }

.chip:disabled, .btn-primary:disabled, .btn-secondary:disabled {
  opacity: 0.45;
  cursor: progress;
  transform: none;
}

.chip { transition: border-color 120ms ease, background 120ms ease, transform 140ms ease; }

.tool-row { display: flex; flex-wrap: wrap; gap: 8px; margin: 0 0 8px; }

/* Install lines are long by nature. They scroll inside their own box so the
   page body never gains a horizontal scrollbar because of them. */
.install-lines {
  margin: 8px 0 0;
  padding: 12px 14px;
  overflow-x: auto;
  border: 1px solid var(--line);
  border-radius: 10px;
  background: #060709;
  color: var(--green);
  font: 12px/1.9 var(--mono);
  white-space: pre;
}

.tool-row code {
  padding: 5px 10px;
  border: 1px solid var(--line);
  border-radius: 7px;
  background: rgba(255, 255, 255, 0.03);
  font-size: 12.5px;
}

.fine {
  margin: 8px 0;
  color: var(--muted);
  font-size: 13px;
  line-height: 1.65;
}

/* ---------------- exhibits ---------------- */
.exhibit { padding: clamp(64px, 9vh, 120px) 0; border-top: 1px solid var(--line); }

.kicker {
  display: flex;
  align-items: center;
  gap: 12px;
  margin: 0 0 20px;
  color: var(--muted);
  font: 700 12px/1 var(--mono);
  letter-spacing: 0.18em;
  text-transform: uppercase;
}

.kicker-no {
  display: inline-grid;
  place-items: center;
  width: 30px; height: 30px;
  border: 1px solid var(--line-strong);
  border-radius: 8px;
  color: var(--text);
  font-size: 12px;
}

h2 {
  margin: 0;
  font-size: clamp(1.75rem, 3.2vw, 2.8rem);
  font-weight: 800;
  letter-spacing: -0.028em;
  line-height: 1.12;
}

h2 code { font-size: 0.88em; color: var(--red); }

.lede {
  max-width: 62ch;
  margin: 18px 0 0;
  color: var(--muted);
  font-size: clamp(0.98rem, 1.1vw, 1.06rem);
}

.lede code { color: var(--text); font-size: 0.92em; }

/* the clash */
.clash {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto minmax(0, 1fr);
  align-items: stretch;
  gap: clamp(14px, 2vw, 26px);
  margin-top: clamp(30px, 4vh, 46px);
}

.claim-card {
  padding: clamp(20px, 2.4vw, 30px);
  border: 1px solid var(--line);
  border-radius: 14px;
  background-color: var(--panel);
  background-image: linear-gradient(180deg, rgba(255, 255, 255, 0.025), transparent 60%);
  box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.05);
}

.claim-card--conflict {
  border-color: rgba(255, 75, 60, 0.5);
  background-color: #1c1113;
  background-image: linear-gradient(180deg, rgba(255, 75, 60, 0.06), transparent 70%);
  box-shadow: 0 0 40px rgba(255, 75, 60, 0.08), inset 0 1px 0 rgba(255, 255, 255, 0.05);
}

.card-tag {
  margin: 0 0 14px;
  color: var(--muted);
  font: 700 11.5px/1.5 var(--mono);
  letter-spacing: 0.13em;
  text-transform: uppercase;
}

.claim-line { margin: 6px 0; font-size: 14.5px; line-height: 1.7; }

.claim-line code { font-size: 13.5px; overflow-wrap: anywhere; }

.claim-feeds {
  margin: 4px 0;
  color: var(--green);
  font: 700 12px/1 var(--mono);
  letter-spacing: 0.1em;
}

.claim-missing {
  margin: 14px 0 0;
  padding-top: 12px;
  border-top: 1px solid rgba(255, 75, 60, 0.4);
  color: var(--red);
  font-size: 14.5px;
  font-weight: 600;
}

.clash-x {
  align-self: center;
  display: grid;
  place-items: center;
  width: 44px; height: 44px;
  border: 1px solid rgba(255, 75, 60, 0.6);
  border-radius: 50%;
  color: var(--red);
  font-size: 18px;
  font-weight: 800;
  background: var(--bg);
  box-shadow: 0 0 26px var(--red-glow);
}

.verdict-line {
  max-width: 66ch;
  margin: clamp(24px, 3vh, 36px) 0 0;
  font-size: clamp(1.02rem, 1.2vw, 1.15rem);
}

.verdict-line strong { color: var(--red); }

.stats {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 1px;
  margin: clamp(28px, 4vh, 44px) 0 0;
  padding: 1px;
  border-radius: 14px;
  background: var(--line);
  overflow: hidden;
}

.stats > div { padding: 22px 20px; background: var(--bg-2); }

.stats dt {
  font: 800 clamp(2rem, 3.6vw, 3rem)/1 var(--sans);
  letter-spacing: -0.03em;
  font-variant-numeric: tabular-nums;
}

.stat-red { color: var(--red); text-shadow: 0 0 26px var(--red-glow); }

.stats dd { margin: 8px 0 0; color: var(--muted); font-size: 13px; }

.section-run {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 16px;
  margin-top: clamp(26px, 3vh, 38px);
}

.btn-secondary {
  padding: 12px 20px;
  border: 1px solid var(--line-strong);
  border-radius: 10px;
  background: rgba(255, 255, 255, 0.04);
  color: var(--text);
  font: 600 14px/1 var(--sans);
  cursor: pointer;
  transition: border-color 120ms ease, background 120ms ease, transform 140ms ease;
}

.btn-secondary:hover {
  border-color: var(--text);
  background: rgba(255, 255, 255, 0.07);
  transform: translateY(-1px);
}

.section-run .fine { margin: 0; max-width: 44ch; }

/* the refusal */
.refusal-head {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: clamp(18px, 2.5vw, 30px);
}

.block-chip {
  padding: 14px 24px;
  border: 2px solid var(--red);
  border-radius: 12px;
  color: var(--red);
  font: 800 clamp(1.6rem, 2.6vw, 2.2rem)/1 var(--mono);
  letter-spacing: 0.06em;
  box-shadow: 0 0 44px var(--red-glow), inset 0 0 22px rgba(255, 75, 60, 0.08);
}

.rule-table {
  margin-top: clamp(26px, 3.5vh, 40px);
  border: 1px solid var(--line);
  border-radius: 14px;
  overflow: hidden;
}

.rule-row {
  display: grid;
  grid-template-columns: 92px 200px minmax(0, 1fr);
  gap: 18px;
  align-items: start;
  padding: 18px 20px;
  background-color: var(--panel);
  font-size: 14.5px;
  line-height: 1.65;
}

.rule-row + .rule-row { border-top: 1px solid var(--line); }

.rule-row:first-child {
  background-color: var(--panel);
  background-image: linear-gradient(90deg, rgba(255, 75, 60, 0.09), transparent 55%);
}

.rule-row > code { font-size: 13px; color: var(--text); overflow-wrap: anywhere; }

.rule-row span:last-child { color: var(--muted); }

.rule-row span:last-child code { color: var(--text); font-size: 0.92em; }

.pill {
  justify-self: start;
  padding: 5px 10px;
  border-radius: 7px;
  font: 800 11px/1 var(--mono);
  letter-spacing: 0.1em;
}

.pill-red { color: var(--red); border: 1px solid rgba(255, 75, 60, 0.55); background: rgba(255, 75, 60, 0.09); }
.pill-amber { color: var(--amber); border: 1px solid rgba(245, 184, 61, 0.5); background: rgba(245, 184, 61, 0.08); }
.pill-grey { color: var(--grey); border: 1px solid var(--line-strong); background: rgba(255, 255, 255, 0.04); }
.pill-green { color: var(--green); border: 1px solid rgba(69, 224, 139, 0.5); background: rgba(69, 224, 139, 0.08); }

/* The same three-column reading order as .rule-table above — what was proposed,
   the verdict, the rules behind it — because it is the same argument, made on
   public pull requests instead of a recorded exhibit. */
.pr-verdicts {
  display: grid;
  gap: 1px;
  margin: 1.1rem 0 0;
  padding: 1px;
  list-style: none;
  border-radius: 12px;
  background: var(--line);
  overflow: hidden;
}

.pr-verdicts li {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 104px minmax(0, 1.35fr);
  gap: 16px;
  align-items: center;
  padding: 14px 18px;
  background: var(--bg-2);
  font-size: 13.5px;
  line-height: 1.6;
}

.pr-verdicts a { font-weight: 600; }
.pr-verdicts code { font-size: 12.5px; overflow-wrap: anywhere; }
.pr-verdicts li > span:last-child { color: var(--muted); }
.pr-verdicts li > span:last-child code { color: var(--text); }

@media (max-width: 760px) {
  .pr-verdicts li { grid-template-columns: minmax(0, 1fr) 104px; gap: 8px 16px; }
  .pr-verdicts li > span:last-child { grid-column: 1 / -1; }
}

.path-caption { margin: clamp(26px, 3.5vh, 38px) 0 14px; color: var(--muted); font-size: 14px; }

.pipeline {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  margin: 0;
  padding: 0;
  list-style: none;
  counter-reset: hop;
}

.pipeline li {
  position: relative;
  display: flex;
  flex-direction: column;
  gap: 5px;
  padding: 14px 18px;
  border: 1px solid var(--line);
  border-radius: 12px;
  background-color: var(--panel);
}

.pipeline li:not(:last-child)::after {
  content: "→";
  position: absolute;
  right: -19px;
  top: 50%;
  transform: translateY(-50%);
  color: var(--line-strong);
  font-size: 15px;
}

.pipeline li:not(:last-child) { margin-right: 18px; }

.node-plat {
  color: var(--muted);
  font: 700 10.5px/1 var(--mono);
  letter-spacing: 0.14em;
  text-transform: uppercase;
}

.pipeline code { font-size: 13px; overflow-wrap: anywhere; }

.node-end { border-color: rgba(255, 75, 60, 0.55); box-shadow: 0 0 26px rgba(255, 75, 60, 0.1); }

.node-end code, .node-end em { color: var(--red); }

.node-end em { font-style: normal; font-size: 12.5px; font-weight: 600; }

/* dispositions */
.dispositions {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 14px;
  margin-top: clamp(28px, 4vh, 44px);
}

.disp {
  display: flex;
  flex-direction: column;
  gap: 8px;
  padding: 20px;
  border: 1px solid var(--line);
  border-radius: 13px;
  background-color: var(--panel);
  font-size: 14px;
  line-height: 1.6;
}

.disp strong { font-family: var(--mono); font-size: 13.5px; letter-spacing: 0.04em; }

.disp span:last-child { color: var(--muted); }

.disp-dot { width: 9px; height: 9px; border-radius: 50%; }

.disp-pass .disp-dot { background: var(--green); box-shadow: 0 0 12px rgba(69, 224, 139, 0.6); }
.disp-pass strong { color: var(--green); }
.disp-warn .disp-dot { background: var(--amber); box-shadow: 0 0 12px rgba(245, 184, 61, 0.5); }
.disp-warn strong { color: var(--amber); }
.disp-block .disp-dot { background: var(--red); box-shadow: 0 0 12px var(--red-glow); }
.disp-block strong { color: var(--red); }
.disp-block { border-color: rgba(255, 75, 60, 0.4); }
.disp-unv .disp-dot { background: var(--grey); }
.disp-unv strong { color: var(--grey); }

.method { margin-top: clamp(30px, 4vh, 48px); padding-top: 6px; border-top: 1px solid var(--line); }

.method-body { padding: 10px 0 4px; }

.architecture-frame {
  overflow-x: auto;
  border: 1px solid var(--line);
  border-radius: 14px;
  background: #0b0d12;
  box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.05), 0 24px 60px rgba(0, 0, 0, 0.45);
}

.architecture-frame img {
  display: block;
  width: 100%;
  min-width: 0;
  height: auto;
}

/* reproduce */
.repro-panel {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 16px;
  align-items: center;
  margin-top: clamp(24px, 3vh, 36px);
  padding: 20px 22px;
  border: 1px solid var(--line);
  border-radius: 13px;
  background: #060709;
}

/* The Copy button announces into this region. It is empty until someone
   clicks, so it holds its own line rather than letting the paragraph below
   jump. Muted, not green: it carries the failure message too. */
.copy-status {
  min-height: 1.5em;
  margin: 10px 0 0;
  color: var(--muted);
  font: 600 12.5px/1.5 var(--mono);
}

.command-sequence {
  color: var(--green);
  font-size: 13.5px;
  line-height: 1.8;
  white-space: pre-line;
  overflow-wrap: anywhere;
}

/* The loop a judge otherwise has to reassemble from four sections. Numbered
   because the order is the argument: a write nobody read back is not evidence. */
.loop-steps {
  display: grid;
  gap: 1px;
  margin: 1.2rem 0 1.2rem;
  padding: 1px;
  list-style: none;
  border-radius: 12px;
  background: var(--line);
  overflow: hidden;
}

.loop-steps li {
  display: grid;
  grid-template-columns: 30px 130px minmax(0, 1fr);
  gap: 16px;
  align-items: baseline;
  padding: 14px 18px;
  background: var(--bg-2);
  font-size: 13.5px;
  line-height: 1.65;
}

.loop-n {
  color: var(--muted);
  font: 700 12px/1.5 var(--mono);
  font-variant-numeric: tabular-nums;
}

.loop-steps strong { color: var(--text); }
.loop-steps li > span:last-child { color: var(--muted); min-width: 0; }

@media (max-width: 760px) {
  .loop-steps li { grid-template-columns: 30px minmax(0, 1fr); gap: 6px 14px; }
  .loop-steps li > span:last-child { grid-column: 2 / -1; }
}

/* links + footer */
.site-links {
  display: flex;
  flex-wrap: wrap;
  gap: 26px;
  padding: 34px 0;
  border-top: 1px solid var(--line);
  font-size: 14px;
}

.site-links a { color: var(--muted); text-decoration: none; }
.site-links a:hover { color: var(--text); }

.site-footer { border-top: 1px solid var(--line); background: var(--bg-2); }

.footer-inner {
  display: flex;
  flex-wrap: wrap;
  gap: 10px 30px;
  justify-content: space-between;
  padding: 22px 0;
  color: var(--muted);
  font-size: 13px;
}

/* ---------------- scope page ---------------- */
.scope-page .scope-main { padding: clamp(48px, 7vh, 84px) 0 72px; }

.scope-main h1 {
  font-size: clamp(1.9rem, 3.6vw, 2.9rem);
  max-width: 26ch;
}

.scope-main h2 {
  margin-top: 2.6rem;
  font-size: 1.25rem;
  letter-spacing: -0.015em;
}

.scope-main p { max-width: 76ch; color: var(--muted); font-size: 15.5px; }

.scope-main p code { color: var(--text); font-size: 0.9em; }

.scope-main a { color: var(--text); }

.scope-main .lede { font-size: 16.5px; margin-top: 14px; }

/* ---------------- load reveal ---------------- */
.reveal { animation: rise 640ms cubic-bezier(0.16, 1, 0.3, 1) both; }
.r1 { animation-delay: 70ms; }
.r2 { animation-delay: 150ms; }
.r3 { animation-delay: 230ms; }

/* Motion only — no opacity ramp. A contrast auditor sampling during the load
   reveal blends half-faded text toward the background and reports a failure
   that exists for 400ms; the rise reads the same without the fade. */
@keyframes rise {
  from { transform: translateY(14px); }
  to { transform: none; }
}

/* ---------------- responsive ---------------- */
@media (max-width: 960px) {
  .hero-grid { grid-template-columns: 1fr; }
  .top-nav { display: none; }
  .stats { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .dispositions { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .rule-row { grid-template-columns: 84px minmax(0, 1fr); }
  .rule-row > span:last-child { grid-column: 1 / -1; }
}

@media (max-width: 640px) {
  .clash { grid-template-columns: 1fr; }
  #recorded-output { max-height: 170px; overflow: auto; }
  .clash-x { justify-self: center; }
  .dispositions { grid-template-columns: 1fr; }
  .repro-panel { grid-template-columns: 1fr; }
  .pipeline li:not(:last-child) { margin-right: 0; }
  .pipeline li:not(:last-child)::after { content: none; }
  .pipeline { flex-direction: column; }
}

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  .reveal { animation: none; }
  .live-dot { animation: none; }
  * { transition: none !important; }
}

/* The swarm transcript is recorded rather than runnable: it coordinates by
   writing receipts, and every button on this page is barred from writing to a
   catalog. Same treatment as the recorded verdict above so a reader can tell
   at a glance that both are captured output, not a live pane. */
.recorded-swarm {
  margin-top: 1.5rem;
  padding: 1.25rem 1.4rem;
  overflow-x: auto;
  border: 1px solid var(--rule, #34332f);
  border-radius: 2px;
  background: var(--ink2, #11110f);
  color: var(--dim, #a7a39a);
  font-size: 0.86rem;
  line-height: 1.62;
  white-space: pre;
}

/* The screenshot is DataHub's own UI, so it is framed rather than styled: a
   reader must be able to tell it apart from anything this page drew itself. */
.native-shot { margin: 1.75rem 0 0; }
.native-shot img {
  display: block;
  width: 100%;
  height: auto;
  border: 1px solid var(--rule, #34332f);
  border-radius: 2px;
}
.native-shot figcaption { margin-top: 0.85rem; }
.standing { padding-bottom: 1.5rem; }

/* The live-DataHub link dead-ended at a login until the read-only judge account
   was named beside it. Kept adjacent to the link rather than in a FAQ, because
   a credential a judge has to hunt for is the same as no credential. */
.judge-key { margin-top: 0.9rem; }

/* Two claims about the same column, side by side, because the disagreement is
   the product. Stacks on narrow screens rather than shrinking the values. */
.drift-pair { display: grid; grid-template-columns: 1fr 1fr; gap: 1.5rem; margin-top: 1.75rem; }
.drift-side { padding: 1.25rem 1.4rem; border: 1px solid var(--rule, #34332f); border-radius: 2px; }
.drift-val { margin: 0.7rem 0 0.6rem; font-size: 1.15rem; word-break: break-word; }
.drift-verdict { margin-top: 1.5rem; font-size: 1.1rem; }
@media (max-width: 640px) { .drift-pair { grid-template-columns: 1fr; } }

/* Two comparisons that reuse the .drift-side card: the agent that stops, and the
   repair that was refused. Only the left border changes, so the page keeps one
   vocabulary — red is refusal, green is proven, and nothing else earns a colour. */
.drift-side--stopped  { border-left: 2px solid var(--green); }
.drift-side--rejected { border-left: 2px solid var(--red); }
.drift-side--proven   { border-left: 2px solid var(--green); }

.agent-pair, .repair-pair { margin-top: 1.1rem; }

/* A grid item defaults to min-width:auto, so the pre-formatted block inside
   refuses to shrink below its longest line and pushes the page sideways. */
.drift-side { min-width: 0; }
.drift-side > * { min-width: 0; }

/* These two pairs carry code, so they need a single column earlier than the
   plain text pair above them. */
@media (max-width: 900px) {
  .agent-pair, .repair-pair { grid-template-columns: 1fr; }
}

.agent-out {
  margin: 0.9rem 0 0;
  padding: 12px 14px;
  overflow-x: auto;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: #060709;
  color: var(--green);
  font: 12px/1.75 var(--mono);
  white-space: pre;
}

.drift-side--stopped .agent-out { color: var(--muted); }

.repair-pair .drift-side .fine:last-child { margin-bottom: 0; }

/* ---- Proof 01: three comparisons, and the depth strip beneath them ----
   Deliberately the same card as .drift-side directly above: this is the same
   argument at wider scope, so it should read as the same kind of evidence
   rather than announce itself as a new component. */
/* A chapter that carries two halves of one argument needs a divider between
   them that is clearly below the h2 and clearly above ordinary prose. */
.chapter-sub {
  margin: clamp(46px, 6vh, 72px) 0 0;
  padding-top: clamp(28px, 3.5vh, 40px);
  border-top: 1px solid var(--line);
  font-size: clamp(1.45rem, 2.4vw, 2rem);
  font-weight: 800;
  letter-spacing: -0.03em;
  line-height: 1.15;
  text-wrap: balance;
}

.chapter-sub .stat-red { font-variant-numeric: tabular-nums; }

/* The six real ways in, stated where the gate is explained. */
.surface-row { max-width: none; margin-top: clamp(28px, 3.5vh, 40px); }

/* The four numbers a judge needs before any transcript. */
.swarm-numbers { max-width: none; margin-top: clamp(24px, 3vh, 34px); }

/* The nine subcommands, available without turning the page into a man page. */
.cmd-index { margin-top: clamp(24px, 3vh, 34px); }

.cmd-list {
  display: grid;
  gap: 1px;
  margin: 0.9rem 0;
  padding: 1px;
  border-radius: 10px;
  background: var(--line);
  overflow: hidden;
}

.cmd-list > div {
  display: grid;
  grid-template-columns: 190px minmax(0, 1fr);
  gap: 14px;
  align-items: baseline;
  padding: 10px 14px;
  background: var(--panel);
}

.cmd-list dt code { color: var(--text); font-size: 12.5px; }
.cmd-list dd { margin: 0; min-width: 0; color: var(--muted); font-size: 13px; line-height: 1.6; }

@media (max-width: 640px) {
  .cmd-list > div { grid-template-columns: 1fr; gap: 4px; }
}

.triad-heading {
  margin: clamp(30px, 4vh, 44px) 0 0;
  font-size: clamp(1.15rem, 1.7vw, 1.4rem);
  font-weight: 700;
  letter-spacing: -0.02em;
  text-wrap: balance;
}

.compare-triad {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 1.5rem;
  margin-top: 1.1rem;
}

.compare-card {
  display: flex;
  flex-direction: column;
  gap: 0.55rem;
  padding: 1.25rem 1.4rem;
  border: 1px solid var(--rule, #34332f);
  border-radius: 2px;
}

.compare-pair {
  display: flex;
  flex-wrap: wrap;
  align-items: baseline;
  gap: 0.5rem;
  margin: 0;
  font-size: 13.5px;
}

.compare-pair code { color: var(--text); overflow-wrap: anywhere; }

/* Muted, not red: these are the axes a comparison runs along, and colouring
   the relation like a conflict would prejudge every one of them. */
.compare-rel { color: var(--muted); font-size: 15px; }

.compare-card .fine { margin: 0; }

/* Rhymes with the hero's proof strip on purpose — same kind of claim, same
   treatment, nothing for a judge to relearn. */
.triad-depth { max-width: none; margin: 1.4rem 0 1.6rem; }

/* ---- Proof 04: the repair callout ---- */
.callout {
  margin-top: clamp(26px, 3vh, 38px);
  padding: 22px 24px;
  border: 1px solid var(--line);
  border-radius: 13px;
  background: #060709;
}

.callout-heading {
  margin: 0 0 0.7rem;
  font-size: clamp(1.05rem, 1.5vw, 1.25rem);
  font-weight: 700;
  letter-spacing: -0.02em;
  text-wrap: balance;
}

.callout .fine { margin: 0; }
.callout .fine + .fine { margin-top: 0.85rem; }
.callout .drift-pair { margin: 1rem 0 0.95rem; }

/* A real sequence, so it is drawn as one: arrows, not bullets. Inline items
   keep each arrow against the step it follows when the line wraps. */
.proof-chain {
  margin: 1rem 0;
  padding: 0;
  list-style: none;
  color: var(--muted);
  font: 600 12.5px/2 var(--mono);
  letter-spacing: 0.02em;
}

.proof-chain li { display: inline; }

.proof-chain li:not(:last-child)::after {
  content: " \2192 ";
  color: rgba(255, 255, 255, 0.34);
}

.proof-chain code { color: var(--text); font-size: 12px; }

.sr-only {
  position: absolute;
  width: 1px;
  height: 1px;
  margin: -1px;
  padding: 0;
  overflow: hidden;
  clip-path: inset(50%);
  white-space: nowrap;
}

@media (max-width: 960px) { .compare-triad { grid-template-columns: 1fr; } }

/* A judge with four minutes should learn what exists here without scrolling to
   find out. Plain anchors: no script, nothing to fail, and every section is
   linkable so one can be sent to a colleague on its own. */
.evidence-index { margin: 1.75rem 0 0.5rem; }
.evidence-index ol {
  margin: 0.7rem 0 0;
  padding: 0;
  list-style: none;
  counter-reset: proof;
  display: grid;
  gap: 0.34rem;
}
.evidence-index li { counter-increment: proof; font-size: 0.94rem; line-height: 1.5; }
.evidence-index li::before {
  content: counter(proof, decimal-leading-zero) " ";
  margin-right: 0.6rem;
  color: var(--dim, #a7a39a);
  font-variant-numeric: tabular-nums;
}
.evidence-index a { font-weight: 600; }
/* Sticky nothing — but never let an anchor jump hide a heading behind the top. */
html { scroll-padding-top: 1.5rem; }
.exhibit[id] { scroll-margin-top: 1.5rem; }
@media (prefers-reduced-motion: no-preference) { html { scroll-behavior: smooth; } }