K-Veritas - Tamper-evident verification for computational experiments

Show HN: Prove your code produced your claims without making reviewers rerun it

K-Veritas is a CLI tool that creates cryptographically signed PDFs proving your code produced your claims, without requiring reviewers to rerun your experiments. It binds results to the exact code, hardware, and time, and works with any language with zero runtime dependencies. Features include execution-coherence analysis (HMCA) to detect fabricated runs, compute-cost attestation to catch impossible claims, selective-disclosure proofs, and provenance tracking. Ideal for researchers, data scientists, and AI engineers who need to share reproducible results with integrity.