Module theme 

The dashboard.* theme element vocabulary (DB.3).

dashboard-mode OWNS these elements — it registers them (and their defaults) against the [ThemeRegistry] in on_activate ([[feedback_mode_owns_its_surface]]). Registration is idempotent by name, so re-activation is safe and always resolves to the same interned ids. Themes override any of them through the normal element-override scopes; the brand colours ship as Literal defaults so the mark reads correctly out of the box under any theme, and the text roles reference palette keys so they reskin naturally.

The ids are consumed by the branding virtual-row provider (DB.4), which resolves them into cell colours.

Structs

DashboardElementIds

Interned ids for the dashboard.* elements, held in a Copy struct so the branding provider (DB.4) reads resolved.get(id) by field.

Constants

BRAND_AMBER

Brand amber — the cursor bar inside the mark.

BRAND_BLUE

Brand blue (assets/lattice-mark.svg).

ELEM_BODY

ELEM_CURSOR

ELEM_KEY

ELEM_LINK

ELEM_LOGO

ELEM_SECTION

ELEM_TAGLINE

ELEM_TITLE

ELEM_VERSION

Functions

register_dashboard_theme_elements

Register the dashboard.* elements + defaults under owner. Idempotent by name; returns the interned ids.