Fix P0.1#2

Merged

jmecom merged 4 commits into

mainfrom

jm/working-on-todo

Dec 25, 2025

Commits on Dec 25, 2025

P0.1: Make Unit a zero-sized value in codegen

Jordan Mecom
and
claude
committed
P0.1 refinements: Harden Unit invariant enforcement

Jordan Mecom
and
claude
committed
P0.1 final refinements: Unit dummy type alignment and binding support

Jordan Mecom
and
claude
committed
P0.1 follow-ups: Clearer always-true idiom and allow Result binding

Jordan Mecom
and
claude
committed