{# Executive — sticky tab bar (layer 3).

   WAI-ARIA tablist (manual activation, roving tabindex). Four tabs in locked
   order:
     overview (default) / findings / probes / logs

   Activation rule: exactly ONE tab carries ``aria-selected="true"`` AND
   ``tabindex="0"``; all others ``aria-selected="false"`` AND
   ``tabindex="-1"``. ``executive_tabs.js`` flips both attributes on click /
   Space / Enter.

   SSE Phase 1, Step 6 — each tab button carries a single
   ``<span class="exec-tab__badge" data-badge data-tab="<slug>"></span>``
   slot. ``tab-badge-bus.js`` writes the count into the slot, toggles
   ``.notice`` / ``.alert`` per caller intent, and clears on tab-button
   click + 2s dwell (NOT bare active-tab clearing — critic patch G19/P19).
   The slot is empty in the server-rendered HTML so terminal scans never
   show stale badge counts.
#}
<h2 id="executive-tablist-label" class="exec-sr-only">Scan dashboard sections</h2>
<div role="tablist"
     aria-labelledby="executive-tablist-label"
     class="exec-tabbar">
  <button id="tab-overview"
          type="button"
          role="tab"
          aria-selected="true"
          aria-controls="tabpanel-overview"
          tabindex="0">Overview<span class="exec-tab__badge" data-badge data-tab="overview"></span></button>
  <button id="tab-findings"
          type="button"
          role="tab"
          aria-selected="false"
          aria-controls="tabpanel-findings"
          tabindex="-1">Findings<span class="exec-tab__badge" data-badge data-tab="findings"></span></button>
  <button id="tab-probes"
          type="button"
          role="tab"
          aria-selected="false"
          aria-controls="tabpanel-probes"
          tabindex="-1">Probes<span class="exec-tab__badge" data-badge data-tab="probes"></span></button>
  <button id="tab-logs"
          type="button"
          role="tab"
          aria-selected="false"
          aria-controls="tabpanel-logs"
          tabindex="-1">Logs<span class="exec-tab__badge" data-badge data-tab="logs"></span></button>
</div>