Show HN: Prompt-to-proof: reproducible LLM eval with hash-chained receipts | Heykuki News