Generated from results/release.json: every number in the manuscript is filled from a persisted result, and the claims registry maps each one back to its source field.