praxis-kit 6.5.0 → 6.6.1

package/dist/{chunk-AM5J6PY3.js → chunk-6JILZ6GQ.js}

@@ -28,6 +28,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) {
@@ -655,20 +658,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";
@@ -720,7 +732,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"]);
@@ -1409,7 +1421,6 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
     if (!isIntrinsicTag(tag)) return { proceed: false, result: { props, violations: [] } };
     const implicitRole = getImplicitRole(tag, props);
     const hasRole2 = isNonNull(implicitRole) || isString(props.role) && props.role.length > 0;
-    if (!hasRole2) 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 : [];
@@ -1419,6 +1430,7 @@ var AriaPolicyEngine = class _AriaPolicyEngine extends InvariantBase {
       tag,
       implicitRole,
       effectiveRole,
+      hasRole: hasRole2,
       props: workingProps,
       preExistingViolations,
       context: { tag, props: workingProps, implicitRole, effectiveRole }
@@ -1462,6 +1474,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,
@@ -1486,10 +1500,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] };
   }
@@ -1688,7 +1700,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 [
       {
@@ -2271,6 +2283,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 = [
@@ -2650,7 +2749,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,
@@ -2691,7 +2794,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 }) => {
@@ -2700,10 +2806,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 [
@@ -2715,8 +2822,7 @@ var landmarkRoleRule = Object.assign(
         diagnostic
       }
     ];
-  },
-  { tags: [...LANDMARK_TAG_SET] }
+  }
 );
 function requireAccessibleName({ tag, props }) {
   if ("aria-label" in props || "aria-labelledby" in props) return [];
@@ -2729,38 +2835,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 };
@@ -2774,50 +2886,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) }
 ]);
@@ -2827,6 +2930,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" }
@@ -2835,91 +2977,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],
@@ -2928,13 +3028,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,
@@ -3178,6 +3273,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);
@@ -3198,7 +3298,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/contract/index.d.ts

@@ -231,6 +231,16 @@ type EnforcementOptions<TAllowed extends ElementType = ElementType> = {
      */
     readonly diagnostics?: Diagnostics$1 | 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`)
@@ -306,4 +316,4 @@ declare function mergeContracts(...contracts: readonly EnforcementOptions[]): En
 
 type Diagnostics = Diagnostics$1;
 
-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 };
+export { type AnyFactoryOptions, type AriaContext, type AriaFix, type AriaFixResult, type AriaPhase, type AriaResult, type AriaRule, type Diagnostics, type FixKind, type IntrinsicProps, type AriaInvalidResult as InvalidResult, type AriaInvalidWithFix as InvalidWithFix, type AriaInvalidWithoutFix as InvalidWithoutFix, type NormalizeFn, 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/contract/index.js

@@ -313,6 +313,7 @@ var selectedContract = stateContract([selectedProps]);
 function mergeContracts(...contracts) {
   const props = contracts.flatMap((c) => c.props ?? []);
   const aria = contracts.flatMap((c) => c.aria ?? []);
+  const rules = contracts.flatMap((c) => c.rules ?? []);
   const children = contracts.flatMap((c) => c.children ?? []);
   let diagnostics;
   let allowedAs;
@@ -323,6 +324,7 @@ function mergeContracts(...contracts) {
   return {
     ...props.length > 0 && { props },
     ...aria.length > 0 && { aria },
+    ...rules.length > 0 && { rules },
     ...children.length > 0 && { children },
     ...diagnostics !== void 0 && { diagnostics },
     ...allowedAs !== void 0 && { allowedAs }

package/dist/guards/index.d.ts

@@ -22,15 +22,24 @@ type TagChild = {
 };
 declare function isTag(tag: string, ...tags: readonly string[]): (child: unknown) => child is TagChild;
 declare function isTag(child: unknown, tag: string, ...tags: readonly string[]): boolean;
+/**
+ * A vnode (or text node) that qualifies as flow content: text nodes
+ * (string/number) always qualify, and elements/components qualify unless
+ * their resolved tag is blocked — see `isFlowContent`.
+ */
+type FlowContentChild = string | number | TagChild;
 /**
  * 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.
+ *
+ * Returns a type guard (not a plain boolean predicate) so it can be used
+ * directly as a `ChildRuleInput.match`, which requires the narrowed type.
  */
-declare function isFlowContent(...blockedTags: readonly string[]): (child: unknown) => boolean;
+declare function isFlowContent(...blockedTags: readonly string[]): (child: unknown) => child is FlowContentChild;
 
 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 };
+export { type FlowContentChild, type TagChild, getTag, isFlowContent, isObject, isString, isTag };