@svelte-vitals/core 0.44.0 → 0.46.0

package/dist/{index-CWWQEu8q.d.ts → index-Cx3Mi_d4.d.ts}

@@ -1,7 +1,313 @@
+/**
+ * Component-body facts for the Correctness category — the source-analysis boundary
+ * (mirrors images.ts / headings.ts). Collected by the static (CLI) provider only;
+ * the rendered provider can't see reactivity, so correctness rules no-op there.
+ */
+/** An `{#each}` block in a component template. */
+interface EachBlockFact {
+    /** True when the block has a key, e.g. `{#each items as item (item.id)}`. */
+    hasKey: boolean;
+    /** 1-based source line, or 0 if unknown. */
+    line: number;
+    /** Set when the block's key expression is its index binding or a trivial coercion of it — `(i)`, `(String(i))`, `(Number(i))`, `` (`${i}`) ``, `(i.toString())`, `(i + '')` — correctness/each-index-key. */
+    indexKey?: boolean;
+}
+/** An `$effect(...)` / `$effect.pre(...)` call in a component's instance script. */
+interface EffectFact {
+    /** 1-based source line, or 0 if unknown. */
+    line: number;
+    /** True when the effect body only assigns to `$state` variables (the "use $derived" smell). */
+    assignsOnlyState: boolean;
+    /** True when this $effect has a NON-EMPTY body that reads no reactive value and makes no bare call — it never re-runs, so it should be onMount (correctness/effect-as-onmount). */
+    mountOnly: boolean;
+}
+/** A `$effect` guaranteed to run outside component initialisation — it throws `effect_orphan` at runtime (correctness/orphan-effect). */
+interface OrphanEffectFact {
+    /** 1-based source line, or 0 if unknown. For 'constructor-instantiated', the module-scope `new` site. */
+    line: number;
+    /** 'top-level' = runs at module evaluation; 'constructor-instantiated' = module-scope `new` of a same-file class whose constructor creates a bare effect. */
+    kind: 'top-level' | 'constructor-instantiated';
+    /** Class name when kind is 'constructor-instantiated' (used in the finding message). */
+    className?: string;
+}
+/** A svelte lifecycle/context call guaranteed to run outside component initialisation — it throws `lifecycle_outside_component` at runtime (correctness/orphan-lifecycle). */
+interface OrphanLifecycleCallFact {
+    /** Canonical svelte export name (alias-resolved), e.g. 'onMount'. */
+    name: string;
+    /** 1-based source line, or 0 if unknown. For 'constructor-instantiated', the module-scope `new` site. */
+    line: number;
+    /** 'top-level' = runs at module evaluation; 'constructor-instantiated' = module-scope `new` of a same-file class whose constructor calls a tracked function. */
+    kind: 'top-level' | 'constructor-instantiated';
+    /** Class name when kind is 'constructor-instantiated' (used in the finding message). */
+    className?: string;
+}
+/** A browser-only global read in code that runs on the server — SSR crashes with "<name> is not defined" (correctness/server-browser-global, correctness/instance-browser-global). */
+interface BrowserGlobalRefFact {
+    /** The global's name, e.g. 'window'. */
+    name: string;
+    /** 1-based source line, or 0 if unknown. */
+    line: number;
+    /** 'module' = module evaluation (script module / runes module — correctness/server-browser-global); 'instance' = component-init top level (runs on the server during SSR — correctness/instance-browser-global). */
+    context: 'module' | 'instance';
+}
+/** A flagged source position in a component (e.g. an `{@html}` tag or a `javascript:` URL). */
+interface SourceSpan {
+    /** 1-based source line, or 0 if unknown. */
+    line: number;
+}
+/** An inline `svelte-vitals-disable-next-line` directive found in the component's source (issue #92). */
+interface SuppressionDirective {
+    /** 1-based line the directive suppresses (the line immediately after the comment). */
+    line: number;
+    /** Rule ids suppressed on that line; undefined = suppress every rule on that line. */
+    ruleIds?: string[];
+}
+/** An `<input type="checkbox">` / `<input type="radio">` element carrying a `bind:value`
+ *  directive — `bind:value` observes the DOM `value` property, which checkbox/radio
+ *  interaction never changes, so the bound state silently never updates
+ *  (correctness/checkable-bind-value). */
+interface CheckableBindValueFact {
+    /** Which checkable input type was flagged — selects the message wording. */
+    kind: 'checkbox' | 'radio';
+    /** 1-based source line, or 0 if unknown. */
+    line: number;
+}
+/** A root-relative navigation literal — broken when the app is served under `kit.paths.base`
+ *  (correctness/base-path-navigation). Shared by the component and Kit-module channels. */
+interface BasePathLinkFact {
+    /** Which navigation surface it was written on — selects the message wording. */
+    kind: 'href' | 'goto' | 'redirect';
+    /** The literal path as written, e.g. '/about'. */
+    path: string;
+    /** 1-based source line, or 0 if unknown. */
+    line: number;
+}
+/** An interactive element (e.g. `<button>`) found nested inside another interactive
+ *  container (e.g. `<a href>`) (a11y/interactive-nesting). */
+interface InteractiveNestingFact {
+    containerTag: string;
+    /** The container's literal `role`, when that is what made it a container rather than its tag. */
+    containerRole?: string;
+    descendantTag: string;
+    /** 1-based source line of the descendant, or 0 if unknown. */
+    line: number;
+}
+/** A `button`/`a href`/`input type="image"` with no computable accessible name (a11y/accessible-name). */
+interface UnnamedInteractiveFact {
+    tag: string;
+    /** 1-based source line, or 0 if unknown. */
+    line: number;
+}
+/** An element carrying a `role` and/or `aria-*` attribute(s) (a11y ARIA rules). */
+interface AriaElementFact {
+    tag: string;
+    /** 1-based source line, or 0 if unknown. */
+    line: number;
+    /** literal role value; undefined = no role attr; { expression: true } = dynamic */
+    role?: {
+        literal?: string;
+        expression?: boolean;
+    };
+    /** every aria-* attribute on the element */
+    aria: {
+        name: string;
+        literal?: string;
+        expression?: boolean;
+        line: number;
+    }[];
+    /** literal `type` of an `<input>`, lowercased; undefined for non-inputs or a dynamic type */
+    inputType?: string;
+    /** an `<input>` carrying a `list` attribute — its implicit role is `combobox` and the host supplies `aria-expanded` */
+    hasList?: true;
+    /**
+     * A `<select>`'s native role: `combobox` with no `multiple` and no `size` above 1, `listbox`
+     * otherwise; absent for a non-select or when a dynamic `size` leaves it unknowable.
+     */
+    selectKind?: 'combobox' | 'listbox';
+    /** Set when the element also carries a spread attribute — its full attribute set is
+     *  unknowable, so required-prop presence checks must treat it as satisfied (a11y/required-aria-props). */
+    hasSpread?: true;
+}
+/**
+ * Every element in a component with its literal attribute names — the input for the rules that
+ * judge against the HTML spec data (a11y/deprecated-element, a11y/deprecated-attr, and the rest of
+ * that family). Tag and attribute names are lowercased, matching how HTML parses them.
+ */
+interface ElementFact {
+    tag: string;
+    /** 1-based source line, or 0 if unknown. */
+    line: number;
+    /**
+     * Literal attribute names on the element (directives, spreads and expression-only names excluded).
+     * The per-attribute line is not what the deprecation rules anchor to — they anchor at the start
+     * tag so a `disable-next-line` directive can reach a multi-line element — but a value-level rule
+     * (`invalid-attr`) may want it for its message.
+     */
+    attrs: {
+        name: string;
+        line: number;
+        value?: string;
+    }[];
+    /**
+     * Inside an `<svg>` subtree, or in a component declaring `<svelte:options namespace="svg" />`.
+     * `<foreignObject>` returns to HTML. Names collide across the two namespaces (`a`, `script`,
+     * `style`, `title`), so HTML-only rules must skip these.
+     */
+    inSvg?: true;
+    /**
+     * Index of the nearest literal ancestor element in the same array (push-before-children DFS
+     * keeps it sound), looking through `{#if}`/`{#each}`/`{#await}`/`{#key}`. Absent at template
+     * root and after every construct whose rendering position is not lexical — a component,
+     * `<svelte:element>`, `<slot>`, `{@render}`, `{@html}`, a custom element or unknown tag,
+     * a `{#snippet}` body root, `<svelte:head>` children — so `a11y/permitted-contents` never
+     * judges across one.
+     */
+    parent?: number;
+    /** A spread attribute is present — every attribute test on this element is unknowable. */
+    hasSpread?: true;
+    /**
+     * A direct child the static walk cannot see through (component, `{@html}`, `{@render}`,
+     * `<slot />`, `<svelte:element>`, a custom element or unknown tag) — `:has(...)` over this
+     * element's subtree is unknowable.
+     */
+    unknownContent?: true;
+}
+/** Reactivity/correctness + security + architecture facts parsed from one `.svelte` component. */
+interface ComponentFacts {
+    /** Source file the component came from. */
+    file: string;
+    eachBlocks: EachBlockFact[];
+    effects: EffectFact[];
+    /** `{@html …}` occurrences — raw-HTML render surfaces (security/raw-html). */
+    htmlTags: SourceSpan[];
+    /** Element attributes with a literal `javascript:` URL (security/javascript-url). */
+    javascriptUrls: SourceSpan[];
+    /** Source line count of the component file (architecture/component-size). */
+    loc: number;
+    /** Named props destructured from `$props()`; 0 when unknowable (rest / non-destructured) (architecture/prop-count). */
+    propCount: number;
+    /** Module specifiers of every `import` in the instance + module scripts (performance/heavy-import). */
+    imports: string[];
+    /**
+     * Module specifiers of every `import`, each with its source line (performance/heavy-import,
+     * architecture/route-component-import). `type` marks a declaration that contributes **no runtime
+     * value binding** — either `import type …`, or one whose every specifier is inline-typed
+     * (`import { type A } from …`). A specifier-less side-effect import is not marked: it still loads
+     * the module. Optional, so existing external constructors of `ComponentFacts` are unaffected.
+     */
+    importSpans: {
+        source: string;
+        line: number;
+        type?: true;
+    }[];
+    /** Value `import * as X from '<bare pkg>'` namespace imports (type-only excluded) — performance/namespace-import. */
+    namespaceImports: {
+        source: string;
+        line: number;
+    }[];
+    /** `$state` declarations never written or escaped anywhere in the component — candidates for const (correctness/unmutated-state). */
+    constableStates: {
+        name: string;
+        line: number;
+    }[];
+    /** Mutations of a non-`$bindable` prop from `$props()`, or a legacy `export let` prop — member writes, `delete`, or a mutating method call (correctness/prop-mutation). `legacy` distinguishes which mode the prop was declared in (absent/false: `$props()`), since the fix differs — optional so existing external constructors of `ComponentFacts` are unaffected. */
+    mutatedProps: {
+        name: string;
+        line: number;
+        legacy?: boolean;
+    }[];
+    /** Top-level const/let bindings computed from a $props() or legacy `export let` prop without $derived (or `$:`), never reassigned or escaped, and referenced (eagerly) in the template — frozen at init (correctness/stale-prop-derivation). `legacy` distinguishes which mode the prop was declared in, since the fix differs — optional so existing external constructors of `ComponentFacts` are unaffected. */
+    stalePropDerivations: {
+        name: string;
+        line: number;
+        legacy?: boolean;
+    }[];
+    /** Object/array-literal $state bindings reassigned at least once but never mutated, escaped, aliased, or item-edited — $state.raw candidates (performance/state-raw). */
+    rawableStates: {
+        name: string;
+        line: number;
+    }[];
+    /** Plain built-in instances (Map/Set/Date/URL/URLSearchParams) in $state whose type-specific mutations were observed inside functions, with no exempting reassignment — untracked by reactivity (correctness/nonreactive-builtin-state). */
+    nonreactiveBuiltinStates: {
+        name: string;
+        type: string;
+        line: number;
+    }[];
+    /** `<input type="checkbox">` / `<input type="radio">` elements bound with `bind:value`
+     * instead of `bind:checked`/`bind:group` (correctness/checkable-bind-value). */
+    checkableBindValues: CheckableBindValueFact[];
+    /** Root-relative `<a href>` and `goto()` literals in this component (correctness/base-path-navigation). */
+    basePathLinks: BasePathLinkFact[];
+    /** `$effect` calls guaranteed to run outside component initialisation — module scope in `.svelte.ts`/`.svelte.js` or `<script module>` (correctness/orphan-effect). */
+    orphanEffects: OrphanEffectFact[];
+    /** Svelte lifecycle/context calls guaranteed to run outside component initialisation — module scope in `.svelte.ts`/`.svelte.js` or `<script module>` (correctness/orphan-lifecycle). */
+    orphanLifecycleCalls: OrphanLifecycleCallFact[];
+    /** Browser-global reads in server-executed positions of this file (correctness/server-browser-global, correctness/instance-browser-global). */
+    browserGlobalRefs: BrowserGlobalRefFact[];
+    /** Module-scope `$state` declarations in a `.svelte.ts`/`.svelte.js` runes module — on a server, one instance shared by every request (security/shared-state-import). Always empty for `.svelte` files. */
+    moduleStateDecls: {
+        name: string;
+        line: number;
+    }[];
+    /** Inline `svelte-vitals-disable-next-line` directives found in this file's source — component-rule escape hatch (issue #92). Optional: absent is equivalent to no directives, so existing external constructors of `ComponentFacts` are unaffected. */
+    suppressions?: SuppressionDirective[];
+    /** Markdown links `[label](url)` appearing inside a comment (architecture/doc-link-target). */
+    commentLinks: {
+        url: string;
+        line: number;
+    }[];
+    /** Elements carrying a role or any aria-* attribute (a11y ARIA rules). */
+    ariaElements?: AriaElementFact[];
+    /** Every element with its attribute names and SVG-namespace flag (the HTML spec-data rules). */
+    elements?: ElementFact[];
+    /** Interactive elements nested inside another interactive container (a11y/interactive-nesting). */
+    interactiveNestings?: InteractiveNestingFact[];
+    /** `button`/`a href`/`input type="image"` elements with no computable accessible name (a11y/accessible-name). */
+    unnamedInteractive?: UnnamedInteractiveFact[];
+    /** `<label>` elements with neither a `for` attribute nor a wrapped labelable descendant (a11y/label-has-control). */
+    unassociatedLabels?: {
+        line: number;
+    }[];
+    /** Text nodes whose trimmed content opens with a bullet character followed by whitespace, outside any `li` (a11y/use-list). */
+    bulletTexts?: {
+        line: number;
+        char: string;
+    }[];
+    /** `<select required>` (no `multiple`, display size absent or ≤ 1) whose first `option` element
+     *  child is not a placeholder label option (a11y/placeholder-label-option). */
+    selectsMissingPlaceholder?: {
+        line: number;
+    }[];
+    /** `<time>` with no `datetime` attribute whose literal text content is not machine-readable (a11y/require-datetime). */
+    timesMissingDatetime?: {
+        line: number;
+        text: string;
+    }[];
+    /** Set when the file failed to read or parse and these facts are the empty fallback — the file was NOT analyzed. */
+    parseFailed?: true;
+    /** Set when the file could not be READ — an environment problem (permissions, a descriptor
+     *  limit), not a malformed component. Reported separately so one does not masquerade as the other. */
+    readFailed?: true;
+}
+/**
+ * Warnings for files a collector could not read or parse: the file contributes empty facts, so any
+ * findings it would have produced are simply missing rather than reported as fixed. The two causes
+ * are reported separately — an unreadable file is an environment problem (permissions, a descriptor
+ * limit) and a malformed one is the author's, and sharing a message is how a descriptor limit once
+ * read as hundreds of broken components. Capped at 10 inline paths so one badly-broken directory
+ * cannot flood the terminal.
+ */
+declare function skippedFileWarnings(facts: readonly {
+    file: string;
+    parseFailed?: true;
+    readFailed?: true;
+}[]): string[];
+
 /**
  * Core type definitions shared across modes. This module is pure: no I/O, no
  * `node:` imports, no runtime-specific globals (design §8).
  */
+
 type Severity = 'critical' | 'warning' | 'info';
 /** Where a head tag is set, relative to the route being evaluated (design §4). */
 type Presence = 'own' | 'inherited' | 'none';
@@ -55,11 +361,13 @@ interface Project {
      * `file` is the config path relative to the analyzed root (posix, may start with `../`
      * in monorepos); unset for inline programmatic configs. `line` is 1-based and set only
      * when the literal `minify: false` was located in that file; unset when the value was
-     * resolved at build time (plugin/conditional config).
+     * resolved at build time (plugin/conditional config). `suppressions` carries the config file's
+     * own inline directives, so a line-anchored finding in it can be silenced like any other.
      */
     viteMinifyDisabled?: {
         file?: string;
         line?: number;
+        suppressions?: SuppressionDirective[];
     };
     /**
      * Set when the project configures a non-empty `kit.paths.base` — read from the `sveltekit()`
@@ -91,6 +399,8 @@ interface Project {
      * absent when the file wasn't read.
      */
     appHtmlIds?: string[];
+    /** Distinct lowercased tag names inside `app.html`'s `<body>` (a11y/required-element's presence set; static mode). */
+    appHtmlBodyTags?: string[];
 }
 declare const defaultProject: Project;
 /** A concrete, agent-actionable remediation for a finding (design §10, issue #18). */
@@ -202,6 +512,22 @@ declare function summarize(results: Result[], config: Config): Summary;
 /** Whether the run should fail the build/CI per the minimum failing severity. */
 declare function hasFailureAtOrAbove(summary: Summary, min: Severity): boolean;
 
+/**
+ * Render penalized findings as GitHub Actions workflow commands (issue #18, design slice 5).
+ * GitHub turns these into inline PR annotations and run-annotation entries. Returns '' when clean.
+ */
+declare function formatGithubReport(results: Result[], config: Config): string;
+
+/**
+ * Render a compact Markdown summary — Health score, per-category table, severity counts, and
+ * a findings table — suitable for a GitHub Actions job summary or a sticky PR comment
+ * (`svelte-vitals ci install`). Delegates all aggregation to `buildJsonReport` so the numbers
+ * never drift from the JSON/console reporters.
+ */
+declare function formatMarkdownReport(results: Result[], config: Config, meta: {
+    version: string;
+}): string;
+
 /**
  * Runtime abstraction (design §8). Core defines only the interface; concrete
  * adapters (Node / Deno / Bun) live in the CLI package and are the only place
@@ -286,7 +612,7 @@ interface HeadTag {
     presence: Exclude<Presence, 'none'>;
     /** Whether the tag's value is static/dynamic/absent (design §4). */
     value: Value;
-    /** Source file the tag came from (static mode only). */
+    /** Source file the tag came from (static mode); unset on a rendered head. */
     file?: string;
 }
 /** Resolved effective head for a single route (design §8). */
@@ -322,379 +648,147 @@ interface ImageInfo {
     /** True when the <img> has an `alt` attribute at all (incl. empty `alt=""` decorative; seo/image-alt). */
     hasAlt: boolean;
     /** True when the <img> has a literal `loading="lazy"` (performance/lcp-image). Dynamic/spread → false. */
-    lazy: boolean;
-    /** True when the <img> has a `srcset` attribute (performance/responsive-image). */
-    hasSrcset: boolean;
-    /** 1-based source line, or 0 if unknown. */
-    line: number;
-    /** Source file the <img> came from. */
-    file: string;
-}
-/** Resolved <img> elements for a single route (page + layout chain). */
-interface ResolvedImages {
-    route: string;
-    images: ImageInfo[];
-}
-
-/**
- * A normalized page-body heading occurrence — the mode-independent boundary for
- * the heading-hierarchy rule (mirrors images.ts). Both providers collect these
- * so seo/single-h1 never needs to know which mode produced them.
- */
-interface HeadingInfo {
-    /** Heading level 1–6 (the `n` in <hn>). */
-    level: number;
-    /** 1-based source line, or 0 if unknown (rendered mode does not track lines). */
-    line: number;
-    /** Source file the heading came from. */
-    file: string;
-}
-/** Resolved page-body headings for a single route (page + layout chain). */
-interface ResolvedHeadings {
-    route: string;
-    headings: HeadingInfo[];
-    /**
-     * Headings found in child components rendered (transitively) by this route's
-     * chain files — source mode only; absent in rendered mode. Kept separate from
-     * `headings` because their position in document order is unknown: safe for
-     * counting (seo/single-h1), unusable for outline order (seo/heading-level-skip).
-     */
-    componentHeadings?: HeadingInfo[];
-}
-
-/** One step of a template branch address: which exclusive block, and which arm of it. */
-interface BranchStep {
-    /** index of the {#if}/{#await} block among its file's blocks (document order) */
-    group: number;
-    /** branch index within the group (if: 0..n consequent→else; await: 0=pending,1=then,2=catch) */
-    branch: number;
-}
-/** Where a folded occurrence sits, for the finding location. */
-interface A11yOccurrenceInfo {
-    file: string;
-    line: number;
-}
-/**
- * Route-scoped a11y facts, the mode-independent boundary for the landmark/id rules
- * (mirrors headings.ts). Source mode composes the layout chain plus its resolved
- * components; rendered mode reads the prerendered document.
- */
-interface ResolvedA11y {
-    route: string;
-    /** representatives per landmark kind after the branch-aware fold ('main' | 'banner' | 'contentinfo' | 'complementary') */
-    landmarks: Record<string, A11yOccurrenceInfo[]>;
-    /** landmark occurrences nested inside another landmark after composition */
-    nestedLandmarks: {
-        kind: string;
-        within: string;
-        file: string;
-        line: number;
-    }[];
-    /** representatives per literal id */
-    ids: Record<string, A11yOccurrenceInfo[]>;
-    /** literal id references */
-    idRefs: {
-        id: string;
-        attr: string;
-        file: string;
-        line: number;
-    }[];
-    /** optimistic candidates: every literal id anywhere (all branches, each/snippet bodies, components, app.html) */
-    idCandidates: string[];
-    /** closed world holds: every component resolved, no depth truncation, no {@html}/spread, no dynamic id */
-    fullyResolved: boolean;
-}
-type Foldable = {
-    key: string;
-    path: BranchStep[];
-    repeatable: boolean;
-};
-/**
- * Branch-aware occurrence fold (design "Control-flow semantics"): within a branch
- * occurrences sum, across the arms of one exclusive block the arm with the most
- * occurrences wins (tie → lowest branch index) and ITS occurrences are the group's
- * representatives — so a caller's count is always `list.length`, with a location per
- * representative. `{#each}`/`{#snippet}` occurrences render 0..N times and drop out.
- * The max is per key: there is no scalar total to maximize.
- */
-declare function foldOccurrences<T extends Foldable>(nodes: T[]): Map<string, T[]>;
-/**
- * Decode a fragment identifier the way navigation does before matching an element id
- * (`href="#caf%C3%A9"` targets `id="café"`). Malformed escapes are kept verbatim —
- * the browser would also fail to decode them, so the raw text is the comparable form.
- */
-declare function decodeFragmentId(fragment: string): string;
-/** Whitespace-split tokens of a (possibly undefined) literal attribute value. */
-declare function splitTokens(value: string | undefined): string[];
-/** Explicit `role` values that map to the landmark kinds the route rules inspect. */
-declare const LANDMARK_ROLES: ReadonlySet<string>;
-/** Attributes whose (whitespace-tokenized) values reference element ids. */
-declare const IDREF_ATTRS: readonly string[];
-/**
- * Whether a decoded URL fragment is HTML's "top of the document" indicator: `#top` (ASCII
- * case-insensitive) scrolls to the top when no element has that id, so it is never a missing
- * reference. Compare AFTER percent-decoding — `#%74op` navigates identically to `#top`.
- */
-declare function isTopFragment(id: string): boolean;
-/**
- * A fragment with its text directive removed. Everything from the first `:~:` on is user-agent
- * instructions for finding text and names no element, while anything before it is still an
- * ordinary element fragment — `#section:~:text=hi` targets `id="section"`, `#:~:text=hi` targets
- * nothing. Returns an empty string when the fragment is a directive and nothing else.
- */
-declare function stripTextDirective(fragment: string): string;
-
-/**
- * Component-body facts for the Correctness category — the source-analysis boundary
- * (mirrors images.ts / headings.ts). Collected by the static (CLI) provider only;
- * the rendered provider can't see reactivity, so correctness rules no-op there.
- */
-/** An `{#each}` block in a component template. */
-interface EachBlockFact {
-    /** True when the block has a key, e.g. `{#each items as item (item.id)}`. */
-    hasKey: boolean;
-    /** 1-based source line, or 0 if unknown. */
-    line: number;
-    /** Set when the block's key expression is its index binding or a trivial coercion of it — `(i)`, `(String(i))`, `(Number(i))`, `` (`${i}`) ``, `(i.toString())`, `(i + '')` — correctness/each-index-key. */
-    indexKey?: boolean;
-}
-/** An `$effect(...)` / `$effect.pre(...)` call in a component's instance script. */
-interface EffectFact {
-    /** 1-based source line, or 0 if unknown. */
-    line: number;
-    /** True when the effect body only assigns to `$state` variables (the "use $derived" smell). */
-    assignsOnlyState: boolean;
-    /** True when this $effect has a NON-EMPTY body that reads no reactive value and makes no bare call — it never re-runs, so it should be onMount (correctness/effect-as-onmount). */
-    mountOnly: boolean;
-}
-/** A `$effect` guaranteed to run outside component initialisation — it throws `effect_orphan` at runtime (correctness/orphan-effect). */
-interface OrphanEffectFact {
-    /** 1-based source line, or 0 if unknown. For 'constructor-instantiated', the module-scope `new` site. */
-    line: number;
-    /** 'top-level' = runs at module evaluation; 'constructor-instantiated' = module-scope `new` of a same-file class whose constructor creates a bare effect. */
-    kind: 'top-level' | 'constructor-instantiated';
-    /** Class name when kind is 'constructor-instantiated' (used in the finding message). */
-    className?: string;
-}
-/** A svelte lifecycle/context call guaranteed to run outside component initialisation — it throws `lifecycle_outside_component` at runtime (correctness/orphan-lifecycle). */
-interface OrphanLifecycleCallFact {
-    /** Canonical svelte export name (alias-resolved), e.g. 'onMount'. */
-    name: string;
-    /** 1-based source line, or 0 if unknown. For 'constructor-instantiated', the module-scope `new` site. */
-    line: number;
-    /** 'top-level' = runs at module evaluation; 'constructor-instantiated' = module-scope `new` of a same-file class whose constructor calls a tracked function. */
-    kind: 'top-level' | 'constructor-instantiated';
-    /** Class name when kind is 'constructor-instantiated' (used in the finding message). */
-    className?: string;
-}
-/** A browser-only global read in code that runs on the server — SSR crashes with "<name> is not defined" (correctness/server-browser-global, correctness/instance-browser-global). */
-interface BrowserGlobalRefFact {
-    /** The global's name, e.g. 'window'. */
-    name: string;
-    /** 1-based source line, or 0 if unknown. */
-    line: number;
-    /** 'module' = module evaluation (script module / runes module — correctness/server-browser-global); 'instance' = component-init top level (runs on the server during SSR — correctness/instance-browser-global). */
-    context: 'module' | 'instance';
-}
-/** A flagged source position in a component (e.g. an `{@html}` tag or a `javascript:` URL). */
-interface SourceSpan {
-    /** 1-based source line, or 0 if unknown. */
-    line: number;
-}
-/** An inline `svelte-vitals-disable-next-line` directive found in the component's source (issue #92). */
-interface SuppressionDirective {
-    /** 1-based line the directive suppresses (the line immediately after the comment). */
-    line: number;
-    /** Rule ids suppressed on that line; undefined = suppress every rule on that line. */
-    ruleIds?: string[];
-}
-/** An `<input type="checkbox">` / `<input type="radio">` element carrying a `bind:value`
- *  directive — `bind:value` observes the DOM `value` property, which checkbox/radio
- *  interaction never changes, so the bound state silently never updates
- *  (correctness/checkable-bind-value). */
-interface CheckableBindValueFact {
-    /** Which checkable input type was flagged — selects the message wording. */
-    kind: 'checkbox' | 'radio';
-    /** 1-based source line, or 0 if unknown. */
-    line: number;
-}
-/** A root-relative navigation literal — broken when the app is served under `kit.paths.base`
- *  (correctness/base-path-navigation). Shared by the component and Kit-module channels. */
-interface BasePathLinkFact {
-    /** Which navigation surface it was written on — selects the message wording. */
-    kind: 'href' | 'goto' | 'redirect';
-    /** The literal path as written, e.g. '/about'. */
-    path: string;
-    /** 1-based source line, or 0 if unknown. */
-    line: number;
-}
-/** An interactive element (e.g. `<button>`) found nested inside another interactive
- *  container (e.g. `<a href>`) (a11y/interactive-nesting). */
-interface InteractiveNestingFact {
-    containerTag: string;
-    /** The container's literal `role`, when that is what made it a container rather than its tag. */
-    containerRole?: string;
-    descendantTag: string;
-    /** 1-based source line of the descendant, or 0 if unknown. */
-    line: number;
-}
-/** A `button`/`a href`/`input type="image"` with no computable accessible name (a11y/accessible-name). */
-interface UnnamedInteractiveFact {
-    tag: string;
-    /** 1-based source line, or 0 if unknown. */
-    line: number;
-}
-/** An element carrying a `role` and/or `aria-*` attribute(s) (a11y ARIA rules). */
-interface AriaElementFact {
-    tag: string;
+    lazy: boolean;
+    /** True when the <img> has a `srcset` attribute (performance/responsive-image). */
+    hasSrcset: boolean;
     /** 1-based source line, or 0 if unknown. */
     line: number;
-    /** literal role value; undefined = no role attr; { expression: true } = dynamic */
-    role?: {
-        literal?: string;
-        expression?: boolean;
-    };
-    /** every aria-* attribute on the element */
-    aria: {
-        name: string;
-        literal?: string;
-        expression?: boolean;
-        line: number;
-    }[];
-    /** literal `type` of an `<input>`, lowercased; undefined for non-inputs or a dynamic type */
-    inputType?: string;
-    /** Set when the element also carries a spread attribute — its full attribute set is
-     *  unknowable, so required-prop presence checks must treat it as satisfied (a11y/required-aria-props). */
-    hasSpread?: true;
+    /** Source file the <img> came from. */
+    file: string;
 }
-/** Reactivity/correctness + security + architecture facts parsed from one `.svelte` component. */
-interface ComponentFacts {
-    /** Source file the component came from. */
+/** Resolved <img> elements for a single route (page + layout chain). */
+interface ResolvedImages {
+    route: string;
+    images: ImageInfo[];
+}
+
+/**
+ * A normalized page-body heading occurrence — the mode-independent boundary for
+ * the heading-hierarchy rule (mirrors images.ts). Both providers collect these
+ * so seo/single-h1 never needs to know which mode produced them.
+ */
+interface HeadingInfo {
+    /** Heading level 1–6 (the `n` in <hn>). */
+    level: number;
+    /** 1-based source line, or 0 if unknown (rendered mode does not track lines). */
+    line: number;
+    /** Source file the heading came from. */
     file: string;
-    eachBlocks: EachBlockFact[];
-    effects: EffectFact[];
-    /** `{@html …}` occurrences — raw-HTML render surfaces (security/raw-html). */
-    htmlTags: SourceSpan[];
-    /** Element attributes with a literal `javascript:` URL (security/javascript-url). */
-    javascriptUrls: SourceSpan[];
-    /** Source line count of the component file (architecture/component-size). */
-    loc: number;
-    /** Named props destructured from `$props()`; 0 when unknowable (rest / non-destructured) (architecture/prop-count). */
-    propCount: number;
-    /** Module specifiers of every `import` in the instance + module scripts (performance/heavy-import). */
-    imports: string[];
+}
+/** Resolved page-body headings for a single route (page + layout chain). */
+interface ResolvedHeadings {
+    route: string;
+    headings: HeadingInfo[];
     /**
-     * Module specifiers of every `import`, each with its source line (performance/heavy-import,
-     * architecture/route-component-import). `type` marks a declaration that contributes **no runtime
-     * value binding** — either `import type …`, or one whose every specifier is inline-typed
-     * (`import { type A } from …`). A specifier-less side-effect import is not marked: it still loads
-     * the module. Optional, so existing external constructors of `ComponentFacts` are unaffected.
+     * Headings found in child components rendered (transitively) by this route's
+     * chain files — source mode only; absent in rendered mode. Kept separate from
+     * `headings` because their position in document order is unknown: safe for
+     * counting (seo/single-h1), unusable for outline order (seo/heading-level-skip).
      */
-    importSpans: {
-        source: string;
-        line: number;
-        type?: true;
-    }[];
-    /** Value `import * as X from '<bare pkg>'` namespace imports (type-only excluded) — performance/namespace-import. */
-    namespaceImports: {
-        source: string;
-        line: number;
-    }[];
-    /** `$state` declarations never written or escaped anywhere in the component — candidates for const (correctness/unmutated-state). */
-    constableStates: {
-        name: string;
-        line: number;
-    }[];
-    /** Mutations of a non-`$bindable` prop from `$props()`, or a legacy `export let` prop — member writes, `delete`, or a mutating method call (correctness/prop-mutation). `legacy` distinguishes which mode the prop was declared in (absent/false: `$props()`), since the fix differs — optional so existing external constructors of `ComponentFacts` are unaffected. */
-    mutatedProps: {
-        name: string;
-        line: number;
-        legacy?: boolean;
-    }[];
-    /** Top-level const/let bindings computed from a $props() or legacy `export let` prop without $derived (or `$:`), never reassigned or escaped, and referenced (eagerly) in the template — frozen at init (correctness/stale-prop-derivation). `legacy` distinguishes which mode the prop was declared in, since the fix differs — optional so existing external constructors of `ComponentFacts` are unaffected. */
-    stalePropDerivations: {
-        name: string;
-        line: number;
-        legacy?: boolean;
-    }[];
-    /** Object/array-literal $state bindings reassigned at least once but never mutated, escaped, aliased, or item-edited — $state.raw candidates (performance/state-raw). */
-    rawableStates: {
-        name: string;
-        line: number;
-    }[];
-    /** Plain built-in instances (Map/Set/Date/URL/URLSearchParams) in $state whose type-specific mutations were observed inside functions, with no exempting reassignment — untracked by reactivity (correctness/nonreactive-builtin-state). */
-    nonreactiveBuiltinStates: {
-        name: string;
-        type: string;
-        line: number;
-    }[];
-    /** `<input type="checkbox">` / `<input type="radio">` elements bound with `bind:value`
-     * instead of `bind:checked`/`bind:group` (correctness/checkable-bind-value). */
-    checkableBindValues: CheckableBindValueFact[];
-    /** Root-relative `<a href>` and `goto()` literals in this component (correctness/base-path-navigation). */
-    basePathLinks: BasePathLinkFact[];
-    /** `$effect` calls guaranteed to run outside component initialisation — module scope in `.svelte.ts`/`.svelte.js` or `<script module>` (correctness/orphan-effect). */
-    orphanEffects: OrphanEffectFact[];
-    /** Svelte lifecycle/context calls guaranteed to run outside component initialisation — module scope in `.svelte.ts`/`.svelte.js` or `<script module>` (correctness/orphan-lifecycle). */
-    orphanLifecycleCalls: OrphanLifecycleCallFact[];
-    /** Browser-global reads in server-executed positions of this file (correctness/server-browser-global, correctness/instance-browser-global). */
-    browserGlobalRefs: BrowserGlobalRefFact[];
-    /** Module-scope `$state` declarations in a `.svelte.ts`/`.svelte.js` runes module — on a server, one instance shared by every request (security/shared-state-import). Always empty for `.svelte` files. */
-    moduleStateDecls: {
-        name: string;
-        line: number;
-    }[];
-    /** Inline `svelte-vitals-disable-next-line` directives found in this file's source — component-rule escape hatch (issue #92). Optional: absent is equivalent to no directives, so existing external constructors of `ComponentFacts` are unaffected. */
-    suppressions?: SuppressionDirective[];
-    /** Markdown links `[label](url)` appearing inside a comment (architecture/doc-link-target). */
-    commentLinks: {
-        url: string;
-        line: number;
-    }[];
-    /** Elements carrying a role or any aria-* attribute (a11y ARIA rules). */
-    ariaElements?: AriaElementFact[];
-    /** Interactive elements nested inside another interactive container (a11y/interactive-nesting). */
-    interactiveNestings?: InteractiveNestingFact[];
-    /** `button`/`a href`/`input type="image"` elements with no computable accessible name (a11y/accessible-name). */
-    unnamedInteractive?: UnnamedInteractiveFact[];
-    /** `<label>` elements with neither a `for` attribute nor a wrapped labelable descendant (a11y/label-has-control). */
-    unassociatedLabels?: {
-        line: number;
-    }[];
-    /** Text nodes whose trimmed content opens with a bullet character followed by whitespace, outside any `li` (a11y/use-list). */
-    bulletTexts?: {
-        line: number;
-        char: string;
-    }[];
-    /** `<select required>` (no `multiple`, display size absent or ≤ 1) whose first `option` element
-     *  child is not a placeholder label option (a11y/placeholder-label-option). */
-    selectsMissingPlaceholder?: {
+    componentHeadings?: HeadingInfo[];
+}
+
+/** One step of a template branch address: which exclusive block, and which arm of it. */
+interface BranchStep {
+    /** index of the {#if}/{#await} block among its file's blocks (document order) */
+    group: number;
+    /** branch index within the group (if: 0..n consequent→else; await: 0=pending,1=then,2=catch) */
+    branch: number;
+}
+/** Where a folded occurrence sits, for the finding location. */
+interface A11yOccurrenceInfo {
+    file: string;
+    line: number;
+}
+/**
+ * Route-scoped a11y facts, the mode-independent boundary for the landmark/id rules
+ * (mirrors headings.ts). Source mode composes the layout chain plus its resolved
+ * components; rendered mode reads the prerendered document.
+ */
+interface ResolvedA11y {
+    route: string;
+    /** representatives per landmark kind after the branch-aware fold ('main' | 'banner' | 'contentinfo' | 'complementary') */
+    landmarks: Record<string, A11yOccurrenceInfo[]>;
+    /** landmark occurrences nested inside another landmark after composition */
+    nestedLandmarks: {
+        kind: string;
+        within: string;
+        file: string;
         line: number;
     }[];
-    /** `<time>` with no `datetime` attribute whose literal text content is not machine-readable (a11y/require-datetime). */
-    timesMissingDatetime?: {
+    /** representatives per literal id */
+    ids: Record<string, A11yOccurrenceInfo[]>;
+    /** literal id references */
+    idRefs: {
+        id: string;
+        attr: string;
+        file: string;
         line: number;
-        text: string;
     }[];
-    /** Set when the file failed to read or parse and these facts are the empty fallback — the file was NOT analyzed. */
-    parseFailed?: true;
-    /** Set when the file could not be READ — an environment problem (permissions, a descriptor
-     *  limit), not a malformed component. Reported separately so one does not masquerade as the other. */
-    readFailed?: true;
+    /** optimistic candidates: every literal id anywhere (all branches, each/snippet bodies, components, app.html) */
+    idCandidates: string[];
+    /** closed world holds: every component resolved, no depth truncation, no {@html}/spread, no dynamic id */
+    fullyResolved: boolean;
+    /**
+     * Distinct tag names in the route's body subtree — layout chain, page, every resolved component,
+     * and `app.html`'s `<body>` (static), or the prerendered `<body>` (rendered); optimistic across
+     * `{#if}` arms and `{#each}`/snippet bodies. Never `<svelte:head>` content, `<template>` children,
+     * or `<svelte:element>`. Absent where a provider does not collect it (a11y/required-element).
+     */
+    elementTags?: string[];
+    /**
+     * The closed world for elements: every component descended into (an unresolved, depth-truncated,
+     * or — conservatively — cycle-cut one clears it), no `{@html}`, no `<svelte:element>`. Incomparable with `fullyResolved` — a spread or `id={expr}` clears that flag
+     * and not this one, since neither can hide an element; a `<svelte:element>` clears this and not
+     * that. "Missing" is only reportable when this holds; presence is sound regardless.
+     */
+    elementsClosed?: boolean;
+    /** The file a route-level finding is anchored to: the page file (static) or the prerendered HTML path (rendered). */
+    file?: string;
 }
+type Foldable = {
+    key: string;
+    path: BranchStep[];
+    repeatable: boolean;
+};
 /**
- * Warnings for files a collector could not read or parse: the file contributes empty facts, so any
- * findings it would have produced are simply missing rather than reported as fixed. The two causes
- * are reported separately — an unreadable file is an environment problem (permissions, a descriptor
- * limit) and a malformed one is the author's, and sharing a message is how a descriptor limit once
- * read as hundreds of broken components. Capped at 10 inline paths so one badly-broken directory
- * cannot flood the terminal.
+ * Branch-aware occurrence fold (design "Control-flow semantics"): within a branch
+ * occurrences sum, across the arms of one exclusive block the arm with the most
+ * occurrences wins (tie → lowest branch index) and ITS occurrences are the group's
+ * representatives — so a caller's count is always `list.length`, with a location per
+ * representative. `{#each}`/`{#snippet}` occurrences render 0..N times and drop out.
+ * The max is per key: there is no scalar total to maximize.
  */
-declare function skippedFileWarnings(facts: readonly {
-    file: string;
-    parseFailed?: true;
-    readFailed?: true;
-}[]): string[];
+declare function foldOccurrences<T extends Foldable>(nodes: T[]): Map<string, T[]>;
+/**
+ * Decode a fragment identifier the way navigation does before matching an element id
+ * (`href="#caf%C3%A9"` targets `id="café"`). Malformed escapes are kept verbatim —
+ * the browser would also fail to decode them, so the raw text is the comparable form.
+ */
+declare function decodeFragmentId(fragment: string): string;
+/** Whitespace-split tokens of a (possibly undefined) literal attribute value. */
+declare function splitTokens(value: string | undefined): string[];
+/** Explicit `role` values that map to the landmark kinds the route rules inspect. */
+declare const LANDMARK_ROLES: ReadonlySet<string>;
+/**
+ * Attributes whose (whitespace-tokenized) values reference element ids: the ARIA id-reference and
+ * id-reference-list properties, and HTML's own (`for`, `list`, `headers`, `form`, the popover and
+ * command targets). `href="#…"` is handled separately — its value is a URL, not a token list.
+ */
+declare const IDREF_ATTRS: readonly string[];
+/**
+ * Whether a decoded URL fragment is HTML's "top of the document" indicator: `#top` (ASCII
+ * case-insensitive) scrolls to the top when no element has that id, so it is never a missing
+ * reference. Compare AFTER percent-decoding — `#%74op` navigates identically to `#top`.
+ */
+declare function isTopFragment(id: string): boolean;
+/**
+ * A fragment with its text directive removed. Everything from the first `:~:` on is user-agent
+ * instructions for finding text and names no element, while anything before it is still an
+ * ordinary element fragment — `#section:~:text=hi` targets `id="section"`, `#:~:text=hi` targets
+ * nothing. Returns an empty string when the fragment is a directive and nothing else.
+ */
+declare function stripTextDirective(fragment: string): string;
 
 /**
  * Facts parsed from one SvelteKit route/hooks file for the SSR shared-state rules
@@ -856,6 +950,16 @@ type RuleOptionSpec = {
 } | {
     kind: 'string-list';
     default: readonly string[];
+    /**
+     * Grammar every entry must match, checked at config load. A declaration-driven rule reserves
+     * its grammar with this so a value the rule does not interpret today (`'input[type=file]'`
+     * for a tag-name list) is rejected rather than accepted-and-ignored — accepting it would make
+     * giving it meaning later a reinterpretation of a value the frozen schema already took.
+     */
+    pattern?: {
+        regex: RegExp;
+        describe: string;
+    };
 } | {
     kind: 'string-map';
     default: Readonly<Record<string, string>>;
@@ -974,9 +1078,9 @@ interface RuleContext {
     headings?: ResolvedHeadings[];
     /** Per-route composed landmark/id occurrences for the route-scoped a11y rules (absent in modes that don't collect them). */
     a11y?: ResolvedA11y[];
-    /** Per-file component-body facts for Correctness rules (static/CLI mode only). */
+    /** Per-file component-body facts for the component-scoped rules (absent in the dev handle's rendered pass). */
     components?: ComponentFacts[];
-    /** Per-file SvelteKit route/hooks facts for the SSR shared-state rules (static/CLI + vite build mode only). */
+    /** Per-file SvelteKit route/hooks facts for the kit-module rules (absent in the dev handle's rendered pass). */
     kitModules?: KitModuleFacts[];
     /**
      * Every file under `src/`, as project-relative paths, for directory-shaped Architecture rules
@@ -1009,6 +1113,19 @@ interface Rule {
     fix?: Fix;
     /** Configurable options for this rule; absent means the rule takes none. */
     options?: RuleOptionsSpec;
+    /**
+     * The message this rule puts on a PASS result. Declared so a PASS synthesised elsewhere — the
+     * central inline-suppression pass, which turns a fully-suppressed rule+route into a pass — reads
+     * the same as one the rule emitted itself. Rules built through `componentRule` and the a11y
+     * route factory supply it; the rest fall back to `title`, which is a cosmetic difference visible
+     * only in `--verbose`'s passed listing.
+     */
+    passLabel?: string;
+    /**
+     * The rule compares routes against each other (`seo/duplicate-title`), so it cannot be judged
+     * from one route's rendered HTML — the dev dashboard's live layer leaves it to the static pass.
+     */
+    crossRoute?: true;
     /**
      * Evaluate the resolved heads. A single rule may return one Result per route,
      * so it always returns an array. Project-scoped rules return a single element.
@@ -1135,4 +1252,4 @@ declare function formatJsonReport(results: Result[], config: Config, meta: {
     version: string;
 }, ruleIds?: readonly string[], examined?: Record<string, Record<string, number>>): string;
 
-export { formatFailedRuleWarning as $, type A11yOccurrenceInfo as A, type BranchStep as B, type ComponentFacts as C, applyRuleSeverities as D, type EachBlockFact as E, type Fix as F, buildJsonReport as G, type HeadTag as H, type ImageInfo as I, type JsonReport as J, type KitAlias as K, LANDMARK_ROLES as L, classify as M, compileOverrides as N, type OrphanEffectFact as O, type Project as P, computeHealth as Q, type Runtime as R, type SuppressionDirective as S, computeScore as T, decodeFragmentId as U, type Value as V, defaultConfig as W, defaultProject as X, docsUrlFor as Y, effectiveSeverity as Z, foldOccurrences as _, type KitModuleFacts as a, formatJsonReport as a0, hasFailureAtOrAbove as a1, intOption as a2, isMentionedAnywhere as a3, isPenalized as a4, isTopFragment as a5, listOption as a6, mapOption as a7, overrideMatches as a8, resolveRuleOptions as a9, scoresByCategory as aa, selectRules as ab, settingOptions as ac, settingSeverity as ad, shouldSkipRangeCheck as ae, skippedFileWarnings as af, splitTokens as ag, stripTextDirective as ah, summarize as ai, validateRuleOptions as aj, validateRuleSetting as ak, withFailedRulesOff as al, withReadLimit as am, CATEGORIES as an, type Detection as ao, type Presence as ap, type RuleEvidence as aq, type RuleOptions as ar, type RuleOverride as as, type RuleSetting as at, type RuleSettingObject as au, type ScoreModel as av, type Summary as aw, type TreatDynamicAs as ax, defineConfig as ay, type Rule as b, type RuleContext as c, type Result as d, type Category as e, type Severity as f, type RuleOptionSpec as g, type ResolvedHead as h, type Config as i, type Classification as j, type CompiledOverride as k, type EffectFact as l, type HeadProvider as m, type HeadingInfo as n, type HealthResult as o, IDREF_ATTRS as p, READ_CONCURRENCY as q, type ResolvedA11y as r, type ResolvedHeadings as s, type ResolvedImages as t, type RuleOptionsSpec as u, type Scope as v, type ScoreOptions as w, type ScoreResult as x, type SourceSpan as y, applyOverrides as z };
+export { formatFailedRuleWarning as $, type A11yOccurrenceInfo as A, type BranchStep as B, type ComponentFacts as C, applyRuleSeverities as D, type EachBlockFact as E, type Fix as F, buildJsonReport as G, type HeadTag as H, type ImageInfo as I, type JsonReport as J, type KitAlias as K, LANDMARK_ROLES as L, classify as M, compileOverrides as N, type OrphanEffectFact as O, type Project as P, computeHealth as Q, type Result as R, type SuppressionDirective as S, computeScore as T, decodeFragmentId as U, type Value as V, defaultConfig as W, defaultProject as X, docsUrlFor as Y, effectiveSeverity as Z, foldOccurrences as _, type Rule as a, formatGithubReport as a0, formatJsonReport as a1, formatMarkdownReport as a2, hasFailureAtOrAbove as a3, intOption as a4, isMentionedAnywhere as a5, isPenalized as a6, isTopFragment as a7, listOption as a8, mapOption as a9, defineConfig as aA, overrideMatches as aa, resolveRuleOptions as ab, scoresByCategory as ac, selectRules as ad, settingOptions as ae, settingSeverity as af, shouldSkipRangeCheck as ag, skippedFileWarnings as ah, splitTokens as ai, stripTextDirective as aj, summarize as ak, validateRuleOptions as al, validateRuleSetting as am, withFailedRulesOff as an, withReadLimit as ao, CATEGORIES as ap, type Detection as aq, type Presence as ar, type RuleEvidence as as, type RuleOptions as at, type RuleOverride as au, type RuleSetting as av, type RuleSettingObject as aw, type ScoreModel as ax, type Summary as ay, type TreatDynamicAs as az, type Config as b, type Runtime as c, type KitModuleFacts as d, type RuleContext as e, type Category as f, type Severity as g, type RuleOptionSpec as h, type ResolvedHead as i, type Classification as j, type CompiledOverride as k, type EffectFact as l, type HeadProvider as m, type HeadingInfo as n, type HealthResult as o, IDREF_ATTRS as p, READ_CONCURRENCY as q, type ResolvedA11y as r, type ResolvedHeadings as s, type ResolvedImages as t, type RuleOptionsSpec as u, type Scope as v, type ScoreOptions as w, type ScoreResult as x, type SourceSpan as y, applyOverrides as z };