Proof Portal
Project overview
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.
ReportR-3274GitHub issuePublicReceived
Brave crash after idle
Reported by RodriMora · filed Oct 12, 2025Closed upstream on 2025-10-28 by its own reporter RodriMora. GitHub close reason: completed. Closed by its own reporter — not by itself evidence of a fix.
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
Brave crash after idlerevision 1 · captured 2026-10-04 11:42 UTC via poll
System details
AMD Ryzen 7 7435HS, NVIDIA GeForce RTX 4060 Max-Q / Mobile [Discrete], Omarchy v3.0.2
What's wrong?
Hi!
Im having a weird crash with Brave. While using it, it works great. But as soon as I leave my PC for a while and come back, brave has disappeared. It doesn't look like it's an OOM problem as I have plenty of ram left, and the other stuff in the rest of the workspaces stay open just fine.
These are the coredumps I could get:
journalctl -b -k | grep -Ei 'out of memory|killed process|systemd-oomd'
rodri@omarchy ~ [0|1]> coredumpctl list | grep -i brave
Tue 2025-10-07 17:56:05 CEST 21044 1000 1000 SIGTRAP present /opt/brave-bin/brave 70.2M
Wed 2025-10-08 08:46:17 CEST 107670 1000 1000 SIGTRAP present /opt/brave-bin/brave 66.9M
Sat 2025-10-11 14:21:57 CEST 141220 1000 1000 SIGTRAP present /opt/brave-bin/brave 63.4M
Sat 2025-10-11 15:02:27 CEST 221765 1000 1000 SIGTRAP present /opt/brave-bin/brave 57M
Sat 2025-10-11 15:25:30 CEST 238636 1000 1000 SIGTRAP present /opt/brave-bin/brave 60.3M
rodri@omarchy ~> coredumpctl info brave
PID: 21044 (brave)
UID: 1000 (rodri)
GID: 1000 (rodri)
Signal: 5 (TRAP)
Timestamp: Tue 2025-10-07 17:56:03 CEST (3 days ago)
Command Line: $'/opt/brave-bin/brave --ozone-platform=wayland --ozone-platform-hint=wayland --enable-features=TouchpadOverscrollHistoryNavigation'
Executable: /opt/brave-bin/brave
Control Group: /user.slice/user-1000.slice/[email protected]/app.slice/app-org.chromium.Chromium-21044.scope
Unit: [email protected]
User Unit: app-org.chromium.Chromium-21044.scope
Slice: user-1000.slice
Owner UID: 1000 (rodri)
Boot ID: d28fd27ac7e34d10844a21b1c3262cb5
Machine ID: d1e4d100031d4bfbab8d2070f2a6928b
Hostname: omarchy
Storage: /var/lib/systemd/coredump/core.brave.1000.d28fd27ac7e34d10844a21b1c3262cb5.21044.1759852563000000.zst (present)
Size on Disk: 70.2M
Message: Process 21044 (brave) of user 1000 dumped core.
Stack trace of thread 21044:
#0 0x0000559b0dac0b9f n/a (/opt/brave-bin/brave + 0x8259b9f)
#1 0x0000559b0dac11dd n/a (/opt/brave-bin/brave + 0x825a1dd)
#2 0x00007f0eb9e26f4d n/a (libglib-2.0.so.0 + 0x5ef4d)
#3 0x00007f0eb9e28617 n/a (libglib-2.0.so.0 + 0x60617)
#4 0x00007f0eb9e28825 g_main_context_iteration (libglib-2.0.so.0 + 0x60825)
#5 0x0000559b09744c9f n/a (/opt/brave-bin/brave + 0x3eddc9f)
#6 0x0000559b0abd5047 n/a (/opt/brave-bin/brave + 0x536e047)
#7 0x0000559b0abd46f1 n/a (/opt/brave-bin/brave + 0x536d6f1)
#8 0x0000559b0abcaf8a n/a (/opt/brave-bin/brave + 0x5363f8a)
#9 0x0000559b0abcb3ba n/a (/opt/brave-bin/brave + 0x53643ba)
#10 0x0000559b0bc775ef n/a (/opt/brave-bin/brave + 0x64105ef)
#11 0x0000559b0bc7488e n/a (/opt/brave-bin/brave + 0x640d88e)
#12 0x0000559b0bc734f9 n/a (/opt/brave-bin/brave + 0x640c4f9)
#13 0x0000559b0bc73fba ChromeMain (/opt/brave-bin/brave + 0x640cfba)
#14 0x00007f0eb8e27675 n/a (libc.so.6 + 0x27675)
#15 0x00007f0eb8e27729 __libc_start_main (libc.so.6 + 0x27729)
#16 0x0000559b0cf9ba6a _start (/opt/brave-bin/brave + 0x7734a6a)
Stack trace of thread 21091:
#0 0x00007f0eb8e9f042 n/a (libc.so.6 + 0x9f042)
#1 0x00007f0eb8e931ac n/a (libc.so.6 + 0x931ac)
#2 0x00007f0eb8e931f4 n/a (libc.so.6 + 0x931f4)
#3 0x00007f0eb8f0d4ee __poll (libc.so.6 + 0x10d4ee)
#4 0x0000559b0ba56030 n/a (/opt/brave-bin/brave + 0x61ef030)
#5 0x0000559b0ae46e93 n/a (/opt/brave-bin/brave + 0x55dfe93)
#6 0x00007f0eb8e969cb n/a (libc.so.6 + 0x969cb)
#7 0x00007f0eb8f1aa0c n/a (libc.so.6 + 0x11aa0c)
Stack trace of thread 21098:
#0 0x00007f0eb8e9f042 n/a (libc.so.6 + 0x9f042)
#1 0x00007f0eb8e931ac n/a (libc.so.6 + 0x931ac)
#2 0x00007f0eb8e9381c n/a (libc.so.6 + 0x9381c)
#3 0x00007f0eb8e960e8 pthread_cond_timedwait (libc.so.6 + 0x960e8)
#4 0x0000559b08c4a253 n/a (/opt/brave-bin/brave + 0x33e3253)
#5 0x0000559b08c49d5f n/a (/opt/brave-bin/brave + 0x33e2d5f)
#6 0x0000559b10eb859e n/a (/opt/brave-bin/brave + 0xb65159e)
#7 0x0000559b10eb8703 n/a (/opt/brave-bin/brave + 0xb651703)
#8 0x0000559b0ae46e93 n/a (/opt/brave-bin/brave + 0x55dfe93)
#9 0x00007f0eb8e969cb n/a (libc.so.6 + 0x969cb)
#10 0x00007f0eb8f1aa0c n/a (libc.so.6 + 0x11aa0c)
Stack trace of thread 21099:
#0 0x00007f0eb8e9f042 n/a (libc.so.6 + 0x9f042)
#1 0x00007f0eb8e931ac n/a (libc.so.6 + 0x931ac)
#2 0x00007f0eb8e931f4 n/a (libc.so.6 + 0x931f4)
#3 0x00007f0eb8f1acf5 epoll_wait (libc.so.6 + 0x11acf5)
#4 0x0000559b09740848 n/a (/opt/brave-bin/brave + 0x3ed9848)
#5 0x0000559b0abd5047 n/a (/opt/brave-bin/brave + 0x536e047)
#6 0x0000559b0abd46f1 n/a (/opt/brave-bin/brave + 0x536d6f1)
#7 0x0000559b0abd4518 n/a (/opt/brave-bin/brave + 0x536d518)
#8 0x0000559b0ae479e3 n/a (/opt/brave-bin/brave + 0x55e09e3)
#9 0x0000559b0ae46e93 n/a (/opt/brave-bin/brave + 0x55dfe93)
#10 0x00007f0eb8e969cb n/a (libc.so.6 + 0x969cb)
#11 0x00007f0eb8f1aa0c n/a (libc.so.6 + 0x11aa0c)
Stack trace of thread 21100:
#0 0x00007f0eb8e9f042 n/a (libc.so.6 + 0x9f042)
#1 0x00007f0eb8e931ac n/a (libc.so.6 + 0x931ac)
#2 0x00007f0eb8e931f4 n/a (libc.so.6 + 0x931f4)
#3 0x00007f0eb8f1acf5 epoll_wait (libc.so.6 + 0x11acf5)
#4 0x0000559b09740848 n/a (/opt/brave-bin/brave + 0x3ed9848)
#5 0x0000559b0abd5047 n/a (/opt/brave-bin/brave + 0x536e047)
#6 0x0000559b0abd46f1 n/a (/opt/brave-bin/brave + 0x536d6f1)
#7 0x0000559b0abd44b8 n/a (/opt/brave-bin/brave + 0x536d4b8)
#8 0x0000559b0ae479e3 n/a (/opt/brave-bin/brave + 0x55e09e3)View raw text
### System details
AMD Ryzen 7 7435HS, NVIDIA GeForce RTX 4060 Max-Q / Mobile [Discrete], Omarchy v3.0.2
### What's wrong?
Hi!
Im having a weird crash with Brave. While using it, it works great. But as soon as I leave my PC for a while and come back, brave has disappeared. It doesn't look like it's an OOM problem as I have plenty of ram left, and the other stuff in the rest of the workspaces stay open just fine.
These are the coredumps I could get:
```
journalctl -b -k | grep -Ei 'out of memory|killed process|systemd-oomd'
rodri@omarchy ~ [0|1]> coredumpctl list | grep -i brave
Tue 2025-10-07 17:56:05 CEST 21044 1000 1000 SIGTRAP present /opt/brave-bin/brave 70.2M
Wed 2025-10-08 08:46:17 CEST 107670 1000 1000 SIGTRAP present /opt/brave-bin/brave 66.9M
Sat 2025-10-11 14:21:57 CEST 141220 1000 1000 SIGTRAP present /opt/brave-bin/brave 63.4M
Sat 2025-10-11 15:02:27 CEST 221765 1000 1000 SIGTRAP present /opt/brave-bin/brave 57M
Sat 2025-10-11 15:25:30 CEST 238636 1000 1000 SIGTRAP present /opt/brave-bin/brave 60.3M
rodri@omarchy ~> coredumpctl info brave
PID: 21044 (brave)
UID: 1000 (rodri)
GID: 1000 (rodri)
Signal: 5 (TRAP)
Timestamp: Tue 2025-10-07 17:56:03 CEST (3 days ago)
Command Line: $'/opt/brave-bin/brave --ozone-platform=wayland --ozone-platform-hint=wayland --enable-features=TouchpadOverscrollHistoryNavigation'
Executable: /opt/brave-bin/brave
Control Group: /user.slice/user-1000.slice/[email protected]/app.slice/app-org.chromium.Chromium-21044.scope
Unit: [email protected]
User Unit: app-org.chromium.Chromium-21044.scope
Slice: user-1000.slice
Owner UID: 1000 (rodri)
Boot ID: d28fd27ac7e34d10844a21b1c3262cb5
Machine ID: d1e4d100031d4bfbab8d2070f2a6928b
Hostname: omarchy
Storage: /var/lib/systemd/coredump/core.brave.1000.d28fd27ac7e34d10844a21b1c3262cb5.21044.1759852563000000.zst (present)
Size on Disk: 70.2M
Message: Process 21044 (brave) of user 1000 dumped core.
Stack trace of thread 21044:
#0 0x0000559b0dac0b9f n/a (/opt/brave-bin/brave + 0x8259b9f)
#1 0x0000559b0dac11dd n/a (/opt/brave-bin/brave + 0x825a1dd)
#2 0x00007f0eb9e26f4d n/a (libglib-2.0.so.0 + 0x5ef4d)
#3 0x00007f0eb9e28617 n/a (libglib-2.0.so.0 + 0x60617)
#4 0x00007f0eb9e28825 g_main_context_iteration (libglib-2.0.so.0 + 0x60825)
#5 0x0000559b09744c9f n/a (/opt/brave-bin/brave + 0x3eddc9f)
#6 0x0000559b0abd5047 n/a (/opt/brave-bin/brave + 0x536e047)
#7 0x0000559b0abd46f1 n/a (/opt/brave-bin/brave + 0x536d6f1)
#8 0x0000559b0abcaf8a n/a (/opt/brave-bin/brave + 0x5363f8a)
#9 0x0000559b0abcb3ba n/a (/opt/brave-bin/brave + 0x53643ba)
#10 0x0000559b0bc775ef n/a (/opt/brave-bin/brave + 0x64105ef)
#11 0x0000559b0bc7488e n/a (/opt/brave-bin/brave + 0x640d88e)
#12 0x0000559b0bc734f9 n/a (/opt/brave-bin/brave + 0x640c4f9)
#13 0x0000559b0bc73fba ChromeMain (/opt/brave-bin/brave + 0x640cfba)
#14 0x00007f0eb8e27675 n/a (libc.so.6 + 0x27675)
#15 0x00007f0eb8e27729 __libc_start_main (libc.so.6 + 0x27729)
#16 0x0000559b0cf9ba6a _start (/opt/brave-bin/brave + 0x7734a6a)
Stack trace of thread 21091:
#0 0x00007f0eb8e9f042 n/a (libc.so.6 + 0x9f042)
#1 0x00007f0eb8e931ac n/a (libc.so.6 + 0x931ac)
#2 0x00007f0eb8e931f4 n/a (libc.so.6 + 0x931f4)
#3 0x00007f0eb8f0d4ee __poll (libc.so.6 + 0x10d4ee)
#4 0x0000559b0ba56030 n/a (/opt/brave-bin/brave + 0x61ef030)
#5 0x0000559b0ae46e93 n/a (/opt/brave-bin/brave + 0x55dfe93)
#6 0x00007f0eb8e969cb n/a (libc.so.6 + 0x969cb)
#7 0x00007f0eb8f1aa0c n/a (libc.so.6 + 0x11aa0c)
Stack trace of thread 21098:
#0 0x00007f0eb8e9f042 n/a (libc.so.6 + 0x9f042)
#1 0x00007f0eb8e931ac n/a (libc.so.6 + 0x931ac)
#2 0x00007f0eb8e9381c n/a (libc.so.6 + 0x9381c)
#3 0x00007f0eb8e960e8 pthread_cond_timedwait (libc.so.6 + 0x960e8)
#4 0x0000559b08c4a253 n/a (/opt/brave-bin/brave + 0x33e3253)
#5 0x0000559b08c49d5f n/a (/opt/brave-bin/brave + 0x33e2d5f)
#6 0x0000559b10eb859e n/a (/opt/brave-bin/brave + 0xb65159e)
#7 0x0000559b10eb8703 n/a (/opt/brave-bin/brave + 0xb651703)
#8 0x0000559b0ae46e93 n/a (/opt/brave-bin/brave + 0x55dfe93)
#9 0x00007f0eb8e969cb n/a (libc.so.6 + 0x969cb)
#10 0x00007f0eb8f1aa0c n/a (libc.so.6 + 0x11aa0c)
Stack trace of thread 21099:
#0 0x00007f0eb8e9f042 n/a (libc.so.6 + 0x9f042)
#1 0x00007f0eb8e931ac n/a (libc.so.6 + 0x931ac)
#2 0x00007f0eb8e931f4 n/a (libc.so.6 + 0x931f4)
#3 0x00007f0eb8f1acf5 epoll_wait (libc.so.6 + 0x11acf5)
#4 0x0000559b09740848 n/a (/opt/brave-bin/brave + 0x3ed9848)
#5 0x0000559b0abd5047 n/a (/opt/brave-bin/brave + 0x536e047)
#6 0x0000559b0abd46f1 n/a (/opt/brave-bin/brave + 0x536d6f1)
#7 0x0000559b0abd4518 n/a (/opt/brave-bin/brave + 0x536d518)
#8 0x0000559b0ae479e3 n/a (/opt/brave-bin/brave + 0x55e09e3)
#9 0x0000559b0ae46e93 n/a (/opt/brave-bin/brave + 0x55dfe93)
#10 0x00007f0eb8e969cb n/a (libc.so.6 + 0x969cb)
#11 0x00007f0eb8f1aa0c n/a (libc.so.6 + 0x11aa0c)
Stack trace of thread 21100:
#0 0x00007f0eb8e9f042 n/a (libc.so.6 + 0x9f042)
#1 0x00007f0eb8e931ac n/a (libc.so.6 + 0x931ac)
#2 0x00007f0eb8e931f4 n/a (libc.so.6 + 0x931f4)
#3 0x00007f0eb8f1acf5 epoll_wait (libc.so.6 + 0x11acf5)
#4 0x0000559b09740848 n/a (/opt/brave-bin/brave + 0x3ed9848)
#5 0x0000559b0abd5047 n/a (/opt/brave-bin/brave + 0x536e047)
#6 0x0000559b0abd46f1 n/a (/opt/brave-bin/brave + 0x536d6f1)
#7 0x0000559b0abd44b8 n/a (/opt/brave-bin/brave + 0x536d4b8)
#8 0x0000559b0ae479e3 n/a (/opt/brave-bin/brave + 0x55e09e3)
```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.