Show HN: Sangati, a logical consistency checker for data | Dark Hacker News