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 d6aa8daOct 2, 2026, 12:06 AMquattro-proofBack to current
Historical run · Audit @ 2026-10-01
Audit passing· 0 errors73 open findingsAudited Oct 2, 2026commit d6aa8dae57
FindingsSee what needs attention and act on it.
73open findings
2 High18 Medium53 Low
Open findings
RequirementsExplore what the software must do — and how each is proven.
87requirements
Formalized85 / 8798%
85 formalized (98%)

Meets policy 87/87

Open requirements
MapSee how the system fits together.
2components
Open map
TimelineFollow how it changed over time.
  • Requirement10 requirements updated1 day ago
  • Known issueOpening a select menu walks its rows quadratically (omacom/omarchy#10601)2 days ago
  • Requirement26 requirements updated2 days ago
  • Requirement2 requirements added3 days ago
Open timeline