:root {
  --paper: #0b101b;
  --paper-deep: #111827;
  --surface: #151e2f;
  --surface-2: #1b2639;
  --ink: #eef4ff;
  --muted: #9aa8bd;
  --soft: #61708a;
  --line: rgba(174, 193, 224, .15);
  --line-dark: rgba(174, 193, 224, .26);
  --navy: #243748;
  --blue: #8ab7ff;
  --blue-strong: #4c8dff;
  --blue-pale: rgba(76, 141, 255, .12);
  --teal: #74e2cb;
  --red: #f19aaa;
  --red-pale: rgba(241, 154, 170, .12);
  --green: #86e2a4;
  --green-pale: rgba(134, 226, 164, .12);
  --amber: #f0c47a;
  --amber-pale: rgba(240, 196, 122, .12);
  --white: #eef4ff;
  --shadow: 0 18px 42px rgba(0, 0, 0, .28);
  --shadow-strong: 0 25px 60px rgba(0, 0, 0, .38);
  --sans: "Noto Sans SC", "PingFang SC", "Hiragino Sans GB", "Microsoft YaHei", sans-serif;
  --serif: "Noto Serif SC", "Songti SC", "STSong", serif;
  --mono: "SFMono-Regular", "Cascadia Code", "Roboto Mono", Menlo, Consolas, monospace;
}

* { box-sizing: border-box; }

html { scroll-behavior: smooth; }

body {
  margin: 0;
  color: var(--ink);
  background: var(--paper);
  font-family: var(--sans);
  font-size: 16px;
  line-height: 1.6;
  -webkit-font-smoothing: antialiased;
}

button, a { font: inherit; }

a { color: inherit; text-decoration: none; }

button { border: 0; }

.skip-link {
  position: fixed;
  top: 10px;
  left: 12px;
  z-index: 20;
  padding: 8px 12px;
  color: var(--white);
  background: var(--navy);
  transform: translateY(-160%);
}

.skip-link:focus { transform: translateY(0); }

.site-shell { overflow: hidden; }

.topbar {
  position: sticky;
  top: 0;
  z-index: 10;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 24px;
  max-width: 1400px;
  min-height: 76px;
  margin: 0 auto;
  padding: 0 40px;
  border-bottom: 1px solid var(--line-dark);
  background: rgba(11, 16, 27, .88);
  backdrop-filter: blur(12px);
}

.brand-mark { display: flex; align-items: center; gap: 11px; min-width: max-content; }

.brand-symbol {
  display: grid;
  place-items: center;
  width: 32px;
  height: 32px;
  color: var(--white);
  background: var(--navy);
  font-family: var(--mono);
  font-size: 10px;
  font-weight: 700;
  letter-spacing: -.08em;
}

.brand-name { color: var(--ink); font-family: var(--mono); font-size: 11px; font-weight: 700; letter-spacing: .08em; }

.topnav { display: flex; align-items: center; gap: 26px; color: var(--muted); font-family: var(--mono); font-size: 10px; letter-spacing: .08em; }

.topnav a { transition: color .2s ease; }

.topnav a:hover, .topnav a:focus-visible { color: var(--blue); }

.top-status { display: flex; align-items: center; gap: 8px; color: var(--muted); font-size: 12px; white-space: nowrap; }

.status-dot { width: 7px; height: 7px; border-radius: 50%; background: var(--amber); box-shadow: 0 0 0 4px rgba(240, 196, 122, .15); }

.section-pad { max-width: 1400px; margin: 0 auto; padding: 112px 64px; }

.eyebrow, .diagram-kicker, .lane-code, .tool-label, .reference-heading .eyebrow, .principles-banner .eyebrow {
  margin: 0;
  color: var(--blue);
  font-family: var(--mono);
  font-size: 10px;
  font-weight: 700;
  letter-spacing: .16em;
  line-height: 1.2;
}

h1, h2, h3, h4, p { margin-top: 0; }

h1, h2 { letter-spacing: -.055em; line-height: 1.08; }

h1 { max-width: 720px; margin-bottom: 28px; font-size: clamp(48px, 7.1vw, 96px); font-weight: 700; }

h1 em, h2 em { color: var(--blue); font-family: var(--serif); font-style: normal; font-weight: 500; }

h2 { margin-bottom: 20px; font-size: clamp(36px, 4.5vw, 66px); font-weight: 700; }

h3 { line-height: 1.25; }

.hero {
  display: grid;
  grid-template-columns: minmax(0, .92fr) minmax(520px, 1.08fr);
  align-items: center;
  gap: clamp(58px, 7vw, 120px);
  min-height: 700px;
  padding-top: 100px;
  padding-bottom: 82px;
}

.hero-lede { max-width: 600px; margin-bottom: 34px; color: var(--muted); font-size: 17px; line-height: 1.9; text-wrap: pretty; }

.hero-actions { display: flex; flex-wrap: wrap; gap: 12px; margin-bottom: 42px; }

.button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 15px;
  min-height: 48px;
  padding: 0 18px;
  border: 1px solid var(--line-dark);
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: .03em;
  transition: transform .2s ease, background .2s ease, color .2s ease, border-color .2s ease;
}

.button span { font-size: 18px; line-height: 1; }

.button:hover, .button:focus-visible { transform: translateY(-2px); }

.button-primary { color: var(--white); border-color: var(--blue-strong); background: var(--blue-strong); box-shadow: 0 10px 26px rgba(76, 141, 255, .16); }

.button-primary:hover, .button-primary:focus-visible { background: var(--blue); border-color: var(--blue); color: var(--paper); }

.button-quiet { color: var(--blue); background: transparent; }

.button-quiet:hover, .button-quiet:focus-visible { color: var(--ink); border-color: var(--blue); }

.hero-note { display: grid; grid-template-columns: auto 1fr; gap: 5px 13px; max-width: 580px; padding-left: 14px; border-left: 2px solid var(--red); }

.note-label { grid-column: 1 / -1; color: var(--soft); font-family: var(--mono); font-size: 9px; letter-spacing: .12em; }

.hero-note strong { color: var(--red); font-size: 13px; }

.hero-note > span:last-child { color: var(--muted); font-size: 12px; }

.hero-visual { position: relative; min-height: 460px; padding: 24px; border: 1px solid var(--line-dark); background: var(--surface); box-shadow: var(--shadow-strong); }

.hero-visual::before, .hero-visual::after { position: absolute; content: ""; pointer-events: none; }

.hero-visual::before { inset: 12px; border: 1px solid var(--line); }

.hero-visual::after { top: -1px; right: 62px; width: 86px; height: 4px; background: var(--blue-strong); }

.hero-visual > * { position: relative; z-index: 1; }

.hero-visual-head { display: flex; justify-content: space-between; gap: 14px; padding: 4px 12px 20px; color: var(--soft); font-family: var(--mono); font-size: 9px; letter-spacing: .12em; }

.hero-flow { display: grid; grid-template-columns: 1fr 32px 1fr 32px 1fr; align-items: center; min-height: 230px; padding: 42px 22px 38px; border-top: 1px dashed var(--line-dark); border-bottom: 1px dashed var(--line-dark); }

.hero-flow-node { position: relative; display: flex; flex-direction: column; justify-content: center; min-height: 130px; padding: 20px 16px; border: 1px solid var(--navy); background: rgba(255, 255, 255, .03); }

.hero-flow-node::after { position: absolute; bottom: -1px; left: 0; width: 28px; height: 4px; content: ""; }

.source-node { border-color: var(--blue); }
.source-node::after { background: var(--blue); }
.evidence-node { border-color: var(--green); background: var(--green-pale); }
.evidence-node::after { background: var(--green); }
.draft-node { border-color: var(--red); background: var(--red-pale); }
.draft-node::after { background: var(--red); }

.node-index { margin-bottom: 9px; color: var(--soft); font-family: var(--mono); font-size: 9px; }

.hero-flow-node strong { font-family: var(--serif); font-size: 24px; font-weight: 600; }

.hero-flow-node small { margin-top: 3px; color: var(--muted); font-size: 11px; }

.hero-flow-arrow { color: var(--red); font-family: var(--serif); font-size: 25px; text-align: center; }

.hero-flow-footer { display: flex; align-items: center; gap: 13px; padding: 24px 16px 18px; color: var(--muted); font-family: var(--mono); font-size: 9px; letter-spacing: .06em; text-align: center; }

.hero-line { flex: 1; height: 1px; background: var(--line); }

.hero-rail { display: grid; grid-template-columns: repeat(3, 1fr); gap: 1px; margin: 0 16px 12px; border: 1px solid var(--line); background: var(--line); }

.hero-rail > div { display: flex; flex-direction: column; gap: 2px; padding: 12px 13px; background: var(--paper); }

.hero-rail span { color: var(--blue); font-family: var(--mono); font-size: 9px; font-weight: 700; letter-spacing: .12em; }

.hero-rail b { color: var(--ink); font-size: 11px; font-weight: 600; }

.proof-strip { display: grid; grid-template-columns: repeat(4, minmax(120px, 1fr)) minmax(190px, 1.45fr); gap: 1px; max-width: 1400px; margin: 0 auto; border-top: 1px solid var(--line-dark); border-bottom: 1px solid var(--line-dark); background: var(--line-dark); }

.proof-item, .proof-caption { display: flex; flex-direction: column; justify-content: center; min-height: 96px; padding: 15px 24px; background: var(--paper-deep); }

.proof-item strong { color: var(--red); font-family: var(--serif); font-size: 29px; font-weight: 600; line-height: 1; }

.proof-item span { margin-top: 8px; color: var(--muted); font-size: 11px; }

.proof-caption { align-items: flex-end; color: var(--soft); font-family: var(--mono); font-size: 10px; letter-spacing: .11em; text-align: right; }

.problem-section { display: grid; grid-template-columns: minmax(260px, .72fr) minmax(0, 1.28fr); gap: 82px; align-items: end; }

.section-intro { align-self: center; }

.section-intro > p:last-child { max-width: 360px; margin-bottom: 0; color: var(--muted); font-size: 15px; line-height: 1.9; }

.problem-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 12px; }

.problem-card { position: relative; min-height: 310px; padding: 24px 22px 20px; border-top: 3px solid var(--navy); background: var(--surface); box-shadow: var(--shadow); }

.problem-card::after { position: absolute; right: 22px; bottom: 20px; width: 22px; height: 1px; content: ""; background: var(--line-dark); }

.problem-card:nth-child(1) { border-color: var(--blue); }
.problem-card:nth-child(2) { border-color: var(--red); }
.problem-card:nth-child(3) { border-color: var(--green); }

.card-index { color: var(--soft); font-family: var(--mono); font-size: 9px; letter-spacing: .13em; }

.problem-card h3 { max-width: 200px; margin: 50px 0 15px; font-family: var(--serif); font-size: 22px; font-weight: 600; }

.problem-card p { margin-bottom: 40px; color: var(--muted); font-size: 12px; line-height: 1.75; }

.card-footer { color: var(--blue); font-family: var(--mono); font-size: 9px; letter-spacing: .05em; }

.architecture-section { padding-top: 95px; background: var(--paper-deep); }

.section-heading-row { display: flex; align-items: end; justify-content: space-between; gap: 60px; margin-bottom: 46px; }

.section-heading-copy { max-width: 445px; margin-bottom: 7px; color: var(--muted); font-size: 14px; line-height: 1.85; }

.view-switch { display: flex; align-items: stretch; gap: 10px; margin-bottom: 16px; }

.view-tab { display: grid; grid-template-columns: 33px 1fr; align-items: center; gap: 11px; min-width: 218px; padding: 11px 15px; border: 1px solid var(--line-dark); color: var(--muted); background: transparent; cursor: pointer; text-align: left; transition: background .2s ease, border-color .2s ease, color .2s ease, transform .2s ease; }

.view-tab:hover, .view-tab:focus-visible { border-color: var(--blue); color: var(--blue); transform: translateY(-2px); }

.view-tab.is-active { border-color: var(--blue-strong, var(--blue)); color: var(--white); background: var(--navy); }

.tab-number { display: grid; place-items: center; width: 29px; height: 29px; border: 1px solid currentColor; font-family: var(--mono); font-size: 9px; }

.view-tab strong, .view-tab small { display: block; }

.view-tab strong { font-size: 13px; font-weight: 600; }

.view-tab small { margin-top: 1px; font-family: var(--mono); font-size: 8px; letter-spacing: .12em; opacity: .7; }

.switch-hint { align-self: center; margin-left: auto; color: var(--soft); font-family: var(--mono); font-size: 9px; letter-spacing: .05em; }

.diagram-panel { border: 1px solid var(--line-dark); background: var(--surface); box-shadow: var(--shadow-strong); }

.diagram-panel[hidden] { display: none; }

.diagram-titlebar { display: flex; align-items: center; justify-content: space-between; gap: 20px; padding: 22px 26px 20px; border-bottom: 1px solid var(--line); }

.diagram-titlebar h3 { margin: 8px 0 0; font-family: var(--serif); font-size: clamp(21px, 3vw, 30px); font-weight: 600; }

.diagram-badge { padding: 5px 8px; border: 1px solid var(--amber); color: var(--amber); font-family: var(--mono); font-size: 9px; letter-spacing: .1em; white-space: nowrap; }

.design-diagram { display: grid; grid-template-columns: minmax(190px, 1fr) 94px minmax(220px, 1.15fr) 94px minmax(190px, 1fr); align-items: stretch; gap: 0; padding: 30px 26px 28px; }

.design-lane { min-height: 480px; padding: 20px; border: 1px solid var(--line-dark); }

.lane-client { border-color: rgba(138, 183, 255, .38); background: rgba(76, 141, 255, .08); }
.lane-gateway { border-color: rgba(241, 154, 170, .42); background: rgba(241, 154, 170, .07); }
.lane-knowledge { border-color: rgba(134, 226, 164, .36); background: rgba(134, 226, 164, .07); }

.lane-header { padding-bottom: 17px; border-bottom: 1px solid var(--line-dark); }

.lane-client .lane-code { color: var(--blue); }
.lane-gateway .lane-code { color: var(--red); }
.lane-knowledge .lane-code { color: var(--green); }

.lane-header h4 { margin: 13px 0 0; font-family: var(--serif); font-size: 22px; line-height: 1.22; }

.lane-stack { display: flex; flex-direction: column; gap: 10px; padding-top: 20px; }

.design-box { padding: 14px 15px; border: 1px solid var(--line); background: rgba(255, 255, 255, .035); }

.design-box strong, .design-box small { display: block; }

.design-box strong { color: var(--ink); font-size: 12px; font-weight: 700; }

.design-box small { margin-top: 4px; color: var(--muted); font-size: 10px; line-height: 1.5; }

.box-primary { border-color: var(--blue); background: var(--blue-pale); }
.box-gateway { border-color: var(--red); background: var(--red-pale); }
.box-knowledge { border-color: var(--green); background: var(--green-pale); }
.box-dashed { border-style: dashed; }

.gateway-pair, .evidence-pair { display: grid; grid-template-columns: repeat(2, 1fr); gap: 8px; }

.gateway-pair .design-box, .evidence-pair .design-box { min-height: 93px; }

.gateway-governance { display: flex; flex-wrap: wrap; gap: 6px; padding-top: 2px; }

.gateway-governance span { padding: 4px 6px; border: 1px solid rgba(241, 154, 170, .35); color: var(--red); font-family: var(--mono); font-size: 9px; background: rgba(241, 154, 170, .1); }

.design-bridge { display: flex; flex-direction: column; align-items: center; justify-content: center; gap: 10px; color: var(--soft); }

.bridge-label { color: var(--red); font-family: var(--mono); font-size: 9px; font-weight: 700; letter-spacing: .13em; }

.bridge-line { display: flex; align-items: center; width: 100%; color: var(--red); }

.bridge-line i { flex: 1; height: 1px; background: var(--red); }

.bridge-line b { margin-left: -1px; font-family: var(--serif); font-size: 25px; font-weight: 400; line-height: 1; }

.design-bridge small { color: var(--muted); font-size: 9px; line-height: 1.5; text-align: center; }

.design-contract { display: grid; grid-template-columns: 1.05fr repeat(4, minmax(92px, 1fr) 27px) minmax(92px, 1fr); align-items: center; gap: 0; margin: 0 26px 28px; padding: 17px 16px; border-top: 1px solid var(--line-dark); border-bottom: 1px solid var(--line-dark); background: var(--paper); }

.contract-label { color: var(--soft); font-family: var(--mono); font-size: 9px; letter-spacing: .12em; }

.contract-step { display: flex; flex-direction: column; gap: 2px; padding: 4px 8px; }

.contract-step span { color: var(--blue); font-family: var(--mono); font-size: 8px; }

.contract-step strong { color: var(--ink); font-family: var(--serif); font-size: 15px; }

.contract-step small { color: var(--muted); font-size: 9px; }

.contract-arrow { color: var(--red); font-family: var(--serif); font-size: 21px; text-align: center; }

.contract-gate { background: var(--amber-pale); }
.contract-gate span { color: var(--amber); }

.sequence-diagram { padding: 30px 26px 24px; }

.sequence-actors { display: grid; grid-template-columns: repeat(5, 1fr); gap: 8px; }

.actor-cell { min-height: 84px; padding: 12px 13px; border-top: 3px solid var(--navy); background: rgba(255, 255, 255, .035); }

.actor-cell span { display: block; margin-bottom: 9px; color: var(--soft); font-family: var(--mono); font-size: 8px; }

.actor-cell strong { display: block; color: var(--ink); font-size: 12px; font-weight: 700; }

.actor-cell small { display: block; margin-top: 1px; color: var(--muted); font-family: var(--mono); font-size: 8px; letter-spacing: .05em; }

.actor-request { border-color: var(--blue); }
.actor-agent { border-color: var(--red); }
.actor-gateway { border-color: var(--amber); }
.actor-kb { border-color: var(--green); }
.actor-review { border-color: var(--navy); }

.sequence-rows { position: relative; display: grid; gap: 8px; margin-top: 9px; padding: 2px 0; background-image: linear-gradient(to right, transparent calc(10% - .5px), var(--line) calc(10% - .5px), var(--line) calc(10% + .5px), transparent calc(10% + .5px), transparent calc(30% - .5px), var(--line) calc(30% - .5px), var(--line) calc(30% + .5px), transparent calc(30% + .5px), transparent calc(50% - .5px), var(--line) calc(50% - .5px), var(--line) calc(50% + .5px), transparent calc(50% + .5px), transparent calc(70% - .5px), var(--line) calc(70% - .5px), var(--line) calc(70% + .5px), transparent calc(70% + .5px), transparent calc(90% - .5px), var(--line) calc(90% - .5px), var(--line) calc(90% + .5px), transparent calc(90% + .5px)); }

.sequence-row { position: relative; display: grid; grid-template-columns: 34px 1fr; align-items: center; min-height: 58px; }

.seq-index { align-self: stretch; display: grid; place-items: center; color: var(--soft); border-right: 1px solid var(--line); font-family: var(--mono); font-size: 8px; background: rgba(255, 255, 255, .025); }

.seq-message { position: relative; width: 40%; min-height: 42px; margin-left: 10%; padding: 8px 13px; border: 1px solid var(--line-dark); background: var(--surface-2); }

.seq-message::after { position: absolute; top: 50%; right: -31px; width: 30px; height: 1px; content: ""; background: var(--line-dark); }

.seq-message::before { position: absolute; top: calc(50% - 4px); right: -32px; width: 7px; height: 7px; content: ""; border-top: 1px solid var(--line-dark); border-right: 1px solid var(--line-dark); transform: rotate(45deg); }

.seq-message strong, .seq-message small { display: block; }

.seq-message strong { color: var(--ink); font-size: 11px; font-weight: 700; }

.seq-message small { margin-top: 2px; color: var(--muted); font-family: var(--mono); font-size: 9px; line-height: 1.45; }

.seq-message code { color: var(--red); font-family: var(--mono); font-size: .95em; }

.message-request { width: 20%; margin-left: 0; border-color: var(--blue); background: var(--blue-pale); }
.message-agent { width: 39%; margin-left: 20%; border-color: var(--red); background: var(--red-pale); }
.message-search { width: 39%; margin-left: 40%; border-color: var(--green); background: var(--green-pale); }
.message-result { width: 39%; margin-left: 50%; border-color: var(--green); }
.message-evidence { width: 39%; margin-left: 30%; border-color: var(--amber); background: var(--amber-pale); }
.message-draft { width: 39%; margin-left: 20%; border-color: var(--red); }
.message-check { width: 39%; margin-left: 50%; border-color: var(--navy); }
.message-gate { width: 39%; margin-left: 60%; border-color: var(--amber); background: var(--amber-pale); }

.sequence-note { display: flex; align-items: start; gap: 13px; margin: 0 26px 26px; padding: 13px 16px; border-left: 2px solid var(--amber); background: var(--amber-pale); }

.note-mark { color: var(--amber); font-family: var(--serif); font-size: 22px; line-height: 1; }

.sequence-note p { margin: 0; color: var(--muted); font-size: 11px; line-height: 1.7; }

.sequence-note strong { color: var(--ink); }

.knowledge-section { background: var(--paper-deep); }

.knowledge-grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 12px; }

.knowledge-card { min-height: 365px; padding: 24px; border: 1px solid var(--line); background: var(--surface); box-shadow: var(--shadow); }

.knowledge-card-meta { display: flex; align-items: center; justify-content: space-between; gap: 12px; color: var(--soft); font-family: var(--mono); font-size: 9px; letter-spacing: .1em; line-height: 1.3; }

.knowledge-status { padding: 5px 7px; border: 1px solid rgba(116, 226, 203, .4); color: var(--teal); white-space: nowrap; }
.rag-status { border-color: rgba(138, 183, 255, .4); color: var(--blue); }

.knowledge-card h3 { margin: 30px 0 13px; color: var(--ink); font-family: var(--serif); font-size: 23px; font-weight: 500; line-height: 1.3; }

.knowledge-card p { margin-bottom: 0; color: var(--muted); font-size: 12px; line-height: 1.8; }

.knowledge-pipeline { display: flex; flex-wrap: wrap; align-items: center; gap: 7px; margin-top: 25px; }

.knowledge-pipeline span, .knowledge-pipeline strong { padding: 6px 8px; border: 1px solid rgba(116, 226, 203, .27); color: var(--teal); background: rgba(116, 226, 203, .07); font-family: var(--mono); font-size: 9px; font-weight: 500; }

.knowledge-pipeline strong { border-color: rgba(138, 183, 255, .3); color: var(--blue); background: rgba(76, 141, 255, .08); }

.knowledge-pipeline b { color: var(--soft); font-family: var(--mono); font-size: 10px; font-weight: 400; }

.knowledge-checks { display: grid; gap: 7px; margin-top: 20px; padding-top: 15px; border-top: 1px solid var(--line); }

.knowledge-checks span { color: var(--soft); font-size: 10px; line-height: 1.6; }
.knowledge-checks b { color: var(--muted); font-weight: 600; }

.knowledge-bridge { display: grid; grid-template-columns: minmax(0, 1fr) 26px minmax(0, 1fr) 26px minmax(0, 1fr) 26px minmax(0, 1fr); align-items: center; gap: 10px; margin-top: 12px; padding: 14px; border: 1px solid var(--line-dark); background: var(--surface); box-shadow: var(--shadow); }

.knowledge-bridge > div { display: flex; min-height: 70px; flex-direction: column; justify-content: center; padding: 12px 14px; border: 1px solid var(--line); background: rgba(255, 255, 255, .025); }

.knowledge-bridge > div span { color: var(--amber); font-family: var(--mono); font-size: 9px; letter-spacing: .1em; }
.knowledge-bridge > div strong { margin-top: 6px; color: var(--ink); font-family: var(--serif); font-size: 17px; font-weight: 500; }
.knowledge-bridge > i { color: var(--soft); font-family: var(--mono); font-size: 17px; font-style: normal; text-align: center; }

.engineering-section { background: var(--paper); }

.engineering-grid { display: grid; grid-template-columns: repeat(6, minmax(0, 1fr)); gap: 12px; }

.deep-card {
  grid-column: span 2;
  min-height: 320px;
  padding: 24px;
  border: 1px solid var(--line);
  background: var(--surface);
  box-shadow: var(--shadow);
}

.deep-card-wide { grid-column: span 3; min-height: 360px; }

.deep-card-meta { display: flex; align-items: center; justify-content: space-between; gap: 12px; color: var(--soft); font-family: var(--mono); font-size: 9px; letter-spacing: .1em; line-height: 1.3; }

.deep-status { padding: 5px 7px; border: 1px solid rgba(241, 154, 170, .35); color: var(--red); white-space: nowrap; }
.deep-status.blue-status { border-color: rgba(138, 183, 255, .35); color: var(--blue); }
.deep-status.green-status { border-color: rgba(134, 226, 164, .35); color: var(--green); }
.deep-status.amber-status { border-color: rgba(240, 196, 122, .4); color: var(--amber); }
.deep-status.rose-status { border-color: rgba(241, 154, 170, .35); color: var(--red); }

.deep-card h3 { margin: 30px 0 13px; color: var(--ink); font-family: var(--serif); font-size: 22px; font-weight: 500; line-height: 1.25; }

.deep-card p { margin-bottom: 0; color: var(--muted); font-size: 12px; line-height: 1.8; }

.deep-card code { color: var(--blue); font-family: var(--mono); font-size: .94em; }

.schema-pipeline, .lifecycle-flow { display: flex; flex-wrap: wrap; align-items: center; gap: 7px; margin-top: 25px; }

.schema-pipeline span, .schema-pipeline strong, .lifecycle-flow span { padding: 6px 8px; border: 1px solid rgba(138, 183, 255, .25); color: var(--blue); background: rgba(76, 141, 255, .08); font-family: var(--mono); font-size: 9px; font-weight: 500; }

.schema-pipeline strong { border-color: rgba(134, 226, 164, .3); color: var(--green); background: rgba(134, 226, 164, .08); }

.schema-pipeline b { color: var(--soft); font-family: var(--mono); font-size: 10px; font-weight: 400; }

.lifecycle-flow span { border-color: rgba(240, 196, 122, .28); color: var(--amber); background: rgba(240, 196, 122, .08); }

.lifecycle-flow i { color: var(--soft); font-family: var(--mono); font-size: 9px; font-style: normal; }

.deep-checks { display: grid; gap: 7px; margin: 20px 0 0; padding-top: 15px; border-top: 1px solid var(--line); }

.deep-checks span { color: var(--soft); font-size: 10px; line-height: 1.6; }
.deep-checks b { color: var(--muted); font-weight: 600; }

.boundary-stack { display: grid; gap: 6px; margin-top: 23px; }

.boundary-stack span { display: flex; align-items: baseline; justify-content: space-between; gap: 10px; padding: 9px 10px; border: 1px solid var(--line); color: var(--muted); background: rgba(255, 255, 255, .025); font-family: var(--mono); font-size: 9px; }
.boundary-stack span b { color: var(--ink); font-family: var(--sans); font-size: 10px; font-weight: 500; }

.session-warning { display: grid; gap: 5px; margin-top: 22px; padding: 14px; border-left: 2px solid var(--amber); background: var(--amber-pale); }
.session-warning strong { color: var(--amber); font-family: var(--mono); font-size: 9px; letter-spacing: .12em; }
.session-warning span { color: var(--ink); font-family: var(--serif); font-size: 18px; }
.session-warning small { color: var(--muted); font-size: 10px; line-height: 1.6; }

.telemetry-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 6px; margin-top: 22px; }
.telemetry-grid span { padding: 8px 7px; border: 1px solid rgba(241, 154, 170, .22); color: var(--red); background: rgba(241, 154, 170, .06); font-family: var(--mono); font-size: 9px; text-align: center; }
.proposal-note { display: block; margin-top: 18px; color: var(--soft); font-size: 10px; line-height: 1.6; }

.failure-contract { margin-top: 12px; padding: 23px 24px 24px; border: 1px solid rgba(240, 196, 122, .28); background: var(--surface); box-shadow: var(--shadow); }

.failure-grid { display: grid; grid-template-columns: repeat(4, 1fr); gap: 1px; margin-top: 19px; background: var(--line); }

.failure-grid > div { min-height: 105px; padding: 15px; background: var(--paper-deep); }
.failure-grid span { display: block; color: var(--amber); font-family: var(--mono); font-size: 9px; }
.failure-grid strong { display: block; margin: 17px 0 7px; color: var(--ink); font-size: 12px; font-weight: 600; }
.failure-grid small { display: block; color: var(--muted); font-size: 10px; line-height: 1.6; }

.tools-section { background: var(--paper); }

.compact-heading { margin-bottom: 40px; }

.tool-console { display: grid; grid-template-columns: 310px minmax(0, 1fr); min-height: 490px; border: 1px solid var(--line-dark); background: var(--surface); box-shadow: var(--shadow-strong); }

.tool-list { display: flex; flex-direction: column; padding: 14px; border-right: 1px solid var(--line-dark); background: var(--navy); }

.tool-item { display: grid; grid-template-columns: 29px 1fr; gap: 1px 11px; padding: 15px 13px; border-bottom: 1px solid rgba(238, 244, 255, .15); color: rgba(238, 244, 255, .64); background: transparent; cursor: pointer; text-align: left; transition: color .2s ease, background .2s ease, padding .2s ease; }

.tool-item:hover, .tool-item:focus-visible { color: var(--white); background: rgba(238, 244, 255, .1); }

.tool-item.is-selected { color: var(--amber); background: var(--amber-pale); padding-left: 17px; }

.tool-item > span { grid-row: 1 / 3; display: grid; place-items: center; width: 25px; height: 25px; border: 1px solid currentColor; font-family: var(--mono); font-size: 8px; }

.tool-item strong { align-self: end; font-family: var(--mono); font-size: 11px; font-weight: 500; }

.tool-item small { color: currentColor; font-size: 10px; opacity: .7; }

.tool-detail { padding: 32px 34px; }

.tool-detail-head { display: flex; align-items: start; justify-content: space-between; gap: 16px; padding-bottom: 21px; border-bottom: 1px solid var(--line); }

.tool-detail-head h3 { margin: 7px 0 0; color: var(--ink); font-family: var(--mono); font-size: clamp(22px, 3vw, 34px); font-weight: 500; letter-spacing: -.08em; }

.tool-state { padding: 5px 7px; border: 1px solid var(--green); color: var(--green); font-family: var(--mono); font-size: 8px; letter-spacing: .1em; white-space: nowrap; }

.tool-detail > p { max-width: 670px; margin: 22px 0 28px; color: var(--muted); font-size: 14px; line-height: 1.8; }

.code-grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 12px; }

.code-card { min-height: 180px; padding: 14px 15px; border: 1px solid var(--line); background: rgba(11, 16, 27, .62); }

.code-card > span, .tool-boundary > span { color: var(--soft); font-family: var(--mono); font-size: 9px; letter-spacing: .12em; }

.code-card pre { overflow-x: auto; margin: 13px 0 0; color: var(--ink); font-family: var(--mono); font-size: 10px; line-height: 1.65; white-space: pre-wrap; }

.tool-boundary { display: flex; align-items: baseline; gap: 13px; margin-top: 24px; padding: 12px 14px; border-left: 2px solid var(--red); background: var(--red-pale); }

.tool-boundary > span { color: var(--red); }

.tool-boundary strong { color: var(--ink); font-size: 11px; font-weight: 600; }

.principles-section { background: var(--paper-deep); }

.principles-banner { display: grid; grid-template-columns: minmax(0, .9fr) minmax(250px, .65fr); justify-content: space-between; gap: 80px; padding-bottom: 51px; border-bottom: 1px solid var(--line-dark); }

.principles-banner .eyebrow { color: var(--amber); }

.principles-banner h2 { margin: 18px 0 0; color: var(--white); }

.principles-banner h2 em { color: var(--amber); }

.principles-banner > p { align-self: end; margin-bottom: 4px; color: var(--muted); font-size: 14px; line-height: 1.9; }

.principles-grid { display: grid; grid-template-columns: repeat(4, 1fr); gap: 1px; margin-top: 1px; background: var(--line-dark); }

.principle-card { min-height: 250px; padding: 23px 20px; background: var(--surface); }

.principle-card > span { color: var(--amber); font-family: var(--mono); font-size: 10px; }

.principle-card h3 { margin: 58px 0 14px; color: var(--white); font-family: var(--serif); font-size: 21px; font-weight: 500; }

.principle-card p { margin-bottom: 0; color: var(--muted); font-size: 11px; line-height: 1.75; }

.status-boundary { display: flex; align-items: start; gap: 16px; margin-top: 35px; padding: 19px 20px; border: 1px solid rgba(240, 196, 122, .6); background: rgba(240, 196, 122, .11); }

.status-icon { display: grid; place-items: center; flex: 0 0 auto; width: 27px; height: 27px; color: var(--paper); background: var(--amber); font-family: var(--serif); font-size: 18px; font-weight: 700; }

.status-boundary span, .status-boundary strong, .status-boundary p { display: block; }

.status-boundary span { color: var(--amber); font-family: var(--mono); font-size: 9px; letter-spacing: .12em; }

.status-boundary strong { margin-top: 5px; color: var(--white); font-size: 15px; font-weight: 600; }

.status-boundary p { margin: 4px 0 0; color: var(--muted); font-size: 11px; line-height: 1.7; }

.references-section { display: grid; grid-template-columns: .6fr 1.4fr; gap: 80px; padding-top: 76px; padding-bottom: 76px; }

.reference-heading h2 { margin-top: 18px; font-family: var(--serif); font-size: 42px; font-weight: 500; }

.reference-list { border-top: 1px solid var(--line-dark); }

.reference-list > a, .reference-local { display: grid; grid-template-columns: 68px 1fr 30px; grid-template-rows: auto auto; gap: 2px 15px; align-items: center; padding: 17px 0; border-bottom: 1px solid var(--line); }

.reference-list > a:hover strong, .reference-list > a:focus-visible strong { color: var(--red); }

.reference-list span { grid-row: 1 / 3; color: var(--blue); font-family: var(--mono); font-size: 10px; font-weight: 700; letter-spacing: .1em; }

.reference-list strong { color: var(--ink); font-size: 13px; font-weight: 700; transition: color .2s ease; }

.reference-list small { color: var(--muted); font-family: var(--mono); font-size: 9px; }

.reference-list b { grid-column: 3; grid-row: 1 / 3; color: var(--red); font-family: var(--serif); font-size: 21px; font-weight: 400; text-align: right; }

.reference-local span { color: var(--green); }
.reference-local b { color: var(--soft); }

.footer { display: flex; align-items: center; justify-content: space-between; gap: 20px; max-width: 1400px; min-height: 85px; margin: 0 auto; padding: 0 64px; border-top: 1px solid var(--line-dark); color: var(--soft); font-family: var(--mono); font-size: 9px; letter-spacing: .08em; }

.footer a { color: var(--blue); }
.footer a:hover, .footer a:focus-visible { color: var(--ink); }

:focus-visible { outline: 2px solid var(--red); outline-offset: 3px; }

@media (max-width: 1120px) {
  .section-pad { padding-right: 42px; padding-left: 42px; }
  .hero { grid-template-columns: minmax(0, .9fr) minmax(430px, 1.1fr); gap: 45px; }
  .design-diagram { grid-template-columns: minmax(165px, 1fr) 67px minmax(205px, 1.15fr) 67px minmax(165px, 1fr); padding-right: 18px; padding-left: 18px; }
  .design-lane { padding: 16px; }
  .design-contract { margin-right: 18px; margin-left: 18px; padding-right: 8px; padding-left: 8px; }
  .tool-console { grid-template-columns: 260px minmax(0, 1fr); }
}

@media (max-width: 900px) {
  .topbar { padding-right: 24px; padding-left: 24px; }
  .topnav { gap: 14px; }
  .top-status { display: none; }
  .section-pad { padding-top: 82px; padding-bottom: 82px; }
  .hero { grid-template-columns: 1fr; min-height: auto; padding-top: 82px; }
  .hero-copy { max-width: 760px; }
  .hero-visual { max-width: 760px; }
  .problem-section { grid-template-columns: 1fr; gap: 44px; }
  .section-intro > p:last-child { max-width: 560px; }
  .section-heading-row { align-items: start; flex-direction: column; gap: 25px; }
  .section-heading-copy { max-width: 650px; }
  .design-diagram { grid-template-columns: 1fr; gap: 0; }
  .design-lane { min-height: auto; }
  .design-bridge { flex-direction: row; min-height: 74px; }
  .design-bridge small { text-align: left; }
  .bridge-line { width: 120px; }
  .design-contract { grid-template-columns: 1fr; gap: 8px; }
  .contract-label { padding-bottom: 6px; }
  .contract-arrow { text-align: left; transform: rotate(90deg); transform-origin: 10px 50%; }
  .sequence-diagram { overflow-x: auto; }
  .sequence-actors, .sequence-rows { min-width: 720px; }
  .knowledge-grid { grid-template-columns: 1fr; }
  .knowledge-bridge { grid-template-columns: 1fr; }
  .knowledge-bridge > i { transform: rotate(90deg); }
  .engineering-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .deep-card-wide { grid-column: 1 / -1; }
  .failure-grid { grid-template-columns: repeat(2, 1fr); }
  .tool-console { grid-template-columns: 1fr; }
  .tool-list { display: grid; grid-template-columns: repeat(5, 1fr); border-right: 0; border-bottom: 1px solid var(--line-dark); }
  .tool-item { min-height: 110px; border-right: 1px solid rgba(238, 244, 255, .15); border-bottom: 0; }
  .tool-item:last-child { border-right: 0; }
  .principles-banner { grid-template-columns: 1fr; gap: 20px; }
  .principles-banner > p { max-width: 640px; }
  .principles-grid { grid-template-columns: repeat(2, 1fr); }
  .references-section { grid-template-columns: 1fr; gap: 30px; }
}

@media (max-width: 640px) {
  .topbar { min-height: 64px; padding-right: 16px; padding-left: 16px; }
  .brand-name { font-size: 9px; }
  .topnav { display: none; }
  .section-pad { padding-right: 20px; padding-left: 20px; }
  h1 { font-size: clamp(45px, 15vw, 72px); }
  h2 { font-size: 42px; }
  .hero-lede { font-size: 15px; }
  .hero-visual { min-height: auto; padding: 15px; }
  .hero-visual::before { inset: 8px; }
  .hero-flow { grid-template-columns: 1fr; gap: 9px; padding: 22px 14px; }
  .hero-flow-arrow { transform: rotate(90deg); }
  .hero-flow-node { min-height: 94px; }
  .hero-rail { grid-template-columns: 1fr; margin-right: 8px; margin-left: 8px; }
  .hero-flow-footer { padding-right: 8px; padding-left: 8px; font-size: 8px; }
  .proof-strip { grid-template-columns: repeat(2, 1fr); }
  .proof-caption { grid-column: 1 / -1; align-items: flex-start; min-height: 56px; text-align: left; }
  .proof-item, .proof-caption { padding-right: 17px; padding-left: 17px; }
  .problem-grid { grid-template-columns: 1fr; }
  .problem-card { min-height: 250px; }
  .problem-card h3 { margin-top: 36px; }
  .view-switch { flex-wrap: wrap; }
  .view-tab { flex: 1 1 0; min-width: 0; }
  .switch-hint { width: 100%; margin: 3px 0 0; }
  .diagram-titlebar { align-items: start; flex-direction: column; padding: 18px; }
  .diagram-badge { font-size: 8px; }
  .design-diagram { padding: 18px; }
  .design-contract { margin-right: 18px; margin-left: 18px; }
  .sequence-diagram { padding: 18px; }
  .sequence-note { margin-right: 18px; margin-left: 18px; }
  .knowledge-card { min-height: 0; padding: 20px; }
  .knowledge-bridge { margin-top: 12px; padding: 10px; }
  .engineering-grid { grid-template-columns: 1fr; }
  .deep-card, .deep-card-wide { grid-column: auto; min-height: 0; padding: 20px; }
  .failure-contract { padding: 20px; }
  .failure-grid { grid-template-columns: 1fr; }
  .tool-list { grid-template-columns: repeat(2, 1fr); padding: 8px; }
  .tool-item { min-height: 83px; padding: 10px 8px; }
  .tool-item:nth-child(2n) { border-right: 0; }
  .tool-item:last-child { grid-column: 1 / -1; border-top: 1px solid rgba(238, 244, 255, .15); }
  .tool-detail { padding: 23px 18px; }
  .tool-detail-head { align-items: start; flex-direction: column; }
  .tool-detail-head h3 { font-size: 25px; }
  .code-grid { grid-template-columns: 1fr; }
  .code-card { min-height: 0; }
  .tool-boundary { align-items: start; flex-direction: column; gap: 4px; }
  .principles-grid { grid-template-columns: 1fr; }
  .principle-card { min-height: 205px; }
  .principle-card h3 { margin-top: 36px; }
  .status-boundary { padding: 15px; }
  .references-section { padding-top: 65px; padding-bottom: 65px; }
  .reference-list > a, .reference-local { grid-template-columns: 52px 1fr 20px; gap: 2px 10px; }
  .reference-list strong { font-size: 11px; }
  .reference-list small { font-size: 8px; }
  .footer { align-items: start; flex-direction: column; justify-content: center; min-height: 120px; padding: 20px; }
}

@media (prefers-reduced-motion: reduce) {
  *, *::before, *::after { scroll-behavior: auto !important; transition-duration: .01ms !important; animation-duration: .01ms !important; }
}