Repository navigation

Effect Analysis Prototype & Eta Expansion Gate - #562

Open

flandia wants to merge 9 commits into

hkust-taco:hkmc2from

flandia:flow-effect

Commits on Oct 3, 2026

Effect Analysis Prototype

codex
and
flandia
committed
729928c
Require lifting before eta expansion

codex
and
flandia
committed
c1e2f2e
Update purity metadata during eta expansion

codex
and
flandia
committed
8357a1c
Preserve affine stage indices during lifting

codex
and
flandia
committed
c7f413d
Eta Expansion Gate

flandia
authored and
codex
committed
b39d5d2
Mutation Analysis

flandia
authored and
codex
committed
dce708f

Commits on Oct 4, 2026

Resolve Q: function divergence
flandia
committed
314ec9d
Show stable symbol identifiers
flandia
committed
f6107a0
Mark external getters as unsafe for eta expansion
flandia
committed
51e59e5