Verifier.
Re-run any verdict on your own machine.
curl -fsSL https://www.propammengine.xyz/verifier/verify.sh -o verify.sh && sh verify.sh <attempt id>
The script downloads the replayer source from this site, builds it, fetches the original ELF, the candidate built from the published source and the corpus bundle by hash, replays every case and prints the same report the judge signed. Matching sha256 values mean the verdict holds.
| File | What | Bytes | sha256 |
|---|---|---|---|
| replayer-src.tar.gz | replayer source (Rust, litesvm): replay, teardown, hash | 30,627 | dc5958c042e79a8a0ad3e4b74aa719d85d58e6de8b579245bdb2a44d49025f16 |
| verify.sh | downloads, builds and re-runs a verdict, then compares the report sha256 | 2,094 | f55e6e44e3a8558c668012dce880dab1dd5fbb93acc97ecad269f11e7a441a76 |
Engine dc64993fd49a35911540e8051b3970580574c185, built 2026-11-04.
Calibration.
The engine run on an open program, before any bounty.
| Run | Program | Verdict | Cases | Report sha256 | Corpus sha256 | Judged | Record |
|---|---|---|---|---|---|---|---|
| cal-correct-d7572187cb | MemoSq4g… | PASS | 10992/10992 | b593bd45b457b5ea… | 7a7473fbaf3afe00… | 2026-11-02 15:55 UTC | Memo record pending |
| cal-altered-b93db10c93 | MemoSq4g… | FAIL | 3882/10992 | 0bb587683f7564d4… | 7a7473fbaf3afe00… | 2026-11-02 15:55 UTC | Memo record pending |