OMEGA Protocol SafeVerify Attestation
Version: v1.4.1
Predicate version: Governed-v1.4.1
Predicate hash: ac8918ba454f22e7b00091de8d367909fd5740c258a75968666d2e0570e07b2b
Proof file: OmegaV141Predicate.lean
Canonical predicate definition file: OmegaV141Predicate.lean
Lean toolchain: leanprover/lean4:v4.27.0
SafeVerify branch: unavailable locally
SafeVerify commit: unavailable locally
Result: Lean kernel check passed locally; SafeVerify not run in this workspace.
Exit code: 0
Report: lean public/omega/formal-proof/OmegaV141Predicate.lean completed with no errors.
Published: 25 April 2026