Proof Portal

Project overview

Omarchy

ProbeLabs65 findings · 95 requirements

A 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.

Inbox
ReportR-1821GitHub issuePublicDecided· Out of scope

[Quattro] Touchpad gets disabled everytime I close the laptop lid

Reported by ReetamBG · filed Aug 15, 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] Touchpad gets disabled everytime I close the laptop lidrevision 1 · captured 2026-09-28 21:29 UTC via poll

System details

HP Pavillion Gaming Laptop, AMD Ryzen 5 5600H, NVIDIA GTX 1650, Omarchy 4.0.0-1

What's wrong?

After i close my laptop lid (at which point i am assuming it goes to suspend mode), when I reopen my lid the touchpad gets toggled off. Have to manually toggle the touchpad back on again.

Doesn't trigger the issue when i suspend manually through omarchy menu.

Steps to reproduce:
1. Close the laptop lid. Wait for it to go to sleep
2. Re-open the lid. The touchpad will be disabled

I have no idea if i can even get logs for this as this might be just triggered by some command bound to the lid closing

This seems highly related to Issue #5427, but because the system wakes up to the lock screen, the default CTRL + SUPER + H shortcut is blocked. Users without an external mouse are effectively locked out of their system.
The old workaround of editing omarchy-hyprland-monitor-internal cannot be applied here because that script structure no longer exists in the Quattro release.

View raw text
### System details

HP Pavillion Gaming Laptop, AMD Ryzen 5 5600H, NVIDIA GTX 1650, Omarchy 4.0.0-1

### What's wrong?

After i close my laptop lid (at which point i am assuming it goes to suspend mode), when I reopen my lid the touchpad gets toggled off. Have to manually toggle the touchpad back on again.

Doesn't trigger the issue when i suspend manually through omarchy menu.

Steps to reproduce:
1. Close the laptop lid. Wait for it to go to sleep
2. Re-open the lid. The touchpad will be disabled

I have no idea if i can even get logs for this as this might be just triggered by some command bound to the lid closing

This seems highly related to Issue #5427, but  because the system wakes up to the lock screen, the default `CTRL + SUPER + H` shortcut is blocked. Users without an external mouse are effectively locked out of their system.
The old workaround of editing `omarchy-hyprland-monitor-internal` cannot be applied here because that script structure no longer exists in the Quattro release.

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:13 UTC