OMEGA Protocol SafeVerify Attestation
Version: v1.4
Predicate version: Governed-v1.4
Predicate hash: a4df73b484245495989c9b674f89fc5ed9a0d71b4afd04df96646a9346a183fb
Proof file: OmegaV14.lean
Canonical predicate definition file: OmegaV14Predicate.lean
Lean toolchain: leanprover/lean4:v4.15.0
SafeVerify branch: minif2f-kimina-check
SafeVerify commit: 577e953
Result: passed
Exit code: 0
Report: Finished with no errors.
Published: 21 April 2026