Verification results

See Development for the current reproducible verification commands. Release workflow runs and their exact outcomes are recorded in GitHub Actions.