Show HN: Evidence Graph – type checking for the specs your AI agent implements