Ixon v4, with canonical sharing and TagN integers - #658

Merged

johnchandlerburnham merged 9 commits into

mainfrom

Oct 2, 2026

Commits on Oct 2, 2026

Ixon v4 codec: TagN integers, format version 4, implicit ExprMeta arenas
johnchandlerburnham
committed
0c08dba
Exact canonical sharing: Lean reference implementation
johnchandlerburnham
committed
b5e4561
Exact canonical sharing: Rust implementation and parity hooks
johnchandlerburnham
committed
ea33d21
Proofs for the canonical sharing construction and the TagN codec
johnchandlerburnham
committed
9814a02
Compiler: canonical sharing is the only route; heuristic removed
johnchandlerburnham
committed
e51c674
IxVM: TagN codec in the circuit, object format 4, v4 primitive addresses
johnchandlerburnham
committed
9caced1
Tests, fixtures and pins for format v4
johnchandlerburnham
committed
55795b6
Docs: Ixon v4, canonical sharing, measurements
johnchandlerburnham
committed
cc96fcd
Docs: final verification record
johnchandlerburnham
committed
22afee6