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
020a8c0e29956e4a600d6017cfab9fe4a5055126020a8c0common ancestor of quattro-proof
Partial5 warnings
83/83 realizable85/85 meet policyverification complete: 0
Compared
020a8c0e29956e4a600d6017cfab9fe4a5055126020a8c0
Partial5 warnings
83/83 realizable85/85 meet policyverification complete: 0
+0 new·−0 resolved·0 changed·4 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 (4)
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 reportInline JSONC comment tail survived stripping and emptied the whole menuProblem 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.