@import url('https://fonts.googleapis.com/css2?family=DM+Mono:wght@400;500&family=Inter:wght@400;500;600;700;800&display=swap');

:root {
  --bg: #07090d;
  --panel: #0e1219;
  --line: #202938;
  --text: #f5f7fb;
  --muted: #8994a6;
  --acid: #b8ff45;
  --blue: #6c8cff;
  --amber: #ffc861;
  --red: #ff8a8a;
  --mono: 'DM Mono', ui-monospace, monospace;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body { margin: 0; background: var(--bg); color: var(--text); font-family: Inter, sans-serif; }
a { color: inherit; text-decoration: none; }
code, kbd { font-family: var(--mono); font-size: .92em; color: #c9d4e6; }
kbd { border: 1px solid var(--line); border-radius: 4px; padding: 1px 6px; }

:focus-visible { outline: 2px solid var(--acid); outline-offset: 2px; border-radius: 4px; }

/* Header */
header { height: 72px; padding: 0 5vw; display: flex; align-items: center; justify-content: space-between; border-bottom: 1px solid var(--line); position: sticky; top: 0; z-index: 10; background: rgba(7,9,13,.88); backdrop-filter: blur(16px); }
.brand { font: 500 20px var(--mono); letter-spacing: -.04em; }
.brand .cursor { color: var(--acid); animation: cursor-blink 1.15s steps(1,end) infinite; }
@keyframes cursor-blink { 0%,52% { opacity: 1; } 53%,100% { opacity: .18; } }
nav { display: flex; gap: 28px; color: var(--muted); font-size: 14px; }
nav a:hover { color: var(--text); }

/* Buttons */
.small-button, .button { background: var(--acid); color: #0a0d10; padding: 11px 17px; border-radius: 7px; font-weight: 800; font-size: 14px; border: 0; cursor: pointer; font-family: inherit; }
.button:hover, .small-button:hover { filter: brightness(1.08); }
.ghost-button { background: transparent; color: #b8c1cf; border: 1px solid var(--line); padding: 10px 15px; border-radius: 7px; font-weight: 600; font-size: 14px; cursor: pointer; font-family: inherit; }
.ghost-button:hover:not(:disabled) { border-color: #3a4660; color: var(--text); }
.ghost-button:disabled, .button:disabled { opacity: .38; cursor: not-allowed; }

/* Hero */
.hero { padding: 96px 6vw 84px; background: radial-gradient(circle at 72% 20%, rgba(108,140,255,.14), transparent 34%); }
.status, .kicker { font: 500 12px var(--mono); text-transform: uppercase; letter-spacing: .13em; color: var(--muted); }
.status i { width: 8px; height: 8px; background: var(--acid); border-radius: 50%; display: inline-block; margin-right: 9px; box-shadow: 0 0 14px var(--acid); }
h1 { font-size: clamp(60px, 9vw, 140px); line-height: .85; letter-spacing: -.075em; margin: 32px 0 28px; max-width: 1100px; }
h1 em { font-style: normal; color: transparent; -webkit-text-stroke: 1px #737d8d; }
.lede { font-size: 20px; line-height: 1.65; color: #aab3c2; max-width: 720px; }
.hero-actions { display: flex; align-items: center; gap: 28px; margin-top: 38px; }
.text-link { color: #b8c1cf; font-weight: 600; }
.text-link:hover { color: var(--text); }

/* Sections */
section { padding: 100px 6vw; border-top: 1px solid var(--line); }
section.hero { border-top: 0; }
h2 { font-size: clamp(40px, 5vw, 72px); letter-spacing: -.055em; line-height: 1; margin: 20px 0 28px; }
.section-lede { color: var(--muted); line-height: 1.65; max-width: 760px; margin-bottom: 48px; }
.section-head { display: flex; align-items: center; gap: 18px; flex-wrap: wrap; }
.sim-badge { font: 500 11px var(--mono); letter-spacing: .1em; color: var(--amber); border: 1px solid #4d3f1f; background: #171307; border-radius: 6px; padding: 6px 10px; }

/* Panels */
.panel { border: 1px solid var(--line); background: var(--panel); border-radius: 14px; padding: 26px; }
.panel-head { display: flex; justify-content: space-between; align-items: start; border-bottom: 1px solid var(--line); padding-bottom: 18px; margin-bottom: 4px; gap: 10px; }
.panel-head div { display: grid; gap: 7px; }
.panel-head small { font: 500 11px var(--mono); letter-spacing: .13em; color: var(--acid); }
.panel-head b { font-size: 16px; }
.tag { font: 500 10px var(--mono); letter-spacing: .08em; color: var(--amber); border: 1px solid #4d3f1f; padding: 5px 8px; border-radius: 5px; white-space: nowrap; }

/* Theatre layout */
.theatre-grid { display: grid; grid-template-columns: 300px 1fr 320px; gap: 18px; align-items: start; }
.composer .field { display: grid; gap: 8px; font: 500 12px var(--mono); letter-spacing: .1em; text-transform: uppercase; color: var(--muted); margin: 18px 0 4px; }
.composer input { background: #0a0d12; border: 1px solid var(--line); border-radius: 7px; color: var(--text); font: 500 14px var(--mono); padding: 11px 12px; width: 100%; }
.composer input:focus-visible { outline-offset: 0; }
.composer dl { margin: 14px 0 20px; }
.composer dl div { display: flex; justify-content: space-between; gap: 12px; padding: 12px 0; border-bottom: 1px solid var(--line); }
dt { color: var(--muted); font-size: 13px; }
dd { margin: 0; font: 500 12px var(--mono); text-align: right; }
.blocked { color: var(--red); }
.controls { display: grid; gap: 9px; }
.fine { color: #9aa6b8; font-size: 12px; line-height: 1.6; margin-top: 16px; }

/* Stage rail */
.stage-rail { list-style: none; display: grid; grid-template-columns: repeat(5, 1fr); gap: 8px; padding: 0; margin: 0 0 14px; }
.stage-rail li { border: 1px solid var(--line); border-radius: 9px; padding: 12px 10px; font: 600 13px Inter; color: var(--muted); display: grid; gap: 6px; transition: border-color .25s, color .25s, background .25s; }
.stage-rail b { font: 500 10px var(--mono); letter-spacing: .12em; color: #8f9bad; }
.stage-rail li[data-phase="active"] { border-color: var(--blue); color: var(--text); background: #0d1220; }
.stage-rail li[data-phase="active"] b { color: var(--blue); }
.stage-rail li[data-phase="done"] { border-color: #597328; color: var(--acid); background: #10160c; }
.stage-rail li[data-phase="done"] b { color: var(--acid); }

.run-status { font: 400 13px var(--mono); color: var(--muted); margin: 0 0 14px; min-height: 20px; }
[data-state="running"] .run-status { color: #c9d4e6; }
[data-state="done"] .run-status { color: var(--acid); }

/* Event stream */
.log-panel { padding: 20px 22px; }
.event-stream { list-style: none; margin: 12px 0 0; padding: 0; max-height: 430px; overflow-y: auto; display: grid; gap: 2px; }
.event { display: grid; grid-template-columns: 64px 1fr; gap: 4px 14px; padding: 9px 6px; border-radius: 7px; animation: event-in .16s ease-out; }
.event-kind { font: 500 10px var(--mono); letter-spacing: .1em; text-transform: uppercase; color: #8f9bad; padding-top: 3px; }
.event-text { font-size: 14px; color: #cbd4e2; }
.event-mono { grid-column: 2; font: 400 12px var(--mono); color: #74839c; }
.event-stage { background: #0d1220; }
.event-stage .event-kind { color: var(--blue); }
.event-check .event-kind, .event-proof .event-kind { color: var(--acid); }
.event-risk { background: #171307; }
.event-risk .event-kind { color: var(--amber); }
.event-terminal { background: #10160c; }
.event-terminal .event-text { color: var(--acid); font-weight: 600; }
@keyframes event-in { from { opacity: 0; transform: translateY(4px); } to { opacity: 1; transform: none; } }

/* Proof drops */
.proofs { display: grid; gap: 12px; margin-top: 14px; }
.proof { border: 1px solid #597328; background: linear-gradient(145deg, #111a13, #0e1219); border-radius: 11px; padding: 16px 18px; animation: proof-in .38s cubic-bezier(.2,.9,.3,1); }
.proof b { font: 500 10px var(--mono); letter-spacing: .12em; color: var(--acid); }
.proof h4 { margin: 9px 0 7px; font-size: 15px; line-height: 1.35; }
.proof code { font-size: 12px; color: #9db07e; word-break: break-word; }
.proof-risk { border-color: #4d3f1f; background: linear-gradient(145deg, #1a1408, #0e1219); }
.proof-risk b { color: var(--amber); }
.proof-risk code { color: #c2a76b; }
@keyframes proof-in { from { opacity: 0; transform: translateY(10px) scale(.985); } to { opacity: 1; transform: none; } }

/* Approval card */
.approval { margin-top: 14px; border: 1px solid #3a4660; background: #0d1220; border-radius: 11px; padding: 18px; }
.approval b { font: 500 10px var(--mono); letter-spacing: .12em; color: var(--blue); }
.approval p { color: var(--muted); font-size: 13px; line-height: 1.6; margin: 10px 0 12px; }
.gated-chip { display: inline-block; font: 500 11px var(--mono); color: var(--red); border: 1px solid #4a2c33; border-radius: 6px; padding: 6px 10px; }

/* Boundary + workflow + honesty */
.split { display: grid; grid-template-columns: 1fr auto 1fr; gap: 24px; align-items: stretch; }
.split article { border: 1px solid var(--line); background: var(--panel); border-radius: 14px; padding: 34px; }
.split .active { border-color: #597328; background: linear-gradient(145deg, #111a13, #0e1219); }
.split b { font: 500 11px var(--mono); letter-spacing: .13em; color: var(--acid); }
.split h3 { font-size: 25px; margin: 26px 0 12px; letter-spacing: -.02em; }
.split p, .steps p { color: var(--muted); line-height: 1.65; }
.split ul { padding-left: 18px; color: #aab3c2; line-height: 1.9; font-size: 14px; margin: 0; }
.arrow { font-size: 28px; color: var(--acid); align-self: center; }
.status-split { grid-template-columns: 1fr 1fr; }
.status-split article > b { color: inherit; }
.status-split .active > b { color: var(--acid); }
.status-split article:not(.active) > b { color: var(--amber); }

.steps { display: grid; grid-template-columns: repeat(5, 1fr); gap: 14px; }
.steps article { border: 1px solid var(--line); background: var(--panel); border-radius: 14px; padding: 28px; }
.steps strong { font: 500 12px var(--mono); color: var(--acid); }
.steps h3 { margin: 44px 0 10px; font-size: 21px; }
.steps p { font-size: 14px; }

/* Footer */
footer { padding: 42px 6vw; border-top: 1px solid var(--line); display: grid; grid-template-columns: 1fr 2fr 1fr; align-items: center; color: var(--muted); font-size: 13px; }
footer p { text-align: center; }
footer small { text-align: right; }

/* Reduced motion: information identical, motion removed */
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  .brand .cursor { animation: none; }
  .event, .proof { animation: none; }
  .stage-rail li { transition: none; }
}

/* Responsive */
@media (max-width: 1180px) {
  .theatre-grid { grid-template-columns: 280px 1fr; }
  .proof-panel { grid-column: 1 / -1; }
  .proofs { grid-template-columns: repeat(auto-fill, minmax(240px, 1fr)); }
}
@media (max-width: 850px) {
  nav { display: none; }
  .hero { padding-top: 64px; }
  .theatre-grid { grid-template-columns: 1fr; }
  .split, .status-split { grid-template-columns: 1fr; }
  .arrow { transform: rotate(90deg); text-align: center; }
  .steps { grid-template-columns: 1fr 1fr; }
  footer { grid-template-columns: 1fr; gap: 15px; }
  footer p, footer small { text-align: left; }
}
@media (max-width: 520px) {
  .small-button { display: none; }
  h1 { font-size: 52px; }
  .hero-actions { align-items: flex-start; flex-direction: column; }
  section { padding: 72px 5vw; }
  .stage-rail { grid-template-columns: repeat(2, 1fr); }
  .steps { grid-template-columns: 1fr; }
  .event { grid-template-columns: 1fr; }
  .event-mono { grid-column: 1; }
}