/* Guided replacements for dense monospace text diagrams. */
.typeset-diagram {
  width: 100%;
  max-width: 1080px;
  margin: 28px auto;
  border: 1px solid var(--line);
  background: var(--panel);
  color: var(--ink);
}
.typeset-diagram figcaption {
  display: grid;
  grid-template-columns: minmax(0, 1fr);
  gap: 5px;
  padding: 19px 22px;
  border-bottom: 1px solid var(--line);
  background: var(--panel-2);
}
.typeset-diagram figcaption .diagram-kicker { grid-row: auto; }
.typeset-diagram figcaption strong {
  font: 700 var(--font-size-card-title)/1.25 var(--sans-font);
}
.typeset-diagram figcaption small {
  color: var(--muted);
  font: var(--font-size-supporting)/1.45 var(--serif-font);
}
.diagram-scroll-hint {
  display: none;
  color: var(--faint);
  font: var(--font-size-metadata)/1.4 var(--mono-font);
}
.typeset-diagram-stage {
  max-width: 100%;
  overflow-x: auto;
  background: var(--surface-deep);
  scrollbar-width: thin;
}
.typeset-diagram svg {
  display: block;
  width: 100%;
  min-width: 900px;
  height: auto;
}
.typeset-diagram .diagram-band {
  fill: color-mix(in srgb, var(--panel) 68%, transparent);
  stroke: var(--line);
  stroke-width: 1;
}
.typeset-diagram .lane-band {
  fill: color-mix(in srgb, var(--blue-structural) 2.5%, var(--panel));
}
.typeset-diagram .diagram-band-label {
  fill: var(--pink-text);
  font: 700 var(--font-size-metadata) var(--sans-font);
  letter-spacing: .08em;
}
.typeset-diagram .diagram-band-meta {
  fill: var(--faint);
  font: var(--font-size-metadata) var(--mono-font);
  letter-spacing: .06em;
}
.typeset-diagram .diagram-track {
  fill: none;
  stroke: var(--line);
  stroke-width: 1;
}
.typeset-diagram .diagram-object rect {
  fill: var(--panel);
  stroke: var(--line);
  stroke-width: 1.25;
}
.typeset-diagram .diagram-object.mutable rect {
  stroke: var(--pink-signature);
}
.typeset-diagram .diagram-object.immutable rect,
.typeset-diagram .diagram-object.checkpoint rect {
  stroke: var(--blue-structural);
}
.typeset-diagram .diagram-object.final rect {
  fill: color-mix(in srgb, var(--pink-signature) 5%, var(--panel));
  stroke: var(--pink-signature);
}
.typeset-diagram .diagram-object.operation rect {
  fill: var(--panel-2);
}
.typeset-diagram .diagram-object.dormant rect {
  fill: color-mix(in srgb, var(--faint) 4%, var(--panel));
  stroke-dasharray: 4 4;
}
.typeset-diagram .diagram-object.evidence-object rect {
  fill: color-mix(in srgb, var(--violet) 5%, var(--panel));
  stroke: var(--violet);
}
.typeset-diagram .diagram-symbol {
  fill: var(--pink-text);
  font: 700 var(--font-size-diagram-symbol) var(--mono-font);
}
.typeset-diagram .immutable .diagram-symbol,
.typeset-diagram .checkpoint .diagram-symbol {
  fill: var(--blue-structural);
}
.typeset-diagram .evidence-object .diagram-symbol { fill: var(--violet); }
.typeset-diagram .diagram-title {
  fill: var(--ink);
  font: 700 var(--font-size-technical) var(--sans-font);
}
.typeset-diagram .diagram-sub {
  fill: var(--muted);
  font: var(--font-size-metadata) var(--serif-font);
}
.typeset-diagram .diagram-edge {
  fill: none;
  stroke-linecap: square;
  stroke-linejoin: miter;
  stroke-width: 1.5;
}
.typeset-diagram .diagram-edge.primary { stroke: var(--pink-text); }
.typeset-diagram .diagram-edge.snapshot { stroke: var(--blue-structural); }
.typeset-diagram .diagram-edge.evidence { stroke: var(--violet); }
.typeset-diagram .diagram-edge.dormant-edge {
  stroke: var(--faint);
  stroke-dasharray: 5 5;
}
.typeset-diagram .diagram-marker-primary { fill: var(--pink-text); }
.typeset-diagram .diagram-marker-snapshot { fill: var(--blue-structural); }
.typeset-diagram .diagram-marker-evidence { fill: var(--violet); }
.typeset-diagram .diagram-boundary {
  fill: var(--pink-signature);
  stroke: var(--surface-deep);
  stroke-width: 3;
}
.typeset-diagram .diagram-edge-label {
  fill: var(--faint);
  font: var(--font-size-metadata) var(--mono-font);
  letter-spacing: .02em;
}
.typeset-diagram .snapshot-label { fill: var(--blue-structural); }
.typeset-diagram .evidence-label { fill: var(--violet); }
.typeset-diagram .diagram-note {
  fill: var(--muted);
  font: italic var(--font-size-supporting) var(--serif-font);
}

/* Responsive semantic projection graph. */
.projection-flow {
  display: flex;
  flex-direction: column;
  align-items: center;
  padding: 28px;
  background: var(--surface-deep);
}
.projection-flow-node {
  width: min(100%, 420px);
  padding: 14px 16px 15px;
  border: 1px solid var(--line);
  background: var(--panel);
}
.projection-flow-node span {
  display: block;
  margin-bottom: 5px;
  color: var(--faint);
  font: 700 var(--font-size-metadata)/1.3 var(--mono-font);
  letter-spacing: .07em;
  text-transform: uppercase;
}
.projection-flow-node strong {
  display: block;
  font: 700 var(--font-size-supporting)/1.35 var(--sans-font);
}
.projection-flow-node.source,
.projection-flow-node.protocol { border-color: var(--blue-structural); }
.projection-flow-node.facts {
  border-color: var(--green-state);
  background: color-mix(in srgb, var(--green-state) 4%, var(--panel));
}
.projection-flow-node.reducer {
  border-color: var(--faint);
  background: var(--panel-2);
}
.projection-flow-node.generic {
  border-color: var(--pink-text);
  background: color-mix(in srgb, var(--pink-signature) 4%, var(--panel));
}
.projection-flow-node.generic span { color: var(--pink-text); }
.projection-flow-node.facet {
  border-color: var(--violet);
  background: color-mix(in srgb, var(--violet) 5%, var(--panel));
}
.projection-flow-node.facet span { color: var(--violet); }
.projection-flow-node.renderer {
  border-color: var(--blue-structural);
  background: color-mix(in srgb, var(--blue-structural) 4%, var(--panel));
}
.projection-flow-node.renderer span,
.projection-flow-node.surface span { color: var(--blue-structural); }
.projection-flow-node.surface {
  width: 100%;
  border-color: var(--blue-structural);
  background: var(--panel-2);
}
.projection-flow-arrow {
  position: relative;
  display: block;
  width: 1px;
  height: 28px;
  background: var(--faint);
}
.projection-flow-arrow::after {
  content: "";
  position: absolute;
  bottom: 0;
  left: 50%;
  border-top: 6px solid currentColor;
  border-right: 4px solid transparent;
  border-left: 4px solid transparent;
  color: var(--faint);
  transform: translateX(-50%);
}
.projection-flow-arrow.split,
.projection-flow-arrow.merge {
  background: var(--blue-structural);
}
.projection-flow-arrow.split::after,
.projection-flow-arrow.merge::after { color: var(--blue-structural); }
.projection-flow-split {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 12px 24px;
  width: 100%;
  max-width: 900px;
}
.projection-flow-split > p {
  grid-column: 1 / -1;
  margin: 0;
  color: var(--faint);
  font: 700 var(--font-size-metadata)/1.3 var(--sans-font);
  letter-spacing: .06em;
  text-align: center;
  text-transform: uppercase;
}
.diagram-kicker {
  grid-row: 1 / 3;
  color: var(--pink-text);
  font: 700 var(--font-size-metadata)/1.4 var(--sans-font);
  letter-spacing: .08em;
  text-transform: uppercase;
}

/* Proposal settlement: one vertical process spine, with every boundary visible. */
.settlement-timeline {
  border: 1px solid var(--line);
  background: var(--panel);
}
.settlement-timeline-heading {
  display: grid;
  grid-template-columns: minmax(0, 1fr);
  gap: 5px;
  padding: 19px 22px;
  border-bottom: 1px solid var(--line);
  background: var(--panel-2);
}
.settlement-timeline-heading .diagram-kicker { grid-row: auto; }
.settlement-timeline-heading h3 {
  margin: 0;
  font: 700 var(--font-size-card-title)/1.25 var(--sans-font);
}
.settlement-timeline-heading p {
  margin: 0;
  color: var(--muted);
  font: var(--font-size-supporting)/1.45 var(--serif-font);
}
.settlement-timeline-list {
  --timeline-rail: 112px;
  position: relative;
  margin: 0;
  padding: 26px 22px;
  list-style: none;
}
.settlement-timeline-list::before {
  content: "";
  position: absolute;
  top: 47px;
  bottom: 47px;
  left: calc(22px + var(--timeline-rail) / 2);
  width: 2px;
  background: var(--blue-structural);
  transform: translateX(-50%);
}
.settlement-timeline-item {
  display: grid;
  grid-template-columns: var(--timeline-rail) minmax(0, 1fr);
  column-gap: 20px;
}
.settlement-timeline-marker {
  position: relative;
  z-index: 1;
  grid-column: 1;
  align-self: start;
  justify-self: center;
  display: grid;
  width: 44px;
  height: 42px;
  place-items: center;
  border: 1px solid var(--blue-structural);
  background: var(--panel);
  color: var(--blue-structural);
  font: 700 var(--font-size-technical)/1 var(--mono-font);
}
.settlement-timeline-stage {
  grid-column: 2;
  padding: 18px 20px 19px;
  border-top: 2px solid var(--blue-structural);
  background: var(--panel-2);
}
.settlement-timeline-stage header {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 16px;
  align-items: start;
}
.settlement-timeline-stage header code {
  display: block;
  margin-bottom: 5px;
  color: var(--blue-structural);
  font: 700 var(--font-size-metadata)/1.4 var(--mono-font);
  letter-spacing: .055em;
}
.settlement-timeline-stage header h4 {
  margin: 0;
  font: 700 var(--font-size-card-title)/1.3 var(--sans-font);
}
.settlement-timeline-stage header > span {
  padding-top: 2px;
  color: var(--faint);
  font: var(--font-size-metadata)/1.35 var(--sans-font);
}
.settlement-timeline-stage > p {
  margin: 10px 0 0;
  color: var(--muted);
  font: var(--font-size-supporting)/1.5 var(--serif-font);
}
.settlement-timeline-stage dl {
  margin: 15px 0 0;
  padding-top: 12px;
  border-top: 1px solid var(--line);
}
.settlement-timeline-stage dt {
  color: var(--faint);
  font: 700 var(--font-size-metadata)/1.35 var(--sans-font);
  letter-spacing: .045em;
  text-transform: uppercase;
}
.settlement-timeline-stage dd {
  margin: 3px 0 0;
  color: var(--muted);
  font: var(--font-size-supporting)/1.4 var(--serif-font);
}
.settlement-timeline-transition {
  grid-column: 1 / -1;
  display: grid;
  grid-template-columns: var(--timeline-rail) minmax(0, 1fr);
  column-gap: 20px;
  align-items: center;
  min-height: 48px;
  margin: 0;
}
.symbol-table th:first-child { width: 11%; }
.symbol-table th:nth-child(2) { width: 24%; }
.symbol-table th:nth-child(3) { width: 19%; }
.symbol-table tbody th {
  color: var(--pink-text);
  font: 700 var(--font-size-body)/1.4 var(--serif-font);
}

/* The notation map makes the graph memorable before the detailed table. */
.notation-map {
  overflow: hidden;
  border: 1px solid var(--line);
  background: var(--panel);
}
.notation-map figcaption {
  display: grid;
  grid-template-columns: minmax(0, 1fr);
  gap: 5px;
  padding: 19px 22px;
  border-bottom: 1px solid var(--line);
  background: var(--panel-2);
}
.notation-map figcaption .diagram-kicker { grid-row: auto; }
.notation-map-rows { padding: 0 20px; }
.notation-map-row {
  display: grid;
  grid-template-columns: 120px minmax(0, 1fr);
  gap: 18px;
  align-items: center;
  min-height: 90px;
  padding: 12px 0;
}
.notation-map-row + .notation-map-row {
  border-top: 1px solid var(--line);
}
.notation-map-label {
  color: var(--faint);
  font: 700 var(--font-size-metadata)/1.35 var(--sans-font);
  letter-spacing: .055em;
  text-transform: uppercase;
}
.notation-map-flow {
  display: flex;
  align-items: center;
  gap: 6px;
  min-width: 0;
  overflow-x: auto;
  padding: 4px;
  scrollbar-width: thin;
}
.notation-map-node {
  appearance: none;
  flex: 0 0 110px;
  display: grid;
  grid-template-columns: max-content max-content;
  column-gap: 8px;
  place-content: center;
  align-items: baseline;
  min-height: 48px;
  padding: 8px 4px;
  border: 1px solid var(--node-stroke);
  background: var(--panel);
  color: var(--ink);
  text-align: left;
  cursor: pointer;
}
.notation-map-node:hover,
.notation-map-node:focus-visible,
.notation-map-node.notation-highlight {
  border-color: var(--pink-text);
  background: color-mix(in srgb, var(--pink-signature) 6%, var(--panel));
}
.notation-map-node.notation-selected {
  box-shadow: inset 0 -3px var(--pink-signature);
}
.notation-map-node b {
  color: var(--blue-structural);
  font: 800 var(--font-size-card-title)/1 var(--mono-font);
}
.notation-map-node.notation-highlight b { color: var(--pink-text); }
.notation-map-node span {
  color: var(--muted);
  font: var(--font-size-technical)/1.25 var(--sans-font);
}
.notation-map-transition {
  flex: 0 0 60px;
  display: grid;
  justify-items: center;
  min-width: 0;
  color: var(--blue-structural);
}
.notation-map-transition small {
  color: var(--faint);
  font: var(--font-size-metadata)/1.2 var(--mono-font);
  text-align: center;
}
.notation-map-transition b {
  font: 500 var(--font-size-card-title)/1 var(--mono-font);
}
.notation-map-operator {
  color: var(--faint);
  font: 700 var(--font-size-body)/1 var(--mono-font);
}
.notation-map-live {
  flex: 0 0 auto;
  padding: 9px 12px;
  border: 1px solid var(--green-state);
  color: var(--green-state);
  font: 750 var(--font-size-technical)/1.2 var(--sans-font);
  text-transform: uppercase;
}
.notation-map-row-settlement .notation-map-node { flex-basis: 100px; }
.notation-map-row-settlement .notation-map-transition { flex-basis: 44px; }
.notation-map-row-settlement .notation-map-live { justify-self: center; }