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-171GitHub issuePublicDecided· Out of scope

Network panel: Forget (×) not centered; no Cancel while connecting

Reported by thedavidweng · filed Sep 23, 2026 · open at source

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

Network panel: Forget (×) not centered; no Cancel while connectingrevision 1 · captured 2026-09-28 21:23 UTC via poll

Summary

Two problems in the built-in Network panel (Super + Ctrl + W / bar network icon):

  1. Bug: Forget (×) is not centered in its hover/background box.
  2. Missing Cancel: While connecting, the panel cannot abort; Forget and other row actions are also blocked until the attempt finishes or times out (~30s).

Issue 1 — Forget (×) not centered

Steps

  1. Open the Network panel.
  2. Find a saved/known Wi-Fi row.
  3. Hover the right-edge lock until it becomes Forget (×).

Expected

× is centered in its hover/background box.

Actual

× is off-center inside that box.

Forget is only available via that hover control (no right-click menu).

Issue 2 — No cancel while connecting; Forget blocked

Steps

  1. Open the Network panel.
  2. Click a network to connect.
  3. While it shows Connecting…:
  • There is no Cancel/Abort.
  • Forget (and other row actions) stay disabled.

Expected

  • A Cancel control that stops the in-flight connection.
  • Prefer also: Forget still available on other saved rows while one SSID is connecting.

Actual

The panel runs one Wi-Fi action at a time (busy while actionKind is set). Row click and Forget are gated on !busy. There is no abort path for an in-flight connect—only success, failure, or the ~30s action timeout.

So: blocking other actions during connect is current panel behavior; the lack of Cancel is a missing affordance. Wrong network / wrong saved password / slow auth leaves the UI stuck until timeout.

Request

  • Add Cancel for in-flight connect (disconnect/deactivate the activation).
  • Optionally keep Forget enabled for non-busy rows during another connect.
View raw text
## Summary

Two problems in the built-in Network panel (`Super + Ctrl + W` / bar network icon):

1. **Bug:** Forget (×) is not centered in its hover/background box.
2. **Missing Cancel:** While connecting, the panel cannot abort; Forget and other row actions are also blocked until the attempt finishes or times out (~30s).

## Issue 1 — Forget (×) not centered

### Steps
1. Open the Network panel.
2. Find a saved/known Wi-Fi row.
3. Hover the right-edge lock until it becomes Forget (×).

### Expected
× is centered in its hover/background box.

### Actual
× is off-center inside that box.

Forget is only available via that hover control (no right-click menu).

## Issue 2 — No cancel while connecting; Forget blocked

### Steps
1. Open the Network panel.
2. Click a network to connect.
3. While it shows `Connecting…`:
   - There is no Cancel/Abort.
   - Forget (and other row actions) stay disabled.

### Expected
- A Cancel control that stops the in-flight connection.
- Prefer also: Forget still available on other saved rows while one SSID is connecting.

### Actual
The panel runs one Wi-Fi action at a time (`busy` while `actionKind` is set). Row click and Forget are gated on `!busy`. There is no abort path for an in-flight connect—only success, failure, or the ~30s action timeout.

So: blocking other actions during connect is current panel behavior; the lack of Cancel is a missing affordance. Wrong network / wrong saved password / slow auth leaves the UI stuck until timeout.

### Request
- Add Cancel for in-flight connect (disconnect/deactivate the activation).
- Optionally keep Forget enabled for non-busy rows during another connect.

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-09 17:36 UTC