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.

Audit history

How this project's proof evolves — run by run, branch by branch, release by release.

70 runsCompare
Latest in stream
Proof
Oct 2
Runs shown
5
pr/10631
Streams
14
branches with runs
Proof status over runs
Each run on pr/10631, newest at the right.
Verification-policy coverage
Requirements meeting policy per run — a run that did not compute coverage is skipped, never drawn as zero.
Branches & releases
Every active stream — last verdict, recency, and how many known issues it tracks compared with the default branch.
Runs
Runs on pr/10631, newest first.
  1. Proof
    Oct 2, 09:29 PM85f8bedno gating issues219 checks
    as of
  2. Proof
    Oct 2, 08:10 PM59d5325no gating issues219 checks
    as of
  3. Proof
    Oct 2, 07:53 AMa9dcc3eno gating issues219 checks
    as of
  4. Proof
    Oct 2, 04:08 AM8fcd0c7no gating issues219 checks
    as of
  5. Proof
    Oct 2, 01:38 AMb16f5e6no gating issues219 checks
    as of