/** * Personal page favorites (issue #132): a per-user star on a page — * deliberately NOT pond-wide (planning pivot documented on the issue), so * every view is scoped to the requesting account. */ /** The requesting user's favorites within one pond (sidebar tree + filter). */ export interface PageFavoritesView { pageIds: string[]; } /** The star's toggle state on a single page. */ export interface FavoriteStateView { favorite: boolean; }