Proof Portal

Sign in
Project overview

Omarchy

ProbeLabs73 findings · 87 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.

Compare findings

The compared side's slice of new, resolved and changed findings versus its base — read live from git.

Base
ce925cb1edf436948964e14d16eb74c7fb08146ace925cbcommon ancestor of quattro-proof
Verified
78/78 realizable78/78 meet policyverification complete: 0
Compared
89b2c1ed08ba80d195b07b49995098ef7bfd455c89b2c1e
Needs attention1 error20 warnings
79/79 realizable81/81 meet policyverification complete: 0
+0 new·−0 resolved·0 changed·1 unchanged
New (0)
Findings introduced by the compared side — its own slice of issues.

No new findings on the compared side.

Resolved (0)
Findings present at the base but gone on the compared side.

No findings resolved on the compared side.

Changed (0)
Same finding on both sides, with severity and/or status moved (old → new).

No findings changed severity or status.

▸Still open / unchanged (1)
omarchy-menu-select hangs forever when the summoned menu dies before writing done_fileKnown issue

Comparing findings for Omarchy. Requirement coverage is intentionally not shown here — see Requirements for coverage.