zyzz 0.0.34 → 0.0.35

package/src/compiler/Graph.ts

@@ -106,7 +106,7 @@ export declare namespace compile {
     readonly [Stylesheets.packed]?: readonly Stylesheets.Resource[]
     /** Independently loaded reset for module-based hosts. */
     readonly [Stylesheets.reset]?: Stylesheets.Resource | undefined
-    /** Versioned compiler-only JSON per module; publish beside the compiled entrypoint as <entry>.zyzz.json. */
+    /** Versioned compiler-only JSON, including static literal exports. Publish beside the compiled entrypoint as <entry>.zyzz.json. */
     readonly contracts: Readonly<Record<string, string>>
     /** Direct static runtime source and library-contract dependencies, keyed by module identity. */
     readonly dependencies: Readonly<Record<string, readonly string[]>>

package/src/internal/Configuration.ts

@@ -19,6 +19,7 @@ import * as VariableSets from './VariableSets.js'
 import * as Vars from '../Vars.js'
 import * as Selection from '../runtime/Selection.js'
 import * as Token from './Token.js'
+import type * as Value from './Value.js'
 import type * as Completion from './Completion.js'
 
 /** Creates token-free authoring without a configuration file or global state. */
@@ -753,7 +754,9 @@ export type Body<
                       : target
                   }[mappings[key][number]] extends never
                   ? styles[key]
-                  : never
+                  : [Token.Names<tokens, mappings[key][number]>] extends [never]
+                    ? never
+                    : Value.Mismatch<tokens, mappings[key][number]>
                 : Style.Accepted<Pick<styles, key>, tokens>[key]
       }
     : never)

package/src/internal/Value.ts

@@ -201,6 +201,11 @@ export type Mismatch<tokens, property extends keyof Literal.Properties> =
       >
     : never
 
+/** Lists the named sets a property accepts, so mismatch diagnostics name them. */
+export type Unmatched<names> =
+  // Without configured names the property is unknown, and `never` reports it as such.
+  [names] extends [never] ? never : Expected<names>
+
 // An object brand never reduces with a string literal, so the diagnostic keeps the expected values.
 type Expected<values> = { readonly [expected]: values }
 

package/src/internal/VariableSets.ts

@@ -82,6 +82,28 @@ export function build(
   const conditions: string[][] = []
   const active = new Set<object>()
   function visit(input: unknown, path: string[]) {
+    if (input === null && base && path.length) {
+      if (options.derived)
+        throw new Vars.InvalidError(
+          path,
+          'Derived variables cannot remove paths.',
+        )
+      const key = JSON.stringify(path)
+      if (!leaves.has(key) && !categories.has(key))
+        throw new Vars.InvalidError(
+          path,
+          'Extensions can only remove existing paths.',
+        )
+      // A removed category takes every leaf below it, including typography conditions.
+      for (const name of Object.keys(values)) {
+        const parts = paths[name] ?? name.split('.')
+        if (path.every((part, index) => parts[index] === part)) {
+          delete values[name]
+          delete paths[name]
+        }
+      }
+      return
+    }
     if (
       typeof input === 'string' ||
       typeof input === 'number' ||