:root{
  --bg:#F3F5F4; --surface:#FFFFFF; --sunken:#E9EDEB;
  --ink:#15201C; --ink-2:#4B5853; --ink-3:#77847F;
  --line:#DBE1DE; --line-2:#C9D1CD;
  --accent:#1B6A56; --accent-ink:#FFFFFF; --accent-soft:#DFEEE8;
  --code-bg:#12201B; --code-line:#223630; --code-ink:#D7E3DE; --code-dim:#6F857D;
  --t-kw:#7FD3BA; --t-deon:#F3B96E; --t-logic:#A4B9FF; --t-verb:#E7A0D0; --t-ty:#E9E3A3; --t-str:#BFE38A; --t-num:#F4A08D; --t-ns:#8DB3A7;
  --st-t:#23875A; --st-f:#BF3B30; --st-n:#A86A10; --st-b:#7147B3;
  --st-t-bg:#DDF1E6; --st-f-bg:#F8E1DE; --st-n-bg:#F7EBD6; --st-b-bg:#EAE1F6;
  --warn:#9A6212; --warn-bg:#FBF1DF; --info-bg:#E4EEF9; --info:#27588F;
  --shadow:0 1px 2px rgba(20,40,32,.06),0 4px 16px rgba(20,40,32,.05);
  --f-display:"Bricolage Grotesque", "Avenir Next", "Segoe UI", system-ui, sans-serif;
  --f-body:"Public Sans", "Segoe UI", system-ui, -apple-system, sans-serif;
  --f-mono:"JetBrains Mono", ui-monospace, "SFMono-Regular", Menlo, Consolas, monospace;
  --top:56px;
}
@media (prefers-color-scheme: dark){
  :root:not([data-theme="light"]){
    color-scheme:dark;
    --bg:#0D1311; --surface:#131B18; --sunken:#18221F;
    --ink:#E2EAE6; --ink-2:#A3B2AC; --ink-3:#74847E;
    --line:#233029; --line-2:#2E3D37;
    --accent:#5CC6A6; --accent-ink:#0B1411; --accent-soft:#17302A;
    --code-bg:#0A110F; --code-line:#1A2824;
    --st-t:#5CCB8F; --st-f:#F07A6E; --st-n:#E3A94C; --st-b:#B195EC;
    --st-t-bg:#15301F; --st-f-bg:#3A1C19; --st-n-bg:#35280F; --st-b-bg:#281E3C;
    --warn:#E3B062; --warn-bg:#2E2412; --info-bg:#14233A; --info:#8DB8EC;
    --shadow:0 1px 2px rgba(0,0,0,.3),0 4px 16px rgba(0,0,0,.25);
  }
}
:root[data-theme="dark"]{
  color-scheme:dark;
  --bg:#0D1311; --surface:#131B18; --sunken:#18221F;
  --ink:#E2EAE6; --ink-2:#A3B2AC; --ink-3:#74847E;
  --line:#233029; --line-2:#2E3D37;
  --accent:#5CC6A6; --accent-ink:#0B1411; --accent-soft:#17302A;
  --code-bg:#0A110F; --code-line:#1A2824;
  --st-t:#5CCB8F; --st-f:#F07A6E; --st-n:#E3A94C; --st-b:#B195EC;
  --st-t-bg:#15301F; --st-f-bg:#3A1C19; --st-n-bg:#35280F; --st-b-bg:#281E3C;
  --warn:#E3B062; --warn-bg:#2E2412; --info-bg:#14233A; --info:#8DB8EC;
  --shadow:0 1px 2px rgba(0,0,0,.3),0 4px 16px rgba(0,0,0,.25);
}
*{box-sizing:border-box}
html{scroll-padding-top:calc(var(--top) + 16px)}
body{background:var(--bg);color:var(--ink);font-family:var(--f-body);font-size:16px;line-height:1.65;-webkit-font-smoothing:antialiased}
a{color:var(--accent);text-decoration-thickness:1px;text-underline-offset:3px}
a:hover{text-decoration-thickness:2px}
:focus-visible{outline:2px solid var(--accent);outline-offset:2px;border-radius:4px}

/* ---------- top bar ---------- */
.topbar{position:sticky;top:env(safe-area-inset-top,0px);z-index:20;height:var(--top);display:flex;align-items:center;gap:16px;padding-inline:20px;background:color-mix(in srgb,var(--bg) 88%,transparent);backdrop-filter:blur(10px);-webkit-backdrop-filter:blur(10px);border-bottom:1px solid var(--line)}
.brand{display:flex;align-items:center;gap:10px;color:var(--ink);text-decoration:none;font-family:var(--f-display);font-weight:750;font-size:19px;letter-spacing:-.01em}
.brand svg{width:22px;height:22px;flex:none}
.brand small{font-family:var(--f-body);font-weight:500;font-size:12px;color:var(--ink-3);letter-spacing:.02em;margin-left:2px}
.ver{font-family:var(--f-mono);font-size:12px;color:var(--ink-2);border:1px solid var(--line-2);background:var(--surface);border-radius:6px;padding:3px 8px}
.search{margin-left:auto;position:relative;flex:0 1 300px}
.search input{width:100%;font:inherit;font-size:14px;color:var(--ink);background:var(--surface);border:1px solid var(--line-2);border-radius:8px;padding:7px 36px 7px 32px}
.search input::placeholder{color:var(--ink-3)}
.search svg{position:absolute;left:10px;top:50%;transform:translateY(-50%);width:15px;height:15px;color:var(--ink-3)}
.search kbd{position:absolute;right:8px;top:50%;transform:translateY(-50%)}
kbd{font-family:var(--f-mono);font-size:11px;color:var(--ink-2);border:1px solid var(--line-2);border-bottom-width:2px;border-radius:4px;padding:0 5px;background:var(--sunken)}
.toplinks{display:flex;gap:18px;font-size:14px}
.toplinks a{color:var(--ink-2);text-decoration:none}
.toplinks a:hover{color:var(--ink)}
.menu-btn{display:none;background:none;border:1px solid var(--line-2);border-radius:8px;color:var(--ink);padding:6px 9px;font:inherit;font-size:13px;cursor:pointer}

/* ---------- layout ---------- */
.shell{display:grid;grid-template-columns:260px minmax(0,1fr) 220px;max-width:1400px;margin-inline:auto}
.sidebar{position:sticky;top:calc(var(--top) + env(safe-area-inset-top,0px));height:calc(100vh - var(--top));overflow-y:auto;padding:24px 16px 40px 20px;border-right:1px solid var(--line)}
.nav-group{margin-bottom:22px}
.nav-group h4{margin:0 0 6px;padding-left:10px;font-family:var(--f-body);font-size:11.5px;font-weight:600;letter-spacing:.09em;text-transform:uppercase;color:var(--ink-3)}
.nav-group a{display:block;padding:5px 10px;border-radius:6px;color:var(--ink-2);text-decoration:none;font-size:14.5px;line-height:1.4}
.nav-group a:hover{background:var(--sunken);color:var(--ink)}
.nav-group a.active{background:var(--accent-soft);color:var(--accent);font-weight:600}
.nav-empty{padding:6px 10px;font-size:14px;color:var(--ink-3)}
.content{min-width:0;padding:40px 56px 80px}
.toc{position:sticky;top:calc(var(--top) + env(safe-area-inset-top,0px));height:calc(100vh - var(--top));overflow-y:auto;padding:40px 20px 40px 8px}
.toc h5{margin:0 0 10px;font-size:11.5px;font-weight:600;letter-spacing:.09em;text-transform:uppercase;color:var(--ink-3)}
.toc button{display:block;width:100%;text-align:left;background:none;border:0;border-left:2px solid var(--line);padding:4px 0 4px 12px;font:inherit;font-size:13.5px;line-height:1.4;color:var(--ink-2);cursor:pointer}
.toc button:hover{color:var(--ink);border-left-color:var(--ink-3)}
.toc .edit{margin-top:24px;font-size:13px;color:var(--ink-3);display:grid;gap:6px}

/* ---------- article typography ---------- */
article{max-width:760px}
article[hidden]{display:none}
.crumb{font-size:13px;color:var(--ink-3);margin-bottom:10px;letter-spacing:.02em}
article h1{font-family:var(--f-display);font-weight:750;font-size:clamp(30px,4vw,40px);line-height:1.1;letter-spacing:-.02em;margin:0 0 14px;text-wrap:balance}
.lede{font-size:18.5px;line-height:1.6;color:var(--ink-2);margin:0 0 28px;max-width:64ch}
article h2{font-family:var(--f-display);font-weight:650;font-size:24px;letter-spacing:-.01em;line-height:1.25;margin:44px 0 12px;padding-top:4px;text-wrap:balance}
article h3{font-family:var(--f-display);font-weight:650;font-size:18px;margin:28px 0 8px}
article p,article li{max-width:68ch}
article p{margin:0 0 16px}
article ul,article ol{padding-left:22px;margin:0 0 18px}
article li{margin-bottom:6px}
article code:not(pre code){font-family:var(--f-mono);font-size:.86em;background:var(--sunken);border:1px solid var(--line);border-radius:5px;padding:1px 5px;white-space:nowrap}
article strong{font-weight:600}

/* tables */
.tbl{overflow-x:auto;margin:8px 0 24px;border:1px solid var(--line);border-radius:10px;background:var(--surface)}
table{border-collapse:collapse;width:100%;font-size:14.5px;line-height:1.5}
th,td{text-align:left;vertical-align:top;padding:10px 14px;border-bottom:1px solid var(--line)}
th{font-size:12px;font-weight:600;letter-spacing:.06em;text-transform:uppercase;color:var(--ink-3);background:var(--sunken)}
tr:last-child td{border-bottom:0}
td code{white-space:nowrap}

/* code blocks */
figure.code{margin:10px 0 24px;background:var(--code-bg);border-radius:10px;overflow:hidden;box-shadow:var(--shadow)}
figure.code header{display:flex;align-items:center;gap:10px;padding:8px 10px 8px 14px;border-bottom:1px solid var(--code-line);font-family:var(--f-mono);font-size:12px;color:var(--code-dim)}
figure.code header .fname{color:var(--code-ink)}
figure.code header .lang{margin-left:auto;text-transform:lowercase}
.copy{font:inherit;font-size:11.5px;color:var(--code-ink);background:transparent;border:1px solid var(--code-line);border-radius:5px;padding:2px 8px;cursor:pointer}
.copy:hover{border-color:var(--code-dim)}
figure.code pre{margin:0;padding:14px 16px;overflow-x:auto;font-family:var(--f-mono);font-size:13.2px;line-height:1.62;color:var(--code-ink);tab-size:2}
.k{color:var(--t-kw)} .d{color:var(--t-deon);font-weight:500} .l{color:var(--t-logic)} .v{color:var(--t-verb)}
.ty{color:var(--t-ty)} .s{color:var(--t-str)} .n{color:var(--t-num)} .c{color:var(--code-dim);font-style:italic} .ns{color:var(--t-ns)}
.p{color:var(--code-dim)}
.prompt{color:var(--code-dim);user-select:none} .cmd{color:#fff}
[data-theme="dark"] .cmd{color:#F2F7F5}
.o-err{color:#FF8F84;font-weight:500} .o-warn{color:#F3C170;font-weight:500} .o-ok{color:#86DDAE} .o-dim{color:var(--code-dim)} .o-acc{color:var(--t-kw)} .o-hl{color:var(--t-ty)}
.o-T{color:#86DDAE;font-weight:600} .o-F{color:#FF8F84;font-weight:600} .o-N{color:#F3C170;font-weight:600} .o-B{color:#C6ACFF;font-weight:600}

/* callouts */
.note{display:grid;grid-template-columns:auto 1fr;gap:12px;align-items:start;margin:4px 0 24px;padding:14px 16px;border-radius:10px;background:var(--info-bg);color:var(--ink);font-size:15px}
.note p{margin:0 0 6px}.note p:last-child{margin:0}
.note .tag{font-size:11px;font-weight:600;letter-spacing:.08em;text-transform:uppercase;color:var(--info);padding-top:3px}
.note.warn{background:var(--warn-bg)} .note.warn .tag{color:var(--warn)}
.note.tip{background:var(--accent-soft)} .note.tip .tag{color:var(--accent)}

/* status chips */
.st{display:inline-flex;align-items:center;justify-content:center;min-width:22px;height:22px;padding:0 6px;border-radius:5px;font-family:var(--f-mono);font-size:12.5px;font-weight:600}
.st.T{color:var(--st-t);background:var(--st-t-bg)} .st.F{color:var(--st-f);background:var(--st-f-bg)} .st.N{color:var(--st-n);background:var(--st-n-bg)} .st.B{color:var(--st-b);background:var(--st-b-bg)}
.sev{font-family:var(--f-mono);font-size:12px;font-weight:600;padding:1px 6px;border-radius:4px}
.sev.E{color:var(--st-f);background:var(--st-f-bg)} .sev.W{color:var(--st-n);background:var(--st-n-bg)} .sev.U{color:var(--st-b);background:var(--st-b-bg)} .sev.I{color:var(--info);background:var(--info-bg)}

/* primitive grid */
.prims{display:grid;grid-template-columns:repeat(auto-fill,minmax(210px,1fr));gap:1px;background:var(--line);border:1px solid var(--line);border-radius:12px;overflow:hidden;margin:8px 0 28px}
.prim{background:var(--surface);padding:14px 16px}
.prim b{display:block;font-family:var(--f-display);font-weight:650;font-size:16px;margin-bottom:2px}
.prim span{display:block;font-size:13.5px;color:var(--ink-2);line-height:1.45}
.prim i{display:block;margin-top:8px;font-style:normal;font-family:var(--f-mono);font-size:11.5px;color:var(--ink-3)}

/* cards on intro */
.cards{display:grid;grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:14px;margin:8px 0 28px}
.card{display:block;padding:16px 18px;background:var(--surface);border:1px solid var(--line);border-radius:12px;text-decoration:none;color:var(--ink)}
.card:hover{border-color:var(--accent)}
.card b{display:block;font-family:var(--f-display);font-weight:650;font-size:16px;margin-bottom:4px}
.card span{font-size:14px;color:var(--ink-2);line-height:1.5}

/* tabs */
.tabs{margin:10px 0 24px}
.tabs [role=tablist]{display:flex;gap:4px;border-bottom:1px solid var(--line);margin-bottom:10px;overflow-x:auto}
.tabs [role=tab]{background:none;border:0;border-bottom:2px solid transparent;margin-bottom:-1px;padding:8px 12px;font:inherit;font-size:14px;color:var(--ink-2);cursor:pointer;white-space:nowrap}
.tabs [role=tab][aria-selected=true]{color:var(--accent);border-bottom-color:var(--accent);font-weight:600}
.tabs figure.code{margin-top:0}
.verbal{background:var(--surface);border:1px solid var(--line);border-left:3px solid var(--accent);border-radius:8px;padding:16px 18px;font-size:16px;line-height:1.7;margin:0 0 24px}
.verbal small{display:block;margin-top:10px;font-size:12.5px;color:var(--ink-3);font-family:var(--f-mono)}

/* steps (real sequence) */
.steps{counter-reset:step;list-style:none;padding:0!important}
.steps>li{counter-increment:step;position:relative;padding-left:40px;max-width:none}
.steps>li::before{content:counter(step);position:absolute;left:0;top:1px;width:26px;height:26px;border-radius:50%;display:grid;place-items:center;font-family:var(--f-mono);font-size:12.5px;font-weight:500;background:var(--accent-soft);color:var(--accent)}

/* pager */
.pager{display:grid;grid-template-columns:1fr 1fr;gap:14px;margin-top:56px;padding-top:24px;border-top:1px solid var(--line)}
.pager a{display:block;padding:12px 16px;border:1px solid var(--line);border-radius:10px;text-decoration:none;color:var(--ink);background:var(--surface)}
.pager a:hover{border-color:var(--accent)}
.pager small{display:block;font-size:12px;color:var(--ink-3)}
.pager b{font-weight:600;font-size:15px;color:var(--accent)}
.pager .next{text-align:right;grid-column:2}
.foot{margin-top:28px;font-size:12.5px;color:var(--ink-3);display:flex;flex-wrap:wrap;gap:6px 16px}

/* changelog */
.rel{padding:0 0 8px;margin-bottom:28px;border-bottom:1px solid var(--line)}
.rel h2{display:flex;align-items:baseline;gap:12px;flex-wrap:wrap}
.rel h2 span{font-family:var(--f-mono);font-size:13px;font-weight:400;color:var(--ink-3)}
.pill{display:inline-block;font-size:11px;font-weight:600;letter-spacing:.05em;text-transform:uppercase;padding:2px 7px;border-radius:999px;margin-right:6px;vertical-align:1px}
.pill.new{background:var(--st-t-bg);color:var(--st-t)} .pill.fix{background:var(--st-n-bg);color:var(--st-n)} .pill.chg{background:var(--st-b-bg);color:var(--st-b)}

@media (max-width:1180px){ .shell{grid-template-columns:240px minmax(0,1fr)} .toc{display:none} .content{padding:36px 40px 72px} }
@media (max-width:820px){
  .shell{grid-template-columns:minmax(0,1fr)}
  .menu-btn{display:inline-block}
  .toplinks,.ver{display:none}
  .sidebar{position:fixed;left:0;top:calc(var(--top) + env(safe-area-inset-top,0px));bottom:0;width:min(300px,86vw);height:auto;background:var(--bg);z-index:15;transform:translateX(-102%);transition:transform .2s ease;box-shadow:var(--shadow)}
  body.nav-open .sidebar{transform:none}
  .content{padding:28px 16px 64px}
  .topbar{padding-inline:16px;gap:10px}
  .search{flex:1 1 auto}
  .search kbd{display:none}
  .brand small{display:none}
  .pager{grid-template-columns:1fr}
  .pager .next{grid-column:1}
}
@media (prefers-reduced-motion:reduce){ .sidebar{transition:none} }

/* diagrams */
.fig{margin:10px 0 26px;background:var(--surface);border:1px solid var(--line);border-radius:12px;padding:14px 12px 10px;overflow-x:auto}
.fig svg{display:block;width:100%;min-width:640px;height:auto;font-family:var(--f-body)}
.fig figcaption{font-size:13px;color:var(--ink-3);padding:8px 4px 2px;max-width:none}
.dg text{fill:var(--ink);font-size:12.5px}
.dg .sub{fill:var(--ink-2);font-size:11.2px}
.dg .lbl{fill:var(--ink-3);font-size:11px;font-style:italic}
.dg .nd{fill:var(--bg);stroke:var(--line-2);stroke-width:1.2}
.dg .pos{fill:var(--accent-soft);stroke:var(--accent);stroke-width:1.2}
.dg .pow{fill:var(--surface);stroke:var(--accent);stroke-width:2.2}
.dg .obl{fill:var(--surface);stroke:var(--st-n);stroke-width:1.6}
.dg .clm{fill:var(--surface);stroke:var(--st-b);stroke-width:1.2;stroke-dasharray:4 3}
.dg .ext{fill:var(--sunken);stroke:var(--ink-2);stroke-width:1.6}
.dg .bad{fill:var(--st-f-bg);stroke:var(--st-f);stroke-width:1.2}
.dg .ok{fill:var(--st-t-bg);stroke:var(--st-t);stroke-width:1.2}
.dg .ed{fill:none;stroke:var(--ink-3);stroke-width:1.3}
.dg .ed.acc{stroke:var(--accent);stroke-width:1.6}
.dg .ed.warn{stroke:var(--st-f);stroke-dasharray:5 3}
.dg .ah{fill:var(--ink-3)} .dg .ah.acc{fill:var(--accent)} .dg .ah.warn{fill:var(--st-f)}
.legend{display:flex;flex-wrap:wrap;gap:6px 16px;font-size:12.5px;color:var(--ink-2);margin:-14px 0 24px}
.legend span{display:inline-flex;align-items:center;gap:6px}
.legend i{display:inline-block;width:16px;height:11px;border-radius:3px}
.lg-pos{background:var(--accent-soft);border:1.2px solid var(--accent)} .lg-pow{border:2px solid var(--accent)} .lg-obl{border:1.6px solid var(--st-n)} .lg-clm{border:1.2px dashed var(--st-b)} .lg-ext{background:var(--sunken);border:1.6px solid var(--ink-2)} .lg-ev{border:1.2px solid var(--line-2);border-radius:8px!important}
.cmp td:first-child{font-weight:600;white-space:nowrap}
.two{display:grid;grid-template-columns:1fr 1fr;gap:14px}
.two figure.code{margin:0}
@media (max-width:900px){.two{grid-template-columns:1fr}}
.layers{display:grid;gap:8px;margin:8px 0 26px}
.layer{display:grid;grid-template-columns:170px 1fr;gap:14px;padding:14px 16px;border-radius:10px;background:var(--surface);border:1px solid var(--line)}
.layer b{font-family:var(--f-display);font-weight:650;font-size:15.5px}
.layer small{display:block;font-size:12.5px;color:var(--ink-3);margin-top:3px}
.layer p{margin:0;font-size:14.5px;max-width:none}
.layer.k{border-left:4px solid var(--ink)} .layer.c{border-left:4px solid var(--st-b)} .layer.co{border-left:4px solid var(--st-n)} .layer.o{border-left:4px solid var(--accent)} .layer.r{border-left:4px solid var(--line-2)}
@media (max-width:640px){.layer{grid-template-columns:1fr;gap:4px}}
.fact{font-size:13px;color:var(--ink-3)}

[hidden]{display:none!important}
html,body{margin:0}
img,svg{max-width:100%}
html:not(.js) .search{display:none}
.skip{position:absolute;left:-9999px;top:8px;z-index:50;background:var(--accent);color:var(--accent-ink);padding:8px 12px;border-radius:6px}
.skip:focus{left:12px}
.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}
.brand span{line-height:1}
.nav-h{margin:0 0 6px;padding-left:10px;font-family:var(--f-body);font-size:11.5px;font-weight:600;letter-spacing:.09em;text-transform:uppercase;color:var(--ink-3)}
.sidebar a[aria-current="page"]{background:var(--accent-soft);color:var(--accent);font-weight:600}
.toc-h{margin:0 0 10px;font-family:var(--f-body);font-size:11.5px;font-weight:600;letter-spacing:.09em;text-transform:uppercase;color:var(--ink-3)}
.toc ol{list-style:none;margin:0;padding:0}
.toc li a{display:block;border-left:2px solid var(--line);padding:4px 0 4px 12px;font-size:13.5px;line-height:1.4;color:var(--ink-2);text-decoration:none}
.toc li a:hover{color:var(--ink);border-left-color:var(--ink-3)}
.tabgroup{margin:6px 0 24px}
.tabgroup>h3{font-size:15px;margin:18px 0 8px;color:var(--ink-2)}
details.figtext{margin-top:8px;font-size:14px;color:var(--ink-2)}
details.figtext summary{cursor:pointer;color:var(--accent);font-size:13.5px}
details.figtext .figtext-body{padding:8px 4px 2px}
details.figtext ul,details.figtext ol{padding-left:20px}
.foot{margin-top:40px;padding-top:20px;border-top:1px solid var(--line);font-size:13.5px;color:var(--ink-2);max-width:760px}
.foot p{margin:0 0 8px}
.foot-links{display:flex;flex-wrap:wrap;gap:6px 16px}
.foot-meta{font-size:12.5px;color:var(--ink-3)}
article .pager{margin-top:48px}
.contact-card{margin:6px 0 28px;padding:22px 24px;border:1px solid var(--line);border-left:4px solid var(--accent);border-radius:12px;background:var(--surface);display:grid;gap:6px;justify-items:start}
.contact-label{margin:0;font-size:12px;font-weight:600;letter-spacing:.08em;text-transform:uppercase;color:var(--ink-3)}
.contact-email{margin:0;font-family:var(--f-display);font-weight:650;font-size:clamp(20px,3.4vw,28px);word-break:break-all}
.contact-email a{text-decoration:none}
.copy-email{font:inherit;font-size:13px;color:var(--accent);background:var(--accent-soft);border:0;border-radius:6px;padding:6px 12px;cursor:pointer}
@media (max-width:820px){html.js .sidebar{visibility:hidden}html.js body.nav-open .sidebar{visibility:visible}html:not(.js) .sidebar{position:static;transform:none;width:auto;height:auto;box-shadow:none;border-right:0;border-bottom:1px solid var(--line);padding:16px}}
@media print{.topbar,.sidebar,.toc,.pager{display:none}.shell{display:block}}

/* ---------- layout: home ---------- */
body.home .shell{grid-template-columns:260px minmax(0,1fr)}
body.home .toc{display:none}
body.home article{max-width:1060px}
body.home article>p,body.home article>ul,body.home article>h2{max-width:760px}
@media (max-width:820px){body.home .shell{grid-template-columns:minmax(0,1fr)}}
.cards.three{grid-template-columns:repeat(auto-fit,minmax(240px,1fr))}
.card.static{cursor:default}
.card.static:hover{border-color:var(--line)}

/* ---------- diagrams: shared ---------- */
.dg .lane{stroke:var(--line);stroke-width:1;stroke-dasharray:3 4}
.dg .lane-t{fill:var(--ink-3);font-size:10.5px;font-weight:600;letter-spacing:.12em}
.dg .badge{fill:var(--accent);stroke:none}
.dg .badge-t{fill:var(--accent-ink);font-size:9.5px;font-weight:600;letter-spacing:.03em}
.dg .agent{stroke-dasharray:5 3}
.dg .scope{fill:var(--surface);stroke:var(--ink-2);stroke-width:1.3}
.dg .guild{fill:var(--surface);stroke:var(--ink-3);stroke-width:1.2;stroke-dasharray:4 3}
.dg .ev{fill:var(--surface)}
.dg .tr-e{fill:none;stroke:var(--line-2);stroke-width:1.4}
.dg .tr-e.dash{stroke-dasharray:4 3}
.dg .tok{fill:var(--ink-2);stroke:var(--surface);stroke-width:2}
.dg .tok.acc{fill:var(--accent)}
.dg .tok.warn{fill:var(--st-f)}
.fig.fig-tree svg{min-width:600px}
.dg .tt{font-size:14px}
.dg .ts{font-size:12px}
.lg-agent{background:var(--accent-soft);border:1.2px dashed var(--accent)}
.lg-scope{border:1.3px solid var(--ink-2)}
.lg-tok{background:var(--accent);border-radius:50%!important;width:11px!important}
@media (prefers-reduced-motion:no-preference){
  .flow .ed.acc{stroke-dasharray:7 5;animation:dash 1.4s linear infinite}
  html.js .fig-tree .tnode{opacity:0;transform:translateY(6px);transition:opacity .45s ease,transform .45s ease;transition-delay:calc(var(--i) * 60ms)}
  html.js .fig-tree.in .tnode{opacity:1;transform:none}
}
@keyframes dash{to{stroke-dashoffset:-24}}
@media (prefers-reduced-motion:reduce){.dg .tok{display:none}}

/* ---------- home demo ---------- */
.demo{margin:8px 0 34px}
.demo-win{background:var(--code-bg);border-radius:14px;overflow:hidden;box-shadow:0 24px 60px -24px rgba(10,30,24,.45),var(--shadow);border:1px solid var(--code-line)}
.demo-bar{display:flex;align-items:center;gap:12px;padding:10px 14px;border-bottom:1px solid var(--code-line);font-family:var(--f-mono);font-size:12px;color:var(--code-dim)}
.dots{display:flex;gap:6px}.dots i{width:10px;height:10px;border-radius:50%;background:#2A3A35}
.demo-tab{color:var(--code-ink);background:#1A2A25;padding:3px 10px;border-radius:6px}
.demo-status{margin-left:auto;color:#86DDAE}
.demo-status.busy{color:#F3C170}
.demo-btn{font:inherit;font-size:11.5px;color:var(--code-ink);background:transparent;border:1px solid var(--code-line);border-radius:5px;padding:2px 9px;cursor:pointer}
.demo-body{display:grid;grid-template-columns:minmax(0,1.05fr) minmax(0,1fr);min-height:540px}
.demo-code{margin:0;padding:16px 18px;overflow:auto;max-height:560px;font-family:var(--f-mono);font-size:12px;line-height:1.62;color:var(--code-ink);border-right:1px solid var(--code-line)}
.demo-code .ln{display:block;white-space:pre}
.demo-canvas{background:var(--surface);position:relative;padding:8px 8px 34px}
.demo-canvas svg{width:100%;height:auto;display:block}
.demo-ticker{position:absolute;left:0;right:0;bottom:0;margin:0;padding:8px 14px;font-family:var(--f-mono);font-size:11.5px;color:var(--ink-2);border-top:1px solid var(--line);background:var(--sunken);white-space:nowrap;overflow:hidden;text-overflow:ellipsis;max-width:none}
.demo .dtok{fill:var(--accent);stroke:var(--surface);stroke-width:2;filter:drop-shadow(0 0 4px var(--accent))}
.demo .dcall rect{fill:var(--ink)}.demo .dcall text{fill:var(--bg);font-size:11px}
html.js .demo.running .ln.pre{visibility:hidden}
html.js .demo.running .ln.typing{visibility:visible;animation:typeon var(--d,600ms) steps(var(--n,20)) both}
html.js .demo.running .ln.typing::after{content:"▍";color:var(--t-kw);animation:blink .7s steps(1) infinite}
@keyframes typeon{from{clip-path:inset(0 100% 0 0)}to{clip-path:inset(0 0 0 0)}}
@keyframes blink{50%{opacity:0}}
html.js .demo.running .dn.hid{opacity:0}
.demo .dn{transition:opacity .45s ease}
.demo .dn.pop rect{animation:pop .5s ease}
@keyframes pop{0%{transform:scale(.92);transform-origin:center;transform-box:fill-box}100%{transform:scale(1)}}
.demo .flash rect{stroke-width:3!important;filter:drop-shadow(0 0 6px var(--accent))}
.demo .flash.bad rect{filter:drop-shadow(0 0 6px var(--st-f))}
.demo.fading .demo-body{opacity:.15;transition:opacity .6s ease}
@media (max-width:900px){.demo-body{grid-template-columns:1fr}.demo-code{border-right:0;border-bottom:1px solid var(--code-line);max-height:300px}}

/* ---------- ops view ---------- */
.opsview{margin:6px 0 30px;border:1px solid var(--line);border-radius:14px;background:var(--surface);overflow:hidden;box-shadow:var(--shadow)}
.ops-head{display:flex;align-items:center;gap:10px;padding:10px 16px;border-bottom:1px solid var(--line);font-size:13px;color:var(--ink-3)}
.ops-head b{color:var(--ink);font-family:var(--f-display);font-weight:650;font-size:15px}
.ops-dot{width:8px;height:8px;border-radius:50%;background:var(--st-t);box-shadow:0 0 0 0 var(--st-t);animation:beat 2s infinite}
@keyframes beat{0%{box-shadow:0 0 0 0 color-mix(in srgb,var(--st-t) 60%,transparent)}70%{box-shadow:0 0 0 8px transparent}100%{box-shadow:0 0 0 0 transparent}}
.ops-grid{display:grid;grid-template-columns:minmax(0,1fr) 360px}
.ops-log{height:236px;overflow:hidden;position:relative;font-family:var(--f-mono);font-size:12px;border-right:1px solid var(--line);mask-image:linear-gradient(to bottom,transparent,#000 12%,#000 88%,transparent)}
.ops-roll{padding:10px 16px}
.ops-roll p{margin:0 0 7px;white-space:nowrap;color:var(--ink-2);max-width:none}
.ops-roll time{color:var(--ink-3);margin-right:10px}
.ops-roll code{background:none!important;border:0!important;padding:0!important;color:var(--ink)}
.fam{display:inline-block;width:94px;font-size:10.5px;text-transform:uppercase;letter-spacing:.06em}
.fam.e{color:var(--st-b)}.fam.i{color:var(--accent)}.fam.x{color:var(--st-n)}
.ops-roll em{font-style:normal;margin-left:6px;font-weight:600}
.ops-roll .ok{color:var(--st-t)}.ops-roll .bad{color:var(--st-f)}.ops-roll .n{color:var(--st-n)}
@media (prefers-reduced-motion:no-preference){html.js .ops-roll{animation:roll 22s linear infinite}}
@keyframes roll{from{transform:translateY(0)}to{transform:translateY(-50%)}}
.ops-side{display:grid;grid-template-columns:1fr 1fr;align-content:start}
.ops-roll p{font-size:11.5px}
.kpi{padding:12px 16px;border-bottom:1px solid var(--line)}
.kpi small{display:block;font-size:11px;text-transform:uppercase;letter-spacing:.08em;color:var(--ink-3)}
.kpi b{display:block;font-family:var(--f-display);font-size:22px;font-weight:650;font-variant-numeric:tabular-nums}
.kpi span{font-size:12px;color:var(--ink-2);line-height:1.35;display:block}
.kpi:nth-child(odd){border-right:1px solid var(--line)}
@media (max-width:700px){.ops-grid{grid-template-columns:1fr}.ops-log{border-right:0;border-bottom:1px solid var(--line)}}

/* ---------- race ---------- */
.race{margin:10px 0 26px;padding:16px 18px;border:1px solid var(--line);border-radius:12px;background:var(--surface)}
.race-row{display:grid;grid-template-columns:170px 1fr 90px;gap:12px;align-items:center;margin-bottom:10px}
.race-l{font-size:14px;font-weight:600}
.race-v{font-family:var(--f-mono);font-size:13px;color:var(--ink-2);text-align:right}
.race-track{height:12px;border-radius:6px;background:var(--sunken);overflow:hidden}
.race-bar{height:100%;width:var(--w);border-radius:6px}
.race-bar.cd{background:var(--accent)}.race-bar.rt{background:var(--st-n)}
@media (prefers-reduced-motion:no-preference){html.js .race.in .race-bar{animation:grow 2.4s cubic-bezier(.2,.7,.2,1) both}.race.in .race-bar.rt{animation-duration:5s}}
@keyframes grow{from{width:0}to{width:var(--w)}}
.race-cap{margin:4px 0 0;font-size:13px;color:var(--ink-3)}
@media (max-width:600px){.race-row{grid-template-columns:1fr 70px}.race-l{grid-column:1/-1}}

/* ---------- vote ---------- */
.vote svg{min-width:720px}
.vote .grid{stroke:var(--line);stroke-width:1}
.vote .axis{fill:var(--ink-3);font-size:10.5px}
.vote .thr{stroke-width:1.6;stroke-dasharray:6 4}
.vote .thr.cost{stroke:var(--accent)}.vote .thr.max{stroke:var(--st-f);stroke-dasharray:2 4}
.vote .thr-t{font-size:11px;fill:var(--ink-2)}
.vote .thr-t.cost{fill:var(--accent)}.vote .thr-t.max{fill:var(--st-f)}
.vote .need{fill:none;stroke:var(--st-n);stroke-width:2.6;stroke-linejoin:round}
.vote .need-after{fill:none;stroke:var(--st-t);stroke-width:2.6;stroke-linejoin:round}
.vote .need-t{fill:var(--st-n);font-size:11.5px;font-weight:600}
.vote .cross{fill:var(--surface);stroke:var(--accent);stroke-width:2.5}
.vote .vmark line{stroke:var(--ink-3);stroke-dasharray:2 3}
.vote .vmark circle{fill:var(--st-n)}
.vote .vmark rect{fill:var(--st-f-bg);stroke:var(--st-f)}.vote .vmark text{fill:var(--st-f);font-size:11px;font-weight:600}
.vote .vmark.ok rect{fill:var(--st-t-bg);stroke:var(--st-t)}.vote .vmark.ok text{fill:var(--st-t)}
.vote .seat{fill:var(--sunken);stroke:var(--line-2);stroke-width:1.5;transition:fill .3s ease,stroke .3s ease}
.vote .seat.yes{fill:var(--st-t-bg);stroke:var(--st-t)}.vote .seat.no{fill:var(--st-f-bg);stroke:var(--st-f)}
.vote .seat-t{font-size:14px;font-weight:700;fill:var(--ink-2)}
.vote .blk{fill:var(--st-f-bg);stroke:var(--st-f);stroke-width:1.5}.vote .blk-x{stroke:var(--st-f);stroke-width:2}
.vote #vblock.off{display:none}
.vote #vpow{transition:stroke-width .3s}.vote #vpow.live{stroke-width:3}
.vote #vgo,.vote #vexe{transition:opacity .3s}
html.js .vote.stepping .vs{opacity:0;transition:opacity .4s ease}
html.js .vote.stepping .vs.on{opacity:1}
html.js .vote.stepping #vgo:not(.live),html.js .vote.stepping #vexe:not(.live){opacity:.25}
#vclip{transition:width .9s ease}
.vote-ctl{display:flex;align-items:center;gap:8px;margin:10px 4px 0}
.vbtn{font:inherit;font-size:13px;border:1px solid var(--line-2);background:var(--surface);color:var(--ink);border-radius:7px;padding:4px 12px;cursor:pointer}
.vbtn:hover{border-color:var(--accent)}
.vote-cap{margin:0 0 0 6px;font-size:14px;color:var(--ink);max-width:none;flex:1}
.vote-steps{margin:12px 0 4px;padding-left:22px;font-size:14px;color:var(--ink-2)}
.vote-steps li{margin-bottom:4px}
html.js .vote.stepping .vote-steps li.cur{color:var(--ink);font-weight:500}
html.js .vote.stepping .vote-steps{display:none}

/* ---------- learning: frontier comparison ---------- */
.frontier-cmp{display:grid;grid-template-columns:1fr 1fr;gap:16px;margin:8px 0 24px}
.fc{border:1px solid var(--line);border-radius:12px;background:var(--surface);padding:14px 16px}
.fc-h{margin:0 0 10px;font-weight:600;font-size:14px}
.fc-grid{display:grid;grid-template-columns:repeat(8,1fr);gap:6px}
.fc-grid i,.fc-legend i{display:block;aspect-ratio:1;border-radius:5px}
.frontier-cmp .r{background:var(--st-t)}.frontier-cmp .a{background:var(--accent-soft);outline:1.5px solid var(--accent)}.frontier-cmp .u{background:var(--st-n-bg);outline:1.5px solid var(--st-n)}.frontier-cmp .x{background:var(--st-f)}
.fc-s{margin:10px 0 0;font-size:12.5px;color:var(--ink-2)}
.fc-legend{grid-column:1/-1;display:flex;flex-wrap:wrap;gap:6px 16px;margin:0;font-size:12.5px;color:var(--ink-2)}
.fc-legend span{display:inline-flex;align-items:center;gap:6px}.fc-legend i{width:12px}
@media (prefers-reduced-motion:no-preference){html.js .frontier-cmp.in .pooled i{animation:flip .5s ease both;animation-delay:calc(var(--k) * 45ms)}}
@keyframes flip{from{transform:rotateY(90deg);opacity:.3}to{transform:none;opacity:1}}
@media (max-width:640px){.frontier-cmp{grid-template-columns:1fr}}

/* ---------- solutions ---------- */
.sol-grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(300px,1fr));gap:14px;margin:8px 0 28px;max-width:none}
.sol{border:1px solid var(--line);border-radius:12px;background:var(--surface);padding:16px 18px;display:flex;flex-direction:column}
.sol h3{margin:4px 0 8px;font-size:16.5px}
.sol p{font-size:14.5px;margin:0 0 10px}
.sol-need{font-family:var(--f-mono);font-size:11.5px!important;color:var(--accent);text-transform:uppercase;letter-spacing:.04em}
.sol-why{margin-top:auto!important;padding-top:10px;border-top:1px solid var(--line);font-size:13.5px!important;color:var(--ink-2)}
.sol.no{background:var(--sunken)}.sol.no .sol-need{color:var(--st-f)}

/* ---------- needs: derivation ---------- */
.fig.derive svg{max-width:100%}
.dg .dv-src{fill:var(--surface);stroke:var(--line-2);stroke-width:1.2}
.dg .dv-src.k-norm{stroke:var(--accent)} .dg .dv-src.k-intent{stroke:var(--info)} .dg .dv-src.k-claim{stroke:var(--st-b);stroke-dasharray:4 3} .dg .dv-src.k-budget{stroke:var(--st-n)}
.dg .dv-name{font-family:var(--f-mono);font-size:12.5px;fill:var(--ink)}
.dg .dv-prop{fill:var(--accent-soft);stroke:var(--accent);stroke-width:1.2}
.dg .dv-prop.miss{fill:var(--warn-bg);stroke:var(--st-n)}
.dg .dv-pn{font-family:var(--f-mono);font-size:12.5px;font-weight:600;fill:var(--ink)}
.dg .dv-e{fill:none;stroke:var(--line-2);stroke-width:1.6}
.dg .dv-e.k-norm{stroke:var(--accent)} .dg .dv-e.k-intent{stroke:var(--info)} .dg .dv-e.k-claim{stroke:var(--st-b)} .dg .dv-e.k-budget{stroke:var(--st-n)}
.dg .badge.warnb{fill:var(--st-n)}
@media (prefers-reduced-motion:no-preference){
  html.js .fig.derive .dv-e{stroke-dasharray:420;stroke-dashoffset:420}
  html.js .fig.derive .dv-p{opacity:0;transform:translateX(-10px);transition:opacity .45s ease,transform .45s ease}
  html.js .fig.derive.in .dv-e{animation:dvdraw 1s ease forwards;animation-delay:calc(var(--k) * 110ms + 200ms)}
  html.js .fig.derive.in .dv-p{opacity:1;transform:none;transition-delay:calc(var(--i) * 110ms + 700ms)}
}
@keyframes dvdraw{to{stroke-dashoffset:0}}


/* ---------- compiler figure ---------- */
.dg .corr{stroke:var(--line-2);stroke-width:1.2;stroke-dasharray:2 4}
.cmp-t td:first-child,.cmp-t th:first-child{width:42%}

/* ---------- needs: matrix ---------- */
.matrix{margin:8px 0 28px}
.mx-scroll{overflow-x:auto;border:1px solid var(--line);border-radius:12px;background:var(--surface)}
.mx-t{border-collapse:collapse;width:100%;min-width:720px;font-size:13px;margin:0}
.mx-t caption{caption-side:bottom;text-align:left;padding:10px 14px;font-size:12.5px;color:var(--ink-3)}
.mx-t th,.mx-t td{border:0;border-bottom:1px solid var(--line);padding:0}
.mx-t thead th{hyphens:manual;font-size:11px;font-weight:600;color:var(--ink-2);text-transform:uppercase;letter-spacing:.04em;vertical-align:bottom;padding:10px 4px 8px;text-align:center;line-height:1.25;background:var(--sunken)}
.mx-t thead th:first-child{text-align:left;padding-left:14px}
.mx-t tbody th{text-align:left;font-weight:500;text-transform:none;letter-spacing:0;color:var(--ink);background:transparent;padding:9px 10px 9px 14px;font-size:13.5px;line-height:1.35;min-width:230px}
.mx-t tbody th b{display:inline-grid;place-items:center;width:22px;height:22px;border-radius:6px;background:var(--sunken);font-family:var(--f-mono);font-size:12px;margin-right:6px}
.mx-t tbody th small{display:block;margin:2px 0 0 28px;font-size:11.5px;color:var(--ink-3);text-transform:uppercase;letter-spacing:.05em}
.mx-t tr.v-ok th small{color:var(--st-t)} .mx-t tr.v-no th small{color:var(--st-f)} .mx-t tr.v-unk th small{color:var(--st-n)}
.mx-t tr.v-ok th b{background:var(--st-t-bg);color:var(--st-t)}
.mx-t td.mx{text-align:center;font-size:15px;font-weight:600;position:relative;width:52px}
.mx-t td.st-T{color:var(--st-t)} .mx-t td.st-F{color:var(--st-f);background:var(--st-f-bg)} .mx-t td.st-N{color:var(--st-n);background:var(--st-n-bg)}
.mx-t td.says::after{content:"";position:absolute;top:7px;right:7px;width:7px;height:7px;border-radius:50%;background:var(--st-b)}
.mx-t tbody tr{cursor:pointer;transition:background .15s}
.mx-t tbody tr:hover,.mx-t tbody tr.sel{background:var(--accent-soft)}
.mx-t tbody tr.sel th{box-shadow:inset 3px 0 0 var(--accent)}
.vh{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap}
.mx-legend{display:flex;flex-wrap:wrap;gap:6px 18px;font-size:12.5px;color:var(--ink-2);margin:10px 2px 0}
.mx-legend .st-T{color:var(--st-t)} .mx-legend .st-F{color:var(--st-f)} .mx-legend .st-N{color:var(--st-n)}
.mx-legend .says-k::before{content:"";display:inline-block;width:7px;height:7px;border-radius:50%;background:var(--st-b);margin-right:6px;vertical-align:1px}
.mx-details{margin-top:12px}
.mx-d{border:1px solid var(--line);border-radius:12px;padding:12px 16px;margin:0 0 10px;background:var(--surface)}
.mx-d h4{margin:0 0 8px;font-size:15px}
.mx-d h4 small{font-size:11px;text-transform:uppercase;letter-spacing:.05em;margin-left:6px}
.mx-d h4 small.v-ok{color:var(--st-t)} .mx-d h4 small.v-no{color:var(--st-f)} .mx-d h4 small.v-unk{color:var(--st-n)}
.mx-d ul{list-style:none;margin:0;padding:0;display:grid;grid-template-columns:repeat(auto-fill,minmax(260px,1fr));gap:4px 18px;font-size:13.5px}
.mx-d li{padding:3px 0;line-height:1.45}
.mx-d li i{font-style:normal;font-weight:700;margin-right:6px}
.mx-d li.st-T i{color:var(--st-t)} .mx-d li.st-F i{color:var(--st-f)} .mx-d li.st-N i{color:var(--st-n)}
.mx-d li b{font-weight:600;margin-right:4px}
.mx-d li em{display:block;margin-left:18px;color:var(--st-b);font-size:12.5px}
html.js .mx-d{display:none} html.js .mx-d.on{display:block;animation:fadein .3s ease}
@keyframes fadein{from{opacity:0;transform:translateY(4px)}to{opacity:1;transform:none}}

/* ---------- needs: designs ---------- */
.designs{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:16px;margin:10px 0 28px}
.dz{border:1px solid var(--line);border-radius:14px;padding:16px 16px 6px;background:var(--surface);display:flex;flex-direction:column}
.dz header{display:flex;gap:10px;align-items:flex-start;margin-bottom:8px}
.dz header b{flex:none;display:grid;place-items:center;width:26px;height:26px;border-radius:7px;background:var(--st-t-bg);color:var(--st-t);font-family:var(--f-mono);font-size:13px}
.dz h4{margin:2px 0 0;font-size:15.5px;line-height:1.35}
.dz-svg{background:var(--sunken);border-radius:10px;padding:6px;margin:0 0 10px}
.dz-svg svg{width:100%;height:auto;display:block}
.dz p{font-size:14px;line-height:1.55;margin:0 0 10px}
.dz .dz-why{color:var(--ink-2)}
@media (max-width:860px){.designs{grid-template-columns:1fr}}

/* ---------- needs: ranking ---------- */
.rank{border:1px solid var(--line);border-radius:14px;padding:14px 18px;background:var(--surface);margin:10px 0 24px}
.rk-h{font-size:13.5px;color:var(--ink-2);margin:0 0 10px}
.rk-row{display:grid;grid-template-columns:230px 1fr 200px;gap:12px;align-items:center;padding:6px 0;font-size:13.5px}
.rk-bar{display:flex;height:16px;background:var(--sunken);border-radius:4px;overflow:hidden}
.rk-bar i{display:block;height:100%;width:var(--w)}
.rk-m{background:var(--accent)} .rk-a{background:var(--info)} .rk-e{background:var(--st-n)}
.rk-v{font-family:var(--f-mono);font-size:12.5px}
.rk-v small{display:block;font-family:var(--f-body);color:var(--ink-3);font-size:11.5px}
.rk-k{display:flex;gap:16px;font-size:12px;color:var(--ink-2);margin:8px 0 0}
.rk-k i{display:inline-block;width:10px;height:10px;border-radius:2px;margin-right:5px;vertical-align:-1px}
@media (prefers-reduced-motion:no-preference){html.js .rank .rk-bar i{transition:width 1s cubic-bezier(.2,.7,.2,1)} html.js .rank:not(.in) .rk-bar i{width:0}}
@media (max-width:760px){.rk-row{grid-template-columns:1fr}.rk-v small{display:inline;margin-left:6px}}

/* ---------- replays ---------- */
.replays{margin:10px 0 30px;--g-evidence:var(--ink-3);--g-scripted:var(--st-t);--g-reasoning:var(--st-b);--g-person:var(--info);--g-uncertain:var(--st-n);--g-blocked:var(--st-f)}
.rp-tabs{display:none;flex-wrap:wrap;gap:8px;margin:0 0 14px}
html.js .rp-tabs{display:flex}
.rp-tabs button{font:inherit;font-size:13.5px;padding:7px 14px;border-radius:999px;border:1px solid var(--line-2);background:var(--surface);color:var(--ink-2);cursor:pointer}
.rp-tabs button:hover{border-color:var(--accent);color:var(--ink)}
.rp-tabs button[aria-selected=true]{background:var(--accent);border-color:var(--accent);color:var(--accent-ink);font-weight:600}
.rp{border:1px solid var(--line);border-radius:16px;padding:20px 22px;background:var(--surface);margin:0 0 18px;box-shadow:var(--shadow)}
html.js .rp{display:none} html.js .rp.on{display:block;animation:fadein .35s ease}
.rp h3{margin:0 0 6px}
.rp-setup{color:var(--ink-2);font-size:15px;margin:0 0 14px}
.rp-strip{display:flex;gap:3px;margin:0 0 16px}
.rp-strip i{flex:1;height:8px;border-radius:3px;background:var(--line);transition:background .3s,transform .3s}
.rp-strip i.g-evidence{--c:var(--g-evidence)} .rp-strip i.g-scripted{--c:var(--g-scripted)} .rp-strip i.g-reasoning{--c:var(--g-reasoning)}
.rp-strip i.g-person{--c:var(--g-person)} .rp-strip i.g-uncertain{--c:var(--g-uncertain)} .rp-strip i.g-blocked{--c:var(--g-blocked)}
.rp-strip i{background:var(--c)}
html.js .rp.stepping .rp-strip i{background:var(--line)}
html.js .rp.stepping .rp-strip i.lit{background:var(--c)}
html.js .rp.stepping .rp-strip i.cur{transform:scaleY(1.6)}
.rp-grid{display:grid;grid-template-columns:minmax(0,1fr) 260px;gap:20px;align-items:start}
.rp-log{list-style:none;margin:0;padding:0;counter-reset:none}
.rp-row{display:grid;grid-template-columns:78px 92px minmax(0,1fr);gap:10px;padding:8px 8px;border-radius:9px;border-left:3px solid transparent;transition:opacity .35s,background .25s;font-size:14px;line-height:1.5}
.rp-row[data-g=evidence]{--c:var(--g-evidence)} .rp-row[data-g=scripted]{--c:var(--g-scripted)} .rp-row[data-g=reasoning]{--c:var(--g-reasoning)}
.rp-row[data-g=person]{--c:var(--g-person)} .rp-row[data-g=uncertain]{--c:var(--g-uncertain)} .rp-row[data-g=blocked]{--c:var(--g-blocked)}
.rp-t{font-family:var(--f-mono);font-size:12px;color:var(--ink-3);padding-top:2px}
.rp-k{align-self:start;justify-self:start;font-size:11px;font-weight:600;text-transform:uppercase;letter-spacing:.05em;color:var(--c);border:1px solid var(--c);border-radius:999px;padding:1px 8px;margin-top:1px;white-space:nowrap}
.rp-who{font-weight:600;margin-right:2px}
.rp-x code{font-size:12.5px}
.rp-why{margin:4px 0 0;color:var(--ink-2);font-size:13.5px}
html.js .rp-why{display:none}
.rp-side{display:none;position:sticky;top:84px;border:1px solid var(--line);border-radius:12px;padding:14px;background:var(--bg)}
html.js .rp-side{display:block}
.rp-lbl{font-size:11px;font-weight:600;text-transform:uppercase;letter-spacing:.07em;color:var(--ink-3);margin:0 0 6px}
.rp-modes{display:flex;flex-wrap:wrap;gap:5px;margin:0 0 14px}
.rp-modes span{font-size:11.5px;padding:2px 8px;border-radius:999px;border:1px solid var(--line);color:var(--ink-3);transition:all .25s}
.rp-modes span.on{color:var(--accent-ink);font-weight:600;border-color:transparent}
.rp-modes span.on.g-evidence{background:var(--g-evidence)} .rp-modes span.on.g-scripted{background:var(--g-scripted)} .rp-modes span.on.g-reasoning{background:var(--g-reasoning)}
.rp-modes span.on.g-person{background:var(--g-person)} .rp-modes span.on.g-uncertain{background:var(--g-uncertain)} .rp-modes span.on.g-blocked{background:var(--g-blocked)}
.rp-now{font-size:14px;line-height:1.55;margin:0 0 14px;min-height:6.2em}
.rp-ctl{display:flex;gap:6px;align-items:center}
.rp-pos{margin-left:auto;font-family:var(--f-mono);font-size:12px;color:var(--ink-3)}
html.js .rp.stepping .rp-row.fut{opacity:.22}
html.js .rp.stepping .rp-row.cur{background:var(--sunken);border-left-color:var(--c)}
.rp-row{cursor:default} html.js .rp.stepping .rp-row{cursor:pointer}
.rp-out{margin:16px 0 8px;padding:12px 14px;border-radius:10px;background:var(--accent-soft);font-size:15px}
.rp-code{margin:6px 0 0}
.rp-code summary{cursor:pointer;color:var(--accent);font-size:14px;padding:4px 0}
.rp-code figure.code{margin-top:8px}
.rp-legend{display:flex;flex-wrap:wrap;gap:6px 16px;font-size:12.5px;color:var(--ink-2);margin:4px 2px 0}
.rp-legend i{display:inline-block;width:14px;height:8px;border-radius:3px;margin-right:6px;vertical-align:1px}
.rp-legend .g-evidence i{background:var(--g-evidence)} .rp-legend .g-scripted i{background:var(--g-scripted)} .rp-legend .g-reasoning i{background:var(--g-reasoning)}
.rp-legend .g-person i{background:var(--g-person)} .rp-legend .g-uncertain i{background:var(--g-uncertain)} .rp-legend .g-blocked i{background:var(--g-blocked)}
@media (max-width:900px){
  .rp-grid{grid-template-columns:1fr}
  .rp-side{position:static;order:-1}
  .rp-now{min-height:0}
  .rp{padding:16px 14px}
  .rp-row{grid-template-columns:52px minmax(0,1fr)}
  .rp-t{font-size:11px;line-height:1.35}
  .rp-row .rp-k{grid-column:2;grid-row:1}
  .rp-row .rp-m{grid-column:2}
  html.js .rp.stepping .rp-row.cur .rp-why{display:block}
  html.js .rp-side .rp-now,html.js .rp-side .rp-lbl:nth-of-type(2){display:none}
}

/* ---------- phone layouts ---------- */
.dv-m,.cm-m{display:none}
.fig.scrolls::before{content:"Swipe sideways to see the whole diagram →";display:block;position:sticky;left:0;font-size:12px;color:var(--ink-3);margin:0 0 8px}
.dvm-h,.cm-h{font-size:11px;font-weight:600;text-transform:uppercase;letter-spacing:.07em;color:var(--ink-3);margin:0 0 10px}
.dvm-s{border-left:3px solid var(--line-2);padding:2px 0 2px 12px;margin:0 0 14px}
.dvm-s.k-norm{border-color:var(--accent)} .dvm-s.k-intent{border-color:var(--info)} .dvm-s.k-claim{border-color:var(--st-b)} .dvm-s.k-budget{border-color:var(--st-n)}
.dvm-s code{font-size:13px;background:none;padding:0;color:var(--ink);font-weight:600}
.dvm-s small{display:block;font-size:12px;color:var(--ink-3);margin:1px 0 6px}
.dvm-s ul{list-style:none;margin:0;padding:0}
.dvm-s li{position:relative;background:var(--accent-soft);border-radius:8px;padding:7px 10px;margin:0 0 6px;font-size:13.5px;line-height:1.4}
.dvm-s li::before{content:"→";color:var(--ink-3);margin-right:6px}
.dvm-s li b{font-family:var(--f-mono);font-size:12.5px;margin-right:4px}
.dvm-s li.miss{background:var(--warn-bg)}
.dvm-s li em{display:inline-block;font-style:normal;font-size:10.5px;font-weight:700;color:var(--accent-ink);background:var(--st-n);border-radius:999px;padding:0 7px;margin-left:6px;vertical-align:1px}
.cm-h{display:grid;grid-template-columns:1fr 18px 1fr;gap:8px}
.cm-h span:last-child{grid-column:3}
.cm-m ol{list-style:none;margin:0;padding:0}
.cm-m li{display:grid;grid-template-columns:1fr 18px 1fr;gap:8px;align-items:center;margin:0 0 6px}
.cm-a,.cm-b{border:1px solid var(--line-2);border-radius:8px;padding:6px 9px;font-size:13.5px;font-weight:600;line-height:1.3;background:var(--bg)}
.cm-a small,.cm-b small{display:block;font-weight:400;font-size:11.5px;color:var(--ink-2)}
.cm-m li.hl .cm-b{border-color:var(--accent);border-width:2px;background:var(--accent-soft)}
.cm-x{color:var(--ink-3);text-align:center}
.cm-loop{font-size:13px;color:var(--accent);margin:10px 0 0}
@media (max-width:700px){
  .fig.derive svg,.fig.compiler svg{display:none}
  .fig.derive,.fig.compiler{overflow:visible}
  .fig.derive::before,.fig.compiler::before{content:none}
  .dv-m,.cm-m{display:block}
  .matrix .mx-scroll{overflow:visible;border:0;background:none}
  .mx-t,.mx-t tbody,.mx-t caption{display:block;min-width:0}
  .mx-t thead{display:none}
  .mx-t tbody tr{display:grid;grid-template-columns:repeat(6,minmax(0,1fr));gap:3px;border:1px solid var(--line);border-radius:12px;padding:10px;margin:0 0 10px;background:var(--surface)}
  .mx-t tbody th{grid-column:1/-1;border:0;padding:0 0 6px;min-width:0}
  .mx-t tbody tr.sel th{box-shadow:none}
  .mx-t tbody tr.sel{border-color:var(--accent)}
  .mx-t td.mx{width:auto;border:0;border-radius:6px;padding:5px 0 4px;font-size:14px;background:var(--sunken)}
  .mx-t td.mx::before{content:attr(data-l);display:block;font-size:9.5px;font-weight:500;color:var(--ink-3);text-transform:uppercase;letter-spacing:.02em;line-height:1.2;margin-bottom:1px}
  .mx-t td.st-F{background:var(--st-f-bg)} .mx-t td.st-N{background:var(--st-n-bg)}
  .mx-t td.says::after{top:4px;right:4px;width:6px;height:6px}
  .mx-t caption{padding:0 2px 8px;caption-side:top}
  .rp-tabs{flex-wrap:nowrap;overflow-x:auto;margin:0 -16px 14px;padding:0 16px 4px;scrollbar-width:none}
  .rp-tabs::-webkit-scrollbar{display:none}
  .rp-tabs button{white-space:nowrap;flex:none}
  .demo-code{max-height:280px;font-size:11.5px}
}

:not(pre)>code{overflow-wrap:anywhere}
@media (max-width:700px){.content table{display:block;overflow-x:auto}article code:not(pre code),article td code{white-space:normal;overflow-wrap:anywhere}}
@media (max-width:700px){html.js .rp.stepping .rp-row.fut{opacity:.45}}