:root {
  --demo-font-label: 0.75rem;
}

/* Interactive demo components */
[data-demo-anchor] {
  scroll-margin-block-start: 5.5rem;
}
[data-demo-anchor]:target {
  outline: 3px solid var(--accent-strong);
  outline-offset: 0.35rem;
}
[data-demo-anchor]
  :where(
    a[href],
    button,
    input,
    select,
    textarea,
    summary,
    [tabindex="0"]
  ):focus-visible {
  box-shadow: 0 0 0 2px var(--panel);
  outline: 3px solid var(--accent-strong);
  outline-offset: 3px;
}
@media (prefers-reduced-motion: reduce) {
  [data-demo-anchor] *,
  [data-demo-anchor] *::before,
  [data-demo-anchor] *::after {
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
    transition-duration: 0.01ms !important;
  }
}
.demo-permalink {
  align-items: center;
  background: color-mix(in srgb, var(--panel) 88%, var(--accent) 12%);
  border: 1px solid color-mix(in srgb, var(--border) 75%, var(--accent));
  border-radius: 0.2rem;
  color: var(--accent-strong);
  display: inline-flex;
  font-family: var(--font-ui);
  font-size: 0.78rem;
  font-weight: 800;
  inline-size: 1.4rem;
  justify-content: center;
  line-height: 1;
  margin-inline-start: 0.55rem;
  min-block-size: 1.4rem;
  opacity: 0.62;
  text-decoration: none;
  vertical-align: 0.16em;
}
.demo-permalink:hover,
.demo-permalink:focus-visible {
  opacity: 1;
}
.demo-permalink:focus-visible {
  outline: 3px solid color-mix(in srgb, var(--accent) 38%, transparent);
  outline-offset: 0.18rem;
}
.prose input[type="range"] {
  --range-track: color-mix(in srgb, var(--border) 75%, var(--panel));
  --range-fill: var(--accent);
  --range-thumb: var(--accent-strong);
  accent-color: var(--range-thumb);
  appearance: none;
  background: transparent;
  block-size: 1.35rem;
  inline-size: 100%;
}
.prose input[type="range"]::-webkit-slider-runnable-track {
  background: var(--range-track);
  border: 1px solid var(--border);
  border-radius: 999px;
  block-size: 0.5rem;
}
.prose input[type="range"]::-webkit-slider-thumb {
  appearance: none;
  background: var(--range-thumb);
  border: 2px solid var(--panel);
  border-radius: 999px;
  block-size: 1.25rem;
  box-shadow: 0 0 0 1px
    color-mix(in srgb, var(--range-thumb) 55%, var(--border));
  inline-size: 1.25rem;
  margin-block-start: -0.45rem;
}
.prose input[type="range"]::-moz-range-track {
  background: var(--range-track);
  border: 1px solid var(--border);
  border-radius: 999px;
  block-size: 0.5rem;
}
.prose input[type="range"]::-moz-range-progress {
  background: var(--range-fill);
  border-radius: 999px;
  block-size: 0.5rem;
}
.prose input[type="range"]::-moz-range-thumb {
  background: var(--range-thumb);
  border: 2px solid var(--panel);
  border-radius: 999px;
  block-size: 1.25rem;
  box-shadow: 0 0 0 1px
    color-mix(in srgb, var(--range-thumb) 55%, var(--border));
  inline-size: 1.25rem;
}
.prose input[type="range"]:focus-visible {
  outline: 3px solid color-mix(in srgb, var(--accent) 35%, transparent);
  outline-offset: 0.25rem;
}
.prose input[type="checkbox"] {
  accent-color: var(--accent-strong);
}

/* Shared simulation layout. */
.scaling-demo {
  --scaling-demo-active-bg: var(--accent-strong);
  --scaling-demo-active-text: var(--panel);
  background:
    linear-gradient(
      135deg,
      color-mix(in srgb, var(--panel) 92%, var(--accent) 8%),
      var(--panel)
    ),
    repeating-linear-gradient(
      0deg,
      transparent 0,
      transparent 2.35rem,
      color-mix(in srgb, var(--border) 45%, transparent) 2.4rem
    );
  border: 1px solid var(--border);
  border-radius: 0.45rem;
  box-shadow: 0 1.5rem 3.5rem color-mix(in srgb, var(--text) 12%, transparent);
  inline-size: min(100%, 58rem);
  margin: 2rem 0;
  padding: clamp(1rem, 2vw, 1.5rem);
}
[data-theme="dark"] .scaling-demo,
[data-theme="contrast"] .scaling-demo {
  --scaling-demo-active-bg: var(--accent-strong);
  --scaling-demo-active-text: var(--panel);
}
.scaling-demo,
.scaling-demo * {
  font-family: var(--font-ui);
}
.scaling-demo-header {
  align-items: start;
  border-block-end: 1px solid var(--border);
  display: grid;
  gap: 1rem;
  grid-template-columns: minmax(0, 1fr) minmax(14rem, 20rem);
  padding-block-end: 1rem;
}
.prose .scaling-demo-kicker {
  color: var(--accent-strong);
  font-family: var(--font-ui);
  font-size: 0.78rem;
  font-weight: 800;
  letter-spacing: 0.08em;
  line-height: 1.2;
  margin: 0 0 0.35rem;
  max-width: none;
  text-transform: uppercase;
}
.prose .scaling-demo h3 {
  font-family: var(--font-serif);
  font-size: clamp(1.45rem, 1.3vw + 1rem, 2.05rem);
  line-height: 1.12;
  margin: 0;
  max-width: 20ch;
}
.scaling-demo-summary,
.scaling-demo-step,
.scaling-demo-panel {
  background: var(--bg);
  border: 1px solid var(--border);
  border-radius: 0.35rem;
}
.scaling-demo-summary {
  padding: 0.8rem;
}
.scaling-demo-summary span {
  display: block;
  font-size: 1.25rem;
  font-weight: 850;
  line-height: 1.1;
}
.scaling-demo-summary small {
  color: var(--muted);
  display: block;
  font-size: 0.8rem;
  line-height: 1.35;
  margin-top: 0.35rem;
}
.scaling-demo-progress {
  display: grid;
  gap: 0.45rem;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  list-style: none;
  margin: 1rem 0 0;
  padding: 0;
}
.scaling-demo-progress li {
  line-height: 1.2;
  max-width: none;
}
.scaling-demo-progress button {
  background: var(--bg);
  border: 1px solid var(--border);
  border-radius: 0.35rem;
  color: var(--muted);
  display: grid;
  font-size: 0.78rem;
  font-weight: 800;
  gap: 0.35rem;
  justify-items: start;
  line-height: 1.2;
  min-height: 3.65rem;
  padding: 0.55rem;
  text-align: left;
  width: 100%;
}
.scaling-demo-progress button span {
  align-items: center;
  background: color-mix(in srgb, var(--border) 55%, transparent);
  border-radius: 999px;
  color: var(--text);
  display: inline-flex;
  font-size: var(--demo-font-label);
  font-weight: 900;
  height: 1.35rem;
  justify-content: center;
  width: 1.35rem;
}
.scaling-demo-progress button.is-active {
  background: var(--scaling-demo-active-bg);
  border-color: var(--accent-strong);
  color: var(--scaling-demo-active-text);
}
.scaling-demo-progress button.is-active span {
  background: var(--scaling-demo-active-text);
  color: var(--scaling-demo-active-bg);
}
.scaling-demo-progress button.is-complete:not(.is-active) span {
  background: color-mix(in srgb, var(--accent) 16%, var(--bg));
  color: var(--text);
}
.scaling-demo-form {
  display: grid;
  gap: 1rem;
  margin-top: 1rem;
}
.scaling-demo-step {
  display: grid;
  gap: 0.8rem;
  min-width: 0;
  padding: 1rem;
}
.scaling-demo-step[hidden] {
  display: none;
}
.scaling-demo-pressure-step,
.scaling-demo-moves-step,
.scaling-demo-tradeoff-step {
  grid-template-columns: minmax(0, 1fr) minmax(14rem, 0.8fr);
}
.latency-demo .scaling-demo-pressure-step {
  align-items: start;
}
.latency-demo .scaling-demo-step > * {
  min-inline-size: 0;
}
.scaling-demo-panel {
  display: grid;
  gap: 0.75rem;
  padding: 0.8rem;
}
.latency-demo .scaling-demo-panel {
  align-content: start;
}
.prose .scaling-demo h4 {
  font-family: var(--font-ui);
  font-size: 0.86rem;
  line-height: 1.2;
  margin: 0;
  text-transform: uppercase;
}
.scaling-demo label {
  display: grid;
  gap: 0.35rem;
  margin: 0;
}
.scaling-demo label > span,
.scaling-demo-artifact-header h4 {
  color: var(--muted);
  font-size: 0.78rem;
  font-weight: 800;
  line-height: 1.2;
}
.scaling-demo select,
.scaling-demo textarea {
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 0.3rem;
  color: var(--text);
  font: inherit;
  line-height: 1.35;
  min-width: 0;
  padding: 0.62rem 0.7rem;
  width: 100%;
}
.scaling-demo input[type="range"] {
  inline-size: 100%;
}
.scaling-demo input[type="checkbox"] {
  accent-color: var(--accent-strong);
}
.scaling-demo output {
  color: var(--text);
  font-size: 0.9rem;
  font-weight: 850;
}
.demo-card {
  background: color-mix(in srgb, var(--accent) 8%, var(--panel));
  border: 1px solid color-mix(in srgb, var(--accent) 35%, var(--border));
  border-radius: 0.3rem;
  display: grid;
  gap: 0.25rem;
  padding: 0.65rem 0.7rem;
}
.demo-card strong {
  color: var(--text);
  font-size: 0.95rem;
  line-height: 1.2;
}
.prose .demo-card p,
.prose .demo-note {
  color: var(--muted);
  font-family: var(--font-ui);
  font-size: 0.82rem;
  line-height: 1.4;
  margin: 0;
  max-width: none;
}
.demo-reference {
  border-block-start: 1px solid var(--border);
  color: var(--muted);
  font-family: var(--font-ui);
  font-size: 0.75rem;
  line-height: 1.35;
  padding-block-start: 0.45rem;
}
.demo-reference summary {
  color: var(--muted);
  cursor: pointer;
  font-weight: 850;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}
.demo-reference[open] summary {
  margin-block-end: 0.4rem;
}
.prose .demo-reference p {
  color: var(--muted);
  font-size: 0.75rem;
  line-height: 1.35;
  margin: 0;
  max-width: none;
}
.demo-reference ul {
  display: flex;
  flex-wrap: wrap;
  gap: 0.35rem 0.7rem;
  list-style: none;
  margin: 0.45rem 0 0;
  padding: 0;
}
.demo-reference a {
  color: var(--accent-strong);
  font-weight: 800;
  text-decoration-thickness: 0.08em;
  text-underline-offset: 0.18em;
}
.latency-demo-db-choice,
.latency-demo-hardware-choice,
.latency-demo-db-impact {
  background: color-mix(in srgb, var(--accent) 8%, var(--panel));
  border: 1px solid color-mix(in srgb, var(--accent) 35%, var(--border));
  border-radius: 0.3rem;
  display: grid;
  gap: 0.25rem;
  padding: 0.65rem 0.7rem;
}
.latency-demo-db-choice span {
  color: var(--text);
  font-size: 0.9rem;
  font-weight: 850;
}
.latency-demo-hardware-choice span {
  color: var(--text);
  font-size: 0.9rem;
  font-weight: 850;
}
.prose .latency-demo-db-choice p,
.prose .latency-demo-hardware-choice p,
.prose .latency-demo-db-impact p,
.latency-demo-db-impact small {
  color: var(--muted);
  font-family: var(--font-ui);
  font-size: 0.78rem;
  line-height: 1.35;
  margin: 0;
  max-width: none;
}
.latency-demo-db-impact small {
  border-block-start: 1px solid var(--border);
  padding-block-start: 0.45rem;
}
.saturation-boundary-demo {
  --saturation-safe: color-mix(in srgb, #4d8b68 72%, var(--text));
  --saturation-limit: var(--warning);
  --saturation-hot: color-mix(in srgb, #c64c3f 82%, var(--text));
}
.saturation-boundary-summary span::before {
  background: var(--saturation-hot);
  border-radius: 999px;
  box-shadow: 0 0 0 0.3rem
    color-mix(in srgb, var(--saturation-hot) 15%, transparent);
  content: "";
  display: inline-block;
  height: 0.55rem;
  margin-inline-end: 0.55rem;
  vertical-align: 0.05rem;
  width: 0.55rem;
}
.saturation-boundary-summary {
  min-block-size: 5.85rem;
}
.saturation-boundary-summary span {
  align-items: center;
  min-block-size: 2.8rem;
  display: flex;
}
.saturation-boundary-summary small {
  min-block-size: 2.15rem;
}
.saturation-boundary-demo[data-saturation-state="healthy"]
  .saturation-boundary-summary
  span::before {
  background: var(--saturation-safe);
  box-shadow: 0 0 0 0.3rem
    color-mix(in srgb, var(--saturation-safe) 15%, transparent);
}
.saturation-boundary-grid {
  align-items: start;
  display: grid;
  gap: 0.8rem;
  grid-template-columns: minmax(14rem, 0.72fr) minmax(0, 1.7fr);
  margin-block-start: 1rem;
}
.saturation-boundary-controls,
.saturation-boundary-workbench {
  display: grid;
  gap: 0.8rem;
  min-width: 0;
}
.saturation-boundary-capacities {
  background-image: repeating-linear-gradient(
    -45deg,
    transparent 0,
    transparent 0.65rem,
    color-mix(in srgb, var(--border) 25%, transparent) 0.65rem,
    color-mix(in srgb, var(--border) 25%, transparent) 0.7rem
  );
}
.saturation-boundary-range {
  align-items: center;
  display: grid;
  gap: 0.55rem;
  grid-template-columns: minmax(0, 1fr) 5rem;
}
.saturation-boundary-range output {
  background: var(--bg);
  border: 1px solid var(--border);
  color: var(--text);
  font-variant-numeric: tabular-nums;
  min-width: 0;
  padding: 0.28rem 0.4rem;
  text-align: right;
  white-space: nowrap;
}
.saturation-boundary-instrument {
  background:
    linear-gradient(
      90deg,
      color-mix(in srgb, var(--accent) 7%, transparent) 1px,
      transparent 1px
    ),
    linear-gradient(
      color-mix(in srgb, var(--accent) 7%, transparent) 1px,
      transparent 1px
    ),
    color-mix(in srgb, var(--bg) 88%, var(--panel));
  background-size: 1.25rem 1.25rem;
  border: 1px solid var(--border);
  box-shadow: inset 0 0 0 0.22rem
    color-mix(in srgb, var(--panel) 72%, transparent);
  display: grid;
  gap: 1rem;
  min-width: 0;
  padding: 1rem;
}
.saturation-boundary-demand {
  align-items: end;
  border-block-end: 1px solid var(--border);
  display: grid;
  gap: 0.18rem 0.8rem;
  grid-template-columns: minmax(0, 1fr) auto;
  padding-block-end: 0.7rem;
}
.saturation-boundary-demand span,
.saturation-boundary-demand small {
  color: var(--muted);
  font-family: var(--font-ui);
  font-size: var(--demo-font-label);
  font-weight: 850;
  letter-spacing: 0.08em;
  line-height: 1.2;
  text-transform: uppercase;
}
.saturation-boundary-demand strong {
  color: var(--text);
  font-family: var(--font-ui);
  font-size: clamp(1.25rem, 3vw, 2rem);
  font-variant-numeric: tabular-nums;
  grid-row: span 2;
  line-height: 1;
}
.saturation-boundary-pipeline {
  display: grid;
  gap: 1rem;
  grid-template-columns: repeat(4, minmax(0, 1fr));
}
.saturation-boundary-stage {
  --stage-color: var(--saturation-safe);
  background: var(--panel);
  border: 1px solid var(--border);
  display: grid;
  gap: 0.55rem;
  min-width: 0;
  padding: 0.68rem;
  position: relative;
}
.saturation-boundary-stage:not(:last-child)::after {
  border-block: 0.22rem solid transparent;
  border-inline-start: 0.35rem solid var(--muted);
  content: "";
  inset-inline-end: -0.72rem;
  position: absolute;
  top: 50%;
  transform: translateY(-50%);
  z-index: 2;
}
.saturation-boundary-stage[data-state="at-limit"] {
  --stage-color: var(--saturation-limit);
}
.saturation-boundary-stage[data-state="saturated"] {
  --stage-color: var(--saturation-hot);
}
.saturation-boundary-stage[data-boundary="true"] {
  border-color: var(--stage-color);
  box-shadow:
    inset 0 0 0 1px var(--stage-color),
    0.28rem 0.28rem 0 color-mix(in srgb, var(--stage-color) 24%, transparent);
}
.saturation-boundary-stage-index {
  color: var(--muted);
  font-family: var(--font-ui);
  font-size: var(--demo-font-label);
  font-weight: 900;
  letter-spacing: 0.1em;
}
.saturation-boundary-stage strong {
  color: var(--text);
  display: block;
  font-family: var(--font-ui);
  font-size: 0.85rem;
  line-height: 1.15;
}
.saturation-boundary-stage small {
  color: var(--muted);
  display: block;
  font-family: var(--font-ui);
  font-size: var(--demo-font-label);
  line-height: 1.25;
  margin-block-start: 0.15rem;
}
.saturation-boundary-meter {
  background: color-mix(in srgb, var(--border) 65%, var(--bg));
  border: 1px solid var(--border);
  height: 0.55rem;
  overflow: hidden;
}
.saturation-boundary-meter i {
  background: var(--stage-color);
  display: block;
  height: 100%;
  transition: width 180ms ease-out;
  width: var(--stage-pressure);
}
.saturation-boundary-stage b {
  color: var(--text);
  font-family: var(--font-ui);
  font-size: 0.875rem;
  font-variant-numeric: tabular-nums;
  line-height: 1.35;
  overflow-wrap: anywhere;
}
.saturation-boundary-stage em {
  background: var(--stage-color);
  color: var(--panel);
  font-family: var(--font-ui);
  font-size: var(--demo-font-label);
  font-style: normal;
  font-weight: 950;
  letter-spacing: 0.08em;
  line-height: 1.1;
  margin: 0 -0.68rem -0.68rem;
  padding: 0.35rem 0.5rem;
  text-align: center;
  text-transform: uppercase;
}
.saturation-boundary-stage em[data-active="false"] {
  visibility: hidden;
}
.saturation-boundary-readout {
  border: 1px solid var(--border);
  display: grid;
  grid-template-columns: minmax(16rem, 0.8fr) minmax(0, 1.2fr);
  min-block-size: 13.2rem;
}
.saturation-boundary-metrics {
  background: color-mix(in srgb, var(--accent) 7%, var(--panel));
  border-inline-end: 1px solid var(--border);
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
}
.saturation-boundary-metrics article {
  border-block-end: 1px solid var(--border);
  display: grid;
  gap: 0.28rem;
  padding: 0.7rem;
}
.saturation-boundary-metrics article:nth-child(odd) {
  border-inline-end: 1px solid var(--border);
}
.saturation-boundary-metrics article:nth-last-child(-n + 2) {
  border-block-end: 0;
}
.saturation-boundary-metrics span,
.saturation-boundary-diagnosis dt {
  color: var(--muted);
  font-family: var(--font-ui);
  font-size: var(--demo-font-label);
  font-weight: 900;
  letter-spacing: 0.07em;
  line-height: 1.2;
  text-transform: uppercase;
}
.saturation-boundary-metrics strong {
  color: var(--text);
  font-family: var(--font-ui);
  font-size: 0.92rem;
  font-variant-numeric: tabular-nums;
  line-height: 1.2;
}
.saturation-boundary-diagnosis {
  display: grid;
  gap: 0.7rem;
  padding: 0.8rem;
}
.prose .saturation-boundary-diagnosis > p {
  color: var(--text);
  font-family: var(--font-ui);
  font-size: 0.86rem;
  font-weight: 750;
  line-height: 1.4;
  margin: 0;
  max-width: none;
  min-block-size: 2.45rem;
}
.saturation-boundary-diagnosis dl {
  display: grid;
  gap: 0.5rem;
  margin: 0;
}
.saturation-boundary-diagnosis dl div {
  border-block-start: 1px solid var(--border);
  display: grid;
  gap: 0.2rem;
  padding-block-start: 0.45rem;
}
.saturation-boundary-diagnosis dd {
  color: var(--text);
  font-family: var(--font-ui);
  font-size: 0.76rem;
  line-height: 1.35;
  margin: 0;
  min-block-size: 2.05rem;
}
.saturation-boundary-actions {
  align-items: center;
  grid-template-columns: minmax(0, 1fr) auto;
}
.saturation-boundary-switch {
  align-items: start;
  display: grid;
  gap: 0.6rem;
  grid-template-columns: auto minmax(0, 1fr);
}
.saturation-boundary-switch input {
  margin-block-start: 0.18rem;
}
.saturation-boundary-switch > span {
  color: var(--text);
  display: grid;
  gap: 0.12rem;
}
.saturation-boundary-switch strong {
  font-size: 0.82rem;
}
.saturation-boundary-switch small {
  color: var(--muted);
  font-size: var(--demo-font-label);
  font-weight: 500;
  line-height: 1.3;
}
.saturation-boundary-actions button,
.saturation-boundary-artifact button {
  background: var(--accent-strong);
  border: 1px solid var(--accent-strong);
  color: var(--panel);
  cursor: pointer;
  font-family: var(--font-ui);
  font-size: 0.75rem;
  font-weight: 900;
  min-height: 2.4rem;
  padding: 0.5rem 0.7rem;
}
.saturation-boundary-actions button:hover,
.saturation-boundary-artifact button:hover {
  filter: brightness(1.08);
}
.saturation-boundary-artifact summary {
  color: var(--accent-strong);
  cursor: pointer;
  font-family: var(--font-ui);
  font-size: 0.82rem;
  font-weight: 850;
}
.saturation-boundary-artifact[open] summary {
  margin-block-end: 0.7rem;
}
.saturation-boundary-artifact textarea {
  min-height: 16rem;
}
.prose .saturation-boundary-caveat {
  border-inline-start: 0.2rem solid var(--accent-strong);
  margin-block-start: 0.8rem;
  padding-inline-start: 0.65rem;
}
@media (prefers-reduced-motion: reduce) {
  .saturation-boundary-meter i {
    transition: none;
  }
}
@media (width <= 72rem) {
  .saturation-boundary-grid {
    grid-template-columns: 1fr;
  }
  .saturation-boundary-controls {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }
}
@media (width <= 54rem) {
  .saturation-boundary-controls,
  .saturation-boundary-pipeline,
  .saturation-boundary-readout,
  .saturation-boundary-actions {
    grid-template-columns: 1fr;
  }
  .saturation-boundary-stage:not(:last-child)::after {
    border-block-start: 0.35rem solid var(--muted);
    border-inline: 0.22rem solid transparent;
    bottom: -0.72rem;
    inset-inline-end: auto;
    left: 50%;
    top: auto;
    transform: translateX(-50%);
  }
  .saturation-boundary-metrics {
    border-block-end: 1px solid var(--border);
    border-inline-end: 0;
  }
  .saturation-boundary-actions button {
    width: 100%;
  }
}
.prose .request-trace-section-label {
  color: var(--muted);
  font-family: var(--font-ui);
  font-size: var(--demo-font-label);
  font-weight: 850;
  letter-spacing: 0.06em;
  line-height: 1.2;
  margin: 0;
  max-width: none;
  text-transform: uppercase;
}
.scaling-demo-techniques {
  display: grid;
  gap: 0.5rem;
}
.scaling-demo-techniques label {
  align-items: start;
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 0.3rem;
  display: grid;
  gap: 0 0.55rem;
  grid-template-columns: auto minmax(0, 1fr);
  padding: 0.58rem 0.65rem;
}
.scaling-demo-techniques input {
  margin-top: 0.2rem;
}
.scaling-demo-techniques span {
  color: var(--text);
  font-size: 0.9rem;
  font-weight: 850;
}
.scaling-demo-techniques small {
  color: var(--muted);
  font-size: 0.78rem;
  grid-column: 2;
  line-height: 1.3;
}
.scaling-demo-guidance p,
.scaling-demo-tradeoff-step p,
.prose .latency-demo-note {
  color: var(--muted);
  font-family: var(--font-ui);
  font-size: 0.9rem;
  line-height: 1.45;
  margin: 0;
}
.latency-demo-map {
  background: linear-gradient(
    135deg,
    color-mix(in srgb, var(--panel) 94%, var(--accent) 6%),
    var(--panel)
  );
  border: 1px solid var(--border);
  border-radius: 0.35rem;
  min-height: 13.5rem;
  overflow: hidden;
  position: relative;
}
.latency-demo-map svg {
  display: block;
  height: auto;
  inline-size: 100%;
}
.latency-demo-world-map {
  filter: invert(1) sepia(0.25) saturate(1.9) hue-rotate(115deg);
  opacity: 0.28;
}
.latency-demo-route {
  fill: none;
  stroke: var(--accent-strong);
  stroke-linecap: round;
  stroke-linejoin: round;
  stroke-opacity: 0.72;
}
.latency-demo-route-user-app {
  stroke-dasharray: 7 8;
  stroke-width: var(--latency-user-route-width, 5);
}
.latency-demo-route-app-db {
  stroke-dasharray: 3 7;
  stroke-width: var(--latency-db-route-width, 2);
}
.latency-demo-node circle {
  fill: var(--bg);
  stroke: var(--accent-strong);
  stroke-width: 4;
}
.latency-demo-node text {
  fill: var(--text);
  font-size: 18px;
  font-weight: 850;
  text-anchor: middle;
}
.latency-demo-map-label {
  background: color-mix(in srgb, var(--bg) 92%, transparent);
  border: 1px solid var(--border);
  border-radius: 0.3rem;
  box-shadow: 0 0.7rem 1.4rem color-mix(in srgb, var(--text) 10%, transparent);
  display: grid;
  gap: 0.1rem;
  max-width: min(13rem, calc(100% - 1rem));
  padding: 0.45rem 0.55rem;
  position: absolute;
  z-index: 1;
}
.latency-demo-map-label-user {
  inset-block-end: 0.7rem;
  inset-inline-start: 0.7rem;
}
.latency-demo-map-label-db {
  inset-block-end: 0.7rem;
  inset-inline-end: 0.7rem;
}
.latency-demo-map-label span {
  color: var(--muted);
  font-size: var(--demo-font-label);
  font-weight: 800;
  text-transform: uppercase;
}
.latency-demo-map-label strong {
  color: var(--text);
  font-size: 0.95rem;
  line-height: 1.1;
}
.latency-demo-map-label small {
  color: var(--muted);
  font-size: 0.75rem;
  line-height: 1.2;
}
.prose .latency-demo-source {
  color: var(--muted);
  font-family: var(--font-ui);
  font-size: var(--demo-font-label);
  line-height: 1.35;
  margin: -0.25rem 0 0;
  max-width: none;
}
.prose .latency-demo-source a {
  color: var(--accent-strong);
}
.scaling-demo-guidance ul,
.scaling-demo-tradeoff-step ol {
  display: grid;
  gap: 0.5rem;
  margin: 0;
  padding-left: 1.2rem;
}
.scaling-demo-guidance li,
.scaling-demo-tradeoff-step li {
  font-size: 0.9rem;
  line-height: 1.45;
  max-width: none;
}
.scaling-demo-metrics {
  display: grid;
  gap: 0.55rem;
  margin: 0;
}
.scaling-demo-metrics div {
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 0.3rem;
  padding: 0.6rem 0.7rem;
}
.scaling-demo-metrics dt {
  color: var(--muted);
  font-size: var(--demo-font-label);
  font-weight: 800;
  text-transform: uppercase;
}
.scaling-demo-metrics dd {
  color: var(--text);
  font-size: 1rem;
  font-weight: 850;
  margin: 0.15rem 0 0;
}
.demo-metrics-compact {
  gap: 0.35rem;
}
.demo-metrics-compact div {
  align-items: start;
  display: grid;
  gap: 0.55rem;
  grid-template-columns: minmax(0, 0.85fr) minmax(0, 1.15fr);
  padding: 0.42rem 0.55rem;
}
.demo-metrics-compact dt {
  font-size: var(--demo-font-label);
  line-height: 1.15;
  min-width: 0;
}
.demo-metrics-compact dd {
  font-size: 0.86rem;
  line-height: 1.15;
  margin: 0;
  min-width: 0;
  overflow-wrap: anywhere;
  text-align: end;
}
.scaling-demo-impact {
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 0.3rem;
  grid-column: 1 / -1;
  padding: 0.75rem;
}
.scaling-demo-artifact-step textarea {
  min-height: 14rem;
}
.scaling-demo-artifact-header {
  align-items: center;
  display: flex;
  gap: 0.75rem;
  justify-content: space-between;
}
.scaling-demo-artifact-step summary {
  color: var(--accent-strong);
  cursor: pointer;
  font-size: 0.84rem;
  font-weight: 850;
  line-height: 1.2;
}
.scaling-demo-artifact-step[open] summary {
  margin-bottom: 0.35rem;
}
.scaling-demo-actions {
  border-block-start: 1px solid var(--border);
  display: flex;
  flex-wrap: wrap;
  gap: 0.55rem;
  justify-content: flex-end;
  padding-block-start: 1rem;
}
.scaling-demo-form button {
  align-items: center;
  background: var(--accent-strong);
  border: 1px solid var(--accent-strong);
  border-radius: 0.3rem;
  color: var(--panel);
  cursor: pointer;
  display: inline-flex;
  font: inherit;
  font-size: 0.86rem;
  font-weight: 800;
  justify-content: center;
  min-height: 2.35rem;
  padding: 0.5rem 0.75rem;
}
.scaling-demo-actions button[type="button"] {
  background: var(--bg);
  color: var(--text);
}
.scaling-demo button[disabled] {
  cursor: not-allowed;
  opacity: 0.45;
}
.scaling-demo select:focus,
.scaling-demo textarea:focus,
.scaling-demo button:focus-visible,
.scaling-demo input:focus-visible {
  outline: 3px solid color-mix(in srgb, var(--accent) 55%, transparent);
  outline-offset: 2px;
}

.orchestration-lab {
  --orchestration-ink: var(--panel);
  --orchestration-panel: var(--bg);
  --orchestration-panel-raised: color-mix(
    in srgb,
    var(--accent) 7%,
    var(--panel)
  );
  --orchestration-line: var(--border);
  --orchestration-text: var(--text);
  --orchestration-muted: var(--muted);
  --orchestration-signal: var(--success);
  --orchestration-accent: var(--accent-strong);
  --orchestration-amber: var(--warning);
  --orchestration-danger: var(--danger);
  background:
    linear-gradient(
      color-mix(in srgb, var(--orchestration-accent) 7%, transparent) 1px,
      transparent 1px
    ),
    linear-gradient(
      90deg,
      color-mix(in srgb, var(--orchestration-accent) 7%, transparent) 1px,
      transparent 1px
    ),
    var(--orchestration-ink);
  background-size: 1.5rem 1.5rem;
  border: 1px solid var(--orchestration-line);
  box-shadow:
    var(--shadow),
    inset 0 0 0 1px color-mix(in srgb, var(--text) 3%, transparent);
  color: var(--orchestration-text);
  inline-size: min(100%, 58rem);
  margin: 2rem 0;
  overflow: hidden;
  position: relative;
}
.orchestration-lab,
.orchestration-lab * {
  box-sizing: border-box;
  font-family: var(--font-ui);
}
.orchestration-lab::before {
  background: var(--orchestration-accent);
  block-size: 0.2rem;
  content: "";
  inline-size: 5rem;
  inset-block-start: 0;
  inset-inline-start: 0;
  position: absolute;
}
.orchestration-lab-header {
  align-items: start;
  display: grid;
  gap: 1.25rem;
  grid-template-columns: minmax(0, 1fr) minmax(15rem, 22rem);
  padding: clamp(1rem, 2.5vw, 1.6rem);
}
.prose .orchestration-lab-kicker {
  color: var(--orchestration-accent);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 800;
  letter-spacing: 0.1em;
  margin: 0 0 0.5rem;
  max-width: none;
  text-transform: uppercase;
}
.prose .orchestration-lab h3 {
  color: var(--orchestration-text);
  font-family: var(--font-serif);
  font-size: clamp(1.55rem, 2vw + 1rem, 2.45rem);
  line-height: 1;
  margin: 0;
  max-width: 16ch;
}
.orchestration-lab-status {
  align-items: start;
  background: var(--orchestration-panel);
  border: 1px solid var(--orchestration-line);
  display: grid;
  gap: 0.7rem;
  grid-template-columns: auto minmax(0, 1fr);
  padding: 0.8rem;
}
.orchestration-status-light {
  background: var(--orchestration-signal);
  border-radius: 50%;
  box-shadow: 0 0 0.85rem
    color-mix(in srgb, var(--orchestration-signal) 70%, transparent);
  block-size: 0.65rem;
  inline-size: 0.65rem;
  margin-block-start: 0.2rem;
}
.orchestration-lab[data-busy] .orchestration-status-light {
  animation: orchestration-pulse 900ms ease-in-out infinite alternate;
  background: var(--orchestration-amber);
  box-shadow: 0 0 0.85rem
    color-mix(in srgb, var(--orchestration-amber) 65%, transparent);
}
.orchestration-lab[data-error] .orchestration-status-light {
  animation: none;
  background: var(--orchestration-danger);
}
.orchestration-lab-status strong,
.orchestration-lab-status small {
  display: block;
}
.orchestration-lab-status strong {
  color: var(--orchestration-text);
  font-size: 0.88rem;
  line-height: 1.25;
}
.orchestration-lab-status small {
  color: var(--orchestration-muted);
  font-size: var(--demo-font-label);
  line-height: 1.4;
  margin-block-start: 0.25rem;
}
.orchestration-boundary {
  align-items: baseline;
  background: color-mix(in srgb, var(--orchestration-amber) 10%, transparent);
  border-block: 1px solid
    color-mix(in srgb, var(--orchestration-amber) 38%, transparent);
  color: var(--orchestration-muted);
  display: flex;
  font-size: var(--demo-font-label);
  gap: 0.75rem;
  line-height: 1.4;
  padding: 0.55rem clamp(1rem, 2.5vw, 1.6rem);
}
.orchestration-boundary strong {
  color: var(--orchestration-amber);
  flex: 0 0 auto;
  font-family: var(--font-mono);
  letter-spacing: 0.06em;
  text-transform: uppercase;
}
.orchestration-console {
  display: grid;
  grid-template-columns: minmax(13rem, 0.36fr) minmax(0, 1fr);
  min-height: 28rem;
}
.orchestration-controls {
  background: color-mix(in srgb, var(--orchestration-panel) 88%, transparent);
  border-inline-end: 1px solid var(--orchestration-line);
  display: grid;
  gap: 1rem;
  padding: 1rem;
}
.orchestration-metrics {
  display: grid;
  gap: 1px;
  grid-template-columns: repeat(2, minmax(0, 1fr));
}
.orchestration-metrics > div {
  background: var(--orchestration-panel);
  border: 1px solid
    color-mix(in srgb, var(--orchestration-line) 72%, transparent);
  min-width: 0;
  padding: 0.7rem;
}
.orchestration-metrics > div:last-child:nth-child(odd) {
  grid-column: 1 / -1;
}
.orchestration-metrics span,
.orchestration-metrics strong {
  display: block;
}
.orchestration-metrics span {
  color: var(--orchestration-muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  letter-spacing: 0.08em;
  text-transform: uppercase;
}
.orchestration-metrics strong {
  color: var(--orchestration-accent);
  font-family: var(--font-mono);
  font-size: 1.35rem;
  line-height: 1;
  margin-block-start: 0.35rem;
}
.orchestration-control-block {
  border-block: 1px solid var(--orchestration-line);
  display: grid;
  gap: 0.65rem;
  padding-block: 1rem;
}
.orchestration-control-block label {
  align-items: baseline;
  color: var(--orchestration-muted);
  display: flex;
  font-size: 0.75rem;
  font-weight: 750;
  justify-content: space-between;
}
.orchestration-control-block output {
  color: var(--orchestration-text);
  font-family: var(--font-mono);
  font-size: 1rem;
}
.orchestration-control-block input {
  accent-color: var(--orchestration-accent);
  inline-size: 100%;
}
.orchestration-lab button {
  background: var(--orchestration-panel-raised);
  border: 1px solid var(--orchestration-line);
  color: var(--orchestration-text);
  cursor: pointer;
  font: 750 0.75rem/1.2 var(--font-ui);
  min-height: 2.65rem;
  padding: 0.65rem 0.75rem;
  text-align: start;
  transition:
    background 140ms ease,
    border-color 140ms ease,
    color 140ms ease,
    transform 140ms ease;
}
.orchestration-lab button:hover:not(:disabled) {
  background: color-mix(
    in srgb,
    var(--orchestration-accent) 13%,
    var(--orchestration-panel-raised)
  );
  border-color: var(--orchestration-accent);
  color: var(--orchestration-accent);
  transform: translateY(-1px);
}
.orchestration-lab button:focus-visible,
.orchestration-lab input:focus-visible,
.orchestration-debrief summary:focus-visible {
  outline: 3px solid var(--orchestration-accent);
  outline-offset: 3px;
}
.orchestration-lab button:disabled,
.orchestration-lab input:disabled {
  cursor: wait;
  opacity: 0.45;
}
.orchestration-actions {
  display: grid;
  gap: 0.45rem;
}
.orchestration-actions button {
  align-items: center;
  display: grid;
  gap: 0.65rem;
  grid-template-columns: 1.25rem minmax(0, 1fr);
}
.orchestration-actions button span {
  color: var(--orchestration-accent);
  font-family: var(--font-mono);
  font-size: 1rem;
  text-align: center;
}
.orchestration-stage {
  align-content: start;
  display: grid;
  min-width: 0;
  padding: clamp(1rem, 2vw, 1.4rem);
  position: relative;
}
.orchestration-service {
  align-items: center;
  background: var(--orchestration-panel-raised);
  border: 1px solid var(--orchestration-accent);
  box-shadow: 0 0 1.4rem
    color-mix(in srgb, var(--orchestration-accent) 10%, transparent);
  display: grid;
  gap: 0.7rem;
  grid-template-columns: auto minmax(0, 1fr) auto;
  justify-self: center;
  min-width: min(100%, 20rem);
  padding: 0.65rem 0.8rem;
}
.orchestration-service-pulse {
  background: var(--orchestration-accent);
  border-radius: 50%;
  block-size: 0.55rem;
  box-shadow: 0 0 0.8rem
    color-mix(in srgb, var(--orchestration-accent) 70%, transparent);
  inline-size: 0.55rem;
}
.orchestration-service small,
.orchestration-service strong {
  display: block;
}
.orchestration-service small {
  color: var(--orchestration-muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  letter-spacing: 0.06em;
  text-transform: uppercase;
}
.orchestration-service strong {
  color: var(--orchestration-text);
  font-size: 0.88rem;
}
.orchestration-service > span:last-child {
  color: var(--orchestration-accent);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  text-transform: uppercase;
}
.orchestration-route {
  block-size: 3.2rem;
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  margin-inline: 8%;
  position: relative;
}
.orchestration-route::before {
  border-block-end: 1px solid var(--orchestration-line);
  content: "";
  inset: 0 16.66% 50%;
  position: absolute;
}
.orchestration-route span {
  border-inline-start: 1px solid var(--orchestration-line);
  justify-self: center;
}
.orchestration-nodes {
  display: grid;
  gap: 0.65rem;
  grid-template-columns: repeat(3, minmax(0, 1fr));
}
.orchestration-node {
  background: color-mix(in srgb, var(--orchestration-panel) 82%, transparent);
  border: 1px solid var(--orchestration-line);
  min-width: 0;
}
.orchestration-node > header {
  align-items: center;
  border-block-end: 1px solid var(--orchestration-line);
  display: flex;
  gap: 0.55rem;
  padding: 0.55rem 0.65rem;
}
.orchestration-node > header span {
  color: var(--orchestration-accent);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
}
.orchestration-node > header strong {
  color: var(--orchestration-text);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
}
.orchestration-node ul {
  display: grid;
  gap: 0.45rem;
  list-style: none;
  margin: 0;
  min-height: 12rem;
  padding: 0.55rem;
}
.orchestration-node li {
  margin: 0;
  max-width: none;
}
.orchestration-pod {
  align-items: center;
  align-self: start;
  background: var(--orchestration-panel-raised);
  border: 1px solid var(--orchestration-line);
  display: grid;
  gap: 0.5rem;
  grid-template-columns: auto minmax(0, 1fr);
  overflow: hidden;
  padding: 0.55rem;
  position: relative;
}
.orchestration-pod-marker {
  background: var(--orchestration-signal);
  border-radius: 50%;
  block-size: 0.52rem;
  box-shadow: 0 0 0.65rem
    color-mix(in srgb, var(--orchestration-signal) 62%, transparent);
  inline-size: 0.52rem;
}
.orchestration-pod[data-pod-phase="pending"] .orchestration-pod-marker,
.orchestration-pod[data-pod-phase="terminating"] .orchestration-pod-marker {
  background: var(--orchestration-amber);
  box-shadow: none;
}
.orchestration-pod strong,
.orchestration-pod small {
  display: block;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}
.orchestration-pod strong {
  color: var(--orchestration-text);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
}
.orchestration-pod small {
  color: var(--orchestration-muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  margin-block-start: 0.15rem;
}
.orchestration-pod[data-pod-release="v2"] {
  border-color: var(--orchestration-amber);
}
.orchestration-pod[data-pod-release="v2"] .orchestration-pod-marker {
  background: var(--orchestration-amber);
  box-shadow: 0 0 0.65rem
    color-mix(in srgb, var(--orchestration-amber) 62%, transparent);
}
.orchestration-pod.is-serving::after {
  animation: orchestration-request 460ms ease-out;
  background: var(--orchestration-accent);
  content: "";
  inset: 0;
  opacity: 0;
  position: absolute;
}
.orchestration-node-empty {
  align-self: center;
  color: var(--orchestration-muted);
  font: var(--demo-font-label)/1.3 var(--font-mono);
  letter-spacing: 0.04em;
  text-align: center;
  text-transform: uppercase;
}
.orchestration-observer {
  border-block-start: 1px solid var(--orchestration-line);
  display: grid;
  grid-template-columns: minmax(11rem, 0.28fr) minmax(0, 1fr);
  min-height: 10rem;
}
.orchestration-observer-heading {
  align-content: space-between;
  background: color-mix(in srgb, var(--orchestration-panel) 86%, transparent);
  border-inline-end: 1px solid var(--orchestration-line);
  display: grid;
  padding: 1rem;
}
.orchestration-observer-heading span,
.orchestration-observer-heading small,
.orchestration-observer-heading strong {
  display: block;
}
.orchestration-observer-heading span {
  color: var(--orchestration-text);
  font: 800 var(--demo-font-label)/1.2 var(--font-mono);
  letter-spacing: 0.08em;
  text-transform: uppercase;
}
.orchestration-observer-heading small {
  color: var(--orchestration-muted);
  font-size: var(--demo-font-label);
  margin-block-start: 0.25rem;
}
.orchestration-observer-heading strong {
  color: var(--orchestration-accent);
  font: 700 var(--demo-font-label)/1.2 var(--font-mono);
}
.orchestration-observer ol {
  display: grid;
  gap: 0;
  list-style: none;
  margin: 0;
  max-height: 14rem;
  overflow: auto;
  padding: 0;
}
.orchestration-observer li {
  border-block-end: 1px solid
    color-mix(in srgb, var(--orchestration-line) 65%, transparent);
  display: grid;
  font-size: var(--demo-font-label);
  gap: 0.65rem;
  grid-template-columns: 5.4rem minmax(0, 1fr);
  line-height: 1.35;
  margin: 0;
  max-width: none;
  padding: 0.55rem 0.8rem;
}
.orchestration-observer li strong {
  color: var(--orchestration-amber);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  text-transform: uppercase;
}
.orchestration-observer li span {
  color: var(--orchestration-muted);
}
.orchestration-debrief {
  border-block-start: 1px solid var(--orchestration-line);
  color: var(--orchestration-muted);
  font-size: 0.78rem;
}
.orchestration-debrief summary {
  color: var(--orchestration-text);
  cursor: pointer;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 800;
  letter-spacing: 0.06em;
  padding: 0.8rem 1rem;
  text-transform: uppercase;
}
.orchestration-debrief > div {
  border-block-start: 1px solid
    color-mix(in srgb, var(--orchestration-line) 65%, transparent);
  padding: 0.8rem 1rem 1rem;
}
.prose .orchestration-debrief p {
  color: var(--orchestration-muted);
  font-family: var(--font-ui);
  font-size: 0.78rem;
  margin: 0 0 0.55rem;
  max-width: 65ch;
}
.orchestration-debrief ul {
  margin: 0;
  padding-inline-start: 1.1rem;
}
.orchestration-debrief li {
  margin-block: 0.25rem;
  max-width: 70ch;
}

/* Benchmarking lab: a compact load-generator console and latency oscilloscope. */
.benchmark-simulation-demo {
  --benchmark-typical: var(--accent-strong);
  --benchmark-slow: var(--warning);
}
.benchmark-demo-grid {
  display: grid;
  gap: 1rem;
  grid-template-columns: minmax(14rem, 0.72fr) minmax(0, 1.7fr);
  margin-block-start: 1rem;
}
.benchmark-demo-controls {
  align-content: start;
}
.prose .benchmark-demo-eyebrow {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 850;
  letter-spacing: 0.09em;
  line-height: 1.2;
  margin: 0 0 0.3rem;
  max-width: none;
  text-transform: uppercase;
}
.benchmark-demo-controls output {
  color: var(--accent-strong);
  font-family: var(--font-mono);
  font-size: 0.78rem;
}
.benchmark-demo-prediction {
  border: 0;
  border-block-start: 1px solid var(--border);
  display: grid;
  gap: 0.35rem;
  margin: 0;
  padding: 0.75rem 0 0;
}
.benchmark-demo-prediction legend {
  color: var(--muted);
  font-size: 0.78rem;
  font-weight: 850;
  line-height: 1.2;
  margin-block-end: 0.4rem;
  padding: 0;
}
.benchmark-demo-prediction label {
  cursor: pointer;
  display: block;
  position: relative;
}
.benchmark-demo-prediction input {
  block-size: 1px;
  clip-path: inset(50%);
  inline-size: 1px;
  overflow: hidden;
  position: absolute;
}
.benchmark-demo-prediction span {
  background: var(--panel);
  border: 1px solid var(--border);
  color: var(--text);
  display: block;
  font-size: var(--demo-font-label);
  font-weight: 750;
  line-height: 1.25;
  padding: 0.52rem 0.6rem 0.52rem 1.65rem;
  position: relative;
}
.benchmark-demo-prediction span::before {
  border: 1px solid var(--muted);
  block-size: 0.58rem;
  content: "";
  inline-size: 0.58rem;
  inset-block-start: 50%;
  inset-inline-start: 0.58rem;
  position: absolute;
  transform: translateY(-50%);
}
.benchmark-demo-prediction input:checked + span {
  background: color-mix(in srgb, var(--accent) 13%, var(--panel));
  border-color: var(--accent-strong);
  box-shadow: inset 0.2rem 0 var(--accent-strong);
}
.benchmark-demo-prediction input:checked + span::before {
  background: var(--accent-strong);
  border-color: var(--accent-strong);
  box-shadow: inset 0 0 0 0.12rem var(--panel);
}
.benchmark-demo-prediction input:focus-visible + span {
  outline: 3px solid color-mix(in srgb, var(--accent) 55%, transparent);
  outline-offset: 2px;
}
.benchmark-demo-run {
  background: var(--accent-strong);
  border: 1px solid var(--accent-strong);
  color: var(--panel);
  cursor: pointer;
  font: inherit;
  font-size: 0.82rem;
  font-weight: 850;
  min-height: 2.65rem;
  padding: 0.65rem 0.8rem;
}
.benchmark-demo-run:not([disabled]):hover {
  filter: brightness(1.08);
  transform: translateY(-1px);
}
.benchmark-demo-run[disabled] {
  background: color-mix(in srgb, var(--border) 60%, var(--panel));
  border-color: var(--border);
  color: var(--muted);
  cursor: not-allowed;
}
.benchmark-demo-run:focus-visible,
.otel-demo-span-row:focus-visible {
  outline: 3px solid color-mix(in srgb, var(--accent) 55%, transparent);
  outline-offset: 2px;
}
.benchmark-demo-console {
  align-content: start;
  min-width: 0;
}
.benchmark-demo-console-heading,
.otel-demo-trace-heading {
  align-items: start;
  display: flex;
  gap: 1rem;
  justify-content: space-between;
}
.benchmark-demo-legend {
  display: flex;
  flex-wrap: wrap;
  gap: 0.65rem;
}
.benchmark-demo-legend span {
  align-items: center;
  color: var(--muted);
  display: inline-flex;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  gap: 0.3rem;
  text-transform: uppercase;
}
.benchmark-demo-legend i {
  block-size: 0.55rem;
  display: inline-block;
  inline-size: 0.55rem;
}
.benchmark-demo-legend .is-typical {
  background: var(--benchmark-typical);
}
.benchmark-demo-legend .is-slow {
  background: var(--benchmark-slow);
}
.benchmark-demo-chart-frame {
  background:
    linear-gradient(
      color-mix(in srgb, var(--border) 52%, transparent) 1px,
      transparent 1px
    ),
    var(--panel);
  background-size: 100% 25%;
  border: 1px solid var(--border);
  padding: 1rem 0.75rem 0.45rem;
}
.benchmark-demo-chart {
  align-items: end;
  block-size: 13rem;
  display: flex;
  gap: clamp(1px, 0.22vw, 3px);
  overflow: hidden;
  position: relative;
}
.benchmark-demo-chart.is-awaiting {
  align-items: center;
  display: grid;
  justify-items: center;
}
.prose .benchmark-demo-chart.is-awaiting p {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  line-height: 1.4;
  margin: 0;
  max-width: 22ch;
  text-align: center;
  text-transform: uppercase;
}
.benchmark-demo-chart.is-stale > :not(.benchmark-demo-threshold) {
  opacity: 0.3;
}
.benchmark-demo-chart.is-stale::after {
  background: var(--panel);
  border: 1px solid var(--border);
  color: var(--muted);
  content: "Previous run · settings changed";
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 850;
  inset-block-start: 50%;
  inset-inline-start: 50%;
  padding: 0.45rem 0.55rem;
  position: absolute;
  text-align: center;
  text-transform: uppercase;
  transform: translate(-50%, -50%);
  z-index: 3;
}
.benchmark-demo-chart > i {
  background: var(--benchmark-typical);
  block-size: var(--benchmark-bar-height);
  flex: 1 1 0;
  min-inline-size: 1px;
  opacity: 0.78;
  position: relative;
  transform-origin: bottom;
}
.benchmark-demo-chart > i.is-slow {
  background: var(--benchmark-slow);
  opacity: 1;
}
.benchmark-demo-chart > i.is-percentile {
  outline: 2px solid var(--text);
  outline-offset: 1px;
  z-index: 1;
}
.benchmark-demo-chart > i.is-percentile::after {
  background: var(--panel);
  color: var(--text);
  content: "57 · p95";
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-style: normal;
  font-weight: 800;
  inset-block-end: calc(100% + 0.35rem);
  inset-inline-end: 0;
  line-height: 1.3;
  padding: 0.1rem 0.2rem;
  position: absolute;
  white-space: nowrap;
}
.benchmark-demo-chart > i span {
  clip: rect(0 0 0 0);
  clip-path: inset(50%);
  height: 1px;
  overflow: hidden;
  position: absolute;
  white-space: nowrap;
  width: 1px;
}
.benchmark-demo-chart.is-animated > i {
  animation: benchmark-bar-rise 360ms cubic-bezier(0.22, 1, 0.36, 1) both;
  animation-delay: var(--benchmark-bar-delay);
}
.benchmark-demo-threshold {
  border-block-start: 2px dashed var(--warning);
  bottom: var(--benchmark-threshold-position);
  inline-size: 100%;
  inset-inline-start: 0;
  pointer-events: none;
  position: absolute;
  z-index: 2;
}
.benchmark-demo-threshold span {
  background: var(--panel);
  color: var(--warning);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-style: normal;
  font-weight: 850;
  inset-block-end: 0.2rem;
  inset-inline-end: 0;
  padding-inline: 0.2rem;
  position: absolute;
  text-transform: uppercase;
}
.benchmark-demo-axis {
  color: var(--muted);
  display: flex;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  justify-content: space-between;
  margin-block-start: 0.35rem;
}
.benchmark-demo-metrics {
  grid-template-columns: repeat(4, minmax(0, 1fr));
}
.benchmark-demo-metrics dd {
  font-family: var(--font-mono);
}
.prose .benchmark-demo-comparison {
  background: color-mix(in srgb, var(--accent) 10%, var(--panel));
  border: 1px solid color-mix(in srgb, var(--accent) 45%, var(--border));
  border-inline-start: 0.2rem solid var(--accent-strong);
  color: var(--text);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  line-height: 1.4;
  margin: 0;
  max-width: none;
  padding: 0.55rem 0.65rem;
}
.benchmark-demo-comparison[hidden] {
  display: none;
}

/* OTel lab: a trace waterfall that feels like an instrument, not a dashboard mock. */
.otel-trace-demo {
  --otel-ok: var(--success);
  --otel-unset: var(--accent-strong);
  --otel-error: var(--warning);
}
.otel-demo-pipeline {
  align-items: stretch;
  display: grid;
  gap: 0.45rem;
  grid-template-columns: repeat(7, auto);
  margin-block-start: 1rem;
}
.otel-demo-pipeline > span {
  background: var(--bg);
  border: 1px solid var(--border);
  display: grid;
  gap: 0.12rem;
  min-width: 0;
  padding: 0.55rem 0.65rem;
}
.otel-demo-pipeline b {
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  text-transform: uppercase;
}
.otel-demo-pipeline small {
  color: var(--muted);
  font-size: var(--demo-font-label);
}
.otel-demo-pipeline > i {
  align-self: center;
  color: var(--accent-strong);
  font-family: var(--font-mono);
  font-style: normal;
  font-weight: 900;
}
.prose .otel-demo-pipeline-note {
  background: color-mix(in srgb, var(--accent) 8%, var(--panel));
  border: 1px solid var(--border);
  border-block-start: 0;
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  line-height: 1.45;
  margin: 0;
  max-width: none;
  padding: 0.55rem 0.65rem;
}
.otel-demo-controls {
  align-items: end;
  background: color-mix(in srgb, var(--accent) 7%, var(--bg));
  border: 1px solid var(--border);
  display: grid;
  gap: 0.75rem;
  grid-template-columns: minmax(0, 1fr);
  margin-block-start: 0.75rem;
  padding: 0.75rem;
}
.otel-demo-controls label {
  min-width: 0;
}
.otel-demo-workbench {
  display: grid;
  gap: 1rem;
  grid-template-columns: minmax(0, 1.65fr) minmax(15rem, 0.8fr);
  margin-block-start: 1rem;
}
.otel-demo-trace-panel,
.otel-demo-inspector {
  align-content: start;
  min-width: 0;
}
.otel-demo-trace-heading code {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  overflow-wrap: anywhere;
  text-align: end;
}
.prose .otel-demo-trace-instruction {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  line-height: 1.4;
  margin: -0.25rem 0 0;
  max-width: none;
}
.otel-demo-scale {
  border-block-end: 1px solid var(--border);
  color: var(--muted);
  display: flex;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  justify-content: space-between;
  margin-inline-start: min(42%, 12rem);
  padding-block: 0.55rem 0.28rem;
}
.otel-demo-timeline {
  display: grid;
  gap: 0.3rem;
}
.otel-demo-span-row {
  align-items: center;
  background: transparent;
  border: 0;
  color: var(--text);
  cursor: pointer;
  display: grid;
  font: inherit;
  gap: 0.5rem;
  grid-template-columns: minmax(8.5rem, 0.7fr) minmax(9rem, 1.4fr) 3.5rem;
  min-height: 2.6rem;
  padding: 0.3rem;
  text-align: start;
  width: 100%;
}
.otel-demo-span-row:hover,
.otel-demo-span-row.is-selected {
  background: color-mix(in srgb, var(--accent) 11%, var(--panel));
}
.otel-demo-span-row.is-selected {
  box-shadow: inset 0.2rem 0 var(--accent-strong);
}
.otel-demo-span-label {
  display: grid;
  gap: 0.1rem;
  padding-inline-start: calc(var(--otel-span-level) * 0.8rem);
}
.otel-demo-span-label b {
  font-size: 0.75rem;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}
.otel-demo-span-label small {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  text-transform: uppercase;
}
.otel-demo-span-track {
  background:
    linear-gradient(
      90deg,
      color-mix(in srgb, var(--border) 60%, transparent) 1px,
      transparent 1px
    ),
    color-mix(in srgb, var(--border) 24%, transparent);
  background-size: 25% 100%;
  block-size: 0.85rem;
  position: relative;
}
.otel-demo-span-track i {
  background: var(--otel-unset);
  block-size: 100%;
  inline-size: var(--otel-span-width);
  inset-inline-start: var(--otel-span-left);
  position: absolute;
}
.otel-demo-span-track i.is-ok {
  background: var(--otel-ok);
}
.otel-demo-span-track i.is-error {
  background: var(--otel-error);
}
.otel-demo-span-row > strong {
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  text-align: end;
}
.otel-demo-inspector {
  border-block-start: 0.2rem solid var(--accent-strong);
}
.otel-demo-span-facts,
.otel-demo-attributes {
  display: grid;
  gap: 0.35rem;
  margin: 0;
}
.otel-demo-span-facts {
  grid-template-columns: repeat(3, minmax(0, 1fr));
}
.otel-demo-span-facts div,
.otel-demo-attributes div {
  background: var(--panel);
  border: 1px solid var(--border);
  min-width: 0;
  padding: 0.45rem;
}
.otel-demo-span-facts dt,
.otel-demo-attributes dt {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  text-transform: uppercase;
}
.otel-demo-span-facts dd,
.otel-demo-attributes dd {
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  margin: 0.18rem 0 0;
  overflow-wrap: anywhere;
}
.otel-demo-attributes div {
  display: grid;
  gap: 0.5rem;
  grid-template-columns: minmax(0, 1fr) minmax(0, 0.75fr);
}
.otel-demo-attributes dd {
  margin: 0;
  text-align: end;
}
.otel-demo-record {
  border: 1px solid var(--border);
  color: var(--text);
}
.otel-demo-record summary {
  cursor: pointer;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 850;
  padding: 0.6rem;
  text-transform: uppercase;
}
.otel-demo-record[open] summary {
  border-block-end: 1px solid var(--border);
}
.otel-demo-record pre {
  background: color-mix(in srgb, var(--text) 94%, var(--panel));
  border: 0;
  border-radius: 0;
  color: var(--panel);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  line-height: 1.45;
  margin: 0;
  max-block-size: 20rem;
  overflow: auto;
  padding: 0.7rem;
}
.otel-demo-record code {
  background: transparent;
  color: inherit;
  font: inherit;
  padding: 0;
}
.prose .otel-demo-record p {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  line-height: 1.45;
  margin: 0;
  max-width: none;
  padding: 0.6rem;
}

@keyframes benchmark-bar-rise {
  from {
    opacity: 0;
    transform: scaleY(0.05);
  }
}

.statechart-demo {
  --statechart-ink: color-mix(in srgb, var(--text) 88%, #142a32);
  --statechart-line: color-mix(in srgb, var(--text) 22%, var(--border));
  overflow: hidden;
  position: relative;
}
.statechart-demo::after {
  background: repeating-linear-gradient(
    90deg,
    transparent 0 0.42rem,
    color-mix(in srgb, var(--accent) 22%, transparent) 0.42rem 0.52rem
  );
  content: "";
  height: 0.22rem;
  inset: 0 0 auto;
  position: absolute;
}
.statechart-demo-section-heading {
  align-items: start;
  display: grid;
  gap: 0.65rem;
  grid-template-columns: auto minmax(0, 1fr);
}
.statechart-demo-section-heading > span {
  align-items: center;
  aspect-ratio: 1;
  background: var(--statechart-ink);
  border-radius: 999px;
  color: var(--bg);
  display: inline-flex;
  font-size: var(--demo-font-label);
  font-weight: 900;
  justify-content: center;
  width: 1.75rem;
}
.prose .statechart-demo-section-heading h4 {
  color: var(--text);
  font-size: 0.82rem;
  letter-spacing: 0.04em;
}
.statechart-demo-section-heading h4 em {
  background: color-mix(in srgb, var(--accent) 16%, var(--bg));
  border: 1px solid color-mix(in srgb, var(--accent) 38%, var(--border));
  border-radius: 999px;
  color: var(--accent-strong);
  display: inline-block;
  font-size: var(--demo-font-label);
  font-style: normal;
  letter-spacing: 0.05em;
  margin-inline-start: 0.28rem;
  padding: 0.18rem 0.38rem;
  vertical-align: 0.08rem;
}
.prose .statechart-demo-section-heading p {
  color: var(--muted);
  font-family: var(--font-ui);
  font-size: 0.76rem;
  line-height: 1.4;
  margin: 0.22rem 0 0;
  max-width: none;
}
.statechart-demo-definition {
  border: 1px solid var(--border);
  border-radius: 0.3rem;
  overflow: hidden;
}
.statechart-demo-definition summary {
  background: color-mix(in srgb, var(--text) 4%, var(--panel));
  color: var(--muted);
  cursor: pointer;
  font-size: var(--demo-font-label);
  font-weight: 850;
  letter-spacing: 0.05em;
  padding: 0.52rem 0.65rem;
  text-transform: uppercase;
}
.statechart-demo button:focus-visible,
.statechart-demo select:focus-visible {
  outline: 3px solid color-mix(in srgb, var(--accent) 55%, transparent);
  outline-offset: 2px;
}

.statechart-workflow-layout {
  display: grid;
  gap: 1rem;
  margin-top: 1rem;
}
.statechart-agent-console,
.statechart-core {
  background: var(--bg);
  border: 1px solid var(--border);
  border-radius: 0.35rem;
  display: grid;
  gap: 1rem;
  min-width: 0;
  padding: clamp(0.85rem, 2vw, 1.15rem);
}
.statechart-agent-console {
  align-items: start;
  background:
    radial-gradient(
      circle at 8% 12%,
      color-mix(in srgb, var(--accent) 16%, transparent),
      transparent 28%
    ),
    color-mix(in srgb, var(--text) 3%, var(--bg));
  grid-template-columns: minmax(11rem, 0.55fr) minmax(22rem, 2.45fr);
}
.statechart-agent-controls {
  display: grid;
  gap: 0.65rem;
}
.statechart-agent-controls label > span {
  color: var(--muted);
  font-size: var(--demo-font-label);
  font-weight: 850;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}
.statechart-agent-proposal {
  background: var(--statechart-ink);
  border: 1px solid var(--statechart-ink);
  border-radius: 0.35rem;
  box-shadow: 0.38rem 0.38rem 0
    color-mix(in srgb, var(--accent) 28%, transparent);
  color: var(--bg);
  display: grid;
  gap: 0.52rem;
  padding: 0.72rem;
}
.statechart-agent-proposal > div {
  align-items: center;
  display: flex;
  gap: 0.55rem;
  justify-content: space-between;
}
.statechart-agent-proposal > div span,
.statechart-agent-proposal > div i {
  font-size: var(--demo-font-label);
  font-style: normal;
  font-weight: 850;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}
.statechart-agent-proposal > div span {
  color: color-mix(in srgb, var(--bg) 68%, transparent);
}
.statechart-agent-proposal > div i {
  border: 1px solid color-mix(in srgb, var(--accent) 58%, transparent);
  border-radius: 999px;
  color: color-mix(in srgb, var(--accent) 72%, white);
  padding: 0.14rem 0.34rem;
}
.statechart-agent-proposal > strong {
  color: var(--bg);
  font-family: var(--font-serif);
  font-size: 1.24rem;
  line-height: 1.1;
  overflow-wrap: anywhere;
}
.prose .statechart-agent-proposal > p {
  color: color-mix(in srgb, var(--bg) 70%, transparent);
  font-family: var(--font-ui);
  font-size: var(--demo-font-label);
  line-height: 1.35;
  margin: 0;
  max-width: none;
  min-height: 2rem;
}
.statechart-agent-proposal > button,
.statechart-enabled-events button,
.statechart-agent-options button,
.statechart-agent-reset,
.statechart-workflow-ledger button,
.statechart-demo-definition-actions button {
  border: 1px solid var(--statechart-ink);
  border-radius: 0.28rem;
  cursor: pointer;
  font: inherit;
  font-size: var(--demo-font-label);
  font-weight: 850;
  line-height: 1.2;
  min-height: 2.2rem;
  padding: 0.42rem 0.55rem;
}
.statechart-agent-proposal > button {
  background: var(--accent);
  border-color: var(--accent);
  color: var(--panel);
}
.statechart-agent-proposal > button[disabled] {
  background: color-mix(in srgb, var(--bg) 15%, transparent);
  border-color: transparent;
  color: color-mix(in srgb, var(--bg) 54%, transparent);
}
.statechart-enabled-events {
  display: grid;
  gap: 0.6rem;
}
.statechart-enabled-events > div:first-child {
  display: grid;
  gap: 0.15rem;
}
.statechart-enabled-events > div:first-child span {
  color: var(--text);
  font-size: 0.76rem;
  font-weight: 850;
  text-transform: uppercase;
}
.statechart-enabled-events > div:first-child small {
  color: var(--muted);
  font-size: var(--demo-font-label);
}
.statechart-enabled-events > div:last-child {
  display: flex;
  flex-wrap: wrap;
  gap: 0.35rem;
}
.statechart-enabled-events button {
  background: var(--panel);
  border-color: var(--border);
  color: var(--text);
  font-size: var(--demo-font-label);
  min-height: 1.9rem;
  overflow-wrap: anywhere;
  padding: 0.34rem 0.42rem;
}
.statechart-enabled-events button:last-child {
  border-color: color-mix(in srgb, #c74c42 45%, var(--border));
  color: color-mix(in srgb, #c74c42 78%, var(--text));
}
.statechart-no-events {
  color: var(--muted);
  font-size: var(--demo-font-label);
  font-style: italic;
}
.statechart-agent-decision {
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 0.35rem;
  display: grid;
  gap: 0.65rem;
  padding: 0.72rem;
}
.statechart-agent-decision-heading {
  display: grid;
  gap: 0.75rem;
  grid-template-columns: minmax(9rem, 0.85fr) minmax(12rem, 1.15fr);
}
.statechart-agent-decision-heading > div {
  align-content: start;
  display: grid;
  gap: 0.18rem;
}
.statechart-agent-decision-heading span {
  color: var(--muted);
  font-size: var(--demo-font-label);
  font-weight: 850;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}
.statechart-agent-decision-heading code {
  background: transparent;
  color: var(--accent-strong);
  font-size: var(--demo-font-label);
  overflow-wrap: anywhere;
  padding: 0;
}
.statechart-agent-reset {
  align-items: center;
  background: transparent;
  border-color: color-mix(in srgb, var(--accent-strong) 48%, var(--border));
  color: var(--text);
  display: inline-flex;
  gap: 0.32rem;
  justify-self: start;
  margin-top: 0.38rem;
  min-height: 2.15rem;
}
.statechart-agent-reset:hover {
  background: color-mix(in srgb, var(--accent) 10%, var(--panel));
  border-color: var(--accent-strong);
}
.statechart-agent-reset > span {
  color: var(--accent-strong);
  font-size: 0.9rem;
  letter-spacing: 0;
  line-height: 1;
}
.statechart-agent-decision-heading small {
  color: var(--muted);
  font-size: var(--demo-font-label);
}
.statechart-agent-options {
  display: flex;
  flex-wrap: wrap;
  gap: 0.42rem;
}
.statechart-agent-options button {
  align-content: center;
  background: var(--bg);
  border-color: var(--border);
  color: var(--text);
  display: grid;
  gap: 0.12rem;
  min-height: 2.55rem;
  overflow-wrap: anywhere;
  padding: 0.46rem 0.6rem;
  text-align: start;
}
.statechart-agent-options button span {
  font-size: var(--demo-font-label);
  font-weight: 900;
}
.statechart-agent-options button[data-statechart-demo-event="CANCEL"] {
  border-color: color-mix(in srgb, #c74c42 55%, var(--border));
  color: color-mix(in srgb, #c74c42 78%, var(--text));
}
.statechart-core {
  border-block-start: 0.3rem solid var(--statechart-ink);
}
.statechart-workflow-canvas {
  display: grid;
  gap: 0.75rem;
}
.statechart-workflow-active {
  background: color-mix(in srgb, var(--text) 2%, var(--panel));
  border: 1px solid var(--statechart-line);
  border-radius: 0.45rem;
  display: grid;
  gap: 0.7rem;
  padding: 0.65rem;
  transition:
    border-color 180ms ease,
    box-shadow 180ms ease;
}
.statechart-workflow-active.is-current {
  border-color: color-mix(in srgb, var(--accent-strong) 58%, var(--border));
  box-shadow: 0 0 0 0.18rem color-mix(in srgb, var(--accent) 8%, transparent);
}
.statechart-workflow-parent-label {
  align-items: center;
  display: flex;
  flex-wrap: wrap;
  gap: 0.35rem 0.55rem;
}
.statechart-workflow-parent-label span {
  color: var(--text);
  font-size: var(--demo-font-label);
  font-weight: 900;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}
.statechart-workflow-parent-label small {
  color: var(--muted);
  font-size: var(--demo-font-label);
}
.statechart-workflow-mainline {
  align-items: center;
  display: grid;
  gap: 0.35rem;
  grid-template-columns:
    minmax(4.5rem, 0.75fr) minmax(3.3rem, 0.55fr) minmax(5.4rem, 0.85fr)
    minmax(3rem, 0.5fr) minmax(14rem, 2.1fr) minmax(2.8rem, 0.45fr)
    minmax(4.2rem, 0.7fr);
}
.statechart-workflow-state,
.statechart-workflow-mini-state {
  background: var(--bg);
  border: 1px solid var(--statechart-line);
  border-radius: 0.42rem;
  color: var(--text);
  transition:
    background 180ms ease,
    border-color 180ms ease,
    box-shadow 180ms ease,
    transform 180ms ease;
}
.statechart-workflow-state {
  align-content: center;
  display: grid;
  justify-items: center;
  min-height: 4.2rem;
  padding: 0.48rem;
  text-align: center;
}
.statechart-workflow-state small {
  color: var(--muted);
  font-size: var(--demo-font-label);
  font-weight: 850;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}
.statechart-workflow-state strong {
  color: var(--text);
  font-size: var(--demo-font-label);
  line-height: 1.1;
}
.statechart-workflow-state.is-current,
.statechart-workflow-mini-state.is-current {
  background: color-mix(in srgb, var(--accent) 16%, var(--bg));
  border-color: var(--accent-strong);
  box-shadow: 0 0 0 0.14rem color-mix(in srgb, var(--accent) 13%, transparent);
  transform: translateY(-0.1rem);
}
.statechart-workflow-arrow {
  align-items: center;
  display: grid;
  gap: 0.15rem;
  justify-items: center;
  min-width: 0;
}
.statechart-workflow-arrow span {
  color: var(--muted);
  font-size: var(--demo-font-label);
  font-weight: 850;
  text-align: center;
  text-transform: uppercase;
  white-space: nowrap;
}
.statechart-workflow-arrow i {
  background: var(--statechart-line);
  display: block;
  height: 1px;
  position: relative;
  width: 100%;
}
.statechart-workflow-arrow i::after {
  border-block: 0.2rem solid transparent;
  border-inline-start: 0.34rem solid var(--statechart-line);
  content: "";
  inset: 50% -0.06rem auto auto;
  position: absolute;
  transform: translateY(-50%);
}
.statechart-workflow-parallel {
  background: color-mix(in srgb, var(--accent) 5%, var(--bg));
  border: 1px dashed var(--statechart-line);
  border-radius: 0.42rem;
  display: grid;
  gap: 0.42rem;
  padding: 0.48rem;
  transition:
    border-color 180ms ease,
    box-shadow 180ms ease;
}
.statechart-workflow-parallel.is-current {
  border-color: var(--accent-strong);
  box-shadow: 0 0 0 0.14rem color-mix(in srgb, var(--accent) 10%, transparent);
}
.statechart-workflow-region {
  align-items: center;
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 0.28rem;
  display: grid;
  gap: 0.35rem;
  grid-template-columns: minmax(4.8rem, 0.72fr) minmax(0, 1.28fr);
  padding: 0.34rem;
}
.statechart-workflow-region > b {
  color: var(--muted);
  font-size: var(--demo-font-label);
  line-height: 1.15;
  text-transform: uppercase;
}
.statechart-workflow-region > div {
  align-items: center;
  display: flex;
  gap: 0.2rem;
  justify-content: flex-end;
  min-width: 0;
}
.statechart-workflow-region > div > i {
  color: var(--muted);
  font-size: var(--demo-font-label);
  font-style: normal;
}
.statechart-workflow-mini-state {
  display: inline-block;
  font-size: var(--demo-font-label);
  font-weight: 800;
  min-width: 0;
  padding: 0.28rem 0.32rem;
  text-align: center;
}
.statechart-workflow-return {
  align-items: end;
  display: grid;
  gap: 0.18rem 0.5rem;
  grid-column: 3 / 6;
  grid-row: 2;
  grid-template-columns: auto minmax(0, 1fr);
  margin: -0.05rem 1.25rem 0 1.8rem;
  position: relative;
}
.statechart-workflow-return > span {
  color: var(--muted);
  font-size: var(--demo-font-label);
  font-weight: 800;
  grid-column: 1 / -1;
  justify-self: start;
  text-transform: uppercase;
}
.statechart-workflow-return > span strong {
  color: var(--text);
  font-size: inherit;
}
.statechart-workflow-return > div {
  align-items: center;
  display: flex;
  gap: 0.28rem;
  grid-column: 2;
  grid-row: 2;
  justify-self: end;
  z-index: 1;
}
.statechart-workflow-return code {
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 999px;
  color: var(--text);
  font-size: var(--demo-font-label);
  font-weight: 850;
  padding: 0.18rem 0.3rem;
}
.statechart-workflow-return small {
  color: var(--muted);
  font-size: var(--demo-font-label);
  font-style: italic;
}
.statechart-workflow-return > i {
  border-block-end: 1px solid var(--statechart-line);
  border-inline-end: 1px solid var(--statechart-line);
  display: block;
  grid-column: 1 / -1;
  grid-row: 2;
  height: 0.85rem;
  position: relative;
}
.statechart-workflow-return > i::after {
  border-block: 0.2rem solid transparent;
  border-inline-end: 0.34rem solid var(--statechart-line);
  content: "";
  inset: auto auto -0.21rem -0.05rem;
  position: absolute;
}
.statechart-workflow-outcomes {
  display: grid;
  gap: 0.65rem;
  grid-template-columns: repeat(2, minmax(0, 1fr));
}
.statechart-workflow-outcome-path {
  align-items: center;
  background: color-mix(in srgb, var(--text) 2%, var(--panel));
  border: 1px solid var(--border);
  border-radius: 0.35rem;
  display: grid;
  gap: 0.35rem;
  grid-template-columns: minmax(5.4rem, 0.8fr) minmax(3.2rem, 0.55fr) minmax(
      5rem,
      0.9fr
    );
  padding: 0.55rem;
}
.prose .statechart-workflow-outcome-path > p {
  color: var(--muted);
  font-family: var(--font-ui);
  font-size: var(--demo-font-label);
  font-weight: 850;
  grid-column: 1 / -1;
  letter-spacing: 0.05em;
  line-height: 1.2;
  margin: 0;
  max-width: none;
  text-transform: uppercase;
}
.statechart-workflow-outcome-source {
  align-content: center;
  border: 1px dashed var(--statechart-line);
  border-radius: 0.3rem;
  display: grid;
  justify-items: center;
  min-height: 3.4rem;
  padding: 0.38rem;
  text-align: center;
}
.statechart-workflow-outcome-source small {
  color: var(--muted);
  font-size: var(--demo-font-label);
  font-weight: 800;
  text-transform: uppercase;
}
.statechart-workflow-outcome-source code {
  background: transparent;
  color: var(--text);
  font-size: var(--demo-font-label);
  font-weight: 850;
  padding: 0;
}
.statechart-workflow-outcome-path .statechart-workflow-state {
  min-height: 3.4rem;
}
.statechart-workflow-readout {
  display: grid;
  gap: 0.55rem;
  grid-template-columns: minmax(12rem, 0.8fr) minmax(0, 1.2fr);
}
.statechart-workflow-readout > div {
  background: color-mix(in srgb, var(--text) 3%, var(--panel));
  border: 1px solid var(--border);
  border-radius: 0.28rem;
  display: grid;
  gap: 0.25rem;
  padding: 0.55rem 0.62rem;
}
.statechart-workflow-readout span,
.statechart-workflow-ledger > div > span {
  color: var(--muted);
  font-size: var(--demo-font-label);
  font-weight: 850;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}
.statechart-workflow-readout code {
  background: transparent;
  color: var(--accent-strong);
  font-size: var(--demo-font-label);
  overflow-wrap: anywhere;
  padding: 0;
}
.prose .statechart-workflow-readout p {
  color: var(--text);
  font-family: var(--font-ui);
  font-size: var(--demo-font-label);
  line-height: 1.35;
  margin: 0;
  max-width: none;
}
.statechart-demo-definition-actions {
  align-items: center;
  background: var(--panel);
  border-block-start: 1px solid var(--border);
  display: flex;
  gap: 0.75rem;
  justify-content: space-between;
  padding: 0.6rem;
}
.prose .statechart-demo-definition-actions p {
  color: var(--muted);
  font-family: var(--font-ui);
  font-size: var(--demo-font-label);
  line-height: 1.35;
  margin: 0;
  max-width: 46ch;
}
.statechart-demo-definition-actions > div {
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem;
}
.statechart-demo-definition-actions button,
.statechart-demo-definition-actions a {
  background: var(--bg);
  border: 1px solid var(--border);
  border-radius: 0.28rem;
  color: var(--text);
  font-size: var(--demo-font-label);
  font-weight: 850;
  min-height: 2rem;
  padding: 0.4rem 0.5rem;
  text-decoration: none;
}
.statechart-demo-model {
  --statechart-code-comment: #a9b8b2;
  --statechart-code-keyword: #7dd3fc;
  --statechart-code-literal: #fda4af;
  --statechart-code-property: #99f6e4;
  --statechart-code-string: #fde68a;
  --statechart-code-title: #c4b5fd;
  background: var(--code-bg);
  border: 0;
  border-radius: 0;
  color: var(--code-text);
  font-family: var(--font-mono);
  font-size: clamp(0.72rem, 0.3vw + 0.65rem, 0.8rem);
  line-height: 1.55;
  margin: 0;
  max-height: 30rem;
  min-height: 15rem;
  overflow: auto;
  padding: 0.7rem;
  tab-size: 2;
}
.statechart-demo-model:focus-visible {
  outline: 3px solid var(--accent);
  outline-offset: -3px;
}
.statechart-demo-model code {
  background: transparent;
  color: inherit;
  font: inherit;
  padding: 0;
}
.statechart-demo-model .hljs-comment,
.statechart-demo-model .hljs-quote {
  color: var(--statechart-code-comment);
}
.statechart-demo-model .hljs-keyword,
.statechart-demo-model .hljs-selector-tag {
  color: var(--statechart-code-keyword);
}
.statechart-demo-model .hljs-literal,
.statechart-demo-model .hljs-number {
  color: var(--statechart-code-literal);
}
.statechart-demo-model .hljs-attr,
.statechart-demo-model .hljs-property,
.statechart-demo-model .hljs-variable {
  color: var(--statechart-code-property);
}
.statechart-demo-model .hljs-string,
.statechart-demo-model .hljs-template-tag,
.statechart-demo-model .hljs-template-variable {
  color: var(--statechart-code-string);
}
.statechart-demo-model .hljs-title,
.statechart-demo-model .hljs-type {
  color: var(--statechart-code-title);
}
[data-theme="contrast"] .statechart-demo-model {
  --statechart-code-comment: #e6e6e6;
  --statechart-code-keyword: #ffffff;
  --statechart-code-literal: #ffffff;
  --statechart-code-property: #ffffff;
  --statechart-code-string: #ffffff;
  --statechart-code-title: #ffffff;
}
.statechart-workflow-ledger {
  border-block-start: 1px solid var(--border);
  display: grid;
  gap: 0.55rem;
  padding-block-start: 0.75rem;
}
.statechart-workflow-ledger > div {
  align-items: center;
  display: flex;
  gap: 0.75rem;
  justify-content: space-between;
}
.statechart-workflow-ledger button {
  background: transparent;
  border-color: var(--border);
  color: var(--muted);
  min-height: 1.9rem;
}
.statechart-workflow-ledger ol {
  display: grid;
  gap: 0.32rem;
  list-style: none;
  margin: 0;
  padding: 0;
}
.statechart-workflow-ledger li {
  align-items: center;
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 0.24rem;
  display: grid;
  gap: 0.5rem;
  grid-template-columns: auto minmax(0, 0.75fr) minmax(0, 1.25fr);
  line-height: 1.2;
  max-width: none;
  padding: 0.42rem 0.5rem;
}
.statechart-workflow-ledger li span,
.statechart-workflow-ledger li small {
  color: var(--muted);
  font-size: var(--demo-font-label);
}
.statechart-workflow-ledger li code {
  color: var(--text);
  font-size: var(--demo-font-label);
  font-weight: 850;
}
.statechart-workflow-ledger li small {
  overflow-wrap: anywhere;
  text-align: end;
}
.statechart-workflow-ledger li.is-empty {
  color: var(--muted);
  display: block;
  font-size: var(--demo-font-label);
  font-style: italic;
}

/* ELK computes the geometry at build time; these rules own the visual language. */
.statechart-workflow-canvas {
  background:
    linear-gradient(
      color-mix(in srgb, var(--text) 3%, transparent) 1px,
      transparent 1px
    ),
    linear-gradient(
      90deg,
      color-mix(in srgb, var(--text) 3%, transparent) 1px,
      transparent 1px
    ),
    color-mix(in srgb, var(--text) 1.5%, var(--panel));
  background-size: 1.5rem 1.5rem;
  border: 1px solid var(--border);
  border-radius: 0.4rem;
  display: block;
  overflow-x: auto;
  padding: 0.55rem;
}
.statechart-elk-diagram {
  display: block;
  height: auto;
  min-width: 145rem;
  width: 100%;
}
.statechart-elk-node > rect {
  fill: var(--bg);
  stroke: var(--statechart-line);
  stroke-width: 1.5;
  transition:
    fill 180ms ease,
    stroke 180ms ease,
    stroke-width 180ms ease;
}
.statechart-elk-node.is-compound > rect,
.statechart-elk-node.is-parallel > rect {
  fill: color-mix(in srgb, var(--text) 2%, var(--panel));
  stroke-dasharray: 5 4;
}
.statechart-elk-node.is-parallel > rect {
  fill: color-mix(in srgb, var(--accent) 5%, var(--panel));
}
.statechart-elk-node.is-current > rect {
  fill: color-mix(in srgb, var(--accent) 17%, var(--bg));
  stroke: var(--accent-strong);
  stroke-width: 3;
}
.statechart-elk-label,
.statechart-elk-kind,
.statechart-elk-initial,
.statechart-elk-edge-label text {
  font-family: var(--font-ui);
  pointer-events: none;
}
.statechart-elk-label {
  fill: var(--text);
  font-size: 18px;
  font-weight: 850;
}
.statechart-elk-node.is-compound > .statechart-elk-label,
.statechart-elk-node.is-parallel > .statechart-elk-label {
  font-size: 18px;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}
.statechart-elk-kind {
  fill: var(--muted);
  font-size: 14px;
  font-weight: 750;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}
.statechart-elk-initial {
  fill: var(--accent-strong);
  font-size: 13px;
  font-weight: 900;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}
.statechart-elk-final-mark {
  fill: var(--statechart-ink);
  stroke: var(--bg);
  stroke-width: 3;
}
.statechart-elk-edge path {
  fill: none;
  stroke: var(--statechart-line);
  stroke-linecap: round;
  stroke-linejoin: round;
  stroke-width: 1.6;
}
.statechart-elk-edge.is-return path {
  stroke: var(--accent-strong);
  stroke-width: 2.4;
}
.statechart-elk-edge.is-cancel path {
  stroke: color-mix(in srgb, #c74c42 76%, var(--text));
  stroke-dasharray: 6 4;
  stroke-width: 2;
}
.statechart-elk-diagram marker path {
  fill: var(--statechart-line);
}
.statechart-elk-diagram marker.is-return path {
  fill: var(--accent-strong);
}
.statechart-elk-diagram marker.is-cancel path {
  fill: color-mix(in srgb, #c74c42 76%, var(--text));
}
.statechart-elk-edge-label rect {
  fill: var(--panel);
  stroke: var(--border);
  stroke-width: 1;
}
.statechart-elk-edge-label text {
  fill: var(--muted);
  font-size: 16px;
  font-weight: 850;
  letter-spacing: 0.02em;
}
.statechart-elk-edge.is-return .statechart-elk-edge-label rect {
  fill: color-mix(in srgb, var(--accent) 10%, var(--panel));
  stroke: var(--accent-strong);
}
.statechart-elk-edge.is-return .statechart-elk-edge-label text {
  fill: var(--accent-strong);
}
.statechart-elk-edge.is-cancel .statechart-elk-edge-label text {
  fill: color-mix(in srgb, #c74c42 76%, var(--text));
}

@keyframes orchestration-pulse {
  to {
    opacity: 0.35;
    transform: scale(0.8);
  }
}
@keyframes orchestration-request {
  0% {
    opacity: 0.55;
    transform: translateX(-100%);
  }
  100% {
    opacity: 0;
    transform: translateX(100%);
  }
}

@media (max-width: 48rem) {
  .demo-gallery-item {
    grid-template-columns: 1fr;
  }
  .demo-gallery-item-header {
    align-items: center;
    border-block-end: 1px solid var(--border);
    border-inline-end: 0;
    grid-template-columns: auto minmax(0, 1fr) auto;
    min-height: 0;
    position: static;
  }
  .demo-gallery-index {
    font-size: 1.5rem;
  }
  .demo-gallery-status {
    align-self: center;
  }
  .demo-gallery-lede {
    grid-template-columns: 1fr;
  }
  .demo-gallery-stats {
    border-block-start: 1px solid var(--border);
    border-inline-start: 0;
  }

  .scaling-demo-header,
  .scaling-demo-form,
  .benchmark-demo-grid,
  .otel-demo-workbench,
  .scaling-demo-step,
  .scaling-demo-pressure-step,
  .scaling-demo-moves-step,
  .scaling-demo-tradeoff-step,
  .orchestration-lab-header,
  .orchestration-console,
  .orchestration-observer {
    grid-template-columns: 1fr;
  }
  .statechart-agent-console {
    grid-template-columns: 1fr;
  }
  .statechart-agent-controls {
    grid-template-columns: 1fr;
  }
  .statechart-workflow-mainline {
    grid-template-columns: 1fr;
    justify-items: center;
  }
  .statechart-workflow-mainline > .statechart-workflow-state {
    width: min(10rem, 100%);
  }
  .statechart-workflow-mainline > .statechart-workflow-arrow {
    grid-template-rows: auto 1.15rem;
    width: 5rem;
  }
  .statechart-workflow-mainline > .statechart-workflow-arrow i {
    height: 1.15rem;
    width: 1px;
  }
  .statechart-workflow-mainline > .statechart-workflow-arrow i::after {
    border-block: 0.34rem 0;
    border-inline: 0.2rem solid transparent;
    border-top-color: var(--statechart-line);
    inset: auto auto -0.05rem 50%;
    transform: translateX(-50%);
  }
  .statechart-workflow-parallel {
    width: 100%;
  }
  .statechart-workflow-return {
    align-items: center;
    background: color-mix(in srgb, var(--text) 3%, var(--panel));
    border: 1px solid var(--border);
    border-inline-start: 0.22rem solid var(--accent-strong);
    border-radius: 0.3rem;
    gap: 0.35rem;
    grid-column: 1;
    grid-row: auto;
    grid-template-columns: auto minmax(0, 1fr);
    margin: 0;
    padding: 0.5rem;
    width: 100%;
  }
  .statechart-workflow-return > span {
    grid-column: 1 / -1;
  }
  .statechart-workflow-return > div {
    grid-column: 2;
    grid-row: 2;
    justify-self: start;
  }
  .statechart-workflow-return > i {
    border: 0;
    grid-column: 1;
    grid-row: 2;
    height: auto;
  }
  .statechart-workflow-return > i::after {
    border: 0;
    color: var(--accent-strong);
    content: "↖";
    font-size: 1.05rem;
    inset: auto;
    position: static;
  }
  .statechart-workflow-readout {
    grid-template-columns: 1fr;
  }
  .benchmark-demo-metrics {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }
  .otel-demo-pipeline {
    grid-template-columns: 1fr;
  }
  .otel-demo-pipeline > i {
    justify-self: center;
    transform: rotate(90deg);
  }
  .orchestration-controls,
  .orchestration-observer-heading {
    border-inline-end: 0;
  }
  .orchestration-controls {
    border-block-end: 1px solid var(--orchestration-line);
  }
  .orchestration-observer-heading {
    border-block-end: 1px solid var(--orchestration-line);
    gap: 1rem;
  }
  .orchestration-boundary {
    align-items: start;
    flex-direction: column;
    gap: 0.2rem;
  }

  .scaling-demo-progress {
    grid-template-columns: repeat(4, minmax(5rem, 1fr));
    overflow-x: auto;
    padding-block-end: 0.2rem;
  }

  .scaling-demo-progress button {
    min-width: 0;
  }

  .scaling-demo-tradeoff-step,
  .scaling-demo-artifact-step,
  .scaling-demo-actions {
    grid-column: 1;
  }
}

@media (max-width: 34rem) {
  .orchestration-nodes {
    grid-template-columns: 1fr;
  }
  .orchestration-route {
    display: none;
  }
  .orchestration-node ul {
    min-height: 5rem;
  }
  .orchestration-observer li {
    grid-template-columns: 1fr;
    gap: 0.2rem;
  }
  .benchmark-demo-console-heading,
  .otel-demo-trace-heading {
    align-items: start;
    flex-direction: column;
  }
  .otel-demo-controls,
  .otel-demo-span-row {
    grid-template-columns: 1fr;
  }
  .otel-demo-span-row > strong,
  .otel-demo-trace-heading code {
    text-align: start;
  }
  .otel-demo-span-facts {
    grid-template-columns: 1fr;
  }
  .statechart-agent-controls {
    grid-template-columns: 1fr;
  }
  .statechart-agent-decision-heading {
    grid-template-columns: 1fr;
  }
  .statechart-workflow-region {
    grid-template-columns: 1fr;
  }
  .statechart-workflow-region > div {
    justify-content: flex-start;
  }
  .statechart-workflow-outcomes {
    grid-template-columns: 1fr;
  }
  .statechart-demo-definition-actions {
    align-items: start;
    flex-direction: column;
  }
  .otel-demo-scale {
    margin-inline-start: 0;
  }
}

@media (prefers-reduced-motion: reduce) {
  .orchestration-lab *,
  .orchestration-lab *::before,
  .orchestration-lab *::after {
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
    scroll-behavior: auto !important;
    transition-duration: 0.01ms !important;
  }
  .benchmark-demo-chart > i {
    animation-duration: 0.01ms !important;
    animation-delay: 0ms !important;
  }
  .statechart-demo *,
  .statechart-demo *::before,
  .statechart-demo *::after {
    scroll-behavior: auto !important;
    transition-duration: 0.01ms !important;
  }
}

/* Architecture lens: an editorial systems diagram for composing web choices. */
.architecture-lens {
  --architecture-primary: var(--accent-strong);
  --architecture-flow: var(--accent);
  --architecture-ink: var(--text);
  background:
    linear-gradient(
      90deg,
      transparent calc(50% - 0.5px),
      color-mix(in srgb, var(--border) 65%, transparent) 50%,
      transparent calc(50% + 0.5px)
    ),
    linear-gradient(
      color-mix(in srgb, var(--panel) 96%, var(--architecture-primary) 4%),
      var(--panel)
    );
  overflow: hidden;
  position: relative;
}
.architecture-lens:target {
  outline: none;
}
.architecture-lens::before {
  background: transparent;
  block-size: auto;
  color: color-mix(in srgb, var(--architecture-ink) 5%, transparent);
  content: "HTML / HTTP / STATE";
  font-family: var(--font-mono);
  font-size: clamp(2rem, 7vw, 6rem);
  font-weight: 900;
  inset: 4.6rem auto auto -0.3rem;
  inline-size: auto;
  letter-spacing: -0.08em;
  line-height: 0.8;
  pointer-events: none;
  position: absolute;
  white-space: nowrap;
  z-index: auto;
}
.architecture-lens > * {
  position: relative;
}
.architecture-lens-header {
  align-items: center;
}
.architecture-lens-equation {
  align-items: center;
  display: grid;
  gap: 0.25rem 0.5rem;
  grid-template-columns: auto auto auto;
  justify-content: end;
}
.architecture-lens-equation span {
  background: var(--architecture-ink);
  color: var(--panel);
  font-family: var(--font-mono);
  font-size: 1rem;
  font-weight: 900;
  letter-spacing: 0.08em;
  min-width: 3.6rem;
  padding: 0.45rem 0.55rem;
  text-align: center;
}
.architecture-lens-equation span:last-of-type {
  background: var(--architecture-primary);
  color: var(--panel);
}
.architecture-lens-equation i {
  color: var(--muted);
  font-style: normal;
  font-weight: 900;
}
.architecture-lens-equation small {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  grid-column: 1 / -1;
  letter-spacing: 0.08em;
  text-align: right;
  text-transform: uppercase;
}
.architecture-lens-intro {
  align-items: baseline;
  border-block: 1px solid var(--border);
  display: grid;
  gap: 0.4rem 1rem;
  grid-template-columns: auto minmax(0, 1fr);
  margin-block: 1rem;
  padding-block: 0.75rem;
}
.architecture-lens-intro strong {
  color: var(--accent-strong);
  font-size: 0.82rem;
  text-transform: uppercase;
}
.prose .architecture-lens-intro p {
  color: var(--muted);
  font-size: 0.86rem;
  margin: 0;
  max-width: 72ch;
}
.architecture-lens form {
  display: grid;
  gap: 1rem;
}
.architecture-lens-controls {
  display: grid;
  gap: 1rem;
  grid-template-columns: repeat(3, minmax(0, 1fr));
}
.architecture-lens-controls > label {
  align-items: center;
  background: var(--panel);
  border: 1px solid var(--border);
  cursor: pointer;
  display: flex;
  gap: 0.5rem;
  min-inline-size: 0;
  padding: 0.5rem;
}
.architecture-lens-controls > label:has(input:checked) {
  border-color: var(--accent-strong);
}
.architecture-lens fieldset {
  border: 1px solid var(--border);
  margin: 0;
  min-width: 0;
  padding: 0.75rem;
}
.architecture-lens legend {
  color: var(--muted);
  font-size: var(--demo-font-label);
  font-weight: 850;
  letter-spacing: 0.04em;
  padding-inline: 0.35rem;
  text-transform: uppercase;
}
.architecture-lens legend span {
  color: var(--architecture-primary);
  font-family: var(--font-mono);
  margin-inline-end: 0.35rem;
}
.architecture-lens-options {
  display: grid;
  gap: 0.5rem;
  grid-template-columns: repeat(3, minmax(0, 1fr));
}
.architecture-lens-options label {
  cursor: pointer;
  display: block;
  position: relative;
}
.architecture-lens-options input {
  block-size: 100%;
  cursor: pointer;
  inline-size: 100%;
  inset: 0;
  opacity: 0;
  position: absolute;
  z-index: 1;
}
.architecture-lens-options label > span {
  background: color-mix(in srgb, var(--bg) 70%, var(--panel));
  border: 1px solid var(--border);
  display: grid;
  gap: 0.15rem;
  min-height: 4.2rem;
  padding: 0.65rem;
  transition:
    background 160ms ease,
    border-color 160ms ease,
    transform 160ms ease;
}
.architecture-lens-options label:hover > span {
  transform: translateY(-2px);
}
.architecture-lens-options input:checked + span {
  background: color-mix(in srgb, var(--architecture-primary) 10%, var(--panel));
  border-color: var(--architecture-primary);
  box-shadow: inset 0.22rem 0 0 var(--architecture-primary);
}
.architecture-lens-options input:focus-visible + span {
  outline: 3px solid color-mix(in srgb, var(--accent) 55%, transparent);
  outline-offset: 2px;
}
.architecture-lens-options input:disabled {
  cursor: not-allowed;
}
.architecture-lens-options input:disabled + span {
  background: var(--bg);
  border-style: dashed;
  transform: none;
}
.prose .architecture-lens-initial-help {
  color: var(--muted);
  font-size: 0.86rem;
  margin: 0;
  max-width: none;
}
.architecture-lens-options strong {
  color: var(--text);
  font-family: var(--font-mono);
  font-size: 0.95rem;
}
.architecture-lens-options small {
  color: var(--muted);
  font-size: var(--demo-font-label);
  line-height: 1.25;
}
.architecture-lens-workbench {
  align-items: stretch;
  background:
    repeating-linear-gradient(
      0deg,
      transparent 0,
      transparent 1.45rem,
      color-mix(in srgb, var(--border) 35%, transparent) 1.5rem
    ),
    color-mix(in srgb, var(--bg) 75%, var(--panel));
  border: 1px solid var(--border);
  display: grid;
  gap: 1rem;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  padding: 1rem;
}
.architecture-lens-panel {
  align-content: start;
  background: var(--panel);
  border: 1px solid var(--border);
  display: grid;
  gap: 0.75rem;
  min-inline-size: 0;
  padding: 1rem;
}
.architecture-lens-panel label {
  align-items: start;
  display: flex;
  gap: 0.5rem;
}
.architecture-lens-panel label:has(input:not([type])) {
  display: grid;
}
.architecture-lens-panel input:not([type]) {
  background: var(--bg);
  border: 1px solid var(--border);
  color: var(--text);
  font: inherit;
  inline-size: 100%;
  min-inline-size: 0;
  padding: 0.65rem;
}
.architecture-lens-panel button {
  background: var(--accent-strong);
  border: 1px solid var(--accent-strong);
  color: var(--panel);
  cursor: pointer;
  font: inherit;
  padding: 0.65rem;
}
.architecture-lens-panel :where(p, ol, ul, dl) {
  margin-block: 0;
}
.architecture-lens-panel dd {
  margin-inline: 0;
}
.architecture-lens-browser {
  align-self: center;
  background: var(--panel);
  border: 1px solid var(--architecture-ink);
  box-shadow: 0.45rem 0.45rem 0
    color-mix(in srgb, var(--architecture-ink) 12%, transparent);
  min-width: 0;
  transition:
    opacity 160ms ease,
    transform 160ms ease;
}
.architecture-lens-browser.is-replacing {
  animation: architecture-document-replace 520ms ease;
}
.architecture-lens-browser.is-swapping [data-architecture-lens-events] {
  animation: architecture-fragment-swap 720ms ease;
}
.architecture-lens-browser.is-rendering [data-architecture-lens-events] {
  animation: architecture-client-render 720ms ease;
}
.architecture-lens-browser-bar {
  align-items: center;
  background: var(--architecture-ink);
  display: flex;
  gap: 0.28rem;
  min-height: 1.8rem;
  padding: 0.4rem 0.5rem;
}
.architecture-lens-browser-bar i {
  background: var(--panel);
  border-radius: 999px;
  block-size: 0.38rem;
  inline-size: 0.38rem;
  opacity: 0.68;
}
.architecture-lens-browser-bar code {
  color: var(--panel);
  font-size: var(--demo-font-label);
  margin-inline-start: 0.3rem;
  opacity: 0.8;
}
.architecture-lens-document {
  padding: 0.8rem;
}
.architecture-lens-document-head {
  align-items: start;
  border-block-end: 2px solid var(--architecture-ink);
  display: flex;
  gap: 0.5rem;
  justify-content: space-between;
  min-block-size: 5.1rem;
  padding-block-end: 0.55rem;
}
.architecture-lens-document-head > div {
  display: grid;
}
.architecture-lens-document-head small {
  color: var(--muted);
  font-size: var(--demo-font-label);
  text-transform: uppercase;
}
.architecture-lens-document-head strong {
  color: var(--text);
  font-family: var(--font-serif);
  font-size: 1.15rem;
}
.architecture-lens-document-head > span {
  background: color-mix(in srgb, var(--architecture-flow) 12%, var(--panel));
  border: 1px solid
    color-mix(in srgb, var(--architecture-flow) 55%, var(--border));
  color: var(--text);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  padding: 0.22rem 0.3rem;
}
.architecture-lens-document ul {
  display: grid;
  gap: 0;
  list-style: none;
  margin: 0.55rem 0;
  padding: 0;
}
.architecture-lens-document li {
  border-block-end: 1px solid var(--border);
  color: var(--text);
  font-size: var(--demo-font-label);
  line-height: 1.3;
  max-width: none;
  padding: 0.45rem 0;
}
.architecture-lens-document li span {
  color: var(--muted);
  display: inline-block;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  width: 3.2rem;
}
.architecture-lens-draft {
  background: color-mix(in srgb, var(--bg) 72%, var(--panel));
  border: 1px dashed var(--border);
  display: grid;
  gap: 0.3rem;
  margin-block: 0.65rem;
  padding: 0.5rem;
}
.architecture-lens-draft > span {
  align-items: center;
  color: var(--muted);
  display: flex;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  justify-content: space-between;
  text-transform: uppercase;
}
.architecture-lens-draft > span small {
  color: var(--architecture-primary);
  font-size: var(--demo-font-label);
}
.architecture-lens-draft input {
  background: var(--panel);
  border: 1px solid var(--border);
  color: var(--text);
  font: inherit;
  font-size: var(--demo-font-label);
  min-width: 0;
  padding: 0.38rem 0.45rem;
  width: 100%;
}
.architecture-lens-draft input:focus-visible {
  outline: 3px solid color-mix(in srgb, var(--accent) 45%, transparent);
  outline-offset: 1px;
}
.architecture-lens-document button {
  background: var(--architecture-primary);
  border: 1px solid var(--architecture-primary);
  color: var(--panel);
  cursor: pointer;
  font: inherit;
  font-size: var(--demo-font-label);
  font-weight: 800;
  padding: 0.5rem 0.6rem;
  width: 100%;
}
.architecture-lens-document button span {
  margin-inline-end: 0.25rem;
}
.architecture-lens-document button[disabled] {
  cursor: wait;
  opacity: 0.58;
}
.architecture-lens-browser-status {
  background: color-mix(in srgb, var(--architecture-ink) 5%, var(--panel));
  border-block-start: 1px solid var(--border);
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  min-height: 2.9rem;
  padding: 0.5rem 0.8rem;
}
.architecture-lens-receipt {
  background: color-mix(in srgb, var(--bg) 70%, var(--panel));
  border-block-start: 1px solid var(--border);
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin: 0;
}
.architecture-lens-receipt div {
  border-block-end: 1px solid var(--border);
  border-inline-end: 1px solid var(--border);
  min-width: 0;
  padding: 0.42rem 0.5rem;
}
.architecture-lens-receipt div:nth-child(even) {
  border-inline-end: 0;
}
.architecture-lens-receipt dt {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  letter-spacing: 0.04em;
  text-transform: uppercase;
}
.architecture-lens-receipt dd {
  color: var(--text);
  font-size: var(--demo-font-label);
  font-weight: 750;
  line-height: 1.25;
  margin: 0.12rem 0 0;
  min-height: 1.9rem;
  overflow-wrap: anywhere;
}
.architecture-lens-receipt .architecture-lens-transfer {
  border-inline-end: 0;
  grid-column: 1 / -1;
  padding-block: 0.5rem 0.58rem;
}
.architecture-lens-transfer dd {
  display: grid;
  gap: 0.24rem;
  grid-template-columns: auto minmax(0, 1fr);
  min-height: 0;
}
.architecture-lens-transfer strong {
  color: var(--text);
  font-size: var(--demo-font-label);
  line-height: 1.2;
  white-space: nowrap;
}
.architecture-lens-transfer small {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  grid-column: 1 / -1;
  line-height: 1.2;
  min-block-size: 1.8rem;
}
.architecture-lens-transfer-track {
  align-self: center;
  background: color-mix(in srgb, var(--border) 45%, transparent);
  display: flex;
  height: 0.42rem;
  min-width: 0;
  overflow: hidden;
}
.architecture-lens-transfer-track i {
  background: var(--architecture-primary);
  flex: 0 0 var(--transfer-share, 100%);
  min-width: 0.2rem;
}
.prose .architecture-lens-transfer-note {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  line-height: 1.35;
  margin: 0;
  max-width: none;
  padding: 0.45rem 0.5rem 0.55rem;
}
.architecture-lens-session {
  background: color-mix(in srgb, var(--architecture-primary) 7%, var(--panel));
  border-block-start: 1px solid var(--border);
  display: grid;
  gap: 0.4rem;
  padding: 0.55rem 0.5rem 0.65rem;
}
.architecture-lens-session label {
  align-items: center;
  display: grid;
  gap: 0.4rem;
  grid-template-columns: auto minmax(3rem, 1fr) auto;
}
.architecture-lens-session label > span,
.architecture-lens-session output {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 750;
  text-transform: uppercase;
}
.architecture-lens-session output {
  color: var(--architecture-primary);
  text-align: end;
}
.architecture-lens-session input {
  accent-color: var(--architecture-primary);
  min-width: 0;
  width: 100%;
}
.prose .architecture-lens-session p {
  color: var(--text);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  line-height: 1.35;
  margin: 0;
  max-width: none;
}
.architecture-lens-trace {
  min-width: 0;
  overflow-x: auto;
  overscroll-behavior-inline: contain;
  scrollbar-color: var(--architecture-primary) transparent;
}
.architecture-sequence {
  --sequence-row: 2.25rem;
  min-width: 29rem;
  padding-inline-start: 2.4rem;
  position: relative;
}
.architecture-sequence-axis {
  align-items: center;
  color: var(--muted);
  display: flex;
  flex-direction: column;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  inset: 0 auto 0 0;
  letter-spacing: 0.08em;
  position: absolute;
  text-transform: uppercase;
  width: 1.6rem;
}
.architecture-sequence-axis i {
  background: color-mix(
    in srgb,
    var(--architecture-primary) 55%,
    var(--border)
  );
  flex: 1;
  margin-block-start: 0.35rem;
  position: relative;
  width: 1px;
}
.architecture-sequence-axis i::after {
  border-inline: 0.25rem solid transparent;
  border-top: 0.4rem solid var(--architecture-primary);
  content: "";
  inset: auto auto -0.05rem 50%;
  position: absolute;
  transform: translateX(-50%);
}
.architecture-sequence-participants,
.architecture-sequence-lifelines {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
}
.architecture-sequence-participants {
  border-block-end: 1px solid var(--border);
  min-height: 3.6rem;
}
.architecture-sequence-participant {
  align-content: center;
  background: color-mix(
    in srgb,
    var(--panel) 88%,
    var(--architecture-primary) 12%
  );
  border-inline-end: 1px solid var(--border);
  display: grid;
  padding: 0.55rem 0.65rem;
  text-align: center;
}
.architecture-sequence-participant:first-child {
  border-inline-start: 1px solid var(--border);
}
.architecture-sequence-participant span {
  color: var(--text);
  font-size: var(--demo-font-label);
  font-weight: 850;
}
.architecture-sequence-participant small {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  line-height: 1.25;
}
.architecture-sequence-participant::after {
  content: "";
  display: block;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  line-height: 1.2;
  min-block-size: 0.58rem;
  text-transform: uppercase;
}
.architecture-sequence-participant.is-idle {
  background: color-mix(in srgb, var(--bg) 85%, var(--panel));
  opacity: 0.48;
}
.architecture-sequence-participant.is-idle::after {
  color: var(--muted);
  content: "bypassed";
}
.architecture-sequence-plot {
  height: calc(var(--sequence-row) * 16.4);
  position: relative;
}
.architecture-sequence-lifelines {
  inset: 0;
  pointer-events: none;
  position: absolute;
}
.architecture-sequence-lifeline {
  border-inline-start: 1px dashed
    color-mix(in srgb, var(--muted) 52%, transparent);
  justify-self: center;
  width: 1px;
}
.architecture-sequence-lifeline.is-idle {
  opacity: 0.28;
}
.architecture-sequence-phase {
  align-items: center;
  color: var(--muted);
  display: flex;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 800;
  gap: 0.4rem;
  inset-inline: 0;
  letter-spacing: 0.06em;
  position: absolute;
  text-transform: uppercase;
}
.architecture-sequence-phase::after {
  background: color-mix(in srgb, var(--border) 72%, transparent);
  content: "";
  flex: 1;
  height: 1px;
}
.architecture-sequence-phase span {
  color: var(--architecture-primary);
}
.architecture-sequence-phase--load {
  top: calc(var(--sequence-row) * 0.18);
}
.architecture-sequence-phase--action {
  top: calc(var(--sequence-row) * 7.18);
}
.architecture-sequence-plot ol {
  list-style: none;
  margin: 0;
  padding: 0;
}
.architecture-sequence-message {
  height: 2rem;
  left: var(--message-left);
  max-width: none;
  position: absolute;
  top: calc(var(--sequence-row) * var(--message-row));
  transition:
    filter 180ms ease,
    opacity 180ms ease,
    transform 180ms ease;
  width: var(--message-width);
}
.architecture-sequence-message > i {
  border-block-start: 2px solid var(--architecture-primary);
  inset: 0.82rem 0 auto;
  position: absolute;
}
.architecture-sequence-message > i::after {
  border-block: 0.25rem solid transparent;
  content: "";
  position: absolute;
  top: -0.34rem;
}
.architecture-sequence-message.is-forward > i::after {
  border-inline-start: 0.42rem solid var(--architecture-primary);
  right: -0.05rem;
}
.architecture-sequence-message.is-reverse > i::after {
  border-inline-end: 0.42rem solid var(--architecture-primary);
  left: -0.05rem;
}
.architecture-sequence-message > span {
  background: var(--panel);
  display: grid;
  gap: 0.02rem;
  left: 50%;
  max-width: none;
  padding: 0.12rem 0.35rem;
  position: absolute;
  text-align: center;
  top: 0;
  transform: translate(-50%, -48%);
  width: max-content;
  z-index: 1;
}
.architecture-sequence-message strong {
  color: var(--text);
  font-size: var(--demo-font-label);
  line-height: 1.15;
  white-space: nowrap;
}
.architecture-sequence-message small {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  line-height: 1.2;
  white-space: nowrap;
}
.architecture-sequence-message.is-background > i {
  border-block-start-style: dashed;
}
.architecture-sequence-message.is-write > i {
  border-block-start-color: var(--warning);
}
.architecture-sequence-message.is-write.is-forward > i::after {
  border-inline-start-color: var(--warning);
}
.architecture-sequence-message.is-local {
  width: 7%;
}
.architecture-sequence-message.is-local > i {
  border: 2px solid var(--architecture-primary);
  border-inline-start: 0;
  height: 1.25rem;
  inset: -0.1rem auto auto 0;
  width: 100%;
}
.architecture-sequence-message.is-local > i::after {
  border-block: 0.25rem solid transparent;
  border-inline-end: 0.42rem solid var(--architecture-primary);
  bottom: -0.3rem;
  left: -0.05rem;
  top: auto;
}
.architecture-sequence-message.is-local > span {
  left: calc(100% + 0.45rem);
  max-width: 8rem;
  text-align: left;
  top: 0.15rem;
  transform: none;
  width: max-content;
}
.architecture-sequence-message.is-active {
  filter: drop-shadow(
    0 0 0.28rem color-mix(in srgb, var(--architecture-flow) 55%, transparent)
  );
  transform: translateY(-0.08rem);
}
.architecture-sequence-message.is-active > i,
.architecture-sequence-message.is-complete > i {
  border-color: var(--architecture-flow);
}
.architecture-sequence-message.is-active.is-forward > i::after,
.architecture-sequence-message.is-complete.is-forward > i::after {
  border-inline-start-color: var(--architecture-flow);
}
.architecture-sequence-message.is-active.is-reverse > i::after,
.architecture-sequence-message.is-complete.is-reverse > i::after,
.architecture-sequence-message.is-active.is-local > i::after,
.architecture-sequence-message.is-complete.is-local > i::after {
  border-inline-end-color: var(--architecture-flow);
}
.architecture-sequence-message:not(.is-active, .is-complete) {
  opacity: 0.78;
}
.architecture-lens-readout {
  border: 1px solid var(--border);
  display: grid;
  gap: 1rem;
  grid-template-columns: minmax(12rem, 0.7fr) minmax(0, 1.3fr);
  min-block-size: 14.5rem;
  padding: 0.9rem;
}
.prose .architecture-lens-readout h4 {
  color: var(--text);
  font-family: var(--font-serif);
  font-size: 1.4rem;
  margin: 0.15rem 0 0.4rem;
  text-transform: none;
}
.prose .architecture-lens-readout p {
  color: var(--muted);
  font-size: 0.8rem;
  line-height: 1.45;
  margin: 0;
  max-width: 54ch;
}
.architecture-lens-facts {
  display: grid;
  gap: 0.4rem;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin: 0;
}
.architecture-lens-facts div {
  background: color-mix(in srgb, var(--bg) 65%, var(--panel));
  border-inline-start: 0.18rem solid var(--architecture-primary);
  padding: 0.45rem 0.55rem;
}
.architecture-lens-facts dt {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  letter-spacing: 0.04em;
  text-transform: uppercase;
}
.architecture-lens-facts dd {
  color: var(--text);
  font-size: var(--demo-font-label);
  line-height: 1.35;
  margin: 0.18rem 0 0;
}
.prose .architecture-lens-readout .architecture-lens-caution {
  background: color-mix(in srgb, var(--warning) 9%, var(--panel));
  border-inline-start: 0.22rem solid var(--warning);
  color: var(--text);
  font-size: var(--demo-font-label);
  grid-column: 1 / -1;
  inline-size: 100%;
  max-width: none;
  padding: 0.5rem 0.65rem;
}

@keyframes architecture-document-replace {
  45% {
    opacity: 0.25;
    transform: translateY(0.3rem);
  }
}
@keyframes architecture-fragment-swap {
  35% {
    background: color-mix(in srgb, var(--architecture-flow) 24%, transparent);
  }
}
@keyframes architecture-client-render {
  35% {
    background: color-mix(
      in srgb,
      var(--architecture-primary) 18%,
      transparent
    );
    outline: 2px solid
      color-mix(in srgb, var(--architecture-primary) 45%, transparent);
    outline-offset: 0.15rem;
  }
}

@media (max-width: 46rem) {
  .architecture-lens {
    inline-size: min(100%, calc(100vw - 3rem));
    max-inline-size: calc(100vw - 3rem);
    min-inline-size: 0;
  }
  .architecture-lens-header,
  .architecture-lens-intro,
  .architecture-lens-controls,
  .architecture-lens-workbench,
  .architecture-lens-readout {
    grid-template-columns: 1fr;
  }
  .architecture-lens-equation {
    justify-content: start;
  }
  .architecture-lens-equation small {
    text-align: left;
  }
  .architecture-lens-browser {
    width: min(100%, 20rem);
  }
}

@media (max-width: 30rem) {
  .architecture-lens-options,
  .architecture-lens-facts {
    grid-template-columns: 1fr;
  }
}

@media (prefers-reduced-motion: reduce) {
  .architecture-lens *,
  .architecture-lens *::before,
  .architecture-lens *::after {
    animation-duration: 0.01ms !important;
    transition-duration: 0.01ms !important;
  }
}

/* Client activation lens */

/* API contract lens */

/* Cache control lab */
.cache-control-lab {
  --cache-ink: var(--accent-strong);
  --cache-fresh: var(--success);
  --cache-stale: var(--warning);
  --cache-origin: var(--danger);
  background:
    linear-gradient(
      116deg,
      color-mix(in srgb, var(--panel) 94%, var(--cache-fresh) 6%),
      var(--panel) 45%,
      color-mix(in srgb, var(--panel) 95%, var(--cache-stale) 5%)
    ),
    repeating-linear-gradient(
      90deg,
      transparent 0 3.95rem,
      color-mix(in srgb, var(--border) 30%, transparent) 4rem
    );
  border-radius: 0;
  inline-size: min(100%, 68rem);
  max-inline-size: 68rem;
}
.cache-control-lab-header {
  grid-template-columns: minmax(0, 1fr) minmax(13rem, 19rem);
}
.cache-control-lab-badge {
  background: var(--bg);
  border: 1px solid var(--border);
  border-block-start: 0.22rem solid var(--cache-fresh);
  display: grid;
  gap: 0.18rem;
  padding: 0.62rem 0.75rem;
}
.cache-control-lab-badge span {
  color: var(--cache-ink);
  font-family: var(--font-mono);
  font-size: 0.84rem;
  font-weight: 850;
  letter-spacing: 0.025em;
  text-transform: uppercase;
}
.cache-control-lab-badge small {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
}
.prose .cache-control-lab-intro {
  color: var(--muted);
  font-size: 0.82rem;
  line-height: 1.5;
  margin: 0;
  max-width: 72ch;
  padding: 0.8rem 0;
}
.cache-control-lab-profiles {
  border: 0;
  margin: 0;
  padding: 0;
}
.cache-control-lab-profiles legend {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 750;
  letter-spacing: 0.08em;
  padding-block-end: 0.42rem;
  text-transform: uppercase;
}
.cache-control-lab-profile-options {
  display: grid;
  gap: 0.42rem;
  grid-template-columns: repeat(4, minmax(0, 1fr));
}
.cache-control-lab-profile-options label {
  cursor: pointer;
  min-width: 0;
  position: relative;
}
.cache-control-lab-profile-options input {
  opacity: 0;
  pointer-events: none;
  position: absolute;
}
.cache-control-lab-profile-options label > span {
  background: var(--bg);
  border: 1px solid var(--border);
  display: grid;
  gap: 0.15rem;
  min-block-size: 3.35rem;
  padding: 0.6rem 0.62rem 0.56rem 0.82rem;
  position: relative;
  transition:
    background 160ms ease,
    border-color 160ms ease,
    transform 160ms ease;
}
.cache-control-lab-profile-options label > span::before {
  background: var(--border);
  content: "";
  inset: 0 auto 0 0;
  position: absolute;
  width: 0.22rem;
}
.cache-control-lab-profile-options strong {
  color: var(--text);
  font-size: var(--demo-font-label);
  line-height: 1.2;
}
.cache-control-lab-profile-options small {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  line-height: 1.2;
}
.cache-control-lab-profile-options input:checked + span {
  background: color-mix(in srgb, var(--panel) 86%, var(--cache-fresh) 14%);
  border-color: var(--cache-fresh);
  transform: translateY(-0.12rem);
}
.cache-control-lab-profile-options input:checked + span::before {
  background: var(--cache-fresh);
}
.cache-control-lab-profile-options input:focus-visible + span {
  outline: 3px solid color-mix(in srgb, var(--cache-fresh) 38%, transparent);
  outline-offset: 2px;
}
.cache-control-lab-controls {
  background: var(--bg);
  border: 1px solid var(--border);
  display: grid;
  gap: 0;
  grid-template-columns: minmax(0, 1fr) minmax(14rem, 0.42fr);
  margin-block-start: 0.72rem;
}
.cache-control-lab-age {
  align-items: center;
  display: grid;
  gap: 0.55rem;
  grid-template-columns: auto minmax(5rem, 1fr) minmax(4.5rem, auto);
  padding: 0.62rem 0.72rem;
}
.cache-control-lab-age > span,
.cache-control-lab-origin-change small {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  letter-spacing: 0.05em;
  text-transform: uppercase;
}
.prose .cache-control-lab-age input[type="range"] {
  --range-fill: var(--cache-fresh);
  --range-thumb: var(--cache-ink);
  margin: 0;
  width: 100%;
}
.cache-control-lab-age > strong {
  color: var(--text);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  text-align: right;
}
.cache-control-lab-origin-change {
  align-items: center;
  background: color-mix(in srgb, var(--panel) 90%, var(--cache-origin) 10%);
  border-inline-start: 1px solid var(--border);
  cursor: pointer;
  display: grid;
  gap: 0.48rem;
  grid-template-columns: auto minmax(0, 1fr);
  padding: 0.58rem 0.68rem;
}
.prose .cache-control-lab-origin-change input {
  accent-color: var(--cache-origin);
  block-size: 1rem;
  inline-size: 1rem;
  margin: 0;
}
.cache-control-lab-origin-change span {
  display: grid;
  gap: 0.14rem;
}
.cache-control-lab-origin-change strong {
  color: var(--text);
  font-size: var(--demo-font-label);
}
.cache-control-lab-stage {
  display: grid;
  gap: 0.65rem;
  grid-template-columns: minmax(19rem, 0.9fr) minmax(18rem, 1.1fr);
  margin-block-start: 0.65rem;
}
.cache-control-lab-response,
.cache-control-lab-route,
.cache-control-lab-decision {
  background: var(--bg);
  border: 1px solid var(--border);
  min-width: 0;
}
.cache-control-lab-panel-heading {
  align-items: center;
  border-block-end: 1px solid var(--border);
  display: flex;
  justify-content: space-between;
  min-block-size: 2rem;
  padding: 0.42rem 0.56rem;
}
.cache-control-lab-panel-heading span,
.cache-control-lab-panel-heading strong {
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  letter-spacing: 0.04em;
  text-transform: uppercase;
}
.cache-control-lab-panel-heading span {
  color: var(--muted);
}
.cache-control-lab-panel-heading strong {
  color: var(--cache-ink);
}
.cache-control-lab-response pre {
  background: var(--code-bg);
  border: 0;
  border-radius: 0;
  color: var(--code-text);
  font-size: var(--demo-font-label);
  line-height: 1.52;
  margin: 0;
  min-block-size: 10.6rem;
  overflow: auto;
  padding: 0.72rem;
  white-space: pre-wrap;
}
.cache-control-lab-response pre code {
  font-size: inherit;
}
.cache-control-lab-clock {
  display: grid;
  gap: 0.3rem 0.5rem;
  grid-template-columns: 1fr auto auto;
  padding: 0.72rem;
}
.cache-control-lab-clock > div {
  background: color-mix(in srgb, var(--border) 65%, var(--panel));
  grid-column: 1 / -1;
  height: 0.56rem;
  overflow: visible;
  position: relative;
}
.cache-control-lab-clock i {
  background: linear-gradient(90deg, var(--cache-fresh), var(--cache-stale));
  display: block;
  height: 100%;
  width: var(--cache-clock-position, 25%);
}
.cache-control-lab-clock b {
  background: var(--text);
  height: 1rem;
  left: var(--cache-clock-position, 25%);
  position: absolute;
  top: -0.22rem;
  transform: translateX(-50%);
  width: 0.12rem;
}
.cache-control-lab-clock span {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
}
.cache-control-lab-clock span:nth-of-type(2) {
  text-align: center;
}
.cache-control-lab-clock span:last-child {
  text-align: right;
}
.cache-control-lab-route {
  align-items: center;
  display: grid;
  gap: 0.45rem;
  grid-template-columns: minmax(0, 1fr) auto minmax(0, 1fr) auto minmax(0, 1fr);
  padding: 0.72rem;
}
.cache-control-node {
  align-content: start;
  background: var(--panel);
  border: 1px solid var(--border);
  display: grid;
  gap: 0.28rem;
  min-height: 8.8rem;
  padding: 0.62rem;
  transition:
    background 160ms ease,
    border-color 160ms ease,
    transform 160ms ease;
}
.cache-control-node > span {
  align-items: center;
  border: 1px solid var(--cache-ink);
  color: var(--cache-ink);
  display: flex;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  height: 1.3rem;
  justify-content: center;
  width: 1.3rem;
}
.cache-control-node strong {
  color: var(--text);
  font-size: var(--demo-font-label);
  line-height: 1.2;
  margin-block-start: 0.35rem;
}
.cache-control-node small {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  line-height: 1.35;
}
.cache-control-node.is-active {
  background: color-mix(in srgb, var(--panel) 78%, var(--cache-stale) 22%);
  border-color: var(--cache-stale);
  transform: translateY(-0.16rem);
}
.cache-control-node.is-complete {
  border-color: var(--cache-fresh);
}
.cache-control-lab-route > i {
  border-block-start: 1px dashed var(--border);
  display: block;
  position: relative;
  width: 0.9rem;
}
.cache-control-lab-route > i::after {
  border-block: 0.18rem solid transparent;
  border-inline-start: 0.28rem solid var(--border);
  content: "";
  position: absolute;
  right: -0.06rem;
  top: -0.2rem;
}
.cache-control-lab-decision {
  margin-block-start: 0.65rem;
}
.cache-control-lab-decision ol {
  display: grid;
  gap: 0;
  list-style: none;
  margin: 0;
  padding: 0;
}
.cache-control-lab-decision li {
  align-items: start;
  border-block-end: 1px solid var(--border);
  display: grid;
  gap: 0.58rem;
  grid-template-columns: auto minmax(0, 1fr);
  max-width: none;
  padding: 0.54rem 0.62rem;
  transition: background 160ms ease;
}
.cache-control-lab-decision li > span {
  align-items: center;
  border: 1px solid var(--cache-ink);
  color: var(--cache-ink);
  display: flex;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  height: 1.4rem;
  justify-content: center;
  width: 1.4rem;
}
.cache-control-lab-decision li > div {
  display: grid;
  gap: 0.13rem;
}
.cache-control-lab-decision li strong {
  color: var(--text);
  font-size: var(--demo-font-label);
}
.cache-control-lab-decision li small {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  line-height: 1.35;
}
.cache-control-lab-decision li.is-active {
  background: color-mix(in srgb, var(--panel) 78%, var(--cache-stale) 22%);
}
.cache-control-lab-decision li.is-complete > span {
  background: var(--cache-fresh);
  border-color: var(--cache-fresh);
  color: var(--panel);
}
.cache-control-lab-decision > button {
  background: var(--cache-ink);
  border: 1px solid var(--cache-ink);
  border-radius: 0;
  color: var(--panel);
  cursor: pointer;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 800;
  margin: 0.62rem;
  min-block-size: 2rem;
  padding: 0.45rem 0.7rem;
  text-transform: uppercase;
}
.cache-control-lab-decision > button:hover,
.cache-control-lab-decision > button:focus-visible {
  background: color-mix(in srgb, var(--cache-ink) 84%, var(--text));
}
.cache-control-lab-decision > button:focus-visible {
  outline: 3px solid color-mix(in srgb, var(--cache-ink) 35%, transparent);
  outline-offset: 2px;
}
.cache-control-lab-decision > button:disabled {
  cursor: wait;
  opacity: 0.68;
}
.cache-control-lab-facts {
  display: grid;
  gap: 0.42rem;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  margin: 0.65rem 0 0;
}
.cache-control-lab-facts div {
  background: var(--bg);
  border: 1px solid var(--border);
  border-block-start: 0.18rem solid var(--cache-fresh);
  min-height: 4.2rem;
  padding: 0.52rem;
}
.cache-control-lab-facts dt {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  letter-spacing: 0.04em;
  text-transform: uppercase;
}
.cache-control-lab-facts dd {
  color: var(--text);
  font-size: var(--demo-font-label);
  font-weight: 780;
  line-height: 1.3;
  margin: 0.35rem 0 0;
}
.cache-control-lab-readout {
  background: var(--bg);
  border: 1px solid var(--border);
  display: grid;
  gap: 1rem;
  grid-template-columns: minmax(0, 1.2fr) minmax(15rem, 0.8fr);
  margin-block-start: 0.65rem;
  padding: 0.75rem;
}
.prose .cache-control-lab-readout h4 {
  color: var(--text);
  font-family: var(--font-serif);
  font-size: 1.25rem;
  margin: 0.14rem 0 0.35rem;
  text-transform: none;
}
.prose .cache-control-lab-readout p {
  color: var(--muted);
  font-size: var(--demo-font-label);
  line-height: 1.45;
  margin: 0;
  max-width: 58ch;
}
.cache-control-lab-rule {
  background: color-mix(in srgb, var(--panel) 86%, var(--cache-stale) 14%);
  border-inline-start: 0.24rem solid var(--cache-stale);
  display: grid;
  gap: 0.25rem;
  padding: 0.62rem;
}
.cache-control-lab-rule > span {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  letter-spacing: 0.06em;
  text-transform: uppercase;
}
.cache-control-lab-rule > strong {
  color: var(--text);
  font-size: var(--demo-font-label);
}
.prose .cache-control-lab-note {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  line-height: 1.4;
  margin: 0.55rem 0 0;
  max-width: none;
}

@media (max-width: 54rem) {
  .cache-control-lab-profile-options,
  .cache-control-lab-facts {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }
  .cache-control-lab-stage {
    grid-template-columns: minmax(17rem, 0.85fr) minmax(17rem, 1.15fr);
  }
}

@media (max-width: 42rem) {
  .cache-control-lab {
    inline-size: min(100%, calc(100vw - 3rem));
    max-inline-size: calc(100vw - 3rem);
    min-inline-size: 0;
  }
  .cache-control-lab-header,
  .cache-control-lab-controls,
  .cache-control-lab-stage,
  .cache-control-lab-readout {
    grid-template-columns: 1fr;
  }
  .cache-control-lab-origin-change {
    border-block-start: 1px solid var(--border);
    border-inline-start: 0;
  }
  .cache-control-lab-age {
    grid-template-columns: 1fr auto;
  }
  .cache-control-lab-age input {
    grid-column: 1 / -1;
    grid-row: 2;
  }
  .cache-control-lab-route {
    grid-template-columns: 1fr;
  }
  .cache-control-node {
    min-height: 5.6rem;
  }
  .cache-control-lab-route > i {
    border-block-start: 0;
    border-inline-start: 1px dashed var(--border);
    height: 0.75rem;
    margin-inline-start: 1rem;
    width: 0;
  }
  .cache-control-lab-route > i::after {
    border-block-start: 0.28rem solid var(--border);
    border-inline: 0.18rem solid transparent;
    bottom: -0.06rem;
    left: -0.2rem;
    right: auto;
    top: auto;
  }
}

@media (max-width: 29rem) {
  .cache-control-lab-profile-options,
  .cache-control-lab-facts {
    grid-template-columns: 1fr;
  }
}

@media (prefers-reduced-motion: reduce) {
  .cache-control-lab *,
  .cache-control-lab *::before,
  .cache-control-lab *::after {
    animation-duration: 0.01ms !important;
    transition-duration: 0.01ms !important;
  }
}

/* Browser performance workbench */
.browser-performance-workbench {
  --performance-paper: color-mix(in srgb, var(--panel) 94%, var(--accent) 6%);
  --performance-accent: var(--accent);
  --performance-signal: var(--accent-strong);
  background:
    linear-gradient(
      90deg,
      color-mix(in srgb, var(--border) 42%, transparent) 1px,
      transparent 1px
    ),
    linear-gradient(
      color-mix(in srgb, var(--border) 35%, transparent) 1px,
      transparent 1px
    ),
    var(--performance-paper);
  background-size: 1.5rem 1.5rem;
  border: 1px solid var(--border);
  box-shadow: 0.55rem 0.55rem 0 color-mix(in srgb, var(--text) 10%, transparent);
  color: var(--text);
  margin-block: 2rem;
  overflow: hidden;
}

.browser-performance-header {
  align-items: stretch;
  background: color-mix(in srgb, var(--panel) 94%, transparent);
  border-block-end: 1px solid var(--border);
  display: grid;
  grid-template-columns: minmax(0, 1.35fr) minmax(15rem, 0.65fr);
}

.browser-performance-header > div {
  padding: clamp(1rem, 2.5vw, 1.75rem);
}

.browser-performance-header > div + div {
  border-inline-start: 1px solid var(--border);
}

.prose .browser-performance-kicker,
.prose .browser-performance-eyebrow {
  color: var(--performance-accent);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 700;
  letter-spacing: 0.12em;
  line-height: 1.2;
  margin: 0 0 0.4rem;
  max-width: none;
  text-transform: uppercase;
}

.prose .browser-performance-header h3 {
  color: var(--text);
  font-family: var(--font-serif);
  font-size: clamp(1.55rem, 3.4vw, 2.35rem);
  line-height: 1;
  margin: 0;
  max-width: 16ch;
  text-wrap: balance;
}

.browser-performance-summary {
  align-content: center;
  display: grid;
  gap: 0.45rem;
}

.browser-performance-summary span {
  color: var(--performance-signal);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 700;
}

.browser-performance-summary small {
  color: var(--muted);
  font-size: var(--demo-font-label);
  line-height: 1.45;
}

.browser-performance-grid {
  display: grid;
  grid-template-columns: minmax(16rem, 0.72fr) minmax(0, 1.28fr);
}

.browser-performance-panel {
  background: color-mix(in srgb, var(--panel) 91%, transparent);
  padding: clamp(1rem, 2.5vw, 1.5rem);
}

.browser-performance-panel + .browser-performance-panel {
  border-inline-start: 1px solid var(--border);
}

.prose .browser-performance-panel h4 {
  color: var(--text);
  font-family: var(--font-serif);
  font-size: 1.15rem;
  margin: 0;
  text-transform: none;
}

.browser-performance-controls {
  align-content: start;
  display: grid;
  gap: 1.05rem;
}

.browser-performance-controls > label {
  display: grid;
  gap: 0.35rem;
}

.browser-performance-controls > label > span,
.browser-performance-strategies legend {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.browser-performance-controls select,
.browser-performance-controls button {
  border: 1px solid var(--border);
  border-radius: 0;
  font: inherit;
  inline-size: 100%;
}

.browser-performance-controls select {
  background: var(--bg);
  color: var(--text);
  min-block-size: 2.55rem;
  padding-inline: 0.7rem;
}

.browser-performance-strategies {
  border: 0;
  display: grid;
  gap: 0.5rem;
  margin: 0;
  padding: 0;
}

.browser-performance-strategies legend {
  margin-block-end: 0.4rem;
}

.browser-performance-strategies label {
  align-items: start;
  background: var(--bg);
  border: 1px solid var(--border);
  cursor: pointer;
  display: grid;
  gap: 0.6rem;
  grid-template-columns: auto 1fr;
  padding: 0.7rem;
}

.browser-performance-strategies label:has(input:checked) {
  border-color: var(--performance-signal);
  box-shadow: inset 0.22rem 0 var(--performance-signal);
}

.browser-performance-strategies input {
  accent-color: var(--performance-signal);
  margin-block-start: 0.18rem;
}

.browser-performance-strategies span {
  color: var(--muted);
  font-size: var(--demo-font-label);
  line-height: 1.4;
}

.browser-performance-strategies strong {
  color: var(--text);
  display: block;
  font-size: var(--demo-font-label);
  margin-block-end: 0.08rem;
}

.browser-performance-controls button {
  background: var(--performance-accent);
  border-color: var(--performance-accent);
  color: var(--bg);
  cursor: pointer;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 800;
  letter-spacing: 0.05em;
  min-block-size: 2.7rem;
  padding: 0.7rem 1rem;
  text-transform: uppercase;
}

.browser-performance-controls button:hover:not(:disabled) {
  filter: brightness(1.08);
  transform: translate(-1px, -1px);
}

.browser-performance-controls button:disabled {
  cursor: wait;
  opacity: 0.65;
}

.prose .browser-performance-caveat {
  border-inline-start: 0.2rem solid var(--performance-accent);
  color: var(--muted);
  font-size: var(--demo-font-label);
  line-height: 1.45;
  margin: 0;
  max-width: none;
  padding-inline-start: 0.6rem;
}

.browser-performance-results {
  align-content: start;
  display: grid;
  gap: 1rem;
}

.browser-performance-results-heading {
  align-items: end;
  display: flex;
  gap: 1rem;
  justify-content: space-between;
}

.browser-performance-local-badge {
  border: 1px solid var(--performance-signal);
  color: var(--performance-signal);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  letter-spacing: 0.07em;
  padding: 0.27rem 0.4rem;
  text-transform: uppercase;
  white-space: nowrap;
}

.browser-performance-chart {
  background: var(--bg);
  border: 1px solid var(--border);
  display: grid;
  gap: 0.56rem;
  min-block-size: 12.5rem;
  padding: 0.9rem;
}

.prose .browser-performance-chart > p {
  align-self: center;
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  line-height: 1.5;
  margin: 0 auto;
  max-width: 34ch;
  text-align: center;
}

.browser-performance-run {
  align-items: center;
  display: grid;
  gap: 0.5rem;
  grid-template-columns: 2.8rem minmax(3rem, 1fr) 3.4rem;
}

.browser-performance-run > span,
.browser-performance-run > strong,
.browser-performance-run > small {
  font-family: var(--font-mono);
}

.browser-performance-run > span {
  color: var(--muted);
  font-size: var(--demo-font-label);
  text-transform: uppercase;
}

.browser-performance-run > div {
  background: color-mix(in srgb, var(--border) 55%, transparent);
  block-size: 0.62rem;
  overflow: hidden;
}

.browser-performance-run i {
  animation: browser-performance-bar 320ms ease-out both;
  background: linear-gradient(
    90deg,
    var(--performance-signal),
    var(--performance-accent)
  );
  block-size: 100%;
  display: block;
}

.browser-performance-run > strong {
  color: var(--text);
  font-size: var(--demo-font-label);
  text-align: end;
}

.browser-performance-run > small {
  color: var(--muted);
  font-size: var(--demo-font-label);
  grid-column: 2 / -1;
  margin-block-start: -0.42rem;
}

@keyframes browser-performance-bar {
  from {
    inline-size: 0;
  }
}

.browser-performance-metrics {
  display: grid;
  gap: 1px;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  margin: 0;
}

.browser-performance-metrics > div {
  background: var(--bg);
  border: 1px solid var(--border);
  min-width: 0;
  padding: 0.65rem;
}

.browser-performance-metrics dt {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  letter-spacing: 0.05em;
  line-height: 1.35;
  min-block-size: 2.7em;
  text-transform: uppercase;
}

.browser-performance-metrics dd {
  color: var(--performance-signal);
  font-family: var(--font-serif);
  font-size: 1.05rem;
  font-weight: 700;
  margin: 0.25rem 0 0;
  white-space: nowrap;
}

.prose .browser-performance-reading {
  background: color-mix(in srgb, var(--performance-signal) 8%, var(--panel));
  border-inline-start: 0.22rem solid var(--performance-signal);
  color: var(--muted);
  font-size: var(--demo-font-label);
  line-height: 1.5;
  margin: 0;
  max-width: none;
  padding: 0.72rem;
}

.browser-performance-stage {
  background: color-mix(in srgb, var(--performance-signal) 6%, var(--bg));
  border-block-start: 1px solid var(--border);
  block-size: 3.15rem;
  overflow: hidden;
  padding: 0.45rem 1rem;
  position: relative;
}

.browser-performance-stage::after {
  background: linear-gradient(transparent, var(--bg));
  content: "Measured DOM surface";
  inset: 0;
  padding: 0.55rem 1rem;
  pointer-events: none;
  text-align: end;
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  letter-spacing: 0.06em;
  position: absolute;
  text-transform: uppercase;
}

[data-browser-performance-surface] {
  display: grid;
  gap: 1px;
  grid-template-columns: repeat(5, minmax(7rem, 1fr));
}

.browser-performance-event {
  align-items: center;
  background: var(--panel);
  border: 1px solid var(--border);
  display: grid;
  gap: 0.25rem;
  grid-template-columns: auto 1fr auto;
  min-block-size: 1.6rem;
  padding: 0.28rem;
}

.browser-performance-event span,
.browser-performance-event i {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
}

.browser-performance-event strong {
  color: var(--text);
  font-size: var(--demo-font-label);
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.browser-performance-event.is-filtered {
  display: none;
}

.browser-performance-event.is-match {
  border-inline-start-color: var(--performance-accent);
}

.browser-performance-workbench.is-stale .browser-performance-chart,
.browser-performance-workbench.is-stale .browser-performance-metrics {
  opacity: 0.58;
}

@media (max-width: 54rem) {
  .browser-performance-grid {
    grid-template-columns: minmax(14rem, 0.85fr) minmax(22rem, 1.15fr);
  }

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

@media (max-width: 42rem) {
  .browser-performance-workbench {
    inline-size: min(100%, calc(100vw - 3rem));
    max-inline-size: calc(100vw - 3rem);
  }

  .browser-performance-header,
  .browser-performance-grid {
    grid-template-columns: 1fr;
  }

  .browser-performance-header > div + div,
  .browser-performance-panel + .browser-performance-panel {
    border-block-start: 1px solid var(--border);
    border-inline-start: 0;
  }

  .browser-performance-results-heading {
    align-items: start;
    flex-direction: column;
  }

  [data-browser-performance-surface] {
    grid-template-columns: repeat(2, minmax(7rem, 1fr));
  }
}

@media (prefers-reduced-motion: reduce) {
  .browser-performance-workbench *,
  .browser-performance-workbench *::before,
  .browser-performance-workbench *::after {
    animation-duration: 0.01ms !important;
    transition-duration: 0.01ms !important;
  }
}

/* Scalability laws: three instruments, one visual grammar */
.law-demo {
  --law-accent: var(--accent-strong);
  --law-signal: var(--success);
  --law-alert: var(--warning);
  background:
    linear-gradient(
      135deg,
      color-mix(in srgb, var(--accent) 6%, transparent),
      transparent 42%
    ),
    var(--panel);
  border: 1px solid var(--border);
  box-shadow: 0.48rem 0.48rem 0
    color-mix(in srgb, var(--accent-strong) 11%, transparent);
  color: var(--text);
  margin-block: 2rem;
  overflow: hidden;
}

.law-demo-header {
  align-items: stretch;
  border-block-end: 1px solid var(--border);
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(13rem, 0.34fr);
}

.law-demo-header > div {
  padding: clamp(1rem, 2.4vw, 1.55rem);
}

.law-demo-header > div + div {
  border-inline-start: 1px solid var(--border);
}

.prose .law-demo-kicker,
.prose .law-demo-step {
  color: var(--law-accent);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 700;
  letter-spacing: 0.09em;
  line-height: 1.35;
  margin: 0 0 0.42rem;
  max-width: none;
  text-transform: uppercase;
}

.prose .law-demo-header h3 {
  color: var(--text);
  font-family: var(--font-serif);
  font-size: clamp(1.45rem, 3vw, 2.1rem);
  line-height: 1.04;
  margin: 0;
  max-width: 25ch;
  text-wrap: balance;
  text-transform: none;
}

.law-demo-verdict {
  align-content: center;
  color: var(--law-signal);
  display: grid;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 800;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.law-demo.is-law-warning .law-demo-verdict {
  color: var(--law-alert);
}

.law-demo-grid {
  display: grid;
  grid-template-columns: minmax(15rem, 0.62fr) minmax(0, 1.38fr);
}

.law-demo-controls,
.law-demo-workspace {
  padding: clamp(1rem, 2.3vw, 1.45rem);
}

.law-demo-controls {
  align-content: start;
  background: color-mix(in srgb, var(--bg) 72%, var(--panel));
  display: grid;
  gap: 1rem;
  margin: 0;
}

.law-demo-controls label {
  display: grid;
  gap: 0.38rem;
  grid-template-columns: 1fr auto;
}

.law-demo-controls label > span {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.law-demo-controls input[type="range"] {
  accent-color: var(--law-accent);
  grid-column: 1 / -1;
  inline-size: 100%;
}

.law-demo-controls output {
  color: var(--law-accent);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 800;
}

.prose .law-demo-control-note {
  border-inline-start: 0.2rem solid var(--law-alert);
  color: var(--muted);
  font-size: var(--demo-font-label);
  line-height: 1.5;
  margin: 0;
  max-width: none;
  padding-inline-start: 0.65rem;
}

.law-demo-workspace {
  border-inline-start: 1px solid var(--border);
  display: grid;
  gap: 1rem;
}

.law-demo-equation {
  background: var(--code-bg);
  border: 1px solid var(--border);
  color: var(--code-text);
  display: grid;
  gap: 0.3rem;
  padding: 0.85rem 1rem;
}

.law-demo-equation span {
  font-family: var(--font-serif);
  font-size: clamp(1.25rem, 3vw, 1.8rem);
  font-weight: 700;
}

.law-demo-equation small {
  color: color-mix(in srgb, var(--code-text) 70%, transparent);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.law-demo-metrics {
  display: grid;
  gap: 1px;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  margin: 0;
}

.law-demo-metrics-four {
  grid-template-columns: repeat(4, minmax(0, 1fr));
}

.law-demo-metrics > div {
  background: var(--bg);
  border: 1px solid var(--border);
  min-width: 0;
  padding: 0.68rem;
}

.law-demo-metrics dt {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  letter-spacing: 0.05em;
  line-height: 1.35;
  min-block-size: 2.7em;
  text-transform: uppercase;
}

.law-demo-metrics dd {
  color: var(--law-accent);
  font-family: var(--font-serif);
  font-size: clamp(1rem, 2.2vw, 1.35rem);
  font-weight: 700;
  margin: 0.2rem 0 0;
  white-space: nowrap;
}

.prose .law-demo-reading {
  background: color-mix(in srgb, var(--law-signal) 7%, var(--panel));
  border-inline-start: 0.22rem solid var(--law-signal);
  color: var(--muted);
  font-size: var(--demo-font-label);
  line-height: 1.52;
  margin: 0;
  max-width: none;
  padding: 0.72rem;
}

.law-demo.is-law-warning .law-demo-reading {
  background: color-mix(in srgb, var(--law-alert) 7%, var(--panel));
  border-inline-start-color: var(--law-alert);
}

/* Lusser's Law: a reliability trace with safety outcomes */
.law-demo-lusser {
  --lusser-stopped: var(--warning);
  --lusser-wrong: var(--danger);
  background:
    linear-gradient(
      112deg,
      color-mix(in srgb, var(--success) 7%, transparent),
      transparent 38%
    ),
    repeating-linear-gradient(
      0deg,
      transparent 0 1.7rem,
      color-mix(in srgb, var(--border) 24%, transparent) 1.7rem 1.74rem
    ),
    var(--panel);
}

.prose .law-demo-lusser .law-demo-kicker sub {
  font-size: 0.72em;
  text-transform: none;
}

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

.lusser-presets button {
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 0;
  color: var(--muted);
  cursor: pointer;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 750;
  letter-spacing: 0.035em;
  line-height: 1.35;
  min-block-size: 2.55rem;
  padding: 0.45rem 0.55rem;
  text-align: start;
  text-transform: uppercase;
}

.lusser-presets button:hover,
.lusser-presets button:focus-visible {
  border-color: var(--law-accent);
  color: var(--law-accent);
}

.lusser-presets button[aria-pressed="true"] {
  background: color-mix(in srgb, var(--law-accent) 10%, var(--panel));
  box-shadow: inset 0 -0.18rem var(--law-accent);
  color: var(--law-accent);
}

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

.lusser-equations > div {
  background: var(--code-bg);
  border: 1px solid var(--border);
  color: var(--code-text);
  display: grid;
  gap: 0.28rem;
  min-width: 0;
  padding: 0.82rem 0.9rem;
}

.lusser-equations small {
  color: color-mix(in srgb, var(--code-text) 65%, transparent);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  letter-spacing: 0.055em;
  line-height: 1.4;
  text-transform: uppercase;
}

.lusser-equations strong {
  font-family: var(--font-serif);
  font-size: clamp(0.85rem, 1.8vw, 1.08rem);
  line-height: 1.25;
  overflow-wrap: anywhere;
}

.lusser-equations span {
  color: var(--code-text);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 800;
}

.lusser-chart-frame {
  background:
    repeating-linear-gradient(
      0deg,
      transparent 0 2.15rem,
      color-mix(in srgb, var(--border) 35%, transparent) 2.15rem 2.2rem
    ),
    color-mix(in srgb, var(--bg) 82%, var(--panel));
  border: 1px solid var(--border);
  padding: 0.62rem 0.75rem 0.45rem;
}

.lusser-chart-heading,
.lusser-outcomes-heading {
  align-items: baseline;
  display: flex;
  justify-content: space-between;
}

.lusser-chart-heading span,
.lusser-outcomes-heading span,
.lusser-outcomes-heading small {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  letter-spacing: 0.045em;
  text-transform: uppercase;
}

.lusser-chart-heading strong {
  color: var(--law-accent);
  font-family: var(--font-serif);
  font-size: 1.05rem;
}

[data-lusser-chart] {
  color: var(--law-accent);
  display: block;
  inline-size: 100%;
}

.lusser-grid line {
  stroke: color-mix(in srgb, var(--border) 65%, transparent);
  stroke-width: 1;
}

.lusser-target-line {
  stroke: var(--lusser-stopped);
  stroke-dasharray: 4 5;
  stroke-width: 1.5;
}

.lusser-target-label {
  fill: var(--lusser-stopped);
  font-family: var(--font-mono);
  font-size: 10px;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.lusser-reliability-path {
  fill: none;
  stroke: currentColor;
  stroke-linecap: square;
  stroke-linejoin: bevel;
  stroke-width: 5;
}

.lusser-selected-guide {
  stroke: var(--muted);
  stroke-dasharray: 3 5;
  stroke-width: 1;
}

.lusser-selected-point {
  fill: var(--law-signal);
  stroke: var(--bg);
  stroke-width: 3;
}

.lusser-axis {
  color: var(--muted);
  display: flex;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  justify-content: space-between;
  text-transform: uppercase;
}

.lusser-outcomes {
  background: color-mix(in srgb, var(--bg) 78%, var(--panel));
  border: 1px solid var(--border);
  display: grid;
  gap: 0.5rem;
  padding: 0.68rem 0.75rem;
}

.lusser-outcome-bar {
  background: var(--border);
  display: flex;
  inline-size: 100%;
  min-block-size: 0.72rem;
  overflow: hidden;
}

.lusser-outcome-bar i {
  block-size: 0.72rem;
  display: block;
  transition: inline-size 180ms ease-out;
}

.lusser-outcome-bar [data-lusser-outcome-segment="correct"] {
  background: var(--law-signal);
}

.lusser-outcome-bar [data-lusser-outcome-segment="stopped"] {
  background: var(--lusser-stopped);
}

.lusser-outcome-bar [data-lusser-outcome-segment="wrong"] {
  background: var(--lusser-wrong);
}

.lusser-metrics > div {
  box-shadow: inset 0 0.16rem var(--border);
}

.lusser-metrics > div:nth-child(1),
.lusser-metrics > div:nth-child(2) {
  box-shadow: inset 0 0.16rem var(--law-signal);
}

.lusser-metrics > div:nth-child(3) {
  box-shadow: inset 0 0.16rem var(--lusser-stopped);
}

.lusser-metrics > div:nth-child(4) {
  box-shadow: inset 0 0.16rem var(--lusser-wrong);
}

.lusser-metrics > div:nth-child(3) dd {
  color: var(--lusser-stopped);
}

.lusser-metrics > div:nth-child(4) dd {
  color: var(--lusser-wrong);
}

@keyframes law-queue-arrive {
  from {
    opacity: 0;
    transform: translateX(-0.5rem) rotate(45deg);
  }
}

.amdahl-timeline {
  background: color-mix(in srgb, var(--bg) 78%, var(--panel));
  border: 1px solid var(--border);
  display: grid;
  gap: 0.75rem;
  padding: 1rem;
}

.amdahl-baseline,
.amdahl-parallel {
  align-items: center;
  display: grid;
  gap: 0;
  grid-template-columns: 4rem minmax(0, 1fr) auto;
  min-block-size: 1.5rem;
}

.amdahl-baseline > span,
.amdahl-parallel > span,
.amdahl-baseline > strong,
.amdahl-parallel > strong {
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
}

.amdahl-baseline > span,
.amdahl-parallel > span {
  color: var(--muted);
}

.amdahl-baseline > strong,
.amdahl-parallel > strong {
  color: var(--text);
  padding-inline-start: 0.5rem;
}

.amdahl-baseline i,
.amdahl-workbar i,
.amdahl-workbar b {
  block-size: 1.25rem;
  display: block;
}

.amdahl-baseline i {
  background: color-mix(in srgb, var(--law-accent) 36%, var(--border));
  inline-size: 100%;
}

.amdahl-workbar {
  display: flex;
  inline-size: 100%;
}

.amdahl-workbar i {
  background: var(--law-alert);
}

.amdahl-workbar b {
  background: var(--law-signal);
}

.amdahl-legend {
  display: flex;
  gap: 1rem;
  padding-inline-start: 4rem;
}

.amdahl-legend span {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
}

.amdahl-legend span::before {
  background: var(--law-alert);
  content: "";
  display: inline-block;
  block-size: 0.48rem;
  inline-size: 0.48rem;
  margin-inline-end: 0.3rem;
}

.amdahl-legend span + span::before {
  background: var(--law-signal);
}

.usl-chart-frame {
  background: color-mix(in srgb, var(--bg) 82%, var(--panel));
  border: 1px solid var(--border);
  padding: 0.6rem 0.7rem 0.45rem;
}

[data-usl-chart] {
  color: var(--law-accent);
  display: block;
  inline-size: 100%;
}

.usl-grid line {
  stroke: color-mix(in srgb, var(--border) 72%, transparent);
  stroke-width: 1;
}

.usl-capacity-path {
  fill: none;
  stroke: currentColor;
  stroke-linecap: square;
  stroke-linejoin: bevel;
  stroke-width: 5;
}

.usl-selected-guide {
  stroke: var(--muted);
  stroke-dasharray: 5 5;
  stroke-width: 1;
}

.usl-peak-point {
  fill: var(--law-alert);
  stroke: var(--bg);
  stroke-width: 3;
}

.usl-selected-point {
  fill: var(--law-signal);
  stroke: var(--bg);
  stroke-width: 3;
}

.usl-peak-label {
  fill: var(--muted);
  font-family: var(--font-mono);
  font-size: 12px;
  text-transform: uppercase;
}

.usl-axis {
  color: var(--muted);
  display: flex;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  justify-content: space-between;
  text-transform: uppercase;
}

@media (max-width: 54rem) {
  .law-demo-grid {
    grid-template-columns: minmax(14rem, 0.72fr) minmax(21rem, 1.28fr);
  }

  .law-demo-metrics-four {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }
}

@media (max-width: 42rem) {
  .law-demo {
    inline-size: min(100%, calc(100vw - 3rem));
    max-inline-size: calc(100vw - 3rem);
  }

  .law-demo-header,
  .law-demo-grid {
    grid-template-columns: 1fr;
  }

  .law-demo-header > div + div,
  .law-demo-workspace {
    border-block-start: 1px solid var(--border);
    border-inline-start: 0;
  }

  .law-demo-verdict {
    min-block-size: 3rem;
  }

  .law-demo-metrics,
  .law-demo-metrics-four {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .amdahl-baseline,
  .amdahl-parallel {
    grid-template-columns: 3.6rem minmax(0, 1fr) auto;
  }

  .amdahl-legend {
    flex-direction: column;
    gap: 0.25rem;
    padding-inline-start: 3.6rem;
  }

  .lusser-equations {
    grid-template-columns: 1fr;
  }

  .lusser-outcomes-heading {
    align-items: flex-start;
    flex-direction: column;
    gap: 0.2rem;
  }
}

@media (prefers-reduced-motion: reduce) {
  .law-demo *,
  .law-demo *::before,
  .law-demo *::after {
    animation-duration: 0.01ms !important;
    transition-duration: 0.01ms !important;
  }
}

/* Constrain → generate → validate → revise */

/* Durable retry failure-window lab */
.durable-retry-lab {
  --durable-retry-line: color-mix(in srgb, var(--border) 72%, var(--text) 28%);
  --durable-retry-soft: color-mix(in srgb, var(--panel) 86%, var(--accent) 14%);
  --durable-retry-fault: var(--danger);
  background:
    linear-gradient(
      135deg,
      color-mix(in srgb, var(--panel) 96%, var(--accent) 4%),
      var(--panel) 68%
    ),
    repeating-linear-gradient(
      90deg,
      transparent 0,
      transparent 2.45rem,
      color-mix(in srgb, var(--border) 42%, transparent) 2.5rem
    );
  border: 1px solid var(--durable-retry-line);
  box-shadow: 0.7rem 0.7rem 0 color-mix(in srgb, var(--text) 8%, transparent);
  color: var(--text);
  margin: 2rem 0;
  max-width: 76rem;
}

.durable-retry-lab,
.durable-retry-lab * {
  box-sizing: border-box;
  font-family: var(--font-ui);
}

.durable-retry-header {
  align-items: stretch;
  background: color-mix(in srgb, var(--text) 94%, var(--panel));
  color: var(--panel);
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(15rem, 22rem);
}

.durable-retry-header > div:first-child {
  padding: clamp(1rem, 2.5vw, 1.65rem);
}

.prose .durable-retry-kicker {
  color: inherit;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 850;
  letter-spacing: 0.12em;
  margin: 0 0 0.45rem;
  max-width: none;
  text-transform: uppercase;
}

.prose .durable-retry-header h3 {
  color: inherit;
  font-family: var(--font-serif);
  font-size: clamp(1.55rem, 2vw + 0.8rem, 2.45rem);
  letter-spacing: -0.025em;
  line-height: 1.05;
  margin: 0;
  max-width: 23ch;
}

.durable-retry-summary {
  align-content: center;
  background: var(--accent-strong);
  border-inline-start: 1px solid
    color-mix(in srgb, var(--panel) 32%, transparent);
  color: color-mix(in srgb, var(--text) 92%, black);
  display: grid;
  gap: 0.38rem;
  padding: 1rem 1.25rem;
  color: var(--bg);
}

.durable-retry-summary span {
  font-family: var(--font-mono);
  font-size: 0.82rem;
  font-weight: 900;
  letter-spacing: 0.035em;
  line-height: 1.25;
  text-transform: uppercase;
}

.durable-retry-summary small {
  font-size: 0.76rem;
  line-height: 1.4;
}

.durable-retry-form {
  display: grid;
  gap: 1px;
}

.durable-retry-workbench {
  background: var(--durable-retry-line);
  display: grid;
  gap: 1px;
  grid-template-columns: minmax(0, 1fr);
}

.durable-retry-panel {
  background: color-mix(in srgb, var(--panel) 96%, var(--bg));
  padding: clamp(1rem, 2vw, 1.4rem);
}

.durable-retry-section-heading,
.durable-retry-ledger > header {
  align-items: start;
  display: grid;
  gap: 0.75rem;
  grid-template-columns: 2rem minmax(0, 1fr);
}

.durable-retry-section-heading > span,
.durable-retry-ledger > header > span {
  align-items: center;
  background: var(--text);
  color: var(--panel);
  display: inline-flex;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 900;
  height: 2rem;
  justify-content: center;
  width: 2rem;
}

.prose .durable-retry-section-heading h4,
.prose .durable-retry-ledger h4,
.prose .durable-retry-artifact h4 {
  font-family: var(--font-serif);
  font-size: 1.08rem;
  line-height: 1.18;
  margin: 0;
  max-width: none;
}

.prose .durable-retry-section-heading p,
.prose .durable-retry-ledger header p,
.prose .durable-retry-artifact p {
  color: var(--muted);
  font-size: var(--demo-font-label);
  line-height: 1.42;
  margin: 0.18rem 0 0;
  max-width: none;
}

.durable-retry-control-grid {
  display: grid;
  gap: 0.75rem;
  margin-block-start: 1.15rem;
}

.durable-retry-control-grid label {
  display: grid;
  gap: 0.32rem;
}

.durable-retry-control-grid label > span,
.durable-retry-prediction legend {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 800;
  letter-spacing: 0.045em;
  line-height: 1.35;
  text-transform: uppercase;
}

.durable-retry-control-grid select {
  appearance: none;
  background:
    linear-gradient(45deg, transparent 50%, var(--text) 50%)
      calc(100% - 0.95rem) 50% / 0.35rem 0.35rem no-repeat,
    linear-gradient(135deg, var(--text) 50%, transparent 50%)
      calc(100% - 0.7rem) 50% / 0.35rem 0.35rem no-repeat,
    var(--bg);
  border: 1px solid var(--durable-retry-line);
  border-radius: 0;
  color: var(--text);
  font-size: 0.78rem;
  min-block-size: 2.65rem;
  padding: 0.62rem 2rem 0.62rem 0.72rem;
  width: 100%;
}

.durable-retry-control-grid select:disabled {
  cursor: not-allowed;
  opacity: 0.62;
}

.durable-retry-prediction {
  border: 0;
  border-block-start: 1px solid var(--border);
  display: grid;
  gap: 0.45rem;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin: 1.1rem 0 0;
  min-width: 0;
  padding: 1rem 0 0;
}

.durable-retry-prediction legend {
  margin-block-end: 0.55rem;
  padding: 0;
}

.durable-retry-prediction label {
  align-items: center;
  background: var(--bg);
  border: 1px solid var(--border);
  cursor: pointer;
  display: grid;
  gap: 0.45rem;
  grid-template-columns: auto 1fr;
  min-block-size: 2.75rem;
  padding: 0.55rem 0.65rem;
}

.durable-retry-prediction label:has(input:checked) {
  background: var(--durable-retry-soft);
  border-color: var(--accent-strong);
  box-shadow: inset 0.22rem 0 var(--accent-strong);
}

.durable-retry-prediction input {
  accent-color: var(--accent-strong);
  height: 1rem;
  margin: 0;
  width: 1rem;
}

.durable-retry-prediction span {
  font-size: 0.76rem;
  font-weight: 760;
}

.durable-retry-actions {
  display: grid;
  gap: 0.5rem;
  grid-template-columns: 1fr 1fr auto;
  margin-block-start: 1rem;
}

.durable-retry-actions button,
.durable-retry-artifact button {
  align-items: center;
  background: var(--accent-strong);
  border: 1px solid var(--accent-strong);
  border-radius: 0;
  color: var(--panel);
  cursor: pointer;
  display: inline-flex;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 850;
  gap: 0.48rem;
  justify-content: center;
  letter-spacing: 0.025em;
  line-height: 1.2;
  min-block-size: 2.75rem;
  padding: 0.62rem 0.72rem;
  text-transform: uppercase;
}

.durable-retry-actions button > span {
  align-items: center;
  border: 1px solid currentColor;
  display: inline-flex;
  height: 1.15rem;
  justify-content: center;
  width: 1.15rem;
}

.durable-retry-actions button:disabled {
  background: color-mix(in srgb, var(--border) 65%, var(--panel));
  border-color: var(--border);
  color: var(--muted);
  cursor: not-allowed;
}

.durable-retry-actions .durable-retry-reset {
  background: var(--bg);
  border-color: var(--border);
  color: var(--text);
}

.durable-retry-rail {
  display: grid;
  gap: 0;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  list-style: none;
  margin: 1.15rem 0 0;
  padding: 0;
}

.durable-retry-rail li {
  background: var(--bg);
  border: 1px solid var(--border);
  display: grid;
  gap: 0.5rem;
  grid-template-columns: auto minmax(0, 1fr);
  margin-inline-start: -1px;
  min-height: 6.5rem;
  padding: 0.7rem;
  position: relative;
}

.durable-retry-rail li:first-child {
  margin-inline-start: 0;
}

.durable-retry-rail li > span {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 900;
}

.durable-retry-rail li > div {
  align-content: start;
  display: grid;
  gap: 0.28rem;
}

.durable-retry-rail strong {
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  letter-spacing: 0.035em;
  text-transform: uppercase;
}

.durable-retry-rail small {
  color: var(--muted);
  font-size: var(--demo-font-label);
  line-height: 1.35;
}

.durable-retry-rail li.is-complete {
  background: color-mix(in srgb, var(--success) 9%, var(--panel));
  border-color: color-mix(in srgb, var(--success) 58%, var(--border));
  box-shadow: inset 0 -0.2rem var(--success);
  z-index: 1;
}

.durable-retry-rail li.is-current {
  border-color: var(--accent-strong);
  box-shadow: inset 0 -0.24rem var(--accent-strong);
  z-index: 2;
}

.durable-retry-rail li.is-failed,
.durable-retry-rail .durable-retry-fault.is-current {
  background: color-mix(in srgb, var(--danger) 10%, var(--panel));
  border-color: var(--danger);
  box-shadow: inset 0 -0.24rem var(--danger);
}

.durable-retry-rail li.is-muted {
  opacity: 0.56;
}

.durable-retry-fault-note {
  align-items: start;
  background: color-mix(in srgb, var(--danger) 7%, var(--panel));
  border: 1px solid color-mix(in srgb, var(--danger) 48%, var(--border));
  display: grid;
  gap: 0.65rem;
  grid-template-columns: minmax(8rem, auto) minmax(0, 1fr);
  margin-block-start: 1rem;
  padding: 0.75rem;
}

.durable-retry-fault-note > span {
  color: var(--danger);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 900;
  letter-spacing: 0.035em;
  text-transform: uppercase;
}

.prose .durable-retry-fault-note p {
  font-size: var(--demo-font-label);
  line-height: 1.45;
  margin: 0;
  max-width: none;
}

.durable-retry-fault-note code,
.durable-retry-ledger code {
  background: var(--bg);
  border: 1px solid var(--border);
  color: var(--text);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  padding: 0.08rem 0.22rem;
}

.durable-retry-metrics {
  background: var(--durable-retry-line);
  display: grid;
  gap: 1px;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  margin: 0;
}

.durable-retry-metrics > div {
  background: var(--text);
  color: var(--panel);
  display: grid;
  gap: 0.28rem;
  min-height: 5.3rem;
  padding: 0.78rem 0.9rem;
}

.durable-retry-metrics dt {
  color: color-mix(in srgb, var(--panel) 72%, transparent);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 800;
  letter-spacing: 0.055em;
  line-height: 1.3;
  text-transform: uppercase;
}

.durable-retry-metrics dd {
  align-self: end;
  font-family: var(--font-mono);
  font-size: clamp(1.2rem, 1.4vw, 1.55rem);
  font-weight: 900;
  line-height: 1;
  margin: 0;
}

.durable-retry-ledgers {
  background: var(--durable-retry-line);
  display: grid;
  gap: 1px;
  grid-template-columns: minmax(13rem, 0.74fr) minmax(19rem, 1fr) minmax(
      22rem,
      1.26fr
    );
}

.durable-retry-ledger {
  background: var(--panel);
  min-width: 0;
  padding: 1rem;
}

.durable-retry-ledger > header > span {
  background: var(--accent-strong);
}

.durable-retry-app-state > dl {
  display: grid;
  gap: 0;
  margin: 1rem 0 0;
}

.durable-retry-app-state > dl > div {
  border-block-start: 1px solid var(--border);
  display: grid;
  gap: 0.3rem;
  padding: 0.62rem 0;
}

.durable-retry-app-state dt {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 800;
  letter-spacing: 0.055em;
  text-transform: uppercase;
}

.durable-retry-app-state dd {
  font-size: var(--demo-font-label);
  line-height: 1.4;
  margin: 0;
  overflow-wrap: anywhere;
}

.durable-retry-table-wrap {
  margin-block-start: 1rem;
  max-width: 100%;
  overflow-x: auto;
}

.durable-retry-table-wrap:focus-visible {
  outline: 3px solid var(--accent-strong);
  outline-offset: 0.18rem;
}

.durable-retry-ledger table {
  border-collapse: collapse;
  font-size: var(--demo-font-label);
  line-height: 1.4;
  margin: 0;
  min-width: 100%;
  table-layout: auto;
}

.durable-retry-history table {
  min-width: 25rem;
}

.durable-retry-receiver table {
  min-width: 34rem;
}

.durable-retry-ledger th,
.durable-retry-ledger td {
  border: 1px solid var(--border);
  padding: 0.48rem 0.52rem;
  text-align: left;
  vertical-align: top;
}

.durable-retry-ledger th {
  background: var(--bg);
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  letter-spacing: 0.045em;
  text-transform: uppercase;
}

.durable-retry-ledger td:first-child {
  font-family: var(--font-mono);
  font-weight: 800;
  white-space: nowrap;
}

.durable-retry-ledger tr.is-empty td {
  color: var(--muted);
  font-style: italic;
  text-align: center;
}

.durable-retry-ledger .is-applied,
.durable-retry-ledger .is-replayed {
  border-inline-start: 0.18rem solid var(--warning);
  display: inline-block;
  padding-inline-start: 0.4rem;
  white-space: nowrap;
}

.durable-retry-ledger .is-replayed {
  border-inline-start-color: var(--success);
  color: var(--success);
}

.durable-retry-result {
  align-items: center;
  background: var(--durable-retry-soft);
  border-block: 1px solid var(--durable-retry-line);
  display: grid;
  gap: 0.9rem;
  grid-template-columns: 3rem minmax(0, 1fr);
  padding: 1rem;
}

.durable-retry-result-mark {
  align-items: center;
  background: var(--text);
  color: var(--panel);
  display: inline-flex;
  font-family: var(--font-mono);
  font-size: 1.25rem;
  font-weight: 900;
  height: 3rem;
  justify-content: center;
  width: 3rem;
}

.durable-retry-result > div:last-child {
  display: grid;
  gap: 0.2rem;
}

.durable-retry-result [data-durable-retry-result-label] {
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 900;
  letter-spacing: 0.045em;
  text-transform: uppercase;
}

.prose .durable-retry-result p {
  font-size: 0.76rem;
  line-height: 1.48;
  margin: 0;
  max-width: 76ch;
}

.durable-retry-result.is-success {
  background: color-mix(in srgb, var(--success) 10%, var(--panel));
  border-color: var(--success);
}

.durable-retry-result.is-success .durable-retry-result-mark {
  background: var(--success);
}

.durable-retry-result.is-warning {
  background: color-mix(in srgb, var(--warning) 10%, var(--panel));
  border-color: var(--warning);
}

.durable-retry-result.is-warning .durable-retry-result-mark {
  background: var(--warning);
}

.durable-retry-result.is-failure {
  background: color-mix(in srgb, var(--danger) 9%, var(--panel));
  border-color: var(--danger);
}

.durable-retry-result.is-failure .durable-retry-result-mark {
  background: var(--danger);
}

.durable-retry-artifact {
  background: var(--panel);
  border-block-end: 1px solid var(--durable-retry-line);
}

.durable-retry-artifact > summary {
  cursor: pointer;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 850;
  letter-spacing: 0.04em;
  padding: 0.9rem 1rem;
  text-transform: uppercase;
}

.durable-retry-artifact[open] > summary {
  border-block-end: 1px solid var(--border);
}

.durable-retry-artifact-body {
  display: grid;
  gap: 0.8rem;
  grid-template-columns: minmax(0, 1fr) auto;
  padding: 1rem;
}

.durable-retry-artifact button {
  align-self: start;
}

.durable-retry-artifact textarea {
  background: color-mix(in srgb, var(--text) 94%, var(--panel));
  border: 1px solid var(--text);
  border-radius: 0;
  color: var(--panel);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  grid-column: 1 / -1;
  line-height: 1.5;
  min-height: 15rem;
  padding: 0.85rem;
  resize: vertical;
  width: 100%;
}

@media (max-width: 68rem) {
  .durable-retry-ledgers {
    grid-template-columns: minmax(14rem, 0.7fr) minmax(24rem, 1.3fr);
  }

  .durable-retry-receiver {
    grid-column: 1 / -1;
  }
}

@media (max-width: 56rem) {
  .durable-retry-workbench,
  .durable-retry-header {
    grid-template-columns: 1fr;
  }

  .durable-retry-summary {
    border-block-start: 1px solid
      color-mix(in srgb, var(--panel) 32%, transparent);
    border-inline-start: 0;
  }

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

@media (max-width: 44rem) {
  .durable-retry-lab {
    box-shadow: none;
  }

  .durable-retry-ledgers {
    grid-template-columns: 1fr;
  }

  .durable-retry-receiver {
    grid-column: auto;
  }

  .durable-retry-rail {
    grid-template-columns: 1fr;
  }

  .durable-retry-rail li {
    margin-block-start: -1px;
    margin-inline-start: 0;
    min-height: auto;
  }

  .durable-retry-rail li:first-child {
    margin-block-start: 0;
  }

  .durable-retry-actions,
  .durable-retry-artifact-body {
    grid-template-columns: 1fr;
  }

  .durable-retry-artifact textarea {
    grid-column: auto;
  }
}

@media (max-width: 31rem) {
  .durable-retry-prediction,
  .durable-retry-metrics {
    grid-template-columns: 1fr;
  }

  .durable-retry-fault-note {
    grid-template-columns: 1fr;
  }
}

/* Fleet trace forensic debugger */
.fleet-trace-lab {
  --fleet-trace-grid: color-mix(in srgb, var(--border) 48%, transparent);
  --fleet-trace-line: color-mix(in srgb, var(--border) 72%, var(--text) 28%);
  --fleet-trace-ink: color-mix(in srgb, var(--text) 94%, var(--panel));
  --fleet-trace-paper: color-mix(in srgb, var(--panel) 96%, var(--bg));
  background:
    linear-gradient(90deg, var(--fleet-trace-grid) 1px, transparent 1px) 0 0 /
      2rem 2rem,
    linear-gradient(var(--fleet-trace-grid) 1px, transparent 1px) 0 0 / 2rem
      2rem,
    var(--panel);
  border: 1px solid var(--fleet-trace-line);
  box-shadow: 0.65rem 0.65rem 0 color-mix(in srgb, var(--text) 9%, transparent);
  color: var(--text);
  margin: 2rem 0;
  max-width: 78rem;
  min-width: 0;
  overflow: hidden;
}

.fleet-trace-lab,
.fleet-trace-lab * {
  box-sizing: border-box;
  font-family: var(--font-ui);
}

.fleet-trace-header {
  background: var(--fleet-trace-ink);
  color: var(--panel);
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(16rem, 23rem);
}

.fleet-trace-header > div:first-child {
  padding: clamp(1.1rem, 2.4vw, 1.75rem);
}

.prose .fleet-trace-kicker {
  color: var(--panel);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 900;
  letter-spacing: 0.13em;
  margin: 0 0 0.45rem;
  max-width: none;
  text-transform: uppercase;
}

.prose .fleet-trace-header h3 {
  color: inherit;
  font-family: var(--font-serif);
  font-size: clamp(1.55rem, 2vw + 0.8rem, 2.45rem);
  letter-spacing: -0.025em;
  line-height: 1.05;
  margin: 0;
  max-width: 25ch;
}

.fleet-trace-summary {
  align-content: center;
  background: repeating-linear-gradient(
    -45deg,
    color-mix(in srgb, var(--warning) 94%, var(--panel)) 0,
    color-mix(in srgb, var(--warning) 94%, var(--panel)) 0.55rem,
    var(--warning) 0.55rem,
    var(--warning) 1.1rem
  );
  border-inline-start: 1px solid
    color-mix(in srgb, var(--panel) 30%, transparent);
  color: color-mix(in srgb, var(--text) 94%, black);
  display: grid;
  gap: 0.32rem;
  padding: 1rem 1.25rem;
}

[data-theme="dark"] .fleet-trace-summary,
[data-theme="contrast"] .fleet-trace-summary {
  color: var(--bg);
}

.fleet-trace-summary span {
  font-family: var(--font-mono);
  font-size: 0.78rem;
  font-weight: 900;
  letter-spacing: 0.035em;
  line-height: 1.3;
  text-transform: uppercase;
}

.fleet-trace-summary small {
  font-size: var(--demo-font-label);
  line-height: 1.4;
}

.fleet-trace-form {
  display: grid;
  gap: 1px;
}

.fleet-trace-packet,
.fleet-trace-mapping,
.fleet-trace-results {
  background: var(--fleet-trace-paper);
  min-width: 0;
  padding: clamp(1rem, 2vw, 1.45rem);
}

.fleet-trace-mapping,
.fleet-trace-results {
  border-block-start: 1px solid var(--fleet-trace-line);
}

.fleet-trace-section-heading {
  align-items: start;
  display: grid;
  gap: 0.8rem;
  grid-template-columns: 2.15rem minmax(0, 1fr) auto;
}

.fleet-trace-section-heading > span {
  align-items: center;
  background: var(--fleet-trace-ink);
  color: var(--panel);
  display: inline-flex;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 900;
  height: 2.15rem;
  justify-content: center;
  width: 2.15rem;
}

.prose .fleet-trace-section-heading h4 {
  font-family: var(--font-serif);
  font-size: 1.14rem;
  line-height: 1.18;
  margin: 0;
  max-width: none;
}

.prose .fleet-trace-section-heading p {
  color: var(--muted);
  font-size: var(--demo-font-label);
  line-height: 1.45;
  margin: 0.2rem 0 0;
  max-width: 78ch;
}

.fleet-trace-section-heading code,
.fleet-trace-run-strip code,
.fleet-trace-source code,
.fleet-trace-mapping code,
.fleet-trace-results code {
  background: var(--bg);
  border: 1px solid var(--border);
  color: var(--text);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  padding: 0.08rem 0.22rem;
}

.fleet-trace-packet-stamp {
  border: 1px solid var(--fleet-trace-line);
  display: grid;
  gap: 0.1rem;
  min-width: 10rem;
  padding: 0.48rem 0.62rem;
}

.fleet-trace-packet-stamp span,
.fleet-trace-packet-stamp small {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 800;
  letter-spacing: 0.07em;
  text-transform: uppercase;
}

.fleet-trace-packet-stamp code {
  border: 0;
  font-size: var(--demo-font-label);
  font-weight: 900;
  padding: 0;
}

.fleet-trace-packet-stamp small {
  color: var(--success);
  font-size: var(--demo-font-label);
}

.fleet-trace-run-strip {
  background: var(--fleet-trace-line);
  display: grid;
  gap: 1px;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin-block-start: 1.05rem;
}

.fleet-trace-run-strip article {
  align-items: center;
  background: var(--panel);
  display: grid;
  gap: 0.65rem;
  grid-template-columns: auto minmax(0, 1fr) auto;
  padding: 0.75rem;
}

.fleet-trace-run-strip article > span {
  align-items: center;
  background: var(--accent-strong);
  color: var(--panel);
  display: inline-flex;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 900;
  height: 2.15rem;
  justify-content: center;
  width: 2.8rem;
}

.fleet-trace-run-strip article > div {
  display: grid;
  gap: 0.15rem;
}

.fleet-trace-run-strip strong {
  font-size: var(--demo-font-label);
}

.fleet-trace-run-strip small {
  color: var(--muted);
  font-size: var(--demo-font-label);
}

.fleet-trace-run-strip em {
  border: 1px solid currentColor;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-style: normal;
  font-weight: 900;
  letter-spacing: 0.045em;
  padding: 0.3rem 0.45rem;
  text-transform: uppercase;
}

.fleet-trace-run-strip .is-accepted {
  color: var(--success);
}

.fleet-trace-run-strip .is-cancelled {
  color: var(--danger);
}

.fleet-trace-source-grid {
  background: var(--fleet-trace-line);
  display: grid;
  gap: 1px;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin-block-start: 1px;
}

.fleet-trace-source {
  background: var(--panel);
  min-width: 0;
  padding: 0.85rem;
}

.fleet-trace-source > header,
.fleet-trace-physical-label {
  align-items: center;
  display: grid;
  gap: 0.65rem;
  grid-template-columns: auto minmax(0, 1fr);
}

.fleet-trace-source > header > span,
.fleet-trace-physical-label > span {
  background: var(--fleet-trace-ink);
  color: var(--panel);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 900;
  letter-spacing: 0.06em;
  padding: 0.45rem 0.52rem;
}

.fleet-trace-gateway > header > span {
  background: var(--accent-strong);
}

.prose .fleet-trace-source h5,
.prose .fleet-trace-rollup h5,
.prose .fleet-trace-findings h5 {
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 900;
  letter-spacing: 0.04em;
  margin: 0;
  max-width: none;
  text-transform: uppercase;
}

.fleet-trace-source header small,
.fleet-trace-physical-label small {
  color: var(--muted);
  display: block;
  font-size: var(--demo-font-label);
  margin-block-start: 0.1rem;
}

.fleet-trace-table-wrap {
  margin-block-start: 0.75rem;
  max-width: 100%;
  min-width: 0;
  overflow-x: auto;
}

.fleet-trace-table-wrap:focus-visible {
  outline: 3px solid var(--accent-strong);
  outline-offset: 0.15rem;
}

.fleet-trace-lab table {
  border-collapse: collapse;
  font-size: var(--demo-font-label);
  line-height: 1.4;
  margin: 0;
  min-width: 42rem;
  table-layout: auto;
  width: 100%;
}

.fleet-trace-lab th,
.fleet-trace-lab td {
  border: 1px solid var(--border);
  padding: 0.45rem 0.5rem;
  text-align: left;
  vertical-align: top;
}

.fleet-trace-lab th {
  background: var(--bg);
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 900;
  letter-spacing: 0.045em;
  text-transform: uppercase;
}

.fleet-trace-lab td time,
.fleet-trace-lab td > code,
.fleet-trace-lab td small {
  font-family: var(--font-mono);
}

.fleet-trace-lab td small {
  color: var(--muted);
  display: block;
  font-size: var(--demo-font-label);
  margin-block-start: 0.2rem;
}

.fleet-trace-source td code {
  overflow-wrap: anywhere;
}

.fleet-trace-mapping {
  background: linear-gradient(
    90deg,
    color-mix(in srgb, var(--warning) 4%, var(--panel)),
    var(--panel)
  );
}

.fleet-trace-section-heading output,
.fleet-trace-seal {
  align-self: center;
  border: 1px solid var(--fleet-trace-line);
  color: var(--text);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 900;
  min-width: 7.5rem;
  padding: 0.52rem 0.65rem;
  text-align: center;
  text-transform: uppercase;
}

.fleet-trace-physical-label {
  margin-block-start: 1rem;
}

.fleet-trace-physical-label > span {
  background: var(--warning);
  color: var(--panel);
}

[data-theme="dark"] .fleet-trace-physical-label > span,
[data-theme="contrast"] .fleet-trace-physical-label > span {
  color: var(--bg);
}

.fleet-trace-physical-label strong {
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  letter-spacing: 0.035em;
  text-transform: uppercase;
}

.fleet-trace-physical-wrap table {
  min-width: 76rem;
}

.fleet-trace-physical-wrap select {
  background: var(--panel);
  border: 1px solid var(--fleet-trace-line);
  border-radius: 0;
  color: var(--text);
  font-size: var(--demo-font-label);
  min-height: 2.25rem;
  padding: 0.4rem 1.5rem 0.4rem 0.45rem;
  width: 8.5rem;
}

.fleet-trace-physical-wrap select:disabled {
  background: var(--bg);
  color: var(--muted);
  opacity: 1;
}

.fleet-trace-physical-wrap .is-unpriced {
  color: var(--warning);
  font-family: var(--font-mono);
  font-weight: 900;
  text-transform: uppercase;
}

.fleet-trace-physical-wrap tr[data-fleet-trace-status="correct"] {
  box-shadow: inset 0.22rem 0 var(--success);
}

.fleet-trace-physical-wrap tr[data-fleet-trace-status="conflict"] {
  background: color-mix(in srgb, var(--danger) 8%, var(--panel));
  box-shadow: inset 0.22rem 0 var(--danger);
}

.fleet-trace-physical-wrap [data-fleet-trace-check] {
  color: var(--muted);
  min-width: 14rem;
}

.fleet-trace-physical-wrap
  tr[data-fleet-trace-status="correct"]
  [data-fleet-trace-check] {
  color: var(--success);
}

.fleet-trace-physical-wrap
  tr[data-fleet-trace-status="conflict"]
  [data-fleet-trace-check] {
  color: var(--danger);
}

.fleet-trace-actions {
  align-items: center;
  border-block-start: 1px solid var(--border);
  display: flex;
  gap: 1rem;
  justify-content: space-between;
  margin-block-start: 0.9rem;
  padding-block-start: 0.9rem;
}

.prose .fleet-trace-actions p {
  color: var(--muted);
  font-size: var(--demo-font-label);
  line-height: 1.4;
  margin: 0;
  max-width: 68ch;
}

.fleet-trace-actions > div {
  display: flex;
  flex: none;
  gap: 0.5rem;
}

.fleet-trace-actions button,
.fleet-trace-artifact button {
  background: var(--bg);
  border: 1px solid var(--fleet-trace-line);
  border-radius: 0;
  color: var(--text);
  cursor: pointer;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 900;
  letter-spacing: 0.035em;
  min-height: 2.65rem;
  padding: 0.58rem 0.78rem;
  text-transform: uppercase;
}

.fleet-trace-actions [data-fleet-trace-reconcile],
.fleet-trace-artifact button {
  background: var(--accent-strong);
  border-color: var(--accent-strong);
  color: var(--panel);
}

.fleet-trace-actions button:disabled {
  background: color-mix(in srgb, var(--border) 65%, var(--panel));
  border-color: var(--border);
  color: var(--muted);
  cursor: not-allowed;
}

.fleet-trace-results {
  background: linear-gradient(
    135deg,
    color-mix(in srgb, var(--accent) 6%, var(--panel)),
    var(--panel) 68%
  );
}

.fleet-trace-seal {
  background: var(--fleet-trace-ink);
  color: var(--panel);
}

.fleet-trace-metrics {
  background: var(--fleet-trace-line);
  display: grid;
  gap: 1px;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  margin: 1rem 0 0;
}

.fleet-trace-metrics > div {
  background: var(--fleet-trace-ink);
  color: var(--panel);
  display: grid;
  gap: 0.32rem;
  min-height: 5.4rem;
  padding: 0.75rem 0.85rem;
}

.fleet-trace-metrics dt {
  color: color-mix(in srgb, var(--panel) 72%, transparent);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 900;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.fleet-trace-metrics dd {
  align-self: end;
  font-family: var(--font-mono);
  font-size: clamp(0.84rem, 1vw, 1.12rem);
  font-weight: 900;
  line-height: 1.15;
  margin: 0;
}

.fleet-trace-result-grid {
  background: var(--fleet-trace-line);
  display: grid;
  gap: 1px;
  grid-template-columns: minmax(0, 1.35fr) minmax(18rem, 0.65fr);
  margin-block-start: 1px;
}

.fleet-trace-rollup,
.fleet-trace-findings {
  background: var(--panel);
  min-width: 0;
  padding: 0.9rem;
}

.fleet-trace-rollup table {
  min-width: 46rem;
}

.fleet-trace-rollup td:nth-child(4) {
  min-width: 21rem;
}

.fleet-trace-findings ol {
  display: grid;
  gap: 1px;
  list-style: none;
  margin: 0.75rem 0 0;
  padding: 0;
}

.fleet-trace-findings li {
  align-items: start;
  background: var(--bg);
  border: 1px solid var(--border);
  display: grid;
  gap: 0.6rem;
  grid-template-columns: 3.4rem minmax(0, 1fr);
  padding: 0.62rem;
}

.fleet-trace-findings li > span {
  border-inline-start: 0.2rem solid var(--warning);
  color: var(--warning);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 900;
  letter-spacing: 0.05em;
  padding-inline-start: 0.35rem;
}

.fleet-trace-findings li[data-fleet-trace-finding="late-effect"] > span,
.fleet-trace-findings li[data-fleet-trace-finding="bypass"] > span {
  border-inline-start-color: var(--danger);
  color: var(--danger);
}

.fleet-trace-findings li > div {
  display: grid;
  gap: 0.18rem;
}

.fleet-trace-findings strong {
  font-size: var(--demo-font-label);
  line-height: 1.35;
}

.prose .fleet-trace-findings p {
  color: var(--muted);
  font-size: var(--demo-font-label);
  line-height: 1.45;
  margin: 0;
  max-width: none;
}

.fleet-trace-artifact {
  background: var(--panel);
  border: 1px solid var(--fleet-trace-line);
  margin-block-start: 1px;
}

.fleet-trace-artifact > summary {
  cursor: pointer;
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 900;
  letter-spacing: 0.04em;
  padding: 0.9rem;
  text-transform: uppercase;
}

.fleet-trace-artifact[open] > summary {
  border-block-end: 1px solid var(--border);
}

.fleet-trace-artifact > div {
  display: grid;
  gap: 0.75rem;
  grid-template-columns: minmax(0, 1fr) auto;
  padding: 0.9rem;
}

.prose .fleet-trace-artifact p {
  color: var(--muted);
  font-size: var(--demo-font-label);
  line-height: 1.45;
  margin: 0;
  max-width: 75ch;
}

.fleet-trace-artifact textarea {
  background: var(--fleet-trace-ink);
  border: 1px solid var(--fleet-trace-ink);
  border-radius: 0;
  color: var(--panel);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  grid-column: 1 / -1;
  line-height: 1.5;
  min-height: 19rem;
  padding: 0.8rem;
  resize: vertical;
  width: 100%;
}

@media (max-width: 70rem) {
  .fleet-trace-source-grid,
  .fleet-trace-result-grid {
    grid-template-columns: 1fr;
  }
}

@media (max-width: 54rem) {
  .fleet-trace-header {
    grid-template-columns: 1fr;
  }

  .fleet-trace-summary {
    border-block-start: 1px solid
      color-mix(in srgb, var(--panel) 30%, transparent);
    border-inline-start: 0;
  }

  .fleet-trace-run-strip,
  .fleet-trace-metrics {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .fleet-trace-actions {
    align-items: stretch;
    flex-direction: column;
  }

  .fleet-trace-actions > div {
    justify-content: flex-end;
  }
}

@media (max-width: 40rem) {
  .fleet-trace-lab {
    box-shadow: none;
  }

  .fleet-trace-section-heading {
    grid-template-columns: 2.15rem minmax(0, 1fr);
  }

  .fleet-trace-section-heading > :last-child {
    grid-column: 1 / -1;
  }

  .fleet-trace-run-strip,
  .fleet-trace-metrics {
    grid-template-columns: 1fr;
  }

  .fleet-trace-run-strip article {
    grid-template-columns: auto minmax(0, 1fr);
  }

  .fleet-trace-run-strip article em {
    grid-column: 2;
    justify-self: start;
  }

  .fleet-trace-actions > div,
  .fleet-trace-artifact > div {
    display: grid;
    grid-template-columns: 1fr;
  }

  .fleet-trace-artifact textarea {
    grid-column: auto;
  }
}

/* One authored Goodhart coverage case, with a separate local verification path. */

/* ACID transaction lab */
.acid-lab {
  --acid-grid: color-mix(in srgb, var(--border) 46%, transparent);
  --acid-ink: color-mix(in srgb, var(--text) 96%, var(--panel));
  --acid-paper: color-mix(in srgb, var(--panel) 96%, var(--bg));
  background:
    linear-gradient(90deg, var(--acid-grid) 1px, transparent 1px) 0 0 / 1.5rem
      1.5rem,
    linear-gradient(var(--acid-grid) 1px, transparent 1px) 0 0 / 1.5rem 1.5rem,
    var(--acid-paper);
  border: 1px solid var(--border);
  box-shadow: 0 1.5rem 3.5rem color-mix(in srgb, var(--text) 11%, transparent);
  margin: 2rem 0;
  max-width: 72rem;
  overflow: hidden;
  position: relative;
  z-index: 1;
}

.acid-lab,
.acid-lab * {
  box-sizing: border-box;
  font-family: var(--font-ui);
}

.book-shell .prose > :is(.acid-lab, .cap-lab) {
  inline-size: calc(100% + var(--book-demo-inline-extension, 0rem));
  max-inline-size: none;
  max-width: none;
  transition: inline-size 260ms cubic-bezier(0.22, 1, 0.36, 1);
}

.acid-lab-header {
  align-items: stretch;
  background: var(--acid-ink);
  color: var(--panel);
  display: grid;
  grid-template-columns: minmax(0, 1.15fr) minmax(17rem, 0.85fr);
}

.acid-lab-header > div:first-child {
  padding: clamp(1rem, 2.5vw, 1.6rem);
}

.prose .acid-lab-kicker,
.prose .cap-lab-kicker {
  color: var(--panel);
  font: 850 var(--demo-font-label)/1.2 var(--font-mono);
  letter-spacing: 0.1em;
  margin: 0 0 0.48rem;
  max-width: none;
  text-transform: uppercase;
}

.prose .acid-lab-header h3,
.prose .cap-lab-header h3 {
  color: inherit;
  font-family: var(--font-serif);
  font-size: clamp(1.45rem, 2vw + 0.8rem, 2.35rem);
  line-height: 1.08;
  margin: 0;
  max-width: 22ch;
}

.acid-lab-summary {
  align-content: center;
  background:
    repeating-linear-gradient(
      -45deg,
      color-mix(in srgb, var(--warning) 9%, transparent) 0 0.45rem,
      transparent 0.45rem 0.9rem
    ),
    color-mix(in srgb, var(--acid-ink) 88%, var(--warning));
  border-inline-start: 1px solid
    color-mix(in srgb, var(--panel) 22%, transparent);
  display: grid;
  gap: 0.35rem;
  padding: 1rem clamp(1rem, 2.5vw, 1.5rem);
}

.acid-lab-summary span,
.cap-lab-summary span {
  font: 850 0.82rem/1.3 var(--font-mono);
  letter-spacing: 0.03em;
}

.acid-lab-summary small,
.cap-lab-summary small {
  color: color-mix(in srgb, currentColor 72%, transparent);
  font-size: 0.76rem;
  line-height: 1.45;
}

.prose .acid-lab-intro,
.prose .cap-lab-intro {
  background: color-mix(in srgb, var(--bg) 76%, var(--panel));
  border-block-end: 1px solid var(--border);
  font-size: 0.88rem;
  line-height: 1.55;
  margin: 0;
  max-width: none;
  padding: 0.9rem clamp(1rem, 2.5vw, 1.5rem);
}

.acid-lab-form,
.cap-lab-form {
  display: grid;
  gap: 1rem;
  padding: clamp(1rem, 2.5vw, 1.5rem);
}

.acid-lab-controls {
  align-items: end;
  display: grid;
  gap: 0.7rem;
  grid-template-columns:
    minmax(0, 1.2fr) minmax(0, 1.05fr) minmax(0, 0.9fr)
    auto;
}

.acid-lab-controls label,
.cap-lab-controls label {
  display: grid;
  gap: 0.35rem;
}

.acid-lab-controls label > span,
.cap-lab-controls label > span {
  color: var(--muted);
  font: 800 var(--demo-font-label)/1.2 var(--font-mono);
  letter-spacing: 0.07em;
  text-transform: uppercase;
}

.acid-lab select,
.cap-lab select {
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 0;
  color: var(--text);
  font: 750 0.78rem/1.2 var(--font-ui);
  min-block-size: 2.65rem;
  padding: 0.58rem 2rem 0.58rem 0.68rem;
  width: 100%;
}

.acid-lab select:disabled,
.cap-lab select:disabled {
  cursor: not-allowed;
  opacity: 0.58;
}

.acid-lab-actions,
.cap-lab-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 0.45rem;
}

.acid-lab button,
.cap-lab button {
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 0;
  color: var(--text);
  cursor: pointer;
  font: 800 var(--demo-font-label)/1.2 var(--font-mono);
  min-block-size: 2.65rem;
  padding: 0.62rem 0.78rem;
}

.acid-lab button[type="submit"] {
  background: var(--acid-ink);
  border-color: var(--acid-ink);
  color: var(--panel);
}

.cap-lab button[data-cap-partition],
.cap-lab button[data-cap-write],
.cap-lab button[data-cap-heal] {
  background: var(--cap-night);
  border-color: var(--cap-night);
  color: var(--panel);
}

.acid-lab button:hover,
.cap-lab button:hover {
  border-color: var(--warning);
  color: var(--warning);
}

.acid-lab button:disabled,
.cap-lab button:disabled {
  cursor: not-allowed;
  filter: saturate(0.15);
  opacity: 0.42;
}

.prose .acid-lab-control-note {
  color: var(--muted);
  font: var(--demo-font-label)/1.4 var(--font-mono);
  margin: -0.35rem 0 0;
  max-width: none;
}

.acid-lab-program {
  background: var(--panel);
  border: 1px solid var(--border);
  min-inline-size: 0;
  padding: 0.85rem;
}

.acid-lab-program summary {
  cursor: pointer;
  font-weight: 750;
}

.prose .acid-lab-program p {
  font-size: 0.85rem;
  line-height: 1.5;
}

.acid-lab-program pre {
  max-inline-size: 100%;
  overflow-x: auto;
}

.acid-lab-program :is(pre, code) {
  font: var(--demo-font-label)/1.5 var(--font-mono);
}

.acid-lab-rail {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  list-style: none;
  margin: 0;
  padding: 0;
}

.acid-lab-rail li {
  background: var(--panel);
  border: 1px solid var(--border);
  display: grid;
  gap: 0.28rem;
  margin-inline-start: -1px;
  min-width: 0;
  padding: 0.72rem;
  position: relative;
}

.acid-lab-rail li::after {
  background: var(--border);
  content: "";
  height: 2px;
  left: 100%;
  position: absolute;
  top: 1.1rem;
  width: 0.8rem;
  z-index: 2;
}

.acid-lab-rail li:last-child::after {
  display: none;
}

.acid-lab-rail li > span {
  color: var(--muted);
  font: 800 var(--demo-font-label)/1 var(--font-mono);
}

.acid-lab-rail strong {
  font-size: 0.78rem;
}

.acid-lab-rail small {
  color: var(--muted);
  font-size: var(--demo-font-label);
  line-height: 1.35;
}

.acid-lab-rail li[data-status="complete"] {
  border-block-start: 0.22rem solid var(--success);
}

.acid-lab-rail li[data-status="failed"] {
  border-block-start: 0.22rem solid var(--danger);
}

.acid-lab-rail li[data-status="rolled-back"] {
  border-block-start: 0.22rem solid var(--warning);
}

.acid-lab-rail li[data-status="skipped"] {
  opacity: 0.55;
}

.acid-lab-ledger {
  display: grid;
  gap: 0.75rem;
  grid-template-columns: minmax(0, 0.75fr) minmax(0, 1.15fr) minmax(0, 1.1fr);
}

.acid-lab-record,
.cap-lab-evidence > section {
  background: var(--panel);
  border: 1px solid var(--border);
  min-width: 0;
}

.acid-lab-record > header,
.cap-lab-evidence > section > header {
  align-items: start;
  border-block-end: 1px solid var(--border);
  display: flex;
  gap: 0.65rem;
  padding: 0.7rem;
}

.acid-lab-record > header > span,
.cap-lab-evidence > section > header > span {
  align-items: center;
  background: var(--acid-ink);
  color: var(--panel);
  display: inline-flex;
  flex: 0 0 1.65rem;
  font: 900 var(--demo-font-label)/1 var(--font-mono);
  height: 1.65rem;
  justify-content: center;
}

.prose .acid-lab-record h4,
.prose .cap-lab-evidence h4 {
  font-family: var(--font-ui);
  font-size: 0.78rem;
  line-height: 1.25;
  margin: 0;
}

.prose .acid-lab-record header p,
.prose .cap-lab-evidence header p {
  color: var(--muted);
  font-size: var(--demo-font-label);
  line-height: 1.35;
  margin: 0.2rem 0 0;
  max-width: none;
}

.acid-lab-record > dl {
  margin: 0;
  padding: 0.72rem;
}

.acid-lab-record > dl div {
  border-block-end: 1px solid var(--border);
  display: grid;
  gap: 0.35rem;
  grid-template-columns: minmax(5rem, 0.75fr) minmax(0, 1.25fr);
  padding: 0.48rem 0;
}

.acid-lab-record > dl div:last-child {
  border: 0;
}

.acid-lab-record dt,
.acid-lab-record dd {
  font-size: var(--demo-font-label);
  line-height: 1.35;
  margin: 0;
}

.acid-lab-record dt {
  color: var(--muted);
}

.acid-lab-record dd {
  font-weight: 800;
  overflow-wrap: anywhere;
}

.acid-lab-table-wrap {
  max-width: 100%;
  overflow-x: auto;
}

.acid-lab table {
  border-collapse: collapse;
  font-size: var(--demo-font-label);
  margin: 0;
  min-width: 100%;
}

.acid-lab th,
.acid-lab td {
  border-block-end: 1px solid var(--border);
  padding: 0.58rem 0.65rem;
  text-align: left;
}

.acid-lab th {
  color: var(--muted);
  font: 800 var(--demo-font-label)/1.2 var(--font-mono);
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.acid-lab tbody tr:last-child td {
  border: 0;
}

.acid-lab .is-empty td {
  color: var(--muted);
  font-style: italic;
}

.acid-lab-trace > ol,
.cap-lab-evidence ol {
  display: grid;
  gap: 0;
  list-style: none;
  margin: 0;
  padding: 0.45rem 0.7rem 0.7rem;
}

.acid-lab-trace li,
.cap-lab-evidence li {
  border-inline-start: 2px solid var(--border);
  display: grid;
  gap: 0.22rem;
  margin: 0;
  padding: 0.42rem 0.55rem;
}

.acid-lab-trace li[data-status="pass"],
.cap-lab-evidence li[data-status="pass"] {
  border-color: var(--success);
}

.acid-lab-trace li[data-status="fail"],
.cap-lab-evidence li[data-status="fail"] {
  border-color: var(--danger);
}

.cap-lab-evidence li[data-status="warn"] {
  border-color: var(--warning);
}

.acid-lab-trace li span {
  font: 850 var(--demo-font-label)/1.2 var(--font-mono);
}

.acid-lab-trace li small {
  color: var(--muted);
  font-size: var(--demo-font-label);
  line-height: 1.35;
}

.acid-lab-properties {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  margin: 0;
}

.acid-lab-properties > div,
.cap-lab-properties > div {
  background: var(--panel);
  border: 1px solid var(--border);
  margin-inline-start: -1px;
  padding: 0.72rem;
}

.acid-lab-properties dt,
.cap-lab-properties dt {
  align-items: center;
  display: flex;
  font: 800 var(--demo-font-label)/1.25 var(--font-mono);
  gap: 0.42rem;
}

.acid-lab-properties dt b,
.cap-lab-properties dt b {
  align-items: center;
  background: var(--muted);
  color: var(--panel);
  display: inline-flex;
  height: 1.4rem;
  justify-content: center;
  width: 1.4rem;
}

.acid-lab-properties dd,
.cap-lab-properties dd {
  color: var(--muted);
  font-size: var(--demo-font-label);
  line-height: 1.35;
  margin: 0.38rem 0 0;
}

.acid-lab-properties [data-status="pass"] dt b,
.cap-lab-properties [data-status="pass"] dt b {
  background: var(--success);
}

.acid-lab-properties [data-status="fail"] dt b,
.cap-lab-properties [data-status="fail"] dt b {
  background: var(--danger);
}

.cap-lab-properties [data-status="warn"] dt b {
  background: var(--warning);
  color: var(--text);
}

.acid-lab-invariant,
.cap-lab-reading {
  align-items: center;
  background: color-mix(in srgb, var(--text) 96%, var(--panel));
  color: var(--panel);
  display: grid;
  gap: 0.85rem;
  grid-template-columns: auto minmax(0, 1fr);
  padding: 0.9rem;
}

.acid-lab-invariant-mark,
.cap-lab-reading-mark {
  align-items: center;
  border: 2px solid currentColor;
  display: flex;
  font: 900 1.1rem/1 var(--font-mono);
  height: 2.4rem;
  justify-content: center;
  width: 2.4rem;
}

.acid-lab[data-acid-result="protected"] .acid-lab-invariant-mark {
  color: var(--success);
}

.acid-lab[data-acid-result="broken"] .acid-lab-invariant-mark {
  color: var(--danger);
}

.acid-lab-invariant span,
.cap-lab-reading span {
  color: var(--panel);
  font: 800 var(--demo-font-label)/1.2 var(--font-mono);
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.prose .acid-lab-invariant h4,
.prose .cap-lab-reading h4 {
  color: inherit;
  font-family: var(--font-ui);
  font-size: 0.85rem;
  line-height: 1.3;
  margin: 0.2rem 0 0;
}

.prose .acid-lab-invariant p,
.prose .cap-lab-reading p {
  color: color-mix(in srgb, currentColor 74%, transparent);
  font-size: var(--demo-font-label);
  line-height: 1.45;
  margin: 0.25rem 0 0;
  max-width: 78ch;
}

.prose .acid-lab-note,
.prose .cap-lab-note {
  background: color-mix(in srgb, var(--warning) 7%, var(--panel));
  border-block-start: 1px solid var(--border);
  color: var(--muted);
  font-size: var(--demo-font-label);
  line-height: 1.5;
  margin: 0;
  max-width: none;
  padding: 0.75rem clamp(1rem, 2.5vw, 1.5rem);
}

/* CAP partition lab */
.cap-lab {
  --cap-grid: color-mix(in srgb, var(--accent) 11%, transparent);
  --cap-night: color-mix(in srgb, var(--text) 95%, #071b24);
  background:
    radial-gradient(circle at 11% 13%, var(--cap-grid) 0 1px, transparent 1.5px)
      0 0 / 1.2rem 1.2rem,
    color-mix(in srgb, var(--panel) 97%, var(--accent));
  border: 1px solid var(--border);
  box-shadow: 0 1.5rem 3.5rem color-mix(in srgb, var(--text) 11%, transparent);
  margin: 2rem 0;
  max-width: 72rem;
  overflow: hidden;
  position: relative;
  z-index: 1;
}

.cap-lab,
.cap-lab * {
  box-sizing: border-box;
  font-family: var(--font-ui);
}

.cap-lab-header {
  align-items: stretch;
  background: var(--cap-night);
  color: var(--panel);
  display: grid;
  grid-template-columns: minmax(0, 1.15fr) minmax(17rem, 0.85fr);
}

.cap-lab-header > div:first-child {
  padding: clamp(1rem, 2.5vw, 1.6rem);
}

.cap-lab-summary {
  align-content: center;
  background:
    radial-gradient(
      circle at 15% 35%,
      color-mix(in srgb, var(--accent) 28%, transparent),
      transparent 38%
    ),
    color-mix(in srgb, var(--cap-night) 86%, var(--accent));
  border-inline-start: 1px solid
    color-mix(in srgb, var(--panel) 22%, transparent);
  display: grid;
  gap: 0.35rem;
  padding: 1rem clamp(1rem, 2.5vw, 1.5rem);
}

.cap-lab-controls {
  align-items: end;
  display: grid;
  gap: 0.7rem;
  grid-template-columns: minmax(14rem, 0.7fr) minmax(0, 1.3fr);
}

.cap-lab-actions {
  justify-content: flex-end;
}

.cap-lab-topology {
  align-items: stretch;
  display: grid;
  gap: 0.75rem;
  grid-template-columns: minmax(12rem, 0.85fr) 5rem minmax(16rem, 1.35fr);
}

.cap-lab-topology article {
  background: var(--panel);
  border: 1px solid var(--border);
  min-width: 0;
  padding: 0.78rem;
  position: relative;
  transition:
    border-color 220ms ease,
    box-shadow 220ms ease,
    transform 220ms ease;
}

.cap-lab-topology article::after {
  border: 1px solid transparent;
  content: "";
  inset: 0.28rem;
  pointer-events: none;
  position: absolute;
}

.cap-lab-topology article[data-node-state="isolated"] {
  border-color: var(--danger);
  box-shadow: 0 0 0 0.22rem color-mix(in srgb, var(--danger) 13%, transparent);
}

.cap-lab-topology article[data-node-state="divergent"]::after {
  border-color: var(--warning);
}

.cap-lab-topology article[data-node-state="converged"]::after {
  border-color: var(--success);
}

.cap-lab-topology article > header {
  align-items: center;
  border-block-end: 1px solid var(--border);
  display: flex;
  justify-content: space-between;
  margin-block-end: 0.65rem;
  padding-block-end: 0.55rem;
}

.cap-lab-topology article > header span {
  background: var(--cap-night);
  color: var(--panel);
  font: 900 var(--demo-font-label)/1 var(--font-mono);
  letter-spacing: 0.08em;
  padding: 0.38rem 0.45rem;
}

.cap-lab-topology article > header small {
  color: var(--muted);
  font: 750 var(--demo-font-label)/1.2 var(--font-mono);
}

.cap-lab-topology article > strong {
  font-family: var(--font-serif);
  font-size: 1.05rem;
}

.cap-lab-topology article dl {
  display: grid;
  gap: 0.38rem;
  margin: 0.7rem 0 0;
}

.cap-lab-topology article dl div {
  align-items: baseline;
  display: grid;
  gap: 0.45rem;
  grid-template-columns: minmax(4.4rem, 0.7fr) minmax(0, 1.3fr);
}

.cap-lab-topology article dt,
.cap-lab-topology article dd {
  font-size: var(--demo-font-label);
  line-height: 1.35;
  margin: 0;
}

.cap-lab-topology article dt {
  color: var(--muted);
}

.cap-lab-topology article dd {
  font-weight: 800;
  overflow-wrap: anywhere;
}

.cap-lab-network {
  align-content: center;
  display: grid;
  gap: 0.42rem;
  justify-items: center;
  min-width: 0;
}

.cap-lab-network span {
  color: var(--muted);
  font: 750 var(--demo-font-label)/1.2 var(--font-mono);
  text-align: center;
  text-transform: uppercase;
}

.cap-lab-network i {
  background: var(--success);
  display: block;
  height: 2px;
  position: relative;
  width: 100%;
}

.cap-lab[data-cap-phase="partitioned"] .cap-lab-network i,
.cap-lab[data-cap-phase="written"] .cap-lab-network i {
  background: repeating-linear-gradient(
    90deg,
    var(--danger) 0 0.35rem,
    transparent 0.35rem 0.65rem
  );
  height: 3px;
}

.cap-lab-majority {
  display: grid;
  gap: 0.65rem;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  min-width: 0;
}

.cap-lab-evidence {
  display: grid;
  gap: 0.75rem;
  grid-template-columns: minmax(0, 1.5fr) minmax(12rem, 0.5fr);
}

.cap-lab-evidence li {
  align-items: baseline;
  grid-template-columns: 2rem minmax(0, 1fr);
}

.cap-lab-evidence li > span {
  color: var(--muted);
  font: 850 var(--demo-font-label)/1.2 var(--font-mono);
}

.prose .cap-lab-evidence li p {
  font-size: var(--demo-font-label);
  line-height: 1.4;
  margin: 0;
  max-width: none;
}

.cap-lab-counters {
  display: grid;
  gap: 0;
  margin: 0;
}

.cap-lab-counters div {
  align-items: center;
  background: var(--panel);
  border: 1px solid var(--border);
  display: flex;
  justify-content: space-between;
  margin-block-start: -1px;
  padding: 0.7rem;
}

.cap-lab-counters dt {
  color: var(--muted);
  font-size: var(--demo-font-label);
}

.cap-lab-counters dd {
  font: 900 1.25rem/1 var(--font-mono);
  margin: 0;
}

.cap-lab-properties {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  margin: 0;
}

.cap-lab-reading-mark {
  color: var(--accent);
}

.cap-lab[data-cap-result="quorum"] .cap-lab-reading-mark {
  color: var(--warning);
}

.cap-lab[data-cap-result="local"] .cap-lab-reading-mark,
.cap-lab[data-cap-result="repaired"] .cap-lab-reading-mark {
  color: var(--danger);
}

.demo-gallery-item > :where(.acid-lab, .cap-lab) {
  box-shadow: none;
  margin: 0;
}

@media (max-width: 62rem) {
  .acid-lab-controls {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

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

  .acid-lab-trace {
    grid-column: 1 / -1;
  }

  .cap-lab-controls,
  .cap-lab-evidence {
    grid-template-columns: 1fr;
  }

  .cap-lab-actions {
    justify-content: flex-start;
  }
}

@media (max-width: 48rem) {
  .acid-lab-header,
  .cap-lab-header {
    grid-template-columns: 1fr;
  }

  .acid-lab-summary,
  .cap-lab-summary {
    border-block-start: 1px solid
      color-mix(in srgb, var(--panel) 22%, transparent);
    border-inline-start: 0;
  }

  .acid-lab-rail,
  .acid-lab-properties,
  .cap-lab-properties {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .acid-lab-rail li:nth-child(3)::after,
  .acid-lab-rail li:nth-child(4)::after {
    display: none;
  }

  .cap-lab-topology {
    grid-template-columns: 1fr;
  }

  .cap-lab-network {
    min-height: 3.5rem;
  }

  .cap-lab-network i {
    height: 1.5rem;
    width: 2px;
  }

  .cap-lab[data-cap-phase="partitioned"] .cap-lab-network i,
  .cap-lab[data-cap-phase="written"] .cap-lab-network i {
    background: repeating-linear-gradient(
      180deg,
      var(--danger) 0 0.35rem,
      transparent 0.35rem 0.65rem
    );
    height: 1.5rem;
    width: 3px;
  }
}

@media (max-width: 34rem) {
  .acid-lab,
  .cap-lab {
    box-shadow: none;
  }

  .acid-lab-controls,
  .acid-lab-ledger,
  .acid-lab-rail,
  .acid-lab-properties,
  .cap-lab-majority,
  .cap-lab-properties {
    grid-template-columns: 1fr;
  }

  .acid-lab-rail li::after {
    display: none;
  }

  .acid-lab-actions,
  .acid-lab-actions button,
  .cap-lab-actions,
  .cap-lab-actions button {
    width: 100%;
  }
}

/* Common demo shell. Topic-specific diagrams keep their own internal layout. */
.prose [data-demo-anchor] {
  --demo-padding: clamp(1rem, 2vw, 1.5rem);
  background:
    linear-gradient(
      color-mix(in srgb, var(--accent-strong) 5%, transparent) 1px,
      transparent 1px
    ),
    linear-gradient(
      90deg,
      color-mix(in srgb, var(--accent-strong) 5%, transparent) 1px,
      transparent 1px
    ),
    var(--panel);
  background-size: 1.5rem 1.5rem;
  border: 1px solid var(--border);
  border-radius: 0;
  box-shadow: var(--shadow);
  color: var(--text);
  font-family: var(--font-ui);
  inline-size: 100%;
  max-inline-size: none;
  margin-block: 2rem;
  padding: var(--demo-padding);
  position: relative;
}
.book-shell .prose > [data-demo-anchor],
.book-shell .prose > .exercise-tabs {
  inline-size: calc(100% + var(--book-demo-inline-extension, 0rem));
}
.prose [data-demo-anchor]::before {
  background: var(--accent-strong);
  block-size: 0.2rem;
  content: "";
  inline-size: 4rem;
  inset: -1px auto auto -1px;
  position: absolute;
}
.prose [data-demo-anchor]::after {
  content: none;
}
.prose [data-demo-anchor] > .demo-header {
  align-items: start;
  background: transparent;
  border: 0;
  border-block-end: 1px solid var(--border);
  color: var(--text);
  display: grid;
  gap: 1.25rem;
  grid-template-columns: minmax(0, 1fr) minmax(14rem, 20rem);
  margin: 0 0 1rem;
  padding: 0 0 1rem;
}
.prose [data-demo-anchor] > .demo-header > div:first-child {
  min-inline-size: 0;
  padding: 0;
}
.prose [data-demo-anchor] .demo-kicker {
  color: var(--accent-strong);
  font-family: var(--font-mono);
  font-size: var(--demo-font-label);
  font-weight: 800;
  letter-spacing: 0.06em;
  line-height: 1.4;
  margin: 0 0 0.4rem;
  max-inline-size: none;
  text-transform: uppercase;
}
.prose [data-demo-anchor] .demo-header h3 {
  color: var(--text);
  font-family: var(--font-serif);
  font-size: clamp(1.5rem, 1.3vw + 1rem, 2.05rem);
  font-weight: 700;
  letter-spacing: 0;
  line-height: 1.15;
  margin: 0;
  max-inline-size: 28ch;
  text-transform: none;
  text-wrap: balance;
}
.prose [data-demo-anchor] .demo-summary {
  align-content: start;
  background: var(--bg);
  border: 1px solid var(--border);
  border-radius: 0;
  box-shadow: none;
  color: var(--text);
  display: block;
  font-family: var(--font-ui);
  font-size: 1.0625rem;
  font-weight: 750;
  letter-spacing: 0;
  line-height: 1.35;
  margin: 0;
  min-inline-size: 0;
  padding: 0.8rem;
  text-transform: none;
}
.prose [data-demo-anchor] .demo-summary > span:not([aria-hidden="true"]),
.prose [data-demo-anchor] .demo-summary strong {
  color: var(--text);
  display: block;
  font-family: var(--font-ui);
  font-size: 1.0625rem;
  font-weight: 750;
  letter-spacing: 0;
  line-height: 1.35;
  text-transform: none;
}
.prose [data-demo-anchor] .demo-summary small {
  color: var(--muted);
  display: block;
  font-family: var(--font-ui);
  font-size: 0.8125rem;
  font-weight: 400;
  letter-spacing: 0;
  line-height: 1.45;
  margin-block-start: 0.35rem;
  text-transform: none;
}
.prose [data-demo-anchor] .architecture-lens-equation {
  display: grid;
  grid-template-columns: auto auto auto;
  justify-content: start;
}
.prose [data-demo-anchor] .architecture-lens-equation > span {
  background: transparent;
  color: var(--text);
  padding: 0;
}
.prose [data-demo-anchor] .orchestration-lab-status {
  display: flex;
  align-items: start;
}
.prose [data-demo-anchor] h4 {
  font-family: var(--font-ui);
  font-size: 0.875rem;
  font-weight: 800;
  letter-spacing: 0;
  line-height: 1.35;
  text-transform: none;
}
.prose
  [data-demo-anchor]
  :where(
    [class$="-panel"],
    [class$="-summary"],
    [class$="-score"],
    .demo-card
  ) {
  border-radius: 0;
  box-shadow: none;
}
.prose
  [data-demo-anchor]
  :where(button, select, textarea, input:not([type="range"])) {
  border-radius: 0;
}
.prose
  [data-demo-anchor]
  :where(button, select, input[type="text"], input[type="number"], textarea) {
  font-family: var(--font-ui);
  font-size: 0.875rem;
  line-height: 1.4;
}
.prose
  [data-demo-anchor]
  :where(button, select, input[type="text"], input[type="number"]) {
  min-block-size: 2.5rem;
}
.prose [data-demo-anchor] textarea[readonly] {
  font-family: var(--font-mono);
}
.prose
  [data-demo-anchor]
  :where(
    button,
    input,
    select,
    textarea,
    summary,
    [tabindex="0"]
  ):focus-visible {
  box-shadow: 0 0 0 2px var(--panel);
  outline: 3px solid var(--accent-strong);
  outline-offset: 3px;
}
/* The gallery already supplies the outer frame. */
.prose .demo-gallery-item [data-demo-anchor] {
  background: transparent;
  border: 0;
  box-shadow: none;
  margin: 0;
}
@media (width <= 56rem) {
  .prose [data-demo-anchor] > .demo-header {
    grid-template-columns: minmax(0, 1fr);
  }
}
@media (width <= 40rem) {
  .prose [data-demo-anchor] {
    box-shadow: none;
  }
  .prose
    [data-demo-anchor]
    :where(select, input[type="text"], input[type="number"], textarea) {
    font-size: 1rem;
  }
}

.demo-gallery-group {
  margin-block: 3rem;
}