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.

Map

Relationships across the system. Architecture view — every component, sized by how many requirements it owns and colored by risk. Solid arrows are interface contracts (who calls whom); dashed arrows show which component's requirements refine another's. Click a component to open its page, or switch to Focus to walk one entity's neighborhood.

Links:interface contract (producer → consumer)refines (child → parent, by link count)
Risk:no findingsCriticalHighMediumLowInfo
Node size = number of requirements · click a component to open its page.
Mini Map

Every component has at least one traced inter-component link.