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

Script fails if AC power is connected before boot, but works perfectly on manual run/post-boot hotplug

Reported by LambroS205 · filed May 9, 2026 · open at source

Open at source
Decided: Out of scope — decided by agents · verified 4 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

Script fails if AC power is connected before boot, but works perfectly on manual run/post-boot hotplugrevision 1 · captured 2026-09-28 21:29 UTC via poll

System details

XiaoXinPro 14 AHP9, Ryzen 7 8745H, Radeon 780m, Omarchy 3.7.1

What's wrong?

Description
When the AC power is connected before the laptop is powered on, the associated script fails to execute properly during the boot process.

However, if I start the laptop on battery power and then plug or unplug the AC adapter, the script detects the state change and works beautifully. Running the script manually after the system has fully booted also works without any issues.

**Steps to Reproduce
Scenario A (Fails):**
1. Ensure the laptop is completely powered off.
2. Plug in the AC power adapter.
3. Power on the laptop and boot the system.
Result: The script fails to run or apply its settings.

Scenario B (Works):
1. Ensure the laptop is completely powered off.
2. Disconnect the AC power adapter.
3. Power on the laptop and boot the system.
4. Plug in the AC power adapter once logged in.
Result: The script triggers successfully and functions as intended.

Logs:

<img width="2844" height="1706" alt="Image" src="https://github.com/user-attachments/assets/425310b1-1282-41b4-934a-6bccc0d07eb4" />
<img width="2844" height="1706" alt="Image" src="https://github.com/user-attachments/assets/d7b750b3-efe1-4a01-8387-7c8482cd2809" />

View raw text
### System details

XiaoXinPro 14 AHP9, Ryzen 7 8745H, Radeon 780m, Omarchy 3.7.1

### What's wrong?

**Description**
When the AC power is connected before the laptop is powered on, the associated script fails to execute properly during the boot process.

However, if I start the laptop on battery power and then plug or unplug the AC adapter, the script detects the state change and works beautifully. Running the script manually after the system has fully booted also works without any issues.

**Steps to Reproduce
Scenario A (Fails):**
1. Ensure the laptop is completely powered off.
2. Plug in the AC power adapter.
3. Power on the laptop and boot the system.
Result: The script fails to run or apply its settings.

**Scenario B (Works):**
1. Ensure the laptop is completely powered off.
2. Disconnect the AC power adapter.
3. Power on the laptop and boot the system.
4. Plug in the AC power adapter once logged in.
Result: The script triggers successfully and functions as intended.

**Logs:**

<img width="2844" height="1706" alt="Image" src="https://github.com/user-attachments/assets/425310b1-1282-41b4-934a-6bccc0d07eb4" />
<img width="2844" height="1706" alt="Image" src="https://github.com/user-attachments/assets/d7b750b3-efe1-4a01-8387-7c8482cd2809" />
  • 425310b1-1282-41b4-934a-6bccc0d07eb4
  • d7b750b3-efe1-4a01-8387-7c8482cd2809

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

  • Related PRpr/6664· 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 02:54 UTC