docs: correct coverage-floor figures to match vitest.config.ts

Author: TheCryptoDonkey

CLAUDE.md

@@ -80,7 +80,8 @@ body from it) and a synchronised `PRIVATE_EQUALITY_VERSION`.
 ## Testing
 
 Tests live in `src/*.test.ts`. Vitest with a per-file coverage gate
-(`vitest.config.ts`). Coverage floor: `group`/`zkp` at 100%, `smp` at 100%
-lines / 87% branch. Tests cover the full protocol round-trip, mismatch
+(`vitest.config.ts`). Coverage floors (per file): functions 100% on all three gated files;
+`zkp` lines ≥95 / branches ≥90; `group` and `smp` lines ≥90 / branches
+≥85. Achieved line coverage is currently 100% on all three. Tests cover the full protocol round-trip, mismatch
 non-leakage, binding mismatch aborts, malformed/replayed messages, and
 tampered proofs. PRs touching `zkp.ts` or `smp.ts` require crypto review.