@svelte-vitals/core 0.55.2 → 0.55.3

package/dist/internal.js

@@ -1,37 +1,4 @@
-import { $ as performanceMinifyDisabled, $n as applyRuleSeverities, $t as correctnessOrphanLifecycle, A as a11yAbbrTitle, An as seoImageAlt, Ar as defaultProject, At as walkEstree, B as a11yUseList, Bn as seoSitemapInRobots, Bt as parseSvelte, C as a11yDisallowedElement, Cn as foldOccurrences, Cr as effectiveSeverity, Ct as collectSvelteLifecycleImports, D as a11yDeprecatedElement, Dn as stripTextDirective, Dr as isPenalized, Dt as scopeIntroducedNames, E as a11yDeprecatedAttr, En as splitTokens, Er as docsUrlFor, Et as rootObjectName, F as isInteractiveContainer, Fn as seoJsonLdPlaceholder, Ft as attrTextOf, G as a11yInvalidAriaValue, Gn as seoIndexability, Gt as securitySharedStateImport, H as a11yAccessibleName, Hn as seoOgUrl, Ht as valueFromNodes, I as isInteractiveElement, In as seoJsonLdDateFormat, It as attrValue, J as a11yInvalidRole, Jn as resolveRuleOptions, Jt as securityJavascriptUrl, K as a11yRequiredAriaProps, Kn as performancePreconnect, Kt as securityServerModuleState, L as literalTabindexValue, Ln as seoJsonLdRelativeUrl, Lt as attrValueOf, M as a11yNoAutofocus, Mn as seoDescriptionLength, Mt as walkScoped, N as a11yNoAccesskey, Nn as seoTitleLength, Nt as CHILD_NODE_KEYS, O as HTML_SPEC, On as resolveRole, Ot as unwrapExport, P as a11yPositiveTabindex, Pn as seoJsonLdRequiredProps, Pt as attrText, Q as performanceLoadWaterfall, Qn as applyOverrides, Qt as correctnessBasePathNavigation, R as a11yRequireDatetime, Rn as seoJsonLdDeprecatedType, Rt as findAttr, S as a11yPermittedContents, Sn as decodeFragmentId, Sr as classify, St as collectSuppressions, T as a11yDisallowedAriaProps, Tn as resolveLandmark, Tr as summarize, Tt as parseModuleProgram, U as a11yAriaHiddenFocus, Un as seoOgDescription, Ut as architecturePropCount, V as a11yLabelHasControl, Vn as seoViewport, Vt as textFromNodes, W as a11yInteractiveNesting, Wn as seoTwitterCard, Wt as architectureComponentSize, X as performanceStateRaw, Xn as validateRuleSetting, Xt as correctnessInstanceBrowserGlobal, Y as performanceIframeLoading, Yn as shouldSkipRangeCheck, Yt as securityRawHtml, Z as performanceSequentialAwaits, Zn as SEARCH_RESULT_RULES, Zt as correctnessServerBrowserGlobal, _ as a11yIdDuplication, _n as ANCESTRY_DEPENDENT_TAGS, _r as seoOgTitle, _t as collectBrowserGlobalRefs, a as formatJsonReport, an as correctnessPropMutation, ar as withIndexableOff, at as architectureReservedDirectoryNames, b as a11yDoctype, bn as NAMING_ATTRS, br as seoDescriptionPresence, bt as collectNamedImportAliases, c as formatGithubReport, cn as correctnessEffectAsDerived, cr as performanceFontPreloadCrossorigin, ct as architecturePrivateScopeImport, d as ruleMetaById, dn as seoSsrDisabled, dr as performanceImageLoadingHint, dt as parseInMemoryExports, en as correctnessOrphanEffect, er as compileOverrides, et as performanceNamespaceImport, f as severityToSarifLevel, fn as routeNeverSsr, fr as performanceImageDimensions, ft as parseKitModuleFacts, g as a11yNoMissingIdRef, gn as seoSingleH1, gr as seoJsonLd, gt as addBoundNames, h as a11yUnverifiedIdRef, hn as seoDuplicateTitle, hr as seoRobotsTxt, ht as WALK_IGNORED_KEYS, i as buildJsonReport, in as correctnessStalePropDerivation, ir as withFailedRulesOff, it as architectureReservedNamePlacement, j as a11yNoDuplicateDt, jn as seoCharset, jt as walkEvalScope, k as a11yPatternTitle, kn as seoHreflang, kr as defaultConfig, kt as unwrapTs, l as SEVERITY_RANK, ln as correctnessEachIndexKey, lr as performancePreloadMissingAs, lt as DEFAULT_KIT_ALIASES, m as explainRule, mn as seoDuplicateDescription, mr as seoSitemapXml, mt as isRootRelativePath, n as mdEscape, nn as correctnessCheckableBindValue, nr as selectRules, nt as architectureDocLinkTarget, o as computeHealth, on as correctnessUnmutatedState, or as performanceRenderBlockingScript, ot as architectureDirectoryNaming, p as allRules, pn as seoHeadingLevelSkip, pr as seoHtmlLang, pt as resolveRepoLocalPath, q as a11yUnknownAriaAttribute, qn as isPlainObject, qt as securityHandlerStateWrite, r as terminalSafe, rn as correctnessNonreactiveBuiltinState, rr as settingSeverity, rt as architectureRouteComponentImport, s as computeScore, sn as correctnessEffectAsOnMount, sr as performanceLcpImage, st as architectureUnitEntryFile, t as formatMarkdownReport, tn as correctnessAutoplayMuted, tr as formatFailedRuleWarning, tt as performanceHeavyImport, u as messageText, un as correctnessEachKey, ur as performanceResponsiveImage, ut as collectTopLevelBindings, v as a11yTopLevelLandmark, vn as ASIDE_DEMOTING_TAGS, vr as seoOgImage, vt as collectBrowserGuardImports, w as a11yDeprecatedAria, wn as isTopFragment, wr as hasFailureAtOrAbove, wt as matchLifecycleCall, x as a11yRequiredElement, xn as SECTIONING_TAGS, xr as seoTitlePresence, xt as collectProgramBindings, y as a11yDuplicateLandmark, yn as IDREF_ATTRS, yr as seoCanonicalUrl, yt as collectDerivedGuardBindings, z as a11yPlaceholderLabelOption, zn as seoJsonLdValidity, zt as lineOf } from "./markdown-DgHBAvYl.js";
-//#region src/head.ts
-const JS_MIME_TYPES = /* @__PURE__ */ new Set([
-	"application/ecmascript",
-	"application/javascript",
-	"application/x-ecmascript",
-	"application/x-javascript",
-	"text/ecmascript",
-	"text/javascript",
-	"text/javascript1.0",
-	"text/javascript1.1",
-	"text/javascript1.2",
-	"text/javascript1.3",
-	"text/javascript1.4",
-	"text/javascript1.5",
-	"text/jscript",
-	"text/livescript",
-	"text/x-ecmascript",
-	"text/x-javascript"
-]);
-/** HTML strips only ASCII whitespace from a `type` before matching — `trim()` would also strip
-*  U+00A0 etc. and misread a data block as a classic script. */
-const ASCII_WHITESPACE_EDGES = /^[\t\n\f\r ]+|[\t\n\f\r ]+$/g;
-/**
-* Whether a `type` attribute (undefined = absent) makes a `<script>` a classic,
-* render-blocking-capable script. Per the HTML spec, absent and the literal empty string are
-* classic; any other value is ASCII-whitespace-stripped and must match a JavaScript MIME type —
-* so a whitespace-only `type` is a data block, not a classic script.
-*/
-function isClassicScriptType(type) {
-	if (type === void 0 || type === "") return true;
-	return JS_MIME_TYPES.has(type.replace(ASCII_WHITESPACE_EDGES, "").toLowerCase());
-}
-//#endregion
+import { $ as performanceLoadWaterfall, $n as shouldSkipRangeCheck, $t as securityJavascriptUrl, A as a11yPatternTitle, An as splitTokens, Ar as seoTitlePresence, At as parseModuleProgram, B as a11yPlaceholderLabelOption, Bn as seoJsonLdDateFormat, Bt as attrTextOf, C as a11yPermittedContents, Cn as IDREF_ATTRS, Cr as seoCanonicalUrl, Ct as collectBrowserGuardImports, D as a11yDeprecatedAttr, Dn as foldOccurrences, Dr as layoutNeverRenders, Dt as collectSuppressions, E as a11yDisallowedAriaProps, En as decodeFragmentId, Er as seoDescriptionPresence, Et as collectProgramBindings, F as a11yPositiveTabindex, Fn as seoCharset, Fr as docsUrlFor, Ft as walkEstree, G as a11yInteractiveNesting, Gn as seoViewport, Gt as parseSvelte, H as a11yLabelHasControl, Hn as seoJsonLdDeprecatedType, Ht as attrValueOf, I as isInteractiveContainer, In as seoDescriptionLength, Ir as isPenalized, It as walkEvalScope, J as a11yUnknownAriaAttribute, Jn as seoTwitterCard, Jt as architecturePropCount, K as a11yInvalidAriaValue, Kn as seoOgUrl, Kt as textFromNodes, L as isInteractiveElement, Ln as seoTitleLength, Lt as walkScoped, M as a11yNoDuplicateDt, Mn as resolveRole, Mr as effectiveSeverity, Mt as scopeIntroducedNames, N as a11yNoAutofocus, Nn as seoHreflang, Nr as hasFailureAtOrAbove, Nt as unwrapExport, O as a11yDeprecatedElement, On as isTopFragment, Or as pageRendersOnlyWhenBuilding, Ot as collectSvelteLifecycleImports, P as a11yNoAccesskey, Pn as seoImageAlt, Pr as summarize, Pt as unwrapTs, Q as performanceSequentialAwaits, Qn as resolveRuleOptions, Qt as securityHandlerStateWrite, R as literalTabindexValue, Rn as seoJsonLdRequiredProps, Rr as defaultConfig, Rt as CHILD_NODE_KEYS, S as a11yRequiredElement, Sn as ASIDE_DEMOTING_TAGS, Sr as seoOgImage, St as collectBrowserGlobalRefs, T as a11yDeprecatedAria, Tn as SECTIONING_TAGS, Tr as isClassicScriptType, Tt as collectNamedImportAliases, U as a11yAccessibleName, Un as seoJsonLdValidity, Ut as findAttr, V as a11yUseList, Vn as seoJsonLdRelativeUrl, Vt as attrValue, W as a11yAriaHiddenFocus, Wn as seoSitemapInRobots, Wt as lineOf, X as performanceIframeLoading, Xn as performancePreconnect, Xt as securitySharedStateImport, Y as a11yInvalidRole, Yn as seoIndexability, Yt as architectureComponentSize, Z as performanceStateRaw, Zn as isPlainObject, Zt as securityServerModuleState, _ as a11yNoMissingIdRef, _n as seoHeadingLevelSkip, _r as seoHtmlLang, _t as parseKitModuleFacts, a as formatJsonReport, an as correctnessOrphanEffect, ar as formatFailedRuleWarning, at as architectureReservedNamePlacement, b as a11yDuplicateLandmark, bn as seoSingleH1, br as seoJsonLd, bt as WALK_IGNORED_KEYS, c as computeScore, cn as correctnessNonreactiveBuiltinState, cr as withFailedRulesOff, ct as architectureUnitEntryFile, d as messageText, dn as correctnessUnmutatedState, dr as performanceLcpImage, dt as collectFalseExports, en as securityRawHtml, er as validateRuleSetting, et as performanceMinifyDisabled, f as ruleMetaById, fn as correctnessEffectAsOnMount, fr as performanceFontPreloadCrossorigin, ft as collectTopLevelBindings, g as a11yUnverifiedIdRef, gn as seoSsrDisabled, gr as performanceImageDimensions, gt as parseInMemoryExports, h as explainRule, hn as correctnessEachKey, hr as performanceImageLoadingHint, ht as parseFalseExports, i as buildJsonReport, in as correctnessOrphanLifecycle, ir as compileOverrides, it as architectureRouteComponentImport, j as a11yAbbrTitle, jn as stripTextDirective, jr as classify, jt as rootObjectName, k as HTML_SPEC, kn as resolveLandmark, kr as routeNeverSsr, kt as matchLifecycleCall, l as formatGithubReport, ln as correctnessStalePropDerivation, lr as withIndexableOff, lt as architecturePrivateScopeImport, m as allRules, mn as correctnessEachIndexKey, mr as performanceResponsiveImage, mt as parseExitFactoryExports, n as mdEscape, nn as correctnessServerBrowserGlobal, nr as applyOverrides, nt as performanceHeavyImport, o as formatJsonReportChunks, on as correctnessAutoplayMuted, or as selectRules, ot as architectureReservedDirectoryNames, p as severityToSarifLevel, pn as correctnessEffectAsDerived, pr as performancePreloadMissingAs, pt as parseClientExports, q as a11yRequiredAriaProps, qn as seoOgDescription, qt as valueFromNodes, r as terminalSafe, rn as correctnessBasePathNavigation, rr as applyRuleSeverities, rt as architectureDocLinkTarget, s as computeHealth, sn as correctnessCheckableBindValue, sr as settingSeverity, st as architectureDirectoryNaming, t as formatMarkdownReport, tn as correctnessInstanceBrowserGlobal, tr as SEARCH_RESULT_RULES, tt as performanceNamespaceImport, u as SEVERITY_RANK, un as correctnessPropMutation, ur as performanceRenderBlockingScript, ut as DEFAULT_KIT_ALIASES, v as a11yIdDuplication, vn as seoDuplicateDescription, vr as seoSitemapXml, vt as resolveRepoLocalPath, w as a11yDisallowedElement, wn as NAMING_ATTRS, wr as hasRel, wt as collectDerivedGuardBindings, x as a11yDoctype, xn as ANCESTRY_DEPENDENT_TAGS, xr as seoOgTitle, xt as addBoundNames, y as a11yTopLevelLandmark, yn as seoDuplicateTitle, yr as seoRobotsTxt, yt as isRootRelativePath, z as a11yRequireDatetime, zn as seoJsonLdPlaceholder, zr as defaultProject, zt as attrText } from "./markdown-CsQNXeWj.js";
 //#region src/images.ts
 /** A `.svg` path (query and fragment ignored) or an inline `data:image/svg+xml` URI. */
 function isSvgSrc(src) {
@@ -161,21 +128,46 @@ function collectConstantLists(programs, fragment, opts = {}) {
 		const stmt = opts.exported ? unwrapExport(top) : top;
 		if (stmt?.type !== "VariableDeclaration" || stmt.kind !== "const") continue;
 		for (const d of stmt.declarations ?? []) {
-			const init = unwrapTs(d?.init);
+			const init = opts.sets ? setLiteralList(unwrapTs(d?.init)) : unwrapTs(d?.init);
 			if (d?.id?.type === "Identifier" && init?.type === "ArrayExpression") {
 				if (!(init.elements ?? []).some((el) => el?.type === "SpreadElement")) candidates.set(d.id.name, d.id);
 			}
 		}
 	}
 	if (candidates.size === 0) return /* @__PURE__ */ new Set();
+	const aliases = /* @__PURE__ */ new Map();
+	if (opts.exported) for (const program of programs) walkEstree(program, (n) => {
+		if (n.type !== "VariableDeclaration" || n.kind !== "const") return;
+		for (const d of n.declarations ?? []) {
+			const init = unwrapTs(d?.init);
+			const list = (init?.type === "ConditionalExpression" ? [init.consequent, init.alternate] : init?.type === "LogicalExpression" && init.operator !== "&&" ? [init.left, init.right] : [init]).map((b) => unwrapTs(b)).find((b) => b?.type === "Identifier" && candidates.has(b.name));
+			if (d?.id?.type !== "Identifier" || !list || candidates.has(d.id.name)) continue;
+			safe.add(list);
+			aliases.set(d.id.name, list.name);
+			candidates.set(d.id.name, d.id);
+		}
+	});
 	for (const node of candidates.values()) safe.add(node);
 	const namespaces = new Set([...opts.imports ?? []].filter(([, b]) => b.imported === "*").map(([local]) => local));
 	const unsafe = /* @__PURE__ */ new Set();
 	const roots = [...programs, fragment];
 	const listOf = (n) => n?.type === "Identifier" && candidates.has(n.name) ? n.name : void 0;
+	const outerList = listOf;
 	const nsMember = (n) => n?.type === "MemberExpression" && !n.computed && namespaces.has(listOf(n.object)) ? `${n.object.name}.${n.property.name}` : void 0;
+	const outerMember = nsMember;
 	const members = /* @__PURE__ */ new Set();
-	for (const root of roots) walkEstree(root, (n) => {
+	const declared = /* @__PURE__ */ new Set();
+	for (const program of programs) {
+		const imported = /* @__PURE__ */ new Set();
+		for (const top of program.body ?? []) if (top?.type === "ImportDeclaration") for (const s of top.specifiers ?? []) imported.add(s?.local?.name);
+		for (const name of collectProgramBindings(program)) if (!imported.has(name)) declared.add(name);
+	}
+	for (const root of roots) walkScoped(root, (n, shadowed) => {
+		const listOf = (x) => {
+			const name = outerList(x);
+			return name && !shadowed.has(name) ? name : void 0;
+		};
+		const nsMember = (x) => x?.type === "MemberExpression" && listOf(x.object) ? outerMember(x) : void 0;
 		if (n.type === "EachBlock" && (listOf(n.expression) || nsMember(n.expression))) safe.add(n.expression);
 		if (n.type === "ForOfStatement" && (listOf(n.right) || nsMember(n.right))) safe.add(n.right);
 		if (n.type === "ArrayExpression") {
@@ -183,29 +175,46 @@ function collectConstantLists(programs, fragment, opts = {}) {
 		}
 		if (nsMember(n)) members.add(nsMember(n));
 		if (n.type === "MemberExpression") {
-			if (listOf(n.object) && !(n.computed && namespaces.has(n.object.name))) safe.add(n.object);
-			if (nsMember(n.object)) safe.add(n.object);
+			const object = n.object ? unwrapTs(n.object) : n.object;
+			if (listOf(object) && !(n.computed && namespaces.has(object.name))) safe.add(object);
+			if (nsMember(object)) safe.add(object);
 			if (!n.computed) safe.add(n.property);
 		}
 		const target = n.type === "AssignmentExpression" ? n.left : n.type === "UpdateExpression" ? n.argument : void 0;
-		if (target?.type === "MemberExpression" && listOf(rootObjectNode(target))) unsafe.add(listOf(rootObjectNode(target)));
-		const called = n.type === "CallExpression" && n.callee?.type === "MemberExpression" ? n.callee.object : void 0;
+		let root = target;
+		while (root && (root.type === "MemberExpression" || root.type.startsWith("TS"))) root = root.type === "MemberExpression" ? root.object : root.expression;
+		if (target?.type === "MemberExpression" && listOf(root)) unsafe.add(listOf(root));
+		const called = n.type === "CallExpression" && n.callee?.type === "MemberExpression" ? unwrapTs(n.callee.object) : void 0;
 		const calledList = listOf(called) ?? nsMember(called);
 		if (calledList) {
 			const { computed, property } = n.callee;
 			const method = !computed ? property?.name : property?.type === "Literal" && typeof property.value === "string" ? property.value : void 0;
 			if (computed && method === void 0 || method !== void 0 && MUTATING_METHODS.has(method)) unsafe.add(calledList);
 		}
+		const callee = n.type === "CallExpression" || n.type === "NewExpression" ? rootObjectName(n.callee) : void 0;
+		if (opts.exported && callee !== void 0 && !declared.has(callee) && !shadowed.has(callee)) {
+			for (const arg of n.arguments ?? []) if (listOf(unwrapTs(arg))) safe.add(unwrapTs(arg));
+		}
 		if (n.type === "BindDirective" && listOf(rootObjectNode(n.expression))) unsafe.add(listOf(rootObjectNode(n.expression)));
 		if (n.type === "Property" && !n.computed && !n.shorthand) safe.add(n.key);
 	});
-	for (const root of roots) walkEvalScope(root, (n) => {
+	for (const root of roots) walkEvalScope(root, (n, shadowed) => {
 		if (n.type.startsWith("TS") && !TS_VALUE_NODES.has(n.type)) return true;
 		const name = listOf(n) ?? nsMember(n);
-		if (name && !safe.has(n)) unsafe.add(name);
+		if (name && !safe.has(n) && !shadowed.has(name.split(".")[0])) unsafe.add(name);
 		return false;
 	}, /* @__PURE__ */ new Set(), /* @__PURE__ */ new Set());
-	return new Set([...candidates.keys(), ...members].filter((key) => !unsafe.has(key) && !unsafe.has(key.split(".")[0])));
+	for (const [alias, list] of aliases) if (unsafe.has(alias)) unsafe.add(list);
+	return new Set([...candidates.keys(), ...members].filter((key) => !aliases.has(key) && !unsafe.has(key) && !unsafe.has(key.split(".")[0])));
+}
+/** A component's script `const` lists that nothing in its scripts or template can change. */
+function collectComponentConstantLists(ast, opts = {}) {
+	return collectConstantLists([ast.module?.content, ast.instance?.content].filter(Boolean), ast.fragment ?? ast, opts);
+}
+/** The array literal of `new Set([…])`, or the node itself. */
+function setLiteralList(n) {
+	const arg = n?.type === "NewExpression" && n.callee?.type === "Identifier" && n.callee.name === "Set" ? n.arguments : void 0;
+	return arg?.length === 1 && unwrapTs(arg[0])?.type === "ArrayExpression" ? unwrapTs(arg[0]) : n;
 }
 /**
 * Export names of a module's constant lists — `export const X = [ … ]`, or a local one exported by
@@ -288,6 +297,14 @@ function isEffectRootCall(node) {
 * `$state.raw(...)`, or `$state.frozen(...)` — but NOT readers like
 * `$state.snapshot(...)`, which would otherwise pollute the state-name set (correctness/effect-as-derived).
 */
+/** An absent argument or a literal no reader can write through: `0`, `'x'`, `null`, `-1`, `` `x` ``. */
+function isPrimitiveLiteral(node) {
+	if (node === void 0) return true;
+	if (node.type === "Literal") return !("regex" in node);
+	if (node.type === "TemplateLiteral") return node.expressions.length === 0;
+	if (node.type === "UnaryExpression") return node.argument?.type === "Literal";
+	return node.type === "Identifier" && node.name === "undefined";
+}
 function isStateDeclaration(node) {
 	const c = node?.callee;
 	if (c?.type === "Identifier") return c.name === "$state";
@@ -296,7 +313,18 @@ function isStateDeclaration(node) {
 }
 /** True when a function's body does nothing but assign to `$state` identifiers (correctness/effect-as-derived). */
 function bodyOnlyAssignsState(fn, stateNames) {
-	const isStateAssign = (expr) => expr?.type === "AssignmentExpression" && expr.operator === "=" && expr.left?.type === "Identifier" && stateNames.has(expr.left.name);
+	const readsItself = (expr) => {
+		let reads = false;
+		const names = /* @__PURE__ */ new Set();
+		walkEstree(expr.right, (n) => {
+			if (n?.type === "MemberExpression" && !n.computed) names.add(n.property);
+			if (n?.type === "Property" && !n.computed && !n.shorthand) names.add(n.key);
+			if (n?.type === "TSTypeQuery") names.add(n.exprName);
+			reads ||= n?.type === "Identifier" && n.name === expr.left.name && !names.has(n);
+		});
+		return reads;
+	};
+	const isStateAssign = (expr) => expr?.type === "AssignmentExpression" && expr.operator === "=" && expr.left?.type === "Identifier" && stateNames.has(expr.left.name) && !readsItself(expr);
 	const body = fn?.body;
 	if (!body) return false;
 	if (body.type !== "BlockStatement") return isStateAssign(body);
@@ -310,6 +338,36 @@ function isDerivedDeclaration(node) {
 	if (c?.type === "MemberExpression" && c.object?.type === "Identifier" && c.object.name === "$derived") return c.property?.type === "Identifier" && c.property.name === "by";
 	return false;
 }
+const OBJECT_TYPES = /* @__PURE__ */ new Set([
+	"TSArrayType",
+	"TSTupleType",
+	"TSTypeLiteral"
+]);
+const OBJECT_TYPE_NAMES = /* @__PURE__ */ new Set([
+	"Array",
+	"ReadonlyArray",
+	"Record",
+	"Map",
+	"Set",
+	"WeakMap",
+	"WeakSet",
+	"Date"
+]);
+const OBJECT_VALUES = /* @__PURE__ */ new Set([
+	"ObjectExpression",
+	"ArrayExpression",
+	"NewExpression"
+]);
+/** A `$state` call whose initial value or type argument is an object, array or class instance. */
+function isObjectState(call) {
+	const arg = unwrapTs(call.arguments?.[0]);
+	if (isPrimitiveLiteral(arg)) return false;
+	if (OBJECT_VALUES.has(arg?.type)) return true;
+	if (arg?.type === "LogicalExpression" && arg.operator !== "&&" && !isPrimitiveLiteral(unwrapTs(arg.left)) && OBJECT_VALUES.has(unwrapTs(arg.right)?.type)) return true;
+	const type = (call.typeArguments ?? call.typeParameters)?.params?.[0];
+	if (type?.type === "TSTypeReference") return OBJECT_TYPE_NAMES.has(type.typeName?.name);
+	return OBJECT_TYPES.has(type?.type);
+}
 function collectStateWrites(root, stateNames, acc, kinds, localStates = false) {
 	const record = (name, kind) => {
 		acc.add(name);
@@ -319,14 +377,38 @@ function collectStateWrites(root, stateNames, acc, kinds, localStates = false) {
 			set.add(kind);
 		}
 	};
+	const primitiveStates = /* @__PURE__ */ new Set();
+	const objectStates = /* @__PURE__ */ new Set();
+	const heldObjects = /* @__PURE__ */ new Set();
+	walkEstree(root, (n) => {
+		const init = n?.type === "VariableDeclarator" ? unwrapTs(n.init) : void 0;
+		if (n?.id?.type !== "Identifier" || !isStateDeclaration(init)) return;
+		(isPrimitiveLiteral(init.arguments?.[0]) ? primitiveStates : objectStates).add(n.id.name);
+		if (localStates && isObjectState(init)) heldObjects.add(n.id.name);
+	});
+	for (const name of objectStates) primitiveStates.delete(name);
+	const aliasOf = /* @__PURE__ */ new Map();
+	const reassigned = /* @__PURE__ */ new Set();
+	if (localStates) walkEstree(root, (n) => {
+		const target = n?.type === "AssignmentExpression" ? n.left : n?.type === "UpdateExpression" ? n.argument : void 0;
+		if (target?.type === "Identifier") reassigned.add(target.name);
+	});
+	if (localStates) for (let pass = 0; pass < 2; pass++) walkEstree(root, (n) => {
+		const [id, from] = n?.type === "VariableDeclarator" && unwrapTs(n.init)?.type === "MemberExpression" ? [n.id, n.init] : n?.type === "ForOfStatement" && n.left?.type === "VariableDeclaration" ? [n.left.declarations?.[0]?.id, n.right] : [void 0, void 0];
+		const r = rootObjectName(unwrapTs(from));
+		const owner = r && (stateNames.has(r) ? r : aliasOf.get(r));
+		if (id?.type === "Identifier" && owner && !stateNames.has(id.name) && !reassigned.has(id.name)) aliasOf.set(id.name, owner);
+	});
 	const visit = (stateNames) => (n, scope) => {
 		const shadowed = (name) => name === void 0 || scope.has(name);
+		const mutated = (r) => {
+			if (r && stateNames.has(r) && !shadowed(r)) record(r, "mutate");
+			else if (r && stateNames.has(aliasOf.get(r))) record(aliasOf.get(r), "mutate");
+		};
 		if (n?.type === "AssignmentExpression") {
 			if (n.left?.type === "Identifier" && stateNames.has(n.left.name) && !shadowed(n.left.name)) record(n.left.name, "reassign");
-			else if (n.left?.type === "MemberExpression") {
-				const r = rootObjectName(n.left);
-				if (r && stateNames.has(r) && !shadowed(r)) record(r, "mutate");
-			} else if (n.left?.type === "ObjectPattern" || n.left?.type === "ArrayPattern") {
+			else if (n.left?.type === "MemberExpression") mutated(rootObjectName(n.left));
+			else if (n.left?.type === "ObjectPattern" || n.left?.type === "ArrayPattern") {
 				const bound = /* @__PURE__ */ new Set();
 				addBoundNames(n.left, bound);
 				for (const name of bound) if (stateNames.has(name) && !shadowed(name)) record(name, "reassign");
@@ -334,24 +416,30 @@ function collectStateWrites(root, stateNames, acc, kinds, localStates = false) {
 		} else if (n?.type === "UpdateExpression") {
 			if (n.argument?.type === "Identifier") {
 				if (stateNames.has(n.argument.name) && !shadowed(n.argument.name)) record(n.argument.name, "reassign");
-			} else {
-				const r = rootObjectName(n.argument);
-				if (r && stateNames.has(r) && !shadowed(r)) record(r, "mutate");
-			}
-		} else if (n?.type === "UnaryExpression" && n.operator === "delete") {
-			const r = rootObjectName(n.argument);
-			if (r && stateNames.has(r) && !shadowed(r)) record(r, "mutate");
-		} else if (n?.type === "CallExpression") {
-			if (n.callee?.type === "MemberExpression") {
-				const r = rootObjectName(n.callee);
-				if (r && stateNames.has(r) && !shadowed(r)) record(r, "mutate");
-			}
+			} else mutated(rootObjectName(n.argument));
+		} else if (n?.type === "UnaryExpression" && n.operator === "delete") mutated(rootObjectName(n.argument));
+		else if (n?.type === "CallExpression") {
+			if (n.callee?.type === "MemberExpression") mutated(rootObjectName(n.callee));
 			for (const a of n.arguments ?? []) {
 				const arg = a?.type === "SpreadElement" ? a.argument : a;
 				const r = rootObjectName(arg);
 				if (r && stateNames.has(r) && !shadowed(r)) record(r, "escape");
 			}
-		}
+		} else if (n?.type === "ReturnStatement") {
+			const out = unwrapTs(n.argument);
+			const r = out?.type === "Identifier" ? out.name : void 0;
+			if (r && stateNames.has(r) && !shadowed(r) && !primitiveStates.has(r)) record(r, "escape");
+		} else if (heldObjects.size > 0 && (n?.type === "ObjectExpression" || n?.type === "ArrayExpression")) {
+			const values = n.type === "ObjectExpression" ? (n.properties ?? []).map((p) => p?.value) : n.elements;
+			for (const v of values ?? []) {
+				const placed = unwrapTs(v);
+				const r = placed?.type === "Identifier" ? placed.name : void 0;
+				if (r && heldObjects.has(r) && stateNames.has(r) && !shadowed(r)) record(r, "escape");
+			}
+		} else if ((n?.type === "Property" || n?.type === "MethodDefinition") && n.kind === "get") walkEstree(n.value?.body, (m) => {
+			const r = m?.type === "ReturnStatement" ? rootObjectName(m.argument) : void 0;
+			if (r && stateNames.has(r) && !shadowed(r) && !primitiveStates.has(r)) record(r, "escape");
+		});
 	};
 	walkScoped(root, visit(stateNames));
 	if (!localStates) return;
@@ -1739,6 +1827,7 @@ function isPropsCall(node) {
 }
 /** Whether a CallExpression is a `$bindable(...)` call (a destructured prop's default value). */
 function isBindableCall(node) {
+	node = unwrapTs(node);
 	return node?.type === "CallExpression" && node.callee?.type === "Identifier" && node.callee.name === "$bindable";
 }
 /**
@@ -1809,6 +1898,92 @@ const MUTATING_METHODS = /* @__PURE__ */ new Set([
 	"delete",
 	"clear"
 ]);
+/** Built-in types whose own methods include the mutating method names above. */
+const COLLECTION_TYPES = /* @__PURE__ */ new Set([
+	"Array",
+	"ReadonlyArray",
+	"Set",
+	"ReadonlySet",
+	"Map",
+	"ReadonlyMap",
+	"WeakMap",
+	"WeakSet",
+	"SvelteSet",
+	"SvelteMap",
+	"URLSearchParams",
+	"SvelteURLSearchParams",
+	"FormData",
+	"Headers",
+	"Int8Array",
+	"Uint8Array",
+	"Uint8ClampedArray",
+	"Int16Array",
+	"Uint16Array",
+	"Int32Array",
+	"Uint32Array",
+	"Float16Array",
+	"Float32Array",
+	"Float64Array",
+	"BigInt64Array",
+	"BigUint64Array"
+]);
+const NON_COLLECTION_NODES = /* @__PURE__ */ new Set([
+	"TSStringKeyword",
+	"TSNumberKeyword",
+	"TSBooleanKeyword",
+	"TSBigIntKeyword",
+	"TSNullKeyword",
+	"TSUndefinedKeyword",
+	"TSFunctionType",
+	"TSTypeLiteral",
+	"TSLiteralType"
+]);
+/**
+* The props whose declared type, from the `$props()` annotation, is known not to be a collection: a
+* method called on one is its own API (`queryClient.clear()`), not an array, Set or Map mutation.
+* A named type counts unless it is a built-in collection or a same-file alias of one.
+*/
+function nonCollectionProps(program) {
+	const decls = /* @__PURE__ */ new Map();
+	walkEstree(program, (n) => {
+		if ((n.type === "TSInterfaceDeclaration" || n.type === "TSTypeAliasDeclaration") && n.id?.name) decls.set(n.id.name, n);
+	});
+	const unwrap = (t) => t?.type === "TSTypeAnnotation" ? t.typeAnnotation : t;
+	const nonCollection = (t, depth) => {
+		t = unwrap(t);
+		if (!t || depth > 4) return false;
+		if (NON_COLLECTION_NODES.has(t.type)) return true;
+		if (t.type === "TSUnionType") return t.types.every((u) => nonCollection(u, depth + 1));
+		if (t.type !== "TSTypeReference" || t.typeName?.type !== "Identifier") return false;
+		const name = t.typeName.name;
+		if (COLLECTION_TYPES.has(name)) return false;
+		const decl = decls.get(name);
+		if (decl?.type === "TSTypeAliasDeclaration") return nonCollection(decl.typeAnnotation, depth + 1);
+		if (decl?.type === "TSInterfaceDeclaration") return !(decl.extends ?? []).some((h) => COLLECTION_TYPES.has(h.expression?.name));
+		return !(t.typeArguments ?? t.typeParameters)?.params?.length;
+	};
+	const membersOf = (t, depth) => {
+		t = unwrap(t);
+		if (t?.type === "TSTypeLiteral") return t.members;
+		if (t?.type !== "TSTypeReference" || depth > 4) return void 0;
+		const decl = decls.get(t.typeName?.name);
+		if (decl?.type === "TSInterfaceDeclaration") return decl.body?.body;
+		return decl?.type === "TSTypeAliasDeclaration" ? membersOf(decl.typeAnnotation, depth + 1) : void 0;
+	};
+	const names = /* @__PURE__ */ new Set();
+	walkEstree(program, (n) => {
+		if (n.type !== "VariableDeclarator" || !n.init || !isPropsCall(unwrapTs(n.init))) return;
+		if (n.id?.type !== "ObjectPattern") return;
+		const types = /* @__PURE__ */ new Map();
+		for (const m of membersOf(n.id.typeAnnotation, 0) ?? []) if (m.type === "TSPropertySignature" && m.key?.type === "Identifier") types.set(m.key.name, m.typeAnnotation);
+		for (const p of n.id.properties ?? []) {
+			if (p?.type !== "Property" || p.key?.type !== "Identifier" || !types.has(p.key.name)) continue;
+			const local = p.value?.type === "AssignmentPattern" ? p.value.left : p.value;
+			if (local?.type === "Identifier" && nonCollection(types.get(p.key.name), 0)) names.add(local.name);
+		}
+	});
+	return names;
+}
 /**
 * Flag mutations of a non-`$bindable` prop (correctness/prop-mutation): a member-expression write
 * (`prop.x = …`, `prop.x += …`, `prop.x++`), `delete prop.x`, or a call to a mutating
@@ -1820,16 +1995,18 @@ const MUTATING_METHODS = /* @__PURE__ */ new Set([
 * A `legacy` (export let) prop is flagged only for `delete` and mutating method calls — the legacy
 * compiler turns a member write or update into an invalidating assignment (`prop(prop().x = …, true)`).
 */
-function collectPropMutations(root, propNames, source, acc, legacy) {
+function collectPropMutations(root, propNames, source, acc, legacy, ownApi = /* @__PURE__ */ new Set()) {
 	if (propNames.size === 0) return;
 	const exemptCalls = /* @__PURE__ */ new Set();
+	const returnedToProp = /* @__PURE__ */ new Set();
 	if (legacy.size > 0) walkEstree(root, (fn) => {
-		if (!isDeferredBody(fn)) return;
+		const body = isDeferredBody(fn) ? fn.body : fn.type === "LabeledStatement" && fn.label?.name === "$" ? fn.body : void 0;
+		if (!body) return;
 		const assigned = /* @__PURE__ */ new Set();
-		walkScoped(fn.body, (m, scope) => {
+		walkScoped(body, (m, scope) => {
 			if (m.type === "AssignmentExpression" && m.left?.type === "Identifier" && !scope.has(m.left.name)) assigned.add(m.left.name);
 		});
-		walkEstree(fn.body, (m) => {
+		walkEstree(body, (m) => {
 			const r = m.type === "CallExpression" ? rootObjectName(m.callee?.object) : m.type === "UnaryExpression" && m.operator === "delete" ? rootObjectName(m.argument) : void 0;
 			if (r && legacy.has(r) && assigned.has(r)) exemptCalls.add(m);
 		});
@@ -1837,6 +2014,20 @@ function collectPropMutations(root, propNames, source, acc, legacy) {
 	walkEstree(root, (m) => {
 		const call = m.type === "AssignmentExpression" && m.left?.type === "Identifier" ? m.right : void 0;
 		if (call?.type === "CallExpression" && rootObjectName(call.callee?.object) === m.left.name && call.arguments?.length === 1 && call.arguments[0]?.type === "ObjectExpression") exemptCalls.add(call);
+		const awaited = m.type === "AwaitExpression" ? unwrapTs(m.argument) : void 0;
+		if (awaited?.type === "CallExpression") exemptCalls.add(awaited);
+		const chained = m.type === "CallExpression" && m.callee?.type === "MemberExpression" && !m.callee.computed && [
+			"then",
+			"catch",
+			"finally"
+		].includes(m.callee.property?.name) ? unwrapTs(m.callee.object) : void 0;
+		if (chained?.type === "CallExpression") exemptCalls.add(chained);
+		if (m.type === "AssignmentExpression" && m.left?.type === "Identifier") {
+			let back = unwrapTs(m.right);
+			if (back?.type === "LogicalExpression") back = unwrapTs(back.left);
+			if (back?.type === "ChainExpression") back = back.expression;
+			if (back?.type === "CallExpression" && back.callee.type === "MemberExpression" && rootObjectName(back.callee.object) === m.left.name) returnedToProp.add(back);
+		}
 	});
 	walkScoped(root, (n, scope) => {
 		const flag = (r) => {
@@ -1855,6 +2046,8 @@ function collectPropMutations(root, propNames, source, acc, legacy) {
 		} else if (n.type === "UnaryExpression" && n.operator === "delete") flag(rootObjectName(n.argument));
 		else if (n.type === "CallExpression" && n.callee?.type === "MemberExpression") {
 			const method = n.callee.property?.type === "Identifier" ? n.callee.property.name : void 0;
+			const receiver = unwrapTs(n.callee.object);
+			if (receiver?.type === "Identifier" && ownApi.has(receiver.name) && !returnedToProp.has(n)) return;
 			if (method && MUTATING_METHODS.has(method)) flag(rootObjectName(n.callee.object));
 		}
 	});
@@ -1904,7 +2097,7 @@ function collectImportSources(program, source, acc) {
 }
 /** A specifier is "bare" (a node_modules package) when it is not relative/absolute/alias-local. */
 function isBareSpecifier(s) {
-	return !/^[./$#]/.test(s);
+	return !/^([./$#]|@\/|~\/)/.test(s);
 }
 /**
 * Whether `name` is used anywhere in `roots` other than as the object of a static member access
@@ -1921,6 +2114,8 @@ function namespaceUsedDynamically(name, roots) {
 			if (!n.computed) staticOrDeclaring.add(n.property);
 		} else if ((n.type === "Property" && !n.shorthand || n.type === "TSPropertySignature" || n.type === "TSMethodSignature") && !n.computed) staticOrDeclaring.add(n.key);
 		else if (n.type === "ImportNamespaceSpecifier") staticOrDeclaring.add(n.local);
+		else if (n.type === "ImportSpecifier" && n.imported !== n.local) staticOrDeclaring.add(n.imported);
+		else if (n.type === "ExportSpecifier" && n.exported !== n.local) staticOrDeclaring.add(n.exported);
 		else if (n.type === "TSQualifiedName" || n.type === "TSTypeQuery") {
 			const id = n.type === "TSQualifiedName" ? n.left : n.exprName;
 			if (id?.type === "Identifier") staticOrDeclaring.add(id);
@@ -2312,8 +2507,9 @@ function parseComponentFacts(source, filename) {
 		const legacyPropNames = collectLegacyPropNames(program);
 		const nonBindableProps = /* @__PURE__ */ new Set([...collectPropNames(program, false), ...legacyPropNames]);
 		const rawMutations = [];
-		collectPropMutations(program, nonBindableProps, source, rawMutations, legacyPropNames);
-		if (ast.fragment) collectPropMutations(ast.fragment, nonBindableProps, source, rawMutations, legacyPropNames);
+		const ownApi = nonCollectionProps(program);
+		collectPropMutations(program, nonBindableProps, source, rawMutations, legacyPropNames, ownApi);
+		if (ast.fragment) collectPropMutations(ast.fragment, nonBindableProps, source, rawMutations, legacyPropNames, ownApi);
 		const isLegacy = legacyPropNames.size > 0;
 		for (const m of rawMutations) mutatedProps.push(legacyPropNames.has(m.name) ? {
 			...m,
@@ -2731,7 +2927,7 @@ async function collectKitModuleFacts(rt, cwd, aliases) {
 		"src/hooks.server.{ts,js}"
 	].map((p) => rt.glob(p, cwd)));
 	const files = [...new Set(lists.flat())];
-	return arbitrateServerStoreWrites(rt, cwd, await Promise.all(files.sort().map(async (rel) => {
+	return decideLoadFactories(rt, cwd, await decideFlagGuards(rt, cwd, await dropClientWrites(rt, cwd, await arbitrateServerStoreWrites(rt, cwd, await Promise.all(files.sort().map(async (rel) => {
 		const kind = kindOf(rel);
 		let source;
 		try {
@@ -2755,7 +2951,7 @@ async function collectKitModuleFacts(rt, cwd, aliases) {
 				parseFailed: true
 			};
 		}
-	})));
+	}))), aliases)));
 }
 /**
 * The files a resolved specifier may name, in resolution order. An extensionless path takes an
@@ -2773,20 +2969,58 @@ function moduleCandidates(repoPath) {
 		`${repoPath}/index.js`
 	];
 }
-/**
-* Read the module a pending write targets and return the names it exports as an in-memory
-* container. Returns an empty set when the file cannot be found or read: unresolvable means
-* unarbitrated, which leaves the write exempt.
-*/
-async function inMemoryExportsOf(rt, cwd, repoPath) {
+/** Read a module and parse it with `parse`; empty when it cannot be found or read. */
+async function exportsOf(rt, cwd, repoPath, parse) {
 	for (const rel of moduleCandidates(repoPath)) try {
 		if (!await rt.exists(rt.join(cwd, rel))) continue;
-		return parseInMemoryExports(await rt.readFile(rt.join(cwd, rel)), rel);
+		return parse(await rt.readFile(rt.join(cwd, rel)), rel);
 	} catch {
 		return /* @__PURE__ */ new Set();
 	}
 	return /* @__PURE__ */ new Set();
 }
+/** Drop the handler `.set()`/`.update()` writes whose target module exports a persistence client under that name. */
+async function dropClientWrites(rt, cwd, facts, aliases) {
+	const targets = [...new Set(facts.flatMap((f) => (f.storeWriteTargets ?? []).map((w) => w.resolved)))];
+	if (targets.length === 0) return facts;
+	const byPath = new Map(await Promise.all(targets.map(async (t) => [t, await exportsOf(rt, cwd, t, (src, file) => parseClientExports(src, file, aliases))])));
+	return facts.map((f) => {
+		const clients = (f.storeWriteTargets ?? []).filter((w) => byPath.get(w.resolved)?.has(w.imported));
+		if (clients.length === 0) return f;
+		const drop = (w) => w.via === "set-call" && clients.some((c) => c.name === w.name && c.line === w.line);
+		return {
+			...f,
+			importedStateWrites: f.importedStateWrites.filter((w) => !drop(w))
+		};
+	});
+}
+/** A `load` an imported factory builds never renders when the function the factory returns always exits. */
+async function decideLoadFactories(rt, cwd, facts) {
+	const targets = [...new Set(facts.flatMap((f) => f.pendingLoadFactory ? [f.pendingLoadFactory.resolved] : []))];
+	if (targets.length === 0) return facts;
+	const byPath = new Map(await Promise.all(targets.map(async (t) => [t, await exportsOf(rt, cwd, t, parseExitFactoryExports)])));
+	return facts.map((f) => {
+		const g = f.pendingLoadFactory;
+		return g && byPath.get(g.resolved)?.has(g.name) ? {
+			...f,
+			loadNeverRenders: true
+		} : f;
+	});
+}
+/** A load whose leading guard exits on an imported flag that is the literal `false` never renders. */
+async function decideFlagGuards(rt, cwd, facts) {
+	const targets = [...new Set(facts.flatMap((f) => f.pendingFlagGuard ? [f.pendingFlagGuard.resolved] : []))];
+	if (targets.length === 0) return facts;
+	const byPath = new Map(await Promise.all(targets.map(async (t) => [t, await exportsOf(rt, cwd, t, parseFalseExports)])));
+	return facts.map((f) => {
+		const g = f.pendingFlagGuard;
+		const key = g && (g.member ? `${g.name}.${g.member}` : g.name);
+		return g && byPath.get(g.resolved)?.has(key) ? {
+			...f,
+			loadNeverRenders: true
+		} : f;
+	});
+}
 /**
 * Decide the `.set()`/`.update()` calls the parse could not: a call on a binding exported from
 * under the `$lib` server root is shared module state when that binding is an in-memory
@@ -2796,7 +3030,7 @@ async function inMemoryExportsOf(rt, cwd, repoPath) {
 async function arbitrateServerStoreWrites(rt, cwd, facts) {
 	const targets = [...new Set(facts.flatMap((f) => f.pendingServerStoreWrites.map((w) => w.resolved)))];
 	if (targets.length === 0) return facts;
-	const byPath = new Map(await Promise.all(targets.map(async (t) => [t, await inMemoryExportsOf(rt, cwd, t)])));
+	const byPath = new Map(await Promise.all(targets.map(async (t) => [t, await exportsOf(rt, cwd, t, parseInMemoryExports)])));
 	return facts.map((f) => {
 		const promoted = f.pendingServerStoreWrites.filter((w) => byPath.get(w.resolved)?.has(w.imported)).map((w) => ({
 			name: w.name,
@@ -2926,28 +3160,51 @@ function findMinifyDisabled(source) {
 }
 //#endregion
 //#region src/svelte-config-parse.ts
-/** Whether every branch of a `?:` / `||` / `&&` / `??` tree is the literal `''`. */
-function alwaysEmptyString(expr) {
-	const e = unwrapTs(expr);
-	if (e.type === "Literal") return e.value === "";
-	if (e.type === "ConditionalExpression") return alwaysEmptyString(e.consequent) && alwaysEmptyString(e.alternate);
-	if (e.type === "LogicalExpression") return alwaysEmptyString(e.left) && alwaysEmptyString(e.right);
+function isServedBase(value) {
+	return typeof value === "string" && value.startsWith("/") && !value.endsWith("/");
+}
+/** The top-level bindings declared `const`: a `let` may be reassigned on the way to the export. */
+function constBindings(program, bindings) {
+	const names = /* @__PURE__ */ new Set();
+	for (const stmt of program.body) {
+		const decl = stmt.type === "ExportNamedDeclaration" ? stmt.declaration : stmt;
+		if (decl?.type !== "VariableDeclaration" || decl.kind !== "const") continue;
+		for (const d of decl.declarations) if (d.id.type === "Identifier") names.add(d.id.name);
+	}
+	return new Map([...bindings].filter(([name]) => names.has(name)));
+}
+/** Whether no branch of a `?:` / `||` / `&&` / `??` tree is a literal base an app can be served under. */
+function neverABase(expr, consts) {
+	const e = resolveBinding(expr, consts);
+	if (e.type === "Literal") return !isServedBase(e.value);
+	if (e.type === "ConditionalExpression") return neverABase(e.consequent, consts) && neverABase(e.alternate, consts);
+	if (e.type === "LogicalExpression") return neverABase(e.left, consts) && neverABase(e.right, consts);
 	return false;
 }
+/** `expr` with top-level `const` names followed to their initializers (`paths: { base }` naming `const base = ''`). */
+function resolveBinding(expr, consts) {
+	let e = unwrapTs(expr);
+	for (let i = 0; i < 4 && e.type === "Identifier"; i++) {
+		const next = consts.get(e.name);
+		if (!next) break;
+		e = unwrapTs(next);
+	}
+	return e;
+}
 /**
 * `paths.base` off a resolved Kit-config object: `{ value }` for a non-empty string literal,
 * `{}` for any other expression (base exists, value unknowable — the `dev ? '' : '/repo'`
-* deploy form), and undefined when absent or when every value it can take is the empty string.
+* deploy form), and undefined when absent or when no value it can take is a base SvelteKit serves under.
 */
-function basePathOf(kitConfig, bindings) {
+function basePathOf(kitConfig, bindings, consts) {
 	const paths = propOf(kitConfig, "paths");
 	const pathsObj = paths ? unwrapToObjectExpression(paths.value, bindings) : void 0;
 	if (!pathsObj) return void 0;
 	const base = propOf(pathsObj, "base");
 	if (!base) return void 0;
-	const value = unwrapTs(base.value);
-	if (value.type === "Literal") return typeof value.value === "string" && value.value !== "" ? { value: value.value } : void 0;
-	return alwaysEmptyString(value) ? void 0 : {};
+	const value = resolveBinding(base.value, consts);
+	if (value.type === "Literal") return isServedBase(value.value) ? { value: value.value } : void 0;
+	return neverABase(value, consts) ? void 0 : {};
 }
 /** A property's key when it is a plain (non-computed) string or identifier key. */
 function keyNameOf(p) {
@@ -3173,7 +3430,33 @@ function findKitPathsBaseInSvelteConfig(source) {
 	const bindings = collectTopLevelBindings(program);
 	const kit = propOf(config, "kit");
 	const kitObj = kit ? unwrapToObjectExpression(kit.value, bindings) : void 0;
-	return kitObj ? basePathOf(kitObj, bindings) : void 0;
+	return kitObj ? basePathOf(kitObj, bindings, constBindings(program, bindings)) : void 0;
+}
+/**
+* `unwrapToObjectExpression`, but only where the literal is the value: a call passing more than one
+* argument (`mergeConfigs(a, b)`) or a spread could make it something else.
+*/
+function knownObject(expr, bindings) {
+	let current = expr;
+	for (let i = 0; i < 4 && current; i++) {
+		const e = unwrapTs(current);
+		if (e.type === "ObjectExpression") return e.properties.some((p) => p.type === "SpreadElement") ? void 0 : e;
+		if (e.type === "Identifier") current = bindings.get(e.name);
+		else if (e.type === "CallExpression" && e.arguments.length === 1) current = e.arguments[0];
+		else return void 0;
+	}
+}
+/** Whether `kit.router.type` is the literal `'hash'` in a config whose value is known. */
+function findKitHashRouterInSvelteConfig(source) {
+	const program = programOf(source, "svelte.config.js");
+	if (!program) return false;
+	const bindings = collectTopLevelBindings(program);
+	const objectAt = (obj, key) => {
+		const p = obj && propOf(obj, key);
+		return p ? knownObject(p.value, bindings) : void 0;
+	};
+	const router = objectAt(objectAt(knownObject(findExportedExpression(program), bindings), "kit"), "router");
+	return stringLiteralOf(router && propOf(router, "type")?.value) === "hash";
 }
 /**
 * Local names bound to `sveltekit` imported from '@sveltejs/kit/vite'. When no such import is
@@ -3206,7 +3489,7 @@ function findKitPathsBaseInViteConfig(source) {
 		if (arg === void 0) return none;
 		const kitConfig = unwrapToObjectExpression(arg, bindings);
 		if (!kitConfig) return { kind: "unresolvable" };
-		const base = basePathOf(kitConfig, bindings);
+		const base = basePathOf(kitConfig, bindings, constBindings(program, bindings));
 		return base ? {
 			kind: "resolved",
 			base
@@ -3468,11 +3751,17 @@ const SITEMAP_SOURCE_PATHS = [
 	"src/routes/sitemap.xml/+server.js"
 ];
 /** The `+server` endpoints above, wherever (group) directories nest them — filter with `servesRootFile`. */
-const ROOT_FILE_ENDPOINT_GLOB = "src/routes/**/{robots.txt,sitemap.xml}/+server.{ts,js}";
-/** Whether a `+server` endpoint serves `/<file>`: (group) directories add no URL segment. */
+const ROOT_FILE_ENDPOINT_GLOB = "src/routes/**/{robots.txt,sitemap*.xml}/+server.{ts,js}";
+/**
+* Whether a `+server` endpoint serves `/<file>`: (group) directories add no URL segment, and an optional
+* parameter in the name (`sitemap[[page]].xml`) still answers the bare name.
+*/
 function servesRootFile(rel, file) {
 	const segments = rel.split("/");
-	return segments[0] === "src" && segments[1] === "routes" && segments.at(-2) === file && /^\+server\.(ts|js)$/.test(segments.at(-1) ?? "") && segments.slice(2, -2).every((s) => /^\(.+\)$/.test(s));
+	const dot = file.lastIndexOf(".");
+	const optional = new RegExp(`^${file.slice(0, dot)}\\[\\[[^\\]]+\\]\\]\\${file.slice(dot)}$`);
+	const dir = segments.at(-2) ?? "";
+	return segments[0] === "src" && segments[1] === "routes" && (dir === file || optional.test(dir)) && /^\+server\.(ts|js)$/.test(segments.at(-1) ?? "") && segments.slice(2, -2).every((s) => /^\(.+\)$/.test(s));
 }
 /** Vite's own config resolution order — only the first existing file is the one Vite loads. */
 const VITE_CONFIG_FILES = [
@@ -3545,7 +3834,7 @@ async function runRules(rules, ctx) {
 	}));
 	const results = [];
 	const failedRules = [];
-	for (const outcome of perRule) if (Array.isArray(outcome)) results.push(...outcome);
+	for (const outcome of perRule) if (Array.isArray(outcome)) for (const r of outcome) results.push(r);
 	else failedRules.push(outcome);
 	return {
 		results,
@@ -3717,7 +4006,7 @@ function formatConsoleReport(results, config, options = {}) {
 		}
 		lines.push("");
 	}
-	if (options.byRoute) lines.push(...byRouteTree(p, results, config, options.verbose ?? false));
+	if (options.byRoute) for (const line of byRouteTree(p, results, config, options.verbose ?? false)) lines.push(line);
 	if (options.verbose && summary.dynamic > 0) lines.push(p.dim("↯ = set dynamically (verified at runtime)."));
 	return lines.join("\n").replace(/\n+$/, "\n");
 }
@@ -3744,7 +4033,7 @@ function formatAgentReport(results, config) {
 		if (!groups.has(key)) groups.set(key, []);
 		groups.get(key).push(r);
 	}
-	const groupSeverity = (rs) => Math.min(...rs.map((r) => SEVERITY_RANK[effectiveSeverity(r, config)]));
+	const groupSeverity = (rs) => rs.reduce((min, r) => Math.min(min, SEVERITY_RANK[effectiveSeverity(r, config)]), Infinity);
 	const orderedGroups = [...groups.entries()].sort((a, b) => groupSeverity(a[1]) - groupSeverity(b[1]) || a[0].localeCompare(b[0]));
 	for (const [loc, rs] of orderedGroups) {
 		rs.sort((x, y) => SEVERITY_RANK[effectiveSeverity(x, config)] - SEVERITY_RANK[effectiveSeverity(y, config)] || x.id.localeCompare(y.id));
@@ -4580,4 +4869,4 @@ function formatHtmlReport(results, config, meta) {
 	return buildHtmlDocument(buildJsonReport(results, config, meta), meta);
 }
 //#endregion
-export { ANCESTRY_DEPENDENT_TAGS, APP_SCRIPT, ASIDE_DEMOTING_TAGS, CHILD_NODE_KEYS, IDREF_ATTRS, NAMING_ATTRS, ROBOTS_SOURCE_PATHS, ROOT_FILE_ENDPOINT_GLOB, SEARCH_RESULT_RULES, SECTIONING_TAGS, SITEMAP_SOURCE_PATHS, SVELTE_CONFIG_FILES, VITE_CONFIG_FILES, a11yAbbrTitle, a11yAccessibleName, a11yAriaHiddenFocus, a11yDeprecatedAria, a11yDeprecatedAttr, a11yDeprecatedElement, a11yDisallowedAriaProps, a11yDisallowedElement, a11yDoctype, a11yDuplicateLandmark, a11yIdDuplication, a11yInteractiveNesting, a11yInvalidAriaValue, a11yInvalidRole, a11yLabelHasControl, a11yNoAccesskey, a11yNoAutofocus, a11yNoDuplicateDt, a11yNoMissingIdRef, a11yPatternTitle, a11yPermittedContents, a11yPlaceholderLabelOption, a11yPositiveTabindex, a11yRequireDatetime, a11yRequiredAriaProps, a11yRequiredElement, a11yTopLevelLandmark, a11yUnknownAriaAttribute, a11yUnverifiedIdRef, a11yUseList, addFactsDirectives, allRules, architectureComponentSize, architectureDirectoryNaming, architectureDocLinkTarget, architecturePrivateScopeImport, architecturePropCount, architectureReservedDirectoryNames, architectureReservedNamePlacement, architectureRouteComponentImport, architectureUnitEntryFile, attrText, attrTextOf, attrValue, attrValueOf, buildHtmlDocument, buildJsonReport, classify, collectComponentFacts, collectConstantListExports, collectKitModuleFacts, collectSourceFiles, collectSuppressions, compileOverrides, computeHealth, computeScore, correctnessAutoplayMuted, correctnessBasePathNavigation, correctnessCheckableBindValue, correctnessEachIndexKey, correctnessEachKey, correctnessEffectAsDerived, correctnessEffectAsOnMount, correctnessInstanceBrowserGlobal, correctnessNonreactiveBuiltinState, correctnessOrphanEffect, correctnessOrphanLifecycle, correctnessPropMutation, correctnessServerBrowserGlobal, correctnessStalePropDerivation, correctnessUnmutatedState, declaredInstalledPackages, declaredLocalPackages, decodeFragmentId, defaultConfig, defaultProject, docsUrlFor, effectiveSeverity, emptyComponentFacts, escapeHtml, explainRule, findAttr, findMinifyDisabled, foldOccurrences, formatAgentReport, formatConsoleReport, formatFailedRuleWarning, formatGithubReport, formatHtmlReport, formatJsonReport, formatMarkdownReport, formatSarifReport, hasFailureAtOrAbove, isClassicScriptType, isPenalized, isPlainObject, isSvgSrc, isTopFragment, lineOf, noColorPalette, packageJsonWorkspaceGlobs, parseComponentFacts, parseModuleProgram, parseSvelte, performanceFontPreloadCrossorigin, performanceHeavyImport, performanceIframeLoading, performanceImageDimensions, performanceImageLoadingHint, performanceLcpImage, performanceLoadWaterfall, performanceMinifyDisabled, performanceNamespaceImport, performancePreconnect, performancePreloadMissingAs, performanceRenderBlockingScript, performanceResponsiveImage, performanceSequentialAwaits, performanceStateRaw, pnpmWorkspaceGlobs, renderAppShell, resolveKitAliases, resolveKitPathsBase, resolveLandmark, resolveRepoLocalPath, resolveRuleOptions, routeNeverSsr, runAnalysis, runRules, safeHref, scoreColor, securityHandlerStateWrite, securityJavascriptUrl, securityRawHtml, securityServerModuleState, securitySharedStateImport, selectRules, seoCanonicalUrl, seoCharset, seoDescriptionLength, seoDescriptionPresence, seoDuplicateDescription, seoDuplicateTitle, seoHeadingLevelSkip, seoHreflang, seoHtmlLang, seoImageAlt, seoIndexability, seoJsonLd, seoJsonLdDateFormat, seoJsonLdDeprecatedType, seoJsonLdPlaceholder, seoJsonLdRelativeUrl, seoJsonLdRequiredProps, seoJsonLdValidity, seoOgDescription, seoOgImage, seoOgTitle, seoOgUrl, seoRobotsTxt, seoSingleH1, seoSitemapInRobots, seoSitemapXml, seoSsrDisabled, seoTitleLength, seoTitlePresence, seoTwitterCard, seoViewport, servesRootFile, settingSeverity, shouldSkipRangeCheck, skippedFileWarnings, splitTokens, stripTextDirective, summarize, terminalSafe, textFromNodes, unknownDirectiveIds, validateRuleSetting, valueFromNodes, withFailedRulesOff, withIndexableOff, withInstalledPackages, withPackageImports, withReadLimit, withWorkspacePackages };
+export { ANCESTRY_DEPENDENT_TAGS, APP_SCRIPT, ASIDE_DEMOTING_TAGS, CHILD_NODE_KEYS, IDREF_ATTRS, NAMING_ATTRS, ROBOTS_SOURCE_PATHS, ROOT_FILE_ENDPOINT_GLOB, SEARCH_RESULT_RULES, SECTIONING_TAGS, SITEMAP_SOURCE_PATHS, SVELTE_CONFIG_FILES, VITE_CONFIG_FILES, a11yAbbrTitle, a11yAccessibleName, a11yAriaHiddenFocus, a11yDeprecatedAria, a11yDeprecatedAttr, a11yDeprecatedElement, a11yDisallowedAriaProps, a11yDisallowedElement, a11yDoctype, a11yDuplicateLandmark, a11yIdDuplication, a11yInteractiveNesting, a11yInvalidAriaValue, a11yInvalidRole, a11yLabelHasControl, a11yNoAccesskey, a11yNoAutofocus, a11yNoDuplicateDt, a11yNoMissingIdRef, a11yPatternTitle, a11yPermittedContents, a11yPlaceholderLabelOption, a11yPositiveTabindex, a11yRequireDatetime, a11yRequiredAriaProps, a11yRequiredElement, a11yTopLevelLandmark, a11yUnknownAriaAttribute, a11yUnverifiedIdRef, a11yUseList, addFactsDirectives, allRules, architectureComponentSize, architectureDirectoryNaming, architectureDocLinkTarget, architecturePrivateScopeImport, architecturePropCount, architectureReservedDirectoryNames, architectureReservedNamePlacement, architectureRouteComponentImport, architectureUnitEntryFile, attrText, attrTextOf, attrValue, attrValueOf, buildHtmlDocument, buildJsonReport, classify, collectComponentConstantLists, collectComponentFacts, collectConstantListExports, collectFalseExports, collectKitModuleFacts, collectSourceFiles, collectSuppressions, compileOverrides, computeHealth, computeScore, correctnessAutoplayMuted, correctnessBasePathNavigation, correctnessCheckableBindValue, correctnessEachIndexKey, correctnessEachKey, correctnessEffectAsDerived, correctnessEffectAsOnMount, correctnessInstanceBrowserGlobal, correctnessNonreactiveBuiltinState, correctnessOrphanEffect, correctnessOrphanLifecycle, correctnessPropMutation, correctnessServerBrowserGlobal, correctnessStalePropDerivation, correctnessUnmutatedState, declaredInstalledPackages, declaredLocalPackages, decodeFragmentId, defaultConfig, defaultProject, docsUrlFor, effectiveSeverity, emptyComponentFacts, escapeHtml, explainRule, findAttr, findKitHashRouterInSvelteConfig, findMinifyDisabled, foldOccurrences, formatAgentReport, formatConsoleReport, formatFailedRuleWarning, formatGithubReport, formatHtmlReport, formatJsonReport, formatJsonReportChunks, formatMarkdownReport, formatSarifReport, hasFailureAtOrAbove, hasRel, isClassicScriptType, isPenalized, isPlainObject, isSvgSrc, isTopFragment, layoutNeverRenders, lineOf, noColorPalette, packageJsonWorkspaceGlobs, pageRendersOnlyWhenBuilding, parseComponentFacts, parseModuleProgram, parseSvelte, performanceFontPreloadCrossorigin, performanceHeavyImport, performanceIframeLoading, performanceImageDimensions, performanceImageLoadingHint, performanceLcpImage, performanceLoadWaterfall, performanceMinifyDisabled, performanceNamespaceImport, performancePreconnect, performancePreloadMissingAs, performanceRenderBlockingScript, performanceResponsiveImage, performanceSequentialAwaits, performanceStateRaw, pnpmWorkspaceGlobs, renderAppShell, resolveKitAliases, resolveKitPathsBase, resolveLandmark, resolveRepoLocalPath, resolveRuleOptions, routeNeverSsr, runAnalysis, runRules, safeHref, scoreColor, securityHandlerStateWrite, securityJavascriptUrl, securityRawHtml, securityServerModuleState, securitySharedStateImport, selectRules, seoCanonicalUrl, seoCharset, seoDescriptionLength, seoDescriptionPresence, seoDuplicateDescription, seoDuplicateTitle, seoHeadingLevelSkip, seoHreflang, seoHtmlLang, seoImageAlt, seoIndexability, seoJsonLd, seoJsonLdDateFormat, seoJsonLdDeprecatedType, seoJsonLdPlaceholder, seoJsonLdRelativeUrl, seoJsonLdRequiredProps, seoJsonLdValidity, seoOgDescription, seoOgImage, seoOgTitle, seoOgUrl, seoRobotsTxt, seoSingleH1, seoSitemapInRobots, seoSitemapXml, seoSsrDisabled, seoTitleLength, seoTitlePresence, seoTwitterCard, seoViewport, servesRootFile, settingSeverity, shouldSkipRangeCheck, skippedFileWarnings, splitTokens, stripTextDirective, summarize, terminalSafe, textFromNodes, unknownDirectiveIds, unwrapTs, validateRuleSetting, valueFromNodes, walkEstree, withFailedRulesOff, withIndexableOff, withInstalledPackages, withPackageImports, withReadLimit, withWorkspacePackages };