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.
All game crash after having a second GPU installed on my build.
Reported by 28bby · filed Nov 22, 2025Closed upstream on 2025-11-23. 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
AMD Ryzen 7 5800X, RTX 2060, RTX OC 3070 Ti
What's wrong?
Got an old 2060 from work and wanted to use it as secondary GPU only for recording or streaming. After having, it installed, every single game either crashes or takes hours to load Vulkan shaders. This was not happening before. Also, I realized that on btop my main GPU now appears as GPU1 instead of GPU and instead the newly installed GPU appears as GPU0, I haven't changed the slot where the 3070 Ti, so I don't know why that changed.
I believe that for some reason Steam only grabs my 2060 and that's why all games crash. I tried to run The Last of Us 2, and it only let me choose the 2060.
<img width="870" height="516" alt="Image" src="https://github.com/user-attachments/assets/f8ed6c1b-6b18-4796-a42e-ed0474b98a28" />
View raw text
### System details AMD Ryzen 7 5800X, RTX 2060, RTX OC 3070 Ti ### What's wrong? Got an old 2060 from work and wanted to use it as secondary GPU only for recording or streaming. After having, it installed, every single game either crashes or takes hours to load Vulkan shaders. This was not happening before. Also, I realized that on btop my main GPU now appears as GPU1 instead of GPU and instead the newly installed GPU appears as GPU0, I haven't changed the slot where the 3070 Ti, so I don't know why that changed. I believe that for some reason Steam only grabs my 2060 and that's why all games crash. I tried to run The Last of Us 2, and it only let me choose the 2060. <img width="870" height="516" alt="Image" src="https://github.com/user-attachments/assets/f8ed6c1b-6b18-4796-a42e-ed0474b98a28" />
- f8ed6c1b-6b18-4796-a42e-ed0474b98a28
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.