Reproduce Vela Mathematics Program

Obtain the exact source, verify the released binary, and replay the published repository.

exact checkout

Obtain the exact source

Clone the configured repository and check out the published commit.

git clone https://github.com/vela-science/math.git
cd math
git checkout 2415f78e850aeee50afdca525c6f2e0ea606f207

Expected: HEAD resolves to 2415f78e850a and the worktree is clean.

Verify the Vela binary

Confirm both the release identity and the exact executable bytes.

vela --version
shasum -a 256 "$(command -v vela)"

Expected: vela 0.977.3; SHA-256 3a1173918bdcb887155bab681411bf5e9ff64d925fe1b50369ac37ab020b94ad.

Replay the snapshot

Run the pinned reproduction command without repairing or reinterpreting state.

vela replay . --json

Expected: verified; 0 retained strict blockers.

What success proves

The pinned Git tree is available; the repository index matches its canonical records; strict checks match this release.

What success does not prove

That a pending Claim is accepted, verifier output has scientific authority, or this commit is the freshest state.

Search problems.science