Rocketry, 3 clocks, return a card from any score pile for every two clocks on your board.
Machine Tools, three factories, Score a card of value equal to the highest two cards in your score pile.
yaron scores two threes, threatening to achieve the next age. Theory returns two threes, removing the threat.
Theory has to rocketry twice to prevent the achieving. I'm guessing Theory had better alternative dogmas then yaron did? Otherwise Yaron could Machine tools once then do something else, and then Theory can rocketry once and do something else. Or if yaron just deems that he is more likely to lose the game than win it, then he would prefer the stalemate to a break. And we can presume Theory would become more likely to lose than to win if he allowed yaron to achieve.
I don't see how you can put the burden on yaron for breaking the loop.
Does innovation declare a draw if you have equal score and equal achievements and draw an eleven? I can't remember that nuance. If the game already has drawing then stalemates should just be another kind of draw I reckon. If the designer's intention is to avoid having a draw possibility then a ko rule is easily implemented for this.
Easily implemented as in, it is well defined with no additional baggage, not easily implemented as in, I think dougz would have an easy time adding it (it would be nowhere near the top of my polite-request list)