@font-face { font-family: "Instrument Sans"; src: url("/fonts/instrument-sans.woff2") format("woff2"); font-display: swap; }
@font-face { font-family: "Instrument Serif"; src: url("/fonts/instrument-serif-italic.woff2") format("woff2"); font-style: italic; font-display: swap; }
@font-face { font-family: "IBM Plex Mono"; src: url("/fonts/ibm-plex-mono-500.woff2") format("woff2"); font-weight: 500; font-display: swap; }

:root,
html[data-theme="dark"] {
  --page: #0b0b10;
  --surface: #111119;
  --surface-raised: #171721;
  --surface-soft: #1d1d28;
  --ink: #f3f1ec;
  --ink-soft: #b7b5bd;
  --quiet: #777681;
  --line: #292933;
  --line-strong: #3d3d49;
  --accent: #8d7cff;
  --accent-soft: #25203d;
  --accent-ink: #0e0c17;
  --cyan: #64d7df;
  --cyan-soft: #112e32;
  --amber: #f2b85b;
  --amber-soft: #342713;
  --red: #ff766c;
  --red-soft: #351a1b;
  --green: #88d26a;
  --green-soft: #1c301b;
  --grid: rgba(255,255,255,.025);
  color-scheme: dark;
}

html[data-theme="light"] {
  --page: #f5f5f1;
  --surface: #ffffff;
  --surface-raised: #fafaf7;
  --surface-soft: #f0f0eb;
  --ink: #15151b;
  --ink-soft: #5f5f69;
  --quiet: #898994;
  --line: #deded9;
  --line-strong: #c6c6c0;
  --accent: #5e49e8;
  --accent-soft: #ece9ff;
  --accent-ink: #ffffff;
  --cyan: #087d89;
  --cyan-soft: #e4f6f7;
  --amber: #9a5a00;
  --amber-soft: #fff1d6;
  --red: #c53d35;
  --red-soft: #fde8e5;
  --green: #357c24;
  --green-soft: #e9f5e4;
  --grid: rgba(20,20,26,.035);
  color-scheme: light;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body { margin: 0; color: var(--ink); background-color: var(--page); background-image: linear-gradient(var(--grid) 1px, transparent 1px), linear-gradient(90deg, var(--grid) 1px, transparent 1px); background-size: 44px 44px; font-family: "Instrument Sans", Arial, sans-serif; line-height: 1.5; }
button, input, select, textarea { color: inherit; font: inherit; }
button, select, input { border-radius: 0; }
a { color: inherit; text-decoration: none; }
img { display: block; max-width: 100%; }
[hidden] { display: none !important; }
.shell { width: min(1180px, calc(100% - 48px)); margin-inline: auto; }
.skip-link { position: fixed; left: 16px; top: -80px; z-index: 100; padding: 12px 16px; color: var(--accent-ink); background: var(--accent); }
.skip-link:focus-visible { top: 16px; }

.site-header { width: min(1280px, calc(100% - 48px)); height: 76px; display: flex; align-items: center; justify-content: space-between; gap: 24px; margin-inline: auto; border-bottom: 1px solid var(--line); }
.brand-lockup { display: flex; align-items: center; min-width: 0; gap: 12px; }
.brand-mark { width: 35px; height: 35px; display: grid; place-items: center; padding: 6px; background: #0b0b10; border: 1px solid #34343e; }
.brand-mark img { width: 100%; height: 100%; }
.brand-copy { display: grid; line-height: 1.1; }
.brand-copy strong { font-size: 12px; letter-spacing: .015em; }
.brand-copy small { margin-top: 5px; color: var(--quiet); font-size: 9px; }
.brand-divider { width: 1px; height: 24px; margin: 0 4px; background: var(--line-strong); }
.product-name { color: var(--ink-soft); font-size: 12px; font-weight: 650; }
.header-tools { display: flex; align-items: center; gap: 22px; color: var(--ink-soft); font-size: 11px; }
.header-tools > a { padding: 8px 0; }
.header-tools > a:hover { color: var(--ink); }
.runtime-pill { display: inline-flex; align-items: center; gap: 7px; padding: 8px 10px; background: var(--surface); border: 1px solid var(--line); font: 500 9px/1 "IBM Plex Mono", monospace; text-transform: uppercase; letter-spacing: .05em; }
.runtime-pill i { width: 6px; height: 6px; background: var(--green); border-radius: 50%; box-shadow: 0 0 0 4px var(--green-soft); }

.hero { min-height: 680px; display: grid; grid-template-columns: minmax(0, 1.15fr) minmax(330px, .55fr); gap: 110px; align-items: center; padding-block: 110px; }
.eyebrow, .section-tag { margin: 0 0 18px; color: var(--quiet); font: 500 10px/1.3 "IBM Plex Mono", monospace; text-transform: uppercase; letter-spacing: .08em; }
.eyebrow span { margin-right: 14px; color: var(--accent); }
.hero h1 { max-width: 790px; margin: 0; font-size: clamp(56px, 7.3vw, 98px); font-weight: 600; line-height: .92; letter-spacing: -.065em; }
.hero h1 em { color: var(--accent); font-family: "Instrument Serif", Georgia, serif; font-weight: 400; }
.hero-intro { max-width: 660px; margin: 30px 0 0; color: var(--ink-soft); font-size: 18px; line-height: 1.6; }
.hero-actions { display: flex; gap: 10px; margin-top: 38px; }
.button { min-height: 46px; display: inline-flex; align-items: center; justify-content: center; padding: 0 18px; border: 1px solid var(--line-strong); font-size: 12px; font-weight: 650; }
.button.primary { color: var(--accent-ink); background: var(--accent); border-color: var(--accent); }
.button.secondary:hover { background: var(--surface); }
.hero-console { align-self: center; padding: 20px; background: color-mix(in srgb, var(--surface) 93%, transparent); border: 1px solid var(--line); box-shadow: 0 28px 80px rgba(0,0,0,.18); backdrop-filter: blur(14px); }
.console-head { display: flex; align-items: center; justify-content: space-between; padding-bottom: 18px; color: var(--quiet); border-bottom: 1px solid var(--line); font: 500 9px/1 "IBM Plex Mono", monospace; text-transform: uppercase; }
.console-head i { width: 7px; height: 7px; background: var(--green); border-radius: 50%; }
.console-row { display: flex; align-items: center; justify-content: space-between; gap: 20px; padding: 17px 0; border-bottom: 1px solid var(--line); }
.console-row span { color: var(--ink-soft); font-size: 12px; }
.console-row strong { font: 500 14px/1 "IBM Plex Mono", monospace; }
.console-foot { display: grid; grid-template-columns: 1fr auto; gap: 8px 20px; padding-top: 18px; }
.console-foot span { color: var(--ink-soft); font-size: 12px; }
.console-foot strong { color: var(--green); font: 500 20px/1 "IBM Plex Mono", monospace; }
.console-foot small { grid-column: 1 / -1; color: var(--quiet); font-size: 10px; }

.workspace { overflow: hidden; background: var(--surface); border: 1px solid var(--line); box-shadow: 0 40px 110px rgba(0,0,0,.2); }
.workspace-head { min-height: 92px; display: flex; align-items: center; justify-content: space-between; gap: 20px; padding: 20px 26px; border-bottom: 1px solid var(--line); }
.workspace-head .section-tag { margin-bottom: 6px; }
.workspace-head h2 { margin: 0; font-size: 24px; letter-spacing: -.035em; }
.workspace-status { display: inline-flex; align-items: center; gap: 9px; color: var(--ink-soft); font: 500 9px/1 "IBM Plex Mono", monospace; text-transform: uppercase; }
.workspace-status i { width: 7px; height: 7px; background: var(--green); border-radius: 50%; }
.workspace-status.running i { background: var(--accent); animation: pulse 700ms alternate infinite; }
.workspace-status.blocked i { background: var(--red); }
.workspace-status.complete i { background: var(--cyan); }
.workspace-grid { display: grid; grid-template-columns: 330px minmax(0, 1fr); min-height: 750px; }
.controls { display: flex; flex-direction: column; border-right: 1px solid var(--line); background: var(--surface-raised); }
.control-section { position: relative; padding: 26px 24px 26px 52px; border-bottom: 1px solid var(--line); }
.control-index { position: absolute; left: 18px; top: 31px; color: var(--quiet); font: 500 9px/1 "IBM Plex Mono", monospace; }
.field { display: grid; gap: 8px; }
.field + .field { margin-top: 18px; }
.field label { color: var(--ink-soft); font-size: 11px; font-weight: 650; }
.field p, .creative-editor > p { margin: 0; color: var(--quiet); font-size: 10px; line-height: 1.5; }
.field select, .field input[type="text"], .field input[type="number"] { width: 100%; min-height: 44px; padding: 0 11px; color: var(--ink); background: var(--surface); border: 1px solid var(--line-strong); outline: 0; font-size: 12px; }
.field select:focus, .field input:focus { border-color: var(--accent); box-shadow: 0 0 0 2px var(--accent-soft); }
.editor-toggle { width: 100%; display: flex; align-items: center; justify-content: space-between; padding: 0; color: var(--ink); background: transparent; border: 0; cursor: pointer; font-size: 12px; font-weight: 650; text-align: left; }
.editor-toggle b { color: var(--accent); font: 500 18px/1 "IBM Plex Mono", monospace; }
.creative-editor { margin-top: 22px; }
.creative-editor > p { margin-bottom: 20px; }
.range-field { grid-template-columns: 1fr auto; }
.range-field input { grid-column: 1 / -1; width: 100%; accent-color: var(--accent); }
.range-field output { color: var(--accent); font: 500 10px/1 "IBM Plex Mono", monospace; }
.check-row { display: flex; gap: 9px; align-items: flex-start; margin-top: 18px; color: var(--ink-soft); font-size: 10px; }
.check-row input { margin: 2px 0 0; accent-color: var(--accent); }
.action-section { padding-block: 22px; }
.run-button { width: 100%; min-height: 48px; display: flex; align-items: center; justify-content: space-between; padding: 0 16px; color: var(--accent-ink); background: var(--accent); border: 1px solid var(--accent); cursor: pointer; font-size: 12px; font-weight: 700; }
.run-button:hover { filter: brightness(1.08); }
.run-button:disabled { opacity: .55; cursor: wait; }
.boundary-note { margin-top: auto; padding: 22px 24px; background: var(--accent-soft); border-top: 1px solid color-mix(in srgb, var(--accent) 35%, var(--line)); }
.boundary-note strong { color: var(--accent); font: 500 9px/1 "IBM Plex Mono", monospace; text-transform: uppercase; letter-spacing: .06em; }
.boundary-note p { margin: 10px 0 0; color: var(--ink-soft); font-size: 10px; line-height: 1.55; }

.results { min-width: 0; background: var(--surface); }
.empty-state, .loading-state, .error-state { min-height: 750px; display: flex; flex-direction: column; align-items: center; justify-content: center; padding: 60px; text-align: center; }
.empty-state h3, .loading-state h3, .error-state h3 { max-width: 520px; margin: 0; font-size: 30px; letter-spacing: -.04em; }
.empty-state > p:last-child, .error-state p { max-width: 480px; margin: 14px 0 0; color: var(--ink-soft); font-size: 13px; }
.empty-visual { width: 122px; height: 88px; position: relative; margin-bottom: 38px; }
.empty-visual span { width: 34px; height: 52px; position: absolute; bottom: 0; border: 1px solid var(--line-strong); }
.empty-visual span:nth-child(1) { left: 0; height: 35px; }
.empty-visual span:nth-child(2) { left: 44px; height: 62px; border-color: var(--accent); }
.empty-visual span:nth-child(3) { right: 0; height: 46px; }
.empty-visual i { width: 110px; height: 1px; position: absolute; left: 6px; top: 28px; background: var(--cyan); transform: rotate(-15deg); transform-origin: left; }
.loading-orbit { width: 72px; height: 72px; position: relative; margin-bottom: 32px; border: 1px solid var(--line-strong); border-radius: 50%; }
.loading-orbit::before, .loading-orbit::after { content: ""; position: absolute; border: 1px solid var(--line); border-radius: 50%; }
.loading-orbit::before { inset: 10px; }
.loading-orbit::after { inset: 23px; background: var(--accent); border: 0; }
.loading-orbit i { width: 8px; height: 8px; position: absolute; left: 31px; top: -4px; background: var(--cyan); border-radius: 50%; transform-origin: 4px 40px; animation: orbit 900ms linear infinite; }
.agent-progress { width: min(620px, 100%); display: grid; grid-template-columns: repeat(3, 1fr); gap: 1px; margin-top: 38px; background: var(--line); border: 1px solid var(--line); text-align: left; }
.agent-progress > div { min-height: 68px; padding: 13px; background: var(--surface); }
.agent-progress span { color: var(--quiet); font: 500 8px/1 "IBM Plex Mono", monospace; }
.agent-progress strong { display: block; margin-top: 9px; color: var(--ink-soft); font-size: 10px; }
.agent-progress > div.active { box-shadow: inset 2px 0 var(--accent); }
.agent-progress > div.complete strong { color: var(--green); }
.error-state > span { margin-bottom: 14px; color: var(--red); font: 500 10px/1 "IBM Plex Mono", monospace; letter-spacing: .08em; }

.run-result { padding: 28px; }
.result-head { display: flex; align-items: flex-start; justify-content: space-between; gap: 20px; padding-bottom: 24px; border-bottom: 1px solid var(--line); }
.result-head .section-tag { margin-bottom: 6px; }
.result-head h3 { margin: 0; font-size: 24px; letter-spacing: -.035em; }
.decision-badge { padding: 8px 10px; color: var(--accent); background: var(--accent-soft); border: 1px solid color-mix(in srgb, var(--accent) 45%, var(--line)); font: 500 9px/1 "IBM Plex Mono", monospace; text-transform: uppercase; letter-spacing: .06em; }
.decision-badge.status-data_blocked { color: var(--red); background: var(--red-soft); border-color: color-mix(in srgb, var(--red) 45%, var(--line)); }
.decision-badge.status-approved { color: var(--green); background: var(--green-soft); border-color: color-mix(in srgb, var(--green) 45%, var(--line)); }
.decision-hero { display: grid; grid-template-columns: 1fr 220px; gap: 50px; align-items: end; padding: 32px 0; border-bottom: 1px solid var(--line); }
.decision-main > span, .lift-gauge > span { color: var(--quiet); font: 500 9px/1 "IBM Plex Mono", monospace; text-transform: uppercase; letter-spacing: .07em; }
.decision-main > strong { display: block; margin-top: 12px; color: var(--accent); font-size: clamp(44px, 6vw, 72px); font-weight: 600; line-height: .95; letter-spacing: -.06em; }
.decision-main > strong[data-decision="invalid"] { color: var(--red); }
.decision-main > strong[data-decision="hold"] { color: var(--amber); }
.decision-main > strong[data-decision="iterate"] { color: var(--cyan); }
.decision-main p { max-width: 600px; margin: 18px 0 0; color: var(--ink-soft); font-size: 13px; }
.lift-gauge strong { display: block; margin-top: 10px; font: 500 28px/1 "IBM Plex Mono", monospace; }
.lift-gauge > div { height: 5px; margin-top: 16px; overflow: hidden; background: var(--surface-soft); }
.lift-gauge i { height: 100%; display: block; width: 0; background: var(--cyan); transition: width 500ms ease; }
.lift-gauge small { display: block; margin-top: 9px; color: var(--quiet); font-size: 9px; }
.metric-grid { display: grid; grid-template-columns: repeat(4, 1fr); border-bottom: 1px solid var(--line); }
.metric-grid article { min-width: 0; padding: 20px 14px; border-right: 1px solid var(--line); }
.metric-grid article:first-child { padding-left: 0; }
.metric-grid article:last-child { border-right: 0; }
.metric-grid span { display: block; color: var(--quiet); font: 500 8px/1.2 "IBM Plex Mono", monospace; text-transform: uppercase; }
.metric-grid strong { display: block; margin-top: 10px; overflow: hidden; font-size: 15px; text-overflow: ellipsis; white-space: nowrap; }
.result-tabs { display: flex; gap: 26px; border-bottom: 1px solid var(--line); }
.tab-button { position: relative; padding: 18px 0 14px; color: var(--quiet); background: transparent; border: 0; cursor: pointer; font-size: 11px; font-weight: 650; }
.tab-button.active { color: var(--ink); }
.tab-button.active::after { content: ""; height: 2px; position: absolute; left: 0; right: 0; bottom: -1px; background: var(--accent); }
.tab-panel { padding: 24px 0 0; }
.variant-board { display: grid; grid-template-columns: repeat(2, 1fr); gap: 10px; margin-bottom: 28px; }
.variant-card { padding: 18px; background: var(--surface-raised); border: 1px solid var(--line); }
.variant-card > div:first-child { display: flex; align-items: center; justify-content: space-between; gap: 12px; }
.variant-card > div span, .variant-card > div b { color: var(--quiet); font: 500 8px/1 "IBM Plex Mono", monospace; text-transform: uppercase; }
.variant-card > div b { color: var(--accent); }
.variant-card.decision-invalid > div b { color: var(--red); }
.variant-card.decision-hold > div b { color: var(--amber); }
.variant-card.decision-iterate > div b { color: var(--cyan); }
.variant-card h4 { margin: 14px 0 0; font-size: 13px; }
.variant-card > strong { display: block; margin-top: 20px; font: 500 31px/1 "IBM Plex Mono", monospace; }
.variant-card > strong small { color: var(--quiet); font-size: 10px; }
.variant-card dl { display: grid; grid-template-columns: repeat(4, 1fr); gap: 10px; margin: 20px 0 0; }
.variant-card dl div { min-width: 0; }
.variant-card dt { color: var(--quiet); font: 500 7px/1 "IBM Plex Mono", monospace; text-transform: uppercase; }
.variant-card dd { margin: 7px 0 0; font-size: 10px; }
.panel-heading { display: flex; align-items: center; justify-content: space-between; gap: 20px; margin-bottom: 12px; }
.panel-heading h4 { margin: 0; font-size: 13px; }
.panel-heading span { color: var(--quiet); font: 500 8px/1 "IBM Plex Mono", monospace; text-transform: uppercase; }
.finding-list, .learning-list { display: grid; gap: 8px; }
.finding-item, .learning-item { padding: 16px; border: 1px solid var(--line); }
.finding-item > div { display: flex; align-items: center; justify-content: space-between; gap: 14px; }
.severity { color: var(--amber); font: 500 8px/1 "IBM Plex Mono", monospace; text-transform: uppercase; }
.severity.blocking, .severity.critical { color: var(--red); }
.finding-item > div small { color: var(--quiet); font: 500 8px/1 "IBM Plex Mono", monospace; }
.finding-item h4, .learning-item h4 { margin: 10px 0 0; font-size: 12px; }
.finding-item p, .learning-item p { margin: 7px 0 0; color: var(--ink-soft); font-size: 11px; }
.finding-item footer { display: flex; gap: 18px; margin-top: 13px; padding-top: 11px; color: var(--quiet); border-top: 1px solid var(--line); font: 500 8px/1 "IBM Plex Mono", monospace; }
.empty-list { margin: 0; padding: 24px; color: var(--quiet); border: 1px dashed var(--line-strong); font-size: 11px; text-align: center; }
.learning-class { color: var(--cyan); font: 500 8px/1 "IBM Plex Mono", monospace; text-transform: uppercase; }
.learning-item small { display: block; margin-top: 12px; color: var(--quiet); font: 500 8px/1 "IBM Plex Mono", monospace; }
.claim-contract { margin-top: 26px; }
.claim-contract > div:last-child { border: 1px solid var(--line); }
.claim-contract article { display: grid; grid-template-columns: 100px minmax(0, 1fr) auto; gap: 16px; align-items: center; padding: 13px; border-bottom: 1px solid var(--line); }
.claim-contract article:last-child { border-bottom: 0; }
.claim-contract article span { color: var(--accent); font: 500 8px/1 "IBM Plex Mono", monospace; text-transform: uppercase; }
.claim-contract article p { margin: 0; color: var(--ink-soft); font-size: 10px; }
.claim-contract article b { color: var(--green); font: 500 8px/1 "IBM Plex Mono", monospace; text-transform: uppercase; }
.evidence-list, .trace-list { border: 1px solid var(--line); }
.evidence-list article, .trace-list article { display: grid; grid-template-columns: 120px minmax(0, 1fr); gap: 18px; padding: 14px; border-bottom: 1px solid var(--line); }
.evidence-list article:last-child, .trace-list article:last-child { border-bottom: 0; }
.evidence-list article > div:first-child { display: grid; align-content: start; gap: 7px; }
.evidence-list article > div:first-child span { color: var(--accent); font: 500 8px/1 "IBM Plex Mono", monospace; text-transform: uppercase; }
.evidence-list article > div:first-child small { color: var(--quiet); font-size: 8px; }
.evidence-list strong, .trace-list strong { font-size: 11px; }
.evidence-list p, .trace-list p { margin: 5px 0; color: var(--ink-soft); font-size: 10px; }
.evidence-list code { display: block; overflow: hidden; color: var(--quiet); font: 500 7px/1.2 "IBM Plex Mono", monospace; text-overflow: ellipsis; white-space: nowrap; }
.trace-number { color: var(--accent); font: 500 11px/1 "IBM Plex Mono", monospace; }
.trace-list small { color: var(--quiet); font: 500 8px/1 "IBM Plex Mono", monospace; }
.approval-panel { display: grid; grid-template-columns: 1fr auto; gap: 24px; align-items: end; margin-top: 26px; padding: 20px; background: var(--accent-soft); border: 1px solid color-mix(in srgb, var(--accent) 45%, var(--line)); }
.approval-panel .section-tag { margin-bottom: 7px; color: var(--accent); }
.approval-panel h4 { margin: 0; font-size: 17px; }
.approval-panel p:last-child { margin: 7px 0 0; color: var(--ink-soft); font-size: 10px; }
.approval-actions { display: flex; gap: 8px; }
.approval-actions button { min-height: 40px; padding: 0 14px; background: transparent; border: 1px solid var(--line-strong); cursor: pointer; font-size: 10px; font-weight: 650; }
.approval-actions .approve-button { color: var(--accent-ink); background: var(--accent); border-color: var(--accent); }
.approval-actions button:disabled { opacity: .5; cursor: wait; }

.proof-band { margin-top: 120px; background: var(--surface); border-block: 1px solid var(--line); }
.proof-grid { display: grid; grid-template-columns: repeat(4, 1fr); }
.proof-grid article { min-height: 210px; display: flex; flex-direction: column; padding: 30px 24px; border-right: 1px solid var(--line); }
.proof-grid article:first-child { padding-left: 0; }
.proof-grid article:last-child { border-right: 0; }
.proof-grid span { color: var(--quiet); font: 500 9px/1 "IBM Plex Mono", monospace; text-transform: uppercase; }
.proof-grid strong { margin-top: auto; color: var(--accent); font: 500 37px/1 "IBM Plex Mono", monospace; }
.proof-grid p { margin: 12px 0 0; color: var(--ink-soft); font-size: 10px; }

.baseline-section, .architecture-section, .technical-section, .observability-section { padding-block: 130px; }
.baseline-section { display: grid; grid-template-columns: minmax(0, .9fr) minmax(420px, 1.1fr); gap: 110px; align-items: center; }
.baseline-copy h2, .section-heading h2, .technical-section h2, .observability-section h2 { margin: 0; font-size: clamp(42px, 5.4vw, 70px); line-height: .98; letter-spacing: -.055em; }
.baseline-copy > p:not(.section-tag), .section-heading > p:last-child, .technical-section > div:first-child > p:not(.section-tag) { margin: 24px 0 0; color: var(--ink-soft); font-size: 15px; line-height: 1.65; }
.baseline-copy ul { margin: 34px 0 0; padding: 0; list-style: none; border-top: 1px solid var(--line); }
.baseline-copy li { display: flex; justify-content: space-between; gap: 20px; padding: 15px 0; border-bottom: 1px solid var(--line); }
.baseline-copy li span { color: var(--ink-soft); font-size: 11px; }
.baseline-copy li strong { font: 500 11px/1.5 "IBM Plex Mono", monospace; }
.baseline-card { padding: 22px; background: var(--surface); border: 1px solid var(--line); box-shadow: 0 26px 70px rgba(0,0,0,.12); }
.baseline-card-head { display: flex; justify-content: space-between; gap: 20px; padding-bottom: 18px; border-bottom: 1px solid var(--line); }
.baseline-card-head span, .baseline-card-head strong { font: 500 9px/1 "IBM Plex Mono", monospace; }
.baseline-card-head span { color: var(--quiet); }
.baseline-card-head strong { color: var(--amber); text-transform: uppercase; }
.baseline-inputs { display: grid; grid-template-columns: 1fr 1fr; gap: 14px; margin-top: 18px; }
.baseline-inputs label { display: grid; gap: 7px; color: var(--quiet); font-size: 9px; }
.baseline-inputs input, .baseline-inputs select { min-height: 42px; padding: 0 10px; color: var(--ink); background: var(--surface-raised); border: 1px solid var(--line-strong); outline: 0; font-size: 11px; }
.baseline-card > button { width: 100%; min-height: 44px; margin-top: 16px; color: var(--accent-ink); background: var(--accent); border: 0; cursor: pointer; font-size: 11px; font-weight: 700; }
.baseline-card > button:disabled { opacity: .55; }
.baseline-result { min-height: 152px; margin-top: 16px; padding: 18px; background: var(--surface-raised); border: 1px solid var(--line); }
.baseline-result span { color: var(--quiet); font: 500 8px/1 "IBM Plex Mono", monospace; text-transform: uppercase; }
.baseline-result strong { display: block; margin-top: 14px; font: 500 26px/1 "IBM Plex Mono", monospace; }
.baseline-result p { margin: 11px 0 0; color: var(--ink-soft); font-size: 10px; }
.baseline-result small { display: block; margin-top: 10px; color: var(--cyan); font-size: 9px; }

.architecture-section { border-top: 1px solid var(--line); }
.section-heading { max-width: 790px; margin-bottom: 55px; }
.section-heading.compact { margin-bottom: 38px; }
.architecture-flow { display: grid; grid-template-columns: 1fr 34px 1fr 34px 1.55fr 34px 1fr 34px 1fr; align-items: stretch; padding: 28px; background: var(--surface); border: 1px solid var(--line); }
.architecture-flow > article, .flow-agents { min-height: 150px; display: flex; flex-direction: column; padding: 15px; border: 1px solid var(--line-strong); }
.architecture-flow > i { align-self: center; height: 1px; background: var(--line-strong); }
.architecture-flow span { color: var(--quiet); font: 500 8px/1 "IBM Plex Mono", monospace; text-transform: uppercase; }
.architecture-flow strong { margin-top: auto; font-size: 12px; line-height: 1.3; }
.architecture-flow small { margin-top: 7px; color: var(--ink-soft); font-size: 9px; }
.architecture-flow .flow-gate { border-color: var(--red); }
.architecture-flow .flow-synthesis { border-color: var(--cyan); }
.architecture-flow .flow-approval { color: var(--accent-ink); background: var(--accent); border-color: var(--accent); }
.architecture-flow .flow-approval span, .architecture-flow .flow-approval small { color: color-mix(in srgb, var(--accent-ink) 68%, transparent); }
.flow-agents { border-color: var(--accent); }
.flow-agents > div { display: grid; grid-template-columns: 1fr 1fr; gap: 6px; margin-top: 18px; }
.flow-agents b { padding: 7px; color: var(--ink-soft); background: var(--surface-raised); font: 500 8px/1 "IBM Plex Mono", monospace; }
.decision-notes { display: grid; grid-template-columns: repeat(3, 1fr); border: 1px solid var(--line); border-top: 0; }
.decision-notes article { padding: 24px; border-right: 1px solid var(--line); }
.decision-notes article:last-child { border-right: 0; }
.decision-notes span { color: var(--accent); font: 500 8px/1 "IBM Plex Mono", monospace; text-transform: uppercase; }
.decision-notes h3 { margin: 13px 0 0; font-size: 15px; }
.decision-notes p { margin: 9px 0 0; color: var(--ink-soft); font-size: 10px; }
.diagram-library { background: var(--surface); border: 1px solid var(--line); border-top: 0; }
.diagram-library summary { display: flex; align-items: center; justify-content: space-between; gap: 20px; padding: 18px 24px; cursor: pointer; list-style: none; }
.diagram-library summary::-webkit-details-marker { display: none; }
.diagram-library summary span { font-size: 11px; font-weight: 650; }
.diagram-library summary b { color: var(--accent); font: 500 8px/1 "IBM Plex Mono", monospace; text-transform: uppercase; }
.diagram-grid { display: grid; grid-template-columns: repeat(2, 1fr); border-top: 1px solid var(--line); }
.diagram-grid figure { margin: 0; padding: 16px; border-right: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.diagram-grid figure:nth-child(2n) { border-right: 0; }
.diagram-grid figure:nth-last-child(-n+2) { border-bottom: 0; }
.diagram-grid a { min-height: 220px; display: flex; align-items: center; justify-content: center; padding: 12px; background: #f6f5f1; border: 1px solid #dddcd6; }
.diagram-grid img { width: 100%; max-height: 290px; object-fit: contain; }
.diagram-grid figcaption { margin-top: 9px; color: var(--quiet); font: 500 8px/1 "IBM Plex Mono", monospace; text-transform: uppercase; }

.technical-section { display: grid; grid-template-columns: minmax(0, .85fr) minmax(430px, 1.15fr); gap: 100px; align-items: center; border-top: 1px solid var(--line); }
.technical-section a { display: inline-flex; gap: 12px; margin-top: 28px; padding-bottom: 4px; border-bottom: 1px solid var(--ink); font-size: 11px; font-weight: 650; }
.tech-grid { display: grid; grid-template-columns: repeat(2, 1fr); border: 1px solid var(--line); }
.tech-grid div { min-height: 120px; display: flex; align-items: center; gap: 14px; padding: 20px; background: var(--surface); border-right: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.tech-grid div:nth-child(2n) { border-right: 0; }
.tech-grid div:nth-last-child(-n+2) { border-bottom: 0; }
.tech-grid div:last-child { grid-column: 1 / -1; border-right: 0; }
.tech-grid img { width: 34px; height: 34px; object-fit: contain; filter: grayscale(1); }
html[data-theme="dark"] .tech-grid img { filter: grayscale(1) invert(.88); }
.tech-grid span { font-size: 12px; font-weight: 650; }

.observability-section { border-top: 1px solid var(--line); }
.observability-grid { display: grid; grid-template-columns: repeat(3, 1fr); }
.observability-grid article { min-height: 300px; display: flex; flex-direction: column; padding: 26px; background: var(--surface); border: 1px solid var(--line); border-right: 0; }
.observability-grid article:last-child { border-right: 1px solid var(--line); }
.observability-grid article > span { color: var(--accent); font: 500 48px/1 "IBM Plex Mono", monospace; }
.observability-grid h3 { margin: auto 0 0; font-size: 17px; }
.observability-grid p { margin: 12px 0 0; color: var(--ink-soft); font-size: 10px; }

.site-footer { padding: 40px 0; background: var(--surface); border-top: 1px solid var(--line); }
.footer-inner { display: grid; grid-template-columns: 1fr 1fr auto; gap: 26px; align-items: center; }
.footer-brand { display: grid; grid-template-columns: 32px 1fr; column-gap: 11px; align-items: center; }
.footer-brand img { grid-row: 1 / 3; width: 32px; height: 32px; padding: 6px; background: #0b0b10; border: 1px solid #34343e; }
.footer-brand span { font-size: 11px; font-weight: 650; }
.footer-brand small { color: var(--quiet); font-size: 8px; }
.footer-links { display: flex; gap: 18px; color: var(--ink-soft); font-size: 10px; }

@keyframes pulse { to { opacity: .3; } }
@keyframes orbit { to { transform: rotate(360deg); } }

@media (max-width: 1040px) {
  .hero { grid-template-columns: 1fr; gap: 60px; }
  .hero-console { width: min(500px, 100%); }
  .workspace-grid { grid-template-columns: 300px minmax(0, 1fr); }
  .architecture-flow { grid-template-columns: 1fr; gap: 10px; }
  .architecture-flow > i { width: 1px; height: 18px; justify-self: center; }
  .baseline-section, .technical-section { gap: 55px; }
}

@media (max-width: 820px) {
  .site-header, .shell { width: min(100% - 32px, 1180px); }
  .header-tools > a, .runtime-pill { display: none; }
  .hero { min-height: auto; padding-block: 85px; }
  .hero h1 { font-size: clamp(54px, 13vw, 78px); }
  .workspace { width: 100%; border-inline: 0; }
  .workspace-grid { grid-template-columns: 1fr; }
  .controls { border-right: 0; border-bottom: 1px solid var(--line); }
  .boundary-note { display: none; }
  .empty-state, .loading-state, .error-state { min-height: 620px; }
  .proof-grid { grid-template-columns: 1fr 1fr; }
  .proof-grid article:nth-child(2) { border-right: 0; }
  .proof-grid article:nth-child(-n+2) { border-bottom: 1px solid var(--line); }
  .baseline-section, .technical-section { grid-template-columns: 1fr; }
  .decision-notes { grid-template-columns: 1fr; }
  .decision-notes article { border-right: 0; border-bottom: 1px solid var(--line); }
  .decision-notes article:last-child { border-bottom: 0; }
  .observability-grid { grid-template-columns: 1fr; }
  .observability-grid article { min-height: 220px; border-right: 1px solid var(--line); border-bottom: 0; }
  .observability-grid article:last-child { border-bottom: 1px solid var(--line); }
  .footer-inner { grid-template-columns: 1fr 1fr; }
  .footer-links { grid-column: 1 / -1; }
}

@media (max-width: 600px) {
  .site-header { height: 66px; }
  .brand-copy small, .brand-divider, .product-name { display: none; }
  .hero { padding-block: 65px; }
  .hero-intro { font-size: 15px; }
  .hero-actions { flex-direction: column; }
  .workspace-head { padding: 18px 16px; }
  .workspace-head h2 { font-size: 20px; }
  .workspace-status { display: none; }
  .control-section { padding-right: 16px; }
  .run-result { padding: 22px 16px; }
  .result-head { display: grid; }
  .decision-badge { justify-self: start; }
  .decision-hero { grid-template-columns: 1fr; gap: 28px; }
  .metric-grid { grid-template-columns: 1fr 1fr; }
  .metric-grid article:nth-child(2) { border-right: 0; }
  .metric-grid article:nth-child(-n+2) { border-bottom: 1px solid var(--line); }
  .result-tabs { gap: 20px; overflow-x: auto; }
  .variant-board { grid-template-columns: 1fr; }
  .claim-contract article { grid-template-columns: 80px 1fr; }
  .claim-contract article b { grid-column: 2; }
  .evidence-list article, .trace-list article { grid-template-columns: 1fr; }
  .approval-panel { grid-template-columns: 1fr; }
  .approval-actions { justify-content: stretch; }
  .approval-actions button { flex: 1; }
  .agent-progress { grid-template-columns: 1fr 1fr; }
  .proof-grid { grid-template-columns: 1fr; }
  .proof-grid article, .proof-grid article:nth-child(2) { min-height: 170px; padding-left: 20px; border-right: 0; border-bottom: 1px solid var(--line); }
  .proof-grid article:last-child { border-bottom: 0; }
  .baseline-section, .architecture-section, .technical-section, .observability-section { padding-block: 90px; }
  .baseline-section { grid-template-columns: 1fr; }
  .baseline-inputs { grid-template-columns: 1fr; }
  .architecture-flow { padding: 16px; }
  .diagram-grid { grid-template-columns: 1fr; }
  .diagram-grid figure, .diagram-grid figure:nth-child(2n), .diagram-grid figure:nth-last-child(-n+2) { border-right: 0; border-bottom: 1px solid var(--line); }
  .diagram-grid figure:last-child { border-bottom: 0; }
  .tech-grid { grid-template-columns: 1fr; }
  .tech-grid div, .tech-grid div:nth-child(2n), .tech-grid div:nth-last-child(-n+2), .tech-grid div:last-child { grid-column: auto; border-right: 0; border-bottom: 1px solid var(--line); }
  .tech-grid div:last-child { border-bottom: 0; }
  .footer-inner { grid-template-columns: 1fr; }
  .footer-links { grid-column: auto; }
}

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