@contraagent/elements 0.0.0-stage → 0.1.0

package/src/themes/data.ts

@@ -0,0 +1,433 @@
+// The built-in themes: one value for every colour token, per theme, and the
+// rules that apply them. Plain data and plain functions (no Lit, no DOM at
+// import), so a page, a build script and the documentation site can read them
+// too (`@contraagent/elements/themes`).
+//
+// A theme is a value for each `--ca-*` property (TOKENS, tokens-list.ts) that
+// has no `derive`: `data-ca-theme="<name>"` on an element sets them there (the
+// rules below), so that element, everything inside it (the page's own CSS too)
+// and every element's shadow root read the same properties. A `--ca-*` property
+// set on that element or inside it wins over the theme. With neither, an element
+// shows the contraagent theme (the fallbacks in `tokenStyles`, styles/tokens.ts).
+import { TOKENS } from './tokens-list.js';
+
+/**
+ * The built-in themes, in the order of the monitor's theme control. Each is a
+ * full set of tokens. Sources (all MIT-licensed):
+ * - `contraagent-dark`, `contraagent-light`: this package's own palette, MIT.
+ * - `github-dark`, `github-light`, `high-contrast`: GitHub Primer primitives
+ *   (dark, light and dark high contrast), https://github.com/primer/primitives, MIT, (c) GitHub Inc.
+ * - `one-dark`: Atom One Dark, https://github.com/atom/atom/tree/master/packages/one-dark-syntax, MIT, (c) GitHub Inc.
+ * - `nord`: Nord, https://www.nordtheme.com, MIT, (c) Arctic Ice Studio and Sven Greb.
+ */
+export const THEME_NAMES = ['contraagent-dark', 'contraagent-light', 'github-dark', 'github-light', 'one-dark', 'nord', 'high-contrast'] as const;
+export type ThemeName = (typeof THEME_NAMES)[number];
+/** A reader's choice: a theme, or `system` (contraagent Dark or contraagent Light, as the system's colour scheme). */
+export type ThemeChoice = ThemeName | 'system';
+/** The choices in the monitor's control, in order. */
+export const THEME_CHOICES: readonly ThemeChoice[] = ['contraagent-dark', 'contraagent-light', 'system', 'github-dark', 'github-light', 'one-dark', 'nord', 'high-contrast'];
+/** The themes after the first divider of the control: palettes of code editors. */
+export const EDITOR_THEMES: readonly ThemeName[] = ['github-dark', 'github-light', 'one-dark', 'nord', 'high-contrast'];
+/** The theme for a reader who has not chosen. */
+export const DEFAULT_THEME: ThemeName = 'contraagent-dark';
+/** What `system` shows, by the system's colour scheme. */
+export const SYSTEM_THEMES = { dark: 'contraagent-dark', light: 'contraagent-light' } as const satisfies Record<string, ThemeName>;
+
+
+/** The name of every token a theme sets (every token without `derive`). */
+export type ThemeToken =
+  | 'backdrop' | 'bg' | 'card' | 'panel' | 'panel2' | 'raise' | 'well' | 'track' | 'line' | 'line2' | 'shadow'
+  | 'text' | 'text-2' | 'text-muted' | 'accent' | 'focus' | 'focus-width' | 'selection'
+  | 'status-failed' | 'status-attention' | 'status-done' | 'status-running' | 'status-muted' | 'tint'
+  | 'agent' | 'meter' | 'tok-input' | 'tok-cache-read' | 'tok-cache-write' | 'tok-output'
+  | 'series-1' | 'series-2' | 'series-3' | 'series-4' | 'series-5' | 'series-6'
+  | 'code-keyword' | 'code-string' | 'code-number' | 'code-constant' | 'code-comment' | 'code-function' | 'code-type' | 'code-name';
+
+export interface Theme {
+  /** The name the theme control shows; a theme's own name, the same in every language. */
+  label: string;
+  /** Light or dark: the `color-scheme` (native controls, scrollbars) and what `system` picks by. */
+  scheme: 'dark' | 'light';
+  tokens: Record<ThemeToken, string>;
+}
+
+// Where a value differs from its source palette, the comment says so and why
+// (the contrast rules: text 4.5:1 on every surface and tint, 7:1 in high contrast).
+// The series colours are one categorical palette in a fixed order (blue, orange,
+// aqua, yellow, magenta, green), its light steps in a light theme and its dark
+// steps in a dark one. In that order every adjacent pair stays apart for the
+// colour-blind (CVD ΔE ≥ 8.4) and for everyone (ΔE ≥ 19) on each theme's card;
+// some sit under 3:1 against a card, so an element that uses them names each
+// series in words too (a legend, a table). They are never a status.
+export const THEMES: Record<ThemeName, Theme> = {
+  'contraagent-dark': {
+    label: 'contraagent Dark',
+    scheme: 'dark',
+    tokens: {
+      backdrop: 'radial-gradient(1100px 520px at 8% -12%, #10203a 0%, transparent 62%), radial-gradient(900px 480px at 108% 4%, #1b1238 0%, transparent 58%), #060a11',
+      bg: '#060a11',
+      card: '#0f1724',
+      panel: '#0f1724',
+      panel2: '#142034',
+      raise: '#1a2740',
+      well: '#0a111c',
+      track: '#1b273b',
+      line: '#1d2940',
+      line2: '#2b3c58',
+      shadow: '#060a11',
+      text: '#e7edf5',
+      'text-2': '#bcc7d6',
+      'text-muted': '#909db2',
+      accent: '#7aa2ff',
+      focus: '#7aa2ff',
+      'focus-width': '2px',
+      selection: '#7aa2ff4d',
+      'status-failed': '#f87171',
+      'status-attention': '#fbbf24',
+      'status-done': '#34d399',
+      'status-running': '#22d3ee',
+      'status-muted': '#94a3b8',
+      tint: '13%',
+      agent: '#b597fb',
+      meter: '#7d8ba3',
+      'tok-input': '#7c86f5',
+      'tok-cache-read': '#3f4d63',
+      'tok-cache-write': '#8796ad',
+      'tok-output': '#d6b8ff',
+      'series-1': '#3987e5',
+      'series-2': '#d95926',
+      'series-3': '#199e70',
+      'series-4': '#c98500',
+      'series-5': '#d55181',
+      'series-6': '#008300',
+      'code-keyword': '#c4a5ff',
+      'code-string': '#7ee2a8',
+      'code-number': '#f5c26b',
+      'code-constant': '#ff9e64',
+      'code-comment': '#74839a',
+      'code-function': '#7dd3fc',
+      'code-type': '#ffd479',
+      'code-name': '#79b8ff',
+    },
+  },
+  // The same hues as contraagent Dark (accent, statuses, identity, code), with
+  // the lightness and saturation set for a light page.
+  'contraagent-light': {
+    label: 'contraagent Light',
+    scheme: 'light',
+    tokens: {
+      backdrop: 'radial-gradient(1100px 520px at 8% -12%, #dde7fb 0%, transparent 62%), radial-gradient(900px 480px at 108% 4%, #ebe3fa 0%, transparent 58%), #eef2f8',
+      bg: '#eef2f8',
+      card: '#ffffff',
+      panel: '#ffffff',
+      panel2: '#f7f9fc',
+      raise: '#e6ecf5',
+      well: '#f3f6fa',
+      track: '#e1e7f0',
+      line: '#d6dde8',
+      line2: '#b6c2d3',
+      shadow: '#0f172438',
+      text: '#0f1724',
+      'text-2': '#34415a',
+      'text-muted': '#556279',
+      accent: '#2f58d4',
+      focus: '#2f58d4',
+      'focus-width': '2px',
+      selection: '#2f58d42e',
+      'status-failed': '#b8132d',
+      'status-attention': '#6c4801',
+      'status-done': '#026b49',
+      'status-running': '#01525f',
+      'status-muted': '#56637a',
+      tint: '11%',
+      agent: '#6f45c0',
+      meter: '#8a97ab',
+      'tok-input': '#4d4cc8',
+      'tok-cache-read': '#cdd6e3',
+      'tok-cache-write': '#7d8aa0',
+      'tok-output': '#a07ad9',
+      'series-1': '#2a78d6',
+      'series-2': '#eb6834',
+      'series-3': '#1baf7a',
+      'series-4': '#eda100',
+      'series-5': '#e87ba4',
+      'series-6': '#008300',
+      'code-keyword': '#6f49a8',
+      'code-string': '#076b40',
+      'code-number': '#7b5605',
+      'code-constant': '#964605',
+      'code-comment': '#5d6b80',
+      'code-function': '#086586',
+      'code-type': '#785902',
+      'code-name': '#095ea8',
+    },
+  },
+  'github-dark': {
+    label: 'GitHub Dark',
+    scheme: 'dark',
+    tokens: {
+      backdrop: '#010409',
+      bg: '#010409',
+      card: '#0d1117',
+      panel: '#0d1117',
+      panel2: '#151b23',
+      raise: '#212830',
+      well: '#010409',
+      track: '#262c36',
+      line: '#262c36',
+      line2: '#3d444d',
+      shadow: '#010409',
+      text: '#f0f6fc',
+      'text-2': '#d1d7e0',
+      'text-muted': '#9299a2',
+      accent: '#4796fb',
+      focus: '#1f6feb',
+      'focus-width': '2px',
+      selection: '#388bfd4d',
+      'status-failed': '#fc554d',
+      'status-attention': '#d29922',
+      'status-done': '#3fb950',
+      'status-running': '#39c5cf',
+      'status-muted': '#9198a1',
+      tint: '15%',
+      agent: '#ab7df8',
+      meter: '#656c76',
+      'tok-input': '#58a6ff',
+      'tok-cache-read': '#2f3742',
+      'tok-cache-write': '#656c76',
+      'tok-output': '#d2a8ff',
+      'series-1': '#3987e5',
+      'series-2': '#d95926',
+      'series-3': '#199e70',
+      'series-4': '#c98500',
+      'series-5': '#d55181',
+      'series-6': '#008300',
+      'code-keyword': '#ff7b72',
+      'code-string': '#a5d6ff',
+      'code-number': '#79c0ff',
+      'code-constant': '#79c0ff',
+      'code-comment': '#9198a1',
+      'code-function': '#d2a8ff',
+      'code-type': '#ffa657',
+      'code-name': '#7ee787',
+    },
+  },
+  'github-light': {
+    label: 'GitHub Light',
+    scheme: 'light',
+    tokens: {
+      backdrop: '#f6f8fa',
+      bg: '#f6f8fa',
+      card: '#ffffff',
+      panel: '#ffffff',
+      panel2: '#ffffff',
+      raise: '#eff2f5',
+      well: '#f6f8fa',
+      track: '#e6eaef',
+      line: '#d1d9e0',
+      line2: '#b7c0ca',
+      shadow: '#1f232833',
+      text: '#1f2328',
+      'text-2': '#393f46',
+      'text-muted': '#59636e',
+      accent: '#0165d6',
+      focus: '#0165d6',
+      'focus-width': '2px',
+      selection: '#0969da33',
+      'status-failed': '#cd1e2b',
+      'status-attention': '#916103',
+      'status-done': '#147b33',
+      'status-running': '#10767d',
+      'status-muted': '#59636e',
+      tint: '8%',
+      agent: '#804ddc',
+      meter: '#818b98',
+      'tok-input': '#54aeff',
+      'tok-cache-read': '#d1d9e0',
+      'tok-cache-write': '#818b98',
+      'tok-output': '#a475f9',
+      'series-1': '#2a78d6',
+      'series-2': '#eb6834',
+      'series-3': '#1baf7a',
+      'series-4': '#eda100',
+      'series-5': '#e87ba4',
+      'series-6': '#008300',
+      'code-keyword': '#cf222e',
+      'code-string': '#0a3069',
+      'code-number': '#0550ae',
+      'code-constant': '#0550ae',
+      'code-comment': '#59636e',
+      'code-function': '#6639ba',
+      'code-type': '#953800',
+      'code-name': '#116329',
+    },
+  },
+  'one-dark': {
+    label: 'One Dark',
+    scheme: 'dark',
+    tokens: {
+      backdrop: '#21252b',
+      bg: '#21252b',
+      card: '#282c34',
+      panel: '#282c34',
+      panel2: '#2c313a',
+      raise: '#2c313a',
+      well: '#21252b',
+      track: '#3a3f4b',
+      line: '#181a1f',
+      line2: '#4b5263',
+      shadow: '#0e1013',
+      text: '#d7dae0',
+      'text-2': '#abb2bf',
+      'text-muted': '#a7afbe',
+      accent: '#64b2f2',
+      focus: '#528bff',
+      'focus-width': '2px',
+      selection: '#3e4451',
+      'status-failed': '#fc858d',
+      'status-attention': '#e5c07b',
+      'status-done': '#98c379',
+      'status-running': '#57b7c3',
+      'status-muted': '#a7afbe',
+      tint: '12%',
+      agent: '#d788ee',
+      meter: '#5c6370',
+      'tok-input': '#61afef',
+      'tok-cache-read': '#3e4451',
+      'tok-cache-write': '#5c6370',
+      'tok-output': '#c678dd',
+      'series-1': '#3987e5',
+      'series-2': '#d95926',
+      'series-3': '#199e70',
+      'series-4': '#c98500',
+      'series-5': '#d55181',
+      'series-6': '#008300',
+      'code-keyword': '#c678dd',
+      'code-string': '#98c379',
+      'code-number': '#d19a66',
+      'code-constant': '#d19a66',
+      'code-comment': '#8f949e',
+      'code-function': '#61afef',
+      'code-type': '#e5c07b',
+      'code-name': '#e36e77',
+    },
+  },
+  nord: {
+    label: 'Nord',
+    scheme: 'dark',
+    tokens: {
+      backdrop: '#2e3440',
+      bg: '#242933',
+      card: '#2e3440',
+      panel: '#2e3440',
+      panel2: '#323946',
+      raise: '#3b4252',
+      well: '#272c36',
+      track: '#3b4252',
+      line: '#3b4252',
+      line2: '#4c566a',
+      shadow: '#1d2129',
+      text: '#eceff4',
+      'text-2': '#d8dee9',
+      'text-muted': '#adbcd9',
+      accent: '#9dbedf',
+      focus: '#88c0d0',
+      'focus-width': '2px',
+      selection: '#4c566a',
+      'status-failed': '#fe9aa1',
+      'status-attention': '#ebcb8b',
+      'status-done': '#a5c18e',
+      'status-running': '#89c1d1',
+      'status-muted': '#adbcd9',
+      tint: '13%',
+      agent: '#d0a9c9',
+      meter: '#7b88a1',
+      'tok-input': '#5e81ac',
+      'tok-cache-read': '#4c566a',
+      'tok-cache-write': '#7b88a1',
+      'tok-output': '#b48ead',
+      'series-1': '#3987e5',
+      'series-2': '#d95926',
+      'series-3': '#199e70',
+      'series-4': '#c98500',
+      'series-5': '#d55181',
+      'series-6': '#008300',
+      'code-keyword': '#81a1c1',
+      'code-string': '#a3be8c',
+      'code-number': '#b790b0',
+      'code-constant': '#d38972',
+      'code-comment': '#8f9db8',
+      'code-function': '#88c0d0',
+      'code-type': '#8fbcbb',
+      'code-name': '#8fbcbb',
+    },
+  },
+  'high-contrast': {
+    label: 'High contrast',
+    scheme: 'dark',
+    tokens: {
+      backdrop: '#010409',
+      bg: '#010409',
+      card: '#0a0c10',
+      panel: '#0a0c10',
+      panel2: '#0a0c10',
+      raise: '#1c2128',
+      well: '#010409',
+      track: '#272b33',
+      line: '#7a828e',
+      line2: '#9ea7b3',
+      shadow: '#000000',
+      text: '#ffffff',
+      'text-2': '#f0f3f6',
+      'text-muted': '#bdc4cc',
+      accent: '#7abbfe',
+      focus: '#7abbfe',
+      'focus-width': '3px',
+      selection: '#409eff66',
+      'status-failed': '#ffacb8',
+      'status-attention': '#fad209',
+      'status-done': '#0ef38e',
+      'status-running': '#62ceff',
+      'status-muted': '#bdc4cc',
+      tint: '12%',
+      agent: '#c299fe',
+      meter: '#9ea7b3',
+      'tok-input': '#409eff',
+      'tok-cache-read': '#525964',
+      'tok-cache-write': '#9ea7b3',
+      'tok-output': '#dbb7ff',
+      'series-1': '#3987e5',
+      'series-2': '#d95926',
+      'series-3': '#199e70',
+      'series-4': '#c98500',
+      'series-5': '#d55181',
+      'series-6': '#008300',
+      'code-keyword': '#ff9492',
+      'code-string': '#addcff',
+      'code-number': '#91cbff',
+      'code-constant': '#91cbff',
+      'code-comment': '#bdc4cc',
+      'code-function': '#dbb7ff',
+      'code-type': '#ffb757',
+      'code-name': '#72f088',
+    },
+  },
+};
+
+const propOf: Readonly<Record<string, string>> = Object.fromEntries(TOKENS.map((t) => [t.name, t.prop]));
+
+/** A theme's selector on a page: `:where()` gives it no specificity, so any rule of the page that sets a `--ca-*` property wins. */
+export const pageThemeSelector = (name: ThemeName): string => `:where([data-ca-theme="${name}"])`;
+
+/**
+ * The rules that apply each theme: each sets `color-scheme`, `--ca-color-scheme`
+ * and the theme's `--ca-*` properties. The selector per theme name is
+ * `pageThemeSelector` unless given; inside a shadow root, `n => `:host([data-ca-theme="${n}"])``.
+ */
+export function themeRules(selector: (name: ThemeName) => string = pageThemeSelector): string {
+  return THEME_NAMES.map((n) => {
+    const t = THEMES[n];
+    const decls = Object.entries(t.tokens).map(([k, v]) => `${propOf[k]}: ${v};`);
+    return `${selector(n)} { color-scheme: ${t.scheme}; --ca-color-scheme: ${t.scheme}; ${decls.join(' ')} }`;
+  }).join('\n');
+}

package/src/themes/index.ts

@@ -0,0 +1,10 @@
+// The themes: `@contraagent/elements/themes`. The data and the choice are plain
+// data and plain functions (data.ts, tokens-list.ts, token-meanings.ts, choice.ts, boot.ts), which
+// a build script or a page can read without the elements; sheet.ts makes them
+// stylesheets.
+export * from './data.js';
+export * from './tokens-list.js';
+export * from './token-meanings.js';
+export * from './choice.js';
+export * from './boot.js';
+export * from './sheet.js';

package/src/themes/sheet.ts

@@ -0,0 +1,29 @@
+// The built-in themes as stylesheets: for a document (or any shadow root that
+// holds the elements), and for an element that applies a theme to itself.
+import { unsafeCSS, type CSSResult } from 'lit';
+import { themeRules } from './data.js';
+
+/**
+ * Applies the theme named by `data-ca-theme` on any element (`<html data-ca-theme="nord">`):
+ * it sets the `--ca-*` properties on that element, for the elements and the page's own CSS.
+ */
+export const themeStyles: CSSResult = unsafeCSS(themeRules());
+
+/** The same rules for a host element: `:host([data-ca-theme="nord"])`. */
+export const hostThemeStyles: CSSResult = unsafeCSS(themeRules((n) => `:host([data-ca-theme="${n}"])`));
+
+const adopted = new WeakSet<Document | ShadowRoot>();
+
+/**
+ * Adds `themeStyles` to a document or a shadow root, once: then `data-ca-theme`
+ * on any element inside it applies that theme. Call it for the page's document,
+ * and for a shadow root of your own that holds the elements and sets
+ * `data-ca-theme` inside it.
+ */
+export function adoptThemes(root: Document | ShadowRoot = document): void {
+  if (adopted.has(root)) return;
+  const sheet = themeStyles.styleSheet;
+  if (!sheet || !('adoptedStyleSheets' in root)) return;
+  root.adoptedStyleSheets = [...root.adoptedStyleSheets, sheet];
+  adopted.add(root);
+}

package/src/themes/token-meanings.ts

@@ -0,0 +1,67 @@
+// What each design token (tokens-list.ts) means, by its name: the site's theme
+// reference shows it beside the token's property and values.
+
+/** Each token's meaning, keyed by its name (`TokenInfo.name`), in the order of `TOKENS`. */
+export const TOKEN_MEANINGS: Readonly<Record<string, string>> = {
+  backdrop: "the monitor's page, behind the panels (a colour or a gradient)",
+  bg: 'the page',
+  card: 'a card or a graph node',
+  panel: 'a panel (bottom of its gradient)',
+  panel2: 'a panel (top of its gradient), a sticky header',
+  raise: 'a raised surface: a neutral chip, a hovered row',
+  well: "a sunken surface: code, a graph's frame",
+  track: 'the empty part of a bar',
+  line: 'a border',
+  line2: "a stronger border, a graph's edge",
+  shadow: 'the colour of a shadow under a panel, a menu or a notice',
+  text: 'text, and every number that is not a problem count',
+  'text-2': 'secondary text',
+  'text-muted': 'labels, captions, units',
+  accent: 'links, the selected tab or item',
+  'accent-bg': 'a selected row or item',
+  focus: 'the focus ring',
+  'focus-width': 'the width of the focus ring',
+  selection: 'selected text',
+  'status-failed': 'failed: a task, an attempt, a check (with ✕)',
+  'status-failed-bg': 'the tint behind a failed pill or chip',
+  'status-attention': 'not failed, needs a look: not started (with ◌), a limit near',
+  'status-attention-bg': 'the tint behind an attention pill or chip',
+  'status-done': 'done or passed: marks (✓) and small chips only',
+  'status-done-bg': 'the tint behind a done pill or chip',
+  'status-running': 'running, live',
+  'status-running-bg': 'the tint behind a running pill or chip',
+  'status-muted': 'skipped, waiting, not run',
+  'status-muted-bg': 'the tint behind a muted pill or chip',
+  tint: 'how strong a tint is: the share of its colour in a status, agent or selected background',
+  agent: "identity: an agent task's icon and edge",
+  'agent-bg': "the tint behind an agent task's icon",
+  meter: 'a bar that measures, not judges: time, usage, progress',
+  'tok-input': 'tokens: input',
+  'tok-cache-read': 'tokens: cache read',
+  'tok-cache-write': 'tokens: cache write',
+  'tok-output': 'tokens: output',
+  'series-1': 'the first of the colours that tell series apart (a model in a share of use), in this order; never a status',
+  'series-2': 'the second series colour',
+  'series-3': 'the third series colour',
+  'series-4': 'the fourth series colour',
+  'series-5': 'the fifth series colour',
+  'series-6': 'the sixth series colour',
+  'code-keyword': 'code: keywords',
+  'code-string': 'code and JSON: strings',
+  'code-number': 'code and JSON: numbers',
+  'code-constant': 'code: constants, template placeholders',
+  'code-comment': 'code: comments',
+  'code-function': 'code: functions, decorators',
+  'code-type': 'code: classes and types',
+  'code-name': 'code: built-ins; JSON: keys',
+  'font-size-xs': 'type: the smallest text, a key or a tag',
+  'font-size-sm': 'type: a chip, a pill, a caption',
+  'font-size-md': 'type: a section heading, a row of facts',
+  'font-size-lg': "type: the monitor's text",
+  'font-size-xl': 'type: a title',
+  'font-size-2xl': "type: a tile's number",
+  'radius-sm': 'corners: a key, a code span',
+  'radius-md': 'corners: a row, a code block',
+  'radius-lg': 'corners: a panel',
+  'radius-pill': 'corners: a pill or a chip',
+};

package/src/themes/tokens-list.ts

@@ -0,0 +1,82 @@
+// The design tokens: every custom property the elements read. The built-in
+// themes (data.ts) set a value for each token without `derive`; the elements'
+// stylesheet (styles/tokens.ts) is built from this list. What each one means is
+// in token-meanings.ts, which the elements do not import.
+
+/**
+ * A token: the short name the elements' styles use (`--<name>`) and the `--ca-*`
+ * property that sets it (`TOKEN_MEANINGS` has its meaning).
+ * A token with `derive` has that value, the same in every theme, unless its
+ * property is set: a value computed from the others, or a fixed size. The
+ * themes do not list it.
+ */
+export interface TokenInfo {
+  name: string;
+  prop: string;
+  derive?: string;
+}
+
+export const TOKENS: readonly TokenInfo[] = [
+  { name: 'backdrop', prop: '--ca-backdrop' },
+  { name: 'bg', prop: '--ca-bg' },
+  { name: 'card', prop: '--ca-card' },
+  { name: 'panel', prop: '--ca-panel' },
+  { name: 'panel2', prop: '--ca-panel2' },
+  { name: 'raise', prop: '--ca-raise' },
+  { name: 'well', prop: '--ca-well' },
+  { name: 'track', prop: '--ca-track' },
+  { name: 'line', prop: '--ca-line' },
+  { name: 'line2', prop: '--ca-line2' },
+  { name: 'shadow', prop: '--ca-shadow' },
+  { name: 'text', prop: '--ca-text' },
+  { name: 'text-2', prop: '--ca-text-secondary' },
+  { name: 'text-muted', prop: '--ca-text-muted' },
+  { name: 'accent', prop: '--ca-accent' },
+  { name: 'accent-bg', prop: '--ca-accent-bg', derive: 'color-mix(in srgb, var(--accent) calc(var(--tint) + 1%), transparent)' },
+  { name: 'focus', prop: '--ca-focus' },
+  { name: 'focus-width', prop: '--ca-focus-width' },
+  { name: 'selection', prop: '--ca-selection' },
+  { name: 'status-failed', prop: '--ca-status-failed' },
+  { name: 'status-failed-bg', prop: '--ca-status-failed-bg', derive: 'color-mix(in srgb, var(--status-failed) var(--tint), transparent)' },
+  { name: 'status-attention', prop: '--ca-status-attention' },
+  { name: 'status-attention-bg', prop: '--ca-status-attention-bg', derive: 'color-mix(in srgb, var(--status-attention) var(--tint), transparent)' },
+  { name: 'status-done', prop: '--ca-status-done' },
+  { name: 'status-done-bg', prop: '--ca-status-done-bg', derive: 'color-mix(in srgb, var(--status-done) var(--tint), transparent)' },
+  { name: 'status-running', prop: '--ca-status-running' },
+  { name: 'status-running-bg', prop: '--ca-status-running-bg', derive: 'color-mix(in srgb, var(--status-running) var(--tint), transparent)' },
+  { name: 'status-muted', prop: '--ca-status-muted' },
+  { name: 'status-muted-bg', prop: '--ca-status-muted-bg', derive: 'color-mix(in srgb, var(--status-muted) calc(var(--tint) - 1%), transparent)' },
+  { name: 'tint', prop: '--ca-tint' },
+  { name: 'agent', prop: '--ca-agent' },
+  { name: 'agent-bg', prop: '--ca-agent-bg', derive: 'color-mix(in srgb, var(--agent) calc(var(--tint) + 2%), transparent)' },
+  { name: 'meter', prop: '--ca-meter' },
+  { name: 'tok-input', prop: '--ca-tok-input' },
+  { name: 'tok-cache-read', prop: '--ca-tok-cache-read' },
+  { name: 'tok-cache-write', prop: '--ca-tok-cache-write' },
+  { name: 'tok-output', prop: '--ca-tok-output' },
+  { name: 'series-1', prop: '--ca-series-1' },
+  { name: 'series-2', prop: '--ca-series-2' },
+  { name: 'series-3', prop: '--ca-series-3' },
+  { name: 'series-4', prop: '--ca-series-4' },
+  { name: 'series-5', prop: '--ca-series-5' },
+  { name: 'series-6', prop: '--ca-series-6' },
+  { name: 'code-keyword', prop: '--ca-code-keyword' },
+  { name: 'code-string', prop: '--ca-code-string' },
+  { name: 'code-number', prop: '--ca-code-number' },
+  { name: 'code-constant', prop: '--ca-code-constant' },
+  { name: 'code-comment', prop: '--ca-code-comment' },
+  { name: 'code-function', prop: '--ca-code-function' },
+  { name: 'code-type', prop: '--ca-code-type' },
+  { name: 'code-name', prop: '--ca-code-name' },
+  // The type and radius scale: the same in every theme, so each has a default and no theme sets it.
+  { name: 'font-size-xs', prop: '--ca-font-size-xs', derive: '10px' },
+  { name: 'font-size-sm', prop: '--ca-font-size-sm', derive: '11px' },
+  { name: 'font-size-md', prop: '--ca-font-size-md', derive: '12px' },
+  { name: 'font-size-lg', prop: '--ca-font-size-lg', derive: '13px' },
+  { name: 'font-size-xl', prop: '--ca-font-size-xl', derive: '15px' },
+  { name: 'font-size-2xl', prop: '--ca-font-size-2xl', derive: '28px' },
+  { name: 'radius-sm', prop: '--ca-radius-sm', derive: '4px' },
+  { name: 'radius-md', prop: '--ca-radius-md', derive: '8px' },
+  { name: 'radius-lg', prop: '--ca-radius-lg', derive: '12px' },
+  { name: 'radius-pill', prop: '--ca-radius-pill', derive: '999px' },
+];

package/src/tiles/index.ts

@@ -0,0 +1,5 @@
+// Figures as tiles: `@contraagent/elements/tiles`. `CaeStatTiles` is registered
+// by `@contraagent/elements/tiles/define`, with the `<cae-count>` it renders.
+export * from './types.js';
+export * from './styles.js';
+export * from './stat-tiles.js';