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 d52c386Oct 2, 2026, 12:13 AMpr/9056Back to current
Historical run · Audit @ 2026-10-01
AuditedAudited Oct 2, 2026commit d52c3863a3
FindingsSee what needs attention and act on it.
67open findings
2 High16 Medium49 Low
Open findings
RequirementsExplore what the software must do — and how each is proven.
89requirements
Formalized87 / 8998%
87 formalized (98%)

Meets policy 89/89

Open requirements
MapSee how the system fits together.
2components
Open map
TimelineFollow how it changed over time.
  • Requirement2 requirements 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
  • Known issuestripJsonc removes only whole-line // comments; an inline comment tail empties the whole file (omacom/omarchy#13493)2 days ago
Open timeline