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 cd52be1Sep 29, 2026, 09:37 AMpr/13511Back to current
Historical run · Audit @ 2026-09-29
AuditedAudited Sep 29, 2026commit cd52be1ef1
FindingsSee what needs attention and act on it.
1open finding
1 Medium

2 resolved

Open findings
RequirementsExplore what the software must do — and how each is proven.
83requirements
Formalized81 / 8398%
81 formalized (98%)

Meets policy 83/83

Open requirements
MapSee how the system fits together.
2components
Open map
TimelineFollow how it changed over time.
  • DefectTop-level JSON array root in menu JSONC rendered phantom rows id 0,1,...5 days ago
  • Requirement60 requirements updated5 days ago
  • Requirement3 requirements added5 days ago
  • DefectString-blind trailing-comma strip silently mutated in-string commas in menu labels and actions6 days ago
Open timeline