/* Deck 004 — policy implementation contour. Deck-local composition only. */
:root {
  --policy-canvas: #f5f2eb;
  --policy-surface: #fbfaf6;
  --policy-ink: #1d2b2e;
  --policy-ink-2: #4b5e61;
  --policy-muted: #526466;
  --policy-rule: #d6dcd7;
  --policy-rule-soft: #e9ece7;
  --policy-rule-strong: #9fb8b4;
  --policy-accent: #286a70;
  --policy-accent-text: #17545a;
  --policy-accent-soft: #e2efec;
  --policy-signal: #9a5147;
  --policy-signal-text: #814039;
  --policy-signal-soft: #f1dfd9;

  /* Deck-wide type roles: display, section, body, note, metadata. */
  --policy-type-body: 14px;
  --policy-type-note: 12px;
  --policy-type-label: 11px;

  --ed-paper: var(--policy-canvas);
  --ed-surface: var(--policy-surface);
  --ed-ink: var(--policy-ink);
  --ed-ink-2: var(--policy-ink-2);
  --ed-muted: var(--policy-muted);
  --ed-rule: var(--policy-rule);
  --ed-rule-soft: var(--policy-rule-soft);
  --ed-rule-strong: var(--policy-rule-strong);
  --ed-accent: var(--policy-accent);
  --ed-accent-soft: var(--policy-accent-soft);
  --ed-signal: var(--policy-signal);
  --ed-signal-dark: var(--policy-signal-text);
  --ed-signal-soft: var(--policy-signal-soft);
}

[data-ed-theme="dark"] {
  --policy-canvas: #172123;
  --policy-surface: #1e2a2c;
  --policy-ink: #eef4f0;
  --policy-ink-2: #c4d2ce;
  --policy-muted: #9aada8;
  --policy-rule: #384b4c;
  --policy-rule-soft: #29393b;
  --policy-rule-strong: #587773;
  --policy-accent: #7bc5c5;
  --policy-accent-text: #a6ded8;
  --policy-accent-soft: #214341;
  --policy-signal: #e49b8e;
  --policy-signal-text: #f0b3a7;
  --policy-signal-soft: #4b302f;
}

.ed-grid-navigator,
.ed-grid-header {
  background: var(--policy-canvas);
}

.reveal .slides > section.policy-slide {
  position: relative;
  display: flex;
  flex-direction: column;
  align-items: stretch;
  justify-content: flex-start;
  gap: 0;
  overflow: hidden;
  background: var(--policy-surface);
  color: var(--policy-ink);
}

.reveal .policy-slide h1,
.reveal .policy-slide h2,
.reveal .policy-slide h3,
.reveal .policy-slide p,
.reveal .policy-slide ul,
.reveal .policy-slide li,
.reveal .policy-slide strong,
.reveal .policy-slide em {
  box-sizing: border-box;
}

.reveal .policy-slide h1,
.reveal .policy-slide h2 {
  max-width: none;
  margin: 0;
  color: var(--policy-ink);
  font-family: var(--ed-serif);
  font-weight: 500;
  letter-spacing: -0.033em;
}

.reveal .policy-slide h1 {
  margin-bottom: 26px;
  font-size: 47px;
  line-height: 1.04;
}

.reveal .policy-slide h2 {
  margin-bottom: 23px;
  font-size: 40px;
  line-height: 1.07;
}

.reveal .policy-slide h3 {
  margin: 0;
  color: var(--policy-ink);
  font-family: var(--ed-serif);
  font-size: 20px;
  font-weight: 500;
  line-height: 1.13;
  letter-spacing: -0.014em;
}

.policy-slide-header {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 24px;
  min-height: 18px;
  margin-bottom: 12px;
}

.reveal .policy-kicker,
.reveal .policy-context,
.reveal .layer-kicker,
.reveal .standard-owner span,
.reveal .evidence-source > span,
.reveal .example-strip,
.reveal .stage-heading > span,
.reveal .proof-date > span,
.reveal .proof-state > h3,
.reveal .mechanism-principle > span {
  margin: 0;
  color: var(--policy-accent);
  font-family: var(--ed-mono);
  font-size: 11px;
  font-weight: 700;
  letter-spacing: 0.105em;
  line-height: 1.3;
  text-transform: uppercase;
}

.reveal .policy-context {
  color: var(--policy-muted);
  font-size: 10px;
  letter-spacing: 0.095em;
  white-space: nowrap;
}

.reveal .policy-slide p,
.reveal .policy-slide li {
  color: var(--policy-ink-2);
}

.reveal .policy-slide ul {
  margin: 0;
  padding: 0;
  list-style: none;
}

.reveal .policy-slide strong {
  color: var(--policy-ink);
  font-weight: 650;
}

/* Slide 1 — an open one-way contour meets a precise blind spot. */
.gap-layout {
  display: grid;
  grid-template-columns: minmax(0, 1.62fr) minmax(265px, 0.72fr);
  gap: 38px;
  min-height: 0;
  flex: 1 1 auto;
}

.gap-contour {
  display: grid;
  grid-template-rows: auto auto 1fr;
  align-content: start;
  min-width: 0;
  padding: 22px 0 18px;
  border-top: 2px solid var(--policy-accent);
  border-bottom: 1px solid var(--policy-rule-strong);
}

.cascade-row {
  display: grid;
  grid-template-columns: minmax(58px, 0.7fr) 28px minmax(78px, 0.88fr) 28px minmax(108px, 1.16fr) 28px minmax(78px, 0.88fr) 28px minmax(72px, 0.76fr);
  gap: 10px;
  align-items: center;
  min-width: 0;
  padding-bottom: 24px;
  border-bottom: 1px solid var(--policy-rule);
}

.cascade-node {
  display: grid;
  gap: 8px;
  min-width: 0;
}

.cascade-node > span,
.handoff-rail b {
  color: var(--policy-accent);
  font-family: var(--ed-mono);
  font-size: 10px;
  font-weight: 700;
  letter-spacing: 0.08em;
}

.cascade-node strong {
  display: block;
  min-height: 42px;
  color: var(--policy-ink);
  font-family: var(--ed-serif);
  font-size: 19px;
  font-weight: 500;
  line-height: 1.08;
}

.cascade-arrow {
  color: var(--policy-accent);
  font-family: var(--ed-serif);
  font-size: 25px;
  line-height: 1;
  text-align: center;
}

.handoff-rail {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 14px;
  padding: 19px 0 0;
}

.handoff-rail span {
  display: grid;
  gap: 7px;
  min-width: 0;
  padding-left: 10px;
  border-left: 2px solid var(--policy-rule-strong);
  color: var(--policy-ink-2);
  font-size: 13px;
  line-height: 1.25;
}

.handoff-rail b {
  font-size: 9.5px;
  font-weight: 700;
}

.reveal .policy-slide .gap-caption {
  align-self: end;
  max-width: 49ch;
  margin: 26px 0 0;
  color: var(--policy-muted);
  font-size: var(--policy-type-note);
  line-height: 1.4;
}

.visibility-gap {
  display: grid;
  align-content: start;
  min-width: 0;
  padding: 22px 0 0 28px;
  border-left: 1px solid var(--policy-rule-strong);
}

.visibility-gap p {
  margin: 0 0 10px;
  color: var(--policy-muted);
  font-family: var(--ed-mono);
  font-size: 10px;
  font-weight: 700;
  letter-spacing: 0.1em;
  line-height: 1.3;
}

.visibility-seen {
  padding-bottom: 22px;
  border-bottom: 1px solid var(--policy-rule);
}

.visibility-seen strong {
  color: var(--policy-accent-text);
  font-family: var(--ed-serif);
  font-size: 23px;
  font-weight: 500;
  line-height: 1.08;
}

.visibility-unseen {
  padding-top: 22px;
}

.visibility-unseen p {
  color: var(--policy-signal-text);
}

.visibility-unseen li {
  padding: 8px 0 7px;
  border-bottom: 1px solid var(--policy-rule-soft);
  color: var(--policy-ink);
  font-size: var(--policy-type-body);
  line-height: 1.25;
}

.visibility-unseen li::before {
  display: inline-block;
  width: 18px;
  color: var(--policy-signal);
  content: "?";
  font-family: var(--ed-mono);
  font-size: 11px;
  font-weight: 700;
}

.reveal .policy-slide .policy-claim {
  max-width: 32ch;
  margin: 24px 0 0;
  padding-top: 16px;
  border-top: 2px solid var(--policy-signal);
  color: var(--policy-ink);
  font-family: var(--ed-serif);
  font-size: 41px;
  font-weight: 500;
  letter-spacing: -0.03em;
  line-height: 1.03;
}

.policy-claim span {
  color: var(--policy-signal);
  font-family: var(--ed-sans);
  font-size: 0.85em;
  letter-spacing: 0;
}

/* Slide 2 — three rails share one operating sheet. */
.model-grid {
  display: grid;
  grid-template-columns: minmax(214px, 0.73fr) minmax(445px, 1.48fr) minmax(270px, 0.93fr);
  gap: 27px;
  min-height: 0;
  flex: 1 1 auto;
  border-top: 2px solid var(--policy-accent);
  border-bottom: 1px solid var(--policy-rule-strong);
}

.standard-rail,
.execution-rail,
.evidence-rail {
  min-width: 0;
  padding: 18px 0 16px;
}

.standard-rail,
.execution-rail {
  border-right: 1px solid var(--policy-rule);
  padding-right: 25px;
}

.reveal .layer-kicker {
  margin-bottom: 13px;
  color: var(--policy-accent);
  font-size: 10px;
}

.standard-owner {
  display: grid;
  grid-template-columns: auto 1fr;
  gap: 11px;
  align-items: baseline;
  margin-bottom: 13px;
  padding-bottom: 12px;
  border-bottom: 1px solid var(--policy-rule);
}

.standard-owner span,
.evidence-source > span {
  font-size: 9.5px;
  letter-spacing: 0.075em;
}

.standard-owner strong {
  color: var(--policy-accent-text);
  font-family: var(--ed-mono);
  font-size: 15px;
  letter-spacing: 0.04em;
}

.reveal .policy-slide .standard-rail h3 {
  max-width: 18ch;
  margin-bottom: 15px;
  font-size: 22px;
  line-height: 1.04;
}

.standard-list {
  border-top: 1px solid var(--policy-rule-strong);
}

.standard-list li {
  padding: 8px 0 7px;
  border-bottom: 1px solid var(--policy-rule);
  color: var(--policy-ink);
  font-size: var(--policy-type-body);
  line-height: 1.2;
}

.standard-list li::before {
  display: inline-block;
  width: 19px;
  color: var(--policy-accent);
  content: "—";
  font-family: var(--ed-mono);
}

.reveal .policy-slide .execution-rail h3 {
  max-width: 27ch;
  margin-bottom: 20px;
  font-size: 21px;
  line-height: 1.06;
}

.reveal .policy-slide .evidence-rail h3 {
  max-width: 27ch;
  margin-bottom: 28px;
  font-size: 21px;
  line-height: 1.06;
}

.execution-sequence {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 20px minmax(0, 1.25fr) 20px minmax(0, 0.95fr) 20px minmax(0, 0.86fr);
  gap: 7px;
  align-items: start;
  min-width: 0;
  padding: 15px 0 16px;
  border-top: 1px solid var(--policy-rule-strong);
  border-bottom: 1px solid var(--policy-rule);
}

.execution-node {
  display: grid;
  grid-template-rows: 26px minmax(31px, auto);
  align-content: start;
  gap: 7px;
  min-width: 0;
}

.execution-node strong {
  display: flex;
  align-items: flex-end;
  white-space: nowrap;
  color: var(--policy-ink);
  font-family: var(--ed-serif);
  font-size: 16px;
  font-weight: 500;
  line-height: 1.08;
}

.execution-node span {
  color: var(--policy-ink-2);
  font-size: var(--policy-type-note);
  line-height: 1.25;
}

.execution-arrow {
  align-self: start;
  margin-top: 8px;
  color: var(--policy-accent);
  font-family: var(--ed-serif);
  font-size: 22px;
  line-height: 1;
  text-align: center;
}

.execution-note {
  max-width: 38ch;
  margin: 18px 0 0;
  color: var(--policy-muted);
  font-size: var(--policy-type-note);
  line-height: 1.35;
}

.evidence-rail {
  display: flex;
  flex-direction: column;
}

.evidence-source {
  display: grid;
  gap: 6px;
  margin-bottom: 15px;
  padding: 0 0 13px 13px;
  border-left: 2px solid var(--policy-accent);
  border-bottom: 1px solid var(--policy-rule);
}

.evidence-source strong {
  font-family: var(--ed-sans);
  font-size: 14px;
  line-height: 1.25;
}

.evidence-source em {
  color: var(--policy-ink-2);
  font-size: 12px;
  font-style: normal;
  line-height: 1.25;
}

.evidence-barrier {
  border-left-color: var(--policy-signal);
}

.evidence-barrier > span,
.evidence-barrier em {
  color: var(--policy-signal-text);
}

.evidence-result {
  align-self: end;
  max-width: 22ch;
  margin: auto 0 0;
  padding-top: 12px;
  color: var(--policy-accent-text) !important;
  font-family: var(--ed-serif);
  font-size: 19px !important;
  line-height: 1.1 !important;
}

.evidence-result b {
  font-family: var(--ed-mono);
  font-size: 0.68em;
  letter-spacing: 0.05em;
}

.model-bottom {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
  gap: 42px;
  margin-top: 14px;
}

.model-bottom p {
  margin: 0;
  color: var(--policy-muted);
  font-size: var(--policy-type-note);
  line-height: 1.35;
}

.operating-rule {
  padding-left: 11px;
  border-left: 2px solid var(--policy-accent);
}

.vector-note {
  padding-left: 11px;
  border-left: 1px solid var(--policy-rule-strong);
}

.vector-note span {
  color: var(--policy-ink-2);
  font-family: var(--ed-mono);
  font-size: 10.5px;
  font-weight: 700;
}

/* Slide 3 — a concrete four-stage contour, with one return line rather than four cards. */
.reveal .policy-slide .example-strip {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 20px;
  margin: -2px 0 20px;
  padding: 7px 0 11px 14px;
  border-bottom: 1px solid var(--policy-rule-strong);
  border-left: 2px solid var(--policy-accent);
}

.example-strip > span:last-child {
  color: var(--policy-muted);
  font-family: var(--ed-mono);
  font-size: 10px;
  font-weight: 400;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.mechanism-contour {
  display: grid;
  grid-template-columns: minmax(0, 0.93fr) minmax(0, 1fr) minmax(0, 1.2fr) minmax(0, 1.05fr);
  min-height: 0;
  flex: 1 1 auto;
  border-top: 2px solid var(--policy-accent);
  border-bottom: 1px solid var(--policy-rule-strong);
}

.mechanism-stage {
  min-width: 0;
  padding: 17px 19px 15px 0;
}

.mechanism-stage + .mechanism-stage {
  padding-left: 19px;
  border-left: 1px solid var(--policy-rule);
}

.stage-heading {
  display: flex;
  align-items: baseline;
  gap: 10px;
  min-height: 25px;
  margin-bottom: 17px;
}

.stage-heading > span {
  color: var(--policy-accent);
  font-size: 10px;
  letter-spacing: 0.08em;
}

.stage-heading h3 {
  font-family: var(--ed-mono);
  font-size: 12px;
  font-weight: 700;
  letter-spacing: 0.075em;
  line-height: 1.2;
}

.stage-standard li {
  padding: 10px 0 9px;
  border-bottom: 1px solid var(--policy-rule);
  color: var(--policy-ink);
  font-size: var(--policy-type-body);
  line-height: 1.2;
}

.stage-standard li::before {
  display: inline-block;
  width: 16px;
  color: var(--policy-accent);
  content: "—";
  font-family: var(--ed-mono);
}

.stage-subunit {
  display: grid;
  gap: 6px;
  padding: 11px 0 10px;
  border-bottom: 1px solid var(--policy-rule);
}

.stage-subunit strong {
  color: var(--policy-accent-text);
  font-family: var(--ed-mono);
  font-size: 10px;
  letter-spacing: 0.075em;
}

.stage-subunit span {
  color: var(--policy-ink-2);
  font-size: var(--policy-type-note);
  line-height: 1.25;
}

.stage-data {
  background: color-mix(in srgb, var(--policy-accent-soft) 58%, var(--policy-surface));
}

.data-evidence {
  display: grid;
  gap: 8px;
  margin-bottom: 16px;
  padding: 12px 0 13px 13px;
  border-left: 2px solid var(--policy-accent);
  border-bottom: 1px solid var(--policy-rule);
}

.data-evidence strong {
  color: var(--policy-ink);
  font-size: 14px;
  line-height: 1.2;
}

.data-evidence span {
  color: var(--policy-ink-2);
  font-size: 13px;
  line-height: 1.25;
}

.data-evidence.barrier {
  border-left-color: var(--policy-signal);
}

.data-evidence.barrier strong,
.data-evidence.barrier span {
  color: var(--policy-signal-text);
}

.stage-footnote {
  margin: 24px 0 0;
  color: var(--policy-muted) !important;
  font-family: var(--ed-mono);
  font-size: 10.5px !important;
  letter-spacing: 0.04em;
  line-height: 1.3 !important;
}

.route {
  display: grid;
  grid-template-columns: minmax(77px, 0.95fr) minmax(0, 1.2fr);
  gap: 8px;
  align-items: baseline;
  padding: 10px 0 9px;
  border-bottom: 1px solid var(--policy-rule);
}

.route strong {
  color: var(--policy-ink);
  font-family: var(--ed-mono);
  font-size: 10px;
  letter-spacing: 0.045em;
  text-transform: uppercase;
}

.route span {
  color: var(--policy-ink-2);
  font-size: 13px;
  line-height: 1.2;
}

.reveal .policy-slide .correction-result {
  margin: 14px 0 0;
  padding-top: 8px;
  border-top: 1px solid var(--policy-rule-strong);
  color: var(--policy-accent-text) !important;
  font-family: var(--ed-serif);
  font-size: 19px !important;
  line-height: 1.13 !important;
}

.loop-return {
  display: grid;
  grid-template-columns: minmax(35px, 1fr) auto auto minmax(35px, 1fr);
  gap: 13px;
  align-items: center;
  margin-top: 21px;
  color: var(--policy-muted);
  font-family: var(--ed-mono);
  font-size: 10.5px;
  letter-spacing: 0.055em;
  line-height: 1.2;
  text-align: center;
  text-transform: uppercase;
}

.loop-line {
  height: 1px;
  background: var(--policy-rule-strong);
}

.loop-return b {
  color: var(--policy-accent);
  font-family: var(--ed-serif);
  font-size: 23px;
  font-weight: 400;
  line-height: 1;
}

.reveal .policy-slide .mechanism-principle {
  display: grid;
  grid-template-columns: auto minmax(0, 1fr);
  gap: 14px;
  align-items: baseline;
  width: calc(100% - 96px);
  max-width: 1120px;
  margin: 24px auto 0;
  padding: 13px 24px 0;
  border-top: 1px solid var(--policy-rule-strong);
  border-left: 2px solid var(--policy-accent);
  color: var(--policy-ink) !important;
  font-family: var(--ed-serif);
  font-size: 20px !important;
  line-height: 1.1 !important;
}

.mechanism-principle > span {
  color: var(--policy-accent-text);
  font-size: 9.5px;
  letter-spacing: 0.08em;
}

/* Slide 4 — the date is a proof threshold; the three states are rows, not KPI cards. */
.proof-layout {
  display: grid;
  grid-template-columns: minmax(255px, 0.38fr) minmax(0, 1fr);
  gap: 42px;
  min-height: 0;
  flex: 1 0 auto;
  border-top: 2px solid var(--policy-accent);
  border-bottom: 1px solid var(--policy-rule-strong);
}

.proof-date {
  display: grid;
  align-content: start;
  gap: 18px;
  min-width: 0;
  padding: 23px 30px 19px 0;
  border-right: 1px solid var(--policy-rule);
}

.proof-date > span {
  color: var(--policy-signal-text);
  font-size: 10px;
}

.proof-date strong {
  display: block;
  color: var(--policy-accent-text);
  font-family: var(--ed-serif);
  font-size: 57px;
  font-weight: 500;
  letter-spacing: -0.055em;
  line-height: 0.87;
}

.proof-date em {
  padding-top: 14px;
  border-top: 1px solid var(--policy-rule);
  color: var(--policy-muted);
  font-size: var(--policy-type-note);
  font-style: normal;
  line-height: 1.35;
}

.proof-states {
  min-width: 0;
  padding-top: 6px;
}

.proof-state {
  display: grid;
  grid-template-columns: minmax(125px, 0.32fr) minmax(0, 1fr);
  gap: 34px;
  min-width: 0;
  padding: 18px 0 17px;
}

.proof-state + .proof-state {
  border-top: 1px solid var(--policy-rule);
}

.reveal .policy-slide .proof-state > h3 {
  align-self: start;
  padding-top: 4px;
  color: var(--policy-accent-text);
  font-size: 12px;
  letter-spacing: 0.13em;
}

.proof-state ul,
.proof-state p {
  margin: 0;
}

.proof-fixed ul {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 16px;
}

.proof-state li,
.proof-working p {
  color: var(--policy-ink);
  font-size: var(--policy-type-body);
  line-height: 1.25;
}

.proof-state li::before {
  display: block;
  width: 18px;
  height: 2px;
  margin-bottom: 9px;
  background: var(--policy-accent);
  content: "";
}

.proof-working {
  background: color-mix(in srgb, var(--policy-accent-soft) 44%, var(--policy-surface));
}

.proof-working > div {
  display: grid;
  grid-template-columns: minmax(0, 1.2fr) minmax(0, 0.8fr);
  gap: 23px;
}

.proof-working p + p {
  padding-left: 18px;
  border-left: 1px solid var(--policy-rule-strong);
}

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

.visibility-list li {
  padding: 8px 0 7px;
  border-bottom: 1px solid var(--policy-rule-soft);
}

.visibility-list li::before {
  display: inline-block;
  width: 17px;
  height: auto;
  margin: 0;
  background: none;
  color: var(--policy-signal);
  content: "?";
  font-size: 10px;
}

.reveal .policy-slide .closing-statement {
  max-width: 60ch;
  margin: 30px 0 0;
  padding: 16px 0 0 16px;
  border-top: 2px solid var(--policy-signal);
  border-left: 2px solid var(--policy-signal);
  color: var(--policy-ink) !important;
  font-family: var(--ed-serif);
  font-size: 29px !important;
  font-weight: 500;
  letter-spacing: -0.022em;
  line-height: 1.12 !important;
}

/* Narrow/mobile reading mode uses the same content in a document-like flow. */
@media (max-width: 720px), (pointer: coarse) {
  .reveal-viewport.ed-in-scroll-view .reveal .slides > section.policy-slide {
    position: relative !important;
    display: flex !important;
    width: 100%;
    height: auto;
    min-height: 0;
    padding: 36px 22px 38px;
    overflow: visible;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .policy-slide-header {
    align-items: flex-start;
    flex-direction: column;
    gap: 7px;
    margin-bottom: 12px;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .policy-context {
    font-size: 9px;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .policy-slide h1,
  .reveal-viewport.ed-in-scroll-view .reveal .policy-slide h2 {
    max-width: none;
    margin-bottom: 20px;
    font-size: 33px;
    line-height: 1.07;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .gap-layout,
  .reveal-viewport.ed-in-scroll-view .reveal .model-grid,
  .reveal-viewport.ed-in-scroll-view .reveal .proof-layout {
    grid-template-columns: 1fr;
    gap: 0;
    flex: none;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .gap-contour {
    padding: 16px 0 17px;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .cascade-row {
    grid-template-columns: 1fr;
    gap: 0;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .cascade-node {
    grid-template-columns: 35px minmax(0, 1fr);
    gap: 8px;
    align-items: baseline;
    padding: 12px 0 11px;
    border-bottom: 1px solid var(--policy-rule);
  }

  .reveal-viewport.ed-in-scroll-view .reveal .cascade-node strong {
    min-height: 0;
    font-size: 19px;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .cascade-arrow {
    padding: 5px 0;
    font-size: 21px;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .cascade-arrow {
    font-size: 0;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .cascade-arrow::after {
    color: var(--policy-accent);
    content: "↓";
    font-family: var(--ed-serif);
    font-size: 21px;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .handoff-rail {
    grid-template-columns: repeat(2, minmax(0, 1fr));
    gap: 12px;
    padding-top: 16px;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .gap-caption {
    margin-top: 22px;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .visibility-gap {
    margin-top: 24px;
    padding: 22px 0 0;
    border-top: 1px solid var(--policy-rule-strong);
    border-left: 0;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .policy-claim {
    margin-top: 24px;
    font-size: 32px;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .standard-rail,
  .reveal-viewport.ed-in-scroll-view .reveal .execution-rail,
  .reveal-viewport.ed-in-scroll-view .reveal .evidence-rail {
    padding: 17px 0;
    border-right: 0;
    border-bottom: 1px solid var(--policy-rule);
  }

  .reveal-viewport.ed-in-scroll-view .reveal .execution-sequence {
    grid-template-columns: 1fr;
    gap: 0;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .execution-node {
    grid-template-columns: 1fr;
    grid-template-rows: none;
    gap: 6px;
    padding: 12px 0 11px;
    border-bottom: 1px solid var(--policy-rule);
  }

  .reveal-viewport.ed-in-scroll-view .reveal .execution-node strong {
    white-space: normal;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .execution-arrow {
    padding: 5px 0;
    font-size: 0;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .execution-arrow::after {
    color: var(--policy-accent);
    content: "↓";
    font-family: var(--ed-serif);
    font-size: 21px;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .model-bottom {
    grid-template-columns: 1fr;
    gap: 15px;
    margin-top: 17px;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .example-strip {
    align-items: flex-start;
    flex-direction: column;
    gap: 6px;
    padding-left: 12px;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .mechanism-contour {
    grid-template-columns: 1fr;
    flex: none;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .mechanism-stage,
  .reveal-viewport.ed-in-scroll-view .reveal .mechanism-stage + .mechanism-stage {
    padding: 18px 0 17px;
    border-right: 0;
    border-bottom: 1px solid var(--policy-rule);
    border-left: 0;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .correction-result {
    margin-top: 25px;
    padding-top: 9px;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .mechanism-stage:last-child {
    border-bottom: 0;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .loop-return {
    grid-template-columns: 1fr auto;
    gap: 10px;
    justify-items: start;
    margin-top: 15px;
    text-align: left;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .loop-return .loop-line {
    display: none;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .mechanism-principle {
    grid-template-columns: 1fr;
    gap: 8px;
    width: auto;
    max-width: none;
    margin-top: 22px;
    padding: 12px 0 0 12px;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .proof-date {
    gap: 13px;
    padding: 17px 0 18px;
    border-right: 0;
    border-bottom: 1px solid var(--policy-rule);
  }

  .reveal-viewport.ed-in-scroll-view .reveal .proof-date strong {
    font-size: 55px;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .proof-state {
    grid-template-columns: 1fr;
    gap: 12px;
    padding: 17px 0;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .proof-fixed ul,
  .reveal-viewport.ed-in-scroll-view .reveal .proof-working > div,
  .reveal-viewport.ed-in-scroll-view .reveal .visibility-list {
    grid-template-columns: 1fr;
    gap: 0;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .proof-working p + p {
    margin-top: 13px;
    padding: 13px 0 0;
    border-top: 1px solid var(--policy-rule-strong);
    border-left: 0;
  }

  .reveal-viewport.ed-in-scroll-view .reveal .closing-statement {
    margin-top: 24px;
    font-size: 23px !important;
  }
}

@media print {
  .reveal .slides > section.policy-slide {
    background: var(--policy-surface) !important;
  }
}

@media (prefers-reduced-motion: reduce) {
  .reveal .policy-slide,
  .reveal .policy-slide *,
  .reveal .policy-slide::before,
  .reveal .policy-slide::after {
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
    scroll-behavior: auto !important;
    transition-duration: 0s !important;
    transition-delay: 0s !important;
  }
}