:root {
  color-scheme: dark;
  --bg: #080b0f;
  --panel: rgba(18, 23, 30, 0.78);
  --panel2: rgba(12, 16, 22, 0.92);
  --line: rgba(255,255,255,.1);
  --text: #f4f7fb;
  --muted: #98a6b7;
  --accent: #79ffd1;
  --accent2: #65b9ff;
  --pass: #7af0b9;
  --fail: #ff7f94;
  --inc: #ffc96f;
}
* { box-sizing: border-box; }
html { background: var(--bg); }
body {
  margin: 0;
  min-height: 100vh;
  background:
    radial-gradient(circle at 10% -10%, rgba(70, 255, 190, .14), transparent 34%),
    radial-gradient(circle at 90% 0%, rgba(69, 149, 255, .12), transparent 30%),
    var(--bg);
  color: var(--text);
  font-family: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
}
.noise {
  pointer-events: none;
  position: fixed; inset: 0; opacity: .045;
  background-image: url("data:image/svg+xml,%3Csvg viewBox='0 0 140 140' xmlns='http://www.w3.org/2000/svg'%3E%3Cfilter id='n'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='.8' numOctaves='3' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23n)' opacity='.5'/%3E%3C/svg%3E");
}
.topbar, footer {
  display:flex; align-items:center; justify-content:space-between;
  padding: 18px clamp(20px, 4vw, 64px);
  border-bottom: 1px solid var(--line);
  backdrop-filter: blur(18px);
}
footer { border-top: 1px solid var(--line); border-bottom: 0; color: var(--muted); font-size: 12px; }
.brand { display:flex; gap:10px; align-items:center; font-weight:800; letter-spacing:.04em; }
.brand .mark { display:grid; place-items:center; width:30px; height:30px; border:1px solid var(--accent); border-radius:9px; color:var(--accent); }
.brand em { font-style:normal; color:var(--muted); font-size:12px; font-weight:600; }
.statusline { display:flex; gap:10px; align-items:center; color:var(--muted); font-size:12px; }
.statusline strong { color:var(--text); }
.statusline .ready { color:var(--pass); }
.statusline .demo { color:var(--inc); }
.dot { width:8px; height:8px; border-radius:50%; background:var(--muted); box-shadow:0 0 0 0 rgba(121,255,209,0); }
.dot.pulse { animation:pulse .9s ease-out; background:var(--accent); }
@keyframes pulse { 0%{box-shadow:0 0 0 0 rgba(121,255,209,.6)} 100%{box-shadow:0 0 0 16px rgba(121,255,209,0)} }
main { width:min(1280px, calc(100% - 40px)); margin:0 auto; }
.hero { display:grid; grid-template-columns: 1.5fr .7fr; gap:30px; align-items:end; padding:72px 0 40px; }
.eyebrow { color:var(--accent); font-size:12px; letter-spacing:.18em; font-weight:800; }
h1 { margin:.3em 0 .25em; font-size:clamp(42px,6vw,82px); line-height:.98; letter-spacing:-.05em; }
h1 span { color:transparent; -webkit-text-stroke:1px rgba(255,255,255,.55); }
.lede { max-width:800px; color:#c4cfdb; font-size:clamp(17px,2vw,22px); line-height:1.5; }
.principle { border:1px solid var(--line); padding:22px; border-radius:18px; background:linear-gradient(180deg,rgba(121,255,209,.07),rgba(255,255,255,.02)); }
.principle span,.principle small { display:block; color:var(--muted); font-size:11px; text-transform:uppercase; letter-spacing:.13em; }
.principle strong { display:block; margin:7px 0; font-size:20px; }
.workspace { display:grid; grid-template-columns:1.3fr .7fr; gap:18px; }
.lower-grid { display:grid; grid-template-columns:1.3fr .7fr; gap:18px; margin-top:18px; }
.panel { border:1px solid var(--line); border-radius:20px; background:var(--panel); padding:22px; box-shadow: 0 20px 60px rgba(0,0,0,.2); }
.panel-title { display:flex; align-items:center; gap:10px; margin-bottom:18px; }
.panel-title span { color:var(--accent); font:700 11px ui-monospace,SFMono-Regular,Menlo,monospace; }
.panel-title h2 { margin:0; font-size:14px; letter-spacing:.06em; text-transform:uppercase; }
.panel-title .ghost { margin-left:auto; }
.claim { font-size:20px; line-height:1.45; max-width:760px; }
.boundary-map { display:flex; gap:24px; align-items:center; margin:28px 0; }
.actor { min-width:130px; padding:18px; border-radius:16px; border:1px solid rgba(121,255,209,.35); background:rgba(121,255,209,.06); font-size:12px; color:var(--muted); }
.actor b { color:var(--text); font-size:18px; }
.lanes { flex:1; display:grid; gap:10px; }
.lane { display:grid; grid-template-columns:30px 1fr auto; align-items:center; gap:10px; border:1px solid var(--line); border-radius:14px; padding:12px 14px; }
.lane small { display:block; color:var(--muted); font-family:ui-monospace,SFMono-Regular,Menlo,monospace; }
.lane.allow strong { color:var(--pass); } .lane.deny strong { color:var(--fail); }
.actions { display:flex; gap:10px; flex-wrap:wrap; }
button { border:1px solid var(--line); background:#161c24; color:var(--text); border-radius:12px; padding:11px 14px; font-weight:700; cursor:pointer; }
button:hover { transform:translateY(-1px); border-color:rgba(255,255,255,.25); }
button.primary { background:var(--text); color:#070a0d; }
button.ghost { background:transparent; padding:7px 10px; color:var(--muted); }
button:disabled { opacity:.35; cursor:not-allowed; transform:none; }
button.full { width:100%; margin-top:12px; }
.verdict-panel { display:flex; flex-direction:column; }
.verdict { font-size:clamp(42px,6vw,74px); line-height:1; font-weight:900; letter-spacing:-.05em; margin:24px 0 12px; }
.verdict-pass { color:var(--pass)!important; } .verdict-fail { color:var(--fail)!important; } .verdict-inconclusive { color:var(--inc)!important; } .verdict-none { color:#657180; }
.verdict-reason { min-height:52px; color:#c1ccd8; line-height:1.45; }
.run-meta { color:var(--muted); font:11px ui-monospace,SFMono-Regular,Menlo,monospace; }
.semantics { margin-top:auto; display:grid; grid-template-columns:repeat(3,1fr); gap:8px; padding-top:22px; }
.semantics div { border-top:1px solid var(--line); padding-top:10px; }
.semantics b,.semantics small { display:block; } .semantics small { color:var(--muted); font-size:10px; margin-top:4px; }
.evidence-list { display:grid; grid-template-columns:repeat(2,minmax(0,1fr)); gap:12px; min-height:145px; }
.evidence-card { border:1px solid var(--line); border-radius:15px; padding:15px; background:var(--panel2); }
.evidence-head { display:flex; justify-content:space-between; gap:8px; }
.mini { font-size:10px; font-weight:900; }
.evidence-grid { display:grid; grid-template-columns:auto 1fr; gap:5px 12px; margin:15px 0; font-size:11px; }
.evidence-grid span { color:var(--muted); } .evidence-grid code { overflow:hidden; text-overflow:ellipsis; white-space:nowrap; }
.evidence-card p { color:#aeb9c5; font-size:12px; margin:0; line-height:1.4; }
.muted { color:var(--muted); font-size:13px; line-height:1.5; }
.activity { list-style:none; margin:14px 0 0; padding:0; max-height:260px; overflow:auto; }
.activity li { display:flex; gap:10px; border-top:1px solid var(--line); padding:12px 0; }
.activity-source { color:var(--accent2); font:800 9px ui-monospace,SFMono-Regular,Menlo,monospace; min-width:42px; }
.activity strong,.activity small { display:block; } .activity strong { font-size:12px; } .activity small { color:var(--muted); margin-top:4px; }
.activity .empty { color:var(--muted); font-size:12px; }
.tool-strip { display:flex; flex-wrap:wrap; gap:8px; align-items:center; padding:20px 0 42px; color:var(--muted); }
.tool-strip span { font-size:10px; letter-spacing:.14em; font-weight:800; margin-right:6px; }
.tool-strip code { border:1px solid var(--line); border-radius:999px; padding:7px 10px; background:rgba(255,255,255,.025); font-size:10px; }
@media (max-width: 850px) {
  .hero,.workspace,.lower-grid { grid-template-columns:1fr; }
  .hero { padding-top:44px; }
  .boundary-map { align-items:stretch; flex-direction:column; }
  .evidence-list { grid-template-columns:1fr; }
  .topbar,footer { padding-inline:20px; }
  footer { gap:14px; align-items:flex-start; flex-direction:column; }
  .brand em { display:none; }
  .statusline span:last-child { display:none; }
}