Expose exact replay theorem audits and Lean certificates 617a290 verified DineshAI commited on about 23 hours ago
Add exact proof certificates and evaluator-visible release audit de2f601 verified DineshAI commited on 1 day ago
Update logbook: Repro - Language Generation with Replay a5b4d24 verified DineshAI commited on 5 days ago
