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 e797ba5Sep 30, 2026, 11:40 PMquattroBack to current
Historical run · Audit @ 2026-09-30
AuditedAudited Sep 30, 2026commit e797ba5b66
FindingsSee what needs attention and act on it.
63open findings
2 High15 Medium46 Low

3 resolved

Open findings
RequirementsExplore what the software must do — and how each is proven.
90requirements
Formalized88 / 9098%
88 formalized (98%)

Meets policy 90/90

Open requirements
MapSee how the system fits together.
2components
Open map
TimelineFollow how it changed over time.
  • Requirement33 requirements updated2 days ago
  • Requirement2 requirements added3 days ago
  • Known issueomarchy-system-lock exits 0 when lock engagement fails, leaving the dismissed Lock row silent3 days ago
  • Known issueExported bash functions execute as root inside apply-lock despite the trusted-PATH replacement3 days ago
Open timeline