Proof Portal

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 85f8bedOct 2, 2026, 09:29 PMpr/10631Back to current

Documents & reportsisn't available for a historical run

This page needs data that only exists for the current audit, so it can't honestly show a past run. Nothing is shown rather than showing current data under a historical link.