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
fb9c0cebc79a23cb80b798d3589b8699651ffa6efb9c0cecommon ancestor of quattro-proof
no published baseline for this ref
Compared
7f1b8a548812f94f3f26a484e19f6334456df9377f1b8a5
Partial5 warnings
82/82 realizable84/84 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.