vinext 0.0.49 → 0.0.51

package/dist/server/navigation-planner.js

@@ -0,0 +1,432 @@
+import { normalizePathnameForRouteMatch } from "../routing/utils.js";
+import { matchRoutePattern, matchRoutePatternPrefix } from "../routing/route-pattern.js";
+import { compareAppElementsSlotIds } from "./app-elements-wire.js";
+import "./app-elements.js";
+import { NavigationTraceReasonCodes, createNavigationLifecycleTraceFields, createNavigationTrace } from "./navigation-trace.js";
+//#region src/server/navigation-planner.ts
+const ROUTE_INTERCEPTION_CONTEXT_SEPARATOR = "\0";
+function createRequestWorkDecision(options) {
+	const traverseFields = options.work.kind === "traverseFlight" ? { traverseDirection: options.work.direction } : {};
+	return {
+		kind: "requestWork",
+		token: options.state.nextOperationToken,
+		work: options.work,
+		trace: createNavigationTrace(NavigationTraceReasonCodes.requestWork, {
+			eventKind: options.eventKind,
+			targetHref: getRequestedWorkTargetHref(options.work),
+			...traverseFields
+		})
+	};
+}
+function getRequestedWorkTargetHref(work) {
+	switch (work.kind) {
+		case "flight":
+		case "prefetch": return work.href;
+		case "traverseFlight": return null;
+		default: throw new Error("[vinext] Unknown requested navigation work: " + String(work));
+	}
+}
+function createSnapshotRouteTopology(snapshot) {
+	return {
+		layoutIds: snapshot.layoutIds,
+		rootBoundaryId: snapshot.rootBoundaryId,
+		rootLayoutTreePath: snapshot.rootBoundaryId,
+		slotBindings: snapshot.slotBindings
+	};
+}
+function stripInterceptionContextFromRouteId(routeId) {
+	const separatorIndex = routeId.indexOf(ROUTE_INTERCEPTION_CONTEXT_SEPARATOR);
+	return separatorIndex === -1 ? routeId : routeId.slice(0, separatorIndex);
+}
+function getMatchedUrlPathname(matchedUrl) {
+	try {
+		return new URL(matchedUrl, "https://vinext.local").pathname;
+	} catch {
+		const [withoutHash = ""] = matchedUrl.split("#");
+		const [pathname = ""] = withoutHash.split("?");
+		return pathname === "" ? "/" : pathname;
+	}
+}
+function splitMatchedUrlIntoRouteParts(matchedUrl) {
+	return normalizePathnameForRouteMatch(getMatchedUrlPathname(matchedUrl)).split("/").filter((part) => part.length > 0);
+}
+function findRouteManifestRouteByMatchedUrl(routeManifest, matchedUrl) {
+	const urlParts = splitMatchedUrlIntoRouteParts(matchedUrl);
+	for (const route of routeManifest.segmentGraph.routes.values()) if (matchRoutePattern(urlParts, route.patternParts) !== null) return route;
+	return null;
+}
+function routeManifestRouteMatchesUrl(route, matchedUrl) {
+	return matchRoutePattern(splitMatchedUrlIntoRouteParts(matchedUrl), route.patternParts) !== null;
+}
+function findRouteManifestRouteByIdOrMatchedUrl(options) {
+	const routeId = stripInterceptionContextFromRouteId(options.routeId);
+	const route = options.routeManifest.segmentGraph.routes.get(routeId);
+	if (route && routeManifestRouteMatchesUrl(route, options.matchedUrl)) return route;
+	return findRouteManifestRouteByMatchedUrl(options.routeManifest, options.matchedUrl);
+}
+function findRouteManifestRouteForSnapshot(routeManifest, snapshot) {
+	if (snapshot.interception !== null) return findRouteManifestRouteByIdOrMatchedUrl({
+		matchedUrl: snapshot.interception.sourceMatchedUrl,
+		routeId: snapshot.interception.sourceRouteId,
+		routeManifest
+	});
+	return findRouteManifestRouteByIdOrMatchedUrl({
+		matchedUrl: snapshot.matchedUrl,
+		routeId: snapshot.routeId,
+		routeManifest
+	});
+}
+function resolveRouteManifestSlotBindings(routeManifest, route) {
+	const bindings = [];
+	for (const slotId of route.slotIds) {
+		const binding = routeManifest.segmentGraph.slotBindings.get(`${route.id}::${slotId}`);
+		if (!binding) continue;
+		bindings.push({
+			ownerLayoutId: binding.ownerLayoutId,
+			slotId: binding.slotId,
+			state: binding.state
+		});
+	}
+	return bindings.sort((left, right) => compareAppElementsSlotIds(left.slotId, right.slotId));
+}
+function resolveRouteManifestRootLayoutTreePath(routeManifest, route) {
+	if (route.rootBoundaryId === null) return null;
+	return routeManifest.segmentGraph.rootBoundaries.get(route.rootBoundaryId)?.treePath ?? null;
+}
+function resolveRouteTopologySnapshot(options) {
+	const route = options.routeManifest === null ? null : findRouteManifestRouteForSnapshot(options.routeManifest, options.snapshot);
+	if (route === null || options.routeManifest === null) return createSnapshotRouteTopology(options.snapshot);
+	const shouldUseManifestSlotBindings = options.slotBindingSource === "manifestTarget" && options.snapshot.interception === null;
+	return {
+		layoutIds: route.layoutIds,
+		rootBoundaryId: route.rootBoundaryId,
+		rootLayoutTreePath: resolveRouteManifestRootLayoutTreePath(options.routeManifest, route),
+		slotBindings: shouldUseManifestSlotBindings ? resolveRouteManifestSlotBindings(options.routeManifest, route) : options.snapshot.slotBindings
+	};
+}
+function findRouteManifestInterceptionForProof(routeManifest, proof) {
+	const sourceParts = splitMatchedUrlIntoRouteParts(proof.sourceMatchedUrl);
+	const targetParts = splitMatchedUrlIntoRouteParts(proof.targetMatchedUrl);
+	const targetRoute = findRouteManifestRouteByIdOrMatchedUrl({
+		matchedUrl: proof.targetMatchedUrl,
+		routeId: proof.targetRouteId,
+		routeManifest
+	});
+	const candidateInterceptions = routeManifest.segmentGraph.interceptionsBySlotId.get(proof.slotId) ?? [];
+	for (const interception of candidateInterceptions) {
+		if (!matchRoutePatternPrefix(sourceParts, interception.sourcePatternParts)) continue;
+		if (matchRoutePattern(targetParts, interception.targetPatternParts) === null) continue;
+		if (interception.targetRouteId !== null && targetRoute?.id !== interception.targetRouteId) continue;
+		return interception;
+	}
+	return null;
+}
+function createRootBoundaryTraceFields(options) {
+	if (options.state.traceFields) return {
+		...options.state.traceFields,
+		currentRootLayoutTreePath: options.currentRootLayoutTreePath,
+		nextRootLayoutTreePath: options.nextRootLayoutTreePath
+	};
+	return createNavigationLifecycleTraceFields({
+		currentRootLayoutTreePath: options.currentRootLayoutTreePath,
+		currentVisibleCommitVersion: options.state.visibleCommitVersion,
+		nextRootLayoutTreePath: options.nextRootLayoutTreePath,
+		startedVisibleCommitVersion: options.event.token.baseVisibleCommitVersion
+	});
+}
+function classifyRootBoundaryTransition(currentRootBoundaryId, nextRootBoundaryId) {
+	if (currentRootBoundaryId === null || nextRootBoundaryId === null) return "rootBoundaryUnknownFallback";
+	return currentRootBoundaryId === nextRootBoundaryId ? "currentRootBoundary" : "rootBoundaryChanged";
+}
+function resolveSameLayoutAncestorPersistence(currentSnapshot, targetSnapshot) {
+	return resolveSameLayoutAncestorPersistenceForTopologies(createSnapshotRouteTopology(currentSnapshot), createSnapshotRouteTopology(targetSnapshot));
+}
+function resolveSameLayoutAncestorPersistenceForTopologies(currentTopology, targetTopology) {
+	if (classifyRootBoundaryTransition(currentTopology.rootBoundaryId, targetTopology.rootBoundaryId) !== "currentRootBoundary") return [];
+	const commonLayoutIds = [];
+	const maxLength = Math.min(currentTopology.layoutIds.length, targetTopology.layoutIds.length);
+	for (let index = 0; index < maxLength; index++) {
+		const layoutId = currentTopology.layoutIds[index];
+		if (layoutId !== targetTopology.layoutIds[index]) break;
+		commonLayoutIds.push(layoutId);
+	}
+	return commonLayoutIds;
+}
+function resolveMountedParallelSlotPersistence(currentSnapshot, targetSnapshot) {
+	return resolveMountedParallelSlotPersistenceForLayouts(currentSnapshot, resolveSameLayoutAncestorPersistence(currentSnapshot, targetSnapshot));
+}
+function resolveMountedParallelSlotPersistenceForLayouts(currentSnapshot, preservedLayoutIds) {
+	if (preservedLayoutIds.length === 0) return [];
+	const preservedLayoutIdSet = new Set(preservedLayoutIds);
+	const preservedSlotIds = [];
+	const seenSlotIds = /* @__PURE__ */ new Set();
+	for (const slot of currentSnapshot.mountedParallelSlots) {
+		if (slot.ownerLayoutId === null) continue;
+		if (!preservedLayoutIdSet.has(slot.ownerLayoutId)) continue;
+		if (seenSlotIds.has(slot.slotId)) continue;
+		preservedSlotIds.push(slot.slotId);
+		seenSlotIds.add(slot.slotId);
+	}
+	return preservedSlotIds;
+}
+function resolveCurrentRootBoundaryElementPersistence(currentSnapshot, targetSnapshot) {
+	const preservedLayoutIds = resolveSameLayoutAncestorPersistence(currentSnapshot, targetSnapshot);
+	return [...preservedLayoutIds, ...resolveMountedParallelSlotPersistenceForLayouts(currentSnapshot, preservedLayoutIds)];
+}
+function resolveCurrentRootBoundaryCommitElementPersistence(options) {
+	return resolveSameLayoutAncestorPersistenceForTopologies(options.currentTopology, options.targetTopology);
+}
+function resolveCurrentRootBoundaryCommitSlotPersistence(options) {
+	if (options.lane === "traverse") return [];
+	const preservedLayoutIds = resolveSameLayoutAncestorPersistenceForTopologies(options.currentTopology, options.targetTopology);
+	if (preservedLayoutIds.length === 0) return [];
+	return resolveDefaultOrUnmatchedSlotPersistenceForLayouts({
+		currentSlotBindings: options.currentTopology.slotBindings,
+		preservedLayoutIds,
+		targetSlotBindings: options.targetTopology.slotBindings
+	});
+}
+/**
+* Default/unmatched slot preservation law:
+*
+* A target default/unmatched slot may reuse previous content only when:
+* - the slot's owner layout is part of the preserved layout ancestor set;
+* - the current visible snapshot proves the same slot had renderable content;
+* - the navigation is not a traversal.
+*
+* Wire absence and UNMATCHED_SLOT markers are not semantic proof.
+*/
+function resolveDefaultOrUnmatchedSlotPersistenceForLayouts(options) {
+	const preservedLayoutIdSet = new Set(options.preservedLayoutIds);
+	const slotIdsWithContent = /* @__PURE__ */ new Set();
+	for (const binding of options.currentSlotBindings) {
+		if (binding.state === "unmatched") continue;
+		slotIdsWithContent.add(binding.slotId);
+	}
+	const preservedSlotIds = [];
+	const seenSlotIds = /* @__PURE__ */ new Set();
+	for (const binding of options.targetSlotBindings) {
+		if (binding.ownerLayoutId === null) continue;
+		if (!preservedLayoutIdSet.has(binding.ownerLayoutId)) continue;
+		if (binding.state === "active") continue;
+		if (!slotIdsWithContent.has(binding.slotId)) continue;
+		if (seenSlotIds.has(binding.slotId)) continue;
+		preservedSlotIds.push(binding.slotId);
+		seenSlotIds.add(binding.slotId);
+	}
+	return preservedSlotIds.sort(compareAppElementsSlotIds);
+}
+function getVisibleInterceptionSourceIdentity(snapshot) {
+	if (snapshot.interception) return {
+		matchedUrl: snapshot.interception.sourceMatchedUrl,
+		routeId: snapshot.interception.sourceRouteId
+	};
+	return {
+		matchedUrl: snapshot.matchedUrl,
+		routeId: snapshot.routeId
+	};
+}
+function createInterceptionProofRejectedDecision(options) {
+	return {
+		kind: "hardNavigate",
+		reason: "interceptionProofRejected",
+		token: options.event.token,
+		trace: createNavigationTrace(options.reasonCode, options.traceFields),
+		url: options.event.result.href
+	};
+}
+function validateInterceptedPreservation(options) {
+	const proof = options.targetSnapshot.interception;
+	if (!proof) return {
+		kind: "rejected",
+		reasonCode: NavigationTraceReasonCodes.interceptedRejectedMissingProof
+	};
+	if (proof.targetMatchedUrl !== options.targetSnapshot.matchedUrl) return {
+		kind: "rejected",
+		reasonCode: NavigationTraceReasonCodes.interceptedRejectedTargetMismatch
+	};
+	const sourceIdentity = getVisibleInterceptionSourceIdentity(options.currentSnapshot);
+	if (proof.sourceMatchedUrl !== sourceIdentity.matchedUrl || proof.sourceRouteId !== sourceIdentity.routeId) return {
+		kind: "rejected",
+		reasonCode: NavigationTraceReasonCodes.interceptedRejectedUnknownSource
+	};
+	const declaredInterception = options.routeManifest === null ? null : findRouteManifestInterceptionForProof(options.routeManifest, proof);
+	if (options.routeManifest !== null && declaredInterception === null) return {
+		kind: "rejected",
+		reasonCode: NavigationTraceReasonCodes.interceptedRejectedUndeclaredTopology
+	};
+	const preservedLayoutIds = resolveSameLayoutAncestorPersistenceForTopologies(options.currentTopology, options.targetTopology);
+	if (preservedLayoutIds.length === 0) return {
+		kind: "rejected",
+		reasonCode: NavigationTraceReasonCodes.interceptedRejectedIncompatibleRoot
+	};
+	const preservedLayoutIdSet = new Set(preservedLayoutIds);
+	const targetSlotBinding = options.targetTopology.slotBindings.find((binding) => binding.slotId === proof.slotId);
+	if (!targetSlotBinding || targetSlotBinding.state !== "active" || targetSlotBinding.ownerLayoutId === null || !preservedLayoutIdSet.has(targetSlotBinding.ownerLayoutId)) return {
+		kind: "rejected",
+		reasonCode: NavigationTraceReasonCodes.interceptedRejectedMissingSlotProof
+	};
+	if (declaredInterception !== null && targetSlotBinding.ownerLayoutId !== declaredInterception.ownerLayoutId) return {
+		kind: "rejected",
+		reasonCode: NavigationTraceReasonCodes.interceptedRejectedUndeclaredTopology
+	};
+	return {
+		kind: "approved",
+		preserveElementIds: preservedLayoutIds,
+		preservePreviousSlotIds: resolveDefaultOrUnmatchedSlotPersistenceForLayouts({
+			currentSlotBindings: options.currentTopology.slotBindings,
+			preservedLayoutIds,
+			targetSlotBindings: options.targetTopology.slotBindings
+		}).filter((slotId) => slotId !== proof.slotId)
+	};
+}
+function planFlightResponseArrived(options) {
+	const targetSnapshot = options.event.result.targetSnapshot;
+	const currentTopology = resolveRouteTopologySnapshot({
+		routeManifest: options.routeManifest,
+		slotBindingSource: "snapshot",
+		snapshot: options.state.visibleSnapshot
+	});
+	const targetTopology = resolveRouteTopologySnapshot({
+		routeManifest: options.routeManifest,
+		slotBindingSource: "manifestTarget",
+		snapshot: targetSnapshot
+	});
+	const traceFields = createRootBoundaryTraceFields({
+		currentRootLayoutTreePath: currentTopology.rootLayoutTreePath,
+		event: options.event,
+		nextRootLayoutTreePath: targetTopology.rootLayoutTreePath,
+		state: options.state
+	});
+	if (options.event.token.lane === "prefetch") return {
+		kind: "noCommit",
+		reason: "prefetchOnly",
+		token: options.event.token,
+		trace: createNavigationTrace(NavigationTraceReasonCodes.prefetchOnly, traceFields)
+	};
+	if (targetSnapshot.interception !== null) {
+		const validation = validateInterceptedPreservation({
+			currentSnapshot: options.state.visibleSnapshot,
+			currentTopology,
+			routeManifest: options.routeManifest,
+			targetSnapshot,
+			targetTopology
+		});
+		if (validation.kind === "rejected") return createInterceptionProofRejectedDecision({
+			event: options.event,
+			reasonCode: validation.reasonCode,
+			traceFields
+		});
+		return {
+			kind: "proposeCommit",
+			proposal: {
+				preserveAbsentSlots: false,
+				preserveElementIds: validation.preserveElementIds,
+				preservePreviousSlotIds: validation.preservePreviousSlotIds,
+				reason: "interceptedCurrentRootBoundary",
+				targetSnapshot
+			},
+			token: options.event.token,
+			trace: createNavigationTrace(NavigationTraceReasonCodes.interceptedCommitCurrent, traceFields)
+		};
+	}
+	const transition = classifyRootBoundaryTransition(currentTopology.rootBoundaryId, targetTopology.rootBoundaryId);
+	if (transition === "rootBoundaryChanged") return {
+		kind: "hardNavigate",
+		reason: "rootBoundaryChanged",
+		token: options.event.token,
+		trace: createNavigationTrace(NavigationTraceReasonCodes.rootBoundaryChanged, traceFields),
+		url: options.event.result.href
+	};
+	if (transition === "rootBoundaryUnknownFallback") return {
+		kind: "proposeCommit",
+		proposal: {
+			preserveAbsentSlots: true,
+			preserveElementIds: [],
+			preservePreviousSlotIds: [],
+			reason: "rootBoundaryUnknownFallback",
+			targetSnapshot
+		},
+		token: options.event.token,
+		trace: createNavigationTrace(NavigationTraceReasonCodes.rootBoundaryUnknown, traceFields)
+	};
+	return {
+		kind: "proposeCommit",
+		proposal: {
+			preserveAbsentSlots: false,
+			preserveElementIds: resolveCurrentRootBoundaryCommitElementPersistence({
+				currentTopology,
+				lane: options.event.token.lane,
+				targetTopology
+			}),
+			preservePreviousSlotIds: resolveCurrentRootBoundaryCommitSlotPersistence({
+				currentTopology,
+				lane: options.event.token.lane,
+				targetTopology
+			}),
+			reason: "currentRootBoundary",
+			targetSnapshot
+		},
+		token: options.event.token,
+		trace: createNavigationTrace(NavigationTraceReasonCodes.commitCurrent, traceFields)
+	};
+}
+function planNavigation(input) {
+	switch (input.event.kind) {
+		case "navigate": return createRequestWorkDecision({
+			eventKind: input.event.kind,
+			state: input.state,
+			work: {
+				href: input.event.href,
+				kind: "flight",
+				mode: input.event.mode
+			}
+		});
+		case "refresh": return createRequestWorkDecision({
+			eventKind: input.event.kind,
+			state: input.state,
+			work: {
+				href: input.state.visibleSnapshot.displayUrl,
+				kind: "flight",
+				mode: "refresh"
+			}
+		});
+		case "traverse": return createRequestWorkDecision({
+			eventKind: input.event.kind,
+			state: input.state,
+			work: {
+				direction: input.event.direction,
+				historyState: input.event.historyState,
+				kind: "traverseFlight"
+			}
+		});
+		case "prefetch": return createRequestWorkDecision({
+			eventKind: input.event.kind,
+			state: input.state,
+			work: {
+				href: input.event.href,
+				kind: "prefetch"
+			}
+		});
+		case "flightResponseArrived": return planFlightResponseArrived({
+			event: input.event,
+			routeManifest: input.routeManifest,
+			state: input.state
+		});
+		default: {
+			const _exhaustive = input.event;
+			throw new Error("[vinext] Unknown navigation event: " + String(_exhaustive));
+		}
+	}
+}
+const navigationPlanner = {
+	classifyRootBoundaryTransition,
+	plan: planNavigation,
+	resolveCurrentRootBoundaryElementPersistence,
+	resolveMountedParallelSlotPersistence,
+	resolveSameLayoutAncestorPersistence
+};
+//#endregion
+export { navigationPlanner };
+
+//# sourceMappingURL=navigation-planner.js.map

package/dist/server/navigation-planner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"navigation-planner.js","names":["_exhaustive"],"sources":["../../src/server/navigation-planner.ts"],"sourcesContent":["import { matchRoutePattern, matchRoutePatternPrefix } from \"../routing/route-pattern.js\";\nimport { normalizePathnameForRouteMatch } from \"../routing/utils.js\";\nimport type {\n  RouteManifest,\n  RouteManifestInterception,\n  RouteManifestRoute,\n} from \"../routing/app-route-graph.js\";\nimport { compareAppElementsSlotIds, type AppElementsSlotBinding } from \"./app-elements.js\";\nimport {\n  NavigationTraceReasonCodes,\n  createNavigationLifecycleTraceFields,\n  createNavigationTrace,\n  type NavigationTrace,\n  type NavigationTraceFields,\n  type NavigationTraceReasonCode,\n} from \"./navigation-trace.js\";\n\nexport type OperationLane =\n  | \"hmr\"\n  | \"navigation\"\n  | \"prefetch\"\n  | \"refresh\"\n  | \"server-action\"\n  | \"traverse\";\n\nexport type OperationToken = {\n  operationId: number;\n  lane: OperationLane;\n  baseVisibleCommitVersion: number;\n  graphVersion: string | null;\n  deploymentVersion: string | null;\n  targetSnapshotFingerprint: string;\n  cacheVariantFingerprint?: string;\n};\n\nexport type RouteSnapshotV0 = {\n  interception: InterceptionSnapshotV0 | null;\n  interceptionContext: string | null;\n  routeId: string;\n  // Ordered ancestor-first, with the root layout at index 0. Same-layout\n  // persistence uses prefix comparison, so callers must preserve this order.\n  layoutIds: readonly string[];\n  mountedParallelSlots: readonly MountedParallelSlotSnapshotV0[];\n  rootBoundaryId: string | null;\n  displayUrl: string;\n  matchedUrl: string;\n  slotBindings: readonly ParallelSlotBindingSnapshotV0[];\n};\n\nexport type InterceptionSnapshotV0 = {\n  sourceMatchedUrl: string;\n  sourceRouteId: string;\n  slotId: string;\n  targetMatchedUrl: string;\n  targetRouteId: string;\n};\n\nexport type MountedParallelSlotSnapshotV0 = {\n  slotId: string;\n  ownerLayoutId: string | null;\n};\n\n// Planner snapshots consume the same canonical slot-binding facts decoded from\n// AppElements metadata. Keep the alias explicit so route-state and transport\n// readers cannot drift into structurally identical but semantically separate\n// shapes.\nexport type ParallelSlotBindingSnapshotV0 = AppElementsSlotBinding;\n\nexport type NavigationPlannerStateV0 = {\n  // V0 keeps a single state shape so intent events and result events can move\n  // through one planner surface. flightResponseArrived uses event.token; later\n  // #726 slices can split this by event kind once more result paths are routed\n  // through the planner.\n  nextOperationToken: OperationToken;\n  // Callers that have lifecycle authority should pass the complete trace\n  // context. When absent, the planner emits the stable root-boundary facts it\n  // can derive from the event and visible snapshot.\n  traceFields?: NavigationTraceFields;\n  visibleCommitVersion: number;\n  visibleSnapshot: RouteSnapshotV0;\n};\n\nexport type RefreshScope = \"visible\";\nexport type TraverseDirection = \"back\" | \"forward\" | \"unknown\";\n\nexport type NavigationEvent =\n  | { kind: \"navigate\"; href: string; mode: \"push\" | \"replace\" }\n  | { kind: \"refresh\"; scope: RefreshScope }\n  | { kind: \"traverse\"; direction: TraverseDirection; historyState: unknown }\n  | { kind: \"prefetch\"; href: string }\n  | { kind: \"flightResponseArrived\"; token: OperationToken; result: FlightResultV0 };\n\nexport type RequestedWork =\n  | { kind: \"flight\"; href: string; mode: \"push\" | \"replace\" | \"refresh\" }\n  | { direction: TraverseDirection; historyState: unknown; kind: \"traverseFlight\" }\n  | { kind: \"prefetch\"; href: string };\n\nexport type CommitProposal = {\n  preserveAbsentSlots: boolean;\n  preserveElementIds: readonly string[];\n  preservePreviousSlotIds: readonly string[];\n  reason: \"currentRootBoundary\" | \"interceptedCurrentRootBoundary\" | \"rootBoundaryUnknownFallback\";\n  targetSnapshot: RouteSnapshotV0;\n};\n\nexport type NoCommitReason = \"prefetchOnly\";\nexport type HardNavigationReason = \"interceptionProofRejected\" | \"rootBoundaryChanged\";\nexport type RootBoundaryTransition =\n  | \"currentRootBoundary\"\n  | \"rootBoundaryChanged\"\n  | \"rootBoundaryUnknownFallback\";\n\nexport type NavigationDecisionV0 =\n  | {\n      kind: \"requestWork\";\n      token: OperationToken;\n      work: RequestedWork;\n      trace: NavigationTrace;\n    }\n  | {\n      kind: \"proposeCommit\";\n      token: OperationToken;\n      proposal: CommitProposal;\n      trace: NavigationTrace;\n    }\n  | {\n      kind: \"noCommit\";\n      token: OperationToken;\n      reason: NoCommitReason;\n      trace: NavigationTrace;\n    }\n  | {\n      kind: \"hardNavigate\";\n      token: OperationToken;\n      url: string;\n      reason: HardNavigationReason;\n      trace: NavigationTrace;\n    };\n\nexport type FlightResultV0 = {\n  href: string;\n  targetSnapshot: RouteSnapshotV0;\n};\n\nexport type NavigationPlannerInput = {\n  // Graph-owned route topology is the semantic authority for root/layout/slot\n  // decisions whenever the caller can supply it. Null keeps the legacy\n  // snapshot-only path for low-level tests and unknown route shapes.\n  routeManifest: RouteManifest | null;\n  state: NavigationPlannerStateV0;\n  event: NavigationEvent;\n};\n\ntype RouteTopologySnapshot = {\n  layoutIds: readonly string[];\n  rootBoundaryId: string | null;\n  rootLayoutTreePath: string | null;\n  slotBindings: readonly ParallelSlotBindingSnapshotV0[];\n};\n\ntype RouteTopologySlotBindingSource = \"snapshot\" | \"manifestTarget\";\n\nconst ROUTE_INTERCEPTION_CONTEXT_SEPARATOR = \"\\0\";\n\nfunction createRequestWorkDecision(options: {\n  eventKind: NavigationEvent[\"kind\"];\n  state: NavigationPlannerStateV0;\n  work: RequestedWork;\n}): NavigationDecisionV0 {\n  const traverseFields =\n    options.work.kind === \"traverseFlight\" ? { traverseDirection: options.work.direction } : {};\n  return {\n    kind: \"requestWork\",\n    token: options.state.nextOperationToken,\n    work: options.work,\n    trace: createNavigationTrace(NavigationTraceReasonCodes.requestWork, {\n      eventKind: options.eventKind,\n      targetHref: getRequestedWorkTargetHref(options.work),\n      ...traverseFields,\n    }),\n  };\n}\n\nfunction getRequestedWorkTargetHref(work: RequestedWork): string | null {\n  switch (work.kind) {\n    case \"flight\":\n    case \"prefetch\":\n      return work.href;\n    case \"traverseFlight\":\n      return null;\n    default: {\n      const _exhaustive: never = work;\n      throw new Error(\"[vinext] Unknown requested navigation work: \" + String(_exhaustive));\n    }\n  }\n}\n\nfunction createSnapshotRouteTopology(snapshot: RouteSnapshotV0): RouteTopologySnapshot {\n  return {\n    layoutIds: snapshot.layoutIds,\n    rootBoundaryId: snapshot.rootBoundaryId,\n    rootLayoutTreePath: snapshot.rootBoundaryId,\n    slotBindings: snapshot.slotBindings,\n  };\n}\n\nfunction stripInterceptionContextFromRouteId(routeId: string): string {\n  const separatorIndex = routeId.indexOf(ROUTE_INTERCEPTION_CONTEXT_SEPARATOR);\n  return separatorIndex === -1 ? routeId : routeId.slice(0, separatorIndex);\n}\n\nfunction getMatchedUrlPathname(matchedUrl: string): string {\n  try {\n    return new URL(matchedUrl, \"https://vinext.local\").pathname;\n  } catch {\n    const [withoutHash = \"\"] = matchedUrl.split(\"#\");\n    const [pathname = \"\"] = withoutHash.split(\"?\");\n    return pathname === \"\" ? \"/\" : pathname;\n  }\n}\n\nfunction splitMatchedUrlIntoRouteParts(matchedUrl: string): string[] {\n  return normalizePathnameForRouteMatch(getMatchedUrlPathname(matchedUrl))\n    .split(\"/\")\n    .filter((part) => part.length > 0);\n}\n\nfunction findRouteManifestRouteByMatchedUrl(\n  routeManifest: RouteManifest,\n  matchedUrl: string,\n): RouteManifestRoute | null {\n  const urlParts = splitMatchedUrlIntoRouteParts(matchedUrl);\n\n  // RouteManifest preserves buildAppRouteGraph's compareRoutes() order, so the\n  // first pattern match follows the same static/dynamic/catch-all precedence as\n  // request-time route matching instead of raw filesystem scan order.\n  for (const route of routeManifest.segmentGraph.routes.values()) {\n    if (matchRoutePattern(urlParts, route.patternParts) !== null) {\n      return route;\n    }\n  }\n\n  return null;\n}\n\nfunction routeManifestRouteMatchesUrl(route: RouteManifestRoute, matchedUrl: string): boolean {\n  return matchRoutePattern(splitMatchedUrlIntoRouteParts(matchedUrl), route.patternParts) !== null;\n}\n\nfunction findRouteManifestRouteByIdOrMatchedUrl(options: {\n  matchedUrl: string;\n  routeId: string;\n  routeManifest: RouteManifest;\n}): RouteManifestRoute | null {\n  const routeId = stripInterceptionContextFromRouteId(options.routeId);\n  const route = options.routeManifest.segmentGraph.routes.get(routeId);\n  if (route && routeManifestRouteMatchesUrl(route, options.matchedUrl)) {\n    return route;\n  }\n\n  return findRouteManifestRouteByMatchedUrl(options.routeManifest, options.matchedUrl);\n}\n\nfunction findRouteManifestRouteForSnapshot(\n  routeManifest: RouteManifest,\n  snapshot: RouteSnapshotV0,\n): RouteManifestRoute | null {\n  if (snapshot.interception !== null) {\n    return findRouteManifestRouteByIdOrMatchedUrl({\n      matchedUrl: snapshot.interception.sourceMatchedUrl,\n      routeId: snapshot.interception.sourceRouteId,\n      routeManifest,\n    });\n  }\n\n  return findRouteManifestRouteByIdOrMatchedUrl({\n    matchedUrl: snapshot.matchedUrl,\n    routeId: snapshot.routeId,\n    routeManifest,\n  });\n}\n\nfunction resolveRouteManifestSlotBindings(\n  routeManifest: RouteManifest,\n  route: RouteManifestRoute,\n): readonly ParallelSlotBindingSnapshotV0[] {\n  const bindings: ParallelSlotBindingSnapshotV0[] = [];\n  for (const slotId of route.slotIds) {\n    const binding = routeManifest.segmentGraph.slotBindings.get(`${route.id}::${slotId}`);\n    if (!binding) continue;\n    bindings.push({\n      ownerLayoutId: binding.ownerLayoutId,\n      slotId: binding.slotId,\n      state: binding.state,\n    });\n  }\n\n  return bindings.sort((left, right) => compareAppElementsSlotIds(left.slotId, right.slotId));\n}\n\nfunction resolveRouteManifestRootLayoutTreePath(\n  routeManifest: RouteManifest,\n  route: RouteManifestRoute,\n): string | null {\n  if (route.rootBoundaryId === null) return null;\n  return routeManifest.segmentGraph.rootBoundaries.get(route.rootBoundaryId)?.treePath ?? null;\n}\n\nfunction resolveRouteTopologySnapshot(options: {\n  routeManifest: RouteManifest | null;\n  slotBindingSource: RouteTopologySlotBindingSource;\n  snapshot: RouteSnapshotV0;\n}): RouteTopologySnapshot {\n  const route =\n    options.routeManifest === null\n      ? null\n      : findRouteManifestRouteForSnapshot(options.routeManifest, options.snapshot);\n  if (route === null || options.routeManifest === null) {\n    return createSnapshotRouteTopology(options.snapshot);\n  }\n\n  // Intercepted targets carry the source route's tree topology, not the direct\n  // target route's, so direct-target manifest slot bindings do not apply.\n  const shouldUseManifestSlotBindings =\n    options.slotBindingSource === \"manifestTarget\" && options.snapshot.interception === null;\n\n  return {\n    layoutIds: route.layoutIds,\n    rootBoundaryId: route.rootBoundaryId,\n    rootLayoutTreePath: resolveRouteManifestRootLayoutTreePath(options.routeManifest, route),\n    slotBindings: shouldUseManifestSlotBindings\n      ? resolveRouteManifestSlotBindings(options.routeManifest, route)\n      : options.snapshot.slotBindings,\n  };\n}\n\nfunction findRouteManifestInterceptionForProof(\n  routeManifest: RouteManifest,\n  proof: InterceptionSnapshotV0,\n): RouteManifestInterception | null {\n  const sourceParts = splitMatchedUrlIntoRouteParts(proof.sourceMatchedUrl);\n  const targetParts = splitMatchedUrlIntoRouteParts(proof.targetMatchedUrl);\n  const targetRoute = findRouteManifestRouteByIdOrMatchedUrl({\n    matchedUrl: proof.targetMatchedUrl,\n    routeId: proof.targetRouteId,\n    routeManifest,\n  });\n  const candidateInterceptions =\n    routeManifest.segmentGraph.interceptionsBySlotId.get(proof.slotId) ?? [];\n\n  for (const interception of candidateInterceptions) {\n    if (!matchRoutePatternPrefix(sourceParts, interception.sourcePatternParts)) {\n      continue;\n    }\n    if (matchRoutePattern(targetParts, interception.targetPatternParts) === null) continue;\n    if (interception.targetRouteId !== null && targetRoute?.id !== interception.targetRouteId) {\n      continue;\n    }\n    return interception;\n  }\n\n  return null;\n}\n\nfunction createRootBoundaryTraceFields(options: {\n  currentRootLayoutTreePath: string | null;\n  event: Extract<NavigationEvent, { kind: \"flightResponseArrived\" }>;\n  nextRootLayoutTreePath: string | null;\n  state: NavigationPlannerStateV0;\n}): NavigationTraceFields {\n  // Browser commit approval supplies lifecycle trace context before calling\n  // the planner. This fallback exists for pure planner callers and tests; it\n  // intentionally cannot invent lifecycle-only fields such as active nav id.\n  if (options.state.traceFields) {\n    return {\n      ...options.state.traceFields,\n      currentRootLayoutTreePath: options.currentRootLayoutTreePath,\n      nextRootLayoutTreePath: options.nextRootLayoutTreePath,\n    };\n  }\n\n  return createNavigationLifecycleTraceFields({\n    currentRootLayoutTreePath: options.currentRootLayoutTreePath,\n    currentVisibleCommitVersion: options.state.visibleCommitVersion,\n    nextRootLayoutTreePath: options.nextRootLayoutTreePath,\n    startedVisibleCommitVersion: options.event.token.baseVisibleCommitVersion,\n  });\n}\n\nfunction classifyRootBoundaryTransition(\n  currentRootBoundaryId: string | null,\n  nextRootBoundaryId: string | null,\n): RootBoundaryTransition {\n  if (currentRootBoundaryId === null || nextRootBoundaryId === null) {\n    // Both null directions intentionally share the fallback because unresolved\n    // routes or legacy callers cannot prove either same-root reuse or root\n    // changes from semantic topology.\n    return \"rootBoundaryUnknownFallback\";\n  }\n\n  return currentRootBoundaryId === nextRootBoundaryId\n    ? \"currentRootBoundary\"\n    : \"rootBoundaryChanged\";\n}\n\nfunction resolveSameLayoutAncestorPersistence(\n  currentSnapshot: RouteSnapshotV0,\n  targetSnapshot: RouteSnapshotV0,\n): readonly string[] {\n  return resolveSameLayoutAncestorPersistenceForTopologies(\n    createSnapshotRouteTopology(currentSnapshot),\n    createSnapshotRouteTopology(targetSnapshot),\n  );\n}\n\nfunction resolveSameLayoutAncestorPersistenceForTopologies(\n  currentTopology: RouteTopologySnapshot,\n  targetTopology: RouteTopologySnapshot,\n): readonly string[] {\n  if (\n    classifyRootBoundaryTransition(\n      currentTopology.rootBoundaryId,\n      targetTopology.rootBoundaryId,\n    ) !== \"currentRootBoundary\"\n  ) {\n    return [];\n  }\n\n  const commonLayoutIds: string[] = [];\n  const maxLength = Math.min(currentTopology.layoutIds.length, targetTopology.layoutIds.length);\n  for (let index = 0; index < maxLength; index++) {\n    const layoutId = currentTopology.layoutIds[index];\n    if (layoutId !== targetTopology.layoutIds[index]) break;\n    commonLayoutIds.push(layoutId);\n  }\n  return commonLayoutIds;\n}\n\nfunction resolveMountedParallelSlotPersistence(\n  currentSnapshot: RouteSnapshotV0,\n  targetSnapshot: RouteSnapshotV0,\n): readonly string[] {\n  const preservedLayoutIds = resolveSameLayoutAncestorPersistence(currentSnapshot, targetSnapshot);\n  return resolveMountedParallelSlotPersistenceForLayouts(currentSnapshot, preservedLayoutIds);\n}\n\nfunction resolveMountedParallelSlotPersistenceForLayouts(\n  currentSnapshot: RouteSnapshotV0,\n  preservedLayoutIds: readonly string[],\n): readonly string[] {\n  if (preservedLayoutIds.length === 0) return [];\n  const preservedLayoutIdSet = new Set(preservedLayoutIds);\n\n  const preservedSlotIds: string[] = [];\n  const seenSlotIds = new Set<string>();\n  for (const slot of currentSnapshot.mountedParallelSlots) {\n    if (slot.ownerLayoutId === null) continue;\n    if (!preservedLayoutIdSet.has(slot.ownerLayoutId)) continue;\n    if (seenSlotIds.has(slot.slotId)) continue;\n\n    preservedSlotIds.push(slot.slotId);\n    seenSlotIds.add(slot.slotId);\n  }\n  return preservedSlotIds;\n}\n\nfunction resolveCurrentRootBoundaryElementPersistence(\n  currentSnapshot: RouteSnapshotV0,\n  targetSnapshot: RouteSnapshotV0,\n): readonly string[] {\n  const preservedLayoutIds = resolveSameLayoutAncestorPersistence(currentSnapshot, targetSnapshot);\n  // Non-commit consumers still receive the legacy mounted-slot element list.\n  // Commit promotion uses preservePreviousSlotIds instead so default/unmatched\n  // slot reuse requires route-state proof.\n  return [\n    ...preservedLayoutIds,\n    ...resolveMountedParallelSlotPersistenceForLayouts(currentSnapshot, preservedLayoutIds),\n  ];\n}\n\nfunction resolveCurrentRootBoundaryCommitElementPersistence(options: {\n  currentTopology: RouteTopologySnapshot;\n  lane: OperationLane;\n  targetTopology: RouteTopologySnapshot;\n}): readonly string[] {\n  // Commit element persistence only keeps layout IDs. Default/unmatched slot\n  // reuse is handled separately by preservePreviousSlotIds, using slot-binding\n  // metadata as proof; payloads without __slotBindings get no semantic reuse.\n  // resolveCurrentRootBoundaryCommitSlotPersistence recomputes this same\n  // ancestor set; planner correctness relies on both calls agreeing so any\n  // preserved slot's owner layout is also present in preserveElementIds.\n  return resolveSameLayoutAncestorPersistenceForTopologies(\n    options.currentTopology,\n    options.targetTopology,\n  );\n}\n\nfunction resolveCurrentRootBoundaryCommitSlotPersistence(options: {\n  currentTopology: RouteTopologySnapshot;\n  lane: OperationLane;\n  targetTopology: RouteTopologySnapshot;\n}): readonly string[] {\n  if (options.lane === \"traverse\") return [];\n\n  const preservedLayoutIds = resolveSameLayoutAncestorPersistenceForTopologies(\n    options.currentTopology,\n    options.targetTopology,\n  );\n  if (preservedLayoutIds.length === 0) return [];\n\n  return resolveDefaultOrUnmatchedSlotPersistenceForLayouts({\n    currentSlotBindings: options.currentTopology.slotBindings,\n    preservedLayoutIds,\n    targetSlotBindings: options.targetTopology.slotBindings,\n  });\n}\n\n/**\n * Default/unmatched slot preservation law:\n *\n * A target default/unmatched slot may reuse previous content only when:\n * - the slot's owner layout is part of the preserved layout ancestor set;\n * - the current visible snapshot proves the same slot had renderable content;\n * - the navigation is not a traversal.\n *\n * Wire absence and UNMATCHED_SLOT markers are not semantic proof.\n */\nfunction resolveDefaultOrUnmatchedSlotPersistenceForLayouts(options: {\n  currentSlotBindings: readonly ParallelSlotBindingSnapshotV0[];\n  preservedLayoutIds: readonly string[];\n  targetSlotBindings: readonly ParallelSlotBindingSnapshotV0[];\n}): readonly string[] {\n  const preservedLayoutIdSet = new Set(options.preservedLayoutIds);\n  const slotIdsWithContent = new Set<string>();\n  for (const binding of options.currentSlotBindings) {\n    if (binding.state === \"unmatched\") continue;\n    slotIdsWithContent.add(binding.slotId);\n  }\n\n  const preservedSlotIds: string[] = [];\n  const seenSlotIds = new Set<string>();\n  for (const binding of options.targetSlotBindings) {\n    if (binding.ownerLayoutId === null) continue;\n    if (!preservedLayoutIdSet.has(binding.ownerLayoutId)) continue;\n    if (binding.state === \"active\") continue;\n    if (!slotIdsWithContent.has(binding.slotId)) continue;\n    if (seenSlotIds.has(binding.slotId)) continue;\n\n    preservedSlotIds.push(binding.slotId);\n    seenSlotIds.add(binding.slotId);\n  }\n  return preservedSlotIds.sort(compareAppElementsSlotIds);\n}\n\ntype VisibleInterceptionSourceIdentity = {\n  matchedUrl: string;\n  routeId: string;\n};\n\ntype InterceptedPreservationValidation =\n  | {\n      kind: \"approved\";\n      preserveElementIds: readonly string[];\n      preservePreviousSlotIds: readonly string[];\n    }\n  | {\n      kind: \"rejected\";\n      reasonCode: NavigationTraceReasonCode;\n    };\n\nfunction getVisibleInterceptionSourceIdentity(\n  snapshot: RouteSnapshotV0,\n): VisibleInterceptionSourceIdentity {\n  if (snapshot.interception) {\n    return {\n      matchedUrl: snapshot.interception.sourceMatchedUrl,\n      routeId: snapshot.interception.sourceRouteId,\n    };\n  }\n  return {\n    matchedUrl: snapshot.matchedUrl,\n    routeId: snapshot.routeId,\n  };\n}\n\nfunction createInterceptionProofRejectedDecision(options: {\n  event: Extract<NavigationEvent, { kind: \"flightResponseArrived\" }>;\n  reasonCode: NavigationTraceReasonCode;\n  traceFields: NavigationTraceFields;\n}): NavigationDecisionV0 {\n  return {\n    kind: \"hardNavigate\",\n    reason: \"interceptionProofRejected\",\n    token: options.event.token,\n    trace: createNavigationTrace(options.reasonCode, options.traceFields),\n    url: options.event.result.href,\n  };\n}\n\nfunction validateInterceptedPreservation(options: {\n  currentSnapshot: RouteSnapshotV0;\n  currentTopology: RouteTopologySnapshot;\n  routeManifest: RouteManifest | null;\n  targetSnapshot: RouteSnapshotV0;\n  targetTopology: RouteTopologySnapshot;\n}): InterceptedPreservationValidation {\n  const proof = options.targetSnapshot.interception;\n  if (!proof) {\n    return {\n      kind: \"rejected\",\n      reasonCode: NavigationTraceReasonCodes.interceptedRejectedMissingProof,\n    };\n  }\n\n  if (proof.targetMatchedUrl !== options.targetSnapshot.matchedUrl) {\n    return {\n      kind: \"rejected\",\n      reasonCode: NavigationTraceReasonCodes.interceptedRejectedTargetMismatch,\n    };\n  }\n\n  const sourceIdentity = getVisibleInterceptionSourceIdentity(options.currentSnapshot);\n  if (\n    proof.sourceMatchedUrl !== sourceIdentity.matchedUrl ||\n    proof.sourceRouteId !== sourceIdentity.routeId\n  ) {\n    return {\n      kind: \"rejected\",\n      reasonCode: NavigationTraceReasonCodes.interceptedRejectedUnknownSource,\n    };\n  }\n\n  const declaredInterception =\n    options.routeManifest === null\n      ? null\n      : findRouteManifestInterceptionForProof(options.routeManifest, proof);\n  if (options.routeManifest !== null && declaredInterception === null) {\n    return {\n      kind: \"rejected\",\n      reasonCode: NavigationTraceReasonCodes.interceptedRejectedUndeclaredTopology,\n    };\n  }\n\n  const preservedLayoutIds = resolveSameLayoutAncestorPersistenceForTopologies(\n    options.currentTopology,\n    options.targetTopology,\n  );\n  if (preservedLayoutIds.length === 0) {\n    return {\n      kind: \"rejected\",\n      reasonCode: NavigationTraceReasonCodes.interceptedRejectedIncompatibleRoot,\n    };\n  }\n\n  const preservedLayoutIdSet = new Set(preservedLayoutIds);\n  const targetSlotBinding = options.targetTopology.slotBindings.find(\n    (binding) => binding.slotId === proof.slotId,\n  );\n  if (\n    !targetSlotBinding ||\n    targetSlotBinding.state !== \"active\" ||\n    targetSlotBinding.ownerLayoutId === null ||\n    !preservedLayoutIdSet.has(targetSlotBinding.ownerLayoutId)\n  ) {\n    return {\n      kind: \"rejected\",\n      reasonCode: NavigationTraceReasonCodes.interceptedRejectedMissingSlotProof,\n    };\n  }\n  if (\n    declaredInterception !== null &&\n    targetSlotBinding.ownerLayoutId !== declaredInterception.ownerLayoutId\n  ) {\n    return {\n      kind: \"rejected\",\n      reasonCode: NavigationTraceReasonCodes.interceptedRejectedUndeclaredTopology,\n    };\n  }\n\n  const preservePreviousSlotIds = resolveDefaultOrUnmatchedSlotPersistenceForLayouts({\n    currentSlotBindings: options.currentTopology.slotBindings,\n    preservedLayoutIds,\n    targetSlotBindings: options.targetTopology.slotBindings,\n  }).filter((slotId) => slotId !== proof.slotId);\n\n  return {\n    kind: \"approved\",\n    preserveElementIds: preservedLayoutIds,\n    preservePreviousSlotIds,\n  };\n}\n\nfunction planFlightResponseArrived(options: {\n  event: Extract<NavigationEvent, { kind: \"flightResponseArrived\" }>;\n  routeManifest: RouteManifest | null;\n  state: NavigationPlannerStateV0;\n}): NavigationDecisionV0 {\n  const targetSnapshot = options.event.result.targetSnapshot;\n  const currentTopology = resolveRouteTopologySnapshot({\n    routeManifest: options.routeManifest,\n    slotBindingSource: \"snapshot\",\n    snapshot: options.state.visibleSnapshot,\n  });\n  const targetTopology = resolveRouteTopologySnapshot({\n    routeManifest: options.routeManifest,\n    slotBindingSource: \"manifestTarget\",\n    snapshot: targetSnapshot,\n  });\n  const traceFields = createRootBoundaryTraceFields({\n    currentRootLayoutTreePath: currentTopology.rootLayoutTreePath,\n    event: options.event,\n    nextRootLayoutTreePath: targetTopology.rootLayoutTreePath,\n    state: options.state,\n  });\n\n  if (options.event.token.lane === \"prefetch\") {\n    return {\n      kind: \"noCommit\",\n      reason: \"prefetchOnly\",\n      token: options.event.token,\n      trace: createNavigationTrace(NavigationTraceReasonCodes.prefetchOnly, traceFields),\n    };\n  }\n\n  // interceptionContext is transport evidence, not authority. Normal payloads\n  // can carry it when a request was sent from an intercepted visible world, so\n  // only explicit __interception proof enters the preservation branch.\n  const hasInterceptedPayload = targetSnapshot.interception !== null;\n  if (hasInterceptedPayload) {\n    const validation = validateInterceptedPreservation({\n      currentSnapshot: options.state.visibleSnapshot,\n      currentTopology,\n      routeManifest: options.routeManifest,\n      targetSnapshot,\n      targetTopology,\n    });\n    if (validation.kind === \"rejected\") {\n      return createInterceptionProofRejectedDecision({\n        event: options.event,\n        reasonCode: validation.reasonCode,\n        traceFields,\n      });\n    }\n\n    return {\n      kind: \"proposeCommit\",\n      proposal: {\n        preserveAbsentSlots: false,\n        preserveElementIds: validation.preserveElementIds,\n        preservePreviousSlotIds: validation.preservePreviousSlotIds,\n        reason: \"interceptedCurrentRootBoundary\",\n        targetSnapshot,\n      },\n      token: options.event.token,\n      trace: createNavigationTrace(\n        NavigationTraceReasonCodes.interceptedCommitCurrent,\n        traceFields,\n      ),\n    };\n  }\n\n  const transition = classifyRootBoundaryTransition(\n    currentTopology.rootBoundaryId,\n    targetTopology.rootBoundaryId,\n  );\n\n  if (transition === \"rootBoundaryChanged\") {\n    return {\n      kind: \"hardNavigate\",\n      reason: \"rootBoundaryChanged\",\n      token: options.event.token,\n      trace: createNavigationTrace(NavigationTraceReasonCodes.rootBoundaryChanged, traceFields),\n      url: options.event.result.href,\n    };\n  }\n\n  if (transition === \"rootBoundaryUnknownFallback\") {\n    // Unknown root identity is an uncertainty fallback, not evidence that\n    // reuse is safe. It remains only for callers without a manifest or routes\n    // that cannot be matched back to RouteManifest topology.\n    return {\n      kind: \"proposeCommit\",\n      proposal: {\n        preserveAbsentSlots: true,\n        preserveElementIds: [],\n        preservePreviousSlotIds: [],\n        reason: \"rootBoundaryUnknownFallback\",\n        targetSnapshot,\n      },\n      token: options.event.token,\n      trace: createNavigationTrace(NavigationTraceReasonCodes.rootBoundaryUnknown, traceFields),\n    };\n  }\n\n  return {\n    kind: \"proposeCommit\",\n    proposal: {\n      preserveAbsentSlots: false,\n      preserveElementIds: resolveCurrentRootBoundaryCommitElementPersistence({\n        currentTopology,\n        lane: options.event.token.lane,\n        targetTopology,\n      }),\n      preservePreviousSlotIds: resolveCurrentRootBoundaryCommitSlotPersistence({\n        currentTopology,\n        lane: options.event.token.lane,\n        targetTopology,\n      }),\n      reason: \"currentRootBoundary\",\n      targetSnapshot,\n    },\n    token: options.event.token,\n    trace: createNavigationTrace(NavigationTraceReasonCodes.commitCurrent, traceFields),\n  };\n}\n\nfunction planNavigation(input: NavigationPlannerInput): NavigationDecisionV0 {\n  switch (input.event.kind) {\n    case \"navigate\":\n      return createRequestWorkDecision({\n        eventKind: input.event.kind,\n        state: input.state,\n        work: {\n          href: input.event.href,\n          kind: \"flight\",\n          mode: input.event.mode,\n        },\n      });\n    case \"refresh\":\n      return createRequestWorkDecision({\n        eventKind: input.event.kind,\n        state: input.state,\n        work: {\n          href: input.state.visibleSnapshot.displayUrl,\n          kind: \"flight\",\n          mode: \"refresh\",\n        },\n      });\n    case \"traverse\":\n      return createRequestWorkDecision({\n        eventKind: input.event.kind,\n        state: input.state,\n        work: {\n          direction: input.event.direction,\n          historyState: input.event.historyState,\n          kind: \"traverseFlight\",\n        },\n      });\n    case \"prefetch\":\n      return createRequestWorkDecision({\n        eventKind: input.event.kind,\n        state: input.state,\n        work: {\n          href: input.event.href,\n          kind: \"prefetch\",\n        },\n      });\n    case \"flightResponseArrived\":\n      return planFlightResponseArrived({\n        event: input.event,\n        routeManifest: input.routeManifest,\n        state: input.state,\n      });\n    default: {\n      const _exhaustive: never = input.event;\n      throw new Error(\"[vinext] Unknown navigation event: \" + String(_exhaustive));\n    }\n  }\n}\n\nexport const navigationPlanner = {\n  classifyRootBoundaryTransition,\n  plan: planNavigation,\n  resolveCurrentRootBoundaryElementPersistence,\n  resolveMountedParallelSlotPersistence,\n  resolveSameLayoutAncestorPersistence,\n};\n"],"mappings":";;;;;;AAkKA,MAAM,uCAAuC;AAE7C,SAAS,0BAA0B,SAIV;CACvB,MAAM,iBACJ,QAAQ,KAAK,SAAS,mBAAmB,EAAE,mBAAmB,QAAQ,KAAK,WAAW,GAAG,EAAE;CAC7F,OAAO;EACL,MAAM;EACN,OAAO,QAAQ,MAAM;EACrB,MAAM,QAAQ;EACd,OAAO,sBAAsB,2BAA2B,aAAa;GACnE,WAAW,QAAQ;GACnB,YAAY,2BAA2B,QAAQ,KAAK;GACpD,GAAG;GACJ,CAAC;EACH;;AAGH,SAAS,2BAA2B,MAAoC;CACtE,QAAQ,KAAK,MAAb;EACE,KAAK;EACL,KAAK,YACH,OAAO,KAAK;EACd,KAAK,kBACH,OAAO;EACT,SAEE,MAAM,IAAI,MAAM,iDAAiD,OAAOA,KAAY,CAAC;;;AAK3F,SAAS,4BAA4B,UAAkD;CACrF,OAAO;EACL,WAAW,SAAS;EACpB,gBAAgB,SAAS;EACzB,oBAAoB,SAAS;EAC7B,cAAc,SAAS;EACxB;;AAGH,SAAS,oCAAoC,SAAyB;CACpE,MAAM,iBAAiB,QAAQ,QAAQ,qCAAqC;CAC5E,OAAO,mBAAmB,KAAK,UAAU,QAAQ,MAAM,GAAG,eAAe;;AAG3E,SAAS,sBAAsB,YAA4B;CACzD,IAAI;EACF,OAAO,IAAI,IAAI,YAAY,uBAAuB,CAAC;SAC7C;EACN,MAAM,CAAC,cAAc,MAAM,WAAW,MAAM,IAAI;EAChD,MAAM,CAAC,WAAW,MAAM,YAAY,MAAM,IAAI;EAC9C,OAAO,aAAa,KAAK,MAAM;;;AAInC,SAAS,8BAA8B,YAA8B;CACnE,OAAO,+BAA+B,sBAAsB,WAAW,CAAC,CACrE,MAAM,IAAI,CACV,QAAQ,SAAS,KAAK,SAAS,EAAE;;AAGtC,SAAS,mCACP,eACA,YAC2B;CAC3B,MAAM,WAAW,8BAA8B,WAAW;CAK1D,KAAK,MAAM,SAAS,cAAc,aAAa,OAAO,QAAQ,EAC5D,IAAI,kBAAkB,UAAU,MAAM,aAAa,KAAK,MACtD,OAAO;CAIX,OAAO;;AAGT,SAAS,6BAA6B,OAA2B,YAA6B;CAC5F,OAAO,kBAAkB,8BAA8B,WAAW,EAAE,MAAM,aAAa,KAAK;;AAG9F,SAAS,uCAAuC,SAIlB;CAC5B,MAAM,UAAU,oCAAoC,QAAQ,QAAQ;CACpE,MAAM,QAAQ,QAAQ,cAAc,aAAa,OAAO,IAAI,QAAQ;CACpE,IAAI,SAAS,6BAA6B,OAAO,QAAQ,WAAW,EAClE,OAAO;CAGT,OAAO,mCAAmC,QAAQ,eAAe,QAAQ,WAAW;;AAGtF,SAAS,kCACP,eACA,UAC2B;CAC3B,IAAI,SAAS,iBAAiB,MAC5B,OAAO,uCAAuC;EAC5C,YAAY,SAAS,aAAa;EAClC,SAAS,SAAS,aAAa;EAC/B;EACD,CAAC;CAGJ,OAAO,uCAAuC;EAC5C,YAAY,SAAS;EACrB,SAAS,SAAS;EAClB;EACD,CAAC;;AAGJ,SAAS,iCACP,eACA,OAC0C;CAC1C,MAAM,WAA4C,EAAE;CACpD,KAAK,MAAM,UAAU,MAAM,SAAS;EAClC,MAAM,UAAU,cAAc,aAAa,aAAa,IAAI,GAAG,MAAM,GAAG,IAAI,SAAS;EACrF,IAAI,CAAC,SAAS;EACd,SAAS,KAAK;GACZ,eAAe,QAAQ;GACvB,QAAQ,QAAQ;GAChB,OAAO,QAAQ;GAChB,CAAC;;CAGJ,OAAO,SAAS,MAAM,MAAM,UAAU,0BAA0B,KAAK,QAAQ,MAAM,OAAO,CAAC;;AAG7F,SAAS,uCACP,eACA,OACe;CACf,IAAI,MAAM,mBAAmB,MAAM,OAAO;CAC1C,OAAO,cAAc,aAAa,eAAe,IAAI,MAAM,eAAe,EAAE,YAAY;;AAG1F,SAAS,6BAA6B,SAIZ;CACxB,MAAM,QACJ,QAAQ,kBAAkB,OACtB,OACA,kCAAkC,QAAQ,eAAe,QAAQ,SAAS;CAChF,IAAI,UAAU,QAAQ,QAAQ,kBAAkB,MAC9C,OAAO,4BAA4B,QAAQ,SAAS;CAKtD,MAAM,gCACJ,QAAQ,sBAAsB,oBAAoB,QAAQ,SAAS,iBAAiB;CAEtF,OAAO;EACL,WAAW,MAAM;EACjB,gBAAgB,MAAM;EACtB,oBAAoB,uCAAuC,QAAQ,eAAe,MAAM;EACxF,cAAc,gCACV,iCAAiC,QAAQ,eAAe,MAAM,GAC9D,QAAQ,SAAS;EACtB;;AAGH,SAAS,sCACP,eACA,OACkC;CAClC,MAAM,cAAc,8BAA8B,MAAM,iBAAiB;CACzE,MAAM,cAAc,8BAA8B,MAAM,iBAAiB;CACzE,MAAM,cAAc,uCAAuC;EACzD,YAAY,MAAM;EAClB,SAAS,MAAM;EACf;EACD,CAAC;CACF,MAAM,yBACJ,cAAc,aAAa,sBAAsB,IAAI,MAAM,OAAO,IAAI,EAAE;CAE1E,KAAK,MAAM,gBAAgB,wBAAwB;EACjD,IAAI,CAAC,wBAAwB,aAAa,aAAa,mBAAmB,EACxE;EAEF,IAAI,kBAAkB,aAAa,aAAa,mBAAmB,KAAK,MAAM;EAC9E,IAAI,aAAa,kBAAkB,QAAQ,aAAa,OAAO,aAAa,eAC1E;EAEF,OAAO;;CAGT,OAAO;;AAGT,SAAS,8BAA8B,SAKb;CAIxB,IAAI,QAAQ,MAAM,aAChB,OAAO;EACL,GAAG,QAAQ,MAAM;EACjB,2BAA2B,QAAQ;EACnC,wBAAwB,QAAQ;EACjC;CAGH,OAAO,qCAAqC;EAC1C,2BAA2B,QAAQ;EACnC,6BAA6B,QAAQ,MAAM;EAC3C,wBAAwB,QAAQ;EAChC,6BAA6B,QAAQ,MAAM,MAAM;EAClD,CAAC;;AAGJ,SAAS,+BACP,uBACA,oBACwB;CACxB,IAAI,0BAA0B,QAAQ,uBAAuB,MAI3D,OAAO;CAGT,OAAO,0BAA0B,qBAC7B,wBACA;;AAGN,SAAS,qCACP,iBACA,gBACmB;CACnB,OAAO,kDACL,4BAA4B,gBAAgB,EAC5C,4BAA4B,eAAe,CAC5C;;AAGH,SAAS,kDACP,iBACA,gBACmB;CACnB,IACE,+BACE,gBAAgB,gBAChB,eAAe,eAChB,KAAK,uBAEN,OAAO,EAAE;CAGX,MAAM,kBAA4B,EAAE;CACpC,MAAM,YAAY,KAAK,IAAI,gBAAgB,UAAU,QAAQ,eAAe,UAAU,OAAO;CAC7F,KAAK,IAAI,QAAQ,GAAG,QAAQ,WAAW,SAAS;EAC9C,MAAM,WAAW,gBAAgB,UAAU;EAC3C,IAAI,aAAa,eAAe,UAAU,QAAQ;EAClD,gBAAgB,KAAK,SAAS;;CAEhC,OAAO;;AAGT,SAAS,sCACP,iBACA,gBACmB;CAEnB,OAAO,gDAAgD,iBAD5B,qCAAqC,iBAAiB,eACS,CAAC;;AAG7F,SAAS,gDACP,iBACA,oBACmB;CACnB,IAAI,mBAAmB,WAAW,GAAG,OAAO,EAAE;CAC9C,MAAM,uBAAuB,IAAI,IAAI,mBAAmB;CAExD,MAAM,mBAA6B,EAAE;CACrC,MAAM,8BAAc,IAAI,KAAa;CACrC,KAAK,MAAM,QAAQ,gBAAgB,sBAAsB;EACvD,IAAI,KAAK,kBAAkB,MAAM;EACjC,IAAI,CAAC,qBAAqB,IAAI,KAAK,cAAc,EAAE;EACnD,IAAI,YAAY,IAAI,KAAK,OAAO,EAAE;EAElC,iBAAiB,KAAK,KAAK,OAAO;EAClC,YAAY,IAAI,KAAK,OAAO;;CAE9B,OAAO;;AAGT,SAAS,6CACP,iBACA,gBACmB;CACnB,MAAM,qBAAqB,qCAAqC,iBAAiB,eAAe;CAIhG,OAAO,CACL,GAAG,oBACH,GAAG,gDAAgD,iBAAiB,mBAAmB,CACxF;;AAGH,SAAS,mDAAmD,SAItC;CAOpB,OAAO,kDACL,QAAQ,iBACR,QAAQ,eACT;;AAGH,SAAS,gDAAgD,SAInC;CACpB,IAAI,QAAQ,SAAS,YAAY,OAAO,EAAE;CAE1C,MAAM,qBAAqB,kDACzB,QAAQ,iBACR,QAAQ,eACT;CACD,IAAI,mBAAmB,WAAW,GAAG,OAAO,EAAE;CAE9C,OAAO,mDAAmD;EACxD,qBAAqB,QAAQ,gBAAgB;EAC7C;EACA,oBAAoB,QAAQ,eAAe;EAC5C,CAAC;;;;;;;;;;;;AAaJ,SAAS,mDAAmD,SAItC;CACpB,MAAM,uBAAuB,IAAI,IAAI,QAAQ,mBAAmB;CAChE,MAAM,qCAAqB,IAAI,KAAa;CAC5C,KAAK,MAAM,WAAW,QAAQ,qBAAqB;EACjD,IAAI,QAAQ,UAAU,aAAa;EACnC,mBAAmB,IAAI,QAAQ,OAAO;;CAGxC,MAAM,mBAA6B,EAAE;CACrC,MAAM,8BAAc,IAAI,KAAa;CACrC,KAAK,MAAM,WAAW,QAAQ,oBAAoB;EAChD,IAAI,QAAQ,kBAAkB,MAAM;EACpC,IAAI,CAAC,qBAAqB,IAAI,QAAQ,cAAc,EAAE;EACtD,IAAI,QAAQ,UAAU,UAAU;EAChC,IAAI,CAAC,mBAAmB,IAAI,QAAQ,OAAO,EAAE;EAC7C,IAAI,YAAY,IAAI,QAAQ,OAAO,EAAE;EAErC,iBAAiB,KAAK,QAAQ,OAAO;EACrC,YAAY,IAAI,QAAQ,OAAO;;CAEjC,OAAO,iBAAiB,KAAK,0BAA0B;;AAmBzD,SAAS,qCACP,UACmC;CACnC,IAAI,SAAS,cACX,OAAO;EACL,YAAY,SAAS,aAAa;EAClC,SAAS,SAAS,aAAa;EAChC;CAEH,OAAO;EACL,YAAY,SAAS;EACrB,SAAS,SAAS;EACnB;;AAGH,SAAS,wCAAwC,SAIxB;CACvB,OAAO;EACL,MAAM;EACN,QAAQ;EACR,OAAO,QAAQ,MAAM;EACrB,OAAO,sBAAsB,QAAQ,YAAY,QAAQ,YAAY;EACrE,KAAK,QAAQ,MAAM,OAAO;EAC3B;;AAGH,SAAS,gCAAgC,SAMH;CACpC,MAAM,QAAQ,QAAQ,eAAe;CACrC,IAAI,CAAC,OACH,OAAO;EACL,MAAM;EACN,YAAY,2BAA2B;EACxC;CAGH,IAAI,MAAM,qBAAqB,QAAQ,eAAe,YACpD,OAAO;EACL,MAAM;EACN,YAAY,2BAA2B;EACxC;CAGH,MAAM,iBAAiB,qCAAqC,QAAQ,gBAAgB;CACpF,IACE,MAAM,qBAAqB,eAAe,cAC1C,MAAM,kBAAkB,eAAe,SAEvC,OAAO;EACL,MAAM;EACN,YAAY,2BAA2B;EACxC;CAGH,MAAM,uBACJ,QAAQ,kBAAkB,OACtB,OACA,sCAAsC,QAAQ,eAAe,MAAM;CACzE,IAAI,QAAQ,kBAAkB,QAAQ,yBAAyB,MAC7D,OAAO;EACL,MAAM;EACN,YAAY,2BAA2B;EACxC;CAGH,MAAM,qBAAqB,kDACzB,QAAQ,iBACR,QAAQ,eACT;CACD,IAAI,mBAAmB,WAAW,GAChC,OAAO;EACL,MAAM;EACN,YAAY,2BAA2B;EACxC;CAGH,MAAM,uBAAuB,IAAI,IAAI,mBAAmB;CACxD,MAAM,oBAAoB,QAAQ,eAAe,aAAa,MAC3D,YAAY,QAAQ,WAAW,MAAM,OACvC;CACD,IACE,CAAC,qBACD,kBAAkB,UAAU,YAC5B,kBAAkB,kBAAkB,QACpC,CAAC,qBAAqB,IAAI,kBAAkB,cAAc,EAE1D,OAAO;EACL,MAAM;EACN,YAAY,2BAA2B;EACxC;CAEH,IACE,yBAAyB,QACzB,kBAAkB,kBAAkB,qBAAqB,eAEzD,OAAO;EACL,MAAM;EACN,YAAY,2BAA2B;EACxC;CASH,OAAO;EACL,MAAM;EACN,oBAAoB;EACpB,yBAT8B,mDAAmD;GACjF,qBAAqB,QAAQ,gBAAgB;GAC7C;GACA,oBAAoB,QAAQ,eAAe;GAC5C,CAAC,CAAC,QAAQ,WAAW,WAAW,MAAM,OAKd;EACxB;;AAGH,SAAS,0BAA0B,SAIV;CACvB,MAAM,iBAAiB,QAAQ,MAAM,OAAO;CAC5C,MAAM,kBAAkB,6BAA6B;EACnD,eAAe,QAAQ;EACvB,mBAAmB;EACnB,UAAU,QAAQ,MAAM;EACzB,CAAC;CACF,MAAM,iBAAiB,6BAA6B;EAClD,eAAe,QAAQ;EACvB,mBAAmB;EACnB,UAAU;EACX,CAAC;CACF,MAAM,cAAc,8BAA8B;EAChD,2BAA2B,gBAAgB;EAC3C,OAAO,QAAQ;EACf,wBAAwB,eAAe;EACvC,OAAO,QAAQ;EAChB,CAAC;CAEF,IAAI,QAAQ,MAAM,MAAM,SAAS,YAC/B,OAAO;EACL,MAAM;EACN,QAAQ;EACR,OAAO,QAAQ,MAAM;EACrB,OAAO,sBAAsB,2BAA2B,cAAc,YAAY;EACnF;CAOH,IAD8B,eAAe,iBAAiB,MACnC;EACzB,MAAM,aAAa,gCAAgC;GACjD,iBAAiB,QAAQ,MAAM;GAC/B;GACA,eAAe,QAAQ;GACvB;GACA;GACD,CAAC;EACF,IAAI,WAAW,SAAS,YACtB,OAAO,wCAAwC;GAC7C,OAAO,QAAQ;GACf,YAAY,WAAW;GACvB;GACD,CAAC;EAGJ,OAAO;GACL,MAAM;GACN,UAAU;IACR,qBAAqB;IACrB,oBAAoB,WAAW;IAC/B,yBAAyB,WAAW;IACpC,QAAQ;IACR;IACD;GACD,OAAO,QAAQ,MAAM;GACrB,OAAO,sBACL,2BAA2B,0BAC3B,YACD;GACF;;CAGH,MAAM,aAAa,+BACjB,gBAAgB,gBAChB,eAAe,eAChB;CAED,IAAI,eAAe,uBACjB,OAAO;EACL,MAAM;EACN,QAAQ;EACR,OAAO,QAAQ,MAAM;EACrB,OAAO,sBAAsB,2BAA2B,qBAAqB,YAAY;EACzF,KAAK,QAAQ,MAAM,OAAO;EAC3B;CAGH,IAAI,eAAe,+BAIjB,OAAO;EACL,MAAM;EACN,UAAU;GACR,qBAAqB;GACrB,oBAAoB,EAAE;GACtB,yBAAyB,EAAE;GAC3B,QAAQ;GACR;GACD;EACD,OAAO,QAAQ,MAAM;EACrB,OAAO,sBAAsB,2BAA2B,qBAAqB,YAAY;EAC1F;CAGH,OAAO;EACL,MAAM;EACN,UAAU;GACR,qBAAqB;GACrB,oBAAoB,mDAAmD;IACrE;IACA,MAAM,QAAQ,MAAM,MAAM;IAC1B;IACD,CAAC;GACF,yBAAyB,gDAAgD;IACvE;IACA,MAAM,QAAQ,MAAM,MAAM;IAC1B;IACD,CAAC;GACF,QAAQ;GACR;GACD;EACD,OAAO,QAAQ,MAAM;EACrB,OAAO,sBAAsB,2BAA2B,eAAe,YAAY;EACpF;;AAGH,SAAS,eAAe,OAAqD;CAC3E,QAAQ,MAAM,MAAM,MAApB;EACE,KAAK,YACH,OAAO,0BAA0B;GAC/B,WAAW,MAAM,MAAM;GACvB,OAAO,MAAM;GACb,MAAM;IACJ,MAAM,MAAM,MAAM;IAClB,MAAM;IACN,MAAM,MAAM,MAAM;IACnB;GACF,CAAC;EACJ,KAAK,WACH,OAAO,0BAA0B;GAC/B,WAAW,MAAM,MAAM;GACvB,OAAO,MAAM;GACb,MAAM;IACJ,MAAM,MAAM,MAAM,gBAAgB;IAClC,MAAM;IACN,MAAM;IACP;GACF,CAAC;EACJ,KAAK,YACH,OAAO,0BAA0B;GAC/B,WAAW,MAAM,MAAM;GACvB,OAAO,MAAM;GACb,MAAM;IACJ,WAAW,MAAM,MAAM;IACvB,cAAc,MAAM,MAAM;IAC1B,MAAM;IACP;GACF,CAAC;EACJ,KAAK,YACH,OAAO,0BAA0B;GAC/B,WAAW,MAAM,MAAM;GACvB,OAAO,MAAM;GACb,MAAM;IACJ,MAAM,MAAM,MAAM;IAClB,MAAM;IACP;GACF,CAAC;EACJ,KAAK,yBACH,OAAO,0BAA0B;GAC/B,OAAO,MAAM;GACb,eAAe,MAAM;GACrB,OAAO,MAAM;GACd,CAAC;EACJ,SAAS;GACP,MAAM,cAAqB,MAAM;GACjC,MAAM,IAAI,MAAM,wCAAwC,OAAO,YAAY,CAAC;;;;AAKlF,MAAa,oBAAoB;CAC/B;CACA,MAAM;CACN;CACA;CACA;CACD"}

package/dist/server/navigation-trace.d.ts

@@ -3,6 +3,15 @@ declare const NAVIGATION_TRACE_SCHEMA_VERSION = 0;
 type NavigationTraceSchemaVersion = 0;
 declare const NavigationTraceReasonCodes: {
   commitCurrent: "NC_COMMIT";
+  interceptedCommitCurrent: "NC_INTERCEPT_COMMIT";
+  interceptedRejectedIncompatibleRoot: "NC_INTERCEPT_REJECT_ROOT";
+  interceptedRejectedMissingProof: "NC_INTERCEPT_REJECT_MISSING_PROOF";
+  interceptedRejectedMissingSlotProof: "NC_INTERCEPT_REJECT_SLOT";
+  interceptedRejectedTargetMismatch: "NC_INTERCEPT_REJECT_TARGET";
+  interceptedRejectedUndeclaredTopology: "NC_INTERCEPT_REJECT_GRAPH";
+  interceptedRejectedUnknownSource: "NC_INTERCEPT_REJECT_SOURCE";
+  prefetchOnly: "NC_PREFETCH_ONLY";
+  requestWork: "NC_REQUEST";
   rootBoundaryChanged: "NC_ROOT";
   rootBoundaryUnknown: "NC_ROOT_UNKNOWN";
   staleOperation: "NC_STALE";
@@ -15,7 +24,7 @@ declare const NavigationTraceTransactionCodes: {
 type NavigationTraceReasonCode = (typeof NavigationTraceReasonCodes)[keyof typeof NavigationTraceReasonCodes];
 type NavigationTraceTransactionCode = (typeof NavigationTraceTransactionCodes)[keyof typeof NavigationTraceTransactionCodes];
 type NavigationTraceCode = NavigationTraceReasonCode | NavigationTraceTransactionCode;
-type NavigationTraceFieldName = "activeNavigationId" | "currentRootLayoutTreePath" | "nextRootLayoutTreePath" | "operationLane" | "pendingOperationId" | "startedVisibleCommitVersion" | "startedNavigationId";
+type NavigationTraceFieldName = "activeNavigationId" | "currentRootLayoutTreePath" | "currentVisibleCommitVersion" | "nextRootLayoutTreePath" | "eventKind" | "operationLane" | "pendingOperationId" | "startedVisibleCommitVersion" | "startedNavigationId" | "targetHref" | "traverseDirection";
 type NavigationTraceFieldValue = string | number | boolean | null;
 type NavigationTraceFields = Readonly<Partial<Record<NavigationTraceFieldName, NavigationTraceFieldValue>>>;
 type NavigationTraceEntry = Readonly<{
@@ -26,8 +35,16 @@ type NavigationTrace = Readonly<{
   schemaVersion: NavigationTraceSchemaVersion;
   entries: readonly NavigationTraceEntry[];
 }>;
+declare function createNavigationLifecycleTraceFields(options: {
+  activeNavigationId?: number;
+  currentRootLayoutTreePath: string | null;
+  currentVisibleCommitVersion: number;
+  nextRootLayoutTreePath: string | null;
+  startedNavigationId?: number;
+  startedVisibleCommitVersion: number;
+}): NavigationTraceFields;
 declare function createNavigationTrace(code: NavigationTraceCode, fields?: NavigationTraceFields): NavigationTrace;
 declare function prependNavigationTraceEntry(trace: NavigationTrace, code: NavigationTraceCode, fields?: NavigationTraceFields): NavigationTrace;
 //#endregion
-export { NAVIGATION_TRACE_SCHEMA_VERSION, NavigationTrace, NavigationTraceCode, NavigationTraceEntry, NavigationTraceFieldName, NavigationTraceFieldValue, NavigationTraceFields, NavigationTraceReasonCode, NavigationTraceReasonCodes, NavigationTraceSchemaVersion, NavigationTraceTransactionCode, NavigationTraceTransactionCodes, createNavigationTrace, prependNavigationTraceEntry };
+export { NAVIGATION_TRACE_SCHEMA_VERSION, NavigationTrace, NavigationTraceCode, NavigationTraceEntry, NavigationTraceFieldName, NavigationTraceFieldValue, NavigationTraceFields, NavigationTraceReasonCode, NavigationTraceReasonCodes, NavigationTraceSchemaVersion, NavigationTraceTransactionCode, NavigationTraceTransactionCodes, createNavigationLifecycleTraceFields, createNavigationTrace, prependNavigationTraceEntry };
 //# sourceMappingURL=navigation-trace.d.ts.map

package/dist/server/navigation-trace.js

@@ -2,6 +2,15 @@
 const NAVIGATION_TRACE_SCHEMA_VERSION = 0;
 const NavigationTraceReasonCodes = {
 	commitCurrent: "NC_COMMIT",
+	interceptedCommitCurrent: "NC_INTERCEPT_COMMIT",
+	interceptedRejectedIncompatibleRoot: "NC_INTERCEPT_REJECT_ROOT",
+	interceptedRejectedMissingProof: "NC_INTERCEPT_REJECT_MISSING_PROOF",
+	interceptedRejectedMissingSlotProof: "NC_INTERCEPT_REJECT_SLOT",
+	interceptedRejectedTargetMismatch: "NC_INTERCEPT_REJECT_TARGET",
+	interceptedRejectedUndeclaredTopology: "NC_INTERCEPT_REJECT_GRAPH",
+	interceptedRejectedUnknownSource: "NC_INTERCEPT_REJECT_SOURCE",
+	prefetchOnly: "NC_PREFETCH_ONLY",
+	requestWork: "NC_REQUEST",
 	rootBoundaryChanged: "NC_ROOT",
 	rootBoundaryUnknown: "NC_ROOT_UNKNOWN",
 	staleOperation: "NC_STALE"
@@ -11,6 +20,16 @@ const NavigationTraceTransactionCodes = {
 	noCommit: "NT_NO_COMMIT",
 	visibleCommit: "NT_VISIBLE_COMMIT"
 };
+function createNavigationLifecycleTraceFields(options) {
+	return {
+		...options.activeNavigationId !== void 0 ? { activeNavigationId: options.activeNavigationId } : {},
+		currentRootLayoutTreePath: options.currentRootLayoutTreePath,
+		currentVisibleCommitVersion: options.currentVisibleCommitVersion,
+		nextRootLayoutTreePath: options.nextRootLayoutTreePath,
+		...options.startedNavigationId !== void 0 ? { startedNavigationId: options.startedNavigationId } : {},
+		startedVisibleCommitVersion: options.startedVisibleCommitVersion
+	};
+}
 function createNavigationTraceEntry(code, fields = {}) {
 	return {
 		code,
@@ -30,6 +49,6 @@ function prependNavigationTraceEntry(trace, code, fields = {}) {
 	};
 }
 //#endregion
-export { NAVIGATION_TRACE_SCHEMA_VERSION, NavigationTraceReasonCodes, NavigationTraceTransactionCodes, createNavigationTrace, prependNavigationTraceEntry };
+export { NAVIGATION_TRACE_SCHEMA_VERSION, NavigationTraceReasonCodes, NavigationTraceTransactionCodes, createNavigationLifecycleTraceFields, createNavigationTrace, prependNavigationTraceEntry };
 
 //# sourceMappingURL=navigation-trace.js.map

package/dist/server/navigation-trace.js.map

@@ -1 +1 @@
-{"version":3,"file":"navigation-trace.js","names":[],"sources":["../../src/server/navigation-trace.ts"],"sourcesContent":["export const NAVIGATION_TRACE_SCHEMA_VERSION = 0;\n\nexport type NavigationTraceSchemaVersion = 0;\n\nexport const NavigationTraceReasonCodes = {\n  commitCurrent: \"NC_COMMIT\",\n  rootBoundaryChanged: \"NC_ROOT\",\n  rootBoundaryUnknown: \"NC_ROOT_UNKNOWN\",\n  staleOperation: \"NC_STALE\",\n} satisfies Readonly<{\n  commitCurrent: \"NC_COMMIT\";\n  rootBoundaryChanged: \"NC_ROOT\";\n  rootBoundaryUnknown: \"NC_ROOT_UNKNOWN\";\n  staleOperation: \"NC_STALE\";\n}>;\n\nexport const NavigationTraceTransactionCodes = {\n  hardNavigate: \"NT_HARD_NAVIGATE\",\n  noCommit: \"NT_NO_COMMIT\",\n  visibleCommit: \"NT_VISIBLE_COMMIT\",\n} satisfies Readonly<{\n  hardNavigate: \"NT_HARD_NAVIGATE\";\n  noCommit: \"NT_NO_COMMIT\";\n  visibleCommit: \"NT_VISIBLE_COMMIT\";\n}>;\n\nexport type NavigationTraceReasonCode =\n  (typeof NavigationTraceReasonCodes)[keyof typeof NavigationTraceReasonCodes];\n\nexport type NavigationTraceTransactionCode =\n  (typeof NavigationTraceTransactionCodes)[keyof typeof NavigationTraceTransactionCodes];\n\nexport type NavigationTraceCode = NavigationTraceReasonCode | NavigationTraceTransactionCode;\n\nexport type NavigationTraceFieldName =\n  | \"activeNavigationId\"\n  | \"currentRootLayoutTreePath\"\n  | \"nextRootLayoutTreePath\"\n  | \"operationLane\"\n  | \"pendingOperationId\"\n  | \"startedVisibleCommitVersion\"\n  | \"startedNavigationId\";\n\nexport type NavigationTraceFieldValue = string | number | boolean | null;\n\nexport type NavigationTraceFields = Readonly<\n  Partial<Record<NavigationTraceFieldName, NavigationTraceFieldValue>>\n>;\n\nexport type NavigationTraceEntry = Readonly<{\n  code: NavigationTraceCode;\n  fields: NavigationTraceFields;\n}>;\n\nexport type NavigationTrace = Readonly<{\n  schemaVersion: NavigationTraceSchemaVersion;\n  entries: readonly NavigationTraceEntry[];\n}>;\n\nfunction createNavigationTraceEntry(\n  code: NavigationTraceCode,\n  fields: NavigationTraceFields = {},\n): NavigationTraceEntry {\n  return {\n    code,\n    fields: { ...fields },\n  };\n}\n\nexport function createNavigationTrace(\n  code: NavigationTraceCode,\n  fields: NavigationTraceFields = {},\n): NavigationTrace {\n  return {\n    schemaVersion: NAVIGATION_TRACE_SCHEMA_VERSION,\n    entries: [createNavigationTraceEntry(code, fields)],\n  };\n}\n\nexport function prependNavigationTraceEntry(\n  trace: NavigationTrace,\n  code: NavigationTraceCode,\n  fields: NavigationTraceFields = {},\n): NavigationTrace {\n  return {\n    schemaVersion: trace.schemaVersion,\n    entries: [createNavigationTraceEntry(code, fields), ...trace.entries],\n  };\n}\n"],"mappings":";AAAA,MAAa,kCAAkC;AAI/C,MAAa,6BAA6B;CACxC,eAAe;CACf,qBAAqB;CACrB,qBAAqB;CACrB,gBAAgB;CACjB;AAOD,MAAa,kCAAkC;CAC7C,cAAc;CACd,UAAU;CACV,eAAe;CAChB;AAuCD,SAAS,2BACP,MACA,SAAgC,EAAE,EACZ;AACtB,QAAO;EACL;EACA,QAAQ,EAAE,GAAG,QAAQ;EACtB;;AAGH,SAAgB,sBACd,MACA,SAAgC,EAAE,EACjB;AACjB,QAAO;EACL,eAAA;EACA,SAAS,CAAC,2BAA2B,MAAM,OAAO,CAAC;EACpD;;AAGH,SAAgB,4BACd,OACA,MACA,SAAgC,EAAE,EACjB;AACjB,QAAO;EACL,eAAe,MAAM;EACrB,SAAS,CAAC,2BAA2B,MAAM,OAAO,EAAE,GAAG,MAAM,QAAQ;EACtE"}
+{"version":3,"file":"navigation-trace.js","names":[],"sources":["../../src/server/navigation-trace.ts"],"sourcesContent":["export const NAVIGATION_TRACE_SCHEMA_VERSION = 0;\n\nexport type NavigationTraceSchemaVersion = 0;\n\nexport const NavigationTraceReasonCodes = {\n  commitCurrent: \"NC_COMMIT\",\n  interceptedCommitCurrent: \"NC_INTERCEPT_COMMIT\",\n  interceptedRejectedIncompatibleRoot: \"NC_INTERCEPT_REJECT_ROOT\",\n  interceptedRejectedMissingProof: \"NC_INTERCEPT_REJECT_MISSING_PROOF\",\n  interceptedRejectedMissingSlotProof: \"NC_INTERCEPT_REJECT_SLOT\",\n  interceptedRejectedTargetMismatch: \"NC_INTERCEPT_REJECT_TARGET\",\n  interceptedRejectedUndeclaredTopology: \"NC_INTERCEPT_REJECT_GRAPH\",\n  interceptedRejectedUnknownSource: \"NC_INTERCEPT_REJECT_SOURCE\",\n  prefetchOnly: \"NC_PREFETCH_ONLY\",\n  requestWork: \"NC_REQUEST\",\n  rootBoundaryChanged: \"NC_ROOT\",\n  rootBoundaryUnknown: \"NC_ROOT_UNKNOWN\",\n  staleOperation: \"NC_STALE\",\n} satisfies Readonly<{\n  commitCurrent: \"NC_COMMIT\";\n  interceptedCommitCurrent: \"NC_INTERCEPT_COMMIT\";\n  interceptedRejectedIncompatibleRoot: \"NC_INTERCEPT_REJECT_ROOT\";\n  interceptedRejectedMissingProof: \"NC_INTERCEPT_REJECT_MISSING_PROOF\";\n  interceptedRejectedMissingSlotProof: \"NC_INTERCEPT_REJECT_SLOT\";\n  interceptedRejectedTargetMismatch: \"NC_INTERCEPT_REJECT_TARGET\";\n  interceptedRejectedUndeclaredTopology: \"NC_INTERCEPT_REJECT_GRAPH\";\n  interceptedRejectedUnknownSource: \"NC_INTERCEPT_REJECT_SOURCE\";\n  prefetchOnly: \"NC_PREFETCH_ONLY\";\n  requestWork: \"NC_REQUEST\";\n  rootBoundaryChanged: \"NC_ROOT\";\n  rootBoundaryUnknown: \"NC_ROOT_UNKNOWN\";\n  staleOperation: \"NC_STALE\";\n}>;\n\nexport const NavigationTraceTransactionCodes = {\n  hardNavigate: \"NT_HARD_NAVIGATE\",\n  noCommit: \"NT_NO_COMMIT\",\n  visibleCommit: \"NT_VISIBLE_COMMIT\",\n} satisfies Readonly<{\n  hardNavigate: \"NT_HARD_NAVIGATE\";\n  noCommit: \"NT_NO_COMMIT\";\n  visibleCommit: \"NT_VISIBLE_COMMIT\";\n}>;\n\nexport type NavigationTraceReasonCode =\n  (typeof NavigationTraceReasonCodes)[keyof typeof NavigationTraceReasonCodes];\n\nexport type NavigationTraceTransactionCode =\n  (typeof NavigationTraceTransactionCodes)[keyof typeof NavigationTraceTransactionCodes];\n\nexport type NavigationTraceCode = NavigationTraceReasonCode | NavigationTraceTransactionCode;\n\nexport type NavigationTraceFieldName =\n  | \"activeNavigationId\"\n  | \"currentRootLayoutTreePath\"\n  | \"currentVisibleCommitVersion\"\n  | \"nextRootLayoutTreePath\"\n  | \"eventKind\"\n  | \"operationLane\"\n  | \"pendingOperationId\"\n  | \"startedVisibleCommitVersion\"\n  | \"startedNavigationId\"\n  | \"targetHref\"\n  | \"traverseDirection\";\n\nexport type NavigationTraceFieldValue = string | number | boolean | null;\n\nexport type NavigationTraceFields = Readonly<\n  Partial<Record<NavigationTraceFieldName, NavigationTraceFieldValue>>\n>;\n\nexport type NavigationTraceEntry = Readonly<{\n  code: NavigationTraceCode;\n  fields: NavigationTraceFields;\n}>;\n\nexport type NavigationTrace = Readonly<{\n  schemaVersion: NavigationTraceSchemaVersion;\n  entries: readonly NavigationTraceEntry[];\n}>;\n\nexport function createNavigationLifecycleTraceFields(options: {\n  activeNavigationId?: number;\n  currentRootLayoutTreePath: string | null;\n  currentVisibleCommitVersion: number;\n  nextRootLayoutTreePath: string | null;\n  startedNavigationId?: number;\n  startedVisibleCommitVersion: number;\n}): NavigationTraceFields {\n  return {\n    ...(options.activeNavigationId !== undefined\n      ? { activeNavigationId: options.activeNavigationId }\n      : {}),\n    currentRootLayoutTreePath: options.currentRootLayoutTreePath,\n    currentVisibleCommitVersion: options.currentVisibleCommitVersion,\n    nextRootLayoutTreePath: options.nextRootLayoutTreePath,\n    ...(options.startedNavigationId !== undefined\n      ? { startedNavigationId: options.startedNavigationId }\n      : {}),\n    startedVisibleCommitVersion: options.startedVisibleCommitVersion,\n  };\n}\n\nfunction createNavigationTraceEntry(\n  code: NavigationTraceCode,\n  fields: NavigationTraceFields = {},\n): NavigationTraceEntry {\n  return {\n    code,\n    fields: { ...fields },\n  };\n}\n\nexport function createNavigationTrace(\n  code: NavigationTraceCode,\n  fields: NavigationTraceFields = {},\n): NavigationTrace {\n  return {\n    schemaVersion: NAVIGATION_TRACE_SCHEMA_VERSION,\n    entries: [createNavigationTraceEntry(code, fields)],\n  };\n}\n\nexport function prependNavigationTraceEntry(\n  trace: NavigationTrace,\n  code: NavigationTraceCode,\n  fields: NavigationTraceFields = {},\n): NavigationTrace {\n  return {\n    schemaVersion: trace.schemaVersion,\n    entries: [createNavigationTraceEntry(code, fields), ...trace.entries],\n  };\n}\n"],"mappings":";AAAA,MAAa,kCAAkC;AAI/C,MAAa,6BAA6B;CACxC,eAAe;CACf,0BAA0B;CAC1B,qCAAqC;CACrC,iCAAiC;CACjC,qCAAqC;CACrC,mCAAmC;CACnC,uCAAuC;CACvC,kCAAkC;CAClC,cAAc;CACd,aAAa;CACb,qBAAqB;CACrB,qBAAqB;CACrB,gBAAgB;CACjB;AAgBD,MAAa,kCAAkC;CAC7C,cAAc;CACd,UAAU;CACV,eAAe;CAChB;AA2CD,SAAgB,qCAAqC,SAO3B;CACxB,OAAO;EACL,GAAI,QAAQ,uBAAuB,KAAA,IAC/B,EAAE,oBAAoB,QAAQ,oBAAoB,GAClD,EAAE;EACN,2BAA2B,QAAQ;EACnC,6BAA6B,QAAQ;EACrC,wBAAwB,QAAQ;EAChC,GAAI,QAAQ,wBAAwB,KAAA,IAChC,EAAE,qBAAqB,QAAQ,qBAAqB,GACpD,EAAE;EACN,6BAA6B,QAAQ;EACtC;;AAGH,SAAS,2BACP,MACA,SAAgC,EAAE,EACZ;CACtB,OAAO;EACL;EACA,QAAQ,EAAE,GAAG,QAAQ;EACtB;;AAGH,SAAgB,sBACd,MACA,SAAgC,EAAE,EACjB;CACjB,OAAO;EACL,eAAA;EACA,SAAS,CAAC,2BAA2B,MAAM,OAAO,CAAC;EACpD;;AAGH,SAAgB,4BACd,OACA,MACA,SAAgC,EAAE,EACjB;CACjB,OAAO;EACL,eAAe,MAAM;EACrB,SAAS,CAAC,2BAA2B,MAAM,OAAO,EAAE,GAAG,MAAM,QAAQ;EACtE"}

package/dist/server/next-error-digest.d.ts

@@ -15,7 +15,7 @@
  */
 type NextRedirectDigest = {
   status: number;
-  type: string;
+  type: string | null;
   url: string;
 };
 type NextHttpErrorDigest = {
@@ -30,7 +30,8 @@ declare function getNextErrorDigest(error: unknown): string | null;
  * Parses a `NEXT_REDIRECT;<type>;<encodedUrl>;<status>` digest. Returns null
  * when the digest is not a redirect digest or the encoded URL segment is
  * missing. The `url` is decoded with `decodeURIComponent`; the `status`
- * defaults to 307 when omitted; the `type` defaults to "push".
+ * defaults to 307 when omitted; an omitted `type` is left as null so the
+ * caller can apply the correct context-sensitive default.
  */
 declare function parseNextRedirectDigest(digest: string): NextRedirectDigest | null;
 /**