Repository navigation

docs: propose how summary coverage is computed for every operator - #647

Closed

zzylol wants to merge 2 commits into

mainfrom

docs/summary-coverage-calculation

Commits on Oct 6, 2026
- docs: propose a per-operator rule for computing summary coverage
  
  zzylol
  and
  claude
  committed
  a835ebd
Commits on Oct 7, 2026
- docs: specify SummaryCoverage::derive per summary operator and its code interface
  
  zzylol
  and
  claude
  committed
  6327785