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.
Something is wrong with the waybar battery module
Reported by sheikhlimon · filed Sep 29, 2025Closed upstream on 2025-10-24 by its own reporter sheikhlimon. GitHub close reason: completed. Closed by its own reporter — not by itself evidence of a fix.
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
System details
Omarchy 3.0.2
What's wrong?
<img width="468" height="43" alt="Image" src="https://github.com/user-attachments/assets/1a2d72fe-0f2c-43a9-bbc3-a620d2efa83f" />
<img width="459" height="40" alt="Image" src="https://github.com/user-attachments/assets/887d4133-f685-472f-a284-3e4558ad02bd" />
I'm using a ThinkPad X1 Carbon 7th gen after the recent update to 3.0.2. When plugged in, I'm supposed to see "format-charging" icons, "format-plugged": " {capacity}%" in "interval": 5 and a red dot light beside my charging port. Suddenly, it disappeared percentage also became 0%. Restarting fixed it, but the tooltip shows it's plugged only, when supposed to show me this "tooltip-format-charging": "{power:>1.0f}W↑ {capacity}%", I don't see a red dot, and I'm seeing percentage, but the icon is "format-plugged": " {capacity}%" not "format-charging" which i usually see.
Note: I customized the module. It's behaving differently after the update.
"battery": {
"format": "{icon} {capacity}%",
"format-discharging": "{icon} {capacity}%",
"format-charging": "{icon} {capacity}%",
"format-plugged": " {capacity}%",
"format-icons": {
"charging": ["", "", "", "", "", "", "", "", "", ""],
"default": ["", "", "", "", "", "", "", "", "", ""]
},
"format-full": "",
"tooltip-format-discharging": "{power:>1.0f}W↓ {capacity}%",
"tooltip-format-charging": "{power:>1.0f}W↑ {capacity}%",
"interval": 5,
"on-click": "omarchy-menu power",
"states": {
"warning": 20,
"critical": 10
}
}View raw text
### System details
Omarchy 3.0.2
### What's wrong?
<img width="468" height="43" alt="Image" src="https://github.com/user-attachments/assets/1a2d72fe-0f2c-43a9-bbc3-a620d2efa83f" />
<img width="459" height="40" alt="Image" src="https://github.com/user-attachments/assets/887d4133-f685-472f-a284-3e4558ad02bd" />
I'm using a **ThinkPad X1 Carbon 7th gen** after the recent update to **3.0.2**. When plugged in, I'm supposed to see `"format-charging"` icons, `"format-plugged": " {capacity}%"` in `"interval": 5` and a red dot light beside my charging port. Suddenly, it disappeared percentage also became **0%**. Restarting fixed it, but the tooltip shows it's plugged only, when supposed to show me this `"tooltip-format-charging": "{power:>1.0f}W↑ {capacity}%"`, I don't see a red dot, and I'm seeing percentage, but the icon is `"format-plugged": " {capacity}%"` not `"format-charging"` which i usually see.
Note: I customized the module. It's behaving differently after the update.
```
"battery": {
"format": "{icon} {capacity}%",
"format-discharging": "{icon} {capacity}%",
"format-charging": "{icon} {capacity}%",
"format-plugged": " {capacity}%",
"format-icons": {
"charging": ["", "", "", "", "", "", "", "", "", ""],
"default": ["", "", "", "", "", "", "", "", "", ""]
},
"format-full": "",
"tooltip-format-discharging": "{power:>1.0f}W↓ {capacity}%",
"tooltip-format-charging": "{power:>1.0f}W↑ {capacity}%",
"interval": 5,
"on-click": "omarchy-menu power",
"states": {
"warning": 20,
"critical": 10
}
}
```- 1a2d72fe-0f2c-43a9-bbc3-a620d2efa83f
- 887d4133-f685-472f-a284-3e4558ad02bd
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.