feat(proofs/lean4): add V4 Raft consensus safety — single-node commit… #153
hyperpolymathscorecard-enforcer.yml
on: push
scorecard
36s
check-critical
4s