docs: accept manual Vivaldi shortcut edge case

docs/plans/workflow-system.md

@@ -142,6 +142,10 @@ the fresh-shell GitHub read and restarted-Codex Context7 lookup must both work.
   tools wait for observed needs.
 - Walker's native Elephant menu scans repository roots and calls one Nix-owned
   `open-project` command. Rare menu changes take effect at login.
+- Home Manager forcibly reclaims the three stable Vivaldi launcher paths during
+  activation. Vivaldi's manual `Create shortcuts` action can replace one until
+  the next activation; this accepted edge case does not justify filtering,
+  immutable files, or a watcher because that action is not part of normal use.
 - Kitty and Neovim are the sole declared terminal and editor. Retired duplicate
   applications and global language runtimes stay absent unless a concrete owner
   appears.
@@ -161,6 +165,7 @@ the fresh-shell GitHub read and restarted-Codex Context7 lookup must both work.
 
 ## Next step
 
-Activate the verified corrective generation on Zenith, confirm Vivaldi cannot
+Reactivate the verified corrective generation on Zenith after the deliberate
-replace the managed launchers, then collect all inputs for the active pilots
+shortcut-regeneration test, confirm the three launchers are managed links, then
-before running them in the order RabbitMQ, OpenAPI/API, workbench, S3, and Herdr.
+collect all inputs for the active pilots before running them in the order
+RabbitMQ, OpenAPI/API, workbench, S3, and Herdr.

docs/workflow-discovery.md

@@ -110,9 +110,11 @@ copied application state.
   and invokes one Nix-owned `open-project` command. The command opens Kitty at
   the repository root, starts Neovim, and leaves a shell after Neovim exits.
 - Vivaldi remains the bookmark and web-app authority. Home Manager owns stable
-  launchers for Actual, WhatsApp, and Outlook without duplicating browser state.
+  launchers for Actual, WhatsApp, and Outlook without duplicating browser state,
-  Its `Operations` folder owns visibly labeled test/live RabbitMQ bookmarks;
+  reclaiming their paths on activation. Manual shortcut regeneration may replace
-  terminal inspection uses the Nix-provided `rabbitmqadmin-ng` on demand.
+  one until the next activation and is an accepted unused edge case. Its
+  `Operations` folder owns visibly labeled test/live RabbitMQ bookmarks; terminal
+  inspection uses the Nix-provided `rabbitmqadmin-ng` on demand.
 - Niri keeps dynamic general-purpose workspaces and a compact navigation and
   movement vocabulary. The two-output active-workspace exchange remains a
   bounded pilot.