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 toggle bar on/off` actions are inverted
Reported by brianrhoads9-netizen · filed Sep 4, 2026Closed upstream on 2026-09-20 by bjarneo via an automated message, as a duplicate of #7022 (R-1817). 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
System details
Omarchy 4.0.2-1, AMD Radeon GPU
What's wrong?
On Omarchy 4.0.2-1, the bar toggle command’s on and off actions behave in reverse.
Steps to reproduce:
1. Run omarchy toggle bar on.
2. Check ~/.local/state/omarchy/toggles/bar-off.
Actual result:
omarchy toggle bar on creates the bar-off marker and hides the bar.
omarchy toggle bar off removes the marker and restores the bar.
Expected result:
on should show the bar/remove bar-off; off should hide the bar/create it.
Relevant implementation:
omarchy-toggle-bar calls omarchy-toggle bar-off "${1:-toggle}", but omarchy-toggle treats on as
creating the given flag.
View raw text
### System details
Omarchy 4.0.2-1, AMD Radeon GPU
### What's wrong?
On Omarchy 4.0.2-1, the bar toggle command’s `on` and `off` actions behave in reverse.
Steps to reproduce:
1. Run `omarchy toggle bar on`.
2. Check `~/.local/state/omarchy/toggles/bar-off`.
Actual result:
`omarchy toggle bar on` creates the `bar-off` marker and hides the bar.
`omarchy toggle bar off` removes the marker and restores the bar.
Expected result:
`on` should show the bar/remove `bar-off`; `off` should hide the bar/create it.
Relevant implementation:
`omarchy-toggle-bar` calls `omarchy-toggle bar-off "${1:-toggle}"`, but `omarchy-toggle` treats `on` as
creating the given flag.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.