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-1707GitHub issuePublicDecided· Out of scope
Quattro: Intel Mac takes long to wake from suspend, workspace frozen
Reported by sub0x0ne · filed Aug 17, 2026 · open at source
Decided: Out of scope — decided by agents · verified 4 days ago.
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
Quattro: Intel Mac takes long to wake from suspend, workspace frozenrevision 1 · captured 2026-09-28 21:29 UTC via poll
System details
2013 "Trashcan" Mac Pro (no T2 chip), 6-core Xeon, 64 GB RAM, Dual D700 (7970) GPUs, Omarchy 4.0.0-1 (stable)
Note, this system was upgraded from Omarchy 3.8, not a fresh 4.0 install
What's wrong?
Two issues with sleep/suspend:
- After sleep, waking with kb/mouse takes a long time. Like 20-30 second before the monitor lights up. The log seems(?) to show that the system does wake up quickly, it takes a long time to get GPU/monitor up.
- After sleeping, I can no longer access workspace 1. Not with SUPER + 1, not by clicking the bar. I can switch between the other 4 workspaces just fine. The apps in workspace 1 are still running, however.
I think it's this, where wayland isn't able to attach the shell session to the monitor during wakeup?
Aug 17 14:02:50 sinbin dbus-broker[939]: A security policy denied :1.96 to send method call /org/freedesktop/DBus:org.freedesktop.DBus.Monitoring.BecomeMonitor to org.freedes>
Aug 17 14:02:50 sinbin omarchy-system-sleep-monitor[62357]: dbus-monitor: unable to enable new-style monitoring: org.freedesktop.DBus.Error.AccessDenied: "Sender is not autho>
Aug 17 14:02:50 sinbin omarchy-shell[1299]: INFO qt.qpa.wayland: There are no outputs - creating placeholder screen
Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN scene: QML IpcHandler at file:///usr/share/omarchy/shell/plugins/agents/Panel.qml[327:3]: Handler was registered but will n>
Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN scene: QML IpcHandler at file:///usr/share/omarchy/shell/plugins/panels/bluetooth/Panel.qml[640:3]: Handler was registered >
Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN scene: QML IpcHandler at file:///usr/share/omarchy/shell/plugins/panels/network/Panel.qml[210:3]: Handler was registered bu>
Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN scene: QML IpcHandler at @Ui/Panel.qml[48:3]: Handler was registered but will not be used because another handler is regist>
Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN scene: QML IpcHandler at file:///usr/share/omarchy/shell/plugins/panels/monitor/Panel.qml[220:3]: Handler was registered bu>
Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN scene: QML IpcHandler at file:///usr/share/omarchy/shell/plugins/panels/power/Panel.qml[177:3]: Handler was registered but >
Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN scene: QML IpcHandler at file:///usr/share/omarchy/shell/plugins/panels/weather/Panel.qml[476:3]: Handler was registered bu>
Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN scene: QML IpcHandler at file:///usr/share/omarchy/shell/plugins/bar/widgets/SystemUpdate.qml[27:3]: Handler was registered>
Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN scene: QML IpcHandler at file:///usr/share/omarchy/shell/plugins/panels/clock/BarWidget.qml[129:3]: Handler was registered >
Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN scene: QML IpcHandler at file:///usr/share/omarchy/shell/plugins/bar/widgets/Indicators.qml[168:3]: Handler was registered >
Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN: Layershell screen does not correspond to a real screen. Letting the compositor pick.
Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN: Layershell screen does not correspond to a real screen. Letting the compositor pick.
Aug 17 14:02:50 sinbin omarchy-shell[1299]: DEBUG: Not creating lock surface for screen QScreen(0x7f58c6dcd520, name="") as it is not backed by a valid wayland output.
Aug 17 14:02:50 sinbin omarchy-shell[1299]: DEBUG: Not creating lock surface for screen QScreen(0x7f58c6dcd520, name="") as it is not backed by a valid wayland output.
Aug 17 14:02:50 sinbin omarchy-shell[1299]: DEBUG: Not creating lock surface for screen QScreen(0x7f58c6dcd520, name="") as it is not backed by a valid wayland output.Full log attached
View raw text
### System details 2013 "Trashcan" Mac Pro (no T2 chip), 6-core Xeon, 64 GB RAM, Dual D700 (7970) GPUs, Omarchy 4.0.0-1 (stable) **Note, this system was upgraded from Omarchy 3.8, not a fresh 4.0 install** ### What's wrong? Two issues with sleep/suspend: 1. After sleep, waking with kb/mouse takes a long time. Like 20-30 second before the monitor lights up. The log seems(?) to show that the system does wake up quickly, it takes a long time to get GPU/monitor up. 2. After sleeping, I can no longer access workspace 1. Not with SUPER + 1, not by clicking the bar. I can switch between the other 4 workspaces just fine. The apps in workspace 1 _are_ still running, however. I think it's this, where wayland isn't able to attach the shell session to the monitor during wakeup? ``` Aug 17 14:02:50 sinbin dbus-broker[939]: A security policy denied :1.96 to send method call /org/freedesktop/DBus:org.freedesktop.DBus.Monitoring.BecomeMonitor to org.freedes> Aug 17 14:02:50 sinbin omarchy-system-sleep-monitor[62357]: dbus-monitor: unable to enable new-style monitoring: org.freedesktop.DBus.Error.AccessDenied: "Sender is not autho> Aug 17 14:02:50 sinbin omarchy-shell[1299]: INFO qt.qpa.wayland: There are no outputs - creating placeholder screen Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN scene: QML IpcHandler at file:///usr/share/omarchy/shell/plugins/agents/Panel.qml[327:3]: Handler was registered but will n> Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN scene: QML IpcHandler at file:///usr/share/omarchy/shell/plugins/panels/bluetooth/Panel.qml[640:3]: Handler was registered > Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN scene: QML IpcHandler at file:///usr/share/omarchy/shell/plugins/panels/network/Panel.qml[210:3]: Handler was registered bu> Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN scene: QML IpcHandler at @Ui/Panel.qml[48:3]: Handler was registered but will not be used because another handler is regist> Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN scene: QML IpcHandler at file:///usr/share/omarchy/shell/plugins/panels/monitor/Panel.qml[220:3]: Handler was registered bu> Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN scene: QML IpcHandler at file:///usr/share/omarchy/shell/plugins/panels/power/Panel.qml[177:3]: Handler was registered but > Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN scene: QML IpcHandler at file:///usr/share/omarchy/shell/plugins/panels/weather/Panel.qml[476:3]: Handler was registered bu> Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN scene: QML IpcHandler at file:///usr/share/omarchy/shell/plugins/bar/widgets/SystemUpdate.qml[27:3]: Handler was registered> Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN scene: QML IpcHandler at file:///usr/share/omarchy/shell/plugins/panels/clock/BarWidget.qml[129:3]: Handler was registered > Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN scene: QML IpcHandler at file:///usr/share/omarchy/shell/plugins/bar/widgets/Indicators.qml[168:3]: Handler was registered > Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN: Layershell screen does not correspond to a real screen. Letting the compositor pick. Aug 17 14:02:50 sinbin omarchy-shell[1299]: WARN: Layershell screen does not correspond to a real screen. Letting the compositor pick. Aug 17 14:02:50 sinbin omarchy-shell[1299]: DEBUG: Not creating lock surface for screen QScreen(0x7f58c6dcd520, name="") as it is not backed by a valid wayland output. Aug 17 14:02:50 sinbin omarchy-shell[1299]: DEBUG: Not creating lock surface for screen QScreen(0x7f58c6dcd520, name="") as it is not backed by a valid wayland output. Aug 17 14:02:50 sinbin omarchy-shell[1299]: DEBUG: Not creating lock surface for screen QScreen(0x7f58c6dcd520, name="") as it is not backed by a valid wayland output. ``` Full log attached [suspend_wake.log](https://github.com/user-attachments/files/31153135/suspend_wake.log)
- suspend_wake.log
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:37 UTC