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

Draft

zzylol wants to merge 2 commits into

stack/509-w6-counter-prooffrom

stack/509-w3-relative-coverage

Commits on Oct 5, 2026

feat(types): evaluation-relative coverage time

zzylol
and
claude
committed
e2da91a
feat(types): reject SummaryMerge over families without a sound merge

zzylol
and
claude
committed
6b31d2d