security-verification

Universal Linux package manager - one command for apt, dnf, pacman, snap, flatpak & AppImage. Built in Rust with real rollback capabilities and enterprise security.

ARBAC role reachability verifier

Artifact for compositional verification of PMP–IOPMP isolation in RISC-V SoCs, including real-Ibex validation, reset-ordering analysis, formal verification, simulation, and SKY130HD PPA evaluation.

Reproducibility artifact for auditing security-guard survival in compiler-optimized release binaries

Human-friendly Verification URL UI that turns Stage289 API results into shareable, browser-based verification pages with decision, trust score, and verification ID.

Public Verification API for QSP/VEP returning decision, trust score, and evidence. Signing is local-only; public endpoint is verification-first.