clava 0.2.4 → 0.4.0

package/src/index.ts

@@ -5,14 +5,13 @@ import type {
   ClassValue,
   ComponentProps,
   ComponentResult,
-  Computed,
-  ComputedVariants,
   ExtendableVariants,
   HTMLObjProps,
   HTMLProps,
   JSXProps,
   MergeVariants,
   ModalComponent,
+  Refine,
   SplitPropsFunction,
   StyleClassProps,
   StyleClassValue,
@@ -42,14 +41,33 @@ type ComputeFn = (
   skipValues: Record<string, Set<string>> | null,
   classesOut: ClsxClassValue[],
   styleOut: StyleValue,
-) => void;
+  runState?: RefineRunState,
+  protectedVariants?: Record<string, unknown> | null,
+  pendingProtectedVariants?: Record<string, unknown> | null,
+  protectedVariantKeys?: Set<string> | null,
+) => Record<string, unknown>;
+
+type ResolveRefineFn = (
+  resolved: Record<string, unknown>,
+  userVariantProps: Record<string, unknown>,
+  filterOwnVariants?: boolean,
+  runState?: RefineRunState,
+  protectedVariants?: Record<string, unknown> | null,
+  pendingProtectedVariants?: Record<string, unknown> | null,
+  protectedVariantKeys?: Set<string> | null,
+) => Record<string, unknown>;
+
+interface RefineRunState {
+  remaining: number;
+  warned: boolean;
+}
 
 // Internal metadata stored on components but hidden from public types.
 interface ComponentMeta {
   baseClass: string;
   staticDefaults: Record<string, unknown>;
-  // Returns variants set via setDefaultVariants in the computed function chain.
-  // null when this component has no resolveDefaults work to do (no `computed`
+  // Returns variants set via setDefaultVariants in the refine function chain.
+  // null when this component has no resolveDefaults work to do (no `refine`
   // and no extends with work).
   resolveDefaults:
     | ((
@@ -60,23 +78,97 @@ interface ComponentMeta {
   // Returns variant classes + style for this component, used by extending
   // components. Top-level rendering also routes through this.
   compute: ComputeFn;
+  resolveRefine: ResolveRefineFn | null;
   // Reference identity is used to detect mixed-factory `extend`. When a
   // component is extended by a parent from a different `create()` call, the
   // parent applies this transform to the extend's contribution before joining,
   // preserving each factory's transform boundary.
   transformClass: (className: string) => string;
+  // Variant keys whose effective definition in this component's chain is a
+  // function. An extending component that supplies a non-function variant for
+  // the same key uses this to tell us to skip that key (matching the
+  // type-level "function variant is replaced by anything in the child" rule).
+  // Empty when no key in this chain is a function variant.
+  functionVariantKeys: Set<string>;
 }
 
 const META_KEY = "__meta";
 
-// eslint-disable-next-line @typescript-eslint/unbound-method
-const hasOwn = Object.prototype.hasOwnProperty;
-
 const EMPTY_DEFAULTS: Record<string, unknown> = Object.freeze({}) as Record<
   string,
   unknown
 >;
 
+const MAX_REFINE_RUNS = 50;
+
+function areVariantsEqual(
+  a: Record<string, unknown>,
+  b: Record<string, unknown>,
+): boolean {
+  for (const key in a) {
+    if (!Object.hasOwn(a, key)) continue;
+    if (!Object.is(a[key], b[key])) return false;
+  }
+  for (const key in b) {
+    if (!Object.hasOwn(b, key)) continue;
+    if (!Object.hasOwn(a, key)) return false;
+  }
+  return true;
+}
+
+function warnRefineLimit(runState: RefineRunState): void {
+  if (runState.warned) return;
+  runState.warned = true;
+  if (process.env.NODE_ENV !== "production") {
+    console.warn(
+      "Clava: Maximum refine iterations exceeded. This can happen when a " +
+        "refine callback calls setVariants or setDefaultVariants, but one " +
+        "of the variants changes on every run.",
+    );
+  }
+}
+
+function getExtUserVariantProps(
+  userVariantProps: Record<string, unknown>,
+  protectedVariants: Record<string, unknown> | null,
+  changedVariants: Record<string, unknown> | null,
+): Record<string, unknown> {
+  const extUserVariantProps: Record<string, unknown> = {};
+  Object.assign(extUserVariantProps, userVariantProps);
+  if (protectedVariants) {
+    Object.assign(extUserVariantProps, protectedVariants);
+  }
+  if (changedVariants) {
+    Object.assign(extUserVariantProps, changedVariants);
+  }
+  return extUserVariantProps;
+}
+
+function mergeVariants(
+  target: Record<string, unknown>,
+  source: Record<string, unknown>,
+  skipKeys?: Set<string> | null,
+): boolean {
+  let changed = false;
+  if (!skipKeys || skipKeys.size === 0) {
+    for (const key in source) {
+      if (!Object.hasOwn(source, key)) continue;
+      const value = source[key];
+      if (!Object.is(target[key], value)) changed = true;
+      target[key] = value;
+    }
+    return changed;
+  }
+  for (const key in source) {
+    if (!Object.hasOwn(source, key)) continue;
+    if (skipKeys.has(key)) continue;
+    const value = source[key];
+    if (!Object.is(target[key], value)) changed = true;
+    target[key] = value;
+  }
+  return changed;
+}
+
 // Dynamic property access on function requires cast through unknown.
 function getComponentMeta(component: AnyComponent): ComponentMeta | undefined {
   return (component as unknown as Record<string, unknown>)[META_KEY] as
@@ -115,16 +207,14 @@ export type Variant<
 
 export interface CVConfig<
   V extends Variants = {},
-  CV extends ComputedVariants = {},
   E extends AnyComponent[] = [],
 > {
   extend?: E;
   class?: ClassValue;
   style?: StyleValue;
   variants?: ExtendableVariants<V, E>;
-  computedVariants?: CV;
-  defaultVariants?: VariantValues<MergeVariants<V, CV, E>>;
-  computed?: Computed<MergeVariants<V, CV, E>>;
+  defaultVariants?: VariantValues<MergeVariants<V, E>>;
+  refine?: Refine<MergeVariants<V, E>>;
 }
 
 interface CreateParams {
@@ -195,7 +285,7 @@ function extractClassAndStylePrebuilt(value: unknown): PrebuiltValue {
  * components.
  */
 function collectVariantKeys(
-  config: CVConfig<Variants, ComputedVariants, AnyComponent[]>,
+  config: CVConfig<Variants, AnyComponent[]>,
 ): string[] {
   const keys = new Set<string>();
 
@@ -210,7 +300,7 @@ function collectVariantKeys(
 
   if (config.variants) {
     for (const key in config.variants) {
-      if (!hasOwn.call(config.variants, key)) continue;
+      if (!Object.hasOwn(config.variants, key)) continue;
       const variant = (config.variants as Record<string, unknown>)[key];
       if (variant === null) {
         keys.delete(key);
@@ -220,18 +310,11 @@ function collectVariantKeys(
     }
   }
 
-  if (config.computedVariants) {
-    for (const key in config.computedVariants) {
-      if (!hasOwn.call(config.computedVariants, key)) continue;
-      keys.add(key);
-    }
-  }
-
   return Array.from(keys);
 }
 
 function isVariantDisabled(
-  config: CVConfig<Variants, ComputedVariants, AnyComponent[]>,
+  config: CVConfig<Variants, AnyComponent[]>,
   key: string,
 ): boolean {
   return config.variants?.[key] === null;
@@ -245,7 +328,7 @@ function getVariantValueKey(value: unknown): string | undefined {
 }
 
 function isVariantValueDisabled(
-  config: CVConfig<Variants, ComputedVariants, AnyComponent[]>,
+  config: CVConfig<Variants, AnyComponent[]>,
   key: string,
   value: unknown,
 ): boolean {
@@ -257,12 +340,12 @@ function isVariantValueDisabled(
 }
 
 function collectDisabledVariantKeys(
-  config: CVConfig<Variants, ComputedVariants, AnyComponent[]>,
+  config: CVConfig<Variants, AnyComponent[]>,
 ): Set<string> {
   const keys = new Set<string>();
   if (!config.variants) return keys;
   for (const key in config.variants) {
-    if (!hasOwn.call(config.variants, key)) continue;
+    if (!Object.hasOwn(config.variants, key)) continue;
     if ((config.variants as Record<string, unknown>)[key] === null) {
       keys.add(key);
     }
@@ -271,17 +354,17 @@ function collectDisabledVariantKeys(
 }
 
 function collectDisabledVariantValues(
-  config: CVConfig<Variants, ComputedVariants, AnyComponent[]>,
+  config: CVConfig<Variants, AnyComponent[]>,
 ): Record<string, Set<string>> {
   const values: Record<string, Set<string>> = {};
   if (!config.variants) return values;
   for (const key in config.variants) {
-    if (!hasOwn.call(config.variants, key)) continue;
+    if (!Object.hasOwn(config.variants, key)) continue;
     const variant = (config.variants as Record<string, unknown>)[key];
     if (!isRecordObject(variant)) continue;
     let bucket: Set<string> | undefined;
     for (const variantValue in variant) {
-      if (!hasOwn.call(variant, variantValue)) continue;
+      if (!Object.hasOwn(variant, variantValue)) continue;
       if (variant[variantValue] !== null) continue;
       if (!bucket) {
         bucket = new Set<string>();
@@ -294,13 +377,13 @@ function collectDisabledVariantValues(
 }
 
 interface NormalizedSource {
-  keys: string[];
+  propKeys: string[];
   variantKeys: string[];
   isComponent: boolean;
 }
 
 const EMPTY_SOURCE: NormalizedSource = {
-  keys: [],
+  propKeys: [],
   variantKeys: [],
   isComponent: false,
 };
@@ -308,7 +391,7 @@ const EMPTY_SOURCE: NormalizedSource = {
 function normalizeKeySource(source: unknown): NormalizedSource {
   if (Array.isArray(source)) {
     return {
-      keys: source as string[],
+      propKeys: source as string[],
       variantKeys: source as string[],
       isComponent: false,
     };
@@ -318,17 +401,14 @@ function normalizeKeySource(source: unknown): NormalizedSource {
   if (typeof source !== "object" && typeof source !== "function") {
     return EMPTY_SOURCE;
   }
-  if (!("keys" in source)) return EMPTY_SOURCE;
-  if (!("variantKeys" in source)) return EMPTY_SOURCE;
+  const typed = source as Record<string, unknown>;
+  if (typeof typed.getVariants !== "function") return EMPTY_SOURCE;
+  if (!Array.isArray(typed.propKeys)) return EMPTY_SOURCE;
+  if (!Array.isArray(typed.variantKeys)) return EMPTY_SOURCE;
 
-  // Component-provided arrays are immutable metadata — reference directly.
-  const typed = source as {
-    keys: string[];
-    variantKeys: string[];
-  };
   return {
-    keys: typed.keys,
-    variantKeys: typed.variantKeys,
+    propKeys: typed.propKeys as string[],
+    variantKeys: typed.variantKeys as string[],
     isComponent: true,
   };
 }
@@ -368,7 +448,9 @@ function splitPropsImpl(
     const sourceResult: Record<string, unknown> = {};
 
     const effectiveKeys =
-      source.isComponent && stylingClaimed ? source.variantKeys : source.keys;
+      source.isComponent && stylingClaimed
+        ? source.variantKeys
+        : source.propKeys;
 
     const effectiveKeysLength = effectiveKeys.length;
     for (let i = 0; i < effectiveKeysLength; i++) {
@@ -422,7 +504,7 @@ export const splitProps: SplitPropsFunction = ((
 ) => {
   const normalizedSource1 = normalizeKeySource(source1);
   return splitPropsImpl(
-    normalizedSource1.keys,
+    normalizedSource1.propKeys,
     normalizedSource1.isComponent,
     props,
     sources,
@@ -455,7 +537,7 @@ function buildPrebuiltVariant(variantDef: unknown): PrebuiltVariant {
   const values: Record<string, PrebuiltValue> = {};
   let disabledValues: Set<string> | null = null;
   for (const key in variantDef) {
-    if (!hasOwn.call(variantDef, key)) continue;
+    if (!Object.hasOwn(variantDef, key)) continue;
     const value = variantDef[key];
     if (value === null) {
       if (!disabledValues) disabledValues = new Set<string>();
@@ -479,14 +561,10 @@ export function create({
 }: CreateParams = {}) {
   const cx = (...classes: ClsxClassValue[]) => transformClass(clsx(...classes));
 
-  const cv = <
-    V extends Variants = {},
-    CV extends ComputedVariants = {},
-    const E extends AnyComponent[] = [],
-  >(
-    config: CVConfig<V, CV, E> = {},
-  ): CVComponent<V, CV, E> => {
-    type MergedVariants = MergeVariants<V, CV, E>;
+  const cv = <V extends Variants = {}, const E extends AnyComponent[] = []>(
+    config: CVConfig<V, E> = {},
+  ): CVComponent<V, E> => {
+    type MergedVariants = MergeVariants<V, E>;
 
     // ----- Pre-computed at creation time -----
     const variantKeys = collectVariantKeys(config);
@@ -503,41 +581,34 @@ export function create({
     const extend = config.extend;
     const hasExtend = !!extend && extend.length > 0;
     const variants = config.variants;
-    const computedVariantsCfg = config.computedVariants;
-    const computed = config.computed;
+    const refine = config.refine;
     const baseStyle = config.style;
     const hasBaseStyle = !!baseStyle;
 
-    // Pre-build variant entries for fast iteration. For each variant key in
-    // `variants`, we have a name and a PrebuiltVariant with normalized values.
+    // Split `variants` entries into static entries (object/shorthand) and
+    // function-variant entries. Static entries are pre-built into
+    // PrebuiltVariant for fast iteration. Function-variant entries override
+    // any same-key inherited variant (see `staticExtSkipKeys`).
     const variantEntryNames: string[] = [];
     const variantEntryDefs: PrebuiltVariant[] = [];
+    const functionVariantNames: string[] = [];
+    const functionVariantFns: Array<(value: unknown) => unknown> = [];
     if (variants) {
       for (const name in variants) {
-        if (!hasOwn.call(variants, name)) continue;
+        if (!Object.hasOwn(variants, name)) continue;
         const variant = (variants as Record<string, unknown>)[name];
         if (variant === null) continue;
+        if (typeof variant === "function") {
+          functionVariantNames.push(name);
+          functionVariantFns.push(variant as (value: unknown) => unknown);
+          continue;
+        }
         variantEntryNames.push(name);
         variantEntryDefs.push(buildPrebuiltVariant(variant));
       }
     }
     const variantEntryCount = variantEntryNames.length;
-
-    // Pre-built computed-variants entries.
-    const computedVariantNames: string[] = [];
-    const computedVariantFns: Array<(value: unknown) => unknown> = [];
-    if (computedVariantsCfg) {
-      for (const name in computedVariantsCfg) {
-        if (!hasOwn.call(computedVariantsCfg, name)) continue;
-        computedVariantNames.push(name);
-        computedVariantFns.push(
-          (computedVariantsCfg as Record<string, (value: unknown) => unknown>)[
-            name
-          ] as (value: unknown) => unknown,
-        );
-      }
-    }
-    const computedVariantCount = computedVariantNames.length;
+    const functionVariantCount = functionVariantNames.length;
 
     // Pre-compute static defaults. Includes:
     // - extended components' static defaults
@@ -553,11 +624,11 @@ export function create({
     }
     if (variants) {
       for (const name in variants) {
-        if (!hasOwn.call(variants, name)) continue;
+        if (!Object.hasOwn(variants, name)) continue;
         const variantDef = (variants as Record<string, unknown>)[name];
         if (!isRecordObject(variantDef)) continue;
         if (
-          hasOwn.call(variantDef, "false") &&
+          Object.hasOwn(variantDef, "false") &&
           staticDefaults[name] === undefined
         ) {
           staticDefaults[name] = false;
@@ -570,7 +641,7 @@ export function create({
     if (hasAnyDisabled) {
       // Filter disabled variants in-place
       for (const key in staticDefaults) {
-        if (!hasOwn.call(staticDefaults, key)) continue;
+        if (!Object.hasOwn(staticDefaults, key)) continue;
         if (disabledVariantKeys.has(key)) {
           delete staticDefaults[key];
           continue;
@@ -596,7 +667,7 @@ export function create({
     const extBaseClassesArr: string[] = [];
     const extIsolated: boolean[] = [];
     let hasIsolatedExt = false;
-    if (extend) {
+    if (hasExtend) {
       for (const ext of extend) {
         const meta = getComponentMeta(ext);
         if (!meta) continue;
@@ -616,26 +687,80 @@ export function create({
     }
     const extCount = extMetas.length;
 
-    // Filter to only extends whose `resolveDefaults` actually does work
-    // (config.computed exists, transitively). Iterating these in
-    // `resolveVariantsHot` skips empty work.
-    const extMetasWithResolveDefaults: ComponentMeta[] = [];
+    // Filter to only extends with refine work in their chain. `resolveDefaults`
+    // and `resolveRefine` are populated from the same transitive condition,
+    // so one bucket is enough for both resolver paths.
+    const extMetasWithRefine: ComponentMeta[] = [];
     for (let i = 0; i < extCount; i++) {
-      if (extMetas[i].resolveDefaults) {
-        extMetasWithResolveDefaults.push(extMetas[i]);
+      const meta = extMetas[i];
+      if (meta.resolveDefaults) {
+        extMetasWithRefine.push(meta);
+      }
+    }
+    const extMetasWithRefineCount = extMetasWithRefine.length;
+    const shouldCollectChangedVariants = extMetasWithRefineCount > 0;
+
+    // Function variant keys inherited from extends, filtered through this
+    // component's own variants: a static (object/shorthand) variant in this
+    // component replaces an inherited function variant for the same key.
+    // The closure is exposed on `ComponentMeta` so any further extending
+    // component can detect "ancestor's effective variant for K is a function"
+    // and skip it when overriding K with a non-function.
+    const functionVariantKeys = new Set<string>();
+    for (let i = 0; i < extCount; i++) {
+      const fnKeys = extMetas[i].functionVariantKeys;
+      for (const k of fnKeys) {
+        if (disabledVariantKeys.has(k)) continue;
+        functionVariantKeys.add(k);
+      }
+    }
+    for (let i = 0; i < functionVariantCount; i++) {
+      functionVariantKeys.add(functionVariantNames[i]);
+    }
+    for (let i = 0; i < variantEntryCount; i++) {
+      // A static variant in this component replaces an inherited function
+      // variant for the same key; from this component onward, the key is no
+      // longer a function variant.
+      functionVariantKeys.delete(variantEntryNames[i]);
+    }
+
+    // Static-variant keys in this component that override an inherited
+    // function variant. Type-level merge says child fully replaces, so the
+    // ancestor's function must not run with the child's (object-typed) value.
+    let staticVariantsOverridingExtFn: string[] | null = null;
+    if (variantEntryCount > 0 && extCount > 0) {
+      for (let i = 0; i < variantEntryCount; i++) {
+        const name = variantEntryNames[i];
+        for (let j = 0; j < extCount; j++) {
+          if (extMetas[j].functionVariantKeys.has(name)) {
+            if (!staticVariantsOverridingExtFn) {
+              staticVariantsOverridingExtFn = [];
+            }
+            staticVariantsOverridingExtFn.push(name);
+            break;
+          }
+        }
       }
     }
-    const extMetasWithResolveDefaultsCount = extMetasWithResolveDefaults.length;
 
     // Pre-compute static skip key/value sets to pass to extends. These never
     // change across calls — when caller passes no skip sets, we reuse the same
     // object and avoid Set allocation.
     let staticExtSkipKeys: Set<string> | null = null;
-    if (hasDisabledVariantKeys || computedVariantCount > 0) {
+    if (
+      hasDisabledVariantKeys ||
+      functionVariantCount > 0 ||
+      staticVariantsOverridingExtFn !== null
+    ) {
       staticExtSkipKeys = new Set<string>();
       for (const k of disabledVariantKeys) staticExtSkipKeys.add(k);
-      for (let i = 0; i < computedVariantCount; i++) {
-        staticExtSkipKeys.add(computedVariantNames[i]);
+      for (let i = 0; i < functionVariantCount; i++) {
+        staticExtSkipKeys.add(functionVariantNames[i]);
+      }
+      if (staticVariantsOverridingExtFn) {
+        for (const k of staticVariantsOverridingExtFn) {
+          staticExtSkipKeys.add(k);
+        }
       }
     }
     // Skip values are passed directly to extends. We can reuse the same object
@@ -652,12 +777,12 @@ export function create({
     ): void {
       if (!hasAnyDisabled) {
         for (const key in input) {
-          if (hasOwn.call(input, key)) out[key] = input[key];
+          if (Object.hasOwn(input, key)) out[key] = input[key];
         }
         return;
       }
       for (const key in input) {
-        if (!hasOwn.call(input, key)) continue;
+        if (!Object.hasOwn(input, key)) continue;
         if (disabledVariantKeys.has(key)) continue;
         const value = input[key];
         if (hasDisabledVariantValues) {
@@ -672,12 +797,12 @@ export function create({
 
     // Pre-create resolveDefaults function — used by parents during their
     // `resolveVariantsHot`. Returns the variants set via setDefaultVariants in
-    // the computed function chain.
+    // the refine function chain.
     //
-    // When this component has no `computed` and no `extend` with work, the
+    // When this component has no `refine` and no `extend` with work, the
     // function is null — callers can skip iterating it entirely.
     const resolveDefaultsFn: ComponentMeta["resolveDefaults"] =
-      computed || extMetasWithResolveDefaultsCount > 0
+      refine || extMetasWithRefineCount > 0
         ? (
             childDefaults: Record<string, unknown>,
             userProps: Record<string, unknown> = EMPTY_DEFAULTS,
@@ -687,52 +812,54 @@ export function create({
             const resolvedVariants: Record<string, unknown> = {};
             Object.assign(resolvedVariants, staticDefaults);
             for (const key in childDefaults) {
-              if (!hasOwn.call(childDefaults, key)) continue;
+              if (!Object.hasOwn(childDefaults, key)) continue;
               const v = childDefaults[key];
               if (v === undefined) continue;
               resolvedVariants[key] = v;
             }
             for (const key in userProps) {
-              if (!hasOwn.call(userProps, key)) continue;
+              if (!Object.hasOwn(userProps, key)) continue;
               const v = userProps[key];
               if (v === undefined) continue;
               resolvedVariants[key] = v;
             }
 
-            const computedDefaults: Record<string, unknown> = {};
+            const refineDefaults: Record<string, unknown> = {};
 
-            for (let i = 0; i < extMetasWithResolveDefaultsCount; i++) {
-              const extDefaults = extMetasWithResolveDefaults[i]
-                .resolveDefaults!(childDefaults, userProps);
+            for (let i = 0; i < extMetasWithRefineCount; i++) {
+              const extDefaults = extMetasWithRefine[i].resolveDefaults!(
+                childDefaults,
+                userProps,
+              );
               for (const k in extDefaults) {
-                if (!hasOwn.call(extDefaults, k)) continue;
-                computedDefaults[k] = extDefaults[k];
+                if (!Object.hasOwn(extDefaults, k)) continue;
+                refineDefaults[k] = extDefaults[k];
               }
             }
 
-            if (computed) {
-              // Filter to own variant keys so `computed.ctx.variants` matches
+            if (refine) {
+              // Filter to own variant keys so `ctx.variants` matches
               // `VariantValues<V>` when this component is used as an extend by
               // a parent that adds extra variant keys (those keys would
               // otherwise leak through `userProps`).
               const ownVariants: Record<string, unknown> = {};
               for (let i = 0; i < variantKeysLength; i++) {
                 const k = variantKeys[i];
-                if (hasOwn.call(resolvedVariants, k)) {
+                if (Object.hasOwn(resolvedVariants, k)) {
                   ownVariants[k] = resolvedVariants[k];
                 }
               }
-              computed({
+              refine({
                 variants: ownVariants as VariantValues<Record<string, unknown>>,
                 setVariants: noop,
                 setDefaultVariants: (newDefaults) => {
                   for (const key in newDefaults) {
-                    if (!hasOwn.call(newDefaults, key)) continue;
+                    if (!Object.hasOwn(newDefaults, key)) continue;
                     const value = (newDefaults as Record<string, unknown>)[key];
                     if (userProps[key] !== undefined) continue;
                     if (isVariantDisabled(config, key)) continue;
                     if (isVariantValueDisabled(config, key, value)) continue;
-                    computedDefaults[key] = value;
+                    refineDefaults[key] = value;
                   }
                 },
                 addClass: noop,
@@ -740,12 +867,12 @@ export function create({
               });
             }
 
-            return computedDefaults;
+            return refineDefaults;
           }
         : null;
 
     // Hot path: resolve variants by merging static defaults + extends'
-    // computed defaults + user-provided props.
+    // refine defaults + user-provided props.
     function resolveVariantsHot(
       propsVariants: Record<string, unknown>,
     ): Record<string, unknown> {
@@ -753,14 +880,14 @@ export function create({
       const defaults: Record<string, unknown> = {};
       Object.assign(defaults, staticDefaults);
 
-      // Apply computed defaults from extended components (only those that have
+      // Apply refine defaults from extended components (only those that have
       // actual work to do).
-      for (let i = 0; i < extMetasWithResolveDefaultsCount; i++) {
-        const meta = extMetasWithResolveDefaults[i];
-        const extComputed = meta.resolveDefaults!(defaults, propsVariants);
-        for (const k in extComputed) {
-          if (!hasOwn.call(extComputed, k)) continue;
-          defaults[k] = extComputed[k];
+      for (let i = 0; i < extMetasWithRefineCount; i++) {
+        const meta = extMetasWithRefine[i];
+        const extDefaults = meta.resolveDefaults!(defaults, propsVariants);
+        for (const k in extDefaults) {
+          if (!Object.hasOwn(extDefaults, k)) continue;
+          defaults[k] = extDefaults[k];
         }
       }
 
@@ -768,7 +895,7 @@ export function create({
       // contractually variant-only here — callers building from a full props
       // object filter to variant keys before calling.
       for (const k in propsVariants) {
-        if (!hasOwn.call(propsVariants, k)) continue;
+        if (!Object.hasOwn(propsVariants, k)) continue;
         const v = propsVariants[k];
         if (v === undefined) continue;
         defaults[k] = v;
@@ -782,39 +909,44 @@ export function create({
       return result;
     }
 
-    // Core compute path. Called both for top-level rendering (via
-    // `computeResult`) and recursively when this component is used as an
-    // `extend` target by another component. Pushes variant classes (excluding
-    // base class) into `classesOut` and merges styles into `styleOut`.
-    const compute: ComputeFn = (
-      resolved,
-      userVariantProps,
-      skipKeys,
-      skipValues,
-      classesOut,
-      styleOut,
-    ) => {
-      // Run `computed` (if any). May modify resolved variants and emit classes
-      // and styles.
+    const runRefineContext = (
+      resolved: Record<string, unknown>,
+      userVariantProps: Record<string, unknown>,
+      filterOwnVariants: boolean,
+      collectOutput: boolean,
+      protectedVariants: Record<string, unknown> | null | undefined,
+      pendingProtectedVariants: Record<string, unknown> | null | undefined,
+      protectedVariantKeys: Set<string> | null | undefined,
+    ): {
+      workingResolved: Record<string, unknown>;
+      changedVariants: Record<string, unknown> | null;
+      classes: ClassValue[] | null;
+      style: StyleValue | null;
+    } => {
       let workingResolved = resolved;
       let cClasses: ClassValue[] | null = null;
       let cStyle: StyleValue | null = null;
-
-      if (computed) {
-        // When this component is being extended, `resolved` is the parent's
-        // workingResolved (a superset of our variant keys). Filter to our own
-        // keys for `ctx.variants` so the user's `computed` callback sees the
-        // shape declared by `VariantValues<V>` and not foreign parent keys.
-        const ownVariants: Record<string, unknown> = {};
-        for (let i = 0; i < variantKeysLength; i++) {
-          const k = variantKeys[i];
-          if (hasOwn.call(resolved, k)) ownVariants[k] = resolved[k];
+      let changedVariants: Record<string, unknown> | null = null;
+
+      if (refine) {
+        let ownVariants = resolved;
+        if (filterOwnVariants) {
+          // When this component is being extended, `resolved` is the parent's
+          // workingResolved (a superset of our variant keys). Filter to our own
+          // keys for `ctx.variants` so the user's `refine` callback sees the
+          // shape declared by `VariantValues<V>` and not foreign parent keys.
+          const filteredVariants: Record<string, unknown> = {};
+          for (let i = 0; i < variantKeysLength; i++) {
+            const k = variantKeys[i];
+            if (Object.hasOwn(resolved, k)) filteredVariants[k] = resolved[k];
+          }
+          ownVariants = filteredVariants;
         }
-        // Lazy-init updatedVariants — many computeds only inspect `variants`
-        // or call setDefaultVariants for keys the user already set, so the
-        // copy is unnecessary in the common case.
+        // Lazy-init updatedVariants — many refine callbacks only inspect
+        // `variants` or call setDefaultVariants for keys the user already set,
+        // so the copy is unnecessary in the common case.
         let updatedVariants: Record<string, unknown> | null = null;
-        const localCClasses: ClassValue[] = [];
+        const localCClasses: ClassValue[] | null = collectOutput ? [] : null;
         let localCStyle: StyleValue | null = null;
         const ensureUpdated = (): Record<string, unknown> => {
           if (updatedVariants) return updatedVariants;
@@ -823,17 +955,40 @@ export function create({
           updatedVariants = u;
           return u;
         };
+        const setChangedVariant = (
+          key: string,
+          value: unknown,
+          protect = false,
+        ) => {
+          if (shouldCollectChangedVariants) {
+            if (!changedVariants) changedVariants = {};
+            changedVariants[key] = value;
+          }
+          if (protect && protectedVariants) {
+            protectedVariants[key] = value;
+            protectedVariantKeys?.add(key);
+          }
+        };
+        const getCurrentVariantValue = (key: string) => {
+          return updatedVariants ? updatedVariants[key] : ownVariants[key];
+        };
         const ctx = {
           variants: ownVariants as VariantValues<Record<string, unknown>>,
           setVariants: (
             newVariants: VariantValues<Record<string, unknown>>,
           ) => {
             if (!hasAnyDisabled) {
-              Object.assign(ensureUpdated(), newVariants);
+              for (const key in newVariants) {
+                if (!Object.hasOwn(newVariants, key)) continue;
+                const value = (newVariants as Record<string, unknown>)[key];
+                setChangedVariant(key, value, true);
+                if (getCurrentVariantValue(key) === value) continue;
+                ensureUpdated()[key] = value;
+              }
               return;
             }
             for (const key in newVariants) {
-              if (!hasOwn.call(newVariants, key)) continue;
+              if (!Object.hasOwn(newVariants, key)) continue;
               if (disabledVariantKeys.has(key)) continue;
               const value = (newVariants as Record<string, unknown>)[key];
               if (hasDisabledVariantValues) {
@@ -845,6 +1000,8 @@ export function create({
                   continue;
                 }
               }
+              setChangedVariant(key, value, true);
+              if (getCurrentVariantValue(key) === value) continue;
               ensureUpdated()[key] = value;
             }
           },
@@ -852,8 +1009,9 @@ export function create({
             newDefaults: VariantValues<Record<string, unknown>>,
           ) => {
             for (const key in newDefaults) {
-              if (!hasOwn.call(newDefaults, key)) continue;
+              if (!Object.hasOwn(newDefaults, key)) continue;
               if (userVariantProps[key] !== undefined) continue;
+              if (protectedVariantKeys?.has(key)) continue;
               const value = (newDefaults as Record<string, unknown>)[key];
               if (hasAnyDisabled) {
                 if (disabledVariantKeys.has(key)) continue;
@@ -865,21 +1023,27 @@ export function create({
                   continue;
                 }
               }
+              setChangedVariant(key, value);
+              if (pendingProtectedVariants) {
+                pendingProtectedVariants[key] = value;
+              }
+              if (getCurrentVariantValue(key) === value) continue;
               ensureUpdated()[key] = value;
             }
           },
           addClass: (className: ClassValue) => {
-            localCClasses.push(className);
+            localCClasses?.push(className);
           },
           addStyle: (newStyle: StyleValue) => {
+            if (!collectOutput) return;
             if (!localCStyle) localCStyle = {};
             Object.assign(localCStyle, newStyle);
           },
         };
-        const result = computed(ctx);
-        if (result != null) {
+        const result = refine(ctx);
+        if (collectOutput && result != null) {
           const r = extractClassAndStylePrebuilt(result);
-          if (r.class != null) localCClasses.push(r.class);
+          if (r.class != null) localCClasses?.push(r.class);
           if (r.style) {
             if (!localCStyle) localCStyle = {};
             Object.assign(localCStyle, r.style);
@@ -888,79 +1052,133 @@ export function create({
         cClasses = localCClasses;
         cStyle = localCStyle;
         if (updatedVariants) {
+          const nextResolved: Record<string, unknown> = {};
+          Object.assign(nextResolved, workingResolved);
           if (hasAnyDisabled) {
             const filteredUpdated: Record<string, unknown> = {};
             filterDisabledInto(updatedVariants, filteredUpdated);
-            workingResolved = filteredUpdated;
+            Object.assign(nextResolved, filteredUpdated);
           } else {
-            workingResolved = updatedVariants;
+            Object.assign(nextResolved, updatedVariants);
           }
+          workingResolved = nextResolved;
         }
       }
 
-      // Build skip sets to pass to extends. Reuse precomputed values when no
-      // caller-provided sets need merging.
-      let extSkipKeys: Set<string> | null;
-      if (skipKeys === null) {
-        extSkipKeys = staticExtSkipKeys;
-      } else if (staticExtSkipKeys === null) {
-        extSkipKeys = skipKeys;
-      } else {
-        extSkipKeys = new Set(skipKeys);
-        for (const k of staticExtSkipKeys) extSkipKeys.add(k);
-      }
+      return {
+        workingResolved,
+        changedVariants,
+        classes: cClasses,
+        style: cStyle,
+      };
+    };
 
-      let extSkipVals: Record<string, Set<string>> | null;
-      if (skipValues === null) {
-        extSkipVals = staticExtSkipValues;
-      } else if (staticExtSkipValues === null) {
-        extSkipVals = skipValues;
-      } else {
-        extSkipVals = {};
-        for (const k in skipValues) {
-          extSkipVals[k] = skipValues[k];
-        }
-        for (const k in staticExtSkipValues) {
-          const existing = extSkipVals[k];
-          if (existing) {
-            const merged = new Set<string>(existing);
-            for (const v of staticExtSkipValues[k]) merged.add(v);
-            extSkipVals[k] = merged;
-          } else {
-            extSkipVals[k] = staticExtSkipValues[k];
-          }
-        }
+    // Core compute path. Called both for top-level rendering (via
+    // `computeResult`) and recursively when this component is used as an
+    // `extend` target by another component. Pushes variant classes (excluding
+    // base class) into `classesOut` and merges styles into `styleOut`.
+    const computeOnce: ComputeFn = (
+      resolved,
+      userVariantProps,
+      skipKeys,
+      skipValues,
+      classesOut,
+      styleOut,
+      runState,
+      protectedVariants,
+      pendingProtectedVariants,
+      protectedVariantKeys,
+    ) => {
+      // Run `refine` (if any). May modify resolved variants and emit classes
+      // and styles.
+      let workingResolved = resolved;
+      let cClasses: ClassValue[] | null = null;
+      let cStyle: StyleValue | null = null;
+      let changedVariants: Record<string, unknown> | null = null;
+      if (refine) {
+        const refineResult = runRefineContext(
+          resolved,
+          userVariantProps,
+          true,
+          true,
+          protectedVariants,
+          pendingProtectedVariants,
+          protectedVariantKeys,
+        );
+        workingResolved = refineResult.workingResolved;
+        cClasses = refineResult.classes;
+        cStyle = refineResult.style;
+        changedVariants = refineResult.changedVariants;
       }
 
       // Run extends' contributions first (their full classes + styles) so our
       // own base style and variants apply on top, matching the original
       // ext1 → ext2 → … → current ordering.
       //
-      // `workingResolved` is passed as the extends' `userVariantProps`. This
-      // is deliberate — by the time `compute` runs, the resolveDefaults chain
-      // and our own `computed`'s `setDefaultVariants` have already produced
-      // the most-specific resolution for every key. Treating those values as
-      // "user-provided" makes extends' own `setDefaultVariants` skip them, so
-      // extends emit variant classes that match what we resolved (rather than
-      // re-running their own defaults and emitting a different class).
-      // Replacing this with the original `userVariantProps` looks cleaner but
-      // breaks "child computed setDefaultVariants overrides parent computed
-      // setDefaultVariants" in `tests/computed.test.ts` — extends would then
-      // overwrite values the descendant already resolved.
+      // Pass explicit user values plus refine changes as the extends'
+      // `userVariantProps`. This lets more-specific refine decisions stick
+      // across re-runs while inherited static defaults can still be refined by
+      // the extended component's own refine chain.
       if (hasExtend) {
+        // Build skip sets to pass to extends. Reuse precomputed values when no
+        // caller-provided sets need merging.
+        let extSkipKeys: Set<string> | null;
+        if (skipKeys === null) {
+          extSkipKeys = staticExtSkipKeys;
+        } else if (staticExtSkipKeys === null) {
+          extSkipKeys = skipKeys;
+        } else {
+          extSkipKeys = new Set(skipKeys);
+          for (const k of staticExtSkipKeys) extSkipKeys.add(k);
+        }
+
+        let extSkipVals: Record<string, Set<string>> | null;
+        if (skipValues === null) {
+          extSkipVals = staticExtSkipValues;
+        } else if (staticExtSkipValues === null) {
+          extSkipVals = skipValues;
+        } else {
+          extSkipVals = {};
+          for (const k in skipValues) {
+            extSkipVals[k] = skipValues[k];
+          }
+          for (const k in staticExtSkipValues) {
+            const existing = extSkipVals[k];
+            if (existing) {
+              const merged = new Set<string>(existing);
+              for (const v of staticExtSkipValues[k]) merged.add(v);
+              extSkipVals[k] = merged;
+            } else {
+              extSkipVals[k] = staticExtSkipValues[k];
+            }
+          }
+        }
+
+        const extUserVariantProps =
+          extMetasWithRefineCount > 0
+            ? getExtUserVariantProps(
+                userVariantProps,
+                protectedVariants ?? null,
+                changedVariants,
+              )
+            : userVariantProps;
         for (let i = 0; i < extCount; i++) {
           if (hasIsolatedExt && extIsolated[i]) {
             // Isolated extend (different factory): gather its variant classes
             // into a scratch array, then push the joined string after applying
             // its own transformClass. Our outer transform applies on top.
             const extClasses: ClsxClassValue[] = [];
-            extMetas[i].compute(
-              workingResolved,
+            workingResolved = extMetas[i].compute(
               workingResolved,
+              extUserVariantProps,
               extSkipKeys,
               extSkipVals,
               extClasses,
               styleOut,
+              runState,
+              protectedVariants,
+              pendingProtectedVariants,
+              protectedVariantKeys,
             );
             if (extClasses.length > 0) {
               const joined = clsx(extClasses);
@@ -971,15 +1189,24 @@ export function create({
               }
             }
           } else {
-            extMetas[i].compute(
-              workingResolved,
+            workingResolved = extMetas[i].compute(
               workingResolved,
+              extUserVariantProps,
               extSkipKeys,
               extSkipVals,
               classesOut,
               styleOut,
+              runState,
+              protectedVariants,
+              pendingProtectedVariants,
+              protectedVariantKeys,
             );
           }
+          // Only sync protected variants when a child refine resolver can
+          // observe them. Otherwise extUserVariantProps may alias caller props.
+          if (protectedVariants && extMetasWithRefineCount > 0) {
+            Object.assign(extUserVariantProps, protectedVariants);
+          }
         }
       }
 
@@ -987,9 +1214,10 @@ export function create({
       if (hasBaseStyle) Object.assign(styleOut, baseStyle);
 
       // Apply own variants. Skip keys/values come from caller (e.g., parent
-      // wants its own computedVariants to override this variant).
+      // wants its own function variant to override this variant).
       // `variantEntryNames` already excludes disabled keys (those with `null`
-      // value in config), so we don't re-check `disabledVariantKeys` here.
+      // value in config) and function variants, so we don't re-check
+      // `disabledVariantKeys` here.
       const ownSkipKeys = skipKeys;
       const ownSkipValues = skipValues;
       for (let i = 0; i < variantEntryCount; i++) {
@@ -1027,9 +1255,11 @@ export function create({
         }
       }
 
-      // Apply computedVariants.
-      for (let i = 0; i < computedVariantCount; i++) {
-        const variantName = computedVariantNames[i];
+      // Apply function variants — entries in `variants` whose value is a
+      // function. They run after static variants and override any same-key
+      // inherited variant via `staticExtSkipKeys`.
+      for (let i = 0; i < functionVariantCount; i++) {
+        const variantName = functionVariantNames[i];
         if (ownSkipKeys && ownSkipKeys.has(variantName)) continue;
         const selectedValue = workingResolved[variantName];
         if (selectedValue === undefined) continue;
@@ -1041,7 +1271,7 @@ export function create({
         ) {
           continue;
         }
-        const fn = computedVariantFns[i];
+        const fn = functionVariantFns[i];
         const computedResult = fn(selectedValue);
         if (computedResult == null) continue;
         const r = extractClassAndStylePrebuilt(computedResult);
@@ -1049,15 +1279,274 @@ export function create({
         if (r.style) Object.assign(styleOut, r.style);
       }
 
-      // Apply `computed` results — must come after own variants/computedVariants.
+      // Apply `refine` results — must come after own variants (static and
+      // function).
       if (cClasses) {
         for (let i = 0; i < cClasses.length; i++) {
           classesOut.push(cClasses[i] as ClsxClassValue);
         }
       }
       if (cStyle) Object.assign(styleOut, cStyle);
+
+      return workingResolved;
+    };
+
+    const compute: ComputeFn =
+      !refine && extMetasWithRefineCount === 0
+        ? (
+            resolved,
+            userVariantProps,
+            skipKeys,
+            skipValues,
+            classesOut,
+            styleOut,
+            runState,
+            protectedVariants,
+            pendingProtectedVariants,
+            protectedVariantKeys,
+          ) => {
+            return computeOnce(
+              resolved,
+              userVariantProps,
+              skipKeys,
+              skipValues,
+              classesOut,
+              styleOut,
+              runState,
+              protectedVariants,
+              pendingProtectedVariants,
+              protectedVariantKeys,
+            );
+          }
+        : (
+            resolved,
+            userVariantProps,
+            skipKeys,
+            skipValues,
+            classesOut,
+            styleOut,
+            runState,
+            protectedVariants,
+            pendingProtectedVariants,
+            protectedVariantKeys,
+          ) => {
+            runState ??= { remaining: MAX_REFINE_RUNS, warned: false };
+            protectedVariants ??= {};
+            protectedVariantKeys ??= new Set<string>();
+            let workingResolved = resolved;
+            let lastClasses: ClsxClassValue[] = [];
+            let lastStyle: StyleValue = {};
+            let isFirstRun = true;
+
+            while (runState.remaining > 0) {
+              runState.remaining -= 1;
+              let useDirectOutput = isFirstRun;
+              if (useDirectOutput) {
+                for (const key in styleOut) {
+                  if (Object.hasOwn(styleOut, key)) {
+                    useDirectOutput = false;
+                    break;
+                  }
+                }
+              }
+              const classCount = classesOut.length;
+              const nextPendingProtectedVariants: Record<string, unknown> = {};
+              const nextClasses: ClsxClassValue[] = useDirectOutput
+                ? classesOut
+                : [];
+              const nextStyle: StyleValue = useDirectOutput ? styleOut : {};
+              const nextResolved = computeOnce(
+                workingResolved,
+                userVariantProps,
+                skipKeys,
+                skipValues,
+                nextClasses,
+                nextStyle,
+                runState,
+                protectedVariants,
+                nextPendingProtectedVariants,
+                protectedVariantKeys,
+              );
+
+              let protectedChanged: boolean;
+              if (pendingProtectedVariants) {
+                protectedChanged = mergeVariants(
+                  pendingProtectedVariants,
+                  nextPendingProtectedVariants,
+                  protectedVariantKeys,
+                );
+              } else {
+                protectedChanged = mergeVariants(
+                  protectedVariants,
+                  nextPendingProtectedVariants,
+                  protectedVariantKeys,
+                );
+              }
+
+              if (
+                !protectedChanged &&
+                (nextResolved === workingResolved ||
+                  areVariantsEqual(workingResolved, nextResolved))
+              ) {
+                if (!useDirectOutput) {
+                  for (let i = 0; i < nextClasses.length; i++) {
+                    classesOut.push(nextClasses[i]);
+                  }
+                  Object.assign(styleOut, nextStyle);
+                }
+                return nextResolved;
+              }
+
+              if (useDirectOutput && runState.remaining === 0) {
+                // Keep the direct output from the last allowed run. Rolling
+                // back here would drop it before the fallback copy below.
+                warnRefineLimit(runState);
+                return nextResolved;
+              }
+
+              if (useDirectOutput) {
+                classesOut.length = classCount;
+                for (const key in styleOut) {
+                  if (Object.hasOwn(styleOut, key)) {
+                    Reflect.deleteProperty(styleOut, key);
+                  }
+                }
+              } else {
+                lastClasses = nextClasses;
+                lastStyle = nextStyle;
+              }
+
+              workingResolved = nextResolved;
+              isFirstRun = false;
+            }
+
+            warnRefineLimit(runState);
+
+            for (let i = 0; i < lastClasses.length; i++) {
+              classesOut.push(lastClasses[i]);
+            }
+            Object.assign(styleOut, lastStyle);
+            return workingResolved;
+          };
+
+    const resolveRefineOnce: ResolveRefineFn = (
+      resolved,
+      userVariantProps,
+      filterOwnVariants = true,
+      runState,
+      protectedVariants,
+      pendingProtectedVariants,
+      protectedVariantKeys,
+    ) => {
+      let workingResolved = resolved;
+      let changedVariants: Record<string, unknown> | null = null;
+      if (refine) {
+        const refineResult = runRefineContext(
+          resolved,
+          userVariantProps,
+          filterOwnVariants,
+          false,
+          protectedVariants,
+          pendingProtectedVariants,
+          protectedVariantKeys,
+        );
+        workingResolved = refineResult.workingResolved;
+        changedVariants = refineResult.changedVariants;
+      }
+
+      if (extMetasWithRefineCount > 0) {
+        const extUserVariantProps = getExtUserVariantProps(
+          userVariantProps,
+          protectedVariants ?? null,
+          changedVariants,
+        );
+        for (let i = 0; i < extMetasWithRefineCount; i++) {
+          const meta = extMetasWithRefine[i];
+          const resolveRefine = meta.resolveRefine;
+          if (!resolveRefine) continue;
+          workingResolved = resolveRefine(
+            workingResolved,
+            extUserVariantProps,
+            true,
+            runState,
+            protectedVariants,
+            pendingProtectedVariants,
+            protectedVariantKeys,
+          );
+          if (protectedVariants) {
+            Object.assign(extUserVariantProps, protectedVariants);
+          }
+        }
+      }
+
+      return workingResolved;
     };
 
+    const resolveRefine: ResolveRefineFn | null =
+      refine || extMetasWithRefineCount > 0
+        ? (
+            resolved,
+            userVariantProps,
+            filterOwnVariants = true,
+            runState,
+            protectedVariants,
+            pendingProtectedVariants,
+            protectedVariantKeys,
+          ) => {
+            runState ??= { remaining: MAX_REFINE_RUNS, warned: false };
+            protectedVariants ??= {};
+            protectedVariantKeys ??= new Set<string>();
+            let workingResolved = resolved;
+            let reachedLimit = true;
+
+            while (runState.remaining > 0) {
+              runState.remaining -= 1;
+              const nextPendingProtectedVariants: Record<string, unknown> = {};
+              const nextResolved = resolveRefineOnce(
+                workingResolved,
+                userVariantProps,
+                filterOwnVariants,
+                runState,
+                protectedVariants,
+                nextPendingProtectedVariants,
+                protectedVariantKeys,
+              );
+              let protectedChanged: boolean;
+              if (pendingProtectedVariants) {
+                protectedChanged = mergeVariants(
+                  pendingProtectedVariants,
+                  nextPendingProtectedVariants,
+                  protectedVariantKeys,
+                );
+              } else {
+                protectedChanged = mergeVariants(
+                  protectedVariants,
+                  nextPendingProtectedVariants,
+                  protectedVariantKeys,
+                );
+              }
+
+              if (
+                !protectedChanged &&
+                (nextResolved === workingResolved ||
+                  areVariantsEqual(workingResolved, nextResolved))
+              ) {
+                workingResolved = nextResolved;
+                reachedLimit = false;
+                break;
+              }
+
+              workingResolved = nextResolved;
+            }
+
+            if (reachedLimit) {
+              warnRefineLimit(runState);
+            }
+
+            return workingResolved;
+          }
+        : null;
+
     // Top-level: resolves variants from user props, calls compute, then
     // assembles className and style with user-provided class/style overrides.
     const computeResult = (
@@ -1073,26 +1562,26 @@ export function create({
       Object.assign(resolved, staticDefaults);
 
       let userVariantProps: Record<string, unknown>;
-      if (extMetasWithResolveDefaultsCount > 0) {
+      if (extMetasWithRefineCount > 0) {
         // Some extends need a resolveDefaults pass. They expect a variant-only
         // object as `userProps`, so we extract one.
         const variantProps: Record<string, unknown> = {};
         for (let i = 0; i < variantKeysLength; i++) {
           const key = variantKeys[i];
-          if (hasOwn.call(propsRecord, key)) {
+          if (Object.hasOwn(propsRecord, key)) {
             variantProps[key] = propsRecord[key];
           }
         }
-        for (let i = 0; i < extMetasWithResolveDefaultsCount; i++) {
-          const meta = extMetasWithResolveDefaults[i];
-          const extComputed = meta.resolveDefaults!(resolved, variantProps);
-          for (const k in extComputed) {
-            if (!hasOwn.call(extComputed, k)) continue;
-            resolved[k] = extComputed[k];
+        for (let i = 0; i < extMetasWithRefineCount; i++) {
+          const meta = extMetasWithRefine[i];
+          const extDefaults = meta.resolveDefaults!(resolved, variantProps);
+          for (const k in extDefaults) {
+            if (!Object.hasOwn(extDefaults, k)) continue;
+            resolved[k] = extDefaults[k];
           }
         }
         for (const k in variantProps) {
-          if (!hasOwn.call(variantProps, k)) continue;
+          if (!Object.hasOwn(variantProps, k)) continue;
           const v = variantProps[k];
           if (v === undefined) continue;
           resolved[k] = v;
@@ -1100,11 +1589,11 @@ export function create({
         userVariantProps = variantProps;
       } else {
         // Fast path: walk variantKeys directly against propsRecord. Use
-        // hasOwn so a polluted Object.prototype can't introduce variant
+        // Object.hasOwn so a polluted Object.prototype can't introduce variant
         // values the user didn't pass.
         for (let i = 0; i < variantKeysLength; i++) {
           const key = variantKeys[i];
-          if (!hasOwn.call(propsRecord, key)) continue;
+          if (!Object.hasOwn(propsRecord, key)) continue;
           const v = propsRecord[key];
           if (v === undefined) continue;
           resolved[key] = v;
@@ -1162,67 +1651,8 @@ export function create({
     const getVariants = (variants?: VariantValues<MergedVariants>) => {
       const variantProps = variants ?? EMPTY_DEFAULTS;
       let resolvedVariants = resolveVariantsHot(variantProps);
-      // Run computed function to get variants set via setVariants and
-      // setDefaultVariants
-      if (computed) {
-        const updatedVariants: Record<string, unknown> = {};
-        Object.assign(updatedVariants, resolvedVariants);
-        const ctx = {
-          variants: resolvedVariants as VariantValues<Record<string, unknown>>,
-          setVariants: (
-            newVariants: VariantValues<Record<string, unknown>>,
-          ) => {
-            if (!hasAnyDisabled) {
-              Object.assign(updatedVariants, newVariants);
-              return;
-            }
-            for (const key in newVariants) {
-              if (!hasOwn.call(newVariants, key)) continue;
-              if (disabledVariantKeys.has(key)) continue;
-              const value = (newVariants as Record<string, unknown>)[key];
-              if (hasDisabledVariantValues) {
-                const valueKey = getVariantValueKey(value);
-                if (
-                  valueKey != null &&
-                  disabledVariantValues[key]?.has(valueKey)
-                ) {
-                  continue;
-                }
-              }
-              updatedVariants[key] = value;
-            }
-          },
-          setDefaultVariants: (
-            newDefaults: VariantValues<Record<string, unknown>>,
-          ) => {
-            for (const key in newDefaults) {
-              if (!hasOwn.call(newDefaults, key)) continue;
-              if (variantProps[key] !== undefined) continue;
-              const value = (newDefaults as Record<string, unknown>)[key];
-              if (hasAnyDisabled) {
-                if (disabledVariantKeys.has(key)) continue;
-                const valueKey = getVariantValueKey(value);
-                if (
-                  valueKey != null &&
-                  disabledVariantValues[key]?.has(valueKey)
-                ) {
-                  continue;
-                }
-              }
-              updatedVariants[key] = value;
-            }
-          },
-          addClass: noop,
-          addStyle: noop,
-        };
-        computed(ctx);
-        if (hasAnyDisabled) {
-          const filteredUpdated: Record<string, unknown> = {};
-          filterDisabledInto(updatedVariants, filteredUpdated);
-          resolvedVariants = filteredUpdated;
-        } else {
-          resolvedVariants = updatedVariants;
-        }
+      if (resolveRefine) {
+        resolvedVariants = resolveRefine(resolvedVariants, variantProps, false);
       }
       return resolvedVariants as VariantValues<MergedVariants>;
     };
@@ -1233,10 +1663,12 @@ export function create({
     // `transformClass(clsx(allClasses))` at render time, so applying it here
     // would compound (double for own-render, triple+ for extend chains) and
     // misbehave for non-idempotent transforms.
-    const computedBaseClass = clsx(
-      ...(extBaseClassesArr as ClsxClassValue[]),
-      config.class as ClsxClassValue,
-    );
+    const computedBaseClass = hasExtend
+      ? clsx(
+          ...(extBaseClassesArr as ClsxClassValue[]),
+          config.class as ClsxClassValue,
+        )
+      : clsx(config.class as ClsxClassValue);
 
     // Shared closures across the default and modal components.
     const classFn = (props: ComponentProps<MergedVariants> = {}) => {
@@ -1247,7 +1679,9 @@ export function create({
       staticDefaults,
       resolveDefaults: resolveDefaultsFn,
       compute,
+      resolveRefine,
       transformClass,
+      functionVariantKeys,
     };
 
     const initComponent = <
@@ -1255,15 +1689,14 @@ export function create({
       T extends ModalComponent<MergedVariants, R>,
     >(
       c: T,
-      keys: string[],
+      propKeys: string[],
       style: T["style"],
     ): T => {
       c.class = classFn;
       c.style = style;
       c.getVariants = getVariants;
-      c.keys = keys;
       c.variantKeys = variantKeys;
-      c.propKeys = keys;
+      c.propKeys = propKeys;
       setComponentMeta(c, meta);
       return c;
     };
@@ -1272,7 +1705,7 @@ export function create({
     const defaultComponent = ((props: ComponentProps<MergedVariants> = {}) => {
       const { className, style } = computeResult(props);
       return { class: className, style };
-    }) as CVComponent<V, CV, E>;
+    }) as CVComponent<V, E>;
     initComponent(defaultComponent, inputPropsKeys, (props = {}) => {
       return computeResult(props).style;
     });