@topogram/cli 0.3.47 → 0.3.49

package/src/validator/index.js

@@ -37,6 +37,16 @@ import {
   UI_NAVIGATION_PATTERNS,
   UI_REGION_KINDS,
   UI_PATTERN_KINDS,
+  UI_APP_SHELL_KINDS,
+  UI_WINDOWING_MODES,
+  UI_STATE_KINDS,
+  UI_DESIGN_DENSITIES,
+  UI_DESIGN_TONES,
+  UI_DESIGN_RADIUS_SCALES,
+  UI_DESIGN_COLOR_ROLES,
+  UI_DESIGN_TYPOGRAPHY_ROLES,
+  UI_DESIGN_ACTION_ROLES,
+  UI_DESIGN_ACCESSIBILITY_VALUES,
   FIELD_SPECS
 } from "./kinds.js";
 import { validateComponent } from "./per-kind/component.js";
@@ -78,6 +88,16 @@ export {
   UI_NAVIGATION_PATTERNS,
   UI_REGION_KINDS,
   UI_PATTERN_KINDS,
+  UI_APP_SHELL_KINDS,
+  UI_WINDOWING_MODES,
+  UI_STATE_KINDS,
+  UI_DESIGN_DENSITIES,
+  UI_DESIGN_TONES,
+  UI_DESIGN_RADIUS_SCALES,
+  UI_DESIGN_COLOR_ROLES,
+  UI_DESIGN_TYPOGRAPHY_ROLES,
+  UI_DESIGN_ACTION_ROLES,
+  UI_DESIGN_ACCESSIBILITY_VALUES,
   FIELD_SPECS
 } from "./kinds.js";
 
@@ -279,7 +299,7 @@ function validateFieldShapes(errors, statement, fieldMap) {
     ensureSingleValueField(errors, statement, fieldMap, key, ["list"]);
   }
 
-  for (const key of ["fields", "props", "events", "slots", "behaviors", "keys", "relations", "invariants", "rename", "overrides", "http", "http_errors", "http_fields", "http_responses", "http_preconditions", "http_idempotency", "http_cache", "http_delete", "http_async", "http_status", "http_download", "http_authz", "http_callbacks", "ui_screens", "ui_collections", "ui_actions", "ui_visibility", "ui_lookups", "ui_routes", "ui_web", "ui_ios", "ui_app_shell", "ui_navigation", "ui_screen_regions", "ui_components", "db_tables", "db_columns", "db_keys", "db_indexes", "db_relations", "db_lifecycle", "generator_defaults"]) {
+  for (const key of ["fields", "props", "events", "slots", "behaviors", "keys", "relations", "invariants", "rename", "overrides", "http", "http_errors", "http_fields", "http_responses", "http_preconditions", "http_idempotency", "http_cache", "http_delete", "http_async", "http_status", "http_download", "http_authz", "http_callbacks", "ui_screens", "ui_collections", "ui_actions", "ui_visibility", "ui_lookups", "ui_routes", "ui_web", "ui_ios", "ui_app_shell", "ui_navigation", "ui_screen_regions", "ui_components", "ui_design", "db_tables", "db_columns", "db_keys", "db_indexes", "db_relations", "db_lifecycle", "generator_defaults"]) {
     ensureSingleValueField(errors, statement, fieldMap, key, ["block"]);
   }
 
@@ -2320,18 +2340,113 @@ function validateProjectionUiAppShell(errors, statement, fieldMap) {
     }
     seenKeys.add(key);
 
-    if (key === "shell" && !["topbar", "sidebar", "dual_nav", "workspace", "wizard", "bottom_tabs", "split_view", "menu_bar"].includes(value)) {
+    if (key === "shell" && !UI_APP_SHELL_KINDS.has(value)) {
       pushError(errors, `Projection ${statement.id} ui_app_shell has invalid shell '${value}'`, entry.loc);
     }
     if (["global_search", "notifications", "account_menu", "workspace_switcher"].includes(key) && !["true", "false"].includes(value)) {
       pushError(errors, `Projection ${statement.id} ui_app_shell '${key}' must be true or false`, entry.loc);
     }
-    if (key === "windowing" && !["single_window", "multi_window"].includes(value)) {
+    if (key === "windowing" && !UI_WINDOWING_MODES.has(value)) {
       pushError(errors, `Projection ${statement.id} ui_app_shell has invalid windowing '${value}'`, entry.loc);
     }
   }
 }
 
+function validateProjectionUiDesign(errors, statement, fieldMap) {
+  if (statement.kind !== "projection") {
+    return;
+  }
+
+  const designField = fieldMap.get("ui_design")?.[0];
+  if (!designField || designField.value.type !== "block") {
+    return;
+  }
+
+  if (symbolValue(getFieldValue(statement, "platform")) !== "ui_shared") {
+    pushError(errors, `Projection ${statement.id} ui_design belongs on shared UI projections; concrete UI projections inherit semantic design intent through 'realizes'`, designField.loc);
+  }
+
+  for (const entry of designField.value.entries) {
+    const tokens = blockSymbolItems(entry).map((item) => item.value);
+    const [key, value, extra] = tokens;
+
+    if (key === "density") {
+      if (!UI_DESIGN_DENSITIES.has(value || "")) {
+        pushError(errors, `Projection ${statement.id} ui_design density has invalid value '${value}'`, entry.loc);
+      }
+      if (tokens.length !== 2) {
+        pushError(errors, `Projection ${statement.id} ui_design density accepts exactly one value`, entry.loc);
+      }
+      continue;
+    }
+
+    if (key === "tone") {
+      if (!UI_DESIGN_TONES.has(value || "")) {
+        pushError(errors, `Projection ${statement.id} ui_design tone has invalid value '${value}'`, entry.loc);
+      }
+      if (tokens.length !== 2) {
+        pushError(errors, `Projection ${statement.id} ui_design tone accepts exactly one value`, entry.loc);
+      }
+      continue;
+    }
+
+    if (key === "radius_scale") {
+      if (!UI_DESIGN_RADIUS_SCALES.has(value || "")) {
+        pushError(errors, `Projection ${statement.id} ui_design radius_scale has invalid value '${value}'`, entry.loc);
+      }
+      if (tokens.length !== 2) {
+        pushError(errors, `Projection ${statement.id} ui_design radius_scale accepts exactly one value`, entry.loc);
+      }
+      continue;
+    }
+
+    if (key === "color_role") {
+      if (!UI_DESIGN_COLOR_ROLES.has(value || "")) {
+        pushError(errors, `Projection ${statement.id} ui_design color_role has invalid role '${value}'`, entry.loc);
+      }
+      if (tokens.length !== 3) {
+        pushError(errors, `Projection ${statement.id} ui_design color_role must use 'color_role <role> <semantic-token>'`, entry.loc);
+      }
+      continue;
+    }
+
+    if (key === "typography_role") {
+      if (!UI_DESIGN_TYPOGRAPHY_ROLES.has(value || "")) {
+        pushError(errors, `Projection ${statement.id} ui_design typography_role has invalid role '${value}'`, entry.loc);
+      }
+      if (tokens.length !== 3) {
+        pushError(errors, `Projection ${statement.id} ui_design typography_role must use 'typography_role <role> <semantic-token>'`, entry.loc);
+      }
+      continue;
+    }
+
+    if (key === "action_role") {
+      if (!UI_DESIGN_ACTION_ROLES.has(value || "")) {
+        pushError(errors, `Projection ${statement.id} ui_design action_role has invalid role '${value}'`, entry.loc);
+      }
+      if (tokens.length !== 3) {
+        pushError(errors, `Projection ${statement.id} ui_design action_role must use 'action_role <role> <semantic-token>'`, entry.loc);
+      }
+      continue;
+    }
+
+    if (key === "accessibility") {
+      const values = UI_DESIGN_ACCESSIBILITY_VALUES[value];
+      if (tokens.length !== 3) {
+        pushError(errors, `Projection ${statement.id} ui_design accessibility must use 'accessibility <setting> <value>'`, entry.loc);
+      }
+      if (!values) {
+        pushError(errors, `Projection ${statement.id} ui_design accessibility has invalid setting '${value}'`, entry.loc);
+      } else if (!values.has(extra || "")) {
+        pushError(errors, `Projection ${statement.id} ui_design accessibility '${value}' has invalid value '${extra}'`, entry.loc);
+      }
+      continue;
+    }
+
+    pushError(errors, `Projection ${statement.id} ui_design has unknown key '${key}'`, entry.loc);
+  }
+}
+
 function validateProjectionUiNavigation(errors, statement, fieldMap, registry) {
   if (statement.kind !== "projection") {
     return;
@@ -2458,7 +2573,7 @@ function validateProjectionUiScreenRegions(errors, statement, fieldMap, registry
     if (directives.has("placement") && !["primary", "secondary", "supporting"].includes(directives.get("placement"))) {
       pushError(errors, `Projection ${statement.id} ui_screen_regions for '${screenId}' has invalid placement '${directives.get("placement")}'`, entry.loc);
     }
-    if (directives.has("state") && !["loading", "empty", "error", "unauthorized", "not_found", "success"].includes(directives.get("state"))) {
+    if (directives.has("state") && !UI_STATE_KINDS.has(directives.get("state"))) {
       pushError(errors, `Projection ${statement.id} ui_screen_regions for '${screenId}' has invalid state '${directives.get("state")}'`, entry.loc);
     }
   }
@@ -2474,6 +2589,10 @@ function validateProjectionUiComponents(errors, statement, fieldMap, registry) {
     return;
   }
 
+  if (symbolValue(getFieldValue(statement, "platform")) !== "ui_shared") {
+    pushError(errors, `Projection ${statement.id} ui_components belongs on shared UI projections; concrete UI projections inherit component placement through 'realizes'`, componentsField.loc);
+  }
+
   const availableScreens = collectAvailableUiScreenIds(statement, fieldMap, registry);
   const availableRegions = collectAvailableUiRegionKeys(statement, registry);
   const availableRegionPatterns = collectAvailableUiRegionPatterns(statement, registry);
@@ -3387,6 +3506,7 @@ export function validateWorkspace(workspaceAst) {
       validateProjectionUiLookups(errors, statement, fieldMap, registry);
       validateProjectionUiRoutes(errors, statement, fieldMap, registry);
       validateProjectionUiAppShell(errors, statement, fieldMap);
+      validateProjectionUiDesign(errors, statement, fieldMap);
       validateProjectionUiNavigation(errors, statement, fieldMap, registry);
       validateProjectionUiScreenRegions(errors, statement, fieldMap, registry);
       validateProjectionUiComponents(errors, statement, fieldMap, registry);

package/src/validator/kinds.js

@@ -74,58 +74,26 @@ export const STATUS_SETS_BY_KIND = {
   bug: BUG_STATUSES
 };
 export const VERIFICATION_METHODS = new Set(["smoke", "runtime", "contract", "journey", "manual"]);
-export const UI_SCREEN_KINDS = new Set(["list", "detail", "form", "dashboard", "job_status", "board", "calendar", "feed", "inbox", "settings", "wizard", "report", "analytics"]);
-export const UI_COLLECTION_PRESENTATIONS = new Set(["table", "data_grid", "cards", "list", "board", "calendar", "gallery"]);
-export const UI_NAVIGATION_PATTERNS = new Set([
-  "primary",
-  "tabs",
-  "stack_navigation",
-  "bottom_tabs",
-  "segmented_control",
-  "command_palette",
-  "split_view",
-  "navigation_rail"
-]);
-export const UI_REGION_KINDS = new Set([
-  "hero",
-  "toolbar",
-  "filters",
-  "search",
-  "results",
-  "summary",
-  "metadata",
-  "aside",
-  "related",
-  "activity",
-  "comments",
-  "timeline",
-  "tabs",
-  "bulk_actions",
-  "footer_actions"
-]);
-export const UI_PATTERN_KINDS = new Set([
-  "resource_table",
-  "data_grid_view",
-  "resource_cards",
-  "detail_panel",
-  "edit_form",
-  "lookup_select",
-  "action_bar",
-  "status_badge",
-  "summary_stats",
-  "activity_feed",
-  "comment_thread",
-  "timeline_view",
-  "board_view",
-  "calendar_view",
-  "settings_section",
-  "wizard_stepper",
-  "audit_log",
-  "search_results",
-  "empty_state_panel",
-  "inspector_pane",
-  "master_detail"
-]);
+
+export {
+  UI_APP_SHELL_KINDS,
+  UI_WINDOWING_MODES,
+  UI_SCREEN_KINDS,
+  UI_COLLECTION_PRESENTATIONS,
+  UI_NAVIGATION_PATTERNS,
+  UI_REGION_KINDS,
+  UI_PATTERN_KINDS,
+  UI_ACTION_PRESENTATIONS,
+  UI_STATE_KINDS,
+  UI_PLATFORM_PATTERNS,
+  UI_DESIGN_DENSITIES,
+  UI_DESIGN_TONES,
+  UI_DESIGN_RADIUS_SCALES,
+  UI_DESIGN_COLOR_ROLES,
+  UI_DESIGN_TYPOGRAPHY_ROLES,
+  UI_DESIGN_ACTION_ROLES,
+  UI_DESIGN_ACCESSIBILITY_VALUES
+} from "../ui/taxonomy.js";
 
 // Kinds that may carry an optional singular `domain dom_x` field. Keep this
 // set in sync with the `allowed[]` arrays in FIELD_SPECS below; the cross-kind
@@ -221,6 +189,7 @@ export const FIELD_SPECS = {
       "ui_navigation",
       "ui_screen_regions",
       "ui_components",
+      "ui_design",
       "db_tables",
       "db_columns",
       "db_keys",