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 0e2dd89Oct 1, 2026, 10:11 PMpr/13968Back to current
Historical run · Audit @ 2026-10-01
AuditedAudited Oct 1, 2026commit 0e2dd89409
FindingsSee what needs attention and act on it.
64open findings
2 High15 Medium47 Low

6 resolved

Open findings
RequirementsExplore what the software must do — and how each is proven.
91requirements
Formalized89 / 9198%
89 formalized (98%)

Meets policy 91/91

Open requirements
MapSee how the system fits together.
2components
Open map
TimelineFollow how it changed over time.
  • Requirement5 requirements updated1 day ago
  • Requirement1 requirement added1 day ago
  • Known issueparseMenuJsonc walks a top-level JSON array and renders phantom rows keyed 0, 1, ... (omacom/omarchy#13492)2 days ago
  • Known issuestripJsonc comma regex rewrites strings that carry a comma before } or ] (omacom/omarchy#13250)2 days ago
Open timeline