From e304d1122499a0e95edb7b2a05e30b7fb0553050 Mon Sep 17 00:00:00 2001
From: oekazuma <koneko0604@gmail.com>
Date: Sun, 16 Aug 2026 18:34:15 +0900
Subject: [PATCH 1/2] fix(core): treat unresolvable a11y content as unknowable,
 not absent

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
---
 .changeset/loud-pugs-attend.md                | 21 +++++
 docs/blume.translations.json                  |  4 +-
 .../docs/ja/rules/a11y/accessible-name.md     |  7 +-
 .../docs/ja/rules/a11y/label-has-control.md   |  2 +-
 .../docs/rules/a11y/accessible-name.md        |  7 +-
 .../docs/rules/a11y/label-has-control.md      |  2 +-
 packages/core/src/component-parse.ts          | 82 +++++++++++++++----
 packages/core/test/component-parse.test.ts    | 26 ++++++
 8 files changed, 128 insertions(+), 23 deletions(-)
 create mode 100644 .changeset/loud-pugs-attend.md

diff --git a/.changeset/loud-pugs-attend.md b/.changeset/loud-pugs-attend.md
new file mode 100644
index 000000000..1597d636c
--- /dev/null
+++ b/.changeset/loud-pugs-attend.md
@@ -0,0 +1,21 @@
+---
+'@svelte-vitals/core': patch
+---
+
+Stop `a11y/accessible-name` and `a11y/label-has-control` reporting content they cannot see.
+
+Both rules already skip content they cannot resolve — an expression, a component, `{@render}`,
+`{@html}` — but four routes were read as _absent_ rather than _unknowable_:
+
+- **A `<slot>` or `<svelte:fragment>`** supplies content from the parent, so `<button><slot /></button>`
+  and `<label>Name<slot name="control" /></label>` were flagged despite being named and associated
+  by whoever renders them.
+- **A hyphenated custom element** may be form-associated (and so labelable) and may name its host
+  from a shadow root, so `<label>Name <my-input></my-input></label>` was flagged.
+- **An expression-valued `alt`** was invisible while an expression `aria-label` was accepted, so
+  the idiomatic `<a href="/about"><img src="/logo.png" alt={siteName} /></a>` was "unnamed".
+- **A `<label>` naming a `button` or `input type="image"`**, by wrapping it or by pointing `for` at
+  its `id`, is a step in the name computation ahead of the element's own subtree. `<a>` has no such
+  step, so links are unchanged. The `for` route is same-file only.
+
+All four narrow detection, so recorded suppressions keep matching.
diff --git a/docs/blume.translations.json b/docs/blume.translations.json
index 23fcdfd09..61d5a2b4c 100644
--- a/docs/blume.translations.json
+++ b/docs/blume.translations.json
@@ -52,7 +52,7 @@
       "ja": "bbce2ab2950b6339"
     },
     "src/content/docs/rules/a11y/accessible-name.md": {
-      "ja": "8c913ec8421b502e"
+      "ja": "55db80f3b6059e7c"
     },
     "src/content/docs/rules/a11y/doctype.md": {
       "ja": "bbd2d7d3dbad907e"
@@ -76,7 +76,7 @@
       "ja": "0406a5a1dcc220be"
     },
     "src/content/docs/rules/a11y/label-has-control.md": {
-      "ja": "0ee96ff758bdd77e"
+      "ja": "f6ff59f50700d0f3"
     },
     "src/content/docs/rules/a11y/no-missing-id-ref.md": {
       "ja": "c970fb617aa874cb"
diff --git a/docs/src/content/docs/ja/rules/a11y/accessible-name.md b/docs/src/content/docs/ja/rules/a11y/accessible-name.md
index e0998bc0b..0df2dfbaf 100644
--- a/docs/src/content/docs/ja/rules/a11y/accessible-name.md
+++ b/docs/src/content/docs/ja/rules/a11y/accessible-name.md
@@ -16,7 +16,12 @@ description: ボタン・リンク・画像ボタンには、アクセシブル
 - 非空のリテラル `alt` を持つ子孫 `<img>`。
 - `<input type="image">` 自身の非空のリテラル `alt`。
 
-名前の手がかりが見つからない場合でも、内容が静的に判断できない要素は検出しません — `{式}` の子、コンポーネントの子、`{@render …}`、`{@html …}`、あるいは要素自身へのスプレッド属性です。このルールは「名前がないと証明できる」ものだけを検出し、動的な内容を推測することはありません。
+名前の手がかりが見つからない場合でも、次のものは検出しません。
+
+- 内容が静的に判断できない要素 — `{式}` の子、コンポーネントの子、`{@render …}`、`{@html …}`、`<slot>` や `<svelte:fragment>`（内容は親から渡される）、ハイフンを含むカスタム要素（shadow root が内容を供給しうる）、あるいは要素自身へのスプレッド属性。
+- `<label>` が名前を与えている `<button>` と `<input type="image">` — 囲んでいる場合と、`for` で `id` を指している場合の両方。名前の計算では、この label の段階が要素自身のサブツリーより先に来ます。`<a>` にこの段階は無いため、リンクは内容だけで判定します。`for` 経由の判定は同一ファイル内に限られ、他コンポーネントの label は既知の制限です。
+
+このルールは「名前がないと証明できる」ものだけを検出し、動的な内容を推測することはありません。
 
 ```svelte
 <button></button>
diff --git a/docs/src/content/docs/ja/rules/a11y/label-has-control.md b/docs/src/content/docs/ja/rules/a11y/label-has-control.md
index 2cb71429b..c1a5bbfc0 100644
--- a/docs/src/content/docs/ja/rules/a11y/label-has-control.md
+++ b/docs/src/content/docs/ja/rules/a11y/label-has-control.md
@@ -14,7 +14,7 @@ description: label をフィールドと関連付けるには for 属性かラ
 - `for` 属性 — リテラルまたは式（値は静的にはわからなくても、属性が存在すること自体で十分とみなします）。
 - ラップされたラベル付け可能な子孫: `input`（リテラルな `type` が `hidden` の場合を除く）、`select`、`textarea`、`button`、`meter`、`output`、`progress`。
 
-関連付けが見つからない場合でも、内容が静的に判断できない label は検出しません — `{式}` の子、コンポーネントの子、`{@render …}`、`{@html …}` です。このルールは「関連付けがないと証明できる」ものだけを検出し、動的な内容を推測することはありません。
+関連付けが見つからない場合でも、内容が静的に判断できない label は検出しません — `{式}` の子、コンポーネントの子、`{@render …}`、`{@html …}`、`<slot>` や `<svelte:fragment>`（内容は親から渡される）、ハイフンを含むカスタム要素（form-associated であれば labelable になりうる）です。このルールは「関連付けがないと証明できる」ものだけを検出し、動的な内容を推測することはありません。
 
 ```svelte
 <label>Name</label>
diff --git a/docs/src/content/docs/rules/a11y/accessible-name.md b/docs/src/content/docs/rules/a11y/accessible-name.md
index 5ebf0ebef..6d80d6700 100644
--- a/docs/src/content/docs/rules/a11y/accessible-name.md
+++ b/docs/src/content/docs/rules/a11y/accessible-name.md
@@ -16,7 +16,12 @@ Any of the following, if present, is a name source — the element is not flagge
 - A descendant `<img>` with a non-empty literal `alt`.
 - For `<input type="image">`, its own non-empty literal `alt`.
 
-Not flagged, even with no name source found: an element whose content is unknowable — any `{expression}` child, a component child, `{@render …}`, `{@html …}`, or a spread attribute on the element itself. The rule only flags what it can prove is unnamed; it never guesses at dynamic content.
+Not flagged, even with no name source found:
+
+- An element whose content is unknowable — any `{expression}` child, a component child, `{@render …}`, `{@html …}`, a `<slot>` or `<svelte:fragment>` (its content comes from the parent), a hyphenated custom element (its shadow root may supply content), or a spread attribute on the element itself.
+- A `<button>` or `<input type="image">` a `<label>` names — either by wrapping it, or by pointing at its `id` with `for`. That label step comes ahead of the element's own subtree in the name computation. `<a>` has no such step, so links are checked on their content alone. The `for` route is same-file only: a label in another component is a known limitation.
+
+The rule only flags what it can prove is unnamed; it never guesses at dynamic content.
 
 ```svelte
 <button></button>
diff --git a/docs/src/content/docs/rules/a11y/label-has-control.md b/docs/src/content/docs/rules/a11y/label-has-control.md
index 0885dbccd..42ffe7bbe 100644
--- a/docs/src/content/docs/rules/a11y/label-has-control.md
+++ b/docs/src/content/docs/rules/a11y/label-has-control.md
@@ -14,7 +14,7 @@ Either of the following, if present, associates the label — it is not flagged:
 - A `for` attribute — a literal or an expression (its value is unknowable, but the attribute's presence is enough).
 - A wrapped labelable descendant: `input` (unless its literal `type` is `hidden`), `select`, `textarea`, `button`, `meter`, `output`, or `progress`.
 
-Not flagged, even with no association found: a label whose content is unknowable — any `{expression}` child, a component child, `{@render …}`, or `{@html …}`. The rule only flags what it can prove is unassociated; it never guesses at dynamic content.
+Not flagged, even with no association found: a label whose content is unknowable — any `{expression}` child, a component child, `{@render …}`, `{@html …}`, a `<slot>` or `<svelte:fragment>` (its content comes from the parent), or a hyphenated custom element (which may be form-associated, and so labelable). The rule only flags what it can prove is unassociated; it never guesses at dynamic content.
 
 ```svelte
 <label>Name</label>
diff --git a/packages/core/src/component-parse.ts b/packages/core/src/component-parse.ts
index 7e06d2c84..cf6a2b36b 100644
--- a/packages/core/src/component-parse.ts
+++ b/packages/core/src/component-parse.ts
@@ -1193,13 +1193,23 @@ function collectInteractiveNestings(node: Node, source: string, acc: Interactive
 /** `aria-label`/`aria-labelledby`/`title` present on this element: a literal non-empty value,
  *  or any expression (its rendered value is unknowable, but its *presence* is enough to name
  *  the element — a11y/accessible-name treats an expression name source as present). */
+/** An attribute present with a non-blank literal, or with an expression whose value is unknowable
+ *  and so must be assumed to carry one. */
+function hasNamingValue(attributes: Node[], name: string): boolean {
+  const attr = findAttr(attributes, name);
+  if (!attr) return false;
+  const v = classifyAttrValue(attr.value);
+  return 'expression' in v || (v.literal !== undefined && v.literal.trim().length > 0);
+}
+
 function hasNamingAttr(attributes: Node[]): boolean {
-  return ['aria-label', 'aria-labelledby', 'title'].some((name) => {
-    const attr = findAttr(attributes, name);
-    if (!attr) return false;
-    const v = classifyAttrValue(attr.value);
-    return 'expression' in v || (v.literal !== undefined && v.literal.trim().length > 0);
-  });
+  return ['aria-label', 'aria-labelledby', 'title'].some((name) => hasNamingValue(attributes, name));
+}
+
+/** A tag name with a hyphen is a custom element: it may be form-associated, and its shadow root may
+ *  supply content, neither of which is visible here. Treated as unknowable by both a11y scanners. */
+function isCustomElement(node: Node): boolean {
+  return node.type === 'RegularElement' && typeof node.name === 'string' && node.name.includes('-');
 }
 
 /** Named/unknowable verdict for a candidate interactive element's descendant subtree
@@ -1225,13 +1235,15 @@ function scanAccessibleNameSubtree(node: Node): { named: boolean; unknowable: bo
     node.type === 'ExpressionTag' ||
     node.type === 'RenderTag' ||
     node.type === 'HtmlTag' ||
-    COMPONENT_LIKE_TYPES.has(node.type)
+    node.type === 'SlotElement' ||
+    node.type === 'SvelteFragment' ||
+    COMPONENT_LIKE_TYPES.has(node.type) ||
+    isCustomElement(node)
   ) {
     return { named: false, unknowable: true };
   }
   if (node.type === 'RegularElement' && node.name === 'img' && Array.isArray(node.attributes)) {
-    const alt = attrText(node.attributes, 'alt');
-    if (alt !== undefined && alt.trim().length > 0) return { named: true, unknowable: false };
+    if (hasNamingValue(node.attributes, 'alt')) return { named: true, unknowable: false };
   }
   const acc = { named: false, unknowable: false };
   for (const key of CHILD_NODE_KEYS) {
@@ -1258,24 +1270,53 @@ function accessibleNameTarget(node: Node): 'button' | 'a' | 'input' | undefined
   return undefined;
 }
 
+/** Literal `for` values of every `<label>` in the file — a `<label for>` names the control it
+ *  points at, which for `button` and `input type="image"` is a name route the subtree scan cannot
+ *  see. Same-file only; a label in another component stays a known limitation. */
+function collectLabelForIds(node: Node, acc: Set<string>): void {
+  if (Array.isArray(node)) {
+    for (const child of node) collectLabelForIds(child, acc);
+    return;
+  }
+  if (!node || typeof node !== 'object') return;
+  if (node.type === 'RegularElement' && node.name === 'label' && Array.isArray(node.attributes)) {
+    const target = attrText(node.attributes, 'for');
+    if (target !== undefined && target.trim().length > 0) acc.add(target.trim());
+  }
+  for (const key of CHILD_NODE_KEYS) {
+    if (key in node) collectLabelForIds(node[key], acc);
+  }
+}
+
 /**
  * `button`/`a href`/`input type="image"` elements with no computable accessible name
  * (a11y/accessible-name). A spread attribute on the element itself makes its rendered
  * attributes unknowable, so the element is skipped entirely rather than risk a false positive.
+ *
+ * `ctx.inLabel` and `ctx.labelledIds` carry the two `<label>` routes: HTML-AAM gives `button` and
+ * `input type="image"` a label step ahead of their own subtree, which `<a>` does not have.
  */
-function collectUnnamedInteractive(node: Node, source: string, acc: UnnamedInteractiveFact[]): void {
+function collectUnnamedInteractive(
+  node: Node,
+  source: string,
+  acc: UnnamedInteractiveFact[],
+  ctx: { labelledIds: Set<string>; inLabel: boolean }
+): void {
   if (Array.isArray(node)) {
-    for (const child of node) collectUnnamedInteractive(child, source, acc);
+    for (const child of node) collectUnnamedInteractive(child, source, acc, ctx);
     return;
   }
   if (!node || typeof node !== 'object') return;
   if (node.type === 'RegularElement' && Array.isArray(node.attributes)) {
     const target = accessibleNameTarget(node);
     const hasSpread = node.attributes.some((a: Node) => a?.type === 'SpreadAttribute');
-    if (target && !hasSpread) {
+    const id = attrText(node.attributes, 'id');
+    // A wrapping label is not required to hold text for the skip: reading its subtree here would
+    // duplicate the accname computation for a case that is rare and always errs toward silence.
+    const labelNames = target !== 'a' && (ctx.inLabel || (id !== undefined && ctx.labelledIds.has(id.trim())));
+    if (target && !hasSpread && !labelNames) {
       if (target === 'input') {
-        const alt = attrText(node.attributes, 'alt');
-        if (!hasNamingAttr(node.attributes) && !(alt !== undefined && alt.trim().length > 0)) {
+        if (!hasNamingAttr(node.attributes) && !hasNamingValue(node.attributes, 'alt')) {
           acc.push({ tag: node.name, line: lineOf(source, node.start) });
         }
       } else {
@@ -1286,8 +1327,10 @@ function collectUnnamedInteractive(node: Node, source: string, acc: UnnamedInter
       }
     }
   }
+  const inner =
+    node.type === 'RegularElement' && node.name === 'label' && !ctx.inLabel ? { ...ctx, inLabel: true } : ctx;
   for (const key of CHILD_NODE_KEYS) {
-    if (key in node) collectUnnamedInteractive(node[key], source, acc);
+    if (key in node) collectUnnamedInteractive(node[key], source, acc, inner);
   }
 }
 
@@ -1322,7 +1365,10 @@ function scanLabelSubtree(node: Node): { hasControl: boolean; unknowable: boolea
     node.type === 'ExpressionTag' ||
     node.type === 'RenderTag' ||
     node.type === 'HtmlTag' ||
-    COMPONENT_LIKE_TYPES.has(node.type)
+    node.type === 'SlotElement' ||
+    node.type === 'SvelteFragment' ||
+    COMPONENT_LIKE_TYPES.has(node.type) ||
+    isCustomElement(node)
   ) {
     return { hasControl: false, unknowable: true };
   }
@@ -2526,7 +2572,9 @@ export function parseComponentFacts(source: string, filename: string): ParsedFac
   const interactiveNestings: InteractiveNestingFact[] = [];
   collectInteractiveNestings(ast.fragment ?? ast, source, interactiveNestings, []);
   const unnamedInteractive: UnnamedInteractiveFact[] = [];
-  collectUnnamedInteractive(ast.fragment ?? ast, source, unnamedInteractive);
+  const labelledIds = new Set<string>();
+  collectLabelForIds(ast.fragment ?? ast, labelledIds);
+  collectUnnamedInteractive(ast.fragment ?? ast, source, unnamedInteractive, { labelledIds, inLabel: false });
   const unassociatedLabels: { line: number }[] = [];
   collectUnassociatedLabels(ast.fragment ?? ast, source, unassociatedLabels);
   const bulletTexts: { line: number; char: string }[] = [];
diff --git a/packages/core/test/component-parse.test.ts b/packages/core/test/component-parse.test.ts
index af83b0496..7dd47c4d8 100644
--- a/packages/core/test/component-parse.test.ts
+++ b/packages/core/test/component-parse.test.ts
@@ -1377,6 +1377,22 @@ describe('parseComponentFacts — unnamedInteractive (a11y/accessible-name)', ()
     ].join('\n');
     expect(parseComponentFacts(src, 'C.svelte').unnamedInteractive ?? []).toEqual([]);
   });
+  it('accepts an expression alt, the two label routes, slots and custom elements', () => {
+    const src = [
+      '<a href="/about"><img src="/l.png" alt={siteName} /></a>',
+      '<input type="image" src="/s.png" alt={t} />',
+      '<label>Delete <button></button></label>',
+      '<label for="b">Save</label><button id="b"></button>',
+      '<button><slot /></button>',
+      '<a href="/x"><svelte:fragment /></a>',
+      '<button><my-icon></my-icon></button>'
+    ].join('\n');
+    expect(parseComponentFacts(src, 'C.svelte').unnamedInteractive ?? []).toEqual([]);
+  });
+  it('still flags a target that no label points at', () => {
+    const c = parseComponentFacts('<label for="z">Z</label>\n<button id="b"></button>', 'C.svelte');
+    expect(c.unnamedInteractive).toEqual([{ tag: 'button', line: 2 }]);
+  });
 });
 
 describe('parseComponentFacts — unassociatedLabels (a11y/label-has-control)', () => {
@@ -1391,6 +1407,16 @@ describe('parseComponentFacts — unassociatedLabels (a11y/label-has-control)',
     const c = parseComponentFacts('<label {...rest}>Email</label>', 'C.svelte');
     expect(c.unassociatedLabels ?? []).toEqual([]);
   });
+  it('skips a label whose content is a slot or a custom element', () => {
+    // A slot's content comes from the parent, and a hyphenated tag may be a form-associated
+    // custom element — both are unknowable, not empty.
+    const src = [
+      '<label>Name<slot name="control" /></label>',
+      '<label>Name<svelte:fragment /></label>',
+      '<label>Name <my-input></my-input></label>'
+    ].join('\n');
+    expect(parseComponentFacts(src, 'C.svelte').unassociatedLabels ?? []).toEqual([]);
+  });
 });
 
 describe('parseComponentFacts — bulletTexts (a11y/use-list)', () => {

From 303c2d9727824ab63f43da81fd0b35a28b1012a4 Mon Sep 17 00:00:00 2001
From: oekazuma <koneko0604@gmail.com>
Date: Sun, 16 Aug 2026 19:37:22 +0900
Subject: [PATCH 2/2] fix(core): require a label to contribute a name before it
 silences a control

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
---
 .changeset/loud-pugs-attend.md                |  4 +-
 docs/blume.translations.json                  |  2 +-
 .../docs/ja/rules/a11y/accessible-name.md     |  6 +-
 .../docs/rules/a11y/accessible-name.md        |  9 +--
 packages/core/src/component-parse.ts          | 79 +++++++++++++------
 packages/core/test/component-parse.test.ts    | 13 +++
 6 files changed, 78 insertions(+), 35 deletions(-)

diff --git a/.changeset/loud-pugs-attend.md b/.changeset/loud-pugs-attend.md
index 1597d636c..c60033467 100644
--- a/.changeset/loud-pugs-attend.md
+++ b/.changeset/loud-pugs-attend.md
@@ -16,6 +16,8 @@ Both rules already skip content they cannot resolve — an expression, a compone
   the idiomatic `<a href="/about"><img src="/logo.png" alt={siteName} /></a>` was "unnamed".
 - **A `<label>` naming a `button` or `input type="image"`**, by wrapping it or by pointing `for` at
   its `id`, is a step in the name computation ahead of the element's own subtree. `<a>` has no such
-  step, so links are unchanged. The `for` route is same-file only.
+  step, so links are unchanged. It counts only when the label itself contributes something — a
+  provably empty label leaves the control unnamed and still reported — and a wrapping label reaches
+  only the first labelable element inside it. The `for` route is same-file only.
 
 All four narrow detection, so recorded suppressions keep matching.
diff --git a/docs/blume.translations.json b/docs/blume.translations.json
index 61d5a2b4c..ad35a999a 100644
--- a/docs/blume.translations.json
+++ b/docs/blume.translations.json
@@ -52,7 +52,7 @@
       "ja": "bbce2ab2950b6339"
     },
     "src/content/docs/rules/a11y/accessible-name.md": {
-      "ja": "55db80f3b6059e7c"
+      "ja": "e478d96284ecbfcc"
     },
     "src/content/docs/rules/a11y/doctype.md": {
       "ja": "bbd2d7d3dbad907e"
diff --git a/docs/src/content/docs/ja/rules/a11y/accessible-name.md b/docs/src/content/docs/ja/rules/a11y/accessible-name.md
index 0df2dfbaf..4f45d8f33 100644
--- a/docs/src/content/docs/ja/rules/a11y/accessible-name.md
+++ b/docs/src/content/docs/ja/rules/a11y/accessible-name.md
@@ -13,13 +13,13 @@ description: ボタン・リンク・画像ボタンには、アクセシブル
 
 - 空白以外のテキストを含む子孫、例: `<button>Save</button>`。
 - `aria-label`、`aria-labelledby`、`title` 属性 — リテラルで空でない値、または式（レンダリング結果は静的にはわからなくても、属性が存在すること自体で十分とみなします）。
-- 非空のリテラル `alt` を持つ子孫 `<img>`。
-- `<input type="image">` 自身の非空のリテラル `alt`。
+- `alt` を持つ子孫 `<img>` — 非空のリテラル、または式（上の `aria-label` と同じ扱い）。
+- `<input type="image">` 自身の `alt`（同じ規則）。
+- 名前を与えている `<label>` — 囲んでいる場合と、`for` で `id` を指している場合。名前の計算ではこの label の段階が要素自身のサブツリーより先に来ます。対象は `<button>` と `<input type="image">` のみで、`<a>` にこの段階はありません。有効なのは label 自身が何かを与えている場合に限られ、空だと証明できる label はコントロールを無名のままにするので引き続き検出されます。また囲む label が届くのは**最初の** labelable 要素だけなので、同じ label 内の 2 つ目のコントロールは単独で判定されます。`for` 経由の判定は同一ファイル内に限られ、他コンポーネントの label は既知の制限です。
 
 名前の手がかりが見つからない場合でも、次のものは検出しません。
 
 - 内容が静的に判断できない要素 — `{式}` の子、コンポーネントの子、`{@render …}`、`{@html …}`、`<slot>` や `<svelte:fragment>`（内容は親から渡される）、ハイフンを含むカスタム要素（shadow root が内容を供給しうる）、あるいは要素自身へのスプレッド属性。
-- `<label>` が名前を与えている `<button>` と `<input type="image">` — 囲んでいる場合と、`for` で `id` を指している場合の両方。名前の計算では、この label の段階が要素自身のサブツリーより先に来ます。`<a>` にこの段階は無いため、リンクは内容だけで判定します。`for` 経由の判定は同一ファイル内に限られ、他コンポーネントの label は既知の制限です。
 
 このルールは「名前がないと証明できる」ものだけを検出し、動的な内容を推測することはありません。
 
diff --git a/docs/src/content/docs/rules/a11y/accessible-name.md b/docs/src/content/docs/rules/a11y/accessible-name.md
index 6d80d6700..09acb183d 100644
--- a/docs/src/content/docs/rules/a11y/accessible-name.md
+++ b/docs/src/content/docs/rules/a11y/accessible-name.md
@@ -13,15 +13,14 @@ Any of the following, if present, is a name source — the element is not flagge
 
 - A non-whitespace text descendant, e.g. `<button>Save</button>`.
 - An `aria-label`, `aria-labelledby`, or `title` attribute — a literal non-empty value, or any expression (its rendered value is unknowable, but the attribute's presence is enough).
-- A descendant `<img>` with a non-empty literal `alt`.
-- For `<input type="image">`, its own non-empty literal `alt`.
+- A descendant `<img>` with an `alt` — a non-empty literal, or any expression, on the same footing as `aria-label` above.
+- For `<input type="image">`, its own `alt`, under the same rule.
+- A `<label>` that names it: one wrapping it, or one pointing `for` at its `id`. This step comes ahead of the element's own subtree in the name computation, and applies to `<button>` and `<input type="image">` only — `<a>` has no such step. It counts only when the label itself contributes something: a label that is provably empty leaves the control unnamed and still reported, and a wrapping label reaches only the **first** labelable element inside it, so a second control in the same label is judged on its own. The `for` route is same-file only; a label in another component is a known limitation.
 
 Not flagged, even with no name source found:
 
 - An element whose content is unknowable — any `{expression}` child, a component child, `{@render …}`, `{@html …}`, a `<slot>` or `<svelte:fragment>` (its content comes from the parent), a hyphenated custom element (its shadow root may supply content), or a spread attribute on the element itself.
-- A `<button>` or `<input type="image">` a `<label>` names — either by wrapping it, or by pointing at its `id` with `for`. That label step comes ahead of the element's own subtree in the name computation. `<a>` has no such step, so links are checked on their content alone. The `for` route is same-file only: a label in another component is a known limitation.
-
-The rule only flags what it can prove is unnamed; it never guesses at dynamic content.
+  The rule only flags what it can prove is unnamed; it never guesses at dynamic content.
 
 ```svelte
 <button></button>
diff --git a/packages/core/src/component-parse.ts b/packages/core/src/component-parse.ts
index cf6a2b36b..4417a8415 100644
--- a/packages/core/src/component-parse.ts
+++ b/packages/core/src/component-parse.ts
@@ -1217,17 +1217,20 @@ function isCustomElement(node: Node): boolean {
  *  with a non-empty literal `alt`. `unknowable`: an expression-tag, `Component`, `{@render}`,
  *  or `{@html}` anywhere below — content the rule cannot statically resolve, so the element is
  *  skipped rather than risk a false positive. */
-function scanAccessibleNameSubtree(node: Node): { named: boolean; unknowable: boolean } {
+function scanAccessibleNameSubtree(node: Node, skip?: Node): { named: boolean; unknowable: boolean } {
   if (Array.isArray(node)) {
     const acc = { named: false, unknowable: false };
     for (const child of node) {
-      const r = scanAccessibleNameSubtree(child);
+      const r = scanAccessibleNameSubtree(child, skip);
       acc.named ||= r.named;
       acc.unknowable ||= r.unknowable;
     }
     return acc;
   }
   if (!node || typeof node !== 'object') return { named: false, unknowable: false };
+  // HTML-AAM: when a label encapsulates its control, the control's own subtree is not part of the
+  // label's text.
+  if (skip !== undefined && node === skip) return { named: false, unknowable: false };
   // A snippet's body renders at its {@render} site — its text cannot name this element.
   if (node.type === 'SnippetBlock') return { named: false, unknowable: false };
   if (node.type === 'Text') return { named: String(node.data ?? '').trim().length > 0, unknowable: false };
@@ -1248,7 +1251,7 @@ function scanAccessibleNameSubtree(node: Node): { named: boolean; unknowable: bo
   const acc = { named: false, unknowable: false };
   for (const key of CHILD_NODE_KEYS) {
     if (key in node) {
-      const r = scanAccessibleNameSubtree(node[key]);
+      const r = scanAccessibleNameSubtree(node[key], skip);
       acc.named ||= r.named;
       acc.unknowable ||= r.unknowable;
     }
@@ -1270,21 +1273,52 @@ function accessibleNameTarget(node: Node): 'button' | 'a' | 'input' | undefined
   return undefined;
 }
 
-/** Literal `for` values of every `<label>` in the file — a `<label for>` names the control it
- *  points at, which for `button` and `input type="image"` is a name route the subtree scan cannot
- *  see. Same-file only; a label in another component stays a known limitation. */
-function collectLabelForIds(node: Node, acc: Set<string>): void {
+/** The first labelable descendant of a `<label>` — the only control an implicit association
+ *  reaches, so a second control inside the same label is not named by it. */
+function firstLabelableDescendant(node: Node): Node | undefined {
   if (Array.isArray(node)) {
-    for (const child of node) collectLabelForIds(child, acc);
+    for (const child of node) {
+      const hit = firstLabelableDescendant(child);
+      if (hit) return hit;
+    }
+    return undefined;
+  }
+  if (!node || typeof node !== 'object') return undefined;
+  if (node.type === 'SnippetBlock') return undefined;
+  if (node.type === 'RegularElement' && isLabelableDescendant(node)) return node;
+  for (const key of CHILD_NODE_KEYS) {
+    if (key in node) {
+      const hit = firstLabelableDescendant(node[key]);
+      if (hit) return hit;
+    }
+  }
+  return undefined;
+}
+
+/**
+ * What each `<label>` in the file names: the literal `for` it points at, and the one control it
+ * encapsulates. HTML-AAM gives `button` and `input type="image"` this step ahead of their own
+ * subtree, so a label that contributes a name — or content this analysis cannot read — takes the
+ * element out of `a11y/accessible-name`'s reach. A label that is itself provably empty does not:
+ * the control stays unnamed and is still reported.
+ */
+function collectLabelTargets(node: Node, acc: { ids: Set<string>; nodes: Set<Node> }): void {
+  if (Array.isArray(node)) {
+    for (const child of node) collectLabelTargets(child, acc);
     return;
   }
   if (!node || typeof node !== 'object') return;
   if (node.type === 'RegularElement' && node.name === 'label' && Array.isArray(node.attributes)) {
-    const target = attrText(node.attributes, 'for');
-    if (target !== undefined && target.trim().length > 0) acc.add(target.trim());
+    const wrapped = firstLabelableDescendant(node);
+    const scan = scanAccessibleNameSubtree(node, wrapped);
+    if (scan.named || scan.unknowable) {
+      const forId = attrText(node.attributes, 'for');
+      if (forId !== undefined && forId.trim().length > 0) acc.ids.add(forId.trim());
+      if (wrapped) acc.nodes.add(wrapped);
+    }
   }
   for (const key of CHILD_NODE_KEYS) {
-    if (key in node) collectLabelForIds(node[key], acc);
+    if (key in node) collectLabelTargets(node[key], acc);
   }
 }
 
@@ -1293,17 +1327,16 @@ function collectLabelForIds(node: Node, acc: Set<string>): void {
  * (a11y/accessible-name). A spread attribute on the element itself makes its rendered
  * attributes unknowable, so the element is skipped entirely rather than risk a false positive.
  *
- * `ctx.inLabel` and `ctx.labelledIds` carry the two `<label>` routes: HTML-AAM gives `button` and
- * `input type="image"` a label step ahead of their own subtree, which `<a>` does not have.
+ * `labels` carries the two `<label>` name routes, which `<a>` does not have.
  */
 function collectUnnamedInteractive(
   node: Node,
   source: string,
   acc: UnnamedInteractiveFact[],
-  ctx: { labelledIds: Set<string>; inLabel: boolean }
+  labels: { ids: Set<string>; nodes: Set<Node> }
 ): void {
   if (Array.isArray(node)) {
-    for (const child of node) collectUnnamedInteractive(child, source, acc, ctx);
+    for (const child of node) collectUnnamedInteractive(child, source, acc, labels);
     return;
   }
   if (!node || typeof node !== 'object') return;
@@ -1311,10 +1344,8 @@ function collectUnnamedInteractive(
     const target = accessibleNameTarget(node);
     const hasSpread = node.attributes.some((a: Node) => a?.type === 'SpreadAttribute');
     const id = attrText(node.attributes, 'id');
-    // A wrapping label is not required to hold text for the skip: reading its subtree here would
-    // duplicate the accname computation for a case that is rare and always errs toward silence.
-    const labelNames = target !== 'a' && (ctx.inLabel || (id !== undefined && ctx.labelledIds.has(id.trim())));
-    if (target && !hasSpread && !labelNames) {
+    const namedByLabel = target !== 'a' && (labels.nodes.has(node) || (id !== undefined && labels.ids.has(id.trim())));
+    if (target && !hasSpread && !namedByLabel) {
       if (target === 'input') {
         if (!hasNamingAttr(node.attributes) && !hasNamingValue(node.attributes, 'alt')) {
           acc.push({ tag: node.name, line: lineOf(source, node.start) });
@@ -1327,10 +1358,8 @@ function collectUnnamedInteractive(
       }
     }
   }
-  const inner =
-    node.type === 'RegularElement' && node.name === 'label' && !ctx.inLabel ? { ...ctx, inLabel: true } : ctx;
   for (const key of CHILD_NODE_KEYS) {
-    if (key in node) collectUnnamedInteractive(node[key], source, acc, inner);
+    if (key in node) collectUnnamedInteractive(node[key], source, acc, labels);
   }
 }
 
@@ -2572,9 +2601,9 @@ export function parseComponentFacts(source: string, filename: string): ParsedFac
   const interactiveNestings: InteractiveNestingFact[] = [];
   collectInteractiveNestings(ast.fragment ?? ast, source, interactiveNestings, []);
   const unnamedInteractive: UnnamedInteractiveFact[] = [];
-  const labelledIds = new Set<string>();
-  collectLabelForIds(ast.fragment ?? ast, labelledIds);
-  collectUnnamedInteractive(ast.fragment ?? ast, source, unnamedInteractive, { labelledIds, inLabel: false });
+  const labelTargets = { ids: new Set<string>(), nodes: new Set<Node>() };
+  collectLabelTargets(ast.fragment ?? ast, labelTargets);
+  collectUnnamedInteractive(ast.fragment ?? ast, source, unnamedInteractive, labelTargets);
   const unassociatedLabels: { line: number }[] = [];
   collectUnassociatedLabels(ast.fragment ?? ast, source, unassociatedLabels);
   const bulletTexts: { line: number; char: string }[] = [];
diff --git a/packages/core/test/component-parse.test.ts b/packages/core/test/component-parse.test.ts
index 7dd47c4d8..d7813a43d 100644
--- a/packages/core/test/component-parse.test.ts
+++ b/packages/core/test/component-parse.test.ts
@@ -1393,6 +1393,19 @@ describe('parseComponentFacts — unnamedInteractive (a11y/accessible-name)', ()
     const c = parseComponentFacts('<label for="z">Z</label>\n<button id="b"></button>', 'C.svelte');
     expect(c.unnamedInteractive).toEqual([{ tag: 'button', line: 2 }]);
   });
+  it('needs the label to contribute a name, and reaches only its first control', () => {
+    // An empty label leaves the control unnamed, and an implicit association reaches one element.
+    const src = [
+      '<label for="b"></label><button id="b"></button>',
+      '<label><button></button></label>',
+      '<label>x<button></button><button></button></label>'
+    ].join('\n');
+    expect(parseComponentFacts(src, 'C.svelte').unnamedInteractive).toEqual([
+      { tag: 'button', line: 1 },
+      { tag: 'button', line: 2 },
+      { tag: 'button', line: 3 }
+    ]);
+  });
 });
 
 describe('parseComponentFacts — unassociatedLabels (a11y/label-has-control)', () => {