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.
Installer renders left-of-center on ultrawide, possibly when a narrower second monitor is attached
Reported by aastrand · filed Aug 16, 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
LG 34GN850 (3440x1440) + Acer XB271HU (2560x1440, physically rotated to portrait)
What's wrong?
Cosmetic only — install completed fine. Filing mostly so it's documented.
What I saw
Installing 4.0.0 on a 3440x1440 ultrawide (DP-1) with a 2560x1440 monitor as a
second head (DP-2). The install progress screen renders centered within the left
~74% of the ultrawide, with the right ~880px never painted. On the 2560x1440
monitor the same frame is perfectly centered.
<img width="1701" height="1276" alt="Image" src="https://github.com/user-attachments/assets/6be24117-09ff-494a-b570-9284cd7d3eb2" />
Why
Not a centering bug in the installer — left_padding() centers correctly within
the console it's handed. It's DRM's fbdev emulation: drm_fb_helper_single_fb_probe
allocates the framebuffer at the max size across connected CRTCs but clamps the
visible console to the min, so the console is guaranteed readable on every
attached display. Both CRTCs then scan out from (0,0).
Reproducible on the installed system:
$ cat /sys/class/graphics/fb0/modes
U:2560x1440p-0 # visible console area = min across heads
$ cat /sys/class/graphics/fb0/virtual_size
3440,1440 # allocated buffer = max across heads
$ cat /sys/class/graphics/fb0/stride
13824 # = 3456px
DP-1: 3440x1440 DP-2: 2560x1440So the installer gets a 320-column console (2560/8px) and centers at px 1280 of a
3440px panel. \033[2J only clears the console area, which is why the right strip
is unpainted background rather than black.
Environment
- Omarchy 4.0.0, kernel 7.1.8-arch1-3
- LG 34GN850 (3440x1440) + Acer XB271HU (2560x1440, physically rotated to portrait)
View raw text
### System details LG 34GN850 (3440x1440) + Acer XB271HU (2560x1440, physically rotated to portrait) ### What's wrong? Cosmetic only — install completed fine. Filing mostly so it's documented. ## What I saw Installing 4.0.0 on a 3440x1440 ultrawide (DP-1) with a 2560x1440 monitor as a second head (DP-2). The install progress screen renders centered within the left ~74% of the ultrawide, with the right ~880px never painted. On the 2560x1440 monitor the same frame is perfectly centered. <img width="1701" height="1276" alt="Image" src="https://github.com/user-attachments/assets/6be24117-09ff-494a-b570-9284cd7d3eb2" /> ## Why Not a centering bug in the installer — `left_padding()` centers correctly within the console it's handed. It's DRM's fbdev emulation: `drm_fb_helper_single_fb_probe` allocates the framebuffer at the **max** size across connected CRTCs but clamps the *visible* console to the **min**, so the console is guaranteed readable on every attached display. Both CRTCs then scan out from (0,0). Reproducible on the installed system: ``` $ cat /sys/class/graphics/fb0/modes U:2560x1440p-0 # visible console area = min across heads $ cat /sys/class/graphics/fb0/virtual_size 3440,1440 # allocated buffer = max across heads $ cat /sys/class/graphics/fb0/stride 13824 # = 3456px DP-1: 3440x1440 DP-2: 2560x1440 ``` So the installer gets a 320-column console (2560/8px) and centers at px 1280 of a 3440px panel. `\033[2J` only clears the console area, which is why the right strip is unpainted background rather than black. ## Environment - Omarchy 4.0.0, kernel 7.1.8-arch1-3 - LG 34GN850 (3440x1440) + Acer XB271HU (2560x1440, physically rotated to portrait)
- 6be24117-09ff-494a-b570-9284cd7d3eb2
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 04:27 UTC