@yahoo/uds-create-config 3.0.9 → 3.1.0

package/dist/configs/system.d.ts

@@ -1,5 +1,6 @@
 import { CopyPlan } from "../entities/system/copy-plan.js";
-import { Ref } from "../framework/utils/refs.js";
+import { ExtendableRef, Ref } from "../framework/utils/refs.js";
+import { CreateInput } from "../framework/utils/field-schema.js";
 import { DerivedEntityClass } from "../framework/defineDerivedEntity.js";
 import { SubEntityClass } from "../framework/defineSubEntity.js";
 import { ComponentContractOf, PathOf } from "../framework/registered.js";
@@ -838,7 +839,7 @@ declare const System: ConfigClass<{
       __ref: _$zod.ZodString;
     }, _$zod_v4_core0.$strip>>;
   }, _$zod_v4_core0.$strip>, "modifier", Record<never, never>, Record<never, never>, false>;
-  styleProps: EntityClass<_$zod.ZodObject<{
+  styleProps: Omit<EntityClass<_$zod.ZodObject<{
     properties: _$zod.ZodArray<_$zod.ZodString>;
     values: _$zod.ZodOptional<_$zod.ZodArray<_$zod.ZodType<StylePropValue, unknown, _$zod_v4_core0.$ZodTypeInternals<StylePropValue, unknown>>>>;
     responsive: _$zod.ZodDefault<_$zod.ZodBoolean>;
@@ -864,7 +865,19 @@ declare const System: ConfigClass<{
         data: Record<string, unknown>;
       } | undefined;
     };
-  }, Record<never, never>, false>;
+  }, Record<never, never>, false>, "ref"> & {
+    ref<const Path extends PathOf<"style-property">>(path: Path): ReturnType<(path: string) => ExtendableRef<Partial<CreateInput<_$zod.ZodObject<{
+      properties: _$zod.ZodArray<_$zod.ZodString>;
+      values: _$zod.ZodOptional<_$zod.ZodArray<_$zod.ZodType<StylePropValue, unknown, _$zod_v4_core0.$ZodTypeInternals<StylePropValue, unknown>>>>;
+      responsive: _$zod.ZodDefault<_$zod.ZodBoolean>;
+      classPrefix: _$zod.ZodOptional<_$zod.ZodString>;
+      arbitrary: _$zod.ZodDefault<_$zod.ZodBoolean>;
+      negates: _$zod.ZodDefault<_$zod.ZodBoolean>;
+      opacityOf: _$zod.ZodOptional<_$zod.ZodLazy<_$zod.ZodType<Ref, unknown, _$zod_v4_core0.$ZodTypeInternals<Ref, unknown>>>>;
+    }, _$zod_v4_core0.$strip>>>>> & {
+      readonly __ref: `style-property:${Path}`;
+    };
+  };
   composites: EntityClass<_$zod.ZodObject<{
     styles: SubEntityClass<_$zod.ZodType<StyleValue, unknown, _$zod_v4_core0.$ZodTypeInternals<StyleValue, unknown>>>;
   }, _$zod_v4_core0.$strip>, _$zod.ZodObject<Record<never, never>, _$zod_v4_core0.$strip>, "composite", Record<never, never>, Record<never, never>, false>;
@@ -2213,7 +2226,7 @@ declare const System: ConfigClass<{
         __ref: _$zod.ZodString;
       }, _$zod_v4_core0.$strip>>;
     }, _$zod_v4_core0.$strip>, "modifier", Record<never, never>, Record<never, never>, false>;
-    styleProps: EntityClass<_$zod.ZodObject<{
+    styleProps: Omit<EntityClass<_$zod.ZodObject<{
       properties: _$zod.ZodArray<_$zod.ZodString>;
       values: _$zod.ZodOptional<_$zod.ZodArray<_$zod.ZodType<StylePropValue, unknown, _$zod_v4_core0.$ZodTypeInternals<StylePropValue, unknown>>>>;
       responsive: _$zod.ZodDefault<_$zod.ZodBoolean>;
@@ -2239,7 +2252,19 @@ declare const System: ConfigClass<{
           data: Record<string, unknown>;
         } | undefined;
       };
-    }, Record<never, never>, false>;
+    }, Record<never, never>, false>, "ref"> & {
+      ref<const Path extends PathOf<"style-property">>(path: Path): ReturnType<(path: string) => ExtendableRef<Partial<CreateInput<_$zod.ZodObject<{
+        properties: _$zod.ZodArray<_$zod.ZodString>;
+        values: _$zod.ZodOptional<_$zod.ZodArray<_$zod.ZodType<StylePropValue, unknown, _$zod_v4_core0.$ZodTypeInternals<StylePropValue, unknown>>>>;
+        responsive: _$zod.ZodDefault<_$zod.ZodBoolean>;
+        classPrefix: _$zod.ZodOptional<_$zod.ZodString>;
+        arbitrary: _$zod.ZodDefault<_$zod.ZodBoolean>;
+        negates: _$zod.ZodDefault<_$zod.ZodBoolean>;
+        opacityOf: _$zod.ZodOptional<_$zod.ZodLazy<_$zod.ZodType<Ref, unknown, _$zod_v4_core0.$ZodTypeInternals<Ref, unknown>>>>;
+      }, _$zod_v4_core0.$strip>>>>> & {
+        readonly __ref: `style-property:${Path}`;
+      };
+    };
     composites: EntityClass<_$zod.ZodObject<{
       styles: SubEntityClass<_$zod.ZodType<StyleValue, unknown, _$zod_v4_core0.$ZodTypeInternals<StyleValue, unknown>>>;
     }, _$zod_v4_core0.$strip>, _$zod.ZodObject<Record<never, never>, _$zod_v4_core0.$strip>, "composite", Record<never, never>, Record<never, never>, false>;

package/dist/entities/system/Component.d.ts

@@ -5,7 +5,7 @@ import { EntityClass } from "../../framework/defineEntity.js";
 import { Config } from "../../framework/Config.js";
 import { ComputedInput } from "../../framework/registry.js";
 import { StyleValue } from "./style-bag.js";
-import { ComponentPropsOf, LayerMap, PropMap, RenderArgs, StyleRuleInput } from "./defineComponent.js";
+import { AsInput, ComponentPropsOf, LayerMap, PropMap, RenderArgs, StyleRuleInput } from "./defineComponent.js";
 import { z } from "zod";
 
 //#region src/entities/system/Component.d.ts
@@ -1272,8 +1272,9 @@ type ForwardedLayerNames<Contract, Delta> = ResolvedForwards<Contract, Delta> ex
  * only `{ __ref, extend }`. */
 type ExtendedComponentRef<Contract = ComponentContractOf<string>, Delta extends ComponentRefDelta = ComponentRefDelta, Extra = Record<never, never>> = ExtendedRef<Delta> & {
   /** Phantom component signature: codegen replaces the authoring value before it is rendered, but
-   * this lets `ComponentProps<typeof Button>` see the inherited and locally replaced contract. */
-  (props: ComponentPropsOf<ResolvedLayers<Contract, Delta>, ResolvedProps<Contract, Delta>, ResolvedDefaults<Contract, Delta>, Extra, ForwardedLayerNames<Contract, Delta>>): null;
+   * this lets `ComponentProps<typeof Button>` see the inherited and locally replaced contract. Generic
+   * over a call site's `as`, the same way `ComponentBuilder`'s is. */
+  <As extends AsInput = never>(props: ComponentPropsOf<ResolvedLayers<Contract, Delta>, ResolvedProps<Contract, Delta>, ResolvedDefaults<Contract, Delta>, Extra, ForwardedLayerNames<Contract, Delta>, As>): null;
   render<E = Extra>(fn: (args: RenderArgs<ResolvedLayers<Contract, Delta>, ResolvedProps<Contract, Delta>> & E) => unknown): ExtendedComponentRef<Contract, Delta, E>;
   /**
    * Style rules for the extension, typed against the layers it ends up with — the linked contract's,

package/dist/entities/system/StyleProperty.d.ts

@@ -1,4 +1,5 @@
 import { Ref } from "../../framework/utils/refs.js";
+import { PathOf } from "../../framework/registered.js";
 import { EntityClass } from "../../framework/defineEntity.js";
 import { Config } from "../../framework/Config.js";
 import { z } from "zod";
@@ -90,7 +91,7 @@ declare function classifyStylePropValue({
 }): StylePropValueKind;
 /** StyleProperty (`flex/direction`) — a prop a component can expose, mapped to a CSS
  *  property with an allowed value set. Grouping (`flex`) is emergent from the path. */
-declare const StyleProperty: EntityClass<z.ZodObject<{
+declare const StylePropertyEntity: EntityClass<z.ZodObject<{
   properties: z.ZodArray<z.ZodString>;
   values: z.ZodOptional<z.ZodArray<z.ZodType<StylePropValue, unknown, z.core.$ZodTypeInternals<StylePropValue, unknown>>>>;
   responsive: z.ZodDefault<z.ZodBoolean>;
@@ -117,6 +118,17 @@ declare const StyleProperty: EntityClass<z.ZodObject<{
     } | undefined;
   };
 }, Record<never, never>, false>;
+/**
+ * `StyleProperty.ref('bg')` with the path kept literal in its type, so a component prop declared as
+ * the ref is typed by the property it points at: `bg: StyleProperty.ref('bg')` offers the registered
+ * `bg` values, and `columns: StyleProperty.ref('gridTemplateColumns')` offers the target's rather
+ * than the name's. The value is the base ref unchanged; only the type narrows.
+ */
+declare const StyleProperty: Omit<typeof StylePropertyEntity, "ref"> & {
+  ref<const Path extends PathOf<"style-property">>(path: Path): ReturnType<typeof StylePropertyEntity.ref> & {
+    readonly __ref: `style-property:${Path}`;
+  };
+};
 /** `flexDirection` → `flex-direction`. A name already spelled as CSS comes back unchanged. */
 declare function toCssPropertyName(property: string): string;
 /**

package/dist/entities/system/StyleProperty.js

@@ -397,7 +397,7 @@ function freePath(config, path) {
 }
 /** StyleProperty (`flex/direction`) — a prop a component can expose, mapped to a CSS
 *  property with an allowed value set. Grouping (`flex`) is emergent from the path. */
-const StyleProperty = defineEntity({
+const StylePropertyEntity = defineEntity({
 	kind: "style-property",
 	label: "Style property",
 	labelPlural: "Style properties",
@@ -418,6 +418,13 @@ const StyleProperty = defineEntity({
 		}
 	}
 });
+/**
+* `StyleProperty.ref('bg')` with the path kept literal in its type, so a component prop declared as
+* the ref is typed by the property it points at: `bg: StyleProperty.ref('bg')` offers the registered
+* `bg` values, and `columns: StyleProperty.ref('gridTemplateColumns')` offers the target's rather
+* than the name's. The value is the base ref unchanged; only the type narrows.
+*/
+const StyleProperty = Object.assign(StylePropertyEntity, {});
 /** `flexDirection` → `flex-direction`. A name already spelled as CSS comes back unchanged. */
 function toCssPropertyName(property) {
 	return property.replace(/[A-Z]/g, (letter) => `-${letter.toLowerCase()}`);

package/dist/entities/system/defineComponent.d.ts

@@ -1,8 +1,9 @@
 import { Ref as Ref$1 } from "../../framework/utils/refs.js";
+import { RegisteredModifiers, RegisteredStyleProps } from "../../framework/registered.js";
 import { Authored } from "../../framework/authoring.js";
 import { StyleValue } from "./style-bag.js";
 import { VariantValues } from "./Component.js";
-import { ComponentPropsWithoutRef, ElementType, JSX, ReactNode, Ref } from "react";
+import { AllHTMLAttributes, ComponentPropsWithRef, ElementType, JSX, ReactNode, Ref } from "react";
 
 //#region src/entities/system/defineComponent.d.ts
 /**
@@ -220,6 +221,23 @@ interface StyleRuleInput<L extends LayerMap> {
 }
 /** The TS type one prop declaration produces on the rendered component. */
 type ValueOf<D> = D extends readonly (infer Member)[] ? Member : D extends {
+  __ref: `style-property:${infer Target}`;
+} ? StylePropValue<Target> : D extends {
+  type: 'styleProperty';
+  value: {
+    __ref: `style-property:${infer Target}`;
+  };
+} ? StylePropValue<Target> : ValueOfDeclaration<D>;
+/**
+ * A style prop's values, read off the registry by the path the declaration points at. By the target
+ * and not the prop's own name, since a component may expose a property under a name of its own —
+ * `Grid`'s `columns` is `gridTemplateColumns`, and `columns` is itself a different CSS property.
+ * Unregistered — before a build, or a path the build did not emit — it is `unknown`, as any other
+ * declaration the type cannot resolve.
+ */
+type StylePropValue<Target extends string> = Target extends keyof RegisteredStyleProps ? RegisteredStyleProps[Target] : unknown;
+/** The declaration arms of {@link ValueOf}, after the two ref arms. */
+type ValueOfDeclaration<D> = D extends {
   type: 'variant';
   value: infer V;
 } ? V extends readonly (infer Member)[] ? Member : V extends VariantValues ? keyof V & string : string : D extends {
@@ -248,14 +266,15 @@ type Declared<T> = { [K in keyof T as string extends K ? never : number extends
  *  props it DROPS from what it inherits — gone from the surface entirely. */
 type DeclaredProps<P> = { [K in keyof P as P[K] extends null ? never : K]: ValueOf<P[K]> };
 /**
- * The props the rendered ELEMENT contributes.
+ * The props the rendered ELEMENT contributes, `ref` included.
  *
  * That element's React props are part of the component's surface — `<Pressable onClick={e => …}>`
  * types `e` because `Pressable` renders a `button`. Left out, every handler a consumer passed fell
  * into the open index signature and its parameter had no contextual type, which turned ~75 untouched
- * call sites into implicit-`any` errors.
+ * call sites into implicit-`any` errors. The `ref` is the element's for the same reason: a
+ * `useRef<HTMLDivElement>` handed to an `<Box as="img">` is a mistake the element can name.
  */
-type ElementPropsOf<Element> = Element extends keyof JSX.IntrinsicElements ? ComponentPropsWithoutRef<Element> : Element extends ((props: infer PropsOfComponent) => unknown) ? Declared<PropsOfComponent> : Record<never, never>;
+type ElementPropsOf<Element> = Element extends keyof JSX.IntrinsicElements ? Without<ComponentPropsWithRef<Element>, keyof RegisteredStyleProps> : Element extends ((props: infer PropsOfComponent) => unknown) ? Declared<PropsOfComponent> : Record<never, never>;
 /**
  * Which element that is: the one a `defaultProps.as` FIXES, else the root layer.
  *
@@ -264,10 +283,102 @@ type ElementPropsOf<Element> = Element extends keyof JSX.IntrinsicElements ? Com
  * `as` is what a component PINS: `Input` is a Box in every other respect and an `<input>` in this
  * one, so the layer stays the component it extends while `as` names the tag. Reading only the layer
  * typed `Input`'s `onChange` against a `div` and lost `event.target.value` at every call site.
+ *
+ * A call site's own `as` outranks both — see {@link RenderedElementOf}.
  */
 type ElementOf<L extends LayerMap, D> = D extends {
   as: infer As;
 } ? As : L['root'];
+/**
+ * Whether an `as` names an element at all. `never` is a call that wrote none, and a `string` is a tag
+ * computed at runtime, which could be any of them. An `as` as wide as `ElementType` says nothing
+ * either: `React.ComponentProps<typeof Box>` reads the phantom signature with every type parameter
+ * at its constraint, and a consumer's `BoxProps` has to come out as the fixed element's surface, not
+ * a union over every tag.
+ */
+type NamesNoElement<As> = [As] extends [never] ? true : string extends As ? true : [ElementType] extends [As] ? true : false;
+/**
+ * What a call site may write as `as`: a tag, a component, or a `string` it computes. A computed tag
+ * names no element in particular, so the surface stays the fixed element's.
+ */
+type AsInput = ElementType | string;
+/**
+ * A union folded into one object type, so a union of tags contributes every member's props at once.
+ * Distributed, `<Box as={tag}>` with `tag: 'p' | 'span'` would type `onClick` as one of two handlers,
+ * and a union of function types gives the handler's parameter no contextual type at all.
+ */
+type UnionToIntersection<U> = (U extends unknown ? (member: U) => void : never) extends ((member: infer I) => void) ? I : never;
+/** One element's contribution, a union of tags folded into one object type. */
+type ElementSurface<Element> = UnionToIntersection<ElementPropsOf<Element>>;
+/**
+ * What the root layer contributes to the surface.
+ *
+ * When the element that renders is the root layer, its props. When `as` names another — pinned by
+ * `defaultProps` or written at the call site — the root's surface with its element's props swapped
+ * for the rendered element's: `Anchor` is a `Text` that renders an `<a>`, so it keeps Text's
+ * `variant` and takes the anchor's `href` and `onClick` in place of the paragraph's. Replaced rather
+ * than intersected, or a handler is typed against both elements when only one renders. A style
+ * prop the root declares is not an element key (see {@link ElementPropsOf}), so it survives the swap.
+ */
+type RootSurface<L extends LayerMap, D, As> = [RenderedElementOf<L, D, As>] extends [L['root']] ? ElementSurface<L['root']> : Without<ElementSurface<L['root']>, keyof ElementSurface<RenderedElementOf<L, D, As>>> & ElementSurface<RenderedElementOf<L, D, As>>;
+/**
+ * The element one call renders: what its `as` names, else what the component fixes.
+ *
+ * The call site's `as` replaces the fixed element rather than adding to it. Intersected instead, a
+ * handler on `<Box as="button">` would be typed against `HTMLButtonElement | HTMLDivElement` and
+ * `ref` against both, though the div is never rendered.
+ */
+type RenderedElementOf<L extends LayerMap, D, As> = NamesNoElement<As> extends true ? ElementOf<L, D> : As;
+/**
+ * The declared props a call site must write: declared `required: true` and given no default. A
+ * default supplies the value when the call site doesn't, so the surface stops asking for it.
+ */
+type RequiredKey<P, D> = { [K in keyof P]: P[K] extends {
+  required: true;
+} ? K extends keyof D ? never : K : never }[keyof P];
+/**
+ * The declared props as a consumer sees them: optional, except the ones {@link RequiredKey} names,
+ * which the second half adds back without `?`. A key the render extra redefines is left to the
+ * extra.
+ *
+ * Two halves rather than one mapped type with an `as` clause, because the callable `defineComponent`
+ * is checked against its interface by relating two generic signatures, and a name type that reads
+ * `P` is not identical on the two sides of that comparison — a name type reading only `E` is.
+ */
+type ConsumerDeclaredProps<P, D, E> = Without<Partial<DeclaredProps<P>>, Redefined<E>> & { [K in Exclude<RequiredKey<P, D>, Redefined<E>>]-?: K extends keyof DeclaredProps<P> ? DeclaredProps<P>[K] : never };
+/**
+ * The keys a render extra redefines: the ones it names. An open extra (`extends Record<string,
+ * unknown>`) names nothing through its index signature, but a key it declares beside that signature
+ * still counts — `ColorArea`'s `onChange` takes a colour, not a change event, whatever its root's does.
+ */
+type Redefined<E> = keyof Declared<E>;
+/**
+ * Whether the system's build has filled the registry. Before it has, nothing about style props can
+ * be said, and every surface that depends on them stays open — an unbuilt consumer compiles the way
+ * the registry promises.
+ */
+type Registered = [keyof RegisteredStyleProps] extends [never] ? false : true;
+/** Every style prop the system registers, typed by the values it registers. */
+type StyleProps = { [K in keyof RegisteredStyleProps]?: RegisteredStyleProps[K] };
+/**
+ * A modifier's block: the same style props, applied under its condition. One level deep, because
+ * the runtime reads one — a block inside a block is a key it hands to the element.
+ */
+type ModifierProps = { [K in keyof RegisteredModifiers]?: StyleProps };
+/** The per-layer override channel the emitted module reads, keyed by this component's layers. */
+type LayerProps<L extends LayerMap> = {
+  layerProps?: Partial<Record<keyof L & string, Record<string, unknown>>>;
+};
+/**
+ * What reaches a component without being declared: the system's style props, its modifiers, and the
+ * layer override channel. Named, so an excess-property check runs and `<Box colour="brand">` is
+ * refused as the typo it is, and so `Omit<ComponentProps<typeof Button>, 'size'>` keeps its remaining
+ * keys instead of collapsing to `unknown` over an index signature.
+ *
+ * Open before the build: which names are style props is the system's to say, and until its emitted
+ * types say it, anything may be one.
+ */
+type OpenTail<L extends LayerMap> = Registered extends true ? StyleProps & ModifierProps & LayerProps<L> : Record<string, unknown>;
 /**
  * The props a consumer may pass — the declared ones, the rendered element's, and the style props.
  *
@@ -277,19 +388,47 @@ type ElementOf<L extends LayerMap, D> = D extends {
  * `size="sm"` failed with "string is not assignable to undefined" — an empty intersection, which is
  * the type saying no value could ever satisfy both.
  *
- * Open at the end on purpose: a component's style-prop surface is the system's, not this file's.
+ * `As` is the element a call site picks (`never` when it picks none), see {@link AsPropsOf}.
+ *
+ * Ends in {@link OpenTail}: the system's own surface, open until the system's build has named it.
+ */
+type ComponentPropsOf<L extends LayerMap, P extends PropMap, D = Record<never, never>, E = Record<never, never>, F extends string = never, As = never> = ConsumerDeclaredProps<P, D, E> & Partial<E> & Redeclared<RootSurface<L, D, As>, P, E> & Redeclared<ForwardedPropsOf<L, F>, P, E> & AsPropsOf<As, P, E> & Redeclared<OpenTail<L>, P, E>;
+/**
+ * `T` less the keys the component declares and the keys its render extra names — each taken out on
+ * its own, because {@link Without} leaves `T` whole when the key set is open, and an open render
+ * extra (`extends Record<string, unknown>`) must not stop the declared props from shadowing.
  */
-type ComponentPropsOf<L extends LayerMap, P extends PropMap, D = Record<never, never>, E = Record<never, never>, F extends string = never> = Without<Partial<DeclaredProps<P>>, keyof E> & Partial<E> & Omit<ElementPropsOf<ElementOf<L, D>>, keyof P | keyof E> & Omit<ForwardedPropsOf<L, F>, keyof P | keyof E> & Record<string, unknown>;
+type Redeclared<T, P, E> = Without<Without<T, keyof P>, Redefined<E>>;
 /**
- * The element a call site picks with `as`, and the props that element brings — the polymorphic half
- * of the phantom signature. `<Box<'img', ImgHTMLAttributes<HTMLImageElement>> as="img" src=…>` names
- * the element (and, optionally, the attribute surface it wants typed) as type arguments, the way v1's
- * generated components took them. Without it a consumer's `<Box<'button'>>` was "Expected 0 type
- * arguments" at every site that had compiled for a year.
+ * The polymorphic half of the phantom signature: `as` itself, plus the refusal of attributes that
+ * belong to some other element.
+ *
+ * `As` is inferred from the `as` a call site writes, so `<Box as="img" src alt ref>` types `src`,
+ * `alt` and `ref` as an image's with no type argument. It may still be given one —
+ * `<Box<'img', ImgHTMLAttributes<HTMLImageElement>>>` is how v1's generated components took it.
+ *
+ * With no `as` there is nothing here, and `ComponentProps<typeof Box>` reads the fixed element alone.
  */
 type AsPropsOf<As, P, E> = [As] extends [never] ? Record<never, never> : {
   as?: As;
-} & ([As] extends [keyof JSX.IntrinsicElements] ? Omit<ComponentPropsWithoutRef<As>, keyof P | keyof E> : Record<never, never>);
+} & ForeignAttributesOf<As, P, E>;
+/** The attribute names across a union of tags — distributed, so `'a' | 'button'` keeps `href`. */
+type IntrinsicAttributeNames<As> = As extends keyof JSX.IntrinsicElements ? keyof JSX.IntrinsicElements[As] : never;
+/**
+ * The HTML attributes the element named by `as` does NOT take, each typed `never`.
+ *
+ * The surface is open at the end, so `<Box as="img" href>` would otherwise pass with `href: unknown`
+ * and reach the `<img>` as an attribute nothing reads. Refusing an attribute is only right when it
+ * is one — a name the component declares, a render extra, and a style prop the system registers are
+ * all excluded, since `width` on a `<span>` is a style prop the consumer meant, not a stray
+ * attribute. So is `as` itself, which `<link>` happens to take as an attribute. A component `as` is
+ * left alone: its props are its own to name.
+ *
+ * Nothing is refused until the system's build has filled {@link RegisteredStyleProps}: before that
+ * there is no telling a stray attribute from a style prop, and an unbuilt consumer compiles the way
+ * the registry promises.
+ */
+type ForeignAttributesOf<As, P, E> = Registered extends false ? Record<never, never> : [As] extends [keyof JSX.IntrinsicElements] ? { [K in Exclude<keyof AllHTMLAttributes<HTMLElement>, 'as' | IntrinsicAttributeNames<As> | keyof P | keyof E | keyof RegisteredStyleProps>]?: never } : Record<never, never>;
 /**
  * The props a component picks up from the layers it FORWARDS.
  *
@@ -353,13 +492,14 @@ F extends string = never> extends Authored {
    * emitted module), but `export type ButtonProps = ComponentProps<typeof Button>` is how a consumer
    * names its props, and that reads this type.
    *
-   * Two signatures. The GENERIC one takes the element a call site picks (`<Box<'img', Attrs>>`) — see
-   * {@link AsPropsOf}. The plain one stays LAST, because `React.ComponentProps<typeof Box>` infers
-   * from the last overload, and a consumer's `BoxProps` must not widen into a union over every
-   * intrinsic element the moment `as` becomes typeable.
+   * One signature, generic over the element a call site picks with `as` — see {@link AsPropsOf}.
+   * A second, plain overload would take every call the generic one refuses: the surface is open at
+   * the end, so `<Box as="img" src={3}>` would compile through it with `src: unknown`.
+   *
+   * `Extra` is only ever given as a type argument. Inferred from the call, a spread of a union of
+   * prop bags would make it one member of the union, and the other member would then fail against it.
    */
-  <As extends ElementType = never, Extra = Record<never, never>>(props: ComponentPropsOf<L, P, D, E, F> & AsPropsOf<As, P, E> & Partial<Extra>): null;
-  (props: ComponentPropsOf<L, P, D, E, F>): null;
+  <As extends AsInput = never, Extra = Record<never, never>>(props: ComponentPropsOf<L, P, D, E, F, As> & Partial<NoInfer<Extra>>): null;
   readonly kind: 'component';
   /** The authored body, readable so codegen can pair it with the render found in the source. */
   readonly body: Record<string, unknown>;
@@ -467,8 +607,17 @@ interface DefineComponent {
   /** The whole body at once, for a component with nothing to narrow step by step. */
   (body?: Record<string, unknown>): AuthoredComponent;
   layers<const L extends LayerMap>(layers: L): ComponentBuilder<L, Record<never, never>>;
-  props<const P extends PropMap<LayerPath>>(props: P & NoInfer<{ [K in keyof P]: Exact<P[K], AuthoredProp<LayerPath>> }>): ComponentBuilder<LayerMap, P>;
+  props: typeof definePropsFirst;
 }
+/**
+ * `defineComponent.props({…})`, with no layers named yet. Declared as a function so the object below
+ * carries this exact type: two generic signatures compared structurally infer one's `P` as the
+ * other's `P & NoInfer<…>`, and the required half of the surface does not relate across that.
+ *
+ * The type argument is explicit so the builder does not INFER `P2` from an already-exact value: it
+ * would then apply the guard over its own output, which nothing satisfies.
+ */
+declare function definePropsFirst<const P extends PropMap<LayerPath>>(props: P & NoInfer<{ [K in keyof P]: Exact<P[K], AuthoredProp<LayerPath>> }>): ComponentBuilder<LayerMap, P>;
 declare const defineComponent: DefineComponent;
 //#endregion
-export { AuthoredComponent, AuthoredProp, ComponentBuilder, ComponentPropsOf, LayerElement, LayerMap, PropDecl, PropMap, RenderArgs, StyleRuleInput, defineComponent };
+export { AsInput, AuthoredComponent, AuthoredProp, ComponentBuilder, ComponentPropsOf, LayerElement, LayerMap, PropDecl, PropMap, RenderArgs, StyleRuleInput, defineComponent };

package/dist/entities/system/defineComponent.js

@@ -338,9 +338,20 @@ function defineComponentImpl(bodyOrElement) {
 	if (typeof bodyOrElement === "string" || isRef(bodyOrElement)) return build({ layers: { root: bodyOrElement } });
 	return build(bodyOrElement ?? {});
 }
+/**
+* `defineComponent.props({…})`, with no layers named yet. Declared as a function so the object below
+* carries this exact type: two generic signatures compared structurally infer one's `P` as the
+* other's `P & NoInfer<…>`, and the required half of the surface does not relate across that.
+*
+* The type argument is explicit so the builder does not INFER `P2` from an already-exact value: it
+* would then apply the guard over its own output, which nothing satisfies.
+*/
+function definePropsFirst(props) {
+	return build({}).props(props);
+}
 const defineComponent = Object.assign(defineComponentImpl, {
 	layers: (layers) => build({}).layers(layers),
-	props: (props) => build({}).props(props)
+	props: definePropsFirst
 });
 //#endregion
 export { defineComponent };

package/dist/framework/registered.d.ts

@@ -28,6 +28,14 @@ interface RegisteredPaths {}
  * prop allows off-system values). What a component's JSX props are typed against.
  */
 interface RegisteredStyleProps {}
+/**
+ * Modifier prop → `true`, under the name a call site writes (`_hover`, `_dark`). A modifier's value
+ * is a block of style props applied under its condition, so the key is all the registry needs.
+ *
+ * Filled by the same emitted file as {@link RegisteredStyleProps}, and read only once that one is:
+ * a component's prop surface closes over both together.
+ */
+interface RegisteredModifiers {}
 /**
  * Accessor name → the entity class that accessor addresses. Filled per config:
  *
@@ -92,4 +100,4 @@ type PathOf<K extends string> = K extends keyof RegisteredPaths ? RegisteredPath
 /** The value type for a style prop — its registered union, else `string`. */
 type ValueOf<P extends string> = P extends keyof RegisteredStyleProps ? RegisteredStyleProps[P] extends string | number ? RegisteredStyleProps[P] : string : string;
 //#endregion
-export { ComponentContractOf, PathOf, RegisteredComponentContracts, RegisteredEntities, RegisteredPaths, RegisteredStyleProps, ValueOf };
+export { ComponentContractOf, PathOf, RegisteredComponentContracts, RegisteredEntities, RegisteredModifiers, RegisteredPaths, RegisteredStyleProps, ValueOf };

package/dist/framework/utils/refs.d.ts

@@ -6,8 +6,15 @@ interface Ref {
 }
 /** A ref as the authoring API returns it. The method is non-enumerable, so an ordinary ref remains
  * exactly `{ __ref }` in JSON and anywhere that walks its data. Calling it produces the explicit
- * wire value below: a base ref plus the sparse fields this config owns. */
-type ExtendableRef<Delta extends Record<string, unknown>> = Ref & {
+ * wire value below: a base ref plus the sparse fields this config owns.
+ *
+ * `Marker` is the `kind:path` string as written, kept literal so a declaration that holds the ref
+ * can be typed by what it points at: `bg: StyleProperty.ref('bg')` reads its values off the
+ * registered `bg`, and an alias like `columns: StyleProperty.ref('gridTemplateColumns')` reads the
+ * target's, not the name's. */
+type ExtendableRef<Delta extends Record<string, unknown>, Marker extends string = string> = {
+  readonly __ref: Marker;
+} & {
   extend(delta: Delta): ExtendedRef<Delta>;
 };
 /** A linked entity plus the sparse local fields layered over it. `extend` is data here, not the

package/dist/index.d.ts

@@ -12,7 +12,7 @@ import { CreateInput, FieldsSchema, declaredField, deriveCreateSchema, deriveUpd
 import { ComputedMap, DeriveMembers, DerivedEntityClass, defineDerivedEntity } from "./framework/defineDerivedEntity.js";
 import { DerivedOp, OpHandler, SchemaEntry, UserSchemas } from "./framework/schemas.js";
 import { SubEntityClass, defineSubEntity } from "./framework/defineSubEntity.js";
-import { ComponentContractOf, PathOf, RegisteredComponentContracts, RegisteredEntities, RegisteredPaths, RegisteredStyleProps, ValueOf } from "./framework/registered.js";
+import { ComponentContractOf, PathOf, RegisteredComponentContracts, RegisteredEntities, RegisteredModifiers, RegisteredPaths, RegisteredStyleProps, ValueOf } from "./framework/registered.js";
 import { LocalOverlay, SerializedSourceAnswer, SourceAnswer, SourceResolution, SourceResolutionSchemas, SourceResolver, SourceState, UNREACHABLE, resolutionSchema, sourceUnreachable } from "./framework/sources.js";
 import { Authored, isAuthored } from "./framework/authoring.js";
 import { GROUP, GroupBody, brandGroup, isGroupBody } from "./framework/utils/group.js";
@@ -37,7 +37,7 @@ import { ColorValue, DerivedColor, Gradient, alpha, darken, isDerivedColor, isGr
 import { NativeToken, nativeTokenValue } from "./entities/native/NativeToken.js";
 import { CANVAS_ROLES, CanvasRole, CanvasRoleName } from "./entities/system/CanvasRole.js";
 import { StyleValue } from "./entities/system/style-bag.js";
-import { AuthoredComponent, AuthoredProp, ComponentBuilder, ComponentPropsOf, LayerElement, LayerMap, PropDecl, PropMap, RenderArgs, StyleRuleInput, defineComponent } from "./entities/system/defineComponent.js";
+import { AsInput, AuthoredComponent, AuthoredProp, ComponentBuilder, ComponentPropsOf, LayerElement, LayerMap, PropDecl, PropMap, RenderArgs, StyleRuleInput, defineComponent } from "./entities/system/defineComponent.js";
 import { AuthoredPropBody, Component, ComponentBody, ComponentElementBody, ComponentPropBody, ComponentReference, ComponentStyleBody, ElementVisibility, ElementVisibilityInput, ExtendedComponentRef, ProjectedVisibility, VariantValueBody, VariantValues, canonicalWhen, forwardedNames, layerRef, ownValues, ownsItsValues, valueRef } from "./entities/system/Component.js";
 import { Composite } from "./entities/system/Composite.js";
 import { ComponentModuleSource, ComponentRegistryImport, ComponentRegistryImportBinding, componentModuleFilePaths, componentModuleKey, componentModuleSource, componentRegistryImports } from "./entities/system/component-module.js";
@@ -87,4 +87,4 @@ import { valueLeavesOf, valueSchemaOf } from "./framework/value-domain.js";
 import { views } from "./framework/views-facade.js";
 import { RN_STYLE_KEYS } from "./react-native/style-keys.generated.js";
 import { namedSlotTargets } from "./spec/empty-node-slots.js";
-export { AI_LANES, AiChat, AiFlow, type AiFlowOrigin, AiGeneration, type AiLane, AiMessage, type AiMultiAgentMode, type AnySystemConfig, type AttachedSources, type Authored, type AuthoredComponent, type AuthoredProp, type AuthoredPropBody, type AuthoringSignatureOptions, BUILD_DEFAULTS, type BreakOutcome, type BreakPlan, type BreakPlanInput, type BreakPlanRow, type BreakReach, BuildSection, CANVAS_ROLES, CONFIG_OPERATION_KIND, CSS_DEFAULTS, CSS_PROPERTY_NAMES, CSS_WIDE_KEYWORDS, CURRENT_SCHEMA_VERSION, Canvas, CanvasConfig, CanvasRole, type CanvasRoleName, CanvasSection, type Change, type ChangeHook, type ChangeTarget, type ChildrenPolicy, type Collection, type ColorValue, Component, type ComponentBody, type ComponentBuilder, type ComponentContractOf, type ComponentElementBody, type ComponentModuleSource, type ComponentPropBody, type ComponentPropsOf, type ComponentReference, type ComponentRegistryImport, type ComponentRegistryImportBinding, type ComponentRuleClass, type ComponentSpec, type ComponentSpecs, type ComponentStyleBody, Composite, type ComputedFields, type ComputedInput, type ComputedMap, Config, type ConfigClass, type ConfigEdit, ConfigFormatError, type ConfigInstance, type ConfigIssue, type ConfigIssueCode, type ConfigKind, type ConfigOp, ConfigRejection, ConfigSession, type ConfigSessionOptions, type ConfigSink, type ConfigSource, type CopyPlan, type CopyPlanInput, type CopyPlanRow, type CreateInput, type CssGrammar, type CssPrefix, type CssPropertyEntry, CssSection, DERIVED_MUTATIONS, type DanglingDirective, type DanglingLocalRef, type DanglingRef, type DeclaredRuntimeModule, type DeletePlan, type DeriveMembers, type DerivedColor, type DerivedEntityClass, type DerivedOp, Device, type DraftSource, ENTITY_PATH_MESSAGE, EXPORT_MEMBER, type Edition, type ElementVisibility, type ElementVisibilityInput, Entity, type EntityAddress, type EntityChange, type EntityClass, type EntityKind, type EntityMap, type ExpandOptions, type ExpansionResult, type ExtendedComponentRef, type ExtendedRef, type FieldsSchema, File, Font, FontFile, type ForwardClaims, GROUP, GUIDANCE_LANES, GlobalStyle, type Gradient, type GroupBody, Guidance, type GuidanceLane, type GuidanceScope, type GuidanceSegment, GuidanceStyle, type GuidanceStyleBody, type HasSnapshot, type HydrationOptions, ICON_METADATA_FORMATS, Icon, type IconLibrary, type IconMemberMetadata, type IconMetadataAdapter, type IconMetadataDeclaration, type IconMetadataFile, type IconMetadataFormat, type IdentifiedOp, type InferredRename, type ItemOf, type KindSignature, type KindSlice, LINK_SLUG, LINK_SLUG_MESSAGE, type LayerElement, type LayerMap, type LayerStyleOptions, type LeafAddress, type LinkArrival, type LinkDeclaration, type LinkPaths, type LinkPlan, type LinkPlanInput, LinkedSystem, type LinkedSystemResolver, type LinkedSystemState, type ListOptions, type LiveConfig, type LocalOverlay, MINTED, MODIFIER_CATEGORIES, type MisdeclaredOverlay, Modifier, type ModifierCategory, type ModifierGroupMeta, Motion, NATIVE_ACTIVATIONS, type NativeActivation, NativeModifier, NativeSettings, NativeStyleProperty, NativeToken, Node, type OpHandler, type OpInput, Operation, type OverlayVerb, type OverrideCondition, type OwnedRecords, PLAYGROUND_DEFAULTS, Package, Page, type Patch, type PathOf, type PinDirective, type PinOptions, type PinOptionsField, type Plan, type PlanImpact, type PlanOp, PlaygroundSection, type PreviewMatrix, type ProjectedVisibility, type PropDecl, type PropDeclaration, type PropMap, RN_STYLE_KEYS, ReactNativeSystem, type ReactNativeSystemConfig, type RebaseConflict, type RebaseOrigin, type RebaseResult, type RecordedSource, type RedundantQualifier, type Ref, type RefGraph, type RefGraphEntry, type RefIndex, type RefIndexChange, type RefMember, type RefTarget, type RegisteredComponentContracts, type RegisteredEntities, type RegisteredPaths, type RegisteredStyleProps, type RenamePlan, type RenderArgs, type RenderElement, type RenderSpec, type RenderedTarget, type ResolveValueTypeInput, type ResolvedSource, SCRIPT_EXTENSIONS, SERIALIZED_CONFIG_VERSION, STYLE_PROP_VALUE_FORMS, STYLE_PROP_VALUE_LEAVES, type SchemaEntry, type SchemaMigration, SchemaVersionTooNew, type SerializedConfig, type SerializedSourceAnswer, Settings, type SignatureOptions, type SkippedOp, type SlotTarget, Snapshot, type Source, type SourceAnswer, type SourceChange, type SourceMap, type SourceResolution, type SourceResolutionSchemas, type SourceResolver, type SourceRowState, type SourceState, type SourceUnavailable, type SourcesBySlug, type SourcesOf, type SpecNode, type SplitStyleProps, type StampedPatch, type StoredConfig, type StoredPreviewCondition, type StylePropEntry, type StylePropLeaf, type StylePropValue, type StylePropValueCtx, type StylePropValueKind, StyleProperty, type StylePropertyItem, type StyleRuleInput, type StyleValue, type SubEntityClass, type SubPatch, type SurfaceCompositeProp, type SurfaceProp, type SurfacePropKind, type SurfaceScalarProp, type SurfaceSlotProp, type SurfaceStylePropertyProp, type SurfaceVariantProp, System, type SystemConfig, SystemSection, SystemSource, Token, type TokenBinding, type TokenBody, type TokenMatch, Tool, type TraverseOptions, type TreeNode, UNREACHABLE, type UnadoptedDirective, type UnknownStyleLeaf, type UnlinkPlan, type UnlinkPlanInput, type UnreadableBorrow, type UnstatableCondition, type UpgradedDraft, type UserSchemas, VOID_ELEMENTS, type ValueOf, type ValueType, type VariantValueBody, type VariantValues, type VisibilityOperator, type VisibilityTerm, WEB_ACTIVATIONS, type WalkOptions, type WebActivation, addressOf, alpha, applyPathDelta, assetType, authoredBag, authoredValue, authoringSignatures, baseOf, borrowedGroup, borrowedItem, boundElementType, brandGroup, buildRefGraph, buildRefIndex, canonicalWhen, changeOf, changeValueAt, changesOf, childrenPolicy, className, classPrefixOf, classifyStylePropValue, collectRefs, componentClassBase, componentCompositeClasses, componentLayerClass, componentModuleFilePaths, componentModuleKey, componentModuleSource, componentMotionClasses, componentPropClasses, componentRegistryImports, componentRuleClasses, componentSpec, createCanvasConfig, createSliceMemo, cssPrefixes, cssPropValue, cssProperty, cssPropertyNames, cssValueIssue, cssVar, cssVarRef, danglingDirectives, danglingLocalRefs, danglingSourcedRefs, darken, declaredField, declaredPropRouting, declaredRuntimeModules, defineComponent, defineConfig, defineDerivedEntity, defineEntity, defineOverride, defineSubEntity, deriveCreateSchema, deriveSpec, deriveUpdateSchema, describeBody, describePatch, detectedWireVersion, editOp, entityRefOf, entryKeyOf, expandComponent, expandSpec, fieldKeys, fontFamilyStack, forceModeAttribute, forceModeAttributeOf, forceModeProp, forceModePropGroup, forceModePropValue, forceModeProps, forceStateAttribute, forwardClaims, forwardedLayers, forwardedNames, forwardsOf, globalStyleName, guidanceReaches, guidanceScopeOf, guidanceTextOf, iconCategories, iconLibraries, iconLibrary, iconMemberMetadata, iconMetadata, iconMetadataDeclaration, iconMetadataFile, iconMetadataFileJsonSchema, iconMetadataFormat, inferredRenames, inputOf, instanceSpec, intoName, isAuthored, isBinaryAsset, isConfigFormatError, isConfigRejection, isCssProperty, isDeclaredElementProp, isDerivedColor, isEntityPath, isExtendedRef, isForceModeProp, isGradient, isGroupBody, isLinkSlug, isMintedRow, isNativeConfig, isPlainObject, isRef, isSystemConfig, kebabComponent, kindOf, kindsOf, layerCompositeProps, layerRef, layerStyles, leafAddresses, leafVerb, leavesOfStylePropValue, lighten, linearGradient, matchEntities, matchTokens, memberFromLeaf, memberLeaves, memberOf, memberRef, memberVariantOptions, memoryConfigSource, misdeclaredOverlays, mix, modeAxes, modifierAxes, modifierAxis, modifierCategory, modifierGroupFields, modifierInvariants, modifierLeaf, modifierUtilitiesUsed, motionClassName, namedFields, namedSlotTargets, nativeTokenValue, negatedCssValue, normalizeName, opOf, opVerb, opacityPercentage, opsForKind, orRef, overlayVerb, overrideCondition, overrideKey, overrideKeyModifiers, overrideModifiers, ownValues, ownerOf, ownsItsValues, packageKey, packageName, partsOf, pathDelta, pathOf, pathSegments, planBreak, planCopy, planLink, planUnlink, previewConditionalProps, previewConditions, previewDefaults, previewMatrix, previewSpec, propOwner, propValueDomain, propValueFromAxis, redundantQualifiers, ref, refGraphOf, refLeaf, refSchema, registerSchemaMigrations, renderDerivedColor, renderGradient, renderSignature, renderStyleValue, renderedElement, renderedTarget, resolutionSchema, resolveComponentProps, resolveFieldValue, resolveIconLibrary, resolveInputDir, resolveOutDir, resolveRegistryDir, resolveTokenValue, resolveTokenValueUnder, resolveValueType, resolveVisibility, resolvedSource, rewriteRefNamespace, rewriteRefSource, rewriteRefs, rnStyleKey, rootLayerOf, routedBag, routedProp, routedPropIn, routesContent, ruleApplies, ruleCondition, runChangeHooks, schemaVersionOf, searchEntities, searchTokens, setAtPath, signatureOf, slotTargetsOf, sniffValueType, sourceEntries, sourceOf, sourceOfGroup, sourceOfItem, sourceRowStates, sourceSlugFor, sourceUnavailable, sourceUnreachable, sourceVarPrefix, specWithResolvedVisibility, splitRef, splitStyleProps, stamp, styleAliasesOf, styleDeclarations, stylePropClassBase, stylePropClassName, stylePropClasses, stylePropEntries, stylePropLeafForToken, stylePropNegates, stylePropTokenGroup, stylePropTokenPath, stylePropTokenValues, stylePropValueFormOf, stylePropValueFromLeaf, stylePropValueLeaves, stylePropValueSchema, stylePropValues, stylePropertiesWriting, stylePropertyAccepts, stylePropertyFor, stylePropertyPathFor, styleRuleMotionClasses, suggestLinkSlug, summarizeChanges, surfaceProp, surfaceProps, toCssPropertyName, tokenBinding, touchedFields, unadoptedDirectives, unknownStyleLeaves, unreadableBorrows, unstatableConditions, updateRefIndex, upgradeDraftEntries, upgradePatch, upgradeSerializedConfig, validateComponentProps, validateSpec, valueAt, valueLeavesOf, valueRef, valueSchemaOf, varPrefixOf, views, visibilityStateProps, visibilityTerms, withoutTruthyTerm };
+export { AI_LANES, AiChat, AiFlow, type AiFlowOrigin, AiGeneration, type AiLane, AiMessage, type AiMultiAgentMode, type AnySystemConfig, type AsInput, type AttachedSources, type Authored, type AuthoredComponent, type AuthoredProp, type AuthoredPropBody, type AuthoringSignatureOptions, BUILD_DEFAULTS, type BreakOutcome, type BreakPlan, type BreakPlanInput, type BreakPlanRow, type BreakReach, BuildSection, CANVAS_ROLES, CONFIG_OPERATION_KIND, CSS_DEFAULTS, CSS_PROPERTY_NAMES, CSS_WIDE_KEYWORDS, CURRENT_SCHEMA_VERSION, Canvas, CanvasConfig, CanvasRole, type CanvasRoleName, CanvasSection, type Change, type ChangeHook, type ChangeTarget, type ChildrenPolicy, type Collection, type ColorValue, Component, type ComponentBody, type ComponentBuilder, type ComponentContractOf, type ComponentElementBody, type ComponentModuleSource, type ComponentPropBody, type ComponentPropsOf, type ComponentReference, type ComponentRegistryImport, type ComponentRegistryImportBinding, type ComponentRuleClass, type ComponentSpec, type ComponentSpecs, type ComponentStyleBody, Composite, type ComputedFields, type ComputedInput, type ComputedMap, Config, type ConfigClass, type ConfigEdit, ConfigFormatError, type ConfigInstance, type ConfigIssue, type ConfigIssueCode, type ConfigKind, type ConfigOp, ConfigRejection, ConfigSession, type ConfigSessionOptions, type ConfigSink, type ConfigSource, type CopyPlan, type CopyPlanInput, type CopyPlanRow, type CreateInput, type CssGrammar, type CssPrefix, type CssPropertyEntry, CssSection, DERIVED_MUTATIONS, type DanglingDirective, type DanglingLocalRef, type DanglingRef, type DeclaredRuntimeModule, type DeletePlan, type DeriveMembers, type DerivedColor, type DerivedEntityClass, type DerivedOp, Device, type DraftSource, ENTITY_PATH_MESSAGE, EXPORT_MEMBER, type Edition, type ElementVisibility, type ElementVisibilityInput, Entity, type EntityAddress, type EntityChange, type EntityClass, type EntityKind, type EntityMap, type ExpandOptions, type ExpansionResult, type ExtendedComponentRef, type ExtendedRef, type FieldsSchema, File, Font, FontFile, type ForwardClaims, GROUP, GUIDANCE_LANES, GlobalStyle, type Gradient, type GroupBody, Guidance, type GuidanceLane, type GuidanceScope, type GuidanceSegment, GuidanceStyle, type GuidanceStyleBody, type HasSnapshot, type HydrationOptions, ICON_METADATA_FORMATS, Icon, type IconLibrary, type IconMemberMetadata, type IconMetadataAdapter, type IconMetadataDeclaration, type IconMetadataFile, type IconMetadataFormat, type IdentifiedOp, type InferredRename, type ItemOf, type KindSignature, type KindSlice, LINK_SLUG, LINK_SLUG_MESSAGE, type LayerElement, type LayerMap, type LayerStyleOptions, type LeafAddress, type LinkArrival, type LinkDeclaration, type LinkPaths, type LinkPlan, type LinkPlanInput, LinkedSystem, type LinkedSystemResolver, type LinkedSystemState, type ListOptions, type LiveConfig, type LocalOverlay, MINTED, MODIFIER_CATEGORIES, type MisdeclaredOverlay, Modifier, type ModifierCategory, type ModifierGroupMeta, Motion, NATIVE_ACTIVATIONS, type NativeActivation, NativeModifier, NativeSettings, NativeStyleProperty, NativeToken, Node, type OpHandler, type OpInput, Operation, type OverlayVerb, type OverrideCondition, type OwnedRecords, PLAYGROUND_DEFAULTS, Package, Page, type Patch, type PathOf, type PinDirective, type PinOptions, type PinOptionsField, type Plan, type PlanImpact, type PlanOp, PlaygroundSection, type PreviewMatrix, type ProjectedVisibility, type PropDecl, type PropDeclaration, type PropMap, RN_STYLE_KEYS, ReactNativeSystem, type ReactNativeSystemConfig, type RebaseConflict, type RebaseOrigin, type RebaseResult, type RecordedSource, type RedundantQualifier, type Ref, type RefGraph, type RefGraphEntry, type RefIndex, type RefIndexChange, type RefMember, type RefTarget, type RegisteredComponentContracts, type RegisteredEntities, type RegisteredModifiers, type RegisteredPaths, type RegisteredStyleProps, type RenamePlan, type RenderArgs, type RenderElement, type RenderSpec, type RenderedTarget, type ResolveValueTypeInput, type ResolvedSource, SCRIPT_EXTENSIONS, SERIALIZED_CONFIG_VERSION, STYLE_PROP_VALUE_FORMS, STYLE_PROP_VALUE_LEAVES, type SchemaEntry, type SchemaMigration, SchemaVersionTooNew, type SerializedConfig, type SerializedSourceAnswer, Settings, type SignatureOptions, type SkippedOp, type SlotTarget, Snapshot, type Source, type SourceAnswer, type SourceChange, type SourceMap, type SourceResolution, type SourceResolutionSchemas, type SourceResolver, type SourceRowState, type SourceState, type SourceUnavailable, type SourcesBySlug, type SourcesOf, type SpecNode, type SplitStyleProps, type StampedPatch, type StoredConfig, type StoredPreviewCondition, type StylePropEntry, type StylePropLeaf, type StylePropValue, type StylePropValueCtx, type StylePropValueKind, StyleProperty, type StylePropertyItem, type StyleRuleInput, type StyleValue, type SubEntityClass, type SubPatch, type SurfaceCompositeProp, type SurfaceProp, type SurfacePropKind, type SurfaceScalarProp, type SurfaceSlotProp, type SurfaceStylePropertyProp, type SurfaceVariantProp, System, type SystemConfig, SystemSection, SystemSource, Token, type TokenBinding, type TokenBody, type TokenMatch, Tool, type TraverseOptions, type TreeNode, UNREACHABLE, type UnadoptedDirective, type UnknownStyleLeaf, type UnlinkPlan, type UnlinkPlanInput, type UnreadableBorrow, type UnstatableCondition, type UpgradedDraft, type UserSchemas, VOID_ELEMENTS, type ValueOf, type ValueType, type VariantValueBody, type VariantValues, type VisibilityOperator, type VisibilityTerm, WEB_ACTIVATIONS, type WalkOptions, type WebActivation, addressOf, alpha, applyPathDelta, assetType, authoredBag, authoredValue, authoringSignatures, baseOf, borrowedGroup, borrowedItem, boundElementType, brandGroup, buildRefGraph, buildRefIndex, canonicalWhen, changeOf, changeValueAt, changesOf, childrenPolicy, className, classPrefixOf, classifyStylePropValue, collectRefs, componentClassBase, componentCompositeClasses, componentLayerClass, componentModuleFilePaths, componentModuleKey, componentModuleSource, componentMotionClasses, componentPropClasses, componentRegistryImports, componentRuleClasses, componentSpec, createCanvasConfig, createSliceMemo, cssPrefixes, cssPropValue, cssProperty, cssPropertyNames, cssValueIssue, cssVar, cssVarRef, danglingDirectives, danglingLocalRefs, danglingSourcedRefs, darken, declaredField, declaredPropRouting, declaredRuntimeModules, defineComponent, defineConfig, defineDerivedEntity, defineEntity, defineOverride, defineSubEntity, deriveCreateSchema, deriveSpec, deriveUpdateSchema, describeBody, describePatch, detectedWireVersion, editOp, entityRefOf, entryKeyOf, expandComponent, expandSpec, fieldKeys, fontFamilyStack, forceModeAttribute, forceModeAttributeOf, forceModeProp, forceModePropGroup, forceModePropValue, forceModeProps, forceStateAttribute, forwardClaims, forwardedLayers, forwardedNames, forwardsOf, globalStyleName, guidanceReaches, guidanceScopeOf, guidanceTextOf, iconCategories, iconLibraries, iconLibrary, iconMemberMetadata, iconMetadata, iconMetadataDeclaration, iconMetadataFile, iconMetadataFileJsonSchema, iconMetadataFormat, inferredRenames, inputOf, instanceSpec, intoName, isAuthored, isBinaryAsset, isConfigFormatError, isConfigRejection, isCssProperty, isDeclaredElementProp, isDerivedColor, isEntityPath, isExtendedRef, isForceModeProp, isGradient, isGroupBody, isLinkSlug, isMintedRow, isNativeConfig, isPlainObject, isRef, isSystemConfig, kebabComponent, kindOf, kindsOf, layerCompositeProps, layerRef, layerStyles, leafAddresses, leafVerb, leavesOfStylePropValue, lighten, linearGradient, matchEntities, matchTokens, memberFromLeaf, memberLeaves, memberOf, memberRef, memberVariantOptions, memoryConfigSource, misdeclaredOverlays, mix, modeAxes, modifierAxes, modifierAxis, modifierCategory, modifierGroupFields, modifierInvariants, modifierLeaf, modifierUtilitiesUsed, motionClassName, namedFields, namedSlotTargets, nativeTokenValue, negatedCssValue, normalizeName, opOf, opVerb, opacityPercentage, opsForKind, orRef, overlayVerb, overrideCondition, overrideKey, overrideKeyModifiers, overrideModifiers, ownValues, ownerOf, ownsItsValues, packageKey, packageName, partsOf, pathDelta, pathOf, pathSegments, planBreak, planCopy, planLink, planUnlink, previewConditionalProps, previewConditions, previewDefaults, previewMatrix, previewSpec, propOwner, propValueDomain, propValueFromAxis, redundantQualifiers, ref, refGraphOf, refLeaf, refSchema, registerSchemaMigrations, renderDerivedColor, renderGradient, renderSignature, renderStyleValue, renderedElement, renderedTarget, resolutionSchema, resolveComponentProps, resolveFieldValue, resolveIconLibrary, resolveInputDir, resolveOutDir, resolveRegistryDir, resolveTokenValue, resolveTokenValueUnder, resolveValueType, resolveVisibility, resolvedSource, rewriteRefNamespace, rewriteRefSource, rewriteRefs, rnStyleKey, rootLayerOf, routedBag, routedProp, routedPropIn, routesContent, ruleApplies, ruleCondition, runChangeHooks, schemaVersionOf, searchEntities, searchTokens, setAtPath, signatureOf, slotTargetsOf, sniffValueType, sourceEntries, sourceOf, sourceOfGroup, sourceOfItem, sourceRowStates, sourceSlugFor, sourceUnavailable, sourceUnreachable, sourceVarPrefix, specWithResolvedVisibility, splitRef, splitStyleProps, stamp, styleAliasesOf, styleDeclarations, stylePropClassBase, stylePropClassName, stylePropClasses, stylePropEntries, stylePropLeafForToken, stylePropNegates, stylePropTokenGroup, stylePropTokenPath, stylePropTokenValues, stylePropValueFormOf, stylePropValueFromLeaf, stylePropValueLeaves, stylePropValueSchema, stylePropValues, stylePropertiesWriting, stylePropertyAccepts, stylePropertyFor, stylePropertyPathFor, styleRuleMotionClasses, suggestLinkSlug, summarizeChanges, surfaceProp, surfaceProps, toCssPropertyName, tokenBinding, touchedFields, unadoptedDirectives, unknownStyleLeaves, unreadableBorrows, unstatableConditions, updateRefIndex, upgradeDraftEntries, upgradePatch, upgradeSerializedConfig, validateComponentProps, validateSpec, valueAt, valueLeavesOf, valueRef, valueSchemaOf, varPrefixOf, views, visibilityStateProps, visibilityTerms, withoutTruthyTerm };

package/dist/migrations/2.0.0/v1-artifact.d.ts

@@ -1,5 +1,6 @@
 import { CopyPlan } from "../../entities/system/copy-plan.js";
-import { Ref } from "../../framework/utils/refs.js";
+import { ExtendableRef, Ref } from "../../framework/utils/refs.js";
+import { CreateInput } from "../../framework/utils/field-schema.js";
 import { DerivedEntityClass } from "../../framework/defineDerivedEntity.js";
 import { SubEntityClass } from "../../framework/defineSubEntity.js";
 import { ComponentContractOf, PathOf } from "../../framework/registered.js";
@@ -1012,7 +1013,7 @@ declare function loadV1Artifact(studio: V1Artifact, options?: LoadV1Options): Co
       __ref: _$zod.ZodString;
     }, _$zod_v4_core0.$strip>>;
   }, _$zod_v4_core0.$strip>, "modifier", Record<never, never>, Record<never, never>, false>;
-  styleProps: EntityClass<_$zod.ZodObject<{
+  styleProps: Omit<EntityClass<_$zod.ZodObject<{
     properties: _$zod.ZodArray<_$zod.ZodString>;
     values: _$zod.ZodOptional<_$zod.ZodArray<_$zod.ZodType<StylePropValue, unknown, _$zod_v4_core0.$ZodTypeInternals<StylePropValue, unknown>>>>;
     responsive: _$zod.ZodDefault<_$zod.ZodBoolean>;
@@ -1038,7 +1039,19 @@ declare function loadV1Artifact(studio: V1Artifact, options?: LoadV1Options): Co
         data: Record<string, unknown>;
       } | undefined;
     };
-  }, Record<never, never>, false>;
+  }, Record<never, never>, false>, "ref"> & {
+    ref<const Path extends PathOf<"style-property">>(path: Path): ReturnType<(path: string) => ExtendableRef<Partial<CreateInput<_$zod.ZodObject<{
+      properties: _$zod.ZodArray<_$zod.ZodString>;
+      values: _$zod.ZodOptional<_$zod.ZodArray<_$zod.ZodType<StylePropValue, unknown, _$zod_v4_core0.$ZodTypeInternals<StylePropValue, unknown>>>>;
+      responsive: _$zod.ZodDefault<_$zod.ZodBoolean>;
+      classPrefix: _$zod.ZodOptional<_$zod.ZodString>;
+      arbitrary: _$zod.ZodDefault<_$zod.ZodBoolean>;
+      negates: _$zod.ZodDefault<_$zod.ZodBoolean>;
+      opacityOf: _$zod.ZodOptional<_$zod.ZodLazy<_$zod.ZodType<Ref, unknown, _$zod_v4_core0.$ZodTypeInternals<Ref, unknown>>>>;
+    }, _$zod_v4_core0.$strip>>>>> & {
+      readonly __ref: `style-property:${Path}`;
+    };
+  };
   composites: EntityClass<_$zod.ZodObject<{
     styles: SubEntityClass<_$zod.ZodType<StyleValue, unknown, _$zod_v4_core0.$ZodTypeInternals<StyleValue, unknown>>>;
   }, _$zod_v4_core0.$strip>, _$zod.ZodObject<Record<never, never>, _$zod_v4_core0.$strip>, "composite", Record<never, never>, Record<never, never>, false>;