@canonical/anatomy-dsl 0.5.1 → 0.43.0-experimental.1

package/LICENSE

@@ -0,0 +1,166 @@
+GNU LESSER GENERAL PUBLIC LICENSE
+                       Version 3, 29 June 2007
+
+ Copyright (C) 2007 Free Software Foundation, Inc. <http://fsf.org/>
+ Everyone is permitted to copy and distribute verbatim copies
+ of this license document, but changing it is not allowed.
+
+
+  This version of the GNU Lesser General Public License incorporates
+the terms and conditions of version 3 of the GNU General Public
+License, supplemented by the additional permissions listed below.
+
+  0. Additional Definitions.
+
+  As used herein, "this License" refers to version 3 of the GNU Lesser
+General Public License, and the "GNU GPL" refers to version 3 of the GNU
+General Public License.
+
+  "The Library" refers to a covered work governed by this License,
+other than an Application or a Combined Work as defined below.
+
+  An "Application" is any work that makes use of an interface provided
+by the Library, but which is not otherwise based on the Library.
+Defining a subclass of a class defined by the Library is deemed a mode
+of using an interface provided by the Library.
+
+  A "Combined Work" is a work produced by combining or linking an
+Application with the Library.  The particular version of the Library
+with which the Combined Work was made is also called the "Linked
+Version".
+
+  The "Minimal Corresponding Source" for a Combined Work means the
+Corresponding Source for the Combined Work, excluding any source code
+for portions of the Combined Work that, considered in isolation, are
+based on the Application, and not on the Linked Version.
+
+  The "Corresponding Application Code" for a Combined Work means the
+object code and/or source code for the Application, including any data
+and utility programs needed for reproducing the Combined Work from the
+Application, but excluding the System Libraries of the Combined Work.
+
+  1. Exception to Section 3 of the GNU GPL.
+
+  You may convey a covered work under sections 3 and 4 of this License
+without being bound by section 3 of the GNU GPL.
+
+  2. Conveying Modified Versions.
+
+  If you modify a copy of the Library, and, in your modifications, a
+facility refers to a function or data to be supplied by an Application
+that uses the facility (other than as an argument passed when the
+facility is invoked), then you may convey a copy of the modified
+version:
+
+   a) under this License, provided that you make a good faith effort to
+   ensure that, in the event an Application does not supply the
+   function or data, the facility still operates, and performs
+   whatever part of its purpose remains meaningful, or
+
+   b) under the GNU GPL, with none of the additional permissions of
+   this License applicable to that copy.
+
+  3. Object Code Incorporating Material from Library Header Files.
+
+  The object code form of an Application may incorporate material from
+a header file that is part of the Library.  You may convey such object
+code under terms of your choice, provided that, if the incorporated
+material is not limited to numerical parameters, data structure
+layouts and accessors, or small macros, inline functions and templates
+(ten or fewer lines in length), you do both of the following:
+
+   a) Give prominent notice with each copy of the object code that the
+   Library is used in it and that the Library and its use are
+   covered by this License.
+
+   b) Accompany the object code with a copy of the GNU GPL and this license
+   document.
+
+  4. Combined Works.
+
+  You may convey a Combined Work under terms of your choice that,
+taken together, effectively do not restrict modification of the
+portions of the Library contained in the Combined Work and reverse
+engineering for debugging such modifications, if you also do each of
+the following:
+
+   a) Give prominent notice with each copy of the Combined Work that
+   the Library is used in it and that the Library and its use are
+   covered by this License.
+
+   b) Accompany the Combined Work with a copy of the GNU GPL and this license
+   document.
+
+   c) For a Combined Work that displays copyright notices during
+   execution, include the copyright notice for the Library among
+   these notices, as well as a reference directing the user to the
+   copies of the GNU GPL and this license document.
+
+   d) Do one of the following:
+
+       0) Convey the Minimal Corresponding Source under the terms of this
+       License, and the Corresponding Application Code in a form
+       suitable for, and under terms that permit, the user to
+       recombine or relink the Application with a modified version of
+       the Linked Version to produce a modified Combined Work, in the
+       manner specified by section 6 of the GNU GPL for conveying
+       Corresponding Source.
+
+       1) Use a suitable shared library mechanism for linking with the
+       Library.  A suitable mechanism is one that (a) uses at run time
+       a copy of the Library already present on the user's computer
+       system, and (b) will operate properly with a modified version
+       of the Library that is interface-compatible with the Linked
+       Version.
+
+   e) Provide Installation Information, but only if you would otherwise
+   be required to provide such information under section 6 of the
+   GNU GPL, and only to the extent that such information is
+   necessary to install and execute a modified version of the
+   Combined Work produced by recombining or relinking the
+   Application with a modified version of the Linked Version. (If
+   you use option 4d0, the Installation Information must accompany
+   the Minimal Corresponding Source and Corresponding Application
+   Code. If you use option 4d1, you must provide the Installation
+   Information in the manner specified by section 6 of the GNU GPL
+   for conveying Corresponding Source.)
+
+  5. Combined Libraries.
+
+  You may place library facilities that are a work based on the
+Library side by side in a single library together with other library
+facilities that are not Applications and are not covered by this
+License, and convey such a combined library under terms of your
+choice, if you do both of the following:
+
+   a) Accompany the combined library with a copy of the same work based
+   on the Library, uncombined with any other library facilities,
+   conveyed under the terms of this License.
+
+   b) Give prominent notice with the combined library that part of it
+   is a work based on the Library, and explaining where to find the
+   accompanying uncombined form of the same work.
+
+  6. Revised Versions of the GNU Lesser General Public License.
+
+  The Free Software Foundation may publish revised and/or new versions
+of the GNU Lesser General Public License from time to time. Such new
+versions will be similar in spirit to the present version, but may
+differ in detail to address new problems or concerns.
+
+  Each version is given a distinguishing version number. If the
+Library as you received it specifies that a certain numbered version
+of the GNU Lesser General Public License "or any later version"
+applies to it, you have the option of following the terms and
+conditions either of that published version or of any later version
+published by the Free Software Foundation. If the Library as you
+received it does not specify a version number of the GNU Lesser
+General Public License, you may choose any version of the GNU Lesser
+General Public License ever published by the Free Software Foundation.
+
+  If the Library as you received it specifies that a proxy can decide
+whether future versions of the GNU Lesser General Public License shall
+apply, that proxy's public statement of acceptance of any version is
+permanent authorization for you to choose that version for the
+Library.
+

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,19 +49,30 @@
 #               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 leaving every real binding out
+# with a comment in its place. 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
-# register row. `shadow.` is NOT declared, for the same reason in reverse —
-# nothing names it — so no shadow key is in the roster.
+# so a `motion.duration.fast` binding is admitted where a symbol declares it
+# — and where none does, the binding is not written: the `#` comment on the
+# line is the record (`# reads --motion-duration-fast; no symbol declares
+# it`). `shadow.` is NOT declared, for the same reason in reverse — nothing
+# names it — so no shadow key is in the roster.
 # ═══════════════════════════════════════════════════════════════════════════
 
 version: 1
@@ -291,60 +302,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.43.0-experimental.1",
   "type": "module",
   "module": "dist/esm/index.js",
   "types": "dist/types/index.d.ts",
@@ -35,15 +35,24 @@
   },
   "devDependencies": {
     "@biomejs/biome": "^2.4.6",
-    "@canonical/biome-config": "^0.17.1",
-    "@canonical/token-ontology": "^0.10.1",
-    "@canonical/typescript-config": "^0.17.1",
+    "@canonical/biome-config": "^0.43.0-experimental.0",
+    "@canonical/token-ontology": "^0.43.0-experimental.1",
+    "@canonical/typescript-config": "^0.43.0-experimental.0",
     "@types/n3": "^1.26.3",
     "@types/node": "^26.4.0",
     "expect-type": "^1.3.0",
     "n3": "^1.26.0",
     "rdf-validate-shacl": "^0.6.5",
-    "typescript": "^5.9.3",
+    "typescript": "^7.0.2",
     "vitest": "^4.0.18"
-  }
+  },
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/canonical/pragma-core"
+  },
+  "bugs": {
+    "url": "https://github.com/canonical/pragma-core/issues"
+  },
+  "homepage": "https://github.com/canonical/pragma-core#readme",
+  "gitHead": "5c1b1bdbb95844fac6211f1fe6ba10c29238d6ee"
 }