:root {
  color-scheme: dark;
  --bg: #080a0d;
  --panel: #10141a;
  --panel2: #151a21;
  --border: #262d36;
  --text: #edf2f7;
  --muted: #8d98a6;
  --verified: #4fd1a5;
  --invalidated: #ff6b6b;
  --recompute: #f0b44d;
  --blocked: #d66bff;
  --accent: #71a7ff;
}
* { box-sizing: border-box; }
body { margin: 0; background: radial-gradient(circle at 25% 0%, #111722 0, var(--bg) 36%); color: var(--text); font: 14px/1.45 Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif; }
button, input { font: inherit; }
.shell { max-width: 1500px; margin: 0 auto; padding: 30px; }
.hero { display: flex; justify-content: space-between; gap: 24px; align-items: flex-end; margin-bottom: 22px; }
h1 { font-size: clamp(38px, 5vw, 68px); letter-spacing: -0.055em; line-height: .95; margin: 8px 0 10px; }
h2 { margin: 4px 0 0; font-size: 20px; letter-spacing: -.02em; }
.hero p { margin: 0; color: var(--muted); max-width: 720px; font-size: 16px; }
.eyebrow { color: #687484; font-size: 11px; letter-spacing: .15em; font-weight: 800; }
.hero-status { display: flex; align-items: center; gap: 10px; padding-bottom: 4px; }
.mono { font-family: ui-monospace, SFMono-Regular, Menlo, monospace; color: var(--muted); }
.panel { background: linear-gradient(180deg, rgba(20,25,32,.94), rgba(13,17,22,.96)); border: 1px solid var(--border); border-radius: 16px; box-shadow: inset 0 1px rgba(255,255,255,.025); }
.judge-moment { display: flex; gap: 12px; align-items: center; border: 1px solid #243044; background: #0c1119; padding: 14px 16px; border-radius: 12px; margin-bottom: 10px; }
.judge-moment strong, .judge-moment span { display: block; }
.judge-moment strong { font-size: 12px; letter-spacing: .08em; }
.judge-moment span { color: var(--muted); }
.judge-moment.alert { border-color: rgba(255,107,107,.5); background: rgba(255,107,107,.07); }
.judge-moment.recovered { border-color: rgba(79,209,165,.42); background: rgba(79,209,165,.06); }
.signal-dot { width: 10px; height: 10px; border-radius: 50%; background: var(--accent); box-shadow: 0 0 18px currentColor; }
.proof-strip { display: grid; grid-template-columns: repeat(6, minmax(0,1fr)); gap: 8px; margin: 0 0 14px; }
.proof-step { min-height: 66px; padding: 11px 12px; border: 1px solid #242c36; border-radius: 10px; background: rgba(12,16,21,.88); position: relative; overflow: hidden; }
.proof-step::before { content: ""; position: absolute; inset: 0 auto 0 0; width: 3px; background: #35404e; }
.proof-step strong { display: block; font-size: 9px; letter-spacing: .09em; color: #657181; }
.proof-step .proof-meta { display: block; margin-top: 6px; color: #657181; font: 10px/1.25 ui-monospace, SFMono-Regular, Menlo, monospace; overflow-wrap: anywhere; }
.proof-step.complete { border-color: rgba(79,209,165,.30); background: rgba(79,209,165,.045); }
.proof-step.complete::before { background: var(--verified); }
.proof-step.complete strong { color: #a7ead2; }
.proof-step.complete .proof-meta { color: #75a995; }
.proof-step.alert { border-color: rgba(255,107,107,.46); background: rgba(255,107,107,.06); }
.proof-step.alert::before { background: var(--invalidated); }
.proof-step.alert strong { color: #ff9f9f; }
.proof-step.alert .proof-meta { color: #bd7b7b; }
.proof-step.blocked { border-color: rgba(214,107,255,.44); background: rgba(214,107,255,.055); }
.proof-step.blocked::before { background: var(--blocked); }
.proof-step.blocked strong { color: #e3a7ff; }
.proof-step.blocked .proof-meta { color: #a67bbb; }
.proof-step.pending { opacity: .6; }
.access-gate { display: flex; justify-content: space-between; gap: 20px; align-items: center; padding: 14px 16px; margin-bottom: 14px; border-color: rgba(113,167,255,.3); }
.access-gate[hidden] { display: none; }
.access-gate strong { display: block; margin-top: 4px; font-size: 13px; }
.access-gate p { color: var(--muted); margin: 3px 0 0; max-width: 760px; font-size: 11px; }
.access-controls { display: flex; gap: 8px; align-items: center; min-width: min(100%, 480px); }
.access-controls input { flex: 1; min-width: 180px; border: 1px solid #303844; background: #0c1117; color: var(--text); border-radius: 9px; padding: 10px 12px; outline: none; }
.access-controls input:focus { border-color: rgba(113,167,255,.7); box-shadow: 0 0 0 3px rgba(113,167,255,.08); }
.controls { display: grid; grid-template-columns: .9fr 1.8fr 1fr; gap: 16px; padding: 14px; align-items: end; }
.control-group { display: grid; gap: 7px; }
.control-group label { color: var(--muted); font-size: 11px; font-weight: 700; text-transform: uppercase; letter-spacing: .08em; }
.button-row { display: flex; gap: 7px; flex-wrap: wrap; }
button { border: 1px solid #303844; background: #181e26; color: #dbe3ec; border-radius: 9px; padding: 10px 12px; cursor: pointer; transition: .15s ease; }
button:hover:not(:disabled) { transform: translateY(-1px); border-color: #506077; }
button:disabled { opacity: .35; cursor: not-allowed; }
button.primary { background: #e8eef7; color: #11151b; border-color: #e8eef7; font-weight: 800; }
button.accent { background: rgba(113,167,255,.14); color: #a9caff; border-color: rgba(113,167,255,.48); font-weight: 800; }
.metrics { display: grid; grid-template-columns: repeat(4,1fr); gap: 10px; margin: 14px 0; }
.metric { padding: 14px 16px; border: 1px solid var(--border); border-radius: 12px; background: rgba(15,19,24,.78); display: flex; justify-content: space-between; align-items: baseline; }
.metric span { color: var(--muted); font-size: 12px; text-transform: uppercase; letter-spacing: .07em; }
.metric strong { font-size: 24px; }
.layout { display: grid; grid-template-columns: minmax(0,1.75fr) minmax(330px,.75fr); gap: 14px; }
.graph-panel, .recorder-panel, .benchmark-panel { padding: 16px; }
.panel-head { display: flex; justify-content: space-between; gap: 16px; align-items: flex-start; margin-bottom: 14px; }
.legend { display: flex; gap: 12px; flex-wrap: wrap; color: var(--muted); font-size: 10px; }
.legend span { display: inline-flex; align-items: center; gap: 5px; }
.dot { width: 7px; height: 7px; border-radius: 50%; display: inline-block; }
.verified { background: var(--verified); }
.invalidated { background: var(--invalidated); }
.recompute { background: var(--recompute); }
.blocked { background: var(--blocked); }
.graph-wrap { position: relative; min-height: 520px; overflow: auto; }
#edges { position: absolute; inset: 0; width: 100%; height: 100%; pointer-events: none; z-index: 0; overflow: visible; }
.graph { min-width: 840px; display: grid; grid-template-columns: repeat(5, minmax(145px,1fr)); gap: 22px; align-items: center; min-height: 490px; position: relative; z-index: 1; }
.node { border: 1px solid #313945; border-radius: 12px; background: #12171e; padding: 12px; min-height: 92px; position: relative; transition: .22s ease; }
.node::before { content: ""; position: absolute; left: -1px; top: 13px; bottom: 13px; width: 3px; border-radius: 4px; background: #5d6877; }
.node[data-status="VERIFIED"]::before { background: var(--verified); }
.node[data-status="INVALIDATED"] { border-color: rgba(255,107,107,.62); box-shadow: 0 0 26px rgba(255,107,107,.08); }
.node[data-status="INVALIDATED"]::before { background: var(--invalidated); }
.node[data-status="RECOMPUTE"] { border-color: rgba(240,180,77,.5); }
.node[data-status="RECOMPUTE"]::before { background: var(--recompute); }
.node[data-status="BLOCKED"] { border-color: rgba(214,107,255,.6); box-shadow: 0 0 26px rgba(214,107,255,.08); }
.node[data-status="BLOCKED"]::before { background: var(--blocked); }
.node.reused { outline: 1px dashed rgba(79,209,165,.5); outline-offset: 3px; }
.node .kind { color: #687484; font-size: 9px; letter-spacing: .11em; font-weight: 800; }
.node h3 { margin: 6px 0 5px; font-size: 14px; }
.node .status { font-family: ui-monospace, SFMono-Regular, Menlo, monospace; font-size: 10px; color: var(--muted); }
.node .deps { margin-top: 7px; color: #5d6877; font-size: 9px; line-height: 1.3; overflow-wrap: anywhere; }
.edge { fill: none; stroke: #2d3743; stroke-width: 1.25; }
.edge.affected { stroke: rgba(255,107,107,.68); stroke-width: 1.7; }
.events { max-height: 520px; overflow-y: auto; padding-right: 5px; }
.event { display: grid; grid-template-columns: 28px 1fr; gap: 9px; padding: 10px 0; border-bottom: 1px solid #1f252d; }
.event-index { width: 24px; height: 24px; display: grid; place-items: center; border-radius: 7px; background: #171d25; color: #6f7c8d; font: 10px ui-monospace, monospace; }
.event strong { display: block; font-size: 11px; letter-spacing: .035em; }
.event p { margin: 3px 0 0; color: var(--muted); font-size: 12px; }
.event.trust strong, .event.block strong { color: #ff9797; }
.event.recovery strong { color: #85e2c1; }
.empty, .benchmark-empty { color: var(--muted); }
.benchmark-panel { margin-top: 14px; }
.benchmark-grid { display: grid; grid-template-columns: repeat(4,1fr); gap: 10px; }
.bench { background: #0e1319; border: 1px solid #222a33; border-radius: 10px; padding: 13px; }
.bench span { color: var(--muted); font-size: 10px; text-transform: uppercase; letter-spacing: .08em; }
.bench strong { display: block; margin-top: 5px; font-size: 22px; }
.pill { border-radius: 999px; border: 1px solid #303844; padding: 5px 9px; font-size: 10px; font-weight: 800; letter-spacing: .07em; }
.pill.neutral { color: #a7b1bd; background: #11161c; }
.pill.ok { color: #80dfbd; border-color: rgba(79,209,165,.35); background: rgba(79,209,165,.07); }
@media (max-width: 1180px) { .proof-strip { grid-template-columns: repeat(3,1fr); } }
@media (max-width: 980px) { .shell { padding: 18px; } .hero { align-items: flex-start; flex-direction: column; } .access-gate, .access-controls { align-items: stretch; flex-direction: column; } .controls { grid-template-columns: 1fr; } .layout { grid-template-columns: 1fr; } .metrics { grid-template-columns: repeat(2,1fr); } .benchmark-grid { grid-template-columns: repeat(2,1fr); } }
@media (max-width: 620px) { .proof-strip { grid-template-columns: repeat(2,1fr); } }