Proof Portal

Project overview

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

System becomes unusable after update: libgcc_s.so.1 missing during gcc-libs upgrade

Reported by kaveit · filed Jul 12, 2026 · 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

System becomes unusable after update: libgcc_s.so.1 missing during gcc-libs upgraderevision 1 · captured 2026-09-28 21:29 UTC via poll

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

`

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:
omarchy-update

(or)

sudo pacman -Syu
  1. 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 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:

pacman -Qkk gcc-libs

reports:

64 total files, 0 altered files

and

ls -l /usr/lib/libgcc_s.so*

shows:

/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.

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