/* Concepts below the explorer. The original document styles are scoped to .docs
   so they cannot leak into the graph application above. */
@scope (.docs) {
/* ── sections and type ───────────────────────────────────────────────── */

section { padding: 92px 0 84px; border-top: 1px solid var(--line-soft); }
section:first-of-type { border-top: 0; }

.section-head { max-width: 820px; margin-bottom: 42px; }
.kicker, .eyebrow, .mini-kicker {
  margin: 0 0 12px; font-family: var(--mono); font-size: 10.5px; letter-spacing: .19em;
  text-transform: uppercase; color: var(--cyan);
}
.eyebrow { color: var(--amber); }
.mini-kicker { color: var(--faint); }

h1, h2, h3, h4 { margin: 0; font-weight: 700; letter-spacing: -.02em; line-height: 1.08; }
h1 { font-family: var(--serif); font-size: clamp(3.4rem, 7vw, 6.2rem); font-weight: 600; letter-spacing: -.045em; }
h1 em { font-style: italic; color: var(--cyan); }
h2 { font-family: var(--serif); font-size: clamp(2rem, 4.2vw, 3.25rem); font-weight: 600; letter-spacing: -.035em; }
h3 { font-size: 1.15rem; }
h4 { font-size: 1.35rem; }

h1 code, h2 code, h3 code {
  padding: 0; border: 0; background: none;
  font-family: var(--mono); font-size: .78em; letter-spacing: -.02em;
  color: var(--cyan);
}

.section-lede, .lede { color: var(--muted); font-size: 1.02rem; max-width: 72ch; }
.lede { font-size: 1.12rem; max-width: 56ch; }
p { margin: 0 0 12px; }
p:last-child { margin-bottom: 0; }

code {
  font-family: var(--mono); font-size: .86em;
  background: color-mix(in srgb, var(--cyan) 8%, transparent);
  border: 1px solid color-mix(in srgb, var(--cyan) 16%, transparent);
  border-radius: 4px; padding: .08em .34em;
  color: color-mix(in srgb, var(--ink) 82%, var(--cyan));
  overflow-wrap: anywhere;
}
pre code, .command, .code-block { background: none; border: 0; padding: 0; }

.ref { font-family: var(--mono); font-size: 10.5px; color: var(--faint); line-height: 1.6; }
.ref code { font-size: 10.5px; }

/* ── buttons, pills, chips ───────────────────────────────────────────── */

.button {
  display: inline-flex; align-items: center; justify-content: center; gap: 8px;
  padding: 10px 16px; border-radius: 8px; border: 1px solid var(--line);
  background: var(--panel); color: var(--ink); text-decoration: none;
  font-family: var(--mono); font-size: 12px; letter-spacing: .02em; cursor: pointer;
  transition: border-color .18s, background .18s, transform .18s;
}
.button:hover { border-color: var(--cyan); background: var(--panel-2); transform: translateY(-1px); }
.button.primary { background: var(--cyan); color: #05121b; border-color: var(--cyan); font-weight: 700; }
.button.primary:hover { background: color-mix(in srgb, var(--cyan) 82%, white); color: #05121b; }
.button.small { padding: 7px 11px; font-size: 11px; }

.pill {
  display: inline-flex; align-items: center; gap: 6px;
  padding: 4px 9px; border-radius: 999px; border: 1px solid var(--line);
  font-family: var(--mono); font-size: 10.5px; font-weight: 700; letter-spacing: .06em;
  text-transform: uppercase; white-space: nowrap;
}
.pill.ok { color: var(--green); border-color: color-mix(in srgb, var(--green) 45%, transparent); background: color-mix(in srgb, var(--green) 9%, transparent); }
.pill.warn { color: var(--amber); border-color: color-mix(in srgb, var(--amber) 45%, transparent); background: color-mix(in srgb, var(--amber) 9%, transparent); }
.pill.bad { color: var(--red); border-color: color-mix(in srgb, var(--red) 45%, transparent); background: color-mix(in srgb, var(--red) 9%, transparent); }

.chip {
  padding: 6px 10px; border-radius: 999px; border: 1px solid var(--line);
  background: var(--panel); color: var(--muted); font-family: var(--mono); font-size: 10.5px;
  cursor: pointer; transition: border-color .15s, color .15s, background .15s;
}
.chip:hover { color: var(--ink); border-color: var(--cyan); }
.chip.is-active { color: var(--bg); background: var(--cyan); border-color: var(--cyan); font-weight: 700; }

/* ── hero ────────────────────────────────────────────────────────────── */

.hero { padding-top: 62px; }
.hero-copy { max-width: 900px; }
.hero .lede { margin-top: 22px; }
.hero-actions { display: flex; gap: 10px; flex-wrap: wrap; margin-top: 28px; }
.hero-foot { margin-top: 22px; font-size: 12.5px; color: var(--faint); max-width: 62ch; }
.hero-foot strong { color: var(--ink); }

.hero-figure { margin: 46px 0 0; }
.window {
  border: 1px solid var(--line); border-radius: var(--radius); overflow: hidden;
  background: var(--panel); box-shadow: var(--shadow);
}
.window-bar {
  display: flex; align-items: center; gap: 7px; padding: 10px 14px;
  border-bottom: 1px solid var(--line-soft); background: var(--panel-2);
}
.window-bar span { width: 9px; height: 9px; border-radius: 50%; background: var(--line); }
.window-bar span:first-child { background: color-mix(in srgb, var(--red) 70%, var(--panel)); }
.window-bar span:nth-child(2) { background: color-mix(in srgb, var(--amber) 70%, var(--panel)); }
.window-bar span:nth-child(3) { background: color-mix(in srgb, var(--green) 70%, var(--panel)); }
.window-bar em {
  margin-left: auto; font-family: var(--mono); font-size: 10px; font-style: normal;
  letter-spacing: .12em; text-transform: uppercase; color: var(--faint);
}

.fact-card {
  margin: 0; padding: 22px 24px; overflow: auto;
  font-family: var(--mono); font-size: 12.5px; line-height: 1.85; color: var(--muted);
  tab-size: 2;
}
.c-key { color: var(--cyan); }
.c-str { color: var(--green); }
.c-num { color: var(--violet); }
.c-warn { color: var(--amber); }
.c-ok { color: var(--green); }
.c-muted { color: var(--faint); }

.hero-figure figcaption, .flowline-wrap figcaption {
  margin-top: 12px; font-size: 12px; color: var(--faint); line-height: 1.6;
}
.hero-figure figcaption strong, .flowline-wrap figcaption strong { color: var(--muted); }

.stat-strip {
  display: grid; grid-template-columns: repeat(4, 1fr); gap: 1px;
  margin-top: 44px; border: 1px solid var(--line); border-radius: var(--radius); overflow: hidden;
  background: var(--line);
}
.stat-strip > div { padding: 18px 20px; background: var(--panel); }
.stat-strip strong { display: block; font-family: var(--serif); font-size: 2.1rem; line-height: 1; color: var(--ink); }
.stat-strip span { display: block; margin-top: 6px; font-family: var(--display); font-stretch: condensed; font-weight: 800; font-size: 15px; letter-spacing: .02em; text-transform: uppercase; color: var(--cyan); }
.stat-strip small { display: block; margin-top: 4px; font-size: 10.5px; color: var(--faint); }

.flowline-wrap { margin: 52px 0 0; }
.flowline { width: 100%; height: auto; }
.fl-node rect { fill: var(--panel); stroke: var(--line); stroke-width: 1.2; }
.fl-node text { text-anchor: middle; font-family: var(--mono); }
.fl-kicker { font-size: 8.5px; letter-spacing: .16em; text-transform: uppercase; fill: var(--faint); }
.fl-title { font-size: 11px; fill: var(--ink); font-weight: 600; }
.fl-node[data-tone="entry"] rect { stroke: var(--entry); }
.fl-node[data-tone="composition"] rect { stroke: var(--composition); }
.fl-node[data-tone="application"] rect { stroke: var(--application); }
.fl-node[data-tone="ports"] rect { stroke: var(--ports); }
.fl-node[data-tone="adapters"] rect { stroke: var(--adapters); }
.fl-node[data-tone="fact"] rect { fill: color-mix(in srgb, var(--cyan) 9%, var(--panel)); stroke: var(--cyan); }
.fl-edge { fill: none; stroke: var(--faint); stroke-width: 1.2; }
.fl-edge.dashed { stroke-dasharray: 4 5; opacity: .6; }
.arrow-head { fill: var(--faint); }

/* ── atlas ───────────────────────────────────────────────────────────── */

.atlas-grid { display: grid; grid-template-columns: minmax(0, 1.35fr) minmax(280px, .65fr); gap: 28px; align-items: start; }

.atlas-stack { display: grid; gap: 10px; }
.layer-group {
  --layer-color: var(--line);
  position: relative; padding: 12px 14px 14px;
  border: 1px solid var(--line-soft); border-left: 3px solid var(--layer-color);
  border-radius: var(--radius-sm); background: color-mix(in srgb, var(--panel) 72%, transparent);
}
.layer-group[data-layer="entrypoints"] { --layer-color: var(--entry); }
.layer-group[data-layer="composition"] { --layer-color: var(--composition); }
.layer-group[data-layer="application"] { --layer-color: var(--application); }
.layer-group[data-layer="domain"] { --layer-color: var(--domain); }
.layer-group[data-layer="ports"] { --layer-color: var(--ports); }
.layer-group[data-layer="adapters"] { --layer-color: var(--adapters); }

.layer-label {
  display: flex; align-items: baseline; gap: 8px; margin: 0 0 10px;
  font-family: var(--mono); font-size: 10px; letter-spacing: .15em; text-transform: uppercase;
  color: var(--layer-color);
}
.layer-label span { color: var(--faint); letter-spacing: .03em; text-transform: none; font-size: 10px; }

.layer-boxes { display: flex; flex-wrap: wrap; gap: 7px; }
.atlas-node {
  --layer-color: var(--line);
  display: flex; flex-direction: column; align-items: flex-start; gap: 1px;
  min-width: 110px; padding: 7px 10px;
  border: 1px solid var(--line-soft); border-left: 2px solid var(--layer-color);
  border-radius: 6px; background: var(--panel); color: var(--ink);
  text-align: left; cursor: pointer;
  transition: transform .15s, border-color .15s, background .15s;
}
.atlas-node strong { font-family: var(--mono); font-size: 11px; font-weight: 700; }
.atlas-node span { font-size: 9.5px; color: var(--faint); line-height: 1.35; }
.atlas-node:hover { transform: translateY(-1px); border-color: var(--layer-color); background: var(--panel-2); }
.atlas-node.is-active { background: color-mix(in srgb, var(--layer-color) 13%, var(--panel)); border-color: var(--layer-color); box-shadow: 0 0 0 1px var(--layer-color) inset; }
.atlas-node.is-later { opacity: .55; border-style: dashed; }

.inspector {
  position: sticky; top: 86px;
  min-height: 340px; padding: 22px;
  border: 1px solid var(--line); border-radius: var(--radius);
  background: linear-gradient(180deg, var(--panel-2), var(--panel));
  box-shadow: var(--shadow);
}
.ins-kicker { font-family: var(--mono); font-size: 9.5px; letter-spacing: .18em; text-transform: uppercase; color: var(--faint); }
.ins-title { margin: 6px 0 2px; font-size: 1.3rem; }
.ins-layer { display: inline-flex; align-items: center; gap: 6px; margin-bottom: 14px; font-family: var(--mono); font-size: 10px; color: var(--layer-color, var(--cyan)); text-transform: uppercase; letter-spacing: .1em; }
.ins-layer i { width: 7px; height: 7px; border-radius: 50%; background: currentColor; }
.ins-role { color: var(--muted); font-size: .84rem; margin-bottom: 16px; }
.ins-block { margin-top: 14px; padding-top: 12px; border-top: 1px solid var(--line-soft); }
.ins-block h4 { margin: 0 0 6px; font-family: var(--mono); font-size: 9.5px; letter-spacing: .15em; text-transform: uppercase; color: var(--faint); font-weight: 600; }
.ins-block ul { margin: 0; padding-left: 16px; display: grid; gap: 4px; }
.ins-block li { font-size: 11.5px; color: var(--muted); line-height: 1.5; }
.ins-files { display: flex; flex-wrap: wrap; gap: 5px; }
.ins-files code { font-size: 9.5px; padding: 2px 5px; }
.ins-never { color: var(--red) !important; }
.ins-allowed { color: var(--green) !important; }

.checker {
  margin-top: 28px; padding: 22px;
  border: 1px solid var(--line); border-radius: var(--radius); background: var(--panel);
  display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 12px 28px; align-items: center;
}
.checker-copy h3 { margin-bottom: 4px; }
.checker-copy p { color: var(--muted); font-size: 12.5px; }
.checker-controls { display: flex; align-items: end; gap: 10px; }
.checker-controls label { display: grid; gap: 4px; font-family: var(--mono); font-size: 9.5px; text-transform: uppercase; letter-spacing: .1em; color: var(--faint); }
select {
  appearance: none; padding: 8px 28px 8px 10px;
  border: 1px solid var(--line); border-radius: 6px; background: var(--panel-2); color: var(--ink);
  font-family: var(--mono); font-size: 11px; cursor: pointer;
  background-image: linear-gradient(45deg, transparent 50%, var(--faint) 50%), linear-gradient(135deg, var(--faint) 50%, transparent 50%);
  background-position: calc(100% - 13px) 50%, calc(100% - 9px) 50%;
  background-size: 4px 4px, 4px 4px; background-repeat: no-repeat;
}
.checker-arrow { color: var(--faint); padding-bottom: 8px; }
.checker-verdict {
  grid-column: 1 / -1; margin: 0; padding: 10px 12px; border-radius: 7px;
  font-family: var(--mono); font-size: 12px; border: 1px solid var(--line-soft); background: var(--bg-2);
}
.checker-verdict.ok { color: var(--green); border-color: color-mix(in srgb, var(--green) 35%, transparent); }
.checker-verdict.bad { color: var(--red); border-color: color-mix(in srgb, var(--red) 35%, transparent); }
.checker-note { grid-column: 1 / -1; margin: 0; font-size: 10.5px; color: var(--faint); }

/* ── facts ───────────────────────────────────────────────────────────── */

.status-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 14px; }
.status-card {
  padding: 22px; border: 1px solid var(--line); border-top: 3px solid var(--line);
  border-radius: var(--radius); background: var(--panel);
}
.status-card[data-status="complete"] { border-top-color: var(--green); }
.status-card[data-status="partial"] { border-top-color: var(--amber); }
.status-card[data-status="unknown"] { border-top-color: var(--red); }
.status-tag { font-family: var(--mono); font-size: 10px; letter-spacing: .16em; text-transform: uppercase; color: var(--faint); margin-bottom: 8px; }
.status-card[data-status="complete"] .status-tag { color: var(--green); }
.status-card[data-status="partial"] .status-tag { color: var(--amber); }
.status-card[data-status="unknown"] .status-tag { color: var(--red); }
.status-card h3 { margin-bottom: 8px; }
.status-card p { font-size: 12.5px; color: var(--muted); }
.status-foot { margin-top: 14px; padding-top: 12px; border-top: 1px solid var(--line-soft); }
.status-foot strong { color: var(--ink); }

.identity-card {
  display: grid; grid-template-columns: 1fr 1fr; gap: 28px; align-items: center;
  margin-top: 18px; padding: 24px;
  border: 1px solid var(--line); border-radius: var(--radius);
  background: linear-gradient(120deg, var(--panel-2), var(--panel));
}
.identity-card h3 { font-family: var(--mono); font-size: 1.15rem; color: var(--cyan); margin-bottom: 6px; }
.identity-card p { font-size: 12.5px; color: var(--muted); }
.input-chips { display: flex; flex-wrap: wrap; gap: 7px; }
.input-chips span {
  font-family: var(--mono); font-size: 9.5px; color: var(--muted);
  padding: 5px 8px; border: 1px solid var(--line-soft); border-radius: 5px; background: var(--bg-2);
}
.input-chips em { display: block; font-style: normal; color: var(--cyan); font-size: 9px; letter-spacing: .1em; text-transform: uppercase; }

.cut-block { display: grid; grid-template-columns: minmax(0, .5fr) minmax(0, 1.5fr); gap: 28px; margin-top: 38px; align-items: start; }
.cut-block .data-table td:first-child { min-width: 96px; }
.cut-block .data-table td:first-child code { white-space: nowrap; }
.cut-copy h3 { margin-bottom: 8px; }
.cut-copy p { color: var(--muted); font-size: 12.5px; }

.table-wrap { overflow-x: auto; border: 1px solid var(--line); border-radius: var(--radius); background: var(--panel); }
.data-table { width: 100%; border-collapse: collapse; font-size: 12px; min-width: 520px; }
.data-table caption {
  caption-side: top; text-align: left; padding: 14px 16px 0;
  font-family: var(--mono); font-size: 9.5px; letter-spacing: .15em; text-transform: uppercase; color: var(--faint);
}
.data-table th {
  text-align: left; padding: 11px 14px; border-bottom: 1px solid var(--line);
  font-family: var(--mono); font-size: 9px; letter-spacing: .14em; text-transform: uppercase; color: var(--faint);
  white-space: nowrap;
}
.data-table td { padding: 10px 14px; border-bottom: 1px solid var(--line-soft); color: var(--muted); vertical-align: top; }
.data-table tr:last-child td { border-bottom: 0; }
.data-table td:first-child { color: var(--ink); }
.data-table tbody tr:hover td { background: color-mix(in srgb, var(--cyan) 4%, transparent); }
.data-table code { font-size: 10.5px; }

.playground {
  display: grid; grid-template-columns: minmax(0, .8fr) minmax(0, 1.2fr); gap: 28px;
  margin-top: 38px; padding: 24px;
  border: 1px solid var(--line); border-radius: var(--radius); background: var(--panel);
}
.playground h3 { margin-bottom: 14px; }
.switch { display: flex; align-items: flex-start; gap: 8px; margin: 8px 0; font-size: 12px; color: var(--muted); cursor: pointer; }
.switch input { margin: 3px 0 0; accent-color: var(--cyan); }
.switch code { font-size: .92em; }
.playground-controls .button { margin-top: 12px; }
.output-head { display: flex; align-items: center; justify-content: space-between; gap: 12px; margin-bottom: 10px; }
.output-head span { font-family: var(--mono); font-size: 9.5px; letter-spacing: .16em; text-transform: uppercase; color: var(--faint); }
.code-block {
  margin: 0; padding: 16px; overflow: auto;
  border: 1px solid var(--line-soft); border-radius: var(--radius-sm); background: var(--bg-2);
  font-family: var(--mono); font-size: 11px; line-height: 1.7; color: var(--muted); min-height: 150px;
}
.playground-note { margin-top: 12px; font-size: 10.5px; color: var(--faint); }

/* ── impact ──────────────────────────────────────────────────────────── */

.command-card {
  display: grid; grid-template-columns: minmax(0, 1.2fr) minmax(0, .8fr); gap: 24px;
  padding: 22px; border: 1px solid var(--line); border-radius: var(--radius);
  background: linear-gradient(120deg, var(--panel-2), var(--panel));
}
.command {
  margin: 0; padding: 12px 14px; border-radius: 7px;
  background: var(--bg-2); border: 1px solid var(--line-soft);
  font-family: var(--mono); font-size: 11.5px; color: var(--cyan); overflow-x: auto; white-space: pre;
}
.command.small { font-size: 10.5px; padding: 9px 11px; }
.command-notes p { font-size: 11.5px; color: var(--muted); margin-bottom: 8px; }
.command-notes strong { color: var(--ink); }

.pipeline {
  display: flex; gap: 6px; flex-wrap: wrap; margin: 22px 0;
  padding: 10px; border: 1px solid var(--line-soft); border-radius: 999px; background: var(--panel);
}
.pipeline span {
  flex: 1; min-width: 64px; text-align: center; padding: 6px 8px; border-radius: 999px;
  font-family: var(--mono); font-size: 9.5px; letter-spacing: .08em; text-transform: uppercase;
  color: var(--faint); transition: background .2s, color .2s;
}
.pipeline span.is-active { background: var(--cyan); color: var(--bg); font-weight: 700; }
.pipeline span.is-done { color: var(--cyan); background: color-mix(in srgb, var(--cyan) 9%, transparent); }

.stepper {
  display: grid; grid-template-columns: 190px minmax(0, 1fr); gap: 0;
  border: 1px solid var(--line); border-radius: var(--radius); overflow: hidden; background: var(--panel);
}
.step-rail {
  display: flex; flex-direction: column; gap: 2px; padding: 14px 10px;
  border-right: 1px solid var(--line-soft); background: var(--bg-2);
  max-height: 560px; overflow: auto;
}
.step-button {
  display: flex; align-items: baseline; gap: 8px; width: 100%;
  padding: 7px 9px; border: 0; border-radius: 6px; background: transparent;
  color: var(--muted); text-align: left; cursor: pointer; font-family: var(--mono); font-size: 10.5px; line-height: 1.35;
}
.step-button span { font-size: 9px; color: var(--faint); }
.step-button:hover { background: var(--panel); color: var(--ink); }
.step-button.is-active { background: color-mix(in srgb, var(--cyan) 12%, var(--panel)); color: var(--ink); box-shadow: inset 2px 0 0 var(--cyan); }
.step-button.is-active span { color: var(--cyan); }

.step-panel { padding: 26px 28px; min-height: 380px; }
.step-stage { margin-bottom: 6px; font-family: var(--mono); font-size: 9.5px; letter-spacing: .16em; text-transform: uppercase; color: var(--cyan); }
.step-layers { display: flex; flex-wrap: wrap; align-items: center; gap: 5px; margin-bottom: 10px; }
.step-layers > span { font-family: var(--mono); font-size: 8.5px; letter-spacing: .12em; text-transform: uppercase; color: var(--faint); margin-right: 2px; }
.layer-link {
  padding: 3px 7px; border: 1px solid var(--line-soft); border-radius: 999px;
  background: var(--bg-2); color: var(--muted); font-family: var(--mono); font-size: 9px; cursor: pointer;
}
.layer-link:hover { border-color: var(--cyan); color: var(--cyan); }
.step-panel h3 { font-family: var(--serif); font-size: 1.65rem; font-weight: 600; margin-bottom: 12px; }
.step-body { color: var(--muted); font-size: 13px; max-width: 74ch; }
.step-body p { margin-bottom: 10px; }
.step-why { margin-top: 14px; padding: 10px 12px; border-left: 2px solid var(--amber); background: color-mix(in srgb, var(--amber) 6%, transparent); font-size: 12px; color: var(--muted); }
.step-why strong { color: var(--amber); font-family: var(--mono); font-size: 9.5px; letter-spacing: .12em; text-transform: uppercase; display: block; margin-bottom: 3px; }
.step-evidence { display: flex; flex-wrap: wrap; gap: 5px; margin-top: 14px; }
.step-evidence a { font-family: var(--mono); font-size: 9.5px; padding: 3px 6px; border: 1px solid var(--line-soft); border-radius: 4px; color: var(--faint); text-decoration: none; }
.step-evidence a:hover { color: var(--cyan); border-color: var(--cyan); }
.step-snippet { margin-top: 14px; }
.step-snippet pre {
  margin: 0; padding: 10px 12px; overflow-x: auto;
  border: 1px solid var(--line-soft); border-radius: 6px; background: var(--bg-2);
  font-family: var(--mono); font-size: 10.5px; line-height: 1.6; color: var(--muted); white-space: pre;
}

.step-controls {
  grid-column: 2; display: flex; align-items: center; justify-content: space-between; gap: 12px;
  padding: 12px 28px; border-top: 1px solid var(--line-soft); background: var(--bg-2);
}
.step-count { font-family: var(--mono); font-size: 10px; color: var(--faint); }

.real-runs { margin-top: 52px; }
.real-head { max-width: 760px; margin-bottom: 20px; }
.real-head h3 { margin-bottom: 6px; }
.real-head p { color: var(--muted); font-size: 12.5px; }
.real-runs { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 16px; }
.real-head { grid-column: 1 / -1; }
.run-card {
  padding: 20px; border: 1px solid var(--line); border-radius: var(--radius);
  background: var(--panel); display: flex; flex-direction: column; gap: 12px;
}
.run-card header { display: flex; justify-content: space-between; align-items: flex-start; gap: 12px; }
.run-kind { margin: 0 0 2px; font-family: var(--mono); font-size: 9px; letter-spacing: .14em; text-transform: uppercase; color: var(--faint); }
.run-card h4 { font-family: var(--serif); font-size: 1.35rem; font-weight: 600; }
.run-note { font-size: 11.5px; color: var(--muted); }
.run-foot { font-family: var(--mono); font-size: 9.5px; color: var(--faint); }
.run-table { overflow-x: auto; }
.run-table table { width: 100%; border-collapse: collapse; font-size: 10.5px; }
.run-table th { text-align: left; padding: 5px 7px; border-bottom: 1px solid var(--line); font-family: var(--mono); font-size: 8.5px; letter-spacing: .1em; text-transform: uppercase; color: var(--faint); }
.run-table td { padding: 5px 7px; border-bottom: 1px solid var(--line-soft); color: var(--muted); }
.run-table td:first-child { color: var(--ink); }
.run-table .num { text-align: right; font-family: var(--mono); }
.run-table tr:last-child td { border-bottom: 0; }
.run-table .row-entry td { color: var(--green); }
.run-table .row-seed td:first-child { color: var(--amber); }
.run-table.compact { margin-top: 12px; }
.run-table.compact table { font-size: 10px; }

.fact-list { display: grid; gap: 1px; margin-top: 6px; }
.fact-row { display: grid; grid-template-columns: 20px minmax(0, 1fr) auto; gap: 7px; align-items: baseline; padding: 5px 0; border-bottom: 1px solid var(--line-soft); }
.fact-row:last-child { border-bottom: 0; }
.fact-row.block { grid-template-columns: minmax(0, 1fr); }
.fact-depth { font-family: var(--mono); font-size: 9px; color: var(--faint); }
.fact-main { min-width: 0; display: flex; flex-wrap: wrap; align-items: baseline; gap: 2px 7px; }
.fact-main strong { font-family: var(--mono); font-size: 10px; color: var(--ink); }
.fact-main span { font-family: var(--mono); font-size: 9px; color: var(--faint); overflow-wrap: anywhere; }
.fact-conf { font-family: var(--mono); font-size: 9.5px; color: var(--cyan); }
.fact-row.seed .fact-main strong { color: var(--amber); }
.fact-row.entry .fact-main strong { color: var(--green); }
.fact-row.block .fact-main { display: grid; gap: 2px; }

/* ── simulator ───────────────────────────────────────────────────────── */

.simulator {
  margin-top: 52px; padding: 24px;
  border: 1px solid var(--line); border-radius: var(--radius);
  background: linear-gradient(180deg, var(--panel-2), var(--panel));
}
.sim-head { display: flex; flex-wrap: wrap; justify-content: space-between; gap: 18px; align-items: flex-start; }
.sim-head h3 { margin-bottom: 6px; }
.sim-head p { color: var(--muted); font-size: 12.5px; max-width: 64ch; }
.sim-scenarios { display: flex; flex-wrap: wrap; gap: 6px; justify-content: flex-end; max-width: 520px; }

.sim-controls {
  display: flex; flex-wrap: wrap; align-items: end; gap: 14px;
  margin: 20px 0 14px; padding: 14px;
  border: 1px solid var(--line-soft); border-radius: var(--radius-sm); background: var(--bg-2);
}
.field { display: grid; gap: 4px; font-family: var(--mono); font-size: 9.5px; letter-spacing: .1em; text-transform: uppercase; color: var(--faint); }
.field input {
  width: 84px; padding: 7px 8px; border: 1px solid var(--line); border-radius: 5px;
  background: var(--panel); color: var(--ink); font-family: var(--mono); font-size: 11px;
}
.sim-controls .switch { margin: 0; max-width: 220px; font-size: 11px; }
.sim-actions { display: flex; gap: 6px; margin-left: auto; }

.sim-legend { display: flex; flex-wrap: wrap; gap: 12px; align-items: center; margin-bottom: 12px; font-family: var(--mono); font-size: 9.5px; color: var(--faint); }
.sim-legend span { display: inline-flex; align-items: center; gap: 5px; }
.dot { display: inline-block; width: 8px; height: 8px; border-radius: 50%; background: var(--line); }
.dot.seed { background: var(--amber); }
.dot.reached { background: var(--cyan); }
.dot.unreached { background: var(--faint); opacity: .5; }
.dot.entry { background: var(--green); }
.line { display: inline-block; width: 18px; height: 0; border-top: 2px solid var(--faint); }
.line.followed { border-color: var(--cyan); }
.line.rejected { border-color: var(--red); border-top-style: dashed; }
.line.ignored { border-color: var(--faint); border-top-style: dotted; }
.legend-note { margin-left: auto; color: var(--muted); }

.sim-stage { display: grid; grid-template-columns: minmax(0, 1fr) 250px; gap: 16px; align-items: start; }
.sim-canvas { min-width: 0; overflow-x: auto; overscroll-behavior-x: contain; border-radius: var(--radius-sm); }
#walk-svg {
  width: 100%; height: auto; display: block;
  border: 1px solid var(--line-soft); border-radius: var(--radius-sm);
  background:
    radial-gradient(600px 300px at 30% 20%, rgba(77, 212, 247, .05), transparent 70%),
    var(--bg-2);
}
.sim-node { cursor: pointer; }
.sim-node rect { fill: var(--panel); stroke: var(--line); stroke-width: 1.1; transition: stroke .25s, fill .25s; }
.sim-node .sim-label { fill: var(--ink); font-family: var(--mono); font-size: 11px; font-weight: 700; }
.sim-node .sim-sub { fill: var(--faint); font-family: var(--mono); font-size: 8.5px; }
.sim-node .sim-kind { fill: var(--faint); font-family: var(--mono); font-size: 7.5px; letter-spacing: .1em; text-transform: uppercase; }
.sim-node.is-seed rect { stroke: var(--amber); fill: color-mix(in srgb, var(--amber) 9%, var(--panel)); }
.sim-node.is-seed .sim-label { fill: var(--amber); }
.sim-node.is-reached rect { stroke: var(--cyan-dim); }
.sim-node.is-current rect { stroke: var(--cyan); stroke-width: 2.2; filter: drop-shadow(0 0 8px rgba(77, 212, 247, .35)); }
.sim-node.is-unreached rect { opacity: .28; stroke-dasharray: 3 3; }
.sim-node.is-unreached .sim-label, .sim-node.is-unreached .sim-sub, .sim-node.is-unreached .sim-kind { opacity: .35; }
.sim-node.is-hidden { opacity: 0; pointer-events: none; }
.sim-node:not(.is-hidden):hover rect { stroke: var(--amber); }
.sim-edge { fill: none; stroke: var(--line); stroke-width: 1.1; transition: opacity .25s, stroke .25s; }
.sim-edge.followed { stroke: var(--line); opacity: .28; }
.sim-edge.followed.is-live { stroke: var(--cyan); opacity: 1; }
.sim-edge.rejected { stroke: var(--red); stroke-dasharray: 4 4; opacity: .55; }
.sim-edge.ignored { stroke: var(--faint); stroke-dasharray: 2 5; opacity: .35; }
.sim-edge.is-hidden { opacity: 0; }
.sim-edge.hot { stroke: var(--amber); stroke-width: 2.2; opacity: 1; }
.sim-arrow-head { fill: var(--faint); }
.sim-axis { fill: var(--faint); font-family: var(--mono); font-size: 8.5px; letter-spacing: .12em; text-transform: uppercase; }
.sim-axis-line { stroke: var(--line-soft); stroke-width: 1; stroke-dasharray: 2 6; }
.sim-node:focus-visible { outline: none; }
.sim-node:focus-visible rect { stroke: var(--amber); stroke-width: 2.4; }
.sim-route rect { fill: color-mix(in srgb, var(--green) 10%, var(--panel)); stroke: var(--green); stroke-width: 1; }
.sim-route text { fill: var(--green); font-family: var(--mono); font-size: 9px; font-weight: 700; }
.sim-route-link { fill: none; stroke: var(--green); stroke-dasharray: 3 4; opacity: .55; }
.sim-unreached-title { fill: var(--faint); font-family: var(--mono); font-size: 9px; letter-spacing: .14em; text-transform: uppercase; }
.sim-hit { fill: transparent; }

.sim-readout {
  padding: 14px; border: 1px solid var(--line-soft); border-radius: var(--radius-sm);
  background: var(--panel); position: sticky; top: 86px;
}
.readout-top { display: flex; justify-content: space-between; align-items: center; gap: 8px; margin-bottom: 12px; }
.readout-top .mini-kicker { margin: 0; }
.readout-stats { display: grid; grid-template-columns: 1fr 1fr; gap: 10px; margin: 0 0 12px; }
.readout-stats div { padding: 7px 8px; border: 1px solid var(--line-soft); border-radius: 5px; background: var(--bg-2); }
.readout-stats dt { font-family: var(--mono); font-size: 8px; letter-spacing: .12em; text-transform: uppercase; color: var(--faint); }
.readout-stats dd { margin: 2px 0 0; font-family: var(--serif); font-size: 1.35rem; color: var(--ink); }
.readout-cuts, .readout-entrypoints { display: grid; gap: 4px; }
.readout-cuts:empty, .readout-entrypoints:empty { display: none; }
.cut-item, .entry-item {
  font-family: var(--mono); font-size: 9.5px; line-height: 1.45;
  padding: 5px 7px; border-radius: 4px; border: 1px solid var(--line-soft); color: var(--muted);
}
.cut-item { border-left: 2px solid var(--amber); }
.entry-item { border-left: 2px solid var(--green); color: var(--green); }
.readout-empty { font-family: var(--mono); font-size: 9.5px; color: var(--faint); }

.sim-table-wrap { margin-top: 16px; overflow-x: auto; }
.sim-table { min-width: 640px; }

.sim-unreached { display: flex; flex-wrap: wrap; gap: 6px; margin-top: 10px; }
.sim-unreached span {
  font-family: var(--mono); font-size: 9px; color: var(--faint);
  padding: 3px 7px; border: 1px dashed var(--line); border-radius: 999px;
}
.sim-unreached strong { font-family: var(--mono); font-size: 8.5px; letter-spacing: .14em; text-transform: uppercase; color: var(--faint); margin-right: 4px; }
.sim-policy { margin-top: 10px; }
.sim-policy summary { font-size: 11px; padding: 9px 12px; }
.sim-policy-list { display: grid; gap: 4px; }
.sim-policy-item { font-family: var(--mono); font-size: 9.5px; line-height: 1.5; color: var(--muted); padding: 4px 8px; border-left: 2px solid var(--line); }
.sim-policy-item.rejected { border-left-color: var(--red); }
.sim-policy-item.ignored { border-left-color: var(--faint); }
.sim-policy-item em { display: block; color: var(--faint); font-style: normal; }

.readout-selection { margin-top: 12px; padding-top: 10px; border-top: 1px solid var(--line-soft); }
.readout-selection:empty { display: none; }
.readout-selection strong { display: block; font-family: var(--mono); font-size: 11px; color: var(--ink); }
.readout-selection .readout-empty { margin-top: 3px; }
.sim-table caption { padding-bottom: 10px; }
.sim-note { margin-top: 14px; font-size: 10.5px; color: var(--faint); max-width: 90ch; }

/* ── fixture and deep dives ──────────────────────────────────────────── */

.fixture { margin-top: 18px; }
.fixture-body { padding: 16px; }
.fixture-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 14px; }
.fixture-file {
  margin: 0 0 5px; font-family: var(--mono); font-size: 9.5px; letter-spacing: .08em;
  text-transform: uppercase; color: var(--cyan);
}
.fixture pre {
  margin: 0; padding: 12px; overflow-x: auto;
  border: 1px solid var(--line-soft); border-radius: var(--radius-sm); background: var(--bg-2);
  font-family: var(--mono); font-size: 10.5px; line-height: 1.7; color: var(--muted);
}
.fixture-note { margin-top: 14px; font-size: 11px; color: var(--faint); }

.deep-dives { margin-top: 44px; }
.deep-dives > h3 { margin-bottom: 14px; }
details {
  margin-bottom: 8px; border: 1px solid var(--line-soft); border-radius: var(--radius-sm);
  background: var(--panel); overflow: hidden;
}
summary {
  display: flex; align-items: baseline; gap: 10px; padding: 13px 16px;
  cursor: pointer; list-style: none; font-size: 13px; color: var(--ink);
}
summary::-webkit-details-marker { display: none; }
summary span { font-family: var(--mono); font-size: 9px; color: var(--cyan); }
summary em { margin-left: auto; font-family: var(--mono); font-size: 9px; font-style: normal; color: var(--faint); letter-spacing: .08em; }
summary:hover { background: var(--panel-2); }
details[open] summary { border-bottom: 1px solid var(--line-soft); }
.details-body { padding: 16px; color: var(--muted); font-size: 12.5px; }
.details-body p { margin-bottom: 8px; }

/* ── queries ─────────────────────────────────────────────────────────── */

.query-grid { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 14px; }
.query-card { min-width: 0; padding: 20px; border: 1px solid var(--line); border-radius: var(--radius); background: var(--panel); display: flex; flex-direction: column; gap: 10px; }
.command-card > *, .query-card > *, .run-card > *, .playground > *, .identity-card > *, .cut-block > *, .real-runs > *, .stepper > * { min-width: 0; }
.command, .run-table { max-width: 100%; }
.query-card header { display: flex; gap: 10px; align-items: flex-start; }
.query-icon {
  display: grid; place-items: center; flex: 0 0 30px; width: 30px; height: 30px; border-radius: 7px;
  background: color-mix(in srgb, var(--cyan) 12%, var(--panel)); border: 1px solid color-mix(in srgb, var(--cyan) 30%, transparent);
  color: var(--cyan); font-family: var(--mono); font-size: 12px; font-weight: 700;
}
.query-card h3 { font-family: var(--mono); font-size: 1rem; color: var(--ink); }
.query-card header p { margin: 2px 0 0; font-size: 10.5px; color: var(--faint); }
.query-card > p { font-size: 11.5px; color: var(--muted); }
.query-card .ref { margin-top: auto; }
.choose-table { margin-top: 18px; }

/* ── trust ───────────────────────────────────────────────────────────── */

.trust-lanes { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 16px; }
.lane { padding: 22px; border: 1px solid var(--line); border-radius: var(--radius); background: var(--panel); }
.lane[data-trust="untrusted"] { border-top: 3px solid var(--cyan); }
.lane[data-trust="trusted"] { border-top: 3px solid var(--green); }
.lane header { display: flex; align-items: center; gap: 10px; margin-bottom: 10px; }
.lane header h3 { font-family: var(--mono); font-size: 1rem; }
.lane > p { font-size: 12px; color: var(--muted); }
.lane-steps { list-style: none; margin: 14px 0; padding: 0; display: grid; gap: 8px; }
.lane-steps li { display: flex; gap: 10px; font-size: 11.5px; color: var(--muted); line-height: 1.5; }
.lane-steps span { font-family: var(--mono); font-size: 9px; color: var(--cyan); padding-top: 2px; }
.lane-invariants { margin: 0; padding: 12px 0 0 16px; border-top: 1px solid var(--line-soft); display: grid; gap: 5px; }
.lane-invariants li { font-size: 11px; color: var(--faint); }

.callout {
  margin-top: 18px; padding: 18px 20px;
  border: 1px solid color-mix(in srgb, var(--cyan) 32%, transparent); border-left: 3px solid var(--cyan);
  border-radius: var(--radius-sm); background: color-mix(in srgb, var(--cyan) 6%, var(--panel));
  font-size: 13px; color: var(--muted);
}
.callout strong { color: var(--ink); }

.invariants { display: grid; grid-template-columns: 220px minmax(0, 1fr); gap: 24px; margin-top: 38px; }
.invariants h3 { margin-top: 4px; }
.invariants ul { margin: 0; padding-left: 18px; display: grid; gap: 8px; }
.invariants li { font-size: 12px; color: var(--muted); }
.invariants strong { color: var(--ink); }

/* ── surfaces ────────────────────────────────────────────────────────── */

.surface-diagram {
  display: grid; grid-template-columns: 1fr 1fr 1fr auto 1.3fr; gap: 10px; align-items: stretch;
  margin-bottom: 24px; padding: 18px;
  border: 1px solid var(--line); border-radius: var(--radius); background: var(--panel);
}
.surface-node, .surface-core {
  padding: 12px 14px; border: 1px solid var(--line-soft); border-radius: var(--radius-sm); background: var(--bg-2);
}
.surface-node strong, .surface-core strong { display: block; font-family: var(--mono); font-size: 11px; color: var(--ink); }
.surface-node span, .surface-core span { display: block; margin-top: 4px; font-size: 9.5px; color: var(--faint); line-height: 1.4; }
.surface-core { border-color: color-mix(in srgb, var(--cyan) 40%, transparent); background: color-mix(in srgb, var(--cyan) 6%, var(--bg-2)); }
.surface-core strong { color: var(--cyan); }
.surface-merge { display: grid; place-items: center; color: var(--faint); font-size: 20px; }

.mcp-note {
  margin-top: 18px; padding: 18px 20px;
  border: 1px solid var(--line); border-left: 3px solid var(--green); border-radius: var(--radius-sm);
  background: color-mix(in srgb, var(--green) 5%, var(--panel)); font-size: 12.5px; color: var(--muted);
}
.mcp-note strong { color: var(--green); }

/* ── sources ─────────────────────────────────────────────────────────── */

.verdict {
  display: grid; grid-template-columns: 220px minmax(0, 1fr); gap: 28px;
  padding: 24px; border: 1px solid var(--line); border-radius: var(--radius);
  background: linear-gradient(120deg, var(--panel-2), var(--panel));
}
.verdict h3 { margin-top: 4px; font-family: var(--serif); font-size: 1.5rem; font-weight: 600; }
.verdict-body p { font-size: 12.5px; color: var(--muted); }
.verdict-body strong { color: var(--ink); }
.license { padding-top: 10px; border-top: 1px solid var(--line-soft); font-size: 11px !important; color: var(--faint) !important; }


.limits { display: grid; grid-template-columns: 220px minmax(0, 1fr); gap: 24px; margin-top: 36px; }
.limits ul { margin: 0; padding-left: 18px; display: grid; gap: 8px; }
.limits li { font-size: 12px; color: var(--muted); }

.reproduce { margin-top: 34px; }
.reproduce .code-block { margin-top: 8px; min-height: 0; }

.page-footer {
  display: flex; justify-content: space-between; align-items: baseline; gap: 18px; flex-wrap: wrap;
  margin-top: 64px; padding-top: 22px; border-top: 1px solid var(--line-soft);
  font-family: var(--mono); font-size: 10px; color: var(--faint);
}
.page-footer p { margin: 0; }
.page-footer strong { color: var(--ink); }

/* ── reveal ──────────────────────────────────────────────────────────── */

.reveal { clip-path: inset(100% 0 0 0); transition: clip-path .7s var(--ease-draw); }
.reveal.is-in { clip-path: inset(0 0 0 0); }

/* ── responsive ──────────────────────────────────────────────────────── */

@media (max-width: 1180px) {
  .shell { grid-template-columns: 172px minmax(0, 1fr); gap: 34px; padding: 0 24px; }
  .topnav { display: none; }
  .query-grid { grid-template-columns: 1fr 1fr; }
  .surface-diagram { grid-template-columns: 1fr 1fr auto 1.2fr; }
  .surface-node:nth-child(3) { grid-column: 1 / -1; }
  .surface-merge { grid-column: 3; grid-row: 2; }
}

@media (max-width: 980px) {
  .shell { grid-template-columns: minmax(0, 1fr); padding: 0 22px; }
  .rail { display: none; }
  .atlas-grid { grid-template-columns: 1fr; }
  .inspector { position: static; }
  .stat-strip { grid-template-columns: 1fr 1fr; }
  .identity-card, .cut-block, .playground, .command-card, .trust-lanes, .real-runs { grid-template-columns: 1fr; }
  .invariants, .verdict, .limits { grid-template-columns: 1fr; gap: 10px; }
  .stepper { grid-template-columns: 1fr; }
  .step-rail { flex-direction: row; overflow-x: auto; border-right: 0; border-bottom: 1px solid var(--line-soft); max-height: none; }
  .step-button { width: auto; white-space: nowrap; }
  .step-button span { display: none; }
  .step-panel { min-height: 0; }
  .step-controls { grid-column: 1; }
  .sim-stage { grid-template-columns: 1fr; }
  .sim-readout { position: static; }
  .sim-canvas #walk-svg { min-width: 820px; }
}

@media (max-width: 760px) {
  section { padding: 64px 0 56px; }
  .hero { padding-top: 38px; }
  h1 { font-size: clamp(2.7rem, 12vw, 4rem); }
  .status-grid, .query-grid, .fixture-grid { grid-template-columns: 1fr; }
  .checker { grid-template-columns: 1fr; }
  .stack-mobile { min-width: 0; }
  .stack-mobile caption { display: block; width: 100%; padding: 12px 14px 0; }
  .stack-mobile thead { display: none; }
  .stack-mobile, .stack-mobile tbody, .stack-mobile tr, .stack-mobile td { display: block; width: 100%; }
  .stack-mobile tr { padding: 10px 14px; border-bottom: 1px solid var(--line); }
  .stack-mobile tr:last-child { border-bottom: 0; }
  .stack-mobile td { border: 0; padding: 2px 0; }
  .stack-mobile td:first-child { font-family: var(--mono); font-size: 10.5px; color: var(--ink); }
  .stack-mobile td:nth-child(2)::before { content: "→ "; color: var(--faint); }
  .stack-mobile td:nth-child(3) { color: var(--faint); font-size: 11px; }
  .sim-table th:nth-child(6), .sim-table td:nth-child(6) { display: none; }
  .checker-controls { flex-wrap: wrap; }
  .surface-diagram { grid-template-columns: 1fr; }
  .surface-merge { grid-column: 1; transform: rotate(90deg); }
  .pipeline { border-radius: var(--radius-sm); }
  .pipeline span { min-width: 48px; font-size: 8.5px; }
  .sim-controls { align-items: stretch; }
  .sim-actions { margin-left: 0; }
  .fact-card { font-size: 10.5px; padding: 16px; }
  .topbar { padding: 10px 16px; }
  .build-chip { display: none; }
  .shell { padding: 0 16px; }
}

@media (max-width: 520px) {
  .stat-strip { grid-template-columns: 1fr; }
  .layer-boxes { flex-direction: column; }
  .atlas-node { width: 100%; }
  .step-panel { padding: 18px; }
  .step-controls { padding: 10px 18px; }
  .simulator { padding: 14px; }
  .sim-scenarios { justify-content: flex-start; }
}

/* ── print and motion ────────────────────────────────────────────────── */

@media print {
  .topbar, .rail, .sim-controls, .sim-scenarios, .step-controls, .hero-actions, .icon-button { display: none !important; }
  .shell { display: block; padding: 0; }
  body { background: #fff; color: #111; }
  section { break-inside: avoid; padding: 24px 0; }
  .sim-node.is-hidden, .sim-edge.is-hidden { opacity: 1 !important; }
  details { break-inside: avoid; }
}

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { transition: none !important; animation: none !important; }
  .reveal { clip-path: none; }
}

/* ── bounds and simulator help ──────────────────────────────────────── */

.bounds-help {
  margin: 0 0 34px; padding: 18px 20px;
  border: 1px solid var(--line); border-radius: 10px; background: var(--panel);
}
.bounds-help h3 { margin: 0 0 12px; font-size: 15px; letter-spacing: -.01em; }
.bounds-help dl { display: grid; grid-template-columns: max-content 1fr; gap: 9px 20px; margin: 0; }
.bounds-help dt { font-family: var(--mono); font-size: 11px; color: var(--cyan); }
.bounds-help dd { margin: 0; font-size: 13.5px; line-height: 1.62; color: var(--muted); }
.bounds-help strong { color: var(--ink); }
.sim-help {
  flex: 1 0 100%; margin: 2px 0 0; padding-top: 10px;
  border-top: 1px solid var(--line-soft);
  font-size: 12.5px; line-height: 1.6; color: var(--muted);
}
.sim-help strong { color: var(--ink); }

@media (max-width: 720px) {
  .bounds-help { padding: 14px; }
  .bounds-help dl { grid-template-columns: 1fr; gap: 2px; }
  .bounds-help dd { margin-bottom: 9px; }
}
}

/* ── concepts shell ─────────────────────────────────────────────────── */
.docs { background: var(--bg); padding-bottom: 60px; overflow-x: clip; }
.explorer .docs { padding-bottom: 0; }
.docs .explorer-head { padding-bottom: 32px; }
.docs kbd {
  display: inline-block; padding: 0 .35em; border: 1.5px solid var(--line); border-bottom-width: 3px;
  font-family: var(--display); font-stretch: condensed; font-weight: 800; font-size: .92em; line-height: 1.35; color: var(--ink);
}
.docs-inner { max-width: 1180px; margin: 0 auto; padding: 0 28px; }
.doc-section, #simulator { scroll-margin-top: 42px; }
#concept-runs { margin-top: 64px; scroll-margin-top: 42px; }
#concept-runs .real-runs { margin-top: 0; }
#simulator { margin-top: 64px; }

/* ── inputs: no native controls ─────────────────────────────────────── */
.docs input[type="number"],
.docs input[type="search"],
.docs select {
  appearance: none; -webkit-appearance: none;
  height: 32px; padding: 0 28px 0 9px;
  border: 1px solid var(--line); border-radius: 5px;
  background: var(--panel-2); color: var(--ink);
  font-family: var(--mono); font-size: 11px; outline: none;
}
.docs input[type="number"] { padding-right: 9px; width: 78px; }
.docs input[type="number"]::-webkit-inner-spin-button,
.docs input[type="number"]::-webkit-outer-spin-button { appearance: none; margin: 0; }
.docs input[type="number"] { -moz-appearance: textfield; }
.docs input[type="search"] { width: 100%; max-width: 340px; padding-right: 10px; }
.docs select {
  padding-right: 28px;
  background-image: linear-gradient(45deg, transparent 50%, var(--faint) 50%), linear-gradient(135deg, var(--faint) 50%, transparent 50%);
  background-position: calc(100% - 13px) 50%, calc(100% - 9px) 50%;
  background-size: 4px 4px, 4px 4px; background-repeat: no-repeat;
}
.docs input:focus, .docs select:focus { border-color: var(--cyan); box-shadow: 0 0 0 2px color-mix(in srgb, var(--cyan) 18%, transparent); }
.docs .switch { align-items: center; }
.docs .switch input[type="checkbox"] {
  appearance: none; -webkit-appearance: none;
  display: inline-grid; place-items: center;
  width: 17px; height: 17px; min-width: 17px; margin: 0;
  border: 1px solid var(--line); border-radius: 4px;
  background: var(--panel-2); cursor: pointer;
}
.docs .switch input[type="checkbox"]:hover { border-color: var(--cyan); }
.docs .switch input[type="checkbox"]:checked { background: var(--cyan); border-color: var(--cyan); }
.docs .switch input[type="checkbox"]:checked::after {
  content: ""; width: 4px; height: 8px;
  border: solid #05121b; border-width: 0 2px 2px 0;
  transform: rotate(45deg) translate(-1px, -1px);
}
.docs .field input { width: 84px; }

/* ── docs typography: body a little larger than the app chrome ──────── */
.docs p, .docs li, .docs td { font-size: 14px; line-height: 1.65; }
.docs .section-lede { font-size: 15px; }
.docs .info-role, .docs .playground-note, .docs .run-note { font-size: 12.5px; }
.docs .data-table { font-size: 13px; }
.docs .data-table code { font-size: 11.5px; }
.docs .ref { font-size: 11px; }
.docs .sim-readout { position: static; }
.docs .simulator { margin-top: 0; }

.docs .definitions { margin: 0; }

@media (max-width: 980px) {
  .docs-inner { padding: 0 16px; }
}

/* ── halftone identity for the concepts ─────────────────────────────── */

/* Every section rises from a halftone horizon: dots shrink as the ground recedes. */
.docs .doc-section { position: relative; isolation: isolate; border-top: 0; }
.docs .doc-section::before {
  content: ""; position: absolute; z-index: -1; left: 50%; width: 100vw; top: 0; height: 104px;
  transform: translateX(-50%); pointer-events: none;
  background-color: var(--ground-3); opacity: .55;
  -webkit-mask: var(--ht-am) repeat-x 0 0 / 16px 104px; mask: var(--ht-am) repeat-x 0 0 / 16px 104px;
}
[data-theme="light"] .docs .doc-section::before { background-color: var(--night); opacity: .14; }
.docs .doc-section::after {
  content: ""; position: absolute; z-index: -1; left: 50%; width: 100vw; top: 0; height: var(--stroke);
  transform: translateX(-50%); background: var(--line);
}

.docs h1, .docs h2 {
  font-family: var(--display); font-stretch: condensed; font-weight: 800;
  letter-spacing: -.01em; line-height: .98;
}
.docs h2 { font-size: clamp(2.4rem, 5vw, 4rem); max-width: 20ch; }
.docs .section-head h2 { display: grid; grid-template-columns: auto minmax(0, 1fr); column-gap: .3em; max-width: 24ch; }
.docs .section-head h2::before { content: ""; width: var(--title-mark, 1em); height: var(--title-mark, 1em); background: var(--ornament) center / contain no-repeat; }
.docs #facts { --ornament: url("assets/orn-facts-dark.png"); }
.docs #surfaces { --ornament: url("assets/orn-surfaces-dark.png"); }
.docs #trust { --ornament: url("assets/orn-trust-dark.png"); }
.docs .explorer-head { --ornament: url("assets/orn-architecture-dark.png"); }
.docs #concept-rules { --ornament: url("assets/orn-walk-dark.png"); }
.docs #sources { --ornament: url("assets/orn-limits-dark.png"); }
[data-theme="light"] .docs #facts { --ornament: url("assets/orn-facts-light.png"); }
[data-theme="light"] .docs #surfaces { --ornament: url("assets/orn-surfaces-light.png"); }
[data-theme="light"] .docs #trust { --ornament: url("assets/orn-trust-light.png"); }
[data-theme="light"] .docs .explorer-head { --ornament: url("assets/orn-architecture-light.png"); }
[data-theme="light"] .docs #concept-rules { --ornament: url("assets/orn-walk-light.png"); }
[data-theme="light"] .docs #sources { --ornament: url("assets/orn-limits-light.png"); }
.docs .section-head h2 + .section-lede { margin-top: 18px; }
.docs .hero-accent { color: var(--amber); }
.docs .hero-copy h1 { display: grid; grid-template-columns: auto minmax(0, 1fr); column-gap: .3em; }
.docs .hero-copy h1::before { content: ""; width: var(--title-mark, 1em); height: var(--title-mark, 1em); background: var(--logo) center / contain no-repeat; }
.docs h3, .docs h4, .docs .step-panel h3, .docs .run-card h4 {
  font-family: var(--display); font-stretch: condensed; font-weight: 800; letter-spacing: 0; line-height: 1.05;
}
.docs h3 { font-size: 1.55rem; }
.docs h4 { font-size: 1.45rem; }
.docs h1 code, .docs h2 code, .docs h3 code { color: var(--lime); font-weight: 700; }
[data-theme="light"] .docs h1 code, [data-theme="light"] .docs h2 code, [data-theme="light"] .docs h3 code { color: var(--cyan); }

.docs .kicker, .docs .eyebrow, .docs .mini-kicker, .docs .status-tag, .docs .run-kind, .docs .ins-kicker,
.docs .step-stage, .docs .output-head span, .docs .layer-label, .docs .data-table th, .docs .run-table th,
.docs .readout-stats dt, .docs .field, .docs .sim-unreached strong, .docs .ins-block h4,
.docs .step-why strong, .docs .input-chips em, .docs .checker-controls label {
  font-family: var(--display); font-stretch: condensed; font-weight: 800;
  letter-spacing: .02em; text-transform: uppercase;
}
.docs .kicker { font-size: 18px; color: var(--heat); margin-bottom: 10px; }
.docs .eyebrow { font-size: 18px; color: var(--heat); }
.docs .mini-kicker, .docs .output-head span, .docs .run-kind, .docs .ins-kicker, .docs .step-stage { font-size: 14px; color: var(--muted); }
.docs .status-tag { font-size: 22px; }
.docs .data-table th, .docs .run-table th { font-size: 13px; color: var(--ink); }
.docs .readout-stats dt, .docs .field, .docs .checker-controls label { font-size: 12.5px; }
.docs .readout-stats dd, .docs .stat-strip strong { font-family: var(--display); font-stretch: condensed; font-weight: 800; }

/* Blocks: flat fills, a heavy outline, almost no rounding. */
.docs .status-card, .docs .identity-card, .docs .table-wrap, .docs .playground, .docs .command-card, .docs .run-card,
.docs .simulator, .docs .sim-readout, .docs details, .docs .window, .docs .inspector,
.docs .checker, .docs .code-block, .docs .step-panel, .docs .stepper, .docs .readout-stats div, .docs .cut-item, .docs .entry-item {
  border-width: var(--stroke); border-color: var(--line); border-radius: var(--radius); box-shadow: none;
}
.docs .status-card, .docs .run-card, .docs .identity-card { position: relative; overflow: hidden; }
.docs .status-card::after, .docs .run-card::after {
  content: ""; position: absolute; right: 0; bottom: 0; width: 45%; height: 52px; pointer-events: none;
  background-color: var(--ink); opacity: .12; transform: scaleY(-1);
  -webkit-mask: var(--ht-am) repeat-x 0 0 / 16px 104px; mask: var(--ht-am) repeat-x 0 0 / 16px 104px;
}

/* Error -> correction: lime holds, heat breaks. */
.docs .status-card[data-status="complete"] { border-color: var(--lime); border-top-width: var(--stroke); }
.docs .status-card[data-status="partial"] { border-color: var(--heat); border-style: dashed; border-top-width: var(--stroke); }
.docs .status-card[data-status="unknown"] { border-color: var(--heat); border-top-width: var(--stroke); background: color-mix(in srgb, var(--heat) 10%, var(--panel)); }
.docs .status-card[data-status="complete"] .status-tag { color: var(--lime); }
[data-theme="light"] .docs .status-card[data-status="complete"] .status-tag { color: var(--cyan); }
[data-theme="light"] .docs .status-card[data-status="complete"] { border-color: var(--cyan); }
.docs .status-card[data-status="complete"]::after { background-color: var(--lime); opacity: .2; }
.docs .status-card[data-status="partial"]::after, .docs .status-card[data-status="unknown"]::after { background-color: var(--heat); opacity: .28; }

.docs .button, .docs .chip, .docs .pill, .docs .layer-link, .docs .step-evidence a,
.docs .input-chips span, .docs .pipeline span, .docs .step-button {
  border-radius: 0; border-width: 1.5px;
}
.docs .button {
  border-width: var(--stroke); font-family: var(--display); font-stretch: condensed; font-weight: 800;
  font-size: 15px; letter-spacing: .01em; transition: background .15s, color .15s;
}
.docs .button.small { font-size: 14px; }
.docs .button:hover { transform: none; background: var(--bone); color: var(--night); border-color: var(--bone); }
.docs .button.primary { background: var(--lime); border-color: var(--lime); color: var(--night); }
.docs .button.primary:hover { background: var(--bone); border-color: var(--bone); }
.docs .chip, .docs .pill { font-family: var(--display); font-stretch: condensed; font-weight: 700; font-size: 13px; letter-spacing: .01em; }
.docs .chip:hover { border-color: var(--lime); color: var(--ink); }
.docs .chip.is-active { background: var(--lime); border-color: var(--lime); color: var(--night); }
.docs .pipeline span.is-active { background: transparent; border-color: var(--heat); color: var(--amber); box-shadow: 0 0 8px rgb(242 78 37 / .35); }
.docs .pipeline span.is-done { color: var(--heat); background: color-mix(in srgb, var(--heat) 12%, transparent); }
.docs .step-button.is-active { background: color-mix(in srgb, var(--heat) 16%, var(--panel)); box-shadow: inset 3px 0 0 var(--heat); }
.docs .step-button.is-active span { color: var(--heat); }
.docs .step-why, .docs .info-why { border: var(--stroke) solid var(--heat); background: color-mix(in srgb, var(--heat) 9%, transparent); }
.docs .step-evidence a:hover, .docs .layer-link:hover { color: var(--night); background: var(--lime); border-color: var(--lime); }
.docs input[type="number"], .docs input[type="search"], .docs select { border-radius: 0; border-width: var(--stroke); }
.docs input:focus, .docs select:focus { border-color: var(--lime); box-shadow: none; }
.docs .switch input[type="checkbox"] { border-radius: 0; }

/* The walk simulator speaks the graph's language: bone bricks, the seed is the fire, heat spreads. */
.docs .sim-node rect { fill: var(--block); stroke: var(--outline); stroke-width: 2.2; }
.docs .sim-node .sim-label { fill: var(--block-ink); }
.docs .sim-node .sim-sub, .docs .sim-node .sim-kind { fill: var(--block-sub); }
.docs .sim-node.is-seed .sim-sub, .docs .sim-node.is-seed .sim-kind { fill: var(--muted); }
.docs .sim-node.is-seed rect { fill: var(--panel); stroke: var(--heat); stroke-width: 3; filter: var(--glow-heat); }
.docs .sim-node.is-seed .sim-label { fill: var(--amber); }
.docs .sim-node.is-reached rect { stroke: var(--heat); stroke-width: 2.6; }
.docs .sim-node.is-current rect { stroke: var(--heat); stroke-width: 3; filter: var(--glow-heat); }
.docs .sim-node:not(.is-hidden):hover rect { stroke: var(--hover-ring); stroke-width: 3.2; }
.docs .sim-node:focus-visible rect { stroke: var(--lime); }
.docs .sim-edge { stroke: var(--ink); }
.docs .sim-edge.followed.is-live { stroke: var(--heat); stroke-width: 2.4; filter: var(--glow-heat); }
.docs .sim-edge.hot { stroke: var(--heat); }
.docs .sim-route rect { fill: var(--lime); stroke: var(--outline); stroke-width: 2; }
.docs .sim-route text { fill: var(--night); }
.docs .sim-route-link { stroke: var(--lime); }
.docs .dot.seed { background: var(--heat); }
.docs .dot.reached { background: var(--bone); box-shadow: 0 0 0 2px var(--heat); }
.docs .dot.entry { background: var(--lime); }
.docs .line.followed { border-color: var(--heat); }
.docs .cut-item { border-left: 3px solid var(--heat); }
.docs .entry-item { border-left: 3px solid var(--lime); }
.docs .fl-node rect { fill: var(--block); stroke: var(--outline); stroke-width: 2; }
.docs .fl-node .fl-title { fill: var(--block-ink); }
.docs .fl-node .fl-kicker { fill: var(--block-sub); }
.docs .fl-node[data-tone="fact"] rect { fill: var(--lime); }
.docs .sim-node rect, .docs .sim-route rect { rx: 2px; ry: 2px; }

/* ── motion: one vocabulary shared with the graph ───────────────────── */
/* Ground is laid, the heading rises from it, pieces are set one by one, heat flows, labels are stamped. */

.docs .is-stamped { animation: stamp-in .42s var(--ease-draw) both; }

.has-motion .docs .doc-section::after { transform: translateX(-50%) scaleX(0); transform-origin: 0 0; transition: transform 1s var(--ease-draw); }
.has-motion .docs .doc-section.is-in::after { transform: translateX(-50%) scaleX(1); }
.has-motion .docs .doc-section::before { clip-path: inset(0 100% 0 0); transition: clip-path 1.2s var(--ease-draw) .1s; }
.has-motion .docs .doc-section.is-in::before { clip-path: inset(0 0 0 0); }

.docs .section-head::before {
  content: ""; position: absolute; z-index: -1; top: 0; left: 50%; margin-left: -50vw; width: calc(100vw + 480px); height: 170px;
  pointer-events: none; background-color: var(--ink); opacity: .1;
  -webkit-mask: var(--wind) repeat 0 0 / 480px 300px, linear-gradient(#000 30%, transparent);
  -webkit-mask-composite: source-in;
  mask: var(--wind) repeat 0 0 / 480px 300px, linear-gradient(#000 30%, transparent);
  mask-composite: intersect;
  animation: drift 48s linear infinite;
}
@keyframes drift { to { transform: translateX(-480px); } }

.has-motion .docs .section-head > .kicker { clip-path: inset(0 100% 0 0); transition: clip-path .45s var(--ease-draw) .3s; }
.has-motion .docs .section-head > h1, .has-motion .docs .section-head > h2 { clip-path: inset(100% 0 -10% 0); transform: translateY(14px); transition: clip-path .7s var(--ease-draw) .4s, transform .7s var(--ease-draw) .4s; }
.has-motion .docs .section-head > .section-lede, .has-motion .docs .section-head > .hero-actions, .has-motion .docs .section-head > .hero-foot { opacity: 0; transition: opacity .6s ease .75s; }
.has-motion .docs .section-head > .hero-actions { transition-delay: .9s; }
.has-motion .docs .section-head > .hero-foot { transition-delay: 1.05s; }
.has-motion .docs .doc-section.is-in .section-head > .kicker { clip-path: inset(0 0 0 0); }
.has-motion .docs .doc-section.is-in .section-head > h1, .has-motion .docs .doc-section.is-in .section-head > h2 { clip-path: inset(0 0 -10% 0); transform: none; }
.has-motion .docs .doc-section.is-in .section-head > .section-lede,
.has-motion .docs .doc-section.is-in .section-head > .hero-actions,
.has-motion .docs .doc-section.is-in .section-head > .hero-foot { opacity: 1; }

/* The introduction carries the one long sequence: the request crosses the bricks as heat and lands on the fact. */
.docs .hero .fl-node { transform-box: fill-box; transform-origin: 50% 100%; }
.docs .hero .fl-edge { stroke: var(--faint); }
.docs .hero .arrow-head { fill: var(--heat); }
.has-motion .docs .hero .fl-node { opacity: 0; transform: translateY(-14px); transition: opacity .35s ease, transform .55s var(--ease-set); transition-delay: calc(1.1s + var(--i, 0) * 110ms); }
.has-motion .docs .hero.is-in .fl-node { opacity: 1; transform: none; }
.docs .hero.is-in .fl-edge { stroke: var(--heat); stroke-width: 2; filter: var(--glow-heat); animation: heat-draw .5s var(--ease-draw) calc(1.6s + var(--i, 0) * 160ms) backwards, heat-flow 1.2s linear calc(2.1s + var(--i, 0) * 160ms) infinite; }
.docs .hero .fl-edge.dashed { opacity: 1; }

.has-motion .docs .build > * {
  opacity: 0; transform: translateY(-14px);
  transition: opacity .35s ease, transform .55s var(--ease-set);
  transition-delay: calc(.35s + var(--i, 0) * 85ms);
}
.has-motion .docs .build.is-in > * { opacity: 1; transform: none; }

.has-motion .docs .status-card::after, .has-motion .docs .run-card::after { clip-path: inset(100% 0 0 0); transition: clip-path .6s var(--ease-draw) calc(.9s + var(--i, 0) * 85ms), transform .35s var(--ease-set); }
.has-motion .docs .build.is-in > .status-card::after, .has-motion .docs .run-card.is-in::after { clip-path: inset(0 0 0 0); }
.docs .status-card::after, .docs .run-card::after { transform-origin: 100% 100%; }
.docs .status-card:hover::after, .docs .run-card:hover::after { transform: scaleY(-1) scale(1.35); }

.docs .surface-node, .docs .surface-core { border-width: var(--stroke); border-radius: var(--radius); }
.docs .surface-core { border-color: var(--lime); background: color-mix(in srgb, var(--lime) 8%, var(--panel)); }
.docs .surface-core strong { color: var(--lime); }
[data-theme="light"] .docs .surface-core strong { color: var(--cyan); }
.docs .surface-merge { font-size: 0; position: relative; min-width: 48px; }
.docs .surface-merge::before {
  content: ""; position: absolute; left: 4px; right: 4px; top: 50%; height: 3px; transform: translateY(-50%);
  background: repeating-linear-gradient(90deg, var(--heat) 0 9px, transparent 9px 14px) 0 0 / 28px 3px;
  filter: var(--glow-heat); animation: heat-run .9s linear infinite;
}
@keyframes heat-run { to { background-position: 28px 0; } }

/* Walk simulator: depths are laid like courses, followed edges carry the heat, the frontier glows. */
.docs .sim-node {
  transform-box: fill-box; transform-origin: 50% 100%;
  transition: opacity .35s ease, transform .5s var(--ease-set);
  transition-delay: calc(var(--i, 0) * 55ms);
}
.docs .sim-node.is-hidden { opacity: 0; transform: translateY(-16px); transition-delay: 0s; }
.docs .sim-node rect, .docs .sim-node text { transition: fill .3s ease, stroke .3s ease; }
.docs .sim-node.is-current rect { animation: frontier 1.5s ease-in-out infinite; }
@keyframes frontier { 50% { filter: drop-shadow(0 0 2px rgb(242 78 37 / .55)); } }
.docs .sim-edge.followed { opacity: .32; }
.docs .sim-edge.followed.is-live { opacity: 1; animation: heat-draw .55s var(--ease-draw) both, heat-flow 1.1s linear .55s infinite; }
.docs .sim-route { transform-box: fill-box; transition: opacity .3s ease, transform .45s var(--ease-set); }
.docs .sim-route.is-hidden { opacity: 0; transform: translateX(-10px); }
.docs .sim-route-link { transition: opacity .4s ease; }
.docs .sim-route-link.is-hidden { opacity: 0; }
.docs .sim-axis-depth { transition: fill .3s ease; }
.docs .sim-axis-depth.is-passed { fill: var(--muted); }
.docs .sim-axis-depth.is-current { fill: var(--heat); font-weight: 700; }
.docs .cut-item, .docs .entry-item { animation: brick-drop .45s var(--ease-set) backwards; }
.docs .cut-item:nth-child(2), .docs .entry-item:nth-child(2) { animation-delay: .08s; }
.docs .cut-item:nth-child(n+3), .docs .entry-item:nth-child(n+3) { animation-delay: .16s; }

@media (prefers-reduced-motion: reduce) {
  .docs .section-head::before, .docs .surface-merge::before { animation: none; }
}

/* ── folded reference and the compose block ─────────────────────────── */
.docs .reference-fold { margin-bottom: 14px; }
.docs .reference-fold summary { font-size: 15px; padding: 16px 18px; }
.docs .reference-fold summary span { font-family: var(--display); font-stretch: condensed; font-weight: 800; font-size: 15px; letter-spacing: .02em; text-transform: uppercase; color: var(--heat); }

.docs .surface-more { margin-top: 28px; }
.docs .surface-facts { list-style: none; margin: 0; padding: 0; display: grid; gap: 8px; }
.docs .surface-facts li { padding: 8px 0 8px 14px; border-left: 3px solid var(--line); font-size: 13px; line-height: 1.6; color: var(--muted); }

.docs .compose-block { margin-top: 28px; display: grid; gap: 22px; padding: 24px; border: var(--stroke) solid var(--line); border-radius: var(--radius); background: var(--panel); }
.docs .compose-copy { max-width: 760px; }
.docs .compose-copy p:not(.mini-kicker) { color: var(--muted); font-size: 13.5px; }
.docs .compose-copy .mini-kicker code { font-size: .9em; }
.docs .compose-flow { list-style: none; margin: 0; padding: 0; display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 30px; }
.docs .compose-flow li { position: relative; padding: 12px 14px; border: var(--stroke) solid var(--outline); border-radius: var(--radius); background: var(--block); color: var(--block-ink); }
.docs .compose-flow strong { display: block; font-family: var(--display); font-stretch: condensed; font-weight: 800; font-size: 1.2rem; line-height: 1.05; }
.docs .compose-flow span { display: block; margin-top: 5px; font-size: 12.5px; line-height: 1.45; color: var(--block-sub); }
.docs .compose-flow li[data-tone="queries"] { background: var(--panel); border-color: var(--heat); color: var(--heat); box-shadow: 0 0 10px rgb(242 78 37 / .35); }
.docs .compose-flow li[data-tone="queries"] span { color: var(--ink); }
.docs .compose-flow li[data-tone="result"] { background: var(--lime); color: var(--night); }
.docs .compose-flow li[data-tone="result"] span { color: var(--night); }
.docs .compose-flow li + li::before {
  content: ""; position: absolute; left: -30px; top: 50%; width: 30px; height: 3px; transform: translateY(-50%);
  background: repeating-linear-gradient(90deg, var(--heat) 0 9px, transparent 9px 14px) 0 0 / 28px 3px;
  filter: var(--glow-heat); animation: heat-run .9s linear infinite;
}
.docs .compose-notes { margin: 0; display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 12px; }
.docs .compose-notes > div { padding: 12px 14px; border-left: 4px solid var(--line); background: color-mix(in srgb, var(--ink) 4%, transparent); }
.docs .compose-notes > div[data-tone="fault"] { border-left-color: var(--heat); }
.docs .compose-notes > div[data-tone="contract"] { border-left-color: var(--frost); }
.docs .compose-notes dt { font-family: var(--display); font-stretch: condensed; font-weight: 800; font-size: 16px; letter-spacing: .02em; text-transform: uppercase; color: var(--ink); }
.docs .compose-notes dd { margin: 4px 0 0; font-size: 13px; line-height: 1.6; color: var(--muted); }
@media (max-width: 860px) {
  .docs .compose-flow { grid-template-columns: 1fr; gap: 26px; }
  .docs .compose-flow li + li::before { left: 50%; top: -26px; width: 3px; height: 26px; transform: translateX(-50%); background: repeating-linear-gradient(180deg, var(--heat) 0 9px, transparent 9px 14px) 0 0 / 3px 28px; animation: none; }
  .docs .compose-notes { grid-template-columns: 1fr; }
}
@media (prefers-reduced-motion: reduce) {
  .docs .compose-flow li + li::before { animation: none; }
}

/* ── compose simulator: real captured compositions, chosen by the queries they combine ── */

.docs .compose-sim { margin-top: 0; }
.docs .compose-field { margin: 14px 0 0; padding: 0; border: 0; min-width: 0; }
.docs .compose-field legend { padding: 0; margin-bottom: 8px; font-family: var(--display); font-stretch: condensed; font-weight: 800; font-size: 14px; letter-spacing: .04em; text-transform: uppercase; color: var(--muted); }
.docs .chip-row { display: flex; flex-wrap: wrap; gap: 8px; }
.docs .compose-chip { position: relative; display: inline-flex; cursor: pointer; }
.docs .compose-chip input { position: absolute; inset: 0; width: 100%; height: 100%; margin: 0; opacity: 0; cursor: pointer; }
.docs .compose-chip:has(input:focus-visible) { outline: var(--stroke) solid var(--frost); outline-offset: 2px; }
.docs .compose-about { margin: 14px 0 0; padding: 10px 12px; border-left: 4px solid var(--lime); background: color-mix(in srgb, var(--ink) 4%, transparent); font-size: 13px; line-height: 1.55; color: var(--muted); }
.docs .compose-sim { grid-template-columns: minmax(0, .75fr) minmax(0, 1.25fr); grid-template-areas: "side answer"; }
.docs .compose-side h3 { margin-bottom: 0; }
.docs .compose-side { grid-area: side; display: flex; flex-direction: column; }
.docs .compose-answer { grid-area: answer; display: flex; flex-direction: column; }
.docs .compose-sim .code-block { min-height: 0; white-space: pre-wrap; overflow-wrap: anywhere; overflow-x: hidden; }
.docs .compose-sim #compose-text { flex: 1 1 0; min-height: 600px; }
.docs .compose-sim .code-block::-webkit-scrollbar { width: 12px; }
.docs .compose-sim .code-block::-webkit-scrollbar-track { background: color-mix(in srgb, var(--ink) 6%, transparent); border-left: var(--stroke) solid var(--outline); }
.docs .compose-sim .code-block::-webkit-scrollbar-thumb { background: var(--muted); border: 3px solid transparent; background-clip: content-box; }
.docs .compose-sim .code-block::-webkit-scrollbar-thumb:hover { background: var(--lime); background-clip: content-box; }
@supports not selector(::-webkit-scrollbar) {
  .docs .compose-sim .code-block { scrollbar-width: thin; scrollbar-color: var(--muted) transparent; }
}
.docs .compose-answer .c-head { color: var(--ink); font-weight: 700; }
.docs .compose-answer .c-def { color: var(--cyan); font-weight: 700; }
.docs .compose-answer .c-ref { color: var(--cyan); }
.docs .compose-answer .c-ok { color: var(--green); font-weight: 700; }
.docs .compose-answer .c-bad { color: var(--amber); font-weight: 700; }
.docs .compose-answer .c-path { color: var(--ink); }
.docs .compose-answer .c-hash { color: var(--faint); }
.docs .compose-answer .c-rule { color: var(--violet); }
.docs .compose-answer .c-arrow { color: var(--amber); }
.docs .compose-fullnote { margin: 4px 0 0; font-size: 12px; color: var(--muted); }
.docs .compose-stamps { display: flex; flex-wrap: wrap; gap: 8px; }
.docs .compose-stamps:not(:empty) { margin-bottom: 10px; }
.docs .compose-live { margin: 0 0 10px; font-size: 12.5px; line-height: 1.5; color: var(--muted); }
.docs .compose-compare-head { margin-top: 16px; }
.docs .compose-compare { display: grid; gap: 8px; }
.docs .compose-row { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 6px 10px; align-items: center; font-size: 12.5px; color: var(--muted); }
.docs .compose-row-label strong { font-family: var(--display); font-stretch: condensed; font-weight: 800; font-size: 14px; color: var(--ink); }
.docs .compose-row-value { grid-row: 1; grid-column: 2; text-align: right; font-family: var(--mono); font-size: 11.5px; color: var(--ink); }
.docs .compose-bar { grid-column: 1 / -1; grid-row: 2; display: block; height: 16px; border: var(--stroke) solid var(--outline); background: color-mix(in srgb, var(--ink) 6%, transparent); }
.docs .compose-bar i { display: block; height: 100%; width: var(--w); background: var(--block); transition: width .5s var(--ease-draw); }
.docs .compose-row[data-tone="compose"] .compose-bar i { background: var(--lime); }
.docs .compose-sim .code-block.is-printing { animation: compose-print .45s var(--ease-draw) both; }
@keyframes compose-print {
  from { clip-path: inset(0 0 100% 0); }
  to { clip-path: inset(0 0 0 0); }
}
@media (max-width: 709px) {
  .docs .compose-sim { padding: 16px; grid-template-columns: minmax(0, 1fr); grid-template-areas: "side" "answer"; }
  .docs .compose-sim #compose-text { flex: none; min-height: 0; max-height: 70vh; }
}
@media (prefers-reduced-motion: reduce) {
  .docs .compose-sim .code-block.is-printing { animation: none; }
  .docs .compose-bar i { transition: none; }
}
.docs .compose-block { grid-template-columns: minmax(0, 1fr); }
.docs .compose-block > * { min-width: 0; }
.docs .compose-chip span { overflow-wrap: anywhere; }

/* ── glossary terms: highlighted in the text, opened in place or in the explorer ── */

.docs .term-ref { padding: 0; border: 0; background: none; font: inherit; font-weight: 700; text-transform: inherit; letter-spacing: inherit; color: var(--cyan); cursor: pointer; text-decoration: underline dotted color-mix(in srgb, var(--cyan) 55%, transparent); text-underline-offset: 3px; }
.docs .term-ref:hover, .docs .term-ref.is-open { color: var(--night); background: var(--lime); text-decoration: none; }
.term-pop { position: absolute; z-index: 60; width: min(340px, calc(100vw - 16px)); padding: 12px 14px; border: var(--stroke) solid var(--lime); border-radius: var(--radius); background: var(--panel); color: var(--ink); box-shadow: 4px 4px 0 var(--outline); animation: stamp-in .3s var(--ease-draw) both; }
.term-pop strong { font-family: var(--display); font-stretch: condensed; font-weight: 800; font-size: 18px; }
.term-pop p { margin: 4px 0 10px; font-size: 13.5px; line-height: 1.55; color: var(--muted); }
.term-pop-actions { display: flex; flex-wrap: wrap; gap: 6px; }
@media (prefers-reduced-motion: reduce) { .term-pop { animation: none; } }