:root {
  --bg: #f6f6f4;
  --surface: #ffffff;
  --sunk: #fafaf8;
  --ink: #16161a;
  --muted: #5c5e66;
  --faint: #8b8d94;
  --line: #e5e5e1;
  --line-2: #efefec;
  --accent: #5b3fd9;
  --accent-ink: #3f2aa6;
  --accent-soft: #efebff;
  --accent-line: #d9d0ff;
  --blue: #1d64c8; --blue-soft: #e8f0fc;
  --teal: #0b7a6b; --teal-soft: #e3f4f1;
  --amber: #955800; --amber-soft: #fdf3e2;
  --red: #b42318; --red-soft: #fdecea;
  --green: #16794a; --green-soft: #e6f4ec;
  --gray-soft: #f0f0ed;
  --mono: 'JetBrains Mono', ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --sans: 'Inter', system-ui, -apple-system, 'Segoe UI', Roboto, sans-serif;
  --side: 248px;
  --shadow: 0 1px 2px rgba(20, 20, 30, .04), 0 4px 16px -8px rgba(20, 20, 30, .10);
  color-scheme: light;
}
* { box-sizing: border-box; }
html { overflow-x: clip; }
body { margin: 0; background: var(--bg); color: var(--ink); font: 14px/1.5 var(--sans); -webkit-font-smoothing: antialiased; }
a { color: var(--accent-ink); text-underline-offset: 2px; }
code, .mono { font-family: var(--mono); font-size: 12.5px; }
code { background: var(--gray-soft); padding: 1px 4px; border-radius: 4px; overflow-wrap: anywhere; }
svg { width: 16px; height: 16px; fill: none; stroke: currentColor; stroke-width: 2; stroke-linecap: round; stroke-linejoin: round; flex: none; }
[hidden] { display: none !important; }
h1 { font-size: 24px; line-height: 1.2; letter-spacing: -0.02em; margin: 0 0 6px; }

/* ---------- shell ---------- */
.side { position: fixed; inset: 0 auto 0 0; width: var(--side); background: var(--surface); border-right: 1px solid var(--line); display: flex; flex-direction: column; z-index: 30; }
.main { margin-left: var(--side); min-width: 0; padding-bottom: 48px; }
.brand { display: flex; align-items: center; gap: 10px; padding: 16px 16px 14px; border-bottom: 1px solid var(--line-2); }
.logo { width: 28px; height: 28px; border-radius: 8px; background: var(--accent); display: grid; place-items: center; box-shadow: inset 0 -2px 0 rgba(0,0,0,.15); flex: none; }
.logo svg { width: auto; height: auto; stroke: none; }
.brand-name { font-weight: 700; letter-spacing: -0.01em; font-size: 14px; }
.brand-sub { color: var(--faint); font-size: 11.5px; }
.nav { padding: 10px 8px; display: grid; gap: 2px; }
.nav-item { display: flex; align-items: center; gap: 10px; width: 100%; text-align: left; font: 500 13.5px var(--sans); color: var(--muted); background: none; border: 0; border-radius: 7px; padding: 8px 10px; cursor: pointer; }
.nav-item:hover { background: var(--gray-soft); color: var(--ink); }
.nav-item.active { background: var(--accent-soft); color: var(--accent-ink); }
.nav-item .count { margin-left: auto; font: 500 11px var(--mono); color: var(--faint); }
.side-sec { padding: 6px 8px; border-top: 1px solid var(--line-2); flex: 1; overflow-y: auto; min-height: 0; }
.side-h { font-size: 10.5px; font-weight: 600; text-transform: uppercase; letter-spacing: .06em; color: var(--faint); padding: 10px 10px 6px; }
.side-empty { color: var(--faint); font-size: 12.5px; margin: 0; padding: 0 10px; }
.recent { display: grid; gap: 2px; }
.recent button { display: grid; gap: 1px; text-align: left; width: 100%; border: 0; background: none; border-radius: 7px; padding: 7px 10px; cursor: pointer; color: var(--ink); }
.recent button:hover { background: var(--gray-soft); }
.recent .ra { font: 500 12px var(--mono); overflow-wrap: anywhere; }
.recent .rv { font-size: 11.5px; color: var(--muted); overflow-wrap: anywhere; }
.side-foot { padding: 12px 16px 16px; border-top: 1px solid var(--line-2); font-size: 11.5px; color: var(--faint); }
.side-foot p { margin: 8px 0 0; }
.side-foot a { color: var(--muted); }
.net { display: flex; align-items: center; gap: 8px; color: var(--muted); font-weight: 500; }
.pulse { width: 8px; height: 8px; border-radius: 50%; background: var(--green); box-shadow: 0 0 0 0 rgba(22,121,74,.5); animation: pulse 2.4s infinite; flex: none; }
.pulse.busy { background: var(--accent); animation-duration: .9s; }
@keyframes pulse { 0% { box-shadow: 0 0 0 0 rgba(22,121,74,.45); } 70% { box-shadow: 0 0 0 6px rgba(22,121,74,0); } 100% { box-shadow: 0 0 0 0 rgba(22,121,74,0); } }

/* ---------- command bar ---------- */
.bar { position: sticky; top: 0; z-index: 20; background: rgba(246,246,244,.88); backdrop-filter: saturate(1.4) blur(10px); -webkit-backdrop-filter: saturate(1.4) blur(10px); border-bottom: 1px solid var(--line); padding: 12px 24px; }
.m-brand { display: none; }
.cmd { display: flex; align-items: center; gap: 8px; background: var(--surface); border: 1px solid var(--line); border-radius: 11px; padding: 5px 5px 5px 12px; box-shadow: var(--shadow); max-width: 1100px; }
.cmd:focus-within { border-color: var(--accent); box-shadow: 0 0 0 3px var(--accent-soft); }
.cmd-ic { color: var(--faint); }
.cmd input { flex: 1; min-width: 0; border: 0; outline: 0; font: 14px var(--mono); color: var(--ink); background: transparent; padding: 7px 0; }
.cmd input::placeholder { font-family: var(--sans); color: var(--faint); }
.cmd-kbd { font: 500 11px var(--mono); color: var(--faint); border: 1px solid var(--line); border-radius: 5px; padding: 1px 6px; }
.progress { position: absolute; left: 0; right: 0; bottom: -1px; height: 2px; overflow: hidden; }
.progress i { display: block; height: 100%; width: 0; background: var(--accent); transition: width .25s ease, opacity .4s ease; opacity: 0; }
.progress.on i { opacity: 1; }
.err-bar { margin: 12px 24px 0; background: var(--red-soft); color: var(--red); border: 1px solid #f4cbc6; border-radius: 9px; padding: 8px 12px; font-size: 13px; max-width: 1100px; }

.btn { display: inline-flex; align-items: center; gap: 7px; font: 600 13px var(--sans); cursor: pointer; border-radius: 8px; border: 1px solid var(--line); background: var(--surface); color: var(--ink); padding: 7px 12px; white-space: nowrap; }
.btn:hover { border-color: #cfcfca; background: var(--sunk); }
.btn.primary { background: var(--accent); border-color: var(--accent); color: #fff; padding: 8px 18px; }
.btn.primary:hover { background: var(--accent-ink); }
.btn.ghost { border-color: transparent; background: var(--gray-soft); color: var(--muted); font-weight: 500; }
.btn.ghost:hover { color: var(--ink); }
.btn.sm { padding: 3px 9px; font-size: 12px; font-weight: 500; }
.btn:disabled { opacity: .6; cursor: default; }
.icon-btn { width: 32px; height: 32px; display: grid; place-items: center; border: 1px solid var(--line); background: var(--surface); border-radius: 8px; cursor: pointer; color: var(--muted); }
.icon-btn:hover { color: var(--ink); background: var(--sunk); }
.icon-btn:disabled { opacity: .4; cursor: default; }

.pop { position: relative; }
.pop-panel { position: absolute; right: 0; top: calc(100% + 8px); width: min(460px, calc(100vw - 32px)); background: var(--surface); border: 1px solid var(--line); border-radius: 12px; box-shadow: 0 16px 40px -12px rgba(20,20,30,.22); padding: 12px; z-index: 40; }
.pop-tools { display: flex; gap: 6px; flex-wrap: wrap; margin-bottom: 10px; }
.pill-btn { font: 500 12px var(--sans); border: 1px solid var(--line); background: var(--sunk); border-radius: 999px; padding: 4px 10px; cursor: pointer; color: var(--ink); }
.pill-btn:hover { border-color: var(--accent); color: var(--accent-ink); }
.chain-grid { display: grid; grid-template-columns: repeat(auto-fill, minmax(190px, 1fr)); gap: 2px 10px; }
.chain-grid label { display: flex; gap: 8px; align-items: flex-start; font-size: 13px; padding: 5px 4px; border-radius: 6px; cursor: pointer; overflow-wrap: anywhere; }
.chain-grid label:hover { background: var(--gray-soft); }
.chain-grid input { accent-color: var(--accent); margin-top: 3px; }
.chain-grid small { color: var(--faint); display: block; font-size: 11px; }

/* ---------- views ---------- */
.view { padding: 22px 24px 0; max-width: 1148px; }
.card { background: var(--surface); border: 1px solid var(--line); border-radius: 12px; box-shadow: var(--shadow); }
.sec-h { font-size: 12px; font-weight: 600; text-transform: uppercase; letter-spacing: .05em; color: var(--muted); margin: 22px 0 10px; display: flex; gap: 10px; align-items: baseline; flex-wrap: wrap; }
.muted { color: var(--faint); font-weight: 500; text-transform: none; letter-spacing: 0; }
.label { font-size: 11px; font-weight: 600; text-transform: uppercase; letter-spacing: .06em; color: var(--faint); }

.hero { padding: 26px 0 4px; max-width: 70ch; }
.eyebrow { display: inline-block; font: 500 11.5px var(--mono); color: var(--accent-ink); background: var(--accent-soft); border: 1px solid var(--accent-line); border-radius: 999px; padding: 2px 10px; margin-bottom: 12px; }
.hero h1 { font-size: 30px; }
.hero p { color: var(--muted); margin: 0; font-size: 15px; }
.examples { display: grid; grid-template-columns: repeat(auto-fill, minmax(min(100%, 300px), 1fr)); gap: 10px; }
.ex { text-align: left; cursor: pointer; background: var(--surface); border: 1px solid var(--line); border-radius: 12px; padding: 14px; box-shadow: var(--shadow); display: grid; gap: 6px; font: inherit; color: inherit; transition: border-color .15s, transform .15s; min-width: 0; }
.ex:hover { border-color: var(--accent); transform: translateY(-1px); }
.ex-top { display: flex; justify-content: space-between; align-items: center; gap: 8px; }
.ex-title { font-weight: 600; }
.ex-hint { color: var(--muted); font-size: 13px; }
.ex-addr { font: 11.5px var(--mono); color: var(--faint); overflow-wrap: anywhere; }
.feat { display: grid; grid-template-columns: repeat(auto-fit, minmax(min(100%, 220px), 1fr)); gap: 10px; margin-top: 22px; }
.feat div { border-top: 2px solid var(--accent-line); padding-top: 10px; display: grid; gap: 2px; }
.feat b { font-size: 13.5px; }
.feat span { color: var(--muted); font-size: 13px; }

/* badges */
.badge { display: inline-flex; align-items: center; gap: 6px; font-size: 12px; font-weight: 600; padding: 2px 9px; border-radius: 999px; background: var(--gray-soft); color: var(--muted); white-space: nowrap; }
.badge::before { content: ''; width: 6px; height: 6px; border-radius: 50%; background: currentColor; opacity: .8; }
.badge.kernel { background: var(--accent-soft); color: var(--accent-ink); }
.badge.d7702 { background: var(--blue-soft); color: var(--blue); }
.badge.sca { background: var(--teal-soft); color: var(--teal); }
.badge.err { background: var(--red-soft); color: var(--red); }
.badge.wait { background: var(--gray-soft); color: var(--faint); }
.badge.wait::before { animation: blink 1s infinite; }
@keyframes blink { 50% { opacity: .2; } }

/* results */
.addr-card { display: flex; justify-content: space-between; align-items: flex-start; gap: 16px; padding: 16px 18px; flex-wrap: wrap; }
.addr-main { min-width: 0; flex: 1 1 360px; }
.addr { font-size: 15px; font-weight: 500; overflow-wrap: anywhere; margin-top: 2px; }
.verdict { margin-top: 8px; font-size: 14px; color: var(--ink); overflow-wrap: anywhere; }
.verdict b { font-weight: 600; }
.addr-actions { display: flex; gap: 6px; flex-wrap: wrap; }
.stats { display: grid; grid-template-columns: repeat(auto-fit, minmax(118px, 1fr)); margin-top: 12px; overflow: hidden; }
.stat { padding: 12px 16px; border-right: 1px solid var(--line-2); }
.stat:last-child { border-right: 0; }
.stat .n { font-size: 22px; font-weight: 700; letter-spacing: -0.02em; display: flex; align-items: center; gap: 8px; }
.stat .n i { width: 8px; height: 8px; border-radius: 50%; display: inline-block; }
.stat .t { color: var(--muted); font-size: 12px; }

.split { display: grid; grid-template-columns: minmax(0, 1fr) 330px; gap: 12px; margin-top: 12px; align-items: start; }
.list-card { overflow: hidden; }
.list-head, .row { display: grid; grid-template-columns: 1.1fr .95fr 1.5fr .75fr .7fr 20px; gap: 12px; align-items: center; }
.list-head { grid-template-columns: 1.1fr .95fr 1.5fr .75fr .7fr 20px; padding: 9px 16px; background: var(--sunk); border-bottom: 1px solid var(--line); font-size: 11px; font-weight: 600; text-transform: uppercase; letter-spacing: .05em; color: var(--faint); }
.list-head::after { content: ''; }
.row { width: 100%; text-align: left; font: inherit; color: inherit; background: none; border: 0; border-bottom: 1px solid var(--line-2); padding: 11px 16px; cursor: pointer; }
.row:hover { background: #fbfaff; }
.row.sel { background: var(--accent-soft); }
.row > * { min-width: 0; overflow-wrap: anywhere; }
.row .ch { font-weight: 600; }
.row .ch small { display: block; color: var(--faint); font-weight: 400; font-size: 11.5px; }
.row .impl small { display: block; color: var(--faint); font: 11px var(--mono); }
.row .chev { color: var(--faint); }
.row.pending { cursor: default; }
.skel { height: 10px; border-radius: 5px; background: linear-gradient(90deg, #efefec 25%, #f7f7f5 50%, #efefec 75%); background-size: 200% 100%; animation: sk 1.2s infinite linear; }
@keyframes sk { to { background-position: -200% 0; } }
.yes { color: var(--green); font-weight: 600; }
.no { color: var(--faint); }
.idle-row { padding: 11px 16px; color: var(--muted); font-size: 13px; overflow-wrap: anywhere; background: var(--sunk); }
.idle-row b { color: var(--ink); font-weight: 600; }

.rail { display: grid; gap: 12px; position: sticky; top: 84px; }
.rail-card { padding: 14px 16px; }
.rail-h { display: flex; justify-content: space-between; align-items: center; gap: 8px; font-size: 12px; font-weight: 600; text-transform: uppercase; letter-spacing: .05em; color: var(--muted); margin-bottom: 8px; }
.note { margin: 0; white-space: pre-wrap; overflow-wrap: anywhere; font: 12px/1.6 var(--mono); color: var(--ink); background: var(--sunk); border: 1px solid var(--line-2); border-radius: 8px; padding: 10px 12px; max-height: 380px; overflow: auto; }
.next { border-color: var(--accent-line); background: linear-gradient(180deg, #faf8ff, #fff); }
.next .nt { font-weight: 600; margin-bottom: 4px; overflow-wrap: anywhere; }
.next .np { color: var(--accent-ink); font-size: 13.5px; overflow-wrap: anywhere; }
.next .nc { color: var(--faint); font-size: 12px; margin-top: 6px; overflow-wrap: anywhere; }

/* drawer */
.scrim { position: fixed; inset: 0; background: rgba(20, 20, 30, .18); z-index: 50; }
.drawer { position: fixed; top: 0; right: 0; bottom: 0; width: min(520px, 100vw); background: var(--surface); border-left: 1px solid var(--line); box-shadow: -20px 0 50px -20px rgba(20,20,30,.25); z-index: 60; transform: translateX(102%); visibility: hidden; transition: transform .22s ease, visibility 0s linear .22s; display: flex; flex-direction: column; }
.drawer.open { transform: none; visibility: visible; transition: transform .22s ease; }
.drawer-head { display: flex; justify-content: space-between; align-items: flex-start; gap: 12px; padding: 16px 18px; border-bottom: 1px solid var(--line); }
.drawer-head h2 { margin: 2px 0 0; font-size: 18px; letter-spacing: -0.01em; overflow-wrap: anywhere; }
.drawer-nav { display: flex; gap: 6px; }
.drawer-body { padding: 16px 18px 28px; overflow-y: auto; }
.kv { display: grid; grid-template-columns: 124px minmax(0, 1fr); gap: 9px 14px; margin: 14px 0 0; }
.kv dt { color: var(--muted); font-size: 12.5px; padding-top: 1px; }
.kv dd { margin: 0; overflow-wrap: anywhere; min-width: 0; }
.kv dd small { display: block; color: var(--faint); font: 11.5px var(--mono); overflow-wrap: anywhere; }
.box { border-radius: 10px; padding: 12px 14px; margin-top: 14px; overflow-wrap: anywhere; }
.box .label { margin-bottom: 4px; }
.box.gap { background: var(--amber-soft); border: 1px solid #f2dfbd; color: #4d3200; }
.box.path { background: var(--accent-soft); border: 1px solid var(--accent-line); color: var(--accent-ink); font-weight: 500; }
.ev { margin: 8px 0 0; padding: 0; list-style: none; }
.ev li { display: grid; grid-template-columns: minmax(0, 150px) minmax(0, 1fr); gap: 10px; font-size: 12px; padding: 5px 0; border-bottom: 1px dashed var(--line-2); }
.ev li span:first-child { color: var(--muted); overflow-wrap: anywhere; }
.ev li span:last-child { font-family: var(--mono); overflow-wrap: anywhere; }
.d-sec { margin-top: 20px; }
.d-links { display: flex; gap: 8px; flex-wrap: wrap; margin-top: 14px; }

/* tables (readiness, known) */
.page-h { display: flex; justify-content: space-between; align-items: flex-start; gap: 16px; flex-wrap: wrap; padding-top: 4px; }
.page-h > div { max-width: 78ch; }
.page-h p { color: var(--muted); margin: 0; }
.tbl-wrap { overflow: auto; max-height: 560px; border: 1px solid var(--line); border-radius: 12px; background: var(--surface); box-shadow: var(--shadow); }
.tbl-wrap.tall { max-height: 70vh; }
table.grid-t { border-collapse: separate; border-spacing: 0; width: 100%; min-width: 900px; table-layout: fixed; font-size: 12.5px; }
table.grid-t th, table.grid-t td { padding: 9px 12px; border-bottom: 1px solid var(--line-2); text-align: left; vertical-align: top; overflow-wrap: anywhere; }
table.grid-t thead th { overflow-wrap: normal; word-break: normal; hyphens: none; position: sticky; top: 0; z-index: 2; background: var(--sunk); color: var(--faint); font-weight: 600; font-size: 11px; text-transform: uppercase; letter-spacing: .04em; border-bottom: 1px solid var(--line); }
table.grid-t tbody th { font-weight: 600; background: var(--surface); }
table.grid-t tbody tr:hover td, table.grid-t tbody tr:hover th { background: #fbfbf9; }
table.grid-t td.c, table.grid-t th.c { text-align: center; }
.cell { display: inline-flex; width: 22px; height: 22px; border-radius: 6px; align-items: center; justify-content: center; }
.cell.y { background: var(--green-soft); color: var(--green); }
.cell.n { background: var(--gray-soft); color: #b5b5b0; }
.cell.miss { background: var(--amber-soft); color: var(--amber); }
.cell svg { width: 13px; height: 13px; stroke-width: 2.6; }
.callout { background: var(--amber-soft); border: 1px solid #f2dfbd; color: #4d3200; border-radius: 12px; padding: 12px 14px; font-size: 13.5px; margin-top: 12px; overflow-wrap: anywhere; display: flex; gap: 10px; }
.callout svg { color: var(--amber); margin-top: 2px; }
.filter { display: flex; align-items: center; gap: 8px; background: var(--surface); border: 1px solid var(--line); border-radius: 10px; padding: 0 12px; margin: 16px 0 12px; max-width: 420px; }
.filter svg { color: var(--faint); }
.filter input { border: 0; outline: 0; font: 13.5px var(--sans); padding: 9px 0; flex: 1; min-width: 0; background: transparent; }
.steps { padding-left: 22px; margin: 18px 0; max-width: 80ch; }
.steps li { margin-bottom: 10px; }
.limits { padding: 14px 16px; max-width: 80ch; }
.limits p { margin: 0; color: var(--muted); }
.fine { color: var(--faint); font-size: 12px; margin-top: 20px; max-width: 80ch; }

.toast { position: fixed; left: 50%; bottom: 24px; transform: translate(-50%, 20px); background: var(--ink); color: #fff; font-size: 13px; font-weight: 500; padding: 8px 14px; border-radius: 9px; opacity: 0; pointer-events: none; transition: opacity .2s, transform .2s; z-index: 80; }
.toast.on { opacity: 1; transform: translate(-50%, 0); }

.tabbar { display: none; }

/* ---------- responsive ---------- */
@media (max-width: 1080px) {
  .split { grid-template-columns: 1fr; }
  .rail { position: static; }
}
@media (max-width: 860px) {
  .side { display: none; }
  .main { margin-left: 0; padding-bottom: calc(76px + env(safe-area-inset-bottom)); }
  .bar { padding: 10px 16px; }
  .m-brand { display: flex; align-items: center; gap: 8px; font-weight: 700; font-size: 14px; margin-bottom: 8px; }
  .m-brand .logo { width: 22px; height: 22px; border-radius: 6px; }
  .cmd { flex-wrap: wrap; padding: 6px; }
  .cmd-ic, .cmd-kbd { display: none; }
  .cmd input { flex: 1 1 100%; padding: 6px 6px; font-size: 13px; }
  .cmd .pop { flex: 1; }
  .cmd #chainBtn { width: 100%; justify-content: center; }
  .pop-panel { right: auto; left: 0; }
  .view { padding: 16px 16px 0; }
  .err-bar { margin: 10px 16px 0; }
  .hero h1 { font-size: 24px; }
  .list-head { display: none; }
  .row { grid-template-columns: minmax(0, 1fr) auto; gap: 4px 10px; padding: 12px 14px; }
  .row .ch { grid-column: 1; }
  .row .st { grid-column: 2; grid-row: 1; justify-self: end; }
  .row .impl { grid-column: 1 / -1; }
  .row .ep, .row .mod { grid-column: auto; font-size: 12.5px; color: var(--muted); }
  .row .ep::before { content: 'EntryPoint '; color: var(--faint); }
  .row .mod::before { content: 'Modular '; color: var(--faint); }
  .row .chev { display: none; }
  .stat { border-right: 0; border-bottom: 1px solid var(--line-2); }
  .kv { grid-template-columns: 1fr; gap: 2px; }
  .kv dt { margin-top: 8px; }
  .ev li { grid-template-columns: 1fr; gap: 0; }
  .tabbar { display: grid; grid-template-columns: repeat(4, 1fr); position: fixed; left: 0; right: 0; bottom: 0; z-index: 45; background: rgba(255,255,255,.94); backdrop-filter: blur(10px); -webkit-backdrop-filter: blur(10px); border-top: 1px solid var(--line); padding: 6px 4px calc(6px + env(safe-area-inset-bottom)); }
  .tabbar button { display: grid; justify-items: center; gap: 2px; background: none; border: 0; font: 500 11px var(--sans); color: var(--faint); padding: 4px 0; cursor: pointer; }
  .tabbar button svg { width: 20px; height: 20px; }
  .tabbar button.active { color: var(--accent-ink); }
  .toast { bottom: calc(84px + env(safe-area-inset-bottom)); }
  .drawer { top: auto; height: 88vh; width: 100vw; border-left: 0; border-top: 1px solid var(--line); border-radius: 16px 16px 0 0; transform: translateY(102%); }
  .drawer.open { transform: none; }
}