bench: Swinnerton-Dyer tier-crossover ladders with scaling figures#8539

Open

kim-em wants to merge 7 commits into

mainfrom

bench-sd-families

Commits on Jul 2, 2026

bench: Swinnerton-Dyer tier-crossover ladders (SD_k, SD_k pairs, SD4 blocks)

kim-em
and
claude
committed
bench: SD tier-crossover figure generators (hex/Isabelle/FLINT curves)

kim-em
and
claude
committed
bench: commit SD tier-crossover exports and figures (carica, 7da4747e)

kim-em
and
claude
committed
doc: SD tier-crossover subsection in the BZ headline report

kim-em
and
claude
committed
fix: address bench-branch review findings

kim-em
and
claude
committed
bench: cost-model derivations for the SD tier-crossover registrations

kim-em
and
claude
committed
bench: refresh SD exports, figures, and report at 5ec8d8b5

kim-em
and
claude
committed