praxis-kit 6.1.0 → 6.1.1

package/dist/web/index.js

@@ -12,8 +12,11 @@ function isUndefined(value) {
 function isNull(value) {
   return value === null;
 }
+function isNonNull(value) {
+  return value != null;
+}
 
-// ../../lib/primitive/src/utils/is-object.ts
+// ../../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;
@@ -923,7 +926,7 @@ var InvariantBase = class {
 };
 
 // ../../lib/contract/src/aria/polymorphic-validator.ts
-var VALID = [{ valid: true }];
+var NO_VIOLATIONS = [{ valid: true }];
 function isIntrinsicTag(tag) {
   return isString(tag);
 }
@@ -965,17 +968,20 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
   static #deriveContext(tag, props) {
     if (!isIntrinsicTag(tag)) return { proceed: false, result: { props, violations: [] } };
     const implicitRole = getImplicitRole(tag, props);
-    const hasRole = implicitRole != null || isString(props.role) && props.role.length > 0;
+    const hasRole = isNonNull(implicitRole) || isString(props.role) && props.role.length > 0;
     if (!hasRole) return { proceed: false, result: { props, violations: [] } };
     const normalized = _AriaPolicyEngine.#normalizeEmptyRole(tag, props);
-    if (normalized.normalized) return { proceed: false, result: normalized.result };
-    const effectiveRole = props.role ?? implicitRole;
+    const workingProps = normalized.normalized ? normalized.result.props : props;
+    const preExistingViolations = normalized.normalized ? normalized.result.violations : [];
+    const effectiveRole = workingProps.role ?? implicitRole;
     return {
       proceed: true,
       tag,
       implicitRole,
       effectiveRole,
-      context: { tag, props, implicitRole, effectiveRole }
+      props: workingProps,
+      preExistingViolations,
+      context: { tag, props: workingProps, implicitRole, effectiveRole }
     };
   }
   static #runRules(rules, context) {
@@ -990,7 +996,7 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
         } = context;
         const { message, attribute, severity } = result;
         const resolvedMessage = message ?? result.diagnostic?.message;
-        const fallbackDiag = resolvedMessage == null ? AriaDiagnostics.invalidRole(role, tag) : void 0;
+        const fallbackDiag = isNonNull(resolvedMessage) ? void 0 : AriaDiagnostics.invalidRole(role, tag);
         violations.push({
           message: resolvedMessage ?? fallbackDiag.message,
           tag,
@@ -998,8 +1004,8 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
           attribute,
           severity,
           phase: "evaluate",
-          ...result.diagnostic != null && { diagnostic: result.diagnostic },
-          ...fallbackDiag != null && { diagnostic: fallbackDiag }
+          ...isNonNull(result.diagnostic) && { diagnostic: result.diagnostic },
+          ...isNonNull(fallbackDiag) && { diagnostic: fallbackDiag }
         });
         if (result.fixable) fixes.push(result.fix);
       });
@@ -1007,7 +1013,7 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
     return { violations, fixes };
   }
   static #getRules(context) {
-    if (_AriaPolicyEngine.#hasRole(context.props) || context.effectiveRole != null && _AriaPolicyEngine.#LIVE_REGION_ROLES.has(context.effectiveRole)) {
+    if (_AriaPolicyEngine.#hasRole(context.props) || isNonNull(context.effectiveRole) && _AriaPolicyEngine.#LIVE_REGION_ROLES.has(context.effectiveRole)) {
       return _AriaPolicyEngine.#pipeline;
     }
     return _AriaPolicyEngine.#implicitOnlyRules;
@@ -1015,24 +1021,36 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
   static evaluate(tag, props) {
     const derived = _AriaPolicyEngine.#deriveContext(tag, props);
     if (!derived.proceed) return derived.result;
-    const { tag: narrowedTag, implicitRole, context } = derived;
+    const {
+      tag: narrowedTag,
+      implicitRole,
+      context,
+      props: workingProps,
+      preExistingViolations
+    } = derived;
     const { violations, fixes } = _AriaPolicyEngine.#runRules(
       _AriaPolicyEngine.#getRules(context),
       context
     );
-    const next = _AriaPolicyEngine.#applyFixes(narrowedTag, implicitRole, props, fixes);
-    return { props: next, violations };
+    const next = _AriaPolicyEngine.#applyFixes(narrowedTag, implicitRole, workingProps, fixes);
+    return { props: next, violations: [...preExistingViolations, ...violations] };
   }
   static #evaluateWithRules(tag, props, extraRules) {
     const derived = _AriaPolicyEngine.#deriveContext(tag, props);
     if (!derived.proceed) return derived.result;
-    const { tag: narrowedTag, implicitRole, context } = derived;
+    const {
+      tag: narrowedTag,
+      implicitRole,
+      context,
+      props: workingProps,
+      preExistingViolations
+    } = derived;
     const { violations, fixes } = _AriaPolicyEngine.#runRules(
       [..._AriaPolicyEngine.#getRules(context), ...extraRules],
       context
     );
-    const next = _AriaPolicyEngine.#applyFixes(narrowedTag, implicitRole, props, fixes);
-    return { props: next, violations };
+    const next = _AriaPolicyEngine.#applyFixes(narrowedTag, implicitRole, workingProps, fixes);
+    return { props: next, violations: [...preExistingViolations, ...violations] };
   }
   report(violations) {
     iterate.forEach(violations, (v) => {
@@ -1041,12 +1059,12 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
       else this.warn(d);
     });
   }
-  // Cache key covers only the aria-relevant subset of props (tag + role + aria-* attrs).
-  // Non-aria props (className, onClick, etc.) do not affect ARIA decisions and are excluded
-  // so cache hits survive re-renders that only change non-aria props.
-  // Note: #extraRules are NOT included in the key — each engine instance has its own Map,
-  // so two engines with different rules never share cache entries. If caching ever becomes
-  // static/shared, rule identity would need to be folded into the key.
+  // Cache key covers only the aria-relevant subset of props (tag + role + aria-* attrs) —
+  // exactly what the built-in pipeline reads. Non-aria props (className, onClick, etc.) do
+  // not affect built-in ARIA decisions and are excluded so cache hits survive re-renders
+  // that only change non-aria props. This key alone is unsound for #extraRules, which may
+  // read arbitrary props outside this set — validate() extends it with #extraRulesKeySuffix,
+  // or bypasses the cache, to account for that.
   static #createPlanKey(tag, props) {
     if (!isIntrinsicTag(tag)) return null;
     const parts = [tag];
@@ -1062,6 +1080,23 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
     if (ariaEntries.length > 0) parts.push(...ariaEntries.sort());
     return parts.join("|");
   }
+  // Extends the base cache key with the props each extra rule declares it reads (`readsProps`).
+  // Returns null — meaning "don't cache" — if any extra rule omits `readsProps` (it may read
+  // arbitrary props the key can't account for) or if a declared prop's value isn't a primitive
+  // (object/array identity isn't stably representable in a string key).
+  static #extraRulesKeySuffix(extraRules, props) {
+    const parts = [];
+    for (const rule of extraRules) {
+      const readsProps = rule.readsProps;
+      if (!isNonNull(readsProps)) return null;
+      for (const propKey of readsProps) {
+        const v = props[propKey];
+        if (v !== void 0 && !isString(v) && !isNumber(v) && typeof v !== "boolean") return null;
+        parts.push(`x:${propKey}:${String(v)}`);
+      }
+    }
+    return parts.sort().join("|");
+  }
   static #computePlan(inputProps, resultProps) {
     const removals = /* @__PURE__ */ new Set();
     const updates = {};
@@ -1085,7 +1120,12 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
     return next;
   }
   validate(tag, props) {
-    const key = _AriaPolicyEngine.#createPlanKey(tag, props);
+    const baseKey = _AriaPolicyEngine.#createPlanKey(tag, props);
+    let key = baseKey;
+    if (this.#extraRules.length > 0) {
+      const suffix = _AriaPolicyEngine.#extraRulesKeySuffix(this.#extraRules, props);
+      key = isNonNull(baseKey) && isNonNull(suffix) ? `${baseKey}|${suffix}` : null;
+    }
     if (!isNull(key)) {
       const cached = this.#planCache.get(key);
       if (cached !== void 0) {
@@ -1175,7 +1215,7 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
     implicitRole
   }) {
     const role = props.role;
-    if (!implicitRole || !role || role === implicitRole) return VALID;
+    if (!implicitRole || !role || role === implicitRole) return NO_VIOLATIONS;
     if (isStrongImplicitRole(tag) && role === "region") {
       return [
         {
@@ -1187,11 +1227,11 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
         }
       ];
     }
-    return VALID;
+    return NO_VIOLATIONS;
   }
   static #checkRedundantRole({ tag, props, implicitRole }) {
     const role = props.role;
-    if (!implicitRole || !role || role !== implicitRole) return VALID;
+    if (!implicitRole || !role || role !== implicitRole) return NO_VIOLATIONS;
     return [
       {
         valid: false,
@@ -1204,8 +1244,8 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
   }
   static #checkStandaloneRegion({ tag, props, implicitRole }) {
     const role = props.role;
-    if (role !== "region") return VALID;
-    if (!isStandaloneTag(tag)) return VALID;
+    if (role !== "region") return NO_VIOLATIONS;
+    if (!isStandaloneTag(tag)) return NO_VIOLATIONS;
     return [
       {
         valid: false,
@@ -1221,7 +1261,7 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
     props,
     effectiveRole
   }) {
-    if (effectiveRole === "none" || effectiveRole === "presentation") return VALID;
+    if (effectiveRole === "none" || effectiveRole === "presentation") return NO_VIOLATIONS;
     const results = [];
     iterate.forEachEntry(props, (key) => {
       if (!key.startsWith("aria-")) return;
@@ -1339,12 +1379,12 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
     }
   }
   static #checkAriaAttributeValues({ props, effectiveRole }) {
-    if (effectiveRole === "none" || effectiveRole === "presentation") return VALID;
+    if (effectiveRole === "none" || effectiveRole === "presentation") return NO_VIOLATIONS;
     const results = [];
     iterate.forEachEntry(props, (key, value) => {
       if (!key.startsWith("aria-")) return;
       const type = _AriaPolicyEngine.#ARIA_VALUE_TYPES.get(key);
-      if (type == null) return;
+      if (!isNonNull(type)) return;
       if (_AriaPolicyEngine.#isValidAriaValue(value, type)) return;
       results.push({
         valid: false,
@@ -1375,13 +1415,13 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
     props,
     effectiveRole
   }) {
-    if (effectiveRole === "none" || effectiveRole === "presentation") return VALID;
+    if (effectiveRole === "none" || effectiveRole === "presentation") return NO_VIOLATIONS;
     const implicitLevel = _AriaPolicyEngine.#HEADING_IMPLICIT_LEVELS.get(tag);
-    if (implicitLevel == null) return VALID;
+    if (!isNonNull(implicitLevel)) return NO_VIOLATIONS;
     const raw = props["aria-level"];
-    if (raw == null) return VALID;
+    if (!isNonNull(raw)) return NO_VIOLATIONS;
     const n = typeof raw === "number" ? raw : typeof raw === "string" ? parseInt(raw, 10) : NaN;
-    if (!Number.isFinite(n) || n !== implicitLevel) return VALID;
+    if (!Number.isFinite(n) || n !== implicitLevel) return NO_VIOLATIONS;
     return [
       {
         valid: false,
@@ -1404,9 +1444,10 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
     props,
     effectiveRole
   }) {
-    if (!effectiveRole || !_AriaPolicyEngine.#NAME_REQUIRED_ROLES.has(effectiveRole)) return VALID;
-    if ("aria-label" in props || "aria-labelledby" in props) return VALID;
-    if (tag === "img" && typeof props.alt === "string" && props.alt.length > 0) return VALID;
+    if (!effectiveRole || !_AriaPolicyEngine.#NAME_REQUIRED_ROLES.has(effectiveRole))
+      return NO_VIOLATIONS;
+    if ("aria-label" in props || "aria-labelledby" in props) return NO_VIOLATIONS;
+    if (tag === "img" && typeof props.alt === "string" && props.alt.length > 0) return NO_VIOLATIONS;
     return [
       {
         valid: false,
@@ -1429,9 +1470,9 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
     props,
     effectiveRole
   }) {
-    if (!effectiveRole) return VALID;
+    if (!effectiveRole) return NO_VIOLATIONS;
     const required = _AriaPolicyEngine.#REQUIRED_PROPERTIES.get(effectiveRole);
-    if (required == null) return VALID;
+    if (!isNonNull(required)) return NO_VIOLATIONS;
     const results = [];
     iterate.forEach(required, (attr) => {
       if (attr in props) return;
@@ -1455,12 +1496,12 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
   ]);
   // WAI-ARIA 1.2 §6.6: aria-hidden="true" must not be placed on focusable elements.
   static #checkAriaHiddenOnFocusable({ tag, props }) {
-    if (props["aria-hidden"] !== "true" && props["aria-hidden"] !== true) return VALID;
+    if (props["aria-hidden"] !== "true" && props["aria-hidden"] !== true) return NO_VIOLATIONS;
     const isInteractive = _AriaPolicyEngine.#INTERACTIVE_TAGS.has(tag);
     if (!isInteractive) {
       const tabindex = props.tabindex;
       const n = typeof tabindex === "number" ? tabindex : typeof tabindex === "string" ? parseInt(tabindex, 10) : NaN;
-      if (!Number.isFinite(n) || n < 0) return VALID;
+      if (!Number.isFinite(n) || n < 0) return NO_VIOLATIONS;
     }
     return [
       {
@@ -1479,7 +1520,7 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
     props,
     effectiveRole
   }) {
-    if (effectiveRole !== "none" && effectiveRole !== "presentation") return VALID;
+    if (effectiveRole !== "none" && effectiveRole !== "presentation") return NO_VIOLATIONS;
     const results = [];
     iterate.forEachEntry(props, (key) => {
       if (!key.startsWith("aria-")) return;
@@ -1503,10 +1544,10 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
     ["timer", "off"]
   ]);
   static #checkMissingLiveRegion({ effectiveRole, props }) {
-    if (!effectiveRole) return VALID;
+    if (!effectiveRole) return NO_VIOLATIONS;
     const impliedLive = _AriaPolicyEngine.#LIVE_REGION_ROLES.get(effectiveRole);
-    if (!impliedLive) return VALID;
-    if ("aria-live" in props) return VALID;
+    if (!impliedLive) return NO_VIOLATIONS;
+    if ("aria-live" in props) return NO_VIOLATIONS;
     const injectLive = {
       kind: `injectLive:${effectiveRole}`,
       apply: (ctx) => ({
@@ -1526,8 +1567,9 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
     ];
   }
   static #checkMissingAtomic({ effectiveRole, props }) {
-    if (!effectiveRole || !_AriaPolicyEngine.#LIVE_REGION_ROLES.has(effectiveRole)) return VALID;
-    if ("aria-atomic" in props) return VALID;
+    if (!effectiveRole || !_AriaPolicyEngine.#LIVE_REGION_ROLES.has(effectiveRole))
+      return NO_VIOLATIONS;
+    if ("aria-atomic" in props) return NO_VIOLATIONS;
     return [
       {
         valid: false,
@@ -1551,8 +1593,8 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
   };
   static #checkInvalidAriaRelevant({ props }) {
     const relevant = props["aria-relevant"];
-    if (relevant === void 0) return VALID;
-    if (typeof relevant !== "string") return VALID;
+    if (relevant === void 0) return NO_VIOLATIONS;
+    if (typeof relevant !== "string") return NO_VIOLATIONS;
     const tokens = relevant.trim().split(/\s+/);
     const invalid = tokens.filter((t) => !_AriaPolicyEngine.#VALID_RELEVANT_TOKENS.has(t));
     if (invalid.length > 0) {
@@ -1579,7 +1621,7 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
         }
       ];
     }
-    return VALID;
+    return NO_VIOLATIONS;
   }
 };
 
@@ -2280,7 +2322,7 @@ function createClassPipeline(resolved) {
     const staticClasses = staticResolver.resolve(tag, recipe !== void 0);
     const variantClasses = variantResolver.resolve({ props, recipe });
     if (!className)
-      return staticClasses && variantClasses ? `${staticClasses} ${variantClasses}` : staticClasses || variantClasses;
+      return (staticClasses && variantClasses ? `${staticClasses} ${variantClasses}` : staticClasses || variantClasses) || void 0;
     return cn(staticClasses, variantClasses, className);
   };
 }
@@ -2491,7 +2533,7 @@ function createPolymorphic2(options = {}) {
       if (process.env.NODE_ENV !== "production") {
         validateRenderProps(resolved.diagnostics, resolved, props, recipe);
       }
-      return classPipeline(tag, props, className, recipe);
+      return classPipeline(tag, props, className, recipe) || void 0;
     },
     resolveAria(tag, props) {
       return resolveAriaFn(tag, props);
@@ -2661,7 +2703,11 @@ function resolveHostState(bundle, props) {
 function diffAndApplyAttributes(host, state, prevPipelineAttrs, incomingProps) {
   const hasOwn2 = Object.hasOwn;
   const attrs = state.attributes;
-  host.className = state.className;
+  if (state.className) {
+    host.className = state.className;
+  } else {
+    host.removeAttribute("class");
+  }
   for (const key of prevPipelineAttrs) {
     if (!hasOwn2(attrs, key)) host.removeAttribute(key);
   }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "praxis-kit",
-  "version": "6.1.0",
+  "version": "6.1.1",
   "type": "module",
   "exports": {
     "./react": {
@@ -62,6 +62,10 @@
     "./contract": {
       "types": "./dist/contract/index.d.ts",
       "import": "./dist/contract/index.js"
+    },
+    "./guards": {
+      "types": "./dist/guards/index.d.ts",
+      "import": "./dist/guards/index.js"
     }
   },
   "typesVersions": {
@@ -107,6 +111,9 @@
       ],
       "contract": [
         "./dist/contract/index.d.ts"
+      ],
+      "guards": [
+        "./dist/guards/index.d.ts"
       ]
     }
   },
@@ -183,10 +190,10 @@
     "vite": "^8.1.4",
     "vue": "^3.5.38",
     "@praxis-kit/adapter-utils": "0.0.0",
-    "@praxis-kit/diagnostics": "0.0.0",
     "@praxis-kit/core": "0.0.0",
-    "@praxis-kit/primitive": "0.0.0",
     "@praxis-kit/pipeline": "0.0.0",
+    "@praxis-kit/primitive": "0.0.0",
+    "@praxis-kit/diagnostics": "0.0.0",
     "@praxis-kit/vite-plugin": "0.0.0"
   },
   "publishConfig": {