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.
7.2.5-3-omarchy kernel fails to mount root
Reported by sockbot · filed Sep 23, 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
MacBook Air 2014 11"
What's wrong?
When booting with 7.2.5-3-omarchy kernel fails to mount drive with ERROR: Failed to mount '/dev/mapper/root' on real root
Working setup with 7.2.3-arch1-3 kernel:
┌──────────────────────Hardware──────────────────────┐
PC: MacBook Air (11-inch, Early 2015) (1.0)
│ ├: Intel(R) Core(TM) i5-5250U (4) @ 2.70 GHz
│ ├: HD Graphics 6000
│ ├: 1366x768 in 12", 60 Hz [Built-in]
│ ├: 49.71 GiB / 231.74 GiB (21%) - btrfs
│ ├: 4.09 GiB / 7.65 GiB (53%)
└ └ : 0 B / 7.65 GiB (0%)
└────────────────────────────────────────────────────┘
┌──────────────────────Software──────────────────────┐
OS: Omarchy 4.0.4-1
│ ├: stable
│ ├: Linux 7.2.3-arch1-3
│ ├: Hyprland 0.56.2 (Wayland)
│ ├: foot 1.28.0
│ ├: 1235 (pacman)
│ ├: Kanagawa ●●●●●●●●
└ └: JetBrainsMono Nerd Font (9pt)
└────────────────────────────────────────────────────┘
┌────────────────Age / Uptime / Update───────────────┐
OS Age: 260 days
Uptime: 10 mins
Update: Tuesday, September 22 2026 at 22:07
└────────────────────────────────────────────────────┘dmesg with errors:
<img width="4032" height="3024" alt="Image" src="https://github.com/user-attachments/assets/75f36185-4cdf-4d41-a6fc-d90233d38bde" />
View raw text
### System details MacBook Air 2014 11" ### What's wrong? When booting with 7.2.5-3-omarchy kernel fails to mount drive with `ERROR: Failed to mount '/dev/mapper/root' on real root` Working setup with 7.2.3-arch1-3 kernel: ``` ┌──────────────────────Hardware──────────────────────┐ PC: MacBook Air (11-inch, Early 2015) (1.0) │ ├: Intel(R) Core(TM) i5-5250U (4) @ 2.70 GHz │ ├: HD Graphics 6000 │ ├: 1366x768 in 12", 60 Hz [Built-in] │ ├: 49.71 GiB / 231.74 GiB (21%) - btrfs │ ├: 4.09 GiB / 7.65 GiB (53%) └ └ : 0 B / 7.65 GiB (0%) └────────────────────────────────────────────────────┘ ┌──────────────────────Software──────────────────────┐ OS: Omarchy 4.0.4-1 │ ├: stable │ ├: Linux 7.2.3-arch1-3 │ ├: Hyprland 0.56.2 (Wayland) │ ├: foot 1.28.0 │ ├: 1235 (pacman) │ ├: Kanagawa ●●●●●●●● └ └: JetBrainsMono Nerd Font (9pt) └────────────────────────────────────────────────────┘ ┌────────────────Age / Uptime / Update───────────────┐ OS Age: 260 days Uptime: 10 mins Update: Tuesday, September 22 2026 at 22:07 └────────────────────────────────────────────────────┘ ``` dmesg with errors: <img width="4032" height="3024" alt="Image" src="https://github.com/user-attachments/assets/75f36185-4cdf-4d41-a6fc-d90233d38bde" />
- 75f36185-4cdf-4d41-a6fc-d90233d38bde
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 17:33 UTC