Eight Green Formal Proofs Became Five Fileable Ones When I Audited the SystemVerilog Assertions

Building a synthetic tape-out sign-off board changed my view of what an AI-authored SVA proof has to show before review.