Proof Portal

Sign in
Project overview

Omarchy

ProbeLabsviewing a historical run

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.

Viewing historical run 1e43373Oct 4, 2026, 10:47 PMquattro-proofBack to current
Historical run · Audit @ 2026-10-04
Audit passing· 0 errors60 open findingsAudited Oct 4, 2026commit 1e43373287
FindingsSee what needs attention and act on it.
60open findings
14 Medium46 Low
Open findings
RequirementsExplore what the software must do — and how each is proven.
94requirements
Formalized92 / 9498%
92 formalized (98%)

Meets policy 94/94

Open requirements
MapSee how the system fits together.
2components
Open map
TimelineFollow how it changed over time.
  • Requirement7 requirements updated7 days ago
  • Requirement6 requirements added7 days ago
  • Requirement1 requirement added9 days ago
  • Known issueRemove > Theme shows on a stock install, where the remover has no theme to offer and the row only closes the menu9 days ago
Open timeline