diff --git a/.changeset/spotty-moons-repeat.md b/.changeset/spotty-moons-repeat.md
new file mode 100644
index 00000000..0a17d6d1
--- /dev/null
+++ b/.changeset/spotty-moons-repeat.md
@@ -0,0 +1,6 @@
+---
+"@marko/language-tools": minor
+"@marko/language-server": minor
+---
+
+Take child templates into account in the accessibility linter, and enable page-scoped rules for fully static documents.
diff --git a/agent-feedback/bugs.md b/agent-feedback/bugs.md
index bb895850..fd6a8167 100644
--- a/agent-feedback/bugs.md
+++ b/agent-feedback/bugs.md
@@ -23,3 +23,15 @@ The runtime accepts a string OR number loop key — `assertValidLoopKey` throws
 `packages/language-tools/src/extractors/script/index.ts` › `#writeTag` | 2026-07-19 | impact:high | effort:med
 
 A custom tag that fails to resolve (a component referenced by kebab tag name with no `import`, or a typo'd tag name) is a hard build error but produces ZERO diagnostics under `mtc` — the type-check tool agents are told to run. Reproduced in a real @marko/run scaffold: Marko 6 auto-discovers only `tags/` dirs (`runtime-tags` sets `tagDiscoveryDirs = ["tags"]` at `packages/runtime-tags/src/translator/index.ts:40`), so `src/components/*.marko` is NOT auto-registered — `<user-card name="X" age="alsoWrong" bogus=true/>` (no import) and the typo `<char-cont max="wrong" nope=1/>` both pass `mtc` with exit 0, while `npm run compile -o html` / `marko-run build` throw `Unable to find entry point for custom tag <user-card>` (`resolveTagImport` at `tags.js:353`; `tagNotFoundError` at `packages/runtime-tags/src/translator/visitors/tag/custom-tag.ts:411`). The identical wrong attr on a RESOLVED tag correctly errors TS2322 (verified against `<char-count max="not-a-number">`), proving tag resolution — not the attribute — is the gate: `#writeTag` lowers an unresolvable tag to `renderDynamicTag(...)` whose input is `Record<string, unknown>`, so every attribute and callback param goes unchecked. This is the worst shape for an agent whose deterministic verify loop is `mtc`: it creates a component, references it by tag (natural for anyone used to auto-registering `components/` dirs), sees a clean type-check, and ships wrong props or a misspelled tag; the build then fails with an "entry point" error that looks unrelated to the type loop. Direction: have @marko/language-tools emit a distinct "cannot resolve tag `<x>`" diagnostic mirroring the compiler instead of degrading to an untyped dynamic tag. The compiler-side authority is marko-js/marko's `packages/compiler/src/babel-utils/tags.js` › `resolveTagImport` and `custom-tag.ts` › `tagNotFoundError`. Distinct from the run dx.md route-types entries (missing `Run` global / stale `routes.d.ts`), which concern generated route types, not custom-tag resolution.
+
+## Propagate descendant dynamic attribute values into `hasDynamicBody` for a11y rule suppression
+
+`packages/language-tools/src/extractors/html/index.ts` › `HTMLExtractor.#visitNode` | 2026-07-22 | impact:med | effort:med
+
+Dynamic _attribute_ values on descendants do not propagate into an ancestor's `hasDynamicBody`, so `unknownBody` rule exceptions can miss. Example: `<div role="list"><div role=input.x></div></div>` extracts the child as `role="dynamic"` (an invalid role) while the outer element's `hasDynamicBody` stays false, so axe's `aria-required-children` reports a violation even though the runtime role could be `listitem` — a false positive that predates child-template inlining. `#visitNode` returns `isDynamic || hasDynamicBody` and deliberately ignores `hasDynamicAttrs`; a fix could propagate a separate "semantics-affecting dynamic attr" flag (role/aria-\*/tabindex only, to avoid over-suppressing on eg dynamic `class`) into ancestors. Re-verify: `<div role="list"><div role=input.x></div></div>` in an html fixture produces an `aria-required-children` diagnostic.
+
+## Suppress duplicate-detection a11y rules when the duplicate _counterpart_ is conditional, via axe relatedNodes
+
+`packages/language-server/src/service/html/index.ts` › `doValidate` | 2026-07-22 | impact:low | effort:med
+
+The `conditionalContent` exception only suppresses duplicate-detection rules (accesskeys, landmark-unique, identical-links-same-purpose, ...) when the _violating_ element is inside a control flow branch. When the violating element is unconditional but its duplicate counterpart is conditional (eg a static `<label>` plus a second `<label>` inside `<if>` for `form-field-multiple-labels`), the false positive remains. axe exposes the counterparts via each check's `relatedNodes`; suppressing when any related node maps to an `inConditional` element would close the gap. Re-verify: fixture with `<main>` plus `<if=x><main></if>` — the unconditional `<main>` may still be reported by `landmark-no-duplicate-main`.
diff --git a/packages/language-server/package.json b/packages/language-server/package.json
index db4b04b4..93616009 100644
--- a/packages/language-server/package.json
+++ b/packages/language-server/package.json
@@ -38,6 +38,7 @@
     "!**/*.tsbuildinfo"
   ],
   "scripts": {
+    "bench": "BENCH=1 mocha './src/__tests__/bench.test.ts'",
     "build": "tsx build.mts",
     "test": "mocha './src/**/__tests__/*.test.ts'",
     "test:update": "mocha './src/**/__tests__/*.test.ts' --update"
diff --git a/packages/language-server/src/__tests__/a11y-validation-cache.test.ts b/packages/language-server/src/__tests__/a11y-validation-cache.test.ts
new file mode 100644
index 00000000..f5fd53eb
--- /dev/null
+++ b/packages/language-server/src/__tests__/a11y-validation-cache.test.ts
@@ -0,0 +1,60 @@
+import assert from "node:assert/strict";
+
+import { Project } from "@marko/language-tools";
+import path from "path";
+import { URI } from "vscode-uri";
+
+import { documents } from "../service";
+import HTMLPlugin from "../service/html";
+import { clearMarkoCacheForFile } from "../utils/file";
+
+Project.setDefaultTypePaths({
+  internalTypesFile:
+    require.resolve("@marko/language-tools/marko.internal.d.ts"),
+  markoTypesFile: require.resolve("marko/index.d.ts"),
+});
+
+describe("a11y validation cache", () => {
+  const uri = URI.file(
+    path.join(__dirname, "a11y-cache-virtual.marko"),
+  ).toString();
+
+  it("re-maps diagnostics after edits that leave extraction unchanged", async () => {
+    documents.doOpen({
+      textDocument: {
+        uri,
+        languageId: "marko",
+        version: 1,
+        text: '<script>\n  const a = 1;\n</script>\n<img src="x.png">\n',
+      },
+    });
+    const doc = documents.get(uri)!;
+
+    const first = (await HTMLPlugin.doValidate!(doc))!;
+    assert.equal(first.length, 1);
+    assert.match(first[0].message, /alt attribute/);
+    assert.equal(first[0].range.start.line, 3);
+
+    documents.doChange({
+      textDocument: { uri, version: 2 },
+      contentChanges: [
+        {
+          range: {
+            start: { line: 1, character: 0 },
+            end: { line: 1, character: 0 },
+          },
+          text: "  const b = 2;\n",
+        },
+      ],
+    });
+    // The server binary wires this into documents.onFileChange.
+    clearMarkoCacheForFile(doc);
+
+    const second = (await HTMLPlugin.doValidate!(doc))!;
+    assert.equal(second.length, 1);
+    assert.equal(second[0].message, first[0].message);
+    assert.equal(second[0].range.start.line, 4);
+
+    documents.doClose({ textDocument: { uri } });
+  });
+});
diff --git a/packages/language-server/src/__tests__/bench.test.ts b/packages/language-server/src/__tests__/bench.test.ts
new file mode 100644
index 00000000..60914f48
--- /dev/null
+++ b/packages/language-server/src/__tests__/bench.test.ts
@@ -0,0 +1,201 @@
+import assert from "node:assert/strict";
+
+import fs from "fs";
+import path from "path";
+import type { TextDocument } from "vscode-languageserver-textdocument";
+import { URI } from "vscode-uri";
+
+import { documents } from "../service";
+import HTMLPlugin from "../service/html";
+import { clearMarkoCacheForFile } from "../utils/file";
+
+const SHOULD_BENCH = process.env.BENCH;
+const LEAVES = 20;
+const WRAPPERS = 10;
+const SECTIONS = 24;
+
+(SHOULD_BENCH ? describe : describe.skip)("a11y validation bench", () => {
+  let appDir: string;
+  let tick = 0;
+  let edit = 0;
+
+  const openPage = (name: string, text: string) => {
+    const uri = URI.file(path.join(appDir, name)).toString();
+    documents.doOpen({
+      textDocument: { uri, languageId: "marko", version: 1, text },
+    });
+    return documents.get(uri)!;
+  };
+
+  // Any open/close bumps projectVersion, invalidating the extraction caches
+  // the way a keystroke would.
+  const invalidate = () => {
+    const uri = URI.file(path.join(appDir, `tick.marko`)).toString();
+    documents.doOpen({
+      textDocument: {
+        uri,
+        languageId: "marko",
+        version: ++tick,
+        text: `<div>${tick}</div>`,
+      },
+    });
+    documents.doClose({ textDocument: { uri } });
+  };
+
+  const replaceAt = (
+    doc: TextDocument,
+    search: string,
+    length: number,
+    text: string,
+  ) => {
+    const offset = doc.getText().indexOf(search);
+    assert.notEqual(offset, -1, `bench edit target missing: ${search}`);
+    documents.doChange({
+      textDocument: { uri: doc.uri, version: doc.version + 1 },
+      contentChanges: [
+        {
+          range: {
+            start: doc.positionAt(offset),
+            end: doc.positionAt(offset + length),
+          },
+          text,
+        },
+      ],
+    });
+    clearMarkoCacheForFile(doc);
+  };
+
+  const contentEdits = new WeakMap<TextDocument, number>();
+  const contentEdit = (doc: TextDocument) => {
+    const n = contentEdits.get(doc) ?? 0;
+    contentEdits.set(doc, n + 1);
+    replaceAt(doc, n % 2 ? "Note" : "Copy", 4, n % 2 ? "Copy" : "Note");
+  };
+  const scriptEdit = (doc: TextDocument) =>
+    replaceAt(doc, "marker = ", 10, `marker = ${++edit % 10}`);
+
+  const measure = async (
+    label: string,
+    iterations: number,
+    fn: () => unknown,
+  ) => {
+    for (let i = 0; i < 3; i++) await fn();
+    const samples: number[] = [];
+    for (let i = 0; i < iterations; i++) {
+      const start = performance.now();
+      await fn();
+      samples.push(performance.now() - start);
+    }
+    samples.sort((a, b) => a - b);
+    const mean = samples.reduce((sum, s) => sum + s, 0) / samples.length;
+    console.log(
+      `  ${label}: mean ${mean.toFixed(2)}ms | p50 ${samples[
+        iterations >> 1
+      ].toFixed(2)}ms | min ${samples[0].toFixed(2)}ms`,
+    );
+  };
+
+  before(function () {
+    this.timeout(0);
+    // Inside the repo tree so the workspace marko compiler resolves.
+    appDir = path.join(__dirname, "../../node_modules/.cache/a11y-bench-app");
+    const componentsDir = path.join(appDir, "components");
+    fs.rmSync(appDir, { recursive: true, force: true });
+    fs.mkdirSync(componentsDir, { recursive: true });
+
+    for (let i = 0; i < LEAVES; i++) {
+      fs.writeFileSync(
+        path.join(componentsDir, `leaf-${i}.marko`),
+        i % 4 === 0
+          ? `<li class="leaf">item ${i}</li>\n`
+          : i % 4 === 1
+            ? `<img src="art-${i}.png" alt="art ${i}">\n`
+            : i % 4 === 2
+              ? `<button type="button">action ${i}</button>\n`
+              : `<span class="badge">badge ${i}</span>\n`,
+      );
+    }
+    for (let i = 0; i < WRAPPERS; i++) {
+      fs.writeFileSync(
+        path.join(componentsDir, `wrap-${i}.marko`),
+        `export interface Input {\n  renderBody: Marko.Body;\n}\n\n` +
+          (i % 2 === 0
+            ? `<section class="wrap-${i}"><\${input.renderBody}/></section>\n`
+            : `<ul class="wrap-${i}"><\${input.renderBody}/></ul>\n`),
+      );
+    }
+  });
+
+  after(() => {
+    fs.rmSync(appDir, { recursive: true, force: true });
+  });
+
+  const pageSource = (prefix: string) => {
+    let body = "";
+    for (let s = 0; s < SECTIONS; s++) {
+      const w = s % WRAPPERS;
+      const listItems = Array.from(
+        { length: 4 },
+        (_, i) => `      <${prefix}leaf-${(s + i * 4) % LEAVES}/>\n`,
+      ).join("");
+      body += `<section>
+  <h2>Section ${s}</h2>
+  <${prefix}wrap-${w}>
+${listItems}  </${prefix}wrap-${w}>
+  <if=input.expanded>
+    <${prefix}leaf-${(s + 1) % LEAVES}/>
+  </if>
+  <p>Copy for section ${s} with <a href="/s/${s}">details ${s}</a>.</p>
+  ${s % 6 === 0 ? `<img src="banner-${s}.png">` : `<img src="banner-${s}.png" alt="banner ${s}">`}
+</section>
+`;
+    }
+    return `export interface Input {\n  expanded: boolean;\n}\n\n<script>\n  const marker = 0;\n</script>\n<main>\n${body}</main>\n`;
+  };
+
+  it("runs benches", async function () {
+    this.timeout(0);
+    const inlined = openPage("page-inlined.marko", pageSource(""));
+    const legacy = openPage("page-legacy.marko", pageSource("zz-"));
+
+    const inlinedHtml = (
+      await HTMLPlugin.commands!["$/showHtmlOutput"](inlined.uri)
+    )?.content as string;
+    assert.ok(inlinedHtml.length > 10_000, "bench page extraction too small");
+    assert.ok(
+      inlinedHtml.includes("leaf-0.marko#"),
+      "components were not inlined",
+    );
+    const baseline = (await HTMLPlugin.doValidate!(inlined))!.length;
+    assert.ok(baseline > 0, "bench page produced no diagnostics");
+
+    const validated = async (doc: TextDocument) => {
+      const diags = (await HTMLPlugin.doValidate!(doc))!;
+      assert.ok(diags.length > 0, "bench page lost its diagnostics");
+    };
+
+    console.log(
+      `  page: ${inlined.getText().length} chars source, ${inlinedHtml.length} chars extracted, ${baseline} diagnostics`,
+    );
+    await measure("doValidate, content edit, components inlined", 20, () => {
+      contentEdit(inlined);
+      return validated(inlined);
+    });
+    await measure("doValidate, content edit, legacy (unresolvable)", 20, () => {
+      contentEdit(legacy);
+      return HTMLPlugin.doValidate!(legacy);
+    });
+    await measure("doValidate, script-only edit (axe skipped)", 100, () => {
+      scriptEdit(inlined);
+      return validated(inlined);
+    });
+    await measure("extraction only, components inlined", 200, () => {
+      invalidate();
+      return HTMLPlugin.commands!["$/showHtmlOutput"](inlined.uri);
+    });
+    await measure("extraction only, legacy (unresolvable)", 200, () => {
+      invalidate();
+      return HTMLPlugin.commands!["$/showHtmlOutput"](legacy.uri);
+    });
+  });
+});
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-context/__snapshots__/child-template-context.expected/index.html b/packages/language-server/src/__tests__/fixtures/html/child-template-context/__snapshots__/child-template-context.expected/index.html
new file mode 100644
index 00000000..49c7d560
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-context/__snapshots__/child-template-context.expected/index.html
@@ -0,0 +1,5 @@
+<ul data-marko-node-id="0">
+  <li data-marko-node-id="fancy-item.marko#0">fancy</li>
+</ul><div data-marko-node-id="1">
+  <li data-marko-node-id="fancy-item.marko#0">fancy</li>
+</div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-context/__snapshots__/child-template-context.expected/index.md b/packages/language-server/src/__tests__/fixtures/html/child-template-context/__snapshots__/child-template-context.expected/index.md
new file mode 100644
index 00000000..0fbb5f43
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-context/__snapshots__/child-template-context.expected/index.md
@@ -0,0 +1,12 @@
+## Diagnostics
+### Ln 6, Col 4
+```marko
+  4 |
+  5 | <div>
+> 6 |   <fancy-item/>
+    |    ^^^^^^^^^^ This tag renders a `<li>` element here — Fix any of the following:
+  List item does not have a <ul>, <ol> parent element
+  7 | </div>
+  8 |
+```
+
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-context/__snapshots__/child-template-context.expected/index.ts b/packages/language-server/src/__tests__/fixtures/html/child-template-context/__snapshots__/child-template-context.expected/index.ts
new file mode 100644
index 00000000..beaf678b
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-context/__snapshots__/child-template-context.expected/index.ts
@@ -0,0 +1,75 @@
+export interface Input {}
+abstract class Component extends Marko.Component<Input> {}
+export { type Component };
+(function (this: void) {
+  const input = Marko._.any as Input;
+  const component = Marko._.any as Component;
+  const state = Marko._.state(component);
+  const out = Marko._.any as Marko.Out;
+  const $signal = Marko._.any as AbortSignal;
+  const $global = Marko._.getGlobal(
+    // @ts-expect-error We expect the compiler to error because we are checking if the MarkoRun.Context is defined.
+    (Marko._.error, Marko._.any as MarkoRun.Context),
+  );
+  Marko._.renderNativeTag("ul")()()({
+    [Marko._.content]: (() => {
+      const __marko_internal_tag_1 = Marko._.resolveTemplate(
+        import("./tags/fancy-item.marko"),
+      );
+      Marko._.renderTemplate(__marko_internal_tag_1)()()({});
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  Marko._.renderNativeTag("div")()()({
+    [Marko._.content]: (() => {
+      const __marko_internal_tag_2 = Marko._.resolveTemplate(
+        import("./tags/fancy-item.marko"),
+      );
+      Marko._.renderTemplate(__marko_internal_tag_2)()()({});
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  Marko._.noop({ component, state, out, input, $global, $signal });
+  return;
+})();
+const __marko_internal_api = "class";
+export { __marko_internal_api as "~api" };
+export default new (class Template extends Marko._.Template<{
+  render(
+    input: Marko.TemplateInput<Input>,
+    stream?: {
+      write: (chunk: string) => void;
+      end: (chunk?: string) => void;
+    },
+  ): Marko.Out<Component>;
+
+  render(
+    input: Marko.TemplateInput<Input>,
+    cb?: (err: Error | null, result: Marko.RenderResult<Component>) => void,
+  ): Marko.Out<Component>;
+
+  renderSync(input: Marko.TemplateInput<Input>): Marko.RenderResult<Component>;
+
+  renderToString(input: Marko.TemplateInput<Input>): string;
+
+  stream(
+    input: Marko.TemplateInput<Input>,
+  ): ReadableStream<string> & NodeJS.ReadableStream;
+
+  mount(
+    input: Marko.TemplateInput<Input>,
+    reference: Node,
+    position?: "afterbegin" | "afterend" | "beforebegin" | "beforeend",
+  ): Marko.MountedTemplate<typeof input>;
+
+  api: typeof __marko_internal_api;
+  _(): () => <__marko_internal_input extends unknown>(
+    input: Marko.Directives &
+      Input &
+      Marko._.Relate<__marko_internal_input, Marko.Directives & Input>,
+  ) => Marko._.ReturnWithScope<__marko_internal_input, void>;
+}> {})();
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-context/__snapshots__/child-template-context.expected/tags/fancy-item.html b/packages/language-server/src/__tests__/fixtures/html/child-template-context/__snapshots__/child-template-context.expected/tags/fancy-item.html
new file mode 100644
index 00000000..7a45c67c
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-context/__snapshots__/child-template-context.expected/tags/fancy-item.html
@@ -0,0 +1 @@
+<li data-marko-node-id="0">fancy</li>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-context/__snapshots__/child-template-context.expected/tags/fancy-item.md b/packages/language-server/src/__tests__/fixtures/html/child-template-context/__snapshots__/child-template-context.expected/tags/fancy-item.md
new file mode 100644
index 00000000..e69de29b
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-context/__snapshots__/child-template-context.expected/tags/fancy-item.ts b/packages/language-server/src/__tests__/fixtures/html/child-template-context/__snapshots__/child-template-context.expected/tags/fancy-item.ts
new file mode 100644
index 00000000..2bea0236
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-context/__snapshots__/child-template-context.expected/tags/fancy-item.ts
@@ -0,0 +1,56 @@
+export interface Input {}
+(function (this: void) {
+  const input = Marko._.any as Input;
+  const $signal = Marko._.any as AbortSignal;
+  const $global = Marko._.getGlobal(
+    // @ts-expect-error We expect the compiler to error because we are checking if the MarkoRun.Context is defined.
+    (Marko._.error, Marko._.any as MarkoRun.Context),
+  );
+  Marko._.renderNativeTag("li")()()({
+    [Marko._.content]: (() => {
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  Marko._.noop({ input, $global, $signal });
+  return;
+})();
+const __marko_internal_api = "tags";
+export { __marko_internal_api as "~api" };
+const FancyItem = new (class Template extends Marko._.Template<{
+  render(
+    input: Marko.TemplateInput<Input>,
+    stream?: {
+      write: (chunk: string) => void;
+      end: (chunk?: string) => void;
+    },
+  ): Marko.Out<never>;
+
+  render(
+    input: Marko.TemplateInput<Input>,
+    cb?: (err: Error | null, result: Marko.RenderResult<never>) => void,
+  ): Marko.Out<never>;
+
+  renderSync(input: Marko.TemplateInput<Input>): Marko.RenderResult<never>;
+
+  renderToString(input: Marko.TemplateInput<Input>): string;
+
+  stream(
+    input: Marko.TemplateInput<Input>,
+  ): ReadableStream<string> & NodeJS.ReadableStream;
+
+  mount(
+    input: Marko.TemplateInput<Input>,
+    reference: Node,
+    position?: "afterbegin" | "afterend" | "beforebegin" | "beforeend",
+  ): Marko.MountedTemplate<typeof input>;
+
+  api: typeof __marko_internal_api;
+  _(): () => <__marko_internal_input extends unknown>(
+    input: Marko.Directives &
+      Input &
+      Marko._.Relate<__marko_internal_input, Marko.Directives & Input>,
+  ) => Marko._.ReturnWithScope<__marko_internal_input, void>;
+}> {})();
+export default FancyItem;
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-context/index.marko b/packages/language-server/src/__tests__/fixtures/html/child-template-context/index.marko
new file mode 100644
index 00000000..1a5efaf9
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-context/index.marko
@@ -0,0 +1,7 @@
+<ul>
+  <fancy-item/>
+</ul>
+
+<div>
+  <fancy-item/>
+</div>
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-context/tags/fancy-item.marko b/packages/language-server/src/__tests__/fixtures/html/child-template-context/tags/fancy-item.marko
new file mode 100644
index 00000000..d8e059a0
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-context/tags/fancy-item.marko
@@ -0,0 +1 @@
+<li>fancy</li>
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/components/icon-arrow.html b/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/components/icon-arrow.html
new file mode 100644
index 00000000..43f88a7b
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/components/icon-arrow.html
@@ -0,0 +1 @@
+<span data-marko-node-id="0" aria-hidden="true">x</span>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/components/icon-arrow.md b/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/components/icon-arrow.md
new file mode 100644
index 00000000..e69de29b
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/components/icon-arrow.ts b/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/components/icon-arrow.ts
new file mode 100644
index 00000000..3d238fd0
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/components/icon-arrow.ts
@@ -0,0 +1,62 @@
+export interface Input {}
+abstract class Component extends Marko.Component<Input> {}
+export { type Component };
+(function (this: void) {
+  const input = Marko._.any as Input;
+  const component = Marko._.any as Component;
+  const state = Marko._.state(component);
+  const out = Marko._.any as Marko.Out;
+  const $signal = Marko._.any as AbortSignal;
+  const $global = Marko._.getGlobal(
+    // @ts-expect-error We expect the compiler to error because we are checking if the MarkoRun.Context is defined.
+    (Marko._.error, Marko._.any as MarkoRun.Context),
+  );
+  Marko._.renderNativeTag("span")()()({
+    "aria-hidden": "true",
+    [Marko._.content]: (() => {
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  Marko._.noop({ component, state, out, input, $global, $signal });
+  return;
+})();
+const __marko_internal_api = "class";
+export { __marko_internal_api as "~api" };
+const IconArrow = new (class Template extends Marko._.Template<{
+  render(
+    input: Marko.TemplateInput<Input>,
+    stream?: {
+      write: (chunk: string) => void;
+      end: (chunk?: string) => void;
+    },
+  ): Marko.Out<Component>;
+
+  render(
+    input: Marko.TemplateInput<Input>,
+    cb?: (err: Error | null, result: Marko.RenderResult<Component>) => void,
+  ): Marko.Out<Component>;
+
+  renderSync(input: Marko.TemplateInput<Input>): Marko.RenderResult<Component>;
+
+  renderToString(input: Marko.TemplateInput<Input>): string;
+
+  stream(
+    input: Marko.TemplateInput<Input>,
+  ): ReadableStream<string> & NodeJS.ReadableStream;
+
+  mount(
+    input: Marko.TemplateInput<Input>,
+    reference: Node,
+    position?: "afterbegin" | "afterend" | "beforebegin" | "beforeend",
+  ): Marko.MountedTemplate<typeof input>;
+
+  api: typeof __marko_internal_api;
+  _(): () => <__marko_internal_input extends unknown>(
+    input: Marko.Directives &
+      Input &
+      Marko._.Relate<__marko_internal_input, Marko.Directives & Input>,
+  ) => Marko._.ReturnWithScope<__marko_internal_input, void>;
+}> {})();
+export default IconArrow;
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/components/text-label.html b/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/components/text-label.html
new file mode 100644
index 00000000..69831b5f
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/components/text-label.html
@@ -0,0 +1 @@
+<span data-marko-node-id="0">Read more</span>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/components/text-label.md b/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/components/text-label.md
new file mode 100644
index 00000000..e69de29b
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/components/text-label.ts b/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/components/text-label.ts
new file mode 100644
index 00000000..f200fcde
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/components/text-label.ts
@@ -0,0 +1,61 @@
+export interface Input {}
+abstract class Component extends Marko.Component<Input> {}
+export { type Component };
+(function (this: void) {
+  const input = Marko._.any as Input;
+  const component = Marko._.any as Component;
+  const state = Marko._.state(component);
+  const out = Marko._.any as Marko.Out;
+  const $signal = Marko._.any as AbortSignal;
+  const $global = Marko._.getGlobal(
+    // @ts-expect-error We expect the compiler to error because we are checking if the MarkoRun.Context is defined.
+    (Marko._.error, Marko._.any as MarkoRun.Context),
+  );
+  Marko._.renderNativeTag("span")()()({
+    [Marko._.content]: (() => {
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  Marko._.noop({ component, state, out, input, $global, $signal });
+  return;
+})();
+const __marko_internal_api = "class";
+export { __marko_internal_api as "~api" };
+const TextLabel = new (class Template extends Marko._.Template<{
+  render(
+    input: Marko.TemplateInput<Input>,
+    stream?: {
+      write: (chunk: string) => void;
+      end: (chunk?: string) => void;
+    },
+  ): Marko.Out<Component>;
+
+  render(
+    input: Marko.TemplateInput<Input>,
+    cb?: (err: Error | null, result: Marko.RenderResult<Component>) => void,
+  ): Marko.Out<Component>;
+
+  renderSync(input: Marko.TemplateInput<Input>): Marko.RenderResult<Component>;
+
+  renderToString(input: Marko.TemplateInput<Input>): string;
+
+  stream(
+    input: Marko.TemplateInput<Input>,
+  ): ReadableStream<string> & NodeJS.ReadableStream;
+
+  mount(
+    input: Marko.TemplateInput<Input>,
+    reference: Node,
+    position?: "afterbegin" | "afterend" | "beforebegin" | "beforeend",
+  ): Marko.MountedTemplate<typeof input>;
+
+  api: typeof __marko_internal_api;
+  _(): () => <__marko_internal_input extends unknown>(
+    input: Marko.Directives &
+      Input &
+      Marko._.Relate<__marko_internal_input, Marko.Directives & Input>,
+  ) => Marko._.ReturnWithScope<__marko_internal_input, void>;
+}> {})();
+export default TextLabel;
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/index.html b/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/index.html
new file mode 100644
index 00000000..f28b82cb
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/index.html
@@ -0,0 +1,5 @@
+<a data-marko-node-id="0" href="/bad">
+  <span data-marko-node-id="icon-arrow.marko#0" aria-hidden="true">x</span>
+</a><a data-marko-node-id="1" href="/good">
+  <span data-marko-node-id="text-label.marko#0">Read more</span>
+</a>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/index.md b/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/index.md
new file mode 100644
index 00000000..1bbab42e
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/index.md
@@ -0,0 +1,17 @@
+## Diagnostics
+### Ln 1, Col 2
+```marko
+> 1 | <a href="/bad">
+    |  ^ Fix all of the following:
+  Element is in tab order and does not have accessible text
+
+Fix any of the following:
+  Element does not have text that is visible to screen readers
+  aria-label attribute does not exist or is empty
+  aria-labelledby attribute does not exist, references elements that do not exist or references elements that are empty
+  Element has no title attribute
+  2 |   <icon-arrow/>
+  3 | </a>
+  4 |
+```
+
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/index.ts b/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/index.ts
new file mode 100644
index 00000000..d59965f9
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/__snapshots__/child-template-link-name.expected/index.ts
@@ -0,0 +1,77 @@
+export interface Input {}
+abstract class Component extends Marko.Component<Input> {}
+export { type Component };
+(function (this: void) {
+  const input = Marko._.any as Input;
+  const component = Marko._.any as Component;
+  const state = Marko._.state(component);
+  const out = Marko._.any as Marko.Out;
+  const $signal = Marko._.any as AbortSignal;
+  const $global = Marko._.getGlobal(
+    // @ts-expect-error We expect the compiler to error because we are checking if the MarkoRun.Context is defined.
+    (Marko._.error, Marko._.any as MarkoRun.Context),
+  );
+  Marko._.renderNativeTag("a")()()({
+    href: "/bad",
+    [Marko._.content]: (() => {
+      const __marko_internal_tag_1 = Marko._.resolveTemplate(
+        import("./components/icon-arrow.marko"),
+      );
+      Marko._.renderTemplate(__marko_internal_tag_1)()()({});
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  Marko._.renderNativeTag("a")()()({
+    href: "/good",
+    [Marko._.content]: (() => {
+      const __marko_internal_tag_2 = Marko._.resolveTemplate(
+        import("./components/text-label.marko"),
+      );
+      Marko._.renderTemplate(__marko_internal_tag_2)()()({});
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  Marko._.noop({ component, state, out, input, $global, $signal });
+  return;
+})();
+const __marko_internal_api = "class";
+export { __marko_internal_api as "~api" };
+export default new (class Template extends Marko._.Template<{
+  render(
+    input: Marko.TemplateInput<Input>,
+    stream?: {
+      write: (chunk: string) => void;
+      end: (chunk?: string) => void;
+    },
+  ): Marko.Out<Component>;
+
+  render(
+    input: Marko.TemplateInput<Input>,
+    cb?: (err: Error | null, result: Marko.RenderResult<Component>) => void,
+  ): Marko.Out<Component>;
+
+  renderSync(input: Marko.TemplateInput<Input>): Marko.RenderResult<Component>;
+
+  renderToString(input: Marko.TemplateInput<Input>): string;
+
+  stream(
+    input: Marko.TemplateInput<Input>,
+  ): ReadableStream<string> & NodeJS.ReadableStream;
+
+  mount(
+    input: Marko.TemplateInput<Input>,
+    reference: Node,
+    position?: "afterbegin" | "afterend" | "beforebegin" | "beforeend",
+  ): Marko.MountedTemplate<typeof input>;
+
+  api: typeof __marko_internal_api;
+  _(): () => <__marko_internal_input extends unknown>(
+    input: Marko.Directives &
+      Input &
+      Marko._.Relate<__marko_internal_input, Marko.Directives & Input>,
+  ) => Marko._.ReturnWithScope<__marko_internal_input, void>;
+}> {})();
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/components/icon-arrow.marko b/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/components/icon-arrow.marko
new file mode 100644
index 00000000..29349c40
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/components/icon-arrow.marko
@@ -0,0 +1 @@
+<span aria-hidden="true">x</span>
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/components/text-label.marko b/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/components/text-label.marko
new file mode 100644
index 00000000..b531e7fd
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/components/text-label.marko
@@ -0,0 +1 @@
+<span>Read more</span>
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/index.marko b/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/index.marko
new file mode 100644
index 00000000..0c1cf94e
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-link-name/index.marko
@@ -0,0 +1,7 @@
+<a href="/bad">
+  <icon-arrow/>
+</a>
+
+<a href="/good">
+  <text-label/>
+</a>
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-recursive/__snapshots__/child-template-recursive.expected/components/tree-item.html b/packages/language-server/src/__tests__/fixtures/html/child-template-recursive/__snapshots__/child-template-recursive.expected/components/tree-item.html
new file mode 100644
index 00000000..bf9ed415
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-recursive/__snapshots__/child-template-recursive.expected/components/tree-item.html
@@ -0,0 +1,6 @@
+<li data-marko-node-id="0">
+  node
+  <ul data-marko-node-id="1">
+    
+  </ul>
+</li>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-recursive/__snapshots__/child-template-recursive.expected/components/tree-item.md b/packages/language-server/src/__tests__/fixtures/html/child-template-recursive/__snapshots__/child-template-recursive.expected/components/tree-item.md
new file mode 100644
index 00000000..e69de29b
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-recursive/__snapshots__/child-template-recursive.expected/components/tree-item.ts b/packages/language-server/src/__tests__/fixtures/html/child-template-recursive/__snapshots__/child-template-recursive.expected/components/tree-item.ts
new file mode 100644
index 00000000..eb5a966b
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-recursive/__snapshots__/child-template-recursive.expected/components/tree-item.ts
@@ -0,0 +1,72 @@
+export interface Input {}
+abstract class Component extends Marko.Component<Input> {}
+export { type Component };
+(function (this: void) {
+  const input = Marko._.any as Input;
+  const component = Marko._.any as Component;
+  const state = Marko._.state(component);
+  const out = Marko._.any as Marko.Out;
+  const $signal = Marko._.any as AbortSignal;
+  const $global = Marko._.getGlobal(
+    // @ts-expect-error We expect the compiler to error because we are checking if the MarkoRun.Context is defined.
+    (Marko._.error, Marko._.any as MarkoRun.Context),
+  );
+  Marko._.renderNativeTag("li")()()({
+    [Marko._.content]: (() => {
+      Marko._.renderNativeTag("ul")()()({
+        [Marko._.content]: (() => {
+          const __marko_internal_tag_1 = Marko._.resolveTemplate(
+            import("./tree-item.marko"),
+          );
+          Marko._.renderTemplate(__marko_internal_tag_1)()()({});
+          return () => {
+            return Marko._.voidReturn;
+          };
+        })(),
+      });
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  Marko._.noop({ component, state, out, input, $global, $signal });
+  return;
+})();
+const __marko_internal_api = "class";
+export { __marko_internal_api as "~api" };
+const TreeItem = new (class Template extends Marko._.Template<{
+  render(
+    input: Marko.TemplateInput<Input>,
+    stream?: {
+      write: (chunk: string) => void;
+      end: (chunk?: string) => void;
+    },
+  ): Marko.Out<Component>;
+
+  render(
+    input: Marko.TemplateInput<Input>,
+    cb?: (err: Error | null, result: Marko.RenderResult<Component>) => void,
+  ): Marko.Out<Component>;
+
+  renderSync(input: Marko.TemplateInput<Input>): Marko.RenderResult<Component>;
+
+  renderToString(input: Marko.TemplateInput<Input>): string;
+
+  stream(
+    input: Marko.TemplateInput<Input>,
+  ): ReadableStream<string> & NodeJS.ReadableStream;
+
+  mount(
+    input: Marko.TemplateInput<Input>,
+    reference: Node,
+    position?: "afterbegin" | "afterend" | "beforebegin" | "beforeend",
+  ): Marko.MountedTemplate<typeof input>;
+
+  api: typeof __marko_internal_api;
+  _(): () => <__marko_internal_input extends unknown>(
+    input: Marko.Directives &
+      Input &
+      Marko._.Relate<__marko_internal_input, Marko.Directives & Input>,
+  ) => Marko._.ReturnWithScope<__marko_internal_input, void>;
+}> {})();
+export default TreeItem;
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-recursive/__snapshots__/child-template-recursive.expected/index.html b/packages/language-server/src/__tests__/fixtures/html/child-template-recursive/__snapshots__/child-template-recursive.expected/index.html
new file mode 100644
index 00000000..9c4b9feb
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-recursive/__snapshots__/child-template-recursive.expected/index.html
@@ -0,0 +1,8 @@
+<ul data-marko-node-id="0">
+  <li data-marko-node-id="tree-item.marko#0">
+  node
+  <ul data-marko-node-id="tree-item.marko#1">
+    
+  </ul>
+</li>
+</ul>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-recursive/__snapshots__/child-template-recursive.expected/index.md b/packages/language-server/src/__tests__/fixtures/html/child-template-recursive/__snapshots__/child-template-recursive.expected/index.md
new file mode 100644
index 00000000..e69de29b
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-recursive/__snapshots__/child-template-recursive.expected/index.ts b/packages/language-server/src/__tests__/fixtures/html/child-template-recursive/__snapshots__/child-template-recursive.expected/index.ts
new file mode 100644
index 00000000..eb6acf23
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-recursive/__snapshots__/child-template-recursive.expected/index.ts
@@ -0,0 +1,64 @@
+export interface Input {}
+abstract class Component extends Marko.Component<Input> {}
+export { type Component };
+(function (this: void) {
+  const input = Marko._.any as Input;
+  const component = Marko._.any as Component;
+  const state = Marko._.state(component);
+  const out = Marko._.any as Marko.Out;
+  const $signal = Marko._.any as AbortSignal;
+  const $global = Marko._.getGlobal(
+    // @ts-expect-error We expect the compiler to error because we are checking if the MarkoRun.Context is defined.
+    (Marko._.error, Marko._.any as MarkoRun.Context),
+  );
+  Marko._.renderNativeTag("ul")()()({
+    [Marko._.content]: (() => {
+      const __marko_internal_tag_1 = Marko._.resolveTemplate(
+        import("./components/tree-item.marko"),
+      );
+      Marko._.renderTemplate(__marko_internal_tag_1)()()({});
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  Marko._.noop({ component, state, out, input, $global, $signal });
+  return;
+})();
+const __marko_internal_api = "class";
+export { __marko_internal_api as "~api" };
+export default new (class Template extends Marko._.Template<{
+  render(
+    input: Marko.TemplateInput<Input>,
+    stream?: {
+      write: (chunk: string) => void;
+      end: (chunk?: string) => void;
+    },
+  ): Marko.Out<Component>;
+
+  render(
+    input: Marko.TemplateInput<Input>,
+    cb?: (err: Error | null, result: Marko.RenderResult<Component>) => void,
+  ): Marko.Out<Component>;
+
+  renderSync(input: Marko.TemplateInput<Input>): Marko.RenderResult<Component>;
+
+  renderToString(input: Marko.TemplateInput<Input>): string;
+
+  stream(
+    input: Marko.TemplateInput<Input>,
+  ): ReadableStream<string> & NodeJS.ReadableStream;
+
+  mount(
+    input: Marko.TemplateInput<Input>,
+    reference: Node,
+    position?: "afterbegin" | "afterend" | "beforebegin" | "beforeend",
+  ): Marko.MountedTemplate<typeof input>;
+
+  api: typeof __marko_internal_api;
+  _(): () => <__marko_internal_input extends unknown>(
+    input: Marko.Directives &
+      Input &
+      Marko._.Relate<__marko_internal_input, Marko.Directives & Input>,
+  ) => Marko._.ReturnWithScope<__marko_internal_input, void>;
+}> {})();
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-recursive/components/tree-item.marko b/packages/language-server/src/__tests__/fixtures/html/child-template-recursive/components/tree-item.marko
new file mode 100644
index 00000000..7d5c63ea
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-recursive/components/tree-item.marko
@@ -0,0 +1,6 @@
+<li>
+  node
+  <ul>
+    <tree-item/>
+  </ul>
+</li>
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-recursive/index.marko b/packages/language-server/src/__tests__/fixtures/html/child-template-recursive/index.marko
new file mode 100644
index 00000000..b16a13d3
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-recursive/index.marko
@@ -0,0 +1,3 @@
+<ul>
+  <tree-item/>
+</ul>
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/components/my-card.html b/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/components/my-card.html
new file mode 100644
index 00000000..df3a8c50
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/components/my-card.html
@@ -0,0 +1 @@
+<div data-marko-node-id="0" class="card"></div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/components/my-card.md b/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/components/my-card.md
new file mode 100644
index 00000000..e69de29b
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/components/my-card.ts b/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/components/my-card.ts
new file mode 100644
index 00000000..d897af64
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/components/my-card.ts
@@ -0,0 +1,66 @@
+export interface Input {
+  renderBody: Marko.Body;
+}
+abstract class Component extends Marko.Component<Input> {}
+export { type Component };
+(function (this: void) {
+  const input = Marko._.any as Input;
+  const component = Marko._.any as Component;
+  const state = Marko._.state(component);
+  const out = Marko._.any as Marko.Out;
+  const $signal = Marko._.any as AbortSignal;
+  const $global = Marko._.getGlobal(
+    // @ts-expect-error We expect the compiler to error because we are checking if the MarkoRun.Context is defined.
+    (Marko._.error, Marko._.any as MarkoRun.Context),
+  );
+  Marko._.renderNativeTag("div")()()({
+    class: "card",
+    [Marko._.content]: (() => {
+      const __marko_internal_tag_1 = input.renderBody;
+      Marko._.renderDynamicTag(__marko_internal_tag_1)()()({});
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  Marko._.noop({ component, state, out, input, $global, $signal });
+  return;
+})();
+const __marko_internal_api = "class";
+export { __marko_internal_api as "~api" };
+const MyCard = new (class Template extends Marko._.Template<{
+  render(
+    input: Marko.TemplateInput<Input>,
+    stream?: {
+      write: (chunk: string) => void;
+      end: (chunk?: string) => void;
+    },
+  ): Marko.Out<Component>;
+
+  render(
+    input: Marko.TemplateInput<Input>,
+    cb?: (err: Error | null, result: Marko.RenderResult<Component>) => void,
+  ): Marko.Out<Component>;
+
+  renderSync(input: Marko.TemplateInput<Input>): Marko.RenderResult<Component>;
+
+  renderToString(input: Marko.TemplateInput<Input>): string;
+
+  stream(
+    input: Marko.TemplateInput<Input>,
+  ): ReadableStream<string> & NodeJS.ReadableStream;
+
+  mount(
+    input: Marko.TemplateInput<Input>,
+    reference: Node,
+    position?: "afterbegin" | "afterend" | "beforebegin" | "beforeend",
+  ): Marko.MountedTemplate<typeof input>;
+
+  api: typeof __marko_internal_api;
+  _(): () => <__marko_internal_input extends unknown>(
+    input: Marko.Directives &
+      Input &
+      Marko._.Relate<__marko_internal_input, Marko.Directives & Input>,
+  ) => Marko._.ReturnWithScope<__marko_internal_input, void>;
+}> {})();
+export default MyCard;
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/components/my-list.html b/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/components/my-list.html
new file mode 100644
index 00000000..014af88c
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/components/my-list.html
@@ -0,0 +1 @@
+<ul data-marko-node-id="0" class="fancy"></ul>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/components/my-list.md b/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/components/my-list.md
new file mode 100644
index 00000000..e69de29b
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/components/my-list.ts b/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/components/my-list.ts
new file mode 100644
index 00000000..d3c38183
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/components/my-list.ts
@@ -0,0 +1,66 @@
+export interface Input {
+  renderBody: Marko.Body;
+}
+abstract class Component extends Marko.Component<Input> {}
+export { type Component };
+(function (this: void) {
+  const input = Marko._.any as Input;
+  const component = Marko._.any as Component;
+  const state = Marko._.state(component);
+  const out = Marko._.any as Marko.Out;
+  const $signal = Marko._.any as AbortSignal;
+  const $global = Marko._.getGlobal(
+    // @ts-expect-error We expect the compiler to error because we are checking if the MarkoRun.Context is defined.
+    (Marko._.error, Marko._.any as MarkoRun.Context),
+  );
+  Marko._.renderNativeTag("ul")()()({
+    class: "fancy",
+    [Marko._.content]: (() => {
+      const __marko_internal_tag_1 = input.renderBody;
+      Marko._.renderDynamicTag(__marko_internal_tag_1)()()({});
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  Marko._.noop({ component, state, out, input, $global, $signal });
+  return;
+})();
+const __marko_internal_api = "class";
+export { __marko_internal_api as "~api" };
+const MyList = new (class Template extends Marko._.Template<{
+  render(
+    input: Marko.TemplateInput<Input>,
+    stream?: {
+      write: (chunk: string) => void;
+      end: (chunk?: string) => void;
+    },
+  ): Marko.Out<Component>;
+
+  render(
+    input: Marko.TemplateInput<Input>,
+    cb?: (err: Error | null, result: Marko.RenderResult<Component>) => void,
+  ): Marko.Out<Component>;
+
+  renderSync(input: Marko.TemplateInput<Input>): Marko.RenderResult<Component>;
+
+  renderToString(input: Marko.TemplateInput<Input>): string;
+
+  stream(
+    input: Marko.TemplateInput<Input>,
+  ): ReadableStream<string> & NodeJS.ReadableStream;
+
+  mount(
+    input: Marko.TemplateInput<Input>,
+    reference: Node,
+    position?: "afterbegin" | "afterend" | "beforebegin" | "beforeend",
+  ): Marko.MountedTemplate<typeof input>;
+
+  api: typeof __marko_internal_api;
+  _(): () => <__marko_internal_input extends unknown>(
+    input: Marko.Directives &
+      Input &
+      Marko._.Relate<__marko_internal_input, Marko.Directives & Input>,
+  ) => Marko._.ReturnWithScope<__marko_internal_input, void>;
+}> {})();
+export default MyList;
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/index.html b/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/index.html
new file mode 100644
index 00000000..b2701cfd
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/index.html
@@ -0,0 +1,6 @@
+<ul data-marko-node-id="my-list.marko#0" class="fancy">
+  <li data-marko-node-id="0">one</li>
+  <li data-marko-node-id="1">two</li>
+</ul><div data-marko-node-id="my-card.marko#0" class="card">
+  <li data-marko-node-id="2">stray</li>
+</div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/index.md b/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/index.md
new file mode 100644
index 00000000..0e6a22d2
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/index.md
@@ -0,0 +1,12 @@
+## Diagnostics
+### Ln 7, Col 4
+```marko
+  5 |
+  6 | <my-card>
+> 7 |   <li>stray</li>
+    |    ^^ Fix any of the following:
+  List item does not have a <ul>, <ol> parent element
+  8 | </my-card>
+  9 |
+```
+
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/index.ts b/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/index.ts
new file mode 100644
index 00000000..5e5823b2
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-slot/__snapshots__/child-template-slot.expected/index.ts
@@ -0,0 +1,94 @@
+export interface Input {}
+abstract class Component extends Marko.Component<Input> {}
+export { type Component };
+(function (this: void) {
+  const input = Marko._.any as Input;
+  const component = Marko._.any as Component;
+  const state = Marko._.state(component);
+  const out = Marko._.any as Marko.Out;
+  const $signal = Marko._.any as AbortSignal;
+  const $global = Marko._.getGlobal(
+    // @ts-expect-error We expect the compiler to error because we are checking if the MarkoRun.Context is defined.
+    (Marko._.error, Marko._.any as MarkoRun.Context),
+  );
+  const __marko_internal_tag_1 = Marko._.resolveTemplate(
+    import("./components/my-list.marko"),
+  );
+  Marko._.renderTemplate(__marko_internal_tag_1)()()({
+    [Marko._.contentFor(__marko_internal_tag_1)]: (() => {
+      Marko._.renderNativeTag("li")()()({
+        [Marko._.content]: (() => {
+          return () => {
+            return Marko._.voidReturn;
+          };
+        })(),
+      });
+      Marko._.renderNativeTag("li")()()({
+        [Marko._.content]: (() => {
+          return () => {
+            return Marko._.voidReturn;
+          };
+        })(),
+      });
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  const __marko_internal_tag_2 = Marko._.resolveTemplate(
+    import("./components/my-card.marko"),
+  );
+  Marko._.renderTemplate(__marko_internal_tag_2)()()({
+    [Marko._.contentFor(__marko_internal_tag_2)]: (() => {
+      Marko._.renderNativeTag("li")()()({
+        [Marko._.content]: (() => {
+          return () => {
+            return Marko._.voidReturn;
+          };
+        })(),
+      });
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  Marko._.noop({ component, state, out, input, $global, $signal });
+  return;
+})();
+const __marko_internal_api = "class";
+export { __marko_internal_api as "~api" };
+export default new (class Template extends Marko._.Template<{
+  render(
+    input: Marko.TemplateInput<Input>,
+    stream?: {
+      write: (chunk: string) => void;
+      end: (chunk?: string) => void;
+    },
+  ): Marko.Out<Component>;
+
+  render(
+    input: Marko.TemplateInput<Input>,
+    cb?: (err: Error | null, result: Marko.RenderResult<Component>) => void,
+  ): Marko.Out<Component>;
+
+  renderSync(input: Marko.TemplateInput<Input>): Marko.RenderResult<Component>;
+
+  renderToString(input: Marko.TemplateInput<Input>): string;
+
+  stream(
+    input: Marko.TemplateInput<Input>,
+  ): ReadableStream<string> & NodeJS.ReadableStream;
+
+  mount(
+    input: Marko.TemplateInput<Input>,
+    reference: Node,
+    position?: "afterbegin" | "afterend" | "beforebegin" | "beforeend",
+  ): Marko.MountedTemplate<typeof input>;
+
+  api: typeof __marko_internal_api;
+  _(): () => <__marko_internal_input extends unknown>(
+    input: Marko.Directives &
+      Input &
+      Marko._.Relate<__marko_internal_input, Marko.Directives & Input>,
+  ) => Marko._.ReturnWithScope<__marko_internal_input, void>;
+}> {})();
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-slot/components/my-card.marko b/packages/language-server/src/__tests__/fixtures/html/child-template-slot/components/my-card.marko
new file mode 100644
index 00000000..75f47054
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-slot/components/my-card.marko
@@ -0,0 +1,5 @@
+export interface Input {
+  renderBody: Marko.Body;
+}
+
+<div class="card"><${input.renderBody}/></div>
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-slot/components/my-list.marko b/packages/language-server/src/__tests__/fixtures/html/child-template-slot/components/my-list.marko
new file mode 100644
index 00000000..5dce00f3
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-slot/components/my-list.marko
@@ -0,0 +1,5 @@
+export interface Input {
+  renderBody: Marko.Body;
+}
+
+<ul class="fancy"><${input.renderBody}/></ul>
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-slot/index.marko b/packages/language-server/src/__tests__/fixtures/html/child-template-slot/index.marko
new file mode 100644
index 00000000..f20ca1d2
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-slot/index.marko
@@ -0,0 +1,8 @@
+<my-list>
+  <li>one</li>
+  <li>two</li>
+</my-list>
+
+<my-card>
+  <li>stray</li>
+</my-card>
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/components/plain-box.html b/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/components/plain-box.html
new file mode 100644
index 00000000..8c3a4459
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/components/plain-box.html
@@ -0,0 +1 @@
+<div data-marko-node-id="0">box</div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/components/plain-box.md b/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/components/plain-box.md
new file mode 100644
index 00000000..e69de29b
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/components/plain-box.ts b/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/components/plain-box.ts
new file mode 100644
index 00000000..e0338f13
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/components/plain-box.ts
@@ -0,0 +1,61 @@
+export interface Input {}
+abstract class Component extends Marko.Component<Input> {}
+export { type Component };
+(function (this: void) {
+  const input = Marko._.any as Input;
+  const component = Marko._.any as Component;
+  const state = Marko._.state(component);
+  const out = Marko._.any as Marko.Out;
+  const $signal = Marko._.any as AbortSignal;
+  const $global = Marko._.getGlobal(
+    // @ts-expect-error We expect the compiler to error because we are checking if the MarkoRun.Context is defined.
+    (Marko._.error, Marko._.any as MarkoRun.Context),
+  );
+  Marko._.renderNativeTag("div")()()({
+    [Marko._.content]: (() => {
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  Marko._.noop({ component, state, out, input, $global, $signal });
+  return;
+})();
+const __marko_internal_api = "class";
+export { __marko_internal_api as "~api" };
+const PlainBox = new (class Template extends Marko._.Template<{
+  render(
+    input: Marko.TemplateInput<Input>,
+    stream?: {
+      write: (chunk: string) => void;
+      end: (chunk?: string) => void;
+    },
+  ): Marko.Out<Component>;
+
+  render(
+    input: Marko.TemplateInput<Input>,
+    cb?: (err: Error | null, result: Marko.RenderResult<Component>) => void,
+  ): Marko.Out<Component>;
+
+  renderSync(input: Marko.TemplateInput<Input>): Marko.RenderResult<Component>;
+
+  renderToString(input: Marko.TemplateInput<Input>): string;
+
+  stream(
+    input: Marko.TemplateInput<Input>,
+  ): ReadableStream<string> & NodeJS.ReadableStream;
+
+  mount(
+    input: Marko.TemplateInput<Input>,
+    reference: Node,
+    position?: "afterbegin" | "afterend" | "beforebegin" | "beforeend",
+  ): Marko.MountedTemplate<typeof input>;
+
+  api: typeof __marko_internal_api;
+  _(): () => <__marko_internal_input extends unknown>(
+    input: Marko.Directives &
+      Input &
+      Marko._.Relate<__marko_internal_input, Marko.Directives & Input>,
+  ) => Marko._.ReturnWithScope<__marko_internal_input, void>;
+}> {})();
+export default PlainBox;
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/components/raw-html.html b/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/components/raw-html.html
new file mode 100644
index 00000000..7693b577
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/components/raw-html.html
@@ -0,0 +1 @@
+<div data-marko-node-id="0">placeholder</div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/components/raw-html.md b/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/components/raw-html.md
new file mode 100644
index 00000000..e69de29b
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/components/raw-html.ts b/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/components/raw-html.ts
new file mode 100644
index 00000000..448b9f43
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/components/raw-html.ts
@@ -0,0 +1,64 @@
+export interface Input {
+  html?: string;
+}
+abstract class Component extends Marko.Component<Input> {}
+export { type Component };
+(function (this: void) {
+  const input = Marko._.any as Input;
+  const component = Marko._.any as Component;
+  const state = Marko._.state(component);
+  const out = Marko._.any as Marko.Out;
+  const $signal = Marko._.any as AbortSignal;
+  const $global = Marko._.getGlobal(
+    // @ts-expect-error We expect the compiler to error because we are checking if the MarkoRun.Context is defined.
+    (Marko._.error, Marko._.any as MarkoRun.Context),
+  );
+  Marko._.renderNativeTag("div")()()({
+    [Marko._.content]: (() => {
+      input.html;
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  Marko._.noop({ component, state, out, input, $global, $signal });
+  return;
+})();
+const __marko_internal_api = "class";
+export { __marko_internal_api as "~api" };
+const RawHtml = new (class Template extends Marko._.Template<{
+  render(
+    input: Marko.TemplateInput<Input>,
+    stream?: {
+      write: (chunk: string) => void;
+      end: (chunk?: string) => void;
+    },
+  ): Marko.Out<Component>;
+
+  render(
+    input: Marko.TemplateInput<Input>,
+    cb?: (err: Error | null, result: Marko.RenderResult<Component>) => void,
+  ): Marko.Out<Component>;
+
+  renderSync(input: Marko.TemplateInput<Input>): Marko.RenderResult<Component>;
+
+  renderToString(input: Marko.TemplateInput<Input>): string;
+
+  stream(
+    input: Marko.TemplateInput<Input>,
+  ): ReadableStream<string> & NodeJS.ReadableStream;
+
+  mount(
+    input: Marko.TemplateInput<Input>,
+    reference: Node,
+    position?: "afterbegin" | "afterend" | "beforebegin" | "beforeend",
+  ): Marko.MountedTemplate<typeof input>;
+
+  api: typeof __marko_internal_api;
+  _(): () => <__marko_internal_input extends unknown>(
+    input: Marko.Directives &
+      Input &
+      Marko._.Relate<__marko_internal_input, Marko.Directives & Input>,
+  ) => Marko._.ReturnWithScope<__marko_internal_input, void>;
+}> {})();
+export default RawHtml;
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/index.html b/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/index.html
new file mode 100644
index 00000000..48b4bdfb
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/index.html
@@ -0,0 +1,5 @@
+<ul data-marko-node-id="0">
+  <div data-marko-node-id="raw-html.marko#0">placeholder</div>
+</ul><ul data-marko-node-id="1">
+  <div data-marko-node-id="plain-box.marko#0">box</div>
+</ul>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/index.md b/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/index.md
new file mode 100644
index 00000000..138646c1
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/index.md
@@ -0,0 +1,13 @@
+## Diagnostics
+### Ln 5, Col 2
+```marko
+  3 | </ul>
+  4 |
+> 5 | <ul>
+    |  ^^ Fix all of the following:
+  List element has direct children that are not allowed: div
+  6 |   <plain-box/>
+  7 | </ul>
+  8 |
+```
+
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/index.ts b/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/index.ts
new file mode 100644
index 00000000..81da6786
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/__snapshots__/child-template-uncertain.expected/index.ts
@@ -0,0 +1,75 @@
+export interface Input {}
+abstract class Component extends Marko.Component<Input> {}
+export { type Component };
+(function (this: void) {
+  const input = Marko._.any as Input;
+  const component = Marko._.any as Component;
+  const state = Marko._.state(component);
+  const out = Marko._.any as Marko.Out;
+  const $signal = Marko._.any as AbortSignal;
+  const $global = Marko._.getGlobal(
+    // @ts-expect-error We expect the compiler to error because we are checking if the MarkoRun.Context is defined.
+    (Marko._.error, Marko._.any as MarkoRun.Context),
+  );
+  Marko._.renderNativeTag("ul")()()({
+    [Marko._.content]: (() => {
+      const __marko_internal_tag_1 = Marko._.resolveTemplate(
+        import("./components/raw-html.marko"),
+      );
+      Marko._.renderTemplate(__marko_internal_tag_1)()()({});
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  Marko._.renderNativeTag("ul")()()({
+    [Marko._.content]: (() => {
+      const __marko_internal_tag_2 = Marko._.resolveTemplate(
+        import("./components/plain-box.marko"),
+      );
+      Marko._.renderTemplate(__marko_internal_tag_2)()()({});
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  Marko._.noop({ component, state, out, input, $global, $signal });
+  return;
+})();
+const __marko_internal_api = "class";
+export { __marko_internal_api as "~api" };
+export default new (class Template extends Marko._.Template<{
+  render(
+    input: Marko.TemplateInput<Input>,
+    stream?: {
+      write: (chunk: string) => void;
+      end: (chunk?: string) => void;
+    },
+  ): Marko.Out<Component>;
+
+  render(
+    input: Marko.TemplateInput<Input>,
+    cb?: (err: Error | null, result: Marko.RenderResult<Component>) => void,
+  ): Marko.Out<Component>;
+
+  renderSync(input: Marko.TemplateInput<Input>): Marko.RenderResult<Component>;
+
+  renderToString(input: Marko.TemplateInput<Input>): string;
+
+  stream(
+    input: Marko.TemplateInput<Input>,
+  ): ReadableStream<string> & NodeJS.ReadableStream;
+
+  mount(
+    input: Marko.TemplateInput<Input>,
+    reference: Node,
+    position?: "afterbegin" | "afterend" | "beforebegin" | "beforeend",
+  ): Marko.MountedTemplate<typeof input>;
+
+  api: typeof __marko_internal_api;
+  _(): () => <__marko_internal_input extends unknown>(
+    input: Marko.Directives &
+      Input &
+      Marko._.Relate<__marko_internal_input, Marko.Directives & Input>,
+  ) => Marko._.ReturnWithScope<__marko_internal_input, void>;
+}> {})();
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/components/plain-box.marko b/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/components/plain-box.marko
new file mode 100644
index 00000000..b97ad6f0
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/components/plain-box.marko
@@ -0,0 +1 @@
+<div>box</div>
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/components/raw-html.marko b/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/components/raw-html.marko
new file mode 100644
index 00000000..b594f7e3
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/components/raw-html.marko
@@ -0,0 +1,5 @@
+export interface Input {
+  html?: string;
+}
+
+<div>$!{input.html}</div>
diff --git a/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/index.marko b/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/index.marko
new file mode 100644
index 00000000..7334501b
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/child-template-uncertain/index.marko
@@ -0,0 +1,7 @@
+<ul>
+  <raw-html/>
+</ul>
+
+<ul>
+  <plain-box/>
+</ul>
diff --git a/packages/language-server/src/__tests__/fixtures/html/control-flow-conditional/__snapshots__/control-flow-conditional.expected/index.html b/packages/language-server/src/__tests__/fixtures/html/control-flow-conditional/__snapshots__/control-flow-conditional.expected/index.html
new file mode 100644
index 00000000..365becd3
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/control-flow-conditional/__snapshots__/control-flow-conditional.expected/index.html
@@ -0,0 +1,15 @@
+<ul data-marko-node-id="0">
+  
+    <li data-marko-node-id="1">a</li>
+  
+  
+    <li data-marko-node-id="2">b</li>
+  
+</ul><div data-marko-node-id="3">
+  
+    <li data-marko-node-id="4">stray</li>
+  
+</div>
+  <a data-marko-node-id="5" href="/first" accesskey="q">First</a>
+
+  <a data-marko-node-id="6" href="/second" accesskey="q">Second</a>
diff --git a/packages/language-server/src/__tests__/fixtures/html/control-flow-conditional/__snapshots__/control-flow-conditional.expected/index.md b/packages/language-server/src/__tests__/fixtures/html/control-flow-conditional/__snapshots__/control-flow-conditional.expected/index.md
new file mode 100644
index 00000000..1ee59090
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/control-flow-conditional/__snapshots__/control-flow-conditional.expected/index.md
@@ -0,0 +1,13 @@
+## Diagnostics
+### Ln 16, Col 6
+```marko
+  14 | <div>
+  15 |   <if=input.a>
+> 16 |     <li>stray</li>
+     |      ^^ Fix any of the following:
+  List item does not have a <ul>, <ol> parent element
+  17 |   </if>
+  18 | </div>
+  19 |
+```
+
diff --git a/packages/language-server/src/__tests__/fixtures/html/control-flow-conditional/__snapshots__/control-flow-conditional.expected/index.ts b/packages/language-server/src/__tests__/fixtures/html/control-flow-conditional/__snapshots__/control-flow-conditional.expected/index.ts
new file mode 100644
index 00000000..3e55d143
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/control-flow-conditional/__snapshots__/control-flow-conditional.expected/index.ts
@@ -0,0 +1,116 @@
+export interface Input {
+  a: boolean;
+}
+abstract class Component extends Marko.Component<Input> {}
+export { type Component };
+(function (this: void) {
+  const input = Marko._.any as Input;
+  const component = Marko._.any as Component;
+  const state = Marko._.state(component);
+  const out = Marko._.any as Marko.Out;
+  const $signal = Marko._.any as AbortSignal;
+  const $global = Marko._.getGlobal(
+    // @ts-expect-error We expect the compiler to error because we are checking if the MarkoRun.Context is defined.
+    (Marko._.error, Marko._.any as MarkoRun.Context),
+  );
+  Marko._.renderNativeTag("ul")()()({
+    [Marko._.content]: (() => {
+      if (input.a) {
+        Marko._.renderNativeTag("li")()()({
+          [Marko._.content]: (() => {
+            return () => {
+              return Marko._.voidReturn;
+            };
+          })(),
+        });
+      } else {
+        Marko._.renderNativeTag("li")()()({
+          [Marko._.content]: (() => {
+            return () => {
+              return Marko._.voidReturn;
+            };
+          })(),
+        });
+      }
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  Marko._.renderNativeTag("div")()()({
+    [Marko._.content]: (() => {
+      if (input.a) {
+        Marko._.renderNativeTag("li")()()({
+          [Marko._.content]: (() => {
+            return () => {
+              return Marko._.voidReturn;
+            };
+          })(),
+        });
+      }
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  if (input.a) {
+    Marko._.renderNativeTag("a")()()({
+      href: "/first",
+      accesskey: "q",
+      [Marko._.content]: (() => {
+        return () => {
+          return Marko._.voidReturn;
+        };
+      })(),
+    });
+  } else {
+    Marko._.renderNativeTag("a")()()({
+      href: "/second",
+      accesskey: "q",
+      [Marko._.content]: (() => {
+        return () => {
+          return Marko._.voidReturn;
+        };
+      })(),
+    });
+  }
+  Marko._.noop({ component, state, out, input, $global, $signal });
+  return;
+})();
+const __marko_internal_api = "class";
+export { __marko_internal_api as "~api" };
+export default new (class Template extends Marko._.Template<{
+  render(
+    input: Marko.TemplateInput<Input>,
+    stream?: {
+      write: (chunk: string) => void;
+      end: (chunk?: string) => void;
+    },
+  ): Marko.Out<Component>;
+
+  render(
+    input: Marko.TemplateInput<Input>,
+    cb?: (err: Error | null, result: Marko.RenderResult<Component>) => void,
+  ): Marko.Out<Component>;
+
+  renderSync(input: Marko.TemplateInput<Input>): Marko.RenderResult<Component>;
+
+  renderToString(input: Marko.TemplateInput<Input>): string;
+
+  stream(
+    input: Marko.TemplateInput<Input>,
+  ): ReadableStream<string> & NodeJS.ReadableStream;
+
+  mount(
+    input: Marko.TemplateInput<Input>,
+    reference: Node,
+    position?: "afterbegin" | "afterend" | "beforebegin" | "beforeend",
+  ): Marko.MountedTemplate<typeof input>;
+
+  api: typeof __marko_internal_api;
+  _(): () => <__marko_internal_input extends unknown>(
+    input: Marko.Directives &
+      Input &
+      Marko._.Relate<__marko_internal_input, Marko.Directives & Input>,
+  ) => Marko._.ReturnWithScope<__marko_internal_input, void>;
+}> {})();
diff --git a/packages/language-server/src/__tests__/fixtures/html/control-flow-conditional/index.marko b/packages/language-server/src/__tests__/fixtures/html/control-flow-conditional/index.marko
new file mode 100644
index 00000000..2cf3771b
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/control-flow-conditional/index.marko
@@ -0,0 +1,25 @@
+export interface Input {
+  a: boolean;
+}
+
+<ul>
+  <if=input.a>
+    <li>a</li>
+  </if>
+  <else>
+    <li>b</li>
+  </else>
+</ul>
+
+<div>
+  <if=input.a>
+    <li>stray</li>
+  </if>
+</div>
+
+<if=input.a>
+  <a href="/first" accesskey="q">First</a>
+</if>
+<else>
+  <a href="/second" accesskey="q">Second</a>
+</else>
diff --git a/packages/language-server/src/__tests__/fixtures/html/dlitem-context/__snapshots__/dlitem-context.expected/index.html b/packages/language-server/src/__tests__/fixtures/html/dlitem-context/__snapshots__/dlitem-context.expected/index.html
new file mode 100644
index 00000000..fa2e2595
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/dlitem-context/__snapshots__/dlitem-context.expected/index.html
@@ -0,0 +1,8 @@
+<dl data-marko-node-id="0">
+  <div data-marko-node-id="1">
+    <dt data-marko-node-id="2">term</dt>
+    <dd data-marko-node-id="3">definition</dd>
+  </div>
+</dl><section data-marko-node-id="4">
+  <dt data-marko-node-id="5">stray term</dt>
+</section>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/html/dlitem-context/__snapshots__/dlitem-context.expected/index.md b/packages/language-server/src/__tests__/fixtures/html/dlitem-context/__snapshots__/dlitem-context.expected/index.md
new file mode 100644
index 00000000..7298d69e
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/dlitem-context/__snapshots__/dlitem-context.expected/index.md
@@ -0,0 +1,12 @@
+## Diagnostics
+### Ln 9, Col 4
+```marko
+   7 |
+   8 | <section>
+>  9 |   <dt>stray term</dt>
+     |    ^^ Fix any of the following:
+  Description list item does not have a <dl> parent element
+  10 | </section>
+  11 |
+```
+
diff --git a/packages/language-server/src/__tests__/fixtures/html/dlitem-context/__snapshots__/dlitem-context.expected/index.ts b/packages/language-server/src/__tests__/fixtures/html/dlitem-context/__snapshots__/dlitem-context.expected/index.ts
new file mode 100644
index 00000000..7945b1a2
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/dlitem-context/__snapshots__/dlitem-context.expected/index.ts
@@ -0,0 +1,95 @@
+export interface Input {}
+abstract class Component extends Marko.Component<Input> {}
+export { type Component };
+(function (this: void) {
+  const input = Marko._.any as Input;
+  const component = Marko._.any as Component;
+  const state = Marko._.state(component);
+  const out = Marko._.any as Marko.Out;
+  const $signal = Marko._.any as AbortSignal;
+  const $global = Marko._.getGlobal(
+    // @ts-expect-error We expect the compiler to error because we are checking if the MarkoRun.Context is defined.
+    (Marko._.error, Marko._.any as MarkoRun.Context),
+  );
+  Marko._.renderNativeTag("dl")()()({
+    [Marko._.content]: (() => {
+      Marko._.renderNativeTag("div")()()({
+        [Marko._.content]: (() => {
+          Marko._.renderNativeTag("dt")()()({
+            [Marko._.content]: (() => {
+              return () => {
+                return Marko._.voidReturn;
+              };
+            })(),
+          });
+          Marko._.renderNativeTag("dd")()()({
+            [Marko._.content]: (() => {
+              return () => {
+                return Marko._.voidReturn;
+              };
+            })(),
+          });
+          return () => {
+            return Marko._.voidReturn;
+          };
+        })(),
+      });
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  Marko._.renderNativeTag("section")()()({
+    [Marko._.content]: (() => {
+      Marko._.renderNativeTag("dt")()()({
+        [Marko._.content]: (() => {
+          return () => {
+            return Marko._.voidReturn;
+          };
+        })(),
+      });
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  Marko._.noop({ component, state, out, input, $global, $signal });
+  return;
+})();
+const __marko_internal_api = "class";
+export { __marko_internal_api as "~api" };
+export default new (class Template extends Marko._.Template<{
+  render(
+    input: Marko.TemplateInput<Input>,
+    stream?: {
+      write: (chunk: string) => void;
+      end: (chunk?: string) => void;
+    },
+  ): Marko.Out<Component>;
+
+  render(
+    input: Marko.TemplateInput<Input>,
+    cb?: (err: Error | null, result: Marko.RenderResult<Component>) => void,
+  ): Marko.Out<Component>;
+
+  renderSync(input: Marko.TemplateInput<Input>): Marko.RenderResult<Component>;
+
+  renderToString(input: Marko.TemplateInput<Input>): string;
+
+  stream(
+    input: Marko.TemplateInput<Input>,
+  ): ReadableStream<string> & NodeJS.ReadableStream;
+
+  mount(
+    input: Marko.TemplateInput<Input>,
+    reference: Node,
+    position?: "afterbegin" | "afterend" | "beforebegin" | "beforeend",
+  ): Marko.MountedTemplate<typeof input>;
+
+  api: typeof __marko_internal_api;
+  _(): () => <__marko_internal_input extends unknown>(
+    input: Marko.Directives &
+      Input &
+      Marko._.Relate<__marko_internal_input, Marko.Directives & Input>,
+  ) => Marko._.ReturnWithScope<__marko_internal_input, void>;
+}> {})();
diff --git a/packages/language-server/src/__tests__/fixtures/html/dlitem-context/index.marko b/packages/language-server/src/__tests__/fixtures/html/dlitem-context/index.marko
new file mode 100644
index 00000000..73661c84
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/dlitem-context/index.marko
@@ -0,0 +1,10 @@
+<dl>
+  <div>
+    <dt>term</dt>
+    <dd>definition</dd>
+  </div>
+</dl>
+
+<section>
+  <dt>stray term</dt>
+</section>
diff --git a/packages/language-server/src/__tests__/fixtures/html/full-document-dynamic/__snapshots__/full-document-dynamic.expected/index.html b/packages/language-server/src/__tests__/fixtures/html/full-document-dynamic/__snapshots__/full-document-dynamic.expected/index.html
new file mode 100644
index 00000000..a2365eed
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/full-document-dynamic/__snapshots__/full-document-dynamic.expected/index.html
@@ -0,0 +1,13 @@
+<html data-marko-node-id="0" lang="en">
+  <head data-marko-node-id="1">
+    <title data-marko-node-id="2">Dynamic page</title>
+  </head>
+  <body data-marko-node-id="3" class="dynamic">
+    <main data-marko-node-id="4">
+      <h1 data-marko-node-id="5">Welcome</h1>
+      <h4 data-marko-node-id="6">Skipped a level</h4>
+      <div data-marko-node-id="7" role="tab">Orphan tab</div>
+      <input data-marko-node-id="8" type="text">
+    </main>
+  </body>
+</html>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/html/full-document-dynamic/__snapshots__/full-document-dynamic.expected/index.md b/packages/language-server/src/__tests__/fixtures/html/full-document-dynamic/__snapshots__/full-document-dynamic.expected/index.md
new file mode 100644
index 00000000..e69de29b
diff --git a/packages/language-server/src/__tests__/fixtures/html/full-document-dynamic/__snapshots__/full-document-dynamic.expected/index.ts b/packages/language-server/src/__tests__/fixtures/html/full-document-dynamic/__snapshots__/full-document-dynamic.expected/index.ts
new file mode 100644
index 00000000..53f92363
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/full-document-dynamic/__snapshots__/full-document-dynamic.expected/index.ts
@@ -0,0 +1,117 @@
+export interface Input {
+  theme: string;
+}
+abstract class Component extends Marko.Component<Input> {}
+export { type Component };
+(function (this: void) {
+  const input = Marko._.any as Input;
+  const component = Marko._.any as Component;
+  const state = Marko._.state(component);
+  const out = Marko._.any as Marko.Out;
+  const $signal = Marko._.any as AbortSignal;
+  const $global = Marko._.getGlobal(
+    // @ts-expect-error We expect the compiler to error because we are checking if the MarkoRun.Context is defined.
+    (Marko._.error, Marko._.any as MarkoRun.Context),
+  );
+  Marko._.renderNativeTag("html")()()({
+    lang: "en",
+    [Marko._.content]: (() => {
+      Marko._.renderNativeTag("head")()()({
+        [Marko._.content]: (() => {
+          Marko._.renderNativeTag("title")()()({
+            [Marko._.content]: (() => {
+              return () => {
+                return Marko._.voidReturn;
+              };
+            })(),
+          });
+          return () => {
+            return Marko._.voidReturn;
+          };
+        })(),
+      });
+      Marko._.renderNativeTag("body")()()({
+        class: input.theme,
+        [Marko._.content]: (() => {
+          Marko._.renderNativeTag("main")()()({
+            [Marko._.content]: (() => {
+              Marko._.renderNativeTag("h1")()()({
+                [Marko._.content]: (() => {
+                  return () => {
+                    return Marko._.voidReturn;
+                  };
+                })(),
+              });
+              Marko._.renderNativeTag("h4")()()({
+                [Marko._.content]: (() => {
+                  return () => {
+                    return Marko._.voidReturn;
+                  };
+                })(),
+              });
+              Marko._.renderNativeTag("div")()()({
+                role: "tab",
+                [Marko._.content]: (() => {
+                  return () => {
+                    return Marko._.voidReturn;
+                  };
+                })(),
+              });
+              Marko._.renderNativeTag("input")()()({
+                type: "text",
+              });
+              return () => {
+                return Marko._.voidReturn;
+              };
+            })(),
+          });
+          return () => {
+            return Marko._.voidReturn;
+          };
+        })(),
+      });
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  Marko._.noop({ component, state, out, input, $global, $signal });
+  return;
+})();
+const __marko_internal_api = "class";
+export { __marko_internal_api as "~api" };
+export default new (class Template extends Marko._.Template<{
+  render(
+    input: Marko.TemplateInput<Input>,
+    stream?: {
+      write: (chunk: string) => void;
+      end: (chunk?: string) => void;
+    },
+  ): Marko.Out<Component>;
+
+  render(
+    input: Marko.TemplateInput<Input>,
+    cb?: (err: Error | null, result: Marko.RenderResult<Component>) => void,
+  ): Marko.Out<Component>;
+
+  renderSync(input: Marko.TemplateInput<Input>): Marko.RenderResult<Component>;
+
+  renderToString(input: Marko.TemplateInput<Input>): string;
+
+  stream(
+    input: Marko.TemplateInput<Input>,
+  ): ReadableStream<string> & NodeJS.ReadableStream;
+
+  mount(
+    input: Marko.TemplateInput<Input>,
+    reference: Node,
+    position?: "afterbegin" | "afterend" | "beforebegin" | "beforeend",
+  ): Marko.MountedTemplate<typeof input>;
+
+  api: typeof __marko_internal_api;
+  _(): () => <__marko_internal_input extends unknown>(
+    input: Marko.Directives &
+      Input &
+      Marko._.Relate<__marko_internal_input, Marko.Directives & Input>,
+  ) => Marko._.ReturnWithScope<__marko_internal_input, void>;
+}> {})();
diff --git a/packages/language-server/src/__tests__/fixtures/html/full-document-dynamic/index.marko b/packages/language-server/src/__tests__/fixtures/html/full-document-dynamic/index.marko
new file mode 100644
index 00000000..2f7c357d
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/full-document-dynamic/index.marko
@@ -0,0 +1,17 @@
+export interface Input {
+  theme: string;
+}
+
+<html lang="en">
+  <head>
+    <title>Dynamic page</title>
+  </head>
+  <body class=input.theme>
+    <main>
+      <h1>Welcome</h1>
+      <h4>Skipped a level</h4>
+      <div role="tab">Orphan tab</div>
+      <input type="text">
+    </main>
+  </body>
+</html>
diff --git a/packages/language-server/src/__tests__/fixtures/html/full-document/__snapshots__/full-document.expected/index.html b/packages/language-server/src/__tests__/fixtures/html/full-document/__snapshots__/full-document.expected/index.html
new file mode 100644
index 00000000..561c46cd
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/full-document/__snapshots__/full-document.expected/index.html
@@ -0,0 +1,13 @@
+<html data-marko-node-id="0" lang="en">
+  <head data-marko-node-id="1">
+    <title data-marko-node-id="2">Static page</title>
+  </head>
+  <body data-marko-node-id="3">
+    <main data-marko-node-id="4">
+      <h1 data-marko-node-id="5">Welcome</h1>
+      <h4 data-marko-node-id="6">Skipped a level</h4>
+      <div data-marko-node-id="7" role="tab">Orphan tab</div>
+      <input data-marko-node-id="8" type="text">
+    </main>
+  </body>
+</html>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/html/full-document/__snapshots__/full-document.expected/index.md b/packages/language-server/src/__tests__/fixtures/html/full-document/__snapshots__/full-document.expected/index.md
new file mode 100644
index 00000000..4234d37d
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/full-document/__snapshots__/full-document.expected/index.md
@@ -0,0 +1,43 @@
+## Diagnostics
+### Ln 9, Col 8
+```marko
+   7 |       <h1>Welcome</h1>
+   8 |       <h4>Skipped a level</h4>
+>  9 |       <div role="tab">Orphan tab</div>
+     |        ^^^ Fix any of the following:
+  Required ARIA parent role not present: tablist
+  10 |       <input type="text">
+  11 |     </main>
+  12 |   </body>
+```
+
+### Ln 8, Col 8
+```marko
+   6 |     <main>
+   7 |       <h1>Welcome</h1>
+>  8 |       <h4>Skipped a level</h4>
+     |        ^^ Fix any of the following:
+  Heading order invalid
+   9 |       <div role="tab">Orphan tab</div>
+  10 |       <input type="text">
+  11 |     </main>
+```
+
+### Ln 10, Col 8
+```marko
+   8 |       <h4>Skipped a level</h4>
+   9 |       <div role="tab">Orphan tab</div>
+> 10 |       <input type="text">
+     |        ^^^^^ Fix any of the following:
+  Element does not have an implicit (wrapped) <label>
+  Element does not have an explicit <label>
+  aria-label attribute does not exist or is empty
+  aria-labelledby attribute does not exist, references elements that do not exist or references elements that are empty
+  Element has no title attribute
+  Element has no placeholder attribute
+  Element's default semantics were not overridden with role="none" or role="presentation"
+  11 |     </main>
+  12 |   </body>
+  13 | </html>
+```
+
diff --git a/packages/language-server/src/__tests__/fixtures/html/full-document/__snapshots__/full-document.expected/index.ts b/packages/language-server/src/__tests__/fixtures/html/full-document/__snapshots__/full-document.expected/index.ts
new file mode 100644
index 00000000..cbc82866
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/full-document/__snapshots__/full-document.expected/index.ts
@@ -0,0 +1,114 @@
+export interface Input {}
+abstract class Component extends Marko.Component<Input> {}
+export { type Component };
+(function (this: void) {
+  const input = Marko._.any as Input;
+  const component = Marko._.any as Component;
+  const state = Marko._.state(component);
+  const out = Marko._.any as Marko.Out;
+  const $signal = Marko._.any as AbortSignal;
+  const $global = Marko._.getGlobal(
+    // @ts-expect-error We expect the compiler to error because we are checking if the MarkoRun.Context is defined.
+    (Marko._.error, Marko._.any as MarkoRun.Context),
+  );
+  Marko._.renderNativeTag("html")()()({
+    lang: "en",
+    [Marko._.content]: (() => {
+      Marko._.renderNativeTag("head")()()({
+        [Marko._.content]: (() => {
+          Marko._.renderNativeTag("title")()()({
+            [Marko._.content]: (() => {
+              return () => {
+                return Marko._.voidReturn;
+              };
+            })(),
+          });
+          return () => {
+            return Marko._.voidReturn;
+          };
+        })(),
+      });
+      Marko._.renderNativeTag("body")()()({
+        [Marko._.content]: (() => {
+          Marko._.renderNativeTag("main")()()({
+            [Marko._.content]: (() => {
+              Marko._.renderNativeTag("h1")()()({
+                [Marko._.content]: (() => {
+                  return () => {
+                    return Marko._.voidReturn;
+                  };
+                })(),
+              });
+              Marko._.renderNativeTag("h4")()()({
+                [Marko._.content]: (() => {
+                  return () => {
+                    return Marko._.voidReturn;
+                  };
+                })(),
+              });
+              Marko._.renderNativeTag("div")()()({
+                role: "tab",
+                [Marko._.content]: (() => {
+                  return () => {
+                    return Marko._.voidReturn;
+                  };
+                })(),
+              });
+              Marko._.renderNativeTag("input")()()({
+                type: "text",
+              });
+              return () => {
+                return Marko._.voidReturn;
+              };
+            })(),
+          });
+          return () => {
+            return Marko._.voidReturn;
+          };
+        })(),
+      });
+      return () => {
+        return Marko._.voidReturn;
+      };
+    })(),
+  });
+  Marko._.noop({ component, state, out, input, $global, $signal });
+  return;
+})();
+const __marko_internal_api = "class";
+export { __marko_internal_api as "~api" };
+export default new (class Template extends Marko._.Template<{
+  render(
+    input: Marko.TemplateInput<Input>,
+    stream?: {
+      write: (chunk: string) => void;
+      end: (chunk?: string) => void;
+    },
+  ): Marko.Out<Component>;
+
+  render(
+    input: Marko.TemplateInput<Input>,
+    cb?: (err: Error | null, result: Marko.RenderResult<Component>) => void,
+  ): Marko.Out<Component>;
+
+  renderSync(input: Marko.TemplateInput<Input>): Marko.RenderResult<Component>;
+
+  renderToString(input: Marko.TemplateInput<Input>): string;
+
+  stream(
+    input: Marko.TemplateInput<Input>,
+  ): ReadableStream<string> & NodeJS.ReadableStream;
+
+  mount(
+    input: Marko.TemplateInput<Input>,
+    reference: Node,
+    position?: "afterbegin" | "afterend" | "beforebegin" | "beforeend",
+  ): Marko.MountedTemplate<typeof input>;
+
+  api: typeof __marko_internal_api;
+  _(): () => <__marko_internal_input extends unknown>(
+    input: Marko.Directives &
+      Input &
+      Marko._.Relate<__marko_internal_input, Marko.Directives & Input>,
+  ) => Marko._.ReturnWithScope<__marko_internal_input, void>;
+}> {})();
diff --git a/packages/language-server/src/__tests__/fixtures/html/full-document/index.marko b/packages/language-server/src/__tests__/fixtures/html/full-document/index.marko
new file mode 100644
index 00000000..f4b5ed28
--- /dev/null
+++ b/packages/language-server/src/__tests__/fixtures/html/full-document/index.marko
@@ -0,0 +1,13 @@
+<html lang="en">
+  <head>
+    <title>Static page</title>
+  </head>
+  <body>
+    <main>
+      <h1>Welcome</h1>
+      <h4>Skipped a level</h4>
+      <div role="tab">Orphan tab</div>
+      <input type="text">
+    </main>
+  </body>
+</html>
diff --git a/packages/language-server/src/__tests__/fixtures/script/attr-class-id-shorthands/__snapshots__/attr-class-id-shorthands.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/attr-class-id-shorthands/__snapshots__/attr-class-id-shorthands.expected/index.html
index b987c922..650b9c04 100644
--- a/packages/language-server/src/__tests__/fixtures/script/attr-class-id-shorthands/__snapshots__/attr-class-id-shorthands.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/attr-class-id-shorthands/__snapshots__/attr-class-id-shorthands.expected/index.html
@@ -1 +1 @@
-<div data-marko-node-id="1"></div><div data-marko-node-id="2"></div><div data-marko-node-id="3"></div><div data-marko-node-id="4"></div><div data-marko-node-id="5"></div><div data-marko-node-id="6"></div><div data-marko-node-id="7"></div><div data-marko-node-id="8"></div><div data-marko-node-id="9"></div>
\ No newline at end of file
+<div data-marko-node-id="0" id="test"></div><div data-marko-node-id="1" id="dynamic"></div><div data-marko-node-id="2" id="dynamic"></div><div data-marko-node-id="3" id="dynamic"></div><div data-marko-node-id="4" class="test"></div><div data-marko-node-id="5" class="hello world"></div><div data-marko-node-id="6" class="dynamic"></div><div data-marko-node-id="7" class="dynamic"></div><div data-marko-node-id="8" class="dynamic"></div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/attr-class-shorthand-merge/__snapshots__/attr-class-shorthand-merge.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/attr-class-shorthand-merge/__snapshots__/attr-class-shorthand-merge.expected/index.html
index e7909005..864751a4 100644
--- a/packages/language-server/src/__tests__/fixtures/script/attr-class-shorthand-merge/__snapshots__/attr-class-shorthand-merge.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/attr-class-shorthand-merge/__snapshots__/attr-class-shorthand-merge.expected/index.html
@@ -1 +1 @@
-<div data-marko-node-id="1" class="foo"></div><div data-marko-node-id="2" class="foo"></div><div data-marko-node-id="3" class="dynamic"></div><div data-marko-node-id="4" class="dynamic"></div><div data-marko-node-id="5" class="dynamic"></div><div data-marko-node-id="6" class="foo"></div><div data-marko-node-id="7" class="dynamic"></div><div data-marko-node-id="8" class="123"></div>
\ No newline at end of file
+<div data-marko-node-id="0" class="btn" class="foo"></div><div data-marko-node-id="1" class="btn other" class="foo"></div><div data-marko-node-id="2" class="btn" class="dynamic"></div><div data-marko-node-id="3" class="btn" class="dynamic"></div><div data-marko-node-id="4" class="btn" class="dynamic"></div><div data-marko-node-id="5" class="dynamic" class="foo"></div><div data-marko-node-id="6" class="dynamic other" class="dynamic"></div><div data-marko-node-id="7" class="btn" class="123"></div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-for-typed/__snapshots__/attr-tags-dynamic-for-typed.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-for-typed/__snapshots__/attr-tags-dynamic-for-typed.expected/index.html
index 874e6c13..fcda88c8 100644
--- a/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-for-typed/__snapshots__/attr-tags-dynamic-for-typed.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-for-typed/__snapshots__/attr-tags-dynamic-for-typed.expected/index.html
@@ -1,13 +1,13 @@
 <div>
-  <div>
+  
     
-      <div data-marko-node-id="2">placeholder placeholder</div>
+      <div data-marko-node-id="0">placeholder placeholder</div>
 
     
-  </div>
+  
 </div><div>
   
-    <div data-marko-node-id="4">placeholder</div>
+    <div data-marko-node-id="1">placeholder</div>
 
   
 </div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-for-typed/__snapshots__/attr-tags-dynamic-for-typed.expected/tags/my-menu/index.html b/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-for-typed/__snapshots__/attr-tags-dynamic-for-typed.expected/tags/my-menu/index.html
index 5d02baf1..c0f4529d 100644
--- a/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-for-typed/__snapshots__/attr-tags-dynamic-for-typed.expected/tags/my-menu/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-for-typed/__snapshots__/attr-tags-dynamic-for-typed.expected/tags/my-menu/index.html
@@ -1,3 +1,2 @@
-<div>
+
   
-</div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-for/__snapshots__/attr-tags-dynamic-for.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-for/__snapshots__/attr-tags-dynamic-for.expected/index.html
index c01b8241..98619eff 100644
--- a/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-for/__snapshots__/attr-tags-dynamic-for.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-for/__snapshots__/attr-tags-dynamic-for.expected/index.html
@@ -1,20 +1,20 @@
 <div>
-  <div>
+  
     
-  </div>
+  
 </div><div>
-  <div>
+  
     
-  </div>
+  
 </div><div>
-  <div>
+  
     
       placeholder placeholder placeholder
 
     
-  </div>
+  
 </div><div>
-  <div>
+  
     
       placeholder
 
@@ -23,51 +23,51 @@
       placeholder
 
     
-  </div>
+  
 </div><div>
-  <div>
+  
     
       
     
-  </div>
+  
 </div><div>
-  <div>
+  
     
       placeholder placeholder
 
     
-  </div>
+  
 </div><div>
-  <div>
+  
     
       
     
-  </div>
+  
 </div><div>
-  <div>
+  
     
       placeholder
 
     
-  </div>
+  
 </div><div>
-  <div>
+  
     
       placeholder
 
     
-  </div>
+  
 </div><div>
-  <div>
+  
     
       placeholder
 
     
-  </div>
+  
 </div><div>
-  <div>
+  
     
       
     
-  </div>
+  
 </div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-if/__snapshots__/attr-tags-dynamic-if.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-if/__snapshots__/attr-tags-dynamic-if.expected/index.html
index fde6ccb9..ee072cf0 100644
--- a/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-if/__snapshots__/attr-tags-dynamic-if.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-if/__snapshots__/attr-tags-dynamic-if.expected/index.html
@@ -1,55 +1,55 @@
 <div>
-  <div>
+  
     
-  </div>
+  
 </div><div>
   
-  <div>
+  
     
-  </div>
+  
 </div><div>
-  <div>
+  
     
-  </div>
-  <div>
+  
+  
     
-  </div>
+  
 </div><div>
-  <div>
+  
     
-  </div>
-  <div>
+  
+  
     
-  </div>
-  <div>
+  
+  
     
-  </div>
-  <div>
+  
+  
     
-  </div>
+  
 </div><div>
-  <div>
+  
     
-  </div>
-  <div>
+  
+  
     
-  </div>
+  
 </div><div>
-  <div>
+  
     
-  </div>
+  
 </div><div>
-  <div>
+  
     
-  </div>
+  
 </div><div>
-  <div>
+  
     
-  </div>
+  
 
-  <div>
+  
     
-  </div>
+  
 </div><div>
   
   
@@ -59,13 +59,13 @@
 
   
 
-  <div>
+  
     
       
     
-  </div>
+  
 
-  <div>
+  
     
-  </div>
+  
 </div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-while/__snapshots__/attr-tags-dynamic-while.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-while/__snapshots__/attr-tags-dynamic-while.expected/index.html
index 2f8ae3c0..c3550c70 100644
--- a/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-while/__snapshots__/attr-tags-dynamic-while.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-while/__snapshots__/attr-tags-dynamic-while.expected/index.html
@@ -1,26 +1,26 @@
 <div>
-  <div>
+  
 
     
       placeholder
 
     
-  </div>
+  
 </div><div>
-  <div>
+  
 
     
       placeholder
 
-      <div>
+      
         
-      </div>
+      
     
-  </div>
+  
 </div><div>
-  <div>
+  
     
       No Condition.
     
-  </div>
+  
 </div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-with-scriptlets/__snapshots__/attr-tags-dynamic-with-scriptlets.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-with-scriptlets/__snapshots__/attr-tags-dynamic-with-scriptlets.expected/index.html
index 53568934..c5ce6829 100644
--- a/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-with-scriptlets/__snapshots__/attr-tags-dynamic-with-scriptlets.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/attr-tags-dynamic-with-scriptlets/__snapshots__/attr-tags-dynamic-with-scriptlets.expected/index.html
@@ -1,34 +1,34 @@
 <div>
-  <div>
+  
 
     
 
     
       placeholder
 
-      <div>
+      
         
-      </div>
+      
     
-  </div>
+  
 </div><div>
-  <div>
+  
     
 
     
       placeholder
 
     
-  </div>
+  
 </div><div>
-  <div>
+  
     
 
     
-  </div>
-  <div>
+  
+  
     
 
     
-  </div>
+  
 </div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/attr-tags-for-narrowing/__snapshots__/attr-tags-for-narrowing.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/attr-tags-for-narrowing/__snapshots__/attr-tags-for-narrowing.expected/index.html
index 6003ce26..8f9fb8fd 100644
--- a/packages/language-server/src/__tests__/fixtures/script/attr-tags-for-narrowing/__snapshots__/attr-tags-for-narrowing.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/attr-tags-for-narrowing/__snapshots__/attr-tags-for-narrowing.expected/index.html
@@ -1,12 +1,12 @@
 <div>
-  <div>
+  
     
           
-  </div>
-  <div>
+  
+  
     
           
     
           
-  </div>
+  
 </div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/attr-tags-generic/__snapshots__/attr-tags-generic.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/attr-tags-generic/__snapshots__/attr-tags-generic.expected/index.html
index 3d702db5..31ea2040 100644
--- a/packages/language-server/src/__tests__/fixtures/script/attr-tags-generic/__snapshots__/attr-tags-generic.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/attr-tags-generic/__snapshots__/attr-tags-generic.expected/index.html
@@ -4,7 +4,7 @@
     placeholder
   
 </div><div>
-  <div>
+  
     
       
       placeholder
@@ -12,5 +12,5 @@
       placeholder
       
     
-  </div>
+  
 </div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/attr-tags-nested-dynamic-for-typed/__snapshots__/attr-tags-nested-dynamic-for-typed.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/attr-tags-nested-dynamic-for-typed/__snapshots__/attr-tags-nested-dynamic-for-typed.expected/index.html
index e7c0b20f..76b4b201 100644
--- a/packages/language-server/src/__tests__/fixtures/script/attr-tags-nested-dynamic-for-typed/__snapshots__/attr-tags-nested-dynamic-for-typed.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/attr-tags-nested-dynamic-for-typed/__snapshots__/attr-tags-nested-dynamic-for-typed.expected/index.html
@@ -1,16 +1,16 @@
 <div>
   
-    <div>
+    
       
-        <div data-marko-node-id="2">placeholder placeholder</div>
+        <div data-marko-node-id="0">placeholder placeholder</div>
 
       
-    </div>
+    
   
 </div><div>
   
     
-      <div data-marko-node-id="4">placeholder</div>
+      <div data-marko-node-id="1">placeholder</div>
 
     
   
diff --git a/packages/language-server/src/__tests__/fixtures/script/attr-tags-nested-dynamic-for-typed/__snapshots__/attr-tags-nested-dynamic-for-typed.expected/tags/my-layout/index.html b/packages/language-server/src/__tests__/fixtures/script/attr-tags-nested-dynamic-for-typed/__snapshots__/attr-tags-nested-dynamic-for-typed.expected/tags/my-layout/index.html
index 7e3c33c3..fc25e535 100644
--- a/packages/language-server/src/__tests__/fixtures/script/attr-tags-nested-dynamic-for-typed/__snapshots__/attr-tags-nested-dynamic-for-typed.expected/tags/my-layout/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/attr-tags-nested-dynamic-for-typed/__snapshots__/attr-tags-nested-dynamic-for-typed.expected/tags/my-layout/index.html
@@ -1,5 +1,4 @@
-<div>
-  <div>
+
+  
     
-  </div>
-</div>
\ No newline at end of file
+  
diff --git a/packages/language-server/src/__tests__/fixtures/script/attr-tags-nested-type/__snapshots__/attr-tags-nested-type.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/attr-tags-nested-type/__snapshots__/attr-tags-nested-type.expected/index.html
index d84d1a16..ef0af866 100644
--- a/packages/language-server/src/__tests__/fixtures/script/attr-tags-nested-type/__snapshots__/attr-tags-nested-type.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/attr-tags-nested-type/__snapshots__/attr-tags-nested-type.expected/index.html
@@ -1,8 +1,8 @@
 <div>
   
-    <div>
+    
       
       
-    </div>
+    
   
 </div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/attr-tags-static-dynamic-renderbody/__snapshots__/attr-tags-static-dynamic-renderbody.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/attr-tags-static-dynamic-renderbody/__snapshots__/attr-tags-static-dynamic-renderbody.expected/index.html
index 7aba471a..aebed217 100644
--- a/packages/language-server/src/__tests__/fixtures/script/attr-tags-static-dynamic-renderbody/__snapshots__/attr-tags-static-dynamic-renderbody.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/attr-tags-static-dynamic-renderbody/__snapshots__/attr-tags-static-dynamic-renderbody.expected/index.html
@@ -1,9 +1,9 @@
 <div>
     ...
-   <div>
+   
       
       ...
-    </div>
-    <div>placeholder</div>
+    
+    placeholder
     
 </div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/bound-attr-mut-ident/__snapshots__/bound-attr-mut-ident.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/bound-attr-mut-ident/__snapshots__/bound-attr-mut-ident.expected/index.html
index d9fbdcc1..6f0c9f31 100644
--- a/packages/language-server/src/__tests__/fixtures/script/bound-attr-mut-ident/__snapshots__/bound-attr-mut-ident.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/bound-attr-mut-ident/__snapshots__/bound-attr-mut-ident.expected/index.html
@@ -1 +1 @@
-<div data-marko-node-id="2" onClick></div>
\ No newline at end of file
+<div data-marko-node-id="0" onClick></div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/class-api-basic/__snapshots__/class-api-basic.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/class-api-basic/__snapshots__/class-api-basic.expected/index.html
index 8861aef5..82157cc2 100644
--- a/packages/language-server/src/__tests__/fixtures/script/class-api-basic/__snapshots__/class-api-basic.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/class-api-basic/__snapshots__/class-api-basic.expected/index.html
@@ -1,23 +1,23 @@
 <div data-marko-node-id="0" class="mobiles__list" onClick>
     <p data-marko-node-id="1" id="p">Year: placeholder</p>
 
-    <div>
-      <span data-marko-node-id="3" class="sub-note">isSmartPhone: placeholder</span>
-    </div>
+    
+      <span data-marko-node-id="2" class="sub-note">isSmartPhone: placeholder</span>
+    
 
-    <span data-marko-node-id="4" class="sub-note">phoneType: placeholder</span>
+    <span data-marko-node-id="3" class="sub-note">phoneType: placeholder</span>
     
 
-    <div>
-      <span data-marko-node-id="6" id="dynamic">placeholder placeholder placeholder</span>
-    </div>
+    
+      <span data-marko-node-id="4" id="dynamic">placeholder placeholder placeholder</span>
+    
 
-    <div data-marko-node-id="7">
+    <div data-marko-node-id="5" class="container">
         
     </div>
     <div>placeholder</div>
-    <div data-marko-node-id="10">Hello placeholder</div>
-    <div data-marko-node-id="11">Placeholder example: <code data-marko-node-id="12">${someValue}</code></div>
+    <div data-marko-node-id="6">Hello placeholder</div>
+    <div data-marko-node-id="7">Placeholder example: <code data-marko-node-id="8">${someValue}</code></div>
 
     
     
diff --git a/packages/language-server/src/__tests__/fixtures/script/custom-tag-args/__snapshots__/custom-tag-args.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/custom-tag-args/__snapshots__/custom-tag-args.expected/index.html
index e69de29b..acda27bc 100644
--- a/packages/language-server/src/__tests__/fixtures/script/custom-tag-args/__snapshots__/custom-tag-args.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/custom-tag-args/__snapshots__/custom-tag-args.expected/index.html
@@ -0,0 +1 @@
+<div data-marko-node-id="test-tag.marko~2#0"></div><div data-marko-node-id="test-tag.marko~2#0"></div><div data-marko-node-id="test-tag.marko~2#0"></div><div data-marko-node-id="test-tag.marko~2#0"></div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/el-ref-hoist/__snapshots__/el-ref-hoist.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/el-ref-hoist/__snapshots__/el-ref-hoist.expected/index.html
index 6a018112..3143e0dc 100644
--- a/packages/language-server/src/__tests__/fixtures/script/el-ref-hoist/__snapshots__/el-ref-hoist.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/el-ref-hoist/__snapshots__/el-ref-hoist.expected/index.html
@@ -1 +1 @@
-<div data-marko-node-id="1"></div>
\ No newline at end of file
+<div data-marko-node-id="0"></div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/empty-tagname/__snapshots__/empty-tagname.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/empty-tagname/__snapshots__/empty-tagname.expected/index.html
index 3143e0dc..c975e136 100644
--- a/packages/language-server/src/__tests__/fixtures/script/empty-tagname/__snapshots__/empty-tagname.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/empty-tagname/__snapshots__/empty-tagname.expected/index.html
@@ -1 +1 @@
-<div data-marko-node-id="0"></div>
\ No newline at end of file
+<div data-marko-node-id="0" class="hello"></div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/for-tag-attr-tags/__snapshots__/for-tag-attr-tags.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/for-tag-attr-tags/__snapshots__/for-tag-attr-tags.expected/index.html
index 4ecd3f89..4575e0e3 100644
--- a/packages/language-server/src/__tests__/fixtures/script/for-tag-attr-tags/__snapshots__/for-tag-attr-tags.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/for-tag-attr-tags/__snapshots__/for-tag-attr-tags.expected/index.html
@@ -1,19 +1,19 @@
 <div>
-  <div>
+  
     
     
       placeholder
       
       placeholder
     
-  </div>
+  
 </div><div>
-  <div>
+  
     
     
       placeholder
       
       placeholder
     
-  </div>
+  
 </div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/for-tag-input/__snapshots__/for-tag-input.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/for-tag-input/__snapshots__/for-tag-input.expected/index.html
index 9b65e337..f6527a8f 100644
--- a/packages/language-server/src/__tests__/fixtures/script/for-tag-input/__snapshots__/for-tag-input.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/for-tag-input/__snapshots__/for-tag-input.expected/index.html
@@ -1,30 +1,30 @@
-<div>
+
     
-  <a data-marko-node-id="1" href="dynamic">
+  <a data-marko-node-id="0" href="dynamic">
     placeholder
     
   </a>
-</div><select data-marko-node-id="2">
-  <div>
+<select data-marko-node-id="1">
+  
       
-    <option data-marko-node-id="4" value="dynamic">
+    <option data-marko-node-id="2" value="dynamic">
       placeholder
       
     </option>
-  </div>
+  
 </select><div>
-  <div>
+  
       
     
       
       placeholder
     
-  </div>
-  <div>
+  
+  
       
     
       
       placeholder
     
-  </div>
+  
 </div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/for-tag/__snapshots__/for-tag.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/for-tag/__snapshots__/for-tag.expected/index.html
index 9b7da9ff..78bd7a98 100644
--- a/packages/language-server/src/__tests__/fixtures/script/for-tag/__snapshots__/for-tag.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/for-tag/__snapshots__/for-tag.expected/index.html
@@ -1,45 +1,44 @@
-<div>
+
   Repeated!
-</div><div>
+
   placeholder placeholder placeholder
 
-</div><div>
 
-</div><div>
+
+
   
-</div><div>
+
   placeholder placeholder
 
-</div><div>
 
-</div><div>
+
+
   
-</div><div>
+
   placeholder
 
-</div><div>
 
-</div><div>
+
+
   placeholder
 
-</div><div>
+
   placeholder
 
-</div><div>
+
   
-</div><div>
+
   placeholder
 
-</div><div>
 
-</div><div>
+
+
   placeholder
 
-</div><div>
+
   placeholder
 
-</div><div>
+
   
-</div><div>
+
   Should error
-</div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/if-tag/__snapshots__/if-tag.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/if-tag/__snapshots__/if-tag.expected/index.html
index dcae09d7..a6d81858 100644
--- a/packages/language-server/src/__tests__/fixtures/script/if-tag/__snapshots__/if-tag.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/if-tag/__snapshots__/if-tag.expected/index.html
@@ -1,53 +1,52 @@
-<div>
+
   Hi
-</div><div>
+
   Hi
-</div><div>
+
   Hi
-</div><div data-marko-node-id="5">
-  <div>
+<div data-marko-node-id="0">
+  
     Hello
-  </div>
+  
   World
-</div><div>
+</div>
   Hi
-</div><div>
+
   Goodbye
-</div><div>
+
+  
+
+  
+
   
-</div><div>
+
   
-</div><div>
+
   
-</div><div>
+
   
-</div><div>
+
   
-</div><div>
+
+  
+
   
-</div><div>
   
-</div><div>
   
-</div><div>
-  <div>
-  </div>
-  <div>
     
-  </div>
-  <div>
+  
+  
     
-  </div>
-</div><div>
+  
+
   Hi
-</div><div>
+
   Hi
-</div><div>
+
   Hi
-</div><div>
+
   Hi
-</div><div>
+
   Hi
-</div><div>
+
   Hi
-</div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/prefer-local-identifier-tag-name/__snapshots__/prefer-local-identifier-tag-name.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/prefer-local-identifier-tag-name/__snapshots__/prefer-local-identifier-tag-name.expected/index.html
index 3c0e3fb6..3e1911be 100644
--- a/packages/language-server/src/__tests__/fixtures/script/prefer-local-identifier-tag-name/__snapshots__/prefer-local-identifier-tag-name.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/prefer-local-identifier-tag-name/__snapshots__/prefer-local-identifier-tag-name.expected/index.html
@@ -1,4 +1,4 @@
-<div data-marko-node-id="3">
+<div data-marko-node-id="TestTagA.marko#0"></div><div data-marko-node-id="TestTagB.marko#0"></div><div data-marko-node-id="0">
   
-  
-</div>
\ No newline at end of file
+  <div data-marko-node-id="TestTagA.marko#0"></div>
+</div><div data-marko-node-id="TestTagA.marko#0"></div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/recursive-define-tag/__snapshots__/recursive-define-tag.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/recursive-define-tag/__snapshots__/recursive-define-tag.expected/index.html
index 024dc4b2..06ef31bc 100644
--- a/packages/language-server/src/__tests__/fixtures/script/recursive-define-tag/__snapshots__/recursive-define-tag.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/recursive-define-tag/__snapshots__/recursive-define-tag.expected/index.html
@@ -1,10 +1,9 @@
 <div>
         
-  <div>
+  
     
     
-  </div>
-</div><div>
+  
+</div>
   
   
-</div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/render-body-basic/__snapshots__/render-body-basic.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/render-body-basic/__snapshots__/render-body-basic.expected/index.html
index 1db6f2e9..ecd622fb 100644
--- a/packages/language-server/src/__tests__/fixtures/script/render-body-basic/__snapshots__/render-body-basic.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/render-body-basic/__snapshots__/render-body-basic.expected/index.html
@@ -1,4 +1,3 @@
-<div>
+
 
   Hi placeholder
-</div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/return-tag-basic/__snapshots__/return-tag-basic.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/return-tag-basic/__snapshots__/return-tag-basic.expected/index.html
index 94500271..04b617c5 100644
--- a/packages/language-server/src/__tests__/fixtures/script/return-tag-basic/__snapshots__/return-tag-basic.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/return-tag-basic/__snapshots__/return-tag-basic.expected/index.html
@@ -1 +1 @@
-<button data-marko-node-id="1" onClick></button>
\ No newline at end of file
+<button data-marko-node-id="0" onClick></button>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/return-tag-nested/__snapshots__/return-tag-nested.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/return-tag-nested/__snapshots__/return-tag-nested.expected/index.html
index ab956d9a..7b5869b6 100644
--- a/packages/language-server/src/__tests__/fixtures/script/return-tag-nested/__snapshots__/return-tag-nested.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/return-tag-nested/__snapshots__/return-tag-nested.expected/index.html
@@ -1,13 +1,13 @@
-<div>
+
   placeholder
 
-</div><div>
+
   
-</div><div>
+
   
-</div><div>
+
   
-</div><div>
+
   
   
-</div>placeholder
\ No newline at end of file
+placeholder
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/simple-hoist/__snapshots__/simple-hoist.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/simple-hoist/__snapshots__/simple-hoist.expected/index.html
index 6386858d..a8ff6359 100644
--- a/packages/language-server/src/__tests__/fixtures/script/simple-hoist/__snapshots__/simple-hoist.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/simple-hoist/__snapshots__/simple-hoist.expected/index.html
@@ -1,7 +1,7 @@
 <div data-marko-node-id="0">
   
   placeholder
-  <button data-marko-node-id="2" onClick>
+  <button data-marko-node-id="1" onClick>
     
   </button>
 </div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/tag-param-mutation/__snapshots__/tag-param-mutation.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/tag-param-mutation/__snapshots__/tag-param-mutation.expected/index.html
index 79fb6b87..df4df09d 100644
--- a/packages/language-server/src/__tests__/fixtures/script/tag-param-mutation/__snapshots__/tag-param-mutation.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/tag-param-mutation/__snapshots__/tag-param-mutation.expected/index.html
@@ -1,9 +1,9 @@
-<div>
-  <button data-marko-node-id="2" onClick>
+
+  <button data-marko-node-id="0" onClick>
                   
     placeholder
   </button>
-</div><div>
+
   
-  <input data-marko-node-id="5" id="dynamic">
-</div><button data-marko-node-id="6" onClick>Body to prevent a11y error</button>
\ No newline at end of file
+  <input data-marko-node-id="1" id="dynamic">
+<button data-marko-node-id="2" onClick>Body to prevent a11y error</button>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/tag-var-hoisting-from-control-flow/__snapshots__/tag-var-hoisting-from-control-flow.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/tag-var-hoisting-from-control-flow/__snapshots__/tag-var-hoisting-from-control-flow.expected/index.html
index d77dcb1c..0bda8f14 100644
--- a/packages/language-server/src/__tests__/fixtures/script/tag-var-hoisting-from-control-flow/__snapshots__/tag-var-hoisting-from-control-flow.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/tag-var-hoisting-from-control-flow/__snapshots__/tag-var-hoisting-from-control-flow.expected/index.html
@@ -1,15 +1,15 @@
-<div>
+
   
       
   
       
-  <div>
+  
     
     placeholder
 
-  </div>
-</div><div>
   
-</div><div>
+
+  
+
   
-</div>placeholder
\ No newline at end of file
+placeholder
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/tag-var-mutation-patterns/__snapshots__/tag-var-mutation-patterns.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/tag-var-mutation-patterns/__snapshots__/tag-var-mutation-patterns.expected/index.html
index ede28a2a..a51f747c 100644
--- a/packages/language-server/src/__tests__/fixtures/script/tag-var-mutation-patterns/__snapshots__/tag-var-mutation-patterns.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/tag-var-mutation-patterns/__snapshots__/tag-var-mutation-patterns.expected/index.html
@@ -1,4 +1,3 @@
-<button data-marko-node-id="2" onClick>patterns</button><div>
+<button data-marko-node-id="0" onClick>patterns</button>
   
-  <button data-marko-node-id="4" onClick>shadowed</button>
-</div>
\ No newline at end of file
+  <button data-marko-node-id="1" onClick>shadowed</button>
diff --git a/packages/language-server/src/__tests__/fixtures/script/tag-var-mutation-shadowing/__snapshots__/tag-var-mutation-shadowing.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/tag-var-mutation-shadowing/__snapshots__/tag-var-mutation-shadowing.expected/index.html
index fb0a7db5..6f0c9f31 100644
--- a/packages/language-server/src/__tests__/fixtures/script/tag-var-mutation-shadowing/__snapshots__/tag-var-mutation-shadowing.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/tag-var-mutation-shadowing/__snapshots__/tag-var-mutation-shadowing.expected/index.html
@@ -1 +1 @@
-<div data-marko-node-id="1" onClick></div>
\ No newline at end of file
+<div data-marko-node-id="0" onClick></div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/tag-var-mutations-nested/__snapshots__/tag-var-mutations-nested.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/tag-var-mutations-nested/__snapshots__/tag-var-mutations-nested.expected/index.html
index 2df50131..f046ad6f 100644
--- a/packages/language-server/src/__tests__/fixtures/script/tag-var-mutations-nested/__snapshots__/tag-var-mutations-nested.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/tag-var-mutations-nested/__snapshots__/tag-var-mutations-nested.expected/index.html
@@ -1,4 +1,4 @@
-<button data-marko-node-id="1" onClick>Click me</button><div>
+<button data-marko-node-id="0" onClick>Click me</button><div>
   
-  <button data-marko-node-id="4" onClick>Click me</button>
+  <button data-marko-node-id="1" onClick>Click me</button>
 </div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/tag-var-mutations/__snapshots__/tag-var-mutations.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/tag-var-mutations/__snapshots__/tag-var-mutations.expected/index.html
index 408f5eeb..2be7abbe 100644
--- a/packages/language-server/src/__tests__/fixtures/script/tag-var-mutations/__snapshots__/tag-var-mutations.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/tag-var-mutations/__snapshots__/tag-var-mutations.expected/index.html
@@ -1 +1 @@
-<div data-marko-node-id="1" data-function></div><div data-marko-node-id="2" data-function></div><div data-marko-node-id="3" data-function="dynamic"></div><div data-marko-node-id="4" data-function="dynamic"></div><div data-marko-node-id="5" data-function="dynamic"></div><div data-marko-node-id="6" data-function="dynamic"></div><div data-marko-node-id="7" data-function></div>
\ No newline at end of file
+<div data-marko-node-id="0" data-function></div><div data-marko-node-id="1" data-function></div><div data-marko-node-id="2" data-function="dynamic"></div><div data-marko-node-id="3" data-function="dynamic"></div><div data-marko-node-id="4" data-function="dynamic"></div><div data-marko-node-id="5" data-function="dynamic"></div><div data-marko-node-id="6" data-function></div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/tags-api-basic/__snapshots__/tags-api-basic.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/tags-api-basic/__snapshots__/tags-api-basic.expected/index.html
index 6b2284f8..c87be2d4 100644
--- a/packages/language-server/src/__tests__/fixtures/script/tags-api-basic/__snapshots__/tags-api-basic.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/tags-api-basic/__snapshots__/tags-api-basic.expected/index.html
@@ -1,22 +1,22 @@
-<div data-marko-node-id="1" class="mobiles__list">
-    <p data-marko-node-id="2" id="p">Year: placeholder</p>
+<div data-marko-node-id="0" class="mobiles__list">
+    <p data-marko-node-id="1" id="p">Year: placeholder</p>
 
-    <div>
-      <span data-marko-node-id="4" class="sub-note">isSmartPhone: placeholder</span>
-    </div>
+    
+      <span data-marko-node-id="2" class="sub-note">isSmartPhone: placeholder</span>
+    
 
-    <span data-marko-node-id="5" class="sub-note">phoneType: placeholder</span>
+    <span data-marko-node-id="3" class="sub-note">phoneType: placeholder</span>
 
-    <div>
+    
 
-      <span data-marko-node-id="7" id="dynamic">placeholder placeholder placeholder</span>
+      <span data-marko-node-id="4" id="dynamic">placeholder placeholder placeholder</span>
 
-    </div>
+    
 
-    <div data-marko-node-id="8">
+    <div data-marko-node-id="5" class="container">
         
     </div>
     <div>placeholder</div>
-    <div data-marko-node-id="11">Hello placeholder</div>
-    <div data-marko-node-id="12">Placeholder example: <code data-marko-node-id="13">${someValue}</code></div>
+    <div data-marko-node-id="6">Hello placeholder</div>
+    <div data-marko-node-id="7">Placeholder example: <code data-marko-node-id="8">${someValue}</code></div>
 </div>
\ No newline at end of file
diff --git a/packages/language-server/src/__tests__/fixtures/script/while-tag/__snapshots__/while-tag.expected/index.html b/packages/language-server/src/__tests__/fixtures/script/while-tag/__snapshots__/while-tag.expected/index.html
index 91d9e2a5..15c9fc06 100644
--- a/packages/language-server/src/__tests__/fixtures/script/while-tag/__snapshots__/while-tag.expected/index.html
+++ b/packages/language-server/src/__tests__/fixtures/script/while-tag/__snapshots__/while-tag.expected/index.html
@@ -1,14 +1,13 @@
-<div>
+
 
   placeholder
 
-</div><div>
+
 
   placeholder
 
-  <div>
+  
     
-  </div>
-</div><div>
+  
+
   No Condition.
-</div>
\ No newline at end of file
diff --git a/packages/language-server/src/service/html/axe-rules/axe-rules.ts b/packages/language-server/src/service/html/axe-rules/axe-rules.ts
index 62a932bf..809581b5 100644
--- a/packages/language-server/src/service/html/axe-rules/axe-rules.ts
+++ b/packages/language-server/src/service/html/axe-rules/axe-rules.ts
@@ -1,110 +1,110 @@
 export const keyboard = {
   /**
    * - Ensure every accesskey attribute value is unique
-   * - accesskey attribute value should be unique ([url](https://dequeuniversity.com/rules/axe/4.10/accesskeys?application=axeAPI))
+   * - accesskey attribute value should be unique ([url](https://dequeuniversity.com/rules/axe/4.12/accesskeys?application=axeAPI))
    */
   accesskeys: "accesskeys",
   /**
    * - Ensure each page has at least one mechanism for a user to bypass navigation and jump straight to the content
-   * - Page must have means to bypass repeated blocks ([url](https://dequeuniversity.com/rules/axe/4.10/bypass?application=axeAPI))
+   * - Page must have means to bypass repeated blocks ([url](https://dequeuniversity.com/rules/axe/4.12/bypass?application=axeAPI))
    */
   bypass: "bypass",
   /**
    * - Ensure elements in the focus order have a role appropriate for interactive content
-   * - Elements in the focus order should have an appropriate role ([url](https://dequeuniversity.com/rules/axe/4.10/focus-order-semantics?application=axeAPI))
+   * - Elements in the focus order should have an appropriate role ([url](https://dequeuniversity.com/rules/axe/4.12/focus-order-semantics?application=axeAPI))
    */
   focusOrderSemantics: "focus-order-semantics",
   /**
    * - Ensure `<frame>` and `<iframe>` elements with focusable content do not have tabindex=-1
-   * - Frames with focusable content must not have tabindex=-1 ([url](https://dequeuniversity.com/rules/axe/4.10/frame-focusable-content?application=axeAPI))
+   * - Frames with focusable content must not have tabindex=-1 ([url](https://dequeuniversity.com/rules/axe/4.12/frame-focusable-content?application=axeAPI))
    */
   frameFocusableContent: "frame-focusable-content",
   /**
    * - Ensure interactive controls are not nested as they are not always announced by screen readers or can cause focus problems for assistive technologies
-   * - Interactive controls must not be nested ([url](https://dequeuniversity.com/rules/axe/4.10/nested-interactive?application=axeAPI))
+   * - Interactive controls must not be nested ([url](https://dequeuniversity.com/rules/axe/4.12/nested-interactive?application=axeAPI))
    */
   nestedInteractive: "nested-interactive",
   /**
    * - Ensure all page content is contained by landmarks
-   * - All page content should be contained by landmarks ([url](https://dequeuniversity.com/rules/axe/4.10/region?application=axeAPI))
+   * - All page content should be contained by landmarks ([url](https://dequeuniversity.com/rules/axe/4.12/region?application=axeAPI))
    */
   region: "region",
   /**
-   * - Ensure elements that have scrollable content are accessible by keyboard
-   * - Scrollable region must have keyboard access ([url](https://dequeuniversity.com/rules/axe/4.10/scrollable-region-focusable?application=axeAPI))
+   * - Ensure elements that have scrollable content are accessible by keyboard in Safari
+   * - Scrollable region must have keyboard access ([url](https://dequeuniversity.com/rules/axe/4.12/scrollable-region-focusable?application=axeAPI))
    */
   scrollableRegionFocusable: "scrollable-region-focusable",
   /**
    * - Ensure all skip links have a focusable target
-   * - The skip-link target should exist and be focusable ([url](https://dequeuniversity.com/rules/axe/4.10/skip-link?application=axeAPI))
+   * - The skip-link target should exist and be focusable ([url](https://dequeuniversity.com/rules/axe/4.12/skip-link?application=axeAPI))
    */
   skipLink: "skip-link",
   /**
    * - Ensure tabindex attribute values are not greater than 0
-   * - Elements should not have tabindex greater than zero ([url](https://dequeuniversity.com/rules/axe/4.10/tabindex?application=axeAPI))
+   * - Elements should not have tabindex greater than zero ([url](https://dequeuniversity.com/rules/axe/4.12/tabindex?application=axeAPI))
    */
   tabindex: "tabindex",
 } as const;
 
 export const textAlternatives = {
   /**
-   * - Ensure `<area>` elements of image maps have alternate text
-   * - Active `<area>` elements must have alternate text ([url](https://dequeuniversity.com/rules/axe/4.10/area-alt?application=axeAPI))
+   * - Ensure `<area>` elements of image maps have alternative text
+   * - Active `<area>` elements must have alternative text ([url](https://dequeuniversity.com/rules/axe/4.12/area-alt?application=axeAPI))
    */
   areaAlt: "area-alt",
   /**
    * - Ensure each HTML document contains a non-empty `<title>` element
-   * - Documents must have `<title>` element to aid in navigation ([url](https://dequeuniversity.com/rules/axe/4.10/document-title?application=axeAPI))
+   * - Documents must have `<title>` element to aid in navigation ([url](https://dequeuniversity.com/rules/axe/4.12/document-title?application=axeAPI))
    */
   documentTitle: "document-title",
   /**
    * - Ensure `<iframe>` and `<frame>` elements contain a unique title attribute
-   * - Frames must have a unique title attribute ([url](https://dequeuniversity.com/rules/axe/4.10/frame-title-unique?application=axeAPI))
+   * - Frames must have a unique title attribute ([url](https://dequeuniversity.com/rules/axe/4.12/frame-title-unique?application=axeAPI))
    */
   frameTitleUnique: "frame-title-unique",
   /**
    * - Ensure `<iframe>` and `<frame>` elements have an accessible name
-   * - Frames must have an accessible name ([url](https://dequeuniversity.com/rules/axe/4.10/frame-title?application=axeAPI))
+   * - Frames must have an accessible name ([url](https://dequeuniversity.com/rules/axe/4.12/frame-title?application=axeAPI))
    */
   frameTitle: "frame-title",
   /**
-   * - Ensure `<img>` elements have alternate text or a role of none or presentation
-   * - Images must have alternate text ([url](https://dequeuniversity.com/rules/axe/4.10/image-alt?application=axeAPI))
+   * - Ensure `<img>` elements have alternative text or a role of none or presentation
+   * - Images must have alternative text ([url](https://dequeuniversity.com/rules/axe/4.12/image-alt?application=axeAPI))
    */
   imageAlt: "image-alt",
   /**
    * - Ensure image alternative is not repeated as text
-   * - Alternative text of images should not be repeated as text ([url](https://dequeuniversity.com/rules/axe/4.10/image-redundant-alt?application=axeAPI))
+   * - Alternative text of images should not be repeated as text ([url](https://dequeuniversity.com/rules/axe/4.12/image-redundant-alt?application=axeAPI))
    */
   imageRedundantAlt: "image-redundant-alt",
   /**
-   * - Ensure `<input type="image">` elements have alternate text
-   * - Image buttons must have alternate text ([url](https://dequeuniversity.com/rules/axe/4.10/input-image-alt?application=axeAPI))
+   * - Ensure `<input type="image">` elements have alternative text
+   * - Image buttons must have alternative text ([url](https://dequeuniversity.com/rules/axe/4.12/input-image-alt?application=axeAPI))
    */
   inputImageAlt: "input-image-alt",
   /**
-   * - Ensure `<object>` elements have alternate text
-   * - `<object>` elements must have alternate text ([url](https://dequeuniversity.com/rules/axe/4.10/object-alt?application=axeAPI))
+   * - Ensure `<object>` elements have alternative text
+   * - `<object>` elements must have alternative text ([url](https://dequeuniversity.com/rules/axe/4.12/object-alt?application=axeAPI))
    */
   objectAlt: "object-alt",
   /**
-   * - Ensure [role="img"] elements have alternate text
-   * - [role="img"] elements must have an alternative text ([url](https://dequeuniversity.com/rules/axe/4.10/role-img-alt?application=axeAPI))
+   * - Ensure [role="img"] elements have alternative text
+   * - [role="img"] elements must have alternative text ([url](https://dequeuniversity.com/rules/axe/4.12/role-img-alt?application=axeAPI))
    */
   roleImgAlt: "role-img-alt",
   /**
    * - Ensure that server-side image maps are not used
-   * - Server-side image maps must not be used ([url](https://dequeuniversity.com/rules/axe/4.10/server-side-image-map?application=axeAPI))
+   * - Server-side image maps must not be used ([url](https://dequeuniversity.com/rules/axe/4.12/server-side-image-map?application=axeAPI))
    */
   serverSideImageMap: "server-side-image-map",
   /**
-   * - Ensure `<svg>` elements with an img, graphics-document or graphics-symbol role have an accessible text
-   * - `<svg>` elements with an img role must have an alternative text ([url](https://dequeuniversity.com/rules/axe/4.10/svg-img-alt?application=axeAPI))
+   * - Ensure `<svg>` elements with an img, graphics-document or graphics-symbol role have accessible text
+   * - `<svg>` elements with an img role must have alternative text ([url](https://dequeuniversity.com/rules/axe/4.12/svg-img-alt?application=axeAPI))
    */
   svgImgAlt: "svg-img-alt",
   /**
    * - Ensure `<video>` elements have captions
-   * - `<video>` elements must have captions ([url](https://dequeuniversity.com/rules/axe/4.10/video-caption?application=axeAPI))
+   * - `<video>` elements must have captions ([url](https://dequeuniversity.com/rules/axe/4.12/video-caption?application=axeAPI))
    */
   videoCaption: "video-caption",
 } as const;
@@ -112,122 +112,127 @@ export const textAlternatives = {
 export const aria = {
   /**
    * - Ensure an element's role supports its ARIA attributes
-   * - Elements must only use supported ARIA attributes ([url](https://dequeuniversity.com/rules/axe/4.10/aria-allowed-attr?application=axeAPI))
+   * - Elements must only use supported ARIA attributes ([url](https://dequeuniversity.com/rules/axe/4.12/aria-allowed-attr?application=axeAPI))
    */
   ariaAllowedAttr: "aria-allowed-attr",
   /**
    * - Ensure role attribute has an appropriate value for the element
-   * - ARIA role should be appropriate for the element ([url](https://dequeuniversity.com/rules/axe/4.10/aria-allowed-role?application=axeAPI))
+   * - ARIA role should be appropriate for the element ([url](https://dequeuniversity.com/rules/axe/4.12/aria-allowed-role?application=axeAPI))
    */
   ariaAllowedRole: "aria-allowed-role",
   /**
    * - Ensure aria-braillelabel and aria-brailleroledescription have a non-braille equivalent
-   * - aria-braille attributes must have a non-braille equivalent ([url](https://dequeuniversity.com/rules/axe/4.10/aria-braille-equivalent?application=axeAPI))
+   * - aria-braille attributes must have a non-braille equivalent ([url](https://dequeuniversity.com/rules/axe/4.12/aria-braille-equivalent?application=axeAPI))
    */
   ariaBrailleEquivalent: "aria-braille-equivalent",
   /**
    * - Ensure every ARIA button, link and menuitem has an accessible name
-   * - ARIA commands must have an accessible name ([url](https://dequeuniversity.com/rules/axe/4.10/aria-command-name?application=axeAPI))
+   * - ARIA commands must have an accessible name ([url](https://dequeuniversity.com/rules/axe/4.12/aria-command-name?application=axeAPI))
    */
   ariaCommandName: "aria-command-name",
   /**
    * - Ensure ARIA attributes are used as described in the specification of the element's role
-   * - ARIA attributes must be used as specified for the element's role ([url](https://dequeuniversity.com/rules/axe/4.10/aria-conditional-attr?application=axeAPI))
+   * - ARIA attributes must be used as specified for the element's role ([url](https://dequeuniversity.com/rules/axe/4.12/aria-conditional-attr?application=axeAPI))
    */
   ariaConditionalAttr: "aria-conditional-attr",
   /**
    * - Ensure elements do not use deprecated roles
-   * - Deprecated ARIA roles must not be used ([url](https://dequeuniversity.com/rules/axe/4.10/aria-deprecated-role?application=axeAPI))
+   * - Deprecated ARIA roles must not be used ([url](https://dequeuniversity.com/rules/axe/4.12/aria-deprecated-role?application=axeAPI))
    */
   ariaDeprecatedRole: "aria-deprecated-role",
   /**
    * - Ensure every ARIA dialog and alertdialog node has an accessible name
-   * - ARIA dialog and alertdialog nodes should have an accessible name ([url](https://dequeuniversity.com/rules/axe/4.10/aria-dialog-name?application=axeAPI))
+   * - ARIA dialog and alertdialog nodes should have an accessible name ([url](https://dequeuniversity.com/rules/axe/4.12/aria-dialog-name?application=axeAPI))
    */
   ariaDialogName: "aria-dialog-name",
   /**
    * - Ensure aria-hidden="true" is not present on the document body.
-   * - aria-hidden="true" must not be present on the document body ([url](https://dequeuniversity.com/rules/axe/4.10/aria-hidden-body?application=axeAPI))
+   * - aria-hidden="true" must not be present on the document body ([url](https://dequeuniversity.com/rules/axe/4.12/aria-hidden-body?application=axeAPI))
    */
   ariaHiddenBody: "aria-hidden-body",
   /**
    * - Ensure every ARIA input field has an accessible name
-   * - ARIA input fields must have an accessible name ([url](https://dequeuniversity.com/rules/axe/4.10/aria-input-field-name?application=axeAPI))
+   * - ARIA input fields must have an accessible name ([url](https://dequeuniversity.com/rules/axe/4.12/aria-input-field-name?application=axeAPI))
    */
   ariaInputFieldName: "aria-input-field-name",
   /**
    * - Ensure every ARIA meter node has an accessible name
-   * - ARIA meter nodes must have an accessible name ([url](https://dequeuniversity.com/rules/axe/4.10/aria-meter-name?application=axeAPI))
+   * - ARIA meter nodes must have an accessible name ([url](https://dequeuniversity.com/rules/axe/4.12/aria-meter-name?application=axeAPI))
    */
   ariaMeterName: "aria-meter-name",
   /**
    * - Ensure every ARIA progressbar node has an accessible name
-   * - ARIA progressbar nodes must have an accessible name ([url](https://dequeuniversity.com/rules/axe/4.10/aria-progressbar-name?application=axeAPI))
+   * - ARIA progressbar nodes must have an accessible name ([url](https://dequeuniversity.com/rules/axe/4.12/aria-progressbar-name?application=axeAPI))
    */
   ariaProgressbarName: "aria-progressbar-name",
   /**
    * - Ensure ARIA attributes are not prohibited for an element's role
-   * - Elements must only use permitted ARIA attributes ([url](https://dequeuniversity.com/rules/axe/4.10/aria-prohibited-attr?application=axeAPI))
+   * - Elements must only use permitted ARIA attributes ([url](https://dequeuniversity.com/rules/axe/4.12/aria-prohibited-attr?application=axeAPI))
    */
   ariaProhibitedAttr: "aria-prohibited-attr",
   /**
    * - Ensure elements with ARIA roles have all required ARIA attributes
-   * - Required ARIA attributes must be provided ([url](https://dequeuniversity.com/rules/axe/4.10/aria-required-attr?application=axeAPI))
+   * - Required ARIA attributes must be provided ([url](https://dequeuniversity.com/rules/axe/4.12/aria-required-attr?application=axeAPI))
    */
   ariaRequiredAttr: "aria-required-attr",
   /**
    * - Ensure elements with an ARIA role that require child roles contain them
-   * - Certain ARIA roles must contain particular children ([url](https://dequeuniversity.com/rules/axe/4.10/aria-required-children?application=axeAPI))
+   * - Certain ARIA roles must contain particular children ([url](https://dequeuniversity.com/rules/axe/4.12/aria-required-children?application=axeAPI))
    */
   ariaRequiredChildren: "aria-required-children",
   /**
    * - Ensure elements with an ARIA role that require parent roles are contained by them
-   * - Certain ARIA roles must be contained by particular parents ([url](https://dequeuniversity.com/rules/axe/4.10/aria-required-parent?application=axeAPI))
+   * - Certain ARIA roles must be contained by particular parents ([url](https://dequeuniversity.com/rules/axe/4.12/aria-required-parent?application=axeAPI))
    */
   ariaRequiredParent: "aria-required-parent",
   /**
    * - Ensure aria-roledescription is only used on elements with an implicit or explicit role
-   * - aria-roledescription must be on elements with a semantic role ([url](https://dequeuniversity.com/rules/axe/4.10/aria-roledescription?application=axeAPI))
+   * - aria-roledescription must be on elements with a semantic role ([url](https://dequeuniversity.com/rules/axe/4.12/aria-roledescription?application=axeAPI))
    */
   ariaRoledescription: "aria-roledescription",
   /**
    * - Ensure all elements with a role attribute use a valid value
-   * - ARIA roles used must conform to valid values ([url](https://dequeuniversity.com/rules/axe/4.10/aria-roles?application=axeAPI))
+   * - ARIA roles used must conform to valid values ([url](https://dequeuniversity.com/rules/axe/4.12/aria-roles?application=axeAPI))
    */
   ariaRoles: "aria-roles",
+  /**
+   * - Ensure every ARIA tab node has an accessible name
+   * - ARIA tab nodes must have an accessible name ([url](https://dequeuniversity.com/rules/axe/4.12/aria-tab-name?application=axeAPI))
+   */
+  ariaTabName: "aria-tab-name",
   /**
    * - Ensure role="text" is used on elements with no focusable descendants
-   * - "role=text" should have no focusable descendants ([url](https://dequeuniversity.com/rules/axe/4.10/aria-text?application=axeAPI))
+   * - "role=text" should have no focusable descendants ([url](https://dequeuniversity.com/rules/axe/4.12/aria-text?application=axeAPI))
    */
   ariaText: "aria-text",
   /**
    * - Ensure every ARIA toggle field has an accessible name
-   * - ARIA toggle fields must have an accessible name ([url](https://dequeuniversity.com/rules/axe/4.10/aria-toggle-field-name?application=axeAPI))
+   * - ARIA toggle fields must have an accessible name ([url](https://dequeuniversity.com/rules/axe/4.12/aria-toggle-field-name?application=axeAPI))
    */
   ariaToggleFieldName: "aria-toggle-field-name",
   /**
    * - Ensure every ARIA tooltip node has an accessible name
-   * - ARIA tooltip nodes must have an accessible name ([url](https://dequeuniversity.com/rules/axe/4.10/aria-tooltip-name?application=axeAPI))
+   * - ARIA tooltip nodes must have an accessible name ([url](https://dequeuniversity.com/rules/axe/4.12/aria-tooltip-name?application=axeAPI))
    */
   ariaTooltipName: "aria-tooltip-name",
   /**
    * - Ensure every ARIA treeitem node has an accessible name
-   * - ARIA treeitem nodes should have an accessible name ([url](https://dequeuniversity.com/rules/axe/4.10/aria-treeitem-name?application=axeAPI))
+   * - ARIA treeitem nodes should have an accessible name ([url](https://dequeuniversity.com/rules/axe/4.12/aria-treeitem-name?application=axeAPI))
    */
   ariaTreeitemName: "aria-treeitem-name",
   /**
    * - Ensure all ARIA attributes have valid values
-   * - ARIA attributes must conform to valid values ([url](https://dequeuniversity.com/rules/axe/4.10/aria-valid-attr-value?application=axeAPI))
+   * - ARIA attributes must conform to valid values ([url](https://dequeuniversity.com/rules/axe/4.12/aria-valid-attr-value?application=axeAPI))
    */
   ariaValidAttrValue: "aria-valid-attr-value",
   /**
    * - Ensure attributes that begin with aria- are valid ARIA attributes
-   * - ARIA attributes must conform to valid names ([url](https://dequeuniversity.com/rules/axe/4.10/aria-valid-attr?application=axeAPI))
+   * - ARIA attributes must conform to valid names ([url](https://dequeuniversity.com/rules/axe/4.12/aria-valid-attr?application=axeAPI))
    */
   ariaValidAttr: "aria-valid-attr",
   /**
-   * - Elements marked as presentational should not have global ARIA or tabindex to ensure all screen readers ignore them
-   * - Ensure elements marked as presentational are consistently ignored ([url](https://dequeuniversity.com/rules/axe/4.10/presentation-role-conflict?application=axeAPI))
+   * - Ensure elements marked as presentational do not have global ARIA or tabindex so that all screen readers ignore them
+   * - Elements marked as presentational should be consistently ignored ([url](https://dequeuniversity.com/rules/axe/4.12/presentation-role-conflict?application=axeAPI))
    */
   presentationRoleConflict: "presentation-role-conflict",
 } as const;
@@ -235,37 +240,37 @@ export const aria = {
 export const nameRoleValue = {
   /**
    * - Ensure aria-hidden elements are not focusable nor contain focusable elements
-   * - ARIA hidden element must not be focusable or contain focusable elements ([url](https://dequeuniversity.com/rules/axe/4.10/aria-hidden-focus?application=axeAPI))
+   * - ARIA hidden element must not be focusable or contain focusable elements ([url](https://dequeuniversity.com/rules/axe/4.12/aria-hidden-focus?application=axeAPI))
    */
   ariaHiddenFocus: "aria-hidden-focus",
   /**
    * - Ensure buttons have discernible text
-   * - Buttons must have discernible text ([url](https://dequeuniversity.com/rules/axe/4.10/button-name?application=axeAPI))
+   * - Buttons must have discernible text ([url](https://dequeuniversity.com/rules/axe/4.12/button-name?application=axeAPI))
    */
   buttonName: "button-name",
   /**
    * - Ensure headings have discernible text
-   * - Headings should not be empty ([url](https://dequeuniversity.com/rules/axe/4.10/empty-heading?application=axeAPI))
+   * - Headings should not be empty ([url](https://dequeuniversity.com/rules/axe/4.12/empty-heading?application=axeAPI))
    */
   emptyHeading: "empty-heading",
   /**
    * - Ensure table headers have discernible text
-   * - Table header text should not be empty ([url](https://dequeuniversity.com/rules/axe/4.10/empty-table-header?application=axeAPI))
+   * - Table header text should not be empty ([url](https://dequeuniversity.com/rules/axe/4.12/empty-table-header?application=axeAPI))
    */
   emptyTableHeader: "empty-table-header",
   /**
    * - Ensure input buttons have discernible text
-   * - Input buttons must have discernible text ([url](https://dequeuniversity.com/rules/axe/4.10/input-button-name?application=axeAPI))
+   * - Input buttons must have discernible text ([url](https://dequeuniversity.com/rules/axe/4.12/input-button-name?application=axeAPI))
    */
   inputButtonName: "input-button-name",
   /**
    * - Ensure links have discernible text
-   * - Links must have discernible text ([url](https://dequeuniversity.com/rules/axe/4.10/link-name?application=axeAPI))
+   * - Links must have discernible text ([url](https://dequeuniversity.com/rules/axe/4.12/link-name?application=axeAPI))
    */
   linkName: "link-name",
   /**
    * - Ensure summary elements have discernible text
-   * - Summary elements must have discernible text ([url](https://dequeuniversity.com/rules/axe/4.10/summary-name?application=axeAPI))
+   * - Summary elements must have discernible text ([url](https://dequeuniversity.com/rules/axe/4.12/summary-name?application=axeAPI))
    */
   summaryName: "summary-name",
 } as const;
@@ -273,27 +278,27 @@ export const nameRoleValue = {
 export const timeAndMedia = {
   /**
    * - Ensure `<audio>` elements have captions
-   * - `<audio>` elements must have a captions track ([url](https://dequeuniversity.com/rules/axe/4.10/audio-caption?application=axeAPI))
+   * - `<audio>` elements must have a captions track ([url](https://dequeuniversity.com/rules/axe/4.12/audio-caption?application=axeAPI))
    */
   audioCaption: "audio-caption",
   /**
    * - Ensure `<blink>` elements are not used
-   * - `<blink>` elements are deprecated and must not be used ([url](https://dequeuniversity.com/rules/axe/4.10/blink?application=axeAPI))
+   * - `<blink>` elements are deprecated and must not be used ([url](https://dequeuniversity.com/rules/axe/4.12/blink?application=axeAPI))
    */
   blink: "blink",
   /**
    * - Ensure `<meta http-equiv="refresh">` is not used for delayed refresh
-   * - Delayed refresh must not be used ([url](https://dequeuniversity.com/rules/axe/4.10/meta-refresh-no-exceptions?application=axeAPI))
+   * - Delayed refresh must not be used ([url](https://dequeuniversity.com/rules/axe/4.12/meta-refresh-no-exceptions?application=axeAPI))
    */
   metaRefreshNoExceptions: "meta-refresh-no-exceptions",
   /**
    * - Ensure `<meta http-equiv="refresh">` is not used for delayed refresh
-   * - Delayed refresh under 20 hours must not be used ([url](https://dequeuniversity.com/rules/axe/4.10/meta-refresh?application=axeAPI))
+   * - Delayed refresh under 20 hours must not be used ([url](https://dequeuniversity.com/rules/axe/4.12/meta-refresh?application=axeAPI))
    */
   metaRefresh: "meta-refresh",
   /**
    * - Ensure `<video>` or `<audio>` elements do not autoplay audio for more than 3 seconds without a control mechanism to stop or mute the audio
-   * - `<video>` or `<audio>` elements must not play automatically ([url](https://dequeuniversity.com/rules/axe/4.10/no-autoplay-audio?application=axeAPI))
+   * - `<video>` or `<audio>` elements must not play automatically ([url](https://dequeuniversity.com/rules/axe/4.12/no-autoplay-audio?application=axeAPI))
    */
   noAutoplayAudio: "no-autoplay-audio",
 } as const;
@@ -301,27 +306,27 @@ export const timeAndMedia = {
 export const forms = {
   /**
    * - Ensure the autocomplete attribute is correct and suitable for the form field
-   * - autocomplete attribute must be used correctly ([url](https://dequeuniversity.com/rules/axe/4.10/autocomplete-valid?application=axeAPI))
+   * - autocomplete attribute must be used correctly ([url](https://dequeuniversity.com/rules/axe/4.12/autocomplete-valid?application=axeAPI))
    */
   autocompleteValid: "autocomplete-valid",
   /**
    * - Ensure form field does not have multiple label elements
-   * - Form field must not have multiple label elements ([url](https://dequeuniversity.com/rules/axe/4.10/form-field-multiple-labels?application=axeAPI))
+   * - Form field must not have multiple label elements ([url](https://dequeuniversity.com/rules/axe/4.12/form-field-multiple-labels?application=axeAPI))
    */
   formFieldMultipleLabels: "form-field-multiple-labels",
   /**
    * - Ensure that every form element has a visible label and is not solely labeled using hidden labels, or the title or aria-describedby attributes
-   * - Form elements should have a visible label ([url](https://dequeuniversity.com/rules/axe/4.10/label-title-only?application=axeAPI))
+   * - Form elements should have a visible label ([url](https://dequeuniversity.com/rules/axe/4.12/label-title-only?application=axeAPI))
    */
   labelTitleOnly: "label-title-only",
   /**
    * - Ensure every form element has a label
-   * - Form elements must have labels ([url](https://dequeuniversity.com/rules/axe/4.10/label?application=axeAPI))
+   * - Form elements must have labels ([url](https://dequeuniversity.com/rules/axe/4.12/label?application=axeAPI))
    */
   label: "label",
   /**
    * - Ensure select element has an accessible name
-   * - Select element must have an accessible name ([url](https://dequeuniversity.com/rules/axe/4.10/select-name?application=axeAPI))
+   * - Select element must have an accessible name ([url](https://dequeuniversity.com/rules/axe/4.12/select-name?application=axeAPI))
    */
   selectName: "select-name",
 } as const;
@@ -329,42 +334,42 @@ export const forms = {
 export const structure = {
   /**
    * - Ensure that text spacing set through style attributes can be adjusted with custom stylesheets
-   * - Inline text spacing must be adjustable with custom stylesheets ([url](https://dequeuniversity.com/rules/axe/4.10/avoid-inline-spacing?application=axeAPI))
+   * - Inline text spacing must be adjustable with custom stylesheets ([url](https://dequeuniversity.com/rules/axe/4.12/avoid-inline-spacing?application=axeAPI))
    */
   avoidInlineSpacing: "avoid-inline-spacing",
   /**
    * - Ensure content is not locked to any specific display orientation, and the content is operable in all display orientations
-   * - CSS Media queries must not lock display orientation ([url](https://dequeuniversity.com/rules/axe/4.10/css-orientation-lock?application=axeAPI))
+   * - CSS Media queries must not lock display orientation ([url](https://dequeuniversity.com/rules/axe/4.12/css-orientation-lock?application=axeAPI))
    */
   cssOrientationLock: "css-orientation-lock",
   /**
    * - Ensure `<dl>` elements are structured correctly
-   * - `<dl>` elements must only directly contain properly-ordered `<dt>` and `<dd>` groups, `<script>`, `<template>` or `<div>` elements ([url](https://dequeuniversity.com/rules/axe/4.10/definition-list?application=axeAPI))
+   * - `<dl>` elements must only directly contain properly-ordered `<dt>` and `<dd>` groups, `<script>`, `<template>` or `<div>` elements ([url](https://dequeuniversity.com/rules/axe/4.12/definition-list?application=axeAPI))
    */
   definitionList: "definition-list",
   /**
    * - Ensure `<dt>` and `<dd>` elements are contained by a `<dl>`
-   * - `<dt>` and `<dd>` elements must be contained by a `<dl>` ([url](https://dequeuniversity.com/rules/axe/4.10/dlitem?application=axeAPI))
+   * - `<dt>` and `<dd>` elements must be contained by a `<dl>` ([url](https://dequeuniversity.com/rules/axe/4.12/dlitem?application=axeAPI))
    */
   dlitem: "dlitem",
   /**
    * - Ensure `<iframe>` and `<frame>` elements contain the axe-core script
-   * - Frames should be tested with axe-core ([url](https://dequeuniversity.com/rules/axe/4.10/frame-tested?application=axeAPI))
+   * - Frames should be tested with axe-core ([url](https://dequeuniversity.com/rules/axe/4.12/frame-tested?application=axeAPI))
    */
   frameTested: "frame-tested",
   /**
-   * - Informs users about hidden content.
-   * - Hidden content on the page should be analyzed ([url](https://dequeuniversity.com/rules/axe/4.10/hidden-content?application=axeAPI))
+   * - Inform users about hidden content.
+   * - Hidden content on the page should be analyzed ([url](https://dequeuniversity.com/rules/axe/4.12/hidden-content?application=axeAPI))
    */
   hiddenContent: "hidden-content",
   /**
    * - Ensure that lists are structured correctly
-   * - `<ul>` and `<ol>` must only directly contain `<li>`, `<script>` or `<template>` elements ([url](https://dequeuniversity.com/rules/axe/4.10/list?application=axeAPI))
+   * - `<ul>` and `<ol>` must only directly contain `<li>`, `<script>` or `<template>` elements ([url](https://dequeuniversity.com/rules/axe/4.12/list?application=axeAPI))
    */
   list: "list",
   /**
    * - Ensure `<li>` elements are used semantically
-   * - `<li>` elements must be contained in a `<ul>` or `<ol>` ([url](https://dequeuniversity.com/rules/axe/4.10/listitem?application=axeAPI))
+   * - `<li>` elements must be contained in a `<ul>` or `<ol>` ([url](https://dequeuniversity.com/rules/axe/4.12/listitem?application=axeAPI))
    */
   listitem: "listitem",
 } as const;
@@ -372,17 +377,17 @@ export const structure = {
 export const color = {
   /**
    * - Ensure the contrast between foreground and background colors meets WCAG 2 AAA enhanced contrast ratio thresholds
-   * - Elements must meet enhanced color contrast ratio thresholds ([url](https://dequeuniversity.com/rules/axe/4.10/color-contrast-enhanced?application=axeAPI))
+   * - Elements must meet enhanced color contrast ratio thresholds ([url](https://dequeuniversity.com/rules/axe/4.12/color-contrast-enhanced?application=axeAPI))
    */
   colorContrastEnhanced: "color-contrast-enhanced",
   /**
    * - Ensure the contrast between foreground and background colors meets WCAG 2 AA minimum contrast ratio thresholds
-   * - Elements must meet minimum color contrast ratio thresholds ([url](https://dequeuniversity.com/rules/axe/4.10/color-contrast?application=axeAPI))
+   * - Elements must meet minimum color contrast ratio thresholds ([url](https://dequeuniversity.com/rules/axe/4.12/color-contrast?application=axeAPI))
    */
   colorContrast: "color-contrast",
   /**
    * - Ensure links are distinguished from surrounding text in a way that does not rely on color
-   * - Links must be distinguishable without relying on color ([url](https://dequeuniversity.com/rules/axe/4.10/link-in-text-block?application=axeAPI))
+   * - Links must be distinguishable without relying on color ([url](https://dequeuniversity.com/rules/axe/4.12/link-in-text-block?application=axeAPI))
    */
   linkInTextBlock: "link-in-text-block",
 } as const;
@@ -390,22 +395,22 @@ export const color = {
 export const parsing = {
   /**
    * - Ensure every id attribute value of active elements is unique
-   * - IDs of active elements must be unique ([url](https://dequeuniversity.com/rules/axe/4.10/duplicate-id-active?application=axeAPI))
+   * - IDs of active elements must be unique ([url](https://dequeuniversity.com/rules/axe/4.12/duplicate-id-active?application=axeAPI))
    */
   duplicateIdActive: "duplicate-id-active",
   /**
    * - Ensure every id attribute value used in ARIA and in labels is unique
-   * - IDs used in ARIA and labels must be unique ([url](https://dequeuniversity.com/rules/axe/4.10/duplicate-id-aria?application=axeAPI))
+   * - IDs used in ARIA and labels must be unique ([url](https://dequeuniversity.com/rules/axe/4.12/duplicate-id-aria?application=axeAPI))
    */
   duplicateIdAria: "duplicate-id-aria",
   /**
    * - Ensure every id attribute value is unique
-   * - id attribute value must be unique ([url](https://dequeuniversity.com/rules/axe/4.10/duplicate-id?application=axeAPI))
+   * - id attribute value must be unique ([url](https://dequeuniversity.com/rules/axe/4.12/duplicate-id?application=axeAPI))
    */
   duplicateId: "duplicate-id",
   /**
    * - Ensure `<marquee>` elements are not used
-   * - `<marquee>` elements are deprecated and must not be used ([url](https://dequeuniversity.com/rules/axe/4.10/marquee?application=axeAPI))
+   * - `<marquee>` elements are deprecated and must not be used ([url](https://dequeuniversity.com/rules/axe/4.12/marquee?application=axeAPI))
    */
   marquee: "marquee",
 } as const;
@@ -413,72 +418,72 @@ export const parsing = {
 export const semantics = {
   /**
    * - Ensure the order of headings is semantically correct
-   * - Heading levels should only increase by one ([url](https://dequeuniversity.com/rules/axe/4.10/heading-order?application=axeAPI))
+   * - Heading levels should only increase by one ([url](https://dequeuniversity.com/rules/axe/4.12/heading-order?application=axeAPI))
    */
   headingOrder: "heading-order",
   /**
    * - Ensure that links with the same accessible name serve a similar purpose
-   * - Links with the same name must have a similar purpose ([url](https://dequeuniversity.com/rules/axe/4.10/identical-links-same-purpose?application=axeAPI))
+   * - Links with the same name must have a similar purpose ([url](https://dequeuniversity.com/rules/axe/4.12/identical-links-same-purpose?application=axeAPI))
    */
   identicalLinksSamePurpose: "identical-links-same-purpose",
   /**
    * - Ensure that elements labelled through their content must have their visible text as part of their accessible name
-   * - Elements must have their visible text as part of their accessible name ([url](https://dequeuniversity.com/rules/axe/4.10/label-content-name-mismatch?application=axeAPI))
+   * - Elements must have their visible text as part of their accessible name ([url](https://dequeuniversity.com/rules/axe/4.12/label-content-name-mismatch?application=axeAPI))
    */
   labelContentNameMismatch: "label-content-name-mismatch",
   /**
    * - Ensure the banner landmark is at top level
-   * - Banner landmark should not be contained in another landmark ([url](https://dequeuniversity.com/rules/axe/4.10/landmark-banner-is-top-level?application=axeAPI))
+   * - Banner landmark should not be contained in another landmark ([url](https://dequeuniversity.com/rules/axe/4.12/landmark-banner-is-top-level?application=axeAPI))
    */
   landmarkBannerIsTopLevel: "landmark-banner-is-top-level",
   /**
    * - Ensure the complementary landmark or aside is at top level
-   * - Aside should not be contained in another landmark ([url](https://dequeuniversity.com/rules/axe/4.10/landmark-complementary-is-top-level?application=axeAPI))
+   * - Aside should not be contained in another landmark ([url](https://dequeuniversity.com/rules/axe/4.12/landmark-complementary-is-top-level?application=axeAPI))
    */
   landmarkComplementaryIsTopLevel: "landmark-complementary-is-top-level",
   /**
    * - Ensure the contentinfo landmark is at top level
-   * - Contentinfo landmark should not be contained in another landmark ([url](https://dequeuniversity.com/rules/axe/4.10/landmark-contentinfo-is-top-level?application=axeAPI))
+   * - Contentinfo landmark should not be contained in another landmark ([url](https://dequeuniversity.com/rules/axe/4.12/landmark-contentinfo-is-top-level?application=axeAPI))
    */
   landmarkContentinfoIsTopLevel: "landmark-contentinfo-is-top-level",
   /**
    * - Ensure the main landmark is at top level
-   * - Main landmark should not be contained in another landmark ([url](https://dequeuniversity.com/rules/axe/4.10/landmark-main-is-top-level?application=axeAPI))
+   * - Main landmark should not be contained in another landmark ([url](https://dequeuniversity.com/rules/axe/4.12/landmark-main-is-top-level?application=axeAPI))
    */
   landmarkMainIsTopLevel: "landmark-main-is-top-level",
   /**
    * - Ensure the document has at most one banner landmark
-   * - Document should not have more than one banner landmark ([url](https://dequeuniversity.com/rules/axe/4.10/landmark-no-duplicate-banner?application=axeAPI))
+   * - Document should not have more than one banner landmark ([url](https://dequeuniversity.com/rules/axe/4.12/landmark-no-duplicate-banner?application=axeAPI))
    */
   landmarkNoDuplicateBanner: "landmark-no-duplicate-banner",
   /**
    * - Ensure the document has at most one contentinfo landmark
-   * - Document should not have more than one contentinfo landmark ([url](https://dequeuniversity.com/rules/axe/4.10/landmark-no-duplicate-contentinfo?application=axeAPI))
+   * - Document should not have more than one contentinfo landmark ([url](https://dequeuniversity.com/rules/axe/4.12/landmark-no-duplicate-contentinfo?application=axeAPI))
    */
   landmarkNoDuplicateContentinfo: "landmark-no-duplicate-contentinfo",
   /**
    * - Ensure the document has at most one main landmark
-   * - Document should not have more than one main landmark ([url](https://dequeuniversity.com/rules/axe/4.10/landmark-no-duplicate-main?application=axeAPI))
+   * - Document should not have more than one main landmark ([url](https://dequeuniversity.com/rules/axe/4.12/landmark-no-duplicate-main?application=axeAPI))
    */
   landmarkNoDuplicateMain: "landmark-no-duplicate-main",
   /**
    * - Ensure the document has a main landmark
-   * - Document should have one main landmark ([url](https://dequeuniversity.com/rules/axe/4.10/landmark-one-main?application=axeAPI))
+   * - Document should have one main landmark ([url](https://dequeuniversity.com/rules/axe/4.12/landmark-one-main?application=axeAPI))
    */
   landmarkOneMain: "landmark-one-main",
   /**
    * - Ensure landmarks are unique
-   * - Landmarks should have a unique role or role/label/title (i.e. accessible name) combination ([url](https://dequeuniversity.com/rules/axe/4.10/landmark-unique?application=axeAPI))
+   * - Landmarks should have a unique role or role/label/title (i.e. accessible name) combination ([url](https://dequeuniversity.com/rules/axe/4.12/landmark-unique?application=axeAPI))
    */
   landmarkUnique: "landmark-unique",
   /**
    * - Ensure bold, italic text and font-size is not used to style `<p>` elements as a heading
-   * - Styled `<p>` elements must not be used as headings ([url](https://dequeuniversity.com/rules/axe/4.10/p-as-heading?application=axeAPI))
+   * - Styled `<p>` elements must not be used as headings ([url](https://dequeuniversity.com/rules/axe/4.12/p-as-heading?application=axeAPI))
    */
   pAsHeading: "p-as-heading",
   /**
    * - Ensure that the page, or at least one of its frames contains a level-one heading
-   * - Page should contain a level-one heading ([url](https://dequeuniversity.com/rules/axe/4.10/page-has-heading-one?application=axeAPI))
+   * - Page should contain a level-one heading ([url](https://dequeuniversity.com/rules/axe/4.12/page-has-heading-one?application=axeAPI))
    */
   pageHasHeadingOne: "page-has-heading-one",
 } as const;
@@ -486,22 +491,22 @@ export const semantics = {
 export const language = {
   /**
    * - Ensure every HTML document has a lang attribute
-   * - `<html>` element must have a lang attribute ([url](https://dequeuniversity.com/rules/axe/4.10/html-has-lang?application=axeAPI))
+   * - `<html>` element must have a lang attribute ([url](https://dequeuniversity.com/rules/axe/4.12/html-has-lang?application=axeAPI))
    */
   htmlHasLang: "html-has-lang",
   /**
    * - Ensure the lang attribute of the `<html>` element has a valid value
-   * - `<html>` element must have a valid value for the lang attribute ([url](https://dequeuniversity.com/rules/axe/4.10/html-lang-valid?application=axeAPI))
+   * - `<html>` element must have a valid value for the lang attribute ([url](https://dequeuniversity.com/rules/axe/4.12/html-lang-valid?application=axeAPI))
    */
   htmlLangValid: "html-lang-valid",
   /**
    * - Ensure that HTML elements with both valid lang and xml:lang attributes agree on the base language of the page
-   * - HTML elements with lang and xml:lang must have the same base language ([url](https://dequeuniversity.com/rules/axe/4.10/html-xml-lang-mismatch?application=axeAPI))
+   * - HTML elements with lang and xml:lang must have the same base language ([url](https://dequeuniversity.com/rules/axe/4.12/html-xml-lang-mismatch?application=axeAPI))
    */
   htmlXmlLangMismatch: "html-xml-lang-mismatch",
   /**
    * - Ensure lang attributes have valid values
-   * - lang attribute must have a valid value ([url](https://dequeuniversity.com/rules/axe/4.10/valid-lang?application=axeAPI))
+   * - lang attribute must have a valid value ([url](https://dequeuniversity.com/rules/axe/4.12/valid-lang?application=axeAPI))
    */
   validLang: "valid-lang",
 } as const;
@@ -509,17 +514,17 @@ export const language = {
 export const sensoryAndVisualCues = {
   /**
    * - Ensure `<meta name="viewport">` can scale a significant amount
-   * - Users should be able to zoom and scale the text up to 500% ([url](https://dequeuniversity.com/rules/axe/4.10/meta-viewport-large?application=axeAPI))
+   * - Users should be able to zoom and scale the text up to 500% ([url](https://dequeuniversity.com/rules/axe/4.12/meta-viewport-large?application=axeAPI))
    */
   metaViewportLarge: "meta-viewport-large",
   /**
    * - Ensure `<meta name="viewport">` does not disable text scaling and zooming
-   * - Zooming and scaling must not be disabled ([url](https://dequeuniversity.com/rules/axe/4.10/meta-viewport?application=axeAPI))
+   * - Zooming and scaling must not be disabled ([url](https://dequeuniversity.com/rules/axe/4.12/meta-viewport?application=axeAPI))
    */
   metaViewport: "meta-viewport",
   /**
    * - Ensure touch targets have sufficient size and space
-   * - All touch targets must be 24px large, or leave sufficient space ([url](https://dequeuniversity.com/rules/axe/4.10/target-size?application=axeAPI))
+   * - All touch targets must be 24px large, or leave sufficient space ([url](https://dequeuniversity.com/rules/axe/4.12/target-size?application=axeAPI))
    */
   targetSize: "target-size",
 } as const;
@@ -527,32 +532,32 @@ export const sensoryAndVisualCues = {
 export const tables = {
   /**
    * - Ensure the scope attribute is used correctly on tables
-   * - scope attribute should be used correctly ([url](https://dequeuniversity.com/rules/axe/4.10/scope-attr-valid?application=axeAPI))
+   * - scope attribute should be used correctly ([url](https://dequeuniversity.com/rules/axe/4.12/scope-attr-valid?application=axeAPI))
    */
   scopeAttrValid: "scope-attr-valid",
   /**
    * - Ensure the `<caption>` element does not contain the same text as the summary attribute
-   * - Tables should not have the same summary and caption ([url](https://dequeuniversity.com/rules/axe/4.10/table-duplicate-name?application=axeAPI))
+   * - Tables should not have the same summary and caption ([url](https://dequeuniversity.com/rules/axe/4.12/table-duplicate-name?application=axeAPI))
    */
   tableDuplicateName: "table-duplicate-name",
   /**
    * - Ensure that tables with a caption use the `<caption>` element.
-   * - Data or header cells must not be used to give caption to a data table. ([url](https://dequeuniversity.com/rules/axe/4.10/table-fake-caption?application=axeAPI))
+   * - Data or header cells must not be used to give caption to a data table. ([url](https://dequeuniversity.com/rules/axe/4.12/table-fake-caption?application=axeAPI))
    */
   tableFakeCaption: "table-fake-caption",
   /**
    * - Ensure that each non-empty data cell in a `<table>` larger than 3 by 3  has one or more table headers
-   * - Non-empty `<td>` elements in larger `<table>` must have an associated table header ([url](https://dequeuniversity.com/rules/axe/4.10/td-has-header?application=axeAPI))
+   * - Non-empty `<td>` elements in larger `<table>` must have an associated table header ([url](https://dequeuniversity.com/rules/axe/4.12/td-has-header?application=axeAPI))
    */
   tdHasHeader: "td-has-header",
   /**
-   * - Ensure that each cell in a table that uses the headers attribute refers only to other cells in that table
-   * - Table cells that use the headers attribute must only refer to cells in the same table ([url](https://dequeuniversity.com/rules/axe/4.10/td-headers-attr?application=axeAPI))
+   * - Ensure that each cell in a table that uses the headers attribute refers only to other `<th>` elements in that table
+   * - Table cell headers attributes must refer to other `<th>` elements in the same table ([url](https://dequeuniversity.com/rules/axe/4.12/td-headers-attr?application=axeAPI))
    */
   tdHeadersAttr: "td-headers-attr",
   /**
    * - Ensure that `<th>` elements and elements with role=columnheader/rowheader have data cells they describe
-   * - Table headers in a data table must refer to data cells ([url](https://dequeuniversity.com/rules/axe/4.10/th-has-data-cells?application=axeAPI))
+   * - Table headers in a data table must refer to data cells ([url](https://dequeuniversity.com/rules/axe/4.12/th-has-data-cells?application=axeAPI))
    */
   thHasDataCells: "th-has-data-cells",
 } as const;
diff --git a/packages/language-server/src/service/html/axe-rules/rule-exceptions.ts b/packages/language-server/src/service/html/axe-rules/rule-exceptions.ts
index c1a5ae2a..61f8cd80 100644
--- a/packages/language-server/src/service/html/axe-rules/rule-exceptions.ts
+++ b/packages/language-server/src/service/html/axe-rules/rule-exceptions.ts
@@ -21,29 +21,25 @@ export interface Exceptions {
    * Exclude if the body content can't be determined
    */
   unknownBody?: boolean;
+  /**
+   * Exclude if inside a control flow branch (branches never coexist)
+   */
+  conditionalContent?: boolean;
+  /**
+   * Exclude unless the parent chain axe consults is fully known; written
+   * against axe-core 4.12's checks — re-verify on axe upgrades
+   */
+  requiresKnownParent?: "direct" | "through-presentational-wrappers";
+  /**
+   * Exclude unless the file renders a complete document (authored `<html>`)
+   * whose extraction exactly matches rendered output
+   */
+  requiresExactDocument?: boolean;
 }
 
 type Blacklist =
   // Explicitly blacklisted for Marko Language Server
   | typeof r.structure.frameTested
-  // Requires a parent component to validate; we can potentially add support with child component analysis
-  | typeof r.aria.ariaRequiredParent
-  | typeof r.forms.label
-  | typeof r.forms.labelTitleOnly
-  | typeof r.forms.selectName
-  | typeof r.keyboard.bypass
-  | typeof r.keyboard.nestedInteractive
-  | typeof r.keyboard.region
-  | typeof r.semantics.headingOrder
-  | typeof r.semantics.landmarkBannerIsTopLevel
-  | typeof r.semantics.landmarkComplementaryIsTopLevel
-  | typeof r.semantics.landmarkContentinfoIsTopLevel
-  | typeof r.semantics.landmarkMainIsTopLevel
-  | typeof r.semantics.landmarkOneMain
-  | typeof r.semantics.pageHasHeadingOne
-  | typeof r.structure.dlitem
-  | typeof r.structure.listitem
-  | typeof r.tables.tdHeadersAttr
   // Seemingly broken in axe-core or JSDom
   | typeof r.aria.ariaRoledescription
   | typeof r.aria.ariaValidAttr
@@ -73,6 +69,8 @@ type Whitelist = Exclude<RuleId, Blacklist>;
 // utility variables so the objects don't all need `: true` everywhere
 const unknownBody = true;
 const attrSpread = true;
+const conditionalContent = true;
+const requiresExactDocument = true;
 
 export const ruleExceptions: { [id in Whitelist]: Exceptions } = {
   [r.aria.ariaAllowedRole]: { dynamicAttrs: ["role"] },
@@ -88,7 +86,9 @@ export const ruleExceptions: { [id in Whitelist]: Exceptions } = {
   [r.aria.ariaProhibitedAttr]: { dynamicAttrs: ["role"] },
   [r.aria.ariaRequiredAttr]: { attrSpread },
   [r.aria.ariaRequiredChildren]: { unknownBody },
+  [r.aria.ariaRequiredParent]: { requiresExactDocument },
   [r.aria.ariaRoles]: { dynamicAttrs: ["role"] },
+  [r.aria.ariaTabName]: { unknownBody, attrSpread },
   [r.aria.ariaText]: { unknownBody },
   [r.aria.ariaToggleFieldName]: { unknownBody, attrSpread },
   [r.aria.ariaTooltipName]: { unknownBody, attrSpread },
@@ -96,8 +96,14 @@ export const ruleExceptions: { [id in Whitelist]: Exceptions } = {
   [r.aria.presentationRoleConflict]: {},
   [r.forms.autocompleteValid]: {},
   [r.forms.formFieldMultipleLabels]: {},
-  [r.keyboard.accesskeys]: {},
+  [r.forms.label]: { requiresExactDocument },
+  [r.forms.labelTitleOnly]: { requiresExactDocument },
+  [r.forms.selectName]: { requiresExactDocument },
+  [r.keyboard.accesskeys]: { conditionalContent },
+  [r.keyboard.bypass]: { requiresExactDocument },
   [r.keyboard.frameFocusableContent]: { unknownBody },
+  [r.keyboard.nestedInteractive]: { requiresExactDocument },
+  [r.keyboard.region]: { requiresExactDocument },
   [r.keyboard.skipLink]: { unknownBody },
   [r.keyboard.tabindex]: {},
   [r.language.htmlHasLang]: { attrSpread },
@@ -115,22 +121,40 @@ export const ruleExceptions: { [id in Whitelist]: Exceptions } = {
   [r.nameRoleValue.linkName]: { unknownBody, attrSpread },
   [r.nameRoleValue.summaryName]: { unknownBody, attrSpread },
   [r.parsing.marquee]: {},
-  [r.semantics.identicalLinksSamePurpose]: {},
-  [r.semantics.landmarkNoDuplicateBanner]: {},
-  [r.semantics.landmarkNoDuplicateContentinfo]: {},
-  [r.semantics.landmarkNoDuplicateMain]: {},
-  [r.semantics.landmarkUnique]: {},
+  [r.semantics.headingOrder]: { requiresExactDocument },
+  [r.semantics.identicalLinksSamePurpose]: { conditionalContent },
+  [r.semantics.landmarkBannerIsTopLevel]: { requiresExactDocument },
+  [r.semantics.landmarkComplementaryIsTopLevel]: { requiresExactDocument },
+  [r.semantics.landmarkContentinfoIsTopLevel]: { requiresExactDocument },
+  [r.semantics.landmarkMainIsTopLevel]: { requiresExactDocument },
+  [r.semantics.landmarkNoDuplicateBanner]: { conditionalContent },
+  [r.semantics.landmarkNoDuplicateContentinfo]: { conditionalContent },
+  [r.semantics.landmarkNoDuplicateMain]: { conditionalContent },
+  [r.semantics.landmarkUnique]: { conditionalContent },
+  [r.semantics.landmarkOneMain]: { requiresExactDocument },
+  [r.semantics.pageHasHeadingOne]: { requiresExactDocument },
   [r.sensoryAndVisualCues.metaViewport]: {},
   [r.sensoryAndVisualCues.metaViewportLarge]: {},
   [r.structure.definitionList]: { unknownBody },
+  [r.structure.dlitem]: {
+    requiresKnownParent: "through-presentational-wrappers",
+    dynamicAttrs: ["role"],
+    attrSpread,
+  },
   [r.structure.list]: { unknownBody },
+  [r.structure.listitem]: {
+    requiresKnownParent: "direct",
+    dynamicAttrs: ["role"],
+    attrSpread,
+  },
   [r.tables.scopeAttrValid]: {},
   [r.tables.tableDuplicateName]: { unknownBody },
+  [r.tables.tdHeadersAttr]: { requiresExactDocument },
   [r.tables.thHasDataCells]: { unknownBody },
   [r.textAlternatives.areaAlt]: { attrSpread },
   [r.textAlternatives.documentTitle]: { unknownBody },
   [r.textAlternatives.frameTitle]: { unknownBody },
-  [r.textAlternatives.frameTitleUnique]: { unknownBody },
+  [r.textAlternatives.frameTitleUnique]: { unknownBody, conditionalContent },
   [r.textAlternatives.imageAlt]: { attrSpread },
   [r.textAlternatives.imageRedundantAlt]: { attrSpread },
   [r.textAlternatives.inputImageAlt]: { attrSpread },
diff --git a/packages/language-server/src/service/html/index.ts b/packages/language-server/src/service/html/index.ts
index 908210a4..9950d12f 100644
--- a/packages/language-server/src/service/html/index.ts
+++ b/packages/language-server/src/service/html/index.ts
@@ -1,23 +1,71 @@
-import { extractHTML, type Parsed } from "@marko/language-tools";
+import {
+  extractChildTemplate,
+  extractHTML,
+  type HTMLExtraction,
+  type InlineChildTemplate,
+  type InlineRegion,
+  type Parsed,
+} from "@marko/language-tools";
 import axe from "axe-core";
-import { JSDOM } from "jsdom";
+import { type DOMWindow, JSDOM } from "jsdom";
+import path from "path";
+import type { Diagnostic } from "vscode-languageserver";
 import type { TextDocument } from "vscode-languageserver-textdocument";
+import { URI } from "vscode-uri";
 
-import { getMarkoFile } from "../../utils/file";
-import { get } from "../../utils/text-documents";
+import { getMarkoFile, type MarkoFile } from "../../utils/file";
+import { get, projectVersion } from "../../utils/text-documents";
 import type { Plugin } from "../types";
-import { ruleExceptions } from "./axe-rules/rule-exceptions";
+import { type Exceptions, ruleExceptions } from "./axe-rules/rule-exceptions";
 
-const extractCache = new WeakMap<Parsed, ReturnType<typeof extractHTML>>();
+const MAX_INLINE_DEPTH = 3;
+const MAX_INLINE_BYTES = 100_000;
 
-// const axeViolationImpact: {
-//   [impact in NonNullable<axe.ImpactValue>]: DiagnosticSeverity;
-// } = {
-//   minor: 1,
-//   moderate: 2,
-//   serious: 3,
-//   critical: 4,
-// };
+type NodeDetails = HTMLExtraction["nodeDetails"];
+
+// Keyed on projectVersion: inlined children can change without a re-parse.
+const extractCache = new WeakMap<
+  Parsed,
+  { version: number; result: HTMLExtraction }
+>();
+let childTemplateCacheVersion = -1;
+let childTemplateCache = new Map<Parsed, InlineChildTemplate | undefined>();
+
+interface ViolationEntry {
+  source: string;
+  message: string;
+  anchor: { generatedStart: number; length: number } | { regionIndex: number };
+}
+
+// Axe results depend only on the extraction's content; edits that leave it
+// unchanged (scriptlets, event handlers, ...) reuse them, re-mapping offsets.
+const validationCache = new WeakMap<
+  TextDocument,
+  { key: string; entries: ViolationEntry[] }
+>();
+
+// Path-independent so extracted output is stable across machines.
+const templatePrefixes = new Map<string, string>();
+const basenameCounts = new Map<string, number>();
+function getNodeIdPrefix(template: string) {
+  let prefix = templatePrefixes.get(template);
+  if (prefix === undefined) {
+    const base = path.basename(template).replace(/[^\w.-]/g, "_");
+    const count = basenameCounts.get(base) ?? 0;
+    basenameCounts.set(base, count + 1);
+    prefix = `${count === 0 ? base : `${base}~${count}`}#`;
+    templatePrefixes.set(template, prefix);
+  }
+  return prefix;
+}
+
+const allRules = Object.keys(ruleExceptions);
+// Rules gated on an exact document are filtered wholesale when the gate is
+// closed; skip running them at all.
+const nonDocumentRules = allRules.filter(
+  (id) =>
+    !ruleExceptions[id as keyof typeof ruleExceptions].requiresExactDocument,
+);
 
 const HTMLService: Partial<Plugin> = {
   commands: {
@@ -34,12 +82,23 @@ const HTMLService: Partial<Plugin> = {
     },
   },
   async doValidate(doc) {
-    const { extracted, nodeDetails } = extract(doc);
+    const extraction = extract(doc);
+    const { extracted, nodeDetails } = extraction;
+    const key = extractionKey(extraction);
+    const cached = validationCache.get(doc);
+    if (cached?.key === key) {
+      return cached.entries.flatMap((entry) => toDiagnostic(extraction, entry));
+    }
 
     const jsdom = new JSDOM(extracted.toString(), {
       includeNodeLocations: true,
     });
+    memoizeComputedStyles(jsdom.window);
     const { documentElement } = jsdom.window.document;
+    // jsdom-fabricated `<html>` elements carry no node id.
+    const exactDocument =
+      extraction.fidelity === "exact" &&
+      documentElement.dataset.markoNodeId !== undefined;
 
     const getViolationNodes = async (runOnly: string[]) =>
       (
@@ -50,64 +109,317 @@ const HTMLService: Partial<Plugin> = {
           },
           resultTypes: ["violations"],
           elementRef: true,
+          // No enabled rule reads CSS, so skip axe's CSSOM preload.
+          preload: false,
+          iframes: false,
         })
       ).violations.flatMap(({ nodes, id }) =>
         nodes.map((node) => ({ ...node, ruleId: id })),
       );
 
     const release = await acquireMutexLock();
-    const violations = await getViolationNodes(Object.keys(ruleExceptions));
+    const violations = await getViolationNodes(
+      exactDocument ? allRules : nonDocumentRules,
+    );
     release();
 
-    return violations.flatMap((result) => {
+    const entries = violations.flatMap((result): ViolationEntry[] => {
       const { element } = result;
       if (!element) return [];
       const ruleId = result.ruleId as keyof typeof ruleExceptions;
+      const exceptions = ruleExceptions[ruleId];
+      const nodeId = element.dataset.markoNodeId;
+      const details = nodeId ? nodeDetails[nodeId] : undefined;
 
-      if (element.dataset.markoNodeId) {
-        const details = nodeDetails[element.dataset.markoNodeId];
-        if (
-          (ruleExceptions[ruleId].attrSpread && details.hasDynamicAttrs) ||
-          (ruleExceptions[ruleId].unknownBody && details.hasDynamicBody) ||
-          ruleExceptions[ruleId].dynamicAttrs?.some(
+      if (
+        details &&
+        ((exceptions.attrSpread && details.hasDynamicAttrs) ||
+          (exceptions.unknownBody && details.hasDynamicBody) ||
+          (exceptions.conditionalContent && details.inConditional) ||
+          exceptions.dynamicAttrs?.some(
             (attr) => element.getAttribute(attr) === "dynamic",
-          )
-        ) {
-          return [];
-        }
+          ))
+      ) {
+        return [];
+      }
+
+      if (
+        (exceptions.requiresExactDocument && !exactDocument) ||
+        (exceptions.requiresKnownParent &&
+          !hasKnownParent(element, exceptions.requiresKnownParent, nodeDetails))
+      ) {
+        return [];
       }
 
       const generatedLoc = jsdom.nodeLocation(element);
       if (!generatedLoc) return [];
 
-      const sourceRange = extracted.sourceLocationAt(
-        generatedLoc.startOffset + 1,
-        generatedLoc.startOffset + 1 + element.tagName.length,
+      const anchor = anchorViolation(
+        extraction,
+        element,
+        generatedLoc.startOffset,
+        exceptions,
       );
-      if (!sourceRange) return [];
+      if (!anchor) return [];
 
       return [
         {
-          range: sourceRange,
-          severity: 3,
           source: `axe-core(${ruleId})`,
-          message: result.failureSummary ?? "unknown accessibility issue",
+          message:
+            anchor.messagePrefix +
+            (result.failureSummary ?? "unknown accessibility issue"),
+          anchor: anchor.anchor,
         },
       ];
     });
+
+    validationCache.set(doc, { key, entries });
+    return entries.flatMap((entry) => toDiagnostic(extraction, entry));
   },
 };
 
+function extractionKey({
+  extracted,
+  nodeDetails,
+  inlineRegions,
+  fidelity,
+}: HTMLExtraction) {
+  let key = `${fidelity}\n${extracted.toString()}`;
+  for (const id in nodeDetails) {
+    const d = nodeDetails[id];
+    key += `\n${id}:${+d.hasDynamicAttrs}${+d.hasDynamicBody}${+d.inConditional}`;
+  }
+  for (const r of inlineRegions) {
+    key += `\n${r.start}-${r.end}:${+r.bodyUncertain}${+r.inConditional}:${r.rootIds.join()}`;
+  }
+  return key;
+}
+
+function toDiagnostic(
+  extraction: HTMLExtraction,
+  { anchor, source, message }: ViolationEntry,
+): Diagnostic[] {
+  const range =
+    "regionIndex" in anchor
+      ? extraction.extracted.parsed.locationAt(
+          extraction.inlineRegions[anchor.regionIndex].tagName,
+        )
+      : extraction.extracted.sourceLocationAt(
+          anchor.generatedStart + 1,
+          anchor.generatedStart + 1 + anchor.length,
+        );
+  if (!range) return [];
+  return [{ range, severity: 3, source, message }];
+}
+
+// Extracted documents have no stylesheets, so jsdom's computed style is a
+// function of the UA sheet and the element's ancestor chain of tags/attrs
+// (data-marko-node-id is style-inert). Memoizing collapses the per-element
+// style computation that otherwise dominates axe's visibility checks.
+function memoizeComputedStyles(window: DOMWindow) {
+  if (window.document.styleSheets.length > 0) return;
+  const keys = new WeakMap<Element, string>();
+  const styles = new Map<string, CSSStyleDeclaration>();
+  const keyOf = (el: Element): string => {
+    let key = keys.get(el);
+    if (key === undefined) {
+      const parent = el.parentElement;
+      key = parent ? `${keyOf(parent)}>` : "";
+      key += el.tagName;
+      for (const attr of el.attributes) {
+        if (attr.name !== "data-marko-node-id") {
+          key += `|${attr.name}=${attr.value}`;
+        }
+      }
+      keys.set(el, key);
+    }
+    return key;
+  };
+  const original = window.getComputedStyle.bind(window);
+  window.getComputedStyle = ((el: Element, pseudo?: string | null) => {
+    if (pseudo) return original(el, pseudo);
+    const key = keyOf(el);
+    let style = styles.get(key);
+    if (!style) {
+      style = original(el);
+      styles.set(key, style);
+    }
+    return style;
+  }) as typeof window.getComputedStyle;
+}
+
 function extract(doc: TextDocument) {
-  const { parsed } = getMarkoFile(doc);
-  let cached = extractCache.get(parsed);
+  const file = getMarkoFile(doc);
+  const cached = extractCache.get(file.parsed);
+  if (cached && cached.version === projectVersion) return cached.result;
+
+  const result = extractHTML(file.parsed, {
+    resolveChild: createChildResolver(
+      file,
+      new Set(file.filename ? [file.filename] : []),
+      { remaining: MAX_INLINE_BYTES },
+    ),
+  });
+  extractCache.set(file.parsed, { version: projectVersion, result });
+  return result;
+}
+
+function createChildResolver(
+  file: MarkoFile,
+  stack: Set<string>,
+  budget: { remaining: number },
+) {
+  return (tagName: string): InlineChildTemplate | undefined => {
+    if (stack.size > MAX_INLINE_DEPTH) return;
+
+    let template: string | undefined;
+    try {
+      template = file.lookup.getTag(tagName)?.template;
+    } catch {
+      return;
+    }
 
-  if (!cached) {
-    cached = extractHTML(parsed);
-    extractCache.set(parsed, cached);
+    if (!template || !template.endsWith(".marko") || stack.has(template)) {
+      return;
+    }
+
+    const childTemplate = getChildTemplate(template, stack);
+    if (!childTemplate) return;
+
+    const size = childTemplateSize(childTemplate);
+    if (size > budget.remaining) return;
+    budget.remaining -= size;
+
+    return childTemplate;
+  };
+}
+
+function getChildTemplate(
+  template: string,
+  stack: Set<string>,
+): InlineChildTemplate | undefined {
+  const doc = get(URI.file(template).toString());
+  if (!doc) return;
+  const file = getMarkoFile(doc);
+
+  if (childTemplateCacheVersion !== projectVersion) {
+    childTemplateCacheVersion = projectVersion;
+    childTemplateCache = new Map();
+  }
+  if (childTemplateCache.has(file.parsed))
+    return childTemplateCache.get(file.parsed);
+  // In-progress marker; breaks the recursion for circular templates.
+  childTemplateCache.set(file.parsed, undefined);
+
+  const candidate = extractChildTemplate(file.parsed, {
+    nodeIdPrefix: getNodeIdPrefix(template),
+    // Fresh budget: cached templates are shared, usage sites re-check size.
+    resolveChild: createChildResolver(file, new Set(stack).add(template), {
+      remaining: MAX_INLINE_BYTES,
+    }),
+  });
+  const childTemplate =
+    childTemplateSize(candidate) <= MAX_INLINE_BYTES ? candidate : undefined;
+
+  childTemplateCache.set(file.parsed, childTemplate);
+  return childTemplate;
+}
+
+function childTemplateSize(childTemplate: InlineChildTemplate) {
+  return (
+    childTemplate.segments[0].length + (childTemplate.segments[1]?.length ?? 0)
+  );
+}
+
+function anchorViolation(
+  extraction: HTMLExtraction,
+  element: HTMLElement,
+  generatedOffset: number,
+  exceptions: Exceptions,
+) {
+  const { extracted, inlineRegions } = extraction;
+  const length = element.tagName.length;
+  if (
+    extracted.sourceLocationAt(
+      generatedOffset + 1,
+      generatedOffset + 1 + length,
+    )
+  ) {
+    return {
+      anchor: { generatedStart: generatedOffset, length },
+      messagePrefix: "",
+    };
   }
 
-  return cached;
+  const regionIndex = innermostRegionIndexAt(inlineRegions, generatedOffset);
+  const region = inlineRegions[regionIndex];
+  const nodeId = element.dataset.markoNodeId;
+  if (
+    !region ||
+    !nodeId ||
+    !region.rootIds.includes(nodeId) ||
+    (exceptions.unknownBody && region.bodyUncertain) ||
+    (exceptions.conditionalContent && region.inConditional)
+  ) {
+    return;
+  }
+
+  return {
+    anchor: { regionIndex },
+    messagePrefix: `This tag renders a \`<${element.tagName.toLowerCase()}>\` element here — `,
+  };
+}
+
+function innermostRegionIndexAt(regions: InlineRegion[], offset: number) {
+  let match = -1;
+  for (let i = 0; i < regions.length; i++) {
+    const region = regions[i];
+    if (
+      region.start <= offset &&
+      offset < region.end &&
+      (match === -1 || region.start >= regions[match].start)
+    ) {
+      match = i;
+    }
+  }
+  return match;
+}
+
+function hasKnownParent(
+  element: HTMLElement,
+  mode: NonNullable<Exceptions["requiresKnownParent"]>,
+  nodeDetails: NodeDetails,
+) {
+  // An id could be `aria-owns` re-parented from a template we can't see.
+  if (element.hasAttribute("id")) return false;
+
+  const parent = element.parentElement;
+  if (!isKnownElement(parent, nodeDetails)) return false;
+
+  if (mode === "through-presentational-wrappers" && parent.tagName === "DIV") {
+    const role = parent.getAttribute("role");
+    if (!role || role === "presentation" || role === "none") {
+      // axe looks through presentational div wrappers to the grandparent.
+      return isKnownElement(parent.parentElement, nodeDetails);
+    }
+  }
+
+  return true;
+}
+
+function isKnownElement(
+  element: HTMLElement | null,
+  nodeDetails: NodeDetails,
+): element is HTMLElement {
+  if (!element) return false;
+  const nodeId = element.dataset.markoNodeId;
+  if (!nodeId) return false;
+  const details = nodeDetails[nodeId];
+  return (
+    !!details &&
+    !details.hasDynamicAttrs &&
+    element.getAttribute("role") !== "dynamic"
+  );
 }
 
 let lock: Promise<void> | undefined;
diff --git a/packages/language-tools/src/extractors/html/index.ts b/packages/language-tools/src/extractors/html/index.ts
index 3896b3ac..b5292c55 100644
--- a/packages/language-tools/src/extractors/html/index.ts
+++ b/packages/language-tools/src/extractors/html/index.ts
@@ -1,36 +1,146 @@
-import { type Node, NodeType, type Parsed, type Range } from "../../parser";
-import { Extractor } from "../../util/extractor";
+import {
+  isControlFlowTag,
+  type Node,
+  NodeType,
+  type Parsed,
+  type Range,
+} from "../../parser";
+import { Extracted, Extractor } from "../../util/extractor";
 import {
   AttributeValueType,
   getAttributeValueType,
   isHTMLTag,
 } from "./keywords";
 
-export function extractHTML(parsed: Parsed) {
-  return new HTMLExtractor(parsed).end();
+export interface HTMLNodeDetails {
+  hasDynamicAttrs: boolean;
+  hasDynamicBody: boolean;
+  inConditional: boolean;
+}
+
+interface HTMLBodySlot {
+  offset: number;
+  depth: number;
+  inConditional: boolean;
+}
+
+export type ExtractionFidelity = "exact" | "approximate" | "uncertain";
+
+export interface InlineChildTemplate {
+  segments: [string] | [string, string];
+  bodySlot?: { depth: number; inConditional: boolean };
+  fidelity: ExtractionFidelity;
+  nodeDetails: Record<string, HTMLNodeDetails>;
+  rootIds: string[];
+}
+
+export interface InlineRegion {
+  start: number;
+  end: number;
+  tagName: Range;
+  bodyUncertain: boolean;
+  inConditional: boolean;
+  rootIds: string[];
+}
+
+export interface ExtractHTMLOptions {
+  nodeIdPrefix?: string;
+  resolveChild?(tagName: string): InlineChildTemplate | undefined;
+}
+
+const bodySlotReg = /^\$\{\s*input\.(?:renderBody|content)\s*\}$/;
+
+export interface HTMLExtraction {
+  extracted: Extracted;
+  nodeDetails: Record<string, HTMLNodeDetails>;
+  inlineRegions: InlineRegion[];
+  fidelity: ExtractionFidelity;
+}
+
+export function extractHTML(
+  parsed: Parsed,
+  options: ExtractHTMLOptions = {},
+): HTMLExtraction {
+  return new HTMLExtractor(parsed, options, false).end();
+}
+
+export function extractChildTemplate(
+  parsed: Parsed,
+  options: ExtractHTMLOptions = {},
+) {
+  return new HTMLExtractor(parsed, options, true).endChildTemplate();
 }
 
 class HTMLExtractor {
   #extractor: Extractor;
   #read: Parsed["read"];
-  #nodeDetails: {
-    [id: string]: { hasDynamicAttrs: boolean; hasDynamicBody: boolean };
-  };
+  #options: ExtractHTMLOptions;
+  #nodeDetails: Record<string, HTMLNodeDetails>;
   #nodeIdCounter: number;
+  #domDepth: number;
+  #conditionalDepth: number;
+  #uncertain: boolean;
+  #rootIds: string[];
+  #bodySlots: HTMLBodySlot[];
+  #inlineRegions: InlineRegion[];
+  #approximate: boolean;
+  #trackBodySlot: boolean;
 
-  constructor(parsed: Parsed) {
+  constructor(
+    parsed: Parsed,
+    options: ExtractHTMLOptions,
+    trackBodySlot: boolean,
+  ) {
     this.#extractor = new Extractor(parsed);
     this.#read = parsed.read.bind(parsed);
+    this.#options = options;
     this.#nodeDetails = {};
     this.#nodeIdCounter = 0;
-    parsed.program.body.forEach((node) => this.#visitNode(node));
+    this.#domDepth = 0;
+    this.#conditionalDepth = 0;
+    this.#uncertain = false;
+    this.#rootIds = [];
+    this.#bodySlots = [];
+    this.#inlineRegions = [];
+    this.#approximate = false;
+    this.#trackBodySlot = trackBodySlot;
+    parsed.program.body.forEach((node) => {
+      if (this.#visitNode(node)) this.#uncertain = true;
+    });
+  }
+
+  end(): HTMLExtraction {
+    return {
+      extracted: this.#extractor.end(),
+      nodeDetails: this.#nodeDetails,
+      inlineRegions: this.#inlineRegions,
+      fidelity: this.#fidelity(),
+    };
+  }
+
+  endChildTemplate(): InlineChildTemplate {
+    const html = this.#extractor.end().toString();
+    const slot = this.#bodySlots.length === 1 ? this.#bodySlots[0] : undefined;
+    return {
+      segments: slot
+        ? [html.slice(0, slot.offset), html.slice(slot.offset)]
+        : [html],
+      bodySlot: slot && {
+        depth: slot.depth,
+        inConditional: slot.inConditional,
+      },
+      fidelity: this.#fidelity(),
+      nodeDetails: this.#nodeDetails,
+      rootIds: this.#rootIds,
+    };
   }
 
-  end() {
-    return { extracted: this.#extractor.end(), nodeDetails: this.#nodeDetails };
+  #fidelity(): ExtractionFidelity {
+    if (this.#uncertain) return "uncertain";
+    return this.#approximate ? "approximate" : "exact";
   }
 
-  #visitNode(node: Node.ChildNode) {
+  #visitNode(node: Node.ChildNode): boolean {
     let hasDynamicBody = false,
       hasDynamicAttrs = false,
       isDynamic = false;
@@ -44,18 +154,38 @@ class HTMLExtractor {
         if (node.nameText === "script" || node.nameText === "style") {
           break;
         }
-        const nodeId = `${this.#nodeIdCounter++}`;
-        ({ isDynamic, hasDynamicAttrs, hasDynamicBody } = this.#writeTag(
+
+        if (isControlFlowTag(node)) {
+          this.#conditionalDepth++;
+          node.body?.forEach((child) => this.#visitNode(child));
+          this.#conditionalDepth--;
+          isDynamic = true;
+          break;
+        }
+
+        if (!node.nameText || !isHTMLTag(node.nameText)) {
+          isDynamic = this.#visitNonHTMLTag(node);
+          break;
+        }
+
+        const nodeId = `${this.#options.nodeIdPrefix ?? ""}${this
+          .#nodeIdCounter++}`;
+        ({ hasDynamicAttrs, hasDynamicBody } = this.#writeHTMLTag(
           node,
           nodeId,
         ));
-        this.#nodeDetails[nodeId] = { hasDynamicAttrs, hasDynamicBody };
+        this.#nodeDetails[nodeId] = {
+          hasDynamicAttrs,
+          hasDynamicBody,
+          inConditional: this.#conditionalDepth > 0,
+        };
         break;
       }
       case NodeType.Text:
         this.#extractor.copy(node);
         break;
       case NodeType.Placeholder:
+        this.#approximate = true;
         isDynamic =
           this.#read({
             start: node.start + 1,
@@ -68,50 +198,139 @@ class HTMLExtractor {
     return isDynamic || hasDynamicBody;
   }
 
-  #writeTag(node: Node.Tag, id: string) {
-    const isDynamic = !node.nameText || !isHTMLTag(node.nameText);
-    let hasDynamicAttrs = false,
-      hasDynamicBody = false;
-    if (isDynamic) {
-      this.#writeCustomTag(node);
-    } else {
-      ({ hasDynamicAttrs, hasDynamicBody } = this.#writeHTMLTag(node, id));
+  #visitNonHTMLTag(node: Node.Tag): boolean {
+    if (
+      !node.nameText &&
+      !node.body &&
+      bodySlotReg.test(this.#read(node.name))
+    ) {
+      if (!this.#trackBodySlot) return true;
+
+      this.#bodySlots.push({
+        offset: this.#extractor.length,
+        depth: this.#domDepth,
+        inConditional: this.#conditionalDepth > 0,
+      });
+      return false;
+    }
+
+    const child =
+      node.nameText && this.#options.resolveChild
+        ? this.#options.resolveChild(node.nameText)
+        : undefined;
+
+    if (
+      child &&
+      !node.hasAttrTags &&
+      (!node.body || child.segments.length === 2)
+    ) {
+      return this.#inlineChild(node, child);
+    }
+
+    if (node.body) {
+      this.#extractor.write("<div>");
+      this.#domDepth++;
+      node.body.forEach((child) => this.#visitNode(child));
+      this.#domDepth--;
+      this.#extractor.write("</div>");
     }
-    return { isDynamic, hasDynamicAttrs, hasDynamicBody };
+
+    return true;
+  }
+
+  #inlineChild(node: Node.Tag, child: InlineChildTemplate): boolean {
+    const start = this.#extractor.length;
+    if (child.fidelity !== "exact") this.#approximate = true;
+    if (this.#domDepth === 0) this.#rootIds.push(...child.rootIds);
+    Object.assign(this.#nodeDetails, child.nodeDetails);
+
+    this.#extractor.write(child.segments[0]);
+
+    let bodyUncertain = false;
+    if (node.body && child.bodySlot) {
+      const { depth, inConditional } = child.bodySlot;
+      this.#domDepth += depth;
+      if (inConditional) this.#conditionalDepth++;
+      node.body.forEach((c) => {
+        if (this.#visitNode(c)) bodyUncertain = true;
+      });
+      if (inConditional) this.#conditionalDepth--;
+      this.#domDepth -= depth;
+    }
+
+    if (child.segments.length === 2) this.#extractor.write(child.segments[1]);
+
+    this.#inlineRegions.push({
+      start,
+      end: this.#extractor.length,
+      tagName: node.name,
+      bodyUncertain,
+      inConditional: this.#conditionalDepth > 0,
+      rootIds: child.rootIds,
+    });
+
+    return child.fidelity === "uncertain" || bodyUncertain;
   }
 
   #writeHTMLTag(node: Node.Tag, id: string) {
     let hasDynamicAttrs = false,
       hasDynamicBody = false;
-    // <[node name]
+    if (this.#domDepth === 0) this.#rootIds.push(id);
     this.#extractor.write("<");
     this.#extractor.copy(isEmptyRange(node.name) ? node.nameText : node.name);
 
     this.#extractor.write(` data-marko-node-id="${id}"`);
-    // [node attributes]
+    this.#writeShorthands(node);
     node.attrs?.forEach((attr) => {
       if (attr.type === NodeType.AttrNamed) this.#writeAttrNamed(attr);
-      else if (attr.type === NodeType.AttrSpread) hasDynamicAttrs = true;
+      else if (attr.type === NodeType.AttrSpread) {
+        hasDynamicAttrs = true;
+        this.#approximate = true;
+      }
     });
-    // [body or self-closing `/`]
     this.#extractor.write(">");
 
     if (!isVoidTag(node.nameText)) {
+      this.#domDepth++;
       node.body?.forEach((child) => {
         if (this.#visitNode(child)) hasDynamicBody = true;
       });
+      this.#domDepth--;
       this.#extractor.write(`</${node.nameText}>`);
     }
 
     return { hasDynamicAttrs, hasDynamicBody };
   }
 
-  #writeCustomTag(node: Node.Tag) {
-    if (node.body) {
-      // Replace all unknown and undefined tag names with `div`s
-      this.#extractor.write("<div>");
-      node.body.forEach((node) => this.#visitNode(node));
-      this.#extractor.write("</div>");
+  #writeShorthands(node: Node.Tag) {
+    const { shorthandId, shorthandClassNames } = node;
+    if (shorthandId) {
+      this.#extractor.write(' id="');
+      if (shorthandId.expressions.length) {
+        this.#writeDynamic();
+      } else {
+        this.#extractor.copy({
+          start: shorthandId.start + 1,
+          end: shorthandId.end,
+        });
+      }
+      this.#extractor.write('"');
+    }
+
+    if (shorthandClassNames) {
+      this.#extractor.write(' class="');
+      shorthandClassNames.forEach((shorthandClass, i) => {
+        if (i) this.#extractor.write(" ");
+        if (shorthandClass.expressions.length) {
+          this.#writeDynamic();
+        } else {
+          this.#extractor.copy({
+            start: shorthandClass.start + 1,
+            end: shorthandClass.end,
+          });
+        }
+      });
+      this.#extractor.write('"');
     }
   }
 
@@ -150,21 +369,35 @@ class HTMLExtractor {
         });
         this.#extractor.write('"');
         break;
-      case AttributeValueType.QuotedString:
+      case AttributeValueType.QuotedString: {
+        const start = valueString.search(/[^=\s]/g) + 1;
+        // A raw `"` in the value would terminate the generated attribute.
+        if (valueString.slice(start, -1).includes('"')) {
+          this.#extractor.write('="');
+          this.#writeDynamic();
+          this.#extractor.write('"');
+          break;
+        }
         this.#extractor.write('="');
         this.#extractor.copy({
-          start: attr.value.start + valueString.search(/[^=\s]/g) + 1,
+          start: attr.value.start + start,
           end: attr.value.end - 1,
         });
         this.#extractor.write('"');
         break;
+      }
       case AttributeValueType.Dynamic:
-        // Replace all dynamic values with the string "dynamic" with a counter instead of removing them
-        // Subject to change-- axe-core might require "true" for aria attributes or something
-        this.#extractor.write(`="dynamic"`);
+        this.#extractor.write('="');
+        this.#writeDynamic();
+        this.#extractor.write('"');
         break;
     }
   }
+
+  #writeDynamic() {
+    this.#extractor.write("dynamic");
+    this.#approximate = true;
+  }
 }
 
 function isVoidTag(tagName: string | undefined) {
diff --git a/packages/language-tools/src/util/extractor.ts b/packages/language-tools/src/util/extractor.ts
index 41abb916..8eb57d16 100644
--- a/packages/language-tools/src/util/extractor.ts
+++ b/packages/language-tools/src/util/extractor.ts
@@ -65,6 +65,10 @@ export class Extractor {
     return this;
   }
 
+  get length() {
+    return this.#generated.length;
+  }
+
   copy(range: Range | Range[] | string | false | void | undefined | null) {
     if (range) {
       if (typeof range === "string") {