lean: ship the module roots — `lean` cannot compile anything without them - #605

Merged

bryan-minimal merged 2 commits into

mainfrom

fix/lean-module-root-oleans

Aug 14, 2026

Commits on Aug 13, 2026

lean: ship the module roots — `lean` cannot compile anything without them

bryan-minimal
and
claude
committed
47fbe58
lean: fail loudly if a module root is missing, don't publish it silently (CR)

bryan-minimal
and
claude
committed
4c9cb3b