Proof Portal
Project overview
Omarchy
ProbeLabs73 findings · 87 requirementsA 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.
Documents
Generate specs, traceability, verification, and audit documents on demand from this project's proof layer — no publishing step, always current. Share or export them in place of PDFs.