:root {
  --sky-titanium: #F3F4F6;
  --sky-surface: #FFFFFF;
  --sky-graphite: #111827;
  --sky-graphite-soft: #374151;
  --sky-graphite-muted: #6B7280;
  --sky-ultramarine: #3730A3;
  --sky-ultramarine-wash: #EEF0FB;
  --sky-copper: #B45309;
  --sky-copper-wash: #FDF4E7;
  --sky-hairline: #D1D5DB;
  --sky-series-baseline: #B45309;
  --sky-series-skyla: #4F46E5;
  --sky-halt: #9F1239;
  --sky-halt-wash: #FDF0F3;
  --sky-display: "Cormorant Garamond", "Iowan Old Style", Georgia, serif;
  --sky-sans: "Outfit", "Avenir Next", "Segoe UI", sans-serif;
  --sky-mono: "Red Hat Mono", ui-monospace, "SF Mono", Menlo, Consolas, monospace;
  --sky-measure: 40rem;
  --sky-gutter: clamp(1.25rem, 3vw, 2.5rem);
}

*, *::before, *::after { box-sizing: border-box; }

html { -webkit-text-size-adjust: 100%; scroll-padding-top: 5rem; }

body {
  margin: 0;
  background: var(--sky-titanium);
  color: var(--sky-graphite);
  font: 300 1.0625rem/1.72 var(--sky-sans);
  font-feature-settings: "ss01";
}

a { color: var(--sky-ultramarine); text-decoration-thickness: 1px; text-underline-offset: 0.2em; }
a:hover { text-decoration-thickness: 2px; }
:focus-visible { outline: 2px solid var(--sky-ultramarine); outline-offset: 3px; }

strong { font-weight: 600; }
code, kbd { font-family: var(--sky-mono); font-size: 0.86em; background: var(--sky-titanium); padding: 0.05em 0.35em; border: 1px solid var(--sky-hairline); }

.sky-skip { position: absolute; left: -999px; top: 0; background: var(--sky-graphite); color: var(--sky-surface); padding: 0.6rem 1rem; z-index: 50; }
.sky-skip:focus { left: 1rem; }

/* Header */
.sky-header-bar {
  position: sticky; top: 0; z-index: 20;
  background: rgba(255, 255, 255, 0.94);
  backdrop-filter: saturate(140%) blur(8px);
  border-bottom: 1px solid var(--sky-hairline);
}
.sky-header-inner {
  max-width: 82rem; margin: 0 auto; padding: 0.85rem var(--sky-gutter);
  display: flex; align-items: center; justify-content: space-between; gap: 1.5rem;
}
.sky-wordmark { display: flex; align-items: baseline; gap: 0.7rem; color: var(--sky-graphite); text-decoration: none; }
.sky-wordmark-glyph { width: 22px; height: 22px; align-self: center; }
.sky-wordmark-name { font: 700 1.6rem/1 var(--sky-display); letter-spacing: 0.01em; }
.sky-wordmark-sub { font: 400 0.68rem/1 var(--sky-sans); letter-spacing: 0.22em; text-transform: uppercase; color: var(--sky-graphite-muted); }
.sky-nav ul { list-style: none; display: flex; flex-wrap: wrap; gap: 0.25rem 1.4rem; margin: 0; padding: 0; }
.sky-nav a { font: 400 0.86rem/1 var(--sky-sans); color: var(--sky-graphite-soft); text-decoration: none; padding: 0.4rem 0; border-bottom: 1px solid transparent; }
.sky-nav a:hover, .sky-nav a[aria-current="page"] { color: var(--sky-ultramarine); border-bottom-color: var(--sky-ultramarine); }

/* Blueprint frame */
.sky-blueprint {
  max-width: 82rem; margin: 0 auto; padding: 0 var(--sky-gutter);
}

/* Frontispiece */
.sky-frontispiece { padding: clamp(3rem, 8vw, 6.5rem) 0 clamp(2.5rem, 5vw, 4rem); border-bottom: 1px solid var(--sky-graphite); }
.sky-docline { display: flex; flex-wrap: wrap; gap: 0.4rem 2rem; font: 400 0.74rem/1.4 var(--sky-mono); letter-spacing: 0.04em; color: var(--sky-graphite-muted); text-transform: uppercase; margin: 0 0 2.2rem; }
.sky-docline span:first-child { color: var(--sky-ultramarine); }
.sky-frontispiece h1 { font: 600 clamp(2.6rem, 6.2vw, 5.1rem)/1.02 var(--sky-display); letter-spacing: -0.01em; margin: 0; max-width: 18ch; }
.sky-lede { font-size: clamp(1.1rem, 1.6vw, 1.3rem); line-height: 1.6; max-width: 44rem; margin: 1.8rem 0 0; color: var(--sky-graphite-soft); }

/* Chapters */
.sky-chapter {
  display: grid;
  grid-template-columns: minmax(7rem, 11rem) minmax(0, var(--sky-measure)) minmax(12rem, 16rem);
  gap: 0 clamp(1.5rem, 3vw, 3rem);
  padding: clamp(2.5rem, 5vw, 4rem) 0;
  border-bottom: 1px solid var(--sky-hairline);
}
.sky-chapter-index { font: 700 2.6rem/1 var(--sky-display); color: var(--sky-ultramarine); }
.sky-chapter-index small { display: block; margin-top: 0.6rem; font: 400 0.68rem/1.3 var(--sky-mono); letter-spacing: 0.08em; text-transform: uppercase; color: var(--sky-graphite-muted); }
.sky-chapter-body h2 { font: 600 clamp(1.7rem, 2.7vw, 2.25rem)/1.15 var(--sky-display); margin: 0 0 1.1rem; }
.sky-chapter-body h3 { font: 600 0.82rem/1.3 var(--sky-sans); letter-spacing: 0.14em; text-transform: uppercase; margin: 2rem 0 0.6rem; }
.sky-chapter-body p { margin: 0 0 1.05rem; }
.sky-chapter-body ul, .sky-chapter-body ol { margin: 0 0 1.1rem; padding-left: 1.2rem; }
.sky-chapter-body li { margin-bottom: 0.45rem; }
.sky-chapter-body li::marker { color: var(--sky-ultramarine); }
.sky-chapter-wide { grid-column: 2 / 4; margin-top: 1.5rem; }

.sky-margin-note {
  align-self: start;
  border-left: 1px solid var(--sky-copper);
  padding: 0.2rem 0 0.2rem 1rem;
  font-size: 0.86rem; line-height: 1.6; color: var(--sky-graphite-soft);
}
.sky-margin-note b { display: block; font: 600 0.68rem/1.3 var(--sky-mono); letter-spacing: 0.1em; text-transform: uppercase; color: var(--sky-copper); margin-bottom: 0.4rem; }
.sky-margin-note p { margin: 0 0 0.6rem; }

/* Figures and traces */
.sky-figure { margin: 0; background: var(--sky-surface); border: 1px solid var(--sky-hairline); padding: clamp(1rem, 2.5vw, 1.8rem); }
.sky-figure svg { display: block; width: 100%; height: auto; }
.sky-figure figcaption { margin-top: 1rem; padding-top: 0.8rem; border-top: 1px solid var(--sky-hairline); font-size: 0.84rem; color: var(--sky-graphite-muted); }
.sky-figure figcaption span { font-family: var(--sky-mono); color: var(--sky-ultramarine); margin-right: 0.6rem; }

.sky-state-trace {
  margin: 0; padding: 1.1rem 1.25rem;
  background: var(--sky-surface); border: 1px solid var(--sky-hairline); border-left: 3px solid var(--sky-ultramarine);
  font: 400 0.8rem/1.7 var(--sky-mono); color: var(--sky-graphite);
  overflow-x: auto; white-space: pre; tab-size: 2;
}
.sky-state-trace .sky-t-ok { color: #047857; }
.sky-state-trace .sky-t-halt { color: var(--sky-halt); font-weight: 600; }
.sky-state-trace .sky-t-dim { color: var(--sky-graphite-muted); }
.sky-state-trace .sky-t-key { color: var(--sky-ultramarine); }

.sky-badge { display: inline-flex; align-items: center; gap: 0.4rem; font: 500 0.7rem/1 var(--sky-mono); letter-spacing: 0.08em; text-transform: uppercase; color: var(--sky-copper); background: var(--sky-copper-wash); border: 1px solid #E9C9A0; padding: 0.38rem 0.6rem; }
.sky-badge::before { content: ""; width: 6px; height: 6px; background: var(--sky-copper); transform: rotate(45deg); }

/* Spec table */
.sky-spec { width: 100%; border-collapse: collapse; font-size: 0.9rem; background: var(--sky-surface); border: 1px solid var(--sky-hairline); }
.sky-spec caption { text-align: left; font: 400 0.72rem/1.4 var(--sky-mono); letter-spacing: 0.06em; text-transform: uppercase; color: var(--sky-graphite-muted); padding-bottom: 0.6rem; }
.sky-spec th, .sky-spec td { text-align: left; padding: 0.65rem 0.9rem; border-bottom: 1px solid var(--sky-hairline); vertical-align: top; }
.sky-spec thead th { font: 600 0.72rem/1.3 var(--sky-sans); letter-spacing: 0.1em; text-transform: uppercase; background: var(--sky-titanium); }
.sky-spec td.sky-num, .sky-spec th.sky-num { text-align: right; font-family: var(--sky-mono); font-variant-numeric: tabular-nums; }
.sky-spec-wrap { overflow-x: auto; }

/* Guarantees */
.sky-guarantees { list-style: none; padding: 0 !important; display: grid; gap: 0; border-top: 1px solid var(--sky-graphite); }
.sky-guarantees li { display: grid; grid-template-columns: 3.2rem 1fr; gap: 1rem; padding: 0.95rem 0; border-bottom: 1px solid var(--sky-hairline); margin: 0 !important; }
.sky-guarantees li span { font: 500 0.75rem/1.9 var(--sky-mono); color: var(--sky-copper); }

/* Thesis */
.sky-thesis { margin: 0 0 1.4rem; padding: 0 0 0 1.4rem; border-left: 3px solid var(--sky-ultramarine); font: 600 1.55rem/1.35 var(--sky-display); color: var(--sky-graphite); }
.sky-signature { font: 400 0.82rem/1.5 var(--sky-mono); color: var(--sky-graphite-muted); }

/* Inspector */
.sky-inspector { background: var(--sky-surface); border: 1px solid var(--sky-graphite); }
.sky-inspector-head { display: flex; flex-wrap: wrap; justify-content: space-between; gap: 0.6rem 1.5rem; padding: 0.9rem 1.2rem; border-bottom: 1px solid var(--sky-hairline); font: 400 0.74rem/1.5 var(--sky-mono); text-transform: uppercase; letter-spacing: 0.06em; color: var(--sky-graphite-muted); }
.sky-inspector-head strong { color: var(--sky-graphite); font-weight: 600; }
.sky-inspector-grid { display: grid; grid-template-columns: minmax(0, 15rem) minmax(0, 1fr); }
.sky-inspector-controls { border-right: 1px solid var(--sky-hairline); padding: 1.1rem 1.2rem; }
.sky-inspector-controls fieldset { border: 0; margin: 0 0 1.2rem; padding: 0; }
.sky-inspector-controls legend { font: 600 0.7rem/1.3 var(--sky-sans); letter-spacing: 0.12em; text-transform: uppercase; margin-bottom: 0.7rem; padding: 0; }
.sky-toggle { display: grid; grid-template-columns: auto 1fr; gap: 0.6rem; align-items: start; font-size: 0.84rem; line-height: 1.4; margin-bottom: 0.75rem; cursor: pointer; }
.sky-toggle input { accent-color: var(--sky-halt); margin-top: 0.2rem; }
.sky-toggle small { display: block; color: var(--sky-graphite-muted); font-size: 0.74rem; }
.sky-inspector-buttons { display: flex; flex-wrap: wrap; gap: 0.5rem; }
.sky-button { font: 500 0.8rem/1 var(--sky-sans); letter-spacing: 0.04em; padding: 0.65rem 0.95rem; border: 1px solid var(--sky-graphite); background: var(--sky-surface); color: var(--sky-graphite); cursor: pointer; }
.sky-button:hover { background: var(--sky-titanium); }
.sky-button-primary { background: var(--sky-ultramarine); border-color: var(--sky-ultramarine); color: var(--sky-surface); }
.sky-button-primary:hover { background: #2E2888; }
.sky-button:disabled { opacity: 0.4; cursor: not-allowed; }
.sky-inspector-stage { padding: 1.1rem 1.2rem; min-width: 0; }
.sky-pipeline { list-style: none; margin: 0 0 1rem; padding: 0; display: grid; grid-template-columns: repeat(5, minmax(0, 1fr)); gap: 0.35rem; counter-reset: sky-stage; }
.sky-pipeline li { counter-increment: sky-stage; border: 1px solid var(--sky-hairline); padding: 0.55rem 0.55rem 0.6rem; font: 500 0.74rem/1.25 var(--sky-sans); color: var(--sky-graphite-muted); background: var(--sky-titanium); min-height: 3.6rem; }
.sky-pipeline li::before { content: "S" counter(sky-stage); display: block; font: 400 0.64rem/1 var(--sky-mono); margin-bottom: 0.35rem; }
.sky-pipeline li[data-sky-state="active"] { border-color: var(--sky-ultramarine); color: var(--sky-ultramarine); background: var(--sky-ultramarine-wash); }
.sky-pipeline li[data-sky-state="done"] { border-color: #A7C7B9; color: #065F46; background: #F0F7F3; }
.sky-pipeline li[data-sky-state="halted"] { border-color: var(--sky-halt); color: var(--sky-halt); background: var(--sky-halt-wash); }
.sky-pipeline li[data-sky-state="skipped"] { opacity: 0.45; text-decoration: line-through; }
.sky-verdict { display: flex; flex-wrap: wrap; gap: 0.5rem 1.5rem; align-items: baseline; padding: 0.7rem 0.9rem; margin-bottom: 0.9rem; border: 1px solid var(--sky-hairline); font-size: 0.88rem; }
.sky-verdict b { font: 600 0.72rem/1 var(--sky-mono); letter-spacing: 0.08em; text-transform: uppercase; }
.sky-verdict[data-sky-tone="halt"] { border-color: var(--sky-halt); background: var(--sky-halt-wash); }
.sky-verdict[data-sky-tone="halt"] b { color: var(--sky-halt); }
.sky-verdict[data-sky-tone="ok"] b { color: #047857; }
.sky-ledger-state { display: grid; grid-template-columns: 1fr 1fr; gap: 0.5rem; margin-top: 0.9rem; font: 400 0.76rem/1.5 var(--sky-mono); }
.sky-ledger-state div { border: 1px solid var(--sky-hairline); padding: 0.6rem 0.75rem; background: var(--sky-titanium); }
.sky-ledger-state dt { color: var(--sky-graphite-muted); text-transform: uppercase; letter-spacing: 0.06em; font-size: 0.66rem; }
.sky-ledger-state dd { margin: 0.2rem 0 0; word-break: break-all; }
.sky-inspector .sky-state-trace { min-height: 15rem; max-height: 24rem; overflow-y: auto; border-left-width: 1px; }

/* Bench chart */
.sky-legend { display: flex; flex-wrap: wrap; gap: 0.4rem 1.4rem; list-style: none; padding: 0 !important; margin: 0 0 0.8rem !important; font-size: 0.82rem; color: var(--sky-graphite-soft); }
.sky-legend li { display: flex; align-items: center; gap: 0.5rem; margin: 0 !important; }
.sky-legend i { width: 12px; height: 12px; border-radius: 2px; display: inline-block; }
.sky-bar { transition: opacity 0.15s; }
.sky-bar-group:hover .sky-bar { opacity: 0.55; }
.sky-bar-group .sky-bar:hover { opacity: 1; }
.sky-tip { position: absolute; pointer-events: none; background: var(--sky-graphite); color: var(--sky-surface); font: 400 0.76rem/1.4 var(--sky-mono); padding: 0.45rem 0.6rem; transform: translate(-50%, calc(-100% - 10px)); white-space: nowrap; z-index: 5; }
.sky-chart-host { position: relative; }

/* Form */
.sky-form { display: grid; gap: 1rem; background: var(--sky-surface); border: 1px solid var(--sky-hairline); padding: clamp(1.1rem, 2.5vw, 1.8rem); }
.sky-form-row { display: grid; grid-template-columns: 1fr 1fr; gap: 1rem; }
.sky-field { display: grid; gap: 0.35rem; }
.sky-field label { font: 600 0.72rem/1.3 var(--sky-sans); letter-spacing: 0.1em; text-transform: uppercase; }
.sky-field input, .sky-field select, .sky-field textarea { font: 400 0.95rem/1.5 var(--sky-sans); color: var(--sky-graphite); background: var(--sky-titanium); border: 1px solid var(--sky-hairline); border-radius: 0; padding: 0.65rem 0.75rem; width: 100%; }
.sky-field input:focus, .sky-field select:focus, .sky-field textarea:focus { outline: 2px solid var(--sky-ultramarine); outline-offset: 0; background: var(--sky-surface); }
.sky-form-status { font: 400 0.8rem/1.5 var(--sky-mono); color: var(--sky-graphite-muted); min-height: 1.2rem; margin: 0; }

/* Colophon */
.sky-colophon { background: var(--sky-graphite); color: #D1D5DB; margin-top: clamp(3rem, 6vw, 5rem); }
.sky-colophon-inner { max-width: 82rem; margin: 0 auto; padding: 3rem var(--sky-gutter) 2rem; display: grid; grid-template-columns: 2fr 1fr 1fr; gap: 2rem; font-size: 0.86rem; }
.sky-colophon h2 { font: 600 0.7rem/1.3 var(--sky-mono); letter-spacing: 0.12em; text-transform: uppercase; color: #9CA3AF; margin: 0 0 0.8rem; }
.sky-colophon a { color: var(--sky-surface); text-decoration: none; }
.sky-colophon a:hover { text-decoration: underline; }
.sky-colophon ul { list-style: none; padding: 0; margin: 0; display: grid; gap: 0.4rem; }
.sky-colophon address { font-style: normal; line-height: 1.7; }
.sky-colophon-name { font: 700 1.9rem/1 var(--sky-display); color: var(--sky-surface); margin: 0 0 0.8rem; }
.sky-colophon-base { grid-column: 1 / -1; border-top: 1px solid #374151; padding-top: 1.2rem; display: flex; flex-wrap: wrap; justify-content: space-between; gap: 0.6rem; font: 400 0.72rem/1.4 var(--sky-mono); color: #9CA3AF; }

@media (max-width: 64rem) {
  .sky-chapter { grid-template-columns: minmax(0, 1fr); }
  .sky-chapter-index { display: flex; align-items: baseline; gap: 1rem; margin-bottom: 1rem; }
  .sky-chapter-index small { margin: 0; }
  .sky-margin-note { margin-top: 1.4rem; max-width: var(--sky-measure); }
  .sky-chapter-wide { grid-column: 1; }
  .sky-colophon-inner { grid-template-columns: 1fr 1fr; }
  .sky-colophon-inner > div:first-child { grid-column: 1 / -1; }
}
@media (max-width: 46rem) {
  .sky-header-inner { flex-direction: column; align-items: flex-start; gap: 0.6rem; }
  .sky-header-bar { position: static; }
  .sky-wordmark-sub { display: none; }
  .sky-inspector-grid { grid-template-columns: minmax(0, 1fr); }
  .sky-inspector-controls { border-right: 0; border-bottom: 1px solid var(--sky-hairline); }
  .sky-pipeline { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .sky-form-row { grid-template-columns: minmax(0, 1fr); }
  .sky-ledger-state { grid-template-columns: minmax(0, 1fr); }
}
@media (prefers-reduced-motion: reduce) { * { transition: none !important; scroll-behavior: auto !important; } }
@media print {
  .sky-header-bar, .sky-colophon, .sky-inspector-controls { display: none; }
}

/* Diagrams */
.sky-svg text { font-family: var(--sky-mono); font-size: 12px; fill: var(--sky-graphite); }
.sky-svg .sky-svg-plane { fill: var(--sky-titanium); stroke: var(--sky-hairline); }
.sky-svg .sky-svg-plane-label { font-size: 10px; letter-spacing: 0.12em; fill: var(--sky-graphite-muted); }
.sky-svg .sky-svg-node { fill: var(--sky-surface); stroke: var(--sky-graphite); stroke-width: 1.2; }
.sky-svg .sky-svg-node-soft { fill: var(--sky-surface); stroke: var(--sky-hairline); stroke-width: 1.2; stroke-dasharray: 3 3; }
.sky-svg .sky-svg-node-key { fill: var(--sky-ultramarine-wash); stroke: var(--sky-ultramarine); stroke-width: 1.6; }
.sky-svg .sky-svg-node-seal { fill: var(--sky-copper-wash); stroke: var(--sky-copper); stroke-width: 1.4; }
.sky-svg .sky-svg-edge { fill: none; stroke: var(--sky-graphite); stroke-width: 1.2; }
.sky-svg .sky-svg-edge-soft { fill: none; stroke: var(--sky-graphite-muted); stroke-width: 1.1; stroke-dasharray: 4 4; }
.sky-svg .sky-svg-edge-halt { fill: none; stroke: var(--sky-halt); stroke-width: 1.2; stroke-dasharray: 4 3; }
.sky-svg .sky-svg-small { font-size: 10px; fill: var(--sky-graphite-muted); }
.sky-svg .sky-svg-strong { font-weight: 600; }
.sky-svg .sky-svg-grid { stroke: var(--sky-hairline); stroke-width: 1; }
.sky-svg .sky-svg-axis { stroke: var(--sky-graphite-muted); stroke-width: 1; }
.sky-stack { display: grid; gap: 1.5rem; margin-top: 1.5rem; }