marko 6.3.51 → 6.3.53

package/dist/translator/index.js

@@ -204,6 +204,58 @@ const Subscriptions$1 = "#Subscriptions";
 const TagVariable$1 = "#TagVariable";
 const TagVariableChange$2 = "#TagVariableChange";
 //#endregion
+//#region src/translator/util/traverse.ts
+const skip = Symbol("skip");
+function traverseReplace(container, key, enter, state) {
+	const node = container[key];
+	if (node) if (Array.isArray(node)) for (let i = node.length; i--;) traverseReplace(node, i, enter, state);
+	else {
+		const keys = _marko_compiler.types.VISITOR_KEYS[node.type];
+		for (let i = keys.length; i--;) traverseReplace(node, keys[i], enter, state);
+		const replacement = enter(node, state);
+		if (replacement) container[key] = replacement;
+	}
+}
+function traverseContains(node, check) {
+	return !!traverseFind(node, check);
+}
+function traverseFind(node, check) {
+	if (node) if (Array.isArray(node)) for (const item of node) {
+		const found = traverseFind(item, check);
+		if (found) return found;
+	}
+	else {
+		switch (check(node)) {
+			case true: return node;
+			case skip: return;
+		}
+		for (const key of _marko_compiler.types.VISITOR_KEYS[node.type]) {
+			const found = traverseFind(node[key], check);
+			if (found) return found;
+		}
+	}
+}
+function traverseFindAwait(node) {
+	return traverseFind(node, (child) => {
+		switch (child.type) {
+			case "ForOfStatement": return child.await;
+			case "FunctionDeclaration":
+			case "FunctionExpression":
+			case "ArrowFunctionExpression":
+			case "ClassMethod":
+			case "ObjectMethod":
+			case "ClassPrivateMethod": return skip;
+			case "AwaitExpression": return true;
+		}
+	});
+}
+function traverse(visit, node, parent, grandParent) {
+	if (node) {
+		if (Array.isArray(node)) for (const item of node) traverse(visit, item, parent, grandParent);
+		else if (visit(node, parent, grandParent) !== skip) for (const key of _marko_compiler.types.VISITOR_KEYS[node.type]) traverse(visit, node[key], node, parent);
+	}
+}
+//#endregion
 //#region src/translator/util/evaluate.ts
 function evaluate(value) {
 	let { extra } = value;
@@ -214,14 +266,36 @@ function evaluate(value) {
 			extra.computed = computed.value;
 			extra.confident = true;
 			extra.nullable = computed.value == null;
+			extra.pure = true;
 		} else {
 			extra.computed = void 0;
 			extra.confident = false;
 			extra.nullable = isNullableExpr(value);
+			extra.pure = !traverseContains(value, isImpure);
 		}
 	}
 	return extra;
 }
+function isImpure(node) {
+	switch (node.type) {
+		case "ArrowFunctionExpression":
+		case "ClassPrivateMethod":
+		case "ClassPrivateProperty":
+		case "FunctionExpression": return skip;
+		case "ClassMethod":
+		case "ObjectMethod": return node.computed && traverseContains(node.key, isImpure) || skip;
+		case "ClassAccessorProperty":
+		case "ClassProperty": return node.static ? void 0 : node.computed && traverseContains(node.key, isImpure) || skip;
+		case "CallExpression": return node.callee.type === "ArrowFunctionExpression" || node.callee.type === "FunctionExpression" ? traverseContains(node.arguments, isImpure) || traverseContains(node.callee.params, isImpure) || traverseContains(node.callee.body, isImpure) || skip : true;
+		case "AssignmentExpression":
+		case "NewExpression":
+		case "OptionalCallExpression":
+		case "TaggedTemplateExpression":
+		case "ThrowStatement":
+		case "UpdateExpression": return true;
+		case "UnaryExpression": return node.operator === "delete";
+	}
+}
 function isNullableExpr(expr) {
 	switch (expr.type) {
 		case "ArrayExpression":
@@ -392,58 +466,6 @@ function getCompileStage(file = (0, _marko_compiler_babel_utils.getFile)()) {
 	return file.___compileStage;
 }
 //#endregion
-//#region src/translator/util/traverse.ts
-const skip = Symbol("skip");
-function traverseReplace(container, key, enter, state) {
-	const node = container[key];
-	if (node) if (Array.isArray(node)) for (let i = node.length; i--;) traverseReplace(node, i, enter, state);
-	else {
-		const keys = _marko_compiler.types.VISITOR_KEYS[node.type];
-		for (let i = keys.length; i--;) traverseReplace(node, keys[i], enter, state);
-		const replacement = enter(node, state);
-		if (replacement) container[key] = replacement;
-	}
-}
-function traverseContains(node, check) {
-	return !!traverseFind(node, check);
-}
-function traverseFind(node, check) {
-	if (node) if (Array.isArray(node)) for (const item of node) {
-		const found = traverseFind(item, check);
-		if (found) return found;
-	}
-	else {
-		switch (check(node)) {
-			case true: return node;
-			case skip: return;
-		}
-		for (const key of _marko_compiler.types.VISITOR_KEYS[node.type]) {
-			const found = traverseFind(node[key], check);
-			if (found) return found;
-		}
-	}
-}
-function traverseFindAwait(node) {
-	return traverseFind(node, (child) => {
-		switch (child.type) {
-			case "ForOfStatement": return child.await;
-			case "FunctionDeclaration":
-			case "FunctionExpression":
-			case "ArrowFunctionExpression":
-			case "ClassMethod":
-			case "ObjectMethod":
-			case "ClassPrivateMethod": return skip;
-			case "AwaitExpression": return true;
-		}
-	});
-}
-function traverse(visit, node, parent, grandParent) {
-	if (node) {
-		if (Array.isArray(node)) for (const item of node) traverse(visit, item, parent, grandParent);
-		else if (visit(node, parent, grandParent) !== skip) for (const key of _marko_compiler.types.VISITOR_KEYS[node.type]) traverse(visit, node[key], node, parent);
-	}
-}
-//#endregion
 //#region src/translator/util/generate-uid.ts
 const countsForFile = /* @__PURE__ */ new WeakMap();
 function generateUid(name = "") {
@@ -703,6 +725,9 @@ var Sorted = class {
 		}
 		return b;
 	}
+	filter(data, cb) {
+		return filter(data, cb);
+	}
 	find(data, item) {
 		if (data !== void 0) {
 			if (Array.isArray(data)) return findSorted(this.compare, data, item);
@@ -757,6 +782,9 @@ function concat(a, b) {
 	}
 	return b;
 }
+function size(data) {
+	return data !== void 0 ? Array.isArray(data) ? data.length : 1 : 0;
+}
 function filter(data, cb) {
 	if (data !== void 0) {
 		if (Array.isArray(data)) {
@@ -816,6 +844,12 @@ function find(data, cb) {
 function some(data, cb) {
 	return data !== void 0 ? Array.isArray(data) ? data.some(cb) : !!cb(data, 0) : false;
 }
+function every(data, cb) {
+	return data !== void 0 ? Array.isArray(data) ? data.every(cb) : !!cb(data, 0) : true;
+}
+function reduce(data, cb, initial) {
+	return data !== void 0 ? Array.isArray(data) ? data.reduce(cb, initial) : cb(initial, data, 0) : initial;
+}
 function toArray(data, cb) {
 	return data !== void 0 ? Array.isArray(data) ? data.map(cb) : [cb(data, 0)] : [];
 }
@@ -914,6 +948,18 @@ function joinRepeatable(compare, a, b) {
 	const compareResult = compare(a, b);
 	return compareResult === 0 ? a : compareResult < 0 ? [a, b] : [b, a];
 }
+function addUnique(data, item) {
+	return includes(data, item) ? data : push(data, item);
+}
+function at(data, index) {
+	return Array.isArray(data) ? data[index] : index ? void 0 : data;
+}
+function first(data) {
+	return Array.isArray(data) ? data[0] : data;
+}
+function rest(data) {
+	return Array.isArray(data) ? data.length === 2 ? data[1] : data.slice(1) : void 0;
+}
 //#endregion
 //#region src/common/constants/accessor-prefix.ts
 var accessor_prefix_exports = /* @__PURE__ */ __exportAll({
@@ -996,124 +1042,89 @@ function getAccessorProp() {
 //#region src/translator/util/serialize-reasons.ts
 const sourcesUtil = new Sorted(compareSources);
 function isSameReason(a, b) {
-	return a === b || (a && b ? a !== true && b !== true && compareSources(a, b) === 0 : false);
+	return a === b || (a && b ? a.forced && b.forced || compareSources(a, b) === 0 : false);
 }
 function isForceSerialized(section, prop, prefix) {
-	return true === (prop ? section.serializeReasons.get(getPropKey(section, prop, prefix)) : section.serializeReason);
+	return !!(prop ? section.serializeReasons.get(getPropKey(section, prop, prefix)) : section.serializeReason)?.forced;
 }
 function addSerializeReason(section, reason, prop, prefix) {
 	if (reason) {
-		if (reason !== true) addProvenance(section, reason, prop && getPropKey(section, prop, prefix));
-		if (prop) {
-			const key = getPropKey(section, prop, prefix);
+		const key = prop && getPropKey(section, prop, prefix);
+		if (key) {
 			const curReason = section.serializeReasons.get(key);
-			if (curReason !== true) if (reason === true) forcePropSerialize(section, key);
-			else {
-				const newReason = mergeSerializeReasons(curReason, reason);
-				if (curReason !== newReason) setPropSerializeReason(section, key, newReason);
-			}
+			const newReason = mergeSerializeReasons(curReason, reason);
+			if (curReason !== newReason) setPropSerializeReason(section, key, newReason);
 		} else {
 			const curReason = section.serializeReason;
-			if (curReason !== true) if (reason === true) forceSerialize(section);
-			else {
-				const newReason = mergeSerializeReasons(curReason, reason);
-				if (curReason !== newReason) setSerializeReason(section, newReason);
-			}
+			const newReason = mergeSerializeReasons(curReason, reason);
+			if (curReason !== newReason) setSerializeReason(section, newReason);
 		}
 	}
 }
 function addSerializeExpr(section, expr, prop, prefix) {
 	if (expr) if (prop) {
 		const key = getPropKey(section, prop, prefix);
-		if (expr === true) {
-			if (section.serializeReasons.get(key) !== true) forcePropSerialize(section, key);
-		} else {
-			const curExprs = section.propSerializeExprs ??= /* @__PURE__ */ new Map();
-			const curExpr = curExprs.get(key);
-			curExprs.set(key, curExpr ? concat(curExpr, expr) : expr);
-		}
-	} else if (expr === true) {
-		if (section.serializeReason !== true) forceSerialize(section);
+		const curExprs = section.propSerializeExprs ??= /* @__PURE__ */ new Map();
+		const curExpr = curExprs.get(key);
+		curExprs.set(key, curExpr ? concat(curExpr, expr) : expr);
 	} else {
 		const curExpr = section.serializeExprs;
 		section.serializeExprs = curExpr ? concat(curExpr, expr) : expr;
 	}
 }
 function addOwnerSerializeReason(from, to, reason) {
-	if (reason) {
-		let cur = from;
-		while (cur !== to && cur.parent) {
-			addSerializeReason(cur, reason, getAccessorProp().Owner);
-			cur = cur.parent;
-		}
-	}
+	if (reason) for (const section of ancestorSections(from, to)) addSerializeReason(section, reason, getAccessorProp().Owner);
 }
 function isReasonDynamic(reason) {
-	return !!reason && reason !== true && !reason.state;
+	return !!reason && !reason.forced && !reason.state;
 }
 function isStaticSerializeReason(reason) {
 	return !!reason && !isReasonDynamic(reason);
 }
 function isStateSerializeReason(reason) {
-	return !!reason && reason !== true && !!reason.state;
+	return !!reason && !reason.forced && !!reason.state;
 }
 function getSerializeReason(section, prop, prefix) {
 	if (prop) return section.serializeReasons.get(getPropKey(section, prop, prefix));
 	else return section.serializeReason;
 }
 function getSerializeSourcesForExpr(expr) {
-	return isReferencedExtra(expr) ? getSerializeSourcesForRef(expr.referencedBindings) : void 0;
+	const root = getCanonicalExtra(expr);
+	return isReferencedExtra(root) ? getSerializeSourcesForRef(root.referencedBindings) : void 0;
 }
 function getSerializeSourcesForExprs(exprs) {
-	if (exprs) if (exprs === true) return exprs;
-	else if (Array.isArray(exprs)) {
-		let allSources;
-		for (const expr of exprs) allSources = mergeSources(allSources, getSerializeSourcesForExpr(expr));
-		return allSources;
-	} else return getSerializeSourcesForExpr(exprs);
+	if (exprs) {
+		if (exprs === true) return FORCED;
+		return reduce(exprs, mergeExprSources);
+	}
 }
 function getSerializeSourcesForRef(ref) {
-	if (ref) {
-		let allSources;
-		if (Array.isArray(ref)) {
-			for (const { sources } of ref) allSources = mergeSources(allSources, sources);
-			return allSources;
-		} else return ref.sources;
-	}
+	return reduce(ref, mergeBindingSources);
 }
-function mapCrossProgramReason(program, reason, exprs) {
-	let params;
-	let mapped;
-	let crossProgram = false;
-	forEach(reason.param, (param) => {
-		if (param.section.program === program) params = bindingUtil.add(params, param);
-		else {
-			crossProgram = true;
-			mapped = exprs ? mergeSerializeReasons(mapped, getSerializeSourcesForExprs(mapParamBindingToExpr(exprs, param))) : true;
-		}
-	});
-	if (!crossProgram) return reason;
-	return mergeRemappedSources(reason, params, mapped);
+function mergeExprSources(sources, expr) {
+	return mergeSources(sources, getSerializeSourcesForExpr(expr));
 }
-function mapDownstreamReason(program, reason, exprs) {
+function mergeBindingSources(sources, binding) {
+	return mergeSources(sources, binding.sources);
+}
+function mapParamReason(program, reason, exprs, ownParams) {
 	let params;
 	let mapped;
-	let downstream = false;
+	let any = false;
 	forEach(reason.param, (param) => {
-		if (param.section.program === program) {
-			downstream = true;
-			mapped = mergeSerializeReasons(mapped, getSerializeSourcesForExprs(mapParamBindingToExpr(exprs, param)));
+		if (param.section.program === program === ownParams) {
+			any = true;
+			mapped = exprs ? mergeSerializeReasons(mapped, getSerializeSourcesForExprs(mapParamBindingToExpr(exprs, param))) : FORCED;
 		} else params = bindingUtil.add(params, param);
 	});
-	if (!downstream) return reason;
+	if (!any) return reason;
 	return mergeRemappedSources(reason, params, mapped);
 }
 function mergeRemappedSources(reason, params, mapped) {
-	if (mapped !== true && (reason.state || reason.global || params)) mapped = mergeSerializeReasons(mapped, createSources(reason.state, params, reason.global));
+	if (reason.state || reason.global || params || reason.forced) mapped = mergeSerializeReasons(mapped, createSources(reason.state, params, reason.global, reason.forced));
 	return mapped;
 }
 function mergeSerializeReasons(a, b) {
-	if (a === true || b === true) return true;
 	return mergeSources(a, b);
 }
 function applySerializeExprs(section) {
@@ -1121,11 +1132,10 @@ function applySerializeExprs(section) {
 	if (propExprs) {
 		section.propSerializeExprs = void 0;
 		for (const [key, exprs] of propExprs) {
-			addProvenance(section, getProvenanceForExprs(exprs), key);
-			const exprReason = getSerializeSourcesForExprs(exprs);
-			if (exprReason) {
+			const reason = getSerializeSourcesForExprs(exprs);
+			if (reason) {
 				const curReason = section.serializeReasons.get(key);
-				const newReason = mergeSerializeReasons(curReason, exprReason);
+				const newReason = mergeSerializeReasons(curReason, reason);
 				if (curReason !== newReason) setPropSerializeReason(section, key, newReason);
 			}
 		}
@@ -1133,52 +1143,23 @@ function applySerializeExprs(section) {
 	const scopeExprs = section.serializeExprs;
 	if (scopeExprs) {
 		section.serializeExprs = void 0;
-		addProvenance(section, getProvenanceForExprs(scopeExprs));
-		const exprReason = getSerializeSourcesForExprs(scopeExprs);
-		if (exprReason) {
+		const reason = getSerializeSourcesForExprs(scopeExprs);
+		if (reason) {
 			const curReason = section.serializeReason;
-			const newReason = mergeSerializeReasons(curReason, exprReason);
+			const newReason = mergeSerializeReasons(curReason, reason);
 			if (curReason !== newReason) setSerializeReason(section, newReason);
 		}
 	}
 }
 function finalizeSerializeReason(section) {
-	some(section.bindings, (binding) => {
+	forEach(section.bindings, (binding) => {
 		const reason = binding.type === 0 && getSerializeReason(section, binding);
-		if (reason) section.domSerializeReasons = reason === true ? true : sourcesUtil.add(section.domSerializeReasons, reason);
-		return reason === true;
+		if (reason) section.domSerializeReasons = sourcesUtil.add(section.domSerializeReasons, reason);
 	});
 	const curReason = section.serializeReason;
 	let newReason = curReason;
-	if (newReason !== true) {
-		for (const propReason of section.serializeReasons.values()) {
-			if (propReason === true) {
-				newReason = true;
-				break;
-			}
-			newReason = mergeSources(newReason, propReason);
-		}
-		if (newReason && curReason !== newReason) setSerializeReason(section, newReason);
-	}
-	const propProvenance = section.propSerializeProvenance;
-	if (propProvenance) for (const provenance of propProvenance.values()) addProvenance(section, provenance);
-}
-function addProvenance(section, sources, key) {
-	if (!sources) return;
-	if (key) {
-		const provenance = section.propSerializeProvenance ??= /* @__PURE__ */ new Map();
-		provenance.set(key, mergeSources(provenance.get(key), sources));
-	} else section.serializeProvenance = mergeSources(section.serializeProvenance, sources);
-}
-function getProvenanceForExprs(exprs) {
-	let sources;
-	forEach(exprs, (expr) => {
-		sources = mergeSources(sources, getSerializeSourcesForExpr(expr));
-		forEach(expr.referencedBindingsInFunction, (binding) => {
-			sources = mergeSources(sources, getSerializeSourcesForRef(binding));
-		});
-	});
-	return sources;
+	for (const propReason of section.serializeReasons.values()) newReason = mergeSources(newReason, propReason);
+	if (newReason && curReason !== newReason) setSerializeReason(section, newReason);
 }
 function getPropKey(section, prop, prefix) {
 	if (isStrOrSym(prop)) {
@@ -1195,12 +1176,6 @@ function getPropKey(section, prop, prefix) {
 		return key;
 	}
 }
-function forceSerialize(section) {
-	setSerializeReason(section, true);
-}
-function forcePropSerialize(section, key) {
-	setPropSerializeReason(section, key, true);
-}
 function isStrOrSym(v) {
 	switch (typeof v) {
 		case "string":
@@ -1284,6 +1259,7 @@ function analyzeExpressionTagName(name, extra) {
 	let nullable = false;
 	let tagNameImported;
 	let tagNameLoad;
+	let tagNameTemplates = [];
 	while ((path = pending.pop()) && type !== 2) {
 		if (seen.has(path.node)) continue;
 		seen.add(path.node);
@@ -1312,6 +1288,12 @@ function analyzeExpressionTagName(name, extra) {
 				const decl = binding.path.parent;
 				if (MARKO_FILE_REG.test(decl.source.value) && decl.specifiers.some((it) => _marko_compiler.types.isImportDefaultSpecifier(it))) {
 					const resolvedImport = decl.extra?.tagImport || decl.source.value;
+					if (tagNameTemplates) {
+						const childFile = (0, _marko_compiler_babel_utils.loadFileForImport)((0, _marko_compiler_babel_utils.getFile)(), resolvedImport);
+						const childExtra = childFile?.ast.program.extra;
+						if (!childExtra || isAnalyzing(childFile)) tagNameTemplates = void 0;
+						else if (!tagNameTemplates.includes(childExtra)) tagNameTemplates.push(childExtra);
+					}
 					if (type === void 0) {
 						type = 1;
 						tagNameImported = resolvedImport;
@@ -1341,9 +1323,12 @@ function analyzeExpressionTagName(name, extra) {
 	}
 	extra.tagNameType = type ?? 2;
 	extra.tagNameNullable = nullable;
-	if (type === 1 && tagNameImported) {
-		extra.tagNameImported = tagNameImported;
-		extra.tagNameLoad = tagNameLoad;
+	if (type === 1) {
+		extra.tagNameTemplates = tagNameTemplates;
+		if (tagNameImported) {
+			extra.tagNameImported = tagNameImported;
+			extra.tagNameLoad = tagNameLoad;
+		}
 	}
 }
 //#endregion
@@ -1381,8 +1366,6 @@ function startSection(path) {
 			domSerializeReasons: void 0,
 			serializeExprs: void 0,
 			propSerializeExprs: void 0,
-			serializeProvenance: void 0,
-			propSerializeProvenance: void 0,
 			serializePropKeys: void 0,
 			paramReasonGroups: void 0,
 			returnValueExpr: void 0,
@@ -1424,6 +1407,9 @@ function forEachSection(fn) {
 	const { sections } = (0, _marko_compiler_babel_utils.getProgram)().node.extra;
 	sections?.forEach(fn);
 }
+function* ancestorSections(from, to) {
+	for (let cur = from; cur !== to && cur.parent; cur = cur.parent) yield cur;
+}
 function forEachSectionReverse(fn) {
 	const { sections } = (0, _marko_compiler_babel_utils.getProgram)().node.extra;
 	for (let i = sections.length; i--;) fn(sections[i]);
@@ -1498,10 +1484,13 @@ function getNodeContentType(path, extraMember, contentInfo) {
 }
 function getSectionRegisterReasons(section) {
 	if (section.isBranch) return false;
+	if (section.upstreamExpression?.tagNameType === 0) return false;
 	const { downstream } = section;
 	if (downstream?.binding) {
-		let downstreamReasons = getAllSerializeReasonsForBinding(downstream.binding, downstream.properties);
-		if (downstreamReasons && downstreamReasons !== true) downstreamReasons = mapCrossProgramReason(section.program, downstreamReasons, downstream.exprs);
+		const downstreamReasons = reduce(downstream.binding, (reasons, binding) => {
+			const reason = getAllSerializeReasonsForBinding(binding, downstream.properties);
+			return mergeSerializeReasons(reasons, reason && (downstream.exprs ? mapParamReason(binding.section.program, reason, downstream.exprs, true) : mapParamReason(section.program, reason, void 0, false)));
+		});
 		if (!downstreamReasons) return false;
 		if (isReasonDynamic(downstreamReasons) && !section.serializeReason && !section.serializeReasons.size && !section.parent?.serializeReason && !section.parent?.serializeReasons.size) return false;
 		return downstreamReasons;
@@ -1527,7 +1516,7 @@ function getDynamicClosureIndex(closure, closureSection) {
 	return index;
 }
 function getDirectClosures(section) {
-	if (section.isBranch) return filter(section.referencedClosures, (closure) => isImmediateOwner(section, closure));
+	if (section.isBranch) return bindingUtil.filter(section.referencedClosures, (closure) => isImmediateOwner(section, closure));
 }
 function isSameOrChildSection(section, other) {
 	do
@@ -1613,30 +1602,14 @@ var function_default = { analyze(fn) {
 	const section = getSection(fn);
 	const fnExtra = node.extra ??= {};
 	fnExtra.section = section;
+	fnExtra.exprRoot = exprRoot.node.extra ??= {};
 	fnExtra.name = node.id?.name || (isMarkoAttribute(markoRoot) ? markoRoot.node.default ? _marko_compiler.types.toIdentifier((markoRoot.parentPath.has("var") ? markoRoot.parentPath.get("var") : markoRoot.parentPath.get("name")).toString()) : markoRoot.node.name : _marko_compiler.types.isVariableDeclarator(fn.parent) && _marko_compiler.types.isIdentifier(fn.parent.id) ? fn.parent.id.name : _marko_compiler.types.isObjectMethod(node) && _marko_compiler.types.isIdentifier(node.key) ? node.key.name : "anonymous");
 	reserveExportRegisterId(fnExtra, fn, markoRoot);
 	if (isStaticRoot(markoRoot)) {
 		const refs = getStaticDeclRefs(fn);
-		if (refs === true) registerFunction(fnExtra, true);
-		else if (refs.size) getReferencesByFn().set(fnExtra, refs);
-	} else if (shouldAlwaysRegister(markoRoot)) registerFunction(fnExtra, true);
-	else {
-		const refs = /* @__PURE__ */ new Set([exprRoot.node.extra ??= {}]);
-		if (getConstTagVarRefs(markoRoot, refs) === true) registerFunction(fnExtra, true);
-		else getReferencesByFn().set(fnExtra, refs);
-	}
+		if (refs.size) getReferencesByFn().set(fnExtra, refs);
+	} else getReferencesByFn().set(fnExtra, /* @__PURE__ */ new Set([fnExtra.exprRoot]));
 } };
-function getConstTagVarRefs(markoRoot, refs, seen = /* @__PURE__ */ new Set()) {
-	const tag = getTagFromMarkoRoot(markoRoot);
-	if (!tag?.node.var || !isCoreTagName(tag, "const") || seen.has(tag.node)) return refs;
-	seen.add(tag.node);
-	const ids = tag.get("var").getOuterBindingIdentifiers();
-	for (const name in ids) {
-		const binding = tag.scope.getBinding(name);
-		if (binding && addBindingRefs(binding, refs, seen) === true) return true;
-	}
-	return refs;
-}
 function finalizeFunctionRegistry() {
 	for (const [fnExtra, exprExtras] of getReferencesByFn()) {
 		const reason = resolveSerializeReason(exprExtras);
@@ -1658,8 +1631,8 @@ function trackImportedFn(importDecl, local, resolved) {
 		local
 	};
 	const refs = /* @__PURE__ */ new Set();
-	if (addBindingRefs(binding, refs, /* @__PURE__ */ new Set()) === true) registerImportedFn(importedFn);
-	else if (refs.size) getReferencesByImportedFn().set(importedFn, refs);
+	addBindingRefs(binding, refs, /* @__PURE__ */ new Set());
+	if (refs.size) getReferencesByImportedFn().set(importedFn, refs);
 }
 /**
 * Finds the id reserved for an export, following `export ... from` hops. Each
@@ -1695,7 +1668,7 @@ function resolveRegisteredExport(file, exportName, seen = /* @__PURE__ */ new Se
 }
 function resolveSerializeReason(exprExtras) {
 	let reason;
-	for (const exprExtra of exprExtras) reason = mergeSerializeReasons(reason, getAllSerializeReasonsForExtra(getCanonicalExtra(exprExtra), true));
+	for (const exprExtra of exprExtras) reason = mergeSerializeReasons(reason, getRegisterReasonForExtra(getCanonicalExtra(exprExtra)));
 	return reason;
 }
 function registerImportedFn({ node, ...importedFn }) {
@@ -1752,8 +1725,7 @@ function getStaticDeclRefs(path, refs = /* @__PURE__ */ new Set(), seen = /* @__
 		const ids = decl.getOuterBindingIdentifiers();
 		if (ids) for (const name in ids) {
 			const binding = decl.scope.getBinding(name);
-			if (!binding) continue;
-			if (addBindingRefs(binding, refs, seen) === true) return true;
+			if (binding) addBindingRefs(binding, refs, seen);
 		}
 	}
 	return refs;
@@ -1764,34 +1736,15 @@ function addBindingRefs(binding, refs, seen) {
 		const exprRoot = getExprRoot(ref);
 		const markoRoot = getMarkoRoot(exprRoot);
 		if (!markoRoot || canIgnoreRegister(markoRoot, exprRoot)) continue;
-		if (isStaticRoot(markoRoot)) {
-			if (getStaticDeclRefs(ref, refs, seen) === true) return true;
-		} else if (shouldAlwaysRegister(markoRoot)) return true;
-		else {
-			refs.add(exprRoot.node.extra ??= {});
-			if (getConstTagVarRefs(markoRoot, refs, seen) === true) return true;
-		}
+		if (isStaticRoot(markoRoot)) getStaticDeclRefs(ref, refs, seen);
+		else refs.add(exprRoot.node.extra ??= {});
 	}
 }
-function shouldAlwaysRegister(markoRoot) {
-	const tag = getTagFromMarkoRoot(markoRoot);
-	if (!tag) return false;
-	if (isCoreTagName(tag, "let")) return true;
-	if (isCoreTagName(tag, "return")) return true;
-	return analyzeTagNameType(tag) === 0;
-}
 function hasSpreadAttributeAfter(attr) {
 	const attrs = attr.parent.attributes;
 	for (let i = attr.key + 1; i < attrs.length; i++) if (attrs[i].type === "MarkoSpreadAttribute") return true;
 	return false;
 }
-function getTagFromMarkoRoot(markoRoot) {
-	let cur = markoRoot;
-	do {
-		if (cur.isMarkoTag()) return cur;
-		cur = cur.parentPath;
-	} while (cur);
-}
 function registerFunction(fnExtra, reason) {
 	const { markoOpts, path: program, opts: { filename } } = (0, _marko_compiler_babel_utils.getFile)();
 	program.node.extra.isInteractive = true;
@@ -1814,7 +1767,8 @@ function isStaticRoot(path) {
 //#region src/translator/util/analyze-errors.ts
 const [getHasAnalyzeErrors, setHasAnalyzeErrors] = createProgramState(() => false);
 function reportAnalyzeError(path, error) {
-	if (!(error instanceof Error)) throw error;
+	const { filename } = error;
+	if (!(error instanceof Error) || filename !== void 0 && filename !== path.hub.file.opts.filename) throw error;
 	const { label = error.message, loc } = error;
 	setHasAnalyzeErrors(true);
 	(0, _marko_compiler_babel_utils.diagnosticError)(path, {
@@ -1837,20 +1791,15 @@ function isClientAssetImport(file, request) {
 //#endregion
 //#region src/translator/util/binding-has-prop.ts
 function isSectionRendererElided(section) {
-	return !!section.downstream?.binding && !bindingHasProperty(section.downstream.binding, section.downstream.properties);
+	return !!section.downstream?.binding && !some(section.downstream.binding, (binding) => bindingHasProperty(binding, section.downstream.properties));
 }
 function bindingHasProperty(binding, properties) {
 	if (binding.pruned) return false;
 	else if (binding.pruned === void 0) throw new Error("Binding must be pruned before checking properties");
 	if (binding.reads.size || !properties) return true;
-	let property;
-	let rest;
-	if (Array.isArray(properties)) {
-		property = properties[0];
-		rest = properties.length === 2 ? properties[1] : properties.slice(1);
-	} else property = properties;
+	const property = first(properties);
 	const propBinding = binding.propertyAliases.get(property);
-	if (propBinding && bindingHasProperty(propBinding, rest)) return true;
+	if (propBinding && bindingHasProperty(propBinding, rest(properties))) return true;
 	for (const alias of binding.aliases) if (bindingHasProperty(alias, properties)) return true;
 	return false;
 }
@@ -1897,7 +1846,7 @@ function hasSupersetExcludeProperties(binding, excludeProperties) {
 	return true;
 }
 function getKnownFromPropTree(propTree, name) {
-	return propTree === true ? true : propTree.props ? propTree.props[name] || (propTree.rest ? getKnownFromPropTree(propTree.rest, name) : void 0) : includes(propTree.binding.excludeProperties, name) ? void 0 : true;
+	return propTree === true ? true : propTree.props ? propTree.props[name] || (propTree.rest ? getKnownFromPropTree(propTree.rest, name) : void 0) : propsUtil.has(propTree.binding.excludeProperties, name) ? void 0 : true;
 }
 function getAllKnownPropNames(propTree) {
 	const keys = propTree.props ? Object.keys(propTree.props) : [];
@@ -1988,7 +1937,13 @@ function getStyleFile(file) {
 	const fs = file.markoOpts.fileSystem;
 	const base = getBase(filename);
 	const styleMatch = new RegExp(`^(${escapeRegExp(base)}\\.${"index" === base ? "|" : ""})style\\.\\w+$`);
-	for (const file of fs.readdirSync(path.default.dirname(filename)).sort()) if (styleMatch.test(file)) return `./${file}`;
+	let dirFiles;
+	try {
+		dirFiles = fs.readdirSync(path.default.dirname(filename)).sort();
+	} catch {
+		return;
+	}
+	for (const file of dirFiles) if (styleMatch.test(file)) return `./${file}`;
 }
 /**
 * Given a filename, gets the base name, strips off the file extension
@@ -2115,6 +2070,33 @@ function replaceUnsafeDoubleQuoteAttrChar(match) {
 	return match === "\"" ? "&#34;" : match === "\r" ? "&#13;" : "&amp;";
 }
 //#endregion
+//#region src/translator/util/to-property-name.ts
+function getMemberExpressionPropString(expr) {
+	switch (expr.property.type) {
+		case "StringLiteral": return expr.property.value;
+		case "NumericLiteral": return "" + expr.property.value;
+		case "Identifier":
+			if (expr.computed) return;
+			return expr.property.name;
+	}
+}
+function isValidPropertyIdentifier(name) {
+	return /^[a-z_$][a-z0-9_$]*$/i.test(name);
+}
+function toPropertyName(name) {
+	if (isValidPropertyIdentifier(name)) return _marko_compiler.types.identifier(name);
+	else if (/^(?:0|[1-9][0-9]*)$/.test(name)) return _marko_compiler.types.numericLiteral(parseInt(name, 10));
+	return _marko_compiler.types.stringLiteral(name);
+}
+function toObjectProperty(name, value) {
+	return _marko_compiler.types.objectProperty(toPropertyName(name), value);
+}
+function toMemberExpression(object, key, optional) {
+	const prop = toPropertyName(key);
+	const computed = prop.type !== "Identifier";
+	return optional ? _marko_compiler.types.optionalMemberExpression(object, prop, computed, true) : _marko_compiler.types.memberExpression(object, prop, computed);
+}
+//#endregion
 //#region src/translator/util/runtime.ts
 const pureDOMFunctions = /* @__PURE__ */ new Set([
 	"_await_promise",
@@ -2163,11 +2145,25 @@ function importRuntime(name) {
 	}
 	return _marko_compiler.types.identifier(localName);
 }
+function registerRuntimeValue(id, value) {
+	return _marko_compiler.types.assignmentExpression("=", toMemberExpression(importRuntime("_resumed"), id), value);
+}
 function callRuntime(name, ...args) {
 	const callExpression = _marko_compiler.types.callExpression(importRuntime(name), filterArguments(args));
 	if (isOutputDOM() && pureDOMFunctions.has(name)) return _marko_compiler.types.addComment(callExpression, "leading", "@__PURE__");
 	return callExpression;
 }
+const domRuntimeFeatures = [
+	"catch",
+	"controllable",
+	"controllable-input",
+	"controllable-open",
+	"controllable-select",
+	"controllable-textarea",
+	"dynamic-tag-script",
+	"dynamic-tag-var",
+	"placeholder"
+];
 const importedFeatures = /* @__PURE__ */ new WeakMap();
 function importRuntimeFeature(feature) {
 	if (!isTranslate()) throw new Error(`\`importRuntimeFeature(${JSON.stringify(feature)})\` may only be called during the translate stage.`);
@@ -2275,13 +2271,13 @@ function addExportRegistrations(node, seen, statements) {
 	}
 }
 function buildRegistration(local, registerId) {
-	return _marko_compiler.types.expressionStatement(isOutputHTML() ? callRuntime("_resume", _marko_compiler.types.identifier(local), _marko_compiler.types.stringLiteral(registerId)) : callRuntime("_resume", _marko_compiler.types.stringLiteral(registerId), _marko_compiler.types.identifier(local)));
+	return _marko_compiler.types.expressionStatement(isOutputHTML() ? callRuntime("_resume", _marko_compiler.types.identifier(local), _marko_compiler.types.stringLiteral(registerId)) : registerRuntimeValue(registerId, _marko_compiler.types.identifier(local)));
 }
 function resolveRegisterModule(file, { filename, exportName, registerId }) {
 	const importer = file.opts.filename;
 	return getMarkoOpts().resolveVirtualDependency(importer, {
 		virtualPath: `${relativePath(importer, filename)}.register-${exportName}.js`,
-		code: `import { ${exportName} } from "./${path.default.basename(filename)}";\nimport { _resume } from "${getRuntimePath("dom")}";\n_resume(${JSON.stringify(registerId)}, ${exportName});\n`
+		code: `import { ${exportName} } from "./${path.default.basename(filename)}";\nimport { _resumed } from "${getRuntimePath("dom")}";\n_resumed${isValidPropertyIdentifier(registerId) ? `.${registerId}` : `[${JSON.stringify(registerId)}]`} = ${exportName};\n`
 	});
 }
 function relativePath(from, to) {
@@ -2425,28 +2421,55 @@ const [getSectionReasonState] = createSectionState("serializeReasonState", (sect
 	guard: createTypeState(),
 	declarators: [_marko_compiler.types.variableDeclarator(_marko_compiler.types.identifier(getSharedUid(`scope${section.id}_reason`, section)), callRuntime("_scope_reason"))]
 }));
+function buildGroupMask(groups) {
+	let mask = 0;
+	let maskNames = "";
+	let dynamic;
+	const props = [];
+	let needsObject = false;
+	let any = false;
+	for (let i = 0; i < groups.length; i++) {
+		const { value, names } = groups[i];
+		if (value === void 0) continue;
+		any = true;
+		if (value === 0) continue;
+		if (i >= 15) needsObject = true;
+		else if (typeof value === "number") {
+			mask |= value << 1 + 2 * i;
+			if (names) maskNames += maskNames ? ` | ${names}` : names;
+		} else {
+			const shifted = _marko_compiler.types.binaryExpression("<<", value, withLeadingComment(_marko_compiler.types.numericLiteral(1 + 2 * i), names));
+			dynamic = dynamic ? _marko_compiler.types.binaryExpression("|", dynamic, shifted) : shifted;
+		}
+		props.push(_marko_compiler.types.objectProperty(withLeadingComment(_marko_compiler.types.numericLiteral(i), names), typeof value === "number" ? _marko_compiler.types.numericLiteral(value) : value));
+	}
+	if (needsObject) return _marko_compiler.types.objectExpression(props);
+	if (!any) return;
+	const literal = mask ? withLeadingComment(_marko_compiler.types.numericLiteral(mask), maskNames) : void 0;
+	return literal && dynamic ? _marko_compiler.types.binaryExpression("|", literal, dynamic) : literal || dynamic || _marko_compiler.types.numericLiteral(0);
+}
 function getScopeReasonDeclaration(section) {
 	return _marko_compiler.types.variableDeclaration("const", getSectionReasonState(section).declarators);
 }
 function getSerializeGuard(section, reason, optional) {
-	if (!isReasonDynamic(reason) || isCrossSection(section, reason)) {
+	if (!isDynamicSerializeGuard(section, reason)) {
 		if (!reason) return _marko_compiler.types.numericLiteral(0);
-		return optional ? void 0 : withLeadingComment(_marko_compiler.types.numericLiteral(1), getDebugNames(reason === true ? void 0 : reason.state));
+		return optional ? void 0 : withLeadingComment(_marko_compiler.types.numericLiteral(1), getDebugNames(reason.forced ? void 0 : reason.state));
 	}
 	return getOrHoist(reason, true);
 }
 function getSerializeGuardForAny(section, reasons, optional) {
 	if (!Array.isArray(reasons)) return getSerializeGuard(section, reasons, optional);
+	for (const reason of reasons) if (!isReasonDynamic(reason)) return optional ? void 0 : withLeadingComment(_marko_compiler.types.numericLiteral(1), getDebugNames(reason.state));
 	let expr;
 	for (const reason of reasons) {
-		if (!isReasonDynamic(reason)) return optional ? void 0 : withLeadingComment(_marko_compiler.types.numericLiteral(1), getDebugNames(reason.state));
 		const guard = getSerializeGuard(section, reason, false);
 		expr = expr ? _marko_compiler.types.logicalExpression("||", expr, guard) : guard;
 	}
 	return expr;
 }
 function getExprIfSerialized(section, reason, expr) {
-	if (!isReasonDynamic(reason) || isCrossSection(section, reason)) return reason && expr;
+	if (!isDynamicSerializeGuard(section, reason)) return reason && expr;
 	const guard = getOrHoist(reason, false);
 	return guard ? _marko_compiler.types.logicalExpression("&&", guard, expr) : expr;
 }
@@ -2493,6 +2516,9 @@ function getOnlySection(params) {
 	const { section } = params[0];
 	return section === params[params.length - 1].section ? section : void 0;
 }
+function isDynamicSerializeGuard(section, reason) {
+	return isReasonDynamic(reason) && !isCrossSection(section, reason);
+}
 function isCrossSection(section, reason) {
 	return some(reason.param, (param) => !isSameOrChildSection(param.section, section));
 }
@@ -2586,7 +2612,7 @@ var return_default = {
 		if (attrs.valueChange) {
 			(attrs.valueChange.extra ??= {}).isEffect = true;
 			addSetupExpr(section, attrs.valueChange);
-			addSerializeReason(section, true, getAccessorProp().TagVariableChange);
+			addSerializeReason(section, FORCED, getAccessorProp().TagVariableChange);
 		}
 		addSetupExpr(section, attrs.value);
 		section.returnValueExpr = attrs.value.extra ??= {};
@@ -2734,40 +2760,10 @@ function resolvesTo(read, canonical) {
 }
 function readsKey(read, keyBinding) {
 	if (!read || read.getter) return false;
-	let binding = read.binding;
-	forEach(read.props, (prop) => {
-		binding = binding?.propertyAliases.get(prop);
-	});
+	const binding = getPropertyAlias(read.binding, read.props);
 	return !!binding && getCanonicalBinding(binding) === getCanonicalBinding(keyBinding);
 }
 //#endregion
-//#region src/translator/util/to-property-name.ts
-function getMemberExpressionPropString(expr) {
-	switch (expr.property.type) {
-		case "StringLiteral": return expr.property.value;
-		case "NumericLiteral": return "" + expr.property.value;
-		case "Identifier":
-			if (expr.computed) return;
-			return expr.property.name;
-	}
-}
-function isValidPropertyIdentifier(name) {
-	return /^[a-z_$][a-z0-9_$]*$/i.test(name);
-}
-function toPropertyName(name) {
-	if (isValidPropertyIdentifier(name)) return _marko_compiler.types.identifier(name);
-	else if (/^(?:0|[1-9][0-9]*)$/.test(name)) return _marko_compiler.types.numericLiteral(parseInt(name, 10));
-	return _marko_compiler.types.stringLiteral(name);
-}
-function toObjectProperty(name, value) {
-	return _marko_compiler.types.objectProperty(toPropertyName(name), value);
-}
-function toMemberExpression(object, key, optional) {
-	const prop = toPropertyName(key);
-	const computed = prop.type !== "Identifier";
-	return optional ? _marko_compiler.types.optionalMemberExpression(object, prop, computed, true) : _marko_compiler.types.memberExpression(object, prop, computed);
-}
-//#endregion
 //#region src/translator/util/get-declared-binding-expression.ts
 function getDeclaredBindingExpression(binding) {
 	const canonicalBinding = getCanonicalBinding(binding);
@@ -2860,7 +2856,7 @@ function setSerializedValue(section, key, expression) {
 	nonAnalyzedForceSerializedSection.add(section);
 	getSerializedAccessors(section).set(key, {
 		expression,
-		reason: true
+		reason: FORCED
 	});
 }
 const [getSectionWriteScopeBuilder, setSectionWriteScopeBuilder] = createSectionState("sectionWriteScopeBuilder");
@@ -2914,10 +2910,10 @@ function getSignal(section, referencedBindings, name) {
 		if (isOutputHTML()) return signal;
 		else if (!referencedBindings) signal.build = () => getSignalFn(signal);
 		else if (Array.isArray(referencedBindings)) {
-			const collapseSource = collapsedIntersectionSource.get(referencedBindings);
-			subscribe(collapseSource || referencedBindings, signal);
-			if (collapseSource) {
-				const sourceSignal = getSignal(section, collapseSource);
+			const meta = intersectionMeta.get(referencedBindings);
+			subscribe(meta.source || referencedBindings, signal);
+			if (meta.source) {
+				const sourceSignal = getSignal(section, meta.source);
 				forEach(referencedBindings, (member) => {
 					const memberSignal = getSignal(section, member);
 					const inline = member.type === 5 && !member.upstreamAlias && member.reads.size === 1 && sourceSignal.values.find((v) => v.signal === memberSignal);
@@ -2926,7 +2922,7 @@ function getSignal(section, referencedBindings, name) {
 				});
 				signal.build = () => getSignalFn(signal);
 			} else signal.build = () => {
-				const { id, scopeOffset } = intersectionMeta.get(referencedBindings);
+				const { id, scopeOffset } = meta;
 				return callRuntime("_or", _marko_compiler.types.numericLiteral(id), getSignalFn(signal), scopeOffset || referencedBindings.length > 2 ? _marko_compiler.types.numericLiteral(referencedBindings.length - 1) : void 0, scopeOffset && getScopeAccessorLiteral(scopeOffset, true));
 			};
 		} else if (referencedBindings.section !== section && sectionUtil.has(referencedBindings.closureSections, section)) signal.build = () => {
@@ -2934,11 +2930,15 @@ function getSignal(section, referencedBindings, name) {
 			const render = getSignalFn(signal);
 			const closureSignalBuilder = getClosureSignalBuilder(section);
 			if (closureSignalBuilder && !isDynamicClosure(section, closure)) return closureSignalBuilder(closure, render);
-			return callRuntime("_closure_get", isOptimize() ? _marko_compiler.types.numericLiteral(getClosureAccessorId(closure)) : getScopeAccessorLiteral(closure, true), render, isImmediateOwner(section, closure) ? void 0 : _marko_compiler.types.arrowFunctionExpression([scopeIdentifier], getScopeExpression(section, closure.section)), underTryPlaceholder(section) ? _marko_compiler.types.stringLiteral(getResumeRegisterId(section, closure, "pending")) : void 0);
+			return callRuntime("_closure_get", isOptimize() ? _marko_compiler.types.numericLiteral(getClosureAccessorId(closure)) : getScopeAccessorLiteral(closure, true), render, isImmediateOwner(section, closure) ? void 0 : _marko_compiler.types.arrowFunctionExpression([scopeIdentifier], getScopeExpression(section, closure.section)), underTryPlaceholder(section) && closureResumes(closure) ? _marko_compiler.types.stringLiteral(getResumeRegisterId(section, closure, "pending")) : void 0);
 		};
 	}
 	return signal;
 }
+function closureResumes(closure) {
+	const state = closure.sources?.state;
+	return !state || some(state, hasResumableWriter);
+}
 function underTryPlaceholder(section) {
 	let curSection = section.parent;
 	while (curSection) {
@@ -2954,8 +2954,7 @@ function initValue(binding, isLet = false) {
 	signal.build = () => {
 		if (isPureMemberForwarder(binding)) return;
 		const fn = getSignalFn(signal);
-		const isDirectAlias = binding.upstreamAlias && binding.property === void 0 && binding.excludeProperties === void 0;
-		if (!signal.forcePersist && (isDirectAlias || !signal.hasSideEffect || !signalHasStatements(signal))) return fn;
+		if (!signal.forcePersist && (isDirectAlias(binding) || !signal.hasSideEffect || !signalHasStatements(signal))) return fn;
 		return callRuntime(isLet ? signal.extraArgs ? "_let_change" : "_let" : "_const", getScopeAccessorLiteral(binding, true, isLet), fn);
 	};
 	for (const alias of binding.aliases) if (alias.type !== 6) initValue(alias);
@@ -2971,7 +2970,7 @@ function signalHasStatements(signal) {
 	return false;
 }
 function isPureMemberForwarder(binding) {
-	if (binding.property === void 0 || binding.reads.size || binding.exposed || binding.aliases.size || binding.assignmentSections || isForSelectorValue(binding) || getSerializeReason(binding.section, binding) || getSignal(binding.section, binding).hasSideEffect) return false;
+	if (binding.property === void 0 || binding.reads.size || binding.exposed || binding.aliases.size || binding.assignments || isForSelectorValue(binding) || getSerializeReason(binding.section, binding) || getSignal(binding.section, binding).hasSideEffect) return false;
 	for (const alias of binding.propertyAliases.values()) if (alias.type !== 6) return true;
 	return false;
 }
@@ -3111,7 +3110,7 @@ function isOwnValueRead(node, binding) {
 function subscribe(references, subscriber) {
 	if (references) forEach(references, (binding) => {
 		if (binding.type !== 6) {
-			const source = binding.property === void 0 && binding.excludeProperties === void 0 && binding.upstreamAlias || binding;
+			const source = isDirectAlias(binding) && binding.upstreamAlias || binding;
 			const providerSignal = getSignal(subscriber.section, source);
 			providerSignal.hasSideEffect = true;
 			providerSignal.intersection = push(providerSignal.intersection, subscriber);
@@ -3162,8 +3161,7 @@ function addValue(targetSection, referencedBindings, signal, value) {
 function buildResumeRegisterKey(section, referencedBindings, type) {
 	let name = "";
 	if (referencedBindings) if (typeof referencedBindings === "string") name += `*${referencedBindings}`;
-	else if (Array.isArray(referencedBindings)) for (const ref of referencedBindings) name += `_${ref.name}#${ref.id}`;
-	else name += `_${referencedBindings.name}#${referencedBindings.id}`;
+	else name = reduce(referencedBindings, appendBindingKey, name);
 	return `${section.id}${name}${type ? "/" + type : ""}`;
 }
 function getResumeRegisterId(section, referencedBindings, type) {
@@ -3247,7 +3245,7 @@ function writeRegisteredFns() {
 			else fn = _marko_compiler.types.functionDeclaration(_marko_compiler.types.identifier(registeredFn.id), registeredFn.node.params, registeredFn.node.body.type === "BlockStatement" ? registeredFn.node.body : _marko_compiler.types.blockStatement([_marko_compiler.types.returnStatement(registeredFn.node.body)]), registeredFn.node.generator, registeredFn.node.async);
 			statements.push(fn);
 		}
-		for (const registeredFn of registeredFns) statements.push(_marko_compiler.types.expressionStatement(callRuntime("_resume", _marko_compiler.types.stringLiteral(registeredFn.registerId), _marko_compiler.types.identifier(registeredFn.id))));
+		for (const registeredFn of registeredFns) statements.push(_marko_compiler.types.expressionStatement(registerRuntimeValue(registeredFn.registerId, _marko_compiler.types.identifier(registeredFn.id))));
 		(0, _marko_compiler_babel_utils.getProgram)().node.body.push(...statements);
 	}
 }
@@ -3270,7 +3268,7 @@ function writeHTMLResumeStatements(path) {
 	const allSignals = Array.from(getSignals(section).values());
 	const scopeIdIdentifier = getScopeIdIdentifier(section);
 	const markerSerializeArg = getSerializeGuardForAny(section, section.domSerializeReasons, true);
-	const sectionSerializeReason = nonAnalyzedForceSerializedSection.has(section) ? true : section.serializeReason;
+	const sectionSerializeReason = nonAnalyzedForceSerializedSection.has(section) ? FORCED : section.serializeReason;
 	forEach(section.referencedClosures, (closure) => {
 		if (closure.sources) {
 			if (isDynamicClosure(section, closure)) {
@@ -3284,7 +3282,7 @@ function writeHTMLResumeStatements(path) {
 				const closureIndex = getDynamicClosureIndex(closure, section);
 				if (closureIndex) setBindingSerializedValue(section, closure, _marko_compiler.types.numericLiteral(closureIndex), getAccessorPrefix().ClosureSignalIndex);
 				const closureScopesReason = getSerializeReason(closure.section, closure, getAccessorPrefix().ClosureScopes);
-				if (underTryPlaceholder(section)) {
+				if (underTryPlaceholder(section) && closureResumes(closure)) {
 					const reason = getSerializeReason(section);
 					if (reason) {
 						const script = getExprIfSerialized(section, reason, callRuntime("_script", getScopeIdIdentifier(section), _marko_compiler.types.stringLiteral(getResumeRegisterId(section, closure, "pending")), markerSerializeArg));
@@ -3357,7 +3355,7 @@ function writeHTMLResumeStatements(path) {
 		}
 		body.push(_marko_compiler.types.expressionStatement(getExprIfSerialized(section, sectionSerializeReason, writeScopeBuilder ? writeScopeBuilder(callRuntime("_scope", ...writeScopeArgs)) : callRuntime("_scope", ...writeScopeArgs))));
 	}
-	if (!section.isBranch && (section.hasAbortSignal || !!section.referencedClosures || sectionSerializeReason && !!find(section.bindings, (binding) => binding.type === 1)) && markerSerializeArg) {
+	if (!section.isBranch && (section.hasAbortSignal || !!section.referencedClosures || sectionSerializeReason && some(section.bindings, isLetBinding)) && markerSerializeArg) {
 		const call = callRuntime("_resume_branch", scopeIdIdentifier);
 		const link = section.hasAbortSignal ? call : getExprIfSerialized(section, sectionSerializeReason, call);
 		if (link) body.push(_marko_compiler.types.expressionStatement(markerSerializeArg.type === "NumericLiteral" ? link : _marko_compiler.types.logicalExpression("||", markerSerializeArg, link)));
@@ -3384,7 +3382,8 @@ function replaceBindingReadNode$1(node, signal) {
 		case "Identifier":
 		case "MemberExpression":
 		case "OptionalMemberExpression": return getReadReplacement(node, signal);
-		case "CallExpression": {
+		case "CallExpression":
+		case "OptionalCallExpression": {
 			const { extra } = node.callee;
 			if (extra?.read) {
 				const { binding, getter } = extra.read;
@@ -3542,6 +3541,12 @@ function getRegisteredFnExpression$1(node) {
 		else return _marko_compiler.types.identifier(id);
 	}
 }
+function appendBindingKey(name, binding) {
+	return `${name}_${binding.name}#${binding.id}`;
+}
+function isLetBinding(binding) {
+	return binding.type === 1;
+}
 //#endregion
 //#region src/translator/util/import-reference.ts
 function importOrSelfReferenceName(file, request, name, nameHint) {
@@ -3941,7 +3946,8 @@ function replaceBindingReadNode(node) {
 			if (extra && !(extra.read && !extra.read.binding.declared || extra.binding && !extra.binding.declared)) return getReadReplacement(node);
 			break;
 		}
-		case "CallExpression": {
+		case "CallExpression":
+		case "OptionalCallExpression": {
 			const read = node.callee.extra?.read;
 			if (read && (read.getter !== void 0 || read.binding.type === 0)) return _marko_compiler.types.callExpression(_marko_compiler.types.arrowFunctionExpression([_marko_compiler.types.cloneNode(node.callee)], node), [importRuntime(read.binding.type === 0 ? "_el_read_error" : "_hoist_read_error")]);
 			break;
@@ -4125,6 +4131,8 @@ var for_default = {
 		const keyAttr = tag.node.attributes.find((attr) => attr.type === "MarkoAttribute" && attr.name === "key");
 		if (keyAttr) throw tag.hub.buildError(keyAttr, `The [\`<for>\` tag](https://markojs.com/docs/reference/core-tag#for) keys items with the \`by=\` attribute, not \`key=\`. ${forType === "of" ? "Use `by=\"propName\"` or `by=(item, index) => key`" : forType === "in" ? "Use `by=(key, value) => key`" : "Use `by=(num) => key`"}.`);
 		(0, _marko_compiler_babel_utils.assertAllowedAttributes)(tag, allowAttrs);
+		const extraParam = tag.node.body.params[forType === "of" || forType === "in" ? 2 : 1];
+		if (extraParam && extraParam.type !== "RestElement") throw tag.hub.buildError(extraParam, `The [\`<for>\` tag](https://markojs.com/docs/reference/core-tag#for) only provides \`|${forType === "of" ? "item, index" : forType === "in" ? "key, value" : "num"}|\` with \`${forType}=\`, so this parameter is never supplied.`);
 		if (isAttrTag) return;
 		const byAttr = getKnownAttrValues(tag.node).by;
 		if (forType !== "of" && byAttr?.type === "StringLiteral") throw tag.hub.buildError(byAttr, `The [\`<for>\` tag](https://markojs.com/docs/reference/core-tag#for) only supports a string \`by\` key with \`of\`; use a \`by=(${forType === "in" ? "key, value" : "index"}) => ...\` function for \`<for ${forType}>\`.`);
@@ -4535,8 +4543,9 @@ function translateAttrs(tag, propTree = true, skip, statements = [], contentKey
 	for (let i = attributes.length; i--;) {
 		const attr = attributes[i];
 		const { value } = attr;
-		if (_marko_compiler.types.isMarkoSpreadAttribute(attr)) attrProperties.push(_marko_compiler.types.spreadElement(value));
-		else if (!seen.has(attr.name) && getKnownFromPropTree(propTree, attr.name)) {
+		if (_marko_compiler.types.isMarkoSpreadAttribute(attr)) {
+			if (!value.extra?.pruned) attrProperties.push(_marko_compiler.types.spreadElement(value));
+		} else if (!seen.has(attr.name) && getKnownFromPropTree(propTree, attr.name)) {
 			seen.add(attr.name);
 			attrProperties.push(toObjectProperty(attr.name, value));
 		}
@@ -4706,10 +4715,12 @@ var native_tag_default = {
 						hasEventHandlers = true;
 					} else {
 						assertValidNativeEventHandlerAttr(tag, attr);
+						if (isEventOrChangeHandler(attr.name)) valueExtra.forceRegister = true;
 						if (!evaluate(attr.value).confident) hasDynamicAttributes = true;
 					}
 				} else if (_marko_compiler.types.isMarkoSpreadAttribute(attr)) {
 					valueExtra.isEffect = true;
+					valueExtra.forceRegister = true;
 					hasEventHandlers = true;
 					hasDynamicAttributes = true;
 				}
@@ -4761,9 +4772,7 @@ var native_tag_default = {
 						const spreadBinding = node.extra?.spreadFrom;
 						if (spreadBinding) {
 							spreadBinding.noSerialize = true;
-							if (carveProperties) {
-								for (const property of carveProperties) if (!includes(spreadBinding.noSerializeProperties, property)) spreadBinding.noSerializeProperties = push(spreadBinding.noSerializeProperties, property);
-							}
+							if (carveProperties) for (const property of carveProperties) spreadBinding.noSerializeProperties = propsUtil.add(spreadBinding.noSerializeProperties, property);
 						}
 					}
 				}
@@ -4778,7 +4787,7 @@ var native_tag_default = {
 					const attr = seen[name];
 					if (isEventHandler(name) || name === "content" || !evaluate(attr.value).confident) addSetupExpr(tagSection, attr.value);
 				}
-				addSerializeExpr(tagSection, !!(node.var || hasEventHandlers), nodeBinding);
+				if (node.var || hasEventHandlers) addSerializeReason(tagSection, FORCED, nodeBinding);
 				trackDomVarReferences(tag, nodeBinding);
 				addSerializeExpr(tagSection, push(exprExtras, tagExtra), nodeBinding);
 			}
@@ -5580,7 +5589,7 @@ const IfTag = {
 						if (branchBodySection) {
 							const branchSerializeReason = getSerializeReason(branchBodySection, kBranchSerializeReason);
 							if (branchSerializeReason) {
-								if (branchSerializeReasons !== true) branchSerializeReasons = branchSerializeReason === true || branchSerializeReason.state ? true : sourcesUtil.add(branchSerializeReasons, branchSerializeReason);
+								branchSerializeReasons = sourcesUtil.add(branchSerializeReasons, branchSerializeReason);
 								bodyStatements.push(_marko_compiler.types.returnStatement(_marko_compiler.types.numericLiteral(i)));
 							}
 						}
@@ -6145,6 +6154,48 @@ var program_default = {
 	}
 };
 //#endregion
+//#region src/translator/util/cyclic-memo.ts
+function createCyclicMemo(compute, cycleAnswer) {
+	const cache = /* @__PURE__ */ new WeakMap();
+	const computing = /* @__PURE__ */ new Map();
+	let provisionalAt = Infinity;
+	return (key) => {
+		if (cache.has(key)) return cache.get(key);
+		const at = computing.get(key);
+		if (at !== void 0) {
+			if (at < provisionalAt) provisionalAt = at;
+			return cycleAnswer;
+		}
+		const frame = computing.size;
+		computing.set(key, frame);
+		const outerProvisionalAt = provisionalAt;
+		provisionalAt = Infinity;
+		try {
+			const result = compute(key);
+			if (provisionalAt >= frame) cache.set(key, result);
+			return result;
+		} finally {
+			computing.delete(key);
+			if (provisionalAt >= frame || outerProvisionalAt < provisionalAt) provisionalAt = outerProvisionalAt;
+		}
+	};
+}
+function createCyclicPathMemo(compute, cycleAnswer) {
+	const keys = /* @__PURE__ */ new WeakMap();
+	const memo = createCyclicMemo(([key, path]) => compute(key, path), cycleAnswer);
+	return (key, path) => {
+		let node = keys.get(key);
+		if (!node) keys.set(key, node = {});
+		if (path === true) return memo(node.all ??= [key, path]);
+		forEach(path, (property) => {
+			let next = node.props?.get(property);
+			if (!next) (node.props ??= /* @__PURE__ */ new Map()).set(property, next = {});
+			node = next;
+		});
+		return memo(node.value ??= [key, path]);
+	};
+}
+//#endregion
 //#region src/translator/util/set-tag-sections-downstream.ts
 const [getTagDownstreams] = createSectionState("tag-downstreams", () => /* @__PURE__ */ new Map());
 function setTagDownstream(tag, binding, exprs) {
@@ -6160,14 +6211,13 @@ function crawlSectionsAndSetBinding(tag, downstreamTag, binding, exprs, properti
 	if (!skip) {
 		const contentSection = getSectionForBody(tag.get("body"));
 		if (contentSection) {
-			let target = binding;
-			forEach(properties, (property) => {
-				target = target?.propertyAliases.get(property);
+			const serialized = filter(binding, (binding) => {
+				const target = getPropertyAlias(binding, properties);
+				return !(target && (target.noSerialize || propsUtil.has(target.noSerializeProperties, "content")));
 			});
-			const serialized = !(target && (target.noSerialize || includes(target.noSerializeProperties, "content")));
 			contentSection.downstream = {
 				tag: downstreamTag,
-				binding: serialized ? binding : void 0,
+				binding: serialized,
 				properties: serialized ? concat(properties, "content") : void 0,
 				exprs: serialized ? exprs : void 0
 			};
@@ -6193,7 +6243,7 @@ function translateVar(tag, initialValue, kind = "const", statements) {
 		if (!idExtra) return;
 		const binding = idExtra.binding;
 		if (!binding?.upstreamAlias) return;
-		if (binding.assignmentSections && binding.property !== void 0) {
+		if (binding.assignments && binding.property !== void 0) {
 			const changeName = binding.property + "Change";
 			const changeBinding = binding.upstreamAlias.propertyAliases.get(changeName);
 			if (changeBinding && changeName !== changeBinding.name) {
@@ -6253,14 +6303,24 @@ function knownTagAnalyze(tag, contentSection, propTree) {
 	if (varBinding) {
 		addSetupStatement(section);
 		const mutatesTagVar = !!(tag.node.var.type === "Identifier" && tag.scope.getBinding(tag.node.var.name)?.constantViolations.length);
-		const varExpr = tagExtra.defineBodySection ? contentSection.returnValueExpr : mapParamReasonToExpr(exprs, contentSection.returnSerializeReason && (contentSection.returnSerializeReason === true || !!contentSection.returnSerializeReason.state || contentSection.returnSerializeReason.param));
+		const varExpr = tagExtra.defineBodySection ? contentSection.returnValueExpr : mapParamReasonToExpr(exprs, contentSection.returnSerializeReason && (contentSection.returnSerializeReason.forced || !!contentSection.returnSerializeReason.state || contentSection.returnSerializeReason.param));
 		varBinding.scopeOffset = tagExtra[kChildOffsetScopeBinding$1] = createBinding("#scopeOffset", 0, section);
 		setBindingDownstream(varBinding, varExpr);
-		if (mutatesTagVar) addSerializeExpr(section, true, childScopeBinding);
-		addSerializeExpr(section, varExpr, childScopeBinding);
+		if (mutatesTagVar || varExpr === true) addSerializeReason(section, FORCED, childScopeBinding);
+		if (varExpr !== true) addSerializeExpr(section, varExpr, childScopeBinding);
 	}
 	addSerializeExpr(section, fromIter(attrExprs), childScopeBinding);
 }
+function getRenderArgs(tag) {
+	const args = tag.node.arguments;
+	return args?.length && !args.every(isPrunedNode) ? args.map(toRenderArg) : null;
+}
+function isPrunedNode(node) {
+	return !!node.extra?.pruned;
+}
+function toRenderArg(arg) {
+	return isPrunedNode(arg) ? _marko_compiler.types.unaryExpression("void", _marko_compiler.types.numericLiteral(0)) : arg;
+}
 function knownTagTranslateHTML(tag, tagIdentifier, contentSection, propTree) {
 	const tagBody = tag.get("body");
 	const { node } = tag;
@@ -6284,39 +6344,20 @@ function knownTagTranslateHTML(tag, tagIdentifier, contentSection, propTree) {
 		if (tagVar) varStatement = _marko_compiler.types.expressionStatement(callRuntime("_var", getScopeIdIdentifier(section), getScopeAccessorLiteral(tag.node.extra[kChildOffsetScopeBinding$1]), peekScopeId, _marko_compiler.types.stringLiteral(getResumeRegisterId(section, tagVar.extra?.binding, "var"))));
 	}
 	if (contentSection.paramReasonGroups) {
-		let childSerializeReasonExpr;
-		if (contentSection.paramReasonGroups.length === 1) {
-			const [group] = contentSection.paramReasonGroups;
+		const childSerializeReasonExpr = buildGroupMask(contentSection.paramReasonGroups.map((group) => {
 			const reason = getSerializeReason(section, childScopeBinding, group.id);
-			childSerializeReasonExpr = reason && getSerializeGuard(section, reason, false);
-		} else {
-			const props = [];
-			let bitmask = 0;
-			let bitmaskNames = "";
-			let hasDynamicReasons = false;
-			let hasSkippedReasons = false;
-			for (let i = 0; i < contentSection.paramReasonGroups.length; i++) {
-				const group = contentSection.paramReasonGroups[i];
-				const reason = getSerializeReason(section, childScopeBinding, group.id);
-				if (reason) {
-					hasDynamicReasons ||= reason !== true && !reason.state;
-					const guard = getSerializeGuard(section, reason, false);
-					if (bitmask >= 0) if (guard.type === "NumericLiteral" && guard.value === 1 && i < 30) {
-						bitmask |= 1 << i + 1;
-						const names = getDebugNames(group.reason);
-						if (names) bitmaskNames += bitmaskNames ? ` | ${names}` : names;
-					} else bitmask = -1;
-					props.push(_marko_compiler.types.objectProperty(withLeadingComment(_marko_compiler.types.numericLiteral(i), getDebugNames(group.reason)), guard));
-				} else hasSkippedReasons = true;
-			}
-			if (props.length) childSerializeReasonExpr = !(hasDynamicReasons || hasSkippedReasons) ? _marko_compiler.types.numericLiteral(1) : bitmask > 0 ? withLeadingComment(_marko_compiler.types.numericLiteral(bitmask), bitmaskNames) : _marko_compiler.types.objectExpression(props);
-		}
+			const guard = reason && getSerializeGuard(section, reason, false);
+			return {
+				value: !guard ? void 0 : guard.type === "NumericLiteral" ? guard.value : guard,
+				names: getDebugNames(group.reason)
+			};
+		}));
 		if (childSerializeReasonExpr) tag.insertBefore(_marko_compiler.types.expressionStatement(callRuntime("_set_serialize_reason", childSerializeReasonExpr)));
 	}
 	const getArgs = () => {
-		let renderArgs = [];
-		if (tag.node.arguments) renderArgs = [...renderArgs, ...tag.node.arguments];
-		if (!tag.node.arguments?.length || properties.length) renderArgs.push(propsToExpression(properties));
+		const args = getRenderArgs(tag);
+		const renderArgs = args ? [...args] : [];
+		if (!args || properties.length) renderArgs.push(propsToExpression(properties));
 		return renderArgs;
 	};
 	if (tagVar) {
@@ -6506,12 +6547,12 @@ function analyzeAttrs(rootTagExtra, section, tag, propTree, rootAttrExprs, rootE
 				addSetupExpr(section, attr.value);
 				setBindingDownstream(templateExportAttr.binding, attrExtra, rootExprs);
 				if (getRootSection(templateExportAttr.binding.section) !== (0, _marko_compiler_babel_utils.getProgram)().node.extra.section && isInvokeOnlyBinding(templateExportAttr.binding)) attrExtra.invokeOnly = true;
-				if (knownSpread && !includes(knownSpread.binding.excludeProperties, attr.name)) addRead(attrExtra, {}, getOrCreatePropertyAlias(knownSpread.binding, attr.name), section, void 0);
+				if (knownSpread && !propsUtil.has(knownSpread.binding.excludeProperties, attr.name)) addRead(attrExtra, {}, getOrCreatePropertyAlias(knownSpread.binding, attr.name), section, void 0);
 			}
 		} else if (spreadReferenceNodes) spreadReferenceNodes.push(attr.value);
 		else {
 			knownSpread = hasAllKnownProps(propTree) ? getSingleKnownSpread(attributes) : void 0;
-			if (knownSpread) dropNodes(attr.value);
+			if (knownSpread) untrackNode(attr.value);
 			else (spreadReferenceNodes = restReferenceNodes || []).push(attr.value);
 		}
 	}
@@ -6544,7 +6585,7 @@ function getSingleKnownSpread(attributes) {
 	let extra;
 	for (let i = attributes.length; i--;) {
 		const attr = attributes[i];
-		if (attr.type === "MarkoSpreadAttribute" ? binding || !(binding = (extra = attr.value.extra)?.spreadFrom) : binding && !includes(binding.excludeProperties, attr.name)) return;
+		if (attr.type === "MarkoSpreadAttribute" ? binding || !(binding = (extra = attr.value.extra)?.spreadFrom) : binding && !propsUtil.has(binding.excludeProperties, attr.name)) return;
 	}
 	if (binding) return {
 		extra,
@@ -6557,8 +6598,9 @@ function writeParamsToSignals(tag, propTree, importAlias, info) {
 		const tagInputIdentifier = info.getBindingIdentifier(propTree.binding, `${importAlias}_params`);
 		const translatedAttrs = translateAttrs(tag);
 		if (translatedAttrs.statements.length) addStatement("render", info.tagSection, referencedBindings, translatedAttrs.statements);
-		const renderParams = tag.node.arguments ? [...tag.node.arguments] : [];
-		if (!tag.node.arguments?.length || translatedAttrs.properties.length) renderParams.push(propsToExpression(translatedAttrs.properties));
+		const args = getRenderArgs(tag);
+		const renderParams = args ? [...args] : [];
+		if (!args || translatedAttrs.properties.length) renderParams.push(propsToExpression(translatedAttrs.properties));
 		addStatement("render", info.tagSection, referencedBindings, _marko_compiler.types.expressionStatement(_marko_compiler.types.callExpression(tagInputIdentifier, [createScopeReadExpression(info.childScopeBinding, info.tagSection), _marko_compiler.types.arrayExpression(renderParams)])));
 		return;
 	}
@@ -6786,10 +6828,17 @@ function getRootSection(section) {
 //#endregion
 //#region src/translator/util/references.ts
 const kBranchSerializeReason = Symbol("branch serialize reason");
+const FORCED = {
+	state: void 0,
+	param: void 0,
+	global: void 0,
+	forced: true
+};
 const globalSources = {
 	state: void 0,
 	param: void 0,
-	global: true
+	global: true,
+	forced: void 0
 };
 const [getBindings] = createProgramState(() => /* @__PURE__ */ new Set());
 const [getNextBindingId, setNextBindingId] = createProgramState(() => 0);
@@ -6809,11 +6858,12 @@ function createBinding(name, type, refSection, upstreamAlias, property, excludeP
 		property,
 		declared,
 		closureSections: void 0,
-		assignmentSections: void 0,
+		assignments: void 0,
 		excludeProperties,
 		noSerialize: false,
 		noSerializeProperties: void 0,
 		sources: void 0,
+		upstreamIntersection: void 0,
 		reads: /* @__PURE__ */ new Set(),
 		aliases: /* @__PURE__ */ new Set(),
 		hoists: void 0,
@@ -6846,8 +6896,18 @@ function createBinding(name, type, refSection, upstreamAlias, property, excludeP
 	return binding;
 }
 function getOrCreatePropertyAlias(binding, property) {
+	while (isDirectAlias(binding)) binding = binding.upstreamAlias;
 	return binding.propertyAliases.get(property) || createBinding(`${binding.name}_${property.replace(/[^a-zA-Z0-9_$]/g, "_")}`, binding.type, binding.section, binding, property);
 }
+function getPropertyAlias(binding, properties) {
+	return reduce(properties, getExistingPropertyAlias, binding);
+}
+function getExistingPropertyAlias(binding, property) {
+	while (binding) {
+		if (!isDirectAlias(binding)) return binding.propertyAliases.get(property);
+		binding = binding.upstreamAlias;
+	}
+}
 function trackDomVarReferences(tag, binding) {
 	const tagVar = tag.node.var;
 	if (!tagVar) return;
@@ -6866,7 +6926,7 @@ function trackDomVarReferences(tag, binding) {
 		} : void 0);
 		if (refSection !== binding.section) {
 			setReadsOwner(refSection, section);
-			addOwnerSerializeReason(refSection, section, true);
+			addOwnerSerializeReason(refSection, section, FORCED);
 		}
 	}
 	return binding;
@@ -6985,10 +7045,12 @@ function trackAssignment(assignment, binding) {
 			const idExtra = id.node.extra ??= {};
 			idExtra.assignment = binding;
 			idExtra.section = section;
-			binding.assignmentSections = sectionUtil.add(binding.assignmentSections, section);
+			idExtra.exprRoot = getExprRoot(fnRoot || assignment).node.extra ??= {};
+			idExtra.fnRoot = fnExtra;
+			getAssignments().push(idExtra);
 			if (fnExtra) {
-				idExtra.assignmentFunction = fnExtra;
-				fnExtra.section = idExtra.section = section;
+				fnExtra.section = section;
+				fnExtra.exprRoot = idExtra.exprRoot;
 			}
 			if (binding.upstreamAlias && binding.property !== void 0) {
 				if (binding.upstreamAlias === binding.section.params) throw assignment.buildCodeFrameError(`\`${binding.name}\` is a tag parameter and cannot be assigned to.`);
@@ -7027,10 +7089,7 @@ function createBindingsAndTrackReferences(lVal, type, scope, section, upstreamAl
 				else if (prop.key.type === "StringLiteral") key = prop.key.value;
 				else throw scope.path.hub.buildError(prop.key, "Only identifier and string literal keys are supported when destructuring.");
 				if (hasRest) excludeProperties = propsUtil.add(excludeProperties, key);
-				if (_marko_compiler.types.isLVal(prop.value)) {
-					createBindingsAndTrackReferences(prop.value, type, scope, section, patternBinding, key, void 0);
-					if (hasRest && prop.value.extra?.binding?.assignmentSections) excludeProperties = propsUtil.add(excludeProperties, `${key}Change`);
-				}
+				if (_marko_compiler.types.isLVal(prop.value)) createBindingsAndTrackReferences(prop.value, type, scope, section, patternBinding, key, void 0);
 			}
 			break;
 		}
@@ -7055,7 +7114,7 @@ function trackReference(referencePath, binding) {
 	let reference = binding;
 	while (true) {
 		const { parent } = root;
-		if (!_marko_compiler.types.isMemberExpression(parent) && !_marko_compiler.types.isOptionalMemberExpression(parent)) break;
+		if (!_marko_compiler.types.isMemberExpression(parent) && !_marko_compiler.types.isOptionalMemberExpression(parent) || isWrittenMember(root.parentPath)) break;
 		let prop = getMemberExpressionPropString(parent);
 		if (prop === void 0) break;
 		if (reference.upstreamAlias && reference.excludeProperties !== void 0) {
@@ -7072,23 +7131,38 @@ function trackReference(referencePath, binding) {
 	}
 	addReadToExpression(root, reference, void 0);
 }
+function isWrittenMember(member) {
+	const { node, parent } = member;
+	switch (parent.type) {
+		case "AssignmentExpression":
+		case "AssignmentPattern":
+		case "ForInStatement":
+		case "ForOfStatement": return parent.left === node;
+		case "UnaryExpression": return parent.operator === "delete";
+		case "UpdateExpression":
+		case "ArrayPattern":
+		case "RestElement": return true;
+		case "ObjectProperty": return parent.value === node && _marko_compiler.types.isObjectPattern(member.parentPath.parent);
+		default: return false;
+	}
+}
 function mergeReferences(section, target, nodes) {
 	const targetExtra = target.extra ??= {};
 	const readsByExpression = getReadsByExpression();
 	const fnReadsByExpression = getFunctionReadsByExpression();
 	let reads = readsByExpression.get(targetExtra);
 	let exprFnReads = fnReadsByExpression.get(targetExtra);
-	let { isEffect, dynamicTagInput } = targetExtra;
+	let { isEffect, forceRegister } = targetExtra;
 	for (const node of nodes) {
 		if (!node) continue;
 		const extra = node.extra ??= {};
 		if (extra === targetExtra) continue;
 		extra.merged = targetExtra;
+		forceRegister ||= extra.forceRegister;
 		if (isReferencedExtra(extra)) {
 			const additionalReads = readsByExpression.get(extra);
 			const additionalExprFnReads = fnReadsByExpression.get(extra);
 			isEffect ||= extra.isEffect;
-			dynamicTagInput ||= extra.dynamicTagInput;
 			if (additionalReads) {
 				forEach(additionalReads, (read) => {
 					read.binding.reads.delete(extra);
@@ -7105,7 +7179,7 @@ function mergeReferences(section, target, nodes) {
 	}
 	readsByExpression.set(targetExtra, reads);
 	targetExtra.isEffect = isEffect;
-	targetExtra.dynamicTagInput = dynamicTagInput;
+	targetExtra.forceRegister = forceRegister;
 	targetExtra.section = section;
 	return targetExtra;
 }
@@ -7131,6 +7205,33 @@ function finalizeReferences() {
 	const readsByExpression = getReadsByExpression();
 	const fnReadsByExpression = getFunctionReadsByExpression();
 	const intersectionsBySection = /* @__PURE__ */ new Map();
+	const assignments = getAssignments();
+	for (const idExtra of assignments) if (inEmittedExpr(idExtra)) {
+		const binding = idExtra.assignment;
+		binding.assignments = push(binding.assignments, idExtra);
+	}
+	for (const binding of bindings) {
+		if (binding.type !== 0) {
+			if (pruneBinding(binding, true)) bindings.delete(binding);
+		}
+		if (binding.noSerialize) if (isPureSpreadResolved(binding)) if (hasAnyMemberAccess(binding)) {
+			binding.noSerialize = false;
+			binding.noSerializeProperties = propsUtil.filter(binding.noSerializeProperties, (property) => !isPropertyMemberAccessed(binding, property));
+		} else binding.noSerializeProperties = void 0;
+		else {
+			binding.noSerialize = false;
+			binding.noSerializeProperties = void 0;
+		}
+	}
+	const excluded = /* @__PURE__ */ new Set();
+	for (const idExtra of assignments) {
+		const binding = idExtra.assignment;
+		if (!inEmittedExpr(idExtra)) binding.assignments = filter(binding.assignments, inEmittedExpr);
+		else if (!excluded.has(binding) && binding.upstreamAlias && binding.property !== void 0) {
+			excluded.add(binding);
+			for (const alias of binding.upstreamAlias.aliases) if (propsUtil.has(alias.excludeProperties, binding.property)) alias.excludeProperties = propsUtil.add(alias.excludeProperties, binding.property + "Change");
+		}
+	}
 	for (const [expr, reads] of readsByExpression) if (isReferencedExtra(expr)) {
 		const exprBindings = resolveReferencedBindings(expr, reads, intersectionsBySection);
 		expr.referencedBindings = exprBindings.referencedBindings;
@@ -7143,13 +7244,13 @@ function finalizeReferences() {
 		if (exprBindings.hoistedBindings) expr.section.referencedHoists = bindingUtil.union(expr.section.referencedHoists, exprBindings.hoistedBindings);
 		if (expr.isEffect) {
 			forEach(exprBindings.referencedBindings, (binding) => {
-				addSerializeReason(binding.section, true, binding);
+				addSerializeReason(binding.section, FORCED, binding);
 			});
 			forEach(exprBindings.constantBindings, (binding) => {
-				addSerializeReason(binding.section, true, binding);
+				addSerializeReason(binding.section, FORCED, binding);
 			});
 			forEach(exprBindings.lazyBindings, (binding) => {
-				addSerializeReason(binding.section, true, binding);
+				addSerializeReason(binding.section, FORCED, binding);
 			});
 		} else forEach(reads, (read) => {
 			if (read.serializedValue) addSerializeExpr(read.binding.section, expr, read.binding);
@@ -7164,23 +7265,6 @@ function finalizeReferences() {
 		}
 	}
 	const bindingNamesBySection = /* @__PURE__ */ new Map();
-	for (const binding of bindings) {
-		if (binding.type !== 0) {
-			if (pruneBinding(binding)) bindings.delete(binding);
-		}
-		if (binding.noSerialize) if (isPureSpreadResolved(binding)) if (hasAnyMemberAccess(binding)) {
-			let kept = void 0;
-			binding.noSerialize = false;
-			forEach(binding.noSerializeProperties, (property) => {
-				if (!isPropertyMemberAccessed(binding, property)) kept = push(kept, property);
-			});
-			binding.noSerializeProperties = kept;
-		} else binding.noSerializeProperties = void 0;
-		else {
-			binding.noSerialize = false;
-			binding.noSerializeProperties = void 0;
-		}
-	}
 	forEachSection(finalizeTagDownstreams);
 	for (const binding of bindings) {
 		const { name, section } = binding;
@@ -7190,9 +7274,9 @@ function finalizeReferences() {
 		}
 		if (binding.type !== 0) {
 			resolveBindingSources(binding);
-			forEach(binding.assignmentSections, (assignedSection) => {
+			forEach(binding.assignments, ({ section: assignedSection }) => {
 				setReadsOwner(assignedSection, section);
-				addOwnerSerializeReason(assignedSection, section, true);
+				addOwnerSerializeReason(assignedSection, section, FORCED);
 			});
 			let bindingNames = bindingNamesBySection.get(section);
 			if (!bindingNames) {
@@ -7206,7 +7290,7 @@ function finalizeReferences() {
 			forEach(binding.hoists, (hoistSection) => {
 				if (!highestHoistSection || hoistSection.depth < highestHoistSection.depth) highestHoistSection = hoistSection;
 				hoistSection.hoistedTo = bindingUtil.add(hoistSection.hoistedTo, binding);
-				addSerializeReason(binding.section, true, binding);
+				addSerializeReason(binding.section, FORCED, binding);
 			});
 			binding.section.hoisted = bindingUtil.add(binding.section.hoisted, binding);
 			let currentSection = binding.section.parent;
@@ -7229,21 +7313,20 @@ function finalizeReferences() {
 						section.referencedClosures = bindingUtil.add(section.referencedClosures, canonicalUpstreamAlias);
 					}
 					setReadsOwner(section, canonicalUpstreamAlias.section);
-					if (isEffect) addOwnerSerializeReason(section, canonicalUpstreamAlias.section, true);
-					addOwnerSerializeReason(section, canonicalUpstreamAlias.section, canonicalUpstreamAlias.sources);
+					addOwnerSerializeReason(section, canonicalUpstreamAlias.section, isEffect ? mergeSources(FORCED, canonicalUpstreamAlias.sources) : canonicalUpstreamAlias.sources);
 				}
 			}
 		}
 	}
 	forEachSection((section) => {
-		if (section.isHoistThrough) addSerializeReason(section, true);
+		if (section.isHoistThrough) addSerializeReason(section, FORCED);
 		forEach(section.referencedHoists, (hoistedBinding) => {
 			setReadsOwner(section, hoistedBinding.section);
-			addOwnerSerializeReason(section, hoistedBinding.section, true);
+			addOwnerSerializeReason(section, hoistedBinding.section, FORCED);
 		});
 		if (section.parent && section.isBranch && section.sectionAccessor && section.upstreamExpression) {
-			if (section.isHoistThrough || section.hoisted) addSerializeReason(section, true, kBranchSerializeReason);
-			addSerializeReason(section, getSerializeSourcesForRef(getDirectClosures(section)), kBranchSerializeReason);
+			const closureSources = getSerializeSourcesForRef(getDirectClosures(section));
+			addSerializeReason(section, section.isHoistThrough || section.hoisted ? mergeSources(FORCED, closureSources) : closureSources, kBranchSerializeReason);
 			addSerializeExpr(section, section.upstreamExpression, kBranchSerializeReason);
 			addSerializeExpr(section.parent, section.upstreamExpression, section.sectionAccessor.binding);
 		}
@@ -7282,8 +7365,7 @@ function finalizeReferences() {
 				else if (upstreamReason) branchesSources = mergeSources(branchesSources, upstreamReason);
 				currentSection = currentSection.parent;
 			}
-			const branchesReason = branchesForced || branchesSources;
-			if (branchesForced) addSerializeReason(sourceSection, branchesSources, closure);
+			const branchesReason = branchesForced ? mergeSources(FORCED, branchesSources) : branchesSources;
 			addSerializeReason(sourceSection, branchesReason, closure);
 			addSerializeReason(sourceSection, getSerializeReason(sourceSection, closure));
 			if (isDynamicClosure(section, closure)) {
@@ -7296,22 +7378,15 @@ function finalizeReferences() {
 		});
 	});
 	finalizeFunctionRegistry();
-	const referencedExprs = /* @__PURE__ */ new Set();
-	for (const binding of bindings) for (const expr of binding.reads) referencedExprs.add(expr);
-	for (const expr of referencedExprs) {
-		const exprFnReads = fnReadsByExpression.get(expr);
-		if (exprFnReads) {
-			for (const fn of exprFnReads.keys()) if (fn.registerReason) {
-				forEach(fn.referencedBindingsInFunction, (binding) => {
-					addSerializeReason(binding.section, fn.registerReason, binding);
-					if (binding.section !== fn.section) addOwnerSerializeReason(fn.section, binding.section, fn.registerReason);
-				});
-				forEach(fn.constantBindingsInFunction, (binding) => {
-					addSerializeReason(binding.section, fn.registerReason, binding);
-					if (binding.section !== fn.section) addOwnerSerializeReason(fn.section, binding.section, fn.registerReason);
-				});
-			}
-		}
+	for (const exprFnReads of fnReadsByExpression.values()) for (const fn of exprFnReads.keys()) if (fn.registerReason) {
+		forEach(fn.referencedBindingsInFunction, (binding) => {
+			addSerializeReason(binding.section, fn.registerReason, binding);
+			if (binding.section !== fn.section) addOwnerSerializeReason(fn.section, binding.section, fn.registerReason);
+		});
+		forEach(fn.constantBindingsInFunction, (binding) => {
+			addSerializeReason(binding.section, fn.registerReason, binding);
+			if (binding.section !== fn.section) addOwnerSerializeReason(fn.section, binding.section, fn.registerReason);
+		});
 	}
 	forEachSection(finalizeParamSerializeReasonGroups);
 	forEachSectionReverse((section) => {
@@ -7323,10 +7398,11 @@ function finalizeReferences() {
 		const { id, bindings } = section;
 		const isOwnedBinding = ({ section }) => section.id === id;
 		const ownedBindings = filter(bindings, isOwnedBinding);
+		const intersectionSources = /* @__PURE__ */ new Map();
 		const intersections = (intersectionsBySection.get(section) || []).filter((intersection) => {
-			const collapseSource = getCollapsibleIntersectionSource(intersection, section);
-			if (collapseSource) collapsedIntersectionSource.set(intersection, collapseSource);
-			return !collapseSource;
+			const source = getIntersectionSource(intersection, section, intersectionSources);
+			if (source) intersectionMeta.set(intersection, { source });
+			return !source;
 		});
 		let anchors;
 		if (intersections.length) {
@@ -7344,31 +7420,29 @@ function finalizeReferences() {
 		let intersectionIndex = 0;
 		let nextId = 0;
 		let intersection;
+		const assignIntersectionId = (intersection) => {
+			intersectionMeta.set(intersection, {
+				source: void 0,
+				id: nextId++,
+				scopeOffset: getMaxOwnSourceOffset(intersection, section)
+			});
+		};
 		forEach(ownedBindings, (binding) => {
 			if (binding.type !== 0) while (intersectionIndex < intersections.length && !anchors.get(intersection = intersections[intersectionIndex])) {
 				intersectionIndex++;
-				intersectionMeta.set(intersection, {
-					id: nextId++,
-					scopeOffset: getMaxOwnSourceOffset(intersection, section)
-				});
+				assignIntersectionId(intersection);
 			}
 			binding.id = nextId++;
 			nextId += binding.reserveSize;
 			while (intersectionIndex < intersections.length && anchors.get(intersection = intersections[intersectionIndex]) === binding) {
 				intersectionIndex++;
-				intersectionMeta.set(intersection, {
-					id: nextId++,
-					scopeOffset: getMaxOwnSourceOffset(intersection, section)
-				});
+				assignIntersectionId(intersection);
 			}
 		});
 		while (intersectionIndex < intersections.length) {
 			intersection = intersections[intersectionIndex];
 			intersectionIndex++;
-			intersectionMeta.set(intersection, {
-				id: nextId++,
-				scopeOffset: getMaxOwnSourceOffset(intersection, section)
-			});
+			assignIntersectionId(intersection);
 		}
 		forEach(ownedBindings, (binding) => {
 			if (binding.closureSections) closureAccessorIds.set(binding, nextId++);
@@ -7402,13 +7476,20 @@ function getMaxOwnSourceOffset(intersection, section) {
 }
 const intersectionMeta = /* @__PURE__ */ new WeakMap();
 const closureAccessorIds = /* @__PURE__ */ new WeakMap();
-const collapsedIntersectionSource = /* @__PURE__ */ new WeakMap();
-function getCollapsibleIntersectionSource(intersection, section) {
+function getIntersectionSource(intersection, section, resolved) {
+	if (!resolved.has(intersection)) {
+		resolved.set(intersection, void 0);
+		resolved.set(intersection, resolveIntersectionSource(intersection, section, resolved));
+	}
+	return resolved.get(intersection);
+}
+function resolveIntersectionSource(intersection, section, resolved) {
 	let sources;
 	for (const member of intersection) {
 		if (!member.sources) return void 0;
-		const isDirectAlias = member.upstreamAlias && member.property === void 0 && member.excludeProperties === void 0;
-		if (member.section !== section || isDirectAlias) return void 0;
+		if (member.section !== section || isDirectAlias(member)) return void 0;
+		const upstream = getUpstreamIntersection(member);
+		if (upstream && upstream !== intersection && !getIntersectionSource(upstream, section, resolved)) return;
 		sources = mergeSources(sources, member.sources);
 	}
 	if (!sources || sources.state && sources.param) return;
@@ -7434,7 +7515,7 @@ function resolveBindingSources(binding) {
 			if (aliasRoot) {
 				resolveBindingSources(aliasRoot);
 				binding.sources = aliasRoot.sources;
-			} else if (binding.assignmentSections) binding.sources = createSources(binding, void 0);
+			} else if (binding.assignments) binding.sources = createSources(binding, void 0);
 			else resolveDerivedSources(binding);
 			return;
 		}
@@ -7466,34 +7547,36 @@ function getAliasRoot(binding) {
 	return alias;
 }
 function resolveDerivedSources(binding) {
-	const bindingValueExprs = getBindingValueExprs();
-	const exprs = bindingValueExprs.get(binding);
-	bindingValueExprs.delete(binding);
+	const exprs = getBindingValueExprs().get(binding);
 	if (exprs === void 0 || exprs === true) binding.sources = createSources(binding, void 0);
 	else if (exprs) {
-		const seen = /* @__PURE__ */ new Set();
+		let refs;
 		forEach(exprs, (expr) => {
-			if (isReferencedExtra(expr)) forEach(expr.referencedBindings, (ref) => {
-				if (!seen.has(ref)) {
-					seen.add(ref);
-					resolveBindingSources(ref);
-					binding.sources = mergeSources(binding.sources, ref.sources);
-				}
-			});
+			if (isReferencedExtra(expr) && !expr.initialValue) refs = bindingUtil.union(refs, expr.referencedBindings);
+		});
+		forEach(refs, (ref) => {
+			resolveBindingSources(ref);
+			binding.sources = mergeSources(binding.sources, ref.sources);
 		});
+		binding.upstreamIntersection = Array.isArray(refs) ? refs : refs && getUpstreamIntersection(refs);
 	}
 }
-function createSources(state, param, global) {
+function getUpstreamIntersection(binding) {
+	return (getAliasRoot(binding) || binding).upstreamIntersection;
+}
+function createSources(state, param, global, forced) {
 	/* v8 ignore next 6 -- every caller passes at least one source */
-	if (!(state || param || global)) throw new Error("Cannot create a serialize reason that does not reference state, a param, or $global.");
+	if (!(state || param || global || forced)) throw new Error("Cannot create a serialize reason that does not reference state, a param, or $global.");
 	return {
 		state,
 		param,
-		global
+		global,
+		forced
 	};
 }
 function compareSources(a, b) {
 	let delta;
+	if (a.forced !== b.forced) return a.forced ? 1 : -1;
 	if (a.global !== b.global) return a.global ? 1 : -1;
 	if (a.param) {
 		if (!b.param) return 1;
@@ -7508,12 +7591,12 @@ function compareSources(a, b) {
 function mergeSources(a, b) {
 	if (!a) return b;
 	if (!b) return a;
-	if (a.state === b.state && a.param === b.param && a.global === b.global) return a;
-	return createSources(bindingUtil.union(a.state, b.state), unionParamSources(a.param, b.param), a.global || b.global);
+	if (a.state === b.state && a.param === b.param && a.global === b.global && a.forced === b.forced) return a;
+	return createSources(bindingUtil.union(a.state, b.state), unionParamSources(a.param, b.param), a.global || b.global, a.forced || b.forced);
 }
 function unionParamSources(a, b) {
 	const merged = bindingUtil.union(a, b);
-	if (merged && Array.isArray(merged)) return filter(merged, (binding) => {
+	if (merged && Array.isArray(merged)) return bindingUtil.filter(merged, (binding) => {
 		let alias = binding.upstreamAlias;
 		while (alias) {
 			if (bindingUtil.has(merged, alias)) return false;
@@ -7529,6 +7612,7 @@ const bindingUtil = new Sorted(function compareBindings(a, b) {
 const propsUtil = new Sorted(function compareProps(a, b) {
 	return a < b ? -1 : a > b ? 1 : 0;
 });
+const [getAssignments] = createProgramState(() => []);
 const [getReadsByExpression] = createProgramState(() => /* @__PURE__ */ new Map());
 const [getFunctionReadsByExpression] = createProgramState(() => /* @__PURE__ */ new Map());
 const [getReferenceFinalizers] = createProgramState(() => []);
@@ -7553,20 +7637,43 @@ function addRead(exprExtra, extra, binding, section, getter) {
 	readsByExpression.set(exprExtra, push(readsByExpression.get(exprExtra), read));
 	return read;
 }
+function isEmitted(exprExtra) {
+	return !getCanonicalExtra(exprExtra).pruned;
+}
+function inEmittedExpr({ exprRoot }) {
+	return isEmitted(exprRoot);
+}
+function isDroppableValue(expr) {
+	return !!expr.pure && !expr.merged && !expr.pruned;
+}
+function dropPureExtra(expr) {
+	if (isDroppableValue(expr) && every(expr.downstream, isPrunedBinding)) dropExtra(expr);
+}
+function isPrunedBinding(binding) {
+	return !!binding.pruned;
+}
 function dropNodes(node) {
 	if (Array.isArray(node)) for (const item of node) dropExtra(item.extra ??= {});
 	else dropExtra(node.extra ??= {});
 }
+function untrackNode(node) {
+	untrackExtra(node.extra ??= {});
+}
 function dropExtra(exprExtra) {
+	exprExtra.pruned = true;
+	untrackExtra(exprExtra);
+}
+function untrackExtra(exprExtra) {
 	/* v8 ignore next 3 -- a merged reference is never dropped */
 	if (exprExtra.merged) throw new Error("Cannot drop a merged reference");
 	const readsByExpr = getReadsByExpression();
 	const reads = readsByExpr.get(exprExtra);
-	exprExtra.pruned = true;
 	if (reads) {
 		readsByExpr.delete(exprExtra);
+		getFunctionReadsByExpression().delete(exprExtra);
 		forEach(reads, (read) => {
 			read.binding.reads.delete(exprExtra);
+			if (!exprExtra.pruned) read.binding.untracked = true;
 		});
 	}
 }
@@ -7583,8 +7690,11 @@ function addReadToExpression(root, binding, getter) {
 	const fnRoot = getFnRoot(root);
 	const exprRoot = getExprRoot(fnRoot || root);
 	const section = getOrCreateSection(exprRoot);
-	const exprExtra = getCanonicalExtra(exprRoot.node.extra ??= { section });
-	const read = addRead(exprExtra, node.extra ??= {}, binding, section, getter);
+	const rootExtra = exprRoot.node.extra ??= { section };
+	const exprExtra = getCanonicalExtra(rootExtra);
+	const extra = node.extra ??= {};
+	extra.exprRoot = rootExtra;
+	const read = addRead(exprExtra, extra, binding, section, getter);
 	if (!fnRoot && isSerializedChangeHandlerRead(exprRoot)) read.serializedValue = true;
 	const { parent } = root;
 	if (parent.type === "BinaryExpression" && (parent.operator === "===" || parent.operator === "!==")) read.comparedTo = parent.left === node ? parent.right : parent.left;
@@ -7600,14 +7710,23 @@ function addReadToExpression(root, binding, getter) {
 		if (!exprFnReads) fnReadsByExpr.set(exprExtra, exprFnReads = /* @__PURE__ */ new Map());
 		const fnExtra = fnRoot.node.extra ??= {};
 		fnExtra.section = section;
+		fnExtra.exprRoot = rootExtra;
 		exprFnReads.set(fnExtra, push(exprFnReads.get(fnExtra), read));
 	}
 }
 function getCanonicalBinding(binding) {
 	const alias = binding.upstreamAlias;
-	if (alias && binding.property === void 0 && binding.excludeProperties === void 0) return alias;
+	if (alias && isDirectAlias(binding)) return alias;
 	return binding;
 }
+function someAlias(binding, test, arg, directOnly) {
+	if (test(binding, arg)) return true;
+	for (const alias of binding.aliases) if ((!directOnly || isDirectAlias(alias)) && someAlias(alias, test, arg, directOnly)) return true;
+	return false;
+}
+function isDirectAlias(binding) {
+	return binding.upstreamAlias !== void 0 && binding.property === void 0 && binding.excludeProperties === void 0;
+}
 function getAllTagReferenceNodes(tag, referenceNodes = []) {
 	if (tag.arguments) for (const arg of tag.arguments) referenceNodes.push(arg);
 	for (const attr of tag.attributes) referenceNodes.push(attr.value);
@@ -7732,20 +7851,22 @@ function getReadReplacement(node, signal) {
 				if (readBinding.getters.has(readBinding.section)) replacement = getBindingGetterIdentifier(readBinding, readBinding.section);
 			} else if (readBinding.name !== node.name) node.name = readBinding.name;
 		} else {
-			const props = read.props ? Array.isArray(read.props) ? read.props.slice() : [read.props] : [];
+			const { props } = read;
+			let remaining = size(props);
 			let curNode = node;
 			let curBinding = readBinding;
 			let replaceMember;
 			if (isOutputDOM()) if (signal?.referencedBindings === readBinding && !signal.hasSideEffect) replacement = getSignalValueIdentifier(signal);
 			else replacement = createScopeReadExpression(readBinding, extra.section);
 			else replacement = _marko_compiler.types.identifier(readBinding.name);
-			while (props.length && (curNode.type === "MemberExpression" || curNode.type === "OptionalMemberExpression")) {
-				const prop = props.pop();
+			while (remaining && (curNode.type === "MemberExpression" || curNode.type === "OptionalMemberExpression")) {
+				const prop = at(props, --remaining);
 				if (getMemberExpressionPropString(curNode) !== prop) break;
 				replaceMember = curNode;
 				curNode = curNode.object;
 			}
-			for (const prop of props) {
+			for (let i = 0; i < remaining; i++) {
+				const prop = at(props, i);
 				if (curBinding) curBinding = curBinding.propertyAliases.get(prop);
 				replacement = toMemberExpression(replacement, prop, !!curBinding?.nullable);
 			}
@@ -7762,45 +7883,62 @@ function getReadReplacement(node, signal) {
 	} else if (binding && node.type == "Identifier" && node.name !== binding.name) node.name = binding.name;
 }
 function isInvokeOnlyBinding(binding) {
-	if (binding.assignmentSections || binding.hoists || binding.getters.size || binding.propertyAliases.size || binding.excludeProperties) return false;
-	for (const expr of binding.reads) if (!expr.invokeOnly) return false;
-	for (const alias of binding.aliases) if (!isInvokeOnlyBinding(alias)) return false;
-	return true;
+	return !someAlias(binding, isReadBeyondInvoking, void 0);
+}
+function isReadBeyondInvoking(binding) {
+	if (binding.assignments || binding.hoists || binding.getters.size || binding.propertyAliases.size || binding.excludeProperties) return true;
+	for (const expr of binding.reads) if (!expr.invokeOnly) return true;
+	return false;
 }
 function hasNonConstantPropertyAlias(ref) {
 	for (const alias of ref.propertyAliases.values()) if (alias.type !== 6) return true;
 	return false;
 }
-function pruneBinding(binding) {
+function pruneBinding(binding, settled) {
 	if (binding.pruned !== void 0) return binding.pruned;
+	if (settled) {
+		binding.pruned = false;
+		for (const read of binding.reads) if (isDroppableValue(read)) forEach(read.downstream, pruneSettledBinding);
+		forEach(binding.assignments, pruneSettledWriter);
+	}
 	for (const read of binding.reads) {
 		let upstream = binding.upstreamAlias;
 		while (upstream && !upstream.reads.has(read)) upstream = upstream.upstreamAlias;
 		if (upstream) binding.reads.delete(read);
 	}
 	let shouldPrune = !binding.reads.size && !binding.reserveSize;
-	for (const alias of binding.aliases) if (pruneBinding(alias)) binding.aliases.delete(alias);
+	for (const alias of binding.aliases) if (pruneBinding(alias, settled)) binding.aliases.delete(alias);
 	else if (alias.type !== 6) shouldPrune = false;
-	for (const [key, alias] of binding.propertyAliases) if (pruneBinding(alias)) binding.propertyAliases.delete(key);
+	for (const [key, alias] of binding.propertyAliases) if (pruneBinding(alias, settled)) binding.propertyAliases.delete(key);
 	else if (alias.type !== 6) shouldPrune = false;
-	binding.pruned = shouldPrune;
+	if (settled) {
+		binding.pruned = shouldPrune;
+		if (shouldPrune && !binding.untracked && !some(binding.assignments, inEmittedExpr)) {
+			const exprs = getBindingValueExprs().get(binding);
+			if (exprs && exprs !== true) forEach(exprs, dropPureExtra);
+		}
+	}
 	return shouldPrune;
 }
+function pruneSettledBinding(binding) {
+	pruneBinding(binding, true);
+}
+function pruneSettledWriter({ exprRoot }) {
+	if (isDroppableValue(exprRoot)) forEach(exprRoot.downstream, pruneSettledBinding);
+}
 function resolveReferencedBindingsInFunction(refs, reads) {
 	let referencedBindings;
 	let constantBindings;
-	if (reads) if (Array.isArray(reads)) for (const read of reads) {
-		const { getter, binding } = read;
+	const closest = /* @__PURE__ */ new Set();
+	forEach(reads, ({ getter, binding }) => {
 		if (getter) {} else if (binding.type === 6) {
 			if (bindingUtil.find(refs, binding)) constantBindings = bindingUtil.add(constantBindings, binding);
-		} else if (binding.type !== 0 && binding.type !== 7) referencedBindings = bindingUtil.add(referencedBindings, findClosestReference(read.binding, refs));
-	}
-	else {
-		const { getter, binding } = reads;
-		if (getter) {} else if (binding.type === 6) {
-			if (bindingUtil.find(refs, binding)) constantBindings = binding;
-		} else if (binding.type !== 0 && binding.type !== 7) referencedBindings = findClosestReference(binding, refs);
-	}
+		} else if (binding.type !== 0 && binding.type !== 7) {
+			const ref = findClosestReference(binding, refs);
+			if (ref) closest.add(ref);
+		}
+	});
+	if (closest.size) referencedBindings = bindingUtil.filter(refs, (ref) => closest.has(ref));
 	return {
 		referencedBindings,
 		constantBindings
@@ -7970,6 +8108,12 @@ function createGetterRead(binding, props, getter) {
 function isReferencedExtra(extra) {
 	return !!(extra && !extra.pruned && extra.section);
 }
+function hasResumableWriter(binding) {
+	return some(binding.assignments, isResumableWriter);
+}
+function isResumableWriter({ exprRoot, fnRoot }) {
+	return !!getCanonicalExtra(exprRoot).isEffect || isRegisteredFnExtra(fnRoot);
+}
 function isAssignedBindingExtra(extra) {
 	return isReferencedExtra(extra) && extra.assignment !== void 0;
 }
@@ -7980,93 +8124,130 @@ function getCanonicalExtra(extra) {
 	while (extra.merged) extra = extra.merged;
 	return extra;
 }
-const serializeReasonCache = /* @__PURE__ */ new WeakMap();
-const registerReasonCache = /* @__PURE__ */ new WeakMap();
-function getAllSerializeReasonsForExtra(extra, register) {
-	if (extra.isEffect || register && extra.dynamicTagInput) return true;
-	const cache = register ? registerReasonCache : serializeReasonCache;
-	let reason = cache.get(extra);
-	if (reason === false) return;
-	if (reason === void 0) {
-		if (extra === (0, _marko_compiler_babel_utils.getProgram)().node.extra?.section.returnValueExpr) reason = true;
-		else {
-			cache.set(extra, false);
-			forEach(extra.downstream, (binding) => {
-				let linked = getAllSerializeReasonsForBinding(binding, true, register);
-				if (linked && linked !== true) {
-					const exprs = extra.downstreamExprs;
-					if (exprs) linked = mapDownstreamReason(binding.section.program, linked, exprs);
-				}
-				reason = mergeSerializeReasons(reason, linked);
-			});
-		}
-		if (reason) cache.set(extra, reason);
-	}
-	return reason;
+const UNSERIALIZED = {
+	reason: void 0,
+	reads: void 0
+};
+const FORCED_SERIALIZATION = {
+	reason: FORCED,
+	reads: void 0
+};
+const extraSerialization = createCyclicMemo(computeExtraSerialization, UNSERIALIZED);
+const bindingSerialization = createCyclicPathMemo(computeBindingSerialization, UNSERIALIZED);
+function getAllSerializeReasonsForBinding(binding, properties) {
+	return serializationForBinding(binding, properties).reason;
+}
+function getRegisterReasonForExtra(extra) {
+	if (extra.forceRegister) return FORCED;
+	const { reason, reads } = serializationForExtra(extra);
+	return some(reads, isForceRegisterRead) ? FORCED : reason;
+}
+function isForceRegisterRead(read) {
+	return !!read.forceRegister;
+}
+function serializationForExtra(extra) {
+	if (extra.isEffect) return FORCED_SERIALIZATION;
+	const serialization = extraSerialization(extra);
+	const reads = isReferencedExtra(extra) ? addUnique(serialization.reads, extra) : serialization.reads;
+	return reads === serialization.reads ? serialization : {
+		reason: serialization.reason,
+		reads
+	};
 }
-function getAllSerializeReasonsForBinding(binding, properties, register) {
-	const cache = register ? registerReasonCache : serializeReasonCache;
-	let reason = cache.get(binding);
-	if (reason === void 0) {
-		reason = getSerializeReason(binding.section, binding);
-		if (reason !== true) {
-			cache.set(binding, reason || false);
-			if (properties !== true && binding.upstreamAlias) reason = mergeSerializeReasons(reason, getAllSerializeReasonsForBinding(binding.upstreamAlias, binding.property, register));
-			if (reason !== true) {
-				for (const expr of binding.reads) {
-					reason = mergeSerializeReasons(reason, getAllSerializeReasonsForExtra(expr, register));
-					if (reason === true) break;
-				}
-				if (reason !== true) for (const alias of binding.aliases) {
-					reason = mergeSerializeReasons(reason, getAllSerializeReasonsForBinding(alias, properties, register));
-					if (reason === true) break;
-				}
-			}
+function serializationForBinding(binding, properties) {
+	return bindingSerialization(binding, properties);
+}
+function computeExtraSerialization(extra) {
+	return readSerialization(extra, void 0);
+}
+function readSerialization(extra, part) {
+	if (extra === (0, _marko_compiler_babel_utils.getProgram)().node.extra?.section.returnValueExpr) return FORCED_SERIALIZATION;
+	let serialization = UNSERIALIZED;
+	forEach(extra.downstream, (binding) => {
+		if (!isPartOf(binding, part)) serialization = mergeSerialization(serialization, downstreamSerialization(extra, binding));
+	});
+	return serialization;
+}
+function downstreamSerialization(extra, binding) {
+	const linked = serializationForBinding(binding, true);
+	const exprs = extra.downstreamExprs;
+	return linked.reason && exprs ? {
+		reason: mapParamReason(binding.section.program, linked.reason, exprs, true),
+		reads: linked.reads
+	} : linked;
+}
+function isPartOf(binding, value) {
+	return !!value && binding.upstreamAlias === value && !isDirectAlias(binding);
+}
+function computeBindingSerialization(binding, properties) {
+	let reason = getSerializeReason(binding.section, binding);
+	let serialization = reason ? {
+		reason,
+		reads: void 0
+	} : UNSERIALIZED;
+	const upstream = binding.upstreamAlias;
+	if (properties !== true && upstream && !upstream.noSerialize && !propsUtil.has(upstream.noSerializeProperties, binding.property)) serialization = mergeSerialization(serialization, serializationForBinding(upstream, properties === void 0 ? binding.property : concat(binding.property, properties)));
+	for (const expr of binding.reads) {
+		if (expr.isEffect) {
+			serialization = mergeSerialization(serialization, FORCED_SERIALIZATION);
+			continue;
 		}
-		if (reason) cache.set(binding, reason);
+		const reads = addUnique(serialization.reads, expr);
+		if (reads !== serialization.reads) serialization = {
+			reason: serialization.reason,
+			reads
+		};
+		serialization = mergeSerialization(serialization, readSerialization(expr, binding));
 	}
-	if (reason === false) reason = void 0;
-	if (properties !== void 0) if (properties === true) {
-		if (reason !== true) for (const propBinding of binding.propertyAliases.values()) {
-			reason = mergeSerializeReasons(reason, getAllSerializeReasonsForBinding(propBinding, true, register));
-			if (reason === true) break;
-		}
-	} else {
-		let property;
-		let rest;
-		if (Array.isArray(properties)) {
-			property = properties[0];
-			rest = properties.length === 2 ? properties[1] : properties.slice(1);
-		} else property = properties;
-		if (includes(binding.excludeProperties, property)) reason = void 0;
-		else {
-			const propBinding = binding.propertyAliases.get(property);
-			if (propBinding) reason = mergeSerializeReasons(reason, getAllSerializeReasonsForBinding(propBinding, rest, register));
-			if (reason !== true) for (const alias of binding.aliases) {
-				const propBinding = alias.propertyAliases.get(property);
-				if (propBinding) {
-					reason = mergeSerializeReasons(reason, getAllSerializeReasonsForBinding(propBinding, rest, register));
-					if (reason === true) break;
-				}
-			}
-		}
+	for (const alias of binding.aliases) serialization = mergeSerialization(serialization, serializationForBinding(alias, properties));
+	if (properties === void 0) return serialization;
+	if (properties === true) {
+		for (const propBinding of binding.propertyAliases.values()) serialization = mergeSerialization(serialization, serializationForBinding(propBinding, true));
+		return serialization;
 	}
-	return reason;
+	const property = first(properties);
+	if (propsUtil.has(binding.excludeProperties, property)) return UNSERIALIZED;
+	const propBinding = binding.propertyAliases.get(property);
+	if (propBinding) serialization = mergeSerialization(serialization, serializationForBinding(propBinding, rest(properties)));
+	for (const alias of binding.aliases) {
+		const propBinding = alias.propertyAliases.get(property);
+		if (propBinding) serialization = mergeSerialization(serialization, serializationForBinding(propBinding, rest(properties)));
+	}
+	return serialization;
+}
+function mergeSerialization(a, b) {
+	if (a === UNSERIALIZED) return b;
+	if (b === UNSERIALIZED) return a;
+	const reason = mergeSources(a.reason, b.reason);
+	let reads = a.reads;
+	forEach(b.reads, (read) => {
+		reads = addUnique(reads, read);
+	});
+	if (reason === a.reason && reads === a.reads) return a;
+	if (reason === b.reason && reads === b.reads) return b;
+	return {
+		reason,
+		reads
+	};
 }
 function isPureSpreadResolved(binding) {
-	for (const read of binding.reads) if (!read.nativeTagSpread || read.nativeTagSpreadMerged) return false;
-	for (const alias of binding.aliases) if (!isPureSpreadResolved(alias)) return false;
-	return true;
+	return !someAlias(binding, hasReadBeyondSpreading, void 0);
 }
-function hasAnyMemberAccess(binding) {
-	if (binding.propertyAliases.size) return true;
-	for (const alias of binding.aliases) if (hasAnyMemberAccess(alias)) return true;
+function hasReadBeyondSpreading(binding) {
+	for (const read of binding.reads) if (!read.nativeTagSpread || read.nativeTagSpreadMerged) return true;
 	return false;
 }
+function hasAnyMemberAccess(binding) {
+	return someAlias(binding, hasPropertyAliases, void 0);
+}
+function hasPropertyAliases(binding) {
+	return binding.propertyAliases.size > 0;
+}
 function isPropertyMemberAccessed(binding, property) {
-	if (binding.propertyAliases.has(property)) return true;
-	for (const alias of binding.aliases) if (isPropertyMemberAccessed(alias, property)) return true;
-	return false;
+	return someAlias(binding, hasPropertyAlias, property);
+}
+function hasPropertyAlias(binding, property) {
+	return binding.propertyAliases.has(property);
 }
 function addNumericPropertiesUntil(props, len) {
 	let result = props;
@@ -8074,11 +8255,7 @@ function addNumericPropertiesUntil(props, len) {
 	return result;
 }
 function setReadsOwner(from, to) {
-	let cur = from;
-	while (cur !== to && cur.parent) {
-		cur.readsOwner = true;
-		cur = cur.parent;
-	}
+	for (const section of ancestorSections(from, to)) section.readsOwner = true;
 }
 function mapParamReasonToExpr(exprs, reason) {
 	if (reason) {
@@ -8109,7 +8286,7 @@ function mapParamBindingToExpr(exprs, binding) {
 	if (isWholeAlias) {
 		let result = curExpr.value;
 		if (curExpr.known) {
-			for (const key in curExpr.known) if (!includes(binding.excludeProperties, key)) result = concat(result, curExpr.known[key].value);
+			for (const key in curExpr.known) if (!propsUtil.has(binding.excludeProperties, key)) result = concat(result, curExpr.known[key].value);
 		}
 		return result;
 	}
@@ -8117,7 +8294,6 @@ function mapParamBindingToExpr(exprs, binding) {
 }
 //#endregion
 //#region src/translator/core/await.ts
-const kDOMBinding$2 = Symbol("await tag dom binding");
 var await_default = {
 	analyze(tag) {
 		(0, _marko_compiler_babel_utils.assertNoVar)(tag);
@@ -8129,7 +8305,7 @@ var await_default = {
 		const section = getOrCreateSection(tag);
 		const [valueAttr] = node.attributes;
 		const tagExtra = tag.node.extra ??= {};
-		tagExtra[kDOMBinding$2] = createBinding("#text", 0, section);
+		tagExtra.nodeBinding = createBinding("#text", 0, section);
 		if (!valueAttr) throw tag.get("name").buildCodeFrameError("The [`<await>` tag](https://markojs.com/docs/reference/core-tag#await) requires a [`value=` attribute](https://markojs.com/docs/reference/language#shorthand-value).");
 		if (node.attributes.length > 1 || !_marko_compiler.types.isMarkoAttribute(valueAttr) || valueAttr.name !== "value") throw tag.get("name").buildCodeFrameError("The [`<await>` tag](https://markojs.com/docs/reference/core-tag#await) only supports the [`value=` attribute](https://markojs.com/docs/reference/language#shorthand-value).");
 		if (!node.body.body.length) throw tag.get("name").buildCodeFrameError("The [`<await>` tag](https://markojs.com/docs/reference/core-tag#await) requires [content](https://markojs.com/docs/reference/language#tag-content).");
@@ -8157,7 +8333,7 @@ var await_default = {
 			exit(tag) {
 				const { node } = tag;
 				const [valueAttr] = node.attributes;
-				const nodeRef = node.extra[kDOMBinding$2];
+				const nodeRef = node.extra.nodeBinding;
 				const tagBody = tag.get("body");
 				const section = getSection(tag);
 				const bodySection = getSectionForBody(tagBody);
@@ -8177,7 +8353,7 @@ var await_default = {
 			},
 			exit(tag) {
 				const { node } = tag;
-				const nodeRef = node.extra[kDOMBinding$2];
+				const nodeRef = node.extra.nodeBinding;
 				const section = getSection(tag);
 				const bodySection = getSectionForBody(tag.get("body"));
 				const signal = getSignal(section, nodeRef, "await_promise");
@@ -8260,7 +8436,7 @@ var const_default = {
 		if (node.attributes.length > 1 || !_marko_compiler.types.isMarkoAttribute(valueAttr) || !valueAttr.default && valueAttr.name !== "value") throw tag.get("name").buildCodeFrameError("The [`<const>` tag](https://markojs.com/docs/reference/core-tag#const) only supports the [`value=` attribute](https://markojs.com/docs/reference/language#shorthand-value).");
 		const valueExtra = evaluate(valueAttr.value);
 		const upstreamAlias = _marko_compiler.types.isIdentifier(valueAttr.value) ? tag.scope.getBinding(valueAttr.value.name)?.identifier.extra?.binding : void 0;
-		if (upstreamAlias) dropNodes(valueAttr.value);
+		if (upstreamAlias) untrackNode(valueAttr.value);
 		const binding = trackVarReferences(tag, 5, upstreamAlias);
 		if (binding) {
 			assertNoTagVarMutation(tag);
@@ -8275,14 +8451,14 @@ var const_default = {
 		const { node } = tag;
 		const [valueAttr] = node.attributes;
 		const { value } = valueAttr;
+		const varBinding = node.var.extra?.binding;
 		if (isOutputDOM()) {
 			const section = getSection(tag);
-			const varBinding = node.var.extra?.binding;
-			if (varBinding && !varBinding.upstreamAlias) {
+			if (varBinding && !varBinding.upstreamAlias && !value.extra?.pruned) {
 				const derivation = initValue(varBinding);
 				addValue(section, value.extra?.referencedBindings, derivation, value);
 			}
-		} else translateVar(tag, value);
+		} else if (!varBinding?.pruned || !value.extra?.pruned) translateVar(tag, value);
 		tag.remove();
 	} },
 	parseOptions: { openTagOnly: true },
@@ -8489,7 +8665,7 @@ var html_comment_default = {
 			const tagExtra = mergeReferences(tagSection, tag.node, referenceNodes);
 			nodeBinding = tagExtra[kNodeBinding$1] = createBinding("#comment", 0, tagSection, void 0, void 0, void 0, void 0, !!tagVar);
 			trackDomVarReferences(tag, nodeBinding);
-			if (tagVar) addSerializeExpr(tagSection, true, nodeBinding);
+			if (tagVar) addSerializeReason(tagSection, FORCED, nodeBinding);
 			addSerializeExpr(tagSection, tagExtra, nodeBinding);
 		}
 		const write = writeTo(tag);
@@ -8672,14 +8848,24 @@ var let_default = {
 		const tagSection = getOrCreateSection(tag);
 		const binding = trackVarReferences(tag, 1);
 		const tagExtra = mergeReferences(tagSection, tag.node, [valueAttr?.value, valueChangeAttr?.value]);
+		setBindingDownstream(binding, tagExtra);
 		if (valueChangeAttr) {
 			binding.reserveSize = 1;
-			setBindingDownstream(binding, tagExtra);
-			if (binding.assignmentSections) addSerializeReason(tagSection, true, binding, getAccessorPrefix().TagVariableChange);
-		} else setBindingDownstream(binding, false);
+			tagExtra.forceRegister = true;
+			onFinalizeReferences(() => {
+				if (binding.assignments) addSerializeReason(tagSection, FORCED, binding, getAccessorPrefix().TagVariableChange);
+			});
+		} else {
+			tagExtra.initialValue = true;
+			tagExtra.pure = !valueAttr || evaluate(valueAttr.value).pure;
+		}
 	},
 	translate: { exit(tag) {
 		const { node } = tag;
+		if (node.extra?.pruned) {
+			tag.remove();
+			return;
+		}
 		const tagVar = node.var;
 		const valueAttr = node.attributes.find((attr) => _marko_compiler.types.isMarkoAttribute(attr) && (attr.default || attr.name === "value")) ?? _marko_compiler.types.markoAttribute("value", _marko_compiler.types.identifier("undefined"));
 		const valueChangeAttr = node.attributes.find((attr) => _marko_compiler.types.isMarkoAttribute(attr) && attr.name === "valueChange");
@@ -9170,6 +9356,7 @@ var style_default = {
 			analyzeDynamicStyle(tag, names);
 			addSetupStatement(getOrCreateSection(tag));
 			visit(tag, 32);
+			enterShallow(tag);
 			writeTo(tag)`<style></style>`;
 		}
 	},
@@ -9339,7 +9526,6 @@ function getStyleImportPath(file, node, names) {
 }
 //#endregion
 //#region src/translator/core/try.ts
-const kDOMBinding$1 = Symbol("try tag dom binding");
 var try_default = {
 	analyze(tag) {
 		(0, _marko_compiler_babel_utils.assertNoVar)(tag);
@@ -9355,7 +9541,7 @@ var try_default = {
 		}
 		const section = getOrCreateSection(tag);
 		const tagExtra = mergeReferences(section, tag.node, getAllTagReferenceNodes(tag.node));
-		tagExtra[kDOMBinding$1] = createBinding("#text", 0, section);
+		tagExtra.nodeBinding = createBinding("#text", 0, section);
 		if (!tag.node.body.body.length) throw tag.get("name").buildCodeFrameError("The [`<try>` tag](https://markojs.com/docs/reference/core-tag#try) requires [body content](https://markojs.com/docs/reference/language#tag-content).");
 		const bodySection = startSection(tag.get("body"));
 		if (bodySection) {
@@ -9382,7 +9568,7 @@ var try_default = {
 				const tagExtra = node.extra;
 				const tagBody = tag.get("body");
 				const translatedAttrs = translateAttrs(tag);
-				const nodeRef = tagExtra[kDOMBinding$1];
+				const nodeRef = tagExtra.nodeBinding;
 				const contentProp = getTranslatedBodyContentProperty(translatedAttrs.properties);
 				if (contentProp) translatedAttrs.properties.splice(translatedAttrs.properties.indexOf(contentProp), 1);
 				flushInto(tag);
@@ -9400,7 +9586,7 @@ var try_default = {
 			exit(tag) {
 				const { node } = tag;
 				const tagExtra = node.extra;
-				const nodeRef = tagExtra[kDOMBinding$1];
+				const nodeRef = tagExtra.nodeBinding;
 				const referencedBindings = tagExtra.referencedBindings;
 				const translatedAttrs = translateAttrs(tag);
 				const contentProp = getTranslatedBodyContentProperty(translatedAttrs.properties);
@@ -9849,8 +10035,8 @@ var referenced_identifier_default = {
 			const section = getOrCreateSection(identifier);
 			section.hasAbortSignal = true;
 			setReferencesScope(identifier);
-			const exprRoot = getExprRoot(identifier);
-			const rootExtra = exprRoot.node.extra ??= { section };
+			const rootExtra = getExprRoot(identifier).node.extra ??= { section };
+			(identifier.node.extra ??= {}).exprRoot = rootExtra;
 			if (rootExtra.abortId === void 0) rootExtra.abortId = section.abortSignalExprs++;
 		}
 	},
@@ -9869,12 +10055,12 @@ var referenced_identifier_default = {
 			case "$signal": if (isOutputHTML()) identifier.replaceWith(_marko_compiler.types.callExpression(_marko_compiler.types.arrowFunctionExpression([], _marko_compiler.types.blockStatement([_marko_compiler.types.throwStatement(_marko_compiler.types.newExpression(_marko_compiler.types.identifier("Error"), [_marko_compiler.types.stringLiteral("Cannot use $signal in a server render.")]))])), []));
 			else {
 				const section = getSection(identifier);
-				const exprRoot = getExprRoot(identifier);
-				const exprId = exprRoot.node.extra.abortId;
+				const exprRoot = identifier.node.extra.exprRoot;
+				const exprId = exprRoot.abortId;
 				const resetEmitted = getAbortResetEmitted(section);
 				if (!resetEmitted.has(exprRoot)) {
 					resetEmitted.add(exprRoot);
-					addStatement("render", section, exprRoot.node.extra?.referencedBindings, _marko_compiler.types.expressionStatement(_marko_compiler.types.callExpression(importRuntime("$signalReset"), [scopeIdentifier, _marko_compiler.types.numericLiteral(exprId)])));
+					addStatement("render", section, exprRoot.referencedBindings, _marko_compiler.types.expressionStatement(_marko_compiler.types.callExpression(importRuntime("$signalReset"), [scopeIdentifier, _marko_compiler.types.numericLiteral(exprId)])));
 				}
 				identifier.replaceWith(_marko_compiler.types.callExpression(importRuntime("$signal"), [scopeIdentifier, _marko_compiler.types.numericLiteral(exprId)]));
 			}
@@ -9960,6 +10146,7 @@ var custom_tag_default = {
 		const programSection = programExtra.section;
 		const childExtra = childFile.ast.program.extra;
 		const childSection = childExtra.section;
+		if (childSection === programSection && getOrCreateSection(tag) === programSection) throw tag.get("name").buildCodeFrameError(`A template that renders itself outside a branch never terminates. Render \`<${getStaticTagName(tag.node)}>\` inside a branch that eventually stops, such as \`<if>\`.`);
 		if (childExtra.page) programExtra.page ??= true;
 		if (tagExtra.tagNameLoad) tagExtra[kLoadTagBinding] = createBinding("#text", 0, getOrCreateSection(tag));
 		if (tagExtra.tagNameLoad || !childExtra.domExports?.setupEmpty) addSetupStatement(getOrCreateSection(tag));
@@ -10082,10 +10269,7 @@ function tagNotFoundError(tag) {
 	const proseText = tagName && getProseText(tag);
 	if (knownWrongTagHint) didYouMean = ` ${knownWrongTagHint}`;
 	else if (proseText) didYouMean = ` If this line is meant to be text, prefix it with \`--\` (e.g. \`-- ${proseText}\`) or wrap it in an element such as \`<p>${proseText}</p>\`.`;
-	else if (tagName) {
-		const closestTag = (0, fastest_levenshtein.closest)(tagName, Object.keys((0, _marko_compiler_babel_utils.getTaglibLookup)((0, _marko_compiler_babel_utils.getFile)()).merged.tags));
-		if ((0, fastest_levenshtein.distance)(tagName, closestTag) < 4) didYouMean = ` Did you mean \`<${closestTag}>\`?`;
-	}
+	else if (tagName) didYouMean = getSimilarTagHint(tagName);
 	return tag.get("name").buildCodeFrameError(`Unable to find entry point for [custom tag](https://markojs.com/docs/reference/custom-tag#relative-custom-tags) \`<${tagName ?? getStaticTagName(tag.node)}>\`.${didYouMean}`);
 }
 const wordReg = /^[A-Za-z]+$/;
@@ -10109,6 +10293,25 @@ function collectProseWords(node, tagName) {
 	}
 	return text;
 }
+function getSimilarTagHint(tagName) {
+	const lookup = (0, _marko_compiler_babel_utils.getTaglibLookup)((0, _marko_compiler_babel_utils.getFile)());
+	if (lookup.getTag(tagName)) return "";
+	const lowerTagName = tagName.toLowerCase();
+	let closestTag;
+	let closestDistance = 4;
+	for (const name in lookup.merged.tags) {
+		const lengthDelta = Math.abs(name.length - tagName.length);
+		if (lengthDelta < closestDistance) {
+			if (!lengthDelta && name.toLowerCase() === lowerTagName) return ` Tag names are case-sensitive: did you mean \`<${name}>\`?`;
+			const nameDistance = (0, fastest_levenshtein.distance)(tagName, name);
+			if (nameDistance < closestDistance) {
+				closestTag = name;
+				closestDistance = nameDistance;
+			}
+		}
+	}
+	return closestTag ? ` Did you mean \`<${closestTag}>\`?` : "";
+}
 function buildLoadSetupVirtualModule(file, childFileName, childExports) {
 	const parts = `${childExports.template}, ${childExports.walks}, ${childExports.setup}`;
 	return getMarkoOpts().resolveVirtualDependency(file.opts.filename, {
@@ -10140,10 +10343,8 @@ function optionalValueToNode(value) {
 }
 //#endregion
 //#region src/translator/visitors/tag/dynamic-tag.ts
-const kDOMBinding = Symbol("dynamic tag dom binding");
 const kChildOffsetScopeBinding = Symbol("custom tag scope offset");
-const importedDynamicTagResume = /* @__PURE__ */ new WeakSet();
-const importedDynamicTagVarResume = /* @__PURE__ */ new WeakSet();
+const [getAddedRuntime] = createProgramState(() => /* @__PURE__ */ new Set());
 const [getCompatRegistrations] = createProgramState(() => /* @__PURE__ */ new Set());
 const [getCompatBoundaryCalls] = createProgramState(() => /* @__PURE__ */ new Map());
 function pushCompatRegistration(key, statement) {
@@ -10172,18 +10373,23 @@ var dynamic_tag_default = {
 		const tagSection = getOrCreateSection(tag);
 		const inputNodes = getAllTagReferenceNodes(node);
 		const tagExtra = mergeReferences(tagSection, node, [node.name, ...inputNodes]);
-		if (inputNodes.length) tagExtra.dynamicTagInput = true;
+		if (inputNodes.length) tagExtra.forceRegister = true;
 		const tagBody = tag.get("body");
 		const hasVar = !!tag.node.var;
-		const nodeBinding = tagExtra[kDOMBinding] = createBinding("#text", 0, tagSection);
-		if (hasVar || tag.node.attributes.some((attr) => _marko_compiler.types.isMarkoSpreadAttribute(attr) || isEventOrChangeHandler(attr.name))) (0, _marko_compiler_babel_utils.getProgram)().node.extra.isInteractive = true;
+		const usesVar = hasVar && isTagVarUsed(tag);
+		const nodeBinding = tagExtra.nodeBinding = createBinding("#text", 0, tagSection);
+		if (usesVar || tag.node.attributes.some((attr) => _marko_compiler.types.isMarkoSpreadAttribute(attr) || isEventOrChangeHandler(attr.name))) (0, _marko_compiler_babel_utils.getProgram)().node.extra.isInteractive = true;
 		if (hasVar) {
 			trackVarReferences(tag, 5);
 			tag.node.var.extra.binding.scopeOffset = tagExtra[kChildOffsetScopeBinding] = createBinding("#scopeOffset", 0, tagSection);
 		}
 		const bodySection = startSection(tagBody);
+		if (bodySection) {
+			bodySection.upstreamExpression = tagExtra;
+			if (analyzeTagNameType(tag, true) === 1 && !node.arguments) setTagDownstream(tag, getDynamicTagInputBindings(tagExtra), { value: tagExtra });
+		}
 		trackParamsReferences(tagBody, 3);
-		if (hasVar) addSerializeExpr(tagSection, true, nodeBinding);
+		if (usesVar) addSerializeReason(tagSection, FORCED, nodeBinding);
 		addSerializeExpr(tagSection, tagExtra, nodeBinding);
 		if (!hasVar && !node.arguments && !node.attributes.length && !node.body.body.length) tagExtra[kDirectContent] = true;
 		if (tagExtra.featureType !== "class" || (0, _marko_compiler_babel_utils.getTagTemplate)(tag)) {
@@ -10218,7 +10424,7 @@ var dynamic_tag_default = {
 				return;
 			}
 			const tagExtra = node.extra;
-			const nodeBinding = tagExtra[kDOMBinding];
+			const nodeBinding = tagExtra.nodeBinding;
 			const isClassAPI = tagExtra.featureType === "class";
 			const tagsSerializeReason = getSerializeReason(tagSection, nodeBinding);
 			const serializeReason = tagsSerializeReason;
@@ -10242,7 +10448,7 @@ var dynamic_tag_default = {
 						...preserveBoundary ? [_marko_compiler.types.stringLiteral("preserve")] : []
 					]) : void 0;
 					if (isOutputHTML() ? serializeReason || classHydration : serializeReason) {
-						if (pushCompatRegistration(classId, registration ? _marko_compiler.types.markoScriptlet([_marko_compiler.types.expressionStatement(registration)], true) : _marko_compiler.types.expressionStatement(callRuntime("_resume", _marko_compiler.types.stringLiteral(classId), _marko_compiler.types.identifier(tagExpression.name)))) && registration) getCompatBoundaryCalls().set(classId, registration);
+						if (pushCompatRegistration(classId, registration ? _marko_compiler.types.markoScriptlet([_marko_compiler.types.expressionStatement(registration)], true) : _marko_compiler.types.expressionStatement(registerRuntimeValue(classId, _marko_compiler.types.identifier(tagExpression.name)))) && registration) getCompatBoundaryCalls().set(classId, registration);
 					}
 					if (!preserveBoundary) {
 						const emitted = getCompatBoundaryCalls().get(classId);
@@ -10270,12 +10476,13 @@ var dynamic_tag_default = {
 				writeHTMLResumeStatements(tag.get("body"));
 				const serializeArg = getSerializeGuard(tagSection, serializeReason, true);
 				const dynamicTagExpr = hasTagArgs ? callRuntime("_dynamic_tag", getScopeIdIdentifier(tagSection), getScopeAccessorLiteral(nodeBinding), tagExpression, _marko_compiler.types.arrayExpression(args), contentProp ? contentProp.value : _marko_compiler.types.numericLiteral(0), _marko_compiler.types.numericLiteral(1), serializeArg) : callRuntime("_dynamic_tag", getScopeIdIdentifier(tagSection), getScopeAccessorLiteral(nodeBinding), tagExpression, args[0], args[1] || (serializeArg ? _marko_compiler.types.numericLiteral(0) : void 0), serializeArg ? _marko_compiler.types.numericLiteral(0) : void 0, serializeArg);
-				if (node.var) {
+				if (node.var && isTagVarResumed(tag)) {
 					const dynamicScopeIdentifier = generateUidIdentifier(tag.get("name").toString() + "_scope");
-					const mutatesTagVar = !!(tag.node.var.type === "Identifier" && tag.scope.getBinding(tag.node.var.name)?.constantViolations.length);
+					const mutatesTagVar = isTagVarAssigned(tag);
 					statements.push(_marko_compiler.types.variableDeclaration("const", [_marko_compiler.types.variableDeclarator(dynamicScopeIdentifier, callRuntime("_peek_scope_id"))]));
 					statements.push(_marko_compiler.types.variableDeclaration("let", [_marko_compiler.types.variableDeclarator(node.var, dynamicTagExpr)]), _marko_compiler.types.expressionStatement(callRuntime("_var", getScopeIdIdentifier(tagSection), getScopeAccessorLiteral(tag.node.extra[kChildOffsetScopeBinding]), dynamicScopeIdentifier, _marko_compiler.types.stringLiteral(getResumeRegisterId(tagSection, node.var.extra?.binding, "var")), mutatesTagVar ? getScopeAccessorLiteral(nodeBinding) : void 0)));
-				} else statements.push(_marko_compiler.types.expressionStatement(dynamicTagExpr));
+				} else if (node.var) statements.push(_marko_compiler.types.variableDeclaration("let", [_marko_compiler.types.variableDeclarator(node.var, dynamicTagExpr)]));
+				else statements.push(_marko_compiler.types.expressionStatement(dynamicTagExpr));
 				for (const replacement of tag.replaceWithMultiple(statements)) replacement.skip();
 			} else {
 				const section = getSection(tag);
@@ -10285,7 +10492,8 @@ var dynamic_tag_default = {
 				if (tag.node.var) {
 					const varBinding = tag.node.var.extra.binding;
 					tagVarSignal = initValue(varBinding);
-					tagVarSignal.register = tagVarSignal.referenced = true;
+					tagVarSignal.register = isTagVarResumed(tag);
+					tagVarSignal.referenced = true;
 					tagVarSignal.buildAssignment = (valueSection, value) => {
 						const changeArgs = [_marko_compiler.types.memberExpression(getScopeExpression(tagVarSignal.section, valueSection), _marko_compiler.types.stringLiteral(getAccessorPrefix().BranchScopes + getScopeAccessor(nodeBinding)), true), value];
 						if (!isOptimize()) changeArgs.push(_marko_compiler.types.stringLiteral(varBinding.name));
@@ -10303,7 +10511,7 @@ var dynamic_tag_default = {
 				}
 				if (!isClassAPI) {
 					enableDynamicTagResume(tag);
-					enableDynamicTagVarResume(tag);
+					enableDynamicTagVar(tag);
 					enableDynamicTagControllables(tag);
 				}
 				addValue(section, tagExtra.referencedBindings, signal, tagExpression);
@@ -10321,22 +10529,46 @@ function enableDynamicTagControllables(tag) {
 		return;
 	}
 }
-function enableDynamicTagVarResume(tag) {
-	const program = (0, _marko_compiler_babel_utils.getProgram)().node;
-	if (tag.node.var && !importedDynamicTagVarResume.has(program) && analyzeTagNameType(tag, true) !== 1) {
-		importedDynamicTagVarResume.add(program);
-		importRuntimeFeature("dynamic-tag-var");
+function enableDynamicTagVar(tag) {
+	if (!tag.node.var || !isTagVarResumed(tag) || analyzeTagNameType(tag, true) === 1) return;
+	importRuntimeFeature("dynamic-tag-var");
+	if (!tag.node.var.extra.binding.pruned) {
+		const accessor = getScopeAccessorLiteral(tag.node.extra.nodeBinding, true);
+		if (addRuntimeOnce(`_resume_dynamic_tag_var ${accessor.value}`)) (0, _marko_compiler_babel_utils.getProgram)().node.body.push(_marko_compiler.types.expressionStatement(callRuntime("_resume_dynamic_tag_var", accessor)));
 	}
 }
 function enableDynamicTagResume(tag) {
-	const program = (0, _marko_compiler_babel_utils.getProgram)().node;
-	if (!importedDynamicTagResume.has(program) && analyzeTagNameType(tag, true) !== 1) {
-		for (const attr of tag.node.attributes) if (attr.type === "MarkoSpreadAttribute" || attr.type === "MarkoAttribute" && isEventOrChangeHandler(attr.name)) {
-			importedDynamicTagResume.add(program);
-			program.body.push(_marko_compiler.types.expressionStatement(callRuntime("_resume_dynamic_tag")));
-			return;
-		}
+	if (analyzeTagNameType(tag, true) === 1) return;
+	for (const attr of tag.node.attributes) if (attr.type === "MarkoSpreadAttribute" || attr.type === "MarkoAttribute" && isEventOrChangeHandler(attr.name)) {
+		importRuntimeFeature("dynamic-tag-script");
+		return;
+	}
+}
+function addRuntimeOnce(key) {
+	const added = getAddedRuntime();
+	return !added.has(key) && !!added.add(key);
+}
+function getDynamicTagInputBindings(tagExtra) {
+	let inputBindings;
+	for (const childExtra of tagExtra.tagNameTemplates || []) {
+		if (childExtra.featureType === "class") return;
+		const inputBinding = childExtra.domExports?.params?.props?.[0]?.binding;
+		if (inputBinding) inputBindings = bindingUtil.add(inputBindings, inputBinding);
 	}
+	return inputBindings;
+}
+function isTagVarUsed(tag) {
+	for (const name in _marko_compiler.types.getBindingIdentifiers(tag.node.var)) {
+		const binding = tag.scope.getBinding(name);
+		if (binding?.referencePaths.length || binding?.constantViolations.length) return true;
+	}
+	return false;
+}
+function isTagVarResumed(tag) {
+	return !tag.node.var.extra.binding.pruned || isTagVarAssigned(tag);
+}
+function isTagVarAssigned(tag) {
+	return !!(tag.node.var.type === "Identifier" && tag.scope.getBinding(tag.node.var.name)?.constantViolations.length);
 }
 //#endregion
 //#region src/translator/visitors/tag/index.ts
@@ -10818,7 +11050,9 @@ const taglibs = [[core_default.taglibId, {
 	migrate: visitors.migrate
 }]];
 function getRuntimeEntryFiles(output, optimize) {
-	return [`${runtime_info_default.name}${optimize ? "" : "/debug"}/${output === "html" ? "html" : "dom"}`];
+	const runtime = `${runtime_info_default.name}${optimize ? "" : "/debug"}`;
+	if (output === "html") return [`${runtime}/html`];
+	return [`${runtime}/dom`, ...domRuntimeFeatures.map((feature) => `${runtime}/dom/${feature}.feat`)];
 }
 //#endregion
 exports.analyze = analyze;