Merge origin/main into wilm: dashboard/fleet console, vuln upgrades, colours

shopdb/__init__.py

@@ -88,7 +88,12 @@ from .plugins import plugin_manager
 # emission never consulted the caller, so a read-only viewer was shown controls
 # over a shop-floor PC that 403 on click. Guests are included, since a signed-out
 # visitor holds whatever the guest role was granted. Additive name, minor bump.
-__contract_version__ = '0.25.0'
+# 0.26.0: dashboard cards may declare 'shortname'. The dashboard merged its
+# per-source cards into one worst-first queue, and a card's 'title' is written
+# as a heading - "Endpoints with crashes or shutdowns" - which as a row badge
+# ran wider than the hostname it qualified. Optional, defaults to the title, so
+# a plugin that does not declare one is unaffected. Additive field, minor bump.
+__contract_version__ = '0.26.0'
 
 # Product release version (see ADR-007). The product version and the
 # plugin-contract version above are distinct series with independent

shopdb/plugins/base.py

@@ -238,6 +238,9 @@ class BasePlugin(ABC):
         Each card: {
             'id': str,          # stable, unique across plugins
             'title': str,       # heading
+            'shortname': str,   # optional: label for this card's rows in the
+                                # merged queue. A title reads as a header and is
+                                # too long as a row badge; defaults to title.
             'endpoint': str,    # API path the card fetches its own data from
             'render': str,      # core renderer: 'exceptions' | 'list' | 'stat'
             'severity': str,    # 'critical' | 'warning' | 'info' - orders cards