VerifAxis v0.2.0 — Evidence Contract Alpha
Pre-release
VerifAxis 0.2.0 is an exploratory alpha release of the reviewed claim/evidence export and offline verification contract.
It exports the explicit claim, verifier packets and hashes, complete recurrence trace, derived evidence chain, and named stopping decision. The verifier treats files as untrusted strict UTF-8 JSON and enforces a 1 MiB file limit, 32-level depth limit, 50,000-node limit, and 1,024-packet limit. Duplicate keys, malformed Unicode, digest tampering, trace-chain tampering, and conflicting summaries fail closed.
The OpenAI-compatible adapter requires HTTPS for remote credentials, with a loopback-only HTTP testing exception, and redacts endpoint error details. Evidence can contain prompts, candidates, counterexamples, verifier output, and timestamps; handle it as sensitive data.
This is not a truth machine, sandbox, hallucination eliminator, signed evidence system, or research-result claim.
PyPI status: verifaxis has no public project as of this release, and no publisher credential or trusted-publisher workflow was available. These exact-commit wheel and sdist assets are provided for inspection and GitHub installation; do not infer a PyPI publication.
Source commit: 24d6f27f7485de262282ec1b1384f84b3109a2af
Artifact SHA-256:
verifaxis-0.2.0-py3-none-any.whl:3fe3e546372a8bf53a2467d67f3ed09382cb33de5566d74a6ffecaafc0fd7a9fverifaxis-0.2.0.tar.gz:2cee9f4eba2532dc5255c03ac10ed5b7d63d2b46892dbae75b079ea4de38a53c