Proof Portal

Sign in
Project overview

Omarchy

ProbeLabs73 findings · 87 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.

Obligation catalogue

A required class of evidence the requirement must witness — the bridge between the requirement existing and it being proven.

Obligation evidence — not shown for the current git state

The obligation catalogue and its evidence matrix are built from the audit index, not from tracked git.This view is built from a live audit of the code you are looking at, and the current git state hasn't been audited in that form — so nothing is shown here rather than a fabricated empty result. The latest published audit's results are on the project overview.