Repository navigation

feat(ir): derive summary coverage as definition + selection - #646

Merged

zzylol merged 7 commits into

mainfrom

stack/528-02c-coverage-derivation

Oct 11, 2026

Merged

feat(ir): derive summary coverage as definition + selection#646
zzylol merged 7 commits into
mainfrom
stack/528-02c-coverage-derivation

Commits on Oct 9, 2026
- feat(ir): derive summary coverage as definition + selection
  
  zzylol
  and
  claude
  committed
  e699985
- fix(ir): keep ambiguous columns and untyped-equal literals out of selections
  
  zzylol
  and
  claude
  committed
  1bbd2a0
- test(ir): cover the design doc's worked coverage example
  
  zzylol
  and
  claude
  committed
  1af815b
- perf(ir): cache a merge's coverage when it is checked
  
  zzylol
  and
  claude
  committed
  1926328
Commits on Oct 10, 2026
- test(ir): worked example follows the SQL query of the design doc
  
  zzylol
  and
  claude
  committed
  6f6f869
- feat(ir): join touching value ranges in a merged selection
  
  zzylol
  and
  claude
  committed
  e548a0b
Commits on Oct 11, 2026
- fix(ir): derive coverage on each call and keep renaming nodes
  
  zzylol
  and
  claude
  committed
  4083c64