Repository navigation

Give contract assertions unique ids and declare full-run population coverage - #612

Merged

MaxGhenis merged 3 commits into

mainfrom

w4/runner-assertion-ids

Oct 15, 2026

Merged

Give contract assertions unique ids and declare full-run population coverage#612
MaxGhenis merged 3 commits into
mainfrom
w4/runner-assertion-ids

Commits on Oct 14, 2026
- Give each contract assertion an id and declare full-run population coverage
  
  committed
  c8c940e
- Add changelog fragment for #611
  
  MaxGhenis
  and
  claude
  committed
  3add51d
- Declare the population error diagnostic and strengthen the golden rows
  
  committed
  0095d7e