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.
Missing Monitor after suspend
Reported by saigkill · filed Jun 14, 2026Closed upstream on 2026-06-15 by its own reporter saigkill. GitHub close reason: completed. 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
AMD Ryzen 7, AMD Radeon RX 9070, Omarchy 3.8.2
What's wrong?
I just installed Omarchy on my PC. I have three different monitors. After installing i can use all monitors. But aafter the system goes to sleep (suspend) and awake it later, i just can use 2 of 3 monitors.
hyprctl monitors all
Monitor DP-3 (ID 0):
[email protected] at 0x0
description: Samsung Electric Company U32R59x H4ZM600093
make: Samsung Electric Company
model: U32R59x
physical size (mm): 700x390
serial: H4ZM600093
active workspace: 1 (1)
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,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] [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
hardwareCursorsInUse: true
Monitor HDMI-A-1 (ID 1):
[email protected] at 3840x0
description: ASUSTek COMPUTER INC VY249HGR T8LMRS024803
make: ASUSTek COMPUTER INC
model: VY249HGR
physical size (mm): 530x300
serial: T8LMRS024803
active workspace: 2 (2)
special workspace: 0 ()
reserved: 0 26 0 0
scale: 1.00
transform: 0
focused: no
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,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] [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
hardwareCursorsInUse: true
How can i get working the missing one?
View raw text
### System details AMD Ryzen 7, AMD Radeon RX 9070, Omarchy 3.8.2 ### What's wrong? I just installed Omarchy on my PC. I have three different monitors. After installing i can use all monitors. But aafter the system goes to sleep (suspend) and awake it later, i just can use 2 of 3 monitors. hyprctl monitors all Monitor DP-3 (ID 0): [email protected] at 0x0 description: Samsung Electric Company U32R59x H4ZM600093 make: Samsung Electric Company model: U32R59x physical size (mm): 700x390 serial: H4ZM600093 active workspace: 1 (1) 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,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] [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 hardwareCursorsInUse: true Monitor HDMI-A-1 (ID 1): [email protected] at 3840x0 description: ASUSTek COMPUTER INC VY249HGR T8LMRS024803 make: ASUSTek COMPUTER INC model: VY249HGR physical size (mm): 530x300 serial: T8LMRS024803 active workspace: 2 (2) special workspace: 0 () reserved: 0 26 0 0 scale: 1.00 transform: 0 focused: no 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,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] [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 hardwareCursorsInUse: true How can i get working the missing one?
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.