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.
Error on the first restart after installation
Reported by Guinryuu · filed Sep 3, 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
Chipset intel HM170, i7-6700HQ, GeForce GTX 960M
What's wrong?
Hi, I'm having this problem installing Omarchy Quattro 4.02 from the ISO on a 32GB USB drive with Ventoy. I have Windows 11 (SSD M.2) on partition C, a 250GB partition D:, and an unallocated 100GB partition where I plan to install Omarchy.
To boot into Ventoy, I had to access the UEFI and disable 'Secure Boot'. Only then could I boot into Ventoy and install Omarchy on the unallocated 100GB partition with encryption disabled. The installation took 3 minutes without problems. Afterward, it asked me to restart. I pressed Enter, and it restarted, but the first problem I noticed was that there was no menu to choose which system to boot (Windows 11 or Omarchy). Windows loaded directly. I restarted and pressed F11 for the boot menu, and I got two options: Windows Boot Loader and Limine. I selected it. And on the next startup screen, when I select omarchy/linux and press enter, I get this error:
https://ibb.co/mVyGzfhw
I hope that's clear. I'm trying to install it on an MSI GS60 laptop from around 2016. Thanks so much for any help, greetings to all.
View raw text
### System details Chipset intel HM170, i7-6700HQ, GeForce GTX 960M ### What's wrong? Hi, I'm having this problem installing Omarchy Quattro 4.02 from the ISO on a 32GB USB drive with Ventoy. I have Windows 11 (SSD M.2) on partition C, a 250GB partition D:, and an unallocated 100GB partition where I plan to install Omarchy. To boot into Ventoy, I had to access the UEFI and disable 'Secure Boot'. Only then could I boot into Ventoy and install Omarchy on the unallocated 100GB partition with encryption disabled. The installation took 3 minutes without problems. Afterward, it asked me to restart. I pressed Enter, and it restarted, but the first problem I noticed was that there was no menu to choose which system to boot (Windows 11 or Omarchy). Windows loaded directly. I restarted and pressed F11 for the boot menu, and I got two options: Windows Boot Loader and Limine. I selected it. And on the next startup screen, when I select omarchy/linux and press enter, I get this error: [https://ibb.co/mVyGzfhw](url) I hope that's clear. I'm trying to install it on an MSI GS60 laptop from around 2016. Thanks so much for any help, greetings to all.
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 10:38 UTC