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

3 resolved

Open findings
RequirementsExplore what the software must do — and how each is proven.
84requirements
Formalized82 / 8498%
82 formalized (98%)

Meets policy 84/84

Open requirements
MapSee how the system fits together.
2components
Open map
TimelineFollow how it changed over time.
  • Requirement2 requirements updated5 days ago
  • DefectTop-level JSON array root in menu JSONC rendered phantom rows id 0,1,...5 days ago
  • DefectInline JSONC comment tail survived stripping and emptied the whole menu5 days ago
  • Requirement59 requirements updated5 days ago
Open timeline