Type-core: natural float params + results (Increments A/A+/B)#7

Merged

zemo-g merged 7 commits into

feat/type-layer

May 31, 2026

Commits on May 30, 2026

fix(compile): mark float params used in comparisons so 2-float-arg user fns work
zemo-g
committed
feat(compile): Increment A -- fix arithmetic-float-param miscompile via call-site agreement
zemo-g
committed
feat(compile): int-param dual -- mark all-int-site params __int_ (fixes 0.0+int_param denormal)
zemo-g
committed
docs(examples): natural float-param MLP forward pass -- proof of the type-core fixes
zemo-g
committed
docs(notes): handoff for Increment B -- float-result recognition (joint inference fixpoint)
zemo-g
committed
feat(compile): float-result-compose (Increment B) -- let-local float marker

zemo-g
and
claude
committed

Commits on May 31, 2026

docs(notes): close Increment B handoff -- executed (4cf64de) + independently verified

zemo-g
and
claude
committed