@surea11y/core 1.1.2 → 1.3.0

package/src/checks/manual/landmark-banner-is-top-level-manual.js

@@ -6,12 +6,11 @@
  * @summary The banner landmark must not be nested inside another landmark
  * @standard Best Practices (a widely-used reference engine's classification; no formal WCAG Success Criterion — see ROADMAP.md Tier 1b)
  * @applicability
- *   Applies whenever the page contains at least one banner landmark
- *   (explicit role="banner", or an implicit <header> that is not itself
- *   nested inside <article>/<aside>/<main>/<nav>/<section> — see
- *   implementation notes).
+ *   Applies whenever the page contains at least one banner candidate:
+ *   explicit role="banner", OR a <header> with NO role attribute at all
+ *   (regardless of nesting — see implementation notes' 2026-08-01 fix).
  * @expectation
- *   No banner landmark has an ancestor that is itself any landmark
+ *   No banner candidate has an ancestor that is itself any landmark
  *   region. A banner nested inside another landmark is not a top-level,
  *   whole-page banner and confuses landmark-based navigation for
  *   assistive technology users.
@@ -29,13 +28,35 @@
  *   region/form only when accessibly named), not a byte-for-byte port
  *   of a widely-used reference engine's internal algorithm — verify against upstream if exact
  *   parity is ever required.
+ * - **Fixed 2026-08-01, a self-defeating applicability bug found via the
+ *   cross-engine comparisons project (verified live on TurboTax's real
+ *   homepage, `<header>` nested inside a `<div id="main" role="main">`
+ *   two levels up):** candidate selection used to run the *same*
+ *   HTML-AAM sectioning-ancestor suppression used for the violation
+ *   check itself (`getImplicitLandmarkRole`'s `hasSectioningAncestor`
+ *   gate) — so the moment a `<header>` was nested inside another
+ *   landmark, that same nesting made it stop counting as a banner
+ *   candidate in the first place, and the rule could never flag the one
+ *   case it exists to catch. A widely-used reference engine's own
+ *   `landmark-banner-is-top-level` avoids this: its selector
+ *   (`header:not([role]), [role=banner]`) is unconditional — it doesn't
+ *   care whether the header *currently* carries the banner role, only
+ *   whether it's a `<header>`/`role="banner"` with a landmark ancestor
+ *   above it (verified by reading that engine's real
+ *   `landmark-is-top-level-evaluate` source, not guessed). Candidate
+ *   selection (`isBannerCandidate` below) now matches that unconditional
+ *   selector shape; the ancestor walk (`hasLandmarkAncestor`) still uses
+ *   the full suppression-aware `getLandmarkRole` for each ancestor,
+ *   which is correct and unchanged — an ancestor genuinely needs its own
+ *   real role to count as blocking.
  */
 
 const id = 'landmark-banner-is-top-level';
 
 const meta = {
   title: 'Banner landmark must be top-level',
-  description: 'Checks that the banner landmark (role="banner" or a non-nested <header>) is not nested inside another landmark region.',
+  description:
+    'Checks that the banner landmark (role="banner" or a non-nested <header>) is not nested inside another landmark region.',
   i18n: {
     titleKey: 'landmarkBannerIsTopLevel_title',
     descriptionKey: 'landmarkBannerIsTopLevel_description'
@@ -52,12 +73,14 @@ const meta = {
 };
 
 function runInPage(ctx) {
-  const { document, helpers, rule } = ctx;
+  const { document, root, helpers, rule } = ctx;
 
   // Declared inside runInPage — see scripts/build-core.js header
   // ("runInPage MUST be self-contained").
   function normalizeWs(s) {
-    return String(s || '').replace(/\s+/g, ' ').trim();
+    return String(s || '')
+      .replace(/\s+/g, ' ')
+      .trim();
   }
 
   // Delegates to the shared helpers.getLandmarkNameInfo (aria-label -> aria-labelledby, via the
@@ -81,31 +104,52 @@ function runInPage(ctx) {
     return raw.split(/\s+/)[0].toLowerCase();
   }
 
-  const SECTIONING_ANCESTORS = new Set(['article', 'aside', 'main', 'nav', 'section']);
-
-  function isSuppressedBySectioningAncestor(el) {
-    let p = el.parentElement;
-    while (p) {
-      const tag = p.tagName ? p.tagName.toLowerCase() : '';
-      if (SECTIONING_ANCESTORS.has(tag)) return true;
-      p = p.parentElement;
-    }
-    return false;
+  // Delegates to the shared helpers.hasLandmarkScopingAncestor for the
+  // question "does this element sit inside a sectioning-content/<main>
+  // ancestor that suppresses its conditional implicit role" — role-aware
+  // (an ancestor's bare TAG only counts when it carries no role attribute
+  // at all; an explicit role="dialog"-style override no longer suppresses)
+  // rather than a local tag-only copy. See that function's header comment
+  // in src/core/aria-helpers.js for the full algorithm and the real page
+  // (handsontable.com's docs-assistant side panel, an
+  // <aside role="dialog"> containing its own <header>) that surfaced this
+  // rule's own former tag-only copy as a false negative.
+  function hasSectioningAncestor(el, includeMain) {
+    return helpers && typeof helpers.hasLandmarkScopingAncestor === 'function'
+      ? helpers.hasLandmarkScopingAncestor(el, { includeMain })
+      : false;
   }
 
   function getImplicitLandmarkRole(el) {
     const tag = el.tagName ? el.tagName.toLowerCase() : '';
-    if (tag === 'header') return isSuppressedBySectioningAncestor(el) ? '' : 'banner';
-    if (tag === 'footer') return isSuppressedBySectioningAncestor(el) ? '' : 'contentinfo';
+    if (tag === 'header') return hasSectioningAncestor(el, true) ? '' : 'banner';
+    if (tag === 'footer') return hasSectioningAncestor(el, true) ? '' : 'contentinfo';
     if (tag === 'main') return 'main';
     if (tag === 'nav') return 'navigation';
-    if (tag === 'aside') return isSuppressedBySectioningAncestor(el) ? '' : 'complementary';
+    if (tag === 'aside') {
+      // A named <aside> is never suppressed, even when nested — matches
+      // landmark-unique's own verified-against-reference-engine precedent
+      // (that engine's real `aside` implicit-role function keeps
+      // "complementary" when the element has an accessible name, even
+      // inside sectioning content); propagated here for consistency.
+      if (!hasSectioningAncestor(el, false)) return 'complementary';
+      return getAccessibleLandmarkName(el) ? 'complementary' : '';
+    }
     if (tag === 'section') return getAccessibleLandmarkName(el) ? 'region' : '';
     if (tag === 'form') return getAccessibleLandmarkName(el) ? 'form' : '';
     return '';
   }
 
-  const LANDMARK_ROLES = new Set(['banner', 'contentinfo', 'main', 'navigation', 'complementary', 'region', 'form', 'search']);
+  const LANDMARK_ROLES = new Set([
+    'banner',
+    'contentinfo',
+    'main',
+    'navigation',
+    'complementary',
+    'region',
+    'form',
+    'search'
+  ]);
 
   function getLandmarkRole(el) {
     if (!el || !el.getAttribute) return '';
@@ -114,10 +158,26 @@ function runInPage(ctx) {
     return getImplicitLandmarkRole(el);
   }
 
+  // Candidate selection is deliberately NOT the same as getLandmarkRole()
+  // === 'banner' — see the 2026-08-01 fix note above. A <header> is a
+  // candidate purely by tag + absence of any role attribute, independent
+  // of whether sectioning-ancestor nesting would currently suppress its
+  // implicit role; an explicit role="banner" is always a candidate too.
+  function isBannerCandidate(el) {
+    if (!el || !el.getAttribute) return false;
+    const explicit = getExplicitRoleToken(el);
+    if (explicit) return explicit === 'banner';
+    return !!(el.tagName && el.tagName.toLowerCase() === 'header');
+  }
+
   function hasLandmarkAncestor(el) {
+    const scopeRoots = Array.isArray(root) ? root : root ? [root] : [];
     let p = el.parentElement;
     while (p) {
       if (getLandmarkRole(p)) return true;
+      // Don't climb past the scanned scope -- see aria-helpers.js's
+      // hasLandmarkScopingAncestor for the same fix and rationale.
+      if (scopeRoots.includes(p)) break;
       p = p.parentElement;
     }
     return false;
@@ -127,11 +187,12 @@ function runInPage(ctx) {
   // landmark-unique-manual.js's header comment for the real page (Airtable, 2026-07-23)
   // that surfaced this gap: a third-party shadow-DOM-hosted widget's own landmark is
   // invisible to a light-DOM-only query.
-  let nodes = [];
+  let nodes;
   try {
-    nodes = helpers && typeof helpers.queryAllSmart === 'function'
-      ? helpers.queryAllSmart('header, footer, main, nav, aside, section, form, [role]')
-      : document.querySelectorAll('header, footer, main, nav, aside, section, form, [role]');
+    nodes =
+      helpers && typeof helpers.queryAllSmart === 'function'
+        ? helpers.queryAllSmart('header, footer, main, nav, aside, section, form, [role]')
+        : document.querySelectorAll('header, footer, main, nav, aside, section, form, [role]');
   } catch {
     nodes = [];
   }
@@ -141,7 +202,7 @@ function runInPage(ctx) {
   for (const el of nodes) {
     if (!el || seen.has(el)) continue;
     seen.add(el);
-    if (getLandmarkRole(el) === 'banner') banners.push(el);
+    if (isBannerCandidate(el)) banners.push(el);
   }
 
   if (banners.length === 0) {
@@ -153,7 +214,7 @@ function runInPage(ctx) {
     if (!hasLandmarkAncestor(el)) continue;
 
     const stableSelector = helpers.buildSelector ? helpers.buildSelector(el) : 'html';
-    const html = helpers.getOuterHtmlSnippet ? helpers.getOuterHtmlSnippet(el) : (el.outerHTML || '');
+    const html = helpers.getOuterHtmlSnippet ? helpers.getOuterHtmlSnippet(el) : el.outerHTML || '';
 
     occurrences.push({
       selector: stableSelector,
@@ -172,7 +233,12 @@ function runInPage(ctx) {
   }
 
   if (occurrences.length) {
-    return { ruleId: rule.ruleId, outcome: 'cantTell', severity: rule.defaultSeverity || 'minor', occurrences };
+    return {
+      ruleId: rule.ruleId,
+      outcome: 'cantTell',
+      severity: rule.defaultSeverity || 'minor',
+      occurrences
+    };
   }
   return { ruleId: rule.ruleId, outcome: 'notApplicable', severity: 'minor', occurrences: [] };
 }

package/src/checks/manual/landmark-contentinfo-is-top-level-manual.js

@@ -6,12 +6,12 @@
  * @summary The contentinfo landmark must not be nested inside another landmark
  * @standard Best Practices (a widely-used reference engine's classification; no formal WCAG Success Criterion — see ROADMAP.md Tier 1b)
  * @applicability
- *   Applies whenever the page contains at least one contentinfo landmark
- *   (explicit role="contentinfo", or an implicit <footer> that is not
- *   itself nested inside <article>/<aside>/<main>/<nav>/<section> — see
- *   implementation notes).
+ *   Applies whenever the page contains at least one contentinfo
+ *   candidate: explicit role="contentinfo", OR a <footer> with NO role
+ *   attribute at all (regardless of nesting — see implementation notes'
+ *   2026-08-01 fix).
  * @expectation
- *   No contentinfo landmark has an ancestor that is itself any landmark
+ *   No contentinfo candidate has an ancestor that is itself any landmark
  *   region. A contentinfo nested inside another landmark is not a
  *   top-level, whole-page footer region and confuses landmark-based
  *   navigation for assistive technology users.
@@ -20,13 +20,21 @@
  *   `type: 'manual'` rule; see landmark-banner-is-top-level's
  *   header comment for the shared rationale/precedent (this rule mirrors
  *   its structure with contentinfo/footer in place of banner/header).
+ * - **Fixed 2026-08-01, same self-defeating applicability bug as
+ *   landmark-banner-is-top-level (see that file's header comment for the
+ *   full root cause and the TurboTax evidence) — candidate selection
+ *   (`isContentinfoCandidate` below) now matches a widely-used reference
+ *   engine's unconditional `footer:not([role]), [role=contentinfo]`
+ *   selector shape instead of reusing the sectioning-ancestor
+ *   suppression that the violation check itself depends on.
  */
 
 const id = 'landmark-contentinfo-is-top-level';
 
 const meta = {
   title: 'Contentinfo landmark must be top-level',
-  description: 'Checks that the contentinfo landmark (role="contentinfo" or a non-nested <footer>) is not nested inside another landmark region.',
+  description:
+    'Checks that the contentinfo landmark (role="contentinfo" or a non-nested <footer>) is not nested inside another landmark region.',
   i18n: {
     titleKey: 'landmarkContentinfoIsTopLevel_title',
     descriptionKey: 'landmarkContentinfoIsTopLevel_description'
@@ -43,10 +51,12 @@ const meta = {
 };
 
 function runInPage(ctx) {
-  const { document, helpers, rule } = ctx;
+  const { document, root, helpers, rule } = ctx;
 
   function normalizeWs(s) {
-    return String(s || '').replace(/\s+/g, ' ').trim();
+    return String(s || '')
+      .replace(/\s+/g, ' ')
+      .trim();
   }
 
   // Delegates to the shared helpers.getLandmarkNameInfo (aria-label -> aria-labelledby, via the
@@ -70,31 +80,52 @@ function runInPage(ctx) {
     return raw.split(/\s+/)[0].toLowerCase();
   }
 
-  const SECTIONING_ANCESTORS = new Set(['article', 'aside', 'main', 'nav', 'section']);
-
-  function isSuppressedBySectioningAncestor(el) {
-    let p = el.parentElement;
-    while (p) {
-      const tag = p.tagName ? p.tagName.toLowerCase() : '';
-      if (SECTIONING_ANCESTORS.has(tag)) return true;
-      p = p.parentElement;
-    }
-    return false;
+  // Delegates to the shared helpers.hasLandmarkScopingAncestor for the
+  // question "does this element sit inside a sectioning-content/<main>
+  // ancestor that suppresses its conditional implicit role" — role-aware
+  // (an ancestor's bare TAG only counts when it carries no role attribute
+  // at all; an explicit role="dialog"-style override no longer suppresses)
+  // rather than a local tag-only copy. See that function's header comment
+  // in src/core/aria-helpers.js for the full algorithm and the real page
+  // (handsontable.com's docs-assistant side panel, an
+  // <aside role="dialog"> containing its own <header>) that surfaced this
+  // rule's own former tag-only copy as a false negative.
+  function hasSectioningAncestor(el, includeMain) {
+    return helpers && typeof helpers.hasLandmarkScopingAncestor === 'function'
+      ? helpers.hasLandmarkScopingAncestor(el, { includeMain })
+      : false;
   }
 
   function getImplicitLandmarkRole(el) {
     const tag = el.tagName ? el.tagName.toLowerCase() : '';
-    if (tag === 'header') return isSuppressedBySectioningAncestor(el) ? '' : 'banner';
-    if (tag === 'footer') return isSuppressedBySectioningAncestor(el) ? '' : 'contentinfo';
+    if (tag === 'header') return hasSectioningAncestor(el, true) ? '' : 'banner';
+    if (tag === 'footer') return hasSectioningAncestor(el, true) ? '' : 'contentinfo';
     if (tag === 'main') return 'main';
     if (tag === 'nav') return 'navigation';
-    if (tag === 'aside') return isSuppressedBySectioningAncestor(el) ? '' : 'complementary';
+    if (tag === 'aside') {
+      // A named <aside> is never suppressed, even when nested — matches
+      // landmark-unique's own verified-against-reference-engine precedent
+      // (that engine's real `aside` implicit-role function keeps
+      // "complementary" when the element has an accessible name, even
+      // inside sectioning content); propagated here for consistency.
+      if (!hasSectioningAncestor(el, false)) return 'complementary';
+      return getAccessibleLandmarkName(el) ? 'complementary' : '';
+    }
     if (tag === 'section') return getAccessibleLandmarkName(el) ? 'region' : '';
     if (tag === 'form') return getAccessibleLandmarkName(el) ? 'form' : '';
     return '';
   }
 
-  const LANDMARK_ROLES = new Set(['banner', 'contentinfo', 'main', 'navigation', 'complementary', 'region', 'form', 'search']);
+  const LANDMARK_ROLES = new Set([
+    'banner',
+    'contentinfo',
+    'main',
+    'navigation',
+    'complementary',
+    'region',
+    'form',
+    'search'
+  ]);
 
   function getLandmarkRole(el) {
     if (!el || !el.getAttribute) return '';
@@ -103,10 +134,26 @@ function runInPage(ctx) {
     return getImplicitLandmarkRole(el);
   }
 
+  // Candidate selection is deliberately NOT the same as getLandmarkRole()
+  // === 'contentinfo' — see the 2026-08-01 fix note above. A <footer> is
+  // a candidate purely by tag + absence of any role attribute, independent
+  // of whether sectioning-ancestor nesting would currently suppress its
+  // implicit role; an explicit role="contentinfo" is always a candidate too.
+  function isContentinfoCandidate(el) {
+    if (!el || !el.getAttribute) return false;
+    const explicit = getExplicitRoleToken(el);
+    if (explicit) return explicit === 'contentinfo';
+    return !!(el.tagName && el.tagName.toLowerCase() === 'footer');
+  }
+
   function hasLandmarkAncestor(el) {
+    const scopeRoots = Array.isArray(root) ? root : root ? [root] : [];
     let p = el.parentElement;
     while (p) {
       if (getLandmarkRole(p)) return true;
+      // Don't climb past the scanned scope -- see aria-helpers.js's
+      // hasLandmarkScopingAncestor for the same fix and rationale.
+      if (scopeRoots.includes(p)) break;
       p = p.parentElement;
     }
     return false;
@@ -116,11 +163,12 @@ function runInPage(ctx) {
   // landmark-unique-manual.js's header comment for the real page (Airtable, 2026-07-23)
   // that surfaced this gap: a third-party shadow-DOM-hosted widget's own landmark is
   // invisible to a light-DOM-only query.
-  let nodes = [];
+  let nodes;
   try {
-    nodes = helpers && typeof helpers.queryAllSmart === 'function'
-      ? helpers.queryAllSmart('header, footer, main, nav, aside, section, form, [role]')
-      : document.querySelectorAll('header, footer, main, nav, aside, section, form, [role]');
+    nodes =
+      helpers && typeof helpers.queryAllSmart === 'function'
+        ? helpers.queryAllSmart('header, footer, main, nav, aside, section, form, [role]')
+        : document.querySelectorAll('header, footer, main, nav, aside, section, form, [role]');
   } catch {
     nodes = [];
   }
@@ -130,7 +178,7 @@ function runInPage(ctx) {
   for (const el of nodes) {
     if (!el || seen.has(el)) continue;
     seen.add(el);
-    if (getLandmarkRole(el) === 'contentinfo') contentinfos.push(el);
+    if (isContentinfoCandidate(el)) contentinfos.push(el);
   }
 
   if (contentinfos.length === 0) {
@@ -142,7 +190,7 @@ function runInPage(ctx) {
     if (!hasLandmarkAncestor(el)) continue;
 
     const stableSelector = helpers.buildSelector ? helpers.buildSelector(el) : 'html';
-    const html = helpers.getOuterHtmlSnippet ? helpers.getOuterHtmlSnippet(el) : (el.outerHTML || '');
+    const html = helpers.getOuterHtmlSnippet ? helpers.getOuterHtmlSnippet(el) : el.outerHTML || '';
 
     occurrences.push({
       selector: stableSelector,
@@ -161,7 +209,12 @@ function runInPage(ctx) {
   }
 
   if (occurrences.length) {
-    return { ruleId: rule.ruleId, outcome: 'cantTell', severity: rule.defaultSeverity || 'minor', occurrences };
+    return {
+      ruleId: rule.ruleId,
+      outcome: 'cantTell',
+      severity: rule.defaultSeverity || 'minor',
+      occurrences
+    };
   }
   return { ruleId: rule.ruleId, outcome: 'notApplicable', severity: 'minor', occurrences: [] };
 }

package/src/checks/manual/landmark-main-is-top-level-manual.js

@@ -18,13 +18,21 @@
  *   `type: 'manual'` rule; see landmark-banner-is-top-level's
  *   header comment for the shared rationale/precedent (this rule mirrors
  *   its structure with main in place of banner/header).
+ * - Did NOT need the 2026-08-01 fix applied to
+ *   landmark-banner-is-top-level/landmark-contentinfo-is-top-level (see
+ *   that file's header comment): `<main>`'s implicit role is
+ *   unconditional per HTML-AAM — unlike `<header>`/`<footer>`, nesting
+ *   never suppresses it — so `getImplicitLandmarkRole`'s `main` branch
+ *   was never subject to the same self-defeating candidate-selection
+ *   bug. Confirmed by inspection, not just by absence of a bug report.
  */
 
 const id = 'landmark-main-is-top-level';
 
 const meta = {
   title: 'Main landmark must be top-level',
-  description: 'Checks that the main landmark (role="main" or <main>) is not nested inside another landmark region.',
+  description:
+    'Checks that the main landmark (role="main" or <main>) is not nested inside another landmark region.',
   i18n: {
     titleKey: 'landmarkMainIsTopLevel_title',
     descriptionKey: 'landmarkMainIsTopLevel_description'
@@ -41,10 +49,12 @@ const meta = {
 };
 
 function runInPage(ctx) {
-  const { document, helpers, rule } = ctx;
+  const { document, root, helpers, rule } = ctx;
 
   function normalizeWs(s) {
-    return String(s || '').replace(/\s+/g, ' ').trim();
+    return String(s || '')
+      .replace(/\s+/g, ' ')
+      .trim();
   }
 
   // Delegates to the shared helpers.getLandmarkNameInfo (aria-label -> aria-labelledby, via the
@@ -68,31 +78,52 @@ function runInPage(ctx) {
     return raw.split(/\s+/)[0].toLowerCase();
   }
 
-  const SECTIONING_ANCESTORS = new Set(['article', 'aside', 'main', 'nav', 'section']);
-
-  function isSuppressedBySectioningAncestor(el) {
-    let p = el.parentElement;
-    while (p) {
-      const tag = p.tagName ? p.tagName.toLowerCase() : '';
-      if (SECTIONING_ANCESTORS.has(tag)) return true;
-      p = p.parentElement;
-    }
-    return false;
+  // Delegates to the shared helpers.hasLandmarkScopingAncestor for the
+  // question "does this element sit inside a sectioning-content/<main>
+  // ancestor that suppresses its conditional implicit role" — role-aware
+  // (an ancestor's bare TAG only counts when it carries no role attribute
+  // at all; an explicit role="dialog"-style override no longer suppresses)
+  // rather than a local tag-only copy. See that function's header comment
+  // in src/core/aria-helpers.js for the full algorithm and the real page
+  // (handsontable.com's docs-assistant side panel, an
+  // <aside role="dialog"> containing its own <header>) that surfaced this
+  // rule's own former tag-only copy as a false negative.
+  function hasSectioningAncestor(el, includeMain) {
+    return helpers && typeof helpers.hasLandmarkScopingAncestor === 'function'
+      ? helpers.hasLandmarkScopingAncestor(el, { includeMain })
+      : false;
   }
 
   function getImplicitLandmarkRole(el) {
     const tag = el.tagName ? el.tagName.toLowerCase() : '';
-    if (tag === 'header') return isSuppressedBySectioningAncestor(el) ? '' : 'banner';
-    if (tag === 'footer') return isSuppressedBySectioningAncestor(el) ? '' : 'contentinfo';
+    if (tag === 'header') return hasSectioningAncestor(el, true) ? '' : 'banner';
+    if (tag === 'footer') return hasSectioningAncestor(el, true) ? '' : 'contentinfo';
     if (tag === 'main') return 'main';
     if (tag === 'nav') return 'navigation';
-    if (tag === 'aside') return isSuppressedBySectioningAncestor(el) ? '' : 'complementary';
+    if (tag === 'aside') {
+      // A named <aside> is never suppressed, even when nested — matches
+      // landmark-unique's own verified-against-reference-engine precedent
+      // (that engine's real `aside` implicit-role function keeps
+      // "complementary" when the element has an accessible name, even
+      // inside sectioning content); propagated here for consistency.
+      if (!hasSectioningAncestor(el, false)) return 'complementary';
+      return getAccessibleLandmarkName(el) ? 'complementary' : '';
+    }
     if (tag === 'section') return getAccessibleLandmarkName(el) ? 'region' : '';
     if (tag === 'form') return getAccessibleLandmarkName(el) ? 'form' : '';
     return '';
   }
 
-  const LANDMARK_ROLES = new Set(['banner', 'contentinfo', 'main', 'navigation', 'complementary', 'region', 'form', 'search']);
+  const LANDMARK_ROLES = new Set([
+    'banner',
+    'contentinfo',
+    'main',
+    'navigation',
+    'complementary',
+    'region',
+    'form',
+    'search'
+  ]);
 
   function getLandmarkRole(el) {
     if (!el || !el.getAttribute) return '';
@@ -102,9 +133,13 @@ function runInPage(ctx) {
   }
 
   function hasLandmarkAncestor(el) {
+    const scopeRoots = Array.isArray(root) ? root : root ? [root] : [];
     let p = el.parentElement;
     while (p) {
       if (getLandmarkRole(p)) return true;
+      // Don't climb past the scanned scope -- see aria-helpers.js's
+      // hasLandmarkScopingAncestor for the same fix and rationale.
+      if (scopeRoots.includes(p)) break;
       p = p.parentElement;
     }
     return false;
@@ -114,11 +149,12 @@ function runInPage(ctx) {
   // landmark-unique-manual.js's header comment for the real page (Airtable, 2026-07-23)
   // that surfaced this gap: a third-party shadow-DOM-hosted widget's own landmark is
   // invisible to a light-DOM-only query.
-  let nodes = [];
+  let nodes;
   try {
-    nodes = helpers && typeof helpers.queryAllSmart === 'function'
-      ? helpers.queryAllSmart('header, footer, main, nav, aside, section, form, [role]')
-      : document.querySelectorAll('header, footer, main, nav, aside, section, form, [role]');
+    nodes =
+      helpers && typeof helpers.queryAllSmart === 'function'
+        ? helpers.queryAllSmart('header, footer, main, nav, aside, section, form, [role]')
+        : document.querySelectorAll('header, footer, main, nav, aside, section, form, [role]');
   } catch {
     nodes = [];
   }
@@ -140,7 +176,7 @@ function runInPage(ctx) {
     if (!hasLandmarkAncestor(el)) continue;
 
     const stableSelector = helpers.buildSelector ? helpers.buildSelector(el) : 'html';
-    const html = helpers.getOuterHtmlSnippet ? helpers.getOuterHtmlSnippet(el) : (el.outerHTML || '');
+    const html = helpers.getOuterHtmlSnippet ? helpers.getOuterHtmlSnippet(el) : el.outerHTML || '';
 
     occurrences.push({
       selector: stableSelector,
@@ -159,7 +195,12 @@ function runInPage(ctx) {
   }
 
   if (occurrences.length) {
-    return { ruleId: rule.ruleId, outcome: 'cantTell', severity: rule.defaultSeverity || 'minor', occurrences };
+    return {
+      ruleId: rule.ruleId,
+      outcome: 'cantTell',
+      severity: rule.defaultSeverity || 'minor',
+      occurrences
+    };
   }
   return { ruleId: rule.ruleId, outcome: 'notApplicable', severity: 'minor', occurrences: [] };
 }