:root {
  --bg: #f7f8fa;
  --panel: #ffffff;
  --ink: #16202a;
  --muted: #5b6774;
  --line: #dde3ea;
  --accent: #1f5f8b;
  --accent-ink: #ffffff;
  --ok: #1d7a46;
  --warn: #9a6a00;
  --bad: #a3332e;
  --chip: #eef3f8;
  --code: #eef1f4;
  --hero: linear-gradient(180deg, #eef4f9 0%, #f7f8fa 100%);
  --shadow: 0 1px 2px rgba(16, 24, 40, 0.06), 0 8px 24px rgba(16, 24, 40, 0.06);
}
:root[data-theme="dark"] {
  --bg: #0f1419;
  --panel: #161c23;
  --ink: #e8edf2;
  --muted: #9aa7b4;
  --line: #273039;
  --accent: #6fb3e0;
  --accent-ink: #0f1419;
  --ok: #58c389;
  --warn: #e3b341;
  --bad: #f08a84;
  --chip: #1f2932;
  --code: #1b232b;
  --hero: linear-gradient(180deg, #131b23 0%, #0f1419 100%);
  --shadow: 0 1px 2px rgba(0, 0, 0, 0.4), 0 8px 24px rgba(0, 0, 0, 0.35);
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg: #0f1419;
    --panel: #161c23;
    --ink: #e8edf2;
    --muted: #9aa7b4;
    --line: #273039;
    --accent: #6fb3e0;
    --accent-ink: #0f1419;
    --ok: #58c389;
    --warn: #e3b341;
    --bad: #f08a84;
    --chip: #1f2932;
    --code: #1b232b;
    --hero: linear-gradient(180deg, #131b23 0%, #0f1419 100%);
    --shadow: 0 1px 2px rgba(0, 0, 0, 0.4), 0 8px 24px rgba(0, 0, 0, 0.35);
  }
}

* { box-sizing: border-box; }
[hidden] { display: none !important; }
html { font-size: 16px; scroll-behavior: smooth; }
body {
  margin: 0;
  background: var(--bg);
  color: var(--ink);
  font: 1rem/1.6 system-ui, -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
}
a { color: var(--accent); }
code, pre { font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; font-size: 0.9em; }
code { background: var(--code); padding: 0.1em 0.35em; border-radius: 4px; }
pre { background: var(--code); padding: 12px; border-radius: 8px; overflow: auto; max-height: 420px; white-space: pre-wrap; word-break: break-word; }
h1, h2, h3 { line-height: 1.2; }
.wrap { max-width: 1040px; margin: 0 auto; padding: 0 16px; }
.muted { color: var(--muted); }
.small { font-size: 0.86rem; }
.skip { position: absolute; left: -999px; top: 8px; background: var(--panel); padding: 8px; }
.skip:focus { left: 8px; z-index: 10; }

.topbar { border-bottom: 1px solid var(--line); background: var(--panel); position: sticky; top: 0; z-index: 5; }
.topbar__row { display: flex; align-items: center; gap: 14px; min-height: 56px; }
.brand { display: inline-flex; align-items: center; gap: 10px; font-weight: 650; color: var(--ink); text-decoration: none; }
.brand__mark { width: 26px; height: 26px; flex: none; }
.brand__mark .bg { fill: var(--accent); }
.brand__mark .pt { fill: var(--accent-ink); }
.brand__mark .ln { stroke: var(--accent-ink); stroke-width: 1.6; stroke-linecap: round; fill: none; }
.brand__mark .dot { fill: #ffb347; }
.topbar__nav { display: flex; gap: 14px; margin-left: auto; }
.topbar__nav a { color: var(--muted); text-decoration: none; font-size: 0.95rem; white-space: nowrap; }
.topbar__nav a:hover { color: var(--ink); }
.chip-link { display: inline-flex; align-items: center; gap: 6px; font-size: 0.88rem; text-decoration: none; border: 1px solid var(--line); border-radius: 999px; padding: 4px 10px; color: var(--ink); white-space: nowrap; }
.dotmark { width: 8px; height: 8px; border-radius: 50%; background: var(--muted); }
:root[data-demo="awake"] .dotmark { background: var(--ok); }
:root[data-demo="waking"] .dotmark { background: var(--warn); }
.iconbtn { background: none; border: 1px solid var(--line); border-radius: 8px; width: 36px; height: 36px; display: inline-grid; place-items: center; color: var(--ink); cursor: pointer; flex: none; }
.icon { width: 18px; height: 18px; fill: none; stroke: currentColor; stroke-width: 1.8; stroke-linecap: round; }
.theme-icon--dark { display: none; }
:root[data-theme="dark"] .theme-icon--light { display: none; }
:root[data-theme="dark"] .theme-icon--dark { display: block; }
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) .theme-icon--light { display: none; }
  :root:not([data-theme="light"]) .theme-icon--dark { display: block; }
}
@media (max-width: 860px) { .topbar__nav { display: none; } .chip-link { margin-left: auto; } }

.hero { background: var(--hero); border-bottom: 1px solid var(--line); padding: 48px 0 40px; }
.hero__grid { display: grid; grid-template-columns: minmax(0, 1.6fr) minmax(0, 1fr); gap: 32px; align-items: center; }
@media (max-width: 860px) { .hero__grid { grid-template-columns: 1fr; } }
.kicker { text-transform: uppercase; letter-spacing: 0.08em; font-size: 0.78rem; color: var(--muted); margin: 0 0 10px; }
.hero h1 { font-size: clamp(1.9rem, 4.4vw, 2.9rem); margin: 0 0 14px; }
.hero h1 span { color: var(--accent); }
.lede { margin: 0 0 12px; max-width: 66ch; }
.stackline { color: var(--muted); font-size: 0.9rem; margin: 0; }
.demo { background: var(--panel); border: 1px solid var(--line); border-radius: 14px; padding: 20px; box-shadow: var(--shadow); display: grid; gap: 10px; }
.btn { display: inline-block; text-align: center; text-decoration: none; border: 1px solid var(--line); border-radius: 10px; padding: 9px 16px; background: var(--panel); color: var(--ink); font-weight: 600; }
.btn--lg { padding: 12px 18px; }
.btn--primary { background: var(--accent); color: var(--accent-ink); border-color: var(--accent); }
:root[data-demo="unset"] #demo-link { opacity: 0.55; pointer-events: none; }
.demo__line { margin: 4px 0 0; font-size: 0.93rem; }
.demo__cost { margin: 0; font-size: 0.86rem; color: var(--muted); }

.section { padding: 44px 16px 8px; }
.section__head { display: flex; align-items: baseline; justify-content: space-between; gap: 12px; flex-wrap: wrap; margin-bottom: 14px; }
.section__head h2 { margin: 0; font-size: 1.5rem; }
.section__head p { margin: 0; font-size: 0.92rem; }
.section__intro { margin: 0 0 14px; max-width: 80ch; }

.tabs { display: flex; flex-wrap: wrap; gap: 8px; margin-bottom: 12px; }
.tab { background: var(--chip); border: 1px solid var(--line); color: var(--ink); border-radius: 999px; padding: 7px 13px; font: inherit; font-size: 0.9rem; cursor: pointer; text-align: left; }
.tab[aria-selected="true"] { background: var(--accent); color: var(--accent-ink); border-color: var(--accent); }
.card { background: var(--panel); border: 1px solid var(--line); border-radius: 14px; padding: 20px; box-shadow: var(--shadow); }
.run__why { color: var(--muted); font-size: 0.92rem; margin: 0 0 12px; }
.run__head { display: flex; align-items: center; gap: 12px; flex-wrap: wrap; margin-bottom: 8px; }
.badge { display: inline-block; padding: 3px 10px; border-radius: 999px; font-size: 0.78rem; font-weight: 650; text-transform: uppercase; letter-spacing: 0.04em; border: 1px solid currentColor; }
.badge[data-tone="ok"] { color: var(--ok); }
.badge[data-tone="warn"] { color: var(--warn); }
.badge[data-tone="bad"] { color: var(--bad); }
.badge[data-tone="muted"] { color: var(--muted); }
.run__meta { color: var(--muted); font-size: 0.86rem; }
.run h3 { font-size: 0.92rem; margin: 18px 0 6px; color: var(--muted); font-weight: 600; }
.run h4 { font-size: 0.95rem; margin: 12px 0 4px; }
.run__note { margin: 0 0 6px; }
.run__expect { color: var(--warn); margin: 6px 0 0; font-size: 0.9rem; }

.path { display: flex; flex-wrap: wrap; align-items: center; gap: 6px; margin: 10px 0 0; }
.path__node { background: var(--chip); border: 1px solid var(--line); border-radius: 999px; padding: 4px 11px; font-size: 0.84rem; }
.path__node--llm { border-color: var(--accent); }
.path__node--cycle { border-color: var(--warn); color: var(--warn); }
.path__node--pause { border-color: var(--bad); color: var(--bad); font-weight: 600; }
.path__node--end { border-style: dashed; color: var(--muted); }
.path__arrow { color: var(--muted); font-size: 0.9rem; }
.path__arrow--cycle { color: var(--warn); font-weight: 700; }

.facts { display: grid; grid-template-columns: max-content 1fr; gap: 4px 14px; margin: 0; font-size: 0.92rem; }
.facts dt { color: var(--muted); }
.facts dd { margin: 0; min-width: 0; overflow-wrap: anywhere; }
.facts ul { margin: 0; padding-left: 18px; }
@media (max-width: 520px) { .facts { grid-template-columns: 1fr; gap: 2px; } .facts dd { margin-bottom: 6px; } }

.timeline { list-style: none; margin: 0; padding: 0 0 0 18px; border-left: 2px solid var(--line); }
.timeline li { position: relative; margin: 0 0 10px; padding-left: 6px; }
.timeline li::before { content: ""; position: absolute; left: -24px; top: 8px; width: 10px; height: 10px; border-radius: 50%; background: var(--muted); }
.timeline li.tl--llm::before { background: var(--accent); }
.timeline li.tl--loop { color: var(--warn); font-weight: 600; }
.timeline li.tl--loop::before { background: var(--warn); }
.timeline li.tl--pause { color: var(--bad); }
.timeline li.tl--pause::before { background: var(--bad); }
.timeline li.tl--human::before { background: var(--ok); }
.tl__head { display: flex; gap: 10px; flex-wrap: wrap; align-items: baseline; }
.tl__node { font-weight: 600; }
.tl__ms { color: var(--muted); font-size: 0.84rem; font-variant-numeric: tabular-nums; }
.tl__detail { color: var(--muted); font-size: 0.88rem; margin: 2px 0 0; }

.audit { border: 1px solid var(--line); border-radius: 10px; padding: 12px 14px; margin: 0 0 10px; }
.audit__head { display: flex; gap: 10px; flex-wrap: wrap; align-items: center; margin-bottom: 6px; }
.audit__summary { margin: 0 0 8px; font-size: 0.95rem; }
.tablewrap { overflow-x: auto; }
table { border-collapse: collapse; width: 100%; font-size: 0.9rem; }
th, td { text-align: left; padding: 8px 10px; border-bottom: 1px solid var(--line); vertical-align: top; }
th { color: var(--muted); font-weight: 600; white-space: nowrap; }
.instr { margin: 0 0 8px; }

.draft { display: grid; gap: 6px; }
.draft__title { font-size: 1.08rem; font-weight: 650; margin: 0; }
.draft__text { white-space: pre-wrap; overflow-wrap: anywhere; margin: 0; background: var(--chip); border-radius: 8px; padding: 10px 12px; font-size: 0.93rem; }
.draft ul { margin: 0; padding-left: 20px; }
.draft .label { color: var(--muted); font-size: 0.84rem; margin: 8px 0 0; }
.edited { border-left: 3px solid var(--accent); padding-left: 10px; }

.tiles { list-style: none; padding: 0; margin: 16px 0 0; display: grid; grid-template-columns: repeat(auto-fit, minmax(180px, 1fr)); gap: 12px; }
.tile { background: var(--panel); border: 1px solid var(--line); border-radius: 12px; padding: 14px 16px; display: grid; gap: 4px; }
.tile strong { font-size: 1.5rem; }
.tile span { color: var(--muted); font-size: 0.88rem; }
.footnote { color: var(--muted); font-size: 0.86rem; margin: 10px 0 0; }

/* the graph */
.graph { width: 100%; height: auto; display: block; margin: 8px 0 18px; }
.graph .endpoint { fill: var(--muted); }
.graph .edge { fill: none; stroke: var(--muted); stroke-width: 1.6; }
.graph .edge--replay { stroke-dasharray: 3 3; }
.graph .edge--cycle { stroke: var(--accent); stroke-width: 2; }
.graph marker path { fill: var(--muted); }
.graph .label { fill: var(--muted); font-size: 10.5px; font-family: inherit; }
.graph .label--cycle { fill: var(--accent); }
.graph .label--interrupt { fill: var(--warn); }
.graph .interrupt { fill: none; stroke: var(--warn); stroke-width: 2; stroke-dasharray: 4 3; }
.graph .node rect { fill: var(--panel); stroke: var(--line); stroke-width: 1.4; }
.graph .node text { fill: var(--ink); font-size: 12px; font-family: inherit; }
.graph .node .kind { fill: var(--muted); font-size: 10px; }
.graph .node--llm rect { stroke: var(--accent); }
.graph .node--mutation rect { stroke: var(--bad); }

.flow { list-style: none; padding: 0; margin: 0; display: grid; grid-template-columns: repeat(auto-fit, minmax(230px, 1fr)); gap: 12px; }
.flow li { background: var(--panel); border: 1px solid var(--line); border-radius: 12px; padding: 16px; position: relative; }
.flow__n { display: inline-grid; place-items: center; width: 26px; height: 26px; border-radius: 50%; background: var(--accent); color: var(--accent-ink); font-weight: 700; font-size: 0.85rem; }
.flow h3 { margin: 10px 0 6px; font-size: 1.02rem; }
.flow p { margin: 0; font-size: 0.92rem; color: var(--muted); }
.flow p.flow__code { margin-top: 8px; font-size: 0.84rem; }
.prompt { margin-top: 14px; }
.prompt summary { cursor: pointer; color: var(--muted); }
.prompt h3 { font-size: 0.95rem; margin: 12px 0 6px; }

.cards { display: grid; grid-template-columns: repeat(auto-fit, minmax(230px, 1fr)); gap: 12px; }
.cards .card h3 { margin: 0 0 8px; font-size: 1.05rem; }
.cards .card p { margin: 0; font-size: 0.94rem; }
.cards .sev { display: inline-block; font-size: 0.74rem; text-transform: uppercase; letter-spacing: 0.04em; margin-bottom: 6px; }
.cards .sev[data-sev="high"] { color: var(--bad); }
.cards .sev[data-sev="medium"] { color: var(--warn); }
.links { display: flex; gap: 18px; flex-wrap: wrap; margin-top: 14px; }
.foot { border-top: 1px solid var(--line); margin-top: 48px; padding: 20px 0 44px; color: var(--muted); font-size: 0.9rem; }
.foot__row { display: flex; justify-content: space-between; gap: 12px; flex-wrap: wrap; }