Show HN: Gate – deterministic write-path checkpoint for AI agents | Hacker News Reader