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-4536GitHub issuePublicReceived

Wifi password input box fails to re-appear when wifi-menu is closed and re-opened and a wrong password has been entered

Reported by Knutsi · filed Aug 6, 2026Closed upstream on 2026-08-07 by the merge of PR #6584 (closed by dhh). GitHub close reason: completed.

Open at source
Received and recorded verbatim. Nothing has been checked yet.

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

Wifi password input box fails to re-appear when wifi-menu is closed and re-opened and a wrong password has been enteredrevision 1 · captured 2026-10-04 11:56 UTC via poll

System details

Lenovo Yoga Slim 7

What's wrong?

  1. Enter the wrong password for a Wi-Fi network in the new Omarchy 4 beta Wi-Fi menu
  2. Close the Wi-Fi menu
  3. Re-open the Wi-Fi menu
  4. Click the network — the wrong password is attempted, and no input box / option to change it is offered after it fails

Expected behavior: When the password is detected to be wrong on connection, it seems natural to offer a chance to re-enter it. It is not natural that closing and re-opening the Wi-Fi menu removes that option. Before closing the menu, the input box does appear.

Workaround: Forget the network.

(Sidenote: it is not natural that the lock icon turns into an "x" on hover — having two separate icons would signal this UX behaviour much better. The "x" could appear only on hover if we want the menu to be visually less busy.)

View raw text
### System details

Lenovo Yoga Slim 7

### What's wrong?

1. Enter the wrong password for a Wi-Fi network in the new Omarchy 4 beta Wi-Fi menu
2. Close the Wi-Fi menu
3. Re-open the Wi-Fi menu
4. Click the network — the wrong password is attempted, and no input box / option to change it is offered after it fails

**Expected behavior:** When the password is detected to be wrong on connection, it seems natural to offer a chance to re-enter it. It is not natural that closing and re-opening the Wi-Fi menu removes that option. Before closing the menu, the input box does appear.

**Workaround**: Forget the network.

(Sidenote: it is not natural that the lock icon turns into an "x" on hover — having two separate icons would signal this UX behaviour much better. The "x" could appear only on hover if we want the menu to be visually less busy.)

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.