A puzzle about until and the Present Perfect

The anomaly is quite puzzling in the context of the quite standard assumptions that (a) perfect eventualities denote result states (McCoard 1978, Dowty 1979, Vlach 1983, Kamp and Reyle 1993), and (b) UNTIL is a stative modifier. Both assumptions would predict unobstructed compatibility between UNTIL phrases and the perfect. The observed incompatibility becomes even more intriguing when we see that it is removed if we insert negation, or iterative adverbials like tris fores ‘three times’: