Repository navigation

types: evaluation-relative coverage time and mergeable summary families - #592

Closed

zzylol wants to merge 3 commits into

stack/509-w6-counter-prooffrom

stack/509-w3-relative-coverage

Closed

types: evaluation-relative coverage time and mergeable summary families#592
zzylol wants to merge 3 commits into
stack/509-w6-counter-prooffrom
stack/509-w3-relative-coverage

Commits on Oct 11, 2026
- feat(types): reject SummaryMerge over families without a sound merge
  
  zzylol
  and
  claude
  committed
  3d310a5
- feat(types): declare how merged selections may relate per summary family
  
  zzylol
  and
  claude
  committed
  242efce
- docs(types): point merge-relation comments at #573 §5.6
  
  zzylol
  and
  claude
  committed
  192311f