diff --git a/CHANGELOG.fr.md b/CHANGELOG.fr.md
index d2b014c..492dc32 100644
--- a/CHANGELOG.fr.md
+++ b/CHANGELOG.fr.md
@@ -2,11 +2,20 @@
## [Non publié]
+### Ajouté
+
+- Catégories : un bouton « Vérifier la hiérarchie », entre « Tous les mots-clés » et « Réinitialiser », liste les catégories orphelines : celles prises dans une boucle de parenté, qui les cache avec leurs sous-catégories de l'arbre, des menus de catégories, du budget et des rapports, et celles dont le parent a été supprimé ou est introuvable. Chacune se rattache à la racine, choisie par défaut, ou à un autre parent ; elle revient alors à sa place avec ses transactions, ses mots-clés et ses montants de budget. Le Journal note chaque rattachement, sans nom de catégorie (#393).
+
### Modifié
- Paramètres → Système : « Journaux et commentaires » vient désormais juste après « Mise à jour », avant l'historique des versions, qui ne repousse plus le Journal en bas de la page. L'historique des versions s'ouvre sur les notes de la version installée, les autres versions repliées : cliquez sur un numéro de version pour lire ses notes, ou sur « Tout déplier » pour ouvrir tout l'historique (#372).
- Ajustements : la catégorie d'une ligne d'ajustement accepte désormais la saisie, comme la cellule de catégorie de la page Transactions : tapez quelques lettres pour filtrer la liste, qui montre la hiérarchie et les noms des catégories standard dans votre langue. Elle propose les mêmes catégories que la page Transactions, actives et autorisées à la saisie, comme la fenêtre de répartition ouverte depuis la page Ajustements ; une ligne déjà enregistrée sur une catégorie masquée de la saisie la garde, son champ vide tant que vous n'en choisissez pas une autre. Le filtre de catégorie de la fenêtre « Lier transferts » du Bilan accepte aussi la saisie, avec « Toutes les catégories » en tête. Une liste de catégories ouverte n'est plus coupée par le bord d'une fenêtre ou du tableau des transactions, dans la fenêtre de répartition comme sur les dernières lignes du tableau, et elle s'ouvre vers le haut quand elle ne tient pas en dessous mais tient au-dessus (#429).
+### Corrigé
+
+- Catégories : un nouveau parent est désormais vérifié à l'enregistrement d'une catégorie. L'une de ses propres sous-catégories (la boucle de parenté qui cachait toute une branche), un parent qui créerait un quatrième niveau et un parent qui a des transactions à son nom (devenu parent, il ne serait plus saisissable) sont refusés avec un message, et rien n'est enregistré. Une catégorie enregistrée sans changement de parent n'est jamais refusée par ces vérifications (#393).
+- Budget : une catégorie dont le parent a été supprimé ou est introuvable ne disparaît plus de la grille Budget ni du rapport Budget vs réel : elle s'affiche au premier niveau, comme dans l'arbre des catégories (#393).
+
## [0.17.2] - 2026-10-18
### Ajouté
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 1962e74..fe19004 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,11 +2,20 @@
## [Unreleased]
+### Added
+
+- Categories: a “Check hierarchy” button, between “All keywords” and “Re-initialize”, lists the orphan categories: those caught in a parent loop, which hides them and their subcategories from the tree, the category menus, the budget and the reports, and those whose parent was deleted or cannot be found. Each one can be reattached to the root, chosen by default, or to another parent; it then comes back in its place with its transactions, keywords and budget amounts. The Journal notes each reattachment, without any category name (#393).
+
### Changed
- Settings → System: “Logs and feedback” now comes right after “Update”, before the version history, which no longer pushes the Journal to the bottom of the page. The version history opens on the notes of the installed version, with every other version folded: click a version number to read its notes, or “Expand all” to open the whole history (#372).
- Adjustments: the category of an adjustment line now takes typing, like the category cell of the Transactions page: type a few letters to filter the list, which shows the hierarchy and the names of the standard categories in your language. It offers the same categories as the Transactions page, active and allowed for input, as does the split window opened from the Adjustments page; a line already saved on a category hidden from input keeps it, its field empty until you choose another one. The category filter of the “Link transfers” window of the Balance sheet takes typing too, with “Any category” first. An open category list is no longer cut by the edge of a window or of the Transactions table, in the split window as on the last rows of the table, and it opens upward when it does not fit below but fits above (#429).
+### Fixed
+
+- Categories: a new parent is now checked when a category is saved. One of the category's own subcategories (the parent loop that hid a whole branch), a parent that would make a fourth level, and a parent with transactions of its own (once a parent, it would no longer take input) are refused with a message, and nothing is saved. A category saved with its parent unchanged is never refused by these checks (#393).
+- Budget: a category whose parent was deleted or cannot be found no longer disappears from the Budget grid and the Budget vs Actual report: it now shows at the top level, as in the category tree (#393).
+
## [0.17.2] - 2026-10-18
### Added
diff --git a/docs/architecture.md b/docs/architecture.md
index a41bd94..3909403 100644
--- a/docs/architecture.md
+++ b/docs/architecture.md
@@ -45,7 +45,7 @@ simpl-resultat/
│ ├── pages/ # 14 pages (dont 4 sous-pages rapports)
│ ├── services/ # 27 services métier (21 détaillés dans la section « Services TypeScript »)
│ ├── shared/ # Types, constantes, matrice d'entitlements (entitlements.ts), gate profils (profileGate.ts), gate de la Répartition (splitGate.ts), CTA d'upsell (upsellCta.ts), URL d'achat (purchaseUrl.ts), échéance de licence (licenseExpiry.ts)
-│ ├── utils/ # 19 utilitaires purs (parsing montants/dates, détection CSV, codec de format d'import, dictionnaire lexical, signatures de banques, charts, drapeaux SQL 0/1, liste et parcours de démarrage, historique des versions)
+│ ├── utils/ # 20 utilitaires purs (parsing montants/dates, détection CSV, codec de format d'import, dictionnaire lexical, signatures de banques, charts, drapeaux SQL 0/1, liste et parcours de démarrage, historique des versions, hiérarchie des catégories)
│ ├── i18n/ # Config i18next + locales FR/EN
│ ├── __fixtures__/ # csv/ : corpus de détection (15 cas figés) ; samples/ : gabarits du dossier d'exemple embarqués par Rust
│ ├── App.tsx # Router principal
@@ -196,7 +196,7 @@ Le dossier des bases est celui du plugin : `app_config_dir()`, résolu par `prof
|---------|---------------|
| `db.ts` | Wrapper de connexion (tauri-plugin-sql), verrou FIFO de tous les accès et `withTransaction` (voir « Accès DB et transactions »). `connectToProfile` appelle `repair_migrations` puis `prepare_profile_db` avant `Database.load`, et écrit au Journal ce que la préparation a changé (`describePreparation`, noms de fichiers seulement, #390) ; un échec est écrit au Journal et le profil s'ouvre quand même |
| `profileService.ts` | Gestion des profils |
-| `categoryService.ts` | CRUD catégories hiérarchiques |
+| `categoryService.ts` | CRUD catégories hiérarchiques. `updateCategory` vérifie un nouveau parent et `reattachCategory` rattache une catégorie orpheline, en une transaction par son handle ; `CategoryHierarchyError` typée ; `findOrphanCategories` (diagnostic, requête dédiée sur toutes les catégories) ; `getCategoryDepth` s'arrête sur un cycle — voir « Hiérarchie des catégories » |
| `transactionService.ts` | CRUD et filtrage des transactions ; détection d'erreurs FK RESTRICT pour transactions liées à un compte de bilan (typed `TransactionLinkedToBalanceError`) ; `getTransactionCount` (compte brut de la table, sans filtre — signal des états vides de Transactions et Budget, #351/#353) |
| `importSourceService.ts` | Configuration des sources d'import — lit et écrit le format complet via le codec `importFormat.ts` ([ADR 0019](adr/0019-format-import-persiste.md)) |
| `importedFileService.ts` | Suivi des fichiers importés |
@@ -233,7 +233,7 @@ Chaque hook encapsule la logique d'état via `useReducer` :
| Hook | Domaine |
|------|---------|
-| `useCategories` | Catégories avec hiérarchie |
+| `useCategories` | Catégories avec hiérarchie. Erreurs typées `CategoriesError` (`{ key }` d'un refus de la hiérarchie, `{ message }` sinon, `categoriesErrorOf`). Fenêtre « Vérifier la hiérarchie » : `hierarchyCheck`, `checkHierarchy`, `reattachOrphan` (une ligne de Journal, puis rechargement de la liste et de l'arbre), `closeHierarchyCheck` (#393) |
| `useTransactions` | Transactions et filtrage. `useTransactions(initialFilters?)` part de filtres de départ posés sur les filtres par défaut et lus au montage seulement (`initTransactionsState`) : l'entrée guidée de l'étape « Classer une transaction à la main » passe `GUIDED_ENTRY_FILTERS` (non catégorisées, sans borne de date). Si sa première page revient vide, le reducer retire le filtre « non catégorisées » une seule fois (`guidedFallback`) et la page relit (#399) |
| `useDataImport` | Import de données |
| `useImportWizard` | Assistant d'import multi-étapes. Restaure le format enregistré **tel quel** via `formatFromRow` (aucune ré-inférence), déclenche la détection seule sur une source sans format (garde `!existing`), traverse l'étape `file-preview` à **chaque** import, et n'écrit la configuration qu'à `executeImport` (point d'écriture unique) — voir la section « Import CSV » et l'[ADR 0019](adr/0019-format-import-persiste.md). Expose `importFolderLoaded`, posé dans le `finally` de la lecture du dossier au montage (après son premier scan) et gardé par `RESET` : l'état vide de la page Import et sa carte de démarrage l'attendent (#384, #398). Expose aussi `rootFiles`, les CSV/TXT posés à la racine du dossier d'import que le scan (`ImportFolderScan`) rend à côté des sources : posé avec elles par la même action `SET_SCANNED_SOURCES`, gardé par `RESET` comme elles, nommé à l'écran par `RootFilesWarning` (au plus cinq noms, `formatRootFiles`) et jamais écrit au Journal (#427). `executeImport` enregistre la source sous `selectedSource.folder_name`, à la création comme à la mise à jour, jamais sous `config.name` : la source et ses fichiers importés sont retrouvés par le nom du sous-dossier, que `SourceNameDisplay` affiche en lecture seule (#426) |
@@ -267,6 +267,18 @@ Chaque hook encapsule la logique d'état via `useReducer` :
- `storageKey === null` → état **purement en mémoire**, réinitialisé à chaque montage (les 2 arbres de catégories : navigation éphémère, rien à conserver ni à révéler).
- L'historique des versions de Paramètres → Système (`ChangelogContent`, #372) n'utilise pas ce hook : c'est une liste plate dont une seule version s'ouvre au départ, choisie par une règle, alors que le hook n'a qu'un `defaultExpanded` global, sans amorce par clé. Son état est un `Set` local, en mémoire, amorcé à chaque lecture du fichier par `initiallyExpandedVersions` (`src/utils/changelog.ts`, pur, avec `parseChangelog`) : la version installée, ou la première version publiée quand la version installée est inconnue ou absente du fichier.
+## Hiérarchie des catégories (#393)
+
+Un `parent_id` en boucle (A sous B, B sous A, ou une catégorie sous elle-même) cache la boucle et tout ce qui pend dessous partout où l'on part des racines : arbre, sélecteurs de catégorie, budget, rapports. Les données restent intactes ; seul `parent_id` est en cause.
+
+- **Module pur unique** — `src/utils/categoryHierarchy.ts` : `depthsOf` (une catégorie prise dans une boucle, ou dessous, n'a **pas** de profondeur), `subtreeHeight` et `descendantsOf` (une seule descente, `levelsBelow`), `fitsUnder` (trois niveaux au plus, `MAX_CATEGORY_DEPTH = 2`, sous-arbre compris), `parentChangeRefusal`, `findOrphans`, `displaysAsRoot`. Chaque remontée et chaque descente garde l'ensemble des catégories vues : une boucle termine le parcours. Les parcours ont trois consommateurs, sans autre implémentation : `buildParentOptions` (liste des parents du formulaire, #423, et de la fenêtre), le diagnostic et la validation du service ; le budget lit `displaysAsRoot`. `computeDepths` de `CategoryCombobox` ne sert qu'à l'indentation et reste à part.
+- **Diagnostic** — `findOrphanCategories` lit **toutes** les catégories, actives ou non (`SELECT id, parent_id, is_active FROM categories`) : les autres requêtes ne gardent que les actives, ce qui ferait d'un parent désactivé un parent absent. Motifs : `cycle` (le membre de plus petit `id`, une entrée par boucle), `inactive_parent`, `missing_parent` ; seule la tête de chaque groupe est listée, sa descendance la suit.
+- **Validation** — `updateCategory` (seulement quand le parent change : un renommage d'une catégorie enregistrée avant ces règles n'est jamais refusé) et `reattachCategory` (toujours) passent par `checkNewParent` : `parentChangeRefusal` sur les catégories actives (`self_parent` ; `cycle` pour un parent pris dans la descendance ou sans profondeur ; `too_deep`), puis `parent_has_transactions` pour un parent qui porte des transactions directes (devenu parent, il ne serait plus saisissable). La racine est toujours acceptée : c'est la réparation de dernier recours d'une boucle. Un refus lève `CategoryHierarchyError` (`code`), que `useCategories` reconnaît par `instanceof` et affiche par la clé `categories.hierarchy.errors.`. Lectures et écritures (la ligne, puis `is_inputable = 0` sur le nouveau parent, comme `createCategory`) se font dans **un** `withTransaction`, par son handle. Un parent inactif ou inexistant lève une erreur simple, hors d'atteinte de l'interface.
+- **`getCategoryDepth`** garde les `id` vus et rend `Infinity` sur une boucle : `createCategory` refuse alors ce parent.
+- **Fenêtre** — `HierarchyCheckModal` (présentationnelle) : nombre d'orphelines ou « aucune », une ligne par orpheline (nom, motif traduit, `CategoryCombobox` du nouveau parent alimenté par `buildParentOptions` avec l'orpheline en catégorie éditée, « Racine » présélectionnée en `extraOptions`, bouton « Rattacher »), bouton « Fermer ». La liste du combobox sort de la fenêtre par son portail (#429). Après un rattachement, une ligne `logInfo` donne le motif et le nombre de catégories remises en place, sans nom de catégorie, puis la liste et l'arbre se rechargent.
+- **Budget** — `buildBudgetYearRows` (`useBudget.ts`) et `getBudgetVsActualData` (`budgetService.ts`) placent au premier niveau une catégorie dont le parent n'est pas dans la liste active (`displaysAsRoot`), comme l'arbre et les sélecteurs ; une boucle y reste cachée, la fenêtre la répare.
+- **Hors portée** — le glisser-déposer : `updateCategorySortOrders` écrit `parent_id` sans cette validation, gardé par l'interface (`moveCategory` ne peut pas déposer une catégorie dans son propre sous-arbre) ; il ne refuse pas non plus un parent avec transactions et ne touche pas `is_inputable`. La restauration d'une sauvegarde (`restoreCategories`) réinsère les `parent_id` tels quels, boucles comprises : la fenêtre répare après coup.
+
## Import CSV — format persisté et détection
Le chantier #323-#332 a fait du **format d'import une donnée persistée intégralement, jamais re-devinée** — [ADR 0019](adr/0019-format-import-persiste.md) porte la décision, ses trois voies de perte et les alternatives rejetées. Quatre couches, du schéma à l'écran.
@@ -565,7 +577,7 @@ Les modules payants sont enveloppés dans des **layout-routes pathless `RequireF
| `/` | `DashboardPage` | Tableau de bord (KPIs+deltas, top movers, adhérence budget, tuile valeur nette, barres classées, dépenses dans le temps — modèle Cartes, #279) |
| `/import` | `ImportPage` | Assistant d'import CSV : source → configuration (détection automatique + score) → sélection des fichiers → **aperçu obligatoire** (récap signé, inversion des signes, panneau de dérive) → doublons → confirmation |
| `/transactions` | `TransactionsPage` | Liste avec filtres |
-| `/categories` | `CategoriesPage` | Gestion hiérarchique |
+| `/categories` | `CategoriesPage` | Gestion hiérarchique ; le bouton « Vérifier la hiérarchie » ouvre `HierarchyCheckModal` (#393) |
| `/adjustments` | `AdjustmentsPage` | Ajustements manuels |
| `/budget` | `BudgetPage` | Planification budgétaire |
| `/reports` | `ReportsPage` | Hub des rapports : panneau faits saillants + 4 cartes de navigation |
diff --git a/docs/guide-utilisateur.md b/docs/guide-utilisateur.md
index 4dfa1d4..9819e1c 100644
--- a/docs/guide-utilisateur.md
+++ b/docs/guide-utilisateur.md
@@ -275,6 +275,7 @@ Gérez votre arbre de catégories avec des sous-catégories, des règles de mots
- Glisser-déposer pour réordonner les catégories ou changer leur parent
- Basculer les catégories en saisissable ou non-saisissable
- Vue « Tous les mots-clés » pour voir l'ensemble des règles
+- « Vérifier la hiérarchie » pour retrouver les catégories orphelines (prises dans une boucle de parenté, ou dont le parent a été supprimé ou est introuvable) et les rattacher
- Réinitialiser les catégories aux valeurs par défaut
### Comment faire
@@ -285,6 +286,7 @@ Gérez votre arbre de catégories avec des sous-catégories, des règles de mots
4. Ajoutez des mots-clés correspondant aux descriptions des transactions pour l'auto-catégorisation
5. Définissez la priorité des mots-clés pour résoudre les conflits quand plusieurs catégories correspondent
6. Utilisez le sélecteur de couleur pour assigner une couleur personnalisée pour les graphiques
+7. Cliquez sur Vérifier la hiérarchie pour lister les catégories orphelines : pour chacune, choisissez un nouveau parent (la racine par défaut), puis cliquez sur Rattacher
### Astuces
@@ -292,6 +294,8 @@ Gérez votre arbre de catégories avec des sous-catégories, des règles de mots
- Les mots-clés de priorité supérieure l'emportent quand plusieurs catégories correspondent à la même transaction
- Utilisez la vue Tous les mots-clés pour avoir un aperçu global de vos règles de catégorisation
- Utilisez Réinitialiser pour revenir aux catégories par défaut — cela dissociera toutes les catégories des transactions
+- Une catégorie disparue de l'arbre, des menus et du budget est souvent prise dans une boucle de parenté : Vérifier la hiérarchie la retrouve, et ses transactions, ses mots-clés et ses montants de budget reviennent avec elle
+- Une catégorie qui a des transactions à son nom ne peut pas devenir le parent d'une catégorie existante, puisqu'elle ne serait plus saisissable : reclassez d'abord ses transactions, ou choisissez un autre parent
---
diff --git a/src/components/categories/HierarchyCheckModal.render.test.tsx b/src/components/categories/HierarchyCheckModal.render.test.tsx
new file mode 100644
index 0000000..c783b7d
--- /dev/null
+++ b/src/components/categories/HierarchyCheckModal.render.test.tsx
@@ -0,0 +1,123 @@
+// HierarchyCheckModal — what the « Vérifier la hiérarchie » window shows (#393).
+// No jsdom: react-dom/server renders in vitest's node environment. A closed
+// CategoryCombobox renders its input only, without its portal (#429).
+import { describe, it, expect, vi } from "vitest";
+import { renderToStaticMarkup } from "react-dom/server";
+
+vi.mock("react-i18next", async () => (await import("../../test/i18nMock")).i18nMock());
+
+import HierarchyCheckModal from "./HierarchyCheckModal";
+import type { CategoryTreeNode } from "../../shared/types";
+import type { OrphanCategory } from "../../utils/categoryHierarchy";
+
+const node = (id: number, parent_id: number | null, name: string, i18n_key: string | null = null): CategoryTreeNode => ({
+ id,
+ name,
+ parent_id,
+ color: null,
+ icon: null,
+ type: "expense",
+ is_active: true,
+ is_inputable: true,
+ sort_order: id,
+ keyword_count: 0,
+ i18n_key,
+ children: [],
+});
+
+// 1 is a root; 3 <-> 5 is a cycle; 20's parent is gone.
+const CATEGORIES = [
+ node(1, null, "Logement", "categoriesSeed.housing"),
+ node(3, 5, "Épicerie"),
+ node(5, 3, "Alimentation"),
+ node(20, 99, "Cadeaux"),
+];
+const ORPHANS: OrphanCategory[] = [
+ { id: 3, reason: "cycle" },
+ { id: 20, reason: "missing_parent" },
+];
+
+const render = (props: { orphans: OrphanCategory[] | null; error?: string | null; isSaving?: boolean }) =>
+ renderToStaticMarkup(
+ ,
+ );
+
+const comboboxes = (html: string) => html.match(/]*role="combobox"[^>]*>/g) ?? [];
+
+describe("HierarchyCheckModal (#393)", () => {
+ it("is a modal dialog named after the button, with its explanation and a close button", () => {
+ const html = render({ orphans: [] });
+ expect(html).toContain('role="dialog"');
+ expect(html).toContain('aria-modal="true"');
+ expect(html).toContain('aria-label="t(categories.hierarchy.check)"');
+ expect(html).toContain("t(categories.hierarchy.intro)");
+ expect(html).toContain("t(common.close)");
+ });
+
+ it("says the check runs while the orphans are not known", () => {
+ const html = render({ orphans: null });
+ expect(html).toContain("t(categories.hierarchy.checking)");
+ expect(html).not.toContain("t(categories.hierarchy.none)");
+ expect(comboboxes(html)).toHaveLength(0);
+ });
+
+ it("says « aucune » for a sound hierarchy, with no row", () => {
+ const html = render({ orphans: [] });
+ expect(html).toContain("t(categories.hierarchy.none)");
+ expect(html).not.toContain("categories.hierarchy.count");
+ expect(html).not.toContain("t(categories.hierarchy.reattach)");
+ });
+
+ it("counts the orphans, and gives each row its name, its reason, a new parent and « Rattacher »", () => {
+ const html = render({ orphans: ORPHANS });
+ expect(html).toContain("t(categories.hierarchy.count[count=2])");
+ expect(html).toContain(">Épicerie
");
+ expect(html).toContain(">Cadeaux");
+ expect(html).toContain("t(categories.hierarchy.reasons.cycle)");
+ expect(html).toContain("t(categories.hierarchy.reasons.missing_parent)");
+ expect(html.split("t(categories.hierarchy.reattach)")).toHaveLength(3);
+ const inputs = comboboxes(html);
+ expect(inputs).toHaveLength(2);
+ expect(inputs[0]).toContain('aria-label="t(categories.hierarchy.newParentFor[name=Épicerie])"');
+ expect(inputs[1]).toContain('aria-label="t(categories.hierarchy.newParentFor[name=Cadeaux])"');
+ });
+
+ it("preselects the root on every row", () => {
+ for (const input of comboboxes(render({ orphans: ORPHANS }))) {
+ expect(input).toContain('value="t(categories.hierarchy.root)"');
+ }
+ });
+
+ it("names a seed category in the app's language", () => {
+ const html = render({ orphans: [{ id: 1, reason: "inactive_parent" }] });
+ expect(html).toContain(">t(categoriesSeed.housing[defaultValue=Logement])");
+ expect(html).toContain("t(categories.hierarchy.reasons.inactive_parent)");
+ });
+
+ it("shows the translated error above the list, as an alert", () => {
+ const html = render({ orphans: ORPHANS, error: "Ce parent a des transactions" });
+ expect(html).toContain('role="alert"');
+ expect(html.indexOf("Ce parent a des transactions")).toBeLessThan(html.indexOf("categories.hierarchy.count"));
+ });
+
+ it("shows a failed check alone, without the « checking » line", () => {
+ const html = render({ orphans: null, error: "database is locked" });
+ expect(html).toContain("database is locked");
+ expect(html).not.toContain("t(categories.hierarchy.checking)");
+ });
+
+ it("disables « Rattacher » while a reattachment runs", () => {
+ const html = render({ orphans: ORPHANS, isSaving: true });
+ const buttons = html.match(/`);
+ expect(end).toBeGreaterThan(-1);
+ const start = html.lastIndexOf("", start) + 1);
+ };
+
+ it("sits between « All keywords » and « Reset », styled as « Reset »", () => {
+ const html = render();
+ const allKeywords = html.indexOf("t(categories.allKeywords)");
+ const check = html.indexOf("t(categories.hierarchy.check)");
+ const reset = html.indexOf("t(categories.reinitialize)");
+ expect(allKeywords).toBeLessThan(check);
+ expect(check).toBeLessThan(reset);
+ const classOf = (tag: string) => tag.match(/class="([^"]*)"/)?.[1];
+ expect(classOf(buttonTag(html, "t(categories.hierarchy.check)"))).toBe(
+ classOf(buttonTag(html, "t(categories.reinitialize)")),
+ );
+ });
+
+ it("is disabled while a save runs, as « Reset »", () => {
+ harness.state = { isSaving: true };
+ expect(buttonTag(render(), "t(categories.hierarchy.check)")).toContain('disabled=""');
+ });
+
+ it("opens the window only while the check is open", () => {
+ expect(render()).not.toContain('role="dialog"');
+ harness.state = { hierarchyCheck: { orphans: [], error: null } };
+ const html = render();
+ expect(html).toContain('role="dialog"');
+ expect(html).toContain("t(categories.hierarchy.none)");
+ });
+
+ it("translates a refusal in the window by its key", () => {
+ harness.state = {
+ hierarchyCheck: { orphans: [], error: { key: "categories.hierarchy.errors.too_deep" } },
+ };
+ expect(render()).toContain("t(categories.hierarchy.errors.too_deep)");
+ });
+
+ it("translates a refused save of the form by its key, and shows any other failure as is", () => {
+ harness.state = { error: { key: "categories.hierarchy.errors.parent_has_transactions" } };
+ expect(render()).toContain(">t(categories.hierarchy.errors.parent_has_transactions)");
+ harness.state = { error: { message: "database is locked" } };
+ expect(render()).toContain(">database is locked");
+ });
+});
diff --git a/src/pages/CategoriesPage.tsx b/src/pages/CategoriesPage.tsx
index 54f489e..f620503 100644
--- a/src/pages/CategoriesPage.tsx
+++ b/src/pages/CategoriesPage.tsx
@@ -1,12 +1,13 @@
import { useState } from "react";
import { useTranslation } from "react-i18next";
import { useLocation } from "react-router-dom";
-import { Plus, RotateCcw, List, AlertTriangle } from "lucide-react";
+import { Plus, RotateCcw, List, AlertTriangle, ListTree } from "lucide-react";
import { PageHelp } from "../components/shared/PageHelp";
-import { useCategories } from "../hooks/useCategories";
+import { useCategories, categoriesErrorText } from "../hooks/useCategories";
import CategoryTree from "../components/categories/CategoryTree";
import CategoryDetailPanel from "../components/categories/CategoryDetailPanel";
import AllKeywordsPanel from "../components/categories/AllKeywordsPanel";
+import HierarchyCheckModal from "../components/categories/HierarchyCheckModal";
import OnboardingStepCard from "../components/onboarding/OnboardingStepCard";
import { useOnboarding } from "../contexts/OnboardingContext";
import {
@@ -35,6 +36,9 @@ export default function CategoriesPage() {
removeKeyword,
reinitializeCategories,
moveCategory,
+ checkHierarchy,
+ reattachOrphan,
+ closeHierarchyCheck,
} = useCategories();
// The getting-started card (#432) points at "All keywords" while it is on
@@ -79,6 +83,14 @@ export default function CategoriesPage() {
{t("categories.allKeywords")}
+
+
+ {t("categories.hierarchy.check")}
+ setShowReinitConfirm(true)}
disabled={state.isSaving}
@@ -99,7 +111,7 @@ export default function CategoriesPage() {
{state.error && (
diff --git a/src/services/budgetService.test.ts b/src/services/budgetService.test.ts
index d22e0f1..8e8ebc3 100644
--- a/src/services/budgetService.test.ts
+++ b/src/services/budgetService.test.ts
@@ -94,6 +94,50 @@ describe("getBudgetVsActualData — accountIds filter (Issue #273)", () => {
});
});
+// The categories query keeps active rows only: a deleted (inactive) parent is
+// absent from the list, like a parent that no longer exists (#393).
+describe("getBudgetVsActualData — a category whose parent is deleted or gone (#393)", () => {
+ const answer = (categories: unknown[]) =>
+ mockSelect.mockImplementation((sql: string) => {
+ if (sql.includes("FROM categories")) return Promise.resolve(categories);
+ if (sql.includes("FROM budget_entries")) {
+ return Promise.resolve([{ id: 1, category_id: 7, year: 2026, month: 3, amount: 50 }]);
+ }
+ if (sql.includes("FROM transactions")) return Promise.resolve([{ category_id: 7, actual: -30 }]);
+ return Promise.resolve([]);
+ });
+ const category = (id: number, name: string, parent_id: number | null, is_inputable = 1) => ({
+ id,
+ name,
+ type: "expense",
+ parent_id,
+ is_active: 1,
+ is_inputable,
+ sort_order: id,
+ });
+
+ it("shows it as a root row, with its budget and its actuals", async () => {
+ answer([category(1, "Logement", null, 0), category(2, "Loyer", 1), category(7, "Cadeaux", 99)]);
+ const rows = await getBudgetVsActualData(2026, 3);
+ expect(rows.find((r) => r.category_id === 7)).toMatchObject({
+ parent_id: null,
+ depth: 0,
+ is_parent: false,
+ monthBudget: -50,
+ monthActual: -30,
+ });
+ });
+
+ it("shows a parent whose own parent is absent as a root group", async () => {
+ answer([category(6, "Fêtes", 99, 0), category(7, "Cadeaux", 6)]);
+ const rows = await getBudgetVsActualData(2026, 3);
+ expect(rows.map((r) => [r.category_id, r.parent_id, r.depth, r.is_parent])).toEqual([
+ [6, null, 0, true],
+ [7, 6, 1, false],
+ ]);
+ });
+});
+
// getActualTotalsForYear is the previous-year actuals reference column
// consumed by useBudget (Issue #276) — a thin wrapper over the same
// getActualsByCategoryRange helper, so it gets the same accountIds pass-through.
diff --git a/src/services/budgetService.ts b/src/services/budgetService.ts
index 9bc2586..de5d684 100644
--- a/src/services/budgetService.ts
+++ b/src/services/budgetService.ts
@@ -2,6 +2,7 @@ import type Database from "@tauri-apps/plugin-sql";
import { getDb } from "./db";
import { notifyDataChanged } from "./dataEvents";
import { inPlaceholders } from "../utils/sqlFilters";
+import { displaysAsRoot } from "../utils/categoryHierarchy";
import type {
Category,
BudgetEntry,
@@ -409,7 +410,10 @@ export async function getBudgetVsActualData(
}
const rows: BudgetVsActualRow[] = [];
- const topLevel = allCategories.filter((c) => !c.parent_id);
+ // A category whose parent is deactivated or gone (not in the active list)
+ // stands at the top level, as in the tree and the pickers (#393).
+ const activeIds = new Set(allCategories.map((c) => c.id));
+ const topLevel = allCategories.filter((c) => displaysAsRoot(c, activeIds));
for (const cat of topLevel) {
const children = childrenByParent.get(cat.id) || [];
diff --git a/src/services/categoryService.test.ts b/src/services/categoryService.test.ts
new file mode 100644
index 0000000..f74c42e
--- /dev/null
+++ b/src/services/categoryService.test.ts
@@ -0,0 +1,397 @@
+// categoryService — the hierarchy rules at the write (#393): a new parent is
+// checked by `updateCategory` and `reattachCategory`, the reads and the writes
+// run in one transaction through its handle, the orphan diagnostic reads every
+// category, and `getCategoryDepth` ends on a cycle.
+//
+// The base is a fake: a `categories` table in memory, the direct transaction
+// count of each category, BEGIN/COMMIT/ROLLBACK. `withTransaction` hands the
+// callback its own handle; the global connection of `getDb()` throws while a
+// transaction runs, as the real lock would deadlock (docs/architecture.md,
+// « Accès DB et transactions »).
+import { describe, it, expect, vi, beforeEach } from "vitest";
+
+const fake = vi.hoisted(() => ({
+ inTransaction: false,
+ global: null as unknown,
+ handle: null as unknown,
+}));
+
+vi.mock("./db", () => ({
+ getDb: vi.fn(async () => fake.global),
+ withTransaction: vi.fn(async (fn: (db: unknown) => Promise) => {
+ fake.inTransaction = true;
+ try {
+ return await fn(fake.handle);
+ } finally {
+ fake.inTransaction = false;
+ }
+ }),
+}));
+
+import { withTransaction } from "./db";
+import {
+ CategoryHierarchyError,
+ categoryHierarchyErrorKey,
+ createCategory,
+ findOrphanCategories,
+ getCategoryDepth,
+ reattachCategory,
+ updateCategory,
+} from "./categoryService";
+import { buildTree } from "../hooks/useCategories";
+import type { CategoryTreeNode } from "../shared/types";
+
+interface Row {
+ id: number;
+ name: string;
+ parent_id: number | null;
+ is_active: number;
+ is_inputable: number;
+}
+
+const row = (id: number, parent_id: number | null, extra: Partial = {}): Row => ({
+ id,
+ name: `c${id}`,
+ parent_id,
+ is_active: 1,
+ is_inputable: 1,
+ ...extra,
+});
+
+const HIERARCHY_SQL = "SELECT id, parent_id, is_active FROM categories";
+
+/**
+ * The categories table and the direct transaction counts. Every statement is
+ * logged with the connection it went through ("handle" or "global").
+ */
+function useFakeDb(initial: Row[], transactions: Record = {}) {
+ let rows = initial.map((r) => ({ ...r }));
+ let beforeTransaction: Row[] | null = null;
+ const log: Array<{ via: "handle" | "global"; sql: string; params: unknown[] }> = [];
+
+ const select = async (sql: string, params: unknown[] = []) => {
+ if (sql === HIERARCHY_SQL) {
+ return rows.map(({ id, parent_id, is_active }) => ({ id, parent_id, is_active }));
+ }
+ if (sql.includes("COUNT(*) AS cnt FROM transactions WHERE category_id = $1")) {
+ return [{ cnt: transactions[params[0] as number] ?? 0 }];
+ }
+ if (sql.includes("SELECT parent_id FROM categories WHERE id = $1 AND is_active = 1")) {
+ const found = rows.find((r) => r.id === params[0] && r.is_active === 1);
+ return found ? [{ parent_id: found.parent_id }] : [];
+ }
+ throw new Error(`unexpected SELECT: ${sql}`);
+ };
+
+ const execute = async (sql: string, params: unknown[] = []) => {
+ if (sql === "BEGIN") {
+ beforeTransaction = rows.map((r) => ({ ...r }));
+ } else if (sql === "COMMIT") {
+ beforeTransaction = null;
+ } else if (sql === "ROLLBACK") {
+ if (beforeTransaction) rows = beforeTransaction;
+ beforeTransaction = null;
+ } else if (sql.startsWith("UPDATE categories SET name = $1")) {
+ const [name, , , parent_id, is_inputable, , id] = params as [string, string, string, number | null, number, number, number];
+ rows = rows.map((r) => (r.id === id ? { ...r, name, parent_id, is_inputable } : r));
+ } else if (sql.startsWith("UPDATE categories SET parent_id = $1 WHERE id = $2")) {
+ const [parent_id, id] = params as [number | null, number];
+ rows = rows.map((r) => (r.id === id ? { ...r, parent_id } : r));
+ } else if (sql.startsWith("UPDATE categories SET is_inputable = 0 WHERE id = $1 AND is_inputable = 1")) {
+ rows = rows.map((r) => (r.id === params[0] && r.is_inputable === 1 ? { ...r, is_inputable: 0 } : r));
+ } else if (sql.startsWith("INSERT INTO categories")) {
+ const [name, , , parent_id, is_inputable] = params as [string, string, string, number | null, number];
+ const id = Math.max(0, ...rows.map((r) => r.id)) + 1;
+ rows = [...rows, { id, name, parent_id, is_active: 1, is_inputable }];
+ return { rowsAffected: 1, lastInsertId: id };
+ } else {
+ throw new Error(`unexpected execute: ${sql}`);
+ }
+ return { rowsAffected: 1 };
+ };
+
+ const connection = (via: "handle" | "global") => ({
+ select: vi.fn(async (sql: string, params?: unknown[]) => {
+ if (via === "global" && fake.inTransaction) throw new Error("getDb() inside a transaction");
+ log.push({ via, sql, params: params ?? [] });
+ return select(sql, params);
+ }),
+ execute: vi.fn(async (sql: string, params?: unknown[]) => {
+ if (via === "global" && fake.inTransaction) throw new Error("getDb() inside a transaction");
+ log.push({ via, sql, params: params ?? [] });
+ return execute(sql, params);
+ }),
+ });
+ fake.global = connection("global");
+ fake.handle = connection("handle");
+
+ return {
+ rows: () => rows,
+ log,
+ /** The statements that wrote, in order (BEGIN/COMMIT/ROLLBACK included). */
+ writes: () => log.filter((l) => !l.sql.startsWith("SELECT")).map((l) => l.sql.split(" WHERE")[0]),
+ };
+}
+
+const form = (parent_id: number | null, extra: { name?: string; is_inputable?: boolean } = {}) => ({
+ name: extra.name ?? "Renamed",
+ type: "expense",
+ color: "#4A90A4",
+ parent_id,
+ is_inputable: extra.is_inputable ?? true,
+ sort_order: 1,
+});
+
+/** What `updateCategory` or `reattachCategory` rejected with. */
+async function refusal(promise: Promise): Promise {
+ const error = await promise.then(
+ () => null,
+ (e: unknown) => e,
+ );
+ expect(error).toBeInstanceOf(CategoryHierarchyError);
+ return error as CategoryHierarchyError;
+}
+
+/** The tree of the Categories page, built from the active rows as the page loads them. */
+const visibleIds = (rows: Row[]): number[] => {
+ const flat: CategoryTreeNode[] = rows
+ .filter((r) => r.is_active === 1)
+ .map((r) => ({
+ id: r.id,
+ name: r.name,
+ parent_id: r.parent_id,
+ color: null,
+ icon: null,
+ type: "expense",
+ is_active: true,
+ is_inputable: r.is_inputable === 1,
+ sort_order: r.id,
+ keyword_count: 0,
+ i18n_key: null,
+ children: [],
+ }));
+ const ids: number[] = [];
+ const walk = (nodes: CategoryTreeNode[]) => {
+ for (const node of nodes) {
+ ids.push(node.id);
+ walk(node.children);
+ }
+ };
+ walk(buildTree(flat));
+ return ids.sort((a, b) => a - b);
+};
+
+// 1 -> 10 -> 100, 1 -> 11; 2 -> 20.
+const TREE = [row(1, null), row(10, 1), row(100, 10), row(11, 1), row(2, null), row(20, 2)];
+
+beforeEach(() => {
+ fake.inTransaction = false;
+ vi.mocked(withTransaction).mockClear();
+});
+
+describe("updateCategory — regression of #393: A -> B -> A", () => {
+ it("refuses to put a category under its own child, writes nothing, rolls back", async () => {
+ // A (1) is a root, B (2) its child. Editing A with parent B closed the
+ // loop in one save and hid both everywhere.
+ const db = useFakeDb([row(1, null), row(2, 1)]);
+ const error = await refusal(updateCategory(1, form(2)));
+ expect(error.code).toBe("cycle");
+ expect(db.rows().find((r) => r.id === 1)?.parent_id).toBeNull();
+ expect(db.writes()).toEqual(["BEGIN", "ROLLBACK"]);
+ expect(visibleIds(db.rows())).toEqual([1, 2]);
+ });
+
+ it("refuses the category itself as its parent", async () => {
+ useFakeDb(TREE);
+ expect((await refusal(updateCategory(11, form(11)))).code).toBe("self_parent");
+ });
+
+ it("refuses a grandchild as the parent", async () => {
+ useFakeDb(TREE);
+ expect((await refusal(updateCategory(1, form(100)))).code).toBe("cycle");
+ });
+
+ it("refuses a fourth level, counting the sub-tree of the category", async () => {
+ const db = useFakeDb(TREE);
+ // Root 2 carries 20: under 10 (level 1), 20 would land at level 3.
+ expect((await refusal(updateCategory(2, form(10)))).code).toBe("too_deep");
+ // A leaf under 100 (level 2) would be level 3.
+ expect((await refusal(updateCategory(20, form(100)))).code).toBe("too_deep");
+ expect(db.writes()).toEqual(["BEGIN", "ROLLBACK", "BEGIN", "ROLLBACK"]);
+ });
+
+ it("refuses a new parent that holds transactions of its own", async () => {
+ const db = useFakeDb(TREE, { 11: 3 });
+ expect((await refusal(updateCategory(20, form(11)))).code).toBe("parent_has_transactions");
+ expect(db.rows().find((r) => r.id === 20)?.parent_id).toBe(2);
+ expect(db.rows().find((r) => r.id === 11)?.is_inputable).toBe(1);
+ expect(db.writes()).toEqual(["BEGIN", "ROLLBACK"]);
+ });
+
+ it("moves a category under a valid parent, which stops taking input, in one transaction through its handle", async () => {
+ const db = useFakeDb(TREE);
+ await updateCategory(20, form(11, { is_inputable: false }));
+ expect(db.writes()).toEqual([
+ "BEGIN",
+ "UPDATE categories SET name = $1, type = $2, color = $3, parent_id = $4, is_inputable = $5, sort_order = $6",
+ "UPDATE categories SET is_inputable = 0",
+ "COMMIT",
+ ]);
+ // Every statement, reads included, went through the transaction's handle.
+ expect(db.log.every((l) => l.via === "handle")).toBe(true);
+ expect(withTransaction).toHaveBeenCalledTimes(1);
+ const moved = db.rows().find((r) => r.id === 20);
+ expect(moved?.parent_id).toBe(11);
+ expect(moved?.name).toBe("Renamed");
+ // The flag is bound as the integer 0, never the boolean false.
+ const update = db.log.find((l) => l.sql.startsWith("UPDATE categories SET name"));
+ expect(update?.params[4]).toBe(0);
+ expect(db.rows().find((r) => r.id === 11)?.is_inputable).toBe(0);
+ });
+
+ it("accepts the root, without touching any other category", async () => {
+ const db = useFakeDb(TREE);
+ await updateCategory(10, form(null));
+ expect(db.rows().find((r) => r.id === 10)?.parent_id).toBeNull();
+ expect(db.writes()).toEqual([
+ "BEGIN",
+ "UPDATE categories SET name = $1, type = $2, color = $3, parent_id = $4, is_inputable = $5, sort_order = $6",
+ "COMMIT",
+ ]);
+ });
+
+ it("does not check an unchanged parent: a rename under a parent with transactions or at a fourth level is saved", async () => {
+ // Stored before the rules: 2 holds transactions and has a child; 1000 sits at level 3.
+ const db = useFakeDb([...TREE, row(1000, 100)], { 2: 5 });
+ await updateCategory(20, form(2, { name: "Rent" }));
+ await updateCategory(1000, form(100, { name: "Deep" }));
+ expect(db.rows().find((r) => r.id === 20)?.name).toBe("Rent");
+ expect(db.rows().find((r) => r.id === 1000)?.name).toBe("Deep");
+ expect(db.log.some((l) => l.sql.includes("FROM transactions"))).toBe(false);
+ expect(db.writes().filter((w) => w === "UPDATE categories SET is_inputable = 0")).toEqual([]);
+ });
+
+ it("refuses a deactivated parent with a plain error, out of reach of the pickers", async () => {
+ const db = useFakeDb([...TREE, row(3, null, { is_active: 0 })]);
+ const error = await updateCategory(20, form(3)).then(
+ () => null,
+ (e: unknown) => e,
+ );
+ expect(error).toBeInstanceOf(Error);
+ expect(error).not.toBeInstanceOf(CategoryHierarchyError);
+ expect(db.writes()).toEqual(["BEGIN", "ROLLBACK"]);
+ });
+});
+
+describe("CategoryHierarchyError", () => {
+ it("carries its code and names the i18n key of its message", () => {
+ const error = new CategoryHierarchyError("too_deep");
+ expect(error).toBeInstanceOf(Error);
+ expect(error.name).toBe("CategoryHierarchyError");
+ expect(error.code).toBe("too_deep");
+ expect(categoryHierarchyErrorKey("parent_has_transactions")).toBe(
+ "categories.hierarchy.errors.parent_has_transactions",
+ );
+ });
+});
+
+describe("findOrphanCategories (#393)", () => {
+ it("reads every category with the dedicated query, inactive ones included", async () => {
+ const db = useFakeDb([row(1, null), row(2, null, { is_active: 0 }), row(20, 2), row(30, 99)]);
+ expect(await findOrphanCategories()).toEqual([
+ { id: 20, reason: "inactive_parent" },
+ { id: 30, reason: "missing_parent" },
+ ]);
+ expect(db.log.map((l) => l.sql)).toEqual([HIERARCHY_SQL]);
+ });
+});
+
+describe("reattachCategory on rows already in a cycle (#393)", () => {
+ it("a two-member cycle: found by the diagnostic, broken at the root, back in the tree", async () => {
+ // 5 <-> 3, 8 under 5: none of them is reachable from a root.
+ const db = useFakeDb([row(1, null), row(5, 3), row(3, 5), row(8, 5)]);
+ expect(visibleIds(db.rows())).toEqual([1]);
+ expect(await findOrphanCategories()).toEqual([{ id: 3, reason: "cycle" }]);
+
+ expect(await reattachCategory(3, null)).toBe(3);
+
+ expect(db.rows().find((r) => r.id === 3)?.parent_id).toBeNull();
+ expect(await findOrphanCategories()).toEqual([]);
+ expect(visibleIds(db.rows())).toEqual([1, 3, 5, 8]);
+ expect(db.log.filter((l) => l.via === "global").map((l) => l.sql)).toEqual([HIERARCHY_SQL, HIERARCHY_SQL]);
+ });
+
+ it("a three-member cycle: too deep under a root, broken at the root, back in the tree", async () => {
+ // 6 -> 4 -> 9 -> 6, nothing under them. Broken at 4, the branch is 4 -> 6 -> 9:
+ // three levels, so it fits at the root and not under root 1.
+ const db = useFakeDb([row(1, null), row(6, 4), row(4, 9), row(9, 6)]);
+ expect(await findOrphanCategories()).toEqual([{ id: 4, reason: "cycle" }]);
+ // Under root 1 the branch (4, 6, 9) would reach level 3: refused, nothing written.
+ expect((await refusal(reattachCategory(4, 1))).code).toBe("too_deep");
+ expect(await findOrphanCategories()).toEqual([{ id: 4, reason: "cycle" }]);
+
+ expect(await reattachCategory(4, null)).toBe(3);
+ expect(await findOrphanCategories()).toEqual([]);
+ expect(visibleIds(db.rows())).toEqual([1, 4, 6, 9]);
+ });
+
+ it("moves a cycle member under a sound parent, which stops taking input", async () => {
+ const db = useFakeDb([row(1, null), row(5, 3), row(3, 5)]);
+ expect(await reattachCategory(3, 1)).toBe(2);
+ expect(db.rows().find((r) => r.id === 3)?.parent_id).toBe(1);
+ expect(db.rows().find((r) => r.id === 1)?.is_inputable).toBe(0);
+ expect(db.writes()).toEqual([
+ "BEGIN",
+ "UPDATE categories SET parent_id = $1",
+ "UPDATE categories SET is_inputable = 0",
+ "COMMIT",
+ ]);
+ expect(db.log.every((l) => l.via === "handle")).toBe(true);
+ expect(visibleIds(db.rows())).toEqual([1, 3, 5]);
+ });
+
+ it("refuses the other member of the cycle and a parent with transactions, writing nothing", async () => {
+ const db = useFakeDb([row(1, null), row(5, 3), row(3, 5)], { 1: 2 });
+ expect((await refusal(reattachCategory(3, 5))).code).toBe("cycle");
+ expect((await refusal(reattachCategory(3, 1))).code).toBe("parent_has_transactions");
+ expect(db.rows().find((r) => r.id === 3)?.parent_id).toBe(5);
+ expect(db.writes()).toEqual(["BEGIN", "ROLLBACK", "BEGIN", "ROLLBACK"]);
+ });
+
+ it("reattaches a category whose parent was deleted, counting its active descendants only", async () => {
+ const db = useFakeDb([
+ row(1, null),
+ row(2, null, { is_active: 0 }),
+ row(20, 2),
+ row(21, 20),
+ row(22, 20, { is_active: 0 }),
+ ]);
+ expect(await reattachCategory(20, 1)).toBe(2);
+ expect(db.rows().find((r) => r.id === 20)?.parent_id).toBe(1);
+ expect(await findOrphanCategories()).toEqual([]);
+ });
+});
+
+describe("getCategoryDepth (#393)", () => {
+ it("counts the active ancestors", async () => {
+ useFakeDb(TREE);
+ expect(await getCategoryDepth(1)).toBe(0);
+ expect(await getCategoryDepth(10)).toBe(1);
+ expect(await getCategoryDepth(100)).toBe(2);
+ });
+
+ it("ends on a cycle and on a category that is its own parent: no depth", async () => {
+ useFakeDb([row(5, 3), row(3, 5), row(8, 5), row(7, 7)]);
+ expect(await getCategoryDepth(5)).toBe(Number.POSITIVE_INFINITY);
+ expect(await getCategoryDepth(8)).toBe(Number.POSITIVE_INFINITY);
+ expect(await getCategoryDepth(7)).toBe(Number.POSITIVE_INFINITY);
+ });
+
+ it("so createCategory refuses a cycle member as the parent", async () => {
+ const db = useFakeDb([row(5, 3), row(3, 5)]);
+ await expect(
+ createCategory({ name: "New", type: "expense", color: "#000", parent_id: 5, is_inputable: true, sort_order: 1 }),
+ ).rejects.toThrow("maximum depth");
+ expect(db.rows()).toHaveLength(2);
+ });
+});
diff --git a/src/services/categoryService.ts b/src/services/categoryService.ts
index 976bf2c..a73bfaa 100644
--- a/src/services/categoryService.ts
+++ b/src/services/categoryService.ts
@@ -1,5 +1,112 @@
-import { getDb } from "./db";
+import type Database from "@tauri-apps/plugin-sql";
+import { getDb, withTransaction } from "./db";
import type { Keyword } from "../shared/types";
+import { toSqlFlag } from "../utils/sqlFlag";
+import {
+ descendantsOf,
+ findOrphans,
+ isActiveRow,
+ parentChangeRefusal,
+ type HierarchyRow,
+ type OrphanCategory,
+} from "../utils/categoryHierarchy";
+
+/** Why a new parent is refused (#393); each code has its message under `categories.hierarchy.errors`. */
+export type CategoryHierarchyErrorCode =
+ | "self_parent"
+ | "cycle"
+ | "too_deep"
+ | "parent_has_transactions";
+
+/**
+ * Thrown when `updateCategory` or `reattachCategory` refuses a new parent
+ * (#393), before any write. The UI shows the translation of its code
+ * (`categoryHierarchyErrorKey`), never `message`, which is for the tests and
+ * the developer console.
+ */
+export class CategoryHierarchyError extends Error {
+ readonly code: CategoryHierarchyErrorCode;
+ constructor(code: CategoryHierarchyErrorCode, message?: string) {
+ super(message ?? `New parent refused by the category hierarchy rules: ${code}`);
+ this.name = "CategoryHierarchyError";
+ this.code = code;
+ }
+}
+
+/** The i18n key of a refusal's message. */
+export function categoryHierarchyErrorKey(code: CategoryHierarchyErrorCode): string {
+ return `categories.hierarchy.errors.${code}`;
+}
+
+/**
+ * Every category, active or not, with what the hierarchy rules read (#393).
+ * The other category queries keep active rows only, which would turn a
+ * deactivated parent into a missing one.
+ */
+const HIERARCHY_ROWS_SQL = "SELECT id, parent_id, is_active FROM categories";
+
+async function readHierarchyRows(db: Database): Promise {
+ return db.select(HIERARCHY_ROWS_SQL);
+}
+
+/** The orphan categories of the profile, one per group to reattach (`findOrphans`, #393). */
+export async function findOrphanCategories(): Promise {
+ const db = await getDb();
+ return findOrphans(await readHierarchyRows(db));
+}
+
+/** A category that receives a child stops taking input, as in `createCategory`. */
+async function markAsParent(db: Database, parentId: number): Promise {
+ await db.execute(
+ `UPDATE categories SET is_inputable = 0 WHERE id = $1 AND is_inputable = 1`,
+ [parentId]
+ );
+}
+
+/**
+ * Checks moving category `id` under `parentId` (#393), on rows read in the
+ * caller's transaction and through its handle: the hierarchy rules of
+ * `parentChangeRefusal`, then a parent that holds transactions of its own is
+ * refused (once a parent, it would stop taking input). The root is always
+ * accepted. Throws before any write.
+ */
+async function checkNewParent(
+ db: Database,
+ rows: HierarchyRow[],
+ id: number,
+ parentId: number | null
+): Promise {
+ if (parentId === null) return;
+ const active = rows.filter(isActiveRow);
+ // Unreachable from the UI: both pickers list active categories only.
+ if (parentId !== id && !active.some((r) => r.id === parentId)) {
+ throw new Error("Parent category not found or inactive");
+ }
+ const refusal = parentChangeRefusal(active, id, parentId);
+ if (refusal !== null) throw new CategoryHierarchyError(refusal);
+ const used = await db.select>(
+ `SELECT COUNT(*) AS cnt FROM transactions WHERE category_id = $1`,
+ [parentId]
+ );
+ if ((used[0]?.cnt ?? 0) > 0) throw new CategoryHierarchyError("parent_has_transactions");
+}
+
+/** Runs `body` between BEGIN and COMMIT on the transaction handle, ROLLBACK on failure. */
+async function inTransaction(db: Database, body: () => Promise): Promise {
+ await db.execute("BEGIN");
+ try {
+ const result = await body();
+ await db.execute("COMMIT");
+ return result;
+ } catch (e) {
+ try {
+ await db.execute("ROLLBACK");
+ } catch {
+ // Keep the original error: it is the one that explains the failure.
+ }
+ throw e;
+ }
+}
interface CategoryRow {
id: number;
@@ -27,11 +134,20 @@ export async function getAllCategoriesWithCounts(): Promise {
);
}
+/**
+ * Number of active ancestors of a category: 0 for a root. A category caught in
+ * a `parent_id` cycle, or under one, has no depth: the walk keeps the ids it
+ * has seen and returns `Infinity` on the first one seen twice (#393), which
+ * `createCategory` refuses as a parent.
+ */
export async function getCategoryDepth(categoryId: number): Promise {
const db = await getDb();
let depth = 0;
let currentId: number | null = categoryId;
+ const visited = new Set();
while (currentId !== null) {
+ if (visited.has(currentId)) return Number.POSITIVE_INFINITY;
+ visited.add(currentId);
const parentRows: Array<{ parent_id: number | null }> = await db.select>(
`SELECT parent_id FROM categories WHERE id = $1 AND is_active = 1`,
[currentId]
@@ -68,15 +184,22 @@ export async function createCategory(data: {
// Auto-manage is_inputable: when a child is created under a parent, set parent to is_inputable = 0
if (data.parent_id !== null) {
- await db.execute(
- `UPDATE categories SET is_inputable = 0 WHERE id = $1 AND is_inputable = 1`,
- [data.parent_id]
- );
+ await markAsParent(db, data.parent_id);
}
return result.lastInsertId as number;
}
+/**
+ * Saves the category form. A new parent goes through the hierarchy rules
+ * (#393, `checkNewParent`): `CategoryHierarchyError` on a refusal, nothing
+ * written. The reads and the writes (the row, then the new parent's
+ * `is_inputable`) run in one transaction, through its handle.
+ *
+ * An unchanged parent is not checked: a name or a colour saved on a category
+ * stored before these rules (a fourth level, a parent with transactions) must
+ * not be refused.
+ */
export async function updateCategory(
id: number,
data: {
@@ -88,10 +211,43 @@ export async function updateCategory(
sort_order: number;
}
): Promise {
- const db = await getDb();
- await db.execute(
- `UPDATE categories SET name = $1, type = $2, color = $3, parent_id = $4, is_inputable = $5, sort_order = $6 WHERE id = $7`,
- [data.name, data.type, data.color, data.parent_id, data.is_inputable ? 1 : 0, data.sort_order, id]
+ const parentId = data.parent_id ?? null;
+ await withTransaction((db) =>
+ inTransaction(db, async () => {
+ const rows = await readHierarchyRows(db);
+ const current = rows.find((r) => r.id === id);
+ if (current === undefined) throw new Error("Category not found");
+ const parentChanged = (current.parent_id ?? null) !== parentId;
+ if (parentChanged) await checkNewParent(db, rows, id, parentId);
+ await db.execute(
+ `UPDATE categories SET name = $1, type = $2, color = $3, parent_id = $4, is_inputable = $5, sort_order = $6 WHERE id = $7`,
+ [data.name, data.type, data.color, parentId, toSqlFlag(data.is_inputable), data.sort_order, id]
+ );
+ if (parentChanged && parentId !== null) await markAsParent(db, parentId);
+ })
+ );
+}
+
+/**
+ * Moves a category under `parentId`, or to the root with `null`: the repair
+ * of the « Vérifier la hiérarchie » window (#393). Same rules as a parent
+ * change in `updateCategory`, always checked, in one transaction through its
+ * handle; only `parent_id` changes, and the new parent's `is_inputable`.
+ *
+ * Returns the number of categories put back in place: the category and every
+ * active category under it (for a member of a cycle, the whole cycle and what
+ * hangs under it).
+ */
+export async function reattachCategory(id: number, parentId: number | null): Promise {
+ return withTransaction((db) =>
+ inTransaction(db, async () => {
+ const rows = await readHierarchyRows(db);
+ if (!rows.some((r) => r.id === id)) throw new Error("Category not found");
+ await checkNewParent(db, rows, id, parentId);
+ await db.execute(`UPDATE categories SET parent_id = $1 WHERE id = $2`, [parentId, id]);
+ if (parentId !== null) await markAsParent(db, parentId);
+ return 1 + descendantsOf(rows.filter(isActiveRow), id).size;
+ })
);
}
@@ -140,6 +296,13 @@ export async function fixDuplicateSortOrders(): Promise {
}
}
+/**
+ * Writes the order and the parent of every category after a drag-and-drop in
+ * the tree. Unlike `updateCategory`, no hierarchy check here (#393, out of its
+ * scope): its only caller, `moveCategory` of `useCategories`, cannot drop a
+ * category inside its own sub-tree (the drop target is not found, nothing is
+ * written).
+ */
export async function updateCategorySortOrders(
updates: Array<{ id: number; sort_order: number; parent_id: number | null }>
): Promise {
diff --git a/src/utils/categoryHierarchy.test.ts b/src/utils/categoryHierarchy.test.ts
new file mode 100644
index 0000000..de853a6
--- /dev/null
+++ b/src/utils/categoryHierarchy.test.ts
@@ -0,0 +1,220 @@
+// categoryHierarchy — the rules of the category hierarchy (#393): depths,
+// heights and descent, the orphan diagnostic and the validation of a new
+// parent. Every walk must end on a `parent_id` cycle: a test that loops runs
+// into vitest's timeout and goes red.
+import { describe, it, expect } from "vitest";
+import {
+ MAX_CATEGORY_DEPTH,
+ depthsOf,
+ descendantsOf,
+ displaysAsRoot,
+ findOrphans,
+ fitsUnder,
+ isActiveRow,
+ parentChangeRefusal,
+ subtreeHeight,
+ type HierarchyNode,
+ type HierarchyRow,
+} from "./categoryHierarchy";
+
+const n = (id: number, parent_id: number | null): HierarchyNode => ({ id, parent_id });
+/** An active row, or an inactive one with `active = false`. */
+const r = (id: number, parent_id: number | null, active = true): HierarchyRow => ({
+ id,
+ parent_id,
+ is_active: active ? 1 : 0,
+});
+
+// Two roots. 1 -> 10 -> 100 and 1 -> 11; 2 -> 20.
+const TREE = [n(1, null), n(10, 1), n(100, 10), n(11, 1), n(2, null), n(20, 2)];
+
+const depthEntries = (nodes: HierarchyNode[]) =>
+ [...depthsOf(nodes).entries()].sort(([a], [b]) => a - b);
+
+describe("depthsOf", () => {
+ it("gives 0 to a root, 1 to its child, 2 to a grandchild", () => {
+ expect(depthEntries(TREE)).toEqual([
+ [1, 0],
+ [2, 0],
+ [10, 1],
+ [11, 1],
+ [20, 1],
+ [100, 2],
+ ]);
+ });
+
+ it("does not depend on the order of the list", () => {
+ expect(depthEntries([...TREE].reverse())).toEqual(depthEntries(TREE));
+ });
+
+ it("treats a category whose parent is not in the list as a root", () => {
+ expect(depthEntries([n(10, 1), n(100, 10)])).toEqual([
+ [10, 0],
+ [100, 1],
+ ]);
+ });
+
+ it("gives no depth to the members of a cycle nor to what hangs under it, and ends", () => {
+ // 1 <-> 2, 3 under 1, 4 under 3; 5 is a sound root.
+ const depths = depthsOf([n(3, 1), n(1, 2), n(2, 1), n(4, 3), n(5, null)]);
+ expect([...depths.entries()]).toEqual([[5, 0]]);
+ });
+
+ it("gives no depth to a category that is its own parent", () => {
+ expect(depthsOf([n(7, 7), n(8, 7)]).size).toBe(0);
+ });
+
+ it("ends on a three-member cycle reached from below", () => {
+ const depths = depthsOf([n(9, 3), n(3, 2), n(2, 1), n(1, 3)]);
+ expect(depths.size).toBe(0);
+ });
+});
+
+describe("subtreeHeight and descendantsOf", () => {
+ it("count the levels and list the categories under a category", () => {
+ expect(subtreeHeight(TREE, 1)).toBe(2);
+ expect(subtreeHeight(TREE, 10)).toBe(1);
+ expect(subtreeHeight(TREE, 100)).toBe(0);
+ expect([...descendantsOf(TREE, 1)].sort((a, b) => a - b)).toEqual([10, 11, 100]);
+ expect(descendantsOf(TREE, 100).size).toBe(0);
+ });
+
+ it("end on a cycle, each category once, the start never listed", () => {
+ // 1 <-> 2, 3 under 2.
+ const cyclic = [n(1, 2), n(2, 1), n(3, 2)];
+ expect(subtreeHeight(cyclic, 1)).toBe(2);
+ expect([...descendantsOf(cyclic, 1)].sort((a, b) => a - b)).toEqual([2, 3]);
+ expect(subtreeHeight([n(7, 7)], 7)).toBe(0);
+ expect(descendantsOf([n(7, 7)], 7).size).toBe(0);
+ });
+});
+
+describe("fitsUnder", () => {
+ it("allows three levels, 0 to 2, counting the sub-tree", () => {
+ expect(MAX_CATEGORY_DEPTH).toBe(2);
+ expect(fitsUnder(0, 0)).toBe(true);
+ expect(fitsUnder(1, 0)).toBe(true);
+ expect(fitsUnder(0, 1)).toBe(true);
+ expect(fitsUnder(2, 0)).toBe(false);
+ expect(fitsUnder(1, 1)).toBe(false);
+ expect(fitsUnder(0, 2)).toBe(false);
+ });
+});
+
+describe("displaysAsRoot", () => {
+ const ids = new Set([1, 2, 10]);
+ it("is a root without a parent, or with a parent missing from the list", () => {
+ expect(displaysAsRoot({ id: 1, parent_id: null }, ids)).toBe(true);
+ expect(displaysAsRoot({ id: 1 }, ids)).toBe(true);
+ expect(displaysAsRoot({ id: 30, parent_id: 99 }, ids)).toBe(true);
+ });
+
+ it("is not a root under a parent of the list, a cycle member included", () => {
+ expect(displaysAsRoot({ id: 10, parent_id: 1 }, ids)).toBe(false);
+ expect(displaysAsRoot({ id: 1, parent_id: 2 }, ids)).toBe(false);
+ });
+});
+
+describe("isActiveRow", () => {
+ it("reads 1 (or true) as active, anything else as inactive, as `is_active = 1` does", () => {
+ expect(isActiveRow(r(1, null))).toBe(true);
+ expect(isActiveRow({ id: 1, parent_id: null, is_active: true })).toBe(true);
+ expect(isActiveRow(r(1, null, false))).toBe(false);
+ expect(isActiveRow({ id: 1, parent_id: null, is_active: false })).toBe(false);
+ });
+});
+
+describe("findOrphans (#393)", () => {
+ it("finds nothing in a sound tree", () => {
+ expect(findOrphans(TREE.map((c) => r(c.id, c.parent_id ?? null)))).toEqual([]);
+ });
+
+ it("finds a category that is its own parent", () => {
+ expect(findOrphans([r(1, null), r(7, 7), r(8, 7)])).toEqual([{ id: 7, reason: "cycle" }]);
+ });
+
+ it("lists a two-member cycle once, by its smallest id, not what hangs under it", () => {
+ // 5 <-> 3, 8 under 5, 9 under 8. Read from below first.
+ const rows = [r(9, 8), r(8, 5), r(5, 3), r(3, 5), r(1, null)];
+ expect(findOrphans(rows)).toEqual([{ id: 3, reason: "cycle" }]);
+ });
+
+ it("lists a three-member cycle once, by its smallest id, whatever the order of the rows", () => {
+ // 6 -> 4 -> 9 -> 6, 12 under 9.
+ const rows = [r(6, 4), r(4, 9), r(9, 6), r(12, 9), r(1, null)];
+ expect(findOrphans(rows)).toEqual([{ id: 4, reason: "cycle" }]);
+ expect(findOrphans([...rows].reverse())).toEqual([{ id: 4, reason: "cycle" }]);
+ });
+
+ it("names a deactivated parent apart from a missing one, and only the head of each group", () => {
+ // 20's parent (2) is inactive; 21 under 20 follows it. 30's parent (99) does not exist.
+ const rows = [r(1, null), r(2, null, false), r(21, 20), r(20, 2), r(30, 99), r(31, 30)];
+ expect(findOrphans(rows)).toEqual([
+ { id: 20, reason: "inactive_parent" },
+ { id: 30, reason: "missing_parent" },
+ ]);
+ });
+
+ it("never lists an inactive category, nor a cycle among inactive ones", () => {
+ const rows = [r(1, null), r(2, 3, false), r(3, 2, false), r(4, 4, false)];
+ expect(findOrphans(rows)).toEqual([]);
+ });
+
+ it("reports a loop that runs through a deactivated category as the deactivated parent", () => {
+ // 5 -> 6 (inactive) -> 5: the tree shows 5 at the root, its parent being inactive.
+ expect(findOrphans([r(5, 6), r(6, 5, false)])).toEqual([{ id: 5, reason: "inactive_parent" }]);
+ });
+
+ it("lists several groups, sorted by id", () => {
+ const rows = [r(40, 41), r(41, 40), r(15, 15), r(2, 77), r(1, null)];
+ expect(findOrphans(rows)).toEqual([
+ { id: 2, reason: "missing_parent" },
+ { id: 15, reason: "cycle" },
+ { id: 40, reason: "cycle" },
+ ]);
+ });
+});
+
+describe("parentChangeRefusal (#393)", () => {
+ it("accepts the root, always, even for a branch three levels deep or a cycle member", () => {
+ expect(parentChangeRefusal(TREE, 1, null)).toBeNull();
+ expect(parentChangeRefusal([n(1, 2), n(2, 1)], 1, null)).toBeNull();
+ });
+
+ it("refuses the category itself", () => {
+ expect(parentChangeRefusal(TREE, 11, 11)).toBe("self_parent");
+ });
+
+ it("refuses a child and a grandchild: the move would close a loop", () => {
+ expect(parentChangeRefusal(TREE, 1, 10)).toBe("cycle");
+ expect(parentChangeRefusal(TREE, 1, 100)).toBe("cycle");
+ });
+
+ it("refuses a parent caught in another cycle: the category would be hidden with it", () => {
+ const nodes = [...TREE, n(50, 51), n(51, 50)];
+ expect(parentChangeRefusal(nodes, 20, 50)).toBe("cycle");
+ });
+
+ it("refuses a fourth level, counting the sub-tree of the category", () => {
+ // 100 is level 2: a child under it would be level 3.
+ expect(parentChangeRefusal(TREE, 20, 100)).toBe("too_deep");
+ // Root 2 has a child (20): under 10 (level 1), 20 would land at level 3.
+ expect(parentChangeRefusal(TREE, 2, 10)).toBe("too_deep");
+ // Root 1 has grandchildren: under any parent, 100 would land at level 3.
+ expect(parentChangeRefusal(TREE, 1, 2)).toBe("too_deep");
+ });
+
+ it("accepts a valid move", () => {
+ expect(parentChangeRefusal(TREE, 20, 10)).toBeNull(); // a leaf under a level-1 parent
+ expect(parentChangeRefusal(TREE, 2, 1)).toBeNull(); // a root with one level under a root
+ expect(parentChangeRefusal(TREE, 11, 2)).toBeNull();
+ });
+
+ it("moves a member of a cycle under a sound parent when the branch fits, and ends", () => {
+ // 1 <-> 2 with nothing under them; 3 is a sound root.
+ const nodes = [n(1, 2), n(2, 1), n(3, null)];
+ expect(parentChangeRefusal(nodes, 1, 3)).toBeNull();
+ // ... but never under the other member.
+ expect(parentChangeRefusal(nodes, 1, 2)).toBe("cycle");
+ });
+});
diff --git a/src/utils/categoryHierarchy.ts b/src/utils/categoryHierarchy.ts
new file mode 100644
index 0000000..c970aaf
--- /dev/null
+++ b/src/utils/categoryHierarchy.ts
@@ -0,0 +1,237 @@
+// categoryHierarchy — the rules of the category hierarchy, in one place (#393).
+//
+// Three consumers read them: the parent list of the category form
+// (`buildParentOptions`, #423), the orphan diagnostic of the Categories page
+// (`findOrphans`) and the validation of a parent change in `updateCategory`
+// and `reattachCategory` (`parentChangeRefusal`). Every walk, up a parent chain
+// or down the children, keeps a set of the categories it has seen: a
+// `parent_id` cycle stored in the profile ends the walk instead of looping.
+//
+// Levels: a root sits at depth 0, its children at 1, their children at 2.
+// Three levels at most: the budget grid stops at the grandchildren, so a
+// fourth level would drop out of it.
+
+/** What the hierarchy rules read of a category. */
+export interface HierarchyNode {
+ id: number;
+ /** `null` (or absent) for a root. */
+ parent_id?: number | null;
+}
+
+/** A row of `SELECT id, parent_id, is_active FROM categories`, active or not. */
+export interface HierarchyRow extends HierarchyNode {
+ /** `1` for an active category (SQLite's INTEGER flag). */
+ is_active: number | boolean;
+}
+
+/** Deepest depth a category may sit at: three levels, 0 to 2. */
+export const MAX_CATEGORY_DEPTH = 2;
+
+/** Whether the row is active, as the queries' `WHERE is_active = 1` reads it. */
+export function isActiveRow(row: HierarchyRow): boolean {
+ return row.is_active === 1 || row.is_active === true;
+}
+
+/**
+ * Whether the category shows as a root among the categories `ids`: it has no
+ * parent, or a parent that is not in the list (deactivated, or gone). The
+ * tree, the category pickers and the budget all follow this rule (#393).
+ */
+export function displaysAsRoot(category: HierarchyNode, ids: ReadonlySet): boolean {
+ return category.parent_id == null || !ids.has(category.parent_id);
+}
+
+/**
+ * Depth of each category among `categories`: 0 for a root, 1 for its child, 2
+ * for a grandchild. A category whose parent is not in the list counts as a
+ * root, as in the tree. A category caught in a `parent_id` cycle, or under
+ * one, has no depth: no root leads to it, and it is left out of the map.
+ */
+export function depthsOf(categories: readonly HierarchyNode[]): Map {
+ const byId = new Map();
+ for (const c of categories) byId.set(c.id, c);
+ const depths = new Map();
+ /** Categories whose depth is known, or known to be none. */
+ const settled = new Set();
+
+ for (const start of categories) {
+ if (settled.has(start.id)) continue;
+ // Walk up until a root, a settled category, or a category already seen on
+ // this walk: a cycle.
+ const path: number[] = [];
+ const seen = new Set();
+ let node = start;
+ let topDepth: number | undefined;
+ for (;;) {
+ path.push(node.id);
+ seen.add(node.id);
+ const parent = node.parent_id == null ? undefined : byId.get(node.parent_id);
+ if (parent === undefined) {
+ topDepth = 0;
+ break;
+ }
+ if (settled.has(parent.id)) {
+ const above = depths.get(parent.id);
+ topDepth = above === undefined ? undefined : above + 1;
+ break;
+ }
+ if (seen.has(parent.id)) {
+ topDepth = undefined;
+ break;
+ }
+ node = parent;
+ }
+ // The last category of the path sits at `topDepth`, each one before it a
+ // level deeper; none has a depth when the walk ended in a cycle.
+ for (let i = path.length - 1, below = 0; i >= 0; i -= 1, below += 1) {
+ settled.add(path[i]);
+ if (topDepth !== undefined) depths.set(path[i], topDepth + below);
+ }
+ }
+ return depths;
+}
+
+/**
+ * The categories under `rootId`, level by level. Each category is taken once,
+ * so a cycle ends the walk, and `rootId` itself is never listed.
+ */
+function levelsBelow(categories: readonly HierarchyNode[], rootId: number): number[][] {
+ const childrenOf = new Map();
+ for (const c of categories) {
+ if (c.parent_id == null) continue;
+ const bucket = childrenOf.get(c.parent_id) ?? [];
+ bucket.push(c.id);
+ childrenOf.set(c.parent_id, bucket);
+ }
+ const levels: number[][] = [];
+ const seen = new Set([rootId]);
+ let frontier = [rootId];
+ for (;;) {
+ const next: number[] = [];
+ for (const id of frontier) {
+ for (const child of childrenOf.get(id) ?? []) {
+ if (seen.has(child)) continue;
+ seen.add(child);
+ next.push(child);
+ }
+ }
+ if (next.length === 0) return levels;
+ levels.push(next);
+ frontier = next;
+ }
+}
+
+/** Height of the sub-tree under `rootId`: 0 for a leaf, 1 with children, 2 with grandchildren. */
+export function subtreeHeight(categories: readonly HierarchyNode[], rootId: number): number {
+ return levelsBelow(categories, rootId).length;
+}
+
+/** Every category under `rootId`, at any depth; never `rootId` itself, even inside a cycle. */
+export function descendantsOf(categories: readonly HierarchyNode[], rootId: number): Set {
+ return new Set(levelsBelow(categories, rootId).flat());
+}
+
+/**
+ * Whether a category whose sub-tree is `height` levels deep may sit under a
+ * parent at `parentDepth`: its deepest descendant must stay within the three
+ * levels.
+ */
+export function fitsUnder(parentDepth: number, height: number): boolean {
+ return parentDepth + 1 + height <= MAX_CATEGORY_DEPTH;
+}
+
+/** Why a parent change is refused (the service adds `parent_has_transactions`). */
+export type HierarchyRefusal = "self_parent" | "cycle" | "too_deep";
+
+/**
+ * Why category `id` may not move under `newParentId`, or `null` when it may.
+ * `active` are the active categories: depth and descent are counted on them,
+ * as the tree shows them. The caller has checked that `newParentId` is one of
+ * them.
+ *
+ * - The root (`null`) is always accepted: no place is shallower, and it is the
+ * repair of last resort for a category caught in a cycle.
+ * - `self_parent`: the category itself.
+ * - `cycle`: a category under it (the move would close a loop), or a category
+ * with no depth, caught in a cycle or under one (the move would hide it).
+ * - `too_deep`: its deepest descendant would land beyond the third level.
+ */
+export function parentChangeRefusal(
+ active: readonly HierarchyNode[],
+ id: number,
+ newParentId: number | null,
+): HierarchyRefusal | null {
+ if (newParentId === null) return null;
+ if (newParentId === id) return "self_parent";
+ if (descendantsOf(active, id).has(newParentId)) return "cycle";
+ const parentDepth = depthsOf(active).get(newParentId);
+ if (parentDepth === undefined) return "cycle";
+ if (!fitsUnder(parentDepth, subtreeHeight(active, id))) return "too_deep";
+ return null;
+}
+
+/** Why an active category is out of the hierarchy (#393). */
+export type OrphanReason = "cycle" | "inactive_parent" | "missing_parent";
+
+export interface OrphanCategory {
+ /** The category to reattach; the categories under it follow it. */
+ id: number;
+ reason: OrphanReason;
+}
+
+/**
+ * The active categories the tree cannot place, one per group to reattach
+ * (#393), sorted by id:
+ * - `inactive_parent`, `missing_parent`: an active category whose parent is
+ * deactivated, or gone. The tree shows it as a root, out of its place.
+ * - `cycle`: for each `parent_id` cycle among active categories, its member
+ * with the smallest id. The cycle and everything under it are out of reach
+ * from the roots: hidden from the tree, the pickers, the budget and the
+ * reports. Reattaching that member breaks the cycle; the other members and
+ * their descendants come back under it.
+ * Only the head of each group is listed: a category under it follows it.
+ *
+ * `rows` are all the categories, inactive ones included: without them, a
+ * deactivated parent could not be told from a missing one.
+ */
+export function findOrphans(rows: readonly HierarchyRow[]): OrphanCategory[] {
+ const byId = new Map();
+ for (const r of rows) byId.set(r.id, r);
+ const orphans: OrphanCategory[] = [];
+ /** Active categories whose group is known: visible, an orphan, or under one. */
+ const settled = new Set();
+
+ for (const start of rows) {
+ if (!isActiveRow(start) || settled.has(start.id)) continue;
+ // Walk up the active parents until a root, a parent that is inactive or
+ // gone, a settled category, or a category already seen on this walk.
+ const path: number[] = [];
+ const seen = new Set();
+ let node = start;
+ for (;;) {
+ path.push(node.id);
+ seen.add(node.id);
+ if (node.parent_id == null) break;
+ const parent = byId.get(node.parent_id);
+ if (parent === undefined) {
+ orphans.push({ id: node.id, reason: "missing_parent" });
+ break;
+ }
+ if (!isActiveRow(parent)) {
+ orphans.push({ id: node.id, reason: "inactive_parent" });
+ break;
+ }
+ if (settled.has(parent.id)) break;
+ if (seen.has(parent.id)) {
+ // The cycle runs from the parent to the end of the path; what comes
+ // before it on the path hangs under the cycle.
+ const members = path.slice(path.indexOf(parent.id));
+ orphans.push({ id: Math.min(...members), reason: "cycle" });
+ break;
+ }
+ node = parent;
+ }
+ for (const id of path) settled.add(id);
+ }
+ return orphans.sort((a, b) => a.id - b.id);
+}