veriker 0.2.1 from PyPI, Python 3.12.10. Example scripts from github.com/veriker/veriker at v0.2.1.
Each case starts from a fresh copy. Scratch paths in the verdict files are shortened to <scratch>/.

# Clean citation record (OK, exit 0)
python examples/citation_integrity_minimal/build_bundle.py --out-dir bundle
python -m veriker --bundle-dir bundle --verdict-out clean.verdict.json

# One byte changed (REJECT, exit 1)
cp -r bundle bundle-byte
printf '!' >> bundle-byte/snapshots/src-records-002.txt
python -m veriker --bundle-dir bundle-byte --verdict-out byte.verdict.json

# Quote not in the source (REJECT, exit 1)
cp -r bundle bundle-misquote
edit bundle-misquote/manifest.json: cit-4 exact = "An auditor may never request the underlying evidence."
python -m veriker --bundle-dir bundle-misquote --verdict-out misquote.verdict.json

# File no manifest declares (REJECT, exit 1)
cp -r bundle bundle-extra
echo undeclared > bundle-extra/undeclared.txt
python -m veriker --bundle-dir bundle-extra --verdict-out extra.verdict.json

# Malformed manifest (REJECT, exit 1)
cp -r bundle bundle-broken
printf '{' > bundle-broken/manifest.json
python -m veriker --bundle-dir bundle-broken --verdict-out broken.verdict.json

# Recomputed under the receiver's rule (OK, exit 0)
python examples/climate_emission_minimal/_build_bundle.py --out-dir climate
receiver/ holds spec_pinned/ and auditor_kit.py, outside the bundle
python -m veriker --bundle-dir climate --spec-anchor receiver/spec_pinned/climate.spec.json receiver/spec_pinned/climate_emission.spec.json --primitives receiver/auditor_kit.py --verdict-out recompute.verdict.json

# Claimed total inflated, hashes realigned (REJECT, exit 1)
cp -r climate climate-forged
add 1,000,000 to the value in climate-forged/outputs/climate_total_scope3.json
write that file's new SHA-256 into climate-forged/manifest.json
python -m veriker --bundle-dir climate-forged --spec-anchor receiver/spec_pinned/climate.spec.json receiver/spec_pinned/climate_emission.spec.json --primitives receiver/auditor_kit.py --verdict-out forged.verdict.json

# Producer swaps in a weaker rule (REJECT, exit 1)
cp -r climate climate-weak
set the comparator in climate-weak/spec/climate_emission.spec.json to scalar_epsilon 1e9
write that file's new SHA-256 into climate-weak/manifest.json spec_files
python -m veriker --bundle-dir climate-weak --spec-anchor receiver/spec_pinned/climate.spec.json receiver/spec_pinned/climate_emission.spec.json --primitives receiver/auditor_kit.py --verdict-out weak-rule.verdict.json

# No rule supplied by the receiver (ERROR, exit 2)
python examples/climate_emission_minimal/_build_bundle.py --out-dir climate
python -m veriker --bundle-dir climate --verdict-out no-rule.verdict.json