What do you mean by "it always terminates by design?"

However, as the comments to the post say, the author should provide a proof that the "game physics" allows to construct a functioning latch from these logic gates.

Conditional loops are not essential: the lambda calculus is TC despite lacking any loop primitives.