proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX… #226
scorecard-enforcer.yml
on: push
scorecard
42s
check-critical
6s