Local Lean attestation for Governed-v1.4.1

Attestation hash: 7ebc0ee0f53198a1df51934e0e04cfbf064d76a81063e69b1ba5acbba884a90a

Predicate hash referenced: ac8918ba454f22e7b00091de8d367909fd5740c258a75968666d2e0570e07b2b

Report: attestation.txt

The report records local Lean kernel acceptance. SafeVerify is not installed in this workspace and must be run against the compiled .olean before this attestation is treated as a SafeVerify pass.