/* Figure 5. Break it: let Wigner undo the posting. Every class is prefixed wf5-.
   Colours with a meaning: cyan = what is held (values that add, the computed read); magenta = a posting (on the record);
   red = the dropped statement (the posting undone, the act it adds); ink = counts. The page's tokens (--wf-*) are read with fallbacks; the figure's own are --k-*. */
.wf5 {
  --k-paper: var(--wf-paper, #faf8f3); --k-ink: var(--wf-ink, #1d1d1b); --k-body: var(--wf-body, #2a2926); --k-soft: var(--wf-soft, #3c3a36);
  --k-hair: var(--wf-hair, #8a8a8a); --k-rule: var(--wf-rule, color-mix(in srgb, var(--k-ink) 16%, var(--k-paper)));
  --k-tint: var(--wf-tint, color-mix(in srgb, var(--k-ink) 5%, var(--k-paper)));
  --k-red: var(--wf-open, #c8401f); --k-c: var(--wf-cyan, #009fe3); --k-m: var(--wf-magenta, #e6007e); --k-c-text: var(--wf-cyan-text, #0072b5); --k-m-text: var(--wf-magenta-text, #c4006b);
  --k-text: var(--wf-text, "InterVariable", "Inter", -apple-system, "Helvetica Neue", Arial, sans-serif);
  --k-display: var(--wf-display, "Inter Display", "InterVariable", "Inter", -apple-system, "Helvetica Neue", Arial, sans-serif);
  --k-mono: var(--wf-mono, "JetBrains Mono", ui-monospace, "SF Mono", Menlo, monospace);
  container-type: inline-size;
  margin: 0; padding: clamp(.9rem, 1.8vw, 1.25rem); background: var(--k-paper); color: var(--k-body);
  border: 1px solid var(--k-ink); font-family: var(--k-text); font-weight: 420; line-height: 1.42;
  font-optical-sizing: auto; box-sizing: border-box; position: relative;
}
@media screen and (prefers-color-scheme: dark) {
  .wf5 { --k-paper: var(--wf-paper, #141413); --k-ink: var(--wf-ink, #faf8f3); --k-body: var(--wf-body, #e9e6df); --k-soft: var(--wf-soft, #c9c5bc);
    --k-red: var(--wf-open, #ff6a3d); --k-c: var(--wf-cyan, #2bb3f0); --k-m: var(--wf-magenta, #ff3d9e); --k-c-text: var(--wf-cyan-text, #2bb3f0); --k-m-text: var(--wf-magenta-text, #ff6fb6);
    --k-tint: var(--wf-tint, color-mix(in srgb, var(--k-ink) 7%, var(--k-paper))); }
}
.wf5 *, .wf5 *::before, .wf5 *::after { box-sizing: border-box; }
.wf5-label { margin: 0; font: 700 .7rem/1.3 var(--k-mono); letter-spacing: .14em; text-transform: uppercase; color: var(--k-soft); }
.wf5-gk { font-style: normal; text-transform: none; letter-spacing: 0; }
.wf5-head { display: flex; flex-wrap: wrap; justify-content: space-between; gap: .5rem 1rem; align-items: center;
  padding-bottom: .7rem; margin-bottom: .9rem; border-bottom: 1px solid var(--k-rule); }
.wf5-live { color: var(--k-ink); display: flex; align-items: center; gap: .7rem; }
.wf5-live::before { content: ""; display: inline-block; width: .5rem; height: .5rem; background: var(--k-c); margin-right: -.25rem; }
.wf5-play { font: 700 .66rem/1 var(--k-mono); letter-spacing: .12em; text-transform: uppercase; color: var(--k-ink);
  background: transparent; border: 1px solid var(--k-ink); padding: .42rem .6rem; min-height: 28px; cursor: pointer; }
.wf5-play:hover { background: var(--k-tint); }

.wf5-labs { display: grid; grid-template-columns: 1fr; gap: 1.1rem; }
@container (min-width: 740px) { .wf5-labs { grid-template-columns: 1fr 1fr; gap: clamp(1rem, 2.4vw, 1.75rem); } }
.wf5-lab { min-width: 0; }
.wf5-labhead { display: flex; align-items: center; gap: .6rem; margin-bottom: .55rem; min-height: 32px; }
.wf5-swl { font: 700 .78rem/1.25 var(--k-mono); letter-spacing: .12em; text-transform: uppercase; color: var(--k-ink); }
.wf5-switch { display: inline-flex; align-items: center; gap: .45rem; background: transparent; border: 0; padding: 4px 0; cursor: pointer; color: var(--k-ink); min-height: 32px; }
.wf5-track { position: relative; width: 44px; height: 22px; border: 1.5px solid var(--k-ink); background: var(--k-paper); flex: none; }
.wf5-knob { position: absolute; top: 2px; left: 2px; width: 15px; height: 15px; background: var(--k-ink); transition: left .15s; }
.wf5-switch[aria-checked="true"] .wf5-track { background: var(--k-m); border-color: var(--k-m); }
.wf5-switch[aria-checked="true"] .wf5-knob { left: 24px; background: var(--k-paper); }
.wf5-onoff { font: 700 .66rem/1 var(--k-mono); letter-spacing: .12em; text-transform: uppercase; width: 2.2em; text-align: left; }
.wf5-switch:focus-visible { outline: 3px solid var(--k-c-text); outline-offset: 3px; }
.wf5-play:focus-visible { outline: 3px solid var(--k-c-text); outline-offset: 3px; }

.wf5-draw { display: block; width: 100%; overflow: visible; }
.wf5-draw text { font-family: var(--k-mono); fill: var(--k-soft); paint-order: stroke; stroke: var(--k-paper); stroke-width: 3px; stroke-linejoin: round; }
.wf5-draw .cap { font-size: 10px; font-weight: 700; letter-spacing: .12em; text-transform: uppercase; fill: var(--k-ink); }
.wf5-draw .small { font-size: 10px; letter-spacing: .04em; }
.wf5-draw .out-t { font-size: 10px; font-weight: 700; letter-spacing: .1em; text-transform: uppercase; fill: var(--k-ink); }
.wf5-draw .post-t { fill: var(--k-m-text); font-weight: 700; letter-spacing: .1em; text-transform: uppercase; font-size: 9px; }
.wf5-draw .tally { font-size: 11px; font-weight: 700; fill: var(--k-m-text); font-variant-numeric: tabular-nums; }
.wf5-draw .box { fill: none; stroke: var(--k-ink); stroke-width: 2; }
.wf5-draw .path { fill: none; stroke: var(--k-c); stroke-width: 1.6; }
.wf5-draw .photon { fill: var(--k-c); }
.wf5-draw .contact { fill: var(--k-paper); stroke: var(--k-ink); stroke-width: 1.4; }
.wf5-draw .split { fill: var(--k-paper); stroke: var(--k-c); stroke-width: 1.4; }
.wf5-draw .link { stroke: var(--k-ink); stroke-width: 1.1; }
.wf5-draw .reg { fill: var(--k-paper); stroke: var(--k-c); stroke-width: 1.6; }
.wf5-draw .regmid { stroke: var(--k-c); stroke-width: 1; }
.wf5-draw .post { fill: none; stroke: var(--k-m); stroke-width: 1.6; }
.wf5-draw .book { fill: var(--k-paper); stroke: var(--k-m); stroke-width: 1.6; }
.wf5-draw .bookmid { stroke: var(--k-m); stroke-width: 1; }
.wf5-draw .arrow { fill: none; stroke: var(--k-ink); stroke-width: 1.2; }

.wf5-strip { margin-top: .35rem; border: 1px solid var(--k-rule); line-height: 0; }
.wf5-dots { display: block; width: 100%; }
.wf5-axis { display: flex; justify-content: space-between; gap: .5rem; margin: .35rem 0 0; font: 400 .66rem/1.3 var(--k-mono); color: var(--k-soft); letter-spacing: .04em; }
.wf5-runs { font-variant-numeric: tabular-nums; white-space: nowrap; }
.wf5-verdict { margin: .55rem 0 0; font-family: var(--k-display); font-weight: 820; font-size: clamp(1.6rem, 3.6vw, 2.25rem); line-height: .94;
  letter-spacing: -.038em; color: var(--k-ink); }
.wf5-why { margin: .4rem 0 0; font-size: .9rem; line-height: 1.32; color: var(--k-body); max-width: 34rem; }
.wf5-lab.is-writes .wf5-verdict { color: var(--k-ink); }

.wf5-meas { display: grid; grid-template-columns: 1fr; gap: .6rem 1.5rem; margin-top: 1.1rem; padding-top: .9rem; border-top: 1px solid var(--k-rule); align-items: end; }
@container (min-width: 740px) { .wf5-meas { grid-template-columns: minmax(14rem, auto) minmax(0, 1fr); } }
.wf5-num { margin: .3rem 0 0; font-family: var(--k-display); font-weight: 860; font-size: clamp(2.4rem, 5.4vw, 3.6rem); line-height: .86;
  letter-spacing: -.05em; color: var(--k-ink); font-variant-numeric: tabular-nums lining-nums; white-space: nowrap; }
.wf5-pm { font-weight: 700; font-size: .5em; letter-spacing: -.02em; }
.wf5-scale { display: block; width: 100%; overflow: visible; }
.wf5-scale text { font-family: var(--k-mono); fill: var(--k-soft); paint-order: stroke; stroke: var(--k-paper); stroke-width: 3px; stroke-linejoin: round; }
.wf5-scale .sc-l { font-size: 10px; font-weight: 700; letter-spacing: .1em; text-transform: uppercase; }
.wf5-scale .bound-t { fill: var(--k-ink); }
.wf5-scale .ceil-t { fill: var(--k-soft); }
.wf5-scale .sc-tick { font-size: 10px; }
.wf5-scale .axis { stroke: var(--k-ink); stroke-width: 1.2; }
.wf5-scale .tick { stroke: var(--k-ink); stroke-width: 1; }
.wf5-scale .bound { stroke: var(--k-ink); stroke-width: 2.2; }
.wf5-scale .ceil { stroke: var(--k-hair); stroke-width: 1.4; stroke-dasharray: 4 3; }
.wf5-scale .err { stroke: var(--k-ink); stroke-width: 1.6; }
.wf5-scale .pt { fill: var(--k-ink); }
.wf5-src { margin: .2rem 0 0; font-size: .82rem; line-height: 1.32; color: var(--k-soft); }
.wf5-cap { margin: 1rem 0 0; font-size: .84rem; line-height: 1.4; color: var(--k-soft); max-width: 60rem; }
.wf5-sr { position: absolute !important; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; border: 0; }

@media (prefers-reduced-motion: reduce) { .wf5-knob { transition: none; } }
@media (forced-colors: active) {
  .wf5, .wf5-track { border-color: CanvasText; }
  .wf5-draw .box, .wf5-draw .link, .wf5-draw .arrow, .wf5-scale .axis, .wf5-scale .bound, .wf5-scale .err { stroke: CanvasText; }
  .wf5-draw .path, .wf5-draw .reg, .wf5-draw .regmid { stroke: LinkText; }
  .wf5-draw .post, .wf5-draw .book, .wf5-draw .bookmid { stroke: Highlight; }
  .wf5-draw text, .wf5-scale text { fill: CanvasText; stroke: Canvas; }
  .wf5-scale .pt, .wf5-draw .photon { fill: CanvasText; }
  .wf5-switch[aria-checked="true"] .wf5-track { background: Highlight; border-color: Highlight; }
  .wf5-knob { background: CanvasText; forced-color-adjust: none; }
}
@media print {
  .wf5 { --k-paper: #fff; --k-ink: #000; --k-body: #111; --k-soft: #333; --k-tint: #f2f2f2; break-inside: avoid; }
  .wf5, .wf5 * { -webkit-print-color-adjust: exact; print-color-adjust: exact; }
  .wf5-play { display: none; }
}

/* figure 5 layout */
.wf5-grid { display: grid; grid-template-columns: 1fr; gap: 1rem 1.6rem; }
@container (min-width: 760px) { .wf5-grid { grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); } }
.wf5-left, .wf5-right { min-width: 0; }
.wf5-swrow { margin-bottom: .6rem; }
.wf5-switch .wf5-swl { margin-left: .2rem; }
.wf5-switch[aria-checked="true"] .wf5-track { background: var(--k-red); border-color: var(--k-red); }
.wf5-acts { margin: .7rem 0 0; padding-left: 1.4rem; font: 400 .74rem/1.55 var(--k-mono); letter-spacing: .04em; color: var(--k-body); }
.wf5-acts li { padding-left: .2rem; }
.wf5-acts .wf5-new { color: var(--k-red); font-weight: 700; }
.wf5-acts .wf5-new::marker { color: var(--k-red); }
.wf5-strip { margin-top: 0; }
.wf5-entries { margin: .55rem 0 0; display: flex; flex-wrap: wrap; align-items: baseline; gap: .2rem .6rem; }
.wf5-entries b { font-family: var(--k-display); font-weight: 820; font-size: 1.15rem; letter-spacing: -.02em; color: var(--k-ink); }
.is-undo .wf5-entries b { color: var(--k-red); }
.wf5-status { margin: .5rem 0 0; font-size: .82rem; line-height: 1.35; color: var(--k-soft); max-width: 38rem; }
.wf5-status:empty { display: none; }
.wf5-draw .post.gone { stroke: var(--k-red); stroke-dasharray: 4 3; }
.wf5-draw .strike { stroke: var(--k-red); stroke-width: 2; }
.is-undo .wf5-draw .post-t { fill: var(--k-c-text); }
/* forced colours, after the red on-state above: the on track in Highlight with a HighlightText knob; the added act as marked text, with no backplate (a Canvas plate behind MarkText hides it in dark themes) */
@media (forced-colors: active) {
  .wf5-switch[aria-checked="true"] .wf5-track { background: Highlight; border-color: Highlight; }
  .wf5-switch[aria-checked="true"] .wf5-knob { background: HighlightText; }
  .wf5-acts .wf5-new { forced-color-adjust: none; background: Mark; color: MarkText; }
  .wf5-acts .wf5-new::marker { color: CanvasText; }
}
.wf5-draw .cell { fill: var(--k-paper); stroke: var(--k-m); stroke-width: 1; }
.wf5-draw .cell.on { fill: var(--k-m); }
.wf5-draw .cell.was { fill: none; stroke: var(--k-red); stroke-width: 1.4; stroke-dasharray: 3 2; }
.wf5-axis { flex-wrap: wrap; }
.wf5-draw .cell.held { fill: color-mix(in srgb, var(--k-c) 28%, var(--k-paper)); stroke: var(--k-c); stroke-width: 1.2; }
.wf5-draw .post.held { stroke: var(--k-c); stroke-dasharray: 4 3; }
.is-undo .wf5-draw .book { stroke: var(--k-c); }
@container (max-width: 359px) { .wf5-livet { display: none; } }
.wf5-ticks { position: relative; height: 1.1em; margin-top: .15rem; font: 400 .62rem/1.1 var(--k-mono); color: var(--k-soft); font-variant-numeric: tabular-nums; }
.wf5-ticks span { position: absolute; top: 0; transform: translateX(-50%); white-space: nowrap; }
.wf5-ticks span::before { content: ""; position: absolute; left: 50%; top: -.3rem; height: .25rem; border-left: 1px solid var(--k-hair); }
.wf5-lede { margin: -.3rem 0 .9rem; font-size: .95rem; line-height: 1.35; color: var(--k-ink); max-width: 46rem; }