:root {
  --carbon: #0a0d0f;
  --ferrite: #151a1e;
  --machined: #242c31;
  --paper: #f3f0e7;
  --nickel: #98a2a8;
  --copper: #d87945;
  --phosphor: #b9e769;
  --bus-blue: #5fa8d3;
  --line: rgba(152, 162, 168, .25);
  --max: 1280px;
  --sans: Inter, "Noto Sans", ui-sans-serif, system-ui, -apple-system, sans-serif;
  --mono: "JetBrains Mono", "DejaVu Sans Mono", ui-monospace, monospace;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body { margin: 0; color: var(--carbon); background: var(--paper); font-family: var(--sans); font-size: 16px; line-height: 1.55; }
a { color: inherit; }
img { display: block; }
:where(a, button):focus-visible { outline: 3px solid var(--phosphor); outline-offset: 4px; }
.inner-page :where(a, button):focus-visible { outline-color: var(--copper); }
.inner-page .page-hero :where(a, button):focus-visible,
.inner-page .site-header :where(a, button):focus-visible,
footer :where(a, button):focus-visible { outline-color: var(--phosphor); }
.skip-link { position: fixed; top: 8px; left: 8px; z-index: 20; padding: 8px 12px; background: var(--paper); transform: translateY(-150%); }
.skip-link:focus { transform: none; }

.site-header { position: absolute; z-index: 10; top: 0; left: 50%; width: min(calc(100% - 48px), var(--max)); height: 88px; transform: translateX(-50%); display: flex; align-items: center; justify-content: space-between; color: var(--paper); border-bottom: 1px solid rgba(243, 240, 231, .16); }
.brand { display: inline-flex; align-items: center; gap: 11px; color: inherit; text-decoration: none; font-size: 22px; font-weight: 700; letter-spacing: -.04em; }
.brand img { width: 43px; height: 27px; filter: invert(1); }
nav { display: flex; align-items: center; gap: 24px; }
nav a { font-size: 13px; font-weight: 600; text-decoration: none; }
nav a:not(.nav-cta):hover { color: var(--copper); }
.nav-cta { padding: 10px 16px; border: 1px solid rgba(243, 240, 231, .45); }
.nav-cta:hover { border-color: var(--copper); color: var(--copper); }
.menu-button { display: none; border: 1px solid var(--line); padding: 7px 10px; color: inherit; background: transparent; font: 600 13px var(--sans); }

.hero { min-height: 760px; padding: 176px max(24px, calc((100vw - var(--max)) / 2)) 96px; display: grid; grid-template-columns: 1.03fr .97fr; align-items: center; gap: 72px; color: var(--paper); background: var(--carbon); overflow: hidden; position: relative; }
.hero::before { content: ""; position: absolute; inset: 0; opacity: .22; background-image: linear-gradient(rgba(152,162,168,.13) 1px, transparent 1px), linear-gradient(90deg, rgba(152,162,168,.13) 1px, transparent 1px); background-size: 64px 64px; mask-image: linear-gradient(to bottom, transparent 2%, black 38%, transparent 100%); }
.hero::after { content: ""; position: absolute; width: 540px; height: 540px; right: -180px; top: 80px; border: 1px solid rgba(216,121,69,.22); border-radius: 50%; box-shadow: 0 0 0 80px rgba(216,121,69,.035), 0 0 0 160px rgba(216,121,69,.025); }
.hero > * { position: relative; z-index: 1; }
.eyebrow, .section-index { margin: 0 0 22px; font: 600 11px/1.2 var(--mono); letter-spacing: .12em; text-transform: uppercase; }
.eyebrow { display: flex; align-items: center; gap: 9px; color: var(--nickel); }
.live-dot { width: 7px; height: 7px; border-radius: 50%; background: var(--phosphor); box-shadow: 0 0 14px rgba(185,231,105,.7); }
h1, h2, h3, p { margin-top: 0; }
h1 { margin-bottom: 30px; font-size: clamp(62px, 7.4vw, 106px); line-height: .87; letter-spacing: -.075em; }
h1 span { color: var(--copper); }
.hero-lede { max-width: 650px; margin-bottom: 34px; color: #c8cccd; font-size: clamp(17px, 1.45vw, 20px); line-height: 1.6; }
.actions { display: flex; flex-wrap: wrap; gap: 12px; }
.button { min-height: 48px; display: inline-flex; align-items: center; justify-content: center; gap: 22px; padding: 12px 19px; text-decoration: none; font-size: 13px; font-weight: 700; border: 1px solid transparent; }
.button img { width: 18px; height: 18px; }
.button.primary { color: var(--carbon); background: var(--copper); }
.button.primary:hover { background: #e78a56; }
.button.secondary { color: var(--paper); border-color: rgba(243,240,231,.42); }
.button.secondary:hover, .button.dark-outline:hover { border-color: var(--copper); color: var(--copper); }
.button.dark-outline { border-color: #657078; }
.hero-facts { margin: 58px 0 0; display: grid; grid-template-columns: repeat(3, 1fr); border-top: 1px solid rgba(243,240,231,.16); }
.hero-facts div { padding: 18px 16px 0 0; }
.hero-facts div + div { padding-left: 16px; border-left: 1px solid rgba(243,240,231,.16); }
.hero-facts dt { color: var(--nickel); font: 500 10px var(--mono); text-transform: uppercase; }
.hero-facts dd { margin: 5px 0 0; font: 600 13px var(--mono); }

.system-window { width: 100%; max-width: 600px; justify-self: end; background: #0c1012; border: 1px solid #364048; box-shadow: 0 34px 80px rgba(0,0,0,.45); transform: translateY(16px); }
.window-bar { height: 46px; display: flex; align-items: center; gap: 7px; padding: 0 16px; color: #717b81; background: var(--ferrite); border-bottom: 1px solid #30383e; }
.window-bar span { width: 8px; height: 8px; border-radius: 50%; border: 1px solid #687179; }
.window-bar b { margin-left: auto; font: 500 10px var(--mono); letter-spacing: .08em; text-transform: uppercase; }
pre { margin: 0; overflow: auto; }
.system-window pre { min-height: 330px; padding: 34px; font: 14px/1.72 var(--mono); }
.prompt { color: var(--copper); }
.ok { color: var(--phosphor); }
.dim { color: #869198; }
.window-status { display: flex; justify-content: space-between; padding: 10px 16px; color: var(--nickel); background: var(--ferrite); border-top: 1px solid #30383e; font: 500 10px var(--mono); text-transform: uppercase; }
.window-status span:first-child { display: flex; align-items: center; gap: 7px; }
.window-status i { width: 6px; height: 6px; background: var(--phosphor); border-radius: 50%; }

.manifesto, .evaluator-paths, .pillars, .architecture, .service-model-home, .why-compare, .resources, .machine-control, .source-path, .status, .final-cta, footer { padding-left: max(24px, calc((100vw - var(--max)) / 2)); padding-right: max(24px, calc((100vw - var(--max)) / 2)); }
.manifesto { padding-top: 112px; padding-bottom: 88px; display: grid; grid-template-columns: 1fr 3fr; gap: 48px; border-bottom: 1px solid #c9c5ba; }
.section-index { color: #6d7477; }
h2 { font-size: clamp(39px, 5vw, 68px); line-height: 1.02; letter-spacing: -.055em; }
.manifesto h2 { margin-bottom: 28px; }
.manifesto > div p { max-width: 760px; margin-bottom: 0; color: #4d565a; font-size: 19px; }
.manifesto > div p + .human-note { margin-top: 22px; color: #7a4a31; font-size: 15px; }
.human-note strong { font-family: var(--mono); font-size: 12px; letter-spacing: .05em; text-transform: uppercase; }
.evaluator-paths { padding-top: 95px; padding-bottom: 95px; color: var(--paper); background: var(--carbon); }
.paths-heading { display: grid; grid-template-columns: .65fr 1.55fr 1fr; gap: 48px; align-items: end; }
.paths-heading h2 { margin-bottom: 0; font-size: clamp(37px, 4vw, 58px); }
.paths-heading > p:last-child { margin-bottom: 0; color: var(--nickel); font-size: 14px; }
.path-grid { margin-top: 50px; display: grid; grid-template-columns: repeat(3, 1fr); border-top: 1px solid #3d464c; border-left: 1px solid #3d464c; }
.path-grid article { min-height: 340px; padding: 30px; display: flex; flex-direction: column; border-right: 1px solid #3d464c; border-bottom: 1px solid #3d464c; }
.path-grid article > span { color: var(--copper); font: 10px var(--mono); text-transform: uppercase; }
.path-grid img { width: 28px; height: 28px; margin: 48px 0 22px; filter: invert(1); }
.path-grid h3 { font-size: 24px; }
.path-grid p { color: var(--nickel); font-size: 13px; }
.path-grid a { margin-top: auto; color: var(--copper); font: 600 12px var(--mono); text-underline-offset: 5px; }
.pillars { display: grid; grid-template-columns: repeat(4, 1fr); padding-bottom: 112px; }
.pillars article { min-height: 360px; padding: 36px 28px 28px 0; border-bottom: 1px solid #c9c5ba; }
.pillars article + article { padding-left: 28px; border-left: 1px solid #c9c5ba; }
.pillars img, .resource-grid img { width: 29px; height: 29px; }
.pillars .number { margin: 68px 0 18px; color: #777e80; font: 11px var(--mono); }
h3 { margin-bottom: 13px; font-size: 22px; letter-spacing: -.025em; }
.pillars article > p:last-child, .resource-grid p { color: #566064; font-size: 14px; }

.architecture { padding-top: 110px; padding-bottom: 110px; display: grid; grid-template-columns: .75fr 1.25fr; gap: 80px; color: var(--paper); background: var(--ferrite); }
.architecture-intro { align-self: center; }
.architecture-intro p:not(.section-index) { color: #b0b7ba; }
.architecture code, .resource-grid code { font-family: var(--mono); }
.text-link { display: inline-block; margin-top: 24px; color: var(--copper); font: 600 13px var(--mono); text-underline-offset: 5px; }
.flow { padding: 34px; background: #0c1012; border: 1px solid #3a444b; }
.flow-row { display: grid; gap: 10px; }
.flow-row.clients { grid-template-columns: repeat(3, 1fr); }
.flow-row > div { min-height: 105px; padding: 16px; display: flex; flex-direction: column; align-items: center; justify-content: center; background: var(--ferrite); border: 1px solid #3a444b; text-align: center; }
.flow-row img { width: 22px; margin-bottom: 8px; filter: invert(1); opacity: .82; }
.flow-row span, .flow-row strong { font: 600 13px var(--mono); }
.flow-row small, .daemon span { margin-top: 4px; color: var(--nickel); font: 10px var(--mono); }
.flow .brace { color: var(--bus-blue); font-size: 19px; }
.connector { height: 60px; display: grid; place-items: center; position: relative; color: var(--nickel); font: 9px var(--mono); text-transform: uppercase; }
.connector::before { content: ""; position: absolute; inset: 0 50%; border-left: 1px solid var(--copper); }
.connector span { position: relative; padding: 3px 8px; background: #0c1012; }
.daemon { padding: 19px; display: grid; place-items: center; border: 1px solid var(--copper); background: rgba(216,121,69,.08); }
.daemon small { color: var(--copper); font: 9px var(--mono); letter-spacing: .1em; }
.daemon strong { font: 700 30px var(--mono); }
.flow-row.primitives { grid-template-columns: repeat(4, 1fr); }
.flow-row.primitives div { min-height: 88px; padding: 10px; }
.flow-row.primitives strong { color: var(--paper); font-size: 11px; }
.kernel { padding: 13px; color: var(--carbon); background: var(--nickel); font: 700 10px var(--mono); text-align: center; letter-spacing: .12em; }

.service-model-home { padding-top: 110px; padding-bottom: 110px; display: grid; grid-template-columns: .8fr 1.2fr; gap: 95px; color: var(--paper); background: var(--ferrite); }
.service-model-copy { align-self: center; }
.service-model-copy h2 { font-size: clamp(39px, 4.4vw, 62px); }
.service-model-copy > p:not(.section-index) { color: var(--nickel); }
.service-model-copy .button { margin-top: 22px; color: var(--paper); }
.service-model-copy .button img { width: 17px; filter: invert(1); }
.service-model-flow { padding: 30px; display: flex; flex-direction: column; justify-content: center; background: var(--carbon); border: 1px solid #3c454a; }
.service-model-flow > div { min-height: 105px; padding: 20px; display: flex; flex-direction: column; justify-content: center; border: 1px solid #4a555b; }
.service-model-flow small { margin-bottom: 10px; color: var(--copper); font: 9px var(--mono); letter-spacing: .1em; }
.service-model-flow strong { font: 600 13px var(--mono); }
.service-model-flow > i { height: 52px; display: grid; place-items: center; color: var(--nickel); font: 9px var(--mono); font-style: normal; text-transform: uppercase; position: relative; }
.service-model-flow > i::before { content: ""; position: absolute; inset: 0 50%; border-left: 1px solid var(--copper); }
.service-model-flow > i { isolation: isolate; }
.service-model-flow > i::after { content: ""; position: absolute; z-index: -1; width: 180px; height: 20px; background: var(--carbon); }
.service-model-flow .providers { border-color: var(--copper); background: rgba(216,121,69,.06); }
.service-model-flow .providers span { display: grid; grid-template-columns: repeat(4, 1fr); gap: 7px; }
.service-model-flow .providers b { padding: 10px 5px; border: 1px solid #4a555b; font: 600 10px var(--mono); text-align: center; }

.why-compare { padding-top: 110px; padding-bottom: 110px; color: var(--paper); background: var(--carbon); }
.why-compare .section-heading { margin-bottom: 48px; }
.why-compare .section-heading > p { color: var(--nickel); }
.comparison { border-top: 1px solid #3c454a; }
.comparison > div { min-height: 78px; display: grid; grid-template-columns: .7fr 1.15fr 1.15fr; align-items: center; gap: 32px; border-bottom: 1px solid #3c454a; }
.comparison-head { min-height: 48px !important; color: var(--nickel); font: 600 10px var(--mono); text-transform: uppercase; letter-spacing: .1em; }
.comparison strong { color: var(--paper); font-size: 14px; }
.comparison span { color: #9da5a9; font-size: 14px; }
.comparison div span:last-child { color: var(--paper); }
.comparison-cta { margin-top: 32px; color: var(--paper); border-color: #596268; }
.comparison-cta:hover { color: var(--copper); border-color: var(--copper); }
.comparison-cta img { filter: invert(1); }

.resources { padding-top: 112px; padding-bottom: 112px; }
.section-heading { display: grid; grid-template-columns: 2fr 1fr; gap: 80px; align-items: end; margin-bottom: 58px; }
.section-heading h2 { margin-bottom: 0; }
.section-heading > p { color: #596267; }
.resource-grid { display: grid; grid-template-columns: repeat(2, 1fr); border-top: 1px solid #bbb8af; border-left: 1px solid #bbb8af; }
.resource-grid article { min-height: 270px; padding: 35px; display: grid; grid-template-columns: 1fr auto; align-content: start; border-right: 1px solid #bbb8af; border-bottom: 1px solid #bbb8af; }
.resource-grid h3 { margin-top: 48px; grid-column: 1 / -1; }
.resource-grid p { max-width: 490px; grid-column: 1 / -1; }
.resource-grid code { align-self: start; color: #777e80; font-size: 11px; }

.machine-control { padding-top: 110px; padding-bottom: 110px; background: #dedbd2; }
.machine-intro { display: grid; grid-template-columns: .55fr 1.45fr; column-gap: 55px; }
.machine-intro .section-index { grid-row: 1 / 3; }
.machine-intro h2 { max-width: 950px; margin-bottom: 25px; }
.machine-intro > p:last-child { max-width: 750px; color: #566064; font-size: 17px; }
.machine-grid { margin-top: 60px; display: grid; grid-template-columns: repeat(3, 1fr); border-top: 1px solid #aaa8a1; border-left: 1px solid #aaa8a1; }
.machine-grid article { min-height: 535px; padding: 30px; display: flex; flex-direction: column; border-right: 1px solid #aaa8a1; border-bottom: 1px solid #aaa8a1; }
.machine-icon { display: flex; align-items: center; justify-content: space-between; color: #6e7679; font: 10px var(--mono); text-transform: uppercase; }
.machine-icon img { width: 27px; height: 27px; }
.machine-grid h3 { margin-top: 75px; font-size: 25px; }
.machine-grid > article > p { color: #515b5f; font-size: 14px; }
.machine-grid ul { margin: 10px 0 28px; padding: 0; list-style: none; }
.machine-grid li { padding: 6px 0 6px 17px; position: relative; color: #3f494d; font-size: 12px; border-bottom: 1px solid rgba(84,91,94,.18); }
.machine-grid li::before { content: "+"; position: absolute; left: 0; color: var(--copper); font-family: var(--mono); }
.machine-grid code { margin-top: auto; color: #7a4a31; font: 10px var(--mono); }
.machine-boundary { margin: 24px 0 0; color: #596367; font-size: 12px; }
.machine-boundary strong { color: #8a6413; font-family: var(--mono); text-transform: uppercase; }

.source-path { padding-top: 96px; padding-bottom: 96px; color: var(--paper); background: var(--carbon); }
.source-path > div { display: flex; justify-content: space-between; gap: 40px; }
.source-path h2 { max-width: 760px; }
.source-path .build-heading { display: grid; grid-template-columns: 1fr 1fr; gap: 90px; align-items: end; }
.self-host-proof { padding: 26px 0 2px 28px; display: flex !important; flex-direction: column; border-left: 1px solid #3a4348; }
.self-host-proof .section-index { margin-bottom: 12px; color: var(--copper); }
.self-host-proof strong { margin-bottom: 8px; font-size: 21px; }
.self-host-proof span { color: var(--nickel); font-size: 14px; }
.self-host-proof a { margin-top: 17px; color: var(--copper); font: 600 11px var(--mono); text-underline-offset: 4px; }
.source-path ol { margin: 55px 0 0; padding: 0; display: grid; grid-template-columns: repeat(6, 1fr); list-style: none; border-top: 1px solid #3a4348; }
.source-path li { min-height: 200px; padding: 22px; position: relative; display: flex; flex-direction: column; border-bottom: 1px solid #3a4348; }
.source-path li + li { border-left: 1px solid #3a4348; }
.source-path li::after { content: ""; position: absolute; right: -8px; top: calc(50% - 8px); z-index: 1; width: 15px; height: 15px; transform: rotate(45deg); background: var(--carbon); border-top: 1px solid var(--copper); border-right: 1px solid var(--copper); }
.source-path li:last-child::after { display: none; }
.source-path li span { color: var(--copper); font: 10px var(--mono); }
.source-path li img { width: 28px; height: 28px; margin: 38px 0 12px; filter: invert(1); }
.source-path li strong { font-size: 16px; }
.source-path li small { color: var(--nickel); }
.pipeline-notes { display: grid !important; grid-template-columns: repeat(3, 1fr); gap: 0 !important; border-bottom: 1px solid #3a4348; }
.pipeline-notes p { margin: 0; padding: 26px 26px 26px 0; display: flex; flex-direction: column; }
.pipeline-notes p + p { padding-left: 26px; border-left: 1px solid #3a4348; }
.pipeline-notes strong { margin-bottom: 6px; font-size: 13px; }
.pipeline-notes span { color: var(--nickel); font-size: 12px; }

.status { padding-top: 112px; padding-bottom: 112px; display: grid; grid-template-columns: 1fr 1fr; gap: 110px; background: #dedbd2; }
.status-copy > p:not(.section-index) { max-width: 560px; color: #505a5f; font-size: 17px; }
.status-copy .actions { margin-top: 32px; }
.proof-list { border-top: 1px solid #aaa8a1; }
.proof-list > div { padding: 24px 0; display: grid; grid-template-columns: 60px 1fr; border-bottom: 1px solid #aaa8a1; }
.proof-list > div > span { color: #73797b; font: 11px var(--mono); }
.proof-list p { margin: 0; display: flex; flex-direction: column; }
.proof-list strong { margin-bottom: 4px; font-size: 16px; }
.proof-list small { color: #5c6568; font-size: 13px; }

.final-cta { padding-top: 120px; padding-bottom: 120px; display: flex; flex-direction: column; align-items: center; color: var(--paper); background: var(--ferrite); text-align: center; }
.final-cta > img { margin-bottom: 35px; filter: invert(1); }
.final-cta h2 { margin-bottom: 18px; }
.final-cta > p:not(.section-index) { color: var(--nickel); }
.final-cta .actions { margin-top: 22px; }
footer { min-height: 112px; display: flex; align-items: center; gap: 40px; color: var(--nickel); background: var(--carbon); border-top: 1px solid #30383d; font-size: 12px; }
.footer-brand { color: var(--paper); }
footer p { margin: 0; }
footer > div { margin-left: auto; display: flex; gap: 24px; }
footer a { text-decoration: none; }
footer a[aria-current="page"] { color: var(--copper); }
footer a:hover { color: var(--copper); }

/* Editorial pages */
.inner-page { background: var(--paper); }
.inner-page .site-header { position: absolute; }
.inner-page nav a[aria-current="page"] { color: var(--copper); }
.page-hero { min-height: 650px; padding: 190px max(24px, calc((100vw - var(--max)) / 2)) 100px; display: flex; flex-direction: column; justify-content: flex-end; color: var(--paper); background: var(--carbon); position: relative; overflow: hidden; }
.page-hero::after { content: ""; position: absolute; width: 580px; height: 580px; right: -100px; top: 80px; border: 1px solid rgba(216,121,69,.25); border-radius: 50%; box-shadow: 0 0 0 90px rgba(216,121,69,.035), 0 0 0 180px rgba(216,121,69,.02); }
.page-hero > * { position: relative; z-index: 1; }
.page-hero h1 { max-width: 1050px; margin-bottom: 30px; font-size: clamp(58px, 7vw, 96px); }
.page-hero > p:last-child { max-width: 750px; margin-bottom: 0; color: #b8bec1; font-size: 20px; }
.error-page { min-height: 100vh; padding: 190px max(24px, calc((100vw - var(--max)) / 2)) 120px; color: var(--paper); background: var(--carbon); }
.error-page h1 { max-width: 850px; margin: 28px 0; font-size: clamp(58px, 8vw, 110px); }
.error-page > p:not(.eyebrow) { max-width: 600px; color: #b8bec1; font-size: 20px; }
.editorial-lead, .argument-grid, .not-section, .arch-stack, .diagram-panel, .status-legend, .capability-status, .verification-section, .boundaries-section, .status-source, .service-principle, .service-deep-dive, .service-health, .service-boundaries, .proof-context, .proof-workflow, .dashboard-proof, .proof-contract { padding-left: max(24px, calc((100vw - var(--max)) / 2)); padding-right: max(24px, calc((100vw - var(--max)) / 2)); }
.editorial-lead { padding-top: 110px; padding-bottom: 110px; display: grid; grid-template-columns: 1fr 3fr; gap: 48px; }
.editorial-lead h2 { max-width: 850px; }
.editorial-lead div p { max-width: 790px; color: #505a5e; font-size: 20px; }
.argument-grid { display: grid; grid-template-columns: repeat(2, 1fr); padding-bottom: 110px; }
.argument-grid article { min-height: 390px; padding: 40px; border-top: 1px solid #bbb8af; border-right: 1px solid #bbb8af; }
.argument-grid article:nth-child(odd) { border-left: 1px solid #bbb8af; }
.argument-grid article:nth-last-child(-n+2) { border-bottom: 1px solid #bbb8af; }
.argument-grid article > span { color: var(--copper); font: 11px var(--mono); }
.argument-grid h2 { margin-top: 70px; margin-bottom: 20px; font-size: 38px; }
.argument-grid p { color: #505a5e; }
.argument-grid a { color: #9b4d25; font: 600 12px var(--mono); text-underline-offset: 5px; }
.not-section { padding-top: 110px; padding-bottom: 110px; color: var(--paper); background: var(--ferrite); }
.not-section > h2 { margin-bottom: 58px; }
.not-grid { display: grid; grid-template-columns: repeat(2, 1fr); border-top: 1px solid #3c454a; }
.not-grid p { margin: 0; padding: 28px 0; display: flex; flex-direction: column; border-bottom: 1px solid #3c454a; }
.not-grid p:nth-child(odd) { padding-right: 36px; }
.not-grid p:nth-child(even) { padding-left: 36px; border-left: 1px solid #3c454a; }
.not-grid strong { margin-bottom: 7px; }
.not-grid span { color: var(--nickel); }

.architecture-hero::after { border-radius: 0; transform: rotate(45deg); right: -220px; }
.arch-stack { padding-top: 90px; padding-bottom: 110px; }
.arch-stack > article { display: grid; grid-template-columns: 1fr 3fr; gap: 48px; padding: 58px 0; border-bottom: 1px solid #bbb8af; }
.arch-stack > article > header { display: flex; gap: 18px; align-items: flex-start; }
.arch-stack > article > header span { color: var(--copper); font: 11px var(--mono); }
.arch-stack > article > header p { margin: 0; font: 600 11px var(--mono); text-transform: uppercase; letter-spacing: .08em; }
.arch-content { max-width: 900px; }
.arch-content h2 { margin-bottom: 22px; font-size: clamp(34px, 4.5vw, 57px); }
.arch-content > p { max-width: 790px; color: #505a5e; font-size: 18px; }
.tech-tags { display: flex; flex-wrap: wrap; gap: 7px; margin-top: 28px; }
.tech-tags span { padding: 6px 10px; color: #4d575b; border: 1px solid #aeb0aa; font: 10px var(--mono); text-transform: uppercase; }
.tech-tags.copper span { color: #88401e; border-color: #ca8c68; }
.mechanism-grid { display: grid; grid-template-columns: repeat(2, 1fr); margin-top: 38px; border-top: 1px solid #bbb8af; }
.mechanism-grid p { margin: 0; padding: 25px 25px 25px 0; display: flex; flex-direction: column; border-bottom: 1px solid #bbb8af; }
.mechanism-grid p:nth-child(even) { padding-left: 25px; border-left: 1px solid #bbb8af; }
.mechanism-grid strong { margin-bottom: 7px; }
.mechanism-grid span { color: #596367; font-size: 14px; }
.slot-diagram { margin-top: 35px; display: grid; grid-template-columns: 1fr auto 1fr; align-items: center; gap: 24px; }
.slot-diagram div { padding: 24px; display: flex; flex-direction: column; border: 1px solid #aeb0aa; }
.slot-diagram small { color: #727a7d; font: 9px var(--mono); letter-spacing: .1em; }
.slot-diagram strong { margin: 12px 0 3px; font: 700 22px var(--mono); }
.slot-diagram span { color: #596367; font-size: 12px; }
.slot-diagram i { color: var(--copper); font-style: normal; }
.diagram-panel { padding-top: 100px; padding-bottom: 100px; display: grid; grid-template-columns: .7fr 1.3fr; gap: 70px; align-items: center; color: var(--paper); background: var(--ferrite); }
.diagram-panel h2 { font-size: 50px; }
.diagram-panel > div > p:not(.section-index) { color: var(--nickel); }
.diagram-preview { height: 520px; overflow: hidden; display: flex; align-items: center; justify-content: center; background: #0a0d0f; border: 1px solid #505a60; }
.diagram-preview img { width: 100%; height: 100%; object-fit: contain; padding: 18px; }

.status-hero::after { border-color: rgba(185,231,105,.16); box-shadow: 0 0 0 90px rgba(185,231,105,.025), 0 0 0 180px rgba(185,231,105,.015); }
.status-legend { min-height: 85px; display: flex; align-items: center; justify-content: center; gap: 45px; background: #dedbd2; border-bottom: 1px solid #bbb8af; }
.status-legend p { margin: 0; display: flex; align-items: center; gap: 10px; color: #596367; font-size: 12px; }
.status-provenance { padding: 22px max(24px, calc((100vw - var(--max)) / 2)); display: grid; grid-template-columns: repeat(3, 1fr); gap: 24px; color: var(--paper); background: #20272b; border-top: 1px solid #30383d; border-bottom: 1px solid #30383d; }
.status-provenance p { margin: 0; color: var(--nickel); font: 11px var(--mono); }
.status-provenance strong { display: block; margin-bottom: 4px; color: var(--copper); font-size: 9px; font-weight: 600; letter-spacing: .09em; text-transform: uppercase; }
.status-provenance code { color: var(--paper); }
.badge { width: fit-content; padding: 5px 8px; border: 1px solid; font: 700 9px var(--mono); text-transform: uppercase; letter-spacing: .07em; white-space: nowrap; }
.badge.shipped { color: #476319; border-color: #82a441; background: rgba(185,231,105,.16); }
.badge.verified { color: #276587; border-color: #69a5c6; background: rgba(95,168,211,.12); }
.badge.boundary { color: #8a6413; border-color: #bf963b; background: rgba(228,179,74,.12); }
.capability-status { padding-top: 110px; padding-bottom: 110px; }
.status-table { border-top: 1px solid #bbb8af; }
.status-table article { min-height: 126px; padding: 25px 0; display: grid; grid-template-columns: 1fr 1.6fr auto; align-items: center; gap: 40px; border-bottom: 1px solid #bbb8af; }
.status-table article > div { display: flex; align-items: center; gap: 17px; }
.status-table img { width: 25px; height: 25px; }
.status-table h3 { margin: 0; font-size: 18px; }
.status-table p { margin: 0; color: #596367; font-size: 14px; }
.verification-section { padding-top: 105px; padding-bottom: 105px; display: grid; grid-template-columns: .65fr 1.35fr; gap: 70px; color: var(--paper); background: var(--ferrite); }
.verification-section h2 { font-size: 50px; }
.verification-grid { display: grid; grid-template-columns: repeat(2, 1fr); border-top: 1px solid #3e474c; border-left: 1px solid #3e474c; }
.verification-grid a { min-height: 210px; padding: 25px; display: flex; flex-direction: column; position: relative; border-right: 1px solid #3e474c; border-bottom: 1px solid #3e474c; text-decoration: none; }
.verification-grid a:hover { background: rgba(216,121,69,.07); }
.verification-grid span { color: var(--copper); font: 10px var(--mono); }
.verification-grid strong { margin-top: 50px; font-size: 19px; }
.verification-grid p { margin-bottom: 0; color: var(--nickel); font-size: 13px; }
.verification-grid i { position: absolute; top: 20px; right: 20px; color: var(--nickel); font-style: normal; }
.boundaries-section { padding-top: 110px; padding-bottom: 110px; display: grid; grid-template-columns: .75fr 1.25fr; gap: 90px; }
.boundaries-section > div > p:not(.section-index) { color: #596367; }
.boundaries-section ul { margin: 0; padding: 0; list-style: none; border-top: 1px solid #bbb8af; }
.boundaries-section li { padding: 24px 0; display: flex; flex-direction: column; border-bottom: 1px solid #bbb8af; }
.boundaries-section li strong { margin-bottom: 7px; }
.boundaries-section li span { color: #596367; font-size: 14px; }
.site-map-list { margin: 0; padding: 0; list-style: none; border-top: 1px solid #bbb8af; counter-reset: sitemap; }
.site-map-list li { padding: 21px 0; color: #8a4b2b; font: 600 13px var(--mono); border-bottom: 1px solid #bbb8af; }
.site-map-list a { color: var(--carbon); text-underline-offset: 4px; }
.site-map-list a:hover { color: var(--copper); }
.site-map-list span { color: #596367; font: 14px/1.5 var(--sans); }
.status-source { padding-top: 110px; padding-bottom: 110px; color: var(--paper); background: var(--carbon); text-align: center; }
.status-source p:not(.section-index) { color: var(--nickel); }
.status-source .button { margin-top: 20px; }

/* Managed services */
.services-hero::after { border-radius: 45% 0 45% 0; transform: rotate(20deg); }
.service-principle { padding-top: 110px; padding-bottom: 110px; display: grid; grid-template-columns: .8fr 1.2fr; gap: 90px; }
.service-principle > div:first-child { align-self: center; }
.service-principle > div:first-child > p:not(.section-index) { color: #566064; font-size: 17px; }
.service-principle-flow { padding: 28px; color: var(--paper); background: var(--ferrite); }
.service-principle-flow p { margin: 0; min-height: 115px; padding: 20px; display: flex; flex-direction: column; justify-content: center; border: 1px solid #485259; }
.service-principle-flow p:nth-of-type(2) { border-color: var(--copper); background: rgba(216,121,69,.06); }
.service-principle-flow small { color: var(--copper); font: 9px var(--mono); }
.service-principle-flow strong { margin: 8px 0 3px; font: 600 16px var(--mono); }
.service-principle-flow span { color: var(--nickel); font-size: 12px; }
.service-principle-flow i { height: 42px; display: grid; place-items: center; color: var(--nickel); font: 9px var(--mono); font-style: normal; text-transform: uppercase; }
.service-deep-dive { padding-top: 30px; padding-bottom: 110px; }
.service-deep-dive > article { display: grid; grid-template-columns: .7fr 2.3fr; gap: 65px; padding: 70px 0; border-top: 1px solid #bbb8af; }
.service-deep-dive > article:last-child { border-bottom: 1px solid #bbb8af; }
.service-deep-dive header { display: grid; grid-template-columns: auto 1fr; align-content: start; align-items: center; gap: 13px; }
.service-deep-dive header img { width: 27px; height: 27px; }
.service-deep-dive header span { font: 700 11px var(--mono); text-transform: uppercase; }
.service-deep-dive header code { grid-column: 2; color: #747c7f; font: 10px var(--mono); }
.service-deep-dive article > div h2 { max-width: 850px; font-size: clamp(35px, 4vw, 55px); }
.service-deep-dive article > div > p { max-width: 830px; color: #505a5e; font-size: 17px; }
.service-deep-dive ul { margin: 28px 0 0; padding: 0; display: grid; grid-template-columns: repeat(2, 1fr); list-style: none; border-top: 1px solid #bbb8af; }
.service-deep-dive li { padding: 18px 25px 18px 17px; position: relative; color: #505a5e; font-size: 13px; border-bottom: 1px solid #bbb8af; }
.service-deep-dive li:nth-child(even) { padding-left: 35px; border-left: 1px solid #bbb8af; }
.service-deep-dive li::before { content: "+"; position: absolute; left: 0; color: var(--copper); font-family: var(--mono); }
.service-deep-dive li:nth-child(even)::before { left: 18px; }
.service-health { padding-top: 105px; padding-bottom: 105px; display: grid; grid-template-columns: .8fr 1.2fr; gap: 75px; color: var(--paper); background: var(--ferrite); }
.service-health > div:first-child p:not(.section-index), .health-note { color: var(--nickel); }
.health-terminal { align-self: center; border-top: 1px solid #414b50; }
.health-terminal > div { padding: 17px; display: grid; grid-template-columns: 20px 1fr 1.4fr; align-items: center; gap: 10px; border-bottom: 1px solid #414b50; font: 12px var(--mono); }
.health-terminal small { color: var(--nickel); }
.health-note { grid-column: 2; margin: -35px 0 0; font-size: 12px; }
.service-boundaries { padding-top: 110px; padding-bottom: 110px; display: grid; grid-template-columns: 1fr 3fr; gap: 50px; color: var(--paper); background: var(--carbon); }
.service-boundaries > div > p { max-width: 760px; color: var(--nickel); font-size: 17px; }
.service-boundaries .button { margin-top: 20px; }

/* Reproduced product proof */
.proof-context { padding-top: 28px; padding-bottom: 28px; display: grid; grid-template-columns: repeat(4, 1fr); gap: 1px; background: #aaa9a3; }
.proof-context div { padding: 18px; background: var(--paper); }
.proof-context small { display: block; margin-bottom: 6px; color: #747b7e; font: 9px var(--mono); letter-spacing: .08em; text-transform: uppercase; }
.proof-context strong { font-size: 13px; }
.proof-workflow { padding-top: 110px; padding-bottom: 110px; }
.workflow-grid { display: grid; grid-template-columns: repeat(3, 1fr); border-top: 1px solid #aaa9a3; border-left: 1px solid #aaa9a3; }
.workflow-grid article { min-width: 0; padding: 28px; border-right: 1px solid #aaa9a3; border-bottom: 1px solid #aaa9a3; }
.workflow-grid article > span { color: var(--copper); font: 10px var(--mono); text-transform: uppercase; }
.workflow-grid h3 { margin-top: 38px; }
.workflow-grid pre { padding: 20px; color: var(--paper); background: var(--carbon); font: 11px/1.7 var(--mono); }
.dashboard-proof { padding-top: 110px; padding-bottom: 110px; color: var(--paper); background: var(--ferrite); }
.dashboard-proof > div { max-width: 780px; }
.dashboard-proof > div > p:last-child { color: var(--nickel); font-size: 17px; }
.dashboard-proof figure { margin: 45px 0 0; background: var(--paper); border: 1px solid #465057; box-shadow: 22px 22px 0 rgba(0,0,0,.18); }
.dashboard-proof figure img { width: 100%; height: auto; }
.dashboard-proof figcaption { padding: 12px 16px; color: #596367; font: 9px var(--mono); letter-spacing: .07em; text-transform: uppercase; }
.proof-contract { padding-top: 105px; padding-bottom: 105px; display: grid; grid-template-columns: 1fr 3fr; gap: 50px; }
.proof-contract div > p { max-width: 760px; color: #505a5e; font-size: 17px; }
.proof-contract .actions { margin-top: 28px; }

@media (max-width: 980px) {
  .site-header { width: calc(100% - 40px); }
  .menu-button { display: block; }
  nav { display: none; position: absolute; top: 70px; right: 0; min-width: 220px; padding: 18px; flex-direction: column; align-items: stretch; gap: 0; background: var(--ferrite); border: 1px solid #394148; }
  nav.open { display: flex; }
  nav a { padding: 12px; }
  .hero { grid-template-columns: 1fr; padding-top: 140px; gap: 42px; }
  .system-window { justify-self: start; max-width: 680px; }
  .manifesto { grid-template-columns: 1fr; gap: 18px; }
  .paths-heading { grid-template-columns: 1fr; gap: 18px; }
  .pillars { grid-template-columns: repeat(2, 1fr); }
  .architecture, .status { grid-template-columns: 1fr; gap: 60px; }
  .service-model-home { grid-template-columns: 1fr; gap: 50px; }
  .section-heading { grid-template-columns: 1fr; gap: 24px; }
  .machine-intro { grid-template-columns: 1fr; }
  .machine-intro .section-index { grid-row: auto; }
  .machine-grid { grid-template-columns: 1fr; }
  .source-path .build-heading { grid-template-columns: 1fr; gap: 35px; }
  .source-path ol { grid-template-columns: repeat(3, 1fr); }
  .editorial-lead, .arch-stack > article, .diagram-panel, .verification-section, .boundaries-section, .service-principle, .service-deep-dive > article, .service-health, .service-boundaries { grid-template-columns: 1fr; }
  .health-note { grid-column: 1; margin-top: 0; }
  .proof-context { grid-template-columns: repeat(2, 1fr); }
  .workflow-grid { grid-template-columns: 1fr; }
  .status-table article { grid-template-columns: 1fr; gap: 15px; }
}

@media (max-width: 650px) {
  .status-provenance { grid-template-columns: 1fr; gap: 14px; }
  .hero { min-height: auto; padding-bottom: 70px; }
  h1 { font-size: 60px; }
  .hero-facts { grid-template-columns: 1fr; }
  .hero-facts div + div { padding-left: 0; border-left: 0; }
  .system-window pre { min-height: 280px; padding: 20px; font-size: 11px; }
  .manifesto, .resources, .machine-control, .status { padding-top: 78px; padding-bottom: 78px; }
  .path-grid, .pillars, .resource-grid, .source-path ol, .pipeline-notes { grid-template-columns: 1fr; }
  .evaluator-paths { padding-top: 78px; padding-bottom: 78px; }
  .pillars article + article { padding-left: 0; border-left: 0; }
  .pillars article { min-height: 300px; }
  .architecture { padding-top: 78px; padding-bottom: 78px; }
  .flow { padding: 15px; }
  .flow-row.clients { grid-template-columns: 1fr; }
  .flow-row.primitives { grid-template-columns: repeat(2, 1fr); }
  .source-path li + li { border-left: 0; }
  .source-path li::after { display: none; }
  .source-path li { min-height: 155px; }
  .self-host-proof { padding-left: 0; border-left: 0; border-top: 1px solid #3a4348; }
  .pipeline-notes p + p { padding-left: 0; border-left: 0; border-top: 1px solid #3a4348; }
  .comparison > div { padding: 20px 0; grid-template-columns: 1fr; gap: 8px; }
  .comparison-head { display: none !important; }
  .comparison strong::before { content: "Concern / "; color: var(--nickel); font: 10px var(--mono); text-transform: uppercase; }
  .comparison span:nth-child(2)::before { content: "Conventional / "; display: block; color: var(--nickel); font: 10px var(--mono); text-transform: uppercase; }
  .comparison span:last-child::before { content: "Cix / "; display: block; color: var(--copper); font: 10px var(--mono); text-transform: uppercase; }
  footer { padding-top: 30px; padding-bottom: 30px; align-items: flex-start; flex-direction: column; gap: 16px; }
  footer > div { margin-left: 0; flex-wrap: wrap; }
  .page-hero { min-height: 610px; padding-top: 150px; }
  .page-hero h1 { font-size: 56px; }
  .editorial-lead { grid-template-columns: 1fr; padding-top: 75px; padding-bottom: 75px; }
  .argument-grid, .not-grid, .mechanism-grid, .verification-grid { grid-template-columns: 1fr; }
  .argument-grid article { min-height: 340px; border-left: 1px solid #bbb8af; border-bottom: 0 !important; }
  .argument-grid article:last-child { border-bottom: 1px solid #bbb8af !important; }
  .not-grid p:nth-child(odd), .not-grid p:nth-child(even), .mechanism-grid p:nth-child(odd), .mechanism-grid p:nth-child(even) { padding-left: 0; padding-right: 0; border-left: 0; }
  .arch-stack { padding-top: 45px; }
  .arch-stack > article { gap: 28px; }
  .slot-diagram { grid-template-columns: 1fr; }
  .slot-diagram i { transform: rotate(90deg); justify-self: center; }
  .diagram-preview { height: 350px; }
  .status-legend { padding-top: 20px; padding-bottom: 20px; align-items: flex-start; flex-direction: column; gap: 12px; }
  .verification-section, .boundaries-section { gap: 35px; }
  .service-principle, .service-deep-dive > article, .service-health, .service-boundaries { gap: 35px; }
  .service-deep-dive ul { grid-template-columns: 1fr; }
  .service-deep-dive li:nth-child(even) { padding-left: 17px; border-left: 0; }
  .service-deep-dive li:nth-child(even)::before { left: 0; }
  .service-model-flow .providers span { grid-template-columns: repeat(2, 1fr); }
  .proof-context { grid-template-columns: 1fr; }
  .proof-contract { grid-template-columns: 1fr; gap: 12px; }
}

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

/* The public menu has enough destinations to outgrow a laptop header before
   the page content needs its other responsive changes. */
@media (max-width: 1200px) and (min-width: 981px) {
  .site-header { width: calc(100% - 40px); }
  .menu-button { display: block; }
  .site-header nav { display: none; position: absolute; top: 70px; right: 0; min-width: 240px; padding: 18px; flex-direction: column; align-items: stretch; gap: 0; background: var(--ferrite); border: 1px solid #394148; }
  .site-header nav.open { display: flex; }
  .site-header nav a { padding: 12px; }
}

/* Download and distribution */
.get-hero .hero-actions { margin-top: 30px; }
.release-strip { padding: 30px max(24px, calc((100vw - var(--max)) / 2)); display: grid; grid-template-columns: repeat(5, 1fr); gap: 1px; background: #aaa9a3; }
.release-strip div { min-height: 75px; padding: 18px; background: var(--paper); }
.release-strip small { display: block; margin-bottom: 7px; color: #747b7e; font: 9px var(--mono); letter-spacing: .09em; text-transform: uppercase; }
.release-strip strong { font-size: 14px; }
.verify-release { padding: 110px max(24px, calc((100vw - var(--max)) / 2)); display: grid; grid-template-columns: .85fr 1.15fr; gap: 75px; align-items: center; }
.verify-release > div:first-child > p:not(.section-index) { color: #505a5e; font-size: 17px; }
.verify-actions, .cache-story-actions { margin-top: 28px; display: flex; align-items: center; gap: 24px; }
.verify-terminal { min-width: 0; color: var(--paper); background: var(--carbon); border: 1px solid #30383e; box-shadow: 20px 20px 0 rgba(9,12,14,.08); }
.verify-terminal pre { margin: 0; padding: 28px; overflow: auto; color: var(--paper); font: 12px/1.8 var(--mono); }
.verify-terminal dl { margin: 0; padding: 20px 28px; background: var(--ferrite); border-top: 1px solid #30383e; }
.verify-terminal dl div + div { margin-top: 14px; }
.verify-terminal dt { color: var(--copper); font: 9px var(--mono); letter-spacing: .08em; text-transform: uppercase; }
.verify-terminal dd { margin: 4px 0 0; color: var(--nickel); font: 10px/1.6 var(--mono); overflow-wrap: anywhere; }
.install-facts { padding: 110px max(24px, calc((100vw - var(--max)) / 2)); color: var(--paper); background: var(--ferrite); }
.install-facts > div:first-child > p:last-child { color: var(--nickel); }
.requirements-grid { margin-top: 46px; display: grid; grid-template-columns: repeat(4, 1fr); gap: 1px; background: #424b50; }
.requirements-grid article { padding: 28px; background: var(--carbon); }
.requirements-grid img { width: 25px; filter: brightness(0) invert(1); }
.requirements-grid h3 { margin: 25px 0 10px; }
.requirements-grid p { margin: 0; color: var(--nickel); font-size: 13px; }
.manuals-section { padding: 110px max(24px, calc((100vw - var(--max)) / 2)); }
.manuals-section .section-heading > p { color: #505a5e; }
.manuals-grid { margin-top: 48px; }
.manuals-grid article { min-height: 250px; }
.manuals-grid h3 { margin-top: 42px; }
.manuals-grid p { margin-bottom: 22px; }
.manuals-more { margin-top: 30px; }
.install-actions { margin-top: 35px; display: flex; align-items: center; gap: 28px; }
.cache-story { padding: 110px max(24px, calc((100vw - var(--max)) / 2)); display: grid; grid-template-columns: .8fr 1.2fr; gap: 90px; align-items: center; }
.cache-story > div:first-child > p:not(.section-index) { color: #505a5e; }
.trust-flow { padding: 28px; color: var(--paper); background: var(--carbon); }
.trust-flow article { padding: 22px; border: 1px solid #465057; }
.trust-flow article span { color: var(--copper); font: 10px var(--mono); }
.trust-flow article strong, .trust-flow article small { display: block; }
.trust-flow article strong { margin-top: 8px; }
.trust-flow article small { margin-top: 5px; color: var(--nickel); }
.trust-flow > i { height: 45px; display: grid; place-items: center; color: var(--nickel); font: 9px var(--mono); font-style: normal; text-transform: uppercase; }
.trust-flow .trust-result { border-color: var(--copper); background: rgba(216,121,69,.06); }
.cache-properties { padding: 110px max(24px, calc((100vw - var(--max)) / 2)); color: var(--paper); background: var(--ferrite); }
.cache-properties .section-heading > p { color: var(--nickel); }
.property-grid { margin-top: 48px; display: grid; grid-template-columns: repeat(4, 1fr); border-top: 1px solid #475158; border-left: 1px solid #475158; }
.property-grid article { min-height: 260px; padding: 28px; border-right: 1px solid #475158; border-bottom: 1px solid #475158; }
.property-grid span { color: var(--copper); font: 10px var(--mono); }
.property-grid h3 { margin-top: 55px; }
.property-grid p { color: var(--nickel); font-size: 13px; }
.staging-note { padding: 105px max(24px, calc((100vw - var(--max)) / 2)); display: grid; grid-template-columns: 1fr 3fr; gap: 50px; color: var(--paper); background: var(--carbon); }
.staging-note div p { max-width: 760px; color: var(--nickel); font-size: 17px; }

@media (max-width: 980px) {
  .release-strip { grid-template-columns: repeat(3, 1fr); }
  .verify-release, .cache-story { grid-template-columns: 1fr; gap: 50px; }
  .requirements-grid, .property-grid { grid-template-columns: repeat(2, 1fr); }
}

@media (max-width: 650px) {
  .release-strip, .requirements-grid, .property-grid { grid-template-columns: 1fr; }
  .verify-actions, .cache-story-actions, .install-actions { align-items: flex-start; flex-direction: column; }
  .verify-terminal dd br { display: none; }
  .staging-note { grid-template-columns: 1fr; gap: 12px; }
}
