docs: advance workflow pilots

docs/plans/workflow-system.md

@@ -29,7 +29,7 @@ restarted Kitty and closed the user's terminal session.
 
 ## Current checkpoint
 
-- State: declarative core complete; corrective activation and pilots remain.
+- State: declarative core complete and active; pilots remain.
 - Branch: `chore/workflow-system`.
 - Validation: `nix flake check --no-build --quiet`, all three no-link system
   builds, generated Zenith and Polaris Niri validation, and all six companion
@@ -39,15 +39,13 @@ restarted Kitty and closed the user's terminal session.
 - Live state: Walker project and terminal actions, daily notes, stable web apps,
   Evolution D-Bus activation, the Zenith VPN, invocation-scoped GitHub and
   Context7 credentials, Pinta, and Orion transcription passed their completed
-  pilots.
+  pilots. The corrected Actual, WhatsApp, and Outlook launchers all started
+  successfully, and the labeled RabbitMQ test/live bookmarks are present.
 
 ## Active pilot gates
 
 These gates do not block work on each other.
 
-- Add `RabbitMQ — TEST` for `https://test.rabbitmq.yookr.org` and
-  `RabbitMQ — LIVE` for `https://rabbitmq.yookr.org` to a Vivaldi `Operations`
-  bookmark folder. Vivaldi remains the bookmark owner.
 - Supply approved test RabbitMQ management credentials at runtime, then verify
   the Nix-provided client without installing it permanently:
 
@@ -142,10 +140,11 @@ 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.
+- Home Manager declares the three stable Vivaldi launcher paths with forced
+  ownership. Vivaldi's manual `Create shortcuts` action can replace one until a
+  changed Home Manager generation reclaims it; repeating a no-op activation need
+  not relink it. 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.
@@ -165,7 +164,5 @@ the fresh-shell GitHub read and restarted-Codex Context7 lookup must both work.
 
 ## Next step
 
-Reactivate the verified corrective generation on Zenith after the deliberate
-shortcut-regeneration test, confirm the three launchers are managed links, then
-collect all inputs for the active pilots before running them in the order
-RabbitMQ, OpenAPI/API, workbench, S3, and Herdr.
+Collect all inputs for the active pilots, then run them in the order RabbitMQ,
+OpenAPI/API, workbench, S3, and Herdr.

docs/workflow-discovery.md

@@ -109,10 +109,11 @@ copied application state.
 - Walker scans the four repository roots, excludes `.archive` and `.worktrees`,
   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,
-  reclaiming their paths on activation. Manual shortcut regeneration may replace
-  one until the next activation and is an accepted unused edge case. Its
+- Vivaldi remains the bookmark and web-app authority. Home Manager declares
+  stable launchers for Actual, WhatsApp, and Outlook without duplicating browser
+  state and reclaims their paths when a changed Home Manager generation is
+  deployed. Manual shortcut regeneration may replace one meanwhile 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