- Make your change and add or update tests under
tests/. - If you change
configs/protocol.json, copy it tosrc/mathbench/protocol.json(the packaged copy must stay byte-identical; a test enforces this). - Regenerate the integrity manifest:
python scripts/update_manifest.py - Run
python verify.py --run-tests— CI runs the same command on Python 3.11–3.13. - Never commit hidden-track families, seeds, bindings, or reference submissions.
examples/private/and*binding*.jsonare git-ignored for this reason.