fix(R5): honest CITATION.cff abstract + replace misleading metric badges#591

Merged

gHashTag merged 3 commits into

mainfrom

fix/zenodo-repo-honest-deepsweep

May 12, 2026

Commits on May 12, 2026

fix(R5): replace misleading metric badges + R5-honest abstract
Trinity Queen Hive
committed
fix(R5-pass-2): correct CITATION.cff to audited Coq counts + drop unjustified 'statistical rigor' keyword
Trinity Queen Hive
committed
fix(R5-pass-3): clean .zenodo.*_v{8,9}.0.json + fix 5 self-DOI errors + patent strategy + Zig source
Trinity Queen Hive
committed