An experimental audit engine that treats missing, conflicting, malformed, or unverified evidence as unresolved—not passed—with exact structural checks, adversarial false-claim tests, and proof-tool receipts that never count as proof on their own.
python json-schema reproducible-research provenance formal-methods research-software adversarial-testing scientific-integrity audit-engine proof-receipts null-discrimination proof-adapters
-
Updated
Aug 19, 2026 - Python