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.
In Macbook pro with T2 chip keyboard, wake-from-suspend, and webcam not working
Reported by berkecyln · filed Dec 15, 2025 · open at source
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
System details
MacBook Pro (13-inch, 2020, Four Thunderbolt 3 por) Intel(R) Core(TM) i5-1038NG7 (8) @ 3.80 GHz
What's wrong?
Device: MacBook Pro 13-inch, 2020 (Four Thunderbolt 3 ports, Model A2251)
OS: Omarchy 3.2.2
Issues:
- Internal keyboard not working during setup
- The built-in keyboard did not respond during initial setup.
- Workaround: Used an external USB keyboard.
- System does not wake from suspend properly
- After suspending (or closing the lid), the system fails to wake up correctly.
- The screen remains black, and occasionally the password screen appears, but the internal keyboard and touchpad do not respond.
- The only recovery is a hard reboot.
- Built-in webcam not detected
- The internal webcam is not recognized by the system.
- It does not appear in device listings or work in any application.
These problems are not mentioned as known issues in the manual.
I have attached the lsusb output below, which shows the internal keyboard/trackpad is detected on Bus 005, but no webcam is listed.
`lsusb` output:
Bus 001 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub
Bus 002 Device 001: ID 1d6b:0003 Linux Foundation 3.0 root hub
Bus 003 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub
Bus 004 Device 001: ID 1d6b:0003 Linux Foundation 3.0 root hub
Bus 005 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub
Bus 005 Device 002: ID 05ac:027e Apple, Inc. Apple Internal Keyboard / TrackpadI would like to use Omarchy on this Mac, as the alternative (Tahoe) is very unstable. Any help or guidance would be greatly appreciated.
View raw text
### System details MacBook Pro (13-inch, 2020, Four Thunderbolt 3 por) Intel(R) Core(TM) i5-1038NG7 (8) @ 3.80 GHz ### What's wrong? **Device:** MacBook Pro 13-inch, 2020 (Four Thunderbolt 3 ports, Model A2251) **OS:** Omarchy 3.2.2 **Issues:** 1. **Internal keyboard not working during setup** - The built-in keyboard did not respond during initial setup. - Workaround: Used an external USB keyboard. 2. **System does not wake from suspend properly** - After suspending (or closing the lid), the system fails to wake up correctly. - The screen remains black, and occasionally the password screen appears, but the internal keyboard and touchpad do not respond. - The only recovery is a hard reboot. 3. **Built-in webcam not detected** - The internal webcam is not recognized by the system. - It does not appear in device listings or work in any application. These problems are not mentioned as known issues in the manual. I have attached the `lsusb` output below, which shows the internal keyboard/trackpad is detected on Bus 005, but no webcam is listed. **`lsusb` output:** ``` Bus 001 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub Bus 002 Device 001: ID 1d6b:0003 Linux Foundation 3.0 root hub Bus 003 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub Bus 004 Device 001: ID 1d6b:0003 Linux Foundation 3.0 root hub Bus 005 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub Bus 005 Device 002: ID 05ac:027e Apple, Inc. Apple Internal Keyboard / Trackpad ``` I would like to use Omarchy on this Mac, as the alternative (Tahoe) is very unstable. Any help or guidance would be greatly appreciated.
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-08 23:59 UTC