WIP: Ixon serialization rewrite with large speed and size reduction#288

Open

johnchandlerburnham wants to merge 10 commits intomainfrom

Commits on Jan 14, 2026

WIP: Ixon serialization rewrite with 85% size reduction
johnchandlerburnham
committed
cargo clippy, fmt, plus a per-constant size utility in the integration test
johnchandlerburnham
committed

Commits on Jan 15, 2026

Commits on Jan 16, 2026

fix docs
johnchandlerburnham
committed

Commits on Jan 21, 2026

Commits on Jan 30, 2026

Add pure Lean compiler (CompileM) with cross-implementation verification,
johnchandlerburnham
committed