Compiler fixes for auxiliary constant generation - #473

Merged

johnchandlerburnham merged 5 commits into

mainfrom

Jul 7, 2026

Commits on Jul 4, 2026

Ixon: drop recr/refl/nested flags from Inductive
johnchandlerburnham
committed
62eb9c6
Compile: evaporated-aux canonicalization and byte-exact aux roundtrip
johnchandlerburnham
committed
2fc6dda
chore: fix clippy warnings and fmt drift
johnchandlerburnham
committed
fb00cf5
IxVM Aiur kernel: fix Lean.Syntax.rec (shard 53) aux-recursor gen
arthurpaulino
committed
d8b11c0
IxVM: port Inductive flag-drop + evaporated-aux aliasing to Aiur kernel
arthurpaulino
committed
2f2a86f