feat(planner): compose exact functions with summaries - #359

Merged

zzylol merged 19 commits into

mainfrom

feat/general-exact-summary-composition

Sep 9, 2026

Commits on Aug 29, 2026

feat(post-asap): model and validate execution phases
zzylol
committed
5b33949

Commits on Aug 30, 2026

refactor(post-asap): split value domain into timing and primitive
zzylol
committed
22e8998
refactor(post-asap): rename value domain state type
zzylol
committed
9db1409
refactor(post-asap): align module with execution data state
zzylol
committed
aa95a1a
fix(devtools): initialize DAG decision metadata
zzylol
committed
6679f97
refactor(post-asap): use execution data state terminology
zzylol
committed
1b96726
feat(post-asap): compose exact operators with summary plans across phase boundaries (#171)

zzylol
and
claude
committed
fbd4cb3
refactor(ir): generalize phase-aware value operations
zzylol
committed
82f03e3
fix(cost): reuse canonical recurrence rate types
zzylol
committed
125e192
fix(export): use canonical recurrence cost rate
zzylol
committed
24c2d41
chore(test): defer exact composition E2E coverage
zzylol
committed
779f1d3
refactor(planner): use value domains for exact composition
zzylol
committed
5ad2fee
refactor(planner): use execution data state name
zzylol
committed
657cf3b
refactor(planner): use execution data state module
zzylol
committed
1bf215c
refactor: use execution data state terminology
zzylol
committed
aa8353d

Commits on Sep 9, 2026