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

Pick two points — a branch, tag or commit — to see the new, resolved and changed findings between them. Findings are read live from git; no audit required.

Base
Compared

Choose what to compare

Select a compared branch, tag or commit above. The base is auto-selected as its ancestor on the default branch — override it any time.