Python toolkit for verification auditing, residual ledgers, conformance checks, and verifier packet workflows.