.top-gap {
  margin-top: 12px;
}

.subheading {
  margin: 30px 0 12px;
  padding-top: 18px;
  border-top: 1px solid var(--line);
  font-size: 20px;
  line-height: 1.3;
  letter-spacing: 0;
}

.evidence-key {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  margin-top: 14px;
}

.evidence-tag {
  display: inline-flex;
  align-items: center;
  min-height: 28px;
  border: 1px solid var(--line);
  border-radius: 999px;
  padding: 3px 9px;
  background: var(--surface);
  font-size: 12px;
  font-weight: 800;
}

.evidence-tag.primary {
  border-color: var(--blue);
  color: var(--blue);
}

.evidence-tag.design {
  border-color: var(--teal);
  color: var(--teal);
}

.evidence-tag.required {
  border-color: var(--amber);
  color: var(--amber);
}

abbr.term {
  color: inherit;
  text-decoration: underline dotted var(--teal);
  text-decoration-thickness: 1px;
  text-underline-offset: 3px;
  cursor: help;
}

.term-groups {
  display: grid;
  gap: 22px;
}

.term-group {
  min-width: 0;
  padding-top: 18px;
  border-top: 1px solid var(--line);
}

.term-group:first-child {
  padding-top: 0;
  border-top: 0;
}

.term-group > h3 {
  margin-bottom: 11px;
}

.term-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 1px;
  margin: 0;
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: var(--line);
}

.term-entry {
  min-width: 0;
  display: grid;
  grid-template-columns: 84px minmax(0, 1fr);
  gap: 10px;
  align-items: start;
  padding: 12px;
  background: var(--surface);
}

.term-entry dt,
.term-entry dd {
  margin: 0;
}

.term-entry dt {
  color: var(--teal);
  font-size: 14px;
  font-weight: 900;
  overflow-wrap: anywhere;
}

.term-entry dd strong,
.term-entry dd span {
  display: block;
  overflow-wrap: anywhere;
}

.term-entry dd strong {
  font-size: 14px;
}

.term-entry dd span {
  margin-top: 3px;
  color: var(--muted);
  font-size: 12px;
}

.term-reminder {
  display: flex;
  flex-wrap: wrap;
  gap: 7px 12px;
  align-items: center;
  margin: 0 0 13px;
  padding: 8px 0;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
  color: var(--muted);
  font-size: 12px;
}

.term-reminder > strong {
  color: var(--ink);
  text-transform: uppercase;
}

.term-reminder span {
  white-space: normal;
}

.term-reminder .term {
  color: var(--teal);
  font-weight: 900;
}

.confusion-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 10px;
}

.confusion-item {
  min-width: 0;
  padding: 13px 0;
  border-top: 3px solid var(--blue);
}

.confusion-item strong,
.confusion-item span {
  display: block;
}

.confusion-item span {
  margin-top: 5px;
  color: var(--muted);
  font-size: 13px;
}

.verdict-banner {
  display: grid;
  grid-template-columns: minmax(230px, 0.62fr) minmax(0, 1.38fr);
  gap: 18px;
  align-items: center;
  border-left: 5px solid var(--teal);
  padding: 18px;
  background: var(--surface);
  box-shadow: var(--shadow);
}

.verdict-banner strong,
.verdict-banner span {
  display: block;
}

.verdict-banner strong {
  margin: 6px 0;
  font-size: 24px;
  line-height: 1.2;
}

.verdict-banner span,
.verdict-banner p {
  color: var(--muted);
}

.verdict-banner p {
  margin: 0;
}

.gap-grid,
.decision-grid,
.requirements-grid,
.contract-grid,
.proof-grid {
  display: grid;
  gap: 10px;
}

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

.gap-item {
  min-width: 0;
  border: 1px solid var(--line);
  border-left: 4px solid var(--blue);
  border-radius: 6px;
  padding: 14px;
  background: var(--surface);
}

.gap-item.missing {
  border-left-color: var(--teal);
  background: var(--soft-teal);
}

.gap-item strong,
.gap-item span,
.gap-item a {
  display: block;
}

.gap-item span {
  margin: 5px 0 7px;
  color: var(--muted);
  font-size: 14px;
}

.decision-grid {
  grid-template-columns: repeat(4, minmax(0, 1fr));
}

.decision-option {
  min-width: 0;
  border-top: 4px solid var(--line);
  padding: 14px;
  background: var(--surface);
}

.decision-option.recommended {
  border-top-color: var(--teal);
}

.decision-option.prototype {
  border-top-color: var(--blue);
}

.decision-option.caution {
  border-top-color: var(--amber);
}

.decision-option b,
.decision-option strong,
.decision-option span,
.decision-option code {
  display: block;
  overflow-wrap: anywhere;
}

.decision-option b {
  color: var(--muted);
  font-size: 12px;
  text-transform: uppercase;
}

.decision-option strong {
  margin: 6px 0;
}

.decision-option span,
.decision-option code {
  color: var(--muted);
  font-size: 13px;
}

.decision-option code {
  margin-top: 9px;
  color: var(--blue);
}

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

.system-tier {
  display: grid;
  grid-template-columns: 138px minmax(0, 1fr);
  gap: 9px;
  align-items: stretch;
}

.tier-label {
  display: grid;
  align-content: center;
  border: 1px solid var(--line);
  border-radius: 6px;
  padding: 11px;
  background: var(--surface-2);
  color: var(--muted);
  font-size: 12px;
  font-weight: 800;
  text-transform: uppercase;
}

.tier-nodes {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(145px, 1fr));
  gap: 7px;
}

.tier-node {
  min-width: 0;
  min-height: 84px;
  display: grid;
  align-content: center;
  border: 1px solid var(--line);
  border-top: 3px solid var(--teal);
  border-radius: 6px;
  padding: 11px;
  background: var(--surface);
}

.tier-node.control {
  border-top-color: var(--blue);
}

.tier-node.hardware {
  border-top-color: var(--amber);
}

.tier-node strong,
.tier-node span {
  display: block;
  overflow-wrap: anywhere;
}

.tier-node span {
  margin-top: 4px;
  color: var(--muted);
  font-size: 13px;
}

.system-boundary {
  margin-left: 147px;
  border-top: 1px dashed var(--line);
  padding: 4px 10px 0;
  color: var(--muted);
  font-size: 12px;
  font-weight: 800;
  text-align: center;
  text-transform: uppercase;
}

.pipeline-flow,
.yolo-flow,
.dma-flow,
.boot-flow {
  display: grid;
  gap: 9px;
}

.pipeline-flow {
  grid-template-columns: repeat(6, minmax(0, 1fr));
}

.yolo-flow {
  grid-template-columns: repeat(7, minmax(0, 1fr));
}

.dma-flow {
  grid-template-columns: repeat(6, minmax(0, 1fr));
}

.boot-flow {
  grid-template-columns: repeat(5, minmax(0, 1fr));
}

.pipeline-stage,
.yolo-stage,
.dma-stage,
.boot-stage {
  position: relative;
  min-width: 0;
  min-height: 132px;
  display: grid;
  align-content: start;
  border: 1px solid var(--line);
  border-radius: 6px;
  padding: 12px;
  background: var(--surface);
}

.pipeline-stage:not(:last-child)::after,
.yolo-stage:not(:last-child)::after,
.dma-stage:not(:last-child)::after,
.boot-stage:not(:last-child)::after {
  content: ">";
  position: absolute;
  z-index: 2;
  top: 47px;
  right: -9px;
  width: 17px;
  height: 24px;
  display: grid;
  place-items: center;
  background: var(--page);
  color: var(--muted);
  font-weight: 800;
}

.pipeline-stage b,
.pipeline-stage strong,
.pipeline-stage span,
.yolo-stage b,
.yolo-stage strong,
.yolo-stage span,
.dma-stage b,
.dma-stage strong,
.dma-stage span,
.boot-stage b,
.boot-stage strong,
.boot-stage span {
  display: block;
  overflow-wrap: anywhere;
}

.pipeline-stage b,
.yolo-stage b,
.dma-stage b,
.boot-stage b {
  color: var(--muted);
  font-size: 11px;
  text-transform: uppercase;
}

.pipeline-stage strong,
.yolo-stage strong,
.dma-stage strong,
.boot-stage strong {
  margin: 5px 0;
}

.pipeline-stage span,
.yolo-stage span,
.dma-stage span,
.boot-stage span {
  color: var(--muted);
  font-size: 12px;
}

.yolo-stage.host,
.pipeline-stage.host {
  border-top: 4px solid var(--blue);
}

.yolo-stage.analog,
.pipeline-stage.analog {
  border-top: 4px solid var(--teal);
}

.yolo-stage.digital,
.pipeline-stage.digital {
  border-top: 4px solid var(--amber);
}

.requirements-grid {
  grid-template-columns: repeat(2, minmax(0, 1fr));
}

.requirement-panel {
  min-width: 0;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: var(--surface);
  overflow: hidden;
}

.requirement-panel > header {
  border-bottom: 1px solid var(--line);
  padding: 12px 14px;
  background: var(--surface-2);
}

.requirement-panel > header strong,
.requirement-panel > header span {
  display: block;
}

.requirement-panel > header span {
  color: var(--muted);
  font-size: 13px;
}

.requirement-list {
  margin: 0;
  padding: 0;
  list-style: none;
}

.requirement-list li {
  display: grid;
  grid-template-columns: minmax(125px, 0.55fr) minmax(0, 1.45fr);
  gap: 10px;
  border-top: 1px solid var(--line);
  padding: 10px 14px;
}

.requirement-list li:first-child {
  border-top: 0;
}

.requirement-list strong,
.requirement-list span {
  display: block;
}

.requirement-list span {
  color: var(--muted);
  font-size: 13px;
}

.bar-map {
  display: grid;
  grid-template-columns: minmax(190px, 0.42fr) minmax(0, 1.58fr);
  gap: 12px;
}

.bar-index {
  display: grid;
  align-content: start;
  gap: 8px;
}

.bar-chip {
  border: 1px solid var(--line);
  border-left: 4px solid var(--teal);
  border-radius: 6px;
  padding: 11px;
  background: var(--surface);
}

.bar-chip.optional {
  border-left-color: var(--blue);
}

.bar-chip strong,
.bar-chip span,
.bar-chip code {
  display: block;
}

.bar-chip span,
.bar-chip code {
  margin-top: 3px;
  color: var(--muted);
  font-size: 12px;
}

.register-map {
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: var(--surface);
}

.register-row {
  display: grid;
  grid-template-columns: 94px minmax(145px, 0.45fr) 75px minmax(0, 1fr);
  gap: 10px;
  border-top: 1px solid var(--line);
  padding: 9px 12px;
}

.register-row:first-child {
  border-top: 0;
  background: var(--surface-2);
  color: var(--muted);
  font-size: 12px;
  font-weight: 800;
  text-transform: uppercase;
}

.register-row code,
.register-row strong,
.register-row span {
  display: block;
  min-width: 0;
  overflow-wrap: anywhere;
}

.register-row span {
  color: var(--muted);
  font-size: 13px;
}

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

.contract-card {
  min-width: 0;
  border-top: 3px solid var(--blue);
  padding: 13px;
  background: var(--surface);
}

.contract-card strong,
.contract-card span,
.contract-card code {
  display: block;
  overflow-wrap: anywhere;
}

.contract-card span,
.contract-card code {
  margin-top: 5px;
  color: var(--muted);
  font-size: 13px;
}

.contract-card code {
  color: var(--blue);
}

.ownership-table th:first-child {
  width: 16%;
}

.sequence-wrap {
  overflow-x: auto;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: var(--surface);
}

.sequence-diagram {
  min-width: 960px;
  display: grid;
  grid-template-columns: 50px repeat(5, minmax(150px, 1fr));
}

.sequence-lane,
.sequence-number,
.sequence-event,
.sequence-empty {
  min-width: 0;
  border-bottom: 1px solid var(--line);
  padding: 9px 10px;
}

.sequence-lane {
  border-left: 1px solid var(--line);
  background: var(--surface-2);
  font-size: 12px;
  font-weight: 800;
  text-align: center;
  text-transform: uppercase;
}

.sequence-number {
  grid-column: 1;
  color: var(--muted);
  font-size: 12px;
  font-weight: 800;
  text-align: center;
}

.sequence-empty {
  border-left: 1px solid var(--line);
}

.sequence-event {
  position: relative;
  border-left: 1px solid var(--line);
  background: var(--soft-blue);
  color: var(--ink);
  font-size: 13px;
  font-weight: 700;
  text-align: center;
  overflow-wrap: anywhere;
}

.sequence-event.device {
  background: var(--soft-teal);
}

.sequence-event.fault {
  background: var(--soft-amber);
}

.sequence-event.evidence {
  background: var(--soft-amber);
}

.span-1-2 { grid-column: 2 / span 2; }
.span-2-3 { grid-column: 3 / span 2; }
.span-3-4 { grid-column: 4 / span 2; }
.span-4-5 { grid-column: 5 / span 2; }
.span-5-4 { grid-column: 5 / span 2; }
.span-4-3 { grid-column: 4 / span 2; }
.span-3-2 { grid-column: 3 / span 2; }
.span-2-1 { grid-column: 2 / span 2; }

.sequence-caption {
  margin: 8px 0 0;
  color: var(--muted);
  font-size: 13px;
}

.sequence-row-fill {
  grid-column: 2 / -1;
  display: grid;
  grid-template-columns: repeat(5, minmax(150px, 1fr));
}

.sequence-row-fill > * {
  min-height: 43px;
}

.formula-strip {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 9px;
}

.formula-item {
  min-width: 0;
  border-left: 3px solid var(--teal);
  padding: 11px 12px;
  background: var(--surface);
}

.formula-item code,
.formula-item strong,
.formula-item span {
  display: block;
  overflow-wrap: anywhere;
}

.formula-item code {
  color: var(--blue);
  font-weight: 800;
}

.formula-item span {
  margin-top: 4px;
  color: var(--muted);
  font-size: 12px;
}

.state-machine {
  display: grid;
  grid-template-columns: repeat(6, minmax(0, 1fr));
  gap: 8px;
}

.state {
  position: relative;
  min-width: 0;
  border: 1px solid var(--line);
  border-radius: 6px;
  padding: 11px;
  background: var(--surface);
}

.state:not(:last-child)::after {
  content: ">";
  position: absolute;
  top: 19px;
  right: -8px;
  z-index: 2;
  background: var(--page);
  color: var(--muted);
  font-weight: 800;
}

.state b,
.state strong,
.state span {
  display: block;
  overflow-wrap: anywhere;
}

.state b {
  color: var(--teal);
  font-size: 11px;
  text-transform: uppercase;
}

.state span {
  margin-top: 4px;
  color: var(--muted);
  font-size: 12px;
}

.repository-tree {
  display: grid;
  grid-template-columns: minmax(300px, 0.9fr) minmax(0, 1.1fr);
  gap: 12px;
}

.repository-tree.source-tree {
  grid-template-columns: minmax(520px, 1.25fr) minmax(0, 0.75fr);
}

.delivery-phase-map {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 10px;
}

.delivery-phase-summary {
  position: relative;
  min-width: 0;
  border-top: 4px solid var(--line);
  padding: 14px;
  background: var(--surface);
}

.delivery-phase-summary.foundation {
  border-top-color: var(--blue);
}

.delivery-phase-summary.transport {
  border-top-color: var(--amber);
}

.delivery-phase-summary.compute {
  border-top-color: var(--teal);
}

.delivery-phase-summary.product {
  border-top-color: var(--red);
}

.delivery-phase-summary:not(:last-child)::after {
  content: ">";
  position: absolute;
  top: 42px;
  right: -9px;
  z-index: 2;
  width: 17px;
  display: grid;
  place-items: center;
  background: var(--page);
  color: var(--muted);
  font-weight: 800;
}

.delivery-phase-summary b,
.delivery-phase-summary strong,
.delivery-phase-summary span,
.delivery-phase-summary code {
  display: block;
  overflow-wrap: anywhere;
}

.delivery-phase-summary b {
  color: var(--muted);
  font-size: 11px;
  text-transform: uppercase;
}

.delivery-phase-summary strong {
  margin: 6px 0;
}

.delivery-phase-summary span,
.delivery-phase-summary code {
  color: var(--muted);
  font-size: 13px;
}

.delivery-phase-summary code {
  margin-top: 8px;
  color: var(--blue);
}

.delivery-dataflow-row {
  display: grid;
  gap: 9px;
}

.delivery-dataflow-row.five {
  grid-template-columns: repeat(5, minmax(0, 1fr));
}

.delivery-dataflow-row.four {
  grid-template-columns: repeat(4, minmax(0, 1fr));
}

.delivery-data-node {
  position: relative;
  min-width: 0;
  min-height: 142px;
  border: 1px solid var(--line);
  border-top: 4px solid var(--line);
  border-radius: 6px;
  padding: 12px;
  background: var(--surface);
}

.delivery-data-node.foundation {
  border-top-color: var(--blue);
}

.delivery-data-node.transport {
  border-top-color: var(--amber);
}

.delivery-data-node.compute {
  border-top-color: var(--teal);
}

.delivery-data-node.product {
  border-top-color: var(--red);
}

.delivery-data-node:not(:last-child)::after {
  content: ">";
  position: absolute;
  top: 48px;
  right: -9px;
  z-index: 2;
  width: 17px;
  display: grid;
  place-items: center;
  background: var(--page);
  color: var(--muted);
  font-weight: 800;
}

.delivery-data-node b,
.delivery-data-node strong,
.delivery-data-node span,
.delivery-data-node code {
  display: block;
  overflow-wrap: anywhere;
}

.delivery-data-node b {
  color: var(--muted);
  font-size: 11px;
  text-transform: uppercase;
}

.delivery-data-node strong {
  margin: 6px 0;
}

.delivery-data-node span,
.delivery-data-node code {
  color: var(--muted);
  font-size: 12px;
}

.delivery-data-node code {
  margin-top: 8px;
  color: var(--blue);
}

.delivery-flow-bridge {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto minmax(0, 1fr);
  gap: 12px;
  align-items: center;
  margin: 10px 0;
  border-top: 1px dashed var(--line);
  border-bottom: 1px dashed var(--line);
  padding: 8px 0;
  color: var(--muted);
  font-size: 12px;
  text-align: center;
}

.delivery-flow-bridge > span:first-child {
  text-align: left;
}

.delivery-flow-bridge > span:last-child {
  text-align: right;
}

.delivery-flow-bridge strong,
.delivery-flow-bridge span {
  display: block;
}

.delivery-flow-bridge strong {
  color: var(--ink);
}

.delivery-roadmap {
  display: grid;
  gap: 30px;
}

.delivery-phase-block {
  min-width: 0;
  padding-top: 18px;
  border-top: 1px solid var(--line);
}

.delivery-phase-block:first-child {
  padding-top: 0;
  border-top: 0;
}

.delivery-phase-heading {
  display: grid;
  grid-template-columns: 120px minmax(0, 1fr);
  gap: 14px;
  align-items: start;
  margin-bottom: 12px;
}

.delivery-phase-heading > b {
  border-left: 4px solid var(--line);
  padding: 5px 0 5px 10px;
  color: var(--muted);
  font-size: 12px;
  text-transform: uppercase;
}

.delivery-phase-block.foundation .delivery-phase-heading > b {
  border-left-color: var(--blue);
}

.delivery-phase-block.transport .delivery-phase-heading > b {
  border-left-color: var(--amber);
}

.delivery-phase-block.compute .delivery-phase-heading > b {
  border-left-color: var(--teal);
}

.delivery-phase-block.product .delivery-phase-heading > b {
  border-left-color: var(--red);
}

.delivery-phase-heading h3,
.delivery-phase-heading p {
  margin: 0;
}

.delivery-phase-heading h3 {
  font-size: 21px;
  line-height: 1.3;
  letter-spacing: 0;
}

.delivery-phase-heading p {
  margin-top: 4px;
  color: var(--muted);
  font-size: 14px;
}

.delivery-milestones {
  display: grid;
  gap: 12px;
}

.delivery-milestone {
  min-width: 0;
  overflow: hidden;
  border: 1px solid var(--line);
  border-left: 4px solid var(--line);
  border-radius: 6px;
  background: var(--surface);
}

.delivery-phase-block.foundation .delivery-milestone {
  border-left-color: var(--blue);
}

.delivery-phase-block.transport .delivery-milestone {
  border-left-color: var(--amber);
}

.delivery-phase-block.compute .delivery-milestone {
  border-left-color: var(--teal);
}

.delivery-phase-block.product .delivery-milestone {
  border-left-color: var(--red);
}

.milestone-header {
  display: grid;
  grid-template-columns: 46px minmax(0, 1fr) auto;
  gap: 11px;
  align-items: center;
  padding: 13px 14px;
  background: var(--surface-2);
}

.milestone-number {
  width: 38px;
  height: 38px;
  display: grid;
  place-items: center;
  border: 1px solid var(--line);
  border-radius: 4px;
  background: var(--surface);
  color: var(--ink);
  font-weight: 900;
}

.milestone-title h4,
.milestone-title p {
  margin: 0;
}

.milestone-title h4 {
  font-size: 17px;
  line-height: 1.3;
  letter-spacing: 0;
}

.milestone-title p {
  margin-top: 3px;
  color: var(--muted);
  font-size: 13px;
}

.milestone-environment {
  max-width: 230px;
  color: var(--blue);
  font-size: 12px;
  text-align: right;
  overflow-wrap: anywhere;
}

.milestone-details {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 1px;
  border-top: 1px solid var(--line);
  background: var(--line);
}

.milestone-detail {
  min-width: 0;
  padding: 12px 13px;
  background: var(--surface);
}

.milestone-detail.gate {
  background: var(--soft-teal);
}

.milestone-detail strong,
.milestone-detail span {
  display: block;
  overflow-wrap: anywhere;
}

.milestone-detail strong {
  margin-bottom: 5px;
  color: var(--muted);
  font-size: 11px;
  text-transform: uppercase;
}

.milestone-detail span {
  font-size: 13px;
}

.milestone-unlock {
  margin: 0;
  border-top: 1px solid var(--line);
  padding: 9px 14px;
  color: var(--muted);
  font-size: 13px;
}

.milestone-unlock strong {
  color: var(--ink);
}

.tree-notes {
  display: grid;
  gap: 8px;
}

.tree-note {
  border-left: 3px solid var(--line);
  padding: 9px 11px;
  background: var(--surface);
}

.tree-note strong,
.tree-note span {
  display: block;
}

.tree-note span {
  color: var(--muted);
  font-size: 13px;
}

.proof-grid {
  grid-template-columns: repeat(4, minmax(0, 1fr));
}

.proof-grid article {
  min-width: 0;
  border-top: 3px solid var(--teal);
  padding: 13px;
  background: var(--surface);
}

.proof-grid b,
.proof-grid strong,
.proof-grid span {
  display: block;
  overflow-wrap: anywhere;
}

.proof-grid b {
  color: var(--muted);
  font-size: 11px;
  text-transform: uppercase;
}

.proof-grid strong {
  margin: 5px 0;
}

.proof-grid span {
  color: var(--muted);
  font-size: 13px;
}

@media (max-width: 1080px) {
  .term-grid {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .decision-grid,
  .proof-grid,
  .delivery-phase-map,
  .milestone-details {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .delivery-phase-summary::after {
    content: none !important;
  }

  .pipeline-flow,
  .dma-flow,
  .state-machine {
    grid-template-columns: repeat(3, minmax(0, 1fr));
  }

  .yolo-flow {
    grid-template-columns: repeat(4, minmax(0, 1fr));
  }

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

  .pipeline-stage::after,
  .yolo-stage::after,
  .dma-stage::after,
  .boot-stage::after,
  .state::after {
    content: none !important;
  }
}

@media (max-width: 800px) {
  .verdict-banner,
  .bar-map,
  .repository-tree,
  .repository-tree.source-tree,
  .requirements-grid {
    grid-template-columns: 1fr;
  }

  .gap-grid,
  .contract-grid,
  .formula-strip {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .system-tier {
    grid-template-columns: 1fr;
  }

  .delivery-dataflow-row.five,
  .delivery-dataflow-row.four {
    grid-template-columns: 1fr;
  }

  .delivery-data-node:not(:last-child)::after {
    content: "v";
    top: auto;
    right: 50%;
    bottom: -20px;
    width: 18px;
    height: 20px;
  }

  .delivery-flow-bridge {
    grid-template-columns: 1fr;
    padding: 7px 0;
  }

  .delivery-flow-bridge > span:first-child,
  .delivery-flow-bridge > span:last-child {
    text-align: center;
  }

  .delivery-phase-heading {
    grid-template-columns: 1fr;
    gap: 7px;
  }

  .system-boundary {
    margin-left: 0;
  }

  .register-row {
    grid-template-columns: 84px minmax(125px, 0.6fr) 60px minmax(200px, 1fr);
    min-width: 680px;
  }

  .register-map {
    overflow-x: auto;
  }
}

@media (max-width: 620px) {
  .term-grid,
  .confusion-grid {
    grid-template-columns: 1fr;
  }

  .term-entry {
    grid-template-columns: 70px minmax(0, 1fr);
  }

  .gap-grid,
  .decision-grid,
  .contract-grid,
  .proof-grid,
  .delivery-phase-map,
  .milestone-details,
  .formula-strip,
  .pipeline-flow,
  .yolo-flow,
  .dma-flow,
  .boot-flow,
  .state-machine {
    grid-template-columns: 1fr;
  }

  .milestone-header {
    grid-template-columns: 42px minmax(0, 1fr);
  }

  .milestone-environment {
    grid-column: 2;
    max-width: none;
    text-align: left;
  }

  .requirement-list li {
    grid-template-columns: 1fr;
    gap: 3px;
  }
}