This dataset hosts the portable Stellar prover pipeline_harness binary used by the
GPU bake-off. To keep it from being trivially downloaded-and-run, the binary is shipped
as a password-protected ZIP with no file extension: the blob phbundle.
This is light obfuscation only (the password lives in our bake-off script), not
secrecy. The inner file inside the zip is pipeline_harness.
The bake-off script… See the full description on the dataset page:
https://huggingface.co/datasets/xertrov/amaroo-stellar-prover-bin.
