Proof Portal

Sign in
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-170GitHub issuePublicDecided· Out of scope

Default CUPS setup fails on network printers using universal/pdftopdf filter; resolved by IPP-Everywhere (driverless)

Reported by A2ronHsu · filed Sep 23, 2026 · open at source

Open at source
Decided: Out of scope — decided by agents · verified 3 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

Default CUPS setup fails on network printers using universal/pdftopdf filter; resolved by IPP-Everywhere (driverless)revision 1 · captured 2026-09-28 21:23 UTC via poll

System details

  • Distribution: Omarchy (Arch Linux base) - Component: CUPS / cups-filters / libcupsfilters - Affected Packages: cups-filters 2.0.1-2, libcupsfilters 2.2.1-2, libppd 2.1.1-2 - Hardware: Epson Network Printer (AirPrint / IPP-Everywhere compatible)

What's wrong?

Description

When setting up a network printer through standard mDNS/dnssd discovery, print jobs fail immediately and leave the queue in an "Idle" or "Filter failed" state without outputting paper.

Inspection of /var/log/cups/error_log revealed that the printing pipeline halted during PDF rasterization inside the universal / pdftopdf filter chain.

LOGS:

~ ❯ grep -i "filter" /var/log/cups/error_log | tail -n 15
D [22/Sep/2026:09:33:19 -0300] [Job 7] PID 54497 (/usr/lib/cups/filter/universal) stopped with status 1.
D [22/Sep/2026:09:33:19 -0300] [Job 7] PID 54498 (/usr/lib/cups/filter/epson-escpr-wrapper) stopped with status 1.
D [22/Sep/2026:09:33:19 -0300] [Job 7] printer-state-message="universal filter failed."
E [22/Sep/2026:09:38:06 -0300] [Job 8] cfFilterChain: pdftopdf (PID 6729) stopped with status 1
E [22/Sep/2026:09:38:06 -0300] [Job 8] universal filter failed.
E [22/Sep/2026:09:38:08 -0300] [Job 8] Job stopped due to filter errors; please consult the /var/log/cups/error_log file for details.
E [23/Sep/2026:08:26:51 -0300] [Job 9] cfFilterChain: pdftopdf (PID 106199) stopped with status 1
E [23/Sep/2026:08:26:51 -0300] [Job 9] universal filter failed.
E [23/Sep/2026:08:26:54 -0300] [Job 9] Job stopped due to filter errors; please consult the /var/log/cups/error_log file for details.
E [23/Sep/2026:08:29:03 -0300] [Job 10] cfFilterChain: pdftopdf (PID 107188) stopped with status 1
E [23/Sep/2026:08:29:03 -0300] [Job 10] universal filter failed.
E [23/Sep/2026:08:29:07 -0300] [Job 10] Job stopped due to filter errors; please consult the /var/log/cups/error_log file for details.
E [23/Sep/2026:08:29:38 -0300] [Job 11] cfFilterChain: pdftopdf (PID 108615) stopped with status 1
E [23/Sep/2026:08:29:38 -0300] [Job 11] universal filter failed.
E [23/Sep/2026:08:29:40 -0300] [Job 11] Job stopped due to filter errors; please consult the /var/log/cups/error_log file for details.
View raw text
### System details

- **Distribution:** Omarchy (Arch Linux base) - **Component:** CUPS / cups-filters / libcupsfilters - **Affected Packages:** `cups-filters 2.0.1-2`, `libcupsfilters 2.2.1-2`, `libppd 2.1.1-2` - **Hardware:** Epson Network Printer (AirPrint / IPP-Everywhere compatible)

### What's wrong?

### Description
When setting up a network printer through standard mDNS/dnssd discovery, print jobs fail immediately and leave the queue in an "Idle" or "Filter failed" state without outputting paper. 

Inspection of `/var/log/cups/error_log` revealed that the printing pipeline halted during PDF rasterization inside the `universal` / `pdftopdf` filter chain.

# LOGS:
```
~ ❯ grep -i "filter" /var/log/cups/error_log | tail -n 15
D [22/Sep/2026:09:33:19 -0300] [Job 7] PID 54497 (/usr/lib/cups/filter/universal) stopped with status 1.
D [22/Sep/2026:09:33:19 -0300] [Job 7] PID 54498 (/usr/lib/cups/filter/epson-escpr-wrapper) stopped with status 1.
D [22/Sep/2026:09:33:19 -0300] [Job 7] printer-state-message="universal filter failed."
E [22/Sep/2026:09:38:06 -0300] [Job 8] cfFilterChain: pdftopdf (PID 6729) stopped with status 1
E [22/Sep/2026:09:38:06 -0300] [Job 8] universal filter failed.
E [22/Sep/2026:09:38:08 -0300] [Job 8] Job stopped due to filter errors; please consult the /var/log/cups/error_log file for details.
E [23/Sep/2026:08:26:51 -0300] [Job 9] cfFilterChain: pdftopdf (PID 106199) stopped with status 1
E [23/Sep/2026:08:26:51 -0300] [Job 9] universal filter failed.
E [23/Sep/2026:08:26:54 -0300] [Job 9] Job stopped due to filter errors; please consult the /var/log/cups/error_log file for details.
E [23/Sep/2026:08:29:03 -0300] [Job 10] cfFilterChain: pdftopdf (PID 107188) stopped with status 1
E [23/Sep/2026:08:29:03 -0300] [Job 10] universal filter failed.
E [23/Sep/2026:08:29:07 -0300] [Job 10] Job stopped due to filter errors; please consult the /var/log/cups/error_log file for details.
E [23/Sep/2026:08:29:38 -0300] [Job 11] cfFilterChain: pdftopdf (PID 108615) stopped with status 1
E [23/Sep/2026:08:29:38 -0300] [Job 11] universal filter failed.
E [23/Sep/2026:08:29:40 -0300] [Job 11] Job stopped due to filter errors; please consult the /var/log/cups/error_log file for 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/13630· 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 17:36 UTC