vinext 0.0.50 → 0.0.52

package/dist/server/navigation-planner.js

@@ -1,13 +1,21 @@
+import { splitPathnameForRouteMatch } 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";
+const CACHE_ENTRY_PROOF_MISSING_CODE = "CP_CACHE_ENTRY_PROOF_MISSING";
 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)
+			targetHref: getRequestedWorkTargetHref(options.work),
+			...traverseFields
 		})
 	};
 }
@@ -19,25 +27,131 @@ function getRequestedWorkTargetHref(work) {
 		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 splitPathnameForRouteMatch(getMatchedUrlPathname(matchedUrl));
+}
+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 { kind: "unknown" };
+	const shouldUseManifestSlotBindings = options.slotBindingSource === "manifestTarget" && options.snapshot.interception === null;
+	return {
+		kind: "known",
+		topology: {
+			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) {
-	return options.state.traceFields ?? createNavigationLifecycleTraceFields({
-		currentRootLayoutTreePath: options.state.visibleSnapshot.rootBoundaryId,
+	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.event.result.targetSnapshot.rootBoundaryId,
+		nextRootLayoutTreePath: options.nextRootLayoutTreePath,
 		startedVisibleCommitVersion: options.event.token.baseVisibleCommitVersion
 	});
 }
 function classifyRootBoundaryTransition(currentRootBoundaryId, nextRootBoundaryId) {
-	if (currentRootBoundaryId === null || nextRootBoundaryId === null) return "rootBoundaryUnknownFallback";
+	if (currentRootBoundaryId === null || nextRootBoundaryId === null) return "rootBoundaryUnknown";
 	return currentRootBoundaryId === nextRootBoundaryId ? "currentRootBoundary" : "rootBoundaryChanged";
 }
 function resolveSameLayoutAncestorPersistence(currentSnapshot, targetSnapshot) {
-	if (classifyRootBoundaryTransition(currentSnapshot.rootBoundaryId, targetSnapshot.rootBoundaryId) !== "currentRootBoundary") return [];
+	return resolveSameLayoutAncestorPersistenceForTopologies(createSnapshotRouteTopology(currentSnapshot), createSnapshotRouteTopology(targetSnapshot));
+}
+function resolveSameLayoutAncestorPersistenceForTopologies(currentTopology, targetTopology) {
+	if (classifyRootBoundaryTransition(currentTopology.rootBoundaryId, targetTopology.rootBoundaryId) !== "currentRootBoundary") return [];
 	const commonLayoutIds = [];
-	const maxLength = Math.min(currentSnapshot.layoutIds.length, targetSnapshot.layoutIds.length);
+	const maxLength = Math.min(currentTopology.layoutIds.length, targetTopology.layoutIds.length);
 	for (let index = 0; index < maxLength; index++) {
-		const layoutId = currentSnapshot.layoutIds[index];
-		if (layoutId !== targetSnapshot.layoutIds[index]) break;
+		const layoutId = currentTopology.layoutIds[index];
+		if (layoutId !== targetTopology.layoutIds[index]) break;
 		commonLayoutIds.push(layoutId);
 	}
 	return commonLayoutIds;
@@ -64,51 +178,270 @@ function resolveCurrentRootBoundaryElementPersistence(currentSnapshot, targetSna
 	return [...preservedLayoutIds, ...resolveMountedParallelSlotPersistenceForLayouts(currentSnapshot, preservedLayoutIds)];
 }
 function resolveCurrentRootBoundaryCommitElementPersistence(options) {
-	const preservedLayoutIds = resolveSameLayoutAncestorPersistence(options.currentSnapshot, options.targetSnapshot);
-	if (options.lane === "traverse") return preservedLayoutIds;
-	return [...preservedLayoutIds, ...resolveMountedParallelSlotPersistenceForLayouts(options.currentSnapshot, preservedLayoutIds)];
+	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 evaluateCacheEntryReuseProof(proof) {
+	if (proof === void 0) return {
+		kind: "accepted",
+		decision: null
+	};
+	if (proof.decision === null) return {
+		kind: "rejected",
+		decision: null
+	};
+	if (proof.decision.canReuse) return {
+		kind: "accepted",
+		decision: proof.decision
+	};
+	return {
+		kind: "rejected",
+		decision: proof.decision
+	};
+}
+function createCacheProofRejectedTraceFields(traceFields, decision) {
+	if (decision === null) return {
+		...traceFields,
+		cacheProofCode: CACHE_ENTRY_PROOF_MISSING_CODE
+	};
+	return {
+		...traceFields,
+		cacheProofCode: decision.code,
+		cacheProofMode: decision.mode,
+		cacheProofScope: decision.scope
+	};
+}
+function createCacheProofRejectedDecision(options) {
+	return {
+		kind: "hardNavigate",
+		reason: "cacheProofRejected",
+		token: options.event.token,
+		trace: createNavigationTrace(NavigationTraceReasonCodes.cacheProofRejected, createCacheProofRejectedTraceFields(options.traceFields, options.rejection.decision)),
+		url: options.event.result.href
+	};
+}
+function createAcceptedCacheProofTraceFields(traceFields, decision) {
+	if (decision === null) return traceFields;
+	return {
+		...traceFields,
+		cacheProofCode: decision.code,
+		cacheProofReuseClass: decision.reuseClass
+	};
+}
+function createCacheEntryProposalFields(decision) {
+	if (decision === null) return {};
+	return { cacheEntryReuseDecision: decision };
+}
+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 traceFields = createRootBoundaryTraceFields(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.kind === "known" ? currentTopology.topology.rootLayoutTreePath : null,
+		event: options.event,
+		nextRootLayoutTreePath: targetTopology.kind === "known" ? targetTopology.topology.rootLayoutTreePath : null,
+		state: options.state
+	});
 	if (options.event.token.lane === "prefetch") return {
 		kind: "noCommit",
 		reason: "prefetchOnly",
 		token: options.event.token,
 		trace: createNavigationTrace(NavigationTraceReasonCodes.prefetchOnly, traceFields)
 	};
-	const transition = classifyRootBoundaryTransition(options.state.visibleSnapshot.rootBoundaryId, options.event.result.targetSnapshot.rootBoundaryId);
+	const cacheEntryProofEvaluation = evaluateCacheEntryReuseProof(options.event.result.cacheEntryReuseProof);
+	if (cacheEntryProofEvaluation.kind === "rejected") return createCacheProofRejectedDecision({
+		event: options.event,
+		rejection: cacheEntryProofEvaluation,
+		traceFields
+	});
+	const acceptedCacheEntryDecision = cacheEntryProofEvaluation.decision;
+	const commitTraceFields = createAcceptedCacheProofTraceFields(traceFields, acceptedCacheEntryDecision);
+	const cacheEntryProposalFields = createCacheEntryProposalFields(acceptedCacheEntryDecision);
+	if (targetSnapshot.interception !== null) {
+		if (currentTopology.kind === "unknown" || targetTopology.kind === "unknown") return createInterceptionProofRejectedDecision({
+			event: options.event,
+			reasonCode: NavigationTraceReasonCodes.interceptedRejectedUndeclaredTopology,
+			traceFields: commitTraceFields
+		});
+		const validation = validateInterceptedPreservation({
+			currentSnapshot: options.state.visibleSnapshot,
+			currentTopology: currentTopology.topology,
+			routeManifest: options.routeManifest,
+			targetSnapshot,
+			targetTopology: targetTopology.topology
+		});
+		if (validation.kind === "rejected") return createInterceptionProofRejectedDecision({
+			event: options.event,
+			reasonCode: validation.reasonCode,
+			traceFields: commitTraceFields
+		});
+		return {
+			kind: "proposeCommit",
+			proposal: {
+				...cacheEntryProposalFields,
+				preserveAbsentSlots: false,
+				preserveElementIds: validation.preserveElementIds,
+				preservePreviousSlotIds: validation.preservePreviousSlotIds,
+				reason: "interceptedCurrentRootBoundary",
+				targetSnapshot
+			},
+			token: options.event.token,
+			trace: createNavigationTrace(NavigationTraceReasonCodes.interceptedCommitCurrent, commitTraceFields)
+		};
+	}
+	const transition = currentTopology.kind === "unknown" || targetTopology.kind === "unknown" ? "rootBoundaryUnknown" : classifyRootBoundaryTransition(currentTopology.topology.rootBoundaryId, targetTopology.topology.rootBoundaryId);
 	if (transition === "rootBoundaryChanged") return {
 		kind: "hardNavigate",
 		reason: "rootBoundaryChanged",
 		token: options.event.token,
-		trace: createNavigationTrace(NavigationTraceReasonCodes.rootBoundaryChanged, traceFields),
+		trace: createNavigationTrace(NavigationTraceReasonCodes.rootBoundaryChanged, commitTraceFields),
 		url: options.event.result.href
 	};
-	if (transition === "rootBoundaryUnknownFallback") return {
+	if (transition === "rootBoundaryUnknown") return {
 		kind: "proposeCommit",
 		proposal: {
-			preserveAbsentSlots: true,
+			...cacheEntryProposalFields,
+			preserveAbsentSlots: false,
 			preserveElementIds: [],
-			reason: "rootBoundaryUnknownFallback",
-			targetSnapshot: options.event.result.targetSnapshot
+			preservePreviousSlotIds: [],
+			reason: "unprovenTopologyFallback",
+			targetSnapshot
 		},
 		token: options.event.token,
-		trace: createNavigationTrace(NavigationTraceReasonCodes.rootBoundaryUnknown, traceFields)
+		trace: createNavigationTrace(NavigationTraceReasonCodes.rootBoundaryUnknown, commitTraceFields)
 	};
+	if (currentTopology.kind !== "known" || targetTopology.kind !== "known") throw new Error("[vinext] Current-root navigation planning requires manifest topology");
 	return {
 		kind: "proposeCommit",
 		proposal: {
+			...cacheEntryProposalFields,
 			preserveAbsentSlots: false,
 			preserveElementIds: resolveCurrentRootBoundaryCommitElementPersistence({
-				currentSnapshot: options.state.visibleSnapshot,
+				currentTopology: currentTopology.topology,
+				lane: options.event.token.lane,
+				targetTopology: targetTopology.topology
+			}),
+			preservePreviousSlotIds: resolveCurrentRootBoundaryCommitSlotPersistence({
+				currentTopology: currentTopology.topology,
 				lane: options.event.token.lane,
-				targetSnapshot: options.event.result.targetSnapshot
+				targetTopology: targetTopology.topology
 			}),
 			reason: "currentRootBoundary",
-			targetSnapshot: options.event.result.targetSnapshot
+			targetSnapshot
 		},
 		token: options.event.token,
-		trace: createNavigationTrace(NavigationTraceReasonCodes.commitCurrent, traceFields)
+		trace: createNavigationTrace(NavigationTraceReasonCodes.commitCurrent, commitTraceFields)
 	};
 }
 function planNavigation(input) {
@@ -150,6 +483,7 @@ function planNavigation(input) {
 		});
 		case "flightResponseArrived": return planFlightResponseArrived({
 			event: input.event,
+			routeManifest: input.routeManifest,
 			state: input.state
 		});
 		default: {

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

@@ -1 +1 @@
-{"version":3,"file":"navigation-planner.js","names":["_exhaustive"],"sources":["../../src/server/navigation-planner.ts"],"sourcesContent":["import type { RouteManifest } from \"../routing/app-route-graph.js\";\nimport {\n  NavigationTraceReasonCodes,\n  createNavigationLifecycleTraceFields,\n  createNavigationTrace,\n  type NavigationTrace,\n  type NavigationTraceFields,\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  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};\n\nexport type MountedParallelSlotSnapshotV0 = {\n  slotId: string;\n  ownerLayoutId: string | null;\n};\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\";\n\nexport type NavigationEvent =\n  | { kind: \"navigate\"; href: string; mode: \"push\" | \"replace\" }\n  | { kind: \"refresh\"; scope: RefreshScope }\n  | { kind: \"traverse\"; direction: \"back\" | \"forward\"; 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: \"back\" | \"forward\"; historyState: unknown; kind: \"traverseFlight\" }\n  | { kind: \"prefetch\"; href: string };\n\nexport type CommitProposal = {\n  preserveAbsentSlots: boolean;\n  preserveElementIds: readonly string[];\n  reason: \"currentRootBoundary\" | \"rootBoundaryUnknownFallback\";\n  targetSnapshot: RouteSnapshotV0;\n};\n\nexport type NoCommitReason = \"prefetchOnly\";\nexport type HardNavigationReason = \"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  // Reserved for #726-CORE-09 route-graph-aware planning. CORE-07/08 only\n  // routes the existing root-boundary decision through the planner, so browser\n  // callers pass null until route topology becomes part of the decision input.\n  routeManifest: RouteManifest | null;\n  state: NavigationPlannerStateV0;\n  event: NavigationEvent;\n};\n\nfunction createRequestWorkDecision(options: {\n  eventKind: NavigationEvent[\"kind\"];\n  state: NavigationPlannerStateV0;\n  work: RequestedWork;\n}): NavigationDecisionV0 {\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    }),\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 createRootBoundaryTraceFields(options: {\n  event: Extract<NavigationEvent, { kind: \"flightResponseArrived\" }>;\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  return (\n    options.state.traceFields ??\n    createNavigationLifecycleTraceFields({\n      currentRootLayoutTreePath: options.state.visibleSnapshot.rootBoundaryId,\n      currentVisibleCommitVersion: options.state.visibleCommitVersion,\n      nextRootLayoutTreePath: options.event.result.targetSnapshot.rootBoundaryId,\n      startedVisibleCommitVersion: options.event.token.baseVisibleCommitVersion,\n    })\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 v0 fallback because this\n    // slice only knows boundary identity from the current flight payload.\n    // #726-CORE-09 can split \"unknown current\" from \"unknown target\" once the\n    // planner consumes graph-owned root boundary facts for both sides.\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  if (\n    classifyRootBoundaryTransition(\n      currentSnapshot.rootBoundaryId,\n      targetSnapshot.rootBoundaryId,\n    ) !== \"currentRootBoundary\"\n  ) {\n    return [];\n  }\n\n  const commonLayoutIds: string[] = [];\n  const maxLength = Math.min(currentSnapshot.layoutIds.length, targetSnapshot.layoutIds.length);\n  for (let index = 0; index < maxLength; index++) {\n    const layoutId = currentSnapshot.layoutIds[index];\n    if (layoutId !== targetSnapshot.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  return [\n    ...preservedLayoutIds,\n    ...resolveMountedParallelSlotPersistenceForLayouts(currentSnapshot, preservedLayoutIds),\n  ];\n}\n\nfunction resolveCurrentRootBoundaryCommitElementPersistence(options: {\n  currentSnapshot: RouteSnapshotV0;\n  lane: OperationLane;\n  targetSnapshot: RouteSnapshotV0;\n}): readonly string[] {\n  const preservedLayoutIds = resolveSameLayoutAncestorPersistence(\n    options.currentSnapshot,\n    options.targetSnapshot,\n  );\n\n  if (options.lane === \"traverse\") {\n    return preservedLayoutIds;\n  }\n\n  return [\n    ...preservedLayoutIds,\n    ...resolveMountedParallelSlotPersistenceForLayouts(options.currentSnapshot, preservedLayoutIds),\n  ];\n}\n\nfunction planFlightResponseArrived(options: {\n  event: Extract<NavigationEvent, { kind: \"flightResponseArrived\" }>;\n  state: NavigationPlannerStateV0;\n}): NavigationDecisionV0 {\n  const traceFields = createRootBoundaryTraceFields(options);\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  const transition = classifyRootBoundaryTransition(\n    options.state.visibleSnapshot.rootBoundaryId,\n    options.event.result.targetSnapshot.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. #726-CORE-09 can delete the legacy soft-commit writer\n    // once every promoted caller supplies graph-owned root boundary IDs from\n    // the route graph read model documented in routing/app-router.ts.\n    return {\n      kind: \"proposeCommit\",\n      proposal: {\n        preserveAbsentSlots: true,\n        preserveElementIds: [],\n        reason: \"rootBoundaryUnknownFallback\",\n        targetSnapshot: options.event.result.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        currentSnapshot: options.state.visibleSnapshot,\n        lane: options.event.token.lane,\n        targetSnapshot: options.event.result.targetSnapshot,\n      }),\n      reason: \"currentRootBoundary\",\n      targetSnapshot: options.event.result.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        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":";;AA8HA,SAAS,0BAA0B,SAIV;CACvB,OAAO;EACL,MAAM;EACN,OAAO,QAAQ,MAAM;EACrB,MAAM,QAAQ;EACd,OAAO,sBAAsB,2BAA2B,aAAa;GACnE,WAAW,QAAQ;GACnB,YAAY,2BAA2B,QAAQ,KAAK;GACrD,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,8BAA8B,SAGb;CAIxB,OACE,QAAQ,MAAM,eACd,qCAAqC;EACnC,2BAA2B,QAAQ,MAAM,gBAAgB;EACzD,6BAA6B,QAAQ,MAAM;EAC3C,wBAAwB,QAAQ,MAAM,OAAO,eAAe;EAC5D,6BAA6B,QAAQ,MAAM,MAAM;EAClD,CAAC;;AAIN,SAAS,+BACP,uBACA,oBACwB;CACxB,IAAI,0BAA0B,QAAQ,uBAAuB,MAK3D,OAAO;CAGT,OAAO,0BAA0B,qBAC7B,wBACA;;AAGN,SAAS,qCACP,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;CAChG,OAAO,CACL,GAAG,oBACH,GAAG,gDAAgD,iBAAiB,mBAAmB,CACxF;;AAGH,SAAS,mDAAmD,SAItC;CACpB,MAAM,qBAAqB,qCACzB,QAAQ,iBACR,QAAQ,eACT;CAED,IAAI,QAAQ,SAAS,YACnB,OAAO;CAGT,OAAO,CACL,GAAG,oBACH,GAAG,gDAAgD,QAAQ,iBAAiB,mBAAmB,CAChG;;AAGH,SAAS,0BAA0B,SAGV;CACvB,MAAM,cAAc,8BAA8B,QAAQ;CAE1D,IAAI,QAAQ,MAAM,MAAM,SAAS,YAC/B,OAAO;EACL,MAAM;EACN,QAAQ;EACR,OAAO,QAAQ,MAAM;EACrB,OAAO,sBAAsB,2BAA2B,cAAc,YAAY;EACnF;CAGH,MAAM,aAAa,+BACjB,QAAQ,MAAM,gBAAgB,gBAC9B,QAAQ,MAAM,OAAO,eAAe,eACrC;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,+BAKjB,OAAO;EACL,MAAM;EACN,UAAU;GACR,qBAAqB;GACrB,oBAAoB,EAAE;GACtB,QAAQ;GACR,gBAAgB,QAAQ,MAAM,OAAO;GACtC;EACD,OAAO,QAAQ,MAAM;EACrB,OAAO,sBAAsB,2BAA2B,qBAAqB,YAAY;EAC1F;CAGH,OAAO;EACL,MAAM;EACN,UAAU;GACR,qBAAqB;GACrB,oBAAoB,mDAAmD;IACrE,iBAAiB,QAAQ,MAAM;IAC/B,MAAM,QAAQ,MAAM,MAAM;IAC1B,gBAAgB,QAAQ,MAAM,OAAO;IACtC,CAAC;GACF,QAAQ;GACR,gBAAgB,QAAQ,MAAM,OAAO;GACtC;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,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"}
+{"version":3,"file":"navigation-planner.js","names":["_exhaustive"],"sources":["../../src/server/navigation-planner.ts"],"sourcesContent":["import { matchRoutePattern, matchRoutePatternPrefix } from \"../routing/route-pattern.js\";\nimport { splitPathnameForRouteMatch } 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 type {\n  CacheEntryReuseDecision,\n  CacheEntryReuseProof,\n  CacheProofRejectionCode,\n} from \"./cache-proof.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  cacheEntryReuseDecision?: AcceptedCacheEntryReuseDecision;\n  preserveAbsentSlots: boolean;\n  preserveElementIds: readonly string[];\n  preservePreviousSlotIds: readonly string[];\n  reason: \"currentRootBoundary\" | \"interceptedCurrentRootBoundary\" | \"unprovenTopologyFallback\";\n  targetSnapshot: RouteSnapshotV0;\n};\n\nexport type NoCommitReason = \"prefetchOnly\";\nexport type HardNavigationReason =\n  | \"cacheProofRejected\"\n  | \"interceptionProofRejected\"\n  | \"rootBoundaryChanged\";\nexport type RootBoundaryTransition =\n  | \"currentRootBoundary\"\n  | \"rootBoundaryChanged\"\n  | \"rootBoundaryUnknown\";\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  cacheEntryReuseProof?: CacheEntryReuseProof;\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 RouteTopologyResolution =\n  | {\n      kind: \"known\";\n      topology: RouteTopologySnapshot;\n    }\n  | {\n      kind: \"unknown\";\n    };\n\ntype RouteTopologySlotBindingSource = \"snapshot\" | \"manifestTarget\";\ntype AcceptedCacheEntryReuseDecision = Extract<CacheEntryReuseDecision, { canReuse: true }>;\ntype RejectedCacheEntryReuseDecision = Extract<CacheEntryReuseDecision, { canReuse: false }>;\ntype CacheEntryProofEvaluation =\n  | Readonly<{\n      decision: AcceptedCacheEntryReuseDecision | null;\n      kind: \"accepted\";\n    }>\n  | Readonly<{\n      decision: RejectedCacheEntryReuseDecision | null;\n      kind: \"rejected\";\n    }>;\n\nconst ROUTE_INTERCEPTION_CONTEXT_SEPARATOR = \"\\0\";\nconst CACHE_ENTRY_PROOF_MISSING_CODE =\n  \"CP_CACHE_ENTRY_PROOF_MISSING\" satisfies CacheProofRejectionCode;\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 splitPathnameForRouteMatch(getMatchedUrlPathname(matchedUrl));\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}): RouteTopologyResolution {\n  const route =\n    options.routeManifest === null\n      ? null\n      : findRouteManifestRouteForSnapshot(options.routeManifest, options.snapshot);\n  if (route === null || options.routeManifest === null) {\n    return { kind: \"unknown\" };\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    kind: \"known\",\n    topology: {\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}\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    return \"rootBoundaryUnknown\";\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 evaluateCacheEntryReuseProof(\n  proof: CacheEntryReuseProof | undefined,\n): CacheEntryProofEvaluation {\n  if (proof === undefined) {\n    return {\n      kind: \"accepted\",\n      decision: null,\n    };\n  }\n\n  if (proof.decision === null) {\n    return {\n      kind: \"rejected\",\n      decision: null,\n    };\n  }\n\n  if (proof.decision.canReuse) {\n    return {\n      kind: \"accepted\",\n      decision: proof.decision,\n    };\n  }\n\n  return {\n    kind: \"rejected\",\n    decision: proof.decision,\n  };\n}\n\nfunction createCacheProofRejectedTraceFields(\n  traceFields: NavigationTraceFields,\n  decision: RejectedCacheEntryReuseDecision | null,\n): NavigationTraceFields {\n  if (decision === null) {\n    return {\n      ...traceFields,\n      cacheProofCode: CACHE_ENTRY_PROOF_MISSING_CODE,\n    };\n  }\n\n  return {\n    ...traceFields,\n    cacheProofCode: decision.code,\n    cacheProofMode: decision.mode,\n    cacheProofScope: decision.scope,\n  };\n}\n\nfunction createCacheProofRejectedDecision(options: {\n  event: Extract<NavigationEvent, { kind: \"flightResponseArrived\" }>;\n  rejection: Extract<CacheEntryProofEvaluation, { kind: \"rejected\" }>;\n  traceFields: NavigationTraceFields;\n}): NavigationDecisionV0 {\n  return {\n    kind: \"hardNavigate\",\n    reason: \"cacheProofRejected\",\n    token: options.event.token,\n    trace: createNavigationTrace(\n      NavigationTraceReasonCodes.cacheProofRejected,\n      createCacheProofRejectedTraceFields(options.traceFields, options.rejection.decision),\n    ),\n    url: options.event.result.href,\n  };\n}\n\nfunction createAcceptedCacheProofTraceFields(\n  traceFields: NavigationTraceFields,\n  decision: AcceptedCacheEntryReuseDecision | null,\n): NavigationTraceFields {\n  if (decision === null) return traceFields;\n  return {\n    ...traceFields,\n    cacheProofCode: decision.code,\n    cacheProofReuseClass: decision.reuseClass,\n  };\n}\n\nfunction createCacheEntryProposalFields(\n  decision: AcceptedCacheEntryReuseDecision | null,\n): Pick<CommitProposal, \"cacheEntryReuseDecision\"> {\n  if (decision === null) return {};\n  return {\n    cacheEntryReuseDecision: decision,\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:\n      currentTopology.kind === \"known\" ? currentTopology.topology.rootLayoutTreePath : null,\n    event: options.event,\n    nextRootLayoutTreePath:\n      targetTopology.kind === \"known\" ? targetTopology.topology.rootLayoutTreePath : null,\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  const cacheEntryProofEvaluation = evaluateCacheEntryReuseProof(\n    options.event.result.cacheEntryReuseProof,\n  );\n  if (cacheEntryProofEvaluation.kind === \"rejected\") {\n    return createCacheProofRejectedDecision({\n      event: options.event,\n      rejection: cacheEntryProofEvaluation,\n      traceFields,\n    });\n  }\n  const acceptedCacheEntryDecision = cacheEntryProofEvaluation.decision;\n  const commitTraceFields = createAcceptedCacheProofTraceFields(\n    traceFields,\n    acceptedCacheEntryDecision,\n  );\n  const cacheEntryProposalFields = createCacheEntryProposalFields(acceptedCacheEntryDecision);\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    if (currentTopology.kind === \"unknown\" || targetTopology.kind === \"unknown\") {\n      return createInterceptionProofRejectedDecision({\n        event: options.event,\n        reasonCode: NavigationTraceReasonCodes.interceptedRejectedUndeclaredTopology,\n        traceFields: commitTraceFields,\n      });\n    }\n\n    const validation = validateInterceptedPreservation({\n      currentSnapshot: options.state.visibleSnapshot,\n      currentTopology: currentTopology.topology,\n      routeManifest: options.routeManifest,\n      targetSnapshot,\n      targetTopology: targetTopology.topology,\n    });\n    if (validation.kind === \"rejected\") {\n      return createInterceptionProofRejectedDecision({\n        event: options.event,\n        reasonCode: validation.reasonCode,\n        traceFields: commitTraceFields,\n      });\n    }\n\n    return {\n      kind: \"proposeCommit\",\n      proposal: {\n        ...cacheEntryProposalFields,\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        commitTraceFields,\n      ),\n    };\n  }\n\n  const transition =\n    currentTopology.kind === \"unknown\" || targetTopology.kind === \"unknown\"\n      ? \"rootBoundaryUnknown\"\n      : classifyRootBoundaryTransition(\n          currentTopology.topology.rootBoundaryId,\n          targetTopology.topology.rootBoundaryId,\n        );\n\n  if (transition === \"rootBoundaryChanged\") {\n    return {\n      kind: \"hardNavigate\",\n      reason: \"rootBoundaryChanged\",\n      token: options.event.token,\n      trace: createNavigationTrace(\n        NavigationTraceReasonCodes.rootBoundaryChanged,\n        commitTraceFields,\n      ),\n      url: options.event.result.href,\n    };\n  }\n\n  if (transition === \"rootBoundaryUnknown\") {\n    // Unknown topology is not semantic proof. The event may still commit its\n    // fully supplied payload, but it must not preserve absent slots, layouts,\n    // or previous slot content from snapshot-derived route shape.\n    return {\n      kind: \"proposeCommit\",\n      proposal: {\n        ...cacheEntryProposalFields,\n        preserveAbsentSlots: false,\n        preserveElementIds: [],\n        preservePreviousSlotIds: [],\n        reason: \"unprovenTopologyFallback\",\n        targetSnapshot,\n      },\n      token: options.event.token,\n      trace: createNavigationTrace(\n        NavigationTraceReasonCodes.rootBoundaryUnknown,\n        commitTraceFields,\n      ),\n    };\n  }\n\n  if (currentTopology.kind !== \"known\" || targetTopology.kind !== \"known\") {\n    throw new Error(\"[vinext] Current-root navigation planning requires manifest topology\");\n  }\n\n  return {\n    kind: \"proposeCommit\",\n    proposal: {\n      ...cacheEntryProposalFields,\n      preserveAbsentSlots: false,\n      preserveElementIds: resolveCurrentRootBoundaryCommitElementPersistence({\n        currentTopology: currentTopology.topology,\n        lane: options.event.token.lane,\n        targetTopology: targetTopology.topology,\n      }),\n      preservePreviousSlotIds: resolveCurrentRootBoundaryCommitSlotPersistence({\n        currentTopology: currentTopology.topology,\n        lane: options.event.token.lane,\n        targetTopology: targetTopology.topology,\n      }),\n      reason: \"currentRootBoundary\",\n      targetSnapshot,\n    },\n    token: options.event.token,\n    trace: createNavigationTrace(NavigationTraceReasonCodes.commitCurrent, commitTraceFields),\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":";;;;;;AAgMA,MAAM,uCAAuC;AAC7C,MAAM,iCACJ;AAEF,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,2BAA2B,sBAAsB,WAAW,CAAC;;AAGtE,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,SAIV;CAC1B,MAAM,QACJ,QAAQ,kBAAkB,OACtB,OACA,kCAAkC,QAAQ,eAAe,QAAQ,SAAS;CAChF,IAAI,UAAU,QAAQ,QAAQ,kBAAkB,MAC9C,OAAO,EAAE,MAAM,WAAW;CAK5B,MAAM,gCACJ,QAAQ,sBAAsB,oBAAoB,QAAQ,SAAS,iBAAiB;CAEtF,OAAO;EACL,MAAM;EACN,UAAU;GACR,WAAW,MAAM;GACjB,gBAAgB,MAAM;GACtB,oBAAoB,uCAAuC,QAAQ,eAAe,MAAM;GACxF,cAAc,gCACV,iCAAiC,QAAQ,eAAe,MAAM,GAC9D,QAAQ,SAAS;GACtB;EACF;;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,MAC3D,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,6BACP,OAC2B;CAC3B,IAAI,UAAU,KAAA,GACZ,OAAO;EACL,MAAM;EACN,UAAU;EACX;CAGH,IAAI,MAAM,aAAa,MACrB,OAAO;EACL,MAAM;EACN,UAAU;EACX;CAGH,IAAI,MAAM,SAAS,UACjB,OAAO;EACL,MAAM;EACN,UAAU,MAAM;EACjB;CAGH,OAAO;EACL,MAAM;EACN,UAAU,MAAM;EACjB;;AAGH,SAAS,oCACP,aACA,UACuB;CACvB,IAAI,aAAa,MACf,OAAO;EACL,GAAG;EACH,gBAAgB;EACjB;CAGH,OAAO;EACL,GAAG;EACH,gBAAgB,SAAS;EACzB,gBAAgB,SAAS;EACzB,iBAAiB,SAAS;EAC3B;;AAGH,SAAS,iCAAiC,SAIjB;CACvB,OAAO;EACL,MAAM;EACN,QAAQ;EACR,OAAO,QAAQ,MAAM;EACrB,OAAO,sBACL,2BAA2B,oBAC3B,oCAAoC,QAAQ,aAAa,QAAQ,UAAU,SAAS,CACrF;EACD,KAAK,QAAQ,MAAM,OAAO;EAC3B;;AAGH,SAAS,oCACP,aACA,UACuB;CACvB,IAAI,aAAa,MAAM,OAAO;CAC9B,OAAO;EACL,GAAG;EACH,gBAAgB,SAAS;EACzB,sBAAsB,SAAS;EAChC;;AAGH,SAAS,+BACP,UACiD;CACjD,IAAI,aAAa,MAAM,OAAO,EAAE;CAChC,OAAO,EACL,yBAAyB,UAC1B;;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,2BACE,gBAAgB,SAAS,UAAU,gBAAgB,SAAS,qBAAqB;EACnF,OAAO,QAAQ;EACf,wBACE,eAAe,SAAS,UAAU,eAAe,SAAS,qBAAqB;EACjF,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;CAGH,MAAM,4BAA4B,6BAChC,QAAQ,MAAM,OAAO,qBACtB;CACD,IAAI,0BAA0B,SAAS,YACrC,OAAO,iCAAiC;EACtC,OAAO,QAAQ;EACf,WAAW;EACX;EACD,CAAC;CAEJ,MAAM,6BAA6B,0BAA0B;CAC7D,MAAM,oBAAoB,oCACxB,aACA,2BACD;CACD,MAAM,2BAA2B,+BAA+B,2BAA2B;CAM3F,IAD8B,eAAe,iBAAiB,MACnC;EACzB,IAAI,gBAAgB,SAAS,aAAa,eAAe,SAAS,WAChE,OAAO,wCAAwC;GAC7C,OAAO,QAAQ;GACf,YAAY,2BAA2B;GACvC,aAAa;GACd,CAAC;EAGJ,MAAM,aAAa,gCAAgC;GACjD,iBAAiB,QAAQ,MAAM;GAC/B,iBAAiB,gBAAgB;GACjC,eAAe,QAAQ;GACvB;GACA,gBAAgB,eAAe;GAChC,CAAC;EACF,IAAI,WAAW,SAAS,YACtB,OAAO,wCAAwC;GAC7C,OAAO,QAAQ;GACf,YAAY,WAAW;GACvB,aAAa;GACd,CAAC;EAGJ,OAAO;GACL,MAAM;GACN,UAAU;IACR,GAAG;IACH,qBAAqB;IACrB,oBAAoB,WAAW;IAC/B,yBAAyB,WAAW;IACpC,QAAQ;IACR;IACD;GACD,OAAO,QAAQ,MAAM;GACrB,OAAO,sBACL,2BAA2B,0BAC3B,kBACD;GACF;;CAGH,MAAM,aACJ,gBAAgB,SAAS,aAAa,eAAe,SAAS,YAC1D,wBACA,+BACE,gBAAgB,SAAS,gBACzB,eAAe,SAAS,eACzB;CAEP,IAAI,eAAe,uBACjB,OAAO;EACL,MAAM;EACN,QAAQ;EACR,OAAO,QAAQ,MAAM;EACrB,OAAO,sBACL,2BAA2B,qBAC3B,kBACD;EACD,KAAK,QAAQ,MAAM,OAAO;EAC3B;CAGH,IAAI,eAAe,uBAIjB,OAAO;EACL,MAAM;EACN,UAAU;GACR,GAAG;GACH,qBAAqB;GACrB,oBAAoB,EAAE;GACtB,yBAAyB,EAAE;GAC3B,QAAQ;GACR;GACD;EACD,OAAO,QAAQ,MAAM;EACrB,OAAO,sBACL,2BAA2B,qBAC3B,kBACD;EACF;CAGH,IAAI,gBAAgB,SAAS,WAAW,eAAe,SAAS,SAC9D,MAAM,IAAI,MAAM,uEAAuE;CAGzF,OAAO;EACL,MAAM;EACN,UAAU;GACR,GAAG;GACH,qBAAqB;GACrB,oBAAoB,mDAAmD;IACrE,iBAAiB,gBAAgB;IACjC,MAAM,QAAQ,MAAM,MAAM;IAC1B,gBAAgB,eAAe;IAChC,CAAC;GACF,yBAAyB,gDAAgD;IACvE,iBAAiB,gBAAgB;IACjC,MAAM,QAAQ,MAAM,MAAM;IAC1B,gBAAgB,eAAe;IAChC,CAAC;GACF,QAAQ;GACR;GACD;EACD,OAAO,QAAQ,MAAM;EACrB,OAAO,sBAAsB,2BAA2B,eAAe,kBAAkB;EAC1F;;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

@@ -2,7 +2,15 @@
 declare const NAVIGATION_TRACE_SCHEMA_VERSION = 0;
 type NavigationTraceSchemaVersion = 0;
 declare const NavigationTraceReasonCodes: {
+  cacheProofRejected: "NC_CACHE_REJECT";
   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";
@@ -17,7 +25,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" | "currentVisibleCommitVersion" | "nextRootLayoutTreePath" | "eventKind" | "operationLane" | "pendingOperationId" | "startedVisibleCommitVersion" | "startedNavigationId" | "targetHref";
+type NavigationTraceFieldName = "activeNavigationId" | "cacheProofCode" | "cacheProofMode" | "cacheProofReuseClass" | "cacheProofScope" | "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<{

package/dist/server/navigation-trace.js

@@ -1,7 +1,15 @@
 //#region src/server/navigation-trace.ts
 const NAVIGATION_TRACE_SCHEMA_VERSION = 0;
 const NavigationTraceReasonCodes = {
+	cacheProofRejected: "NC_CACHE_REJECT",
 	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",