Repository navigation

drift/06: completeness ratchet — coverage as proof, exemptions as debt - #26

Merged

bhelm merged 2 commits into

drift/06-coverage-ratchet

Aug 18, 2026

Merged

drift/06: completeness ratchet — coverage as proof, exemptions as debt#26
bhelm merged 2 commits into
drift/metafrom
drift/06-coverage-ratchet

Commits on Aug 18, 2026
- Parity runners: bare case exercises the language defaults (#17)
  
  bhelm
  and
  claude
  committed
  1eb60f9
- Completeness ratchet with executed-lines coverage proof (#17)
  
  committed
  ae0535c