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.
Keyboard brightness changes do not update saved state, so screensaver wake restores an old level
Reported by johnpippett · filed Sep 8, 2026 · open at source
This defect is tracked under R-419. This report describes the same defect, so it is folded under it in the inbox.
Earliest report of this defect: R-839 (filed Sep 8, 2026).
R-419 upstream: Closed upstream on 2026-10-12 by the bot omarchybot, as a duplicate (target not recorded).
Decided by agents · verified· Oct 10, 2026
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?
- 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
- Omarchy 4.0.2-1
- ASUS keyboard LED device:
asus::kbd_backlight, maximum brightness 3 - Intel Core Ultra 7 258V; Intel Arc 130V/140V integrated graphics
- Kernel 7.1.9-arch1-2
What's wrong?
Keyboard brightness selected with Fn+F7 does not reliably survive idle/screensaver dismissal. It is fine for the keyboard to go dark while idle or asleep, but activity should preserve/restore the last manually selected level, including an intentional off setting.
There appears to be a stale-state case separate from the repeated off calls reported in #7650 and #10105: omarchy-brightness-keyboard up/down/cycle changes the hardware level without updating brightnessctl's saved state. omarchy-system-wake unconditionally restores that saved state. The idle service calls system-wake when cancelling a screensaver cycle, even if the keyboard was not blanked in between.
Thus dismissing the screensaver can undo a manual brightness change by restoring an older saved level.
Deterministic reproduction
On this device (levels 0–3), using the stock commands directly:
dev=asus::kbd_backlight
brightnessctl -d "$dev" set 2
brightnessctl -d "$dev" --save get
omarchy-brightness-keyboard --no-osd down
brightnessctl -d "$dev" get # 1
omarchy-brightness-keyboard restore
brightnessctl -d "$dev" get # 2: manual change undoneThis was tested on the machine. There is no intervening `off` call, unlike the repeated-blanking reports. The original brightness was restored after the test.
Desktop reproduction to try: establish a saved level, change brightness using the keyboard shortcut, allow the screensaver to start, then dismiss it before the lock deadline. Expected: the newly selected brightness remains. Actual symptom on this machine: the keyboard setting does not stick and must be adjusted again.
Local workaround / possible fix
The local keybindings now run this after the stock up, down, or cycle command:
brightnessctl --device='*kbd_backlight*' --save get >/dev/nullWe also seeded the saved state with the current selected brightness. A direct off → restore → restore test then produced 0 → 2 → 2 as expected. Full suspend/hibernate and an end-to-end idle cycle after applying the workaround have not yet been verified; this report specifically confirms the stale-state command sequence above.
Could explicit brightness changes update the saved preference, or could restoration be conditional on an actual blanking cycle? Any fix should preserve intentional zero brightness and also account for the repeated-off problem in #7650.
Related: #7650, #10105; #7562 added the restore-on-wake behavior.
Diagnostics note: omarchy debug --no-sudo --print returned Unknown Omarchy command on this installation, so system details were gathered separately.
View raw text
### System details - Omarchy 4.0.2-1 - ASUS keyboard LED device: `asus::kbd_backlight`, maximum brightness 3 - Intel Core Ultra 7 258V; Intel Arc 130V/140V integrated graphics - Kernel 7.1.9-arch1-2 ### What's wrong? Keyboard brightness selected with Fn+F7 does not reliably survive idle/screensaver dismissal. It is fine for the keyboard to go dark while idle or asleep, but activity should preserve/restore the last manually selected level, including an intentional off setting. There appears to be a stale-state case separate from the repeated `off` calls reported in #7650 and #10105: `omarchy-brightness-keyboard up/down/cycle` changes the hardware level without updating brightnessctl's saved state. `omarchy-system-wake` unconditionally restores that saved state. The idle service calls system-wake when cancelling a screensaver cycle, even if the keyboard was not blanked in between. Thus dismissing the screensaver can undo a manual brightness change by restoring an older saved level. ### Deterministic reproduction On this device (levels 0–3), using the stock commands directly: ```bash dev=asus::kbd_backlight brightnessctl -d "$dev" set 2 brightnessctl -d "$dev" --save get omarchy-brightness-keyboard --no-osd down brightnessctl -d "$dev" get # 1 omarchy-brightness-keyboard restore brightnessctl -d "$dev" get # 2: manual change undone ``` This was tested on the machine. There is **no intervening `off` call**, unlike the repeated-blanking reports. The original brightness was restored after the test. Desktop reproduction to try: establish a saved level, change brightness using the keyboard shortcut, allow the screensaver to start, then dismiss it before the lock deadline. Expected: the newly selected brightness remains. Actual symptom on this machine: the keyboard setting does not stick and must be adjusted again. ### Local workaround / possible fix The local keybindings now run this after the stock `up`, `down`, or `cycle` command: ```bash brightnessctl --device='*kbd_backlight*' --save get >/dev/null ``` We also seeded the saved state with the current selected brightness. A direct off → restore → restore test then produced 0 → 2 → 2 as expected. Full suspend/hibernate and an end-to-end idle cycle after applying the workaround have not yet been verified; this report specifically confirms the stale-state command sequence above. Could explicit brightness changes update the saved preference, or could restoration be conditional on an actual blanking cycle? Any fix should preserve intentional zero brightness and also account for the repeated-off problem in #7650. Related: #7650, #10105; #7562 added the restore-on-wake behavior. Diagnostics note: `omarchy debug --no-sudo --print` returned `Unknown Omarchy command` on this installation, so system details were gathered separately.
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
- Related PRpr/12502· confirmed
- Fixed bypr/10366· confirmed
- Duplicate ofR-419Keyboard backlight unexpectedly turns back on after idle wake or unlock· decided by agents · verified
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 11:09 UTC · withdrawn