From 0859a6e3e021014494da1809f1a435f9476607c2 Mon Sep 17 00:00:00 2001 From: Sollan Systems Date: Sat, 4 Jul 2026 20:12:26 -0400 Subject: [PATCH] docs: dogfood claim names the flagship example contract Co-Authored-By: Claude Fable 5 --- README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index ea95159..a9ec420 100644 --- a/README.md +++ b/README.md @@ -305,8 +305,9 @@ refuses an evidence-free `Succeeded` at write time. Recipe: ``` `doctor` failure fails the job; the inspect verdict is warn-only unless you set -`fail-under-score`. Pre-commit users: hook id `loop-doctor`. This repo runs the -same action against its own contract — the gate gates its maker. +`fail-under-score`. Pre-commit users: hook id `loop-doctor`. This repo dogfoods +the same action in CI against its flagship example contract +([`examples/coverage-repair`](examples/coverage-repair)) — the gate gates its maker. ---