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.
Omarchy OS stuck on the loader after logging in successfully by entering correct credentials (trying out as a virtual machine on VirtualBox)
Reported by AnubhavPabby · filed Oct 1, 2025Closed upstream on 2025-10-06 by ryanrhughes. 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 5 4600H, 16GB RAM, Omarchy 3.0.2 (Download size 6.2 GB)
What's wrong?
- I was trying out Omarchy OS on VirtualBox as a virtual machine then after installing the OS successfully when i am done logging in the system with my credentials the the screen gets stuck at this loader and I am not able to get inside the system
- <img width="1280" height="800" alt="Image" src="https://github.com/user-attachments/assets/9c983744-496b-4eeb-8219-49112517944d" />
- ISO file used: omarchy-3.0.2.iso (downloaded from Omarchy website)
- Virtualization Vendor: Oracle VirtualBox
- Virtual Hardware Specs
- CPU Cores: 4
- CPU Execution Cap: 100%
- <img width="1920" height="660" alt="Image" src="https://github.com/user-attachments/assets/58d29f34-d7ae-460c-9c80-4e69bab91ad7" />
- RAM: 4096MB or 4GB
- <img width="1920" height="653" alt="Image" src="https://github.com/user-attachments/assets/b4ddfee5-b2fc-494d-95c6-8888eabf66f0" />
- Video Memory: 128 MB
- <img width="1920" height="649" alt="Image" src="https://github.com/user-attachments/assets/235cf00a-4d11-46de-9c2e-be8afc1dea94" />
- Hard Disk Storage: 80GB
- <img width="1920" height="486" alt="Image" src="https://github.com/user-attachments/assets/dd099c2d-c52c-4260-874c-301a81b7a9e9" />
- VirtualBox Network Adapter: Bridged Network Adapter
- <img width="1920" height="455" alt="Image" src="https://github.com/user-attachments/assets/2c5d7b67-a2a7-4968-9027-e3b9d51b5d62" />
View raw text
### System details AMD Ryzen 5 4600H, 16GB RAM, Omarchy 3.0.2 (Download size 6.2 GB) ### What's wrong? - I was trying out Omarchy OS on VirtualBox as a virtual machine then after installing the OS successfully when i am done logging in the system with my credentials the the screen gets stuck at this loader and I am not able to get inside the system - <img width="1280" height="800" alt="Image" src="https://github.com/user-attachments/assets/9c983744-496b-4eeb-8219-49112517944d" /> - ISO file used: omarchy-3.0.2.iso (downloaded from Omarchy website) - Virtualization Vendor: Oracle VirtualBox - Virtual Hardware Specs - CPU Cores: 4 - CPU Execution Cap: 100% - <img width="1920" height="660" alt="Image" src="https://github.com/user-attachments/assets/58d29f34-d7ae-460c-9c80-4e69bab91ad7" /> - RAM: 4096MB or 4GB - <img width="1920" height="653" alt="Image" src="https://github.com/user-attachments/assets/b4ddfee5-b2fc-494d-95c6-8888eabf66f0" /> - Video Memory: 128 MB - <img width="1920" height="649" alt="Image" src="https://github.com/user-attachments/assets/235cf00a-4d11-46de-9c2e-be8afc1dea94" /> - Hard Disk Storage: 80GB - <img width="1920" height="486" alt="Image" src="https://github.com/user-attachments/assets/dd099c2d-c52c-4260-874c-301a81b7a9e9" /> - VirtualBox Network Adapter: Bridged Network Adapter - <img width="1920" height="455" alt="Image" src="https://github.com/user-attachments/assets/2c5d7b67-a2a7-4968-9027-e3b9d51b5d62" />
- 9c983744-496b-4eeb-8219-49112517944d
- 58d29f34-d7ae-460c-9c80-4e69bab91ad7
- b4ddfee5-b2fc-494d-95c6-8888eabf66f0
- 235cf00a-4d11-46de-9c2e-be8afc1dea94
- dd099c2d-c52c-4260-874c-301a81b7a9e9
- 2c5d7b67-a2a7-4968-9027-e3b9d51b5d62
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.