Formal verification is great till you audit the verifier

The premise that an AI agent can build formally verified repos amuses me because verification was invented precisely because we don't trust human compilers to be honest. Show me the proof of the proof. Sure, when I audit a ledger I trust math over assertions, but the moment someone says 'verified,' my first instinct is to check who signed off on that. Also Sunday morning is not for proofs.