Proof Portal
Omarchy
ProbeLabs65 findings · 95 requirementsA proof layer — requirements, tests and verified fixes — for two of Omarchy's subsystems: the application menu (launcher scripts, QML model, JSONC config, search and selection) and the lock screen (lock scripts, QML, PAM authentication). Scope is deliberately limited to those components of omacom/omarchy; the rest of the distribution is not covered.
System stuck at passoword input loop
Reported by Pedromigacz · filed Apr 15, 2026 · open at source
At a glance
- 1 · What is claimed?
- Only the report text below — no validator has restated it as checkable claims yet.
- 2 · What does it affect?
- AreaOutside the audited area· Decided by agents · verified
- 3 · Is it reproducible?
- No validation has been run yet.
- 4 · What remains unclear?
- Not validated yet: no claims, no reproducer.
- 5 · What happens next?
- Decided by agents and verified by a second, independent agent — see the decision.
Original report
System details
omarchy 3.5
What's wrong?
Issue:
The video is pretty self explanatory, but I'm stuck on a loop. The fist time the PC turns on, I can't change tty, I need to write my password and it allows me to open alternative ttys, then I get stuck on this password loop (that has slightly different styles)
https://github.com/user-attachments/assets/13b93d76-6390-4a6e-9470-2ea802e7dcb8
What worked for me:
Runnin start-hyprland on another tty (ctrl+alt+f3)
tty on f1 is a black screen where I can't type. Not sure if this is normal
tty on f2 is the one stuck on the password input
What I tried to debug:
On the the f3 tty I can launch hyprland with start-hyprland and use my pc normally. Then I run:
~ ❯ ps -t tty2
PID TTY TIME CMD
1440 tty2 00:00:00 Xorg
~ ❯ ps aux | grep tty2
root 1440 0.2 0.1 25426852 62252 tty2 Ssl+ 10:27 0:00 /usr/lib/Xorg -nolisten tcp -background none -seat seat0 vt2 -auth /run/sddm/xauth_ppnDlW -noreset -displayfd 17
pedro 3044 0.0 0.0 6480 4128 pts/0 S+ 10:33 0:00 grep tty2
~ ❯ sudo fuser
fuser ...mount ...mount3
~ ❯ sudo fuser -v /dev/tty
[sudo] password for pedro:
USER PID ACCESS COMMAND
/dev/tty: root 4389 F.... sudo
~ ✗ sudo fuser -v /dev/tty2
USER PID ACCESS COMMAND
/dev/tty2: root 1440 F.... Xorg
~ ❯ cat /usr/share/wayland-sessions/hyprland.desktop
[Desktop Entry]
Name=Hyprland
Comment=An intelligent dynamic tiling Wayland compositor
Exec=/usr/bin/start-hyprland
Type=Application
DesktopNames=Hyprland
Keywords=tiling;wayland;compositor;
~ ❯ sudo systemctl stop display-manager
# Here the broken tty became a free terminal in which I can run `start-hyprland` normally
~ ❯ systemctl status display-manager | grep "Loaded:"
Loaded: loaded (/usr/lib/systemd/system/sddm.service; enabled; preset: disabled)Also, if I lock my screen on a running hyprland, I can write my password and it uloacks normally.
If I Logout, then it jush crashes.
View raw text
### System details
omarchy 3.5
### What's wrong?
Issue:
The video is pretty self explanatory, but I'm stuck on a loop. The fist time the PC turns on, I can't change tty, I need to write my password and it allows me to open alternative ttys, then I get stuck on this password loop (that has slightly different styles)
https://github.com/user-attachments/assets/13b93d76-6390-4a6e-9470-2ea802e7dcb8
What worked for me:
Runnin `start-hyprland` on another tty (`ctrl+alt+f3`)
tty on f1 is a black screen where I can't type. Not sure if this is normal
tty on f2 is the one stuck on the password input
What I tried to debug:
On the the f3 tty I can launch hyprland with `start-hyprland` and use my pc normally. Then I run:
``` bash
~ ❯ ps -t tty2
PID TTY TIME CMD
1440 tty2 00:00:00 Xorg
~ ❯ ps aux | grep tty2
root 1440 0.2 0.1 25426852 62252 tty2 Ssl+ 10:27 0:00 /usr/lib/Xorg -nolisten tcp -background none -seat seat0 vt2 -auth /run/sddm/xauth_ppnDlW -noreset -displayfd 17
pedro 3044 0.0 0.0 6480 4128 pts/0 S+ 10:33 0:00 grep tty2
~ ❯ sudo fuser
fuser ...mount ...mount3
~ ❯ sudo fuser -v /dev/tty
[sudo] password for pedro:
USER PID ACCESS COMMAND
/dev/tty: root 4389 F.... sudo
~ ✗ sudo fuser -v /dev/tty2
USER PID ACCESS COMMAND
/dev/tty2: root 1440 F.... Xorg
~ ❯ cat /usr/share/wayland-sessions/hyprland.desktop
[Desktop Entry]
Name=Hyprland
Comment=An intelligent dynamic tiling Wayland compositor
Exec=/usr/bin/start-hyprland
Type=Application
DesktopNames=Hyprland
Keywords=tiling;wayland;compositor;
~ ❯ sudo systemctl stop display-manager
# Here the broken tty became a free terminal in which I can run `start-hyprland` normally
~ ❯ systemctl status display-manager | grep "Loaded:"
Loaded: loaded (/usr/lib/systemd/system/sddm.service; enabled; preset: disabled)
```
Also, if I lock my screen on a running hyprland, I can write my password and it uloacks normally.
If I Logout, then it jush crashes.
- 13b93d76-6390-4a6e-9470-2ea802e7dcb8
Validation
Not checked yet. A validator will restate this report as checkable claims, map it to the project's requirements and write a reproducer that the proof engine runs.
Linked
Not linked to any known issue, other report or change yet.
Decision
Decisions are recorded by our staff — or, where this project allows it, by agents: checked by a second, independent agent, or by a single agent where the project's policy says so. Any decision reached so far is shown below.
- Out of scopeDecided by agents · verified · 2026-10-09 02:48 UTC