Case study in validated learning: GigDog's 1st experiment · HackerTrans