praxis-kit 6.5.0 → 6.6.1

package/dist/lit/index.d.ts

@@ -232,6 +232,16 @@ type EnforcementOptions<TAllowed extends ElementType = ElementType> = {
      */
     readonly diagnostics?: Diagnostics | DiagnosticsMode;
     readonly aria?: readonly AriaRule[];
+    /**
+     * Rules that need `AriaPolicyEngine`'s fix-application/caching machinery
+     * (`AriaRule`'s `readsProps`, fixable `AriaFix` results) but have no
+     * relationship to ARIA semantics — an HTML fact or a security check like a
+     * dangerous-URL-scheme guard, for example. Evaluated together with `aria`
+     * (both run through the same engine, merged into one rule set) — this is a
+     * separate bucket purely so a non-ARIA rule doesn't have to sit under the
+     * misleading `aria` name to get the machinery it needs.
+     */
+    readonly rules?: readonly AriaRule[];
     readonly children?: readonly ChildRuleInput[];
     /**
      * When true, only children matching a `children` rule (or text, per `allowText`)

package/dist/lit/index.js

@@ -25,6 +25,9 @@ function isNull(value) {
 function isNonNull(value) {
   return value != null;
 }
+function isNullish(value) {
+  return isNull(value) || value === void 0;
+}
 
 // ../../lib/primitive/src/utils/type-guards.ts
 function isObject(value, excludeArrays = false) {
@@ -526,20 +529,29 @@ function isAriaAttributeValidForRole(attr, role) {
 }
 
 // ../../lib/primitive/src/guards/aria/is-aria-role.ts
+function lookupImplicitRole(tag) {
+  return IMPLICIT_ROLE_RECORD[tag];
+}
 function isStrongImplicitRole(tag) {
-  if (!(tag in IMPLICIT_ROLE_RECORD)) return false;
-  return STRONG_ROLES_SET.has(IMPLICIT_ROLE_RECORD[tag]);
+  const role = lookupImplicitRole(tag);
+  return !isNullish(role) && STRONG_ROLES_SET.has(role);
 }
-function isStandaloneTag(tag) {
-  if (!(tag in IMPLICIT_ROLE_RECORD)) return false;
-  return STANDALONE_ROLES_SET.has(IMPLICIT_ROLE_RECORD[tag]);
+function hasStandaloneRole(tag) {
+  const role = lookupImplicitRole(tag);
+  return !isNullish(role) && STANDALONE_ROLES_SET.has(role);
 }
-function getInputImplicitRole(type) {
-  if (!isString(type) || !(type in INPUT_TYPE_ROLE_MAP)) return void 0;
-  return INPUT_TYPE_ROLE_MAP[type];
+var LIST_ELIGIBLE_INPUT_TYPES = /* @__PURE__ */ new Set(["text", "search", "tel", "url", "email"]);
+function getInputImplicitRole(type, list) {
+  if (!isString(type)) return void 0;
+  const role = INPUT_TYPE_ROLE_MAP[type];
+  if (!role) return void 0;
+  if (!isNullish(list) && LIST_ELIGIBLE_INPUT_TYPES.has(type)) {
+    return "combobox";
+  }
+  return role;
 }
 function getConditionalImplicitRole(tag, ariaLabel, ariaLabelledBy) {
-  const isNamed = isString(ariaLabel) || isString(ariaLabelledBy);
+  const isNamed = isString(ariaLabel) && ariaLabel.trim().length > 0 || isString(ariaLabelledBy) && ariaLabelledBy.trim().length > 0;
   if (!isNamed) return void 0;
   if (tag === "section") return "region";
   if (tag === "form") return "form";
@@ -585,7 +597,7 @@ function isTag(...args) {
 // ../../lib/contract/src/aria/aria-role-policy.ts
 function getImplicitRole(tag, props) {
   if (tag in IMPLICIT_ROLE_RECORD) return IMPLICIT_ROLE_RECORD[tag];
-  if (tag === "input") return getInputImplicitRole(props?.type);
+  if (tag === "input") return getInputImplicitRole(props?.type, props?.list);
   if (tag === "img") return props?.alt === "" ? "none" : "img";
   if (tag === "section" || tag === "form") {
     return getConditionalImplicitRole(tag, props?.["aria-label"], props?.["aria-labelledby"]);
@@ -1228,7 +1240,6 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
     if (!isIntrinsicTag(tag)) return { proceed: false, result: { props, violations: [] } };
     const implicitRole = getImplicitRole(tag, props);
     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);
     const workingProps = normalized.normalized ? normalized.result.props : props;
     const preExistingViolations = normalized.normalized ? normalized.result.violations : [];
@@ -1238,6 +1249,7 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
       tag,
       implicitRole,
       effectiveRole,
+      hasRole,
       props: workingProps,
       preExistingViolations,
       context: { tag, props: workingProps, implicitRole, effectiveRole }
@@ -1281,6 +1293,8 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
   static evaluate(tag, props) {
     const derived = _AriaPolicyEngine.#deriveContext(tag, props);
     if (!derived.proceed) return derived.result;
+    if (!derived.hasRole)
+      return { props: derived.props, violations: [...derived.preExistingViolations] };
     const {
       tag: narrowedTag,
       implicitRole,
@@ -1305,10 +1319,8 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
       props: workingProps,
       preExistingViolations
     } = derived;
-    const { violations, fixes } = _AriaPolicyEngine.#runRules(
-      [..._AriaPolicyEngine.#getRules(context), ...extraRules],
-      context
-    );
+    const rules = derived.hasRole ? [..._AriaPolicyEngine.#getRules(context), ...extraRules] : extraRules;
+    const { violations, fixes } = _AriaPolicyEngine.#runRules(rules, context);
     const next = _AriaPolicyEngine.#applyFixes(narrowedTag, implicitRole, workingProps, fixes);
     return { props: next, violations: [...preExistingViolations, ...violations] };
   }
@@ -1507,7 +1519,7 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
   static #checkStandaloneRegion({ tag, props, implicitRole }) {
     const role = props.role;
     if (role !== "region") return NO_VIOLATIONS2;
-    if (!isStandaloneTag(tag)) return NO_VIOLATIONS2;
+    if (!hasStandaloneRole(tag)) return NO_VIOLATIONS2;
     const diagnostic = HtmlDiagnostics.standaloneRegionOverride(tag, implicitRole ?? tag);
     return [
       {
@@ -2090,6 +2102,93 @@ var readonlyProps = ({
 // ../core/src/html/evaluators.ts
 import { warnDiagnostics as warnDiagnostics2 } from "../_shared/diagnostics.js";
 
+// ../core/src/html/contracts/categories.ts
+var METADATA_TAGS = ["script", "template"];
+var VOID_TAGS = [
+  "area",
+  "base",
+  "br",
+  "col",
+  "embed",
+  "hr",
+  "img",
+  "input",
+  "link",
+  "meta",
+  "param",
+  "source",
+  "track",
+  "wbr"
+];
+var TEXT_ONLY_TAGS = [
+  "option",
+  "script",
+  "style",
+  "textarea",
+  "title"
+];
+var LANDMARK_TAGS = [
+  "article",
+  "aside",
+  "footer",
+  "header",
+  "main",
+  "nav"
+];
+var INTERACTIVE_CONTENT_TAGS = [
+  "a",
+  "button",
+  "input",
+  "select",
+  "textarea",
+  "label"
+];
+var LABELABLE_TAGS = [
+  "button",
+  "input",
+  "meter",
+  "output",
+  "progress",
+  "select",
+  "textarea"
+];
+var OTHER_INTERACTIVE_TAGS = [
+  "a",
+  "details",
+  "embed",
+  "iframe"
+];
+var P_BLOCKED_TAGS = [
+  "address",
+  "article",
+  "aside",
+  "blockquote",
+  "details",
+  "dialog",
+  "div",
+  "dl",
+  "fieldset",
+  "figure",
+  "footer",
+  "form",
+  "h1",
+  "h2",
+  "h3",
+  "h4",
+  "h5",
+  "h6",
+  "header",
+  "hr",
+  "main",
+  "nav",
+  "ol",
+  "p",
+  "pre",
+  "section",
+  "table",
+  "ul"
+];
+
 // ../core/src/html/spec/vocabulary/input.ts
 var TEXT_INPUT_TYPES = ["text", "search", "url", "tel", "email", "password"];
 var NUMERIC_INPUT_TYPES = [
@@ -2469,7 +2568,11 @@ var ALLOWED_ROLES = {
     "treeitem"
   ],
   dialog: ["alertdialog"],
-  fieldset: ["none", "presentation", "radiogroup"]
+  fieldset: ["none", "presentation", "radiogroup"],
+  // `<label>` has no implicit role and no documented alternates — its native labeling
+  // semantics (control association, accessible-name contribution) aren't reproducible via
+  // ARIA, so any explicit `role` should be avoided rather than substituted.
+  label: []
 };
 var ELEMENT_SPECS = {
   input: inputElementSpec,
@@ -2510,7 +2613,10 @@ var roleNotPermittedRule = Object.assign(
 );
 
 // ../core/src/html/aria-rules.ts
-var LANDMARK_TAG_SET = /* @__PURE__ */ new Set(["article", "aside", "footer", "header", "main", "nav"]);
+function defineAriaRule(tags, rule) {
+  return Object.assign(rule, { tags });
+}
+var LANDMARK_TAG_SET = new Set(LANDMARK_TAGS);
 var removeLandmarkRoleOverride = {
   kind: "removeRole",
   apply: ({ props }) => {
@@ -2519,10 +2625,11 @@ var removeLandmarkRoleOverride = {
     return { applied: true, next: rest, previous: props };
   }
 };
-var landmarkRoleRule = Object.assign(
+var landmarkRoleRule = defineAriaRule(
+  LANDMARK_TAGS,
   ({ tag, props, implicitRole }) => {
     if (!LANDMARK_TAG_SET.has(tag) || !implicitRole) return [];
-    const role = props.role;
+    const { role } = props;
     if (!role || role === implicitRole) return [];
     const diagnostic = HtmlDiagnostics.landmarkRoleOverride(tag, implicitRole, role);
     return [
@@ -2534,8 +2641,7 @@ var landmarkRoleRule = Object.assign(
         diagnostic
       }
     ];
-  },
-  { tags: [...LANDMARK_TAG_SET] }
+  }
 );
 function requireAccessibleName({ tag, props }) {
   if ("aria-label" in props || "aria-labelledby" in props) return [];
@@ -2548,38 +2654,44 @@ function requireAccessibleName({ tag, props }) {
     }
   ];
 }
-var NAMED_LANDMARK_TAGS = /* @__PURE__ */ new Set(["nav", "aside"]);
-var landmarkNameAdvisory = Object.assign(
+var NAMED_LANDMARK_TAGS = ["nav", "aside"];
+var NAMED_LANDMARK_TAG_SET = new Set(NAMED_LANDMARK_TAGS);
+var landmarkAccessibleNameRule = defineAriaRule(
+  NAMED_LANDMARK_TAGS,
   (ctx) => {
-    if (!ctx.implicitRole || !NAMED_LANDMARK_TAGS.has(ctx.tag)) return [];
+    if (!ctx.implicitRole || !NAMED_LANDMARK_TAG_SET.has(ctx.tag)) return [];
     return requireAccessibleName(ctx);
-  },
-  { tags: [...NAMED_LANDMARK_TAGS] }
+  }
 );
 var HTML_ARIA_RULES = [
   landmarkRoleRule,
-  landmarkNameAdvisory,
+  landmarkAccessibleNameRule,
   roleNotPermittedRule,
   ...INPUT_RULES
 ];
 
-// ../core/src/html/contracts.ts
+// ../core/src/html/contracts/helpers.ts
 import { warnDiagnostics } from "../_shared/diagnostics.js";
+function isVNodeLike(child) {
+  return isObject(child) && "type" in child;
+}
 function isOpenContent(...blockedTags) {
   const set2 = new Set(blockedTags);
   return (child) => {
-    if (!isObject(child) || !("type" in child)) return false;
+    if (!isVNodeLike(child)) return false;
     const tag = getTag(child);
     return tag === void 0 || !set2.has(tag);
   };
 }
-var METADATA_TAGS = ["script", "template"];
 var metadataMatch = isTag(...METADATA_TAGS);
 function metadata(name = "metadata") {
   return { name, match: metadataMatch };
 }
+function optional(name, tag) {
+  return { name, match: isTag(tag), cardinality: { max: 1 } };
+}
 function firstOptional(name, tag) {
-  return { name, match: isTag(tag), cardinality: { max: 1 }, position: "first" };
+  return { ...optional(name, tag), position: "first" };
 }
 function contract(children, options) {
   return { diagnostics: warnDiagnostics, children, ...options };
@@ -2593,50 +2705,41 @@ function ariaContract(aria) {
 function firstChildContract(name, tag) {
   return contract([firstOptional(name, tag), { name: "content", match: isOpenContent(tag) }]);
 }
-var VOID_TAGS = [
-  "area",
-  "base",
-  "br",
-  "col",
-  "embed",
-  "hr",
-  "img",
-  "input",
-  "link",
-  "meta",
-  "param",
-  "source",
-  "track",
-  "wbr"
-];
-var TEXT_ONLY_TAGS = ["option", "script", "style", "textarea", "title"];
-var LANDMARK_TAGS = ["article", "aside", "footer", "header", "main", "nav"];
-var listContract = closedContract([
-  { name: "list-item", match: isTag("li", ...METADATA_TAGS) }
-]);
-var tableContract = closedContract([
-  firstOptional("caption", "caption"),
-  { name: "colgroup", match: isTag("colgroup") },
-  { name: "thead", match: isTag("thead"), cardinality: { max: 1 } },
-  { name: "tbody", match: isTag("tbody") },
-  { name: "tfoot", match: isTag("tfoot"), cardinality: { max: 1 } },
-  { name: "table-row", match: isTag("tr", ...METADATA_TAGS) }
-]);
-var tableBodyContract = closedContract([
-  { name: "table-row", match: isTag("tr", ...METADATA_TAGS) }
-]);
-var tableRowContract = closedContract([
-  { name: "table-cell", match: isTag("td", "th", ...METADATA_TAGS) }
-]);
-var colgroupContract = closedContract([
-  { name: "column", match: isTag("col", "template") }
+function getChildProp(child, key) {
+  if (!isVNodeLike(child)) return void 0;
+  const { props } = child;
+  if (!isObject(props)) return void 0;
+  return props[key];
+}
+
+// ../core/src/html/contracts/aria/landmarks.ts
+var landmarkContract = ariaContract([landmarkRoleRule, landmarkAccessibleNameRule]);
+
+// ../core/src/html/contracts/aria/widgets.ts
+var dialogContract = ariaContract([requireAccessibleName]);
+var menuContract = ariaContract([requireAccessibleName]);
+var menubarContract = ariaContract([requireAccessibleName]);
+var treeContract = ariaContract([requireAccessibleName]);
+var gridContract = ariaContract([requireAccessibleName]);
+var listboxContract = ariaContract([requireAccessibleName]);
+var tablistContract = ariaContract([requireAccessibleName]);
+var radiogroupContract = ariaContract([requireAccessibleName]);
+
+// ../core/src/html/contracts/html/document.ts
+var headContract = closedContract([
+  {
+    name: "metadata",
+    match: isTag("base", "link", "meta", "noscript", "script", "style", "template", "title")
+  }
 ]);
-var dlContract = closedContract([
-  { name: "term", match: isTag("dt") },
-  { name: "description", match: isTag("dd") },
-  { name: "group", match: isTag("div") },
-  metadata()
+var htmlContract = closedContract([
+  { name: "head", match: isTag("head"), cardinality: { min: 1, max: 1 }, position: "first" },
+  { name: "body", match: isTag("body"), cardinality: { min: 1, max: 1 } }
 ]);
+var voidContract = contract([], { exclusiveChildren: true, allowText: false });
+var textOnlyContract = contract([], { exclusiveChildren: true });
+
+// ../core/src/html/contracts/html/forms.ts
 var selectContract = closedContract([
   { name: "option", match: isTag("option", "optgroup", "hr", ...METADATA_TAGS) }
 ]);
@@ -2646,6 +2749,45 @@ var optgroupContract = closedContract([
 var datalistContract = closedContract([
   { name: "option", match: isTag("option", ...METADATA_TAGS) }
 ]);
+var buttonContract = closedContract([
+  { name: "content", match: isOpenContent(...INTERACTIVE_CONTENT_TAGS) }
+]);
+var anchorContract = closedContract([
+  { name: "content", match: isOpenContent(...INTERACTIVE_CONTENT_TAGS) }
+]);
+var labelableTagMatch = isTag(...LABELABLE_TAGS);
+function isLabelableControl(child) {
+  if (!labelableTagMatch(child)) return false;
+  if (getTag(child) !== "input") return true;
+  const type = getChildProp(child, "type");
+  return !isString(type) || type !== "hidden";
+}
+var labelContract = contract([
+  { name: "control", match: isLabelableControl, cardinality: { max: 1 } },
+  { name: "nested-label", match: isTag("label"), cardinality: { max: 0 } },
+  {
+    name: "other-interactive-content",
+    match: isTag(...OTHER_INTERACTIVE_TAGS),
+    cardinality: { max: 0 }
+  }
+]);
+
+// ../core/src/html/contracts/html/grouping.ts
+var detailsContract = firstChildContract("summary", "summary");
+var fieldsetContract = firstChildContract("legend", "legend");
+
+// ../core/src/html/contracts/html/lists.ts
+var listContract = closedContract([
+  { name: "list-item", match: isTag("li", ...METADATA_TAGS) }
+]);
+var dlContract = closedContract([
+  { name: "term", match: isTag("dt") },
+  { name: "description", match: isTag("dd") },
+  { name: "group", match: isTag("div") },
+  metadata()
+]);
+
+// ../core/src/html/contracts/html/media.ts
 var pictureContract = closedContract([
   { name: "source", match: isTag("source", ...METADATA_TAGS) },
   { name: "image", match: isTag("img"), cardinality: { min: 1, max: 1 }, position: "last" }
@@ -2654,91 +2796,49 @@ var figureContract = contract([
   { name: "caption", match: isTag("figcaption"), cardinality: { max: 1 } },
   { name: "content", match: isOpenContent("figcaption") }
 ]);
-var detailsContract = firstChildContract("summary", "summary");
-var fieldsetContract = firstChildContract("legend", "legend");
 var objectContract = contract([
   { name: "param", match: isTag("param") },
   { name: "content", match: isOpenContent("param") }
 ]);
-var INTERACTIVE_CONTENT_TAGS = ["a", "button", "input", "select", "textarea", "label"];
-var buttonContract = closedContract([
-  { name: "content", match: isOpenContent(...INTERACTIVE_CONTENT_TAGS) }
-]);
-var anchorContract = closedContract([
-  { name: "content", match: isOpenContent(...INTERACTIVE_CONTENT_TAGS) }
-]);
-var LABELABLE_TAGS = [
-  "button",
-  "input",
-  "meter",
-  "output",
-  "progress",
-  "select",
-  "textarea"
-];
-var labelContract = contract([
-  { name: "control", match: isTag(...LABELABLE_TAGS), cardinality: { max: 1 } }
-]);
-var P_BLOCKED_TAGS = [
-  "address",
-  "article",
-  "aside",
-  "blockquote",
-  "details",
-  "dialog",
-  "div",
-  "dl",
-  "fieldset",
-  "figure",
-  "footer",
-  "form",
-  "h1",
-  "h2",
-  "h3",
-  "h4",
-  "h5",
-  "h6",
-  "header",
-  "hr",
-  "main",
-  "nav",
-  "ol",
-  "p",
-  "pre",
-  "section",
-  "table",
-  "ul"
-];
-var pContract = closedContract([
-  { name: "content", match: isOpenContent(...P_BLOCKED_TAGS) }
-]);
 var mediaContract = contract([
   { name: "source", match: isTag("source") },
   { name: "track", match: isTag("track") },
   metadata(),
   { name: "content", match: isOpenContent("source", "track", ...METADATA_TAGS) }
 ]);
-var headContract = closedContract([
-  {
-    name: "metadata",
-    match: isTag("base", "link", "meta", "noscript", "script", "style", "template", "title")
-  }
+
+// ../core/src/html/contracts/html/tables.ts
+var tableContract = closedContract([
+  firstOptional("caption", "caption"),
+  { name: "colgroup", match: isTag("colgroup") },
+  { name: "thead", match: isTag("thead"), cardinality: { max: 1 } },
+  { name: "tbody", match: isTag("tbody") },
+  { name: "tfoot", match: isTag("tfoot"), cardinality: { max: 1 } },
+  { name: "table-row", match: isTag("tr", ...METADATA_TAGS) }
 ]);
-var htmlContract = closedContract([
-  { name: "head", match: isTag("head"), cardinality: { min: 1, max: 1 }, position: "first" },
-  { name: "body", match: isTag("body"), cardinality: { min: 1, max: 1 } }
+var tableBodyContract = closedContract([
+  { name: "table-row", match: isTag("tr", ...METADATA_TAGS) }
 ]);
-var voidContract = contract([], { exclusiveChildren: true, allowText: false });
-var textOnlyContract = contract([], { exclusiveChildren: true });
-var landmarkContract = ariaContract([landmarkRoleRule, landmarkNameAdvisory]);
-var dialogContract = ariaContract([requireAccessibleName]);
-var menuContract = ariaContract([requireAccessibleName]);
-var menubarContract = ariaContract([requireAccessibleName]);
-var treeContract = ariaContract([requireAccessibleName]);
-var gridContract = ariaContract([requireAccessibleName]);
-var listboxContract = ariaContract([requireAccessibleName]);
-var tablistContract = ariaContract([requireAccessibleName]);
-var radiogroupContract = ariaContract([requireAccessibleName]);
+var tableRowContract = closedContract([
+  { name: "table-cell", match: isTag("td", "th", ...METADATA_TAGS) }
+]);
+var colgroupContract = closedContract([
+  { name: "column", match: isTag("col", "template") }
+]);
+
+// ../core/src/html/contracts/html/text.ts
+var pContract = closedContract([
+  { name: "content", match: isOpenContent(...P_BLOCKED_TAGS) }
+]);
+
+// ../core/src/html/contracts/build-map.ts
+function buildMap(groups) {
+  return Object.fromEntries(
+    groups.flatMap(([keys2, value]) => keys2.map((key) => [key, value]))
+  );
+}
+
+// ../core/src/html/contracts/maps.ts
 var CONTRACT_GROUPS = [
   [VOID_TAGS, voidContract],
   [TEXT_ONLY_TAGS, textOnlyContract],
@@ -2747,13 +2847,8 @@ var CONTRACT_GROUPS = [
   [["audio", "video"], mediaContract],
   [["thead", "tbody", "tfoot"], tableBodyContract]
 ];
-function contractMap(groups) {
-  return Object.fromEntries(
-    groups.flatMap(([tags, enforcement]) => tags.map((tag) => [tag, enforcement]))
-  );
-}
 var htmlContracts = {
-  ...contractMap(CONTRACT_GROUPS),
+  ...buildMap(CONTRACT_GROUPS),
   table: tableContract,
   tr: tableRowContract,
   colgroup: colgroupContract,
@@ -2997,6 +3092,11 @@ function composeNormalizers(normalizers, fn) {
 function whenDefined(key, value) {
   return value === void 0 ? {} : { [key]: value };
 }
+function mergeAriaRules(aria, rules) {
+  if (!aria?.length) return rules;
+  if (!rules?.length) return aria;
+  return [...aria, ...rules];
+}
 function resolveFactoryOptions(options = {}) {
   const { styling, enforcement } = options;
   const composedNormalizeFn = composeNormalizers(enforcement?.props, options.normalize);
@@ -3017,7 +3117,7 @@ function resolveFactoryOptions(options = {}) {
     ...whenDefined("defaultVariants", styling?.defaults),
     ...whenDefined("compoundVariants", styling?.compounds),
     ...whenDefined("normalizeFn", composedNormalizeFn),
-    ...whenDefined("ariaRules", enforcement?.aria),
+    ...whenDefined("ariaRules", mergeAriaRules(enforcement?.aria, enforcement?.rules)),
     ...whenDefined("childRules", enforcement?.children),
     ...whenDefined("exclusiveChildren", enforcement?.exclusiveChildren),
     ...whenDefined("allowText", enforcement?.allowText),

package/dist/preact/index.d.ts

@@ -249,6 +249,16 @@ type EnforcementOptions<TAllowed extends ElementType = ElementType> = {
      */
     readonly diagnostics?: Diagnostics | DiagnosticsMode;
     readonly aria?: readonly AriaRule[];
+    /**
+     * Rules that need `AriaPolicyEngine`'s fix-application/caching machinery
+     * (`AriaRule`'s `readsProps`, fixable `AriaFix` results) but have no
+     * relationship to ARIA semantics — an HTML fact or a security check like a
+     * dangerous-URL-scheme guard, for example. Evaluated together with `aria`
+     * (both run through the same engine, merged into one rule set) — this is a
+     * separate bucket purely so a non-ARIA rule doesn't have to sit under the
+     * misleading `aria` name to get the machinery it needs.
+     */
+    readonly rules?: readonly AriaRule[];
     readonly children?: readonly ChildRuleInput[];
     /**
      * When true, only children matching a `children` rule (or text, per `allowText`)
@@ -337,6 +347,15 @@ type PolymorphicWithAsChild<G extends PolymorphicGenerics, TAs extends ElementTy
 type PolymorphicComponent<G extends PolymorphicGenerics> = {
     <TAs extends ElementType = DefaultOf<G>>(props: PolymorphicWithAsChild<G, TAs>): AnyVNode;
     <TAs extends ElementType = DefaultOf<G>>(props: PolymorphicProps<G, TAs>): AnyVNode;
+    /**
+     * Non-generic fallback overload used for type extraction.
+     *
+     * TypeScript resolves conditional types such as
+     * `ComponentProps<typeof Component>` against only the final overload.
+     * Anchoring that overload to the default element preserves correct prop
+     * inference for tools such as Storybook and `ComponentProps`.
+     */
+    (props: PolymorphicProps<G, DefaultOf<G>>): AnyVNode;
     displayName?: string;
 };