:root {
  --bg: #0d1117;
  --panel: #161b22;
  --border: #2d333b;
  --text: #e6edf3;
  --muted: #8b9bb4;
  --green: #3fb950;
  --amber: #d29922;
  --grey: #6e7681;
  --red: #e5484d;
  --accent: #58a6ff;
}

* { box-sizing: border-box; }

body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif;
  line-height: 1.5;
}

.top {
  padding: 2rem 1.5rem 1rem;
  border-bottom: 1px solid var(--border);
  max-width: 1100px;
  margin: 0 auto;
}

h1 { margin: 0 0 0.25rem; font-size: 1.9rem; }
h2 { font-size: 1.15rem; margin: 0 0 0.75rem; color: var(--muted); text-transform: uppercase; letter-spacing: 0.06em; }

.status-line { margin: 0; color: var(--muted); display: flex; align-items: center; gap: 0.5rem; }
.tagline { color: var(--muted); margin: 0.5rem 0 0; }

main { max-width: 1100px; margin: 0 auto; padding: 0 1.5rem; }
section { padding: 1.5rem 0; border-bottom: 1px solid var(--border); }

.invariants {
  list-style: none; padding: 0; margin: 0;
  display: flex; flex-wrap: wrap; gap: 0.5rem;
}
.invariants li {
  background: var(--panel); border: 1px solid var(--border);
  border-radius: 999px; padding: 0.35rem 0.9rem; font-size: 0.9rem;
}

.cards {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(200px, 1fr));
  gap: 0.75rem;
}
.card {
  background: var(--panel); border: 1px solid var(--border);
  border-radius: 8px; padding: 0.8rem 1rem;
}
.card h3 { margin: 0 0 0.3rem; font-size: 1rem; display: flex; align-items: center; gap: 0.5rem; }
.card .role { margin: 0; font-size: 0.9rem; }
.card .state { margin: 0.25rem 0 0; font-size: 0.8rem; color: var(--muted); }

.dot { width: 10px; height: 10px; border-radius: 50%; display: inline-block; flex: none; }
.dot.green { background: var(--green); }
.dot.amber { background: var(--amber); }
.dot.grey  { background: var(--grey); }
.dot.red   { background: var(--red); }

button {
  background: var(--panel); color: var(--text);
  border: 1px solid var(--border); border-radius: 6px;
  padding: 0.5rem 1.1rem; font-size: 0.95rem; cursor: pointer;
}
button:disabled { color: var(--muted); cursor: not-allowed; }

svg { width: 100%; height: auto; background: var(--panel); border: 1px solid var(--border); border-radius: 8px; }
.node { fill: #1c2330; stroke: var(--border); }
.node.hi { stroke: var(--accent); }
.node.veto { stroke: var(--red); }
.label { fill: var(--text); font-size: 14px; text-anchor: middle; }
.label.small { font-size: 11px; fill: var(--muted); }
.veto-text { fill: var(--red); }
.edge { stroke: var(--muted); stroke-width: 1.5; }
.edge.veto { stroke: var(--red); }
.edge.dashed { stroke-dasharray: 5 4; }
.caption { color: var(--muted); font-size: 0.85rem; }

.placeholder { color: var(--muted); font-style: italic; }

table.scan {
  width: 100%; border-collapse: collapse; font-size: 0.9rem;
  background: var(--panel); border: 1px solid var(--border); border-radius: 8px; overflow: hidden;
}
table.scan th, table.scan td { padding: 0.5rem 0.75rem; text-align: right; border-bottom: 1px solid var(--border); }
table.scan th:first-child, table.scan td:first-child { text-align: left; }
table.scan th { color: var(--muted); font-weight: 600; font-size: 0.8rem; text-transform: uppercase; }
table.scan tr:last-child td { border-bottom: none; }
.scan-meta { color: var(--muted); font-size: 0.85rem; margin: 0 0 0.5rem; }

.health-grid { display: grid; grid-template-columns: repeat(auto-fill, minmax(160px, 1fr)); gap: 0.5rem; }
.health-item { background: var(--panel); border: 1px solid var(--border); border-radius: 6px; padding: 0.5rem 0.75rem; font-size: 0.85rem; }
.health-item b { display: block; font-size: 0.75rem; color: var(--muted); text-transform: uppercase; }

.progress-list { display: grid; gap: 0.6rem; }
.progress-item { background: var(--panel); border: 1px solid var(--border); border-radius: 8px; padding: 0.75rem 1rem; }
.progress-item p { margin: 0; color: var(--muted); font-size: 0.92rem; }
.progress-head { display: flex; align-items: center; justify-content: space-between; gap: 1rem; margin-bottom: 0.35rem; }
.progress-head h3 { margin: 0; font-size: 1rem; }
.progress-status { display: inline-flex; align-items: center; gap: 0.45rem; color: var(--muted); font-size: 0.75rem; font-weight: 700; letter-spacing: 0.04em; white-space: nowrap; }
@media (max-width: 640px) {
  .progress-head { align-items: flex-start; flex-direction: column; gap: 0.3rem; }
}

footer {
  max-width: 1100px; margin: 0 auto; padding: 1.5rem;
  color: var(--muted); font-size: 0.85rem;
}

/* ==== Redesign shell (2026-10-07) ==== */
.layout { display: flex; min-height: 100vh; }
.sidebar {
  width: 190px; flex: none; background: var(--panel);
  border-right: 1px solid var(--border); padding: 1rem 0.6rem;
  display: flex; flex-direction: column; gap: 0.15rem;
  position: sticky; top: 0; height: 100vh;
}
.side-title { font-size: 1.25rem; font-weight: 700; line-height: 1.15; padding: 0.2rem 0.6rem 0.9rem; }
.navlink {
  color: var(--text); text-decoration: none; padding: 0.5rem 0.6rem;
  border-radius: 6px; font-size: 0.95rem; display: flex;
  align-items: center; gap: 0.5rem;
}
.navlink:hover { background: #1c2330; }
.navlink.active { background: #1c2330; border-left: 3px solid var(--accent); }
.badge {
  background: var(--red); color: #fff; border-radius: 999px;
  font-size: 0.72rem; font-weight: 700; padding: 0.05rem 0.45rem;
}
.badge.hidden, .hidden { display: none; }
.side-note { margin-top: auto; color: var(--muted); font-size: 0.75rem; padding: 0.5rem 0.6rem 0; }
.content { flex: 1; min-width: 0; }
.topstrip {
  position: sticky; top: 0; z-index: 20; background: var(--bg);
  border-bottom: 1px solid var(--border); display: flex;
  flex-wrap: wrap; gap: 0.4rem 1.4rem; padding: 0.55rem 1.5rem;
}
.ts-item { display: inline-flex; align-items: center; gap: 0.45rem; font-size: 0.85rem; }
.ts-item b { color: var(--muted); font-size: 0.7rem; letter-spacing: 0.06em; }
.ts-pos { color: var(--green); font-weight: 700; }
.ts-neg { color: var(--red); font-weight: 700; }
.tabpane { display: none; padding: 1.2rem 0; border-bottom: none; }
.tabpane.active { display: block; }
.tabq { color: var(--muted); font-size: 0.85rem; text-transform: none; letter-spacing: 0; margin-left: 0.6rem; font-weight: 400; }
.subhead { font-size: 0.95rem; margin: 1.1rem 0 0.5rem; color: var(--muted); text-transform: uppercase; letter-spacing: 0.05em; }
.subhead .jump { font-size: 0.8rem; text-transform: none; letter-spacing: 0; }
.state-card { border-radius: 8px; padding: 1rem 1.2rem; border: 1px solid var(--border); background: var(--panel); }
.state-card.ok { border-color: var(--green); }
.state-card.bad { border-color: var(--red); }
.state-big { font-size: 1.6rem; font-weight: 800; display: flex; align-items: center; gap: 0.6rem; }
.state-sub { color: var(--muted); margin-top: 0.3rem; font-size: 0.92rem; }
.healthstrip { display: flex; flex-wrap: wrap; gap: 0.4rem 1.2rem; }
.toast {
  position: fixed; bottom: 1rem; left: 50%; transform: translateX(-50%);
  background: var(--panel); border: 1px solid var(--green); color: var(--text);
  border-radius: 8px; padding: 0.6rem 1rem; font-size: 0.9rem; z-index: 50;
  max-width: 92vw;
}
.chip { border: 1px solid var(--border); border-radius: 999px; padding: 0.05rem 0.55rem; font-size: 0.75rem; color: var(--muted); }
.chip.bad { color: var(--red); border-color: var(--red); }
/* Alerts — summary rows, detail on click (2026-10-08) */
.alert-list { display: flex; flex-direction: column; gap: 0.4rem; }
.alert-row { background: var(--panel); border: 1px solid var(--border); border-radius: 8px; }
.alert-head { display: flex; gap: 0.6rem; align-items: center; padding: 0.5rem 0.75rem; cursor: pointer; }
.alert-when { color: var(--muted); font-size: 0.8rem; white-space: nowrap; }
.alert-title { flex: 1; font-size: 0.95rem; }
.alert-detail { border-top: 1px solid var(--border); padding: 0.5rem 0.75rem; }
.alert-detail p { margin: 0.3rem 0; font-size: 0.9rem; }
.alert-detail b { display: block; font-size: 0.72rem; color: var(--muted); text-transform: uppercase; }
.alert-detail .alert-decision { color: var(--amber); }
.alert-detail .alert-src { color: var(--muted); font-size: 0.75rem; text-transform: none; }
.chip.live { color: var(--green); border-color: var(--green); }
.chip.shadow { color: var(--amber); border-color: var(--amber); }
.chip.exp { color: var(--accent); border-color: var(--accent); }
.chip.lab { color: #a371f7; border-color: #a371f7; }
.kv { background: var(--panel); border: 1px solid var(--border); border-radius: 8px; padding: 0.7rem 1rem; }
.kv .k { color: var(--muted); font-size: 0.72rem; text-transform: uppercase; letter-spacing: 0.05em; }
.kv .v { font-size: 1.15rem; font-weight: 700; }
.kv .v small { font-weight: 400; color: var(--muted); font-size: 0.8rem; }
.tile-grid { display: grid; grid-template-columns: repeat(auto-fill, minmax(165px, 1fr)); gap: 0.6rem; }
#nav-toggle { display: none; }
@media (max-width: 760px) {
  .sidebar {
    position: fixed; z-index: 40; left: 0; top: 0; transform: translateX(-100%);
    transition: transform 0.2s ease;
  }
  .sidebar.open { transform: none; box-shadow: 0 0 40px rgba(0,0,0,0.5); }
  #nav-toggle {
    display: block; position: fixed; z-index: 45; top: 0.5rem; left: 0.5rem;
  }
  .content { width: 100%; }
  main { padding: 0 0.9rem; }
  .topstrip { padding-left: 3.4rem; }
}

/* ==== performance (stage 4) ==== */
.lane-btn { display: inline-flex; align-items: center; gap: 0.45rem; }
.lane-btn.on { border-color: var(--accent); }
svg.curve { background: var(--panel); }
.spark { background: transparent; border: none; border-radius: 0; }

/* ==== data architecture (stage 6 upgrade) ==== */
.arch-grid { display: flex; gap: 0.4rem; align-items: stretch; overflow-x: auto; padding-bottom: 0.4rem; }
.arch-col { display: flex; flex-direction: column; gap: 0.5rem; min-width: 168px; flex: 1; }
.arch-stage { color: var(--muted); font-size: 0.72rem; font-weight: 700; letter-spacing: 0.07em; text-transform: uppercase; }
.arch-box {
  text-align: left; display: flex; flex-direction: column; gap: 0.15rem;
  background: var(--panel); border: 1px solid var(--border);
  border-radius: 8px; padding: 0.55rem 0.65rem; cursor: pointer; width: 100%;
}
.arch-box.sel { border-color: var(--accent); }
.arch-name { font-weight: 700; font-size: 0.88rem; display: flex; gap: 0.4rem; align-items: center; }
.arch-role { color: var(--muted); font-size: 0.78rem; line-height: 1.3; }
.arch-rt { color: var(--muted); font-size: 0.7rem; font-style: italic; }
.arch-fact { font-size: 0.75rem; color: var(--accent); }
.arch-arrow { display: flex; flex-direction: column; align-items: center; justify-content: center; color: var(--muted); min-width: 34px; }
.arch-arrow small { font-size: 0.62rem; text-align: center; line-height: 1.25; }
#arch-detail { margin-top: 0.7rem; }
#arch-detail ul { margin: 0.2rem 0 0.5rem 1.1rem; padding: 0; color: var(--muted); font-size: 0.88rem; }
#arch-detail p { margin: 0.35rem 0; }
@media (max-width: 760px) {
  .arch-grid { flex-direction: column; overflow-x: visible; }
  .arch-arrow { transform: rotate(90deg); min-height: 30px; }
  .arch-arrow small { transform: rotate(-90deg); }
}

/* ==== wired C-family diagram (v7 port) ==== */
#da-svg { width: 100%; height: auto; }
#da-svg .busline { stroke: var(--border); stroke-width: 2; opacity: .8; }
#da-svg .buschev { fill: var(--muted); opacity: .8; }
#da-svg .buslabel { fill: var(--muted); font-size: 9px; letter-spacing: .12em; }
#da-svg .edge path { fill: none; stroke-width: 1.6; }
#da-svg .edge.data path { stroke: var(--accent); opacity: .85; }
#da-svg .edge.state path { stroke: var(--grey); stroke-width: 1.1; opacity: .8; }
#da-svg .edge.ctrl path { stroke: var(--amber); stroke-width: 1.4; stroke-dasharray: 5 4; }
#da-svg .edge.grant path, #da-svg .edge.test path { stroke: var(--grey); stroke-width: 1.3; stroke-dasharray: 5 4; }
#da-svg .elabel text { fill: var(--muted); font-size: 9.5px; }
#da-svg .elabel .clab { fill: var(--amber); font-weight: 700; }
#da-svg .elabel .tlab { fill: var(--grey); }
#da-svg .box { cursor: pointer; }
#da-svg .box rect { fill: var(--panel); stroke: var(--border); stroke-width: 1.2; }
#da-svg .box.ext rect { fill: var(--bg); }
#da-svg .box.test rect { stroke-dasharray: 5 4; }
#da-svg .box rect.subbox { fill: var(--bg); stroke: var(--accent); stroke-dasharray: 3 3; }
#da-svg .box:hover rect { stroke: var(--accent); }
#da-svg .box.sel rect { stroke: var(--accent); stroke-width: 2.2; }
#da-svg .nm { fill: var(--text); font-size: 13px; font-weight: 800; }
#da-svg .fn { fill: var(--muted); font-size: 9.8px; }
#da-svg .own { fill: var(--text); font-size: 9.3px; font-weight: 700; }
#da-svg .subtxt { fill: var(--text); font-size: 9.5px; font-weight: 800; }
#da-svg .lv { fill: var(--accent); font-size: 9.5px; font-weight: 600; }
#da-svg .dot.g { fill: var(--green); } #da-svg .dot.a { fill: var(--amber); } #da-svg .dot.gr { fill: var(--grey); } #da-svg .dot.r { fill: var(--red); }

/* ==== health checks (extracted major items) ==== */
.hc-list { display: flex; flex-direction: column; gap: 6px; margin-bottom: 1.2rem; }
.hc-item { display: flex; align-items: center; gap: 10px; background: var(--panel);
  border: 1px solid var(--border); border-radius: 8px; padding: 8px 12px; }
.hc-name { font-weight: 800; font-size: .82rem; letter-spacing: .04em; min-width: 150px; }
.hc-value { color: var(--muted); font-size: .85rem; }
.dot.big { width: 13px; height: 13px; }
@media (max-width: 640px) { .hc-name { min-width: 104px; font-size: .74rem; } }

/* ==== health checks: compact chips (detail on tap) ==== */
.hc-grid { display: flex; flex-wrap: wrap; gap: 6px; }
.hc-chip { display: inline-flex; align-items: center; gap: 7px; padding: 5px 10px;
  background: var(--panel); border: 1px solid var(--border); border-radius: 999px;
  color: var(--text); font: inherit; font-size: .78rem; font-weight: 700;
  letter-spacing: .03em; cursor: pointer; }
.hc-chip:hover { border-color: var(--accent); }
.hc-chip.sel { border-color: var(--accent); border-width: 2px; }
.hc-detail { margin-top: 8px; color: var(--muted); font-size: .85rem;
  display: flex; align-items: center; gap: 8px; }

/* ==== privacy gate (Option B lock screen) ==== */
.gate { position: fixed; inset: 0; z-index: 60; display: flex;
  align-items: center; justify-content: center; background: var(--bg);
  padding: 16px; }
.gate-box { background: var(--panel); border: 1px solid var(--border);
  border-radius: 10px; padding: 24px; max-width: 380px; width: 100%;
  text-align: left; }
.gate-box h2 { margin: 0 0 8px; font-size: 1.15rem; }
.gate-box p { color: var(--muted); margin: 0 0 12px; }
.gate-box input { width: 100%; box-sizing: border-box; padding: 10px;
  border-radius: 6px; border: 1px solid var(--border);
  background: var(--bg); color: var(--text); margin-bottom: 10px; }
.gate-box button { width: 100%; padding: 10px; border-radius: 6px;
  border: 1px solid var(--accent); background: var(--accent);
  color: #fff; font-weight: 700; cursor: pointer; }
.gate-err { color: var(--red); min-height: 1em; }
.gate-note { font-size: .8rem; }