@markuplint/rules 5.2.0 → 5.4.0

package/lib/wai-aria/checkings/default-value.js

@@ -13,7 +13,7 @@ export const checkingDefaultValue = ({ attr, propSpecs }) => t => {
     if (attr.isDynamicValue) {
         return;
     }
-    const propSpec = propSpecs.find(p => p.name === attr.name);
+    const propSpec = propSpecs.find(p => p.name === attr.nameKey);
     const value = attr.value.trim().toLowerCase();
     if (propSpec?.defaultValue != null && propSpec.defaultValue === value) {
         return {

package/lib/wai-aria/checkings/deprecated-props.js

@@ -13,9 +13,9 @@ export const checkingDeprecatedProps = ({ attr, role, propSpecs }) => t => {
     if (!role) {
         return;
     }
-    const props = role.ownedProperties.find(p => p.name === attr.name);
+    const props = role.ownedProperties.find(p => p.name === attr.nameKey);
     if (props?.deprecated) {
-        const propSpec = propSpecs.find(p => p.name === attr.name);
+        const propSpec = propSpecs.find(p => p.name === attr.nameKey);
         return {
             scope: attr,
             message: t('{0:c} on {1}', t('{0} is {1:c}', t('the "{0*}" {1}', attr.name, `ARIA ${propSpec?.type ?? 'property'}`), 'deprecated'), t('the "{0*}" {1}', role.name, 'role')),

package/lib/wai-aria/checkings/element-supports-aria-prop.js

@@ -1,3 +1,4 @@
+import { isAriaAttr } from '../../helpers.js';
 import { ARIA_RECOMMENDED_VERSION, getARIA } from '@markuplint/ml-spec';
 /**
  * Checks the ARIA in HTML element-specific `aria-*` restrictions: spec data
@@ -13,13 +14,13 @@ import { ARIA_RECOMMENDED_VERSION, getARIA } from '@markuplint/ml-spec';
  * @returns A violation if the element-specific restriction disallows the property.
  */
 export const checkingElementSupportsAriaProp = ({ attr, role, propSpecs }) => t => {
-    if (!/^aria-/i.test(attr.name)) {
+    if (!isAriaAttr(attr)) {
         return;
     }
     const ariaVersion = attr.rule.options?.version ??
         attr.ownerMLDocument.ruleCommonSettings?.ariaVersion ??
         ARIA_RECOMMENDED_VERSION;
-    const propSpec = propSpecs.find(p => p.name === attr.name);
+    const propSpec = propSpecs.find(p => p.name === attr.nameKey);
     const elAriaSpec = getARIA(attr.ownerMLDocument.specs, attr.ownerElement.localName, attr.ownerElement.namespaceURI, ariaVersion, attr.ownerElement.matches.bind(attr.ownerElement));
     // Spec data may set `properties: false` to forbid every aria-* attribute on
     // elements that have no implicit role and accept no explicit role
@@ -47,7 +48,7 @@ export const checkingElementSupportsAriaProp = ({ attr, role, propSpecs }) => t
     // already implemented in the `properties.without` branch below.
     if (elAriaSpec?.properties !== false && elAriaSpec?.properties?.only) {
         const onlyNames = elAriaSpec.properties.only.map(o => (typeof o === 'string' ? o : o.name));
-        if (!onlyNames.includes(attr.name)) {
+        if (!onlyNames.includes(attr.nameKey)) {
             return {
                 scope: attr,
                 message: t('{0:c} on {1}', t('{0} is {1:c}', t('the "{0*}" {1}', attr.name, `ARIA ${propSpec?.type ?? 'property'}`), 'disallowed'), t('the "{0*}" {1}', attr.ownerElement.localName, 'element')),
@@ -56,7 +57,7 @@ export const checkingElementSupportsAriaProp = ({ attr, role, propSpecs }) => t
     }
     if (elAriaSpec?.properties !== false && elAriaSpec?.properties?.without) {
         for (const ignore of elAriaSpec.properties.without) {
-            if (ignore.name === attr.name) {
+            if (ignore.name === attr.nameKey) {
                 const hasNativeAttr = ignore.alt?.method === 'set-attr' && attr.ownerElement.hasAttribute(ignore.alt.target);
                 return {
                     scope: attr,

package/lib/wai-aria/checkings/interaction-in-hidden.d.ts

@@ -6,7 +6,7 @@ import type { ElementChecker } from '@markuplint/ml-core';
  * Including Elements in the Accessibility Tree
  *
  * @see https://w3c.github.io/aria/#tree_inclusion
- * > Elements that are not hidden and may fire an accessibility API event, including:
+ * > Elements that are not hidden and can fire an accessibility API event, including:
  * > - Elements that are currently focused, even if the element or one of its ancestor elements has its aria-hidden attribute set to true.
  * > - Elements that are a valid target of an aria-activedescendant attribute.
  *

package/lib/wai-aria/checkings/interaction-in-hidden.js

@@ -5,7 +5,7 @@ import { mayBeFocusable } from '@markuplint/ml-spec';
  * Including Elements in the Accessibility Tree
  *
  * @see https://w3c.github.io/aria/#tree_inclusion
- * > Elements that are not hidden and may fire an accessibility API event, including:
+ * > Elements that are not hidden and can fire an accessibility API event, including:
  * > - Elements that are currently focused, even if the element or one of its ancestor elements has its aria-hidden attribute set to true.
  * > - Elements that are a valid target of an aria-activedescendant attribute.
  *

package/lib/wai-aria/checkings/no-global-prop.js

@@ -9,7 +9,7 @@
  * @returns A violation if the property is not a global ARIA property.
  */
 export const checkingNoGlobalProp = ({ attr, propSpecs }) => t => {
-    const propSpec = propSpecs.find(prop => prop.name === attr.name);
+    const propSpec = propSpecs.find(prop => prop.name === attr.nameKey);
     if (propSpec && !propSpec.isGlobal) {
         return {
             scope: attr,

package/lib/wai-aria/checkings/presentational-children.d.ts

@@ -1,19 +1,19 @@
 import type { Options } from '../types.js';
-import type { ElementChecker } from '@markuplint/ml-core';
+import type { AttrChecker, Element } from '@markuplint/ml-core';
 /**
- * Checks whether ARIA attributes are applied to descendants of an element whose
- * role has the `childrenArePresentational` characteristic.
+ * Checks whether an ARIA attribute or `role` is applied to a descendant of an
+ * element whose role has the `childrenArePresentational` characteristic.
  *
  * Presentational Children
  *
- * @see https://www.w3.org/TR/wai-aria/#childrenArePresentational
+ * @see https://w3c.github.io/aria/#childrenArePresentational
  * @see https://w3c.github.io/aria/#childrenArePresentational
  *
- * > The DOM descendants are presentational.
+ * > Indicates whether DOM descendants are presentational.
  * > user agents SHOULD NOT expose descendants of
  * > this element through the platform accessibility API.
  * > If user agents do not hide the descendant nodes,
- * > some information may be read twice.
+ * > some information might be read twice.
  *
  * @see https://w3c.github.io/aria/#tree_exclusion
  *
@@ -26,10 +26,21 @@ import type { ElementChecker } from '@markuplint/ml-core';
  * @see https://w3c.github.io/aria/#tree_inclusion
  *
  * > Text equivalents for hidden referenced objects
- * > may still be used in the name and description computation
+ * > can still be used in the name and description computation
  * > even when not included in the accessibility tree.
  *
- * @param el - The element node to inspect for presentational ancestor context.
- * @returns A violation if the element has ARIA attributes and an ancestor with presentational children.
+ * Because the text of the excluded descendants is still used, an attribute that
+ * changes what a descendant contributes to a text alternative is not
+ * ineffective, and is not reported (see {@link takesEffect}). The computations
+ * that can read the descendant are listed by {@link getVisits};
+ * `MLElement#getAccessibleNameVisits` tells which elements each of them reaches
+ * and how.
+ *
+ * @param attr - The attribute to inspect.
+ * @param el - The element the attribute is read on. For a pretended component it is
+ *   the component, while the attribute belongs to the element it pretends to be.
+ * @returns A violation if the attribute is an ARIA attribute or `role` that takes no effect under an ancestor with presentational children.
  */
-export declare const checkingPresentationalChildren: ElementChecker<boolean, Options>;
+export declare const checkingPresentationalChildren: AttrChecker<boolean, Options, {
+    readonly el: Element<boolean, Options>;
+}>;

package/lib/wai-aria/checkings/presentational-children.js

@@ -1,18 +1,19 @@
-import { ARIA_RECOMMENDED_VERSION, getComputedRole } from '@markuplint/ml-spec';
+import { isAriaAttr, labelable, memoizeByObject, namespaceKeyOf } from '../../helpers.js';
+import { ARIA_RECOMMENDED_VERSION, EMBEDDED_CONTROL_ROLES, getComputedRole, getImplicitRole, isExposedAsPresentational, isNativeEmbeddedControl, } from '@markuplint/ml-spec';
 /**
- * Checks whether ARIA attributes are applied to descendants of an element whose
- * role has the `childrenArePresentational` characteristic.
+ * Checks whether an ARIA attribute or `role` is applied to a descendant of an
+ * element whose role has the `childrenArePresentational` characteristic.
  *
  * Presentational Children
  *
- * @see https://www.w3.org/TR/wai-aria/#childrenArePresentational
+ * @see https://w3c.github.io/aria/#childrenArePresentational
  * @see https://w3c.github.io/aria/#childrenArePresentational
  *
- * > The DOM descendants are presentational.
+ * > Indicates whether DOM descendants are presentational.
  * > user agents SHOULD NOT expose descendants of
  * > this element through the platform accessibility API.
  * > If user agents do not hide the descendant nodes,
- * > some information may be read twice.
+ * > some information might be read twice.
  *
  * @see https://w3c.github.io/aria/#tree_exclusion
  *
@@ -25,47 +26,260 @@ import { ARIA_RECOMMENDED_VERSION, getComputedRole } from '@markuplint/ml-spec';
  * @see https://w3c.github.io/aria/#tree_inclusion
  *
  * > Text equivalents for hidden referenced objects
- * > may still be used in the name and description computation
+ * > can still be used in the name and description computation
  * > even when not included in the accessibility tree.
  *
- * @param el - The element node to inspect for presentational ancestor context.
- * @returns A violation if the element has ARIA attributes and an ancestor with presentational children.
+ * Because the text of the excluded descendants is still used, an attribute that
+ * changes what a descendant contributes to a text alternative is not
+ * ineffective, and is not reported (see {@link takesEffect}). The computations
+ * that can read the descendant are listed by {@link getVisits};
+ * `MLElement#getAccessibleNameVisits` tells which elements each of them reaches
+ * and how.
+ *
+ * @param attr - The attribute to inspect.
+ * @param el - The element the attribute is read on. For a pretended component it is
+ *   the component, while the attribute belongs to the element it pretends to be.
+ * @returns A violation if the attribute is an ARIA attribute or `role` that takes no effect under an ancestor with presentational children.
  */
-export const checkingPresentationalChildren = ({ el }) => t => {
-    const ancestor = getAncestorHasPresentationalChildren(el);
-    if (!ancestor) {
+export const checkingPresentationalChildren = ({ attr, el }) => t => {
+    if (!isAriaAttr(attr) && attr.nameKey !== 'role') {
         return;
     }
-    if (!ancestor.role) {
+    const context = getContext(el);
+    if (!context) {
         return;
     }
-    const hasAriaAttr = [...el.attributes].some(attr => /^aria-|^role$/i.test(attr.name));
-    if (!hasAriaAttr) {
+    if (takesEffect(attr, el, context)) {
         return;
     }
     return {
-        scope: el,
-        message: t('it may be ineffective because {0}', t("it has {0} as an ancestor that doesn't expose its descendants to the accessibility tree", t('the "{0*}" {1}', ancestor.role.name, 'role'))),
+        scope: attr,
+        message: t('it may be ineffective because {0}', t("it has {0} as an ancestor that doesn't expose its descendants to the accessibility tree", t('the "{0*}" {1}', context.role.name, 'role'))),
     };
 };
 /**
- * Traverses the element's ancestor chain to find one whose computed role
- * has the `childrenArePresentational` characteristic.
+ * The closest ancestor role with presentational children, and the visits of the
+ * element by the computations that can read it, once per element.
+ */
+const getContext = memoizeByObject(
+// eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types
+(el) => {
+    const ariaVersion = el.rule.options?.version ?? el.ownerMLDocument.ruleCommonSettings?.ariaVersion ?? ARIA_RECOMMENDED_VERSION;
+    const role = getClosestPresentationalChildrenRole(el, ariaVersion);
+    if (!role) {
+        return null;
+    }
+    return { ariaVersion, role, visits: getVisits(el, ariaVersion) };
+});
+/**
+ * Finds the closest ancestor whose computed role has the
+ * `childrenArePresentational` characteristic.
  *
  * @param el - The element to start searching from (exclusive, starts from parent).
- * @returns The computed role of the ancestor with presentational children, or `null` if none found.
+ * @param ariaVersion - The ARIA version to compute the roles with.
+ * @returns The role of that ancestor, or `null` if none is found.
  */
-function getAncestorHasPresentationalChildren(
+function getClosestPresentationalChildrenRole(
 // eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types
-el) {
-    const ariaVersion = el.rule.options?.version ?? el.ownerMLDocument.ruleCommonSettings?.ariaVersion ?? ARIA_RECOMMENDED_VERSION;
+el, ariaVersion) {
     let current = el.parentElement;
     while (current) {
-        const computed = getComputedRole(el.ownerMLDocument.specs, current, ariaVersion);
-        if (computed.role?.childrenPresentational) {
-            return computed;
+        const role = getComputedRole(el.ownerMLDocument.specs, current, ariaVersion).role;
+        if (role?.childrenPresentational) {
+            return role;
         }
         current = current.parentElement;
     }
     return null;
 }
+/**
+ * The visits of the element by every computation that can read it. Each reader
+ * is taken whether or not its computation reaches the element; one that does
+ * not contributes no visit.
+ *
+ * - the accessible name of every ancestor, as any of them can collect the text
+ *   of its subtree (Step 2F and the recursion into descendants)
+ * - the text alternative of the element or of an ancestor as a node that
+ *   `aria-labelledby` or `aria-describedby` refers to
+ * - the accessible name of every control that a `label` ancestor can name: the
+ *   element its `for` refers to, and its labelable descendants (HTML-AAM)
+ *
+ * @see https://w3c.github.io/accname/#comp_name_from_content
+ * @see https://w3c.github.io/accname/#comp_labelledby_traversal
+ * @see https://w3c.github.io/html-aam/#accessible-name-and-description-computation
+ *
+ * @param el - The descendant
+ * @param ariaVersion - The ARIA version to compute the names with
+ * @returns The visits
+ */
+function getVisits(
+// eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types
+el, ariaVersion) {
+    const visits = [];
+    const add = (
+    // eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types
+    reader, asReferenced = false) => {
+        visits.push(...(reader.getAccessibleNameVisits(ariaVersion, asReferenced).get(el) ?? []));
+    };
+    const document = el.ownerMLDocument;
+    const referenced = getReferencedIds(document);
+    let current = el;
+    while (current) {
+        if (current !== el) {
+            add(current);
+        }
+        if (current.id && referenced.has(current.id) && document.getElementById(current.id) === current) {
+            add(current, true);
+        }
+        for (const control of getLabeledControls(current)) {
+            add(control);
+        }
+        current = current.parentElement;
+    }
+    return visits;
+}
+/**
+ * The controls that the element can name if it is a `label`, as the accessible
+ * name computation finds labels: by `for` or as the closest `label` ancestor.
+ * Once per label.
+ *
+ * @see https://html.spec.whatwg.org/multipage/forms.html#labeled-control
+ */
+const getLabeledControls = memoizeByObject(
+// eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types
+(el) => {
+    if (el.localName !== 'label' || el.namespaceURI !== 'http://www.w3.org/1999/xhtml') {
+        return [];
+    }
+    const htmlFor = el.getAttribute('for');
+    const target = htmlFor == null ? null : el.ownerMLDocument.getElementById(htmlFor);
+    return [...(target ? [target] : []), ...el.querySelectorAll(labelable.join(', '))];
+});
+/**
+ * The IDs that an `aria-labelledby` or `aria-describedby` of the document refers to.
+ */
+const getReferencedIds = memoizeByObject(
+// eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types
+(document) => {
+    const ids = new Set();
+    for (const referrer of document.querySelectorAll('[aria-labelledby], [aria-describedby]')) {
+        for (const name of ['aria-labelledby', 'aria-describedby']) {
+            for (const id of referrer.getAttribute(name)?.split(/\s+/) ?? []) {
+                if (id !== '') {
+                    ids.add(id);
+                }
+            }
+        }
+    }
+    return ids;
+});
+/**
+ * Whether the attribute changes what its element contributes to a text
+ * alternative that reads it, given how the computations reach the element.
+ *
+ * - `aria-hidden="true"` makes the element hidden, so it and its subtree
+ *   contribute nothing (Step 2A), unless the `hidden` attribute hides it already
+ *   (the other way `@markuplint/ml-core` tells an element hidden).
+ * - An `aria-labelledby` replaces the element's subtree (Step 2B) when the
+ *   elements it refers to have any text, except inside an ongoing
+ *   `aria-labelledby` traversal.
+ * - A non-empty `aria-label` replaces it the same way (Step 2D), unless the
+ *   element is hidden, an `aria-labelledby` of it takes effect first (one that
+ *   refers to the element itself reads the `aria-label` again), or it is an
+ *   embedded control, whose `aria-label` the recursion ignores.
+ * - `role="none"` or `role="presentation"` drops the host language text
+ *   alternative of the element, such as the `alt` of an image (Step 2E), when the
+ *   element has one and the Presentational Roles Conflict Resolution does not
+ *   ignore the role.
+ * - A role that makes the element an embedded control, or keeps a native one
+ *   from being it, changes what it contributes between its value and its text
+ *   (Step 2C).
+ * - The `aria-valuetext`, or else the `aria-valuenow`, of a range embedded
+ *   control is its value (Step 2C).
+ *
+ * @see https://w3c.github.io/accname/#comp_embedded_control
+ * @see https://w3c.github.io/accname/#comp_hidden_not_referenced
+ * @see https://w3c.github.io/accname/#comp_labelledby
+ * @see https://w3c.github.io/accname/#comp_label
+ * @see https://w3c.github.io/accname/#comp_host_language_label
+ *
+ * > Otherwise, if the current node's native markup provides an attribute (e.g. alt) or element (e.g. HTML label or SVG title) that defines a text alternative, return that alternative in the form of a flat string as defined by the host language […], unless the current node is exposed as presentational (role="presentation" or role="none", alt="").
+ *
+ * @param attr - The attribute on a descendant of a presentational ancestor
+ * @param el - The descendant
+ * @param context - The ARIA version and the visits of the descendant
+ * @returns `true` if the attribute takes effect on a text alternative
+ */
+function takesEffect(
+// eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types
+attr, 
+// eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types
+el, { ariaVersion, visits }) {
+    const shown = visits.filter(visit => !visit.hidden);
+    switch (namespaceKeyOf(attr)) {
+        case 'aria-hidden': {
+            return attr.value === 'true' && visits.some(visit => visit.hidden) && !el.hasAttribute('hidden');
+        }
+        case 'aria-labelledby': {
+            return labelledbyGivesText(el, ariaVersion) && shown.some(visit => !visit.inLabelledbyTraversal);
+        }
+        case 'aria-label': {
+            const overridden = labelledbyGivesText(el, ariaVersion) &&
+                !(el.id !== '' && el.getAttribute('aria-labelledby')?.split(/\s+/).includes(el.id));
+            return (attr.value.trim() !== '' &&
+                shown.some(visit => !visit.embeddedControl && (visit.inLabelledbyTraversal || !overridden)));
+        }
+        case 'aria-valuetext':
+        case 'aria-valuenow': {
+            // The value of a range embedded control: `aria-valuetext`, else `aria-valuenow`
+            const isRange = ['slider', 'spinbutton'].includes(el.getAttribute('role')?.trim().split(/\s+/)[0] ?? '') ||
+                (el.localName === 'input' && el.getAttribute('type')?.trim().toLowerCase() === 'range');
+            const valuetext = el.getAttribute('aria-valuetext')?.trim() ?? '';
+            const shadowed = namespaceKeyOf(attr) === 'aria-valuenow' && valuetext !== '';
+            // Step 2B comes first outside an ongoing aria-labelledby traversal
+            const labelledby = labelledbyGivesText(el, ariaVersion);
+            return (isRange &&
+                attr.value.trim() !== '' &&
+                !shadowed &&
+                shown.some(visit => visit.embeddedControl && (visit.inLabelledbyTraversal || !labelledby)));
+        }
+        case 'role': {
+            if (shown.length === 0) {
+                return false;
+            }
+            const { specs } = el.ownerMLDocument;
+            const computed = getComputedRole(specs, el, ariaVersion);
+            if (isEmbeddedControl(el, computed) !== isEmbeddedControl(el, getImplicitRole(specs, el, ariaVersion))) {
+                return true;
+            }
+            return (shown.some(visit => !visit.embeddedControl) &&
+                isExposedAsPresentational(computed) &&
+                el.getHostLanguageLabelSource(ariaVersion) !== null);
+        }
+    }
+    return false;
+}
+/**
+ * Whether the element is an embedded control with the role, as the resolver of
+ * `@markuplint/ml-core` tells it: by the role, or as a native control without one.
+ */
+function isEmbeddedControl(
+// eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types
+el, computed) {
+    return computed.role ? EMBEDDED_CONTROL_ROLES.has(computed.role.name) : isNativeEmbeddedControl(el);
+}
+/**
+ * Whether the `aria-labelledby` of the element gives a text: Step 2B returns the
+ * accumulated text of the elements it refers to only when that text is not empty.
+ */
+function labelledbyGivesText(
+// eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types
+el, ariaVersion) {
+    return (el.getAttribute('aria-labelledby')?.split(/\s+/) ?? []).some(id => {
+        if (id === '') {
+            return false;
+        }
+        const referenced = el.ownerMLDocument.getElementById(id);
+        return referenced != null && referenced.getReferencedTextAlternative(ariaVersion) !== '';
+    });
+}

package/lib/wai-aria/checkings/prohibited-naming.js

@@ -1,9 +1,10 @@
+import { isAriaAttr } from '../../helpers.js';
 import { ARIA_RECOMMENDED_VERSION, getARIA } from '@markuplint/ml-spec';
 /**
  * ARIA naming attributes subject to the "naming prohibition" constraint
  * defined by ARIA in HTML.
  *
- * @see https://w3c.github.io/html-aria/#dfn-naming-prohibited
+ * @see https://www.w3.org/TR/html-aria/#dfn-naming-prohibited
  */
 const NAMING_ATTRS = new Set(['aria-label', 'aria-labelledby', 'aria-braillelabel']);
 /**
@@ -35,10 +36,10 @@ const NAMING_ATTRS = new Set(['aria-label', 'aria-labelledby', 'aria-braillelabe
  * @returns A violation if a naming attribute is used on a naming-prohibited element.
  */
 export const checkingProhibitedNaming = ({ attr, role, propSpecs }) => t => {
-    if (!/^aria-/i.test(attr.name)) {
+    if (!isAriaAttr(attr)) {
         return;
     }
-    if (!NAMING_ATTRS.has(attr.name)) {
+    if (!NAMING_ATTRS.has(attr.nameKey)) {
         return;
     }
     if (role) {
@@ -56,7 +57,7 @@ export const checkingProhibitedNaming = ({ attr, role, propSpecs }) => t => {
     if (elAriaSpec?.namingProhibited !== true && !isAutonomousCustomElement) {
         return;
     }
-    const propSpec = propSpecs.find(p => p.name === attr.name);
+    const propSpec = propSpecs.find(p => p.name === attr.nameKey);
     return {
         scope: attr,
         message: t('{0:c} on {1}', t('{0} is {1:c}', t('the "{0*}" {1}', attr.name, `ARIA ${propSpec?.type ?? 'property'}`), 'prohibited'), t('the "{0*}" {1}', attr.ownerElement.localName, 'element')),

package/lib/wai-aria/checkings/redundant-aria-prop.js

@@ -22,20 +22,18 @@ export const checkingRedundantAriaProp = ({ attr, propSpecs, attrSpecs }) => t =
     if (attr.isDynamicValue) {
         return;
     }
-    const propSpec = propSpecs.find(p => p.name === attr.name);
+    const propSpec = propSpecs.find(p => p.name === attr.nameKey);
     if (!propSpec?.equivalentHtmlAttrs) {
         return;
     }
     for (const equivalentHtmlAttr of propSpec.equivalentHtmlAttrs) {
         const eligibility = resolveAttrEligibility(equivalentHtmlAttr.htmlAttrName, attr.ownerElement, attrSpecs);
         // Skip only when the native attribute doesn't apply to this element at all
-        // (unknown name, case mismatch, or an unmet condition) — mirrors the old
+        // (unknown name or an unmet condition) — mirrors the old
         // `invalidType === 'non-existent'` check. `noUse` still proceeds: an
         // explicitly-forbidden native attribute can still be "implicit" for
         // equivalence purposes.
-        if (eligibility.status === 'unknown' ||
-            eligibility.status === 'case-mismatch' ||
-            eligibility.status === 'condition-not-met') {
+        if (eligibility.status === 'unknown' || eligibility.status === 'condition-not-met') {
             continue;
         }
         if (!attr.ownerElement.hasAttribute(equivalentHtmlAttr.htmlAttrName)) {

package/lib/wai-aria/checkings/required-prop.js

@@ -34,10 +34,7 @@ export const checkingRequiredProp = ({ el, role, propSpecs }) => t => {
         return true;
     });
     for (const { name: requiredProp } of requiredProps) {
-        const has = el.attributes.some(attr => {
-            const attrName = attr.name.toLowerCase();
-            return attrName === requiredProp;
-        });
+        const has = el.attributes.some(attr => attr.nameKey === requiredProp);
         if (!has) {
             const propSpec = propSpecs.find(p => p.name === requiredProp);
             const ariaVersion = el.rule.options?.version ??

package/lib/wai-aria/checkings/role-supports-aria-prop.js

@@ -1,3 +1,4 @@
+import { isAriaAttr } from '../../helpers.js';
 /**
  * Checks whether an ARIA property or state is supported by the element's
  * computed role, per the role's WAI-ARIA definition (`ownedProperties`).
@@ -12,17 +13,17 @@
  * @returns A violation if the property is not supported by the given role.
  */
 export const checkingRoleSupportsAriaProp = ({ attr, role, propSpecs }) => t => {
-    if (!/^aria-/i.test(attr.name)) {
+    if (!isAriaAttr(attr)) {
         return;
     }
     if (!role) {
         return;
     }
-    const statesAndProp = role.ownedProperties.find(p => p.name === attr.name);
+    const statesAndProp = role.ownedProperties.find(p => p.name === attr.nameKey);
     if (statesAndProp) {
         return;
     }
-    const propSpec = propSpecs.find(p => p.name === attr.name);
+    const propSpec = propSpecs.find(p => p.name === attr.nameKey);
     return {
         scope: attr,
         message: t('{0:c} on {1}', t('{0} is {1:c}', t('the "{0*}" {1}', attr.name, `ARIA ${propSpec?.type ?? 'property'}`), 'disallowed'), t('the "{0*}" {1}', role.name, 'role')),

package/lib/wai-aria/checkings/tab-requires-tabpanel.d.ts

@@ -8,8 +8,9 @@ import type { ARIARole } from '@markuplint/ml-spec';
  * express it: the tab's `aria-controls` idref list points to a `tabpanel`, or some
  * `tabpanel` element's `aria-labelledby` idref list points back at the tab's own `id`.
  *
- * @see https://www.w3.org/TR/wai-aria-1.3/#tab — "Authors MUST ensure that if a tab
- * is active, a corresponding tabpanel that represents the active tab is rendered."
+ * > Authors MUST ensure that if a tab is active, a corresponding tabpanel that represents the active tab is rendered.
+ *
+ * @see https://w3c.github.io/aria/#tab
  * @param el - The element node to inspect.
  * @param role - The computed ARIA role of the element.
  * @returns A violation if the active tab has no corresponding tabpanel.

package/lib/wai-aria/checkings/tab-requires-tabpanel.js

@@ -6,8 +6,9 @@ import { ARIA_RECOMMENDED_VERSION, getComputedRole } from '@markuplint/ml-spec';
  * express it: the tab's `aria-controls` idref list points to a `tabpanel`, or some
  * `tabpanel` element's `aria-labelledby` idref list points back at the tab's own `id`.
  *
- * @see https://www.w3.org/TR/wai-aria-1.3/#tab — "Authors MUST ensure that if a tab
- * is active, a corresponding tabpanel that represents the active tab is rendered."
+ * > Authors MUST ensure that if a tab is active, a corresponding tabpanel that represents the active tab is rendered.
+ *
+ * @see https://w3c.github.io/aria/#tab
  * @param el - The element node to inspect.
  * @param role - The computed ARIA role of the element.
  * @returns A violation if the active tab has no corresponding tabpanel.

package/lib/wai-aria/checkings/value.d.ts

@@ -26,7 +26,7 @@ export declare const checkingValue: AttrChecker<boolean, Options, {
  * Supports token, token list, string, ID reference, true/false, tristate,
  * true/false/undefined, integer, and number value types.
  *
- * @see https://www.w3.org/TR/wai-aria-1.2/#propcharacteristic_value
+ * @see https://w3c.github.io/aria/#propcharacteristic_value
  * @param type - The ARIA value type (e.g., `"token"`, `"true/false"`, `"integer"`).
  * @param value - The raw attribute value to validate.
  * @param tokenEnum - The list of allowed token values for token-based types.

package/lib/wai-aria/checkings/value.js

@@ -16,7 +16,7 @@ export const checkingValue = ({ attr, role, propSpecs, booleanish }) => t => {
     if (attr.isDynamicValue) {
         return;
     }
-    const propSpec = propSpecs.find(p => p.name === attr.name);
+    const propSpec = propSpecs.find(p => p.name === attr.nameKey);
     const result = checkAria(propSpec, attr.value, role?.name, booleanish);
     if (result.isValid) {
         return;
@@ -68,7 +68,7 @@ function checkAria(propSpec, currentValue, role, booleanish) {
  * Supports token, token list, string, ID reference, true/false, tristate,
  * true/false/undefined, integer, and number value types.
  *
- * @see https://www.w3.org/TR/wai-aria-1.2/#propcharacteristic_value
+ * @see https://w3c.github.io/aria/#propcharacteristic_value
  * @param type - The ARIA value type (e.g., `"token"`, `"true/false"`, `"integer"`).
  * @param value - The raw attribute value to validate.
  * @param tokenEnum - The list of allowed token values for token-based types.