Proof Portal
Project overview
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.
ReportR-3702GitHub issuePublicReceived
hyperland fails to recognize my monitor as ultra wide
Reported by gamendez98 · filed Nov 10, 2025Closed upstream on 2025-11-11 by its own reporter gamendez98. GitHub close reason: completed. Closed by its own reporter — not by itself evidence of a fix.
Received and recorded verbatim. Nothing has been checked yet.
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
hyperland fails to recognize my monitor as ultra widerevision 1 · captured 2026-10-04 11:42 UTC via poll
System details
Dell G15 5535 (1.4.0)
What's wrong?
██████████████████████████████████████████████████████ PC: Dell G15 5535 (1.4.0)
██████████████████████████████████████████████████████ │ ├: AMD Ryzen 7 7840HS (16) @ 5.14 GHz
████ ████ ████ │ ├: NVIDIA GeForce RTX 4060 Max-Q / Mobile [Discrete]
████ ████ ████ │ ├: AMD Radeon 780M Graphics [Integrated]
████ █████████████████████ ████████ ████ │ ├: 1920x1080 in 34", 60 Hz [External]
████ █████████████████████ ████████ ████ │ ├: 1920x1080 @ 1.2x in 15", 165 Hz [Built-in]
████ ████ ████ ████ │ ├: 84.51 GiB / 474.92 GiB (18%) - btrfs
████ ████ ████ ████ │ ├: 12.71 GiB / 30.65 GiB (41%)
████ ████ ████ ████ └ └ : 0 B / 4.00 GiB (0%)
████ ████ ████ ████ └────────────────────────────────────────────────────┘
████ ████ ████ ████
████ ████ ████ ████ ┌──────────────────────Software──────────────────────┐
████████████ ████ ████ OS: Omarchy 3.1.7
████████████ ████ ████ │ ├: master
████ ████ ████ ████ │ ├: Linux 6.17.7-arch1-1
████ ████ ████ ████ │ ├: Hyprland unknown (Wayland)
████ ████ ████ ████ │ ├: alacritty 0.16.1
████ ████ ████ ████ │ ├: 982 (pacman)
████ ████ ████ ████ │ ├: Tokyo Night ●●●●●●●●
████ ████ ████ ████ └ └: alacritty (9pt)
████ ██████████████████████████████████████ ████ └────────────────────────────────────────────────────┘
████ ██████████████████████████████████████ ████
████ ████ ████ ┌────────────────────Uptime / Age────────────────────┐
████ ████ ████ OS Age: 23 days
█████████████████████████████ ████████████████████ Uptime: 16 mins
█████████████████████████████ ████████████████████ └────────────────────────────────────────────────────┘I am using an lg ultra wide monitor but hyperland monitor does not seam to recognize the correct ratio as an option
Monitor HDMI-A-1 (ID 1):
[email protected] at 1600x0
description: LG Electronics LG ULTRAWIDE 0x000397D9
make: LG Electronics
model: LG ULTRAWIDE
physical size (mm): 800x340
serial: 0x000397D9
active workspace: 3 (3)
special workspace: 0 ()
reserved: 0 26 0 0
scale: 1.00
transform: 0
focused: yes
dpmsStatus: 1
vrr: false
solitary: 0
solitaryBlockedBy: windowed mode,missing candidate
activelyTearing: false
tearingBlockedBy: next frame is not torn,user settings,missing candidate
directScanoutTo: 0
directScanoutBlockedBy: user settings,software renders/cursors,missing candidate
disabled: false
currentFormat: XRGB8888
mirrorOf: none
availableModes: [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected]
colorManagementPreset: srgb
sdrBrightness: 1.00
sdrSaturation: 1.00
sdrMinLuminance: 0.20
sdrMaxLuminance: 80The same thing happens on my desktop (NVIDIA 2070 super) on the same version of omarchy
View raw text
### System details Dell G15 5535 (1.4.0) ### What's wrong? ``` ██████████████████████████████████████████████████████ PC: Dell G15 5535 (1.4.0) ██████████████████████████████████████████████████████ │ ├: AMD Ryzen 7 7840HS (16) @ 5.14 GHz ████ ████ ████ │ ├: NVIDIA GeForce RTX 4060 Max-Q / Mobile [Discrete] ████ ████ ████ │ ├: AMD Radeon 780M Graphics [Integrated] ████ █████████████████████ ████████ ████ │ ├: 1920x1080 in 34", 60 Hz [External] ████ █████████████████████ ████████ ████ │ ├: 1920x1080 @ 1.2x in 15", 165 Hz [Built-in] ████ ████ ████ ████ │ ├: 84.51 GiB / 474.92 GiB (18%) - btrfs ████ ████ ████ ████ │ ├: 12.71 GiB / 30.65 GiB (41%) ████ ████ ████ ████ └ └ : 0 B / 4.00 GiB (0%) ████ ████ ████ ████ └────────────────────────────────────────────────────┘ ████ ████ ████ ████ ████ ████ ████ ████ ┌──────────────────────Software──────────────────────┐ ████████████ ████ ████ OS: Omarchy 3.1.7 ████████████ ████ ████ │ ├: master ████ ████ ████ ████ │ ├: Linux 6.17.7-arch1-1 ████ ████ ████ ████ │ ├: Hyprland unknown (Wayland) ████ ████ ████ ████ │ ├: alacritty 0.16.1 ████ ████ ████ ████ │ ├: 982 (pacman) ████ ████ ████ ████ │ ├: Tokyo Night ●●●●●●●● ████ ████ ████ ████ └ └: alacritty (9pt) ████ ██████████████████████████████████████ ████ └────────────────────────────────────────────────────┘ ████ ██████████████████████████████████████ ████ ████ ████ ████ ┌────────────────────Uptime / Age────────────────────┐ ████ ████ ████ OS Age: 23 days █████████████████████████████ ████████████████████ Uptime: 16 mins █████████████████████████████ ████████████████████ └────────────────────────────────────────────────────┘ ``` I am using an lg ultra wide monitor but hyperland monitor does not seam to recognize the correct ratio as an option ``` Monitor HDMI-A-1 (ID 1): [email protected] at 1600x0 description: LG Electronics LG ULTRAWIDE 0x000397D9 make: LG Electronics model: LG ULTRAWIDE physical size (mm): 800x340 serial: 0x000397D9 active workspace: 3 (3) special workspace: 0 () reserved: 0 26 0 0 scale: 1.00 transform: 0 focused: yes dpmsStatus: 1 vrr: false solitary: 0 solitaryBlockedBy: windowed mode,missing candidate activelyTearing: false tearingBlockedBy: next frame is not torn,user settings,missing candidate directScanoutTo: 0 directScanoutBlockedBy: user settings,software renders/cursors,missing candidate disabled: false currentFormat: XRGB8888 mirrorOf: none availableModes: [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] colorManagementPreset: srgb sdrBrightness: 1.00 sdrSaturation: 1.00 sdrMinLuminance: 0.20 sdrMaxLuminance: 80 ``` The same thing happens on my desktop (NVIDIA 2070 super) on the same version of omarchy
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.