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 arguments are inverted
Reported by KiloNiner · filed Sep 16, 2026 · 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
What happened
omarchy toggle bar on hides the bar, and omarchy toggle bar off shows it — the explicit on/off arguments are inverted from their obvious meaning. Plain omarchy toggle bar (no argument) works correctly since it just flips whatever state currently exists.
Root cause
omarchy-toggle-bar passes the literal on/off argument straight through to the underlying bar-off flag toggle:
#!/bin/bash
# omarchy:summary=Toggle bar visibility without killing the Omarchy shell
# omarchy:args=[toggle|on|off]
# omarchy:examples=omarchy toggle bar | omarchy toggle bar off | omarchy toggle bar on
omarchy-toggle bar-off "${1:-toggle}"
omarchy-shell -q omarchy.bar syncHiddenomarchy-toggle <flag> on sets the flag, and omarchy-toggle <flag> off clears it. Since the flag here is named bar-off, passing on sets bar-off (hides the bar) and passing off clears bar-off (shows the bar) — backwards from what a user calling omarchy toggle bar on/off would expect.
Expected
omarchy toggle bar onshould show the bar (clear thebar-offflag).omarchy toggle bar offshould hide the bar (set thebar-offflag).
A fix would invert the passthrough, e.g.:
case "${1:-toggle}" in
on) omarchy-toggle bar-off off ;;
off) omarchy-toggle bar-off on ;;
*) omarchy-toggle bar-off toggle ;;
esacSteps to reproduce
omarchy toggle bar off— bar becomes visible (or stays visible if already shown).omarchy toggle bar on— bar disappears.
System details
- Omarchy version: 4.0.4-1
- Discovered while diagnosing a disappeared top bar, traced to a stray
~/.local/state/omarchy/toggles/bar-offflag file left over from a prior accidental toggle.
View raw text
## What happened
`omarchy toggle bar on` hides the bar, and `omarchy toggle bar off` shows it — the explicit `on`/`off` arguments are inverted from their obvious meaning. Plain `omarchy toggle bar` (no argument) works correctly since it just flips whatever state currently exists.
## Root cause
`omarchy-toggle-bar` passes the literal `on`/`off` argument straight through to the underlying `bar-off` flag toggle:
```bash
#!/bin/bash
# omarchy:summary=Toggle bar visibility without killing the Omarchy shell
# omarchy:args=[toggle|on|off]
# omarchy:examples=omarchy toggle bar | omarchy toggle bar off | omarchy toggle bar on
omarchy-toggle bar-off "${1:-toggle}"
omarchy-shell -q omarchy.bar syncHidden
```
`omarchy-toggle <flag> on` *sets* the flag, and `omarchy-toggle <flag> off` *clears* it. Since the flag here is named `bar-off`, passing `on` sets `bar-off` (hides the bar) and passing `off` clears `bar-off` (shows the bar) — backwards from what a user calling `omarchy toggle bar on/off` would expect.
## Expected
- `omarchy toggle bar on` should show the bar (clear the `bar-off` flag).
- `omarchy toggle bar off` should hide the bar (set the `bar-off` flag).
A fix would invert the passthrough, e.g.:
```bash
case "${1:-toggle}" in
on) omarchy-toggle bar-off off ;;
off) omarchy-toggle bar-off on ;;
*) omarchy-toggle bar-off toggle ;;
esac
```
## Steps to reproduce
1. `omarchy toggle bar off` — bar becomes visible (or stays visible if already shown).
2. `omarchy toggle bar on` — bar disappears.
## System details
- Omarchy version: 4.0.4-1
- Discovered while diagnosing a disappeared top bar, traced to a stray `~/.local/state/omarchy/toggles/bar-off` flag file left over from a prior accidental toggle.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
- Fixed bypr/12155· confirmed
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 14:10 UTC