@canonical/anatomy-dsl 0.5.1 → 0.6.0

package/README.md

@@ -196,12 +196,16 @@ styles:
 ```
 
 The state vocabulary is **closed and registry-governed**: `hover`, `active`,
-`focus`, `disabled`, `selected`. Naming follows the industry consensus where
-systems diverge — `active` subsumes Material's *pressed* and Spectrum's
-*down* (and matches Canonical's own token tree); `focus` maps to CSS
-`:focus-visible` (Spectrum's *key-focus*). `@default` is invalid — absence is
-the default. Candidate additions (`checked`, `visited`, `dragged`, `pending`,
-`error`, `read-only`) go through the registry, never by loosening the schema.
+`focus`, `disabled`, `selected`, `expanded`, `indeterminate`, `invalid`.
+Naming follows the industry consensus where systems diverge — `active`
+subsumes Material's *pressed* and Spectrum's *down* (and matches Canonical's
+own token tree); `focus` maps to CSS `:focus-visible` (Spectrum's
+*key-focus*); `expanded` is a disclosure's open state (`[open]`,
+`aria-expanded`); `indeterminate` is a mixed checkbox or progress bar, on
+neither setting; `invalid` is a failed validation (`:invalid`,
+`aria-invalid`). `@default` is not admitted — absence is the default.
+Candidate additions (`checked`, `visited`, `dragged`, `pending`, `error`,
+`read-only`) go through the registry, never by loosening the schema.
 
 The boundaries that keep "state machines out of scope" true:
 

package/definitions/ontology.ttl

@@ -340,13 +340,17 @@ anatomy:styleState a owl:DatatypeProperty ;
     rdfs:range xsd:string ;
     skos:definition """Interaction state this style value applies in. Absent
     means the default state. Closed vocabulary (hover, active, focus,
-    disabled, selected), governed by registry — 'active' subsumes Material's
-    'pressed' and Spectrum's 'down'; 'focus' maps to CSS :focus-visible
-    (Spectrum's 'key-focus'). States re-value style channels only: they never
+    disabled, selected, expanded, indeterminate, invalid), governed by
+    registry — 'active' subsumes Material's 'pressed' and Spectrum's 'down';
+    'focus' maps to CSS :focus-visible (Spectrum's 'key-focus'); 'expanded'
+    is a disclosure's open state ([open], aria-expanded); 'indeterminate' is
+    a mixed checkbox or progress bar; 'invalid' is a failed validation
+    (:invalid, aria-invalid). States re-value style channels only: they never
     add structure (that is the Switch construct) and never define transitions
     or interaction logic (state machines stay out of scope). Authored as an
     @state suffix on the style key.""" ;
-    skos:example "hover" , "active" , "focus" , "disabled" , "selected" .
+    skos:example "hover" , "active" , "focus" , "disabled" , "selected" ,
+                 "expanded" , "indeterminate" , "invalid" .
 
 anatomy:projectionType a owl:DatatypeProperty ;
     rdfs:label "projection type" ;

package/definitions/registry.ttl

@@ -14,7 +14,9 @@
 #                          shapes state that disjunction.
 #   anatomy:tokenNamespace the dotted prefixes whose symbols the key admits,
 #                          multi-valued: N., modifier.N. and surface.N., so a
-#                          channel binding is not a namespace violation.
+#                          channel binding is not a namespace violation. A key
+#                          may admit more than one base namespace, and then it
+#                          carries the three spellings of each.
 #
 # PROVENANCE. The roster is not designed: these 111 keys were measured from
 # the 89 published component stylesheets of
@@ -460,109 +462,109 @@ anatomy:key.spacing.external.block.end
     a anatomy:StyleKey ;
     rdfs:label "spacing.external.block.end" ;
     anatomy:valueKind "either" ;
-    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." .
+    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." , "dimension." , "modifier.dimension." , "surface.dimension." .
 
 anatomy:key.spacing.external.block.start
     a anatomy:StyleKey ;
     rdfs:label "spacing.external.block.start" ;
     anatomy:valueKind "either" ;
-    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." .
+    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." , "dimension." , "modifier.dimension." , "surface.dimension." .
 
 anatomy:key.spacing.external.bottom
     a anatomy:StyleKey ;
     rdfs:label "spacing.external.bottom" ;
     anatomy:valueKind "either" ;
-    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." .
+    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." , "dimension." , "modifier.dimension." , "surface.dimension." .
 
 anatomy:key.spacing.external.inline.end
     a anatomy:StyleKey ;
     rdfs:label "spacing.external.inline.end" ;
     anatomy:valueKind "either" ;
-    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." .
+    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." , "dimension." , "modifier.dimension." , "surface.dimension." .
 
 anatomy:key.spacing.external.inline.start
     a anatomy:StyleKey ;
     rdfs:label "spacing.external.inline.start" ;
     anatomy:valueKind "either" ;
-    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." .
+    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." , "dimension." , "modifier.dimension." , "surface.dimension." .
 
 anatomy:key.spacing.external.left
     a anatomy:StyleKey ;
     rdfs:label "spacing.external.left" ;
     anatomy:valueKind "either" ;
-    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." .
+    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." , "dimension." , "modifier.dimension." , "surface.dimension." .
 
 anatomy:key.spacing.external.right
     a anatomy:StyleKey ;
     rdfs:label "spacing.external.right" ;
     anatomy:valueKind "either" ;
-    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." .
+    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." , "dimension." , "modifier.dimension." , "surface.dimension." .
 
 anatomy:key.spacing.external.top
     a anatomy:StyleKey ;
     rdfs:label "spacing.external.top" ;
     anatomy:valueKind "either" ;
-    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." .
+    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." , "dimension." , "modifier.dimension." , "surface.dimension." .
 
 anatomy:key.spacing.gap
     a anatomy:StyleKey ;
     rdfs:label "spacing.gap" ;
     anatomy:valueKind "either" ;
-    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." .
+    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." , "dimension." , "modifier.dimension." , "surface.dimension." .
 
 anatomy:key.spacing.gap.block
     a anatomy:StyleKey ;
     rdfs:label "spacing.gap.block" ;
     anatomy:valueKind "token" ;
-    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." .
+    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." , "dimension." , "modifier.dimension." , "surface.dimension." .
 
 anatomy:key.spacing.gap.inline
     a anatomy:StyleKey ;
     rdfs:label "spacing.gap.inline" ;
     anatomy:valueKind "token" ;
-    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." .
+    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." , "dimension." , "modifier.dimension." , "surface.dimension." .
 
 anatomy:key.spacing.internal.block.end
     a anatomy:StyleKey ;
     rdfs:label "spacing.internal.block.end" ;
     anatomy:valueKind "either" ;
-    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." .
+    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." , "dimension." , "modifier.dimension." , "surface.dimension." .
 
 anatomy:key.spacing.internal.block.start
     a anatomy:StyleKey ;
     rdfs:label "spacing.internal.block.start" ;
     anatomy:valueKind "either" ;
-    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." .
+    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." , "dimension." , "modifier.dimension." , "surface.dimension." .
 
 anatomy:key.spacing.internal.bottom
     a anatomy:StyleKey ;
     rdfs:label "spacing.internal.bottom" ;
     anatomy:valueKind "either" ;
-    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." .
+    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." , "dimension." , "modifier.dimension." , "surface.dimension." .
 
 anatomy:key.spacing.internal.inline.end
     a anatomy:StyleKey ;
     rdfs:label "spacing.internal.inline.end" ;
     anatomy:valueKind "either" ;
-    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." .
+    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." , "dimension." , "modifier.dimension." , "surface.dimension." .
 
 anatomy:key.spacing.internal.inline.start
     a anatomy:StyleKey ;
     rdfs:label "spacing.internal.inline.start" ;
     anatomy:valueKind "either" ;
-    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." .
+    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." , "dimension." , "modifier.dimension." , "surface.dimension." .
 
 anatomy:key.spacing.internal.left
     a anatomy:StyleKey ;
     rdfs:label "spacing.internal.left" ;
     anatomy:valueKind "either" ;
-    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." .
+    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." , "dimension." , "modifier.dimension." , "surface.dimension." .
 
 anatomy:key.spacing.internal.top
     a anatomy:StyleKey ;
     rdfs:label "spacing.internal.top" ;
     anatomy:valueKind "either" ;
-    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." .
+    anatomy:tokenNamespace "spacing." , "modifier.spacing." , "surface.spacing." , "dimension." , "modifier.dimension." , "surface.dimension." .
 
 anatomy:key.typography.align
     a anatomy:StyleKey ;

package/definitions/shapes.ttl

@@ -511,6 +511,13 @@ anatomy:StyleShape a sh:NodeShape ;
     # candidates), never through loosening this list ad hoc. There is no
     # "default" state: an absent styleState IS the default.
     #
+    # expanded, indeterminate and invalid entered that way, and the line they
+    # sit on is worth stating: a state is admitted where the implementation
+    # RE-VALUES a channel in it, and refused where it changes what exists. A
+    # disclosure header with a different background while open is the first;
+    # the panel that exists only while open is the second, and stays the
+    # Switch construct's.
+    #
     # A state value that differs from its base state's is a LINT, not a
     # constraint (AT.11): the reference does it — Button's :disabled reads a
     # different symbol — so it is reported with its ranks and never rejected,
@@ -519,8 +526,8 @@ anatomy:StyleShape a sh:NodeShape ;
         sh:path anatomy:styleState ;
         sh:maxCount 1 ;
         sh:datatype xsd:string ;
-        sh:in ( "hover" "active" "focus" "disabled" "selected" ) ;
-        sh:message "styleState must be one of: hover, active, focus, disabled, selected (absent = default state)." ;
+        sh:in ( "hover" "active" "focus" "disabled" "selected" "expanded" "indeterminate" "invalid" ) ;
+        sh:message "styleState must be one of: hover, active, focus, disabled, selected, expanded, indeterminate, invalid (absent = default state)." ;
     ] ;
 
     # BEGIN GENERATED valueKind sh:or — bun run generate:shapes

package/definitions/style-keys.yaml

@@ -49,14 +49,22 @@
 #               needs: `N.`, `modifier.N.` and `surface.N.`, because a
 #               channel of a symbol in `N.` is what the anatomy consumes
 #               where the implementation reads the channel.
+#               A key that admits symbols from more than one namespace
+#               states them as a LIST — `[spacing., dimension.]` — and each
+#               one is projected into its own three spellings, grouped by
+#               namespace and in the order written here. One namespace and
+#               a one-element list mean the same thing; the scalar form is
+#               the ordinary one, and the list says a key really does draw
+#               on two populations.
 #   why:        required on a `primitive` key whose reference values read a
 #               `var()` anyway — a component-local count, an asset — and
 #               emitted as the key's `rdfs:comment`, so the exception is
 #               stated and not silent. Forbidden on a key that takes a token.
 #
-# `spacing.*` keys admit `spacing.` alone and never `dimension.`: the
-# reference binds `dimension.*` there throughout, and that population is
-# the register's to carry rather than the roster's to bless.
+# `spacing.*` keys admit `spacing.` and, for now, `dimension.` too: the
+# reference binds `dimension.*` there throughout, and until semantic spacing
+# lands the roster admits both rather than sending every real binding to the
+# register. The second namespace is temporary and is marked as such below.
 #
 # `motion.` is declared as a namespace though no stratum publishes one yet,
 # so a `motion.duration.fast` binding is admitted and its absence is a
@@ -291,60 +299,64 @@ keys:
     valueKind: either
     namespace: dimension.
 
+  # dimension. is admitted temporarily — the implementations read
+  # `--dimension-*` directly for padding and gaps, and the semantic spacing
+  # namespace is still thin (twelve symbols). Remove `dimension.` here once
+  # semantic spacing lands (ADR J ledger, row G1).
   spacing.external.block.end:
     valueKind: either
-    namespace: spacing.
+    namespace: [spacing., dimension.]
   spacing.external.block.start:
     valueKind: either
-    namespace: spacing.
+    namespace: [spacing., dimension.]
   spacing.external.bottom:
     valueKind: either
-    namespace: spacing.
+    namespace: [spacing., dimension.]
   spacing.external.inline.end:
     valueKind: either
-    namespace: spacing.
+    namespace: [spacing., dimension.]
   spacing.external.inline.start:
     valueKind: either
-    namespace: spacing.
+    namespace: [spacing., dimension.]
   spacing.external.left:
     valueKind: either
-    namespace: spacing.
+    namespace: [spacing., dimension.]
   spacing.external.right:
     valueKind: either
-    namespace: spacing.
+    namespace: [spacing., dimension.]
   spacing.external.top:
     valueKind: either
-    namespace: spacing.
+    namespace: [spacing., dimension.]
   spacing.gap:
     valueKind: either
-    namespace: spacing.
+    namespace: [spacing., dimension.]
   spacing.gap.block:
     valueKind: token
-    namespace: spacing.
+    namespace: [spacing., dimension.]
   spacing.gap.inline:
     valueKind: token
-    namespace: spacing.
+    namespace: [spacing., dimension.]
   spacing.internal.block.end:
     valueKind: either
-    namespace: spacing.
+    namespace: [spacing., dimension.]
   spacing.internal.block.start:
     valueKind: either
-    namespace: spacing.
+    namespace: [spacing., dimension.]
   spacing.internal.bottom:
     valueKind: either
-    namespace: spacing.
+    namespace: [spacing., dimension.]
   spacing.internal.inline.end:
     valueKind: either
-    namespace: spacing.
+    namespace: [spacing., dimension.]
   spacing.internal.inline.start:
     valueKind: either
-    namespace: spacing.
+    namespace: [spacing., dimension.]
   spacing.internal.left:
     valueKind: either
-    namespace: spacing.
+    namespace: [spacing., dimension.]
   spacing.internal.top:
     valueKind: either
-    namespace: spacing.
+    namespace: [spacing., dimension.]
 
   typography.align:
     valueKind: primitive

package/dist/esm/registry.generated.js

@@ -319,75 +319,75 @@ export const STYLE_KEYS = {
     },
     "spacing.external.block.end": {
         valueKind: "either",
-        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing."],
+        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing.", "dimension.", "modifier.dimension.", "surface.dimension."],
     },
     "spacing.external.block.start": {
         valueKind: "either",
-        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing."],
+        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing.", "dimension.", "modifier.dimension.", "surface.dimension."],
     },
     "spacing.external.bottom": {
         valueKind: "either",
-        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing."],
+        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing.", "dimension.", "modifier.dimension.", "surface.dimension."],
     },
     "spacing.external.inline.end": {
         valueKind: "either",
-        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing."],
+        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing.", "dimension.", "modifier.dimension.", "surface.dimension."],
     },
     "spacing.external.inline.start": {
         valueKind: "either",
-        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing."],
+        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing.", "dimension.", "modifier.dimension.", "surface.dimension."],
     },
     "spacing.external.left": {
         valueKind: "either",
-        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing."],
+        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing.", "dimension.", "modifier.dimension.", "surface.dimension."],
     },
     "spacing.external.right": {
         valueKind: "either",
-        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing."],
+        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing.", "dimension.", "modifier.dimension.", "surface.dimension."],
     },
     "spacing.external.top": {
         valueKind: "either",
-        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing."],
+        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing.", "dimension.", "modifier.dimension.", "surface.dimension."],
     },
     "spacing.gap": {
         valueKind: "either",
-        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing."],
+        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing.", "dimension.", "modifier.dimension.", "surface.dimension."],
     },
     "spacing.gap.block": {
         valueKind: "token",
-        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing."],
+        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing.", "dimension.", "modifier.dimension.", "surface.dimension."],
     },
     "spacing.gap.inline": {
         valueKind: "token",
-        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing."],
+        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing.", "dimension.", "modifier.dimension.", "surface.dimension."],
     },
     "spacing.internal.block.end": {
         valueKind: "either",
-        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing."],
+        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing.", "dimension.", "modifier.dimension.", "surface.dimension."],
     },
     "spacing.internal.block.start": {
         valueKind: "either",
-        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing."],
+        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing.", "dimension.", "modifier.dimension.", "surface.dimension."],
     },
     "spacing.internal.bottom": {
         valueKind: "either",
-        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing."],
+        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing.", "dimension.", "modifier.dimension.", "surface.dimension."],
     },
     "spacing.internal.inline.end": {
         valueKind: "either",
-        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing."],
+        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing.", "dimension.", "modifier.dimension.", "surface.dimension."],
     },
     "spacing.internal.inline.start": {
         valueKind: "either",
-        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing."],
+        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing.", "dimension.", "modifier.dimension.", "surface.dimension."],
     },
     "spacing.internal.left": {
         valueKind: "either",
-        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing."],
+        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing.", "dimension.", "modifier.dimension.", "surface.dimension."],
     },
     "spacing.internal.top": {
         valueKind: "either",
-        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing."],
+        tokenNamespace: ["spacing.", "modifier.spacing.", "surface.spacing.", "dimension.", "modifier.dimension.", "surface.dimension."],
     },
     "typography.align": {
         valueKind: "primitive",

package/dist/types/registry.generated.d.ts

@@ -8,7 +8,10 @@ export type ValueKind = "token" | "primitive" | "either";
 export interface StyleKeyEntry {
     /** What the key admits: a symbol, a primitive, or either. */
     readonly valueKind: ValueKind;
-    /** Dotted prefixes whose symbols the key admits, channels included. */
+    /**
+     * Dotted prefixes whose symbols the key admits, channels included. A key
+     * that admits several base namespaces carries the three spellings of each.
+     */
     readonly tokenNamespace: readonly string[];
 }
 /** Segments that mark a value as a placeholder rather than a symbol (§4.1). */

package/dist/types/types.d.ts

@@ -60,9 +60,12 @@ export interface Style {
      */
     symbols: string[];
     /**
-     * Interaction state this value applies in (`hover`, `active`, `focus`,
-     * `disabled`, `selected`). Absent = the default state. Authored as an
-     * `@state` suffix on the style key (`appearance.background@hover`).
+     * Interaction state this value applies in — one of the closed set
+     * `hover`, `active`, `focus`, `disabled`, `selected`, `expanded`,
+     * `indeterminate`, `invalid`. Absent = the default state. Authored as an
+     * `@state` suffix on the style key (`appearance.background@hover`). The
+     * set is closed by the shapes rather than by the parser: the parser splits
+     * the marker off and carries it verbatim.
      */
     state?: string;
 }

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@canonical/anatomy-dsl",
   "description": "Anatomy DSL meta-model: TypeScript types mirroring the OWL ontology, and a YAML-to-Turtle transform",
-  "version": "0.5.1",
+  "version": "0.6.0",
   "type": "module",
   "module": "dist/esm/index.js",
   "types": "dist/types/index.d.ts",