@ksmv/ui-checks 0.18.1 → 0.20.1

package/CHANGELOG.md

@@ -1,5 +1,19 @@
 # Changelog
 
+## 0.20.1 - 2026-10-14
+
+- **A 0.20.0 não foi publicada.** A verificação da release parou por tempo, na suíte de navegadores, antes de a versão chegar ao npm, e nada mudou no pacote desde então: de 0.19.0, atualize direto para a 0.20.1. A tag `checks-v0.20.0` existe no repositório, mas não tem versão no registro.
+- **Contratos de tema 3.1.0 e de contraste 9.0.0** empacotados. O de tema ganha 113 derivados opcionais e 2 tokens de forma; o de contraste ganha 88 pares (a superfície inversa, a paleta categórica, o aviso e o rótulo de seção, o item de menu e o cartão de rádio, o cabeçalho da tabela e o grupo de alternância, o selo cheio, a bolinha sobre a superfície inversa e a barra). Nenhum par sai, e cada par novo se reduz, com os padrões, a um par que já passava: um tema que não declara nada continua passando. Regras e CLI não mudam. Atualize o `@ksmv/ui-react` junto (ver o CHANGELOG dele).
+- **Quem usa `computedEvidence` precisa capturar a evidência de novo:** os dois contratos mudaram.
+
+## 0.19.0 - 2026-10-13
+
+- **Contratos de tema 3.0.0 e de contraste 8.0.0** empacotados, os dois em `schemaVersion: 2`; um contrato `schemaVersion: 1` passa a ser recusado. Atualize o `@ksmv/ui-react` junto (ver o CHANGELOG dele).
+- **A forma é da biblioteca:** a regra nova `themes/no-shape` aponta, como violação, cada token da lista `shape` que um seletor de tema declarar. Quem migra pode carregar essas violações na baseline enquanto tira as linhas. A validação de densidade sai.
+- **Derivados tipados:** um derivado aponta para outro token ou tem um padrão literal (`transparent` ou uma cor), usado quando o tema não o declara.
+- **Fundo translúcido:** um par do manifesto pode dizer sobre qual superfície está (`over`); um fundo translúcido é composto sobre ela antes da medida. Sem `over`, ele continua cobertura pendente.
+- **Quem usa `computedEvidence` precisa capturar a evidência de novo:** os dois contratos mudaram.
+
 ## 0.18.1 - 2026-10-11
 
 - **A 0.18.0 não foi publicada.** A verificação da release parou por tempo, antes de a versão chegar ao npm, e nada mudou no pacote desde então: de 0.17.0, atualize direto para a 0.18.1. A tag `checks-v0.18.0` existe no repositório, mas não tem versão no registro.

package/README.md

@@ -1,6 +1,6 @@
 # @ksmv/ui-checks
 
-Verificações de qualidade para o contrato semântico `--ui-*` de `@ksmv/ui-react`: completude dos temas, contraste dos pares do contrato (ações, estados, campos, controles e, desde o contrato de contraste `3.0.0`, o texto base sobre as superfícies e, desde o `4.0.0`, a cor de link e, desde o `5.0.0`, a borda das ações e, desde o `6.0.0`, as variantes de ação da 0.17.0 e o botão de texto e, desde o `7.0.0`, os botões da casa da 0.18.1 e o hover por tom do botão de texto), prefixo dos tokens, cores literais fora dos arquivos de tema e evidência calculada vinculada às fontes.
+Verificações de qualidade para o contrato semântico `--ui-*` de `@ksmv/ui-react`: completude dos temas, contraste dos pares do contrato (ações, estados, campos, controles e, desde o contrato de contraste `3.0.0`, o texto base sobre as superfícies e, desde o `4.0.0`, a cor de link e, desde o `5.0.0`, a borda das ações e, desde o `6.0.0`, as variantes de ação da 0.17.0 e o botão de texto e, desde o `7.0.0`, os botões da casa da 0.18.1 e o hover por tom do botão de texto e, desde o `7.1.0`, o texto de hover dos botões suaves e do contorno de aviso e, desde o `9.0.0`, o texto, o limite de controle, o link, o botão de texto e o fantasma sobre a superfície inversa, a paleta categórica, a descrição do diálogo, o giro contra a superfície, o aviso e o rótulo de seção, o item de menu e o cartão de rádio, o cabeçalho da tabela e o grupo de alternância, e o selo cheio, a bolinha sobre a superfície inversa e a barra), prefixo dos tokens, cores literais fora dos arquivos de tema e evidência calculada vinculada às fontes.
 
 ## Antes de depender deste pacote
 
@@ -95,9 +95,9 @@ config Invalid computed theme evidence in artifacts/theme-evidence.json: the the
 
 Depois de atualizar o pacote React, a mensagem traz a versão do contrato da captura e a do contrato instalado; quando faltam tokens ou resta `var(...)`, traz os nomes dos tokens, em ordem, até dez, e a contagem dos demais. A mensagem não repete valores do produto: aparecem só o caminho da evidência e o nome do tema como estão na configuração, nomes de tokens e versões de contrato. Falha ao resolver os contratos também é relatada com a própria causa (`Unable to resolve the configured contract source.`, `Unsupported theme contract.` ou `Unsupported contrast manifest.`).
 
-Tokens opcionais, os derivados e os de marca, podem ficar vazios na captura: é assim que o navegador informa um token que o tema não declarou. Um derivado vazio assume o valor do token de origem, que é o padrão documentado no contrato. Quando a origem também é um derivado, como no peso do botão por tamanho (`--ui-button-font-weight-sm`, `-md` e `-lg` derivam de `--ui-button-font-weight`), a cadeia é seguida até um token declarado. Um derivado que é ponta de um par de contraste, como `--ui-control-checked-bg`, também pode ficar vazio; a captura precisa então do token em que a cadeia dele termina. Sem evidência, `tokens/contrast` segue a mesma cadeia: um derivado que o tema não declara é avaliado pelo valor da origem.
+Tokens opcionais, os derivados e os de marca, podem ficar vazios na captura: é assim que o navegador informa um token que o tema não declarou. Um derivado vazio assume o valor do token de origem, que é o padrão documentado no contrato. Quando a origem também é um derivado, como no texto do hover do contorno de aviso (`--ui-action-warning-outline-text-hover` deriva de `--ui-action-warning-outline-text`, que deriva do contorno de perigo), a cadeia é seguida até um token declarado. Um derivado que é ponta de um par de contraste, como `--ui-control-checked-bg`, também pode ficar vazio; a captura precisa então do token em que a cadeia dele termina. Sem evidência, `tokens/contrast` segue a mesma cadeia: um derivado que o tema não declara é avaliado pelo valor da origem, ou pelo padrão literal do contrato (`transparent`, uma cor). Um par com `over` mede um fundo translúcido composto sobre aquela superfície; sem `over`, um fundo translúcido continua cobertura pendente.
 
-Os tokens de densidade têm o valor conferido por `tokens/complete`: comprimento maior que zero em `px`, `rem` ou `em` para fonte e altura; também `0` para respiro e espaçamento; número sem unidade maior que zero para a entrelinha; em todos esses, também `calc()`, `clamp()`, `min()` ou `max()`; inteiro de 1 a 1000, `normal` ou `bold` para o peso. Com evidência, vale o valor capturado no navegador. Sem evidência, um valor que chega por `var()` é conferido pelo que ele alcança: o token declarado no mesmo tema ou, se não houver, o fallback do próprio `var()`; uma referência que não chega a valor nenhum fica como cobertura pendente. Valor inválido é cobertura obrigatória e não entra em baseline.
+Desde o contrato de tema `3.0.0`, a forma é da biblioteca: a regra `themes/no-shape` aponta, como violação, cada token da lista `shape` do contrato que um seletor de tema declarar. Quem migra de um tema que declarava forma pode carregar essas violações na baseline enquanto tira as linhas.
 
 A captura usa a API pública deste pacote e um navegador à sua escolha. Com Playwright, e a aplicação servida localmente:
 

package/dist/color.d.ts

@@ -6,9 +6,17 @@ export type ColorResolution = {
     status: "uncovered";
 };
 export declare function isColorBearingProperty(property: string): boolean;
+export declare function parsedColor(value: string): {
+    alpha: number | undefined;
+    b: number;
+    g: number;
+    r: number;
+    mode: "rgb";
+} | undefined;
 export declare function containsUnsupportedColorFunction(value: string): boolean;
 export declare function containsLiteralColor(value: string): boolean;
 export declare function referencedTokens(value: string): string[];
 export declare function unresolvedTokenReferences(value: string, tokens: ReadonlyMap<string, string>, stack?: ReadonlySet<string>): string[];
 export declare function resolveColor(value: string | undefined, tokens: ReadonlyMap<string, string>, stack?: ReadonlySet<string>): ColorResolution;
+export declare function composite(foreground: RgbColor, background: RgbColor): RgbColor;
 export declare function contrastRatio(foreground: RgbColor, background: RgbColor): number | undefined;

package/dist/color.js

@@ -37,7 +37,7 @@ export function isColorBearingProperty(property) {
         cssProperty === "text-emphasis" ||
         cssProperty === "column-rule");
 }
-function parsedColor(value) {
+export function parsedColor(value) {
     // culori throws, instead of answering "not a color", on some values Tailwind
     // allows in arbitrary classes, such as calc(100vw-1.5rem).
     let parsed;
@@ -174,7 +174,7 @@ export function resolveColor(value, tokens, stack = new Set()) {
     const color = parsedColor(value.trim());
     return color ? { color, status: "resolved" } : { status: "uncovered" };
 }
-function composite(foreground, background) {
+export function composite(foreground, background) {
     const alpha = foreground.alpha ?? 1;
     return {
         b: foreground.b * alpha + background.b * (1 - alpha),

package/dist/contracts.d.ts

@@ -1,23 +1,41 @@
 export declare const tokenNamePattern: RegExp;
 export type ContractSource = "bundled" | "@ksmv/ui-react";
+/** A derived token's default as the contract file writes it (schema 2). */
+export type DerivedDefault = {
+    kind: "token";
+    token: string;
+} | {
+    kind: "literal";
+    value: string;
+};
+/**
+ * The theme contract as the rules read it: `derived` maps a derived token to
+ * its source token, and `defaults` maps one whose default is a literal color
+ * to that value. `shape` lists the tokens the library declares itself: a
+ * theme does not declare them.
+ */
 export interface ThemeContract {
     brandComposition: string[];
     contractVersion: string;
+    defaults: Record<string, string>;
     derived: Record<string, string>;
     prefix: "--ui-";
     required: string[];
-    schemaVersion: 1;
+    schemaVersion: 2;
+    shape: string[];
 }
 export interface ContrastPair {
     background: string;
     context: string;
     foreground: string;
     minimum: number;
+    /** The surface under a background that may be translucent (schema 2). */
+    over?: string;
 }
 export interface ContrastManifest {
     contractVersion: string;
     pairs: ContrastPair[];
-    schemaVersion: 1;
+    schemaVersion: 2;
 }
 export interface ContractIdentity {
     contractVersion: string;

package/dist/contracts.js

@@ -2,6 +2,7 @@ import { createHash } from "node:crypto";
 import { readFile } from "node:fs/promises";
 import { createRequire } from "node:module";
 import { resolve } from "node:path";
+import { parsedColor, referencedTokens } from "./color.js";
 export const tokenNamePattern = /^--ui-[a-z0-9]+(?:-[a-z0-9]+)*$/;
 /**
  * A failure whose message this package wrote, so a report may repeat it. The
@@ -16,6 +17,21 @@ function exactKeys(value, keys) {
 function isRecord(value) {
     return Boolean(value) && typeof value === "object" && !Array.isArray(value);
 }
+// A literal default is `transparent` or a color the checker can read.
+function isLiteralColor(value) {
+    return typeof value === "string" &&
+        (value === "transparent" || (!referencedTokens(value).length && parsedColor(value) !== undefined));
+}
+function isDerivedDefault(value) {
+    if (!isRecord(value))
+        return false;
+    if (value.kind === "token") {
+        return exactKeys(value, ["kind", "token"]) &&
+            typeof value.token === "string" &&
+            tokenNamePattern.test(value.token);
+    }
+    return value.kind === "literal" && exactKeys(value, ["kind", "value"]) && isLiteralColor(value.value);
+}
 function isTokenList(value) {
     return Array.isArray(value) && value.every((token) => typeof token === "string" && tokenNamePattern.test(token));
 }
@@ -35,8 +51,9 @@ export function parseThemeContract(content) {
             "prefix",
             "required",
             "schemaVersion",
+            "shape",
         ]) ||
-        value.schemaVersion !== 1 ||
+        value.schemaVersion !== 2 ||
         value.prefix !== "--ui-" ||
         typeof value.contractVersion !== "string" ||
         !semverPattern.test(value.contractVersion) ||
@@ -44,13 +61,30 @@ export function parseThemeContract(content) {
         new Set(value.required).size !== value.required.length ||
         !isTokenList(value.brandComposition) ||
         new Set(value.brandComposition).size !== value.brandComposition.length ||
+        !isTokenList(value.shape) ||
+        new Set(value.shape).size !== value.shape.length ||
         !isRecord(value.derived) ||
-        Object.entries(value.derived).some(([token, fallback]) => !tokenNamePattern.test(token) ||
-            typeof fallback !== "string" ||
-            !tokenNamePattern.test(fallback))) {
+        Object.entries(value.derived).some(([token, fallback]) => !tokenNamePattern.test(token) || !isDerivedDefault(fallback))) {
         throw new CheckSetupError("Unsupported theme contract.");
     }
-    return value;
+    const shape = new Set(value.shape);
+    const entries = Object.entries(value.derived);
+    const derived = {};
+    const defaults = {};
+    for (const [token, fallback] of entries) {
+        if (fallback.kind === "token")
+            derived[token] = fallback.token;
+        else
+            defaults[token] = fallback.value;
+    }
+    // A shape token is the library's, never the theme's: it cannot be required,
+    // derived, or the source of a derived token.
+    if (value.required.some((token) => shape.has(token)) ||
+        Object.entries(derived).some(([token, source]) => shape.has(token) || shape.has(source)) ||
+        Object.keys(defaults).some((token) => shape.has(token))) {
+        throw new CheckSetupError("Unsupported theme contract.");
+    }
+    return { ...value, defaults, derived };
 }
 export function parseContrastManifest(content) {
     let value;
@@ -62,7 +96,7 @@ export function parseContrastManifest(content) {
     }
     if (!isRecord(value) ||
         !exactKeys(value, ["contractVersion", "pairs", "schemaVersion"]) ||
-        value.schemaVersion !== 1 ||
+        value.schemaVersion !== 2 ||
         typeof value.contractVersion !== "string" ||
         !semverPattern.test(value.contractVersion) ||
         !Array.isArray(value.pairs)) {
@@ -71,7 +105,9 @@ export function parseContrastManifest(content) {
     const identities = [];
     for (const pair of value.pairs) {
         if (!isRecord(pair) ||
-            !exactKeys(pair, ["background", "context", "foreground", "minimum"]) ||
+            !(exactKeys(pair, ["background", "context", "foreground", "minimum"]) ||
+                (exactKeys(pair, ["background", "context", "foreground", "minimum", "over"]) &&
+                    typeof pair.over === "string" && tokenNamePattern.test(pair.over))) ||
             typeof pair.background !== "string" ||
             !tokenNamePattern.test(pair.background) ||
             typeof pair.foreground !== "string" ||
@@ -83,7 +119,7 @@ export function parseContrastManifest(content) {
             pair.minimum <= 0) {
             throw new CheckSetupError("Unsupported contrast manifest.");
         }
-        identities.push(`${pair.context}\u0000${pair.foreground}\u0000${pair.background}`);
+        identities.push(`${pair.context}\u0000${pair.foreground}\u0000${pair.background}\u0000${pair.over ?? ""}`);
     }
     if (new Set(identities).size !== identities.length) {
         throw new CheckSetupError("Unsupported contrast manifest.");

package/dist/contrast-contract.json

@@ -1,6 +1,6 @@
 {
-  "contractVersion": "7.0.0",
-  "schemaVersion": 1,
+  "contractVersion": "9.0.0",
+  "schemaVersion": 2,
   "pairs": [
     { "foreground": "--ui-action-primary-text", "background": "--ui-action-primary-bg", "minimum": 4.5, "context": "normal-text" },
     { "foreground": "--ui-action-primary-text", "background": "--ui-action-primary-bg-hover", "minimum": 4.5, "context": "normal-text-hover" },
@@ -12,8 +12,12 @@
     { "foreground": "--ui-action-danger-text", "background": "--ui-action-danger-bg-hover", "minimum": 4.5, "context": "normal-text-hover" },
     { "foreground": "--ui-action-danger-text", "background": "--ui-action-danger-bg-active", "minimum": 4.5, "context": "normal-text-active" },
     { "foreground": "--ui-action-ghost-text", "background": "--ui-surface", "minimum": 4.5, "context": "normal-text" },
-    { "foreground": "--ui-action-ghost-text", "background": "--ui-action-ghost-bg-hover", "minimum": 4.5, "context": "normal-text-hover" },
-    { "foreground": "--ui-action-ghost-text", "background": "--ui-action-ghost-bg-active", "minimum": 4.5, "context": "normal-text-active" },
+    { "foreground": "--ui-action-ghost-text-hover", "background": "--ui-action-ghost-bg-hover", "over": "--ui-surface", "minimum": 4.5, "context": "normal-text-hover" },
+    { "foreground": "--ui-action-ghost-text-hover", "background": "--ui-action-ghost-bg-hover", "over": "--ui-surface-raised", "minimum": 4.5, "context": "normal-text-hover-raised" },
+    { "foreground": "--ui-action-ghost-text-hover", "background": "--ui-action-ghost-bg-hover", "over": "--ui-surface-subtle", "minimum": 4.5, "context": "normal-text-hover-subtle" },
+    { "foreground": "--ui-action-ghost-text-hover", "background": "--ui-action-ghost-bg-active", "over": "--ui-surface", "minimum": 4.5, "context": "normal-text-active" },
+    { "foreground": "--ui-action-ghost-text-hover", "background": "--ui-action-ghost-bg-active", "over": "--ui-surface-raised", "minimum": 4.5, "context": "normal-text-active-raised" },
+    { "foreground": "--ui-action-ghost-text-hover", "background": "--ui-action-ghost-bg-active", "over": "--ui-surface-subtle", "minimum": 4.5, "context": "normal-text-active-subtle" },
     { "foreground": "--ui-status-success-text", "background": "--ui-status-success-bg", "minimum": 4.5, "context": "status-text" },
     { "foreground": "--ui-status-success", "background": "--ui-status-success-bg", "minimum": 3, "context": "status-indicator" },
     { "foreground": "--ui-status-warning-text", "background": "--ui-status-warning-bg", "minimum": 4.5, "context": "status-text" },
@@ -26,14 +30,12 @@
     { "foreground": "--ui-status-warning", "background": "--ui-surface", "minimum": 3, "context": "status-indicator-on-surface" },
     { "foreground": "--ui-status-danger", "background": "--ui-surface", "minimum": 3, "context": "status-indicator-on-surface" },
     { "foreground": "--ui-status-info", "background": "--ui-surface", "minimum": 3, "context": "status-indicator-on-surface" },
-    { "foreground": "--ui-status-info", "background": "--ui-border", "minimum": 3, "context": "loading-indicator" },
+    { "foreground": "--ui-loading-indicator-color", "background": "--ui-surface", "minimum": 3, "context": "loading-indicator" },
     { "foreground": "--ui-status-danger-text", "background": "--ui-surface", "minimum": 4.5, "context": "field-error-text" },
     { "foreground": "--ui-status-danger", "background": "--ui-surface", "minimum": 3, "context": "invalid-control-boundary" },
     { "foreground": "--ui-status-info", "background": "--ui-surface-subtle", "minimum": 3, "context": "progress-indicator" },
     { "foreground": "--ui-text-inverse", "background": "--ui-surface-inverse", "minimum": 4.5, "context": "inverse-text" },
     { "foreground": "--ui-border-control", "background": "--ui-surface", "minimum": 3, "context": "control-boundary" },
-    { "foreground": "--ui-focus-ring", "background": "--ui-surface", "minimum": 3, "context": "focus-indicator" },
-    { "foreground": "--ui-focus-ring", "background": "--ui-focus-ring-offset", "minimum": 3, "context": "focus-indicator" },
     { "foreground": "--ui-control-checked-bg", "background": "--ui-surface", "minimum": 3, "context": "checked-control-boundary" },
     { "foreground": "--ui-control-checked-fg", "background": "--ui-control-checked-bg", "minimum": 3, "context": "checked-indicator" },
     { "foreground": "--ui-text-primary", "background": "--ui-surface", "minimum": 4.5, "context": "body-text" },
@@ -46,12 +48,10 @@
     { "foreground": "--ui-link-text", "background": "--ui-surface", "minimum": 4.5, "context": "link-text" },
     { "foreground": "--ui-link-text", "background": "--ui-surface-raised", "minimum": 4.5, "context": "link-text-raised" },
     { "foreground": "--ui-link-text", "background": "--ui-surface-subtle", "minimum": 4.5, "context": "link-text-subtle" },
-    { "foreground": "--ui-action-primary-border", "background": "--ui-surface", "minimum": 3, "context": "action-primary-boundary" },
     { "foreground": "--ui-action-secondary-border", "background": "--ui-surface", "minimum": 3, "context": "action-secondary-boundary" },
-    { "foreground": "--ui-action-danger-border", "background": "--ui-surface", "minimum": 3, "context": "action-danger-boundary" },
     { "foreground": "--ui-action-accent-text", "background": "--ui-surface", "minimum": 4.5, "context": "accent-text" },
-    { "foreground": "--ui-action-accent-text", "background": "--ui-action-accent-bg-hover", "minimum": 4.5, "context": "accent-text-hover" },
-    { "foreground": "--ui-action-accent-text", "background": "--ui-action-accent-bg-active", "minimum": 4.5, "context": "accent-text-active" },
+    { "foreground": "--ui-action-accent-text", "background": "--ui-action-accent-bg-hover", "over": "--ui-surface", "minimum": 4.5, "context": "accent-text-hover" },
+    { "foreground": "--ui-action-accent-text", "background": "--ui-action-accent-bg-active", "over": "--ui-surface", "minimum": 4.5, "context": "accent-text-active" },
     { "foreground": "--ui-action-danger-outline-text", "background": "--ui-surface", "minimum": 4.5, "context": "danger-outline-text" },
     { "foreground": "--ui-action-danger-outline-text", "background": "--ui-action-danger-outline-bg-hover", "minimum": 4.5, "context": "danger-outline-text-hover" },
     { "foreground": "--ui-action-danger-outline-text", "background": "--ui-action-danger-outline-bg-active", "minimum": 4.5, "context": "danger-outline-text-active" },
@@ -68,16 +68,15 @@
     { "foreground": "--ui-text-button-muted-text", "background": "--ui-surface-raised", "minimum": 4.5, "context": "text-button-muted-text-raised" },
     { "foreground": "--ui-text-button-muted-text", "background": "--ui-surface-subtle", "minimum": 4.5, "context": "text-button-muted-text-subtle" },
     { "foreground": "--ui-action-danger-outline-border", "background": "--ui-surface", "minimum": 3, "context": "action-danger-outline-boundary" },
-    { "foreground": "--ui-action-warning-border", "background": "--ui-surface", "minimum": 3, "context": "action-warning-boundary" },
-    { "foreground": "--ui-action-soft-accent-text", "background": "--ui-action-soft-accent-bg", "minimum": 4.5, "context": "soft-accent-text" },
-    { "foreground": "--ui-action-soft-accent-text", "background": "--ui-action-soft-accent-bg-hover", "minimum": 4.5, "context": "soft-accent-text-hover" },
-    { "foreground": "--ui-action-soft-accent-text", "background": "--ui-action-soft-accent-bg-active", "minimum": 4.5, "context": "soft-accent-text-active" },
+    { "foreground": "--ui-action-soft-accent-text", "background": "--ui-action-soft-accent-bg", "over": "--ui-surface", "minimum": 4.5, "context": "soft-accent-text" },
+    { "foreground": "--ui-action-soft-accent-text-hover", "background": "--ui-action-soft-accent-bg-hover", "over": "--ui-surface", "minimum": 4.5, "context": "soft-accent-text-hover" },
+    { "foreground": "--ui-action-soft-accent-text-hover", "background": "--ui-action-soft-accent-bg-active", "over": "--ui-surface", "minimum": 4.5, "context": "soft-accent-text-active" },
     { "foreground": "--ui-action-soft-warning-text", "background": "--ui-action-soft-warning-bg", "minimum": 4.5, "context": "soft-warning-text" },
-    { "foreground": "--ui-action-soft-warning-text", "background": "--ui-action-soft-warning-bg-hover", "minimum": 4.5, "context": "soft-warning-text-hover" },
-    { "foreground": "--ui-action-soft-warning-text", "background": "--ui-action-soft-warning-bg-active", "minimum": 4.5, "context": "soft-warning-text-active" },
+    { "foreground": "--ui-action-soft-warning-text-hover", "background": "--ui-action-soft-warning-bg-hover", "minimum": 4.5, "context": "soft-warning-text-hover" },
+    { "foreground": "--ui-action-soft-warning-text-hover", "background": "--ui-action-soft-warning-bg-active", "minimum": 4.5, "context": "soft-warning-text-active" },
     { "foreground": "--ui-action-warning-outline-text", "background": "--ui-surface", "minimum": 4.5, "context": "warning-outline-text" },
-    { "foreground": "--ui-action-warning-outline-text", "background": "--ui-action-warning-outline-bg-hover", "minimum": 4.5, "context": "warning-outline-text-hover" },
-    { "foreground": "--ui-action-warning-outline-text", "background": "--ui-action-warning-outline-bg-active", "minimum": 4.5, "context": "warning-outline-text-active" },
+    { "foreground": "--ui-action-warning-outline-text-hover", "background": "--ui-action-warning-outline-bg-hover", "minimum": 4.5, "context": "warning-outline-text-hover" },
+    { "foreground": "--ui-action-warning-outline-text-hover", "background": "--ui-action-warning-outline-bg-active", "minimum": 4.5, "context": "warning-outline-text-active" },
     { "foreground": "--ui-text-button-strong-text", "background": "--ui-surface", "minimum": 4.5, "context": "text-button-strong-text" },
     { "foreground": "--ui-text-button-strong-text", "background": "--ui-surface-raised", "minimum": 4.5, "context": "text-button-strong-text-raised" },
     { "foreground": "--ui-text-button-strong-text", "background": "--ui-surface-subtle", "minimum": 4.5, "context": "text-button-strong-text-subtle" },
@@ -95,6 +94,115 @@
     { "foreground": "--ui-text-button-strong-text-hover", "background": "--ui-surface-subtle", "minimum": 4.5, "context": "text-button-strong-text-hover-subtle" },
     { "foreground": "--ui-action-soft-accent-border", "background": "--ui-surface", "minimum": 3, "context": "action-soft-accent-boundary" },
     { "foreground": "--ui-action-soft-warning-border", "background": "--ui-surface", "minimum": 3, "context": "action-soft-warning-boundary" },
-    { "foreground": "--ui-action-warning-outline-border", "background": "--ui-surface", "minimum": 3, "context": "action-warning-outline-boundary" }
+    { "foreground": "--ui-action-warning-outline-border", "background": "--ui-surface", "minimum": 3, "context": "action-warning-outline-boundary" },
+    { "foreground": "--ui-icon-button-ghost-text", "background": "--ui-surface", "minimum": 3, "context": "icon-button-ghost-icon" },
+    { "foreground": "--ui-icon-button-ghost-text", "background": "--ui-surface-raised", "minimum": 3, "context": "icon-button-ghost-icon-raised" },
+    { "foreground": "--ui-icon-button-ghost-text", "background": "--ui-surface-subtle", "minimum": 3, "context": "icon-button-ghost-icon-subtle" },
+    { "foreground": "--ui-icon-button-ghost-text-hover", "background": "--ui-action-ghost-bg-hover", "over": "--ui-surface", "minimum": 3, "context": "icon-button-ghost-icon-hover" },
+    { "foreground": "--ui-icon-button-ghost-text-hover", "background": "--ui-action-ghost-bg-hover", "over": "--ui-surface-raised", "minimum": 3, "context": "icon-button-ghost-icon-hover-raised" },
+    { "foreground": "--ui-icon-button-ghost-text-hover", "background": "--ui-action-ghost-bg-hover", "over": "--ui-surface-subtle", "minimum": 3, "context": "icon-button-ghost-icon-hover-subtle" },
+    { "foreground": "--ui-icon-button-ghost-text-hover", "background": "--ui-action-ghost-bg-active", "over": "--ui-surface", "minimum": 3, "context": "icon-button-ghost-icon-active" },
+    { "foreground": "--ui-icon-button-ghost-text-hover", "background": "--ui-action-ghost-bg-active", "over": "--ui-surface-raised", "minimum": 3, "context": "icon-button-ghost-icon-active-raised" },
+    { "foreground": "--ui-icon-button-ghost-text-hover", "background": "--ui-action-ghost-bg-active", "over": "--ui-surface-subtle", "minimum": 3, "context": "icon-button-ghost-icon-active-subtle" },
+    { "foreground": "--ui-text-primary", "background": "--ui-dialog-header-bg", "minimum": 4.5, "context": "dialog-title" },
+    { "foreground": "--ui-text-primary", "background": "--ui-dialog-header-bg-danger", "minimum": 4.5, "context": "dialog-title-danger" },
+    { "foreground": "--ui-text-primary", "background": "--ui-dialog-header-bg-warning", "minimum": 4.5, "context": "dialog-title-warning" },
+    { "foreground": "--ui-dialog-description", "background": "--ui-dialog-header-bg", "minimum": 4.5, "context": "dialog-description" },
+    { "foreground": "--ui-dialog-description", "background": "--ui-dialog-header-bg-danger", "minimum": 4.5, "context": "dialog-description-danger" },
+    { "foreground": "--ui-dialog-description", "background": "--ui-dialog-header-bg-warning", "minimum": 4.5, "context": "dialog-description-warning" },
+    { "foreground": "--ui-dialog-icon", "background": "--ui-dialog-header-bg", "minimum": 3, "context": "dialog-icon" },
+    { "foreground": "--ui-dialog-icon-danger", "background": "--ui-dialog-header-bg-danger", "minimum": 3, "context": "dialog-icon-danger" },
+    { "foreground": "--ui-dialog-icon-warning", "background": "--ui-dialog-header-bg-warning", "minimum": 3, "context": "dialog-icon-warning" },
+    { "foreground": "--ui-icon-button-ghost-text", "background": "--ui-dialog-header-bg", "minimum": 3, "context": "dialog-close" },
+    { "foreground": "--ui-icon-button-ghost-text", "background": "--ui-dialog-header-bg-danger", "minimum": 3, "context": "dialog-close-danger" },
+    { "foreground": "--ui-icon-button-ghost-text", "background": "--ui-dialog-header-bg-warning", "minimum": 3, "context": "dialog-close-warning" },
+    { "foreground": "--ui-text-primary-on-inverse", "background": "--ui-surface-inverse", "minimum": 4.5, "context": "inverse-body-text" },
+    { "foreground": "--ui-text-secondary-on-inverse", "background": "--ui-surface-inverse", "minimum": 4.5, "context": "inverse-secondary-text" },
+    { "foreground": "--ui-border-control-on-inverse", "background": "--ui-surface-inverse", "minimum": 3, "context": "inverse-control-boundary" },
+    { "foreground": "--ui-link-text-on-inverse", "background": "--ui-surface-inverse", "minimum": 4.5, "context": "inverse-link-text" },
+    { "foreground": "--ui-text-button-text-on-inverse", "background": "--ui-surface-inverse", "minimum": 4.5, "context": "inverse-text-button-text" },
+    { "foreground": "--ui-action-ghost-text-on-inverse", "background": "--ui-surface-inverse", "minimum": 4.5, "context": "inverse-ghost-text" },
+    { "foreground": "--ui-action-ghost-text-hover-on-inverse", "background": "--ui-action-ghost-bg-hover-on-inverse", "over": "--ui-surface-inverse", "minimum": 4.5, "context": "inverse-ghost-text-hover" },
+    { "foreground": "--ui-action-ghost-text-hover-on-inverse", "background": "--ui-action-ghost-bg-active-on-inverse", "over": "--ui-surface-inverse", "minimum": 4.5, "context": "inverse-ghost-text-active" },
+    { "foreground": "--ui-icon-button-ghost-text-on-inverse", "background": "--ui-surface-inverse", "minimum": 3, "context": "inverse-icon-button-ghost-icon" },
+    { "foreground": "--ui-icon-button-ghost-text-on-inverse", "background": "--ui-action-ghost-bg-hover-on-inverse", "over": "--ui-surface-inverse", "minimum": 3, "context": "inverse-icon-button-ghost-icon-hover" },
+    { "foreground": "--ui-icon-button-ghost-text-on-inverse", "background": "--ui-action-ghost-bg-active-on-inverse", "over": "--ui-surface-inverse", "minimum": 3, "context": "inverse-icon-button-ghost-icon-active" },
+    { "foreground": "--ui-category-1", "background": "--ui-surface", "minimum": 3, "context": "category-1-mark" },
+    { "foreground": "--ui-category-1-text", "background": "--ui-category-1-bg", "over": "--ui-surface", "minimum": 4.5, "context": "category-1-text" },
+    { "foreground": "--ui-category-1-on-solid", "background": "--ui-category-1-solid", "minimum": 4.5, "context": "category-1-on-solid" },
+    { "foreground": "--ui-category-2", "background": "--ui-surface", "minimum": 3, "context": "category-2-mark" },
+    { "foreground": "--ui-category-2-text", "background": "--ui-category-2-bg", "over": "--ui-surface", "minimum": 4.5, "context": "category-2-text" },
+    { "foreground": "--ui-category-2-on-solid", "background": "--ui-category-2-solid", "minimum": 4.5, "context": "category-2-on-solid" },
+    { "foreground": "--ui-category-3", "background": "--ui-surface", "minimum": 3, "context": "category-3-mark" },
+    { "foreground": "--ui-category-3-text", "background": "--ui-category-3-bg", "over": "--ui-surface", "minimum": 4.5, "context": "category-3-text" },
+    { "foreground": "--ui-category-3-on-solid", "background": "--ui-category-3-solid", "minimum": 4.5, "context": "category-3-on-solid" },
+    { "foreground": "--ui-category-4", "background": "--ui-surface", "minimum": 3, "context": "category-4-mark" },
+    { "foreground": "--ui-category-4-text", "background": "--ui-category-4-bg", "over": "--ui-surface", "minimum": 4.5, "context": "category-4-text" },
+    { "foreground": "--ui-category-4-on-solid", "background": "--ui-category-4-solid", "minimum": 4.5, "context": "category-4-on-solid" },
+    { "foreground": "--ui-category-5", "background": "--ui-surface", "minimum": 3, "context": "category-5-mark" },
+    { "foreground": "--ui-category-5-text", "background": "--ui-category-5-bg", "over": "--ui-surface", "minimum": 4.5, "context": "category-5-text" },
+    { "foreground": "--ui-category-5-on-solid", "background": "--ui-category-5-solid", "minimum": 4.5, "context": "category-5-on-solid" },
+    { "foreground": "--ui-category-6", "background": "--ui-surface", "minimum": 3, "context": "category-6-mark" },
+    { "foreground": "--ui-category-6-text", "background": "--ui-category-6-bg", "over": "--ui-surface", "minimum": 4.5, "context": "category-6-text" },
+    { "foreground": "--ui-category-6-on-solid", "background": "--ui-category-6-solid", "minimum": 4.5, "context": "category-6-on-solid" },
+    { "foreground": "--ui-category-7", "background": "--ui-surface", "minimum": 3, "context": "category-7-mark" },
+    { "foreground": "--ui-category-7-text", "background": "--ui-category-7-bg", "over": "--ui-surface", "minimum": 4.5, "context": "category-7-text" },
+    { "foreground": "--ui-category-7-on-solid", "background": "--ui-category-7-solid", "minimum": 4.5, "context": "category-7-on-solid" },
+    { "foreground": "--ui-category-8", "background": "--ui-surface", "minimum": 3, "context": "category-8-mark" },
+    { "foreground": "--ui-category-8-text", "background": "--ui-category-8-bg", "over": "--ui-surface", "minimum": 4.5, "context": "category-8-text" },
+    { "foreground": "--ui-category-8-on-solid", "background": "--ui-category-8-solid", "minimum": 4.5, "context": "category-8-on-solid" },
+    { "foreground": "--ui-alert-text", "background": "--ui-surface-subtle", "minimum": 4.5, "context": "alert-text" },
+    { "foreground": "--ui-alert-text-success", "background": "--ui-status-success-bg", "minimum": 4.5, "context": "alert-text-success" },
+    { "foreground": "--ui-alert-text-warning", "background": "--ui-status-warning-bg", "minimum": 4.5, "context": "alert-text-warning" },
+    { "foreground": "--ui-alert-text-danger", "background": "--ui-status-danger-bg", "minimum": 4.5, "context": "alert-text-danger" },
+    { "foreground": "--ui-alert-text-info", "background": "--ui-status-info-bg", "minimum": 4.5, "context": "alert-text-info" },
+    { "foreground": "--ui-alert-dismiss", "background": "--ui-surface-subtle", "minimum": 3, "context": "alert-dismiss" },
+    { "foreground": "--ui-alert-dismiss", "background": "--ui-alert-dismiss-bg-hover", "over": "--ui-surface-subtle", "minimum": 3, "context": "alert-dismiss-hover" },
+    { "foreground": "--ui-alert-dismiss-success", "background": "--ui-status-success-bg", "minimum": 3, "context": "alert-dismiss-success" },
+    { "foreground": "--ui-alert-dismiss-success", "background": "--ui-alert-dismiss-bg-hover", "over": "--ui-status-success-bg", "minimum": 3, "context": "alert-dismiss-success-hover" },
+    { "foreground": "--ui-alert-dismiss-warning", "background": "--ui-status-warning-bg", "minimum": 3, "context": "alert-dismiss-warning" },
+    { "foreground": "--ui-alert-dismiss-warning", "background": "--ui-alert-dismiss-bg-hover", "over": "--ui-status-warning-bg", "minimum": 3, "context": "alert-dismiss-warning-hover" },
+    { "foreground": "--ui-alert-dismiss-danger", "background": "--ui-status-danger-bg", "minimum": 3, "context": "alert-dismiss-danger" },
+    { "foreground": "--ui-alert-dismiss-danger", "background": "--ui-alert-dismiss-bg-hover", "over": "--ui-status-danger-bg", "minimum": 3, "context": "alert-dismiss-danger-hover" },
+    { "foreground": "--ui-alert-dismiss-info", "background": "--ui-status-info-bg", "minimum": 3, "context": "alert-dismiss-info" },
+    { "foreground": "--ui-alert-dismiss-info", "background": "--ui-alert-dismiss-bg-hover", "over": "--ui-status-info-bg", "minimum": 3, "context": "alert-dismiss-info-hover" },
+    { "foreground": "--ui-section-label-text", "background": "--ui-surface", "minimum": 4.5, "context": "section-label-text" },
+    { "foreground": "--ui-section-label-text", "background": "--ui-surface-raised", "minimum": 4.5, "context": "section-label-text-raised" },
+    { "foreground": "--ui-section-label-text", "background": "--ui-surface-subtle", "minimum": 4.5, "context": "section-label-text-subtle" },
+    { "foreground": "--ui-section-label-text-strong", "background": "--ui-surface", "minimum": 4.5, "context": "section-label-text-strong" },
+    { "foreground": "--ui-section-label-text-strong", "background": "--ui-surface-raised", "minimum": 4.5, "context": "section-label-text-strong-raised" },
+    { "foreground": "--ui-section-label-text-strong", "background": "--ui-surface-subtle", "minimum": 4.5, "context": "section-label-text-strong-subtle" },
+    { "foreground": "--ui-section-label-text-danger", "background": "--ui-surface", "minimum": 4.5, "context": "section-label-text-danger" },
+    { "foreground": "--ui-section-label-text-warning", "background": "--ui-surface", "minimum": 4.5, "context": "section-label-text-warning" },
+    { "foreground": "--ui-menu-item-text-accent", "background": "--ui-surface-raised", "minimum": 4.5, "context": "menu-item-text-accent" },
+    { "foreground": "--ui-menu-item-text-brand", "background": "--ui-surface-raised", "minimum": 4.5, "context": "menu-item-text-brand" },
+    { "foreground": "--ui-menu-item-text-warning", "background": "--ui-surface-raised", "minimum": 4.5, "context": "menu-item-text-warning" },
+    { "foreground": "--ui-menu-item-text-danger", "background": "--ui-surface-raised", "minimum": 4.5, "context": "menu-item-text-danger" },
+    { "foreground": "--ui-menu-item-text-info", "background": "--ui-surface-raised", "minimum": 4.5, "context": "menu-item-text-info" },
+    { "foreground": "--ui-text-primary", "background": "--ui-radio-card-checked-bg", "over": "--ui-surface", "minimum": 4.5, "context": "radio-card-text-checked" },
+    { "foreground": "--ui-text-secondary", "background": "--ui-radio-card-checked-bg", "over": "--ui-surface", "minimum": 4.5, "context": "radio-card-description-checked" },
+    { "foreground": "--ui-text-primary", "background": "--ui-radio-card-checked-bg-danger", "over": "--ui-surface", "minimum": 4.5, "context": "radio-card-text-checked-danger" },
+    { "foreground": "--ui-text-secondary", "background": "--ui-radio-card-checked-bg-danger", "over": "--ui-surface", "minimum": 4.5, "context": "radio-card-description-checked-danger" },
+    { "foreground": "--ui-radio-card-checked-border-danger", "background": "--ui-surface", "minimum": 3, "context": "radio-card-border-danger" },
+    { "foreground": "--ui-control-checked-bg", "background": "--ui-radio-card-checked-bg", "over": "--ui-surface", "minimum": 3, "context": "radio-card-checked-border" },
+    { "foreground": "--ui-radio-card-checked-border-danger", "background": "--ui-radio-card-checked-bg-danger", "over": "--ui-surface", "minimum": 3, "context": "radio-card-checked-border-danger" },
+    { "foreground": "--ui-table-header-text", "background": "--ui-surface", "minimum": 4.5, "context": "table-header-text" },
+    { "foreground": "--ui-table-header-text", "background": "--ui-surface-raised", "minimum": 4.5, "context": "table-header-text-raised" },
+    { "foreground": "--ui-table-header-text", "background": "--ui-table-header-bg", "minimum": 4.5, "context": "table-header-text-subtle" },
+    { "foreground": "--ui-toggle-group-checked-text", "background": "--ui-toggle-group-checked-bg", "minimum": 4.5, "context": "toggle-group-checked-text" },
+    { "foreground": "--ui-toggle-group-checked-text", "background": "--ui-toggle-group-checked-bg-hover", "minimum": 4.5, "context": "toggle-group-checked-text-hover" },
+    { "foreground": "--ui-toggle-group-checked-border", "background": "--ui-surface", "minimum": 3, "context": "toggle-group-checked-border" },
+    { "foreground": "--ui-toggle-group-track-text", "background": "--ui-toggle-group-track-bg", "minimum": 4.5, "context": "toggle-group-track-text" },
+    { "foreground": "--ui-toggle-group-segment-text", "background": "--ui-toggle-group-segment-bg", "minimum": 4.5, "context": "toggle-group-segment-text" },
+    { "foreground": "--ui-toggle-group-segment-text", "background": "--ui-toggle-group-track-bg", "minimum": 4.5, "context": "toggle-group-segment-text-hover" },
+    { "foreground": "--ui-toggle-group-segment-border", "background": "--ui-toggle-group-segment-bg", "minimum": 3, "context": "toggle-group-segment-border" },
+    { "foreground": "--ui-badge-solid-accent-text", "background": "--ui-badge-solid-accent-bg", "minimum": 4.5, "context": "badge-solid-accent-text" },
+    { "foreground": "--ui-badge-solid-brand-text", "background": "--ui-badge-solid-brand-bg", "minimum": 4.5, "context": "badge-solid-brand-text" },
+    { "foreground": "--ui-status-success-on-inverse", "background": "--ui-surface-inverse", "minimum": 3, "context": "status-indicator-success-on-inverse" },
+    { "foreground": "--ui-status-warning-on-inverse", "background": "--ui-surface-inverse", "minimum": 3, "context": "status-indicator-warning-on-inverse" },
+    { "foreground": "--ui-status-danger-on-inverse", "background": "--ui-surface-inverse", "minimum": 3, "context": "status-indicator-danger-on-inverse" },
+    { "foreground": "--ui-status-info-on-inverse", "background": "--ui-surface-inverse", "minimum": 3, "context": "status-indicator-info-on-inverse" },
+    { "foreground": "--ui-progress-accent", "background": "--ui-surface-subtle", "minimum": 3, "context": "progress-accent" },
+    { "foreground": "--ui-progress-brand", "background": "--ui-surface-subtle", "minimum": 3, "context": "progress-brand" }
   ]
 }

package/dist/evidence.js

@@ -59,7 +59,11 @@ function isIdentity(value) {
 function requiredEvidenceTokens(contracts) {
     const derived = contracts.theme.derived;
     const required = new Set(contracts.theme.required);
+    const defaults = contracts.theme.defaults;
     const origin = (token, seen = new Set()) => {
+        // A token with a literal default needs no captured value.
+        if (token in defaults)
+            return undefined;
         const source = derived[token];
         if (required.has(token) || source === undefined || seen.has(token))
             return token;
@@ -68,11 +72,10 @@ function requiredEvidenceTokens(contracts) {
     return new Set([
         ...required,
         // A source that is itself derived is optional too; its chain is followed.
-        ...Object.values(derived).filter((source) => !(source in derived)),
-        ...contracts.contrast.pairs.flatMap(({ background, foreground }) => [
-            origin(background),
-            origin(foreground),
-        ]),
+        // A source with a literal default needs no captured value either.
+        ...Object.values(derived).filter((source) => !(source in derived) && !(source in defaults)),
+        ...contracts.contrast.pairs.flatMap(({ background, foreground, over }) => [origin(background), origin(foreground), over === undefined ? undefined : origin(over)]
+            .filter((token) => token !== undefined)),
     ]);
 }
 // Structure only: whether the content agrees with the contracts, the
@@ -127,7 +130,7 @@ export async function loadComputedEvidence({ contracts, evidenceByPath, now = ne
         const requiredTokens = requiredEvidenceTokens(contracts);
         // A token the evidence must carry is never optional, even when the contract
         // also lists it as derived or as a brand token.
-        const optionalTokens = new Set([...Object.keys(contracts.theme.derived), ...contracts.theme.brandComposition]
+        const optionalTokens = new Set([...Object.keys(contracts.theme.derived), ...Object.keys(contracts.theme.defaults), ...contracts.theme.brandComposition]
             .filter((token) => !requiredTokens.has(token)));
         for (const [path, group] of grouped) {
             const refused = (cause) => new CheckSetupError(`Invalid computed theme evidence in ${path}: ${cause}`);
@@ -227,13 +230,15 @@ export async function loadComputedEvidence({ contracts, evidenceByPath, now = ne
                     const value = tokens[token];
                     if (value !== undefined)
                         return value;
+                    if (token in contracts.theme.defaults)
+                        return contracts.theme.defaults[token];
                     const source = contracts.theme.derived[token];
                     if (source === undefined || seen.has(token))
                         return undefined;
                     return derivedValue(source, new Set([...seen, token]));
                 };
                 const underivable = [];
-                for (const token of Object.keys(contracts.theme.derived)) {
+                for (const token of [...Object.keys(contracts.theme.derived), ...Object.keys(contracts.theme.defaults)]) {
                     const value = derivedValue(token, new Set());
                     if (value === undefined)
                         underivable.push(token);

package/dist/rules/default.js

@@ -2,6 +2,7 @@ import { createComponentOverrideRule } from "./componentOverride.js";
 import { createNoLiteralColorRule } from "./noLiteralColor.js";
 import { createTokenCompleteRule, loadThemeContract } from "./tokenComplete.js";
 import { createTokenContrastRule, loadContrastManifest, } from "./tokenContrast.js";
+import { createThemeShapeRule } from "./themeShape.js";
 import { createTokenPrefixRule } from "./tokenPrefix.js";
 export async function createDefaultRules({ components, computed, contract, manifest, themes, }) {
     const [resolvedContract, resolvedManifest] = await Promise.all([
@@ -12,8 +13,10 @@ export async function createDefaultRules({ components, computed, contract, manif
         createNoLiteralColorRule({ themes }),
         createTokenPrefixRule(),
         createTokenCompleteRule({ computed, contract: resolvedContract, themes }),
+        createThemeShapeRule({ contract: resolvedContract, themes }),
         createTokenContrastRule({
             computed,
+            defaults: resolvedContract.defaults,
             derived: resolvedContract.derived,
             manifest: resolvedManifest,
             themes,

package/dist/rules/themeShape.d.ts

@@ -0,0 +1,8 @@
+import type { ThemeContract } from "../contracts.js";
+import type { CheckRule } from "../scan.js";
+import type { ThemeConfig } from "../config.js";
+export interface ThemeShapeOptions {
+    contract: ThemeContract;
+    themes: ThemeConfig[];
+}
+export declare function createThemeShapeRule({ contract, themes }: ThemeShapeOptions): CheckRule;

package/dist/rules/themeShape.js

@@ -0,0 +1,35 @@
+import { createThemeCollector } from "./theme.js";
+// Shape comes from the library (theme contract 3.0.0): a theme declares color.
+// A shape token declared in a theme selector is a violation, which a baseline
+// can carry while a consumer removes the old declarations.
+export function createThemeShapeRule({ contract, themes }) {
+    const collector = createThemeCollector(themes);
+    return {
+        name: "themes/no-shape",
+        begin: collector.begin,
+        check(file) {
+            collector.collect(file);
+            return { uncovered: [], violations: [] };
+        },
+        complete() {
+            const violations = [];
+            for (const theme of collector.themes) {
+                for (const token of contract.shape) {
+                    const declaration = theme.declarations.get(token);
+                    if (!declaration)
+                        continue;
+                    violations.push({
+                        anchor: `${theme.name}:${token}`,
+                        column: declaration.column,
+                        line: declaration.line,
+                        message: `Theme ${theme.name} declares shape token ${token}; shape comes from the library.`,
+                        nodeKind: `theme-shape-token:${token}`,
+                        path: declaration.path,
+                        rule: "themes/no-shape",
+                    });
+                }
+            }
+            return { uncovered: [], violations };
+        },
+    };
+}

package/dist/rules/tokenComplete.js

@@ -1,6 +1,5 @@
 import { unresolvedTokenReferences } from "../color.js";
 import { parseThemeContract, } from "../contracts.js";
-import { densityExpectation, densityTokenKinds, isValidDensityValue, resolveDensityReference, } from "../density.js";
 import { createThemeCollector } from "./theme.js";
 export async function loadThemeContract(url) {
     const { readFile } = await import("node:fs/promises");
@@ -78,7 +77,7 @@ export function createTokenCompleteRule({ computed = {}, contract, themes, }) {
                 // A derived token falls back to its source, and to the source's own
                 // source when that one is derived too, until a declared token.
                 const hasFallback = (token, seen) => {
-                    if (theme.declarations.has(token))
+                    if (theme.declarations.has(token) || token in contract.defaults)
                         return true;
                     const source = contract.derived[token];
                     if (source === undefined || seen.has(token))
@@ -126,38 +125,6 @@ export function createTokenCompleteRule({ computed = {}, contract, themes, }) {
                         }
                     }
                 }
-                // Density values are checked on the value the browser resolved when the
-                // evidence carries it; without evidence, a var() is checked through
-                // what it resolves to in this theme or its own fallback, and one that
-                // resolves to nothing stays with the reference check above. An invalid
-                // value is mandatory coverage, so no baseline can absorb it.
-                for (const [token, kind] of Object.entries(densityTokenKinds)) {
-                    if (!evidenceTokens.has(token))
-                        continue;
-                    const declaration = theme.declarations.get(token);
-                    // A derived token that is not declared here is validated through
-                    // its own source (the fallback token it derives from); reporting
-                    // it again from this theme would just duplicate that diagnostic.
-                    if (token in contract.derived && !declaration)
-                        continue;
-                    const raw = computedTheme[token] ?? declaration?.value;
-                    if (raw === undefined)
-                        continue;
-                    const value = /var\s*\(/iu.test(raw) ? resolveDensityReference(raw, tokens) : raw;
-                    if (value === undefined)
-                        continue;
-                    if (!isValidDensityValue(kind, value)) {
-                        result.uncovered.push({
-                            ...(declaration
-                                ? { column: declaration.column, line: declaration.line, path: declaration.path }
-                                : location),
-                            message: `Theme ${theme.name} has an invalid value for ${token}; expected ${densityExpectation(kind)}.`,
-                            nodeKind: "theme-density-value",
-                            rule: "tokens/complete",
-                            required: true,
-                        });
-                    }
-                }
             }
             return result;
         },

package/dist/rules/tokenContrast.d.ts

@@ -4,9 +4,10 @@ import type { CheckRule } from "../scan.js";
 export type { ContrastManifest, ContrastPair } from "../contracts.js";
 export interface TokenContrastOptions {
     computed?: Record<string, Record<string, string>>;
+    defaults?: Record<string, string>;
     derived?: Record<string, string>;
     manifest: ContrastManifest;
     themes: ThemeConfig[];
 }
 export declare function loadContrastManifest(url?: URL): Promise<ContrastManifest>;
-export declare function createTokenContrastRule({ computed, derived, manifest, themes, }: TokenContrastOptions): CheckRule;
+export declare function createTokenContrastRule({ computed, defaults, derived, manifest, themes, }: TokenContrastOptions): CheckRule;

package/dist/rules/tokenContrast.js

@@ -1,5 +1,5 @@
 import { isComputedPropertyName, isIdentifier, isJsxAttribute, isJsxExpression, isObjectLiteralExpression, isPropertyAssignment, isJsxSpreadAttribute, isStringLiteralLikeNode, } from "typescript/unstable/ast";
-import { contrastRatio, isColorBearingProperty, resolveColor, } from "../color.js";
+import { composite, contrastRatio, isColorBearingProperty, resolveColor, } from "../color.js";
 import { parseContrastManifest, } from "../contracts.js";
 import { createThemeCollector } from "./theme.js";
 export async function loadContrastManifest(url) {
@@ -84,7 +84,7 @@ function dynamicStyleResult(file) {
     sourceFile.forEachChild(visit);
     return result;
 }
-export function createTokenContrastRule({ computed = {}, derived = {}, manifest, themes, }) {
+export function createTokenContrastRule({ computed = {}, defaults = {}, derived = {}, manifest, themes, }) {
     const collector = createThemeCollector(themes);
     return {
         name: "tokens/contrast",
@@ -138,9 +138,22 @@ export function createTokenContrastRule({ computed = {}, derived = {}, manifest,
                         tokens.set(token, `var(${source})`);
                     }
                 }
+                // A literal default (theme contract schema 2) is the value itself.
+                for (const [token, value] of Object.entries(defaults)) {
+                    if (!tokens.has(token))
+                        tokens.set(token, value);
+                }
                 for (const pair of manifest.pairs) {
-                    const background = resolveColor(tokens.get(pair.background), tokens);
+                    let background = resolveColor(tokens.get(pair.background), tokens);
                     const foreground = resolveColor(tokens.get(pair.foreground), tokens);
+                    // A translucent background is measured as painted over the surface
+                    // the pair names (schema 2); without one it stays uncovered below.
+                    if (pair.over && background.status === "resolved" && (background.color.alpha ?? 1) < 1) {
+                        const over = resolveColor(tokens.get(pair.over), tokens);
+                        background = over.status === "resolved" && (over.color.alpha ?? 1) === 1
+                            ? { color: composite(background.color, over.color), status: "resolved" }
+                            : { status: "uncovered" };
+                    }
                     if (background.status === "uncovered" ||
                         foreground.status === "uncovered") {
                         result.uncovered.push({

package/dist/theme-contract.json

@@ -1,6 +1,6 @@
 {
-  "contractVersion": "2.5.0",
-  "schemaVersion": 1,
+  "contractVersion": "3.1.0",
+  "schemaVersion": 2,
   "prefix": "--ui-",
   "required": [
     "--ui-surface-page",
@@ -18,8 +18,6 @@
     "--ui-border-strong",
     "--ui-border-control",
     "--ui-border-disabled",
-    "--ui-focus-ring",
-    "--ui-focus-ring-offset",
     "--ui-overlay",
     "--ui-action-primary-bg",
     "--ui-action-primary-bg-hover",
@@ -51,18 +49,196 @@
     "--ui-disabled-bg",
     "--ui-disabled-text",
     "--ui-disabled-border",
+    "--ui-shadow-sm",
+    "--ui-shadow-md",
+    "--ui-shadow-lg"
+  ],
+  "derived": {
+    "--ui-action-secondary-border": { "kind": "token", "token": "--ui-border-control" },
+    "--ui-status-success-border": { "kind": "token", "token": "--ui-status-success" },
+    "--ui-status-warning-border": { "kind": "token", "token": "--ui-status-warning" },
+    "--ui-status-danger-border": { "kind": "token", "token": "--ui-status-danger" },
+    "--ui-status-info-border": { "kind": "token", "token": "--ui-status-info" },
+    "--ui-control-checked-bg": { "kind": "token", "token": "--ui-action-primary-bg" },
+    "--ui-control-checked-fg": { "kind": "token", "token": "--ui-action-primary-text" },
+    "--ui-link-text": { "kind": "token", "token": "--ui-text-primary" },
+    "--ui-action-accent-text": { "kind": "token", "token": "--ui-action-ghost-text" },
+    "--ui-action-accent-bg-hover": { "kind": "token", "token": "--ui-action-ghost-bg-hover" },
+    "--ui-action-accent-bg-active": { "kind": "token", "token": "--ui-action-ghost-bg-active" },
+    "--ui-action-danger-outline-text": { "kind": "token", "token": "--ui-status-danger-text" },
+    "--ui-action-danger-outline-border": { "kind": "token", "token": "--ui-status-danger" },
+    "--ui-action-danger-outline-bg-hover": { "kind": "token", "token": "--ui-status-danger-bg" },
+    "--ui-action-danger-outline-bg-active": { "kind": "token", "token": "--ui-status-danger-bg" },
+    "--ui-action-warning-bg": { "kind": "token", "token": "--ui-action-danger-bg" },
+    "--ui-action-warning-bg-hover": { "kind": "token", "token": "--ui-action-danger-bg-hover" },
+    "--ui-action-warning-bg-active": { "kind": "token", "token": "--ui-action-danger-bg-active" },
+    "--ui-action-warning-text": { "kind": "token", "token": "--ui-action-danger-text" },
+    "--ui-text-button-text": { "kind": "token", "token": "--ui-link-text" },
+    "--ui-text-button-accent-text": { "kind": "token", "token": "--ui-text-button-text" },
+    "--ui-text-button-muted-text": { "kind": "token", "token": "--ui-text-secondary" },
+    "--ui-action-soft-accent-bg": { "kind": "token", "token": "--ui-action-accent-bg-hover" },
+    "--ui-action-soft-accent-bg-hover": { "kind": "token", "token": "--ui-action-accent-bg-active" },
+    "--ui-action-soft-accent-bg-active": { "kind": "token", "token": "--ui-action-accent-bg-active" },
+    "--ui-action-soft-accent-text": { "kind": "token", "token": "--ui-action-accent-text" },
+    "--ui-action-soft-accent-border": { "kind": "token", "token": "--ui-action-accent-text" },
+    "--ui-action-soft-warning-bg": { "kind": "token", "token": "--ui-status-warning-bg" },
+    "--ui-action-soft-warning-bg-hover": { "kind": "token", "token": "--ui-status-warning-bg" },
+    "--ui-action-soft-warning-bg-active": { "kind": "token", "token": "--ui-status-warning-bg" },
+    "--ui-action-soft-warning-text": { "kind": "token", "token": "--ui-status-warning-text" },
+    "--ui-action-soft-warning-border": { "kind": "token", "token": "--ui-status-warning" },
+    "--ui-action-warning-outline-text": { "kind": "token", "token": "--ui-action-danger-outline-text" },
+    "--ui-action-warning-outline-border": { "kind": "token", "token": "--ui-action-danger-outline-border" },
+    "--ui-action-warning-outline-bg-hover": { "kind": "token", "token": "--ui-action-danger-outline-bg-hover" },
+    "--ui-action-warning-outline-bg-active": { "kind": "token", "token": "--ui-action-danger-outline-bg-active" },
+    "--ui-text-button-strong-text": { "kind": "token", "token": "--ui-text-primary" },
+    "--ui-text-button-text-hover": { "kind": "token", "token": "--ui-text-button-text" },
+    "--ui-text-button-accent-text-hover": { "kind": "token", "token": "--ui-text-button-accent-text" },
+    "--ui-text-button-muted-text-hover": { "kind": "token", "token": "--ui-text-button-muted-text" },
+    "--ui-text-button-strong-text-hover": { "kind": "token", "token": "--ui-text-button-strong-text" },
+    "--ui-action-soft-accent-text-hover": { "kind": "token", "token": "--ui-action-soft-accent-text" },
+    "--ui-action-soft-warning-text-hover": { "kind": "token", "token": "--ui-action-soft-warning-text" },
+    "--ui-action-warning-outline-text-hover": { "kind": "token", "token": "--ui-action-warning-outline-text" },
+    "--ui-field-disabled-bg": { "kind": "token", "token": "--ui-surface-subtle" },
+    "--ui-field-disabled-text": { "kind": "token", "token": "--ui-text-muted" },
+    "--ui-button-shadow-color": { "kind": "literal", "value": "transparent" },
+    "--ui-action-danger-outline-bg": { "kind": "literal", "value": "transparent" },
+    "--ui-action-ghost-text-hover": { "kind": "token", "token": "--ui-action-ghost-text" },
+    "--ui-icon-button-ghost-text": { "kind": "token", "token": "--ui-action-ghost-text" },
+    "--ui-icon-button-ghost-text-hover": { "kind": "token", "token": "--ui-icon-button-ghost-text" },
+    "--ui-loading-indicator-color": { "kind": "token", "token": "--ui-status-info" },
+    "--ui-dialog-header-bg": { "kind": "token", "token": "--ui-surface-subtle" },
+    "--ui-dialog-header-bg-danger": { "kind": "token", "token": "--ui-status-danger-bg" },
+    "--ui-dialog-header-bg-warning": { "kind": "token", "token": "--ui-status-warning-bg" },
+    "--ui-dialog-icon": { "kind": "token", "token": "--ui-text-secondary" },
+    "--ui-dialog-icon-danger": { "kind": "token", "token": "--ui-status-danger" },
+    "--ui-dialog-icon-warning": { "kind": "token", "token": "--ui-status-warning" },
+    "--ui-dialog-footer-bg": { "kind": "token", "token": "--ui-surface-subtle" },
+    "--ui-dialog-footer-border": { "kind": "token", "token": "--ui-border" },
+    "--ui-text-primary-on-inverse": { "kind": "token", "token": "--ui-text-inverse" },
+    "--ui-text-secondary-on-inverse": { "kind": "token", "token": "--ui-text-primary-on-inverse" },
+    "--ui-text-muted-on-inverse": { "kind": "token", "token": "--ui-text-secondary-on-inverse" },
+    "--ui-border-on-inverse": { "kind": "token", "token": "--ui-border-control-on-inverse" },
+    "--ui-border-control-on-inverse": { "kind": "token", "token": "--ui-text-inverse" },
+    "--ui-link-text-on-inverse": { "kind": "token", "token": "--ui-text-primary-on-inverse" },
+    "--ui-text-button-text-on-inverse": { "kind": "token", "token": "--ui-link-text-on-inverse" },
+    "--ui-action-ghost-text-on-inverse": { "kind": "token", "token": "--ui-text-primary-on-inverse" },
+    "--ui-action-ghost-text-hover-on-inverse": { "kind": "token", "token": "--ui-action-ghost-text-on-inverse" },
+    "--ui-action-ghost-bg-hover-on-inverse": { "kind": "literal", "value": "transparent" },
+    "--ui-action-ghost-bg-active-on-inverse": { "kind": "token", "token": "--ui-action-ghost-bg-hover-on-inverse" },
+    "--ui-icon-button-ghost-text-on-inverse": { "kind": "token", "token": "--ui-action-ghost-text-on-inverse" },
+    "--ui-category-1": { "kind": "token", "token": "--ui-border-control" },
+    "--ui-category-1-bg": { "kind": "token", "token": "--ui-surface-subtle" },
+    "--ui-category-1-text": { "kind": "token", "token": "--ui-text-secondary" },
+    "--ui-category-1-border": { "kind": "token", "token": "--ui-border" },
+    "--ui-category-1-solid": { "kind": "token", "token": "--ui-surface-inverse" },
+    "--ui-category-1-on-solid": { "kind": "token", "token": "--ui-text-inverse" },
+    "--ui-category-2": { "kind": "token", "token": "--ui-border-control" },
+    "--ui-category-2-bg": { "kind": "token", "token": "--ui-surface-subtle" },
+    "--ui-category-2-text": { "kind": "token", "token": "--ui-text-secondary" },
+    "--ui-category-2-border": { "kind": "token", "token": "--ui-border" },
+    "--ui-category-2-solid": { "kind": "token", "token": "--ui-surface-inverse" },
+    "--ui-category-2-on-solid": { "kind": "token", "token": "--ui-text-inverse" },
+    "--ui-category-3": { "kind": "token", "token": "--ui-border-control" },
+    "--ui-category-3-bg": { "kind": "token", "token": "--ui-surface-subtle" },
+    "--ui-category-3-text": { "kind": "token", "token": "--ui-text-secondary" },
+    "--ui-category-3-border": { "kind": "token", "token": "--ui-border" },
+    "--ui-category-3-solid": { "kind": "token", "token": "--ui-surface-inverse" },
+    "--ui-category-3-on-solid": { "kind": "token", "token": "--ui-text-inverse" },
+    "--ui-category-4": { "kind": "token", "token": "--ui-border-control" },
+    "--ui-category-4-bg": { "kind": "token", "token": "--ui-surface-subtle" },
+    "--ui-category-4-text": { "kind": "token", "token": "--ui-text-secondary" },
+    "--ui-category-4-border": { "kind": "token", "token": "--ui-border" },
+    "--ui-category-4-solid": { "kind": "token", "token": "--ui-surface-inverse" },
+    "--ui-category-4-on-solid": { "kind": "token", "token": "--ui-text-inverse" },
+    "--ui-category-5": { "kind": "token", "token": "--ui-border-control" },
+    "--ui-category-5-bg": { "kind": "token", "token": "--ui-surface-subtle" },
+    "--ui-category-5-text": { "kind": "token", "token": "--ui-text-secondary" },
+    "--ui-category-5-border": { "kind": "token", "token": "--ui-border" },
+    "--ui-category-5-solid": { "kind": "token", "token": "--ui-surface-inverse" },
+    "--ui-category-5-on-solid": { "kind": "token", "token": "--ui-text-inverse" },
+    "--ui-category-6": { "kind": "token", "token": "--ui-border-control" },
+    "--ui-category-6-bg": { "kind": "token", "token": "--ui-surface-subtle" },
+    "--ui-category-6-text": { "kind": "token", "token": "--ui-text-secondary" },
+    "--ui-category-6-border": { "kind": "token", "token": "--ui-border" },
+    "--ui-category-6-solid": { "kind": "token", "token": "--ui-surface-inverse" },
+    "--ui-category-6-on-solid": { "kind": "token", "token": "--ui-text-inverse" },
+    "--ui-category-7": { "kind": "token", "token": "--ui-border-control" },
+    "--ui-category-7-bg": { "kind": "token", "token": "--ui-surface-subtle" },
+    "--ui-category-7-text": { "kind": "token", "token": "--ui-text-secondary" },
+    "--ui-category-7-border": { "kind": "token", "token": "--ui-border" },
+    "--ui-category-7-solid": { "kind": "token", "token": "--ui-surface-inverse" },
+    "--ui-category-7-on-solid": { "kind": "token", "token": "--ui-text-inverse" },
+    "--ui-category-8": { "kind": "token", "token": "--ui-border-control" },
+    "--ui-category-8-bg": { "kind": "token", "token": "--ui-surface-subtle" },
+    "--ui-category-8-text": { "kind": "token", "token": "--ui-text-secondary" },
+    "--ui-category-8-border": { "kind": "token", "token": "--ui-border" },
+    "--ui-category-8-solid": { "kind": "token", "token": "--ui-surface-inverse" },
+    "--ui-category-8-on-solid": { "kind": "token", "token": "--ui-text-inverse" },
+    "--ui-dialog-description": { "kind": "token", "token": "--ui-text-secondary" },
+    "--ui-alert-text": { "kind": "token", "token": "--ui-text-primary" },
+    "--ui-alert-text-success": { "kind": "token", "token": "--ui-status-success-text" },
+    "--ui-alert-text-warning": { "kind": "token", "token": "--ui-status-warning-text" },
+    "--ui-alert-text-danger": { "kind": "token", "token": "--ui-status-danger-text" },
+    "--ui-alert-text-info": { "kind": "token", "token": "--ui-status-info-text" },
+    "--ui-alert-border": { "kind": "token", "token": "--ui-border" },
+    "--ui-alert-border-success": { "kind": "token", "token": "--ui-status-success-border" },
+    "--ui-alert-border-warning": { "kind": "token", "token": "--ui-status-warning-border" },
+    "--ui-alert-border-danger": { "kind": "token", "token": "--ui-status-danger-border" },
+    "--ui-alert-border-info": { "kind": "token", "token": "--ui-status-info-border" },
+    "--ui-alert-dismiss": { "kind": "token", "token": "--ui-alert-text" },
+    "--ui-alert-dismiss-success": { "kind": "token", "token": "--ui-alert-text-success" },
+    "--ui-alert-dismiss-warning": { "kind": "token", "token": "--ui-alert-text-warning" },
+    "--ui-alert-dismiss-danger": { "kind": "token", "token": "--ui-alert-text-danger" },
+    "--ui-alert-dismiss-info": { "kind": "token", "token": "--ui-alert-text-info" },
+    "--ui-alert-dismiss-bg-hover": { "kind": "literal", "value": "transparent" },
+    "--ui-section-label-text": { "kind": "token", "token": "--ui-text-secondary" },
+    "--ui-section-label-text-danger": { "kind": "token", "token": "--ui-status-danger-text" },
+    "--ui-section-label-text-warning": { "kind": "token", "token": "--ui-action-warning-outline-text" },
+    "--ui-section-label-text-strong": { "kind": "token", "token": "--ui-text-primary" },
+    "--ui-menu-item-text-accent": { "kind": "token", "token": "--ui-text-button-accent-text" },
+    "--ui-menu-item-text-brand": { "kind": "token", "token": "--ui-text-button-text" },
+    "--ui-menu-item-text-warning": { "kind": "token", "token": "--ui-text-primary" },
+    "--ui-menu-item-text-danger": { "kind": "token", "token": "--ui-text-primary" },
+    "--ui-menu-item-text-info": { "kind": "token", "token": "--ui-text-primary" },
+    "--ui-menu-item-icon-bg": { "kind": "token", "token": "--ui-surface-subtle" },
+    "--ui-radio-card-checked-bg": { "kind": "token", "token": "--ui-surface" },
+    "--ui-radio-card-checked-bg-danger": { "kind": "token", "token": "--ui-radio-card-checked-bg" },
+    "--ui-radio-card-checked-border-danger": { "kind": "token", "token": "--ui-status-danger" },
+    "--ui-table-header-text": { "kind": "token", "token": "--ui-text-secondary" },
+    "--ui-table-header-bg": { "kind": "token", "token": "--ui-surface-subtle" },
+    "--ui-table-divider": { "kind": "token", "token": "--ui-border" },
+    "--ui-toggle-group-checked-bg": { "kind": "token", "token": "--ui-action-primary-bg" },
+    "--ui-toggle-group-checked-bg-hover": { "kind": "token", "token": "--ui-action-primary-bg-hover" },
+    "--ui-toggle-group-checked-text": { "kind": "token", "token": "--ui-action-primary-text" },
+    "--ui-toggle-group-checked-border": { "kind": "token", "token": "--ui-control-checked-bg" },
+    "--ui-toggle-group-track-bg": { "kind": "token", "token": "--ui-surface-subtle" },
+    "--ui-toggle-group-track-text": { "kind": "token", "token": "--ui-text-secondary" },
+    "--ui-toggle-group-segment-bg": { "kind": "token", "token": "--ui-surface" },
+    "--ui-toggle-group-segment-text": { "kind": "token", "token": "--ui-text-primary" },
+    "--ui-toggle-group-segment-border": { "kind": "token", "token": "--ui-border-control" },
+    "--ui-badge-solid-accent-bg": { "kind": "token", "token": "--ui-surface-inverse" },
+    "--ui-badge-solid-accent-text": { "kind": "token", "token": "--ui-text-inverse" },
+    "--ui-badge-solid-brand-bg": { "kind": "token", "token": "--ui-action-primary-bg" },
+    "--ui-badge-solid-brand-text": { "kind": "token", "token": "--ui-action-primary-text" },
+    "--ui-status-indicator-muted": { "kind": "token", "token": "--ui-disabled-text" },
+    "--ui-status-success-on-inverse": { "kind": "token", "token": "--ui-border-control-on-inverse" },
+    "--ui-status-warning-on-inverse": { "kind": "token", "token": "--ui-border-control-on-inverse" },
+    "--ui-status-danger-on-inverse": { "kind": "token", "token": "--ui-border-control-on-inverse" },
+    "--ui-status-info-on-inverse": { "kind": "token", "token": "--ui-border-control-on-inverse" },
+    "--ui-progress-accent": { "kind": "token", "token": "--ui-text-button-accent-text" },
+    "--ui-progress-brand": { "kind": "token", "token": "--ui-text-button-text" }
+  },
+  "shape": [
     "--ui-font-body",
     "--ui-font-emphasis",
     "--ui-font-mono",
     "--ui-dialog-title-font",
+    "--ui-font-display",
     "--ui-dialog-title-weight",
     "--ui-radius-sm",
     "--ui-radius-md",
     "--ui-radius-lg",
     "--ui-radius-pill",
-    "--ui-shadow-sm",
-    "--ui-shadow-md",
-    "--ui-shadow-lg",
     "--ui-font-size-xs",
     "--ui-font-size-sm",
     "--ui-font-size-md",
@@ -82,64 +258,21 @@
     "--ui-space-3",
     "--ui-space-4",
     "--ui-space-6",
-    "--ui-space-8"
+    "--ui-space-8",
+    "--ui-field-height",
+    "--ui-dialog-title-font-size",
+    "--ui-button-font-weight",
+    "--ui-button-font-weight-sm",
+    "--ui-button-font-weight-md",
+    "--ui-button-font-weight-lg",
+    "--ui-icon-button-size-xs",
+    "--ui-text-button-font-size-xs",
+    "--ui-field-hint-font-size",
+    "--ui-font-weight-medium",
+    "--ui-font-weight-bold",
+    "--ui-alert-radius",
+    "--ui-alert-padding"
   ],
-  "derived": {
-    "--ui-action-primary-border": "--ui-action-primary-bg",
-    "--ui-action-secondary-border": "--ui-border-control",
-    "--ui-action-danger-border": "--ui-action-danger-bg",
-    "--ui-status-success-border": "--ui-status-success",
-    "--ui-status-warning-border": "--ui-status-warning",
-    "--ui-status-danger-border": "--ui-status-danger",
-    "--ui-status-info-border": "--ui-status-info",
-    "--ui-field-height": "--ui-control-height-md",
-    "--ui-dialog-title-font-size": "--ui-font-size-xl",
-    "--ui-button-font-weight": "--ui-font-weight-strong",
-    "--ui-button-font-weight-sm": "--ui-button-font-weight",
-    "--ui-button-font-weight-md": "--ui-button-font-weight",
-    "--ui-button-font-weight-lg": "--ui-button-font-weight",
-    "--ui-control-checked-bg": "--ui-action-primary-bg",
-    "--ui-control-checked-fg": "--ui-action-primary-text",
-    "--ui-link-text": "--ui-text-primary",
-    "--ui-action-accent-text": "--ui-action-ghost-text",
-    "--ui-action-accent-bg-hover": "--ui-action-ghost-bg-hover",
-    "--ui-action-accent-bg-active": "--ui-action-ghost-bg-active",
-    "--ui-action-danger-outline-text": "--ui-status-danger-text",
-    "--ui-action-danger-outline-border": "--ui-status-danger",
-    "--ui-action-danger-outline-bg-hover": "--ui-status-danger-bg",
-    "--ui-action-danger-outline-bg-active": "--ui-status-danger-bg",
-    "--ui-action-warning-bg": "--ui-action-danger-bg",
-    "--ui-action-warning-bg-hover": "--ui-action-danger-bg-hover",
-    "--ui-action-warning-bg-active": "--ui-action-danger-bg-active",
-    "--ui-action-warning-text": "--ui-action-danger-text",
-    "--ui-action-warning-border": "--ui-action-danger-border",
-    "--ui-text-button-text": "--ui-link-text",
-    "--ui-text-button-accent-text": "--ui-text-button-text",
-    "--ui-text-button-muted-text": "--ui-text-secondary",
-    "--ui-icon-button-size-xs": "--ui-space-6",
-    "--ui-action-soft-accent-bg": "--ui-action-accent-bg-hover",
-    "--ui-action-soft-accent-bg-hover": "--ui-action-accent-bg-active",
-    "--ui-action-soft-accent-bg-active": "--ui-action-accent-bg-active",
-    "--ui-action-soft-accent-text": "--ui-action-accent-text",
-    "--ui-action-soft-accent-border": "--ui-action-accent-text",
-    "--ui-action-soft-warning-bg": "--ui-status-warning-bg",
-    "--ui-action-soft-warning-bg-hover": "--ui-status-warning-bg",
-    "--ui-action-soft-warning-bg-active": "--ui-status-warning-bg",
-    "--ui-action-soft-warning-text": "--ui-status-warning-text",
-    "--ui-action-soft-warning-border": "--ui-status-warning",
-    "--ui-action-warning-outline-text": "--ui-action-danger-outline-text",
-    "--ui-action-warning-outline-border": "--ui-action-danger-outline-border",
-    "--ui-action-warning-outline-bg-hover": "--ui-action-danger-outline-bg-hover",
-    "--ui-action-warning-outline-bg-active": "--ui-action-danger-outline-bg-active",
-    "--ui-text-button-strong-text": "--ui-text-primary",
-    "--ui-text-button-text-hover": "--ui-text-button-text",
-    "--ui-text-button-accent-text-hover": "--ui-text-button-accent-text",
-    "--ui-text-button-muted-text-hover": "--ui-text-button-muted-text",
-    "--ui-text-button-strong-text-hover": "--ui-text-button-strong-text",
-    "--ui-text-button-font-size-xs": "--ui-font-size-xs",
-    "--ui-font-weight-medium": "--ui-font-weight-strong",
-    "--ui-font-weight-bold": "--ui-font-weight-strong"
-  },
   "brandComposition": [
     "--ui-brand-primary",
     "--ui-brand-on-primary",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@ksmv/ui-checks",
-  "version": "0.18.1",
+  "version": "0.20.1",
   "description": "Static and computed quality checks for semantic UI token contracts.",
   "keywords": ["accessibility", "design-tokens", "quality", "static-analysis"],
   "license": "Apache-2.0",

package/dist/density.d.ts

@@ -1,22 +0,0 @@
-export type DensityKind = "control-height" | "font-size" | "font-weight" | "line-height" | "spacing";
-/**
- * The closed list of density tokens whose values the checker validates. It is
- * matched by exact name, never by pattern: `--ui-font-body` or
- * `--ui-shadow-sm` must not be read as lengths.
- */
-export declare const densityTokenKinds: Readonly<Record<string, DensityKind>>;
-export declare function isValidDensityValue(kind: DensityKind, raw: string): boolean;
-/**
- * Human-readable description of what a valid value looks like for the given
- * density kind, used in checker diagnostics. Never echoes the offending
- * value itself.
- */
-export declare function densityExpectation(kind: DensityKind): string;
-/**
- * Resolves a whole-value `var()` reference to the literal it ends in, using
- * the theme's own declarations (and the evidence) first and the reference's
- * fallback second. Returns undefined when the chain does not end in a literal
- * (the reference check reports that) or when it passes through another
- * density token, which is validated on its own.
- */
-export declare function resolveDensityReference(value: string, tokens: ReadonlyMap<string, string>, seen?: ReadonlySet<string>): string | undefined;

package/dist/density.js

@@ -1,103 +0,0 @@
-import valueParser from "postcss-value-parser";
-/**
- * The closed list of density tokens whose values the checker validates. It is
- * matched by exact name, never by pattern: `--ui-font-body` or
- * `--ui-shadow-sm` must not be read as lengths.
- */
-export const densityTokenKinds = Object.freeze({
-    "--ui-font-size-xs": "font-size",
-    "--ui-font-size-sm": "font-size",
-    "--ui-font-size-md": "font-size",
-    "--ui-font-size-lg": "font-size",
-    "--ui-font-size-xl": "font-size",
-    "--ui-font-weight-strong": "font-weight",
-    "--ui-line-height-control": "line-height",
-    "--ui-control-height-sm": "control-height",
-    "--ui-control-height-md": "control-height",
-    "--ui-control-height-lg": "control-height",
-    "--ui-control-padding-inline-sm": "spacing",
-    "--ui-control-padding-inline-md": "spacing",
-    "--ui-control-padding-inline-lg": "spacing",
-    "--ui-space-1": "spacing",
-    "--ui-space-1-5": "spacing",
-    "--ui-space-2": "spacing",
-    "--ui-space-3": "spacing",
-    "--ui-space-4": "spacing",
-    "--ui-space-6": "spacing",
-    "--ui-space-8": "spacing",
-    "--ui-field-height": "control-height",
-    "--ui-dialog-title-font-size": "font-size",
-    "--ui-button-font-weight": "font-weight",
-    "--ui-button-font-weight-sm": "font-weight",
-    "--ui-button-font-weight-md": "font-weight",
-    "--ui-button-font-weight-lg": "font-weight",
-});
-const lengthPattern = /^(?:\d+(?:\.\d+)?|\.\d+)(?:px|rem|em)$/iu;
-const math = /^(?:calc|clamp|min|max)\(.+\)$/iu;
-const unitless = /^(?:\d+(?:\.\d+)?|\.\d+)$/u;
-export function isValidDensityValue(kind, raw) {
-    const value = raw.trim();
-    switch (kind) {
-        case "font-weight": {
-            if (/^(?:normal|bold)$/iu.test(value))
-                return true;
-            if (!/^\d+$/u.test(value))
-                return false;
-            const weight = Number(value);
-            return weight >= 1 && weight <= 1000;
-        }
-        case "line-height":
-            return math.test(value) || (unitless.test(value) && Number(value) > 0);
-        case "spacing":
-            return value === "0" || math.test(value) || lengthPattern.test(value);
-        case "control-height":
-        case "font-size":
-            return math.test(value) || (lengthPattern.test(value) && Number.parseFloat(value) > 0);
-    }
-}
-/**
- * Human-readable description of what a valid value looks like for the given
- * density kind, used in checker diagnostics. Never echoes the offending
- * value itself.
- */
-export function densityExpectation(kind) {
-    switch (kind) {
-        case "control-height":
-        case "font-size":
-            return "a length above zero in px, rem or em, or calc()/clamp()/min()/max()";
-        case "spacing":
-            return "zero or a length in px, rem or em, or calc()/clamp()/min()/max()";
-        case "line-height":
-            return "a unitless number above zero, or calc()/clamp()/min()/max()";
-        case "font-weight":
-            return "an integer from 1 to 1000, normal or bold";
-    }
-}
-/**
- * Resolves a whole-value `var()` reference to the literal it ends in, using
- * the theme's own declarations (and the evidence) first and the reference's
- * fallback second. Returns undefined when the chain does not end in a literal
- * (the reference check reports that) or when it passes through another
- * density token, which is validated on its own.
- */
-export function resolveDensityReference(value, tokens, seen = new Set()) {
-    const trimmed = value.trim();
-    const nodes = valueParser(trimmed).nodes;
-    if (nodes.length !== 1)
-        return undefined;
-    const [node] = nodes;
-    if (node.type !== "function" || node.value.toLowerCase() !== "var")
-        return trimmed;
-    const comma = node.nodes.findIndex((child) => child.type === "div" && child.value === ",");
-    const name = valueParser.stringify(comma === -1 ? node.nodes : node.nodes.slice(0, comma)).trim();
-    const fallback = comma === -1 ? undefined : valueParser.stringify(node.nodes.slice(comma + 1)).trim();
-    if (name in densityTokenKinds || seen.has(name))
-        return undefined;
-    const next = new Set([...seen, name]);
-    const declared = tokens.get(name);
-    if (declared !== undefined)
-        return resolveDensityReference(declared, tokens, next);
-    if (fallback)
-        return resolveDensityReference(fallback, tokens, next);
-    return undefined;
-}