Good catch, thank you for diffing it. The card table is from the release checkpoint; its source is results/thx01/suite39.json, which matches all 39 rows including routing at 42/42.
results/final_release.json was a leftover from an earlier checkpoint with a misleading name, which is why 35 rows differed. Fixed in the latest commit: that file now holds the release numbers (with the earlier checkpoint kept as a separate previous column), plots_v2.py points to files that exist, and there is a results/README.md listing which checkpoint each file was measured on.
