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
2d5d3da318a0edb3c7a09f2d0ffeadc074af448c2d5d3dacommon ancestor of quattro-proof
no published baseline for this ref
Compared
7916138c6ef4b64f25efc0846d8f6a7610d48f767916138
Partial19 warnings
79/79 realizable81/81 meet policyverification complete: 0
+0 new·−0 resolved·0 changed·2 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 (2)
String-blind trailing-comma strip silently mutated in-string commas in menu labels and actionsProblem reportomarchy-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.