:root {
  --bg: #040605;
  --line: rgba(111,255,126,.20);
  --line-strong: rgba(111,255,126,.43);
  --text: #d4f6d8;
  --muted: #7eaa84;
  --phosphor: #6fff7e;
  --amber: #ffb000;
  --red: #ff4b3e;
  --white: #f2fff4;
  --content: 1180px;
  --shadow: 0 0 0 1px rgba(111,255,126,.04), 0 20px 60px rgba(0,0,0,.55);
  --mono: "DejaVu Sans Mono", "Liberation Mono", "Nimbus Mono PS", "Courier New", ui-monospace, monospace;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; background: var(--bg); }
body {
  margin: 0;
  font-family: var(--mono);
  background:
    radial-gradient(circle at 78% 8%, rgba(40,255,70,.055), transparent 28%),
    linear-gradient(180deg, #050706 0%, #020403 100%);
  color: var(--text);
  line-height: 1.58;
  -webkit-font-smoothing: none;
  text-rendering: geometricPrecision;
  min-height: 100vh;
  font-size: 16px;
}
body::before {
  content: "";
  position: fixed;
  inset: 0;
  z-index: 9998;
  pointer-events: none;
  background: repeating-linear-gradient(
    0deg,
    rgba(255,255,255,.018) 0,
    rgba(255,255,255,.018) 1px,
    transparent 1px,
    transparent 4px
  );
  opacity: .30;
  mix-blend-mode: screen;
}
body::after {
  content: "";
  position: fixed;
  inset: 0;
  z-index: 9997;
  pointer-events: none;
  box-shadow: inset 0 0 120px rgba(0,0,0,.9), inset 0 0 22px rgba(75,255,90,.035);
}
::selection { background: var(--phosphor); color: #001a05; }
a { color: inherit; text-decoration: none; }
a:hover { color: var(--phosphor); text-shadow: 0 0 9px rgba(111,255,126,.32); }
img { max-width: 100%; display: block; }
button, input, textarea { font: inherit; }
code { font-family: var(--mono); }

.site-header {
  position: sticky;
  top: 0;
  z-index: 30;
  background: rgba(4,6,5,.94);
  border-bottom: 1px solid var(--line-strong);
  box-shadow: 0 10px 35px rgba(0,0,0,.34);
}
.site-header::after {
  content:"RESEARCH:ACTIVE  //  THEORY_TO_IMPLEMENTATION";
  position:absolute;
  right:18px;
  bottom:-17px;
  font-size:8px;
  letter-spacing:.12em;
  color:rgba(111,255,126,.34);
  background:var(--bg);
  padding:2px 6px;
}
.nav {
  max-width: var(--content);
  margin: 0 auto;
  min-height: 68px;
  padding: 0 24px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 28px;
}
.brand { display: flex; align-items: center; gap: 12px; font-weight: 700; letter-spacing: .06em; color:var(--white); text-decoration:none; }
.brand-mark {
  width: 44px !important; height: 44px !important; flex: 0 0 44px !important;
  display: block; object-fit: contain; object-position: center;
  filter: none; opacity: 1; background: none; border: 0; box-shadow: none; border-radius: 0;
}
.brand:hover .brand-mark { filter:none; opacity:1; transform:none; }
.brand-copy { display: grid; line-height: 1.06; font-size:14px; text-transform:uppercase; }
.brand-copy small { color: var(--muted); font-size: 11px; letter-spacing: .18em; margin-top: 6px; font-weight: 400; line-height:1.25; }
.nav-links { display: flex; align-items: center; gap: 20px; color: #91b597; font-size: 11px; text-transform:uppercase; letter-spacing:.06em; }
.nav-links a::before { content:"/"; color:rgba(111,255,126,.28); margin-right:2px; }
.nav-links a.active { color: var(--phosphor); }
.nav-cta { padding: 9px 12px; border: 1px solid var(--line-strong); border-radius: 0; }
.nav-cta::before { content:"[" !important; color:var(--phosphor) !important; }
.nav-cta::after { content:"]"; color:var(--phosphor); }
.nav-toggle { display:none; background:none; border:1px solid var(--line); color:var(--phosphor); font-size:20px; }

.container { max-width: var(--content); margin: 0 auto; padding: 0 24px; }
section { padding: 92px 0; position:relative; }
.section-tight { padding: 58px 0; }
.eyebrow {
  color: var(--phosphor); font-size: 10px; letter-spacing: .14em; text-transform: uppercase; font-weight: 700;
  text-shadow:0 0 8px rgba(111,255,126,.26);
}
.eyebrow::before { content:"> "; color:var(--phosphor); }
h1, h2, h3 {
  font-family: var(--mono);
  line-height: 1.08; margin: 0; letter-spacing: .015em; text-transform: uppercase;
  color:var(--white); font-weight:700;
}
h1 { font-size: clamp(34px, 4.6vw, 54px); line-height: 1.02; max-width: 940px; text-shadow:0 0 16px rgba(111,255,126,.08); }
h1::after { content:"_"; color:var(--phosphor); animation:cursorBlink 1.05s steps(1,end) infinite; font-weight:400; }
h2 { font-size: clamp(26px, 3vw, 36px); line-height: 1.08; max-width: 870px; }
h3 { font-size: 18px; line-height: 1.2; }
@keyframes cursorBlink { 0%,48%{opacity:1} 49%,100%{opacity:0} }
p { margin: 0; }
.lead { font-size: clamp(16px, 1.7vw, 20px); color: #a9c9ae; max-width: 800px; line-height: 1.7; }
.small { font-size: 11px; color: var(--muted); }

.hero { padding: 96px 0 80px; overflow: hidden; position: relative; border-bottom:1px solid rgba(111,255,126,.08); }
.hero::before {
  content:""; position:absolute; inset:0; pointer-events:none;
  background:
    linear-gradient(rgba(111,255,126,.027) 1px, transparent 1px),
    linear-gradient(90deg, rgba(111,255,126,.027) 1px, transparent 1px);
  background-size:40px 40px;
  mask-image:linear-gradient(to right, transparent 0, #000 48%, #000 100%);
}
.hero::after {
  content:"RESEARCH_SYS // THEORY=ACTIVE // IMPLEMENTATION=IN_PROGRESS";
  position:absolute; left:max(24px, calc((100vw - var(--content))/2 + 24px)); bottom:18px;
  color:rgba(111,255,126,.26); font-size:8px; letter-spacing:.12em;
}
.hero-grid { display:grid; grid-template-columns: minmax(0,1.08fr) minmax(360px,.92fr); gap:60px; align-items:center; }
.hero-copy { display:grid; gap:25px; position:relative; z-index:2; }
.hero-actions { display:flex; gap:10px; flex-wrap:wrap; padding-top:8px; }
.btn {
  display:inline-flex; align-items:center; justify-content:center; gap:9px; min-height:44px; padding:0 15px;
  border-radius:0; border:1px solid var(--line-strong); font-weight:700; font-size:11px; letter-spacing:.04em;
  text-transform:uppercase; background:rgba(111,255,126,.015);
}
.btn::before { content:"["; color:var(--phosphor); }
.btn::after { content:"]"; color:var(--phosphor); }
.btn-primary { background:var(--phosphor); color:#001805; border-color:var(--phosphor); text-shadow:none; }
.btn-primary::before,.btn-primary::after { color:#001805; }
.btn-primary:hover { color:#001805; filter:brightness(1.07); text-shadow:none; }
.btn-ghost { background:rgba(111,255,126,.014); }

.system-card {
  border:1px solid var(--line-strong); border-radius:0; background:rgba(2,8,4,.78); box-shadow:var(--shadow); padding:0;
  position:relative; z-index:2;
}
.system-card::before { content:"TERMINAL://RESEARCH_MODEL"; display:block; padding:8px 12px; border-bottom:1px solid var(--line); color:rgba(111,255,126,.42); font-size:8px; letter-spacing:.12em; }
.system-card-head { display:flex; align-items:center; justify-content:space-between; gap:12px; padding:14px 16px; border-bottom:1px solid var(--line); }
.system-card-head strong { font-size:10px; letter-spacing:.09em; text-transform:uppercase; color:var(--white); }
.live-dot { display:flex; align-items:center; gap:7px; color:var(--amber); font-size:9px; text-transform:uppercase; }
.live-dot::before { content:""; width:6px; height:6px; border-radius:0; background:var(--amber); box-shadow:0 0 8px rgba(255,176,0,.48); animation:statusPulse 1.3s steps(2,end) infinite; }
@keyframes statusPulse { 50%{opacity:.35} }
.flow { display:grid; gap:0; padding:0; }
.flow-row { display:grid; grid-template-columns: 46px 1fr; gap:0; align-items:stretch; border-bottom:1px solid rgba(111,255,126,.09); }
.flow-row:last-child { border-bottom:0; }
.flow-step { width:auto; min-height:62px; display:grid; place-items:center; border-right:1px solid var(--line); color:var(--muted); font-family:var(--mono); font-size:9px; background:rgba(111,255,126,.015); }
.flow-box { border:0; border-radius:0; padding:11px 14px; background:transparent; }
.flow-box b { display:block; font-size:11px; margin-bottom:3px; text-transform:uppercase; color:#d8f4dc; }
.flow-box span { color:var(--muted); font-size:10px; line-height:1.45; }
.flow-row.danger .flow-step { color:var(--red); border-color:rgba(255,75,62,.32); background:rgba(255,75,62,.025); text-shadow:0 0 9px rgba(255,75,62,.28); }
.flow-row.danger .flow-box b { color:#ff8178; }
.flow-row.emphasis .flow-step { color:var(--phosphor); border-color:rgba(111,255,126,.32); background:rgba(111,255,126,.025); text-shadow:0 0 9px rgba(111,255,126,.35); }
.flow-row.emphasis .flow-box { background:rgba(111,255,126,.018); }
.flow-row.emphasis .flow-box b { color:var(--phosphor); }

.signal-strip { border-top:1px solid var(--line); border-bottom:1px solid var(--line); background:#050907; }
.signal-grid { display:grid; grid-template-columns:repeat(4,1fr); counter-reset:signal; }
.signal-item { padding:22px 20px; border-right:1px solid var(--line); position:relative; }
.signal-item::before { content:"0" counter(signal); counter-increment:signal; position:absolute; top:7px; right:8px; font-size:8px; color:rgba(111,255,126,.20); }
.signal-item:last-child { border-right:0; }
.signal-item b { display:block; font-size:11px; margin-bottom:5px; text-transform:uppercase; color:var(--white); }
.signal-item span { color:var(--muted); font-size:10px; }

.copy-stack { display:grid; gap:20px; }
.copy-stack p { color:#9abb9f; font-size:15px; }

.cards { display:grid; grid-template-columns:repeat(3,1fr); gap:12px; margin-top:34px; }
.card {
  border:1px solid var(--line); border-radius:0; padding:22px; background:rgba(111,255,126,.012); min-height:250px;
  display:flex; flex-direction:column; gap:14px; transition:.15s linear; position:relative; overflow:hidden;
}
.card::after { content:""; position:absolute; left:0; top:0; width:28px; height:1px; background:var(--phosphor); box-shadow:0 0 8px rgba(111,255,126,.25); }
.card:hover { transform:translateY(-2px); border-color:var(--phosphor); background:rgba(111,255,126,.025); box-shadow:0 0 22px rgba(111,255,126,.04); }
.card-num { color:var(--phosphor); font-family:var(--mono); font-size:9px; letter-spacing:.05em; }
.card p { color:var(--muted); font-size:13px; }
.card-link { margin-top:auto; font-size:10px; font-weight:800; letter-spacing:.04em; color:var(--phosphor); text-transform:uppercase; }

.arch-preview { display:grid; grid-template-columns:.7fr 1.3fr; gap:52px; align-items:center; }
.layer-stack { display:grid; gap:8px; }
.layer { border:1px solid var(--line); border-radius:0; padding:16px 18px; background:rgba(111,255,126,.012); display:grid; grid-template-columns:140px 1fr; gap:18px; position:relative; }
.layer::before { content:"+"; position:absolute; left:-6px; top:-10px; color:var(--phosphor); font-size:11px; background:var(--bg); }
.layer strong { font-size:10px; letter-spacing:.09em; text-transform:uppercase; color:var(--phosphor); }
.layer span { color:var(--muted); font-size:12px; }
.layer.resource { border-color:rgba(255,176,0,.36); }
.layer.resource strong { color:var(--amber); }

.equation-panel { border:1px solid var(--line-strong); border-radius:0; padding:27px; background:rgba(111,255,126,.018); position:relative; }
.equation-panel::before { content:"MATH://CONFIGURATION_OPTIMIZER"; position:absolute; top:-8px; left:16px; background:var(--bg); padding:0 7px; color:rgba(111,255,126,.52); font-size:8px; letter-spacing:.1em; }
.equation { font-family:var(--mono); font-size:clamp(19px,2.7vw,31px); color:var(--phosphor); letter-spacing:0; overflow-wrap:anywhere; text-shadow:0 0 10px rgba(111,255,126,.12); }
.equation small { display:block; font-family:inherit; color:var(--muted); font-size:10px; letter-spacing:0; margin-top:16px; }

.page-hero { padding:78px 0 62px; border-bottom:1px solid var(--line); background:linear-gradient(180deg, rgba(111,255,126,.018), transparent); overflow:hidden; }
.page-hero::before { content:""; position:absolute; inset:0; background:linear-gradient(90deg, transparent 0%, rgba(111,255,126,.02) 50%, transparent 100%); pointer-events:none; }
.page-hero .lead { margin-top:22px; }
.breadcrumb { color:var(--muted); font-size:9px; margin-bottom:17px; text-transform:uppercase; letter-spacing:.06em; }
.breadcrumb::before { content:"/ROOT/"; color:var(--phosphor); }

.split { display:grid; grid-template-columns:1fr 1fr; gap:52px; align-items:start; }
.feature-list { display:grid; gap:12px; }
.feature { border-top:1px solid var(--line); padding-top:14px; display:grid; grid-template-columns:34px 1fr; gap:12px; }
.feature b { color:var(--phosphor); font-family:var(--mono); font-size:9px; }
.feature p { color:var(--muted); font-size:12px; margin-top:4px; }

.diagram { border:1px solid var(--line-strong); border-radius:0; padding:10px; background:#050805; box-shadow: inset 0 0 30px rgba(111,255,126,.025); }
.diagram img { width:100%; filter: invert(1) sepia(.65) saturate(2.4) hue-rotate(72deg) brightness(.95) contrast(1.08); }
.diagram-note { color:var(--muted); font-size:9px; margin-top:10px; letter-spacing:.02em; }
.diagram-note::before { content:"SOURCE> "; color:var(--phosphor); }

.loop { display:grid; grid-template-columns:repeat(5,1fr); gap:8px; margin-top:31px; }
.loop-step { border:1px solid var(--line); border-radius:0; padding:17px 14px; min-height:142px; background:rgba(111,255,126,.012); position:relative; }
.loop-step::after { content:">"; position:absolute; right:-8px; top:50%; transform:translateY(-50%); color:var(--phosphor); z-index:2; background:var(--bg); }
.loop-step:last-child::after { display:none; }
.loop-step small { color:var(--phosphor); font-family:var(--mono); font-size:9px; }
.loop-step b { display:block; margin:9px 0 6px; text-transform:uppercase; font-size:11px; color:var(--white); }
.loop-step span { color:var(--muted); font-size:10px; }

.research-grid { display:grid; grid-template-columns:repeat(2,1fr); gap:12px; margin-top:34px; }
.research-card { border:1px solid var(--line); border-radius:0; padding:21px; background:rgba(111,255,126,.012); display:grid; gap:15px; }
.research-top { display:flex; justify-content:space-between; gap:14px; align-items:flex-start; }
.status { font-size:8px; text-transform:uppercase; letter-spacing:.1em; padding:5px 7px; border-radius:0; border:1px solid var(--line); white-space:nowrap; color:var(--muted); }
.status.published { color:var(--phosphor); border-color:rgba(111,255,126,.40); background:rgba(111,255,126,.025); }
.research-card p { color:var(--muted); font-size:12px; }
.tags { display:flex; gap:6px; flex-wrap:wrap; }
.tag { font-size:8px; color:#9ac49f; border:1px solid var(--line); border-radius:0; padding:4px 6px; }
.tag::before { content:"#"; color:var(--phosphor); }

.partner-grid { display:grid; grid-template-columns:repeat(2,1fr); gap:14px; margin-top:34px; }
.partner { border:1px solid var(--line); border-radius:0; padding:26px; background:rgba(111,255,126,.012); min-height:280px; display:flex; flex-direction:column; }
.partner-type { color:var(--phosphor); font-size:9px; letter-spacing:.12em; text-transform:uppercase; font-weight:800; }
.partner-type::before { content:"ROLE::"; color:var(--muted); }
.partner h3 { margin-top:17px; }
.partner p { color:var(--muted); margin-top:13px; font-size:13px; }
.partner a { margin-top:auto; padding-top:24px; font-weight:800; font-size:10px; text-transform:uppercase; color:var(--phosphor); }


.cta { border:1px solid var(--phosphor); background:rgba(111,255,126,.022); border-radius:0; padding:38px; display:grid; grid-template-columns:1fr auto; gap:38px; align-items:center; position:relative; }
.cta::before { content:"CHANNEL://RESEARCH_COLLABORATION"; position:absolute; top:-8px; left:16px; background:var(--bg); padding:0 7px; color:var(--phosphor); font-size:8px; letter-spacing:.08em; }
.cta p { color:var(--muted); margin-top:13px; max-width:720px; font-size:13px; }

.site-footer { border-top:1px solid var(--line); padding:38px 0; color:var(--muted); font-size:10px; background:#030504; }
.site-footer::before { content:"EOF // DMYTRO HUMENNYI RESEARCH"; display:block; max-width:var(--content); margin:0 auto 22px; padding:0 24px; color:rgba(111,255,126,.3); font-size:8px; letter-spacing:.1em; }
.footer-grid { display:grid; grid-template-columns:1.3fr 1fr 1fr; gap:32px; }
.footer-links { display:grid; gap:7px; }
.footer-links b { color:var(--text); margin-bottom:4px; text-transform:uppercase; }

.notice { border:1px solid rgba(255,176,0,.34); border-radius:0; padding:15px 17px; color:#d2b778; background:rgba(255,176,0,.025); font-size:11px; }
.notice::before { content:"WARNING> "; color:var(--amber); font-weight:700; }

input, textarea {
  width:100%; background:#030604; color:var(--phosphor); border:1px solid var(--line-strong); border-radius:0;
  padding:11px 12px; outline:none;
}
input:focus, textarea:focus { border-color:var(--phosphor); box-shadow:0 0 0 1px rgba(111,255,126,.15); }
label { color:var(--muted); text-transform:uppercase; letter-spacing:.05em; font-size:9px; }

@media (prefers-reduced-motion: reduce) {
  * { scroll-behavior:auto !important; animation:none !important; }
}
@media (max-width: 980px) {
  .nav-links { display:none; position:absolute; left:0; right:0; top:68px; background:#030604; border-bottom:1px solid var(--line-strong); padding:20px 24px; flex-direction:column; align-items:flex-start; }
  .nav-links.open { display:flex; }
  .nav-toggle { display:block; }
  .hero-grid, .arch-preview, .split { grid-template-columns:1fr; }
  .hero-grid { gap:42px; }
  .cards { grid-template-columns:1fr; }
  .signal-grid { grid-template-columns:1fr 1fr; }
  .signal-item:nth-child(2) { border-right:0; }
  .signal-item:nth-child(-n+2) { border-bottom:1px solid var(--line); }
  .loop { grid-template-columns:1fr; }
  .loop-step::after { content:"v"; right:auto; left:50%; top:auto; bottom:-18px; transform:translateX(-50%); }
  .research-grid, .partner-grid { grid-template-columns:1fr; }
  .cta { grid-template-columns:1fr; }
  .site-header::after { display:none; }
}
@media (max-width: 640px) {
  section { padding:68px 0; }
  .hero { padding-top:62px; }
  .container, .nav { padding-left:17px; padding-right:17px; }
  .signal-grid { grid-template-columns:1fr; }
  .signal-item { border-right:0; border-bottom:1px solid var(--line); }
  .signal-item:last-child { border-bottom:0; }
  .layer { grid-template-columns:1fr; gap:6px; }
  .footer-grid { grid-template-columns:1fr; }
  .cta { padding:27px; }
  .brand-mark {
  width: 44px !important; height: 44px !important; flex: 0 0 44px !important;
  display: block; object-fit: contain; object-position: center;
  filter: none; opacity: 1; background: none; border: 0; box-shadow: none; border-radius: 0;
}
  .brand-copy { display: grid; line-height: 1.06; font-size:14px; text-transform:uppercase; }
  h1 { font-size:clamp(37px,12vw,58px); }
}


/* Scientific dissemination / researcher profile layer */
.profile-panel { border:1px solid var(--line-strong); background:rgba(2,8,4,.80); box-shadow:var(--shadow); position:relative; z-index:2; }
.profile-head { padding:8px 12px; border-bottom:1px solid var(--line); color:rgba(111,255,126,.48); font-size:8px; letter-spacing:.12em; }
.profile-body { padding:22px; }
.profile-kicker { color:var(--phosphor); font-size:9px; text-transform:uppercase; letter-spacing:.12em; margin-bottom:9px; }
.profile-name { color:var(--white); font-size:clamp(22px,2.6vw,34px); line-height:1.15; font-weight:700; text-transform:uppercase; }
.profile-title { color:#a9c9ae; font-size:11px; margin-top:9px; text-transform:uppercase; }
.profile-lines { display:grid; margin-top:22px; border-top:1px solid var(--line); }
.profile-lines div { display:grid; grid-template-columns:84px 1fr; gap:12px; border-bottom:1px solid var(--line); padding:11px 0; align-items:start; }
.profile-lines span { color:var(--muted); font-size:8px; letter-spacing:.1em; }
.profile-lines b { color:#d6efd9; font-size:10px; line-height:1.45; font-weight:600; }
.phase-badge { margin-top:18px; padding:12px; border:1px solid rgba(255,176,0,.42); background:rgba(255,176,0,.025); }
.phase-badge span { display:block; color:var(--amber); font-size:8px; letter-spacing:.1em; }
.phase-badge b { display:block; color:#e9c573; margin-top:5px; font-size:11px; }
.phase-banner { border:1px solid rgba(255,176,0,.42); background:rgba(255,176,0,.025); padding:24px; }
.phase-banner > span { color:var(--amber); font-size:9px; letter-spacing:.12em; }
.phase-banner > b { display:block; color:var(--white); font-size:clamp(20px,3vw,34px); margin-top:8px; text-transform:uppercase; }
.phase-banner > p { color:#bfa66d; max-width:850px; font-size:12px; margin-top:13px; }
.research-trajectory .loop-step.current { border-color:rgba(255,176,0,.55); background:rgba(255,176,0,.035); box-shadow:inset 0 0 24px rgba(255,176,0,.025); }
.research-trajectory .loop-step.current small, .research-trajectory .loop-step.current b { color:var(--amber); }
.research-trajectory .loop-step.next { opacity:.68; border-style:dashed; }
@media (max-width: 980px) { .profile-lines div { grid-template-columns:74px 1fr; } }

/* Implementation roadmap */
.implementation-hero { padding-bottom:44px; }
.impl-chain { display:flex; align-items:center; flex-wrap:wrap; gap:8px; margin-top:28px; font-size:10px; letter-spacing:.08em; color:var(--muted); }
.impl-chain span { border:1px solid var(--line); padding:8px 10px; background:rgba(111,255,126,.01); }
.impl-chain span.active { color:var(--phosphor); border-color:var(--line-strong); background:rgba(111,255,126,.03); }
.impl-chain i { color:rgba(111,255,126,.45); font-style:normal; }
.compact-phase { padding:16px 18px; display:grid; grid-template-columns:auto 1fr; align-items:center; gap:8px 16px; border:1px solid var(--line-strong); background:rgba(111,255,126,.015); }
.compact-phase span { color:var(--phosphor); font-size:9px; letter-spacing:.12em; }
.compact-phase b { color:var(--white); font-size:13px; }
.compact-phase p { grid-column:2; color:var(--muted); font-size:10px; }
.math-contract-grid { display:grid; grid-template-columns:repeat(3,1fr); gap:10px; margin-top:26px; }
.math-contract { border:1px solid var(--line); padding:17px; min-height:142px; display:grid; align-content:start; gap:10px; background:rgba(111,255,126,.01); }
.math-contract small { color:var(--phosphor); font-size:8px; letter-spacing:.12em; }
.math-contract code { color:var(--white); font-size:13px; overflow-wrap:anywhere; }
.math-contract span { color:var(--muted); font-size:10px; }
.source-line { margin-top:12px; color:rgba(126,170,132,.72); font-size:8px; letter-spacing:.04em; text-transform:uppercase; }
.source-line::before { content:"REF> "; color:var(--phosphor); }
.stage-section { padding-top:72px; border-top:1px solid rgba(111,255,126,.10); }
.stage-two { background:linear-gradient(180deg,rgba(255,176,0,.015),transparent 45%); }
.stage-head { display:flex; justify-content:space-between; gap:26px; align-items:end; }
.stage-status { border:1px solid var(--line); padding:8px 10px; font-size:9px; letter-spacing:.1em; white-space:nowrap; }
.stage-status.active { color:var(--phosphor); border-color:var(--line-strong); }
.stage-status.planned { color:var(--amber); border-color:rgba(255,176,0,.38); }
.substage-block { margin-top:28px; border-top:1px solid var(--line); padding-top:20px; }
.substage-title { display:grid; grid-template-columns:50px 1fr; gap:14px; align-items:start; margin-bottom:15px; }
.substage-title>span { color:var(--phosphor); font-size:12px; padding-top:2px; }
.substage-title b { color:var(--white); text-transform:uppercase; font-size:15px; }
.substage-title small { display:block; color:var(--muted); font-size:10px; margin-top:4px; }
.tech-table-wrap { width:100%; overflow-x:auto; border:1px solid var(--line); }
.tech-table { width:100%; border-collapse:collapse; min-width:780px; font-size:10px; background:rgba(111,255,126,.008); }
.tech-table th { text-align:left; color:var(--phosphor); font-size:8px; text-transform:uppercase; letter-spacing:.09em; padding:10px 12px; border-bottom:1px solid var(--line-strong); background:rgba(111,255,126,.025); }
.tech-table td { padding:11px 12px; border-bottom:1px solid rgba(111,255,126,.08); color:#a9c9ae; vertical-align:top; }
.tech-table tr:last-child td { border-bottom:0; }
.tech-table td:first-child { color:var(--white); }
.tech-table code { color:var(--phosphor); font-size:10px; }
.tech-table.compact td { padding-top:9px; padding-bottom:9px; }
.verification-grid { display:grid; grid-template-columns:repeat(4,1fr); gap:8px; }
.verify-item { border:1px solid var(--line); padding:15px; min-height:150px; background:rgba(111,255,126,.008); display:grid; align-content:start; gap:8px; }
.verify-item b { color:var(--white); font-size:10px; text-transform:uppercase; }
.verify-item code { color:var(--phosphor); font-size:11px; overflow-wrap:anywhere; }
.verify-item span { color:var(--muted); font-size:9px; }
.hw-map { display:grid; grid-template-columns:repeat(3,1fr); gap:8px; }
.hw-block { border:1px solid rgba(255,176,0,.22); padding:17px; min-height:142px; background:rgba(255,176,0,.012); display:grid; align-content:start; gap:8px; }
.hw-block small { color:var(--amber); font-size:8px; letter-spacing:.12em; }
.hw-block b { color:var(--white); text-transform:uppercase; font-size:11px; }
.hw-block span { color:var(--muted); font-size:9px; }
.hw-block code { color:var(--phosphor); }
.hardware-tests .verify-item { border-color:rgba(255,176,0,.20); }
@media(max-width:980px){
  .math-contract-grid{grid-template-columns:1fr 1fr}
  .verification-grid{grid-template-columns:1fr 1fr}
  .hw-map{grid-template-columns:1fr 1fr}
}
@media(max-width:640px){
  .math-contract-grid,.verification-grid,.hw-map{grid-template-columns:1fr}
  .stage-head{align-items:start;flex-direction:column}
  .compact-phase{grid-template-columns:1fr}
  .compact-phase p{grid-column:1}
}


/* Research library: compact direct access */
.research-library-head{padding:48px 0 26px;border-bottom:1px solid var(--line);background:rgba(111,255,126,.012)}
.research-library-head h1{font-size:clamp(34px,5vw,58px)}
.research-library-head .lead{margin-top:12px;max-width:760px;font-size:14px;line-height:1.55}
.research-controls{display:flex;gap:8px;align-items:center;flex-wrap:wrap;margin-top:22px}
.research-search{flex:1 1 330px;min-height:42px;background:#030604;color:var(--text);border:1px solid var(--line-strong);padding:0 13px;outline:none}
.research-search:focus{border-color:var(--phosphor);box-shadow:0 0 12px rgba(111,255,126,.08)}
.research-filter{min-height:42px;padding:0 11px;background:rgba(111,255,126,.012);color:var(--muted);border:1px solid var(--line);cursor:pointer;text-transform:uppercase;font-size:9px}
.research-filter.active{color:var(--phosphor);border-color:var(--phosphor);background:rgba(111,255,126,.035)}
.research-library-list{padding:22px 0 70px}
.research-library-row{display:grid;grid-template-columns:82px minmax(0,1fr) 150px;gap:18px;align-items:center;padding:17px 14px;border-bottom:1px solid var(--line);transition:.12s linear}
.research-library-row:first-child{border-top:1px solid var(--line)}
.research-library-row:hover{background:rgba(111,255,126,.025);border-color:var(--line-strong);color:inherit;text-shadow:none}
.research-library-id{font-size:10px;color:var(--phosphor);font-weight:700;letter-spacing:.08em}
.research-library-main h2{font-size:15px;line-height:1.35;text-transform:none;letter-spacing:0;margin:0}
.research-library-main p{font-size:10px;color:var(--muted);margin-top:5px;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}
.research-library-side{display:grid;justify-items:end;gap:5px;font-size:9px;color:var(--muted);text-transform:uppercase}
.research-library-side .status{font-size:7px}
.research-library-empty{display:none;padding:28px 14px;color:var(--muted);border-bottom:1px solid var(--line)}
@media(max-width:720px){
 .research-library-row{grid-template-columns:64px minmax(0,1fr);gap:12px}
 .research-library-side{grid-column:2;justify-items:start;display:flex;gap:9px;align-items:center}
 .research-library-main p{white-space:normal;display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical}
}

/* Type scale */
.card h3 { font-size: 20px; }
p, li, td, th { font-size: 15px; }
pre, code { font-size: 13px; }


/* formal mathematical notation */
.math-formal {
  overflow-x: auto;
  overflow-y: hidden;
}
.math-formal mjx-container[display="true"],
.equation-panel mjx-container[display="true"] {
  margin: .35em 0 !important;
}
.formula {
  white-space: nowrap;
}
.math-contract .formula {
  display: block;
  margin: 8px 0 9px;
  color: var(--white);
  min-height: 28px;
}
.verify-item .formula {
  display: block;
  margin: 7px 0 9px;
  color: var(--phosphor);
}
.tech-table .formula {
  color: var(--text);
}

/* Research evidence */
.evidence-grid{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:12px}
.evidence-card{border:1px solid var(--line-strong);background:rgba(111,255,126,.025);padding:14px 15px}
.evidence-card .k{display:block;font-size:12px;color:var(--muted);text-transform:uppercase;letter-spacing:.07em;margin-bottom:6px}
.evidence-card .v{display:block;font-size:17px;color:var(--text);line-height:1.25}
.compact-table{width:100%;border-collapse:collapse;font-size:14px}
.compact-table th,.compact-table td{border-bottom:1px solid var(--line);padding:9px 10px;text-align:left;vertical-align:top}
.compact-table th{color:var(--muted);font-weight:600}
.claim-note{border-left:3px solid var(--amber);padding:11px 14px;background:rgba(227,184,103,.04);color:var(--muted);margin:14px 0}
.dual-hierarchy{display:grid;grid-template-columns:1fr 1fr;gap:14px}
.hierarchy-panel{border:1px solid var(--line-strong);padding:16px;background:rgba(111,255,126,.02)}
.hierarchy-panel h3{margin:0 0 10px}.hierarchy-panel ol{margin:0;padding-left:20px}.hierarchy-panel li{margin:6px 0}
.paper-limit{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:10px}
.paper-limit>div{border:1px solid var(--line);padding:12px 13px}.paper-limit b{display:block;color:var(--phosphor);margin-bottom:4px}.paper-limit span{font-size:13px;color:var(--muted)}
@media(max-width:850px){.evidence-grid,.paper-limit{grid-template-columns:1fr 1fr}.dual-hierarchy{grid-template-columns:1fr}}
@media(max-width:560px){.evidence-grid,.paper-limit{grid-template-columns:1fr}}


/* Publication lineage */
.lineage-lead { margin-top:16px; font-size:14px; max-width:900px; }
.research-lineage { display:grid; grid-template-columns:repeat(6,1fr); gap:0; margin-top:34px; border:1px solid var(--line-strong); background:rgba(2,8,4,.64); }
.lineage-step { min-height:190px; padding:18px 15px; border-right:1px solid var(--line); position:relative; display:flex; flex-direction:column; gap:9px; }
.lineage-step:last-child { border-right:0; }
.lineage-step::after { content:">"; position:absolute; right:-6px; top:27px; z-index:2; padding:0 1px; background:var(--bg); color:var(--phosphor); font-size:11px; }
.lineage-step:last-child::after { display:none; }
.lineage-year { color:var(--phosphor); font-size:9px; letter-spacing:.1em; }
.lineage-step b { color:var(--white); text-transform:uppercase; font-size:12px; }
.lineage-step p { color:var(--muted); font-size:10px; line-height:1.55; }
.lineage-step.current { background:rgba(111,255,126,.035); box-shadow:inset 0 0 24px rgba(111,255,126,.025); }
.research-grid-biblio { align-items:stretch; }
.research-grid-biblio .research-card { scroll-margin-top:96px; }
.research-card-current { border-color:var(--line-strong); background:rgba(111,255,126,.025); }
.publication-meta { display:grid; gap:5px; padding-top:11px; border-top:1px solid var(--line); color:#91b597; font-size:9px; }
.publication-meta code { color:var(--phosphor); font-size:9px; white-space:normal; }
.paper-link { margin-top:auto; padding-top:4px; color:var(--phosphor); font-size:9px; text-transform:uppercase; letter-spacing:.06em; font-weight:700; }
.verified-note { border:1px solid rgba(111,255,126,.32); background:rgba(111,255,126,.018); padding:18px 20px; display:grid; grid-template-columns:auto 1fr; gap:18px; align-items:start; }
.verified-note span { color:var(--phosphor); font-size:9px; letter-spacing:.1em; white-space:nowrap; }
.verified-note p { color:var(--muted); font-size:11px; }
@media (max-width: 1100px) {
  .research-lineage { grid-template-columns:repeat(3,1fr); }
  .lineage-step:nth-child(3) { border-right:0; }
  .lineage-step:nth-child(-n+3) { border-bottom:1px solid var(--line); }
  .lineage-step:nth-child(3)::after { display:none; }
}
@media (max-width: 700px) {
  .research-lineage { grid-template-columns:1fr; }
  .lineage-step { min-height:auto; border-right:0; border-bottom:1px solid var(--line); }
  .lineage-step:last-child { border-bottom:0; }
  .lineage-step::after { content:"v"; right:auto; left:18px; top:auto; bottom:-9px; background:var(--bg); }
  .lineage-step:nth-child(3)::after { display:block; }
  .lineage-step:last-child::after { display:none; }
  .verified-note { grid-template-columns:1fr; gap:8px; }
}

/* Programme survivability layout */
.survivability-grid {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
  gap: 28px;
  align-items: start;
  margin-top: 34px;
}
.formula-stack {
  display: grid;
  gap: 18px;
}
.survivability-grid .equation-panel {
  margin-top: 0 !important;
  width: 100%;
  overflow: hidden;
}
.survivability-grid .equation small {
  font-size: 11px;
  line-height: 1.55;
}
.survivability-copy > p {
  font-size: 15px;
  line-height: 1.7;
}
@media (max-width: 900px) {
  .survivability-grid { grid-template-columns: 1fr; gap: 24px; }
}

/* MathJax containment for the survivability grid */
.survivability-grid > *,
.survivability-grid .formula-stack,
.survivability-grid .survivability-copy,
.survivability-grid .equation-panel,
.survivability-grid .equation,
.survivability-grid .math-formal {
  min-width: 0;
  max-width: 100%;
  box-sizing: border-box;
}
.survivability-grid .math-formal {
  overflow-x: auto;
  overflow-y: hidden;
  overscroll-behavior-inline: contain;
}
.survivability-grid .equation {
  font-size: clamp(18px, 1.75vw, 26px);
}
.survivability-grid mjx-container[display="true"] {
  max-width: 100%;
}
@media (max-width: 1120px) {
  .survivability-grid {
    grid-template-columns: 1fr;
    gap: 24px;
  }
}
@media (max-width: 640px) {
  .survivability-grid .equation-panel { padding: 22px 16px; }
  .survivability-grid .equation { font-size: clamp(16px, 5vw, 22px); }
}


/* Research library roadmap + controls */
.research-roadmap{margin-top:30px;padding-top:26px;border-top:1px solid var(--line)}
.research-roadmap-head{display:flex;align-items:end;justify-content:space-between;gap:22px}
.research-roadmap-head h2{font-size:24px;margin-top:8px;text-transform:none;letter-spacing:-.015em}
.roadmap-legend{display:flex;gap:14px;flex-wrap:wrap;color:var(--muted);font-size:9px;text-transform:uppercase;white-space:nowrap}
.roadmap-legend span{display:flex;gap:6px;align-items:center}
.roadmap-dot{width:7px;height:7px;border-radius:50%;display:inline-block;border:1px solid var(--line-strong)}
.roadmap-dot.covered{background:var(--phosphor);border-color:var(--phosphor)}
.roadmap-dot.partial{background:var(--amber);border-color:var(--amber)}
.roadmap-dot.open{background:transparent;border-color:var(--muted)}
.roadmap-note{margin-top:12px;color:var(--muted);font-size:10px;max-width:830px}
.roadmap-track{display:grid;grid-template-columns:repeat(7,minmax(150px,1fr));gap:8px;margin-top:18px;overflow-x:auto;padding-bottom:5px}
.roadmap-step{position:relative;min-height:172px;padding:14px 13px;border:1px solid var(--line);background:rgba(111,255,126,.01);display:flex;flex-direction:column}
.roadmap-step::before{content:"";position:absolute;left:-1px;right:-1px;top:-1px;height:2px;background:var(--muted);opacity:.35}
.roadmap-step.covered::before{background:var(--phosphor);opacity:1}
.roadmap-step.partial::before{background:var(--amber);opacity:1}
.roadmap-step.open::before{background:var(--muted);opacity:.5}
.roadmap-step>span{font-size:9px;color:var(--muted)}
.roadmap-step.covered>span{color:var(--phosphor)}
.roadmap-step.partial>span{color:var(--amber)}
.roadmap-step b{display:block;margin-top:9px;font-size:12px;color:var(--text);line-height:1.3}
.roadmap-step p{margin-top:8px;font-size:9px;color:var(--muted);line-height:1.45}
.roadmap-step small{display:block;margin-top:auto;padding-top:10px;font-size:8px;color:var(--muted);letter-spacing:.06em}
.roadmap-step.covered small{color:var(--phosphor)}
.roadmap-step.partial small{color:var(--amber)}
.research-result-count{margin-left:auto;color:var(--muted);font-size:9px;text-transform:uppercase;min-width:72px;text-align:right}
.research-external{color:var(--phosphor);font-size:8px;letter-spacing:.04em}
.research-library-row[hidden]{display:none!important}
@media(max-width:800px){
  .research-roadmap-head{display:block}.roadmap-legend{margin-top:12px}.roadmap-track{grid-template-columns:repeat(7,190px)}
  .research-result-count{width:100%;margin-left:0;text-align:left}
}