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 36c6d0fef71a3fec84d9dcd5eeca4e22e378f7cb

Expected: HEAD resolves to 36c6d0fef71a 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.6; SHA-256 5b21415c98503b20518c0e68714b0b4f4b3c371525ea110563b89a53a0d3dbb3.

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.