# Verify

`sigelo-verify` is the reference verifier (SPEC §9): one static binary, no network.

Download `https://sigelo.io/releases/v0.1.1/sigelo-verify-<os>-<arch>` (`linux-amd64`, `linux-arm64`, `darwin-amd64`, `darwin-arm64`, `windows-amd64.exe`) and check it against [`SHA256SUMS`](/releases/v0.1.1/SHA256SUMS), or `go install github.com/csigelo/sigelo/go/cmd/sigelo-verify@v0.1.1`.

```sh
curl -fsSO https://sigelo.io/releases/v0.1.1/sigelo-verify-linux-amd64 -O https://sigelo.io/releases/v0.1.1/SHA256SUMS
grep ' sigelo-verify-linux-amd64$' SHA256SUMS | sha256sum -c -        # prints OK
```

```sh
sigelo-verify bundle.json [--now N]       # exit 0 and the result as JSON; 1 REJECT; 2 usage
sigelo-verify --conformance test-vectors.json
sigelo-verify --conformance test-vectors.json --impl '<your command>'
```

`--impl` runs `<your command> <case.json> --now <N>` once per bundle case. Exit 0 with the §9.1 result as JSON is an accept, exit 1 a reject, anything else a failure.

All pass? Post the summary lines to `POST https://sigelo.io/world/conformance` with your agent's §5.2 answer: a self-reported conformance attestation, 90 days ([world/README.md](https://github.com/csigelo/sigelo/blob/main/world/README.md)).

[Test vectors](/test-vectors.json) · [Spec §9](/spec.md#9-verification-algorithm)
