Show HN: Halo – open-source, tamper-evident runtime evidence for AI agents · HackerLangs