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.
changegroupactive numeric index is off-by-one (Super+Alt+1 switches to window 2, not window 1)
Reported by gardensazurescens · filed Mar 1, 2026Closed upstream on 2026-03-01 by dhh. GitHub close reason: completed. No closing PR or commit is recorded — "completed" alone is not evidence of a fix.
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?
- Not yet mapped to any requirement or component.
- 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?
- Our staff decide whether the report is valid. Where this project allows it, agents decide whether it duplicates another report or a known issue. No decision has been recorded yet.
Original report
System details
Omarchy 3.4.1
What's wrong?
Bug
The default keybindings in default/hypr/bindings/tiling-v2.conf for switching
to a specific window in a group by number are off-by-one:
bindd = SUPER ALT, code:10, Switch to group window 1, changegroupactive, 1
bindd = SUPER ALT, code:11, Switch to group window 2, changegroupactive, 2
...
## Root Cause
The changegroupactive dispatcher passes the arg directly to CGroup::setCurrent(),
which uses 0-based indexing internally. So changegroupactive 1 switches to the window
at index 1 (the 2nd window), not the 1st.
Result:
- Super+Alt+1 → switches to window 2
- Super+Alt+2 → switches to window 3
- Window 1 is unreachable via any number binding
The Hyprland wiki documents the index as starting at 1, but the implementation is 0-based.
## Fix
Shift the args down by 1:
bindd = SUPER ALT, code:10, Switch to group window 1, changegroupactive, 0
bindd = SUPER ALT, code:11, Switch to group window 2, changegroupactive, 1
bindd = SUPER ALT, code:12, Switch to group window 3, changegroupactive, 2
bindd = SUPER ALT, code:13, Switch to group window 4, changegroupactive, 3
bindd = SUPER ALT, code:14, Switch to group window 5, changegroupactive, 4
## Environment
- Omarchy (latest), Hyprland 0.54.0
View raw text
### System details
Omarchy 3.4.1
### What's wrong?
## Bug
The default keybindings in `default/hypr/bindings/tiling-v2.conf` for switching
to a specific window in a group by number are off-by-one:
bindd = SUPER ALT, code:10, Switch to group window 1, changegroupactive, 1
bindd = SUPER ALT, code:11, Switch to group window 2, changegroupactive, 2
...
## Root Cause
The `changegroupactive` dispatcher passes the arg directly to `CGroup::setCurrent()`,
which uses 0-based indexing internally. So `changegroupactive 1` switches to the window
at index 1 (the 2nd window), not the 1st.
Result:
- Super+Alt+1 → switches to window 2
- Super+Alt+2 → switches to window 3
- Window 1 is unreachable via any number binding
The Hyprland wiki documents the index as starting at 1, but the implementation is 0-based.
## Fix
Shift the args down by 1:
bindd = SUPER ALT, code:10, Switch to group window 1, changegroupactive, 0
bindd = SUPER ALT, code:11, Switch to group window 2, changegroupactive, 1
bindd = SUPER ALT, code:12, Switch to group window 3, changegroupactive, 2
bindd = SUPER ALT, code:13, Switch to group window 4, changegroupactive, 3
bindd = SUPER ALT, code:14, Switch to group window 5, changegroupactive, 4
## Environment
- Omarchy (latest), Hyprland 0.54.0Validation
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.
No decision has been recorded yet.