Independent certificate checker for provable dossiers.
numpy + stdlib only. Shares no code with provable: it re-implements from the xgboost JSON spec its own model parser, its own vectorized tree-walk predictor, its own transport expansion, and its own probes. The main package machine-enforces this firewall in its test suite (tests/test_firewall.py).
python -m provable_verify evidence.json model.json
Exit code 0 with an attested VERIFICATION: PASS means the certificate survived: bundle hash, model hash, policy hash, a structural probe on its own transport, a behavioral probe on its own predictor, verdict re-derivation, and a limits-panel presence check.
This repository mirrors the verify/ subtree embedded in provable as its test harness. The two are byte-identical at release; changes land in provable first and are mirrored here.
MIT.