:root {
  --doc-ink: #173247;
  --doc-muted: #587184;
  --doc-blue: #2d7295;
  --doc-blue-soft: #dce9ed;
  --doc-line: #bfd0d8;
  --doc-paper: #f7f4ea;
  --doc-panel: #fffdf7;
  --doc-night: #10283a;
  --doc-night-2: #183b50;
  --doc-warn: #8b594b;
}

.reading-header {
  position: sticky;
  top: 0;
  z-index: 20;
  min-height: 72px;
  padding-block: 0;
  backdrop-filter: blur(12px);
}

.reading-header a {
  color: var(--doc-blue);
  font-size: 13px;
  text-decoration: none;
}

.reading-header a:hover,
.reading-header a:focus-visible {
  text-decoration: underline;
}

.engineering-document {
  width: min(1180px, 92vw);
  margin: 0 auto;
  padding: 34px 0 96px;
}

.document-intro {
  display: grid;
  grid-template-columns: minmax(0, 1.35fr) minmax(300px, .65fr);
  gap: clamp(42px, 7vw, 92px);
  align-items: end;
  padding: 24px 0 44px;
  border-bottom: 2px solid var(--doc-ink);
}

.intro-copy > small,
.section-heading > small,
.case-title > small,
.case-execution > small,
.architecture-panel header small,
.decision-grid small,
.implementation-block header small,
.boundary-grid small,
.inline-evidence-heading small,
.redirect-card > small {
  color: var(--doc-blue);
  font-size: 12px;
  font-weight: 800;
  letter-spacing: .12em;
}

.document-intro h1 {
  margin: 13px 0 17px;
  color: var(--doc-ink);
  font-size: clamp(43px, 5.25vw, 66px);
  line-height: 1.08;
  letter-spacing: -.052em;
}

.document-intro h1 em {
  color: var(--doc-blue);
  font-style: normal;
}

.intro-copy > p {
  max-width: 720px;
  margin: 0;
  color: var(--doc-muted);
  font-size: 18px;
  line-height: 1.75;
}

.document-intro dl {
  margin: 0;
  border-top: 1px solid var(--doc-line);
}

.document-intro dl > div {
  display: grid;
  grid-template-columns: 78px 1fr;
  gap: 14px;
  padding: 12px 0;
  border-bottom: 1px solid var(--doc-line);
}

.document-intro dt {
  color: var(--doc-muted);
  font-size: 13px;
}

.document-intro dd {
  margin: 0;
  color: var(--doc-ink);
  font-size: 14px;
  font-weight: 750;
  line-height: 1.55;
}

.document-jump {
  position: sticky;
  top: 72px;
  z-index: 10;
  display: grid;
  grid-template-columns: 76px repeat(6, minmax(0, 1fr));
  margin: 0;
  border-bottom: 1px solid var(--doc-line);
  background: color-mix(in srgb, var(--doc-paper) 94%, transparent);
  backdrop-filter: blur(12px);
}

.document-jump > span,
.document-jump a {
  min-height: 60px;
  display: flex;
  align-items: center;
}

.document-jump > span {
  color: var(--doc-muted);
  font-size: 12px;
  font-weight: 700;
  letter-spacing: .08em;
}

.document-jump a {
  gap: 10px;
  padding: 0 14px;
  border-left: 1px solid var(--doc-line);
  color: var(--doc-ink);
  font-size: 13px;
  font-weight: 750;
  text-decoration: none;
}

.document-jump a:hover,
.document-jump a:focus-visible {
  background: #e5eef0;
}

.document-jump a:active {
  background: var(--doc-blue-soft);
}

.document-jump a small {
  color: var(--doc-blue);
  font: 750 11px/1 monospace;
}

.verification-legend {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  margin: 30px 0 8px;
  border: 1px solid var(--doc-line);
  background: var(--doc-panel);
}

.verification-legend > div {
  padding: 18px 20px 20px;
}

.verification-legend > div + div {
  border-left: 1px solid var(--doc-line);
}

.verification-legend small {
  color: var(--doc-blue);
  font-size: 12px;
  font-weight: 800;
}

.verification-legend p {
  margin: 8px 0 0;
  color: var(--doc-muted);
  font-size: 14px;
  line-height: 1.65;
}

.architecture-overview,
.engineering-case {
  position: relative;
  margin-top: 34px;
  padding: clamp(34px, 5vw, 58px);
  overflow: clip;
  border: 1px solid var(--doc-line);
  border-top: 5px solid var(--doc-blue);
  background: color-mix(in srgb, var(--doc-panel) 92%, var(--doc-blue-soft));
  box-shadow: 0 18px 50px rgba(16, 40, 58, .07);
  scroll-margin-top: 144px;
}

.engineering-case {
  margin-top: 44px;
}

.section-heading,
.case-title {
  max-width: 900px;
  margin-bottom: 38px;
}

.chapter-label {
  display: flex;
  gap: 13px;
  align-items: center;
}

.chapter-label span {
  display: grid;
  width: 45px;
  height: 45px;
  place-items: center;
  background: var(--doc-blue);
  color: white;
  font: 800 15px/1 monospace;
}

.chapter-label small {
  color: var(--doc-blue);
  font-size: 12px;
  font-weight: 800;
  letter-spacing: .11em;
}

.section-heading h2,
.case-title h2 {
  margin: 11px 0 15px;
  color: var(--doc-ink);
  font-size: clamp(34px, 4.3vw, 52px);
  line-height: 1.18;
  letter-spacing: -.045em;
}

.section-heading p,
.case-title p {
  max-width: 800px;
  margin: 0;
  color: var(--doc-muted);
  font-size: 17px;
  line-height: 1.8;
}

.section-heading p b {
  color: var(--doc-ink);
}

.case-orientation {
  display: grid;
  grid-template-columns: minmax(0, .92fr) minmax(0, 1.08fr);
  gap: 20px;
  align-items: stretch;
  margin: 0 0 42px;
}

.case-media,
.concept-diagram {
  display: flex;
  min-width: 0;
  height: 100%;
  flex-direction: column;
  margin: 0;
  border: 1px solid var(--doc-line);
  background: var(--doc-panel);
  box-shadow: 0 8px 24px rgba(16, 40, 58, .055);
}

.case-media-frame {
  min-height: 286px;
  flex: 1 1 auto;
  aspect-ratio: 16 / 9;
  overflow: hidden;
  background: var(--doc-night);
}

.case-media img {
  display: block;
  width: 100%;
  height: 100%;
  object-fit: contain;
  object-position: center;
}

.case-media figcaption,
.concept-diagram > figcaption {
  display: grid;
  gap: 5px;
  padding: 15px 17px 17px;
}

.case-media figcaption {
  min-height: 94px;
  align-content: center;
}

.case-media figcaption small,
.concept-diagram header small {
  color: var(--doc-blue);
  font-size: 12px;
  font-weight: 800;
  letter-spacing: .1em;
}

.case-media figcaption b {
  color: var(--doc-ink);
  font-size: 15px;
  line-height: 1.45;
}

.case-media figcaption span,
.concept-diagram > figcaption {
  color: var(--doc-muted);
  font-size: 13px;
  line-height: 1.6;
}

.concept-diagram > header {
  min-height: 77px;
  padding: 16px 18px 14px;
  border-bottom: 1px solid var(--doc-line);
}

.concept-diagram > header h3 {
  margin: 6px 0 0;
  color: var(--doc-ink);
  font-size: 18px;
  line-height: 1.4;
}

.diagram-canvas {
  display: grid;
  flex: 1 1 auto;
  align-content: center;
  min-height: 275px;
  padding: 18px;
  background:
    linear-gradient(rgba(45, 114, 149, .055) 1px, transparent 1px),
    linear-gradient(90deg, rgba(45, 114, 149, .055) 1px, transparent 1px),
    #edf3f3;
  background-size: 22px 22px;
}

.diagram-row {
  display: flex;
  gap: 8px;
  align-items: stretch;
}

.diagram-row > .diagram-node,
.diagram-row > .diagram-inputs,
.diagram-row > .hex-cluster {
  flex: 1 1 0;
}

.diagram-node {
  display: flex;
  min-width: 0;
  min-height: 80px;
  flex-direction: column;
  justify-content: center;
  padding: 12px;
  border: 1px solid #8aa7b5;
  background: #f9fbf8;
  box-shadow: 0 2px 0 rgba(16, 40, 58, .035);
}

.diagram-node small {
  margin-bottom: 5px;
  color: var(--doc-blue);
  font-size: 12px;
  font-weight: 800;
}

.diagram-node b {
  color: var(--doc-ink);
  font-size: 14px;
  line-height: 1.35;
}

.diagram-node span {
  margin-top: 5px;
  color: var(--doc-muted);
  font-size: 12px;
  line-height: 1.42;
}

.diagram-node.is-core {
  border-color: var(--doc-night);
  background: var(--doc-night);
}

.diagram-node.is-core b {
  color: white;
}

.diagram-node.is-core span {
  color: #c6dbe2;
}

.diagram-node.is-core small {
  color: #83bad0;
}

.diagram-node.is-human,
.diagram-node.is-source {
  border-color: #5e91a9;
  background: var(--doc-blue-soft);
}

.diagram-node.is-guard {
  border-width: 2px;
  border-color: var(--doc-blue);
  background: #f7fbfa;
}

.diagram-node.is-output {
  border-color: #5c8d78;
  background: #e7f1ea;
}

.diagram-link {
  display: grid;
  flex: 0 0 48px;
  align-content: center;
  justify-items: center;
  color: var(--doc-blue);
}

.diagram-link i::before {
  content: '→';
  font: normal 800 21px/1 monospace;
}

.diagram-link span {
  margin-top: 5px;
  color: var(--doc-muted);
  font-size: 12px;
  line-height: 1.25;
  text-align: center;
}

.diagram-down {
  display: grid;
  grid-template-columns: 18px auto;
  gap: 7px;
  align-items: center;
  justify-content: center;
  min-height: 36px;
  color: var(--doc-blue);
}

.diagram-down i::before {
  content: '↓';
  font: normal 800 18px/1 monospace;
}

.diagram-down span {
  color: var(--doc-muted);
  font-size: 12px;
}

.diagram-pair,
.diagram-triad {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 8px;
  align-items: stretch;
}

.diagram-triad {
  grid-template-columns: repeat(3, minmax(0, 1fr));
}

.diagram-loop,
.diagram-signature,
.save-failure,
.save-stable {
  display: flex;
  gap: 10px;
  align-items: center;
  justify-content: center;
  margin-top: 10px;
  padding: 10px 12px;
  border: 1px dashed #809dab;
  background: rgba(255, 253, 247, .86);
  color: var(--doc-muted);
  font-size: 12px;
  line-height: 1.4;
  text-align: center;
}

.diagram-loop b,
.save-failure b {
  color: var(--doc-warn);
}

.diagram-loop b.is-success {
  color: #3d765f;
}

.diagram-signature {
  justify-content: space-between;
  border-style: solid;
  border-color: var(--doc-blue);
}

.diagram-signature small,
.save-stable small {
  color: var(--doc-blue);
  font-size: 12px;
  font-weight: 800;
}

.diagram-signature b,
.save-stable b {
  color: var(--doc-ink);
  font-size: 14px;
}

.diagram-inputs {
  display: grid;
  gap: 6px;
}

.diagram-inputs span {
  display: grid;
  min-height: 31px;
  place-items: center;
  border: 1px solid #789baa;
  background: var(--doc-panel);
  color: var(--doc-ink);
  font: 800 12px/1 monospace;
}

.hex-cluster {
  display: grid;
  grid-template-columns: repeat(3, 42px);
  grid-template-rows: repeat(3, 37px);
  align-content: center;
  justify-content: center;
}

.hex-cluster span {
  display: grid;
  width: 44px;
  height: 48px;
  place-items: center;
  clip-path: polygon(25% 0, 75% 0, 100% 50%, 75% 100%, 25% 100%, 0 50%);
  background: #cbdce1;
  color: var(--doc-ink);
  font-size: 12px;
  font-weight: 800;
}

.hex-cluster span:nth-child(1) { grid-area: 1 / 2; }
.hex-cluster span:nth-child(2) { grid-area: 2 / 1; }
.hex-cluster span:nth-child(3) { grid-area: 2 / 2; }
.hex-cluster span:nth-child(4) { grid-area: 2 / 3; }
.hex-cluster span:nth-child(5) { grid-area: 3 / 2; }
.hex-cluster span:nth-child(6) { grid-area: 1 / 1; }
.hex-cluster span:nth-child(7) { grid-area: 1 / 3; }

.hex-cluster .wall {
  background: #789baa;
  color: white;
}

.hex-cluster .gate {
  background: #d5a071;
  color: #3f2c1f;
}

.hex-cluster .palace {
  background: var(--doc-night);
  color: white;
}

.generation-system-map {
  display: grid;
  gap: 10px;
}

.generation-pipeline {
  display: grid;
  grid-template-columns: minmax(105px, .78fr) 34px minmax(150px, 1.16fr) 34px minmax(145px, 1.08fr);
  gap: 7px;
  align-items: stretch;
}

.generation-stage {
  min-width: 0;
  overflow: hidden;
  border: 1px solid #88a8b6;
  background: rgba(255, 253, 247, .96);
  box-shadow: 0 4px 0 rgba(16, 40, 58, .045);
}

.generation-stage > header {
  display: flex;
  gap: 8px;
  align-items: center;
  min-height: 48px;
  padding: 7px 9px;
  border-bottom: 1px solid #b9cdd5;
  background: #e4eef0;
}

.generation-stage > header > span {
  display: grid;
  width: 26px;
  height: 26px;
  flex: 0 0 26px;
  place-items: center;
  background: var(--doc-blue);
  color: white;
  font: 800 10px/1 monospace;
}

.generation-stage > header > div {
  display: grid;
  gap: 2px;
  min-width: 0;
}

.generation-stage > header small {
  color: var(--doc-blue);
  font: 800 9px/1.15 monospace;
  letter-spacing: .03em;
}

.generation-stage > header b {
  color: var(--doc-ink);
  font-size: 13px;
  line-height: 1.2;
}

.generation-input-list {
  display: grid;
  gap: 7px;
  padding: 11px;
}

.generation-input-list > div {
  display: grid;
  gap: 4px;
  min-height: 40px;
  align-content: center;
  padding: 6px 9px;
  background: #f3f7f6;
}

.generation-input-list b {
  color: var(--doc-ink);
  font: 800 11px/1 monospace;
}

.generation-input-list span {
  color: var(--doc-muted);
  font-size: 10px;
  line-height: 1.25;
}

.generation-arrow {
  display: grid;
  align-content: center;
  justify-items: center;
  color: var(--doc-blue);
  text-align: center;
}

.generation-arrow small {
  color: var(--doc-muted);
  font: 800 8px/1.2 monospace;
  letter-spacing: .02em;
  white-space: nowrap;
}

.generation-arrow i {
  font: normal 800 21px/1 monospace;
}

.generation-build-stage.is-core {
  border-color: var(--doc-night);
  background: var(--doc-night);
  box-shadow: 0 7px 18px rgba(16, 40, 58, .14);
}

.generation-build-stage.is-core > header {
  border-bottom-color: #315269;
  background: var(--doc-night-2);
}

.generation-build-stage.is-core > header > span {
  background: #d2945b;
  color: #2e2218;
}

.generation-build-stage.is-core > header small {
  color: #8fc1d5;
}

.generation-build-stage.is-core > header b {
  color: white;
}

.mini-hex-map {
  display: grid;
  justify-items: center;
  padding: 12px 5px 7px;
}

.mini-hex-map > div {
  display: flex;
  justify-content: center;
  margin-top: -5px;
}

.mini-hex-map > div:first-child {
  margin-top: 0;
}

.mini-hex-map i {
  display: grid;
  width: 26px;
  height: 29px;
  margin: 0 1px;
  place-items: center;
  clip-path: polygon(25% 0, 75% 0, 100% 50%, 75% 100%, 25% 100%, 0 50%);
  background: #28485c;
  color: white;
  font: normal 800 9px/1 monospace;
}

.mini-hex-map i.wall {
  background: #8ba9b5;
}

.mini-hex-map i.gate {
  background: #d2945b;
  color: #2e2218;
}

.mini-hex-map i.palace {
  background: #f6f1e5;
  color: var(--doc-night);
}

.generation-build-steps {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 4px;
  margin: 0;
  padding: 0 9px 10px;
  list-style: none;
}

.generation-build-steps li {
  display: grid;
  min-height: 27px;
  place-items: center;
  border: 1px solid #41667b;
  color: #b9d2dd;
  font-size: 9px;
  line-height: 1.2;
  text-align: center;
}

.generation-validate-stage ul {
  display: grid;
  margin: 0;
  padding: 7px 10px 4px;
  list-style: none;
}

.generation-validate-stage li {
  display: grid;
  grid-template-columns: 23px minmax(0, 1fr);
  gap: 7px;
  align-items: center;
  min-height: 40px;
  border-bottom: 1px solid #d4e0e3;
}

.generation-validate-stage li:last-child {
  border-bottom: 0;
}

.generation-validate-stage li > i {
  display: grid;
  width: 21px;
  height: 21px;
  place-items: center;
  background: #dcece5;
  color: #3d765f;
  font: normal 900 12px/1 monospace;
}

.generation-validate-stage li > span {
  display: grid;
  gap: 2px;
  min-width: 0;
}

.generation-validate-stage li b {
  color: var(--doc-ink);
  font-size: 11px;
  line-height: 1.2;
}

.generation-validate-stage li small {
  color: var(--doc-muted);
  font-size: 9px;
  line-height: 1.2;
}

.generation-gate-result {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 4px;
  margin: 2px 9px 9px;
}

.generation-gate-result span {
  display: grid;
  gap: 2px;
  min-height: 31px;
  align-content: center;
  padding: 5px 7px;
  font: 800 8px/1 monospace;
}

.generation-gate-result span b {
  font: 800 10px/1.2 var(--doc-font, sans-serif);
}

.generation-gate-result .is-fail {
  background: #f1e5e0;
  color: var(--doc-warn);
}

.generation-gate-result .is-pass {
  background: #dcece5;
  color: #3d765f;
}

.generation-output {
  border: 1px solid #759aaa;
  background: rgba(255, 253, 247, .96);
}

.generation-output > header {
  display: flex;
  gap: 10px;
  align-items: center;
  padding: 8px 11px;
  border-bottom: 1px solid #b8cdd5;
  background: #dce9ed;
}

.generation-output > header small {
  padding: 4px 6px;
  background: #3d765f;
  color: white;
  font: 800 8px/1 monospace;
  letter-spacing: .04em;
}

.generation-output > header b {
  color: var(--doc-ink);
  font-size: 12px;
  line-height: 1.3;
}

.generation-artifacts {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 18px minmax(0, 1fr);
  gap: 7px;
  align-items: stretch;
  padding: 9px;
}

.generation-artifacts > section {
  display: grid;
  gap: 2px;
  min-width: 0;
  align-content: center;
  min-height: 55px;
  padding: 8px 11px;
  background: #e7f1ea;
}

.generation-artifacts > section small {
  color: #4b7463;
  font: 800 8px/1 monospace;
}

.generation-artifacts > section b {
  color: var(--doc-ink);
  font-size: 14px;
  line-height: 1.3;
}

.generation-artifacts > section span {
  color: var(--doc-muted);
  font-size: 9px;
  line-height: 1.3;
}

.generation-artifacts > i {
  display: grid;
  place-items: center;
  color: var(--doc-blue);
  font: normal 800 18px/1 monospace;
}

.generation-artifacts > section.is-signature {
  background: var(--doc-night);
}

.generation-artifacts > section.is-signature small {
  color: #8fc1d5;
}

.generation-artifacts > section.is-signature b {
  color: white;
}

.generation-artifacts > section.is-signature span {
  color: #b8d0db;
}

.save-stable {
  justify-content: flex-start;
  margin: 0 0 11px;
  border-style: solid;
  border-color: #789baa;
}

.save-stable span {
  margin-left: auto;
}

.save-failure {
  border-color: #b18c80;
  background: #f4e9e3;
}

.detail-heading {
  margin: 0;
  padding: 26px 0 15px;
  border-top: 2px solid var(--doc-ink);
}

.detail-heading small {
  color: var(--doc-blue);
  font-size: 12px;
  font-weight: 800;
  letter-spacing: .1em;
}

.detail-heading h3 {
  margin: 7px 0 0;
  color: var(--doc-ink);
  font-size: 24px;
  line-height: 1.35;
}

.architecture-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 18px;
}

.architecture-panel {
  min-width: 0;
  padding: 26px;
  border: 1px solid var(--doc-line);
  background: var(--doc-panel);
}

.architecture-panel header {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 20px;
  margin-bottom: 22px;
}

.architecture-panel h3,
.decision-grid h3,
.implementation-block h3,
.boundary-grid h3 {
  margin: 0;
  color: var(--doc-ink);
  font-size: 21px;
  line-height: 1.35;
}

.layer-stack {
  display: grid;
  gap: 16px;
}

.layer,
.layer-row {
  position: relative;
}

.layer {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 18px;
  min-height: 58px;
  padding: 13px 16px;
  border: 1px solid #86a6b7;
  background: #edf3f3;
}

.layer b {
  color: var(--doc-ink);
  font-size: 15px;
}

.layer span {
  color: var(--doc-muted);
  font-size: 12px;
  text-align: right;
}

.layer.bootstrap {
  border-color: var(--doc-night);
  background: var(--doc-night);
}

.layer.bootstrap b,
.layer.bootstrap span {
  color: white;
}

.layer.framework {
  border-width: 2px;
  border-color: var(--doc-blue);
  background: var(--doc-blue-soft);
}

.layer-row {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 10px;
}

.layer-stack > *:not(:last-child)::after {
  content: '↓';
  position: absolute;
  left: 50%;
  bottom: -17px;
  z-index: 2;
  color: var(--doc-blue);
  font: 800 14px/1 monospace;
  transform: translateX(-50%);
}

.layer-row.base .layer {
  border-color: var(--doc-ink);
  background: white;
}

.lifecycle-flow {
  display: grid;
  gap: 7px;
  margin: 0;
  padding: 0;
  list-style: none;
}

.lifecycle-flow li {
  position: relative;
  display: grid;
  grid-template-columns: minmax(130px, .75fr) 1.25fr;
  gap: 16px;
  align-items: center;
  min-height: 48px;
  padding: 9px 14px;
  border-left: 3px solid #8aaaba;
  background: #edf3f3;
}

.lifecycle-flow li + li::before {
  content: '';
  position: absolute;
  top: -7px;
  left: -3px;
  width: 3px;
  height: 7px;
  background: #8aaaba;
}

.lifecycle-flow li.branch {
  border-left-color: var(--doc-blue);
  background: var(--doc-blue-soft);
}

.lifecycle-flow b {
  color: var(--doc-ink);
  font-size: 14px;
}

.lifecycle-flow span {
  color: var(--doc-muted);
  font-size: 12px;
}

.panel-note {
  margin: 18px 0 0;
  color: var(--doc-muted);
  font-size: 13px;
  line-height: 1.65;
}

.architecture-rationale {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  margin: 24px 0 0;
  border-top: 1px solid var(--doc-line);
  border-bottom: 1px solid var(--doc-line);
}

.architecture-rationale > section {
  padding: 25px 24px 27px 0;
}

.architecture-rationale > section + section {
  padding-left: 24px;
  border-left: 1px solid var(--doc-line);
}

.architecture-rationale small {
  color: var(--doc-blue);
  font-size: 12px;
  font-weight: 800;
  letter-spacing: .1em;
}

.architecture-rationale h3 {
  margin: 8px 0 10px;
  color: var(--doc-ink);
  font-size: 18px;
  line-height: 1.4;
}

.architecture-rationale p,
.decision-grid p,
.boundary-grid p {
  margin: 0;
  color: var(--doc-muted);
  font-size: 15px;
  line-height: 1.78;
}

.decision-grid {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  border-top: 1px solid var(--doc-line);
  border-bottom: 1px solid var(--doc-line);
}

.decision-grid > section {
  padding: 27px 26px 29px 0;
}

.decision-grid > section + section {
  padding-left: 26px;
  border-left: 1px solid var(--doc-line);
}

.decision-grid h3 {
  margin: 8px 0 11px;
}

.decision-grid .rejected {
  background: linear-gradient(90deg, transparent, rgba(139, 89, 75, .06));
}

.decision-grid .rejected small {
  color: var(--doc-warn);
}

.axis-grid {
  display: grid;
  grid-template-columns: repeat(5, 1fr);
  gap: 1px;
  margin: 30px 0 0;
  padding: 1px;
  background: #7896a5;
}

.axis-grid > div {
  display: grid;
  gap: 9px;
  min-width: 0;
  padding: 16px;
  background: var(--doc-panel);
}

.axis-grid b {
  color: var(--doc-blue);
  font: 800 12px/1.3 monospace;
}

.axis-grid span {
  color: var(--doc-ink);
  font-size: 13px;
  line-height: 1.55;
}

.cost-formula {
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  gap: 24px;
  align-items: center;
  margin: 30px 0 0;
  padding: 23px 28px;
  background: var(--doc-night);
  color: white;
}

.cost-formula span {
  display: grid;
  gap: 7px;
}

.cost-formula small {
  color: #8fc1d5;
  font-size: 12px;
  font-weight: 750;
}

.cost-formula b {
  font-size: 17px;
  line-height: 1.45;
}

.cost-formula i {
  color: #8fc1d5;
  font: normal 800 25px/1 monospace;
}

.case-execution {
  margin: 34px 0 0;
  padding: 27px 0 31px;
  border-top: 2px solid var(--doc-ink);
}

.case-execution > small {
  display: block;
  margin-bottom: 12px;
}

.decision-flow {
  display: grid;
  grid-template-columns: repeat(6, 1fr);
  gap: 8px;
  margin: 0;
  padding: 0;
  list-style: none;
}

.decision-flow li {
  position: relative;
  min-width: 0;
  min-height: 100px;
  display: flex;
  flex-direction: column;
  gap: 7px;
  justify-content: center;
  padding: 15px;
  border: 1px solid #31566c;
  background: var(--doc-night);
  color: white;
}

.decision-flow li:not(:last-child)::after {
  content: '›';
  position: absolute;
  right: -9px;
  top: 50%;
  z-index: 2;
  color: #8fc1d5;
  font: 800 20px/1 monospace;
  transform: translateY(-50%);
}

.decision-flow small {
  color: #86b9cf;
  font: 700 11px/1 monospace;
}

.decision-flow b {
  font-size: 14px;
  line-height: 1.4;
}

.decision-flow span {
  color: #b9cfda;
  font-size: 12px;
  line-height: 1.45;
}

.flow-note {
  display: grid;
  grid-template-columns: 125px 1fr;
  gap: 18px;
  margin: 0;
  padding: 15px 18px;
  border: 1px solid var(--doc-line);
  border-top: 0;
  background: var(--doc-panel);
  color: var(--doc-muted);
  font-size: 14px;
  line-height: 1.65;
}

.flow-note b {
  color: var(--doc-ink);
}

.implementation-block {
  display: grid;
  grid-template-columns: 185px minmax(0, 1fr);
  gap: 32px;
  padding: 29px 0 31px;
  border-top: 2px solid var(--doc-ink);
}

.implementation-block h3 {
  margin-top: 7px;
}

.implementation-block ul {
  display: grid;
  gap: 12px;
  margin: 0;
  padding: 0;
  list-style: none;
}

.implementation-block li {
  position: relative;
  padding-left: 20px;
  color: var(--doc-ink);
  font-size: 16px;
  line-height: 1.72;
}

.implementation-block li::before {
  content: '';
  position: absolute;
  top: .68em;
  left: 0;
  width: 7px;
  height: 7px;
  background: var(--doc-blue);
}

.boundary-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  margin-top: 0;
  border-top: 2px solid var(--doc-ink);
  border-bottom: 1px solid var(--doc-line);
}

.boundary-grid > section {
  padding: 26px 26px 28px 0;
}

.boundary-grid > section + section {
  padding-left: 26px;
  border-left: 1px solid var(--doc-line);
}

.boundary-grid h3 {
  margin: 7px 0 11px;
}


.inline-evidence {
  margin-top: 30px;
  padding-top: 24px;
  border-top: 2px solid var(--doc-ink);
}

.inline-evidence-heading {
  margin-bottom: 14px;
}

.inline-evidence-heading h3 {
  margin: 0;
  color: var(--doc-ink);
  font-size: 23px;
  line-height: 1.3;
}

.inline-evidence-list {
  display: grid;
  gap: 8px;
}

.document-footer {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 46px;
  align-items: end;
  padding: 52px 0 0;
}

.document-footer h2 {
  margin: 0 0 13px;
  color: var(--doc-ink);
  font-size: 28px;
  line-height: 1.32;
  letter-spacing: -.025em;
}

.document-footer p {
  max-width: 760px;
  margin: 0;
  color: var(--doc-muted);
  font-size: 14px;
  line-height: 1.72;
}

.document-footer > div:last-child {
  display: grid;
  gap: 10px;
  justify-items: end;
}

.document-footer a {
  color: var(--doc-blue);
  font-size: 13px;
  font-weight: 700;
  text-decoration: none;
}

/* Legacy evidence URL forwards into the unified document. */
.source-main {
  max-width: 820px;
  margin: auto;
  padding: clamp(72px, 12vw, 150px) 5%;
}

.redirect-card {
  padding: clamp(28px, 6vw, 54px);
  border-top: 2px solid var(--doc-ink);
  border-bottom: 1px solid var(--doc-line);
}

.redirect-card h1 {
  margin: 12px 0 18px;
  color: var(--doc-ink);
  font-size: clamp(34px, 6vw, 52px);
  line-height: 1.16;
  letter-spacing: -.045em;
}

.redirect-card p {
  max-width: 650px;
  color: var(--doc-muted);
  font-size: 16px;
  line-height: 1.75;
}

.redirect-card a {
  display: inline-block;
  margin-top: 10px;
  color: var(--doc-blue);
  font-size: 14px;
  font-weight: 800;
  text-decoration: none;
}

.source-code {
  margin: 12px 0;
  border: 1px solid var(--doc-line);
  background: var(--doc-panel);
}

.source-code > summary {
  position: relative;
  display: grid;
  grid-template-columns: minmax(180px, .8fr) minmax(0, 1.2fr);
  gap: 22px;
  align-items: center;
  padding: 18px 48px 18px 20px;
  cursor: pointer;
  list-style: none;
}

.source-code > summary::-webkit-details-marker {
  display: none;
}

.source-code > summary::after {
  content: '+';
  position: absolute;
  right: 20px;
  color: var(--doc-blue);
  font: 700 20px/1 monospace;
}

.source-code[open] > summary::after {
  content: '−';
}

.source-code > summary:hover,
.source-code > summary:focus-visible {
  background: #eaf1f2;
}

.source-code summary b {
  color: var(--doc-ink);
  font-size: 15px;
}

.source-code summary code {
  overflow-wrap: anywhere;
  color: var(--doc-muted);
  font-size: 12px;
}

.source-code pre {
  max-height: 650px;
  margin: 0;
  padding: 18px 0;
  overflow: auto;
  background: var(--doc-night);
  color: #dfebee;
  font-size: 12px;
  line-height: 1.7;
  tab-size: 4;
}

.source-code pre code {
  display: block;
  min-width: max-content;
  padding: 0 20px;
  white-space: pre;
  font-size: 12px;
}

@media (max-width: 980px) {
  .document-jump {
    position: sticky;
    top: 72px;
    display: flex;
    grid-template-columns: none;
    overflow-x: auto;
    overscroll-behavior-inline: contain;
    scrollbar-width: none;
    scroll-snap-type: inline proximity;
  }

  .document-jump::-webkit-scrollbar {
    display: none;
  }

  .document-jump > span {
    min-height: 52px;
    flex: 0 0 auto;
    padding-right: 14px;
  }

  .document-jump a {
    min-height: 52px;
    flex: 0 0 auto;
    scroll-snap-align: start;
  }

  .architecture-grid {
    grid-template-columns: 1fr;
  }

  .case-orientation {
    grid-template-columns: 1fr;
  }

  .case-media-frame {
    aspect-ratio: 16 / 9;
  }

  .decision-flow {
    grid-template-columns: repeat(3, 1fr);
  }

  .decision-flow li:nth-child(3)::after {
    content: none;
  }

  .axis-grid {
    grid-template-columns: repeat(3, 1fr);
  }
}

@media (max-width: 720px) {
  .reading-header {
    min-height: 62px;
  }

  .engineering-document {
    width: min(100% - 36px, 680px);
    padding-top: 18px;
  }

  .document-intro {
    grid-template-columns: 1fr;
    gap: 28px;
    padding: 22px 0 34px;
  }

  .document-intro h1 {
    font-size: clamp(34px, 8.8vw, 42px);
    line-height: 1.12;
  }

  .intro-copy > p {
    font-size: 16px;
  }

  .document-jump {
    top: 62px;
    width: calc(100% + 36px);
    margin-left: -18px;
    padding: 0 18px;
    border-top: 1px solid var(--doc-line);
  }

  .document-jump > span {
    display: none;
  }

  .document-jump a {
    min-height: 46px;
    gap: 7px;
    padding: 0 13px;
    border-left: 0;
    border-right: 1px solid var(--doc-line);
    font-size: 12px;
  }

  .verification-legend,
  .architecture-rationale,
  .decision-grid,
  .boundary-grid,
  .evidence-strip {
    grid-template-columns: 1fr;
  }

  .verification-legend > div + div,
  .architecture-rationale > section + section,
  .decision-grid > section + section,
  .boundary-grid > section + section {
    border-left: 0;
    border-top: 1px solid var(--doc-line);
  }

  .architecture-rationale > section,
  .architecture-rationale > section + section,
  .decision-grid > section,
  .decision-grid > section + section,
  .boundary-grid > section,
  .boundary-grid > section + section {
    padding: 22px 0;
  }

  .architecture-overview,
  .engineering-case {
    margin-top: 24px;
    padding: 27px 20px 31px;
    box-shadow: 0 10px 28px rgba(16, 40, 58, .06);
    scroll-margin-top: 118px;
  }

  .section-heading,
  .case-title {
    margin-bottom: 30px;
  }

  .section-heading h2,
  .case-title h2 {
    font-size: clamp(29px, 7.4vw, 36px);
    line-height: 1.16;
  }

  .chapter-label {
    align-items: flex-start;
  }

  .chapter-label span {
    width: 40px;
    height: 40px;
    flex: 0 0 40px;
  }

  .chapter-label small {
    padding-top: 5px;
    line-height: 1.45;
  }

  .case-orientation {
    gap: 16px;
    margin-bottom: 32px;
  }

  .case-media-frame {
    min-height: 0;
    aspect-ratio: 16 / 9;
  }

  .case-media figcaption {
    min-height: 0;
  }

  .concept-diagram > header {
    min-height: 0;
  }

  .concept-diagram > header,
  .case-media figcaption,
  .concept-diagram > figcaption {
    padding-inline: 14px;
  }

  .diagram-canvas {
    min-height: 0;
    padding: 12px;
  }

  .diagram-row {
    flex-direction: column;
  }

  .diagram-node {
    min-height: 64px;
    padding: 10px;
  }

  .diagram-node small {
    margin-bottom: 4px;
    font-size: 10px;
  }

  .diagram-node b {
    font-size: 12px;
  }

  .diagram-node span {
    margin-top: 4px;
    font-size: 10px;
  }

  .diagram-link {
    width: 100%;
    min-height: 38px;
    flex-basis: auto;
  }

  .diagram-link i::before {
    content: '↓';
  }

  .diagram-pair,
  .diagram-triad {
    grid-template-columns: 1fr;
  }

  .diagram-down {
    min-height: 32px;
  }

  .diagram-down span {
    font-size: 10px;
  }

  .diagram-loop,
  .diagram-signature,
  .save-failure,
  .save-stable {
    align-items: flex-start;
    flex-direction: column;
    text-align: left;
  }

  .diagram-writer .diagram-row,
  .diagram-runtime .diagram-row,
  .diagram-siege .diagram-row,
  .diagram-saving .diagram-row {
    display: grid;
    grid-template-columns: minmax(0, 1fr) 24px minmax(0, 1fr);
    gap: 6px;
  }

  .diagram-siege .diagram-row,
  .diagram-saving .diagram-row {
    grid-template-columns: minmax(0, 1fr) 18px minmax(0, 1fr) 18px minmax(0, 1fr);
  }

  .diagram-writer .diagram-link,
  .diagram-runtime .diagram-link,
  .diagram-siege .diagram-link,
  .diagram-saving .diagram-link,
  .diagram-generation .diagram-link {
    width: auto;
    min-height: 0;
    flex-basis: auto;
  }

  .diagram-writer .diagram-link i::before,
  .diagram-runtime .diagram-link i::before,
  .diagram-siege .diagram-link i::before,
  .diagram-saving .diagram-link i::before,
  .diagram-generation .diagram-link i::before {
    content: '→';
    font-size: 16px;
  }

  .diagram-writer .diagram-link span,
  .diagram-runtime .diagram-link span,
  .diagram-siege .diagram-link span,
  .diagram-saving .diagram-link span,
  .diagram-generation .diagram-link span {
    display: none;
  }

  .diagram-writer .diagram-pair,
  .diagram-runtime .diagram-pair {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .diagram-runtime .diagram-triad,
  .diagram-siege .diagram-triad {
    grid-template-columns: repeat(3, minmax(0, 1fr));
  }

  .generation-pipeline {
    grid-template-columns: minmax(76px, .78fr) 18px minmax(106px, 1.12fr) 18px minmax(108px, 1.05fr);
    gap: 4px;
  }

  .generation-arrow small {
    display: none;
  }

  .generation-stage > header {
    gap: 5px;
    min-height: 35px;
    padding: 5px 6px;
  }

  .generation-stage > header span {
    width: 21px;
    height: 21px;
    flex-basis: 21px;
    font-size: 9px;
  }

  .generation-stage > header small {
    font-size: 8px;
  }

  .generation-stage > header b {
    font-size: 11px;
  }

  .generation-input-list {
    gap: 5px;
    padding: 7px;
  }

  .generation-input-list > div {
    min-height: 34px;
    padding: 5px 6px;
  }

  .mini-hex-map {
    padding-top: 10px;
  }

  .mini-hex-map i {
    width: 22px;
    height: 25px;
  }

  .generation-build-steps {
    gap: 3px;
    padding: 0 6px 8px;
  }

  .generation-build-steps li {
    min-height: 24px;
    font-size: 8px;
  }

  .generation-validate-stage ul {
    padding: 5px 7px;
  }

  .generation-validate-stage li {
    grid-template-columns: 19px minmax(0, 1fr);
    gap: 5px;
    min-height: 38px;
  }

  .generation-validate-stage li > i {
    width: 17px;
    height: 17px;
    font-size: 10px;
  }

  .generation-validate-stage li b {
    font-size: 10px;
  }

  .generation-gate-result {
    margin-inline: 7px;
  }

  .generation-output > header {
    padding: 7px 9px;
  }

  .generation-output > header b {
    font-size: 11px;
  }

  .generation-artifacts {
    gap: 5px;
    padding: 7px;
  }

  .generation-artifacts > section {
    padding: 7px 8px;
  }

  .generation-artifacts > section b {
    font-size: 13px;
  }

  .diagram-writer .diagram-loop,
  .diagram-siege .diagram-loop,
  .diagram-saving .save-failure,
  .diagram-saving .save-stable {
    align-items: center;
    flex-direction: row;
    flex-wrap: wrap;
    padding: 8px 10px;
    text-align: left;
  }

  .save-stable span {
    margin-left: 0;
  }

  .hex-cluster {
    min-height: 112px;
  }

  .detail-heading {
    padding-top: 22px;
  }

  .architecture-panel {
    padding: 20px;
  }

  .architecture-panel header {
    display: block;
  }

  .architecture-panel header h3 {
    margin-top: 7px;
  }

  .layer {
    display: grid;
    gap: 4px;
  }

  .layer span {
    text-align: left;
  }

  .lifecycle-flow li {
    grid-template-columns: 1fr;
    gap: 4px;
  }

  .axis-grid,
  .decision-flow {
    grid-template-columns: 1fr;
  }

  .decision-flow li {
    min-height: 76px;
  }

  .decision-flow li:not(:last-child)::after,
  .decision-flow li:nth-child(3)::after {
    content: '⌄';
    right: auto;
    left: 50%;
    top: auto;
    bottom: -11px;
    transform: translateX(-50%);
  }

  .flow-note {
    grid-template-columns: 1fr;
    gap: 5px;
  }

  .implementation-block {
    grid-template-columns: 1fr;
    gap: 14px;
  }

  .inline-evidence-heading {
    grid-template-columns: 1fr;
    gap: 8px;
    align-items: start;
  }

  .cost-formula {
    grid-template-columns: 1fr;
    gap: 12px;
    padding: 22px;
  }

  .cost-formula i {
    transform: rotate(90deg);
    justify-self: start;
  }

  .document-footer {
    grid-template-columns: 1fr;
    align-items: start;
  }

  .document-footer > div:last-child {
    justify-items: start;
  }

  .source-main {
    padding: 22px 20px 70px;
  }

  .source-code > summary {
    grid-template-columns: 1fr;
    gap: 7px;
  }
}

@media (max-width: 430px) {
  .generation-pipeline {
    grid-template-columns: minmax(0, 1fr) 22px minmax(0, 1fr);
    gap: 6px;
  }

  .generation-arrow-validate {
    grid-column: 1 / -1;
    min-height: 26px;
  }

  .generation-arrow-validate i {
    transform: rotate(90deg);
  }

  .generation-validate-stage {
    grid-column: 1 / -1;
  }

  .generation-validate-stage ul {
    grid-template-columns: repeat(3, minmax(0, 1fr));
    padding: 6px;
  }

  .generation-validate-stage li {
    grid-template-columns: 1fr;
    gap: 5px;
    justify-items: center;
    min-height: 58px;
    padding: 6px 4px;
    border-right: 1px solid #d4e0e3;
    border-bottom: 0;
    text-align: center;
  }

  .generation-validate-stage li:last-child {
    border-right: 0;
  }

  .generation-input-list span,
  .generation-validate-stage li small {
    display: none;
  }

  .generation-output > header {
    align-items: flex-start;
    flex-direction: column;
    gap: 5px;
  }

  .generation-artifacts > section b {
    font-size: 12px;
  }
}

@media print {
  .reading-header,
  .document-jump,
  .document-footer > div:last-child {
    display: none;
  }

  .engineering-document,
  .source-main {
    width: 100%;
    max-width: none;
    padding: 0;
  }

  .architecture-overview,
  .engineering-case {
    break-before: page;
  }

  .decision-flow li,
  .cost-formula,
  .source-code pre {
    color: #000;
    background: #fff;
  }

  .source-code:not([open]) > *:not(summary) {
    display: block;
  }
}