:root {
  --bg: #07090c;
  --panel: #0d1116;
  --panel-2: #11171d;
  --line: #25303a;
  --text: #f4f0e9;
  --muted: #a4adb5;
  --cyan: #66d9e8;
  --pink: #ef6f91;
  --gold: #e7ba68;
  --green: #78d69b;
  font-family: Inter, "Segoe UI", Arial, sans-serif;
  color: var(--text);
  background: var(--bg);
}
* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body { margin: 0; background: var(--bg); color: var(--text); }
a { color: inherit; text-decoration: none; }
button, input, select { font: inherit; }
button:focus-visible, input:focus-visible, select:focus-visible, a:focus-visible { outline: 2px solid var(--cyan); outline-offset: 2px; }
.topbar { min-height: 76px; padding: 12px clamp(18px, 4vw, 64px); border-bottom: 1px solid var(--line); display: flex; align-items: center; justify-content: space-between; gap: 24px; position: sticky; top: 0; z-index: 10; background: rgba(7, 9, 12, .96); }
.brand { display: flex; align-items: center; gap: 12px; }
.brand span:last-child { display: grid; gap: 2px; }
.brand small { color: var(--muted); font-size: 12px; }
.mark { position: relative; isolation: isolate; width: 46px; height: 46px; flex: 0 0 46px; border-radius: 50%; display: grid; place-items: center; }
.mark .moon-glow { position: absolute; inset: -9px; z-index: 0; border-radius: 50%; pointer-events: none; background: radial-gradient(circle, rgba(255,255,255,0) 38%, rgba(255,246,232,.16) 53%, rgba(255,255,255,.42) 66%, rgba(244,232,218,.2) 79%, rgba(255,255,255,0) 100%); filter: blur(3px); animation: deepBreathGlow 7.8s ease-in-out infinite; }
.mark img { position: relative; z-index: 1; width: 100%; height: 100%; display: block; object-fit: contain; filter: drop-shadow(0 0 7px rgba(255,255,255,.08)); }
@keyframes deepBreathGlow { 0%, 100% { transform: scale(.93); opacity: .52; filter: blur(3px); box-shadow: 0 0 8px rgba(255,255,255,.06), 0 0 18px rgba(244,232,218,.08); } 50% { transform: scale(1.07); opacity: .98; filter: blur(5px); box-shadow: 0 0 14px rgba(255,255,255,.2), 0 0 32px rgba(244,232,218,.2); } }
@media (prefers-reduced-motion: reduce) { .mark .moon-glow { animation: none; } }
nav { display: flex; gap: 22px; color: var(--muted); font-size: 14px; }
nav a:hover { color: var(--text); }
main { width: min(1500px, 100%); margin: 0 auto; }
.intro { min-height: 360px; padding: 76px clamp(18px, 5vw, 84px) 52px; display: grid; grid-template-columns: minmax(0, 1fr) minmax(300px, .48fr); align-items: end; gap: 64px; border-bottom: 1px solid var(--line); }
.eyebrow { margin: 0 0 10px; color: var(--gold); text-transform: uppercase; letter-spacing: 0; font: 600 12px ui-monospace, Consolas, monospace; }
h1 { max-width: 900px; margin: 0; font-size: clamp(38px, 5.3vw, 76px); line-height: 1.03; font-weight: 500; letter-spacing: 0; }
.lede { max-width: 820px; margin: 24px 0 0; color: var(--muted); font-size: 18px; line-height: 1.7; }
.hero-actions { display: flex; flex-wrap: wrap; gap: 12px; margin-top: 28px; }
.hero-actions a { min-height: 44px; padding: 0 17px; display: inline-flex; align-items: center; border: 1px solid var(--line); border-radius: 4px; font-weight: 700; font-size: 13px; }
.hero-actions .primary-action { color: #081013; background: var(--cyan); border-color: var(--cyan); }
.hero-actions .secondary-action { color: var(--text); background: var(--panel); }
.metrics { display: grid; grid-template-columns: repeat(3, 1fr); margin: 0; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.metrics div { padding: 18px 12px; border-right: 1px solid var(--line); }
.metrics div:last-child { border: 0; }
.metrics dt { font: 500 34px ui-monospace, Consolas, monospace; }
.metrics dd { margin: 3px 0 0; color: var(--muted); font-size: 12px; }
.workspace { min-height: 690px; display: grid; grid-template-columns: 230px minmax(420px, 1fr) 360px; border-bottom: 1px solid var(--line); }
.filters, .inspector { padding: 26px 22px; background: var(--panel); }
.filters { border-right: 1px solid var(--line); }
.inspector { border-left: 1px solid var(--line); }
.section-label { display: flex; justify-content: space-between; gap: 10px; margin-bottom: 28px; font-size: 13px; font-weight: 700; }
.live-dot { color: var(--green); font: 500 11px ui-monospace, Consolas, monospace; }
.filters label { display: block; color: var(--muted); font-size: 12px; margin: 18px 0 7px; }
.filters input[type="search"], .filters select { width: 100%; height: 42px; padding: 0 11px; color: var(--text); background: #090c10; border: 1px solid var(--line); border-radius: 4px; }
.filters .check { display: flex; align-items: center; gap: 8px; color: var(--text); }
.legend { margin-top: 36px; padding-top: 18px; border-top: 1px solid var(--line); display: grid; gap: 12px; color: var(--muted); font-size: 12px; }
.legend span { display: flex; gap: 9px; align-items: center; }
.legend i { width: 8px; height: 8px; border-radius: 50%; }
.cyan { background: var(--cyan); }.pink { background: var(--pink); }.gold { background: var(--gold); }
.asset-region { padding: 26px; min-width: 0; }
.region-head, .section-head { display: flex; justify-content: space-between; align-items: end; gap: 16px; }
h2 { margin: 0; font-size: 24px; font-weight: 600; }
button { min-height: 40px; padding: 0 14px; color: #081013; background: var(--cyan); border: 0; border-radius: 4px; font-weight: 700; cursor: pointer; }
button:hover { filter: brightness(1.08); }
.asset-list { margin-top: 22px; display: grid; grid-template-columns: repeat(auto-fill, minmax(230px, 1fr)); gap: 14px; }
.asset-card { padding: 0; text-align: left; color: var(--text); background: var(--panel-2); border: 1px solid var(--line); border-radius: 5px; overflow: hidden; font-weight: 400; }
.asset-card:hover, .asset-card.active { filter: none; border-color: var(--cyan); }
.asset-card img { width: 100%; aspect-ratio: 16 / 9; object-fit: cover; display: block; background: #020304; }
.asset-card .card-body { padding: 14px; display: grid; gap: 8px; }
.asset-card strong { font-size: 14px; overflow-wrap: anywhere; }
.asset-card p { margin: 0; color: var(--muted); font-size: 12px; line-height: 1.45; display: -webkit-box; -webkit-box-orient: vertical; -webkit-line-clamp: 3; overflow: hidden; }
.tags { display: flex; flex-wrap: wrap; gap: 6px; }
.tag { padding: 3px 6px; border: 1px solid var(--line); color: var(--cyan); font: 500 10px ui-monospace, Consolas, monospace; }
.inspector-content { margin-top: 20px; }
.preview { width: 100%; aspect-ratio: 16/9; object-fit: cover; border: 1px solid var(--line); }
.facts { margin: 18px 0 0; display: grid; grid-template-columns: 105px 1fr; gap: 9px; font-size: 12px; }
.facts dt { color: var(--muted); }.facts dd { margin: 0; overflow-wrap: anywhere; }
.object-links { display: flex; flex-wrap: wrap; gap: 10px; margin: 18px 0 0; }
.object-map-links { margin-top: 14px; }
.object-links a { padding: 9px 11px; border: 1px solid var(--line); color: var(--cyan); font-size: 11px; text-decoration: none; }
.object-links a:hover { border-color: var(--cyan); }
.hash { font-family: ui-monospace, Consolas, monospace; font-size: 10px; word-break: break-all; }
.verify-result { display: block; margin-top: 20px; padding: 12px; border: 1px solid var(--line); color: var(--muted); font-size: 12px; line-height: 1.5; }
.verify-result.ok { border-color: var(--green); color: var(--green); }
.verify-result.bad { border-color: var(--pink); color: var(--pink); }
.local-preview-banner { padding: 10px clamp(18px, 4vw, 64px); background: #1a1208; border-bottom: 1px solid var(--gold); color: var(--gold); font: 600 12px/1.4 ui-monospace, Consolas, monospace; letter-spacing: .02em; }
.judge-path { margin: 22px 0 0; padding: 16px 18px 16px 34px; max-width: 820px; border: 1px solid var(--line); background: var(--panel); color: var(--muted); font-size: 13px; line-height: 1.55; }
.judge-path li { margin: 6px 0; }
.judge-path strong { color: var(--text); font-weight: 600; }
.filter-hint { margin: 0 0 8px; color: var(--muted); font-size: 12px; line-height: 1.45; }
.filter-hint strong { color: var(--pink); font-weight: 600; }
.tag.gold { color: var(--gold); border-color: rgba(231, 186, 104, .45); }
.tag.pink { color: var(--pink); border-color: rgba(239, 111, 145, .45); }
.b2-panel { margin-top: 16px; padding: 12px; border: 1px solid rgba(231, 186, 104, .35); background: #0c0f12; }
.b2-note { margin: 0 0 10px; color: var(--muted); font-size: 11px; line-height: 1.5; }
.b2-note strong { color: var(--gold); }
.b2-facts { margin-top: 8px; grid-template-columns: 110px 1fr; }
.b2-facts dd { font-size: 9px; line-height: 1.4; color: var(--cyan); display: grid; gap: 6px; }
.b2-layout { margin: 0 0 10px; padding: 10px; overflow: auto; color: var(--gold); background: #05070a; border: 1px solid var(--line); font: 11px/1.5 ui-monospace, Consolas, monospace; white-space: pre-wrap; word-break: break-all; }
.mini-btn { min-height: 28px; padding: 0 8px; width: fit-content; font-size: 10px; font-weight: 700; color: var(--text); background: #151b22; border: 1px solid var(--line); border-radius: 3px; cursor: pointer; }
.mini-btn:hover { border-color: var(--cyan); filter: none; }
.verify-actions { display: flex; flex-wrap: wrap; gap: 8px; }
.btn-secondary { color: var(--text); background: #151b22; border: 1px solid var(--line); }
.btn-secondary:hover { filter: none; border-color: var(--cyan); }
.tag.rec { color: #081013; background: var(--gold); border-color: var(--gold); }
.tag.ok { color: var(--green); border-color: rgba(120, 214, 155, .45); }
.tag.bad { color: var(--pink); border-color: rgba(239, 111, 145, .45); }
.role-note { margin: 12px 0 0; padding: 10px; border: 1px solid var(--line); color: var(--muted); font-size: 11px; line-height: 1.45; }
.role-note-live { border-color: rgba(239, 111, 145, .4); color: var(--text); }
.batch-result { margin-top: 16px; padding: 12px; border: 1px solid var(--line); color: var(--muted); font-size: 12px; line-height: 1.5; min-height: 0; }
.batch-result:empty { display: none; }
.batch-result.ok { border-color: var(--green); color: var(--green); }
.batch-result.bad { border-color: var(--pink); color: var(--pink); }
.batch-result pre { margin: 10px 0 0; color: var(--muted); font: 11px/1.5 ui-monospace, Consolas, monospace; white-space: pre-wrap; }
.pipeline, .proof, .reliability, .demo { padding: 64px clamp(18px, 5vw, 84px); border-bottom: 1px solid var(--line); }
.pipeline-steps { list-style: none; padding: 0; margin: 32px 0; display: grid; grid-template-columns: repeat(3, 1fr); border: 1px solid var(--line); }
.pipeline-steps li { min-height: 190px; padding: 24px; border-right: 1px solid var(--line); display: grid; grid-template-columns: 36px 1fr; gap: 12px; }
.pipeline-steps li:last-child { border: 0; }
.pipeline-steps span { color: var(--pink); font: 600 12px ui-monospace, Consolas, monospace; }
.pipeline-steps strong { font-size: 17px; }.pipeline-steps p { color: var(--muted); line-height: 1.6; font-size: 14px; }
.object-map { margin: 0; padding: 22px; overflow: auto; color: var(--cyan); background: #05070a; border: 1px solid var(--line); font: 13px/1.7 ui-monospace, Consolas, monospace; }
.proof-grid { margin-top: 32px; display: grid; grid-template-columns: repeat(3, 1fr); border: 1px solid var(--line); }
.proof-grid article { min-height: 250px; padding: 26px; border-right: 1px solid var(--line); }
.proof-grid article:last-child { border-right: 0; }
.proof-number { color: var(--gold); font: 600 12px ui-monospace, Consolas, monospace; }
.proof-grid h3 { margin: 28px 0 12px; font-size: 19px; }
.proof-grid p, .reliability-grid p { color: var(--muted); font-size: 14px; line-height: 1.65; }
.proof-grid a { color: var(--cyan); font-size: 13px; font-weight: 700; }
.runtime-proof { display: grid; grid-template-columns: repeat(3, 1fr); border: 1px solid var(--line); border-top: 0; }
.runtime-proof div { min-height: 92px; padding: 18px 22px; display: grid; gap: 8px; border-right: 1px solid var(--line); }
.runtime-proof div:last-child { border: 0; }
.runtime-proof span { color: var(--pink); font: 600 11px ui-monospace, Consolas, monospace; }
.runtime-proof strong { font-size: 13px; }
.runtime-proof .ok { color: var(--green); }
.runtime-proof .bad { color: var(--pink); }
.reliability-grid { margin: 32px 0; display: grid; grid-template-columns: repeat(2, 1fr); border: 1px solid var(--line); }
.reliability-grid div { min-height: 170px; padding: 26px; border-right: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.reliability-grid div:nth-child(2n) { border-right: 0; }
.reliability-grid div:nth-last-child(-n+2) { border-bottom: 0; }
.command-proof { margin: 0; padding: 22px; overflow: auto; color: var(--green); background: #05070a; border: 1px solid var(--line); font: 13px/1.7 ui-monospace, Consolas, monospace; }
.demo video { width: 100%; margin-top: 28px; background: #000; border: 1px solid var(--line); display: block; }
.walkthrough-chapters { display: grid; grid-template-columns: repeat(4, 1fr); border: 1px solid var(--line); border-top: 0; }
.walkthrough-chapters div { padding: 16px; border-right: 1px solid var(--line); display: grid; gap: 5px; }
.walkthrough-chapters div:last-child { border: 0; }.walkthrough-chapters b { color: var(--gold); font-family: ui-monospace, Consolas, monospace; }.walkthrough-chapters span { color: var(--muted); font-size: 12px; }
footer { padding: 24px clamp(18px, 5vw, 84px); display: flex; justify-content: space-between; gap: 20px; color: var(--muted); font-size: 12px; }
@media (max-width: 1050px) { .workspace { grid-template-columns: 190px 1fr; }.inspector { grid-column: 1 / -1; border-left: 0; border-top: 1px solid var(--line); }.inspector-content { display: grid; grid-template-columns: minmax(240px, 1fr) 1fr; gap: 20px; }.facts { margin-top: 0; } }
@media (max-width: 760px) { .topbar { position: static; align-items: flex-start; }.topbar nav { display: none; }.intro { grid-template-columns: 1fr; min-height: auto; padding-top: 48px; gap: 36px; }.workspace { grid-template-columns: 1fr; }.filters { border-right: 0; border-bottom: 1px solid var(--line); }.inspector { grid-column: auto; }.inspector-content { display: block; }.pipeline-steps, .proof-grid, .runtime-proof, .reliability-grid, .walkthrough-chapters { grid-template-columns: 1fr; }.pipeline-steps li, .proof-grid article, .runtime-proof div, .reliability-grid div, .walkthrough-chapters div { border-right: 0; border-bottom: 1px solid var(--line); }.reliability-grid div:last-child, .proof-grid article:last-child, .runtime-proof div:last-child { border-bottom: 0; }.metrics { grid-template-columns: 1fr 1fr 1fr; }.region-head { align-items: flex-start; flex-direction: column; } }
@media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; } }
