:root {
  color-scheme: light;
  --ink: #12334e;
  --muted: #526980;
  --surface: #fdfaf2;
  --surface-2: #fffdf8;
  --line: #dce8e9;
  --acid: #087dc1;
  --acid-soft: #126884;
  --max: 1180px;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  background: var(--surface);
  color: var(--ink);
  font-family: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  -webkit-font-smoothing: antialiased;
}
a { color: inherit; text-decoration: none; }
button { font: inherit; }
.shell { width: min(calc(100% - 48px), var(--max)); margin-inline: auto; }

.nav {
  height: 88px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  border-bottom: 1px solid var(--line);
}
.brand { display: flex; gap: 11px; align-items: center; font-weight: 720; letter-spacing: -.03em; font-size: 20px; }
.brand svg { width: 27px; fill: var(--acid); }
.nav nav { display: flex; gap: 30px; color: var(--muted); font-size: 14px; }
.nav nav a:hover { color: var(--ink); }

.hero {
  min-height: 720px;
  padding: 104px 0 88px;
  position: relative;
}
.hero::after {
  content: "";
  position: absolute;
  width: 520px;
  height: 520px;
  right: -180px;
  top: 60px;
  border-radius: 50%;
  background: radial-gradient(circle, rgba(185,255,102,.12), transparent 68%);
  pointer-events: none;
}
.eyebrow, .kicker { text-transform: uppercase; letter-spacing: .15em; font-size: 12px; font-weight: 760; color: var(--acid); }
.eyebrow { display: flex; align-items: center; gap: 10px; }
.eyebrow span { width: 7px; height: 7px; border-radius: 50%; background: var(--acid); box-shadow: 0 0 18px var(--acid); }
h1 { margin: 30px 0 26px; font-size: clamp(58px, 8.7vw, 116px); line-height: .91; letter-spacing: -.075em; max-width: 1050px; font-weight: 750; }
h1 em { color: var(--acid); font-style: normal; font-weight: 570; }
.lede { max-width: 690px; font-size: clamp(19px, 2.2vw, 26px); line-height: 1.5; letter-spacing: -.025em; color: #526980; }

.install { margin-top: 48px; width: min(100%, 780px); border: 1px solid #cbdfe5; border-radius: 12px; background: #fffdf8; overflow: hidden; box-shadow: 0 24px 60px rgba(36,87,108,.05); }
.install-label { padding: 12px 16px; display: flex; justify-content: space-between; border-bottom: 1px solid var(--line); color: var(--muted); font-size: 11px; text-transform: uppercase; letter-spacing: .12em; }
.install-label span:first-child { color: var(--acid-soft); }
.command-row { display: flex; align-items: center; }
.command-row code { flex: 1; padding: 19px 20px; overflow-x: auto; white-space: nowrap; color: #24475d; font: 14px/1.5 ui-monospace, SFMono-Regular, Menlo, monospace; }
.command-row button { align-self: stretch; min-width: 84px; border: 0; border-left: 1px solid var(--line); background: transparent; color: var(--acid); cursor: pointer; }
.command-row button:hover { background: #eaf6fa; }
.install > p { margin: 0; padding: 10px 16px; border-top: 1px solid var(--line); color: var(--muted); font-size: 12px; }
.install > p code { color: var(--acid-soft); }
.hero-links { margin-top: 26px; display: flex; gap: 13px; flex-wrap: wrap; }
.hero-links a, .cta > a { padding: 13px 18px; border-radius: 8px; font-size: 14px; font-weight: 700; }
.hero-links .primary { background: var(--acid); color: #ffffff; }
.hero-links .secondary { border: 1px solid var(--line); color: #46647c; }
.requirements { margin-top: 18px; color: #607387; font-size: 12px; }

.proof-strip { border-block: 1px solid var(--line); background: var(--surface-2); }
.proof-grid { display: grid; grid-template-columns: repeat(4, 1fr); }
.proof-grid div { min-height: 132px; padding: 29px 28px; border-left: 1px solid var(--line); display: flex; flex-direction: column; gap: 9px; }
.proof-grid div:last-child { border-right: 1px solid var(--line); }
.proof-grid strong { color: var(--acid-soft); font-size: 15px; }
.proof-grid span { color: var(--muted); font-size: 13px; line-height: 1.45; }

.evidence-preview { padding-bottom: 32px; }
.evidence-grid { display: grid; grid-template-columns: repeat(2, 1fr); gap: 16px; margin-top: 58px; }
.metric-card { min-height: 330px; padding: 30px; border: 1px solid var(--line); background: var(--surface-2); display: flex; flex-direction: column; }
.metric-card small { color: var(--muted); text-transform: uppercase; letter-spacing: .11em; font-size: 10px; }
.metric-card strong { display: block; margin-top: 36px; color: var(--acid); font-size: clamp(44px, 6vw, 78px); line-height: .95; letter-spacing: -.06em; }
.metric-card h3 { margin: 8px 0 14px; font-size: 22px; letter-spacing: -.025em; }
.metric-card p { max-width: 530px; margin: 0; color: var(--muted); font-size: 14px; line-height: 1.6; }
.metric-card p code { color: var(--acid-soft); }
.metric-stop strong { color: #96640d; }
.claim-links { margin-top: auto; padding-top: 26px; display: flex; gap: 18px; }
.claim-links a { color: var(--acid); font-size: 12px; font-weight: 720; }
.claim-links a:last-child { color: var(--muted); }
.unproven { margin-top: 16px; padding: 38px; border: 1px solid var(--line); display: grid; grid-template-columns: 1.1fr 1fr .7fr; gap: 44px; align-items: start; }
.unproven h3 { margin: 12px 0 0; font-size: 25px; letter-spacing: -.035em; }
.unproven ul { margin: 0; padding-left: 18px; color: var(--muted); font-size: 14px; line-height: 1.8; }
.unproven > a { justify-self: end; color: var(--acid); font-size: 13px; font-weight: 720; }

.section { padding-block: 128px; }
.section-heading { max-width: 690px; }
.section h2, .cta h2 { margin: 17px 0 20px; font-size: clamp(39px, 5.2vw, 68px); line-height: 1; letter-spacing: -.055em; }
.section-heading > p, .privacy-copy > p { color: var(--muted); font-size: 18px; line-height: 1.6; }
.steps { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 1px; background: var(--line); border: 1px solid var(--line); margin-top: 70px; }
.steps article { background: var(--surface); padding: 32px; min-height: 310px; display: flex; flex-direction: column; }
.steps .number { color: var(--acid); font: 13px ui-monospace, monospace; }
.steps h3 { margin: 72px 0 12px; font-size: 23px; letter-spacing: -.03em; }
.steps p { margin: 0; color: var(--muted); line-height: 1.55; font-size: 15px; }
.steps code { overflow-wrap: anywhere; padding-top: 20px; margin-top: auto; color: #426075; font-size: 12px; }

.contrast { width: 100%; background: #edf7f4; color: #17374d; }
.contrast .kicker { color: #247e81; }
.contrast .section-heading > p { color: #526980; }
.contrast .section-heading code { color: #126884; }
.support-layout { display: grid; grid-template-columns: .82fr 1.18fr; gap: 90px; align-items: start; }
.matrix { border-top: 1px solid #c4d9dc; }
.matrix-row { display: grid; grid-template-columns: 1.5fr .65fr .65fr; align-items: center; min-height: 78px; border-bottom: 1px solid #d2e2e4; font-size: 14px; }
.matrix-row > span:not(:first-child) { text-align: right; color: #526980; }
.matrix-row b { display: block; font-size: 15px; }
.matrix-row small { display: block; margin-top: 5px; color: #526980; }
.matrix-head { min-height: 44px; text-transform: uppercase; letter-spacing: .12em; font-size: 10px; color: #526980; }
.matrix-row .yes { color: #187b80 !important; font-weight: 750; }
.matrix-row .pilot { color: #fff !important; background: #16828b; justify-self: end; padding: 6px 10px; border-radius: 999px; }

.privacy { display: grid; grid-template-columns: 1fr 1fr; gap: 100px; align-items: start; }
.privacy-copy { padding-top: 23px; }
.privacy-copy code { display: block; margin: 30px 0; padding: 18px; border: 1px solid var(--line); color: var(--acid-soft); overflow-x: auto; font-size: 12px; }
.privacy-copy a { color: var(--acid); font-weight: 700; font-size: 14px; }

.cta { padding: 78px; margin-bottom: 100px; background: var(--acid); color: #12334e; display: flex; align-items: flex-end; justify-content: space-between; gap: 50px; }
.cta .kicker { color: #247e81; }
.cta h2 { max-width: 760px; margin-bottom: 0; }
.cta > a { background: #12334e; color: var(--ink); white-space: nowrap; }

footer { min-height: 105px; border-top: 1px solid var(--line); display: flex; align-items: center; justify-content: space-between; color: #607387; font-size: 13px; }
footer div { display: flex; gap: 25px; }
footer a:hover { color: var(--ink); }

.evidence-page { padding-bottom: 100px; }
.evidence-hero { padding: 96px 0 110px; border-bottom: 1px solid var(--line); }
.evidence-hero h1 { font-size: clamp(52px, 8vw, 100px); }
.evidence-record { padding: 72px 0; border-bottom: 1px solid var(--line); display: grid; grid-template-columns: .9fr 1.1fr; gap: 90px; }
.evidence-record h2, .strict-gate h2 { margin: 15px 0 0; font-size: clamp(34px, 4.5vw, 58px); line-height: 1.02; letter-spacing: -.05em; }
.evidence-record p { margin: 0 0 24px; color: var(--muted); font-size: 17px; line-height: 1.65; }
.evidence-record p code { color: var(--acid-soft); }
.evidence-record a { color: var(--acid); font-size: 13px; font-weight: 720; }
.evidence-record.limitation { background: var(--surface-2); margin-inline: -30px; padding-inline: 30px; }
.strict-gate { margin-top: 90px; padding: 64px; background: #edf7f4; color: #17374d; }
.strict-gate .kicker { color: #247e81; }
.strict-gate ol { margin: 50px 0 0; padding-left: 24px; display: grid; grid-template-columns: repeat(2, 1fr); gap: 24px 60px; }
.strict-gate li { padding-left: 8px; color: #526980; line-height: 1.55; }
.strict-gate b { color: #17374d; }

.docs-page { padding-bottom: 110px; }
.docs-hero { padding: 88px 0 72px; }
.docs-hero h1 { font-size: clamp(52px, 8vw, 100px); }
.docs-note { max-width: 880px; margin-top: 34px; padding: 18px 20px; border-left: 3px solid #96640d; background: var(--surface-2); color: var(--muted); font-size: 13px; line-height: 1.6; }
.docs-note b { color: #96640d; }
.docs-note code { color: var(--acid-soft); }
.docs-controls { padding: 26px 0; border-block: 1px solid var(--line); display: flex; justify-content: space-between; align-items: end; gap: 24px; }
.control-label { display: block; margin-bottom: 10px; color: var(--muted); font-size: 11px; text-transform: uppercase; letter-spacing: .12em; }
.segmented { display: inline-flex; padding: 4px; gap: 3px; border: 1px solid var(--line); border-radius: 9px; background: var(--surface-2); }
.segmented button { padding: 9px 13px; border: 0; border-radius: 6px; background: transparent; color: var(--muted); cursor: pointer; font-size: 12px; font-weight: 700; }
.segmented button[aria-pressed="true"] { background: var(--acid); color: #ffffff; }
.machine-link { color: var(--acid); font-size: 12px; font-weight: 720; }
.docs-workbench { display: grid; grid-template-columns: minmax(0, 1.2fr) minmax(360px, .8fr); gap: 16px; margin-top: 42px; align-items: start; }
.thread-panel, .evidence-inspector { border: 1px solid var(--line); background: var(--surface-2); }
.panel-heading { min-height: 68px; padding: 16px 20px; border-bottom: 1px solid var(--line); display: flex; flex-direction: column; justify-content: center; gap: 5px; }
.panel-heading span { color: var(--acid); font-size: 10px; text-transform: uppercase; letter-spacing: .12em; }
.panel-heading b { font-size: 15px; }
.thread-graph { padding: 26px; display: grid; grid-template-columns: 1fr 28px 1fr; gap: 14px 4px; align-items: center; }
.thread-node { min-height: 122px; padding: 17px; border: 1px solid #cbdfe5; border-radius: 9px; background: #fffdf8; color: var(--ink); text-align: left; cursor: pointer; transition: border-color .16s ease, background .16s ease, transform .16s ease; }
.thread-node:nth-of-type(odd) { grid-column: 1; }
.thread-node:nth-of-type(even) { grid-column: 3; }
.thread-node:hover { border-color: #68849a; transform: translateY(-1px); }
.thread-node.is-active { border-color: var(--acid); background: #eaf6fa; box-shadow: inset 3px 0 0 var(--acid); }
.thread-node small { display: block; color: var(--acid); font: 10px ui-monospace, monospace; text-transform: uppercase; letter-spacing: .08em; }
.thread-node b { display: block; margin-top: 18px; font-size: 18px; letter-spacing: -.025em; }
.thread-node span { display: block; margin-top: 7px; color: var(--muted); font-size: 12px; line-height: 1.45; }
.thread-arrow { grid-column: 2; color: #68849a; text-align: center; font-size: 18px; pointer-events: none; }
.thread-branch { grid-column: 2; min-height: 22px; color: #96640d; text-align: center; pointer-events: none; }
.recovery-node { grid-column: 3 !important; border-color: #dfcda2; }
.dot-source { border-top: 1px solid var(--line); }
.dot-source > div { padding: 13px 18px; display: flex; justify-content: space-between; color: var(--muted); font-size: 11px; text-transform: uppercase; letter-spacing: .1em; }
.dot-source button { border: 0; background: transparent; color: var(--acid); cursor: pointer; }
.dot-source pre { margin: 0; padding: 20px; border-top: 1px solid var(--line); overflow-x: auto; color: #426075; font-size: 12px; line-height: 1.6; }
.evidence-inspector { position: sticky; top: 18px; padding: 28px; }
.inspector-topline { display: flex; justify-content: space-between; align-items: center; gap: 15px; color: var(--acid); font: 10px ui-monospace, monospace; text-transform: uppercase; letter-spacing: .08em; }
.authority-badge { padding: 6px 8px; border: 1px solid #b4d8da; border-radius: 999px; color: var(--acid-soft); white-space: nowrap; }
.evidence-inspector h2 { margin: 28px 0 14px; font-size: clamp(27px, 3vw, 40px); line-height: 1.03; letter-spacing: -.04em; }
.node-summary, .engineering-detail p { color: var(--muted); line-height: 1.62; }
.evidence-inspector h3 { margin: 28px 0 9px; color: #28465d; font-size: 11px; text-transform: uppercase; letter-spacing: .11em; }
.evidence-inspector pre { margin: 15px 0 0; padding: 15px; border: 1px solid var(--line); overflow-x: auto; color: var(--acid-soft); font-size: 11px; line-height: 1.55; white-space: pre-wrap; }
.evidence-inspector .evidence-code { max-height: 300px; margin-top: 10px; border-color: #cbdfe5; background: #f2f7f9; color: #24475d; overflow: auto; white-space: pre; }
.evidence-inspector .evidence-code code { font: inherit; }
.evidence-inspector blockquote { margin: 0; padding-left: 16px; border-left: 2px solid var(--acid); color: #426075; font-size: 14px; line-height: 1.6; }
.evidence-meta { margin: 17px 0; display: flex; justify-content: space-between; gap: 12px; color: var(--muted); font-size: 9px; text-transform: uppercase; letter-spacing: .08em; }
.evidence-detail > a { color: var(--acid); font-size: 12px; font-weight: 720; }
.node-limit { margin-top: 28px; padding: 16px; border: 1px solid #e0cfac; background: rgba(255,212,121,.04); }
.node-limit b { color: #96640d; font-size: 10px; text-transform: uppercase; letter-spacing: .1em; }
.node-limit p { margin: 8px 0 0; color: var(--muted); font-size: 12px; line-height: 1.55; }
.docs-workbench[data-doc-detail="overview"] .engineering-detail,
.docs-workbench[data-doc-detail="overview"] .evidence-detail { display: none; }
.docs-workbench[data-doc-detail="engineering"] .evidence-detail { display: none; }
.docs-takeaway { margin-top: 90px; padding: 64px 0; border-block: 1px solid var(--line); display: grid; grid-template-columns: .9fr 1.1fr; gap: 90px; }
.docs-takeaway h2 { margin: 15px 0 0; font-size: clamp(34px, 4.5vw, 58px); line-height: 1.02; letter-spacing: -.05em; }
.docs-takeaway p { margin: 0 0 22px; color: var(--muted); font-size: 17px; line-height: 1.65; }
.docs-takeaway a { color: var(--acid); font-size: 13px; font-weight: 720; }
.strict-gate p { max-width: 820px; color: #526980; font-size: 16px; line-height: 1.65; }
.strict-gate a { color: #126884; font-weight: 760; }

@media (max-width: 820px) {
  .shell { width: min(calc(100% - 32px), var(--max)); }
  .nav nav a:not(:last-child) { display: none; }
  .hero { min-height: auto; padding: 76px 0 68px; }
  .proof-grid { grid-template-columns: 1fr 1fr; }
  .proof-grid div:nth-child(3) { border-top: 1px solid var(--line); }
  .proof-grid div:nth-child(4) { border-top: 1px solid var(--line); }
  .steps, .support-layout, .privacy, .evidence-grid, .unproven { grid-template-columns: 1fr; }
  .support-layout, .privacy { gap: 55px; }
  .unproven { gap: 28px; }
  .unproven > a { justify-self: start; }
  .section { padding-block: 88px; }
  .steps article { min-height: 250px; }
  .steps h3 { margin-top: 42px; }
  .cta { width: 100%; margin: 0; padding: 64px 24px; flex-direction: column; align-items: flex-start; }
  footer { min-height: 140px; align-items: flex-start; padding-block: 38px; flex-direction: column; }
  .evidence-record { grid-template-columns: 1fr; gap: 30px; }
  .strict-gate { padding: 42px 26px; }
  .strict-gate ol { grid-template-columns: 1fr; }
  .docs-controls { align-items: flex-start; flex-direction: column; }
  .docs-workbench { grid-template-columns: 1fr; }
  .evidence-inspector { position: static; order: -1; scroll-margin-top: 16px; }
  .segmented button, .thread-node, .dot-source button { touch-action: manipulation; -webkit-tap-highlight-color: #c5eafa; }
  .segmented button { min-height: 44px; }
  .docs-takeaway { grid-template-columns: 1fr; gap: 30px; }
}

@media (max-width: 520px) {
  h1 { font-size: 53px; }
  .lede { font-size: 18px; }
  .install-label span:last-child { display: none; }
  .command-row code { padding: 16px; font-size: 12px; }
  .command-row button { min-width: 66px; }
  .proof-grid { grid-template-columns: 1fr; }
  .proof-grid div { border-right: 1px solid var(--line); border-top: 1px solid var(--line); min-height: 108px; }
  .proof-grid div:first-child { border-top: 0; }
  .matrix-row { grid-template-columns: 1.45fr .6fr .7fr; font-size: 12px; }
  .matrix-row b { font-size: 13px; }
  footer div { gap: 14px; }
  .thread-graph { grid-template-columns: 1fr; gap: 8px; }
  .thread-node, .thread-node:nth-of-type(odd), .thread-node:nth-of-type(even), .recovery-node { grid-column: 1 !important; min-height: 104px; }
  .thread-arrow, .thread-branch { grid-column: 1; transform: rotate(90deg); min-height: auto; }
  .segmented { width: 100%; }
  .segmented button { flex: 1; padding-inline: 8px; }
  .evidence-meta { flex-direction: column; }
}

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
}

/* Architecture remains readable without JavaScript or external diagram assets. */
.architecture-page { padding-bottom: 90px; }
.architecture-jump, .architecture-source-links { display: flex; flex-wrap: wrap; gap: 16px 28px; margin-top: 30px; font-size: 14px; }
.architecture-page a { color: var(--acid); }
.architecture-page a:hover { text-decoration: underline; text-underline-offset: 4px; }
.architecture-section { padding: 60px 0; border-top: 1px solid var(--line); scroll-margin-top: 24px; }
.architecture-section h2 { margin: 18px 0 26px; font-size: clamp(32px, 4.5vw, 58px); line-height: 1.04; letter-spacing: -.045em; }
.architecture-section > p { max-width: 900px; color: var(--muted); font-size: 17px; line-height: 1.7; }
.architecture-page code { color: var(--acid-soft); font-size: .88em; overflow-wrap: anywhere; }
.architecture-pipeline { list-style: none; padding: 0; margin: 36px 0 24px; display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 16px; }
.architecture-pipeline li, .architecture-cards article { padding: 26px; border: 1px solid var(--line); background: var(--surface-2); }
.architecture-pipeline small { color: var(--acid); font-size: 11px; text-transform: uppercase; letter-spacing: .1em; }
.architecture-pipeline h3, .architecture-cards h3 { font-size: 21px; letter-spacing: -.02em; }
.architecture-pipeline p, .architecture-cards p, .architecture-branch p { color: var(--muted); font-size: 15px; line-height: 1.65; }
.architecture-pipeline a, .architecture-branch a { font-size: 12px; }
.architecture-branch { padding: 24px 28px; border-left: 3px solid var(--acid); background: var(--surface-2); }
.architecture-branch p { margin: 8px 0 12px; }
.architecture-cards { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 16px; margin: 32px 0; }
.architecture-cards h3 { margin-top: 0; }
.architecture-cards p { margin-bottom: 0; }
.architecture-pair { grid-template-columns: repeat(2, minmax(0, 1fr)); }
.architecture-table-wrap { overflow-x: auto; margin: 32px 0; }
.architecture-table { width: 100%; border-collapse: collapse; text-align: left; font-size: 14px; line-height: 1.6; }
.architecture-table caption { text-align: left; color: var(--muted); padding-bottom: 16px; font-size: 13px; }
.architecture-table th, .architecture-table td { padding: 18px; vertical-align: top; border-bottom: 1px solid var(--line); }
.architecture-table thead th { background: var(--surface-2); color: var(--acid); }
.architecture-table tbody th { width: 19%; }
.architecture-table td { width: 40.5%; color: var(--muted); }
.architecture-extension { max-width: 930px; padding-left: 24px; color: var(--muted); font-size: 16px; line-height: 1.75; }
.architecture-extension li { padding: 0 0 20px 10px; }
.architecture-extension b { color: var(--ink); }
@media (max-width: 820px) {
  .architecture-pipeline, .architecture-cards { grid-template-columns: 1fr; }
  .architecture-section { padding-block: 44px; }
  .architecture-table th, .architecture-table td { padding: 12px 8px; }
  .architecture-table { font-size: 12px; }
}

.architecture-command { padding: 20px; border: 1px solid var(--line); background: var(--surface-2); overflow-x: auto; font-size: 14px; line-height: 1.8; }

.pilot-table th, .pilot-table td { width: auto; }
.pilot-result { margin-top: 32px; }