feat: expose the public PFunctor module surface - #114

Merged

dtumad merged 6 commits into

mainfrom

refactor/pfunctor-module-surface

Aug 13, 2026

Commits on Aug 6, 2026

feat: add public handler instrumentation API
dtumad
committed
134eca4

Commits on Aug 11, 2026

Merge main into refactor/pfunctor-module-surface
quangvdao
committed
43d6126
fix: normalize node simp lemmas
quangvdao
committed
c921627

Commits on Aug 13, 2026

Merge main into refactor/pfunctor-module-surface
quangvdao
committed
770d1a1
fix: harden handler instrumentation
quangvdao
committed
c441e37
Merge main into refactor/pfunctor-module-surface
dtumad
committed
d7ae72f