Proof Portal

Sign in
Project overview

Omarchy

ProbeLabs65 findings · 95 requirements

A 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.

Inbox
ReportR-5313GitHub issuePublicDecided· Out of scope

Bar: omarchy.indicators cannot be revealed by hovering it when placed outside the center section

Reported by georgaberg · filed Oct 10, 2026 · open at source · 2 revisions

Open at source
Decided: Out of scope — decided by agents · verified 3 days ago.

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

Revision12 (current)
Bar: omarchy.indicators cannot be revealed by hovering it when placed outside the center sectionrevision 2 · captured 2026-10-10 21:04 UTC via poll

What happens

With omarchy.indicators in the left or right section and no indicator active, the widget has zero width, so there is nothing to hover. Its inactive indicators only appear when the pointer enters the bar's center section, even though the widget sits elsewhere. They then stay open until the pointer leaves the bar.

Expected

The indicators open from the section they sit in: hovering the left section reveals indicators placed on the left, and hovering an unrelated center section does not. The default layout, with the indicators in the center, behaves as it does today.

Steps to reproduce

  1. Move the widget out of the center: omarchy bar move omarchy.indicators --section left
  2. Make sure no indicator is active (no DND, night light, reminder, etc.).
  3. Hover the left section, where the widget is: nothing appears.
  4. Hover any widget in the center section: the indicators expand over in the left section.

Cause

In shell/plugins/bar/widgets/Indicators.qml, the inactive block has implicitWidth: 0 unless revealInactiveIndicators is true, and that property is otherwise driven by bar.centerSectionRevealHeld, which is set by hovering the center section regardless of where the widget sits. The widget has no way to know its section, and the bar only tracks the peek for the center.

Suggested fix

Have the bar tell each widget which section it sits in and hold the same peek for the left and right sections, then let the indicators follow the peek of their own section. No new visual element is needed. I have a branch with this and will open a PR.

Related but different side effects of the same reveal: #9291, #8659.

System

  • Omarchy 4.0.4-1
  • Hyprland 0.56.2
  • Quickshell 0.3.1
  • Dell XPS, single internal display, horizontal top bar
View raw text
### What happens

With `omarchy.indicators` in the left or right section and no indicator active, the widget has zero width, so there is nothing to hover. Its inactive indicators only appear when the pointer enters the bar's *center* section, even though the widget sits elsewhere. They then stay open until the pointer leaves the bar.

### Expected

The indicators open from the section they sit in: hovering the left section reveals indicators placed on the left, and hovering an unrelated center section does not. The default layout, with the indicators in the center, behaves as it does today.

### Steps to reproduce

1. Move the widget out of the center: `omarchy bar move omarchy.indicators --section left`
2. Make sure no indicator is active (no DND, night light, reminder, etc.).
3. Hover the left section, where the widget is: nothing appears.
4. Hover any widget in the center section: the indicators expand over in the left section.

### Cause

In `shell/plugins/bar/widgets/Indicators.qml`, the inactive block has `implicitWidth: 0` unless `revealInactiveIndicators` is true, and that property is otherwise driven by `bar.centerSectionRevealHeld`, which is set by hovering the center section regardless of where the widget sits. The widget has no way to know its section, and the bar only tracks the peek for the center.

### Suggested fix

Have the bar tell each widget which section it sits in and hold the same peek for the left and right sections, then let the indicators follow the peek of their own section. No new visual element is needed. I have a branch with this and will open a PR.

Related but different side effects of the same reveal: #9291, #8659.

### System

- Omarchy 4.0.4-1
- Hyprland 0.56.2
- Quickshell 0.3.1
- Dell XPS, single internal display, horizontal top bar

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-10 21:15 UTC