/* ━━━ orc trace · landing-as-audit ━━━━━━━━━━━━━━━━━━━━━━━━━━ */
:root {
  --paper:    #f4f0e6;
  --paper-2:  #ebe5d5;
  --paper-3:  #ddd5bf;
  --ink:      #1a1714;
  --ink-2:    #4a443d;
  --ink-3:    #8a8479;
  --ink-4:    #b8ad94;
  --rule:     rgba(26,23,20,0.12);
  --rule-2:   rgba(26,23,20,0.25);
  --rule-3:   rgba(26,23,20,0.5);

  --accent:        #7a1d2a;
  --supported:     #355c3a;
  --partial:       #8a5a14;
  --contradicted:  #7a1d2a;
  --notfound:      #5a544d;
  --verifying:     #8a8479;

  --mono: "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, monospace;

  --col: 1320px;
  --pad: 48px;
  --main: 820px;
  --led:  280px;
  --gap:  56px;
}

* { box-sizing: border-box; }
html { background: var(--paper); }
body {
  margin: 0;
  background:
    repeating-linear-gradient(
      to bottom,
      transparent 0 31px,
      rgba(26,23,20,0.018) 31px 32px
    ),
    var(--paper);
  color: var(--ink);
  font-family: var(--mono);
  font-size: 13.5px;
  line-height: 1.65;
  font-feature-settings: "ss01","ss02","cv11","zero";
  -webkit-font-smoothing: antialiased;
}
::selection { background: var(--ink); color: var(--paper); }
a { color: inherit; }

.wrap { max-width: var(--col); margin: 0 auto; padding: 0 var(--pad); }

/* ─── topbar ───────────────────────────────────────────── */
.topbar {
  position: sticky; top: 0; z-index: 60;
  background: rgba(244,240,230,0.95);
  border-bottom: 1px solid var(--ink);
  backdrop-filter: blur(6px) saturate(140%);
}
.topbar-inner {
  display: flex; align-items: center; gap: 18px;
  height: 56px;
}
.tb-mark {
  font-weight: 600;
  font-size: 16px;
  letter-spacing: -0.01em;
  color: var(--ink);
  text-decoration: none;
  flex-shrink: 0;
}
.tb-mark::after { content: "."; color: var(--accent); }
.tb-meta {
  flex: 1;
  font-size: 11.5px;
  color: var(--ink-3);
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
}
.tb-meta b { color: var(--ink); font-weight: 500; }
.tb-meta .sep { color: var(--rule-2); margin: 0 6px; }
.tb-counters {
  display: flex; gap: 6px; align-items: center;
  flex-shrink: 0;
}
.tb-count {
  display: inline-flex; align-items: center; gap: 5px;
  padding: 3px 8px;
  border: 1px solid currentColor;
  font-size: 11px;
  letter-spacing: 0.02em;
  line-height: 1;
}
.tb-count::before {
  content: ""; width: 5px; height: 5px; background: currentColor; border-radius: 50%;
}
.tb-count.ok  { color: var(--supported); }
.tb-count.warn{ color: var(--partial); }
.tb-count.bad { color: var(--contradicted); }
.tb-count.nf  { color: var(--notfound); display: none; }
.tb-actions { display: flex; gap: 8px; align-items: center; flex-shrink: 0; }
.tb-btn {
  display: inline-flex; align-items: center; gap: 6px;
  padding: 6px 10px;
  border: 1px solid var(--ink);
  text-decoration: none;
  color: var(--ink);
  background: transparent;
  font: inherit;
  font-size: 11.5px;
  cursor: pointer;
  text-transform: uppercase;
  letter-spacing: 0.06em;
}
.tb-btn:hover { background: var(--ink); color: var(--paper); }
.tb-btn.primary { background: var(--ink); color: var(--paper); }
.tb-btn.primary:hover { background: var(--accent); border-color: var(--accent); }

/* ─── layout grid ──────────────────────────────────────── */
.grid {
  display: grid;
  grid-template-columns: minmax(0, 1fr) var(--led);
  gap: var(--gap);
  padding: 36px 0 80px;
  align-items: start;
}
.main { min-width: 0; }
.ledger-wrap {
  position: sticky; top: 76px;
  align-self: start;
  height: fit-content;
  max-height: calc(100vh - 96px);
  overflow-y: auto;
  scrollbar-width: thin;
  scrollbar-color: var(--rule-2) transparent;
}

/* ─── trace header ─────────────────────────────────────── */
.thead {
  border-top: 2px solid var(--ink);
  border-bottom: 1px solid var(--ink);
  padding: 24px 0 28px;
  margin-bottom: 36px;
}
.thead .cmd-line {
  font-size: 14px;
  color: var(--ink);
  display: flex; flex-wrap: wrap; align-items: baseline; gap: 8px;
  margin-bottom: 14px;
}
.thead .cmd-line .prompt { color: var(--ink-3); }
.thead .cmd-line .cmd { color: var(--ink); }
.thead .cmd-line .arg { color: var(--accent); }
.thead .cmd-line .rid {
  margin-left: auto;
  font-size: 11px;
  color: var(--ink-3);
  text-transform: uppercase;
  letter-spacing: 0.06em;
}
.thead .cmd-line .rid b { color: var(--ink); font-weight: 500; }
.thead h1 {
  font-size: 48px;
  font-weight: 500;
  letter-spacing: -0.035em;
  line-height: 1.0;
  margin: 18px 0 18px;
  color: var(--ink);
  font-feature-settings: "ss01","ss02","cv11";
  max-width: 22ch;
  text-wrap: balance;
}
.thead h1 .em { color: var(--accent); }
.thead h1 .strike {
  text-decoration: line-through;
  text-decoration-color: var(--contradicted);
  text-decoration-thickness: 2px;
  color: var(--ink-3);
}
.thead .lede {
  font-size: 14.5px;
  color: var(--ink-2);
  max-width: 70ch;
  margin: 0 0 24px;
}
.thead .lede strong { color: var(--ink); font-weight: 500; }
.thead .lede em { font-style: normal; color: var(--accent); }

.thead-meta {
  display: grid;
  grid-template-columns: max-content 1fr;
  column-gap: 16px;
  row-gap: 4px;
  font-size: 12px;
  padding-top: 18px;
  border-top: 1px dashed var(--rule-2);
}
.thead-meta dt {
  color: var(--ink-3);
  text-transform: uppercase;
  letter-spacing: 0.08em;
  font-size: 10.5px;
}
.thead-meta dd { margin: 0; color: var(--ink); }
.thead-meta dd .dim { color: var(--ink-3); }

/* summary tick row */
.summary {
  margin-top: 24px;
  padding-top: 18px;
  border-top: 1px dashed var(--rule-2);
}
.summary .label {
  font-size: 10.5px;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: var(--ink-3);
  margin-bottom: 10px;
}
.ticks {
  display: flex; gap: 3px; flex-wrap: wrap;
}
.tick {
  width: 14px; height: 22px;
  background: var(--paper-2);
  border: 1px solid var(--rule);
  cursor: pointer;
  position: relative;
  transition: transform .12s;
}
.tick:hover { transform: translateY(-2px); border-color: var(--ink); }
.tick.ok   { background: var(--supported); border-color: var(--supported); }
.tick.warn { background: var(--partial); border-color: var(--partial); }
.tick.bad  { background: var(--contradicted); border-color: var(--contradicted); }
.tick.nf   { background: var(--notfound); border-color: var(--notfound); }


/* ─── claim block ──────────────────────────────────────── */
.claim {
  border-top: 1px solid var(--rule);
  padding: 28px 0 28px;
  scroll-margin-top: 76px;
}
.claim:first-of-type { border-top: 0; padding-top: 8px; }
.claim-head {
  display: flex; align-items: center; gap: 14px;
  margin-bottom: 16px;
  flex-wrap: wrap;
}
.claim-id {
  font-size: 11px;
  color: var(--ink-3);
  text-transform: uppercase;
  letter-spacing: 0.1em;
  font-weight: 500;
}
.claim-id::before { content: "─ "; color: var(--rule-3); }
.claim-rule {
  flex: 1;
  height: 0;
  border-top: 1px solid var(--rule);
}
.verdict {
  display: inline-flex; align-items: center; gap: 7px;
  padding: 3px 9px 3px 7px;
  font-size: 11px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  border: 1px solid currentColor;
  background: var(--paper);
  font-weight: 500;
  white-space: nowrap;
}
.verdict::before {
  content: "";
  display: inline-block;
  width: 6px; height: 6px;
  background: currentColor;
  border-radius: 50%;
}
.verdict.ok   { color: var(--supported); }
.verdict.warn { color: var(--partial); }
.verdict.bad  { color: var(--contradicted); }
.verdict.nf   { color: var(--notfound); }
/* pending pills are hidden until JS resolves them; if JS fails they
   stay invisible rather than showing "verifying" forever. */
.verdict.pending { visibility: hidden; }

.claim-title {
  font-size: 22px;
  font-weight: 500;
  line-height: 1.25;
  margin: 0 0 18px;
  letter-spacing: -0.01em;
  text-wrap: balance;
  max-width: 38ch;
  color: var(--ink);
}
.claim-title em { color: var(--accent); font-style: normal; }
.claim-title.quoted::before { content: "“"; color: var(--ink-3); margin-right: 2px; }
.claim-title.quoted::after  { content: "”"; color: var(--ink-3); margin-left: 2px; }

.claim-body {
  font-size: 14px;
  color: var(--ink-2);
  max-width: 72ch;
  margin: 0 0 18px;
}
.claim-body p { margin: 0 0 10px; }
.claim-body p:last-child { margin-bottom: 0; }
.claim-body strong { color: var(--ink); font-weight: 500; }
.claim-body em { color: var(--accent); font-style: normal; }
.claim-body code { background: var(--paper-2); padding: 1px 5px; border: 1px solid var(--rule); }

/* reasoning + evidence */
.reasoning {
  display: grid;
  grid-template-columns: 100px 1fr;
  gap: 14px;
  font-size: 12.5px;
  color: var(--ink-2);
  border-left: 2px solid var(--rule-2);
  padding: 6px 0 6px 14px;
  margin: 0 0 16px;
  max-width: 72ch;
}
.reasoning .k {
  color: var(--ink-3);
  text-transform: uppercase;
  letter-spacing: 0.08em;
  font-size: 10.5px;
  padding-top: 3px;
}
.reasoning .v { color: var(--ink-2); }
.reasoning .v em { color: var(--accent); font-style: normal; }

.chunks {
  display: flex; flex-direction: column;
  gap: 8px;
  margin: 0 0 0;
}
.chunk {
  background: var(--paper-2);
  border: 1px solid var(--rule);
  border-left: 3px solid var(--supported);
  padding: 10px 14px;
  font-size: 12px;
  color: var(--ink-2);
}
.chunk.warn { border-left-color: var(--partial); }
.chunk.bad { border-left-color: var(--contradicted); }
.chunk-head {
  display: flex; justify-content: space-between; align-items: baseline;
  font-size: 10.5px;
  color: var(--ink-3);
  text-transform: uppercase;
  letter-spacing: 0.06em;
  margin-bottom: 6px;
  gap: 12px;
  flex-wrap: wrap;
}
.chunk-head .cid { color: var(--ink); font-weight: 500; }
.chunk-head .src { color: var(--ink-2); }
.chunk-quote {
  font-size: 12.5px;
  color: var(--ink);
  line-height: 1.55;
  font-style: italic;
}
.chunk-quote::before { content: "“"; color: var(--ink-3); }
.chunk-quote::after { content: "”"; color: var(--ink-3); }

/* sub-claim rows (for nested verdicts like stats, audiences, invariants) */
.subclaim-list {
  display: flex; flex-direction: column;
  margin: 0 0 0;
  border-top: 1px solid var(--rule);
}
.subclaim {
  display: grid;
  grid-template-columns: 80px 1fr auto;
  gap: 18px;
  align-items: baseline;
  padding: 16px 0;
  border-bottom: 1px solid var(--rule);
}
.subclaim .sid {
  font-size: 11px;
  color: var(--ink-3);
  text-transform: uppercase;
  letter-spacing: 0.08em;
  padding-top: 2px;
}
.subclaim .sid b { color: var(--accent); font-weight: 500; }
.subclaim .sbody { color: var(--ink); }
.subclaim .sbody .stitle {
  font-size: 15px;
  font-weight: 500;
  color: var(--ink);
  margin-bottom: 4px;
  letter-spacing: -0.005em;
}
.subclaim .sbody .sdesc { font-size: 12.5px; color: var(--ink-2); max-width: 68ch; }
.subclaim .sbody .sdesc code { background: var(--paper-2); padding: 1px 5px; border: 1px solid var(--rule); }
.subclaim .sbody .scite {
  margin-top: 6px;
  font-size: 10.5px;
  color: var(--ink-3);
  text-transform: uppercase;
  letter-spacing: 0.06em;
}

/* stat sub-claim variant: bigger number */
.subclaim.stat {
  grid-template-columns: 200px 1fr auto;
}
.subclaim.stat .sid .num {
  display: block;
  font-size: 44px;
  color: var(--ink);
  margin-top: 4px;
  letter-spacing: -0.035em;
  line-height: 1;
  text-transform: none;
  font-weight: 500;
}
.subclaim.stat .sid .num .u { font-size: 0.5em; color: var(--ink-3); }

/* ─── CONTRADICTED block (the punch) ───────────────────── */
.claim.contradicted {
  background: linear-gradient(to bottom, rgba(122,29,42,0.03), transparent);
  padding: 32px 0 36px;
}
.claim.contradicted .claim-title.original {
  text-decoration: line-through;
  text-decoration-color: var(--contradicted);
  text-decoration-thickness: 2px;
  color: var(--ink-3);
  font-size: 18px;
  margin-bottom: 12px;
  font-weight: 400;
}
.contradicted-box {
  border: 1px solid var(--contradicted);
  background: rgba(122,29,42,0.05);
  padding: 16px 18px;
  margin: 0 0 18px;
  font-size: 12.5px;
  color: var(--ink-2);
  max-width: 72ch;
}
.contradicted-box .label {
  display: flex; align-items: center; gap: 8px;
  font-size: 10.5px;
  text-transform: uppercase;
  letter-spacing: 0.1em;
  color: var(--contradicted);
  font-weight: 500;
  margin-bottom: 10px;
}
.contradicted-box .label::before {
  content: "✗"; display: inline-block;
  width: 16px; height: 16px;
  text-align: center; line-height: 16px;
  background: var(--contradicted); color: var(--paper);
  font-size: 11px;
}
.contradicted-box p { margin: 0 0 8px; }
.contradicted-box p:last-child { margin-bottom: 0; }
.contradicted-box em { color: var(--ink); font-style: normal; font-weight: 500; }

.published-line {
  display: grid;
  grid-template-columns: 100px 1fr;
  gap: 14px;
  font-size: 14px;
  margin: 0 0 16px;
  max-width: 72ch;
}
.published-line .k {
  color: var(--supported);
  text-transform: uppercase;
  letter-spacing: 0.08em;
  font-size: 10.5px;
  padding-top: 4px;
  font-weight: 500;
}
.published-line .k::before { content: "✓ "; }
.published-line .v {
  color: var(--ink);
  font-size: 17px;
  font-weight: 500;
  line-height: 1.3;
  letter-spacing: -0.005em;
}
.correction-meta {
  font-size: 11px;
  color: var(--ink-3);
  margin-top: 8px;
  display: flex; flex-wrap: wrap; gap: 14px;
}
.correction-meta b { color: var(--ink); font-weight: 500; }

/* ─── exhibit (Sarah Chen) ─────────────────────────────── */
.exhibit-attach {
  margin-top: 16px;
  border: 1px solid var(--ink);
  background: var(--paper);
}
.exhibit-attach .ex-head {
  display: flex; justify-content: space-between; align-items: baseline;
  padding: 12px 16px;
  background: var(--ink);
  color: var(--paper);
  font-size: 11px;
  text-transform: uppercase;
  letter-spacing: 0.1em;
}
.exhibit-attach .ex-head .id { color: var(--ink-4); }
.exhibit-attach .ex-body { padding: 24px 24px 28px; }
.exhibit-attach .ex-title {
  font-size: 22px;
  font-weight: 500;
  margin: 0 0 10px;
  letter-spacing: -0.01em;
  line-height: 1.2;
  text-wrap: balance;
  max-width: 38ch;
}
.exhibit-attach .ex-deck {
  font-size: 13px;
  color: var(--ink-2);
  margin: 0 0 22px;
  max-width: 68ch;
}
.exhibit-attach .ex-deck em { color: var(--accent); font-style: normal; }
.ex-meta {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  border-top: 1px solid var(--rule);
  border-left: 1px solid var(--rule);
  margin-bottom: 24px;
}
.ex-meta .m {
  padding: 14px 16px;
  border-right: 1px solid var(--rule);
  border-bottom: 1px solid var(--rule);
}
.ex-meta .m .v {
  font-size: 22px;
  font-weight: 500;
  letter-spacing: -0.02em;
  color: var(--ink);
}
.ex-meta .m .k {
  font-size: 10.5px;
  color: var(--ink-3);
  text-transform: uppercase;
  letter-spacing: 0.08em;
  margin-top: 2px;
}

/* scrolly inside exhibit */
.ex-scrolly {
  display: grid;
  grid-template-columns: 1fr;
  gap: 28px;
}
.ex-step {
  border-left: 2px solid var(--rule-2);
  padding: 0 0 4px 20px;
  position: relative;
  scroll-margin-top: 100px;
}
.ex-step::before {
  content: "";
  position: absolute;
  left: -7px; top: 4px;
  width: 12px; height: 12px;
  background: var(--paper); border: 2px solid var(--rule-2);
  border-radius: 50%;
}
.ex-step.path-a::before { border-color: var(--contradicted); }
.ex-step.path-b::before { border-color: var(--supported); }
.ex-step.active::before { background: var(--accent); border-color: var(--accent); }
.ex-step .step-head {
  display: flex; gap: 12px; align-items: baseline;
  font-size: 11px;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: var(--ink-3);
  margin-bottom: 10px;
  flex-wrap: wrap;
}
.ex-step .step-head .t { color: var(--accent); font-weight: 500; }
.ex-step .step-head .path {
  padding: 1px 7px;
  border: 1px solid currentColor;
  margin-left: auto;
}
.ex-step .step-head .path.a { color: var(--contradicted); }
.ex-step .step-head .path.b { color: var(--supported); }
.ex-step h4 {
  font-size: 17px;
  font-weight: 500;
  margin: 0 0 10px;
  letter-spacing: -0.005em;
  line-height: 1.3;
  text-wrap: balance;
  max-width: 36ch;
}
.ex-step p {
  font-size: 13px;
  color: var(--ink-2);
  margin: 0 0 10px;
  max-width: 68ch;
}
.ex-step p em { color: var(--accent); font-style: normal; }
.ex-term {
  background: #1a1714;
  color: #e9e3d4;
  padding: 12px 14px;
  font-size: 12px;
  line-height: 1.6;
  margin: 10px 0;
  border: 1px solid #2c2620;
  white-space: pre-wrap;
}
.ex-term .pr { color: #a89a78; }
.ex-term .cmd { color: #f6efdd; }
.ex-term .ok { color: #7bb88a; }
.ex-term .part { color: #d8a868; }
.ex-term .bad { color: #e58a8a; }
.ex-term .dim { color: #6c6557; }
.ex-pair {
  display: grid;
  grid-template-columns: 1fr 1fr;
  margin-top: 10px;
  border: 1px solid var(--rule);
}
.ex-pair .side { padding: 12px 14px; }
.ex-pair .side.a {
  background: rgba(122,29,42,0.04);
  border-right: 1px solid var(--rule);
}
.ex-pair .side.b { background: rgba(53,92,58,0.04); }
.ex-pair .side .label {
  font-size: 10.5px;
  text-transform: uppercase;
  letter-spacing: 0.1em;
  margin-bottom: 6px;
}
.ex-pair .side.a .label { color: var(--contradicted); }
.ex-pair .side.b .label { color: var(--supported); }
.ex-pair .side p { font-size: 12.5px; color: var(--ink-2); margin: 0; }

/* ─── how-it-works terminal block ──────────────────────── */
.term {
  background: #1a1714;
  color: #e9e3d4;
  padding: 28px 32px;
  border: 1px solid #2c2620;
  font-size: 12.5px;
  line-height: 1.75;
  white-space: pre-wrap;
  margin: 0;
}
.term .cmt { color: #8a7e64; }
.term .pr { color: #a89a78; }
.term .cmd { color: #f6efdd; }
.term .out { color: #cfc4ad; }
.term .ok { color: #7bb88a; }
.term .part { color: #d8a868; }
.term .bad { color: #e58a8a; }
.term .nf { color: #9c958a; }
.term .dim { color: #6c6557; }

/* ─── pricing rendered as sub-claims ───────────────────── */
.tiers {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  border-top: 1px solid var(--rule);
  border-left: 1px solid var(--rule);
}
.tier {
  border-right: 1px solid var(--rule);
  border-bottom: 1px solid var(--rule);
  padding: 22px 20px;
  display: flex; flex-direction: column;
}
.tier .tn {
  font-size: 10.5px;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: var(--accent);
  margin-bottom: 10px;
}
.tier .tname {
  font-size: 17px;
  font-weight: 500;
  letter-spacing: -0.005em;
  margin: 0 0 4px;
}
.tier .tprice {
  font-size: 28px;
  font-weight: 500;
  letter-spacing: -0.03em;
  line-height: 1;
  margin-bottom: 10px;
}
.tier .tprice .per { font-size: 12px; color: var(--ink-3); }
.tier .tdesc { font-size: 12px; color: var(--ink-2); margin: 0 0 14px; min-height: 60px; }
.tier ul { list-style: none; padding: 0; margin: 0 0 16px; font-size: 11.5px; color: var(--ink-2); }
.tier ul li {
  padding: 5px 0 5px 16px;
  position: relative;
  border-bottom: 1px dashed var(--rule);
  line-height: 1.45;
}
.tier ul li::before { content: "✓"; color: var(--supported); position: absolute; left: 0; top: 5px; }
.tier .tcta { margin-top: auto; }
.tcta .tb-btn { width: 100%; justify-content: center; }

/* ─── trace footer ─────────────────────────────────────── */
.tfoot {
  border-top: 2px solid var(--ink);
  margin-top: 56px;
  padding: 28px 0 24px;
}
.tfoot .pass-line {
  display: flex; align-items: center; gap: 12px;
  font-size: 13px;
  margin-bottom: 18px;
  flex-wrap: wrap;
}
.tfoot .pass-line .pass {
  display: inline-flex; align-items: center; gap: 7px;
  padding: 4px 10px;
  background: var(--supported);
  color: var(--paper);
  font-size: 11px;
  text-transform: uppercase;
  letter-spacing: 0.1em;
  font-weight: 500;
}
.tfoot .pass-line .pass::before { content: "✓"; font-size: 11px; }
.tfoot .pass-line .desc { color: var(--ink-2); }
.tfoot .pass-line .desc b { color: var(--ink); font-weight: 500; }

.signature {
  font-size: 11px;
  color: var(--ink-3);
  font-family: var(--mono);
  margin: 0 0 24px;
  display: grid;
  grid-template-columns: max-content 1fr;
  gap: 8px 18px;
}
.signature dt { color: var(--ink-3); text-transform: uppercase; letter-spacing: 0.06em; }
.signature dd { margin: 0; color: var(--ink); }

.install-row {
  background: #1a1714;
  color: #e9e3d4;
  padding: 18px 22px;
  margin: 0 0 16px;
  display: grid;
  grid-template-columns: 1fr auto;
  gap: 16px; align-items: center;
}
.install-row .cmds { font-size: 13px; line-height: 1.7; }
.install-row .cmds .pr { color: #a89a78; }
.install-row .cmds .cmd { color: #f6efdd; }
.install-row .cmds .cmt { color: #8a7e64; font-size: 11px; }
.install-row .tb-btn { background: var(--paper); color: var(--ink); border-color: var(--paper); }
.install-row .tb-btn:hover { background: var(--accent); color: var(--paper); border-color: var(--accent); }

.colofon {
  display: flex; justify-content: space-between; font-size: 11px;
  color: var(--ink-3);
  border-top: 1px dashed var(--rule-2);
  padding-top: 16px;
  flex-wrap: wrap; gap: 12px;
}
.colofon a { color: var(--ink-3); text-decoration: none; }
.colofon a + a { margin-left: 12px; }
.colofon a:hover { color: var(--ink); }

/* ─── ledger (sticky right) ────────────────────────────── */
.ledger {
  border: 1px solid var(--ink);
  background: var(--paper);
  font-size: 11.5px;
}
.ledger-head {
  padding: 10px 14px;
  background: var(--ink);
  color: var(--paper);
  font-size: 10.5px;
  text-transform: uppercase;
  letter-spacing: 0.12em;
  display: flex; justify-content: space-between; align-items: baseline;
}
.ledger-head .progress { color: var(--ink-4); }
.ledger ul { list-style: none; margin: 0; padding: 0; display: block; }
.ledger .led {
  display: grid;
  grid-template-columns: 16px 36px 1fr;
  gap: 8px;
  padding: 6px 12px;
  align-items: baseline;
  border-bottom: 1px solid var(--rule);
  cursor: pointer;
  transition: background .12s, color .12s;
  text-decoration: none;
  color: var(--ink-2);
  font-size: 11.5px;
}
.ledger .led:last-child { border-bottom: 0; }
.ledger .led:hover { background: var(--paper-2); color: var(--ink); }
.ledger .led.active { background: var(--paper-3); color: var(--ink); }
.ledger .led .glyph {
  font-size: 10px;
  text-align: center;
  line-height: 14px;
  color: var(--ink-3);
}
.ledger .led.ok   .glyph { color: var(--supported); font-weight: 600; }
.ledger .led.warn .glyph { color: var(--partial);   font-weight: 600; }
.ledger .led.bad  .glyph { color: var(--contradicted); font-weight: 600; }
.ledger .led.nf   .glyph { color: var(--notfound); font-weight: 600; }

.ledger .led .cid {
  font-size: 10px;
  color: var(--ink-3);
  letter-spacing: 0.04em;
}
.ledger .led .lbl { white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }

.ledger-foot {
  padding: 10px 14px;
  font-size: 10px;
  color: var(--ink-3);
  border-top: 1px solid var(--rule);
  text-transform: uppercase;
  letter-spacing: 0.06em;
}

/* ─── section-of-claims wrapper (for visual grouping) ──── */
.section {
  padding: 32px 0 12px;
}
.section + .section { border-top: 1px solid var(--ink); }
.section-title {
  font-size: 10.5px;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  color: var(--ink-3);
  margin: 0 0 8px;
}
.section-title b { color: var(--ink); font-weight: 500; letter-spacing: 0.1em; }

/* misc */
code { font-family: var(--mono); font-size: 0.95em; }
b, strong { font-weight: 500; }

/* ─── pre-publication amendment ────────────────────────── */
.amend {
  border: 1px solid var(--rule-2);
  background: var(--paper-2);
  padding: 18px 22px 22px;
  margin: 18px 0 22px;
}
.amend-row {
  display: flex;
  justify-content: space-between;
  align-items: center;
  font-size: 10.5px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--ink-3);
  padding: 14px 0 4px;
  border-top: 1px solid var(--rule);
}
.amend-row:first-child { border-top: 0; padding-top: 2px; }
.amend-row .amend-label { color: var(--ink-3); }
.amend-tag {
  padding: 2px 9px;
  border: 1px solid currentColor;
  font-size: 9.5px;
  letter-spacing: 0.12em;
  font-weight: 500;
}
.amend-tag.struck    { color: var(--contradicted); }
.amend-tag.reason    { color: var(--ink-2); }
.amend-tag.corrected { color: var(--supported); }
.amend p {
  margin: 6px 0 0;
  font-size: 13.5px;
  line-height: 1.65;
}
.amend-original {
  text-decoration: line-through;
  text-decoration-color: var(--contradicted);
  text-decoration-thickness: 1px;
  color: var(--ink-3);
  padding-left: 14px;
  border-left: 2px solid var(--contradicted);
}
.amend-reason {
  color: var(--ink-2);
  padding-left: 14px;
}
.amend-corrected {
  color: var(--ink);
  padding-left: 14px;
  border-left: 2px solid var(--supported);
}

/* ─── install block (post-trace, in trace aesthetic) ───── */
.install-block {
  margin-top: 56px;
  padding-top: 32px;
  border-top: 2px solid var(--ink);
}
.install-block .section-title { margin-bottom: 18px; }
.install-title {
  font-family: var(--mono);
  font-size: 22px;
  font-weight: 500;
  letter-spacing: -0.005em;
  margin: 12px 0 12px;
  color: var(--ink);
  line-height: 1.25;
}
.install-lede {
  font-size: 13.5px;
  color: var(--ink-2);
  max-width: 64ch;
  margin: 0 0 20px;
  line-height: 1.7;
}
.install-term {
  font-size: 13px;
  line-height: 1.85;
}
.install-meta {
  font-size: 11px;
  color: var(--ink-3);
  margin: 16px 0 0;
  letter-spacing: 0.04em;
}

/* ─── trace footer ─────────────────────────────────────── */
.tfoot {
  margin-top: 72px;
  padding: 28px 0 12px;
  border-top: 1px solid var(--ink);
  font-size: 12px;
  color: var(--ink-2);
}
.tfoot-rule {
  text-align: center;
  font-size: 10px;
  letter-spacing: 0.32em;
  color: var(--ink-4);
  margin-bottom: 22px;
  text-transform: uppercase;
}
.tfoot-grid {
  display: grid;
  grid-template-columns: 96px 1fr;
  column-gap: 24px;
  row-gap: 6px;
  margin: 0 0 24px;
}
.tfoot-grid dt {
  font-size: 10.5px;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--ink-3);
  padding-top: 1px;
}
.tfoot-grid dd {
  margin: 0;
  color: var(--ink);
}
.tfoot-grid dd .dim { color: var(--ink-3); }
.tfoot-grid code {
  background: var(--paper-2);
  padding: 1px 6px;
  border: 1px solid var(--rule);
}
.tfoot-mark {
  padding-top: 16px;
  border-top: 1px solid var(--rule);
  display: flex;
  justify-content: space-between;
  flex-wrap: wrap;
  gap: 12px;
  font-size: 11.5px;
  color: var(--ink-3);
}
.tfoot-mark b { color: var(--ink); font-weight: 600; }
.tfoot-mark .tfoot-meta { font-style: italic; }

/* ─── small screens ────────────────────────────────────── */
@media (max-width: 1080px) {
  :root { --pad: 24px; --gap: 32px; --led: 240px; }
  .thead h1 { font-size: 36px; }
  .subclaim, .subclaim.stat { grid-template-columns: 1fr; gap: 8px; }
  .ex-meta { grid-template-columns: repeat(2, 1fr); }
  .ex-pair { grid-template-columns: 1fr; }
  .ex-pair .side.a { border-right: 0; border-bottom: 1px solid var(--rule); }
  .tiers { grid-template-columns: 1fr; }
  .install-row { grid-template-columns: 1fr; }
}
@media (max-width: 820px) {
  .grid { grid-template-columns: 1fr; }
  .ledger-wrap { position: static; max-height: none; order: 2; }
  .topbar-inner { gap: 8px; }
  .tb-meta { display: none; }
  .tb-counters .tb-count { padding: 2px 5px; font-size: 10px; }
  .tfoot-grid { grid-template-columns: 1fr; row-gap: 2px; }
  .tfoot-grid dt { padding-top: 8px; }
  .tfoot-mark { flex-direction: column; gap: 6px; }
}