{# 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.
#}
<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</button>
  <button id="tab-findings"
          type="button"
          role="tab"
          aria-selected="false"
          aria-controls="tabpanel-findings"
          tabindex="-1">Findings</button>
  <button id="tab-probes"
          type="button"
          role="tab"
          aria-selected="false"
          aria-controls="tabpanel-probes"
          tabindex="-1">Probes</button>
  <button id="tab-logs"
          type="button"
          role="tab"
          aria-selected="false"
          aria-controls="tabpanel-logs"
          tabindex="-1">Logs</button>
</div>