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.
omarchy-hw-touchpad fails to detect Apple bcm5974 trackpad (name-pattern match too strict)
Reported by fcofont · filed Aug 30, 2026Closed upstream on 2026-09-21 by bjarneo via an automated message, as a duplicate of #8376 (R-1426). GitHub close reason: completed.
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
What happened
omarchy toggle touchpad (and the underlying omarchy-hw-touchpad) reports
"No touchpad device found" and does nothing on a MacBook whose built-in
trackpad is exposed to Hyprland under the raw driver name bcm5974, not*touchpad*/*trackpad*.
Root cause
omarchy-hw-touchpad resolves the device with:
hyprctl devices -j | jq -r '[.mice[] | .name | select(test("touchpad|trackpad"; "i"))] | first // empty'
This only matches device names containing "touchpad" or "trackpad". Apple'sbcm5974 trackpad driver reports itself to libinput/Hyprland simply asbcm5974, so it never matches — every command chained through it
(omarchy-toggle-touchpad, omarchy toggle touchpad) silently fails instead
of controlling the device.
Expected
omarchy toggle touchpad on|off|toggle should recognize and control the
built-in trackpad on this hardware.
Steps to reproduce
- Boot Omarchy on a Mac with the Apple
bcm5974trackpad (e.g. a
2013/2014 MacBook with an Intel Haswell iGPU).
2. Run omarchy hw touchpad — prints nothing.
3. Run omarchy toggle touchpad off — OSD says "No touchpad device found";
the trackpad stays enabled.
Suggested fix
Broaden detection — e.g. also match known non-standard libinput touchpad
driver names like bcm5974, or resolve by device type/capability fromhyprctl devices -j instead of a name substring match.
System details
- Omarchy: 4.0.1-1
- Hyprland: 0.56.2
- Kernel: 7.1.9-arch1-2 (Arch x86_64)
- Hardware: 2013/2014-era MacBook, Intel Haswell-ULT iGPU (i915), Apple
internal keyboard/trackpad (hid_apple, applesmc, bcm5974 kernel
modules)
- Device name reported by Hyprland (hyprctl devices -j, .mice[]): bcm5974
Workaround
Calling hyprctl eval 'hl.device({ name = "bcm5974", enabled = <bool> })'
directly with the hardcoded device name, tracking enabled/disabled state in
a local script bound to a keybinding.
View raw text
## What happened
`omarchy toggle touchpad` (and the underlying `omarchy-hw-touchpad`) reports
"No touchpad device found" and does nothing on a MacBook whose built-in
trackpad is exposed to Hyprland under the raw driver name `bcm5974`, not
`*touchpad*`/`*trackpad*`.
## Root cause
`omarchy-hw-touchpad` resolves the device with:
hyprctl devices -j | jq -r '[.mice[] | .name | select(test("touchpad|trackpad"; "i"))] | first // empty'
This only matches device names containing "touchpad" or "trackpad". Apple's
`bcm5974` trackpad driver reports itself to libinput/Hyprland simply as
`bcm5974`, so it never matches — every command chained through it
(`omarchy-toggle-touchpad`, `omarchy toggle touchpad`) silently fails instead
of controlling the device.
## Expected
`omarchy toggle touchpad on|off|toggle` should recognize and control the
built-in trackpad on this hardware.
## Steps to reproduce
1. Boot Omarchy on a Mac with the Apple `bcm5974` trackpad (e.g. a
2013/2014 MacBook with an Intel Haswell iGPU).
2. Run `omarchy hw touchpad` — prints nothing.
3. Run `omarchy toggle touchpad off` — OSD says "No touchpad device found";
the trackpad stays enabled.
## Suggested fix
Broaden detection — e.g. also match known non-standard libinput touchpad
driver names like `bcm5974`, or resolve by device type/capability from
`hyprctl devices -j` instead of a name substring match.
## System details
- Omarchy: 4.0.1-1
- Hyprland: 0.56.2
- Kernel: 7.1.9-arch1-2 (Arch x86_64)
- Hardware: 2013/2014-era MacBook, Intel Haswell-ULT iGPU (i915), Apple
internal keyboard/trackpad (`hid_apple`, `applesmc`, `bcm5974` kernel
modules)
- Device name reported by Hyprland (`hyprctl devices -j`, `.mice[]`): `bcm5974`
## Workaround
Calling `hyprctl eval 'hl.device({ name = "bcm5974", enabled = <bool> })'`
directly with the hardcoded device name, tracking enabled/disabled state in
a local script bound to a keybinding.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.