Proof Portal

Sign in
Project overview

Omarchy

ProbeLabs65 findings · 95 requirements

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.

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.

Requirements summary

html
A one-page overview of every requirement and its verification metrics. · Generated on demand from the current audit

This document could not be generated

This document is not available in this view. Contact your proof team for a copy.