Repository navigation

feat(ir): add summary coverage metadata for time and population - #567

Merged

zzylol merged 18 commits into

mainfrom

feat/summary-coverage-contract

Oct 6, 2026

Commits on Oct 6, 2026
- feat(ir): define joint summary observation coverage
  zzylol
  committed
  6adea64
- refactor(ir): name represented observations ObservationExtent
  zzylol
  committed
  d97fe2b
- refactor(ir): rename observation extent to SummaryCoverage and trim its fields
  
  zzylol
  and
  claude
  committed
  1369bcd
- docs(ir): describe coverage source as any observation data source
  
  zzylol
  and
  claude
  committed
  b9767e0
- feat(ir): require coverage on summary nodes; allow regions without time bounds
  
  zzylol
  and
  claude
  committed
  743b177
- docs: explain the summary coverage problem with examples
  
  zzylol
  and
  claude
  committed
  6d48e07
- refactor(ir): keep only time and population in SummaryCoverage
  
  zzylol
  and
  claude
  committed
  c57497f
- refactor(cost): rename SourceCoverage to ScanSelection
  
  zzylol
  and
  claude
  committed
  bf7501b
- docs: turn summary coverage into a design document
  
  zzylol
  and
  claude
  committed
  5b74bc0
- docs: design doc for ASAP primitive schema and summary semantics
  
  zzylol
  and
  claude
  committed
  0b058be
- Update asap-primitive-schema.md
  zzylol
  committed
  da241a6
- Update asap-primitive-schema.md
  zzylol
  committed
  91bd15d
- Update asap-primitive-schema.md
  zzylol
  committed
  659c172
- Update asap-primitive-schema.md
  zzylol
  committed
  338a1d3
- docs: add code interfaces and per-operator examples to the ASAP primitive schema design
  
  zzylol
  and
  claude
  committed
  87851b7
- docs: move the ASAP primitive schema design to #573
  
  zzylol
  and
  claude
  committed
  89804d5
- docs(ir): say coverage time is absolute and population is Utf8 equality
  
  zzylol
  and
  claude
  committed
  056725a
- feat(ir): carry summary coverage through CSE and flat DAGs
  
  zzylol
  and
  claude
  committed
  4750e71

Navigation Menu

Repository navigation

feat(ir): add summary coverage metadata for time and population - #567

feat(ir): add summary coverage metadata for time and population#567
zzylol merged 18 commits into
mainfrom
feat/summary-coverage-contract

Commits on Oct 6, 2026

feat(ir): define joint summary observation coverage

refactor(ir): name represented observations ObservationExtent

refactor(ir): rename observation extent to SummaryCoverage and trim its fields

docs(ir): describe coverage source as any observation data source

feat(ir): require coverage on summary nodes; allow regions without time bounds

docs: explain the summary coverage problem with examples

refactor(ir): keep only time and population in SummaryCoverage

refactor(cost): rename SourceCoverage to ScanSelection

docs: turn summary coverage into a design document

docs: design doc for ASAP primitive schema and summary semantics

Update asap-primitive-schema.md

Update asap-primitive-schema.md

Update asap-primitive-schema.md

Update asap-primitive-schema.md

docs: add code interfaces and per-operator examples to the ASAP primitive schema design

docs: move the ASAP primitive schema design to #573

docs(ir): say coverage time is absolute and population is Utf8 equality

feat(ir): carry summary coverage through CSE and flat DAGs