Emil_Shanaty/Hydra-OS
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Describe terminal selection and focus acceptance workflow

Browse Source
This commit is contained in:
Codex
2026-10-13 15:29:07 +03:00
parent 4e65a0bdc3
commit dcf1fbae40
1 changed files with 13 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/verification.md
+13 -11
View File
@@ -72,22 +72,24 @@ result, compiler errors and process exit status remain the build acceptance gate
## Fresh-session recovery and profile changes ## Fresh-session recovery and profile changes
A session with no profiles opens recovery with first-use guidance. Enter `:shell` A session with no profiles opens the terminal VM menu with first-use guidance.
to run `hydra add NAME --iso PATH` and `hydra start NAME`; leave the shell and enter Use `:run` for guided creation, or `:shell` for the existing CLI. Selecting a
`:refresh`. After adding or removing profiles, refresh reloads the profile list, machine opens it on its own workspace. `:refresh` reloads the profile list after
rebuilds workspace rules, restarts only the session's own compositor, and attaches manual edits, rebuilds workspace rules, restarts only the session's own compositor,
new isolated viewers to running guests. QEMU processes and workloads survive. and attaches viewers to verified live guests. QEMU processes and workloads
The recovery prompt can then reconnect the new names; reserved Left/Right chords survive. Reserved Left/Right chords switch between their workspaces; `:quit`
switch between their workspaces. `:quit` closes the recovery prompt. closes the menu.
`dev/session-refresh-smoke.py` exercises the actual product launch loop, recovery `dev/session-refresh-smoke.py` exercises the actual product launch loop, recovery
helper, `:shell` and `:refresh`, starting with an empty profile directory. A helper, `:shell` and `:refresh`, starting with an empty profile directory. A
test-only labwc wrapper selects private headless backends; a terminal command test-only labwc wrapper selects private headless backends; a terminal command
feeder drives recovery and a scratch shell adds and starts two counter guests. feeder drives recovery and a scratch shell adds and starts two counter guests.
Actual labwc and native Wayland viewers then demonstrate fresh keyboard focus The menu explicitly selects the second VM, and the rebuilt compositor must
transitions in both directions, hidden workload continuity, unchanged QEMU start on its workspace with that viewer focused. Actual labwc and native
PIDs/UUIDs through refresh, and guest survival after normal compositor exit. Wayland viewers then demonstrate fresh keyboard focus transitions in both
This checks the recovery command flow, not physical terminal rendering/usability. directions, hidden workload continuity, unchanged QEMU PIDs/UUIDs through
refresh, and guest survival after normal compositor exit. This checks the
terminal command flow, not physical terminal rendering/usability.
It leaves snapshots, recovery output, protocol logs and `result.json` in It leaves snapshots, recovery output, protocol logs and `result.json` in
`/tmp/hydra-session-refresh-*` and stops only its verified scratch QEMU processes. `/tmp/hydra-session-refresh-*` and stops only its verified scratch QEMU processes.