From 4859e054905897fb454e4997d8121c9aa7b29dc4 Mon Sep 17 00:00:00 2001 From: Nithilan Kumaran <126580000+sathariels@users.noreply.github.com> Date: Tue, 13 Oct 2026 21:02:01 -0500 Subject: [PATCH] Add HOL Guard verified badge --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 84afd2a..d123985 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,7 @@ # jevcheck +[![HOL Guard](https://img.shields.io/endpoint?url=https%3A%2F%2Fhol.org%2Fapi%2Fregistry%2Fbadges%2Fplugin%3Fslug%3Dsathariels%252Fjevcheck%26metric%3Dtrust)](https://hol.org/registry/plugins/sathariels%2Fjevcheck) + [![HOL Guard Scanner](https://img.shields.io/badge/HOL%20Guard-passing-00a67e)](https://github.com/hashgraph-online/hol-guard) **pytest for Jev.** Pin what production is allowed to do, eval a candidate model, and fail the upgrade when answers flip or confidence drops.