:root {
  --graphite: #151619;
  --graphite-2: #1c1d22;
  --graphite-3: #24252b;
  --ink: #111217;
  --offwhite: #f2f0ea;
  --paper: #f5f3ee;
  --muted: #aaa7b2;
  --muted-dark: #66636e;
  --purple: #2d164c;
  --purple-2: #3b1c66;
  --purple-line: #6b45a0;
  --purple-section: #2f0c4f;
  --yellow: #f4d34d;
  --yellow-soft: #3a3316;
  --green: #6fd39d;
  --red: #e27575;
  --line: rgba(255,255,255,.09);
  --line-dark: rgba(17,18,23,.12);
  --max: 1420px;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  background: var(--graphite);
  color: var(--offwhite);
  font-family: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif;
  -webkit-font-smoothing: antialiased;
}
body::selection { background: var(--yellow); color: var(--ink); }
a { color: inherit; text-decoration: none; }
button, a { -webkit-tap-highlight-color: transparent; }
.site-shell { min-height: 100vh; overflow: hidden; }

.site-header {
  position: sticky;
  top: 0;
  z-index: 20;
  height: 76px;
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  gap: 28px;
  max-width: var(--max);
  margin: 0 auto;
  padding: 0 32px;
  border-bottom: 1px solid var(--line);
  background: rgba(21,22,25,.92);
  backdrop-filter: blur(18px);
}
.wordmark {
  font-family: "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;
  font-weight: 600;
  letter-spacing: .04em;
  font-size: 16px;
}
.nav { display: flex; gap: 30px; font-size: 16px; color: #e6e3e8; }
.nav a:hover { color: white; }
.header-cta {
  justify-self: end;
  border: 1px solid var(--purple-line);
  border-radius: 7px;
  padding: 10px 14px;
  font-size: 15px;
  background: #19151f;
}
.nav-toggle { display:none; }
.mobile-nav { display:none; }

section { padding-left: 32px; padding-right: 32px; }
.section-dark { background: var(--graphite); }
.section-light { background: var(--purple-section); color: var(--offwhite); }
.ruled-top { border-top: 1px solid var(--line); }

.hero {
  min-height: calc(100vh - 76px);
  display: grid;
  grid-template-columns: minmax(0, 1.08fr) minmax(480px, .92fr);
  align-items: center;
  gap: clamp(64px, 8vw, 150px);
  max-width: var(--max);
  margin: 0 auto;
  padding-top: 110px;
  padding-bottom: 130px;
}
.eyebrow {
  margin: 0 0 26px;
  color: var(--offwhite);
  font-family: "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;
  font-size: 16px;
  letter-spacing: .095em;
  text-transform: uppercase;
}
.eyebrow.dark { color: var(--offwhite); }
.hero h1 {
  margin: 0;
  font-size: clamp(58px, 6vw, 98px);
  line-height: .99;
  letter-spacing: -.055em;
  font-weight: 400;
  max-width: 860px;
}
.hero h1 span { color: var(--purple-line); font-weight: 400; }
.lede {
  max-width: 650px;
  margin: 36px 0 0;
  font-size: clamp(18px, 1.6vw, 23px);
  line-height: 1.55;
  color: #d2cfd6;
}
.actions { display: flex; flex-wrap: wrap; gap: 14px; margin-top: 44px; }
.btn {
  min-height: 50px;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 18px;
  border-radius: 7px;
  padding: 0 20px;
  font-size: 16px;
  font-weight: 500;
}
.btn-primary { background: var(--yellow); color: #15130b; }
.btn-secondary { border: 1px solid #66616d; color: white; background: transparent; }
.btn:hover { transform: translateY(-1px); }

.terminal {
  background: #111216;
  border: 1px solid #34343d;
  border-radius: 11px;
  overflow: hidden;
  box-shadow: 0 20px 55px rgba(0,0,0,.18);
}
.hero-terminal { align-self: center; }
.terminal-bar {
  height: 48px;
  display:flex;
  align-items:center;
  justify-content:space-between;
  gap:16px;
  padding: 0 16px;
  border-bottom: 1px solid #282a30;
  color:#e0dde3;
  font-family:"SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;
  font-size:14px;
}
.terminal-dots { display:flex; gap:6px; }
.terminal-dots span { width:8px; height:8px; border-radius:50%; display:block; background:#595a60; }
.terminal-dots span:nth-child(1){ background:#db6d62; }
.terminal-dots span:nth-child(2){ background:#d7b64b; }
.terminal-dots span:nth-child(3){ background:#65b88d; }
.terminal-body { padding: 28px 28px 30px; font-family:"SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace; font-size:16px; }
.command { margin-bottom:26px; color:#e5e2e8; }
.trace-list { list-style:none; margin:0; padding:0; display:grid; gap:14px; color:#d4d1d7; }
.trace-list li { display:grid; grid-template-columns:24px 1fr; gap:12px; line-height:1.5; }
.trace-list li span { color:#aaa7b2; }
.trace-list.muted { opacity:.45; transition:opacity .35s ease; }
.trace-list.muted.active { opacity:1; }
.terminal-rule { height:1px; background:#292a2f; margin:26px 0; }
.state-grid { margin:0; display:grid; gap:13px; }
.state-grid > div { display:grid; grid-template-columns:170px 1fr; gap:22px; align-items:center; }
.state-grid dt { color:#bdb9c3; }
.state-grid dd { margin:0; color:#e3e1e6; }
.state-grid.compact { margin-top:20px; }
.state { display:inline-block; padding:4px 8px; border-radius:4px; font-weight:600; background:none; }
.state.unknown { color:var(--yellow); border:1px solid #8e791c; background:rgba(244,211,77,.06); }
.text-unknown { color: var(--yellow); }
.text-satisfied, .satisfied { color: var(--green); }

.story {
  max-width: var(--max);
  margin: 0 auto;
  padding-top: 170px;
  padding-bottom: 190px;
}
.story-intro { max-width:760px; margin-bottom:90px; }
.story h2, .section-heading h2, .boundary h2, .evaluate h2, .trust h2, .proof-number strong {
  margin:0;
  font-size:clamp(46px,4.25vw,68px);
  line-height:1.04;
  letter-spacing:-.04em;
  font-weight:400;
}
.story-intro > p:last-child, .section-heading > p:last-child, .boundary-copy > p:last-child, .evaluate-copy > p:last-child {
  margin:28px 0 0;
  max-width:710px;
  color:#d0ccd4;
  font-size:19px;
  line-height:1.65;
}
.story-layout { display:grid; grid-template-columns:.72fr 1.28fr; gap:110px; align-items:start; }
.story-steps { list-style:none; padding:0; margin:20px 0 0; display:grid; gap:0; }
.story-steps li { position:relative; display:grid; grid-template-columns:54px 1fr; gap:22px; padding:0 0 42px; color:#c9c5ce; }
.story-steps li:not(:last-child)::after { content:""; position:absolute; left:18px; top:38px; bottom:4px; width:1px; background:#3a3940; }
.step-index { width:38px; height:38px; display:grid; place-items:center; border:1px solid #55525e; border-radius:50%; font-family:"SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace; font-size:14px; }
.story-steps li.active .step-index { border-color:var(--yellow); color:var(--yellow); }
.story-steps strong { display:block; color:#f1eef3; font-family:"SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace; font-size:16px; margin:4px 0 6px; }
.story-steps p { margin:0; font-size:18px; line-height:1.55; }
.interactive-stack { display:grid; gap:26px; }
.engine-note { margin:0 0 10px; color:var(--offwhite); font-family:"SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace; font-size:15px; line-height:1.5; letter-spacing:.045em; }
.live-playground-link { display:inline-flex; align-items:center; gap:10px; margin:0 0 22px; color:var(--yellow); font-size:16px; line-height:1.4; font-weight:500; }
.live-playground-link:hover { color:#ffe47a; }
.terminal-live { font-family:"SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace; font-size:14px; letter-spacing:.07em; color:#cfcbd4; }
.interactive-terminal { box-shadow:none; }
.terminal-run { appearance:none; border:1px solid #4a4654; background:#1d1a23; color:#dedbe1; border-radius:6px; padding:8px 11px; font-family:"SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace; font-size:14px; cursor:pointer; }
.terminal-run:hover { border-color:#736783; }
.terminal-run:disabled { opacity:.42; cursor:not-allowed; border-color:#3c3943; }
.result-box { display:flex; flex-direction:column; gap:8px; margin:18px 0 0; padding:15px 16px; border-radius:6px; opacity:.42; transition:.35s ease; }
.result-box strong { font-size:16px; }
.result-box span { color:#d0ccd4; font-size:15px; line-height:1.5; }
.result-box.active { opacity:1; }
.result-red { border:1px solid #6e3b3b; background:#261819; color:var(--red); }
.result-green { border:1px solid #315943; background:#142019; color:var(--green); }
.stack-connector { text-align:center; color:#6e6977; font-size:21px; }

.model {
  padding-top: 150px;
  padding-bottom: 160px;
}
.model > * { max-width: var(--max); margin-left:auto; margin-right:auto; }
.section-heading { max-width:900px; }
.section-heading > p:last-child { color:#c6bbcf; }
.flow { margin-top:90px; display:grid; grid-template-columns:repeat(9, auto); align-items:center; justify-content:space-between; gap:14px; }
.flow div { min-height:74px; min-width:126px; display:grid; place-items:center; border:1px solid rgba(255,255,255,.24); border-radius:7px; padding:15px; text-align:center; font-family:"SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace; font-size:15px; }
.flow span { color:#f0edf2; }
.flow .flow-final { background:#171019; color:#eadfff; border-color:#7950a3; }

.truth-states { padding-top:165px; padding-bottom:175px; }
.truth-states > * { max-width:var(--max); margin-left:auto; margin-right:auto; }
.section-heading.narrow { max-width:600px; }
.truth-grid { margin-top:85px; display:grid; grid-template-columns:1fr 1fr 1.15fr; gap:0; border-top:1px solid var(--line); border-bottom:1px solid var(--line); }
.truth-grid article { min-height:260px; padding:42px 38px; border-right:1px solid var(--line); display:flex; flex-direction:column; justify-content:center; }
.truth-grid article:last-child { border-right:0; }
.state-label { margin:0 0 22px; font-family:"SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace; font-size:18px; font-weight:600; }
.truth-grid article p:not(.state-label) { margin:0; max-width:390px; color:#d0ccd4; line-height:1.65; font-size:18px; }
.truth-grid small { margin-top:20px; color:var(--offwhite); font-family:"SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace; font-size:15px; line-height:1.5; }
.unknown-panel { background:rgba(244,211,77,.028); }
.unknown-text { color:var(--yellow); }

.boundary { padding-top:170px; padding-bottom:180px; display:grid; grid-template-columns:1fr .8fr; align-items:center; gap:130px; }
.boundary > * { max-width:680px; }
.boundary { max-width:none; }
.boundary-copy { margin-left:max(0px, calc((100vw - var(--max))/2)); }
.boundary-copy > p:last-child { color:#c6bbcf; }
.boundary-diagram { width:min(100%,600px); justify-self:end; margin-right:max(0px, calc((100vw - var(--max))/2)); display:grid; gap:16px; justify-items:center; color:var(--offwhite); }
.diagram-node { width:100%; min-height:66px; display:grid; place-items:center; border:1px solid rgba(255,255,255,.24); border-radius:7px; padding:14px; font-family:"SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace; text-align:center; font-size:15px; }
.diagram-node small { font-size:14px; color:#e0dbe5; }
.diagram-node.truth-node { background:#171019; border-color:#7950a3; color:#eadfff; font-size:15px; }

.proof { max-width:var(--max); margin:0 auto; padding-top:105px; padding-bottom:105px; display:grid; grid-template-columns:1fr .9fr .45fr; gap:64px; align-items:center; }
.proof-number strong { display:block; }
.proof-copy { border-left:1px solid var(--line); padding-left:50px; }
.proof-copy p { margin:7px 0; color:#d0ccd4; font-size:18px; }
.proof-counter { border-left:1px solid var(--line); padding-left:50px; }
.proof-counter span { display:block; color:var(--offwhite); font-family:"SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace; font-size:14px; }
.proof-counter strong { display:block; margin-top:10px; font-size:72px; font-weight:500; }

.evaluate { padding-top:170px; padding-bottom:180px; display:grid; grid-template-columns:.95fr 1.05fr; gap:110px; align-items:center; }
.evaluate > *:first-child { margin-left:max(0px, calc((100vw - var(--max))/2)); max-width:720px; }
.evaluate > *:last-child { margin-right:max(0px, calc((100vw - var(--max))/2)); }
.evaluate-copy > p:last-child { color:#c6bbcf; }
.evaluate-actions { display:grid; grid-template-columns:1fr 1fr; gap:18px; }
.evaluation-card { min-height:170px; border:1px solid rgba(255,255,255,.24); border-radius:8px; padding:28px; display:grid; grid-template-columns:auto 1fr auto; align-items:start; gap:18px; transition:.2s ease; }
.evaluation-card:hover { border-color:#9b7fba; transform:translateY(-2px); }
.eval-icon { width:36px; height:36px; border:1px solid #9b7fba; border-radius:6px; display:grid; place-items:center; color:#d7bdf0; font-family:"SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace; }
.evaluation-card strong { display:block; margin:1px 0 9px; font-size:17px; font-weight:500; }
.evaluation-card small { display:block; color:#f0edf2; line-height:1.55; font-size:15px; }
.evaluation-card b { font-size:18px; font-weight:500; color:#c2b0d1; }

.trust { padding-top:135px; padding-bottom:145px; }
.trust > * { max-width:var(--max); margin-left:auto; margin-right:auto; }
.trust .section-heading { max-width:880px; }
.limits { margin-top:80px; display:grid; grid-template-columns:repeat(3,1fr); border-top:1px solid var(--line); }
.limits span { padding:26px 14px 26px 0; border-bottom:1px solid var(--line); color:#e5e2e8; font-family:"SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace; font-size:15px; }
.text-link { display:inline-block; margin-top:42px; color:var(--yellow); font-size:16px; }

.site-footer { min-height:120px; display:flex; align-items:center; justify-content:space-between; gap:30px; max-width:var(--max); margin:0 auto; padding:0 32px; border-top:1px solid var(--line); color:#c9c6ce; font-family:"SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace; font-size:14px; }

.reveal { opacity:0; transform:translateY(18px); transition:opacity .7s ease, transform .7s ease; }
.reveal.visible { opacity:1; transform:none; }

@media (max-width: 1050px) {
  .nav, .header-cta { display:none; }
  .site-header { grid-template-columns:1fr auto; }
  .nav-toggle { display:block; appearance:none; border:1px solid #494651; background:transparent; color:#ddd9df; border-radius:6px; padding:8px 10px; font-size:15px; }
  .mobile-nav { position:absolute; top:65px; left:20px; right:20px; display:none; padding:14px; background:#18191d; border:1px solid #33343b; border-radius:8px; box-shadow:0 18px 50px rgba(0,0,0,.28); }
  .mobile-nav.open { display:grid; }
  .mobile-nav a { padding:12px 10px; color:#f0edf2; font-size:16px; border-bottom:1px solid var(--line); }
  .mobile-nav a:last-child { border-bottom:0; color:var(--yellow); }
  .hero { grid-template-columns:1fr; min-height:auto; padding-top:100px; padding-bottom:110px; }
  .hero-terminal { max-width:760px; }
  .story-layout { grid-template-columns:1fr; gap:70px; }
  .story-steps { max-width:650px; }
  .flow { grid-template-columns:1fr; justify-items:stretch; }
  .flow span { transform:rotate(90deg); justify-self:center; }
  .truth-grid { grid-template-columns:1fr; }
  .truth-grid article { border-right:0; border-bottom:1px solid var(--line); min-height:auto; }
  .truth-grid article:last-child { border-bottom:0; }
  .boundary, .evaluate { grid-template-columns:1fr; gap:80px; }
  .boundary-copy, .evaluate > *:first-child { margin-left:0; }
  .boundary-diagram, .evaluate > *:last-child { justify-self:stretch; margin-right:0; width:100%; max-width:none; }
  .proof { grid-template-columns:1fr; gap:48px; }
  .proof-copy, .proof-counter { border-left:0; border-top:1px solid var(--line); padding:34px 0 0; }
  .evaluate-actions { grid-template-columns:1fr 1fr; }
}

@media (max-width: 680px) {
  .site-header { height:66px; padding:0 20px; }
  section { padding-left:20px; padding-right:20px; }
  .hero { padding-top:72px; padding-bottom:86px; }
  .hero h1 { font-size:48px; }
  .lede { font-size:17px; }
  .actions { flex-direction:column; align-items:stretch; }
  .btn { width:100%; }
  .terminal-body { padding:22px 18px; font-size:15px; }
  .state-grid > div { grid-template-columns:130px 1fr; gap:10px; }
  .story { padding-top:110px; padding-bottom:120px; }
  .story h2, .section-heading h2, .boundary h2, .evaluate h2, .trust h2, .proof-number strong { font-size:42px; }
  .model, .truth-states, .boundary, .evaluate, .trust { padding-top:110px; padding-bottom:120px; }
  .truth-grid { margin-top:55px; }
  .truth-grid article { padding:32px 18px; }
  .flow { margin-top:58px; }
  .evaluate-actions { grid-template-columns:1fr; }
  .limits { grid-template-columns:1fr; }
  .proof { padding-top:82px; padding-bottom:88px; }
  .site-footer { min-height:140px; padding:30px 20px; flex-direction:column; align-items:flex-start; justify-content:center; }
}

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior:auto; }
  *, *::before, *::after { transition:none !important; animation:none !important; }
  .reveal { opacity:1; transform:none; }
}