:root {
  --ink: #101820;
  --paper: #f4f0e6;
  --paper-2: #e9e3d5;
  --white: #fffdf8;
  --signal: #ff5c35;
  --mint: #51d6ad;
  --blue: #173b57;
  --muted: #65717a;
  --line: rgba(16, 24, 32, 0.16);
  --mono: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
  --sans: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  color: var(--ink);
  background: var(--paper);
  font-family: var(--sans);
  -webkit-font-smoothing: antialiased;
}

a { color: inherit; }
.noise {
  position: fixed;
  inset: 0;
  pointer-events: none;
  z-index: 20;
  opacity: .032;
  background-image: url("data:image/svg+xml,%3Csvg viewBox='0 0 180 180' 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='.8'/%3E%3C/svg%3E");
}

.shell { width: min(1180px, calc(100% - 48px)); margin: 0 auto; }
.site-header {
  min-height: 84px;
  padding: 0 max(24px, calc((100% - 1180px) / 2));
  display: flex;
  align-items: center;
  justify-content: space-between;
  border-bottom: 1px solid var(--line);
  background: rgba(244, 240, 230, .9);
  backdrop-filter: blur(14px);
  position: sticky;
  top: 0;
  z-index: 10;
}

.brand { display: flex; align-items: center; gap: 12px; text-decoration: none; }
.brand-mark {
  width: 42px; height: 42px; display: grid; place-items: center;
  background: var(--ink); color: var(--paper); border-radius: 50%;
  font: 800 20px/1 var(--mono);
}
.brand strong { display: block; font-size: 17px; letter-spacing: .12em; }
.brand small { display: block; margin-top: 2px; color: var(--muted); font-size: 10px; letter-spacing: .05em; }
nav { display: flex; align-items: center; gap: 30px; }
nav a, .header-cta { font-size: 13px; font-weight: 700; text-decoration: none; }
nav a:hover { color: var(--signal); }
.header-cta { border-bottom: 2px solid var(--signal); padding: 10px 0 8px; }

.hero {
  min-height: 700px;
  display: grid;
  grid-template-columns: 1.05fr .95fr;
  gap: 70px;
  align-items: center;
  padding-top: 92px;
  padding-bottom: 92px;
}
.eyebrow { margin: 0 0 22px; display: flex; align-items: center; gap: 10px; color: var(--blue); font: 700 11px/1.4 var(--mono); text-transform: uppercase; letter-spacing: .12em; }
.eyebrow span { display: block; width: 28px; height: 2px; background: var(--signal); }
.eyebrow.light { color: #aebcc6; }
.hero h1, .section h2, .lab-heading h2, .research-grid h2, .cta-section h2 {
  margin: 0;
  font-size: clamp(48px, 6.2vw, 84px);
  line-height: .96;
  letter-spacing: -.058em;
  max-width: 820px;
}
.hero h1 em { color: var(--signal); font-style: normal; }
.hero-lead { max-width: 680px; margin: 30px 0 0; color: #43515b; font-size: 18px; line-height: 1.7; }
.hero-actions { display: flex; gap: 12px; flex-wrap: wrap; margin-top: 34px; }
.button {
  min-height: 50px; padding: 0 22px; display: inline-flex; align-items: center; justify-content: center;
  text-decoration: none; border: 1px solid var(--ink); font-size: 13px; font-weight: 800;
}
.button.primary { background: var(--ink); color: var(--white); }
.button.primary:hover { background: var(--signal); border-color: var(--signal); }
.button.secondary:hover { background: var(--white); }
.hero-proof { display: grid; grid-template-columns: repeat(3, 1fr); margin-top: 50px; border-top: 1px solid var(--line); }
.hero-proof div { padding: 22px 18px 0 0; }
.hero-proof strong { display: block; font: 700 28px/1 var(--mono); }
.hero-proof span { display: block; margin-top: 7px; color: var(--muted); font-size: 11px; line-height: 1.35; }

.hero-console { background: var(--ink); color: var(--white); box-shadow: 24px 24px 0 var(--paper-2); }
.console-bar { min-height: 50px; padding: 0 18px; display: flex; align-items: center; border-bottom: 1px solid rgba(255,255,255,.12); gap: 7px; }
.console-bar span { width: 8px; height: 8px; border: 1px solid #87939a; border-radius: 50%; }
.console-bar code { margin-left: auto; color: #87939a; font-size: 10px; }
.trace { padding: 30px; }
.trace-node { display: grid; grid-template-columns: 34px 1fr auto; gap: 13px; align-items: center; border: 1px solid rgba(255,255,255,.14); padding: 16px; }
.trace-node > span { font: 12px var(--mono); color: #80909a; }
.trace-node small { display: block; font: 9px var(--mono); color: #80909a; margin-bottom: 4px; }
.trace-node strong { font-size: 13px; }
.trace-node b { font: 700 9px var(--mono); color: var(--mint); }
.trace-node.warn b { color: #ff8364; }
.trace i { display: block; height: 23px; width: 1px; background: rgba(255,255,255,.22); margin-left: 33px; }
.certificate { margin: 0 30px 30px; padding: 18px; background: rgba(81,214,173,.08); border-left: 3px solid var(--mint); }
.certificate small, .certificate code, .certificate span { display: block; font-family: var(--mono); }
.certificate small { color: var(--mint); font-size: 9px; letter-spacing: .12em; }
.certificate code { margin: 12px 0; font-size: 12px; }
.certificate span { color: #80909a; font-size: 10px; }

.problem-strip { background: var(--signal); color: var(--ink); }
.problem-grid { display: grid; grid-template-columns: repeat(3, 1fr); }
.problem-grid p { margin: 0; min-height: 170px; padding: 34px; display: flex; align-items: flex-end; border-left: 1px solid rgba(16,24,32,.25); font-size: 18px; font-weight: 700; line-height: 1.35; }
.problem-grid p:last-child { border-right: 1px solid rgba(16,24,32,.25); }
.problem-grid .accent { background: var(--ink); color: var(--white); }

.acronym-section { padding-top: 125px; padding-bottom: 125px; }
.acronym-heading { display: grid; grid-template-columns: 1.15fr .85fr; gap: 65px; align-items: end; }
.acronym-heading .eyebrow { grid-column: 1 / -1; margin-bottom: -28px; }
.acronym-heading h2 { margin: 0; font-size: clamp(40px, 5vw, 66px); line-height: .98; letter-spacing: -.052em; }
.acronym-heading > p:last-child { margin: 0; max-width: 520px; color: var(--muted); font-size: 16px; line-height: 1.7; }
.acronym-grid { display: grid; grid-template-columns: repeat(4, 1fr); margin-top: 65px; border-top: 1px solid var(--line); }
.acronym-grid article { min-height: 245px; padding: 26px 22px 20px 0; border-right: 1px solid var(--line); }
.acronym-grid article + article { padding-left: 22px; }
.acronym-grid strong { display: block; color: var(--signal); font: 700 38px/1 var(--mono); }
.acronym-grid h3 { margin: 57px 0 10px; font-size: 18px; }
.acronym-grid p { margin: 0; color: var(--muted); font-size: 13px; line-height: 1.6; }

.section { padding-top: 130px; padding-bottom: 130px; }
.section-heading { display: grid; grid-template-columns: 1fr 1fr; gap: 50px; align-items: end; margin-bottom: 65px; }
.section-heading .eyebrow { grid-column: 1 / -1; margin-bottom: -22px; }
.section-heading h2, .lab-heading h2, .research-grid h2, .cta-section h2 { font-size: clamp(40px, 5vw, 66px); }
.section-heading > p:last-child { color: var(--muted); font-size: 17px; line-height: 1.7; max-width: 520px; }
.method-grid { display: grid; grid-template-columns: repeat(4, 1fr); border-top: 1px solid var(--line); }
.method-grid article { min-height: 315px; padding: 28px 24px 20px 0; border-right: 1px solid var(--line); }
.method-grid article + article { padding-left: 24px; }
.method-grid span { color: var(--signal); font: 700 12px var(--mono); }
.method-grid h3 { margin: 80px 0 16px; font-size: 19px; }
.method-grid p { margin: 0; color: var(--muted); font-size: 14px; line-height: 1.65; }

.lab-section { padding: 120px 0; background: var(--blue); color: var(--white); }
.lab-heading { display: grid; grid-template-columns: 1.1fr .9fr; gap: 80px; align-items: end; margin-bottom: 50px; }
.lab-heading > p { margin: 0; color: #b6c4ce; font-size: 16px; line-height: 1.7; }
.lab-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 20px; }
.editor-card, .result-card { min-height: 610px; background: #0d273a; border: 1px solid rgba(255,255,255,.14); padding: 26px; }
.editor-card label { display: block; margin: 0 0 9px; color: #9db0bd; font: 700 10px var(--mono); text-transform: uppercase; letter-spacing: .1em; }
.editor-card select, .editor-card textarea {
  width: 100%; border: 1px solid rgba(255,255,255,.16); background: #081d2c; color: #eef4f2; border-radius: 0; font-family: var(--mono);
}
.editor-card select { height: 48px; padding: 0 12px; margin-bottom: 23px; }
.editor-card textarea { min-height: 330px; resize: vertical; padding: 18px; font-size: 12px; line-height: 1.65; }
.editor-card p { margin: 9px 0 18px; color: #7f96a5; font-size: 11px; }
.editor-card button { width: 100%; min-height: 52px; border: 0; background: var(--mint); color: var(--ink); font-weight: 900; cursor: pointer; }
.editor-card button:hover { background: var(--white); }
.editor-card button span { margin-left: 7px; }
.result-topline { display: flex; justify-content: space-between; color: #8da2b0; font: 700 9px var(--mono); letter-spacing: .12em; }
.verdict { margin-top: 38px; padding: 28px 0; border-top: 1px solid rgba(255,255,255,.15); border-bottom: 1px solid rgba(255,255,255,.15); }
.verdict small { display: block; color: #8298a7; font: 9px var(--mono); }
.verdict strong { display: block; margin-top: 10px; font: 700 clamp(25px, 3vw, 42px) var(--mono); }
.verdict p { color: #a8bac5; line-height: 1.55; }
.verdict.verified strong { color: var(--mint); }
.verdict.contradicted strong { color: #ff8364; }
.verdict.insufficient_evidence strong, .verdict.unverifiable strong { color: #f0c66b; }
.result-graph { display: flex; gap: 8px; flex-wrap: wrap; margin: 24px 0; min-height: 40px; }
.mini-node { border: 1px solid rgba(255,255,255,.16); padding: 9px 11px; font: 9px var(--mono); }
.mini-node::after { content: attr(data-status); display: block; color: var(--mint); margin-top: 5px; }
.mini-node.bad::after { color: #ff8364; }
.result-certificate { background: #071a28; padding: 18px; }
.result-certificate > span { color: #8198a7; font: 9px var(--mono); letter-spacing: .12em; }
.result-certificate pre { margin: 12px 0 0; white-space: pre-wrap; word-break: break-word; color: #d8e7e2; font: 11px/1.55 var(--mono); }
.lab-boundary { margin: 20px 0 0; color: #8fa4b2; font: 10px/1.5 var(--mono); }

.section-heading.compact { display: block; max-width: 830px; }
.status-grid { display: grid; grid-template-columns: repeat(4, 1fr); }
.status-grid article { min-height: 220px; padding: 26px; border: 1px solid var(--line); border-right: 0; }
.status-grid article:last-child { border-right: 1px solid var(--line); }
.status-grid strong { font: 700 12px var(--mono); }
.status-grid p { margin-top: 70px; color: var(--muted); font-size: 13px; line-height: 1.55; }
.status-grid .verified { border-top: 4px solid #24a57e; }
.status-grid .conditional { border-top: 4px solid #dd9d2b; }
.status-grid .contradicted { border-top: 4px solid var(--signal); }
.status-grid .insufficient { border-top: 4px solid #667887; }

.research-section { background: var(--ink); color: var(--white); padding: 125px 0; }
.research-grid { display: grid; grid-template-columns: .9fr 1.1fr; gap: 90px; }
.research-list article { display: grid; grid-template-columns: 44px 1fr; gap: 18px; padding: 25px 0; border-top: 1px solid rgba(255,255,255,.14); }
.research-list span { color: var(--signal); font: 700 11px var(--mono); }
.research-list h3 { margin: 0 0 8px; font-size: 18px; }
.research-list p { margin: 0; color: #9cabb4; font-size: 14px; line-height: 1.55; }
.research-journal-link {
  min-height: 54px;
  margin-top: 22px;
  padding: 0 18px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  border: 1px solid rgba(255,255,255,.2);
  color: var(--white);
  font-size: 12px;
  font-weight: 800;
  text-decoration: none;
}
.research-journal-link:hover { border-color: var(--mint); color: var(--mint); }
.research-journal-link span { color: var(--mint); font-size: 18px; }

.cta-section { padding-top: 140px; padding-bottom: 140px; text-align: center; }
.cta-section .eyebrow { justify-content: center; }
.cta-section h2 { margin: 0 auto; }
.cta-section > p:not(.eyebrow) { margin: 28px auto; max-width: 650px; color: var(--muted); line-height: 1.6; }
footer { padding: 46px 0; border-top: 1px solid var(--line); }
.footer-grid { display: grid; grid-template-columns: 1fr 1fr auto; align-items: end; gap: 30px; }
.footer-grid strong { letter-spacing: .15em; }
.footer-grid p { margin: 7px 0 0; color: var(--muted); font-size: 11px; }
.footer-grid a { font-size: 12px; font-weight: 800; }

@media (max-width: 900px) {
  .site-header nav { display: none; }
  .brand small { display: none; }
  .hero, .section-heading, .lab-heading, .lab-grid, .research-grid, .acronym-heading { grid-template-columns: 1fr; }
  .hero { gap: 60px; }
  .problem-grid, .method-grid, .status-grid, .acronym-grid { grid-template-columns: repeat(2, 1fr); }
  .acronym-grid article:nth-child(2) { border-right: 0; }
  .method-grid article:nth-child(2) { border-right: 0; }
  .lab-heading { gap: 25px; }
  .footer-grid { grid-template-columns: 1fr; }
}

@media (max-width: 600px) {
  .shell { width: min(100% - 28px, 1180px); }
  .site-header { min-height: 70px; padding: 0 14px; }
  .header-cta { font-size: 11px; }
  .hero { min-height: auto; padding-top: 70px; padding-bottom: 70px; }
  .hero h1 { font-size: 47px; }
  .hero-proof { grid-template-columns: 1fr; }
  .hero-proof div { display: grid; grid-template-columns: 42px 1fr; align-items: center; gap: 10px; }
  .hero-proof span { margin: 0; }
  .hero-console { box-shadow: 10px 10px 0 var(--paper-2); }
  .trace { padding: 18px; }
  .trace-node { grid-template-columns: 26px 1fr; }
  .trace-node b { grid-column: 2; }
  .certificate { margin: 0 18px 18px; }
  .problem-grid, .method-grid, .status-grid, .acronym-grid { grid-template-columns: 1fr; }
  .problem-grid p { min-height: 125px; border-right: 1px solid rgba(16,24,32,.25); }
  .method-grid article, .method-grid article + article { padding: 26px 0; min-height: 240px; border-right: 0; border-bottom: 1px solid var(--line); }
  .method-grid h3 { margin-top: 55px; }
  .acronym-section { padding-top: 85px; padding-bottom: 85px; }
  .acronym-heading .eyebrow { margin-bottom: 0; }
  .acronym-grid article, .acronym-grid article + article { min-height: 205px; padding: 24px 0; border-right: 0; border-bottom: 1px solid var(--line); }
  .acronym-grid h3 { margin-top: 40px; }
  .status-grid article, .status-grid article:last-child { border-right: 1px solid var(--line); }
  .section, .lab-section, .research-section, .cta-section { padding-top: 90px; padding-bottom: 90px; }
  .editor-card, .result-card { padding: 18px; }
}