betterwithage commited on
Commit
59fbcde
·
1 Parent(s): 386a27c

docs(wave4-scrub): remove Putnam refs from vessels README.md canonical numbers

Browse files

Doctrine v7 §1 audit (Putnam package removed, a11oy#159):
- Canonical numbers line: removed '51 Putnam' breakdown and Putnam coverage string

Signed-off-by: Stephen P. Lutar Jr. <stephenlutar2@gmail.com>

Files changed (1) hide show
  1. README.md +1 -1
README.md CHANGED
@@ -24,7 +24,7 @@ tags:
24
 
25
  [![Scorecard](https://api.securityscorecards.dev/projects/github.com/szl-holdings/vessels/badge)](https://api.securityscorecards.dev/projects/github.com/szl-holdings/vessels)
26
 
27
- **Canonical numbers (locked 2026-05-30):** Doctrine v7 · 15 axioms (14 unique) · 626 Lean 4 declarations · 189 sorries (138 baseline + 51 Putnam) · 44 anchor formula gates · Putnam: 4/12 GREEN [A1, A5, B4, B6] · 10/12 structure · SLSA L1 (honest)
28
 
29
 
30
  Honest architecture deep-dive for **Vessels** — a React + Vite + TypeScript
 
24
 
25
  [![Scorecard](https://api.securityscorecards.dev/projects/github.com/szl-holdings/vessels/badge)](https://api.securityscorecards.dev/projects/github.com/szl-holdings/vessels)
26
 
27
+ **Canonical numbers (locked 2026-05-30):** Doctrine v7 · 15 axioms (14 unique) · 626 Lean 4 declarations · 189 sorries · 44 anchor formula gates · SLSA L1 (honest)
28
 
29
 
30
  Honest architecture deep-dive for **Vessels** — a React + Vite + TypeScript