feat(hex-roots): add bench/HexRoots/Bench.lean and CI wiring#8747

Merged

kim-em merged 3 commits into

mainfrom

Jul 11, 2026

Commits on Jul 11, 2026

feat(hex-roots): add bench/HexRoots/Bench.lean and CI wiring

Kim Morrison
and
claude
committed
bench(hex-roots): round the compare digest to the nearest integer

Kim Morrison
and
claude
committed
bench(hex-roots): per-registration cost-model derivation comments

Kim Morrison
and
claude
committed