praxis-kit 6.1.0 → 6.2.0

package/dist/contract/index.d.ts

@@ -138,7 +138,7 @@ interface BaseClassOptions {
     baseClassName?: ClassName;
 }
 
-type ClassPipelineFn = (tag: unknown, props: AnyRecord, className?: ClassName, recipe?: string) => string;
+type ClassPipelineFn = (tag: unknown, props: AnyRecord, className?: ClassName, recipe?: string) => string | undefined;
 
 interface RecipeOptions<TVariants extends VariantMap = VariantMap> {
     recipeMap?: Record<string, RecipeTarget<TVariants>>;
@@ -214,8 +214,11 @@ type AriaInvalidWithoutFix<M extends string = string> = AriaInvalidBase<M> & {
 };
 type AriaInvalidResult<M extends string = string> = AriaInvalidWithFix<M> | AriaInvalidWithoutFix<M>;
 type AriaResult = ValidResult | AriaInvalidResult;
+type AriaPhase = 'evaluate' | 'fix';
 
-type AriaRule<C extends AriaContext = AriaContext> = (context: C) => readonly AriaResult[];
+type AriaRule<C extends AriaContext = AriaContext> = ((context: C) => readonly AriaResult[]) & {
+    readonly readsProps?: readonly string[];
+};
 
 type PropNormalizer = (props: Readonly<AnyRecord & IntrinsicProps>) => Partial<AnyRecord & IntrinsicProps>;
 
@@ -266,6 +269,11 @@ type FactoryOptions<TDefault extends ElementType = ElementType, Props extends An
     readonly normalize?: NormalizeFn<NoInfer<Props>>;
     readonly styling?: StylingOptions<V, TPreset, TPlugin>;
     readonly enforcement?: EnforcementOptions<TAllowed>;
+    /**
+     * Adapter-resolved diagnostics default, spread in by `resolveAdapterCommonOptions`. Not meant to
+     * be set directly by component authors — use `enforcement.diagnostics` to override per component.
+     */
+    readonly diagnostics?: Diagnostics$1;
 };
 
 declare const activeProps: PropNormalizer;
@@ -297,4 +305,4 @@ declare function mergeContracts(...contracts: readonly EnforcementOptions[]): En
 
 type Diagnostics = Diagnostics$1;
 
-export { type AnyFactoryOptions, type Diagnostics, type PropNormalizer, activeContract, activeProps, disabledContract, disabledProps, expandedContract, expandedProps, invalidContract, invalidProps, loadingContract, loadingProps, mergeContracts, pressedContract, pressedProps, readonlyContract, readonlyProps, selectedContract, selectedProps };
+export { type AnyFactoryOptions, type AriaContext, type AriaFix, type AriaFixResult, type AriaPhase, type AriaResult, type AriaRule, type Diagnostics, type FixKind, type AriaInvalidResult as InvalidResult, type AriaInvalidWithFix as InvalidWithFix, type AriaInvalidWithoutFix as InvalidWithoutFix, type PropNormalizer, type RemoveAttributeFixKind, type Severity, type ValidResult, activeContract, activeProps, disabledContract, disabledProps, expandedContract, expandedProps, invalidContract, invalidProps, loadingContract, loadingProps, mergeContracts, pressedContract, pressedProps, readonlyContract, readonlyProps, selectedContract, selectedProps };

package/dist/eslint/index.js

@@ -244,7 +244,7 @@ var require_eslint_utils = __commonJS({
 // ../../plugins/eslint/src/rules/no-dead-compound.ts
 var import_eslint_utils = __toESM(require_eslint_utils(), 1);
 
-// ../../lib/primitive/src/utils/is-object.ts
+// ../../lib/primitive/src/utils/type-guards.ts
 function isString(value) {
   return typeof value === "string";
 }

package/dist/guards/index.d.ts

@@ -0,0 +1,36 @@
+type StringMap<T = unknown> = Record<string, T>;
+type AnyRecord = StringMap<unknown>;
+
+/**
+ * Resolves the effective HTML tag for a vnode:
+ *   - native element: returns its type string directly
+ *   - praxis-kit component: resolves `as ?? defaultTag`, mirroring render-time logic
+ *   - anything else: returns undefined
+ */
+declare function getTag(child: unknown): string | undefined;
+/**
+ * Checks whether a vnode resolves to one of the given intrinsic tag names.
+ * Matches native elements directly, and praxis-kit components by resolving
+ * `as ?? defaultTag` — the same logic used at render time.
+ *
+ * Two call forms are supported:
+ *   isTag('img')(child)        — curried, composable with Array#filter
+ *   isTag(child, 'img')        — direct, reads naturally in if-blocks
+ */
+type TagChild = {
+    type: unknown;
+};
+declare function isTag(tag: string, ...tags: readonly string[]): (child: unknown) => child is TagChild;
+declare function isTag(child: unknown, tag: string, ...tags: readonly string[]): boolean;
+/**
+ * Checks whether a vnode is flow content per the HTML content model: text nodes
+ * (string/number) always qualify, and elements/components qualify unless their
+ * resolved tag is in the blocked set.
+ */
+declare function isFlowContent(...blockedTags: readonly string[]): (child: unknown) => boolean;
+
+declare function isObject(value: unknown, excludeArrays: true): value is AnyRecord;
+declare function isObject(value: unknown, excludeArrays?: false): value is object;
+declare function isString(value: unknown): value is string;
+
+export { getTag, isFlowContent, isObject, isString, isTag };

package/dist/guards/index.js

@@ -0,0 +1,62 @@
+// ../../lib/primitive/src/utils/type-guards.ts
+function isObject(value, excludeArrays = false) {
+  if (value === null || typeof value !== "object") return false;
+  return excludeArrays ? !Array.isArray(value) : true;
+}
+function isString(value) {
+  return typeof value === "string";
+}
+function isNumber(value) {
+  return typeof value === "number";
+}
+
+// ../../lib/primitive/src/guards/children/component-id.ts
+var COMPONENT_DEFAULT_TAG = /* @__PURE__ */ Symbol.for("praxis.component-default-tag");
+
+// ../../lib/primitive/src/guards/children/is-tag.ts
+function getAsProp(child) {
+  if (!isObject(child) || !("props" in child)) return void 0;
+  const props = child.props;
+  if (!isObject(props)) return void 0;
+  const as = props.as;
+  return isString(as) && as !== "" ? as : void 0;
+}
+function getTag(child) {
+  if (!isObject(child) || !("type" in child)) return void 0;
+  const t = child.type;
+  if (isString(t)) return t;
+  if (typeof t === "function" || isObject(t)) {
+    const defaultTag = t[COMPONENT_DEFAULT_TAG];
+    if (!isString(defaultTag)) return void 0;
+    return getAsProp(child) ?? defaultTag;
+  }
+  return void 0;
+}
+function isTag(...args) {
+  if (isString(args[0])) {
+    const set2 = new Set(args);
+    return (child2) => {
+      const tag2 = getTag(child2);
+      return tag2 !== void 0 && set2.has(tag2);
+    };
+  }
+  const [child, ...tags] = args;
+  const set = new Set(tags);
+  const tag = getTag(child);
+  return tag !== void 0 && set.has(tag);
+}
+function isFlowContent(...blockedTags) {
+  const set = new Set(blockedTags);
+  return (child) => {
+    if (isString(child) || isNumber(child)) return true;
+    const tag = getTag(child);
+    return tag === void 0 || !set.has(tag);
+  };
+}
+export {
+  getTag,
+  isFlowContent,
+  isObject,
+  isString,
+  isTag
+};

package/dist/lit/index.d.ts

@@ -139,7 +139,7 @@ interface BaseClassOptions {
     baseClassName?: ClassName;
 }
 
-type ClassPipelineFn = (tag: unknown, props: AnyRecord, className?: ClassName, recipe?: string) => string;
+type ClassPipelineFn = (tag: unknown, props: AnyRecord, className?: ClassName, recipe?: string) => string | undefined;
 
 interface RecipeOptions<TVariants extends VariantMap = VariantMap> {
     recipeMap?: Record<string, RecipeTarget<TVariants>>;
@@ -217,7 +217,9 @@ type AriaInvalidWithoutFix<M extends string = string> = AriaInvalidBase<M> & {
 type AriaInvalidResult<M extends string = string> = AriaInvalidWithFix<M> | AriaInvalidWithoutFix<M>;
 type AriaResult = ValidResult | AriaInvalidResult;
 
-type AriaRule<C extends AriaContext = AriaContext> = (context: C) => readonly AriaResult[];
+type AriaRule<C extends AriaContext = AriaContext> = ((context: C) => readonly AriaResult[]) & {
+    readonly readsProps?: readonly string[];
+};
 
 type PropNormalizer = (props: Readonly<AnyRecord & IntrinsicProps>) => Partial<AnyRecord & IntrinsicProps>;
 
@@ -268,6 +270,11 @@ type FactoryOptions<TDefault extends ElementType = ElementType, Props extends An
     readonly normalize?: NormalizeFn<NoInfer<Props>>;
     readonly styling?: StylingOptions<V, TPreset, TPlugin>;
     readonly enforcement?: EnforcementOptions<TAllowed>;
+    /**
+     * Adapter-resolved diagnostics default, spread in by `resolveAdapterCommonOptions`. Not meant to
+     * be set directly by component authors — use `enforcement.diagnostics` to override per component.
+     */
+    readonly diagnostics?: Diagnostics;
 };
 
 type FilterPredicate = (key: string, variantKeys: ReadonlySet<string>) => boolean;