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 4f1a819Oct 1, 2026, 09:28 PMquattro-proofBack to current
Historical run · Audit @ 2026-10-01
AuditedAudited Oct 1, 2026commit 4f1a8197f7
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.
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.
  • 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
  • Known issuestripJsonc has no block-comment pass: a /* */ comment empties the whole file2 days ago
Open timeline