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.
System becomes unusable after update: libgcc_s.so.1 missing during gcc-libs upgrade
Reported by kaveit · filed Jul 12, 2026 · open at source
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
System details
Omarchy 3.8.2
What's wrong?
Environment
- Omarchy 3.8.2
- Btrfs + Snapper
- Limine bootloader
- Freshly restored snapshot before every `test
`
Problem
Every time I update the system (either using omarchy-update or pacman -Syu), the system becomes unusable.
The issue is reproducible.
Steps to reproduce
- Boot into a healthy restored snapshot.
- Verify everything works normally.
- Run:
omarchy-update(or)
sudo pacman -Syu- During the transaction, post-transaction hooks start failing.
Errors
Examples:
journalctl: error while loading shared libraries: libgcc_s.so.1: cannot open shared object file: No such file or directory
systemd-hwdb: error while loading shared libraries: libgcc_s.so.1: cannot open shared object file: No such file or directory
depmod: error while loading shared libraries: libgcc_s.so.1: cannot open shared object file: No such file or directoryMany subsequent hooks fail because libgcc_s.so.1 can no longer be loaded.
Result
After reboot:
- Hyprland does not start.
- TTY is either unavailable or unusable.
- The system is effectively broken.
- I have to restore a previous snapshot to recover.
Additional information
Before updating:
pacman -Qkk gcc-libsreports:
64 total files, 0 altered filesand
ls -l /usr/lib/libgcc_s.so*shows:
/usr/lib/libgcc_s.so
/usr/lib/libgcc_s.so.1So the snapshot is healthy before the update.
The failure consistently occurs during the gcc-libs upgrade, after which post-transaction hooks begin reporting that libgcc_s.so.1 is missing.
This has happened multiple times on freshly restored snapshots.
Any guidance or debugging steps would be appreciated.
View raw text
### System details Omarchy 3.8.2 ### What's wrong? ### Environment - Omarchy 3.8.2 - Btrfs + Snapper - Limine bootloader - Freshly restored snapshot before every `test [log.txt](https://github.com/user-attachments/files/29943761/log.txt) ` ### Problem Every time I update the system (either using `omarchy-update` or `pacman -Syu`), the system becomes unusable. The issue is reproducible. ### Steps to reproduce 1. Boot into a healthy restored snapshot. 2. Verify everything works normally. 3. Run: ```bash omarchy-update ``` (or) ```bash sudo pacman -Syu ``` 4. During the transaction, post-transaction hooks start failing. ### Errors Examples: ```text journalctl: error while loading shared libraries: libgcc_s.so.1: cannot open shared object file: No such file or directory systemd-hwdb: error while loading shared libraries: libgcc_s.so.1: cannot open shared object file: No such file or directory depmod: error while loading shared libraries: libgcc_s.so.1: cannot open shared object file: No such file or directory ``` Many subsequent hooks fail because `libgcc_s.so.1` can no longer be loaded. ### Result After reboot: - Hyprland does not start. - TTY is either unavailable or unusable. - The system is effectively broken. - I have to restore a previous snapshot to recover. ### Additional information Before updating: ```bash pacman -Qkk gcc-libs ``` reports: ```text 64 total files, 0 altered files ``` and ```bash ls -l /usr/lib/libgcc_s.so* ``` shows: ```text /usr/lib/libgcc_s.so /usr/lib/libgcc_s.so.1 ``` So the snapshot is healthy before the update. The failure consistently occurs during the `gcc-libs` upgrade, after which post-transaction hooks begin reporting that `libgcc_s.so.1` is missing. This has happened multiple times on freshly restored snapshots. Any guidance or debugging steps would be appreciated.
- log.txt
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.
- Out of scopeDecided by agents · verified · 2026-10-09 03:56 UTC