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.
Can't Update past 3.2.3 due to GPU Driver issue
Reported by kellenwiltshire · filed Feb 1, 2026Closed upstream on 2026-03-02 by ryanrhughes, as not planned.
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
AMD Ryzen 5 3600, MSI GT 1030 2GB (GeForce GT 1030)
What's wrong?
Whenever I try to update past 3.2.3, there seems to be a critical driver issue. My monitors resolution because very out of proportion and running hyprctl monitors returns Unknown-1 as my monitor, instead of the previous DP-1 with proper information. It doesn't seem that Hyprland is seeing my GPU outputs and there is an issue with the nvidia drivers. I've tried different attempts are re-installing them, removing and rebooting, updating on dev branch, but no success. My only safe way to fix the issue is to drop back to a previous snapshot at 3.2.3.
I would like to continue to update down the stable branch, but that seems to be blocked at the moment.
View raw text
### System details AMD Ryzen 5 3600, MSI GT 1030 2GB (GeForce GT 1030) ### What's wrong? Whenever I try to update past 3.2.3, there seems to be a critical driver issue. My monitors resolution because very out of proportion and running `hyprctl monitors` returns `Unknown-1` as my monitor, instead of the previous `DP-1` with proper information. It doesn't seem that Hyprland is seeing my GPU outputs and there is an issue with the nvidia drivers. I've tried different attempts are re-installing them, removing and rebooting, updating on `dev` branch, but no success. My only safe way to fix the issue is to drop back to a previous snapshot at 3.2.3. I would like to continue to update down the stable branch, but that seems to be blocked at the moment.
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.
No decision has been recorded yet.