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.
Following the manual installation guide makes Omarchy/Arch not show up in boot
Reported by LolerHero · filed Oct 30, 2025Closed upstream on 2025-10-31. 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
i5-12400F, MSI Z690-A Motherboard
What's wrong?
So I've spent the better of about 3 Days trying to figure this out and going on Discord for Support. Unfortunately even after extensive back and forth I wasn't able to fix my issue.
Since I'm fairly new to Linux and all it's about I'll try to provide as much information as possible.
What I wanted to achieve
Dual Boot Windows and Omarchy on my current drive
The Problem that arose
After following the Manual Installation Guide I was for one not able to install omarchy and the arch-system was not showing up in my boot options.
I actually tried two ways of the arch installation both unfortunately not yielding positive results.
Setting it up with ext4 and systemd-bootload and btrfs and limine.
These are the messages I got after trying to install Omarchy from the arch command line since I could not boot into the system outside of a bootable drive.
I hope this is all the info needed if not please tell me what else I need to provide.
View raw text
### System details i5-12400F, MSI Z690-A Motherboard ### What's wrong? So I've spent the better of about 3 Days trying to figure this out and going on Discord for Support. Unfortunately even after extensive back and forth I wasn't able to fix my issue. Since I'm fairly new to Linux and all it's about I'll try to provide as much information as possible. **What I wanted to achieve** Dual Boot Windows and Omarchy on my current drive **The Problem that arose** After following the [Manual Installation Guide](https://learn.omacom.io/2/the-omarchy-manual/96/manual-installation) I was for one not able to install omarchy and the arch-system was not showing up in my boot options. I actually tried two ways of the arch installation both unfortunately not yielding positive results. Setting it up with ext4 and systemd-bootload and btrfs and limine.   These are the messages I got after trying to install Omarchy from the arch command line since I could not boot into the system outside of a bootable drive. I hope this is all the info needed if not please tell me what else I need to provide.
- Image
- Image
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.