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 020a8c0Sep 29, 2026, 09:27 AMquattroBack to current
Historical run · Audit @ 2026-09-29
AuditedAudited Sep 29, 2026commit 020a8c0e29
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.
85requirements
Formalized83 / 8598%
83 formalized (98%)

Meets policy 85/85

Open requirements
MapSee how the system fits together.
2components
Open map
TimelineFollow how it changed over time.
  • Requirement1 requirement added5 days ago
  • Requirement3 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
Open timeline