/* Figures of the interactive report. Colours come from the tokens of report.css.
   State is carried by blue / amber plus a mark or a text; no red, no green. */
.wg {
  --wg-accent: var(--accent, #2f6fed);
  --wg-warn: var(--warn, #c77700);
  --wg-line: var(--line, #d5d9e0);
  --wg-muted: var(--muted, #667085);
  --wg-panel: var(--panel, #f6f8fb);
  --wg-bg: var(--bg, #fff);
  --wg-fg: var(--fg, #1c2330);
  margin: 1.5rem 0;
  border: 1px solid var(--wg-line);
  border-left: 4px solid var(--wg-accent);
  border-radius: 8px;
  background: var(--wg-panel);
  color: var(--wg-fg);
  font-size: 0.9rem;
  max-width: 100%;
  overflow: hidden;
}
.wg-head { padding: 0.75rem 1rem 0.25rem; }
.wg-head h4 { margin: 0.15rem 0 0; font-size: 1rem; line-height: 1.3; }
.wg-tag {
  font-size: 0.68rem; letter-spacing: 0.08em; text-transform: uppercase;
  color: var(--wg-accent); font-weight: 700;
}
.wg-sub, .wg-note { margin: 0.35rem 0; color: var(--wg-muted); line-height: 1.45; }
.wg-body { padding: 0.25rem 1rem 1rem; }
.wg code { font-size: 0.85em; }
.wg-inst:focus-visible { outline: 2px solid var(--wg-accent); outline-offset: 4px; border-radius: 4px; }

.wg-controls { display: flex; flex-wrap: wrap; gap: 0.6rem 1rem; align-items: flex-end; margin: 0.5rem 0 0.75rem; }
.wg-ctl { display: flex; flex-direction: column; gap: 0.2rem; font-size: 0.72rem; color: var(--wg-muted); }
.wg-ctl select, .wg-btn, .wg-seg button {
  font: inherit; font-size: 0.85rem; color: var(--wg-fg); background: var(--wg-bg);
  border: 1px solid var(--wg-line); border-radius: 6px; padding: 0.3rem 0.55rem; cursor: pointer;
}
.wg-ctl select { max-width: 22rem; }
.wg-seg { display: inline-flex; }
.wg-seg button { border-radius: 0; margin-left: -1px; }
.wg-seg button:first-child { border-radius: 6px 0 0 6px; margin-left: 0; }
.wg-seg button:last-child { border-radius: 0 6px 6px 0; }
.wg-seg button[aria-pressed="true"] { background: var(--wg-accent); border-color: var(--wg-accent); color: #fff; }

.wg-cols { display: grid; grid-template-columns: minmax(15rem, 22rem) minmax(0, 1fr); gap: 1rem; align-items: start; }
.wg-main { min-width: 0; }
.wg-src { position: sticky; top: 4rem; min-width: 0; }
.wg-src-title { color: var(--wg-muted); font-size: 0.72rem; margin-bottom: 0.2rem; }
.wg-src pre { margin: 0; padding: 0.6rem 0.75rem; overflow-x: auto; background: var(--wg-bg);
  border: 1px solid var(--wg-line); border-radius: 6px; font-size: 0.74rem; line-height: 1.5; white-space: pre; }
.wg-body { container-type: inline-size; }
@container (max-width: 56rem) { .wg-cols { grid-template-columns: 1fr; } .wg-src { position: static; } }

.wg-scrub { display: flex; align-items: center; gap: 0.5rem; margin: 0.25rem 0 0.75rem; flex-wrap: wrap; }
.wg-scrub input[type="range"] { flex: 1 1 10rem; accent-color: var(--wg-accent); }
.wg-pos { color: var(--wg-muted); font-size: 0.8rem; white-space: nowrap; }

.wg-runs { display: flex; flex-direction: column; gap: 0.45rem; }
.wg-run {
  border: 1px solid var(--wg-line); border-radius: 6px; background: var(--wg-bg);
  padding: 0.4rem 0.55rem; transition: opacity 0.35s, border-color 0.35s;
}
.wg-run.actual { border-color: var(--wg-accent); box-shadow: inset 3px 0 0 var(--wg-accent); }
.wg-run.out { opacity: 0.5; border-style: dashed; }
.wg-run.halt { border-color: var(--wg-warn); }
.wg-run-head { display: flex; gap: 0.75rem; align-items: baseline; margin-bottom: 0.3rem; flex-wrap: wrap; }
.wg-run-name { font: inherit; font-weight: 600; background: none; border: 0; padding: 0; color: var(--wg-fg);
  cursor: pointer; text-decoration: underline dotted; text-underline-offset: 3px; }
.wg-run-status { font-size: 0.78rem; color: var(--wg-muted); }
.wg-run.actual .wg-run-status { color: var(--wg-accent); font-weight: 600; }
.wg-run.out .wg-run-status { text-decoration: line-through; }
.wg-run.out .wg-run-status::before { content: "○ "; }
.wg-run.poss .wg-run-status::before { content: "● "; color: var(--wg-accent); }
.wg-run.halt .wg-run-status { color: var(--wg-warn); }
.wg-run.halt .wg-run-status::before { content: "◐ "; }

.wg-chips { display: flex; flex-wrap: wrap; gap: 0.3rem; padding-bottom: 0.25rem; align-items: stretch; }
.wg-chip {
  flex: 0 0 auto; display: inline-flex; flex-direction: column; align-items: flex-start; gap: 0.05rem;
  font: inherit; font-family: ui-monospace, SFMono-Regular, Menlo, monospace; font-size: 0.72rem;
  color: var(--wg-fg); background: var(--wg-panel); border: 1px solid var(--wg-line);
  border-radius: 5px; padding: 0.2rem 0.4rem; white-space: nowrap; cursor: default;
  transition: opacity 0.35s, border-color 0.35s, background 0.35s, transform 0.35s;
}
button.wg-chip { cursor: pointer; }
.wg-chip.small { flex-direction: row; cursor: default; }
.wg-chip-lev { font-size: 0.62rem; color: var(--wg-muted); }
.wg-chip.hid { opacity: 0.38; border-style: dashed; background: transparent; }
.wg-chip.hid .wg-chip-txt { text-decoration: line-through; text-decoration-color: var(--wg-muted); }
.wg-chip.future { opacity: 0.5; filter: grayscale(1); }
.wg-chip.future.hid { opacity: 0.25; }
.wg-chip.cur { border-color: var(--wg-accent); border-width: 2px; transform: translateY(-2px); }
.wg-chip.matched { border-color: var(--wg-accent); background: color-mix(in srgb, var(--wg-accent) 12%, var(--wg-bg)); }
.wg-chip.next { border-color: var(--wg-accent); border-style: dotted; }
.wg-chip.beyond { opacity: 0.55; }
.wg-chip.k-output { border-radius: 12px; }
.wg-chip.k-dVal, .wg-chip.k-dType, .wg-chip.k-dValType, .wg-chip.k-dBl,
.wg-chip.k-regionClose, .wg-chip.k-dgConsumeInput { border-bottom: 3px double var(--wg-warn); }
.wg-end { flex: 0 0 auto; align-self: center; font-size: 0.72rem; color: var(--wg-muted); padding-left: 0.3rem; white-space: nowrap; }
.wg-end.stuck, .wg-end.running { color: var(--wg-warn); }

.wg-sets { margin: 0.8rem 0 0; display: grid; gap: 0.35rem; }
.wg-setrow { display: flex; gap: 0.6rem; align-items: center; flex-wrap: wrap; }
.wg-setname { min-width: 9rem; color: var(--wg-muted); font-size: 0.8rem; }
.wg-obs { display: inline-flex; gap: 0.25rem; flex-wrap: wrap; }
.wg-toks { display: inline-flex; gap: 0.3rem; flex-wrap: wrap; }
.wg-tok {
  display: inline-flex; gap: 0.25rem; align-items: center; font-variant-numeric: tabular-nums;
  border: 1px solid var(--wg-line); border-radius: 999px; padding: 0.1rem 0.55rem; background: var(--wg-bg);
  transition: opacity 0.35s, border-color 0.35s, background 0.35s;
}
.wg-tok.in { border-color: var(--wg-accent); }
.wg-tok.in .wg-tok-mark { color: var(--wg-accent); }
.wg-tok.out { opacity: 0.45; border-style: dashed; }
.wg-tok.gap { border-color: var(--wg-warn); border-style: dashed; opacity: 1; }
.wg-tok.gap .wg-tok-mark { color: var(--wg-warn); }
.wg-tok.missing { border-color: var(--wg-warn); background: color-mix(in srgb, var(--wg-warn) 22%, var(--wg-bg)); font-weight: 700; }

.wg-bound { margin-top: 0.8rem; border: 1px solid var(--wg-line); border-radius: 6px; padding: 0.5rem 0.7rem; background: var(--wg-bg); }
.wg-bound.holds { border-left: 4px solid var(--wg-accent); }
.wg-bound.refuted { border-left: 4px solid var(--wg-warn); background: color-mix(in srgb, var(--wg-warn) 8%, var(--wg-bg)); }
.wg-bound-head { margin: 0 0 0.4rem; }
.wg-bound.refuted .wg-bound-head b { color: var(--wg-warn); }
.wg-bound.holds .wg-bound-head b { color: var(--wg-accent); }
.wg-part { display: grid; gap: 0.2rem; padding: 0.35rem 0; border-top: 1px dashed var(--wg-line); }
.wg-part:first-of-type { border-top: 0; }
.wg-part-tag { font-size: 0.75rem; color: var(--wg-muted); }
.wg-side { display: flex; gap: 0.6rem; align-items: center; flex-wrap: wrap; }
.wg-side-name { min-width: 15rem; font-size: 0.8rem; }
.wg-when, .wg-auth { color: var(--wg-muted); }
.wg-sup { font-size: 0.9rem; line-height: 1.2; padding-left: 0.2rem; color: var(--wg-accent); }
.wg-part.bad .wg-sup { color: var(--wg-warn); font-weight: 700; }
.wg-why { margin: 0.2rem 0 0; color: var(--wg-fg); }

.wg-certwrap { margin-top: 0.8rem; }
.wg-cert { display: flex; flex-wrap: wrap; gap: 0.25rem; padding: 0.2rem 0 0.4rem; align-items: flex-start; }
.wg-cert-cell { flex: 0 0 auto; display: flex; flex-direction: column; align-items: flex-start; gap: 0.15rem;
  border: 1px dashed var(--wg-line); border-radius: 5px; padding: 0.2rem 0.4rem; background: var(--wg-bg);
  font-size: 0.7rem; min-width: 4.2rem; max-width: 10rem; }
.wg-cert-cell.ok { border-style: solid; border-color: var(--wg-accent); }
.wg-cert-cell.sel { box-shadow: inset 0 0 0 2px var(--wg-accent); }
.wg-cert-len { color: var(--wg-muted); }
.wg-cert-ev { font-family: ui-monospace, SFMono-Regular, Menlo, monospace; max-width: 9.5rem; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.wg-cert-ev.empty { color: var(--wg-muted); font-style: italic; font-family: inherit; }
.wg-cert-mark { color: var(--wg-muted); }
.wg-cert-cell.ok .wg-cert-mark { color: var(--wg-accent); font-weight: 600; }
.wg-flag { font-size: 0.62rem; border-radius: 3px; padding: 0 0.3rem; color: #fff; background: var(--wg-accent); white-space: nowrap; }
.wg-flag.pdp { background: var(--wg-accent); }

.wg-gridwrap { overflow-x: auto; }
.wg-grid { border-collapse: collapse; font-size: 0.75rem; }
.wg-grid th { font-weight: 500; color: var(--wg-muted); padding: 0.15rem 0.4rem; white-space: nowrap; text-align: center; }
.wg-grid td { padding: 2px; }
.wg-cell { width: 3.1rem; height: 2.3rem; display: flex; flex-direction: column; align-items: center; justify-content: center;
  font: inherit; color: var(--wg-muted); background: var(--wg-bg); border: 1px solid var(--wg-line); border-radius: 5px; cursor: pointer;
  transition: background 0.3s, border-color 0.3s; }
.wg-cell.flows { background: color-mix(in srgb, var(--wg-accent) 20%, var(--wg-bg)); border-color: var(--wg-accent); color: var(--wg-fg); }
.wg-cell.priv { background: color-mix(in srgb, var(--wg-warn) 20%, var(--wg-bg)); border-color: var(--wg-warn); border-style: dashed; color: var(--wg-fg); }
.wg-cell.is-x, .wg-cell.is-y, .wg-cell.is-a { outline: 2px solid var(--wg-fg); outline-offset: 1px; }
.wg-cell-who { font-size: 0.68rem; font-weight: 700; color: var(--wg-fg); min-height: 0.8rem; }
.wg-pill { border: 1px solid var(--wg-line); border-radius: 999px; padding: 0.2rem 0.6rem; background: var(--wg-bg); }
.wg-facts { margin-top: 0.5rem; border-collapse: collapse; }
.wg-facts td { padding: 0.15rem 1rem 0.15rem 0; }
.wg-facts b.yes { color: var(--wg-accent); }
.wg-facts b.yes::before { content: "✓ "; }
.wg-facts b.no { color: var(--wg-muted); }
.wg-facts b.no::before { content: "✕ "; }

.wg-verdicts { border-collapse: collapse; width: 100%; margin: 0.25rem 0 1rem; font-size: 0.82rem; }
.wg-verdicts th { text-align: left; color: var(--wg-muted); font-weight: 500; padding: 0.2rem 0.5rem; }
.wg-verdicts td { padding: 0.2rem 0.5rem; border-top: 1px solid var(--wg-line); vertical-align: middle; }
.wg-verdict { font: inherit; font-size: 0.8rem; border-radius: 5px; padding: 0.15rem 0.5rem; cursor: pointer;
  background: var(--wg-bg); border: 1px solid var(--wg-line); color: var(--wg-fg); text-align: left; }
.wg-verdict.ok { border-color: var(--wg-accent); }
.wg-verdict.bad { border-color: var(--wg-warn); background: color-mix(in srgb, var(--wg-warn) 18%, var(--wg-bg)); font-weight: 600; }

li.wg-active-case {
  background: color-mix(in srgb, var(--accent, #2f6fed) 14%, transparent);
  box-shadow: -6px 0 0 var(--accent, #2f6fed);
  border-radius: 3px;
  transition: background 0.35s, box-shadow 0.35s;
}

@media (max-width: 40rem) {
  .wg-body { padding: 0.25rem 0.6rem 0.8rem; }
  .wg-setname, .wg-side-name { min-width: 0; width: 100%; }
}
@media (prefers-reduced-motion: reduce) {
  .wg *, li.wg-active-case { transition: none !important; }
}

/* event → arm selector */
.wg-kinds { overflow-x: auto; padding-bottom: 0.3rem; }
.wg-kinds .wg-seg button { font-family: ui-monospace, SFMono-Regular, Menlo, monospace; font-size: 0.74rem; white-space: nowrap; }
dt.wg-arm-on, dd.wg-arm-on { box-shadow: -6px 0 0 var(--accent, #2f6fed); background: color-mix(in srgb, var(--accent, #2f6fed) 8%, transparent); }
dt.wg-arm-off { opacity: 0.55; }
dd.wg-arm-off { display: none; }
tr.wg-row-on { background: color-mix(in srgb, var(--accent, #2f6fed) 14%, transparent); box-shadow: inset 4px 0 0 var(--accent, #2f6fed); }

.wg-kinds .wg-seg { display: flex; flex-wrap: wrap; gap: 0.25rem; }
.wg-kinds .wg-seg button, .wg-kinds .wg-seg button:first-child, .wg-kinds .wg-seg button:last-child { border-radius: 6px; margin-left: 0; }

/* label lattice: three label cards and a verdict */
.wg-scenes { display: flex; flex-wrap: wrap; gap: 0.35rem; align-items: center; margin: 0.4rem 0 0.8rem; }
.wg-flowrow { display: grid; grid-template-columns: minmax(0, 1fr) auto minmax(0, 1fr); gap: 0.6rem; align-items: center; }
.wg-authrow { display: grid; grid-template-columns: minmax(0, 1fr); max-width: 24rem; margin: 0.6rem auto 0; }
.wg-card { border: 1px solid var(--wg-line); border-radius: 8px; background: var(--wg-bg); padding: 0.55rem 0.7rem; min-width: 0; }
.wg-card-a { border-style: dashed; border-color: var(--wg-warn); }
.wg-card-title { font-weight: 700; }
.wg-card-hint { color: var(--wg-muted); font-size: 0.74rem; margin-bottom: 0.4rem; }
.wg-tagrow { display: flex; flex-wrap: wrap; gap: 0.25rem; align-items: center; margin: 0.2rem 0; }
.wg-tagcap { color: var(--wg-muted); font-size: 0.72rem; min-width: 6.2rem; }
.wg-tag { font: inherit; font-size: 0.78rem; border: 1px solid var(--wg-line); border-radius: 999px; padding: 0.1rem 0.6rem;
  background: var(--wg-bg); color: var(--wg-muted); cursor: pointer; transition: background 0.25s, color 0.25s, border-color 0.25s; }
.wg-tag[aria-pressed="true"] { background: var(--wg-accent); border-color: var(--wg-accent); color: #fff; }
.wg-tag[aria-pressed="true"]::before { content: "✓ "; }
.wg-card-a .wg-tag[aria-pressed="true"] { background: var(--wg-warn); border-color: var(--wg-warn); }
.wg-card-label { display: inline-block; margin-top: 0.35rem; }
.wg-arrow { display: flex; flex-direction: column; align-items: center; gap: 0.15rem; font-size: 0.78rem; text-align: center; max-width: 8rem; transition: color 0.3s; }
.wg-arrow-line { font-size: 1.05rem; white-space: nowrap; letter-spacing: -0.05em; }
.wg-arrow.plain { color: var(--wg-accent); font-weight: 700; }
.wg-arrow.priv { color: var(--wg-warn); font-weight: 700; }
.wg-arrow.no { color: var(--wg-muted); }
.wg-facts th { text-align: left; font-weight: 500; color: var(--wg-muted); padding: 0.15rem 1rem 0.15rem 0; font-size: 0.8rem; }
.wg-facts tr.wg-total td { border-top: 1px solid var(--wg-line); font-weight: 700; }
.wg-more { margin-top: 0.6rem; }
.wg-more summary { cursor: pointer; color: var(--wg-accent); font-size: 0.82rem; }
.wg-cell.is-y, .wg-cell.is-x { outline: 2px solid var(--wg-fg); outline-offset: 1px; }
@container (max-width: 34rem) { .wg-flowrow { grid-template-columns: 1fr; } .wg-arrow { max-width: none; flex-direction: row; justify-content: center; } }

.wg button { text-transform: none; letter-spacing: normal; }
.wg-tagcap { min-width: 5.6rem; }
.wg-tagrow { flex-wrap: nowrap; }
.wg-tag { padding: 0.1rem 0.45rem; }

.wg-caveat { border-left: 3px solid var(--wg-warn); padding-left: 0.6rem; color: var(--wg-fg); }

.wg-run.plain .wg-run-status { display: none; }