Proof Portal

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

Identical notifications are no longer grouped since the Quickshell notification daemon replaced mako

Reported by rdjperron · filed Sep 4, 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

Identical notifications are no longer grouped since the Quickshell notification daemon replaced makorevision 1 · captured 2026-09-28 21:24 UTC via poll

System details

Intel i7-11370H, Intel Iris Xe + NVIDIA RTX 3050 Ti Mobile, Omarchy 4.0.2-1, Quickshell 0.3.1-1, Arch Linux x86_64, native Wayland.

The installed shell/plugins/notifications/Service.qml and NotificationLogic.js are byte-identical to quattro at f99d33a8.

What's wrong?

Separate D-Bus notifications with the same app name, summary and body render as separate toast cards when they arrive under different notification ids.

Omarchy 3.8 grouped these. Commit 5c3ca608 ("Group duplicate notifications") added this to default/mako/core.ini:

group-by=app-name,summary,body

With mako's defaults that shows the newest member only, prefixed with the group size, and the 3.8 release notes describe it as "identical notifications should be grouped". The Quickshell service that replaced mako (c1015912) handles replaces_id by originalId (020cb537) but has no content grouping, so the behavior was lost in the transition.

Steps to reproduce

On current Omarchy, run in quick succession:

omarchy notification send --app-name grouping-probe -t 10000 "Grouping probe" "Same body"
omarchy notification send --app-name grouping-probe -t 10000 "Grouping probe" "Same body"

Actual: two visually identical cards.

Expected: one card reading (2) Grouping probe, as under the 3.8 mako configuration. Notifications that differ in app name, summary or body should stay separate.

Real-world trigger

The official ChatGPT Linux desktop app (openai-codex-desktop 26.825.51511-1) emits one native notification per renderer window for a single completed response. With four windows open, every completed turn in a session produced two or three D-Bus notifications with distinct ids and identical app, summary, body, urgency, icon and expiry, 25 to 55 ms apart. That is a sender bug and is being reported to OpenAI separately, but the same pattern exists for other multi-window Electron apps, and the mako-era grouping covered all of them.

#7834 reports the same regression family for mako's replacement hints.
#9671 asks for coalescing of same app + summary + body rows on restore; grouping in the live model covers restored rows as well.
Discussion #4285 asked for grouping of repeated notifications from one app before Quattro.

Suggested fix

Compute an exact app + summary + body group across the live popup model, render only the newest member with the group size in its summary (mako's (%g) %s), and keep every underlying row so its action, timeout, server reference, persistence file and history entry keep working. A patch with a regression test (red on the current source, green with the change) is ready and will be opened as a PR referencing this issue.

omarchy-debug excerpt (system section, hostname and disk UUID redacted; the journal and package list are omitted as unrelated to a rendering-logic regression)

Date: Fri Sep  4 10:46:39 AM CEST 2026
Hostname: <redacted>
Omarchy Package: omarchy 4.0.2-1

=========================================
SYSTEM INFORMATION
=========================================
System:
  Kernel 7.1.9-arch1-2 arch x86_64 bits 64 compiler gcc v 16.2.1 clocksource tsc avail acpi_pm
    parameters cryptdevice=UUID=<redacted>:omarchy_root
    root=/dev/mapper/omarchy_root zswap.enabled=0 rootflags=subvol=@ rw rootfstype=btrfs
    rtc_cmos.use_acpi_alarm=1 resume=/dev/mapper/omarchy_root resume_offset=1956219
    initramfs_async=0 quiet splash loglevel=0 systemd.show_status=false rd.udev.log_level=0
    vt.global_cursor_default=0
  Desktop Hyprland v 0.56.2 vt 1 dm SDDM Distro Omarchy
Machine:
  Type Laptop System Microsoft product Surface Laptop Studio
    v 124I:00060T:000M:0200000D:0B:07F:1C:01P:16Y:0U:02 serial <superuser required> Chassis type 9
    serial <superuser required>
  Mobo Microsoft model Surface Laptop Studio serial <superuser required>
    part-nu Surface_Laptop_Studio_1964 uuid <superuser required> Firmware UEFI vendor Microsoft
    v 32.102.143 date 11/07/2025
Battery:
  ID-1 BAT1 charge 27.1 Wh (60%) condition 45.2/56.3 Wh (80.3%) power 15.5 W volts 10.83 min 11.38
    model SMP 1144023013 type Li-ion serial <filter> charging status discharging cycles 635
CPU:
  Info model 11th Gen Intel Core i7-11370H bits 64 type MT MCP arch Tiger Lake gen core 11 level v4
    note check built 2020 process Intel 10nm family 6 model-id 0x8C (140) stepping 1 microcode 0xBE
  Topology cpus 1x dies 1 clusters 4 cores 4 threads 8 tpc 2 smt enabled cache L1 320 KiB
    desc d-4x48 KiB; i-4x32 KiB L2 5 MiB desc 4x1.2 MiB L3 12 MiB desc 1x12 MiB
  Speed (MHz) avg 1300 min/max 400/4800 scaling driver intel_pstate governor powersave cores
    121 1300 122 1300 123 1300 124 1300 125 1300 126 1300 127 1300 128 1300 bogomips 52838
  Flags-basic avx avx2 ht lm nx pae sse sse2 sse3 sse4_1 sse4_2 ssse3 vmx
  Vulnerabilities
  Type gather_data_sampling mitigation Microcode
  Type ghostwrite status Not affected
  Type indirect_target_selection mitigation Aligned branch/return thunks
  Type itlb_multihit status Not affected
  Type l1tf status Not affected
  Type mds status Not affected
  Type meltdown status Not affected
  Type mmio_stale_data status Not affected
  Type old_microcode status Not affected
  Type reg_file_data_sampling status Not affected
  Type retbleed status Not affected
  Type spec_rstack_overflow status Not affected
  Type spec_store_bypass mitigation Speculative Store Bypass disabled via prctl
  Type spectre_v1 mitigation usercopy/swapgs barriers and __user pointer sanitization
  Type spectre_v2 mitigation Enhanced / Automatic IBRS; IBPB: conditional; PBRSB-eIBRS: SW
    sequence; BHI: SW loop, KVM: SW loop
  Type srbds status Not affected
  Type tsa status Not affected
  Type tsx_async_abort status Not affected
  Type vmscape status Not affected
Graphics:
  Device-1 Intel TigerLake-LP GT2 [Iris Xe Graphics] vendor Microsoft driver i915 v kernel
    alternate xe arch Xe process Intel 10nm built 2020-21 ports active eDP-1 empty DP-1, DP-2, DP-3,
    HDMI-A-1 bus-ID 00:02.0 chip-ID 8086:9a49 class-ID 0300
  Device-2 NVIDIA GA107M [GeForce RTX 3050 Ti Mobile] vendor Microsoft driver nvidia v 610.57.04
    alternate nouveau,nvidia_drm non-free 550-6xx.xx+ status current (as of 2026-07) arch Ampere
    code GAxxx process TSMC n7 (7nm) built 2020-2023 pcie gen 1 speed 2.5 GT/s lanes 4 link-max
    gen 4 speed 16 GT/s lanes 16 bus-ID f3:00.0 chip-ID 10de:25a0 class-ID 0302
  Device-3 Surface Camera Front driver uvcvideo type USB rev 2.0 speed 480 Mb/s lanes 1 mode 2.0
    bus-ID 3-2:2 chip-ID 045e:0c1e class-ID 0e02 serial <filter>
  Display wayland server X.org v 1.21.1.24 with Xwayland v 24.1.13 compositor Hyprland v 0.56.2
    driver gpu i915 display-ID 1
  Monitor-1 eDP-1 model Sharp LQ144P1JX01 serial <filter> built 2020 res 2400x1600 dpi 201
    gamma 1.2 size 303x202mm (11.93x7.95") diag 364mm (14.3") ratio 3:2 modes 2400x1600
  API EGL Message EGL data requires eglinfo. Check --recommends.
  Info Tools gpu nvidia-smi x11 xprop
Audio:
  Device-1 Intel 500 Series Family On-Package High Definition Audio driver snd_hda_intel v kernel
    alternate snd_soc_avs,snd_sof_pci_intel_tgl bus-ID 00:1f.3 chip-ID 8086:a0c8 class-ID 0403
  API ALSA v k7.1.9-arch1-2 status kernel-api tools alsactl,alsamixer,amixer
  Server-1 sndiod v N/A status off tools aucat,midicat,sndioctl
  Server-2 PipeWire v 1.6.8 status active with 121 pipewire-pulse status active 122 wireplumber
    status active 123 pipewire-alsa type plugin 124 pw-jack type plugin tools pactl,pw-cat,pw-cli,wpctl
Network:
  Device-1 Intel Wi-Fi 6 AX200 driver iwlwifi v kernel pcie gen 2 speed 5 GT/s lanes 1
    bus-ID f2:00.0 chip-ID 8086:2723 class-ID 0280
  IF wlp242s0 state up mac <filter>
  Info services NetworkManager, systemd-timesyncd, wpa_supplicant
Bluetooth:
  Device-1 N/A driver btusb v 0.8 type USB rev 2.0 speed 12 Mb/s lanes 1 mode 1.1 bus-ID 3-10:3
    chip-ID 8087:0029 class-ID e001
  Report btmgmt ID hci0 rfk-id 0 state up address <filter> bt-v 5.2 lmp-v 11 status
    discoverable no pairing no class-ID 6c010c
Drives:
  Local Storage total 476.94 GiB used 47.35 GiB (9.9%)
  SMART Message Required tool smartctl not installed. Check --recommends
  ID-1 /dev/nvme0n1 maj-min 259:0 vendor Samsung model MZ9LQ512HALU-00000 size 476.94 GiB
    block-size physical 512 B logical 512 B speed 31.6 Gb/s lanes 4 tech SSD serial <filter>
    fw-rev FXV72M0Q temp 21.9 C scheme GPT
Partition:
  ID-1 / raw-size 198.87 GiB size 198.87 GiB (100.00%) used 46.88 GiB (23.6%) fs btrfs
    dev /dev/dm-0 maj-min 253:0 mapped omarchy_root
  ID-2 /boot raw-size 2 GiB size 2 GiB (99.80%) used 486.4 MiB (23.8%) fs vfat dev /dev/nvme0n1p4
    maj-min 259:4
  ID-3 /home raw-size 198.87 GiB size 198.87 GiB (100.00%) used 46.88 GiB (23.6%) fs btrfs
    dev /dev/dm-0 maj-min 253:0 mapped omarchy_root
  ID-4 /var/log raw-size 198.87 GiB size 198.87 GiB (100.00%) used 46.88 GiB (23.6%) fs btrfs
    dev /dev/dm-0 maj-min 253:0 mapped omarchy_root
Swap:
  Kernel swappiness 150 (default 60) cache-pressure 50 (default 100) zswap no
  ID-1 swap-1 type file size 15.45 GiB used 0 KiB (0.0%) priority 0 file /swap/swapfile
  ID-2 swap-2 type zram size 15.45 GiB used 7.07 GiB (45.8%) priority 100 comp zstd
    avail lzo-rle,lzo,lz4,lz4hc,deflate,842 dev /dev/zram0
Sensors:
  System Temperatures cpu 43.0 C mobo N/A
  Fan Speeds (rpm) N/A
Repos:
  Packages pm pacman pkgs 1027 libs 317 tools yay
  Active pacman repo servers in /etc/pacman.conf
    121 https: //pkgs.omarchy.org/stable/$arch
  Active pacman repo servers in /etc/pacman.d/mirrorlist
    121 https: //stable-mirror.omarchy.org/$repo/os/$arch
Info:
  Memory total 16 GiB available 15.45 GiB used 11.58 GiB (74.9%)
  Processes 419 Power uptime 2d 2h 11m states freeze,mem,disk suspend s2idle wakeups 4
    hibernate platform avail shutdown, reboot, suspend, test_resume image 6.03 GiB
    services power-profiles-daemon, thermald, upowerd Init systemd v 261 default graphical
    tool systemctl
  Compilers clang 22.1.8 gcc 16.2.1 Client shell wrapper v 5.3.15-release inxi 3.3.41


=========================================
INSTALLED PACKAGES (notification-relevant subset)
=========================================
hyprland 0.56.2-1 (extra)
omarchy 4.0.2-1 (omarchy)
openai-codex-desktop 26.825.51511-1 (omarchy)
quickshell 0.3.1-1 (extra)

View raw text

### System details

Intel i7-11370H, Intel Iris Xe + NVIDIA RTX 3050 Ti Mobile, Omarchy 4.0.2-1, Quickshell 0.3.1-1, Arch Linux x86_64, native Wayland.

The installed `shell/plugins/notifications/Service.qml` and `NotificationLogic.js` are byte-identical to `quattro` at `f99d33a8`.


### What's wrong?

Separate D-Bus notifications with the same app name, summary and body render as separate toast cards when they arrive under different notification ids.

Omarchy 3.8 grouped these. Commit 5c3ca608 ("Group duplicate notifications") added this to `default/mako/core.ini`:

```ini
group-by=app-name,summary,body
```

With mako's defaults that shows the newest member only, prefixed with the group size, and the 3.8 release notes describe it as "identical notifications should be grouped". The Quickshell service that replaced mako (c1015912) handles `replaces_id` by `originalId` (020cb537) but has no content grouping, so the behavior was lost in the transition.

### Steps to reproduce

On current Omarchy, run in quick succession:

```bash
omarchy notification send --app-name grouping-probe -t 10000 "Grouping probe" "Same body"
omarchy notification send --app-name grouping-probe -t 10000 "Grouping probe" "Same body"
```

Actual: two visually identical cards.

Expected: one card reading `(2) Grouping probe`, as under the 3.8 mako configuration. Notifications that differ in app name, summary or body should stay separate.

### Real-world trigger

The official ChatGPT Linux desktop app (`openai-codex-desktop 26.825.51511-1`) emits one native notification per renderer window for a single completed response. With four windows open, every completed turn in a session produced two or three D-Bus notifications with distinct ids and identical app, summary, body, urgency, icon and expiry, 25 to 55 ms apart. That is a sender bug and is being reported to OpenAI separately, but the same pattern exists for other multi-window Electron apps, and the mako-era grouping covered all of them.

### Related

- #7834 reports the same regression family for mako's replacement hints.
- #9671 asks for coalescing of same app + summary + body rows on restore; grouping in the live model covers restored rows as well.
- Discussion #4285 asked for grouping of repeated notifications from one app before Quattro.

### Suggested fix

Compute an exact `app + summary + body` group across the live popup model, render only the newest member with the group size in its summary (mako's `(%g) %s`), and keep every underlying row so its action, timeout, server reference, persistence file and history entry keep working. A patch with a regression test (red on the current source, green with the change) is ready and will be opened as a PR referencing this issue.

<details><summary>omarchy-debug excerpt (system section, hostname and disk UUID redacted; the journal and package list are omitted as unrelated to a rendering-logic regression)</summary>

```text
Date: Fri Sep  4 10:46:39 AM CEST 2026
Hostname: <redacted>
Omarchy Package: omarchy 4.0.2-1

=========================================
SYSTEM INFORMATION
=========================================
System:
  Kernel 7.1.9-arch1-2 arch x86_64 bits 64 compiler gcc v 16.2.1 clocksource tsc avail acpi_pm
    parameters cryptdevice=UUID=<redacted>:omarchy_root
    root=/dev/mapper/omarchy_root zswap.enabled=0 rootflags=subvol=@ rw rootfstype=btrfs
    rtc_cmos.use_acpi_alarm=1 resume=/dev/mapper/omarchy_root resume_offset=1956219
    initramfs_async=0 quiet splash loglevel=0 systemd.show_status=false rd.udev.log_level=0
    vt.global_cursor_default=0
  Desktop Hyprland v 0.56.2 vt 1 dm SDDM Distro Omarchy
Machine:
  Type Laptop System Microsoft product Surface Laptop Studio
    v 124I:00060T:000M:0200000D:0B:07F:1C:01P:16Y:0U:02 serial <superuser required> Chassis type 9
    serial <superuser required>
  Mobo Microsoft model Surface Laptop Studio serial <superuser required>
    part-nu Surface_Laptop_Studio_1964 uuid <superuser required> Firmware UEFI vendor Microsoft
    v 32.102.143 date 11/07/2025
Battery:
  ID-1 BAT1 charge 27.1 Wh (60%) condition 45.2/56.3 Wh (80.3%) power 15.5 W volts 10.83 min 11.38
    model SMP 1144023013 type Li-ion serial <filter> charging status discharging cycles 635
CPU:
  Info model 11th Gen Intel Core i7-11370H bits 64 type MT MCP arch Tiger Lake gen core 11 level v4
    note check built 2020 process Intel 10nm family 6 model-id 0x8C (140) stepping 1 microcode 0xBE
  Topology cpus 1x dies 1 clusters 4 cores 4 threads 8 tpc 2 smt enabled cache L1 320 KiB
    desc d-4x48 KiB; i-4x32 KiB L2 5 MiB desc 4x1.2 MiB L3 12 MiB desc 1x12 MiB
  Speed (MHz) avg 1300 min/max 400/4800 scaling driver intel_pstate governor powersave cores
    121 1300 122 1300 123 1300 124 1300 125 1300 126 1300 127 1300 128 1300 bogomips 52838
  Flags-basic avx avx2 ht lm nx pae sse sse2 sse3 sse4_1 sse4_2 ssse3 vmx
  Vulnerabilities
  Type gather_data_sampling mitigation Microcode
  Type ghostwrite status Not affected
  Type indirect_target_selection mitigation Aligned branch/return thunks
  Type itlb_multihit status Not affected
  Type l1tf status Not affected
  Type mds status Not affected
  Type meltdown status Not affected
  Type mmio_stale_data status Not affected
  Type old_microcode status Not affected
  Type reg_file_data_sampling status Not affected
  Type retbleed status Not affected
  Type spec_rstack_overflow status Not affected
  Type spec_store_bypass mitigation Speculative Store Bypass disabled via prctl
  Type spectre_v1 mitigation usercopy/swapgs barriers and __user pointer sanitization
  Type spectre_v2 mitigation Enhanced / Automatic IBRS; IBPB: conditional; PBRSB-eIBRS: SW
    sequence; BHI: SW loop, KVM: SW loop
  Type srbds status Not affected
  Type tsa status Not affected
  Type tsx_async_abort status Not affected
  Type vmscape status Not affected
Graphics:
  Device-1 Intel TigerLake-LP GT2 [Iris Xe Graphics] vendor Microsoft driver i915 v kernel
    alternate xe arch Xe process Intel 10nm built 2020-21 ports active eDP-1 empty DP-1, DP-2, DP-3,
    HDMI-A-1 bus-ID 00:02.0 chip-ID 8086:9a49 class-ID 0300
  Device-2 NVIDIA GA107M [GeForce RTX 3050 Ti Mobile] vendor Microsoft driver nvidia v 610.57.04
    alternate nouveau,nvidia_drm non-free 550-6xx.xx+ status current (as of 2026-07) arch Ampere
    code GAxxx process TSMC n7 (7nm) built 2020-2023 pcie gen 1 speed 2.5 GT/s lanes 4 link-max
    gen 4 speed 16 GT/s lanes 16 bus-ID f3:00.0 chip-ID 10de:25a0 class-ID 0302
  Device-3 Surface Camera Front driver uvcvideo type USB rev 2.0 speed 480 Mb/s lanes 1 mode 2.0
    bus-ID 3-2:2 chip-ID 045e:0c1e class-ID 0e02 serial <filter>
  Display wayland server X.org v 1.21.1.24 with Xwayland v 24.1.13 compositor Hyprland v 0.56.2
    driver gpu i915 display-ID 1
  Monitor-1 eDP-1 model Sharp LQ144P1JX01 serial <filter> built 2020 res 2400x1600 dpi 201
    gamma 1.2 size 303x202mm (11.93x7.95") diag 364mm (14.3") ratio 3:2 modes 2400x1600
  API EGL Message EGL data requires eglinfo. Check --recommends.
  Info Tools gpu nvidia-smi x11 xprop
Audio:
  Device-1 Intel 500 Series Family On-Package High Definition Audio driver snd_hda_intel v kernel
    alternate snd_soc_avs,snd_sof_pci_intel_tgl bus-ID 00:1f.3 chip-ID 8086:a0c8 class-ID 0403
  API ALSA v k7.1.9-arch1-2 status kernel-api tools alsactl,alsamixer,amixer
  Server-1 sndiod v N/A status off tools aucat,midicat,sndioctl
  Server-2 PipeWire v 1.6.8 status active with 121 pipewire-pulse status active 122 wireplumber
    status active 123 pipewire-alsa type plugin 124 pw-jack type plugin tools pactl,pw-cat,pw-cli,wpctl
Network:
  Device-1 Intel Wi-Fi 6 AX200 driver iwlwifi v kernel pcie gen 2 speed 5 GT/s lanes 1
    bus-ID f2:00.0 chip-ID 8086:2723 class-ID 0280
  IF wlp242s0 state up mac <filter>
  Info services NetworkManager, systemd-timesyncd, wpa_supplicant
Bluetooth:
  Device-1 N/A driver btusb v 0.8 type USB rev 2.0 speed 12 Mb/s lanes 1 mode 1.1 bus-ID 3-10:3
    chip-ID 8087:0029 class-ID e001
  Report btmgmt ID hci0 rfk-id 0 state up address <filter> bt-v 5.2 lmp-v 11 status
    discoverable no pairing no class-ID 6c010c
Drives:
  Local Storage total 476.94 GiB used 47.35 GiB (9.9%)
  SMART Message Required tool smartctl not installed. Check --recommends
  ID-1 /dev/nvme0n1 maj-min 259:0 vendor Samsung model MZ9LQ512HALU-00000 size 476.94 GiB
    block-size physical 512 B logical 512 B speed 31.6 Gb/s lanes 4 tech SSD serial <filter>
    fw-rev FXV72M0Q temp 21.9 C scheme GPT
Partition:
  ID-1 / raw-size 198.87 GiB size 198.87 GiB (100.00%) used 46.88 GiB (23.6%) fs btrfs
    dev /dev/dm-0 maj-min 253:0 mapped omarchy_root
  ID-2 /boot raw-size 2 GiB size 2 GiB (99.80%) used 486.4 MiB (23.8%) fs vfat dev /dev/nvme0n1p4
    maj-min 259:4
  ID-3 /home raw-size 198.87 GiB size 198.87 GiB (100.00%) used 46.88 GiB (23.6%) fs btrfs
    dev /dev/dm-0 maj-min 253:0 mapped omarchy_root
  ID-4 /var/log raw-size 198.87 GiB size 198.87 GiB (100.00%) used 46.88 GiB (23.6%) fs btrfs
    dev /dev/dm-0 maj-min 253:0 mapped omarchy_root
Swap:
  Kernel swappiness 150 (default 60) cache-pressure 50 (default 100) zswap no
  ID-1 swap-1 type file size 15.45 GiB used 0 KiB (0.0%) priority 0 file /swap/swapfile
  ID-2 swap-2 type zram size 15.45 GiB used 7.07 GiB (45.8%) priority 100 comp zstd
    avail lzo-rle,lzo,lz4,lz4hc,deflate,842 dev /dev/zram0
Sensors:
  System Temperatures cpu 43.0 C mobo N/A
  Fan Speeds (rpm) N/A
Repos:
  Packages pm pacman pkgs 1027 libs 317 tools yay
  Active pacman repo servers in /etc/pacman.conf
    121 https: //pkgs.omarchy.org/stable/$arch
  Active pacman repo servers in /etc/pacman.d/mirrorlist
    121 https: //stable-mirror.omarchy.org/$repo/os/$arch
Info:
  Memory total 16 GiB available 15.45 GiB used 11.58 GiB (74.9%)
  Processes 419 Power uptime 2d 2h 11m states freeze,mem,disk suspend s2idle wakeups 4
    hibernate platform avail shutdown, reboot, suspend, test_resume image 6.03 GiB
    services power-profiles-daemon, thermald, upowerd Init systemd v 261 default graphical
    tool systemctl
  Compilers clang 22.1.8 gcc 16.2.1 Client shell wrapper v 5.3.15-release inxi 3.3.41


=========================================
INSTALLED PACKAGES (notification-relevant subset)
=========================================
hyprland 0.56.2-1 (extra)
omarchy 4.0.2-1 (omarchy)
openai-codex-desktop 26.825.51511-1 (omarchy)
quickshell 0.3.1-1 (extra)
```
</details>

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/10686· 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 10:46 UTC

Proof

History & reports

Reference