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.
Waybar shows time incorrectly offset from timedatectl
Reported by sockbot · filed May 9, 2026Closed upstream on 2026-05-11 by its own reporter sockbot. 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
┌──────────────────────Hardware──────────────────────┐
PC: MacBook Air (11-inch, Mid 2013/Early 2014) (1.0)
│ ├: Intel(R) Core(TM) i5-4260U (4) @ 2.70 GHz
│ ├: Intel Haswell-ULT Integrated Graphics Controller @ 1.00 GHz [Integrated]
│ ├: 1366x768 in 12", 60 Hz [Built-in]
│ ├: 80.72 GiB / 231.74 GiB (35%) - btrfs
│ ├: 2.43 GiB / 3.76 GiB (65%)
└ └ : 581.82 MiB / 1.88 GiB (30%)
└────────────────────────────────────────────────────┘
┌──────────────────────Software──────────────────────┐
OS: Omarchy 3.8.0
│ ├: master
│ ├: stable
│ ├: Linux 7.0.3-arch1-2
│ ├: Hyprland 0.54.3 (Wayland)
│ ├: ghostty 1.3.1-arch2
│ ├: 1200 (pacman)
│ ├: Kanagawa ●●●●●●●●
└ └: JetBrainsMono Nerd Font (9pt)
└────────────────────────────────────────────────────┘
┌────────────────Age / Uptime / Update───────────────┐
OS Age: 124 days
Uptime: 22 mins
Update: Saturday, May 09 2026 at 09:06
└────────────────────────────────────────────────────┘What's wrong?
<img width="785" height="240" alt="Image" src="https://github.com/user-attachments/assets/cffdc3e0-e537-4662-8088-f868f605c64d" />
I think this bug was introduced in Omarchy 3.7.x
The clock setting in Waybar is not correctly displaying the system time; it is offset by 1 hour. My time zone is correct.
Reproduce:
Confirm correct system time using timedatectl
Compare against Waybar clock time
Expected:
Waybar clock should show local time in accordance with timedatectl
View raw text
### System details ``` ┌──────────────────────Hardware──────────────────────┐ PC: MacBook Air (11-inch, Mid 2013/Early 2014) (1.0) │ ├: Intel(R) Core(TM) i5-4260U (4) @ 2.70 GHz │ ├: Intel Haswell-ULT Integrated Graphics Controller @ 1.00 GHz [Integrated] │ ├: 1366x768 in 12", 60 Hz [Built-in] │ ├: 80.72 GiB / 231.74 GiB (35%) - btrfs │ ├: 2.43 GiB / 3.76 GiB (65%) └ └ : 581.82 MiB / 1.88 GiB (30%) └────────────────────────────────────────────────────┘ ┌──────────────────────Software──────────────────────┐ OS: Omarchy 3.8.0 │ ├: master │ ├: stable │ ├: Linux 7.0.3-arch1-2 │ ├: Hyprland 0.54.3 (Wayland) │ ├: ghostty 1.3.1-arch2 │ ├: 1200 (pacman) │ ├: Kanagawa ●●●●●●●● └ └: JetBrainsMono Nerd Font (9pt) └────────────────────────────────────────────────────┘ ┌────────────────Age / Uptime / Update───────────────┐ OS Age: 124 days Uptime: 22 mins Update: Saturday, May 09 2026 at 09:06 └────────────────────────────────────────────────────┘ ``` ### What's wrong? <img width="785" height="240" alt="Image" src="https://github.com/user-attachments/assets/cffdc3e0-e537-4662-8088-f868f605c64d" /> I think this bug was introduced in Omarchy 3.7.x The clock setting in Waybar is not correctly displaying the system time; it is offset by 1 hour. My time zone is correct. Reproduce: Confirm correct system time using `timedatectl` Compare against Waybar clock time Expected: Waybar clock should show local time in accordance with `timedatectl`
- cffdc3e0-e537-4662-8088-f868f605c64d
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.