:root {
  --green: #86BC25;
  --bg: #000000;
  --panel: #0d0d0d;
  --panel2: #151515;
  --border: #262626;
  --text: #e8e8e8;
  --muted: #8a8a8a;
  --ok: #4caf50;
  --warn: #ffb300;
  --bad: #ef5350;
  --edd: #ff9800;
}
* { box-sizing: border-box; }
html, body { margin: 0; }
body {
  background: var(--bg);
  color: var(--text);
  font-family: 'Open Sans', system-ui, sans-serif;
  font-weight: 400;
  font-size: 14px;
}
.synbanner {
  background: var(--green); color: #000; text-align: center;
  font-weight: 600; font-size: 12px; letter-spacing: .5px; padding: 5px;
}

/* ---- access gate ---- */
.gate {
  position: fixed; inset: 0; z-index: 100; background: #000;
  display: flex; align-items: center; justify-content: center;
}
.gate.hidden { display: none; }
.gate-box {
  width: 340px; max-width: 90vw; text-align: center; padding: 34px 30px;
  border: 1px solid var(--border); border-radius: 12px; background: var(--panel);
  box-shadow: 0 0 60px rgba(134,188,37,.12);
}
.gate-box .wordmark { font-size: 26px; }
.gate-title { color: var(--green); font-weight: 600; letter-spacing: 3px; margin: 10px 0 18px; }
.gate-sub { color: var(--muted); font-size: 13px; margin-bottom: 16px; }
.gate-box input {
  width: 100%; text-align: center; font-size: 15px; padding: 11px; margin-bottom: 12px;
}
.gate-box button { width: 100%; }
.gate-err { color: var(--bad); font-size: 12px; min-height: 16px; margin-top: 10px; }
.gate-syn { color: var(--muted); font-size: 10px; margin-top: 20px; letter-spacing: .5px; }
.wordmark { font-weight: 300; font-size: 22px; letter-spacing: -.5px; color: #fff; }
.wordmark .dot { color: var(--green); }

#topbar {
  display: flex; justify-content: space-between; align-items: center;
  padding: 14px 24px; border-bottom: 1px solid var(--border); background: var(--panel);
}
.brand { display: flex; align-items: baseline; gap: 14px; flex-wrap: wrap; }
.product { color: var(--green); font-weight: 600; letter-spacing: 2px; }
.tagline { color: var(--muted); font-size: 12px; font-weight: 300; }
.chip {
  background: var(--panel2); border: 1px solid var(--border); border-radius: 20px;
  padding: 4px 12px; font-size: 12px; color: var(--muted);
}

#nav { display: flex; gap: 4px; padding: 0 16px; border-bottom: 1px solid var(--border); background: var(--panel); }
#nav button {
  background: none; border: none; color: var(--muted); padding: 12px 16px;
  cursor: pointer; font-family: inherit; font-size: 13px; border-bottom: 2px solid transparent;
}
#nav button:hover { color: var(--text); }
#nav button.active { color: var(--green); border-bottom-color: var(--green); }

#app { padding: 24px; max-width: 1100px; margin: 0 auto; min-height: 60vh; }
.screen { display: none; }
.screen.active { display: block; }
h1 { font-size: 20px; font-weight: 600; margin: 0 0 4px; }
h2 { font-size: 15px; font-weight: 600; color: var(--green); margin: 22px 0 8px; }
.muted { color: var(--muted); }
.ro-tag, .ph-tag { font-size: 11px; background: var(--panel2); border: 1px solid var(--border);
  border-radius: 4px; padding: 2px 8px; color: var(--muted); font-weight: 400; vertical-align: middle; }
.ph-tag { color: var(--warn); border-color: #4d3b00; }
.ph { color: var(--warn); font-weight: 600; }

.cards { display: grid; grid-template-columns: repeat(auto-fill, minmax(320px, 1fr)); gap: 16px; margin-top: 16px; }
.card {
  background: var(--panel); border: 1px solid var(--border); border-radius: 8px;
  padding: 18px; cursor: pointer; transition: border-color .15s;
}
.card:hover { border-color: var(--green); }
.card.selected { border-color: var(--green); box-shadow: 0 0 0 1px var(--green); }
.card h3 { margin: 0 0 6px; font-size: 16px; }
.card .arch { color: var(--green); font-size: 12px; }
.card .kv { color: var(--muted); font-size: 12px; margin-top: 8px; }

table { width: 100%; border-collapse: collapse; font-size: 13px; margin: 8px 0; }
th, td { text-align: left; padding: 8px 10px; border-bottom: 1px solid var(--border); vertical-align: top; }
th { color: var(--muted); font-weight: 600; font-size: 12px; }
td.num { text-align: right; white-space: nowrap; }
.mono { font-family: ui-monospace, monospace; font-size: 11px; word-break: break-all; }

button.primary {
  background: var(--green); color: #000; border: none; border-radius: 6px;
  padding: 10px 18px; font-weight: 600; cursor: pointer; font-family: inherit;
}
button.primary:disabled { opacity: .4; cursor: not-allowed; }
button.ghost {
  background: var(--panel2); color: var(--text); border: 1px solid var(--border);
  border-radius: 6px; padding: 8px 14px; cursor: pointer; font-family: inherit;
}
.actions { margin: 16px 0; display: flex; gap: 12px; align-items: center; }

.panel { background: var(--panel); border: 1px solid var(--border); border-radius: 8px; padding: 16px; margin: 12px 0; }

.statemachine { display: flex; flex-wrap: wrap; gap: 10px; margin: 22px 0; }
.state {
  border: 1px solid var(--border); border-radius: 8px; padding: 12px 16px; min-width: 150px;
  background: var(--panel); opacity: .35; transition: all .3s;
}
.state.active { opacity: 1; border-color: var(--green); box-shadow: 0 0 12px rgba(134,188,37,.25); }
.state.done { opacity: 1; border-color: #2f5010; }
.state .name { font-weight: 600; font-size: 13px; }
.state .detail { color: var(--muted); font-size: 11px; margin-top: 4px; }

.connector-log { margin-top: 16px; }
.conn-row {
  display: flex; justify-content: space-between; gap: 12px; padding: 10px 12px;
  border: 1px solid var(--border); border-radius: 6px; margin-bottom: 8px; background: var(--panel);
}
.conn-row .src { font-weight: 600; }
.conn-row .meta { color: var(--muted); font-size: 11px; }
.badge { padding: 2px 10px; border-radius: 12px; font-size: 11px; font-weight: 600; }
.badge.ok { background: #12300f; color: var(--ok); }
.badge.bad { background: #3a1210; color: var(--bad); }
.badge.sim { background: #2a2000; color: var(--warn); }

.verdict-badge {
  display: inline-block; padding: 12px 26px; border-radius: 6px; font-weight: 600;
  font-size: 20px; color: #fff; margin: 8px 0;
}
.v-CORROBORATED { background: #2e7d32; }
.v-PLAUSIBLE_WITH_GAPS { background: #9e9d24; }
.v-REQUIRES_EDD { background: #ef6c00; }
.v-IMPLAUSIBLE { background: #c62828; }

.gapbar { height: 10px; background: var(--panel2); border-radius: 6px; overflow: hidden; margin: 10px 0; border: 1px solid var(--border); }
.gapbar > span { display: block; height: 100%; background: var(--green); }

.ok-txt { color: var(--ok); font-weight: 600; }
.bad-txt { color: var(--bad); font-weight: 600; }

.audit-list { margin-top: 12px; max-height: 55vh; overflow: auto; border: 1px solid var(--border); border-radius: 8px; }
.audit-row { padding: 8px 12px; border-bottom: 1px solid var(--border); font-size: 12px; display: grid; grid-template-columns: 40px 150px 160px 1fr; gap: 10px; }
.audit-row .seq { color: var(--green); font-weight: 600; }
.audit-row .act { font-weight: 600; }
.audit-row .hash { font-family: ui-monospace, monospace; font-size: 10px; color: var(--muted); }
.info { cursor: help; color: var(--green); font-size: 14px; }

input, select {
  background: var(--panel2); border: 1px solid var(--border); color: var(--text);
  border-radius: 6px; padding: 8px 10px; font-family: inherit; font-size: 13px;
}
label { display: block; font-size: 12px; color: var(--muted); margin-bottom: 4px; }
.field { margin-bottom: 14px; }
.grid2 { display: grid; grid-template-columns: 1fr 1fr; gap: 16px; }

.toast {
  position: fixed; bottom: 20px; right: 20px; background: var(--panel2);
  border: 1px solid var(--green); border-radius: 8px; padding: 12px 16px; font-size: 13px;
  max-width: 360px; z-index: 50;
}
.toast.err { border-color: var(--bad); }

#footer { border-top: 1px solid var(--border); padding: 14px 24px; color: var(--muted); font-size: 11px; text-align: center; }

/* ---- Framework explorer ---- */
.fw-intro { background: linear-gradient(135deg, #0f1a06, var(--panel)); border: 1px solid var(--border);
  border-left: 3px solid var(--green); border-radius: 8px; padding: 18px 20px; margin: 14px 0 8px; }
.fw-intro h3 { margin: 0 0 6px; font-size: 15px; }
.fw-intro p { color: var(--lightgray, #cfcfcf); font-size: 13px; margin: 0; }
.tiers { display: grid; grid-template-columns: repeat(auto-fit, minmax(230px,1fr)); gap: 12px; margin: 10px 0; }
.tier { background: var(--panel); border: 1px solid var(--border); border-radius: 8px; padding: 14px; }
.tier .tname { font-weight: 600; font-size: 13px; }
.tier .tlayer { display: inline-block; margin: 6px 0; font-size: 10px; color: var(--green);
  background: #12300f; border-radius: 10px; padding: 2px 8px; }
.tier .tbody { color: var(--muted); font-size: 11.5px; }
.comp-grid { display: grid; grid-template-columns: repeat(auto-fill, minmax(240px,1fr)); gap: 10px; margin: 10px 0; }
.comp-card { background: var(--panel); border: 1px solid var(--border); border-radius: 8px; padding: 12px 14px; cursor: pointer; transition: border-color .15s; }
.comp-card:hover { border-color: var(--green); }
.comp-card .cid { display: inline-flex; width: 22px; height: 22px; align-items: center; justify-content: center;
  background: var(--green); color: #000; font-weight: 700; border-radius: 5px; font-size: 12px; margin-right: 8px; }
.comp-card .cname { font-weight: 600; font-size: 13px; }
.comp-card .cmeta { color: var(--muted); font-size: 11px; margin-top: 6px; }
.risk-pill { font-size: 10px; padding: 1px 7px; border-radius: 10px; font-weight: 600; }
.risk-LOW { background:#12300f; color:#7cc36b; }
.risk-MEDIUM { background:#2a2600; color:#d4c84a; }
.risk-MED_HIGH { background:#3a2400; color:#e0913f; }
.risk-HIGH { background:#3a1210; color:#ef7a6a; }
.stage-tabs { display: flex; flex-wrap: wrap; gap: 6px; margin: 10px 0; }
.stage-tabs button { background: var(--panel2); border: 1px solid var(--border); color: var(--muted);
  border-radius: 16px; padding: 6px 14px; cursor: pointer; font-family: inherit; font-size: 12px; }
.stage-tabs button.active { background: var(--green); color: #000; border-color: var(--green); font-weight: 600; }
.stage-narr { background: var(--panel); border: 1px solid var(--border); border-radius: 8px; padding: 14px; margin: 10px 0; font-size: 12.5px; }
.stage-narr .lab { color: var(--green); font-weight: 600; font-size: 11px; text-transform: uppercase; letter-spacing: .5px; }

/* ---- Composition chart (SVG rows) ---- */
.comp-chart { margin: 8px 0; }
.cc-row { display: grid; grid-template-columns: 150px 1fr 92px; align-items: center; gap: 10px; padding: 3px 0; }
.cc-label { font-size: 12px; }
.cc-label .cid-mini { color: var(--green); font-weight: 700; margin-right: 5px; }
.cc-val { font-size: 11px; text-align: right; color: var(--muted); font-variant-numeric: tabular-nums; }
.cc-val.above { color: var(--bad); font-weight: 600; }

/* ---- Drawer ---- */
.drawer-scrim { position: fixed; inset: 0; background: rgba(0,0,0,.6); opacity: 0; pointer-events: none; transition: opacity .2s; z-index: 40; }
.drawer-scrim.open { opacity: 1; pointer-events: auto; }
.drawer { position: fixed; top: 0; right: 0; height: 100vh; width: 520px; max-width: 92vw; background: var(--panel);
  border-left: 1px solid var(--border); box-shadow: -12px 0 40px rgba(0,0,0,.5); transform: translateX(100%);
  transition: transform .22s ease; z-index: 41; overflow-y: auto; padding: 22px 24px 40px; }
.drawer.open { transform: translateX(0); }
.drawer-close { position: absolute; top: 12px; right: 14px; background: none; border: none; color: var(--muted);
  font-size: 26px; line-height: 1; cursor: pointer; }
.drawer-close:hover { color: var(--text); }
.dw-head { display: flex; align-items: center; gap: 10px; margin: 4px 40px 4px 0; }
.dw-head .cid { display: inline-flex; width: 30px; height: 30px; align-items: center; justify-content: center;
  background: var(--green); color: #000; font-weight: 700; border-radius: 6px; }
.dw-head h2 { margin: 0; font-size: 17px; color: var(--text); border: none; }
.dw-badges { display: flex; gap: 8px; margin: 8px 0 14px; flex-wrap: wrap; }
.dw-badges span { font-size: 11px; padding: 3px 9px; border-radius: 10px; background: var(--panel2); border: 1px solid var(--border); }
.dw-sec { margin: 16px 0 6px; color: var(--green); font-size: 12px; font-weight: 600; text-transform: uppercase; letter-spacing: .5px; }
.dw-desc { font-size: 13px; color: var(--lightgray, #d0d0ce); line-height: 1.6; }
.dw-sub { border: 1px solid var(--border); border-radius: 6px; padding: 10px 12px; margin: 8px 0; background: var(--panel2); }
.dw-sub .sn { font-weight: 600; font-size: 12.5px; }
.dw-sub .lst { font-size: 11.5px; color: var(--muted); margin-top: 4px; }
.dw-flags li { font-size: 12px; color: #e8c9a0; margin-bottom: 4px; }
.dw-actual { font-size: 12px; margin-top: 6px; }
.dw-actual.above { color: var(--bad); font-weight: 600; }
.dw-actual.within { color: var(--ok); }

/* ---- composition bar (HTML, crisp) ---- */
.cbar { position: relative; height: 12px; background: #161616; border: 1px solid var(--border);
  border-radius: 6px; overflow: hidden; }
.cbar-band { position: absolute; top: 0; bottom: 0; background: rgba(134,188,37,.30);
  border-left: 1px solid #3d6b12; border-right: 1px solid #3d6b12; }
.cbar-mid { position: absolute; top: 0; bottom: 0; width: 0; border-left: 1px dashed var(--green); }
.cbar-actual { position: absolute; top: -1px; bottom: -1px; width: 2px; background: var(--text); }
.cbar-actual.above { background: var(--bad); box-shadow: 0 0 4px var(--bad); }
.cbar-actual.ok { background: var(--text); }
.cid-mini { color: var(--green); font-weight: 700; margin-right: 5px; }
.cmp-row { cursor: pointer; }
.cmp-row:hover { background: var(--panel2); }

/* ---- utility ---- */
.hidden { display: none !important; }

/* ---- Compare view ---- */
.cmp-table { width: 100%; border-collapse: collapse; font-size: 13px; }
.cmp-table th, .cmp-table td { padding: 9px 12px; border-bottom: 1px solid var(--border); text-align: left; vertical-align: top; }
.cmp-table th.metric { width: 230px; color: var(--muted); font-weight: 600; }
.cmp-table td { font-variant-numeric: tabular-nums; }
.cmp-head { display: flex; flex-direction: column; gap: 6px; }
.cmp-head .cname { font-weight: 600; font-size: 14px; }
.cmp-head .arch { font-size: 11px; color: var(--muted); }
.cmp-badge { display: inline-block; padding: 5px 12px; border-radius: 5px; font-weight: 600; font-size: 13px; color: #fff; align-self: flex-start; }
.cmp-flag { color: var(--bad); font-weight: 600; }
.cmp-ok { color: var(--ok); }
.cmp-col { width: 34%; }

/* ---- Guided tour ---- */
.tour-overlay { position: fixed; inset: 0; background: rgba(0,0,0,0.55); z-index: 60; }
.tour-highlight {
  position: relative; z-index: 62 !important;
  box-shadow: 0 0 0 3px var(--green), 0 0 0 9999px rgba(0,0,0,0.62);
  border-radius: 8px; transition: box-shadow .2s;
}
.tour-card {
  position: fixed; z-index: 63; width: 340px; max-width: 92vw;
  background: var(--panel); border: 1px solid var(--green);
  border-radius: 10px; padding: 16px 18px; box-shadow: 0 12px 40px rgba(0,0,0,0.6);
}
.tour-card .tour-step { font-size: 11px; color: var(--green); font-weight: 600; letter-spacing: .5px; }
.tour-card .tour-title { font-size: 15px; font-weight: 600; margin: 4px 0 6px; }
.tour-card .tour-body { font-size: 12.5px; color: var(--lightgray, #d0d0ce); line-height: 1.55; }
.tour-card .tour-nav { display: flex; align-items: center; gap: 8px; margin-top: 14px; }
#tour-btn { font-size: 12px; padding: 6px 12px; }

/* ---- Sources & ground truths ---- */
.src-list { margin-top: 6px; }
.src-item { padding: 10px 0; border-bottom: 1px solid var(--border); }
.src-item:last-child { border-bottom: none; }
.src-head { display: flex; align-items: baseline; gap: 10px; flex-wrap: wrap; }
.src-title { font-weight: 600; font-size: 13px; color: var(--text); text-decoration: none; }
a.src-title:hover { color: var(--green); text-decoration: underline; }
.src-meta { color: var(--muted); font-size: 11px; margin-top: 3px; }
.src-grounds { color: var(--lightgray, #cfcfcf); font-size: 12px; margin-top: 4px; }

.dw-riskbasis { font-size: 11.5px; color: #cfcfcf; background: var(--panel2);
  border-left: 3px solid #0076a8; border-radius: 4px; padding: 8px 10px; margin: 8px 0; }
.dw-riskbasis strong { color: #4aa3d0; }