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
cf4261e7b80fa11a83d312d6b3879d039652174ecf4261ecommon ancestor of quattro-proof
no published baseline for this ref
Compared
cd52be1ef12c062c90e14b1101db64a91c392725cd52be1
Partial5 warnings
81/81 realizable83/83 meet policyverification complete: 0
+0 new·−0 resolved·0 changed·3 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 (3)
String-blind trailing-comma strip silently mutated in-string commas in menu labels and actionsProblem reportTop-level JSON array root in menu JSONC rendered phantom rows id 0,1,...Problem 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.