{"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"}