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.

Checks below are from the latest published audit (as of Oct 3, 2026) · commit 7e5410386a, not from an audit of the current git state.

Audit checks

Every automated check run against this project's proof, and what each one found. Checks that need attention come first.

Proof
Back to overview
Total checks219
Passing199
Informational4
Skipped15
Warnings0
Errors0
All checks1 need attention
Each row leads with its status (this run's outcome); the Gate / Advisorytag is the check's enforcement level, not a result. Informational checks are non-gating signals; skipped checks did not run this time. Recorded Oct 3, 2026, 12:13 AM.
Enforcement

Other checks

(35)

Specification lint

(60)

Obligations & evidence

(20)

Formalization & solver

(19)

Verification & tests

(22)

Traceability & structure

(15)

Code signals

(5)

Review & governance

(31)

Documents & catalog

(12)

Trace-coverage gaps and failing checks that became findings are tracked in Findings, and run-over-run check trends live in the Audit history.

Discussions about checks

Have a question about a check, or think one is wrong? Open a discussion — the proof team reviews it and records any outcome in the thread.

Sign in to discuss this with the proof team.Sign in