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.
Edge Arch mirror serves Qt 6.12 while the shell package is still pre-#14553, so Super+Space goes black
Reported by depletionmode · filed Oct 8, 2026Closed upstream on 2026-10-08 by its own reporter depletionmode, as not planned. Closed by its own reporter — not by itself 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
Edge channel, not stable. omarchy version channel prints edge. [omarchy] is https://pkgs.omarchy.org/edge/$arch. core/extra/multilib come from https://mirror.omarchy.org/$repo/os/$arch. The stable Arch mirror on this install is the unused backup https://stable-mirror.omarchy.org.
AMD Ryzen 9 7900X, Intel Arc A770 (i915) plus AMD Raphael 610M (unused), ASUS TUF GAMING X670E-PLUS WIFI, kernel 7.2.5-4-omarchy, Hyprland 0.56.2-4. Installed shell package is omarchy 4.0.4-1 (installed 2026-09-16), not omarchy-dev. Wayland on DP-3, 3840×2160 at scale 1.25. Theme: matte-black.
What omarchy update installed from the edge Arch mirror on 2026-10-08 20:50 IDT:
- qt6-base 6.11.2-3 → 6.12.0-2 (
extra) - qt6-declarative 6.12.0-1
- qt6-wayland 6.11.2-1 → 6.12.0-1
- quickshell 0.3.1-1 → 0.3.2-1 (
extraon the edge mirror; the edge Omarchy repo also hasquickshell 0.3.2-2)
The update then restarted the shell. Hyprland reloaded with no hyprctl configerrors.
What's wrong?
Super+Space (omarchy-menu toggle) paints an opaque black fullscreen layer instead of the menu card. Same layer for Super+Escape. This is Qt 6.12's QtQuick.Color singleton shadowing qs.Commons.Color. That is fixed on main by #14553 (merged 2026-10-08 08:27 UTC, b83d3df) and already closed in #14548, #14560, and #14570.
The earlier wording of this issue was wrong about who gets the Qt package. A non-edge update does not currently get qt6-base 6.12.0. Checked just now against the two mirrors:
| package | edge mirror.omarchy.org extra | stable stable-mirror.omarchy.org extra |
|---|---|---|
| qt6-base | 6.12.0-2 | 6.11.2-3 |
| qt6-declarative | 6.12.0-1 | 6.11.2-1 |
| qt6-wayland | 6.12.0-1 | 6.11.2-1 |
| quickshell | 0.3.2-1 | 0.3.1-1 |
Both Omarchy package repos still publish omarchy 4.0.4-1. Edge also publishes omarchy-dev 4.0.0.r6807.g902fd8a-2. 902fd8a (2026-10-07 20:00 UTC) is the parent of the fix: 902fd8a...b83d3df is ahead by that one commit and behind by none. So edge's shell package does not contain #14553, and edge's Arch mirror already serves Qt 6.12. That combination is what blacked out this desktop. Stable is still on Qt 6.11.2 and would not hit it from a channel update today.
Steps
- Be on the edge channel (
mirror.omarchy.orgforextra). - Update so
qt6-baseis 6.12.0 and the shell restarts. - Press Super+Space.
Expected: the root menu card over a dimmed desktop.
Actual: the omarchy-menu layer is a 3072×1728 overlay and a grim capture is 100% #000000. The shell journal fills with Cannot read property 'background' of undefined and Unable to assign [undefined] to QColor. hyprctl reload and omarchy restart shell do not help. Escape closes the black layer.
Workaround
Pinning every bare import QtQuick in /usr/share/omarchy/shell to import QtQuick 6.11 (103 files) and restarting the shell made Super+Space draw the menu again. That edit is inside the packaged tree, so the next package update will wipe it. The real fix is publishing a build that contains #14553 to edge, whose Arch mirror already moved to Qt 6.12.
View raw text
### System details Edge channel, not stable. `omarchy version channel` prints `edge`. `[omarchy]` is `https://pkgs.omarchy.org/edge/$arch`. `core`/`extra`/`multilib` come from `https://mirror.omarchy.org/$repo/os/$arch`. The stable Arch mirror on this install is the unused backup `https://stable-mirror.omarchy.org`. AMD Ryzen 9 7900X, Intel Arc A770 (i915) plus AMD Raphael 610M (unused), ASUS TUF GAMING X670E-PLUS WIFI, kernel 7.2.5-4-omarchy, Hyprland 0.56.2-4. Installed shell package is `omarchy 4.0.4-1` (installed 2026-09-16), not `omarchy-dev`. Wayland on DP-3, 3840×2160 at scale 1.25. Theme: matte-black. What `omarchy update` installed from the edge Arch mirror on 2026-10-08 20:50 IDT: - qt6-base 6.11.2-3 → 6.12.0-2 (`extra`) - qt6-declarative 6.12.0-1 - qt6-wayland 6.11.2-1 → 6.12.0-1 - quickshell 0.3.1-1 → 0.3.2-1 (`extra` on the edge mirror; the edge Omarchy repo also has `quickshell 0.3.2-2`) The update then restarted the shell. Hyprland reloaded with no `hyprctl configerrors`. ### What's wrong? Super+Space (`omarchy-menu toggle`) paints an opaque black fullscreen layer instead of the menu card. Same layer for Super+Escape. This is Qt 6.12's `QtQuick.Color` singleton shadowing `qs.Commons.Color`. That is fixed on main by #14553 (merged 2026-10-08 08:27 UTC, `b83d3df`) and already closed in #14548, #14560, and #14570. The earlier wording of this issue was wrong about who gets the Qt package. A non-edge update does **not** currently get `qt6-base 6.12.0`. Checked just now against the two mirrors: | package | edge `mirror.omarchy.org` extra | stable `stable-mirror.omarchy.org` extra | | --- | --- | --- | | qt6-base | 6.12.0-2 | 6.11.2-3 | | qt6-declarative | 6.12.0-1 | 6.11.2-1 | | qt6-wayland | 6.12.0-1 | 6.11.2-1 | | quickshell | 0.3.2-1 | 0.3.1-1 | Both Omarchy package repos still publish `omarchy 4.0.4-1`. Edge also publishes `omarchy-dev 4.0.0.r6807.g902fd8a-2`. `902fd8a` (2026-10-07 20:00 UTC) is the parent of the fix: `902fd8a...b83d3df` is ahead by that one commit and behind by none. So edge's shell package does not contain #14553, and edge's Arch mirror already serves Qt 6.12. That combination is what blacked out this desktop. Stable is still on Qt 6.11.2 and would not hit it from a channel update today. ### Steps 1. Be on the edge channel (`mirror.omarchy.org` for `extra`). 2. Update so `qt6-base` is 6.12.0 and the shell restarts. 3. Press Super+Space. Expected: the root menu card over a dimmed desktop. Actual: the `omarchy-menu` layer is a 3072×1728 overlay and a `grim` capture is 100% `#000000`. The shell journal fills with `Cannot read property 'background' of undefined` and `Unable to assign [undefined] to QColor`. `hyprctl reload` and `omarchy restart shell` do not help. Escape closes the black layer. ### Workaround Pinning every bare `import QtQuick` in `/usr/share/omarchy/shell` to `import QtQuick 6.11` (103 files) and restarting the shell made Super+Space draw the menu again. That edit is inside the packaged tree, so the next package update will wipe it. The real fix is publishing a build that contains #14553 to edge, whose Arch mirror already moved to Qt 6.12.
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.